Escolar Documentos
Profissional Documentos
Cultura Documentos
Prof. Dr. Ricardo L. Viana Departamento de F sica Universidade Federal do Paran a Curitiba - PR 28 de mar co de 2011
Sum ario
1 Fun c oes de Green para EDOs 1.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A Fun c ao de Green do Operador de Sturm-Liouville . 1.2.1 A Equa c ao de Sturm-Liouville . . . . . . . . . 1.2.2 Determina c ao da fun c ao de Green . . . . . . . 1.2.3 Solu c ao da equa c ao n ao-homog enea . . . . . . 1.2.4 Um exemplo do m etodo geral . . . . . . . . . . 1.3 Expans ao da Fun c ao de Green em Autofun c oes . . . . 1.3.1 Propriedades do operador de Sturm-Liouville . 1.3.2 Desenvolvimento em S erie da Fun c ao de Green 1.4 Deex ao de uma corda esticada . . . . . . . . . . . . . 1.5 Part cula sob uma for ca dependente do tempo . . . . . 1.6 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 5 9 9 10 12 14 15 15 16 18 19 21 25 25 25 26 31 33 35 35 37 39 42 43 44
2 Fun c oes de Green para EDPs - I 2.1 Fun c ao de Green para a equa c ao do calor . . . . . . . . . . . . . 2.1.1 Equa c ao do calor . . . . . . . . . . . . . . . . . . . . . . . 2.1.2 Fun c ao de Green para as condi c oes iniciais . . . . . . . . 2.2 Fun c ao de Green para uma fonte extensa de calor . . . . . . . . . 2.3 M etodo das imagens: condu c ao do calor numa barra semi-innita 2.3.1 Perl inicial constante para a temperatura da barra semiinnita . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4 Fonte extensa na barra semi-innita . . . . . . . . . . . . . . . . 2.4.1 Um modelo simples para o resfriamento da Terra . . . . . 2.5 Fun c ao de Green para condi c oes de contorno n ao-homog eneas . . 2.5.1 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.6 Resumo das solu c oes elementares da equa c ao do calor unidimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.7 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Fun c oes de Green para EDPs - II 49 3.1 A equa c ao de Laplace-Poisson . . . . . . . . . . . . . . . . . . . . 49 3.2 Fun c ao de Green para a equa c ao de Laplace-Poisson: sem superf cies de contorno . . . . . . . . . . . . . . . . . . . . . . . . . 50 3.2.1 Expans ao da fun c ao de Green em harm onicos esf ericos . . 51 3.2.2 Exemplo: potencial de um anel carregado . . . . . . . . . 54 3.3 Fun c ao de Green para a equa c ao de Laplace-Poisson: com superf cies de contorno . . . . . . . . . . . . . . . . . . . . . . . . . 55 3
4 3.4 3.5 M etodo das imagens . . . . . . . . . . . . . . . . . . . . 3.4.1 Carga puntiforme e superf cie condutora aterrada M etodo da expans ao em autofun c oes . . . . . . . . . . . 3.5.1 Teoria geral . . . . . . . . . . . . . . . . . . . . . 3.5.2 Fun c ao de Green para o espectro discreto . . . . 3.5.3 Fun c ao de Green para o espectro cont nuo . . . . Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
SUMARIO . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 57 59 60 61 64 70 71
3.6
Ap endices
A Complementos matem aticos 73 A.1 Transformada de Fourier em seno e cosseno . . . . . . . . . . . . 73 A.2 Fun c ao erro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 B Autofun c oes e autovalores de operadores B.1 Operador de Sturm-Liouville . . . . . . . B.1.1 L e auto-adjunto . . . . . . . . . . B.1.2 Os autovalores de L s ao reais . . . B.1.3 Os autovetores de L s ao ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75 75 75 76 77
Cap tulo 1
Antes de apresentarmos a teoria geral para equa c oes diferenciais ordin arias (EDOs) do tipo de Sturm-Liouville, vamos discutir dois exemplos simples, para mostrar as id eias b asicas do m etodo das fun c oes de Green. Inicialmente abordaremos a equa c ao diferencial n ao-homog enea y = f (x), (0 x 1), (1.1)
com as seguintes condi c oes de contorno (de Dirichlet) homog eneas: y (0) = y (1) = 0. O termo de fonte, no caso, e uma fun c ao arbitr aria f (x), cont nua por partes no intervalo [0, 1]. A fun c ao de Green correspondente a essa equa c ao, denotada G(x, ), tem como termo de fonte uma fun c ao delta de Dirac aplicada no ponto x = : d2 G(x, ) = (x ), dx2 (0 1). (1.2)
A fun c ao de Green deve satisfazer ` as mesmas condi c oes de contorno do problema original, ou seja G(0, ) = G(1, ) = 0. (1.3) Como a fun c ao delta e nula para todo x = , decorre que a fun c ao de Green satisfaz a equa c ao diferencial homog enea d2 G(x, ) = 0, dx2 (x = ) (1.4)
cujas solu c oes, ` a esquerda e ` a direita de x = , podem ser escritas como G(x, ) = ax + b, a 1 x + b1 , se 0 x , se < x 1. (1.5)
onde a, b, a1 e b1 s ao constantes de integra c ao que podem ser determinadas por meio de duas informa c oes essenciais. A primeira informa c ao vem das condi c oes 5
de contorno (1.3) que fornecem, respectivamente: b = 0 e b1 = a1 . Logo G(x, ) = ax, a1 (x 1), se 0 x , se < x 1. (1.6)
A segunda informa c ao de que precisamos para determinar a e a1 vem do comportamento da fun c ao de Green no entorno de x = , que e o intervalo [ , + ] centrado na fun c ao delta (x ). Apesar dessa u ltima representar uma singularidade em x = , a fun c ao de Green dever a ser cont nua no ponto x = , ou seja, no limite 0: G( 0, ) a = = G( + 0, ), a1 ( 1) (1.7) (1.8)
Al em disso, a derivada da fun c ao de Green deve ser descont nua no ponto x = . Para calcular o salto dessa derivada (ou seja, a diferen ca entre as derivadas ` a esquerda e ` a direita de x = ) n os integramos a equa c ao (1.2) no entorno da fun c ao delta:
+
d dx
dG(x, ) dx dG(x, ) dx
dx =
+
1 1
(x )dx
G ( + , ) G ( , ) No limite quando 0:
(1.12)
(1.13)
de modo que a fun c ao de Green do problema e dada por G(x, ) = (1 )x, (1 x), se 0 x , se < x 1. (1.15)
Uma vez determinada a fun c ao de Green, a solu c ao da equa c ao n ao-homog enea (1.1) e obtida por integra c ao
1
y (x ) =
0
dG(x, )f ( ),
(1.17)
1.1. INTRODUC AO
Como a fun c ao de Green e diferente ` a esquerda e ` a direita de , precisamos fazer essa integral com bastante cuidado. Dividiremos o intervalo [0, 1] em dois sub-intervalos: [0, x] e [x, 1], lembrando que x e um par ametro, enquanto e apenas uma vari avel (muda) de integra c ao. No primeiro sub-intervalo, cujo extremo superior e x, temos que < x, ou seja, x > e usamos (1 x) como fun c ao de Green. J a no segundo sub-intervalo > x pois x e o limite inferior do mesmo. Logo, como, x > , a fun ca o de Green a ser usada e (1 )x. Temos, pois
x 1
y (x )
=
0
d (1 x)f ( ) +
x 0
d (1 )xf ( ),
1 x
(1.18) (1.19)
(1 x)
df ( ) + x
d (1 )f ( ),
Para mostrar que essa realmente e a solu c ao da equa c ao diferencial n aohomog enea, derivamos (1.18) em rela c ao a x y (x ) = (1 x) x d dx
x 0
d dx
x 1
x 0
df ( )
df ( )
1 x
d (1 )f ( ) +
d (1 )f ( ) = (1 x)xf (x)
1 x
df ( ) (1 x)xf (x) +
d (1 )f ( )
(1.20)
(1.21) (1.22)
em conformidade com (1.1). Finalmente, podemos vericar que a solu c ao encontrada satisfaz, de fato, as condi c oes de contorno, fazendo x = 0 e x = 1 em (1.19). Como um exemplo de aplica c ao do m etodo da fun c ao de Green, considere f (x) = ex . Ent ao (1.19) fornece
x 1
y (x )
= = =
(1 x)
de + x
0 x 0 x
d (1 )e ,
1
importante salientar que a fun E c ao de Green depende, em geral, da condi c ao de contorno utilizada, e n ao somente da equa c ao diferencial em si. Para ilustrar esse ponto, vamos retornar ` a equa c ao (1.1) mas, agora, com outra condi c ao de contorno: y (0) = 0 e y (1) = 0. Impondo essas novas condi c oes sobre a equa c ao (1.6), temos que b = 0 e a1 = 0, ou seja, G(x, ) =
1 Seja
ex + x(e 1) + 1.
(1 x) e ( 1)
x e ( 2) x ,
ax, b1 ,
se 0 x , se < x 1.
d dx x
(1.26)
F ( )d = F (x).
A continuidade da fun c ao de Green no ponto x = , Eq. (1.7), fornece a = b1 , ao passo que o salto da derivada da fun c ao de Green nesse ponto, dado por (1.12), implica em que a = 1. Logo b1 = , e a fun c ao de Green para essas novas condi c oes de contorno e G(x, ) = x, , se 0 x , se < x 1. (1.27)
de forma que a solu c ao da equa c ao n ao-homog enea (1.1) ser a, usando (1.17), dada por
x 1
y (x ) =
0
df ( ) + x
x x
df ( ),
(1.28)
Para xar a metodologia usada nos exemplos anteriores, vamos considerar a equa c ao diferencial n ao-homog enea xy + y = f (x), (0 x 1) (1.30)
com as condi c oes de contorno: y (0) < e y (1) = 0. A equa c ao a ser satisfeita pela fun c ao de Green e xG + G = (x ), com as mesmas condi c oes de contorno G(0, ) < , G(1, ) = 0. (1.32) (0 1). (1.31)
que pode ser integrada imediatamente, fornecendo as seguintes solu c oes, ` a esquerda e ` a direita de x = : G(x, ) = a1 ln x + b1 , a2 ln x + b2 , se 0 x , se < x 1. (1.34)
Aplicando as condi c oes de contorno (1.32) chegamos a a1 = 0 e b2 = a1 , tal que b1 , se 0 x , G(x, ) = (1.35) a2 ln x, se < x 1. Usando a continuidade da fun c ao de Green no ponto x = , obtemos b1 = a2 ln . Para calcular o salto da derivada da fun c ao de Green em x = integraremos (1.31) no entorno da fun c ao delta:
+
d dx
dG(x, ) dx
dx = =
dG(x, ) dx
= 1 (1.36) (1.37)
( + )G ( + , ) ( )G ( , )
1 G ( + 0, ) G ( 0, ) = ,
(1.38)
que resulta em a2 = 1, de modo que b1 = ln . A fun c ao de Green ser a, pois, dada por ln , se 0 x , G(x, ) = (1.39) ln x, se < x 1. A solu c ao da equa c ao n ao-homog enea (1.30) e obtida por integra c ao
1
y (x )
=
0
dG(x, )f ( ),
x 1
(1.40) d ln f ( ),
x
ln x
df ( )
(1.41)
y (x )
= =
ln x x2
d ( 1)
d ( 1) ln ,
(1.42) (1.43)
1 3 + ln x + x(2 ln x + 1) . 4 4
1.2
1.2.1
onde a x b, e p(x) 0, s(x) 0 e r(x) 0. As condi c oes de contorno desse problema podem ser especicadas de forma geral como c 1 y (a) + c 2 y (a) k 1 y ( b) + k 2 y ( b) = = 0, 0, (1.45) (1.46)
com c1 c2 = 0, k1 k2 = 0, e que incluem os casos usuais: Dirichlet, Neumann e mistas. Uma equa c ao diferencial ordin aria de segunda ordem homog enea dada na forma geral A(x)y + B (x)y + C (x)y + y = 0, (1.47) pode ser colocada na forma de Sturm-Liouville. Dividimos (1.47) por A(x) = 0 e multiplicamos pelo fator integrante
x
p(x) = exp
B ( ) d , A( )
(1.48)
10
tal que obtemos as outras fun c oes presentes em (1.44) como s (x ) r (x ) = = C (x ) p( x ) , A(x) p( x ) . A(x) (1.49) (1.50)
1 d = exp 2 2 2 1 s (x ) = , 2 x
(1.52)
r (x ) =
(1.53)
podemos reescrever a Eq. (1.44) numa forma mais compacta L[y (x)] + r(x)y (x) = 0. (1.55)
Podemos generalizar o tratamento dado na se c ao anterior considerando a seguinte equa c ao de Sturm-Liouville n ao-homog enea L[y (x)] + r(x)y (x) = f (x). (1.56)
1.2.2
Vamos determinar a fun c ao de Green do operador de Sturm-Liouville no caso onde = 0, para o qual ela satisfaz a equa c ao L[G(x, )] = (x ), (1.57)
tal que, para x = , devemos resolver a equa c ao homog enea L[G(x, )] = 0, a qual dever a fornecer resultados diferentes ` a direita e ` a esquerda do ponto x = . As constantes de integra c ao devem ser determinadas pela an alise tanto das condi c oes de contorno como do comportamento nas vizinhan cas de x = . Comportamento no entorno da fun c ao delta A fun c ao de Green deve ser cont nua no ponto x = , tal que no limite 0: G( 0, ) = G( + 0, ). (1.58)
DE GREEN DO OPERADOR DE STURM-LIOUVILLE 11 1.2. A FUNC AO Integrando (1.57) no entorno da fun c ao delta:
+ +
L[G(x, )]dx =
+
(x )dx,
(1.59) (1.60)
d dG(x, ) p( x ) . dx dx dx
s(x)G(x, )dx = 1
2
lim
s(x)G(x, )dx = 0.
onde usamos a suposi c ao de que a fun c ao p(x) e cont nua em x = . An alise das condi c oes de contorno O Wronskiano de duas fun c oes y1 (x) e y2 (x) e dado pelo determinante W (y1 (x), y2 (x)) = y1 (x ) y2 (x ) y 1 (x ) y 2 (x ) . (1.63)
Se y1 e y2 forem linearmente independentes (LI), ent ao o seu Wronskiano e n ao-nulo: W = 0. Sabemos que a fun c ao de Green deve satisfazer as mesmas condi c oes de contorno do problema original, ou seja c1 G(a, ) + c2 G (a, ) k1 G(b, ) + k2 G (b, ) = = 0, 0, (1.64) (1.65)
A fun c ao de Green tem, em geral, formas diferentes ` a direita e ` a esquerda do ponto x = . Vamos considerar inicialmente o intervalo a x < . Seja y1 (x) uma solu c ao n ao-trivial da equa c ao homog enea que satisfaz a condi c ao de contorno em x = a. Nesse caso, c1 ou c2 deve ser n ao-nulo (ou ambos, logicamente). Isto corresponde a solu c oes n ao-triviais do sistema linear homog eneo formado pelas Eqs. (1.45) e (1.64): y1 (a) G(a, ) y 1 (a) G (a, ) c1 c2 = 0 0 . (1.66)
Sabemos que solu c oes n ao-triviais existem desde que o determinante dos coecientes seja n ao-nulo y1 (a) y 1 (a) = 0, (1.67) G(a, ) G (a, ) de modo que o Wronskiano de y1 (x) e G(x, ) deve ser nulo em x = a: W (y1 (a), G(a, )) = y1 (a)G (a, ) y 1 (a)G(a, ) = 0
2 Se
(1.68)
b a
12
Logo y1 (x) e G(x, ) n ao s ao linearmente independentes no intervalo a x , ou seja, G dever a ser proporcional a y1 nesse intervalo: G1 (x, ) = C1 y1 (x), (a x < ) (1.69)
onde C1 e uma constante (ou seja, n ao depende de x mas pode depender de ). Por um racioc nio an alogo, se y2 e uma solu c ao da equa c ao homog enea ` a direita de x = , ent ao a fun c ao de Green correspondente ser a G2 (x, ) = C2 y2 (x), ( < x < b) (1.70)
Impondo as condi c oes (1.58) e (1.62) teremos o sistema de equa c oes: C1 y1 ( ) C 2 y2 ( ) C1 y 1 ( ) C 2 y 2 ( ) = = 0 1 p( ) (1.71) (1.72)
o qual ter a uma solu c ao n ao-troivial para C1 e C2 sempre que o Wronskiano de y1 e y2 n ao se anule para x = : W ( ) W (y1 ( ), y2 ( )) = y1 ( )y 2 ( ) y 1 ( )y2 ( ) = 0 (1.73)
que e, com efeito, a condi c ao para que as solu c oes y1 e y2 sejam linearmente independentes. Caso contr ario, ou seja, se a equa c ao tiver uma solu c ao n aotrivial que satisfa ca ambas as condi c oes de contorno simultaneamente, ent ao y1 e y2 deixar ao de ser linearmente independentes (uma ser a um m ultiplo da outra), e seu Wronskiano ser a nulo. Nesse caso n ao haver a fun c ao de Green para o problema. Excluindo esse caso, podemos supor que W ( ) = 0, e a solu c ao do sistema de equa c oes (1.71)-(1.72) ser a C1 = y2 ( ) , p( ) W ( ) C2 = y1 ( ) , p( ) W ( ) (1.74)
de modo que a fun c ao de Green do operador de Sturm-Liouville (1.69)-(1.70) ser a escrita como G1 (x, ) G2 (x, ) = y1 (x )y 2 ( ) , p( ) W ( ) y2 (x )y 1 ( ) = , p( ) W ( ) (a x ), ( x b) . (1.75) (1.76)
que, denindo x> = max{x, } e x< = min{x, }, pode ser condensada numa u nica express ao: y1 (x < )y2 (x > ) G(x, ) = . (1.77) p( ) W ( )
1.2.3
Vamos demonstrar que, uma vez conhecida a fun c ao de Green, a solu c ao da equa c ao de Sturm-Liouville n ao-homog enea L[y (x)] = f (x) (1.78)
DE GREEN DO OPERADOR DE STURM-LIOUVILLE 13 1.2. A FUNC AO onde f (x) e uma fun c ao arbitr aria, cont nua por partes em a x b, e dada por
b
y (x )
=
a x
dG(x, )f ( ),
b
=
a
dG2 (x, )f ( ) +
(1.80)
F (x, y )dy =
a(x ) a(x )
teremos
x
y (x )
=
a x
=
a
dG1 f ( ),
(1.83)
y (x)
=
a x
b x
=
a
f (x ) dG1 f ( ) , p( x )
onde usamos que G2 (x, x) G1 (x, x) = W (x ) 1 y2 (x )y1 (x ) y1 (x )y2 (x ) + = = . p( x ) W ( x ) p( x ) W ( x ) p( x ) W ( x ) p( x ) (1.85) Substituindo (1.82) e (1.84) no operador de Sturm-Liouville L[y (x)] dy (x) d p( x ) s(x)y = p(x)y (x) + p (x)y (x) s(x)y = dx dx
x
=
a b
b x x a
x a
dG2 p (x)f ( ) +
+
x
dG2 s(x)f ( )
dG1 s(x)f ( )
x
f (x ) +
b
+
x
14
em vista de que, para x = , L[G(x, )] = 0, como quer amos demonstrar. Al em disso, podemos vericar que a solu c ao (1.80) satisfaz as condi c oes de contorno. Por exemplo, substituindo em (1.45) temos, em x = a,
b b
c 1 y (a) + c 2 y (a) = c 1
a
dG(a, )f ( ) + c2
a b
dG (a, )f ( ) (1.86)
=
a
1.2.4
` guisa de exemplo para o m A etodo geral de obten c ao da fun c ao de Green para o operador de Sturm-Liouville, considere a equa c ao n ao-homog enea [[5], Vol. I, pg. 372] n2 y = f (x ), (0 x 1) (1.87) (xy ) x f onde n e real, sob as condi c oes de contorno y (0) < e y (1) = 0. E acil ver que essa equa c ao tem a forma de Sturm-Liouville (1.44), onde p(x) = x, s(x) = n2 /x, e = 0. Vamos procurar uma solu c ao para a equa c ao homog enea correspondente (xy ) n2 y = 0, x (1.88)
sob a forma y (x) = x . Substituindo em (1.88), teremos que = n, ou seja, y (x) = axn + bxn . (1.89)
Inicialmente vamos procurar uma solu c ao n ao-trivial da equa c ao homog enea que satisfa ca a condi c ao de contorno em x = 0. Como y1 (0) < , segue-se que b = 0, e y1 (x) = axn , (0 x ). (1.90) Analogamente, uma solu c ao que satisfa ca a outra condi c ao de contorno em x = 1 e y2 (x ) = c (x n x n ), ( x 1) (1.91) O Wronskiano dessas duas solu c oes e W (y1 , y2 ) = y1 y2 y 1 y 2 = 2anc . x (1.92)
A fun c ao de Green e obtida diretamente pelas f ormulas (1.75) e (1.76) como n n x 1 (x ) , se 0 x , 2n G(x, ) = (1.93) n n 1 (x ) , se x 1. 2n x
15
Como um exemplo, considere o termo de fonte f (x) = x. Ent ao a solu c ao da equa c ao inomog enea ser a
1
y (x )
=
0
dG(x, ),
x 1 n d (x ) + 2n x 0 xn x2 , (n = 2). 4 n2 n 1
= =
d
x
(x )
1.3
1.3.1
conveniente tratar as solu E c oes da equa c ao de Sturm-Liouville, y (x), como vetores num espa co vetorial linear de dimens ao innita [7, 3, 8]; uma vez que a combina c ao linear de duas solu c oes c 1 y1 (x ) + c 2 y2 (x ), tamb em e uma solu c ao da equa c ao (1.44). Este espa co vetorial e munido de um produto interno denido por
b
< y1 , y2 >
y1 (x)y2 (x)dx.
(1.94)
A norma de uma fun c ao y (x) ser a denida como ||y (x)|| = < y, y >.
(1.95)
Uma solu c ao qualquer pode ser normalizada se for dividida pela sua norma. O vetor nulo tem norma igual a zero. Sob esse ponto de vista, duas solu c oes ser ao ditas ortogonais se o produto interno entre elas for nulo: < y1 , y2 >= 0 para ||y1,2 || = 0. O operador de Sturm-Liouville, L, representa uma transforma c ao linear no espa co das solu c oes, de forma que, sendo c1 e c2 dois reais quaisquer, ent ao L[c1 y1 (x) + c2 y2 (x)] = c1 L[y1 (x)] + c2 L[y2 (x)]. (1.96)
Dadas as condi c oes de contorno (1.45)-(1.46), a equa c ao de Sturm-Liouville s o apresenta solu c oes aceit aveis para determinados valores de = n , denominados autovalores do operador (1.54). A cada autovalor corresponde um e somente uma solu c ao correspondente, dita autofun c ao n (x), e que satisfaz ` a equa c ao L[n (x)] = n r(x)n (x). (1.97) Desse fato decorrem duas importantes conclus oes [vide Ap endice B.1]: (i) os autovalores {n }n=1 s ao reais; (ii) as autofun c oes {n (x)}n=1 correspondentes a autovalores distintos s ao ortogonais em rela c ao ` a fun c ao peso r(x): < n , r(x)j >= 0 se i = j . Se supusermos, adicionamente, que as autofun c oes
16
s ao normalizadas (norma igual a um) ent ao temos a chamada condi c ao de ortonormalidade (em rela c ao ` a fun c ao peso r(x)):
b
i (x)j (x)r(x)dx = ij .
a
(1.98)
O conjunto de autofun c oes do operador de Sturm-Liouville e completo, ou seja, uma fun c ao arbitr aria y (x) no intervalo a x b pode ser expressa como uma combina c ao linear das autofun c oes do operador de Sturm-Liouville: y (x ) =
n=1
c n n (x ),
(1.99)
conhecida como s erie de Fourier generalizada, e onde os coecientes da expans ao s ao dados por
b
cn =
a
n (x)y (x)r(x)dx,
(1.100)
1.3.2
Vamos considerar, agora a equa c ao de Sturm-Liouville n ao-homog enea L[y (x)] + r(x)y (x) = f (x) (1.101)
onde e um par ametro arbitr ario (n ao precisa ser um dos autovalores n , ali as nem deve s e-lo!). As condi c oes de contorno s ao as mesmas da equa c ao homog enea. Ent ao a fun c ao de Green correspondente satisfaz a equa c ao L[G(x, )] + r(x)G(x, ) = (x ), (1.102)
com as condi c oes de contorno (1.64)-(1.65). A partir da discuss ao da sub-se c ao precedente, podemos expandir a fun c ao de Green em uma s erie envolvendo as autofun c oes do operador de Sturm-Liouville: G(x, ) = Substituindo em (1.101) temos
n=1 n=1
n ( ) n (x ).
(1.103)
n [L(n ) + r(x)n ] =
n=1
n ( n )r (x ) n = (x ),
(1.104)
onde usamos a linearidade do operador e (1.97). Multiplicando por m (x) e integrando no intervalo a x b
b n b
n ( n )
n (x)m (x)r(x)dx
a
= =
(x )m (x)dx
n ( n )nm
m ( m ) = m ( ),
17
(1.105)
(1.106)
dita f ormula bilinear para a fun c ao de Green. Em consequ encia, a solu c ao da equa c ao n ao-homog enea (1.101) e
b
y (x )
= =
a
n ( )f ( )d.
a
(1.107)
Observe que, caso = n (caracterizando uma resson ancia), ent ao a fun c ao de Green diverge e, tecnicamente falando, n ao existe. Como um exemplo representativo, vamos estudar a seguinte equa c ao n aohomog enea y + ky = f (x), (0 x 1), (1.108) com as condi c oes de contorno y (0) = y (1) = 0. Inicialmente devemos determinar os autovalores e autofun c oes da equa c ao homog enea: y + ky = 0. Sabemos que a solu c ao, nesse caso, e (1.109) y (x) = A cos( kx) + B sin( kx). A restri c ao de que y (0) = 0 implica em que A = 0, ao passo que y (1) = 0 leva 2 2 aos autovalores k as autofun c oes n = n , onde n = 1, 2, 3, , correspondentes ` c ao de normaliza c ao n (x) = B sin( kn x) = B sin(nx). Impondo a condi temos
1 1
que fornece B = 2. Tomando o sinal positivo, sem perda de generalidade, as autofun c oes normalizadas do operador L[y ] = y + ky ser ao n (x) = 2 sin (nx) , (1.111) Para construir a fun c ao de Green a partir da f ormula bilinear n os observamos primeiramente que o operador L tem a forma de Sturm-Liouville se p(x) = r(x) = 1, com k , de forma que (1.106) e G(x, ) = 2 sin(nx) sin(n ) n2 2 k n=1
2 dx2 n (x ) = B
dx sin2 (nx) = 1
(1.110)
(1.112)
Essa express ao poderia, naturalmente, ser obtida de forma mais direta, lembrando que, sendo senos e cossenos autofun c oes ortogonais de L, o desenvolvimento em s erie acima nada mais e do que a s erie de Fourier de senos da fun c ao
18
de Green. A s erie s o envolve senos por tratar-se de fun c ao mpar, uma vez que as condi c oes de contorno exigem que a fun c ao se anule na origem. Com a f ormula bilinear e poss vel resolver de modo sistem atico a equa c ao n ao-homog enea (1.108) para qualquer fun c ao integr avel f (x) por meio da integral
1
y (x )
=
0
Como um exemplo, seja f (x) = x(1 x)/2, para a qual y (x ) = sin(nx) 2 2 k n n=1
1 0
sin(n ) (1 )d,
(1.115)
onde as integrais s ao elementares, fornecendo a solu c ao em s erie de Fourier do tipo n (1) sin nx y (x ) = 6 (1.116) n3 3 n2 2 k n=1
1.4
descreve a deex ao est atica u(x) dos pontos de uma corda de comprimento L esticada com uma tens ao T , e sujeita a uma distribui c ao de for cas verticais dada pela fun c ao f (x). Como as extremidades da corda s ao xas n ao sofrem deex ao, o que leva a condi c oes de contorno do tipo Dirichlet homog eneas: u(0) = u(L) = 0. (1.118)
A fun c ao de Green para o problema de contorno denido pelas equa c oes (1.117) e (1.118) satisfaz a equa c ao 2 G(x, ) = (x ) x2 com as mesmas condi c oes de contorno do problema original G(0, ) = G(L, ) = 0 (1.120) (1.119)
Vamos determinar a fun c ao de Green usando o m etodo geral v alido para a equa c ao de Sturm-Liouville. Come camos analisando a equa c ao homog enea uxx = 0, que corresponde ao operador de Sturm-Liouville quando p(x) = 1 e s(x) = 0. Vamos procurar solu c oes linearmente independentes dessa equa c ao que satisfa cam as condi c oes de contorno separadamente, ou seja, dos dois lados de x = . Para 0 x < , temos u1 (x) = ax + b, que dever a satisfazer
19
u(0) = 0, donde b = 0 e u1 (x) = ax. No outro intervalo, < x L, a solu c ao u2 (x) = cx + d tem que satisfazer u(L) = 0, o que e poss vel se d = cL, tal que u2 (x) = c(x L). O Wronskiano dessas solu c oes, no ponto x = , e W ( ) = u1 ( )u2 ( ) u2 ( )u1 ( ) = ac ac( L) = acL de tal modo que a fun c ao de Green e dada por (1.75)-(1.76) G(x, ) =
1 (x)u2 ( ) u p( )W ( ) =
(1.121)
2 (x)u1 ( ) u p( )W ( )
x ( L ) , L ( L x ) , L
se 0 x ,
se < x 1.
(1.122)
Conhecida a fun c ao de Green, a solu c ao da equa c ao n ao-homog enea (1.117) e dada por u (x ) = = = 1 T 1 T
L
G(x, )f ( )d,
0 x 0
( x L) f ( )d + L
x
L x
x ( L) f ( )d, , L
L
1 ( x L) TL
f ( )d + x
0 x
1.5
Uma interessante ilustra c ao do m etodo da fun c ao de Green para equa c oes diferenciais ordin arias e a din amica de uma part cula em um meio viscoso sob a a c ao de uma for ca externa dependente do tempo. Seja m a massa da part cula, e R o coeciente de dissipa c ao correspondente ` a for ca de atrito viscoso. A equa c ao de movimento da part cula e m dv + Rv = f (t), dt (1.124)
onde f (t) e uma for ca externa aplicada no sentido do movimento, que e nula para t < 0 , onde 0 e o instante onde a for ca come ca a ser aplicada sobre a part cula. Supomos, tamb em, a condi c ao inicial v (0 ) = 0 que faz o papel de condi c ao de contorno do problema, j a que a vari avel independente agora e o tempo. A fun c ao de Green, G(t, ), e a solu c ao da equa c ao (1.124) quando a fonte extensa e substituida por um impulso unit ario aplicado em t = : (t, ) + RG(t, ) = (t ), mG (1.125)
satisfazendo a mesma condi c ao inicial G(0 , ) = 0. Dessa forma, a solu c ao da equa c ao n ao-homog enea (1.124) ser a v (t) =
G(t, )f ( )d.
(1.126)
20
Podemos resolver (1.125) aplicando transformadas de Laplace a ambos os seus membros 3 : } + RL{G} mL{G = = L{ (t )}, es ,
GL (s, )
es ms + R
(1.127)
onde usamos propriedades conhecidas. A fun c ao de Green no tempo ser a, portanto, a transformada inversa de Laplace. Usando a propriedade do deslocamento teremos G(t, ) = L1 {GL (s, )} = f (t )H (t ), onde f ( t) = L 1 1 ms + R = 1 (R/m)t e , m (1.129) (1.128)
ap os consulta a uma tabela de transformadas de Laplace, e introduzimos a fun c ao degrau unit ario de Heaviside H (t ) = de modo que G(t, ) = 1 (R/m)(t ) H (t ). e m (1.131) 0, 1, se t < , , se t , (1.130)
e(R/m)(t ) H (t )f ( )d m e(R/m)(t ) H (t ) f ( )d + m e
(R/m)(t ) =1, t t
e(R/m)(t ) H (t ) f ( )d m
=0, t<
f ( )d =
1 m
e(R/m)(t ) f ( )d
0
(1.132)
au ltima express ao decorrendo da suposi c ao feita inicialmente que f (t) = 0 para t < 0 . Como, obviamente, v (0 ) = 0, a condi c ao inicial e automaticamente satisfeita pela solu c ao (1.132). Como um exemplo de aplica c ao, consideremos uma for ca que diminui exponencialmente com o tempo: f (t) = 0, f 0 e ( t 0 ) , se t < 0 , , se t 0 , (1.133)
3 N ao confundir o s mbolo de transformada de Laplace com aquele usado para o operador de Sturm-Liouville
1.6. PROBLEMAS
21
com > 0 uma constante. Substituindo (1.133) em (1.132), uma integra c ao simples, ainda que tediosa, fornece v (t) = f0 e(t0 ) e(R/m)(t0 ) R m (1.134)
que tende exponencialmente a zero quando o tempo tende ao innito, como espera-se do movimento em um meio resistivo quando a for ca anula-se com o passar do tempo.
1.6
Problemas
1. Usando o m etodo do Wronskiano, obtenha a fun ca o de Green para a equa ca o de Sturm-Liouville L[y (x)] = f (x), com a x b, nos seguintes casos: (a) L[y ] = y , (b) L[y ] = y + k2 y, (c) L[y ] = y k2 y, (d) L[y ] = y + k2 y, (e) L[y ] = y k2 y, (f) L[y ] = y , (g) L[y ] = y + k2 y, (h) L[y ] = y k2 y, (i) L[y ] = y , (j) L[y ] = y , (k) L[y ] = y y, (l) L[y ] = [(1 x2 )y ] , (m) L[y ] = [(1 x2 )y ] (n) L[y ] = (xy ) , y (0) < , y (1) = 0. m2 y , 1 x2 y (1) < ; y (1) < ; y () < ; y (0) = y (1), y (0) = y (1); y (1) = 0, y (1) = 0; y (0) = 0, y (1) = 0; y (0) = 0, y (1) = 0; y (0) = 0, y (1) = 0; y (1) = y (1), y (1) = y (1); y (1) = y (1), y (1) = y (1); y (0) = 0, y (1) = 0; y (0) = 0, y (1) = 0; y (0) = 0, y (1) = 0;
22
(a) x=0
Figura 1.1: (a) Esquema de uma viga el astica n ao-deformada. (b) Viga deetida sob um carregamento vertical uniforme.
2. Ache a fun ca o de Green para y + 3y + 2y = f (x), (0 x 1),
com y (0) = y (0) = 0. Obtenha a solu ca o do problema de contorno para o caso f ( x) = 4 x. 3. Considere o problema da deex ao da corda, com uma distribui ca o de for cas f (x) = f0 x(x L). Obtenha a deex ao em todos os pontos da corda. 4. A equa ca o que descreve a ex ao u(x) de uma viga el astica homog enea de comprimento L ao longo do eixo x [Fig. 1.1] e EIuxxxx = f (x), (0 x L)
onde E e o m odulo de Young e I o momento de in ercia da se ca o reta da viga em rela ca o ao eixo horizontal, e f (x) e` a for ca de carregamento da viga por unidade de comprimento. H a v arios tipos de condi co es de contorno para esse problema, correspondendo a diferentes formas de apoio da viga em suas extremidades. Algumas delas s ao: Viga simplesmente apoiada [Fig. 1.2(a)]: u(0) uxx (0) = = u( L ) = 0 , uxx (L) = 0, (n ao h a deex ao nas extremidades) (momento etor nulo)
Viga engastada [Fig. 1.2(b)]: u(0) ux (0) = = u( L ) = 0 , ux ( L ) = 0 , (n ao h a deex ao nas extremidades) (a tangente horizontal e nula)
Viga engastada e livre [Fig. 1.2(c)]: u(0) uxx (L) uxxx (L) = = = ux ( L ) = 0 , 0, 0, (a extremidade x = 0 e engastada) (o momento etor e nulo em x = 1) (for ca de cizalhamento nula em x = 1)
(a) Obtenha a fun ca o de Green para o problema da ex ao da viga el astica no caso da viga simplesmente apoiada. Imponha a continuidade das derivadas primeira e segunda, e considere o salto da derivada terceira. (b) Resolva a equa ca o n ao-homog enea no caso de um carregamento uniforme sobre a viga, f (x) = f0 , e mostre que u ( x) = f0 ( x4 2 x3 + x) 24EI
1.6. PROBLEMAS
(a) x
23
x=0
x=L (b)
x=0
x=L (c) x
x=0
x=L
Figura 1.2: Algumas condi c oes de contorno: (a) viga simplesmente apoiada; (b) viga duplamente engastada; (c) viga engastada e livre.
tal que a echa, ou a deex ao m axima da viga, e dada por 5f0 /96EI . (c) Repita os tens anteriores para os casos de uma viga engastada em ambas extremidades e para uma extremidade engastada e outra livre. 5. A equa ca o de movimento de uma part cula de massa m em um meio com coeciente de dissipa ca o viscosa R, sob a a ca o de uma for ca externa f (t). Ache v (t) quando a for ca externa e dada por f (t) = 0, f0 cos(t), se t < 0 , se t > 0 ,
6. A equa ca o de movimento de um oscilador harm onico amortecido e for cado e [[3], pg. 505] f (t) 2 x + 2 x + 0 x= m
2 onde m, , 0 , e f (t) representam, respectivamente, a massa, coeciente de dissipa ca o viscosa, frequ encia natural, e for ca externa.
1 ( t ) e sin[ (t )]H (t ).
(b) Usando o resultado do tem anterior, ache v (t) quando a for ca externa e dada por
24
f (t) =
0, f0 e(t0 ) , 0, f0 cos(t),
f (t) =
Cap tulo 2
2.1
2.1.1
onde e o coeciente de condutividade t ermica da barra. Por conserva c ao de energia, e supondo que a barra seja homog enea, a equa c ao que descreve a condu c ao de calor e 2 u(x, t) u(x, t) , (2.2) = a2 t x2 onde denimos a difusividade t ermica (2.3) a2 = c
Vamos considerar a condu c ao de calor ao longo de uma barra unidimensional, cujas extremidades est ao localizadas em x = 0 e x = L, respectivamente, sendo que as laterais da barra est ao isoladas termicamente. Denotando por u(x, t) a temperatura em cada ponto da barra no tempo t, a Lei de Fourier diz que o uxo de calor q (x, t) = ux (x, t), (2.1)
sendo c o calor espec co e a densidade do meio. Se houver fontes de calor no interior da barra (subst ancias radioativas, por exemplo), descritas pelo uxo de calor end ogeno p(x, t), a equa c ao de condu c ao do calor n ao-homog enea ser a escrita u(x, t) 2 u(x, t) (2.4) + p(x, t). = a2 t x2 A equa c ao (2.4) pode descrever v arios outros problemas de interesse f sico, como a difus ao de uma subst ancia (como um poluente) num uido estacion ario 25
26
(l quido ou g as). Nesse caso, u(x, t) ser a a concentra c ao da subst ancia, e q (x, t) ser a o uxo difusivo. A rela c ao constitutiva de interesse e dita lei de Fick: o uxo difusivo e proporcional ao gradiente negativo da concentra c ao, sendo a2 denominado coeciente de difus ao. A equa c ao do calor (2.4) envolve a posi c ao e o tempo. Portanto, para termos um problema bem-posto e necess ario especicar: Condi c oes iniciais: o perl de temperaturas ao longo da barra para t = 0: u(x, 0) = f (x), para 0 x L; Condi c oes de contorno nas extremidades da barra, em x = 0 e x = L: 1. Dirichlet: as extremidades da barra est ao em contacto diat ermico com reservat orios de calor, cujas temperaturas s ao especicadas como fun c oes do tempo (ou simplesmente s ao xas): u(0, t) = u(L, t) = (t); 2. Neumann: o uxo de calor q = ux e especicado nas extremidades da barra como uma fun c ao do tempo. Se estas est ao isoladas termicamente, ent ao q = 0, ou seja, ux (0, t) = 0 e/ou ux (L, t) = 0; 3. Mistas: um exemplo interessante ocorre quando as extremidades da barra est ao sujeitas ` a lei do resfriamento de Newton. Por exemplo, seja u0 a temperatura do ambiente onde a extremidade x = 0 est a colocada. Ent ao, pela lei de Newton q (0, t) = h[u(0, t) u0 ], onde h>0 e o coeciente de resfriamento. Pela lei de Fourier, a condi c ao mista (do tipo Robin) nessa extremidade ser a hu(0, t) + ux (0, t) = hu0 .
2.1.2
At e agora, usamos o m etodo da fun c ao de Green para resolver equa c oes diferenciais ordin arias e n ao-homog eneas. No entanto, a versatilidade do m etodo permite-nos empreg a-lo tamb em em outras situa c oes [14]. Por exemplo, mesmo na equa c ao do calor homog enea podemos usar fun c oes de Green para resolver o problema de valor inicial correspondente. A id eia, aqui, e considerar uma fun c ao de Green como sendo a solu c ao da equa c ao de calor, onde a condi c ao inicial e uma fun c ao delta aplicada num ponto gen erico da barra. Conhecida essa fun c ao de Green especial, podemos construir a solu c ao para uma condi c ao inicial arbitr aria f (x) superpondo as solu c oes do tipo fun c ao de Green para todos os pontos. Vamos aplicar o m etodo da transformada de Fourier para obter a fun c ao de Green para as condi c oes iniciais na equa c ao do calor unidimensional homog enea 2 u(x, t) u(x, t) = a2 , t x2 (2.5)
para uma barra innitamente longa e isolada nas laterais, com a seguinte condi c ao de contorno u(|x| , t) = 0, (2.6) e com uma distribui c ao inicial de temperaturas u(x, t = 0) = f (x), com x R.
27
A solu c ao de (2.4) depende linearmente da condi c ao inicial f (x), ou seja, se u1 (x, t) e u2 (x, t) s ao duas solu c oes de (2.4) correspondentes ` as condi c oes iniciais f1 (x) e f2 (x), respectivamente, ent ao c1 u1 + c2 u2 ser a a solu c ao correspondente a combina ` c ao linear das condi c oes iniciais c1 f1 + c2 f2 . Logo, podemos superpor linearmente solu c oes correspondentes a condi c oes iniciais do tipo impulso unit ario, representadas por fun c oes delta de Dirac, da mesma forma que zemos com os termos de fonte nas equa c oes n ao-homog eneas. Chamaremos G(x, , t) a fun c ao de Green para as condi c oes iniciais para (2.4), G(x, , t) 2 G(x, , t) a2 = 0, (2.7) t x2 com as mesmas condi c oes de contorno do problema original G(|x| , , t) = 0, (2.8)
mas satisfazendo uma condi c ao inicial do tipo fun c ao delta aplicada em x = G(x, , t = 0) = (x ). (2.9)
Conhecida a fun c ao de Green, a solu c ao de (2.5) para uma condi c ao inicial arbitr aria u(x, t = 0) = f (x) ser a obtida pela superposi c ao linear das solu c oes correspondentes ` as condi c oes iniciais do tipo fun c oes delta: u(x, t) =
(2.10)
Para obter a fun c ao de Green para as condi c oes iniciais da equa c ao do calor, vamos resolver a equa c ao (2.28) usando tranformadas de Fourier 1 GF (k, , t) = F{G(x, , t)} = 2 dando
(2.11)
(2.12)
k t
(2.13)
Aplicando a transformada de Fourier ` a condi c ao inicial (2.9) obtemos 1 GF (k, , t = 0) = eik , 2 que e a condi c ao inicial que aparece em (2.13):
2 2 1 GF (k, , t) = ea k t+ik . 2
(2.14)
(2.15)
Para retornar ao espa co-x original, tomamos a transformada de Fourier inversa: G(x, , t) = F 1 {GF (k, , t)} = 1 2
dkea
2 2
k tik(x )
(2.16)
28
que pode ser efetuada completando-se o quadrado no expoente: a2 k 2 t ik (x ) = Fazendo a substitui c ao de vari avel v temos que G(x, , t) = 1 1 (x ) exp 2 a2 t 4a2 t
2
a2 tk +
i( x ) 2 a2 t
(x ) . 4a2 t
i( x ) , a2 tk + 2 a2 t
dvev ,
(2.17)
de modo que a fun c ao de Green para as condi c oes iniciais, tamb em chamada solu ca o fundamental para a equa c ao do calor, e G(x, , t) = 1 4a2 t exp (x ) 4a2 t
2
(2.18)
A solu c ao da equa c ao do calor homog enea para uma distribui c ao inicial arbitr aria de temperatura f (x) ser a, conforme (2.10): u(x, t) = 1 4a2 t
exp
(x ) 4a2 t
f ( )d,
(2.19)
que satisfaz a condi c ao de contorno (2.6). Al em disso, no limite t a temperatura e nula para todo x. Distribui c ao espacial de temperatura numa barra innita Como um exemplo simples onde a integral em (2.19) e analiticamente sol uvel, vamos tomar a condi c ao inicial: u(x, t = 0) = f (x) = u0 , 0, se |x| 1, se |x| > 1, (2.20)
tal que a temperatura em todos os pontos da barra innita, num instante de tempo t > 0 arbitr ario, e dada por (2.19): u(x, t) = u0 4a2 t
1 1
exp
(x ) 4a2 t
u0 d =
w(1) w(1)
ew dw
(2.21)
onde aplicamos a transforma c ao de vari avel w(x) = ( x)/2 a2 t. A integral em (2.21) pode ser escrita em termos da fun c ao erro [Eq. (A.7)]. Usando (A.11) temos que a temperatura, como fun c ao de x e t, e u(x, t) = u0 erf 2 1+x 2 a2 t + erf 1x 2 a2 t . (2.22)
29
0,8
u/u0
0,6
t=0,0 t=0,1 t=0,2 t=0,5 t=1,0 t=2,0 t=5,0 t=20 t=50 t=100
0,4
0,2
0 -4
-2
0 x
Figura 2.1: Distribui c ao de temperaturas numa barra innita com a2 = 1 para v arios instantes de tempo. A condi c ao inicial e dada por (2.20). Devido ` as propriedades da fun c ao erro, os pers de temperatura s ao gaussianos para t > 0, com um m aximo para x = 0, e tornando-se cada vez mais achatados instrutivo conferirmos se as condi com o passar do tempo [Fig. 2.1]. E c oes iniciais e de contorno s ao, realmente, satisfeitas pela solu c ao (2.22):
|x|
lim u(x, t) =
t 0
lim u(x, t) =
o que naturalmente decorre do equil brio t ermico da barra. Podemos, ainda, determinar o uxo de calor associado ` a solu c ao (2.22) usando a Lei de Fourier (2.1): q (x, t) = = u0 erf 2 x 1+x 2 a2 t + erf
2
onde usamos algumas propriedades da fun c ao erro (vide ap endice). Al em disso, no limite t u0 erf(0) + erf(0) = 0, lim u(x, t) = t 2
=0 =0
u0 erf() + erf() = u0 , 2
=1 =1
u0 erf() + erf() = 0, 2
=1
= 1
se
1 x 1,
1x 2 a2 t (1 + x) 4a2 t
2
u0 4a2 t
exp
(1 x) 4a2 t
exp
, (2.23)
30
3
q0
-1
-2
-3 -4
-2
Figura 2.2: Distribui c ao do uxo de calor numa barra innita com a2 = 1, = 1, e u0 = 1 para v arios instantes de tempo. A condi c ao inicial e dada por (2.20). onde usamos (A.9). O gr aco do uxo de calor em fun c ao da posi c ao na barra, para alguns instantes de tempo, e mostradona Fig. 2.2. Vemos que o uxo, tal qual a temperatura na barra, tamb em se anula no innito. De fato, aplicando o limite correspondente em (2.23) temos
|x|
lim q (x, t) =
u0 4a2 t
(0 0) = 0
O comportamento para tempos muito pequenos e bastante interessante, pois o uxo est a concentrado inicialmente pr oximo ` as extremidades da barra, sendo positivo ` a esquerda e negativo ` a direita. No limite quando t tende a zero teremos lim q (x, t) = u0 lim e(1x) /4a t 0 4a2 t
2 2
t 0
lim
(2.24)
Usando a representa c ao gaussiana da fun c ao delta (vide Cap tulo sobre Teoria das Distribui c oes) 2 2 n (x) = lim en x (2.25) n e fazendo n = 1/ 4a2 t, tal que n quando t 0, podemos escrever os limites em (2.24) como
t 0
(2.26)
mostrando que o uxo consiste em duas fun c oes delta centradas em x = 1. Fisicamente esse resultado pode ser interpretado da seguinte forma: inicialmente
DE GREEN PARA UMA FONTE EXTENSA DE CALOR 31 2.2. FUNC AO o gradiente da temperatura e diferente de zero apenas nas extremidades da barra, onde, ali as, e innitamente grande. Em todos os outros pontos o uxo de calor e zero pois a temperatura e inicialmente uniforme tanto dentro (u = u0 ) como fora da barra (u = 0). O uxo e positivo na extremidade x = 1 pois o vetor uxo de calor aponta no sentido positivo do eixo x, enquanto na extremidade x = 1 o vetor uxo aponta no sentido negativo do eixo x. Com o passar do tempo, o uxo de calor e suavizado de modo que a temperatura tanto dentro como fora da barra passa a ser n ao-uniforme. Na situa c ao de equil brio o uxo anula-se identicamente ao longo de toda a barra.
2.2
Vamos considerar, agora, o comportamento da temperatura numa barra innita onde haja uma fonte extensa de calor que tamb em dependa explicitamente do tempo, dada por (2.4): 2u u a2 2 = p(x, t) , t x (2.27)
onde temos a condi c ao de contorno (2.8) e supomos, por simplicidade, a condi c ao inicial u(x, t = 0) = 0 para todo x. Em problemas de contorno onde o termo n ao-homog eneo dependa tanto de uma coordenada espacial como do tempo, n os denimos uma fun c ao de Green G(x, ; t, ) em termos de uma fonte puntual do tipo fun c ao delta tanto na posi c ao x = como no tempo t = (isto e, uma fonte puntual e que age somente num instante de tempo) 2G G a2 2 = (x ) (t ), t x empregando condi c oes inicial e de contorno homog eneas G(x = , ; t, ) G(x, ; t = 0, ) = = 0, 0. (2.29) (2.30) (2.28)
Resolvida a equa c ao para a fun c ao de Green, a temperatura em qualquer ponto da barra quando houver uma fonte extensa p(x, t) e a solu c ao da equa c ao n ao-homog enea u(x, t) =
0
dG(x, ; t, )p(, ).
(2.31)
Assim como no caso anterior, vamos usar a transformada de Fourier da fun c ao de Green 1 GF (k, ; t, ) = F{G(x, ; t, )} = 2
+
dxG(x, ; t, )eikx ,
(2.32)
para resolver a parte espacial da equa c ao (2.28), dando GF (k, ; t, ) 1 + a2 k 2 GF (k, ; t, ) = eik (t ). t 2 (2.33)
32
Para resolver a parte temporal dessa nova equa c ao aplicamos transformadas de Laplace GF L (k, ; s, ) = L{GF (k, ; t, )} =
0
dtest GF (k, ; t, ),
(2.34)
com a respectiva propriedade de deriva c ao. Devido ` a condi c ao inicial (2.30) temos que GF (k, ; t = 0, ) = 0, donde (2.33) fornece 1 s GF L (k, ; s, ) + a2 k 2 GF L (k, ; s, ) = eiks , 2 e a transformada de Laplace-Fourier da fun c ao de Green ser a 1 1 GF L (k, ; s, ) = eiks . 2 s + a2 k 2 (2.36) (2.35)
Temos que fazer, agora, o caminho de volta. Come camos pela transformada inversa de Laplace 1 GF (k, ; t, ) = L1 {GF L (k, ; s, )} = L1 2 eiks s + a2 k 2 . (2.37)
(2.38)
Por outro lado, pela propriedade de deslocamento da transformada de Laplace L1 {e s L{f (t)}} = f (t )H (t ), (2.39) onde H (t ) e a fun c ao degrau unit ario de Heaviside: H (t ) = 0, 1, se t < , se t .
2 2
(2.40)
k t
Logo, combinando (2.38) com (2.39), e identicando f (t) com ea em 2 2 1 GF (k, ; t, ) = eika k (t ) H (t ). 2
, resulta (2.41)
O segundo passo e aplicar a transformada inversa de Fourier a (2.41): G(x, ; t, ) = F 1 {GF (k, ; t, )} = H (t ) 2
+
dkeik(x)a
2 2
k ( t )
(2.42) que j a foi resolvida (completando o quadrado) na se c ao anterior, a u nica diferen ca sendo a substitui c ao de t por t no resultado: G(x, ; t, ) = 4a2 (t ) H (t ) exp (x ) . 4a2 (t )
2
(2.43)
DO CALOR NUMA BARRA SEMI-INFINITA33 2.3. METODO DAS IMAGENS: CONDUC AO Comparando essa express ao com a fun c ao de Green para as condi c oes iniciais (2.18), concluimos que o problema da fonte extensa e semelhante ao da condi c ao inicial no tempo retardado t . Substituindo a fun c ao de Green (2.43) na solu c ao da equa c ao de calor n aohomog enea (2.31), teremos u(x, t) =
0
H (t )p(, ) 4a2 (t )
exp
(x ) . 4a2 (t )
(2.44)
Como a fun c ao degrau H (t ) s o e diferente de zero quando t , ent ao a integral em vai apenas de 0 at e t:
t +
u(x, t) =
0
p(, ) 4a2 (t )
exp
(x ) . 4a2 (t )
(2.45)
2.3
O m etodo das imagens e mais conhecido pelas suas aplica co es na eletrost atica, mas pode ser tamb em empregado em problemas de contorno para a equa c ao do calor, como a condu c ao por uma barra semi-innita: 0 x < . Podemos ter dois tipos de condi c oes de contorno, nesse caso: Dirichlet: a extremidade x = 0 da barra e colocada em contacto diat ermico com um reservat orio de calor ` a temperatura zero: u(x = 0, t) = 0; Neumann: a extremidade x = 0 e termicamente isolada, anulando o uxo de calor nesse ponto: ux (x = 0, t) = 0. Em ambos os casos, no innito a temperatura ser a nula: u(x = , t) = 0. Adotaremos, ainda, como condi c ao inicial uma distribui c ao arbitr aria de f temperatura u(x, t = 0) = f (x), com 0 < x < . E acil mostrar, usando (2.19), que, se f (x) for uma fun c ao par ( mpar) de x, ent ao a solu c ao u(x, t) correspondente tamb em dever a ser uma fun c ao par ( mpar) de x. Podemos usar esse fato para obter as solu c oes para a barra semi-innita a partir da solu c ao (2.19) que usa a fun c ao de Green para as condi c oes iniciais. No problema de Dirichlet, impomos que u(x = 0, t) = 0 para todos os tempos. Isso signica que a distribui c ao inicial de temperatura, que tamb em deve satisfazer essa condi c ao de contorno, deve ser tal que f (0) = 0; ou seja, f (x ) e uma fun c ao mpar de x: f (x) = f (x). Se estendermos o dom nio de x para todo o eixo real (isto e, voltando ao problema da barra innita), deveremos usar uma condi c ao inicial adequadamente denida, a saber [3] (x) = f f (x ), f ( x ), se x > 0, se x < 0. (2.46)
34
Substituindo essa condi c ao inicial modicada em (2.19) teremos uma solu c ao para a barra innita do tipo u (x, t) = = = = 1 4a2 t 1 4a2 t 1 4a2 t 1 4a2 t
0
exp e
(x ) 4a2 t
( )d f
(x)2 4a2 t
(x+)2 4a2 t
f ( )d
(2.47)
onde zemos inicialmente a mudan ca de vari avel = , e depois trocamos por , por tratarem-se ambas de vari aveis de integra c ao (mudas). Como essa solu c ao, por constru c ao, satisfaz a condi c ao u(0, t) = 0, podemos us a-la para descrever a barra semi-innita com a condi c ao de contorno de Dirichlet: u(x, t) =
0
(2.48)
onde a fun c ao de Green correspondente e aquela que aparece em (2.47): G(x, , t) = 1 4a2 t e
(x)2 4a2 t
(x+)2 4a2 t
(2.49)
Para entender como funciona o m etodo das imagens nesse c alculo, vamos tomar o limite t 0 para a fun c ao de Green acima: G(x, , t = 0) = =
t 0
onde usamos a representa c ao gaussiana da fun c ao delta (2.25), com n2 = 1/4a2 t (tal que t 0 implica em n ). A fun c ao de Green das condi c oes iniciais para a barra semi-innita tem duas contribui c oes: uma fonte real em x = , e uma fonte imagem (invertida, devido ao sinal negativo) em x = , fora da barra. Logo, n os construimos a solu c ao a partir de uma fonte imagem puntual escolhida de forma que a condi c ao de contorno homog enea em x = 0 fosse vericada, exatamente como zemos nos problemas eletrost aticos. O problema de Neumann para a barra semi-innita tem aspectos parecidos. Desejamos encontrar uma fonte imagem tal que a condi c ao de contorno ux (x = 0) seja satisfeita. Como ux (0) = 0, a derivada de u em rela c ao a x deve ser uma fun c ao mpar, donde u(x) ser a uma fun c ao necessariamente: u(x) = u(x). Nesse caso denimos uma condi c ao inicial modicada para a barra innita: (x) = f f (x ), f ( x ), se x > 0, se x < 0. (2.51)
4a2 t (x ) (x + ),
lim
( x ) 2 4a2 t
( x+ ) 2 4a2 t
(2.50)
Repetindo a an alise feita no caso de Dirichlet, a fun c ao de Green no caso de Neumann ser a G(x, , t) = 1 4a2 t e
(x)2 4a2 t
+ e
(x+)2 4a2 t
(2.52)
35
(2.53)
representando uma fonte puntual real em x = e uma fonte imagem, mas n ao-invertida, em x = .
2.3.1
No problema de Dirichlet para a barra semi-innita vamos supor que a condi c ao inicial seja um perl constante u(x, t = 0) = u0 , (0 x < ) (2.54)
u 0 4a2 t
d e
( x ) 2 4a2 t
( x+ ) 2 4a2 t
(2.55)
Fazendo as mudan cas de vari avel x , y 4a2 t e usando (A.11) obtemos u(x, t) = u0 erf x 4a2 t . (2.56) x+ z , 4a2 t
cujo comportamento, para v arios valores do tempo t, est a ilustrado na gura 2.3. Observamos que o perl, inicialmente quase constante (exceto muito pr oximo a fronteira), vai tornando-se nivelado com o passar do tempo, at ` e que, para t , toda a barra semi-innita ca com temperatura nula. O uxo de calor correspondente ` a solu c ao (2.56) e u0 x2 /4a2 t e . q (x, t) = ux = 4a2 t (2.57)
2.4
Vamos considerar agora o problema combinado de uma barra semi-innita, com um dado perl inicial de temperatura f (x), com 0 x < , e uma fonte de calor p(x, t): ut a2 uxx = p(x, t) (2.58) com a condi c ao inicial u(x, 0) = f (x) e de contorno do tipo Dirichlet n aohomog enea u(x, 0) = u0 . A linearidade da equa c ao do calor nos permite somar solu c oes, e por isso e poss vel escrever a solu c ao deste problema como u(x, t) = v (x, t) + w(x, t) (2.59)
36
1
0,8
0,6
u/u0
0,4 0,2 0 0
Figura 2.3: Distribui c ao de temperaturas numa barra semi-innita com a2 = 1 para v arios instantes de tempo. onde v (x, t) e a solu c ao da equa c ao do calor homog enea na barra semi-innita com um perl inicial constante de temperatura, que foi o assunto da se c ao anterior: vt a2 vxx = 0, (0 x < ) (2.60)
com v (0, t) = 0 e v (x, 0) = u0 . De (2.56), a solu c ao desta parte ser a v (x, t) = u0 erf x 4a2 t . (2.61)
A segunda parte da solu c ao, w(x, t), satisfaz o problema n ao-homog eneo na barra semi-innita com condi c oes de contorno de Dirichlet homog eneas: wt a2 wxx = p(x, t), (0 x < ) (2.62)
com w(0, t) = 0 e w(x, 0) = 0 e p(x, t) e o termo de fonte. Vimos anteriormente, no caso da barra innita, que a fun c ao de Green para uma fonte extensa e facilmente obtida a partir da fun c ao de Green para as condi c oes iniciais, bastando para isso atrasar o rel ogio, ou seja, trocar t por t [vide (2.43)]. Essa prescri c ao pode ser aplicada aqui tamb em: a fun c ao de Green do problema de contorno (2.62) e obtida da fun c ao de Green para as condi c oes iniciais (2.49) trocando t por t : G(x, ; t, ) = 1 4a2 (t ) e
4 a 2 ( t )
(x)2
+e
4 a 2 ( t )
( x+ ) 2
(2.63)
2.4. FONTE EXTENSA NA BARRA SEMI-INFINITA de modo que a solu c ao ser a w(x, t) =
0 0
37
d
0
dG(x, ; t, )p(, )
0
d 4a2 (t )
dp(, ) e
4 a 2 ( t )
( x ) 2
4 a 2 ( t )
( x+ ) 2
(2.64) .
No caso particular de uma fonte constante no tempo (acionada em t = 0) e no uniforme no espa co (p(x, t) = p0 H (t)) teremos w(x, t) = p0
0
d 4a2 (t ) x + 4a2 t d
0
d e
4 a 2 ( t )
( x ) 2
4 a 2 ( t )
( x+ ) 2
(2.65)
e a solu c ao do problema original (2.58) ser a, portanto, dada por u(x, t) = = u0 erf p0
0
4a2 (t )
d e
4 a 2 ( t )
(x)2
4 a 2 ( t )
( x+ ) 2
.(2.66)
2.4.1
Uma interessante aplica c ao do formalismo desenvolvido nessa se c ao e a an alise de um modelo bastante simplicado para o resfriamento da Terra, a partir de sua perda de calor e consequente solidica c ao supercial. Desprezando-se a sua curvatura podemos analisar o problema essencialmente em uma dimens ao, onde a vari avel x pode indicar a profundidade medida a partir da superf cie da Terra em x = 0. Problema homog eneo Inicialmente vamos supor que n ao haja fontes de calor, de forma que, sendo u(x, t) a temperatura da Terra, seu processo de resfriamento satisfa ca a equa c ao de calor homog enea (2.60): ut a2 uxx = 0, (0 x < ) (2.67)
Consideramos que, na sua cria c ao (em t = 0) a Terra era uma esfera de magma, consistindo de rochas l quidas a uma temperatura constante de u0 = 12000 C , dando a condi c ao inicial u(x, t = 0) = u0 . Al em disso, supomos que a temperatura da crosta Terrestre seja u = 00 C em m edia (as utua c oes s ao da ordem de 400 C para mais ou para menos). Temos, pois, uma condi c ao de contorno de Dirichlet homog enea u(x = 0, t) = 0. A solu c ao desse problema e dada por (2.61). Considerando o magma como sendo uma mistura de rochas fundidas, principalmente granitos e basaltos [18], podemos estimar uma condutividade t ermica m edia de = 1, 67W/m.0 C , assim como uma densidade m edia de = 2, 8 103 J/m3 .0 C , e um calor espec co m edio de c = 1, 0 103 J/kg.0 C , o que fornece uma estimativa da difusividade t ermica, segundo (2.3) a2 = 1, 67W/m.0 C = 6, 0 107 m2 /s. 2, 8 103 J/m3 .0 C 1, 0 103 J/kg.0 C (2.68)
38
Do ponto de vista experimental, uma quantidade de interesse e o gradiente (ou grau) geot ermico, que e o aumento da temperatura em rela c ao ao aumento da profundidade, medido na superf cie Terrestre = ux (x = 0, t). Medidas geof sicas indicam que a temperatura cresce em m edia 3O C a cada 100m de profundidade, para profundidades at e cerca de 2km, o que fornece um valor para o gradiente geot ermico = u 30 C = = 3 1020 C/m. x 100m
2 2 u0 u = e x / 4a t , 2 x a t
(2.69)
Substituindo o valor atual (2.69) do gradiente geot ermico em (2.71) obtemos uma estimativa para a idade da Terra t= u2 0 = 8, 5 1014 s = 27 106 anos a2 2 (2.72)
que est a bem abaixo do valor geol ogico aceito atualmente, que e de 4, 5 109 anos. Esse c alculo foi feito em 1862 por Lord Kelvin, que estimou a idade da Terra entre 20 e 400 milh oes de anos, provocando um acalorado debate nos meios cient cos, pois Charles Darwin tinha recentemente publicado sua teoria da evolu c ao das esp ecies. A teoria de Darwin e baseada na sele c ao natural, que e a combina c ao de varia c oes aleat orias heredit arias (na verdade, muta c oes gen eticas) e a sobreviv encia das esp ecies mais aptas. Ambos os processos implicam tempos muito altos, da ordem de 3, 8 109 anos. Assim, o resultado de Kelvin poderia ser usado como um argumento contra a teoria da evolu c ao. Problema n ao-homog eneo Um dado com o qual Kelvin n ao contava em 1862 era a exist encia de radioatividade. Pierre Curie, em 1903, j a havia mostrado que emiss oes radioativas poderiam aumentar a temperatura de um corpo. V arios f sicos, entre os quais Rutherford e George Darwin (lho de Charles Darwin!) viram nesse fato uma maneira de explicar o resultado de Kelvin: ele n ao teria levado em conta a exist encia de emiss oes radioativas no magma, e que poderiam justicar por que a Terra esfriou mais lentamente do que o previsto por Kelvin. De fato, h a v arios n ucleos radioativos cuja desintegra c ao atua como fonte de calor nesse caso. Os principais s ao 235 U , 238 U , 232 T h e 40 K . A densidade volum etrica dessas fontes de calor pode ser estimada como [18] A = 5, 4 106 J/m3 .s de modo que o termo de fonte na equa c ao de calor (suposto constante no tempo) ser a A = 1, 94 10120 C/s (2.73) p0 = c
DE GREEN PARA CONDIC 2.5. FUNC AO OES DE CONTORNO NAO-HOMOG ENEAS 39 Inicialmente podemos considerar as fontes de calor como uniformemente distribuidas pela extens ao do magma Terrestre, de modo que p(x, t) = p0 para 0 x < . Desta forma teremos um problema n ao-homog eneo descrito por (2.58), cuja solu c ao foi determinada anteriormente [vide (2.66)]. Para efeitos de compara c ao devemos calcular o gradiente geot ermico, que ser a u0 2A t , (2.74) = ux (x = 0, t) = + a2 t ca onde o segundo termo representa a contribui c ao das fontes de calor. Substituindo os valores num ericos adotados para o magma Terrestre chegamos a uma segunda estimativa para a idade da Terra de t 2, 1 1010 anos que, embora conrme que a Terra deve ter resfriado mais lentamente do que o previsto por Kelvin, ainda n ao e compat vel com o valor geologicamente aceito para a idade da Terra. poss E vel renar esse modelo, supondo que as fontes t ermicas n ao estejam uniformemente distribuidas em todo o magma, mas somente em uma camada de espessura H da ordem de alguns quil ometros [vide o Problema 6]. No entanto, e preciso reconhecer que uma falha grave do presente modelo, n ao reconhecida por Kelvin em seu tempo, e a suposi c ao de que a Terra tenha esfriado unicamente por condu c ao t ermica. Na verdade, como o magma tem um comportamento semelhante a um uido muito viscoso, h a correntes de convec c ao no interior da Terra que transportam magma mais frio para o interior e magma mais quente para o exterior. Esse c alculo foi feito pela primeira vez por Perry j a em 1895, e indicou um valor da ordem de 2 a 3 bilh oes de anos para a idade da Terra.
2.5
A exibilidade do m etodo da fun c ao de Green permite que ele seja usado tamb em para resolver problemas envolvendo condi c oes de contorno n ao-homog eneas. Um exemplo t pico e uma barra semi-innita onde a extremidade em x = 0 est a ligada a um reservat orio de calor cuja temperatura e uma fun c ao conhecida do tempo v (t). Temos, ent ao, o seguinte problema de valor inicial em (, +): ut = a2 uxx , (0 x < , 0 < t < ) (2.75)
com condi c oes iniciais homog eneas u(x, 0) = 0, e contorno de Dirichlet n aohomog eneas u(0, t) = v (t), u(x , t) = 0. (2.76) Vamos denotar por G(x; t, ) a fun c ao de Green que corresponde ` a inu encia moment anea das mudan cas da condi c ao de contorno sobre a solu c ao u(x, t). Em outras palavras, G descreve o modo pelo qual as varia c oes de temperatura na extremidade da barra, dadas pela fun c ao v (t), inuenciam a temperatura em todos os outros pontos da barra no instante t. No entanto, devemos ter sempre em mente a restri c ao de causalidade: se a condi c ao de contorno tem um dado valor num tempo , ela s o poder a inuenciar a temperatura num dado ponto da barra num instante posterior t > (supondo que a velocidade de propaga c ao das mudan cas seja nita). Superpondo todos as mudan cas na condi c ao de contorno
40
v ( ) efetuadas em instantes 0 < < t, obtemos a temperatura em termos da fun c ao de Green h como
t
u(x, t) =
0
G(x; t, )v ( )d.
(2.77)
Como achar a fun c ao de Green para condi c oes de contorno? Para tal, iremos aplicar uma s erie de transforma c oes (Fourier e/ou Laplace) sobre o problema original (2.75) para chegar a uma equa c ao diferencial ordin aria n aohomog enea, onde o termo de fonte e a pr opria condi c ao de contorno v (t), e resolv e-la. Isto feito, devemos aplicar as transforma c oes inversas e compara o resultado com (2.77). Inicialmente aplicamos transformadas em seno de Fourier uS (p, t) = FS {u(x, t)}, dada por (A.1), em ambos os membros da equa c ao do calor homog enea (2.75) FS {ut (x, t)} uS (p, t) t uS + a 2 p2 u S t = = = a2 FS {uxx (x, t)}, a2 2 pu(0, t) p2 uS (p, t) = a2 2 2 pa v (t), 2 pv (t) p2 uS (p, t) , (2.78)
onde usamos (A.6) e (2.76). Observe que (2.78) e uma equa c ao diferencial ordin aria e n ao-homog enea para a temperatura transformada uS , onde o termo de fonte e justamente a condi c ao de contorno n ao-homog enea do problema original. Pela condi c ao inicial u(x, 0) = 0 temos, imediatamente, que uS (p, 0) = 0. Portanto, podemos resolver a equa c ao (2.78) pelo m etodo da fun c ao de Green, introduzindo a transformada de Fourier em seno da fun c ao de Green, denotada por GS (p; t, ), que e solu c ao de (2.78) com o termo de fonte substituido por uma fun c ao delta aplicada em t = (novamente prescindimos do sinal negativo): GS + a2 p2 GS = (t ), t (2.79)
e que, naturalmente, satisfaz a mesma condi c ao inicial que a equa c ao n aohomog enea correspondente: GS (p; t = 0, ) = 0 se t < . Se t > , ent ao a fun c ao delta e identicamente nula e podemos resolver (2.79) imediatamente 2 2 GS (p; t, ) = Aea p t , (t > ). (2.80) Para encontrar a constante de integra c ao A n os integramos (2.79) no entorno de t = :
+
dt
GS + a 2 p2 t
dtGS =
+
dt (t ) dtGS = 1
GS ( + ) GS ( ) + a2 p2
No limite 0 a integral remanescente e nula (usando o teorema do valor m edio do c alculo integral), e temos que GS ( + ) GS ( ) = 1 (2.81)
DE GREEN PARA CONDIC 2.5. FUNC AO OES DE CONTORNO NAO-HOMOG ENEAS 41 Usando (2.81) em (2.80) concluimos que A = ea k para t > . Como G(t) = 0 se t < , reunimos os dois resultados em uma s o express ao GS (p; t, ) = ea
2 2 2 2
p ( t )
H (t ).
(2.82)
com o uso da fun c ao degrau unit ario. Conhecida a fun c ao de Green correspondente a (2.78), a solu c ao da equa c ao n ao-homog enea ser a uS (p, t) =
0
d GS (p; t, )
0 t
2 2 pa v ( )
2 2
= =
2 2 pa 2 2 pa
d ea
p ( t )
v ( )H (t ), (2.83)
d ea
0
2 2
p ( t )
v ( ).
0 0 t
2 2 a 2a2
pdp sin px
0 0
d ea
2 2
p ( t )
2 2
v ( ) (2.84)
d v ( )
0
p ( t )
A integral acima pode ser feita constatando-se que I (x) = J (x), onde J (x ) =
0
dp cos pxea
2 2
p ( t )
1 2
dpea
2 2
p ( t )
sendo que cada uma das duas integrais resultantes pode ser feita completando-se o quadrado: a2 p2 (t ) ipx = p com o resultado I (x ) = de modo que (2.84) leva a
t
a2 (t ) 2x
ix 2
2
a2 (t )
/ 4 a 2 ( t )
4a2 (t
x2 , ) (2.86)
e x
3/ 2
[4a2 (t )] x
u(x, t) =
0
4a2 (t )
e x
/ 4 a 2 ( t )
v ( )d.
(2.87)
Comparando com (2.77) concluimos que a fun c ao de Green das condi c oes de contorno e 2 2 x e x / 4 a ( t ) . G(x; t, ) = (2.88) 3 4a2 (t )
42
2.5.1
Exemplos
A t tulo de exemplos do m etodo apresentado aqui, vamos considerar inicialmente a seguinte condi c ao de contorno n ao-homog enea u (t) = v 0 H (t t0 ), (2.89)
representando sicamente um reservat orio de calor ` a temperatura v0 , acionado no instante de tempo t = t0 . Substituindo em (2.77), e usando (2.88) temos
t
u(x, t)
=
0
G(x; t, )v ( )d
t
(2.90) e x
2
v0
t0
xd 4a2 (t )
3
/ 4 a 2 ( t )
uma vez que, sendo < t0 , ent ao H ( t0 ) = 0; donde consideramos apenas o caso > t0 na integra c ao. Fazendo a subsitui c ao de vari avel y= chegamos a u(x, t) = = = 2v0 x
y ( = t0 )
x 4a2 (t )
2
v0 x 1 erf v0 x erfc
onde usamos (A.11), (A.10), e introduzimos a fun c ao degrau pois t > t0 , por hip otese. Um exemplo mais elaborado consiste na seguinte condi c ao de contorno (pulso quadrado) 0, se t < , v (t) = v0 , se < t < + , (2.92) 0, se t > + . que tamb em pode ser escrita usando-se a fun c ao degrau v (t) = f0 [H (t ) H (t )] . Comparando essa express ao com (2.89), concluimos que a solu c ao e a combina c ao das solu c oes da forma (2.91), correspondentes aos casos em que t0 e substituido por e + : u(x, t) = v0 x erfc erfc x 4a2 (t x 4a2 (t ) ) H (t ) H (t ) .
2.6
2. Problema de valor inicial na barra semi-innita, com condi c oes de contorno de Dirichlet homog eneas ut = a2 uxx , (0 x < , 0 < t < ) condi c ao inicial u(x, 0) = f (x), condi c ao de contorno u(x, t) = 4a2 t 1
0
u(0, t) = 0, e
(x)2 4a2 t
( x+ ) 2 4a2 t
f ( )d.
(2.94)
3. Problema de valor inicial na barra semi-innita, com condi c oes de contorno de Neumann homog eneas ut = a2 uxx , condi c ao inicial u(x, 0) = f (x), condi c ao de contorno ux (0, t) = 0, 1 u(x, t) = 4a2 t
0
(x)2 4a2 t
+ e
( x+ ) 2 4a2 t
f ( )d.
(2.95)
4. Problema de valor inicial na barra semi-innita, com condi c oes iniciais homog eneas e condi c oes de contorno de Dirichlet n ao-homog eneas ut = a2 uxx , condi c ao inicial u(x, 0) = 0, condi c ao de contorno u(0, t) = v (t),
t
u(x, t) =
0
x 4a2 (t )
3
4a2x ( t )
v ( )d.
(2.96)
Equa c ao do calor n ao-homog enea 1. Problema de valor inicial na barra innita, com condi c oes iniciais homog eneas ut = a2 uxx + p(x, t), condi c ao inicial
t
u(x, 0) = 0, d
u(x, t) =
0
(2.97)
44
CAP ITULO 2. FUNC OES DE GREEN PARA EDPS - I 2. Problema de valor inicial na barra semi-innita, com condi c oes iniciais homog eneas e condi c oes de contorno de Dirichlet homog eneas ut = a2 uxx + p(x, t), (0 x < , 0 < t < ) condi c ao inicial u(x, 0) = 0, condi c ao de contorno u(0, t) = 0,
t
u(x, t) =
0
d
0
p(, ) 4a2 (t )
4 a 2 ( t )
(x)2
4 a 2 ( t )
( x+ ) 2
(2.98)
3. Problema de valor inicial na barra semi-innita, com condi c oes iniciais homog eneas e condi c oes de contorno de Neumann homog eneas ut = a2 uxx + p(x, t), (0 x < , 0 < t < ) condi c ao inicial u(x, 0) = 0, condi c ao de contorno ux (0, t) = 0,
t
u(x, t) =
0
d
0
p(, ) 4a2 (t )
4 a 2 ( t )
(x)2
+e
4 a 2 ( t )
( x+ ) 2
(2.99)
2.7
Problemas
1. Resolva o problema da condu ca o do calor por uma barra innita, dada uma condi ca o inicial (vide se ca o 4.1.2) usando o teorema integral de Fourier. Vide [8] para detalhes. 2. Considere uma barra innita com uma fonte de calor que atue somente dentro de um intervalo de largura 2 centrado na origem, e apenas ap os um instante de tempo t0 : p(x, t) = P (x)H (t t0 ), onde P ( x) = p0 , 0, se x +, . se |x| > ,
d erf
t0
x+ 2a t
erf
x 2a t
(b) Verique que a solu ca o acima satisfaz as condi co es iniciais e de contorno (c) Supondo que o argumento das fun co es erro seja pequeno, obtenha a express ao aproximada 2p0 t t0 . u(x, t) a (d) Mostre que o uxo de calor e dado por q (x, t) = p0 2 a2 (x ) (erfz20 1) + ez10 z10
2
ez20 z20
+(x + )
(erfz10 1) +
2.7. PROBLEMAS
onde zi0
45
x , 4 a2 ( t t 0 )
i = 1, 2.
(2.100)
3. Considere o problema de uma barra innita com uma fonte de calor que atue somente dentro de um intervalo de largura 2 centrado na origem, e tal que o uxo gerado internamente na barra caia exponencialmente com o tempo com uma taxa > 0 (como uma amostra radioativa decaindo de acordo com sua meia-vida): p(x, t) = P (x)et , onde P ( x) = p0 , 0, se x +, . se |x| > ,
(a) Mostre que, se |x| n ao e muito grande, podemos usar a expans ao em s erie (A.12), cujo termo de ordem mais baixa fornece para a temperatura p0 u(x, t) a (b) Usando a integral eaz dz = z er( az ) a (2.101)
t
d
0
e . 2a t
onde er(z ) = ierf(iz ) e a fun ca o erro imagin aria, mostre que p0 u(x, t) et er( a t).
(c) Use a solu ca o (??) para obter o uxo de calor na barra: q (x, t) = p0 2 a2 (x ) +(x + ) onde z1,2 Sugest ao: use a integral
2
(erfz2 1) + ez2 z2
2
(erfz1 1) + ez1 z1
x . 4 a2 ( t t 0 )
2
e x e x dx = erf x . 2 x x 4. No problema da condu ca o do calor por uma barra semi-innita, suponha uma condi ca o de contorno n ao-homog enea u(0, t) = v (t), tal que v (t) seja uma fun ca o suave o suciente para que possa ser aproximada, dentro do intervalo [t0 , t], por uma sequ encia de N pulsos quadrados de largura (t t0 )/N . Para cada pulso quadrado a temperatura da barra e dada por (2.92). Fazendo N tender a innito, mostre que a superposi ca o dos innitos pulsos quadrados resulta em
t
u(x, t) =
0
uH (x, t ) v ( )d.
Comparando essa express ao com (2.77), mostre que a fun ca o de Green para as condi co es iniciais e dada por [vide [3] para detalhes]. G(x; t, ) = uH (x, t ) .
46
u(x, 0) = f (x).
Escreva a temperatura como u(x, t) = w(x, t) + z (x, t), onde a fun ca o w satisfaz um problema homog eneo de valor inicial na barra innita wt = a2 wxx , condi c ao inicial ( < x < , 0 < t < ) w(x, 0) = f (x)
e a fun ca o z satisfaz um problema n ao-homog eneo de valor inicial na barra innita, com condi co es iniciais homog eneas zt = a2 zxx + p(x, t), condi c ao inicial Mostre que w(x, t) =
t
z (x, 0) = 0,
1 4a2 t
(x)2 4a2 t
f ( )d,
2
z (x, t) =
0
( x ) p(, ) e 4 a 2 ( t ) . 4a2 (t )
6. Considere o problema da condu ca o de calor num meio semi-innito com uma fonte de calor [18]: wt a2 wxx = p(x, t),
A , c
(0 x < )
dentro de um modelo para o resfriamento da Terra onde as fontes radioativas est ao connadas a uma camada de espessura H . (a) Mostre que o gradiente geot ermico predito para esse modelo e w x (x = 0 , t) = H A 2 t+ a ca (1 erf0 ) e 0 0
2
(b) Usando o valor geologicamente aceito para a idade da Terra, estime o valor de H . 7. Ao inv es de usar a fun ca o de Green para as condi co es de contorno no exemplo (2.89), podemos adotar uma outra estrat egia, que baseia-se no fato de uma condi ca o inicial poder ser encarada como uma condi ca o de contorno para a vari avel tempo. Quando resolvemos o problema da barra semi-innita com condi ca o de contorno homog enea u(0, t) = 0 mas uma condi ca o inicial u(x, t0 ) = f0 , obtivemos [vide 2.61] uH (x, t) = f0 erf x 4 a2 ( t t 0 ) , (t > t0 )
2.7. PROBLEMAS
47
onde introduzimos o ndice H para enfatizar que usamos uma condi ca o de contorno homog enea. Da mesma forma com que lidamos com condi c oes de contorno n ao-homog eneas, se impusermos a condi ca o inicial u(x, t0 ) = 0, a solu ca o do nosso problema ser a obtida fazendo-se u(x, t) = f0 uH (x, t). Mostre que obtemos o mesmo resultado que em (2.91), com f0 = v0 x. Verique que essa solu ca o tem as propriedades desejadas: u(0, t) = f0 , para t > t0 ; u(x, t0 ) = 0, e u 0 para x .
48
Cap tulo 3
3.1
A equa c ao de Laplace-Poisson
Na eletrost atica, o campo el etrico n ao depende do tempo, e n ao h a campo magn etico. Portanto, a lei de Faraday fornece E = 0; e o campo el etrico pode ser escrito como o gradiente de um potencial eletrost atico : E(r) = (r). (3.1)
Al em disso, se houver uma densidade volum etrica de carga el etrica (r), pela lei de Gauss temos (r) , (3.2) E= 0 onde 0 = 8.8542 1012 C 2 .N 1 .m2 e a permissividade diel etrica do v acuo (estamos utilizando unidades do sistema MKSA). Substituindo (3.1) em (3.2) temos a equa c ao de Poisson 2 (r) = Se = 0 temos a equa c ao de Laplace 2 (r) = 0, (3.4) (r) . 0 (3.3)
que e a vers ao homog enea da equa c ao de Poisson. Em geral, um problema em eletrost atica tamb em especica condi c oes de contorno em uma ou mais superf cies S : (i) Dirichlet: o potencial e dado em S ; (ii) Neumann: a derivada 49
50
(b)
q2 q
3
r2 r3 r4 ri
r1 P d r r rN S
3
y q P
N
x z (c) V d r
3
S r r y
0 r x
Figura 3.1: (a) Potencial de um sistema de cargas puntiformes; (b) potencial de uma distribui c ao de cargas na origem; (c) potencial de uma distribui c ao de cargas num ponto arbitr ario.
normal do potencial, ou a componente normal do campo el etrico, e especicada em S . Inicialmente, por em, vamos supor que n ao haja superf cies de contorno, por simplicidade.
3.2
A fun c ao de Green para a equa c ao de Poisson (3.3), denotada G(r, r ), e a solu c ao da equa c ao n ao-homog enea para uma distribui c ao de carga tipo fun c ao delta (r r ) 2 G(r, r ) = (r r ), (3.5) o que equivale sicamente a uma carga puntiforme de m odulo igual a 0 localizada em r . No curso de F sica B asica aprendemos que o potencial num ponto P , devido a um sistema de cargas puntiformes q1 , q2 , qN situadas a dist ancias r1 , r2 , rN do ponto P , respectivamente, e dado pela Lei de Coulomb como [Fig.
DE GREEN PARA A EQUAC DE LAPLACE-POISSON: SEM SUPERF 3.2. FUNC AO AO ICIES DE CONTORN 3.1(a)]. (P ) = 1 40
N i=1
qi , ri
(3.6)
que pode ser generalizada para uma distribui c ao cont nua de cargas, caso em que fazemos as seguintes substitui c oes: qi dq = (r)d3 r, ri |r|, e a somat oria e trocada por uma integral sobre todo o volume V (r = 0) = 1 40 (r)d3 r , r (3.7)
onde supomos que o ponto P esteja na origem do sistema [Fig. 3.1(b)]. Em geral, por em, o potencial calculado num ponto r do espa co e dado por [Fig. 3.1(c)]. 1 (r)d3 r (r) = . (3.8) 40 V |r r | Mostramos, no cap tulo sobre Teoria das Distribui c oes, que 2 onde (r r ) = (x x ) (y y ) (z z ) (3.10) e a fun c ao delta tridimensional. Se n ao h a superf cies de contorno, substituindo (3.9) em (3.5) obtemos imediatamente a fun c ao de Green para a equa c ao de Laplace-Poisson 1 1 G(r, r ) = . (3.11) 4 |r r | A rigor, essa express ao e v alida a menos de uma constante de integra c ao. Por em, sicamente essa constante e irrelevante, pois sabemos que o potencial eletrost atico e sempre denido a menos de uma constante. Conhecida a fun c ao de Green, se n ao houver superf cies de contorno, o potencial na presen ca de uma distribui c ao extensa de carga (r) ser a dado por (r) = 1 0 d3 r G(r, r )(r )
V
1 |r r |
= 4 (r r ),
(3.9)
(3.12)
3.2.1
A express ao (3.11) para a fun c ao de Green e mais u til, na resolu c ao de problemas de eletromagnetismo, quando expressa em coordenadas esf ericas: P : (r, , ) e P : (r , , ) para o ponto de observa c ao e a posi c ao da carga real, respectivamente, sendo o angulo entre r e r [Fig. 3.2]. Usando a lei dos cossenos |r r | = r2 2rr cos + r onde o angulo entre os vetores r e r e dado por cos = cos cos + sin sin cos( ). (3.14)
2 1/ 2
(3.13)
52
Figura 3.2: Coordenadas esf ericas correspondentes ` as posi c oes do ponto de observa c ao e da carga puntiforme.
tal que a fun c ao de Green, em coordenadas esf ericas, e dada por G(r, r ) = 1 1 1 1 = 4 (r2 2rr cos + r 2 )1/2 4 r 1 1 2 r cos +
r r 2 r2 1/ 2
. (3.15)
Podemos escrever a fun c ao de Green de um modo diferente, usando a fun c ao geratriz dos polin omios de Legendre P (z ): 1 (1 2zt +
1/ 2 t2 )
=0
P ( z ) t ,
onde |t| < 1 e |z | < 1. Ent ao podemos fazer z = cos e t = r /r se r > r em (3.15). Caso r < r , por em, devemos fazer t = r/r e colocar r em evid encia em (3.15). De qualquer maneira, podemos escrever uma u nica express ao denindo r< = min{r, r }, r> = max{r, r } (3.16)
tal que, em qualquer caso, que t = r< /r> . Ent ao (3.15) ca G(r, r ) = 1 4
=0 r< P (cos ) +1 r>
(3.17)
P (cos ) =
(3.18)
DE GREEN PARA A EQUAC DE LAPLACE-POISSON: SEM SUPERF 3.2. FUNC AO AO ICIES DE CONTORN
z
onde os harm onicos esf ericos s ao denidos como 1 : Ym (, ) = 2 + 1 ( m)! m P (cos )eim , 4 ( + m)! (3.19)
onde = 0, 1, 2, e, para cada valor de , m = , + 1, , 0, , + 1, , e Pm (z ) e um polin omio de Legendre associado. Se tivermos problemas com simetria azimutal, ou seja, n ao h a depend encia das quantidades f sicas nos angulos azimutais ou , ent ao temos m = 0 em (3.19), e os polin omios de Legendre associados reduzem-se aos polin omios de Legendre comuns. Dessa forma o harm onico esf erico torna-se Y0 () = 2 + 1 P (cos ). 4 (3.20)
e, substituindo-se em (3.18), temos que P (cos ) = P (cos )P (cos ). tal que a fun c ao de Green, nesse caso particular, seja 1 G(r, r ) = 4
=0 r< P (cos )P (cos ). +1 r>
(3.21)
(3.22)
P (cos )
V
d3 r (r )
(3.23)
1 Usaremos
54
3.2.2
Vamos considerar, como um exemplo do m etodo da fun c ao de Green, o potencial eletrost atico criado por um anel de raio R com uma carga total Q distribuida uniformemente em sua extens ao [Fig. 3.3]. A densidade de cargas correspondente a essa distribui c ao e singular, ou seja, pode ser expressa por meio de fun c oes delta Q (r R) (cos ), (3.24) (r ) = 2R2 o que pode ser facilmente provado integrando-se a densidade de carga sobre todo o espa co, tal que V (r )d3 r = Q. Calcularemos o potencial nos pontos onde r > r , tal que r< = r e r> = r (ca como exerc cio o c alculo para r < r ). Substituindo (3.24) em (3.23) temos (r) = = 1 40
=0 =0
P (cos )
V
d3 r (r ) 1 r+1
r P (cos ) r+1
2 0
Q 1 40 2R2
+1
P (cos )
d
=2 0
dr r (r R)r
=R+2
Q 40
=0
P (0)P (cos )
R r+1
(3.25)
onde usamos a propriedade de ltragem da fun c ao delta para resolver as integrais. Usando, agora, que se = 2n + 1 for mpar, com n = 0, 1, 2, . . ., , se = 2n , com n = 0, 1, 2, . . .. (3.26) onde o duplo fatorial e denido como n!! = n(n 2)(n 4)...5.3.1, a somat oria em (3.25) deve ser feita apenas sobre os valores pares de , ou ent ao sobre os valores inteiros de n: P (0) =
(1)n (2n1)!! , 2n n!
0,
2n+1
P2n (cos ),
(3.27)
e que e uma s erie rapidamente convergente. Os seus tr es primeiros termos s ao (r, ) = 3 R4 1 1 R2 Q 2 (3 cos 1) + (35 cos4 30 cos2 + 3) + , 40 r 4 r3 64 r5
DE GREEN PARA A EQUAC DE LAPLACE-POISSON: COM SUPERF 3.3. FUNC AO AO ICIES DE CONTORN
3.3
Em geral os problemas de eletrost atica envolvendo solu c oes (r) da equa c ao de Laplace-Poisson envolvem uma ou mais superf cies de contorno S , nas quais devem estar satisfeitas condi c oes de contorno apropriadas: Dirichlet: especicamos em todos os pontos de S ; Neumann: especicamos a derivada normal de (igual ` a componente normal do campo el etrico) em todos os pontos de S ; En = = n n
onde n e um versor perpendicular a S em cada ponto. Se S for uma aponta para fora de S . superf cie fechada, n Pode-se mostrar (Problema 1) que, existindo uma solu c ao compat vel com qualquer uma das condi c oes de contorno, ela ser a u nica. Al em disso, n ao pode haver condi c oes de contorno mistas, ou seja, n ao podemos especicar Dirichlet em parte da superf cie S e Neumann no restante dela. Finalmente, se jogarmos a superf cie S para o innito, deveremos recuperar os resultados da se c ao anterior, que sup oem o espa co livre de superf cies de contorno. Seja o campo vetorial A(r) denido no volume V envolvido por uma superf cie fechada S . Pelo teorema do divergente (Gauss) temos d3 r A = = dS A n A dS (3.28)
onde dS = dS n e o elemento de area vetorial perpendicular a S em cada ponto. Se u(r) e v (r) forem campos escalares arbitr arios, escrevendo A = uv teremos
V
d3 r (uv )
=
S
d3 r(u2 v + u v )
=
S
tamb em conhecida como primeira identidade de Green. Trocando u por v e vice versa em (3.29), obtemos d3 r(v 2 u + v u) = dSv
S
u n
(3.30)
que, subtraida membro-a-membro de (3.29), resulta no teorema de Green no espa co: v u d3 r(u2 v v 2 u) = dS u (3.31) v n n V S Com essas ferramentas em m aos, podemos determinar a fun ca o de Green da equa c ao de Laplace-Poisson 2 (r) = (r) , 0 (3.32)
56
para a qual a fun c ao de Green satisfaz 2 G(r, r ) = (r r ), com as mesmas condi c oes de contorno do problema original, ou seja Dirichlet: especicamos G(r, r ) em todos os pontos de S ; Neumann: especicamos G/n em todos os pontos de S Daqui para frente as integra c oes ser ao efetuadas no espa co das coordenadas 2 com linha r , para o qual o laplaciano n ao muda: = 2 , como pode ser 1 vericado em uma dimens ao derivando a express ao (x x ) em rela c ao a x e x duas vezes. Substituindo u = (r ) e v = G(r, r ) no teorema de Green (3.31) obtemos
V
(3.33)
2 2 d3 r (r ) G(r, r ) G(r, r ) (r ) = = ( r r )
dS (r )
G G n n (3.34)
d3 r (r ) (r r ) +
1 0
=(r )/0
d3 r G(r, r )(r )
onde usamos (3.32) e (3.60). Isolando o potencial temos a solu c ao formal da equa c ao n ao-homog enea (r) = 1 0
S
d3 r G(r, r )(r ) +
V
(3.35)
dS G(r, r )
G (r ) . n n
Quando houver condi c oes de contorno de Dirichlet homog eneas, impomos que G(r, r ) = 0 se r est a em S , de sorte que a solu c ao formal e escrita como (r) = 1 0 d3 r G(r, r )(r ) dS (r )
S
G . n
(3.36)
J a para condi c oes n ao-homog eneas de Neumann temos de impor a condi c ao = G(r, r ) n
G n
= K,
S
(3.37)
onde K e uma constante a ser determinada. Para encontrarmos K n os integramos a equa c ao (3.32) ao longo do volume V 2 d3 r G(r, r ) d3 r ( G)
2
= =
1,
S
( G) dS =
G n
dS = K
S S
dS = KA = 1
2 Trocando
usando a simetria da fun c ao de Green e a paridade da fun c ao delta, temos que G(r, r ) = (r r ).
2
57
onde usamos o teorema do divergente, e A ea area total da superf cie S .Logo K = 1/A, e um dos termos da integral de superf cie na solu c ao formal (3.35) torna-se G 1 dS (r ) = dS (r ) = < >S (3.38) n A S S que e o valor m edio do potencial sobre a superf cie de contorno S . A solu c ao formal car a (r) = 1 0 d3 r G(r, r )(r ) + < >S +
V S
dS G(r, r )
(3.39)
muito comum, em aplica E c oes f sicas, que a superf cie de contorno S seja jogada para o innito, ou seja, sua area A tende ao innito, de modo que < u >S 0. Dessa forma a condi c ao de contorno de Neumann torna-se homog enea, naturalmente.
3.4
Na se c ao anterior vimos como determinar a solu c ao da equa c ao n ao-homog enea quando conhecemos a fun c ao de Green, para condi c oes de contorno de Dirichlet e Neumann. Para encontrar a fun c ao de Green, por sua vez, precisamos empregar m etodos espec cos, tal como zemos no cap tulo anterior para equa c oes diferenciais ordin arias. Para equa c oes diferenciais parciais, h a v arios m etodos dispon veis, como o das imagens, da expans ao em autofun c oes, e ainda o ataque direto via transformada de Fourier. Cada m etodo tem suas vantagens e desvantagens, sendo a escolha determinada pelo tipo de informa c ao que se quer obter. O m etodo das imagens e especialmente u til quando temos condi c oes de contorno sobre uma superf cie, e consiste em trabalhar com uma fonte real do tipo fun c ao-delta e uma fonte virtual, ou imagem, tamb em representada por uma fun c ao delta, de modo que a superposi c ao linear das solu c oes devidas a ambas produz o valor desejado sobre a superf cie de contorno. O m etodo das imagens e bastante usado em eletrost atica e, como tal, o abordaremos atrav es de um exemplo envolvendo cargas e superf cies condutoras.
3.4.1
Fun c ao de Green Vamos supor uma carga puntiforme q mantida ` a dist ancia d de um plano innito condutor e aterrado (ou seja, no potencial zero), suposto ser o plano x y , tal que a carga tenha coordenadas (0, 0, d) [Fig. 3.4]. Devemos resolver a equa c ao de Laplace-Poisson no semi-espa co innito z > 0 para uma carga puntiforme q com as condi na posi c ao r = dz c oes de contorno (x, y, z = 0) = 0, (|r| ) = 0 (3.40)
N os introduzimos uma carga imagem q situada a uma posi c ao r = z z no semi-eixo z negativo, sem quaisquer outros condutores presentes, tal que o
58
z = d q r r
z=d q z
Figura 3.4: Carga puntiforme e sua imagem diante de uma placa condutora plana aterrada.
potencial no plano z = 0 seja igual a zero. Por simetria, concluimos imediatamente que q = q e z = d, de forma que a solu c ao da equa c ao de Poisson e a superposi c ao linear dos potenciais gerados tanto pela carga real como pela carga imagem: q (x, y, z ) = 40 1 x 2 + y 2 + (z d)
2
1 x 2 + y 2 + (z + d)
e que naturalmente satisfaz (3.40). Nesse caso, como a condi c ao de contorno de Dirichlet e homog enea, a fun c ao de Green ser a o potencial correspondente ` a combina c ao de uma carga real q = 0 situada na posi c ao r = (x , y , z ) e uma carga imagem q = 0 localizada em r = (x , y , z ): 1 G(x, y, z ; x , y , z ) = 4 1 (x
2 x )
(3.41)
+ (y y ) + (z z ) 1
2
, (3.42)
(x x ) + (y y ) + (z + z ) e que satisfaz a condi c ao de contorno (3.40), a saber G(x, y, z = 0; x , y , z ) = 0, e que e sim etrica mediante as trocas x x , y y , e z z .
(3.43)
59
A solu c ao geral da equa c ao de Poisson, quando z > 0, para condi c oes de contorno de Dirichlet homog eneas (3.43), e dada por (3.36) como (r) = 1 0 d3 r G(r, r )(r ),
V
(3.44)
para uma distribui c ao de carga arbitr aria (r ) colocada em frente a um plano condutor aterrado. Vamos exemplicar com uma distribui c ao espacial de cargas com simetria transversal, correspondendo a uma nuvem de cargas que decaia exponencialmente com a dist ancia ao plano (x, y, z ) = 0 ez , (3.46)
que n ao tem solu c ao anal tica, mas pode ter solu c ao num erica, usando a regra de Simpson ou outro m etodo computacional mais eciente. De qualquer forma, uma integra c ao num erica e um procedimento computacional mais simples do que a solu c ao num erica da equa c ao de Laplace-Poisson correspondente 2 2 2 0 + + = ez , 2 2 2 x y z 0 (3.48)
onde 0 e s ao constantes positivas. Substituindo em (3.45) teremos a integral tripla 0 1 (r) = dx dy dz ez 40 2 2 2 (x x ) + (y y ) + (z z ) 1 , (3.47) 2 2 2 (x x ) + (y y ) + (z + z )
j a que os m etodos usuais para equa c oes el pticas t em diversos problemas relacionados com estabilidade, converg encia, etc. Logo, o m etodo da fun c ao de Green e vantajoso em eletrost atica mesmo que n ao consigamos exprimir analiticamente todos os passos do procedimento.
3.5
No cap tulo anterior, vimos que a fun c ao de Green pode ser expressa como uma combina c ao bilinear das autofun c oes (ortogonais) do operador de SturmLiouville. Para muitas equa c oes diferenciais parciais isso tamb em e poss vel. No
60
entanto, enquanto para equa c oes ordin arias o espectro do operador de SturmLiouville e discreto (isto e, assume apenas determinados valores reais ou complexos), para equa c oes parciais o espectro pode ser tanto discreto como cont nuo, ou seja, os autovalores em geral podem assumir qualquer valor real.
3.5.1
Teoria geral
Consideremos a equa c ao de Helmholtz homog enea, onde r e um vetor num espa co euclidiano N -dimensional, 2 u(r) + u(r) = 0, (3.49)
Se = 0 recaimos na equa c ao de Laplace-Poisson como caso particular. Como no caso do operador de Sturm-Liouville, as solu c oes da equa c ao de Helmholtz que satisfazem ` as condi c oes de contorno especicadas (Dirichlet ou Neumann) est ao associadas apenas a determinados valores de = n , que s ao os autovalores do operador laplaciano, associados ` as autofun c oes n (r): 2 n (r) + n n (r) = 0. (3.50)
O produto interno no espa co de fun c oes ao qual pertencem as autofun c oes acima e denido como < n (r), m (r) > =
V
dN r n (r) m (r).
(3.51)
Usando a deni c ao acima podemos mostrar que o operador laplaciano e auto-adjunto: < n (r), 2 m (r) >=< 2 n (r), m (r) > . (3.52)
Observe que, no caso de N = 1 dimens ao, o Laplaciano torna-se um caso particular do operador (tamb em auto-adjunto) de Sturm-Liouville, para o qual p(x) = 1 e s(x) = 0. O espectro, nome dado ao conjunto de autovalores do operador, no caso do Laplaciano pode ser de dois tipos b asicos: Discreto: conjunto innito enumer avel. O ndice n refere-se ` a N -upla de inteiros (n1 , n2 , n3 , . . . nN ), onde ni Z; Cont nuo: conjunto innito n ao-enumer avel. O ndice n = p refere-se ao vetor de reais (p1 , p2 , p3 , . . . pN ), onde pi R. Sendo o Laplaciano um operador auto-adjunto no espa co de fun c oes das solu c oes da equa c ao de Helmholtz, podemos mostrar usando um procedimento an alogo ao caso de Sturm-Liouville que os autovalores do Laplaciano s ao reais. Al em disso, autovetores associados a autovalores distintos s ao ortonormais. Essa propriedade assume diferentes formas dependendo do espectro ser discreto ou cont nuo.
61
Os autovalores {n }n=0 formam um conjunto innito cont avel (ou enumer avel, podendo ser colocado em correspond encia biun voca com os inteiros positivos). Nesse caso, a propriedade de ortonormalidade se escreve como
N
< n ( r) , m ( r) > = n ,m
ni ,mi .
i=1
(3.53)
Supondo que o conjunto de autovetores seja completo, uma solu c ao qualquer da equa c ao de Helmholtz pode ser escrita como a combina c ao linear das autofun c oes do Laplaciano: u (r) = c n n (r), (3.54)
n
onde c n = < u (r), n (r) > s ao coecientes de Fourier generalizados. Espectro cont nuo Para o espectro cont nuo, os autovalores {p } formam um conjunto innito n ao-cont avel, e a condi c ao de ortonormalidade requer o uso de uma fun c ao delta N -dimensional:
N
(3.55)
i=1
( pi p i ) ,
(3.56)
tal que, assumindo completeza, escrevemos a solu c ao como uma superposi c ao linear na forma da seguinte integral u (r) = onde os coecientes da expans ao s ao c p = < u (r), p (r) > (3.58) dN pcp p (r), (3.57)
3.5.2
onde n ao e igual a algum dos autovalores de L, e para a qual a fun c ao de Green, denotada G(r, r ), satisfaz 2 G(r, r ) + G(r, r ) = (r r ), (3.60)
Supomos que a fun c ao de Green satisfaz ` as mesmas condi co es de contorno da equa c ao n ao-homog enea original. Logo, a fun c ao de Green pode ser expandida como uma superposi c ao linear das autofun c oes do laplaciano. No caso do espectro discreto, podemos usar (3.54) para escrever G(r, r ) =
m
c m (r ) m (r),
(3.61)
62
Pondo (3.64) em (3.60) obtemos, usando a equa c ao de autovalores (3.50) cm (r ) 2 m + m cm (r )(m + )m (r) = = (r r ), (3.62)
Multiplicando ambos os membros de (3.62) por n (r), e integrando sobre o volume V , obtemos, com o aux lio da rela c ao de ortonormalidade (3.53) c n (r ) =
n (r ) . ( n )
(3.63)
Logo, substituindo (3.63) em (3.64), a fun c ao de Green pode ser escrita como uma express ao bilinear nas autofun c oes: G(r, r ) =
n n (r ) n (r) . ( n )
(3.64)
Observe que, caso fosse igual a qualquer um dos autovalores n , o coeciente correspondente da expans ao seria innito, e a s erie obtida tornar-se-ia divergente, o que n ao interessa do ponto de vista da solu c ao. A solu c ao da equa c ao de Helmholtz n ao-homog enea ser a, pois u (r) =
V
d3 r G(r, r )f (r ) =
n
n (r) ( n )
d3 r f (r ) n (r ). V
(3.65)
Equa c ao de Helmholtz tridimensional Como um exemplo do formalismo apresentado, vamos resolver a equa c ao de Helmholtz n ao-homog enea 2 u(r) + k 2 u(r) = f (r), (3.66)
com condi c oes de contorno de Dirichlet homog eneas nas faces de um paralelep pedo de arestas a, b e c: u(0, y, z ) = u(a, y, z ) u(x, 0, z ) = u(x, b, z ) u(x, y, 0) = u(x, y, c) = = = 0, 0, 0, (3.67) (3.68) (3.69)
As autofun c oes do operador laplaciano em coordenadas retangulares podem ser obtidas aplicando o m etodo de separa c ao de vari aveis ` a equa c ao de Helmholtz homog enea: (x, y, z ) = X (x)Y (y )Z (z ), (3.70) que, substituida em (3.66) com f = 0, resulta em d2 X d2 Y d2 Z Y Z + X Z + XY = k 2 XY Z dx2 dy 2 dz 2 (3.71)
EM AUTOFUNC 3.5. METODO DA EXPANSAO OES Dividindo os membros de (3.71) por XY Z temos 1 d2 Y 1 d2 Z 1 d2 X = k2 X dx2 Y dy 2 Z dz 2
63
(3.72)
Como o primeiro membro s o depende de x, e o segundo de y e z , podemos igualar 2 < 0. O lado esquerdo fornecer a a ambos a uma constante de separa c ao kx equa c ao diferencial ordin aria d2 X (x ) 2 + kx X (x) = 0, dx2 cuja solu c ao geral e X (x) = A sin kx x + B cos kx x (3.74) (3.73)
A condi c ao de contorno (3.67) leva a B = 0 e, supondo A = 0, temos que sin kx x = 0, o que leva aos seguintes valores (discretos): kx a = , onde = 1, 2, 3, . Logo x . (3.75) X (x) = A sin a Por um racioc nio an alogo, teremos para as constantes de separa c ao restantes: ky b = m e kz c = n , onde m e n s ao inteiros positivos, tal que 2 2 2 k 2 = kx + ky + kz fornece os autovalores discretos
2 mn = kmn = 2
2 m2 n2 + + a2 b2 c2
(3.76)
onde , m e n assumem valores inteiros positivos. As autofun c oes correspondentes a esses autovalores s ao os produtos de fun c oes do tipo (3.75), que podemos escrever absorvendo as constantes em uma s o: my nz sin . b c (3.77) Para normalizar as autofun c oes acima, com peso w = 1, usamos a rela c ao (3.53), quando os ndices s ao iguais e N = 1: mn (x, y, z ) = X (x)Ym (y )Zn (z ) = A sin x a sin d3 r mn (r)mn (r) = 1,
c 0
(3.78) (3.79)
V a
A2
0
dx sin2
x a
b 0
dy sin2
my b
dz sin2
nz c
= 1.
As integrais s ao elementares e fornecem a/2, b/2 e c/2, respectivamente. Logo A = 8/abc, e as autofun c oes normalizadas ser ao mn (x, y, z ) = 8 sin abc x a sin my nz sin . b c (3.80)
64
m2 n2 + 2 + 2 2 a b c my b sin nz c
k2 sin
sin
(3.81) my nz sin . b c
x a
sin
x a
u(x, y, z ) =
0
dx
0
dy
0
dz G(x, y, z ; x , y , z )f (x , y , z ).
(3.82)
Como um exemplo relativamente simples (mas n ao tanto), vamos resolver a equa c ao 2 u + k 2 u = xyz, (3.83) com as condi c oes de contorno (3.67)-(3.69). Substituindo a fun c ao de Green (3.81) e o termo de fonte na solu c ao geral (3.82) temos: u(x, y, z ) = sin
b
8 abc sin
2
,m,n
m2 n2 2 + + a2 b2 c2
a
k2
(3.84)
x a
my nz sin b c my b
c
dx x sin
0
x a
dy y sin
0
dz z sin
0
nz c
O resultado nal torna-se mais simples quando supomos as tr es arestas iguais a = b = c, e abc = a3 = V e o volume do cubo resultante: u(x, y, z ) = sin x a 8V 3 2
,m,n
2 + m2 + n2 a2
k2
(1) mn
+m +n
(3.85)
sin
my nz sin b c
No caso particular a = a express ao ca u(x, y, z ) = 8 (1) sin x sin my sin nz. mn(2 + m2 + n2 k 2 )
+m +n
(3.86)
,m,n
3.5.3
A expans ao da fun c ao de Green para autofun c oes do espectro cont nuo e dada por (3.57) como G(r, r ) = d3 pcp (r )p (r), (3.87)
65
que, substituida na equa c ao (3.59) conduz, usando a pr opria equa c ao de autovalores (3.50), a d3 pcp (r )( p )p (r) = (r r ). (3.88)
Multiplicando (3.88) por p (r) e integrando sobre todo o volume de interesse V , obtemos, com o uso da rela c ao de ortonormalidade (3.56), que c p (r ) =
p (r ) , p
(3.89)
(3.90)
d3 r G(r, r )f (r ) =
d3 p
p (r) p
d3 r f (r ) p (r ). V
(3.91)
Equa c ao de Helmholtz no espa co livre Como exemplo de espectro cont nuo, consideremos a equa c ao de Helmholtz n aohomog enea no espa co livre, isto e, sem superf cies de contorno. A u nica condi c ao de contorno que especicaremos ser a no innito: u(|r| ) = 0. Para obter os autovalores e as autofun c oes correspondentes resolvemos a equa c ao de Helmholtz homog enea 2 u(r) + k 2 u(r) = f (r). (3.92) No exemplo da equa c ao de Helmholtz no paralelep pedo visto na se c ao precedente, as autofun c oes sempre eram fun c oes trigonom etricas, ou seja, exponenciais complexas da forma eikx , etc. Por isso, podemos supor uma solu c ao da forma u(r) = eip.r , (3.93) onde p e um vetor de constantes a serem determinadas. Substituindo (3.93) em (3.92) temos que p2 = k 2 , ou seja, p = k. Como n ao h a superf cies de contorno, n ao h a restri c ao sobre os valores que k pode assumir, logo todos os valores reais de k s ao permitidos, e temos um espectro cont nuo. Observe que, embora os autovalores sejam estritamente reais, as autofun c oes ser ao complexas, em geral, e as escrevemos, portanto, como k (r) = Aeik.r . Usando a rela c ao de ortonormalidade (3.56) d3 r k (r) k (r)
V
(3.94)
= =
(k k ), (k k ), (3.95)
|A|
2 V
d3 rei(kk )r
66
r k z
Figura 3.5: Espalhamento de uma part cula quanto-mec anica por um potencial central.
A integral no lado esquerdo e essencialmente a representa c ao integral da pr opria fun c ao delta, pois (k k ) = donde A = 1/(2 )
3/ 2
1 (2 )
3 V
d3 rei(kk )r ,
(3.96)
eik.r ,
(3.97)
correspondendo a cada autovalor real k 2 poss vel. Dessa forma, a expans ao bilinear da fun c ao de Green ser a obtida a partir de 2 (3.90), onde substituimos p k , p k , e k 2 G(r, r ) = que, em vista de (3.97), ca G(r, r ) =
d3 k
k (r ) k (r) k 2 k2
(3.98)
1 (2 )
3
d k
3 e
ik (rr )
k 2 k2
(3.99)
Espalhamento por um potencial central Considere o espalhamento de uma part cula de massa m e momentum p por um potencial central V (r). Em termos quanto-mec anicos podemos encarar este problema como a superposi c ao entre: (i) uma onda plana com n umero de onda
67
dado pela rela c ao de de Broglie k = p/ , onde = h/2 e relacionada ` a constante de Planck; (ii) uma onda esf erica emergente, isto e, que afasta-se do centro espalhador com o passar do tempo [Figura 3.5]. Essa superposi c ao de ondas, por sua vez, deve ser uma solu c ao da equa c ao de Schr odinger independente do tempo
2
2m
(3.100)
onde E = 2 k 2 /2m e a energia cin etica da part cula incidente. Supondo que a incid encia ocorra ao longo da dire c ao z , e ainda que o centro espalhador esteja na origem, desejamos encontrar uma solu c ao da equa c ao (3.100) na forma: (r, , )
r
eikz
onda plana incidente
f (, )
eikr r
(3.101)
onde z = r cos e f , dita amplitude de espalhamento, est a relacionada ao potencial do centro espalhador. Na chamada aproxima c ao de Born, a energia potencial de intera c ao entre a part cula e o centro espalhador, V (r), e considerada uma perturba c ao de baixa intensidade sobre a energia cin etica E da part cula incidente. Logo, a solu c ao de (3.100) ser a procurada na forma de uma perturba c ao fraca da onda plana: (r) = eikz + u(r), (3.102)
onde |u(r)| |eikz | = 1 [12]. Substituindo (3.102) em (3.100) obtemos uma equa c ao de Helmholtz n ao-homog enea: 2 u(r) + k 2 u(r) = U (r)eikz , (3.103)
onde U (r) = (2m/ 2 )V (r) e desprezamos o termo uU por ser de segunda ordem. Em problemas de espalhamento, tanto cl assicos como qu anticos, empregamos a chamada condi c ao de contorno de Sommerfeld para ondas emergentes: lim |r|
D 1 2
|r|
u iku = 0, |r|
(3.104)
onde D e a dimens ao do espa co. No caso tridimensional (D = 3), ela torna-se lim r u iku = 0, r (3.105)
que signica a aus encia de ondas convergentes na forma eikr /r, ou seja, ondas esf ericas que convergem com o tempo na dire c ao do centro espalhador. e que n ao t em sentido f sico em problemas de espalhamento como o que formulamos aqui. A solu c ao da equa c ao de Helmholtz n ao-homog enea e dada por (3.91): u (r) = d3 r G(r, r )U (r )eikz ,
(3.106)
68
Re R
Figura 3.6: Contornos de integra c ao no plano -complexo para c alculo da fun c ao de Green da equa c ao de Helmholtz.
onde a fun c ao de Green e fornecida pela express ao bilinear (3.99), j a que neste tipo de problema de espalhamento o espectro de energia e cont nuo. Escolhemos a geometria do problema (no espa co k ) tal que k (r r ) = k |r r | cos , de modo que podemos efetuar a integral de volume em coordenadas esf ericas: G(r, r )
= =
1 (2 ) 1 (2 )
2 0 3 0
+1
2 1
d cos
+1 1
k dk
ik |rr | cos
k dk k 2 k2
k 2 k2
1 1 2 4 |r r |
k dk sin k |r r | . k 2 k2
(3.107)
uma vez que o integrando e uma fun c ao par de k . Fazendo = k |r r |, = k |r r |, podemos reescrever (3.107) como G(r, r ) = 1 1 4 2 |r r |
(3.108)
d sin , 2 2
(3.109)
A integral impr opria acima pode ser efetuada no plano complexo de , j a que ela pode ser escrita como [12]: I= 1 1 (I 1 I 2 ) = lim 2i 2i R
R R
dei 2 2
R R
dei 2 2
(3.110)
69
tem dois p olos simples no eixo real: = , que devem ser contornados por cima e por baixo, respectivamente, usando semi-c rculos C1 e C2 de raio como indicado na Figura 3.6(a). Al em disso, fechamos um caminho por meio de um semi-c rculo CR de raio R no semi-plano superior, de modo que f ()d =
R
+
+
f ()d + f ()d.
CR
+
C1 C2
f ()d +
(3.111)
ei = iei . ( + )( )
(3.112)
Fazendo, agora, os limites 0 e R na express ao (3.111) temos, usando o lema de Jordan, que a integral no semi-c rculo CR se anula e I1 = iei (entendida como o valor principal de Cauchy, em vista das singularidades ao longo do caminho de integra c ao). A integral I2 e tratada de forma semelhante, por em, como o integrando cont em, agora, a exponencial ei , devemos fechar o caminho por um semic rculo no semi-plano inferior [Fig. 3.6(b)]. Pelo teorema dos res duos, como a integral fechada e percorrida no sentido hor ario, seu valor e 2iResf ( ) = iei . (3.113)
tal que, nos limites 0 e R , encontramos I2 = iei que, em (3.110), fornece I = ei . Logo, a fun c ao de Green (3.109) ca G(r, r ) =
1 1 eik|rr | . 4 |r r |
(3.114)
f E acil vericar que essa fun c ao de Green satisfaz ` a condi c oes de contorno do tipo onda emergente (3.105):
r
lim r
Por outro lado, se tiv essemos escolhido outra forma de desviar dos polos no eixo real, como o indicado na Figura 3.6(c), ter amos um termo ei al em (ou no i lugar) de e . A fun c ao de Green corresponderia, nesse caso, a uma onda esf erica convergente eikr /r, em desacordo com a condi c ao de contorno de Sommerfeld (3.105). Substituindo a fun c ao de Green (3.114) na solu c ao da equa c ao de Helmholtz n ao-homog enea (3.91): 1 u (r) = 4 d r
3 e ik|rr |
|r r |
U (r )eikz .
(3.115)
70
No caso em que a regi ao onde o potencial espalhador U (r) assume valores signicativos e limitada a uma dist ancia caracter stica R [Fig. 3.7], ent ao a grandes dist ancias dessa regi ao temos |r | R |r|. Da lei dos cossenos |r r | = r2 + r 2rr w,
2 2
(3.116)
(3.117)
Em face destas aproxima c oes a integral em (3.115) tem duas contribui c oes: eikr 1 r d3 r eik(z wr ) U (r ) +
d3 r eik(z wr ) U (r ) .
(3.118)
Como a segunda parcela decai mais rapidamente que a primeira, pode ser negligenciada para r 1. Finalmente, substituindo este resultado em (3.102), a autofun c ao e dada por (r) eikz
r
eikr 4r
d3 r eik(z wr ) U (r ),
(3.119)
que tem a forma (3.101), desde que a amplitude de espalhamento seja f (, ) = 1 4r d3 r eik(z wr ) U (r ),
(3.120)
e que pode ser calculada explicitamente para alguns potenciais de curto alcance, tais como a esfera r gida e o potencial de Yukawa (coulombiano blindado) [12].
3.6
Problemas
1. Mostre que a solu ca o da equa ca o de Laplace-Poisson, sujeita a condi co es de contorno de Dirichlet ou Neumann numa superf cie dada, eu nica. Dica: considere
3.6. PROBLEMAS
71
duas solu co es e mostre que isso leva a uma contradi ca o, usando o teorema de Green. 2. Considere uma carga puntiforme q ` a dist ancia d de um plano condutor aterrado. Use o m etodo das imagens para: (a) Calcular a densidade supercial de carga induzida no plano; (b) Mostrar, por integra ca o direta, que a carga total induzida no plano e q ; (c) Determinar a for ca el etrica (atrativa) sobre a carga puntiforme. 3. Seja uma carga puntiforme q situada ` a dist ancia s do centro de uma casca esf erica condutora aterrada de raio a. Use o m etodo das imagens para: (a) Obter as componentes cartesianas do campo el etrico na superf cie da esfera; (a) Calcular a densidade supercial de carga induzida na superf cie; (b) Mostrar, por integra ca o direta, que a carga total induzida na superf cie e q (a/s);
4. A equa ca o de Helmholtz e um caso particular da seguinte equa ca o diferencial parcial el ptica [p(r)u(r)] s(r)u(r) = f (r), que tem uma forma parecida com Sturm-Liouville. (a) Mostre que G(r, r ) = G(r , r); (b) Mostre que a solu ca o formal para condi co es de contorno de Dirichlet numa superf cie S e u(r) =
V
d3 r G(r, r )f (r )
5. (a) Use a lei de Gauss para obter o potencial devido a uma linha innita de cargas de densidade linear = dq/dz uniforme; (b) Considere uma linha de cargas situada no ponto de coordenadas ( , ), exterior a uma casca cil ndrica isolada de raio b, e mantida a um potencial constante V . Use o m etodo das imagens para determinar o potencial em todos os pontos do plano z = 0, e que se anula no innito. Mostre que n ao e poss vel impor, simultaneamente, que V = 0 sobre o cilindro e que o potencial seja tamb em nulo no innito. No entanto, se impusermos que V = 0, qual a modica ca o que deve ser feita nas condi co es de contorno e qual o resultado para o potencial? (c) Com base no tem (b), mostre que a fun ca o de Green do problema e G(, ; , ) = ln 2 + b4 2b2 cos( ) b2 [2 + 2 2 cos( )]
2
72
Ap endice A
(A.1) (A.2)
2 2
0 0
(A.3) (A.4)
As transformadas em seno e cosseno s ao usadas normalmente em situa c oes onde as fun c oes t em uma determinada simetria, e quando as fun c oes e suas derivadas anulam-se no innito. As suas propriedades s ao similares ` as das transformadas usuais de Fourier, como por exemplo: FS {f (x)} FS {f (x)} = = 2 f (0) + pfC (p), 2 pf (0) p2 fS (p), (A.5) (A.6)
A.2
Fun c ao erro
A fun c ao erro com argumento x (pode ser um n umero complexo qualquer) e denida como a seguinte integral 2 erf(x) = 73
x 0
et dt,
(A.7)
74
0,5
erf(x)
-0,5
-1 -3 -2 -1 0 1 2 3
Figura A.1: Fun c ao erro. a qual e uma fun c ao mpar [Fig. A.1] erf(x) = erf(x), tal que erf(0) = 0. Al em disso, limx erf(x) = 1. Pelo teorema fundamental do c alculo, a derivada da fun c ao erro e
2 2 d erf(x) = ex . dx
(A.8)
(A.9)
et dt,
(A.10)
As integrais denidas de gaussianas podem ser expressas em termos da fun c ao erro como [8] b t2 e dt = (A.11) [erf(b) erf(a)] . 2 a Os valores num ericos da fun c ao erro podem ser obtidos a partir de rotinas computacionais, softwares matem aticos e ainda, para pequenos valores do argumento, usando a expans ao em s erie de MacLaurin 1 2 1 1 erf(x) = x x3 + x5 x7 + . 3 10 42 (A.12)
Ocorrem, tamb em, situa c oes onde eu til a fun c ao erro imagin aria, denida como er(x) = ierf(ix), (A.13) e que, ao contr ario de erf, diverge para quando x tende a mais ou menos innito, respectivamente.
Ap endice B
Vamos discutir inicialmente algumas propriedades matem aticas do operador de Sturm-Liouville (1.54): L[y ] dy (x) d p( x ) s(x)y, dx dx (B.1)
com o qual a equa c ao de Sturm-Liouville homog enea (1.44) e escrita como L[y ] + r(x)y (x) = 0, sendo dadas as condi c oes gerais de contorno c 1 y (a) + c 2 y (a) k 1 y ( b) + k 2 y ( b) = = 0, 0. (B.3) (B.4) ( a x b) , (B.2)
B.1.1
O adjunto de um operador, denotado por L e denido pela rela c ao = L, ou seja, ele deve satisfazer a Se um operador e auto-adjunto, ent ao L identidade < y 1 , L[y 2 ] > = < L[y 1 ], y 2 > (B.6) [y1 ], y2 > . < y 1 , L[y 2 ] > = < L (B.5)
L e auto-adjunto
para quaisquer solu c oes y1 e y2 . O lado esquerdo de (B.6) e, em vista de (1.94), dado por
b b
dxy1 L[y2 ] =
b b a
y1
a
d dy2 p( x ) dx dx
b a b
dxy1 s(x)y2
a
y 1 p( x ) y 2 | a
dxp(x)y 1 y 2
p ( b) y 1 ( b) y 2 ( b) p ( a ) y 1 ( a ) y 2 ( a ) 75
76APENDICE B. AUTOFUNC OES E AUTOVALORES DE OPERADORES onde integramos por partes, fazendo u = y1 e v = py 2 . Repetimos agora o procedimento para o lado direito de (B.6):
b b
=
a
dxL[y1 ]y2 =
b b a
y2
a
d dy1 p( x ) dx dx
b a b
dxy2 s(x)y1
a
= =
y 2 p( x ) y 1 | a
dxp(x)y 2 y 1
p ( b) y 2 ( b) y 1 ( b) p ( a ) y 2 ( a ) y 1 ( a )
Subtraindo as duas express oes precedentes < y 1 , L[y 2 ] > < L[y 1 ], y 2 > = p ( b) y 1 ( b) y 2 ( b) p ( a ) y 1 ( a ) y 2 ( a ) p ( b) y 2 ( b) y 1 ( b) + p ( a ) y 2 ( a ) y 1 ( a ) = p ( b) W ( b) p ( a ) W ( a ) , (B.7)
onde usamos a deni c ao (1.73) para o Wronskiano de y1 e y2 nos pontos x = a e x = b, respectivamente. As condi c oes de contorno (B.3) e (B.4) devem valer separadamente para as duas solu c oes, ou seja, c 1 y1 (a) + c 2 y 1 (a) k 1 y 1 ( b) + k 2 y 1 ( b) c 1 y2 (a) + c 2 y 2 (a) k 1 y 2 ( b) + k 2 y 2 ( b) = = = = 0, 0, 0, 0. (B.8) (B.9) (B.10) (B.11)
que formam dois sistemas lineares homog eneos nas inc ognitas ci e ki , i = 1, 2: y1 (a) y2 (a) y 1 ( b) y 2 ( b) y 1 (a) y 2 (a) y 1 ( b) y 2 ( b) c1 c2 k1 k2 = = 0 0 0 0 , . (B.12) (B.13)
Se desejamos solu c oes n ao triviais para ambos os sistemas, isto e, se ci = 0 e ki = 0, os determinantes dos coecientes (os Wronskianos) devem ser nulos: y1 (a) y2 (a) y 1 ( b) y 2 ( b) y 1 (a) y 2 (a) y 1 ( b) y 2 ( b) = = W (a) = 0, W (b) = 0, (B.14) (B.15)
que, substituidos em (??), fornecem < y1 , L[y2 ] > < L[y1 ], y2 >= 0, que ea propriedade que quer amos demonstrar.
B.1.2
A equa c ao de Sturm-Liouville (B.2), em vista das condi c oes de contorno (B.3)(B.4), s o admite solu c oes para determinados valores de = i , os autovalores do operador L: L[i (x)] = i r(x)i (x). (B.16)
Os autovalores de L s ao reais
B.1. OPERADOR DE STURM-LIOUVILLE Substituindo a equa c ao acima em (B.6) temos que < i , L[ j ] > < i , j r (x ) j > = = = < L[i ], j >, < i r(x)i , j >, 0,
77
( j i ) < i , r (x ) j >
(B.17)
onde usamos (1.94) e o fato que a fun c ao peso r(x) e real. Se i = j temos que (B.18) fornece ( i i ) < i , r (x)i >= 0, (B.18)
Como a norma dos autovalores, em rela c ao ` a fun c ao peso, ||i || = < i , r(x)i > e, por hip otese, n ao-nula, ent ao i = , ou seja, os autovalores de L s ao reais. i
B.1.3
Os autovetores de L s ao ortogonais
(j i ) < i , r(x)j >= 0, (B.19) (B.20)
Como i = j , ent ao < i , r(x)j >= 0, ou seja, autovetores de L associados a autovalores distintos s ao ortogonais (em rela c ao ` a fun c ao peso r(x)). Podemos, ent ao, escrever < i , r(x)j >= kij , (B.21)
onde ij e a delta de Kronecker. A norma dos autovetores em rela c ao ` a fun c ao peso r(x) e, em vista de (B.21), ||i || = < i , r(x)i > = k. (B.22) Se impusermos que os autovetores sejam normalizados ` a unidade, ent ao k = 1 e obtemos a chamada rela c ao de ortonormalidade para os autovetores: < i , r(x)j >= ij . (B.23)
Se o conjunto dos autovetores de L for, ainda, completo, ent ao {n (x)}n=1 forma uma base para o espa co vetorial das fun c oes, ou seja, podemos escrever qualquer solu c ao da equa c ao de Sturm-Liouville como uma combina c ao linear das autofun c oes de base y (x ) =
c n n (x ),
(B.24)
n=1
conhecida como s erie de Fourier generalizada, e onde os coecientes da expans ao s ao dados por
b
cn =
a
n (x)y (x)r(x)dx,
(B.25)
supondo que as autofun c oes sejam normalizadas. Do ponto de vista formal, a completeza do conjunto de autofun c oes {n (x)}n=1 signica que a s erie innita (1.99) converge no sentido da m edia quadr atica para
78APENDICE B. AUTOFUNC OES E AUTOVALORES DE OPERADORES a fun c ao y (x), pertencente ao espa co das solu c oes da equa c ao de Sturm-Liouville, ou seja,
b N N 2
lim
y (x )
cn n (x) dx = 0
n=1
(B.26)
o que faz com que {n (x)}n=1 seja uma sequ encia de Cauchy. Essa demonstra c ao emprega m etodos variacionais, e pode ser encontrada, por exemplo, em [7].
80
REFERENCIAS BIBLIOGRAFICAS
[17] E. T. Whittaker and G. N. Watson, A Course of Modern Analysis 4th. edition (Cambridge University Press, 1963). [18] A. Tijonov, A. Samarski, Ecuaciones de la Fisica Matematica, 2a. Ed. (Ed. Mir, Moscou, 1980).