Clculo Avanado A - Funes Especiais

1
APNDICE - FUNES ESPECIAIS:
1. A FUNO DE HEAVISIDE
A funo de Heaviside, tambm chamada de funo Degrau Unitrio, a qual denotaremos por
H(x) ou U(x), definida como:
( )

'

<

0 x se , 1
0 x se , 0
x H . (1.1)
Esta funo apresentada na figura 1.1a e deve ser pensada fisicamente como a idealizao
da funo contnua ) x ( H

, representada na figura 1.1b, considerando 0 .

(a) (b)
Figura 1.1: A funo de Heaviside e a funo ) x ( H

.

De acordo com a definio de H(x), obtemos a translao desta funo, ou seja:
( )

'

<

c x se , 1
c x se , 0
c x H (1.2)
Alm disto, dada uma funo f(x) qualquer, podemos construir a seguinte funo:
( ) ( ) ( )
( )

'

<

c x se , x f
c x se , 0
x f c x H x g , (1.3)
ou seja, translaes da funo de Heaviside podem ser usadas para ligar uma funo f(x) qualquer.
Na verdade, elas tambm podem ser usadas para ligar e desligar uma funo e, tambm, para
desliga- la. Para tanto, consideremos as seguintes operaes com translaes da funo de Heaviside:
a) Dados x
0
e x
1
reais, com
1 0
x x < , construmos:

1
) x ( H

x
1
H(x)
x
Clculo Avanado A - Funes Especiais
2
( ) ( )

'

<
<

1
1 0
0
1 0
x x se 0
x x x se 1
x x se 0
x x H x x H , (1.4)
a qual, multiplicada em outra funo f(x), liga esta no ponto x
0
e desliga-a em x
1
(vide Fig. 1.2b).
b) Dado um valor real x
1
, podemos definir:
( )

'

<

1
1
1
x x se , 0
x x se , 1
x x H 1 , (1.5)
a qual, multiplicada em outra funo f(x), desliga-a no ponto x
1
(vide Fig. 1.2a).




(a) (b)
Figura 1.2: Combinaes lineares de translaes da funo de Heaviside.

A Derivada de H(x):
Segundo os conceitos fundamentais do clculo diferencial, a derivada ( ) x H seria nula para
todo 0 x e no seria definida na origem. No entanto, a fsica precisa de uma melhor explicao de
qual a variao em x = 0 da funo H(x). Para tanto, pensando H(x) como sendo o limite, quando
0 , das funes contnuas ) x ( H

, dadas pela figura 1.1b, obtemos que:

'

> <
< <

x ou x se , 0
x se ,
1
) x ( H (1.6)
e
( ) 1 dx x H

+


. (1.7)
Ento, tomando-se o limite 0 , a derivada ( ) x H assumir um valor to grande em x = 0, tal que:
( ) 1 dx x H

+

. (1.8)
1
) x x ( H ) x x ( H
1 0

x
1
0
x
1
x x
1 - H(x - x
1
)
x
1
Clculo Avanado A - Funes Especiais
3
Veremos que esta propriedade uma caracterstica da funo delta que ser introduzida a seguir.
2. O DELTA DE DIRAC
Na fsica, freqentemente encontramos o conceito de um pulso de durao infinitamente
curta. Por exemplo, um corpo em repouso posto em movimento por meio de um golpe instantneo,
adquire um momento igual a impulso do choque, ou seja,
( )

+

0
0
t
t
dt t F v . m I , (2.1)
em que F(t) a fora e a durao da ao desta fora. A designao golpe significa que to
pequeno que a mudana no momento ocorre instantaneamente. Mas, como tal mudana no momento
de um valor finito, observa-se que F(t) deve ter sido infinita durante o golpe e nula nos outros
instantes. Este tipo de formulao no correta com os conceitos comuns de uma funo matemtica,
isto , F(t) no uma funo, mas, apesar disto, tratada formalmente como sendo uma funo,
permitindo o estabelecimento de vrias propriedades, sendo que, pelo uso destas, obtm-se resultados
corretos. Em verdade, talvez esta definio no seja nem mesmo fisicamente rigorosa. Na realidade, o
grfico da fora deveria ser o de uma funo fortemente concentrada, com uma amplitude muito
grande em comparao ao perodo de sua aplicao, de forma que a rea sob esta curva seja igual a um
dado valor I. Na maior parte dos casos, no se conhece a forma exata desta funo super-concentrada
F(t), porm o que significante a intensidade de impulso dada pela integral (2.1) e o instante no
qual ocorreu o impulso, ou seja, t =
0
t . Estas funes fortemente concentradas so freqentemente
encontradas na fsica. Por exemplo, nos circuitos eltricos, correntes fortemente concentradas de
durao muito curta ocorrem em processos nos quais se fecha ou abre um circuito. A fim de facilitar
operaes da fsica matemtica, Paul Dirac props a introduo da funo delta ( ) x , que definida
informalmente por:
( )

'

0 x se ,
0 x se , 0
x (2.2)
e o grfico desta funo mostrado na Figura 2.1 abaixo.
Na verdade, ( ) x definida como sendo nula, para todo 0 x , e seu valor em zero to
grande que:
( )

+

1 dx x
. (2.3)
Clculo Avanado A - Funes Especiais
4




Figura 2.1: A funo delta de Dirac.

Propriedades:
a) ( ) ( ) x x , ou seja ( ) x uma funo par.
Esta propriedade obtida diretamente da definio.
b) ( ) ( ) ( )

+

0 f dx x x f .
Esta propriedade provada pelo teorema da mdia para int egrais, ou seja,
( ) ( ) ( )

+

+

) ( f dx x ) ( f dx x x f , (2.4)
onde [ ] + , e f(x) uma funo contnua. Aqui, a integral considerada no intervalo [ ] + , ,
pois ( ) x nula fora deste. Tambm, f() pode ser substituda por f(0) sem erro aprecivel. A
propriedade acima algumas vezes chamada de propriedade de filtragem da funo delta, pois ( ) x
seleciona o valor em zero de f(x).
c) ( ) ( ) ( )

+

a f dx a x x f .
Prova-se esta propriedade fazendo a mudana de varivel a x y na propriedade 2. Esta
propriedade pode ser rescrita de uma forma mais usual, ou seja,
( ) ( ) ( )

1
0
x
x
a f dx a x x f , (2.5)
desde que ] x , x [ a
1 0
. Isto possvel pois ( ) x nula fora deste intervalo.
Observaes:
1. No contexto do clculo diferencial com o uso da funo delta, podemos dizer que ( ) ( ) x
dx
dH
x e
( ) ( ) c x
dx
dH
c x , onde H(x) a funo de Heaviside.
) x (
x
Clculo Avanado A - Funes Especiais
5
2. Propriedades adicionais podem ser obtidas em A funo Delta, de Haroldo Froes de Azambuja,
tese apresentada no concurso de livre docncia da UFRGS em 1964, ou no livro Eugene Butkov,
Fsica Matemtica, Editora Guanabara Dois, Rio de Janeiro, 1983.
3. OUTRAS FUNES ESPECIAIS IMPORTANTES:
2. A Funo Gama:
Uma das funes especiais mais importantes da fsica matemtica a funo gama. Ela
ligada a vrios problemas de fsica, engenharia e estatstica matemtica. O leitor encontrar a funo
Gama no clculo das transformadas de Fourier e de Laplace de certas funes. Esta funo denotada
e definida por:
( )

>
0
1 s t
0 s para , dt t e s . (3.1)
Esta funo est bem definida para s>0, pois:
dt t e dt t e dt t e
1 s
1
t
0
1
0
1 s t 1 s t

+ (3.2)
e ambas integrais do lado direito de (3.2) convergem. Para provar este fato, basta usar o Critrio da
Comparao de Integrais Imprprias, o qual afirma que:
Se ( ) ( ) 0 x g e 0 x f , para todo x > a, se as integrais prprias ( ) dx x f
b
a

e dx ) x ( g
b
a

existem, para todo a b , e se
( )
( )
c
x g
x f
lim
x


, ento:
para 0 c , ambas as integrais ( ) ( ) dx x g e dx x f
a a


convergem ou divergem.
para 0 c , a convergncia de ( ) dx x g
a

implica na convergncia de ( ) dx x f
a

.
Assim, como dt t
1
2

converge e 0
t
t e
lim
2
1 s t
t

, obtemos a convergncia da segunda
integral imprpria,

1
1 s t
dt t e . Para analisarmos a convergncia da primeira integral, vamos fazer a
mudana de varivel
u
1
t , com du u dt
2
. Assim:
Clculo Avanado A - Funes Especiais
6
du u e dt t e
1 s
1
0 1
u / 1 1 s t

, (3.3)
a qual converge, por comparao com a integral

1
1 s
du u , convergente se 0 s > . Logo a funo
( ) s est bem definida pela integral (3.1).
Como concluso, a funo Gama tem como domnio o conjunto de todos os reais positivos,
embora seja possvel estender seu domnio a todo o conjunto real, com exceo dos inteiros negativos
e do zero. Devemos ressaltar que esta extenso no feita atravs da definio, pois a integral diverge,
mas sim atravs da propriedade 1 abaixo. Esta extenso no ser estudada neste material.
Propriedades:
1) ( ) ( ) s s 1 s + , se s > 0.
Prova: Se s > 0, temos que:
( ) [ ] ( ) ) s ( s s s 0 b e lim dt t e s t e dt t e 1 s
0
s b
b
1 s t
0
s t
0
s t
+ + + +





+

.
2) ( ) 1 1 .
Prova: ( ) [ ] 1 e 1 lim dt e lim dt t e 1
b
b
0
b
t
0
b
1 1 t

.
3) Se n um inteiro positivo, ento ( ) ! n 1 n +
Prova: A demonstrao feita por Induo Matemtica. Se ( ) ( ) !. 1 1 1 1 1 1 , 1 n +
Agora, vamos supor que para k n vale a afirmao ( ) ! k 1 k + . Assim,
( ) ( ) ( ) ( ) ( )! 1 k ! k 1 k 1 k 1 k 1 ) 1 k ( + + + + + + ,
o que demonstra a propriedade.
Por este motivo, a funo gama pode ser vista, informalmente, como uma generalizao da
funo fatorial. E de fato, esta foi a razo histrica para a introduo da funo gama.
4) ) 2 / 1 ( .
A demonstrao desta propriedade ser omitida por sua razovel complexidade, mas o leitor
mais interessado poder encontr- la nos exerccios 29 e 30, pgs. 28-30, do livro de M. R. Spiegel,
Transformadas de Laplace, Ed. McGraw-Hill Ltda., Rio de Janeiro, 1973.
Exemplo 1: Usando a funo gama, calcule o valor da integral imprpria

0
x
dx e
2
.
Clculo Avanado A - Funes Especiais
7
Soluo: Fazendo uma mudana de varivel do tipo
2
x z , obtemos que:
< <

z 0 e dz z
2
1
dx , z x
2 / 1 2 / 1
,
ou seja,

,
_

2
1
2
1
2
1
dz z e
2
1
dz z
2
1
e dx e
0
1 ) 2 / 1 ( z
0
2 / 1 z
0
x
2
.
Exemplo 2: Sabendo que ( ) 6 . 1 , calcule ( ) 6 . 2 , ( ) 6 . 3 e ( ) 6 . 0 .
Soluo: Usando a propriedade 1, obtemos que:
( ) ( ) + 6 . 1 ) 6 . 1 ( 6 . 1 1 6 . 1 6 . 2 ,
( ) ( ) + 16 . 4 ) 6 . 1 ( 6 . 2 ) 6 . 2 ( 6 . 2 1 6 . 2 6 . 3
e
3
5
6 . 0
) 6 . 1 (
) 6 . 0 ( ) 6 . 0 ( 6 . 0 ) 6 . 1 (

.
2. A Funo de Bessel:
As funes de Bessel de ordem n, denotadas por ( ), t J
n
onde n um nmero real qualquer,
so definidas por:
( )
( )

+
+
+ +

0 k
k 2 n
k 2 n k
n
1 k n ! k 2
t ) 1 (
t J (3.4)
e so solues da equao diferencial ordinria de segunda ordem de Bessel, dada por:
( ) ( ) ( ) ( ) 0 t Y n t t Y t t Y t
2 2 2
+ + . (3.5)
As propriedades mais importantes que estas funes apresentam so:
a) Se n um nmero inteiro positivo, ento: ( ) ( ) ( ). t J 1 t J
n
n
n

b) ( ) ( ) ( ) 1 n se , t J t J
t
n 2
t J
1 n n 1 n

+
.
c) ( ) { } ( ) 1 n se , t J t t J t
dt
d
1 n
n
n
n


.
A funo geradora das funes de Bessel, para n inteiro, dada por:
Clculo Avanado A - Funes Especiais
8
( )

1
1
]
1

n
2
n
n
u 2
) 1 u ( t
exp u t J . (3.6)
3. As funes Erro e Erro Complementar:
A funo Erro definida como:
( )

t
0
u
u d e
2
t erf
2
(3.7)
e a funo Erro Complementar definida como:
( ) ( )

t
u
du e
2
t erf 1 t erfc
2
. (3.8)
4.As funes Seno, Coseno e Exponencial Integrais:
A funo Seno Integral definida e denotada por:
( ) du
u
u sen
t Si
t
0

. (3.9)
A funo Coseno Integral definida e denotada por:
( )

t
du
u
u cos
t Ci . (3.10)
A funo Exponencial Integral definida e denotada por:
( )

t
u
du
u
e
t Ei . (3.11)
Observao: Normalmente, estas funes aparecem na resoluo de problemas de fsica e
Engenharia. Elas so funes tabeladas, da mesma forma que o seno trigonomtrico, por exemplo, e
muitas mquinas de calcular j as apresentam no prprio teclado. Maiores informaes sobre as
funes acima, podem ser encontradas em M. Abramowitz & I. Stegun, Handbook of Mathematical
Functions: with Formulas, Graphs, and Mathematical Tables, Dover Publications, New York, 1972.