Академический Документы
Профессиональный Документы
Культура Документы
Sumrio
Prefcio Abreviaes 1 Frmulas e Funes Bsicas
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 2.1 2.2 2.3 2.4 2.5 2.6 2.7 3.1 3.2 3.3 3.4 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . Funes Hiperblicas . . . . . . . . . . . . . . . . . . . Relaes de Euler . . . . . . . . . . . . . . . . . . . . . Relaes entre Funes Trigonomtricas e Hiperblicas Propriedades Bsicas da Funo ln x . . . . . . . . . . Fatorial e Duplo Fatorial . . . . . . . . . . . . . . . . . Regras de Derivao . . . . . . . . . . . . . . . . . . . Regra de L'Hpital . . . . . . . . . . . . . . . . . . . . Integrao por Partes . . . . . . . . . . . . . . . . . . Notao de Vetores . . . . . . . . . . . . . . . . . . . . Introduo . . . . . . . . . . . . . . . . . Srie de Taylor . . . . . . . . . . . . . . Srie de Maclaurin . . . . . . . . . . . . Resto . . . . . . . . . . . . . . . . . . . Srie de Taylor Revisitada . . . . . . . . Critrio de Convergncia de d'Alembert Problemas . . . . . . . . . . . . . . . . . Vetores e Escalares . . . lgebra dos Vetores . . Vetores Unitrios . . . . Sistema de Coordenadas . . . . . . . . . . . . . . . . . . . . . . . . Retangulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12 13 14
14 14 15 15 15 16 16 16 17 17 18 18 20 21 21 25 27 30 31 32 32
2 Sries Innitas
18
3 Anlise Vetorial
30
Sumrio
3.5 3.6 3.7 3.8 3.9 3.10 3.11 3.12 3.13 3.14 3.15 3.16 3.17 3.18 3.19
Produto Escalar . . . . . . . . . . . . . . Produto Vetorial . . . . . . . . . . . . . . Lei dos Cossenos . . . . . . . . . . . . . . Produtos Duplos . . . . . . . . . . . . . . Projeo de um Vetor . . . . . . . . . . . Rotao de Coordenadas . . . . . . . . . . Gradiente . . . . . . . . . . . . . . . . . . Divergente . . . . . . . . . . . . . . . . . . Rotacional . . . . . . . . . . . . . . . . . . Exemplos de Campos Vetoriais . . . . . . Frmulas que Envolvem e . . . . Integral de Linha . . . . . . . . . . . . . . Teorema do Divergente . . . . . . . . . . . Teorema de Stokes . . . . . . . . . . . . . Equaes de Maxwell . . . . . . . . . . . . 3.19.1 Lei de Gauss . . . . . . . . . . . . 3.19.2 Lei de Ampre . . . . . . . . . . . 3.19.3 Lei de Faraday . . . . . . . . . . . 3.19.4 Ausncia de Monopolo Magntico 3.19.5 Lei de Ampre-Maxwell . . . . . . 3.20 Problemas . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34 34 36 36 37 38 41 44 44 45 46 49 51 53 53 53 54 55 55 56 57
4 Coordenadas Curvilneas
4.1 4.2 4.3 4.4 4.5 4.6 4.7 5.1 5.2 5.3 5.4 5.5 5.6 5.7
Introduo . . . . . . . . . . . . . . . . . . . . Elementos de Comprimento, rea, e Volume . Gradiente, Divergente, e Rotacional . . . . . Coordenadas Cilndricas . . . . . . . . . . . . Coordenadas Esfricas . . . . . . . . . . . . . Separao de Variveis . . . . . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . Introduo . . . . . . . . . . . . Soluo Geral da EDH . . . . . Segunda Soluo . . . . . . . . Soluo Geral da EDNH . . . . Mtodo de Frobenius . . . . . . Equao Indicial . . . . . . . . Coecientes Constantes . . . . 5.7.1 Razes Reais e Distintas 5.7.2 Razes Reais e Iguais . . 5.7.3 Razes Complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
60 62 63 66 67 68 72
75
75 76 77 78 81 87 94 94 95 95
Sumrio
Solues Numricas . . . . . . . . . . . . . . . . . . . . . . . . 95 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nmeros Complexos . . . . . . . . . . . . . . . . . . . . . . 6.2.1 Operaes com Nmeros Complexos . . . . . . . . . 6.2.2 Representao Grca de um Nmero Complexo . . Funes Complexas . . . . . . . . . . . . . . . . . . . . . . . Condies de Cauchy-Riemann . . . . . . . . . . . . . . . . Teorema Integral de Cauchy . . . . . . . . . . . . . . . . . . Frmula Integral de Cauchy . . . . . . . . . . . . . . . . . . Srie de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . Pontos Singulares e Plos . . . . . . . . . . . . . . . . . . . Srie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . Teorema dos Resduos . . . . . . . . . . . . . . . . . . . . . Aplicao: Integrais Trigonomtricas . . . . . . . . . . . . . Aplicao: Integrais Imprprias . . . . . . . . . . . . . . . . 6.12.1 Integrais Imprprias de Funes Racionais . . . . . . 6.12.2 Integrais Imprprias de Funes Racionais e Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . Aplicao: Integrais Imprprias com Plos . . . . . . . . . . Lema de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . Introduo . . . . . . . . Funes Peridicas . . . Funes Ortogonais . . . Srie de Fourier . . . . . Identidade de Parserval Funes Pares e mpares Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6 Variveis Complexas
102
6.3 6.4 6.5 6.6 6.7 6.8 6.9 6.10 6.11 6.12
102 102 102 103 105 105 107 111 113 115 115 117 120 122 123 125 126 128 129
6.13 6.14 6.15 7.1 7.2 7.3 7.4 7.5 7.6 7.7 8.1 8.2 8.3
7 Sries de Fourier
133
133 133 134 136 136 137 141 143 143 147 148 150 150 152
Equao de Difuso do Calor . . . . . . . . . . . . . . . 8.1.1 Condies de Contorno Homogneas . . . . . . . 8.1.2 Condies de Contorno No-Homogneas . . . . Equao da Onda . . . . . . . . . . . . . . . . . . . . . . Problemas de Dirichlet e de Neumann . . . . . . . . . . 8.3.1 Equao de Laplace: Coordenadas Retangulares 8.3.2 Equao de Laplace: Coordenadas Polares . . . .
143
10
Sumrio
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 Introduo . . . . . . . . . . . . . . . . . Representaes da Funo Delta . . . . Propriedades da Funo Delta . . . . . . Funo de Heaviside . . . . . . . . . . . Funo Delta em duas e trs Dimenses Relao de Fechamento . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . . . . . e . . . . . . . . . . . . . Seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
157
157 158 160 162 163 165 166 168 171 171 172 172 175
10 Transformadas de Fourier
10.1 10.2 10.3 10.4 10.5 10.6 11.1 11.2 11.3 11.4 12.1 12.2 12.3 12.4 12.5 12.6 12.7 13.1 13.2 13.3 13.4 13.5 13.6 13.7
Teorema de Fourier . . . . . . . . Teorema de Convoluo . . . . . Identidade de Parserval . . . . . Transformada das Derivadas . . . Transformada de Fourier Cosseno Problemas . . . . . . . . . . . . .
168
177
177 178 180 181 184 184 188 189 191 192 193 195 197 198 199 201 203 204
12 Polinmios de Hermite
Introduo . . . . . . . . . . . . . . . . . Oscilador Harmnico Simples Quntico . Relaes de Recorrncia . . . . . . . . . Funo Geradora . . . . . . . . . . . . . Frmula de Rodrigues . . . . . . . . . . Ortogonalidade . . . . . . . . . . . . . . Problemas . . . . . . . . . . . . . . . . . Sries Innitas . . . . . . . . . . Anlise Vetorial . . . . . . . . . . Coordenadas Curvilneas . . . . . Equaes Diferenciais Ordinrias Variveis Complexas . . . . . . . Sries de Fourier . . . . . . . . . Equaes Diferenciais Parciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
184
13 Problemas Adicionais
195
Sumrio
11
13.8 Funo Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . 205 13.9 Teoria de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . 205 13.10Polinmios de Hermite . . . . . . . . . . . . . . . . . . . . . . 206
207 208
Prefcio
Este livro nasceu da experincia do autor em ministrar a disciplina FsicaMatemtica para o curso de Licenciatura em Fsica do Departamento de Fsica, Campus Universitrio da UNESP de Bauru. So vrios os livros textos sobre este assunto. Assim, perfeitamente questionvel a confeco deste livro. Entretanto, os livros textos freqentemente contm uma enorme quantidade de informaes, o que muitas vezes inviabiliza a abordagem de todos os sub-tpicos de um determinado tpico especco numa disciplina de seis crditos num semestre. Foi diante desta diculdade que o autor deparou-se com a necessidade de selecionar os principais sub-tpicos de cada assunto sempre tendo como objetivo principal proporcionar aos alunos de fsica os elementos essenciais para facilitar o acompanhamento e compreenso mais efetivos das disciplinas prossionalizantes do Curso de Licenciatura tais como Eletromagnetismo, Estrutura da Matria, e Mecnica Quntica. Em outras palavras, este livro foi concebido para ser um guia prtico em sala de aula. Portanto, para complementar o contedo adquirido nas aulas, recomenda-se fortemente a consulta de livros clssicos da disciplina, tais como Fsica-Matemtica de Eugene Butkov, e Mathematical Methods for Physicists de George Arfken. Evitou-se tanto quanto possvel, demonstraes de teoremas. A nfase dada nas aplicaes destes tanto para casos de interesse puramente acadmico como para aqueles casos que aparecem na soluo de problemas de fsica. Como se trata de uma primeira tentativa de desenvolver um conjunto de tpicos para a disciplina de Fsica-Matemtica, qualquer sugesto que vise sua melhoria e aprimoramento ser bem vinda pelo autor. Edson Sardella Bauru, So Paulo, fevereiro de 2008.
Abreviaes
EDH EDNH Re(z) Im(z) Arg(z) Res(f, zk ) F {f (x)} F 1 {f (x)} Equao Diferencial Homognea Equao Diferencial No-Homognea Parte real de um nmero complexo z Parte imaginria de um nmero complexo z Argumento de um nmero complexo z Resduo de f (z) em z = zk Transformada de Fourier direta Transformada de Fourier inversa
Captulo 1
(1.1)
15
cos sin
onde i =
= =
1 i (e + ei ) , 2 1 i (e ei ) , 2i
(1.2)
1 a unidade imaginria.
(1.3)
ln xa = a ln x , ln(xy) = ln x + ln y , x = ln x ln y , ln y eln x = x.
(1.4)
1 Leonhard Euler (1707 - 1783) nasceu em Basilia, Sua, onde seu pai era ministro
religioso e possua alguns conhecimentos matemticos. Mesmo tendo perdido a viso ainda jovem por causa de uma catarata, continuou suas intensas atividades de pesquisa em matemtica.
16
n! = (2n)!! =
n (n 1) (n 2) . . . 2 1 , (2n) (2n 2) . . . 4 2 ,
(n + 1)! = (n + 1)n! , (2n)!! = 2n n! , (2n)! , (2n)!! = (2n 1)!! (2n + 1)! (2n + 1)!! = . (2n)!!
(1.5)
d(f g) dx d f dx g
Regra da cadeia:
= =
df dg g+f , dx dx dg df dx g f dx . g2
(1.6)
df [g(x)] df dg = . dx dg dx
(1.7)
17
xx0
lim
(1.8)
onde a linha indica a primeira derivada. Se a indeterminao persistir, necessrio a aplicao da regra mais de uma vez at que seja removida. A regra de L'Hpital tambm se aplica a indeterminaes do tipo /.
u dv = uv
v du .
(1.9)
Captulo 2
Sries Innitas
2.1 Introduo
Uma srie innita uma soma de innitos termos. Existem dois tipos de srie, as sries numricas e as sries de funes. Neste Captulo estudaremos apenas esta ltima. Primeiramente estudaremos a srie de Taylor. No Captulo 6 veremos um novo tipo de srie conhecida como srie de Laurent, e no Captulo 7 a srie de Fourier. O estudo das sries de funes importante pois possui vrias aplicaes, tais como na soluo de equaes diferenciais lineares de segunda ordem, sejam estas ordinrias ou parciais.
dj f (x) , f (0) (x) = f (x) . dxj Consideremos a integral da j -sima derivada de f (x), f (j) (x) =
x a
(2.1)
f (j) (x) dx
=
a
df (j1) (x) dx dx
x a
= =
f (j1) (x)
(2.2)
19
f (j) (x) dx
dx =
a
onde na passagem da primeira para a segunda linha usamos (2.2) recursivamente. Continuando, obtemos
x a x a x a x
f (j) (x) dx
dx dx =
=
a
f (j2) (x) f (j2) (a) (x a)f (j1) (a) dx (x a)2 (j1) f (a) . 2 (2.4)
f (j) (x) dx dx dx =
nintegrais (jn)
=f (x) f (a) (x a)f (jn+1) (a) (x a)2 (jn+2) (x a)n1 (j1) f (a) f (a) . 2! (n 1)!
Tomando-se j = n, a equao acima toma a forma
x a a x x
(2.5)
f (n) (x) dx dx dx =
nintegrais
(x a)2 f (a) 2!
(2.6)
20
f (x)
(x a)2 f (a) 2!
(2.7)
Rn =
a a
f (n) (x) dx dx dx .
nintegrais
(2.8)
lim Rn = 0 ,
(2.9)
f (x) = =
(x a)2 f (a) + 2!
(2.10)
f (x) = =
f (0) + xf (0) +
n=0
x2 f (0) + 2!
(2.11)
f (n) (0) n x . n!
21
2.4 Resto
O resto (2.8) pode ser escrito numa forma mais prtica usando-se o teorema do valor mdio do Clculo Integral. Se g(x) for uma funo contnua no intervalo a x b, existe um ponto x = tal que
b
g(x) dx = (b a)g() .
a
(2.12)
Rn
=
a a
f (n) ()(x a) dx dx dx
(n1)integrais
(x a)n f (n) () . n!
(2.13)
I=
f (x) dx = f ( + h) f () .
(2.14)
I=
0
f ( + h t) dt .
(2.15)
= =
tf ( + h t)|0 +
h
tf ( + h t) dt
0
hf () +
0
tf ( + h t) dt .
(2.16)
Um nova integrao por partes nos leva seguinte expresso para a integral
22
I = hf () +
h2 f () + 2!
h 0
t2 f ( + h t) dt . 2!
(2.17)
Empregando este procedimento repetidas vezes e usando a equao (2.14) obtemos a frmula geral de Taylor
f ( + h) = f () + hf () +
h2 h3 f () + f () + . 2! 3!
(2.18)
x3 x2 f (0) + f (0) + , 2! 3!
(2.19)
que a srie de Maclaurin. Exemplo 2.1 Expandir a funo exponencial f (x) = ex em uma srie de Maclaurin. Soluo: Primeiramente devemos calcular as derivadas da funo. Temos, f (n) (x) = ex e conseqentemente f (n) (0) = 1. Substituindo as derivadas em (2.11), obtemos
ex
= 1+x+
x2 x3 + + 2! 3!
(2.20)
=
n=0
xn . n!
No zemos nenhuma meno convergncia da srie. Para isto precisamos analisar o resto. Pela equao (2.13), temos que
Rn
xn n! xn ex , n! e
(2.21)
xn =0. (2.22) n n n! Portanto, a srie converge no intervalo < x < . Exemplo 2.2 Determinar a expanso em srie de Maclaurin da funo f (x) = ln(1 + x). lim Rn = lim ex
23
x) , e f (n) (0) = (1)n1 (n 1)!. A substituio das derivadas em (2.11) produz x3 x2 + 2 3 xn (1)n1 . n n=1 x
ln(1 + x) = =
(2.23)
Rn
(1)n1 xn , n
(n 1)! xn (1 + )n n!
(2.24)
0x,
pois Rn |Rn |, e a funo 1/(1 + )n mxima quando = 0. Para 0 x 1, podemos garantir que
xn =0. (2.25) n n n Com efeito, a srie converge no intervalo 0 x 1. Exemplo 2.3 (Expanso Binomial) Expandir a funo f (x) = (1 + x)m em uma srie de Maclaurin, onde m pertence ao conjunto dos nmeros reais. Soluo: Usando regras de derivao, podemos facilmente mostrar que f (n) (x) = m(m 1)(m 2) (m n + 1)(1 + x)mn . Introduzindo as derivadas em (2.11), encontramos lim Rn = lim f (x) = 1 + mx + m(m 1) 2 m(m 1)(m 2) 3 x + x + . 2! 3!
(2.26)
Rn
24
xn =0. n!
(2.28)
Logo, a srie converge no intervalo 0 x 1. Exemplo 2.4 A energia relativstica de uma partcula dada por
E = mc2 1
v2 c2
1/2
(2.29)
Obter a energia cintica da partcula no limite de baixa velocidade, isto , v/c 1. Soluo: Comparando a ltima equao com (2.26), obtemos x = v 2 /c2 e m = 1/2. Temos
= =
mc2 1 + mc2 1 +
1 2
v2 c2
1 2
1 1 2 2!
v2 c2
+
(2.30)
1 v2 3 v4 + + . 2 c2 8 c4
O termo mc2 a energia de repouso, e a energia cintica dada por E mc2 . Temos
Ecintica = e
1 3 v2 mv 2 1 + + . 2 4 c2
(2.31)
No limite de v/c 0, encontramos a expresso clssica Ecintica = 1 mv 2 . e 2 Exemplo 2.5 (Dipolo Eltrico) Um dipolo eltrico constitudo de duas cargas pontuais de magnitude q como ilustrado na Fig. 2.1. Mostrar que no limite de a/r 1, o potencial eltrico no ponto P dada por
p cos pr = 3 , (2.32) 2 r r onde p = 2aq o momento de dipolo eltrico. Soluo: Os vetores r1 e r2 esto relacionados com r atravs de r1 = r ai e r2 = r + ai. Usando a lei dos cossenos podemos escrever (r, ) = r1 r2 = = r2 + a2 2ar cos r2 + a2 + 2ar cos
1/2 1/2
, .
(2.33)
25
y P r2 r q a +q x +a r1
(r, ) = =
q q r1 r 2 q r 1+
1
a2 2ar cos 1/2 r2
1+
.(2.34)
(r, )
q r
+ +
(2.35)
26
f (x) = =
a0 + a1 x + a2 x2 +
an xn .
n=0
(2.36)
lim
an+1 1 , = an R
(2.37)
for nito, ento a srie converge no intervalo R < x < R. O valor de R conhecido como raio de convergncia. O critrio no garante convergncia nos extremos do intervalo, x = R. Exemplo 2.6 Mostrar que a srie (2.20) converge no intervalo < x < . Soluo: Comparando (2.20) com (2.36), temos que an = 1/n!, e an+1 /an = 1/(n + 1). Assim,
lim
(2.38)
de onde se deduz que R = . Conseqentemente, a srie converge no intervalo < x < . Exemplo 2.7 Mostrar que a srie (2.23) converge no intervalo 1 < x < 1. Soluo: Comparando (2.23) com (2.36), obtemos an = 1/n, e an+1 /an = n/(n + 1). Usando a regra de L'Hpital, temos que
lim
(2.39)
Da, obtemos R = 1. De maneira que a srie converge para todo |x| < 1. Esta srie converge para x = 1, embora o critrio de d'Alembert no capaz de detectar convergncia neste ponto. Exemplo 2.8 Mostrar que a srie (2.26) converge no intervalo 1 < x < 1.
2 Jean Le R. d'Alembert (1717 - 1783) abandonado quando pequeno nos degraus da igreja de St. Jean Baptista de Rond, perto de Notre-Dame, em Paris, foi adotado por um humilde casal. Mais tarde descobriu-se que seu pai era o general da artilharia Chevalier Destouches e sua me a aristocrtica escritora Madame de Tenoim. Mas d'Alembert, quando se tornou um matemtico famoso, preferiu ser reconhecido como lho de seus pais adotivos.
27
Soluo: Procedendo de forma anloga aos casos anteriores, temos que neste caso an = m(m 1)(m 2) (m n + 1)/n!. Usando as regras de fatorial (1.5), tambm podemos escrever an = m!/n!(m n)!. Logo, temos que
an+1 an = = = m! n!(m n)! (n + 1)!(m n 1)! m! n!(m n)(m n 1)! m! (n + 1)n!(m n 1)! m! mn . n+1
(2.40)
Tomando o limite,
lim
(2.41)
2.7 Problemas
2.1 Mostrar que
sin x =
n=0
(1)n (1)n
n=0
cos x =
Aplicando o critrio de d'Alembert, determinar os raios de convergncia para ambos os casos. 2.2 Usando os resultados do Problema 2.1, e da srie da funo exponencial, mostrar que
28
(a) arcsin x = x +
|x| 1 .
2.5 Expandir as funes cosh x e sinh x em srie de Taylor. Determine o raio de convergncia para cada caso. 2.6 Mostrar que
x Bn n = x , ex 1 n=0 n!
onde B0 = 1, B1 = 1/2, B2 = 1/6, B3 = 0, B4 = 1/30, etc. Os coecientes da srie Bn so conhecidos como nmeros de Bernoulli. 2.7 A soma relativstica de duas velocidades u e v dada por
w=
u+v , 1 + uv/c2
onde c a velocidade da luz no vcuo. Mostre que a expanso de w em potncias de uv/c2 dada por
w = (u + v) 1
Note que no limite uv/c2 w = u + v.
uv uv + 2 2 c c
2.8 O deslocamento de uma partcula de massa de repouso m0 , resultando de uma constante de fora m0 g ao longo do eixo y 2 1/2 2 c gt 1 , y= 1+ g c a qual inclui os efeitos relativsticos. Mostrar que a expanso de y em potncias de gt/c dada por
y=
1 2 1 gt 1 2 4
gt c
29
T =4
l g
/2 0
1 sin2
M 2
1/2
sin2
d ,
sin2 d =
, 4
/2 0
sin4 d =
3 . 16
Mostrar que
T = 2
l g
1+
1 M 9 M sin2 + sin4 + . 4 2 64 2
ex
x3 dx . 1
(1 ex )1 =
n=0
enx .
1 4 = , 4 n 90
y 3 ey dy = 6 .
2.11 O uso da teoria relativstica de Dirac produz a seguinte frmula de espectroscopia atmica
E = mc2 1 +
2 (s + n |k|)2
1/2
onde s = (|k|2 2 )1/2 , k = 1, 2, 3, . . ., e 2 = Ze2 / c, onde Z o nmero atmico. Expandir E em potncias de 2 at ordem 4 .
Captulo 3
Anlise Vetorial
3.1 Vetores e Escalares
Existem grandezas fsicas, tais como temperatura, presso, energia, dentre outras, que necessitam da especicao de apenas uma magnitude para descreve-las. Estas quantidades so chamadas de grandezas escalares. Existem outras grandezas na fsica, tais como deslocamento, velocidade, campo eltrico, dentre outras, que alm de uma magnitude, so caracterizadas por uma direo e um sentido. Tais quantidades so denominadas por grandezas vetoriais. Representamos um vetor por um segmento de reta orientado AB dirigido do ponto A para o ponto B , conforme ilustrado na Fig. 3.1. Para distinguir um vetor de um escalar, o denotaremos por uma letra em negrito ou por uma letra com uma seta em cima. Preferencialmente, usaremos a letra em negrito. Assim, o vetor AB ser representado por A, e o seu mdulo (ou magnitude) por uma letra em itlico. Assim, A representa o mdulo de A. O mdulo de um vetor a medida do tamanho do segmento orientado.
31
Figura 3.2: Oposto de um vetor; multiplicao de um vetor por um escalar. A multiplicao de um escalar por um vetor A resulta em um vetor de mesma direo de A como ilustra a Fig. 3.2. O sentido de A ser o mesmo de A se for positivo, e oposto de A se for negativo. Dados A e B, determinamos a soma destes dois vetores reposicionando os de modo que a origem de um deles coincida com a extremidade do outro como ilustra a Fig. 3.3. O resultado um vetor C = A + B. Note que esta regra de soma de vetores equivalente regra do paralelogramo (ver Fig. 3.3).
Figura 3.3: Soma de vetores. A subtrao de dois vetores, A B, equivalente a somar A com o oposto de B (ver Fig. 3.4). A regra do paralelogramo para adio de vetores pode ser generalizada para mais de dois vetores. Esta regra conhecida como regra do polgono (ver Fig. 3.5). Temos as seguintes propriedades:
32
Figura 3.5: Soma de vetores pela regra do polgono. 1. Comutativa da adio:
A+B=B+A,
(3.1)
a qual pode ser vericada facilmente usando a regra do paralelogramo. 2. Associativa da adio:
A + (B + C) = (A + B) + C ,
(3.2)
33
A = Ax i + Ay j + Az k ,
(3.3)
onde (Ax , Ay , Az ) so as componentes do vetor A. Assim, a soma de dois vetores A e B ser dada pela soma de suas componentes. Este mtodo algbrico de somar vetores muito mais prtico do que o mtodo grco.
Figura 3.7: Sistema de coordenadas retangulares. O mdulo de um dado vetor u denido por
u = |u| =
u2 + u2 + u2 . x y z
(3.4)
34
Um vetor muito especial que usaremos ao longo deste livro o vetor de posio r = xi + yj + zk, cujo mdulo escreve-se como r = x2 + y 2 + z 2 , que a distncia de O ao ponto de coordenadas (x, y, z).
u v = uv cos ,
onde o ngulo formado entre os dois vetores. Com efeito, os vetores unitrios tm as seguintes propriedades:
(3.5)
ii=jj=kk=1, ij=ik=jk=0.
(3.6)
Note que o produto escalar resulta em um escalar e no em um vetor. O produto escalar tem as seguintes propriedades: 1. Comutativa:
uv =vu.
2. Distributiva:
(3.7)
u (v + w) = u v + u w .
(3.8)
u v = ux vx + uy vy + uz vz .
(3.9)
|u v| = uv sin ,
0,
(3.10)
35
onde o menor ngulo formado entre os dois vetores u e v. Ento, se u e v so paralelos, o produto vetorial entre eles identicamente nulo. O vetor w = u v um vetor cuja direo perpendicular ao plano formado por u e v. O sentido tal que u, v, e w formem um triedro direto. O produto vetorial segue as seguintes propriedades: 1. Anti-Comutativa:
u v = v u .
2. Distributiva:
(3.11)
u (v + w) = u v + u w .
(3.12)
Usando-se a denio do produto vetorial, podemos mostrar que os vetores unitrios tm as seguintes propriedades:
ii=jj=kk=0, i j = k , i k = j , j k = i .
(3.13)
Agora, usando estes resultados e a propriedade distributiva do produto vetorial, podemos mostrar que
uv
Esta equao tambm pode ser escrita mais convenientemente na forma de um determinante
uv =
i ux vx
j uy vy
k uz vz
(3.15)
O mdulo do produto vetorial pode ser facilmente obtido usando-se a denio do produto escalar. Temos
36
(3.16)
onde foram somados e subtrados seis termos sem alterar o resultado nal. 2 2 Os termos positivos podem ser fatorados na forma (u2 + u2 + u2 )(vx + vy + x y z 2 2 2 2 2 vz ) = u v e os negativos na forma (ux vx + uy vy + uz vz ) = (u v) . Assim, usando-se (3.5), obtemos
(u v) (u v) = = = =
(3.17)
w2
= = = =
(3.18)
onde, na ltima linha usamos a denio do produto escalar. Extraindo a raiz quadrada, obtemos
|u + v| =
u2 + v 2 + 2uv cos .
(3.19)
37
1. Produto misto:
u (v w) = (w u) v = (u v) w =
ux vx wx
uy vy wy
uz vz wz
. (3.20)
A (B C) = B(A C) C(A B) ,
conhecida como regra BAC CAB (l-se bac menos cab ).
(3.21)
O mdulo do produto misto igual ao volume de um paraleleppedo (ver Fig. 3.8). A rea do paralelogramo formado pelos vetores B e C dada por |B C|, ao passo que a altura h dada pela projeo do vetor A ao longo do vetor unitrio n. Temos que o volume igual a
(3.22)
Se os vetores A, B e C no formam um triedro direto, ento A n < 0. Para garantir que o resultado positivo adotamos o mdulo do produto misto.
Figura 3.8:
us = u cos .
(3.23)
38
Lembrando que u = ux i + uy j + uz k, a equao acima pode ser usada recursivamente para obtermos
(3.24)
s
1 u y
Figura 3.9:
ux
(3.25)
39
Figura 3.10:
uy
= = =
(3.26)
ux uy uz
(3.27)
conveniente mudarmos a notao de (ux , uy , uz ) para (u1 , u2 , u3 ) e denir amn = cos(m, n), onde (m, n) = 1, 2, 3. Assim, as equaes acima podem ser reescritas como
u1 u2 u3
(3.28)
Os coecientes amn = cos(m, n) so conhecidos como cossenos diretores. A equao anterior pode tambm ser escrita na forma matricial a11 a12 a13 u1 u1 u2 = a21 a22 a23 u2 , (3.29) u3 a31 a32 a33 u3
40
um =
n=1
amn un .
(3.30)
Seja agora o caso particular u = (1, 0, 0) = i. Substituindo em (3.29), obtemos para as novas componentes de u
u1 = a11 , u2 = a21 ,
de tal maneira que
u3 = a31 ,
(3.31)
(3.32)
(3.33)
(3.34)
Suporemos que o novo sistema de coordenadas (x , y , z ) ortogonal, isto , os vetores unitrios (i , j , k ) obedecem as mesmas propriedades que as (3.6) para os vetores (i, j, k). Temos
ii jj kk ij ik jk
= = = = = =
a2 + a2 + a2 = 1 , 11 21 31 a2 + a2 + a2 = 1 , 12 22 32 a2 + a2 + a2 = 1 , 13 23 33 a11 a12 + a21 a22 + a31 a32 = 0 , a11 a13 + a21 a23 + a31 a33 = 0 , a12 a13 + a22 a23 + a32 a33 = 0 .
(3.35)
Portanto, a soma dos quadrados dos elementos dentro de uma coluna igual a um, e a soma dos produtos dos elementos de diferentes colunas igual a zero. Matrizes que obedecem esta propriedade so chamadas de matrizes ortogonais. As seis equaes (3.35) podem ser escritas em uma forma compacta como segue
3
aij aik = jk =
i=1
1, j=k 0, j=k
(3.36)
41
3.11 Gradiente
Por convenincia, mudemos a notao de (x, y, z) para (x1 , x2 , x3 ). Seja (x1 , x2 , x3 ) uma funo escalar da posio, por exemplo, temperatura, densidade de energia, etc. O valor de , deve independer do sistema de coordenadas,
(x1 , x2 , x3 ) = (x1 , x2 , x3 ) .
Derivando parcialmente com relao a xi (i = 1, 2, 3), temos
(3.37)
(x1 , x2 , x3 ) xi
= = =
(x1 , x2 , x3 ) xi x1 x2 x3 + + x1 xi x2 xi x3 xi
3 j=1 3
xj xj xi aij , xj
escrever (3.38)
=
j=1
onde aij = xj /xi . Na forma matricial tambm podemos a11 a12 x1 = a21 a22 x2 a31 a32
x3
x1 x2 x3
.
(3.39)
O vetor coluna que aparece em ambos os lados da equao acima conhecido como vetor gradiente da funo ,
(3.40)
+j +k . (3.41) x y z Este operador diferencial s tem efeito quando aplicado sobre uma funo escalar. Uma interpretao geomtrica interessante do gradiente que se (x, y, z) = C a equao de uma superfcie, ento normal a esta em
42
todos os seus pontos. Para ver isto, considere dois pontos P e Q de uma superfcie arbitrria (ver Fig 3.11). Seja dr o deslocamento entre os dois pontos. O deslocamento de P para Q causa uma mudana innitesimal em = C dada por
d = = =
(3.42)
Figura 3.11: Interpretao geomtrica do gradiente. Por outro lado d = 0, logo perpendicular superfcie. O vetor normal superfcie obtido dividindo-se o gradiente pelo seu mdulo, n = /| |. Supor agora que P e Q esto localizados em superfcies diferentes, = C1 e = C2 (ver Fig. 3.12). Considerando os pontos innitesimalmente prximos, um deslocamento de um ponto ao outro causa uma mudana dada por
43
d = C2 C1 = = dr .
(3.43)
Q = C 2 > C1 dr P = C1 y
x
Figura 3.12: Outra interpretao geomtrica do gradiente. Esta mudana mxima quando o vetor paralelo a dr. Portanto, o gradiente indica o direo de maior crescimento da funo escalar . Exemplo 3.1 Uma superfcie esfrica de raio r dada pela equao (x, y, z) = x2 + y 2 + z 2 = r. Determinar o vetor normal a qualquer ponto da esfera. Soluo: Temos as seguintes derivadas
44
x y z
= = =
x x2 x2 x2 + y + y + y2 y2 y2 + + + z2 z2 z2
= = =
x , r y , r z . r
(3.44)
xi + yj + zk r = . (3.45) r r O vetor acima unitrio e portanto no h necessidade de dividi-lo pelo seu mdulo. =
3.12 Divergente
Existe algumas formas de combinar o operador nabla com funes escalares e vetoriais. Na Seo anterior vimos que este operador aplicado a uma funo escalar resulta no gradiente. Podemos tambm combinar com uma funo vetorial atravs de um produto escalar. O divergente de uma funo vetorial denido por
ux uy uz + + . (3.46) x y z Note que o divergente de um vetor um escalar. Quando u tem valor positivo em um determinado ponto, dizemos que o campo vetorial tem uma vazo lquida para fora da vizinhana deste ponto. Este o caso do campo eltrico produzido por uma carga pontual. Dependendo do sinal da carga, as linhas de campo ou convergem para, ou divergem do ponto onde ela se encontra. O inverso ocorre com o campo magntico, pois neste caso as linhas de campo se fecham em si mesmas, isto , o campo tem circuitao (ou vorticidade). Neste ltimo caso, no h vazo: todas as linhas de campo que adentram uma determina superfcie fechada, iro emergir em algum outro ponto da mesma superfcie. u=
3.13 Rotacional
Tambm podemos combinar o operador nabla com um vetor atravs de um produto vetorial. O rotacional denido por
45
i u= ux
x
j uy
y
k uz
z
(3.47)
Ao contrrio do divergente, se o campo tem vorticidade, ento o rotacional deste campo no nulo.
x
Figura 3.13: Campo vetorial A = xi + yj. Um exemplo tpico de campo vetorial com divergente no nulo e rotacional identicamente nulo A = xi + yj, cuja representao grca encontra-se ilustrada na Fig. 3.13. Um segundo exemplo onde ocorre exatamente o oposto do exemplo anterior A = yi + xj, cujo grco mostrado na Fig. 3.14. Pode ocorrer de o campo vetorial no possuir simultaneamente vorticidade e divergncia. Como um caso tpico, temos o campo vetorial A = yi + xj (ver Fig 3.15).
46
x
Figura 3.14: Campo vetorial A = yi + xj.
(f + g) = (f g) = f (f u) = f (f u) = f (
f+
g,
(3.48) (3.49)
g+g f , u+u f,
u) + ( f ) u ,
( f) = 0 , ( u) = 0 ,
47
x
Figura 3.15: Campo vetorial A = yi + xj.
(u v) = (v
)u + (u
)v + v (
u) + u ( v) ,
v) ,
(3.54) (3.55)
(u v) = v (
u) u (
(u v) = u(
v) v(
2
u) + (v
)u (u
)v ,
(3.56) (3.57)
( f) =
f=
2f 2f 2f + 2 + 2 . 2 x y z
(
2
u) =
2
(
2
u)
u,
(3.58) (3.59)
(f g) = f
g+g
f + 2( f ) ( g) .
Calcular
48
= =
f f f +j +k x y z df r df r df r i +j +k . dr x dr y dr z i
(3.61)
(f (r)r) =
r df r dr
Exemplos de fora central so o da fora gravitacional e da fora de Coulomb, em que f (r) = C/r3 , onde C = Gm1 m2 para o primeiro caso e C = q1 q2 /4 0 para o segundo caso. Exemplo 3.3 Calcular r. Soluo: Pela denio (3.46), temos que
r=
x y z + + =1+1+1=3. x y z
2
(3.63)
g(r), onde g uma funo que depende somente do mdulo de r. Soluo: Do Exemplo 3.2, vem que ( g(r)) = r dg r dr .
(3.64)
( g(r)) = = =
1 dg r+r r dr 3 dg r d +r r dr r dr 2 dg d2 g + 2 . r dr dr
1 dg r dr 1 dg r dr
(3.65)
49
Se g(r) = rn , ento
(3.66)
Esta equao ser nula somente se n = 0 ou n = 1. Ou seja, o potencial de Coulomb g(r) = 1/r satisfaz a equao de Laplace 2 g = 0.
dr ,
C
u dr ,
C
u dr ,
C
(3.67) onde dr um elemento de comprimento de um contorno (aberto ou fechado) C de integrao. O mtodo de resoluo de uma integral de linha consiste em reduzi-la a integrais ordinrias as quais podemos resolver pelos mtodos usuais. Vejamos alguns exemplos. Exemplo 3.5 Integrar a funo (x, y) = xy desde a origem at o ponto (1, 1), seguindo os caminhos C1 e C2 indicados na Fig. 3.16. Soluo: Atravs do caminho C1 , temos que
1 1
dr
C
= i
0,y=0 1
dx + j
0,x=1 1
dy y dy
= i
0
0 dx + j
0
= j
Atravs de C2 temos
1 . 2
(3.68)
dr
C
= i
0,y=x
dx + j
0,y=x
dy
50
(1, 1) C2 C1 (1, 0) x
Figura 3.16: O caminho C1 : y = 0 entre (0, 0) e (1, 0), e x = 1 entre (1, 0) e (0, 1); o caminho C2 : y = x entre os pontos (0, 0) e (1, 1).
1 1 0
= i
0
x2 dx + j
x2 dx
(3.69)
1 1 = i +j . 3 3
Exemplo 3.6 Integrar a funo F(x, y) = (x y)i + (x + y)j atravs da parbola que une os pontos (0, 0) e (1, 1) como ilustrado na Fig. 3.17.
y (1, 1) C x
51
F dr =
C 0,y=x2 1
(x y) dx +
0,y=x2 1 0 1 0
(x + y) dy 2x(x + x2 ) dx
=
0
(x x2 ) dx +
= =
x2 x3 x4 + + 2 3 2 11 . 6
(3.70)
u n dS =
S V
u dV ,
(3.71)
onde n um vetor normal superfcie em qualquer ponto de S . Do lado esquerdo da equao acima temos uma integral de superfcie e do lado direito uma integral de volume. Para demonstrar este teorema, consideremos primeiro um elemento de volume V . Consideremos duas faces deste volume como ilustrado na Fig. 3.18. O uxo de u atravs das faces 1 e 2 so dados por
(3.72)
[(valor de ux na face 2) (valor de ux na face 1)]yz = ux yz . (3.73) Repetindo-se o mesmo raciocnio para as outras faces obtemos o uxo total atravs de todas as faces
52
ux yz + uy xz + uz xy = (
uy uz ux + + )xyz . x y z (3.74) Na forma diferencial esta equao pode ser reescrita como ux uy uz + + x y z Pela denio de uxo, dxdydz = udV .
(3.75)
u nS =
uV ,
(3.76)
onde a soma refere-se a todas as faces do volume V . Imaginemos agora que o volume V possa ser subdividido em pequenas unidades innitesimais de volume Vi . Usando a ltima equao acima, temos
u dV
V
=
i
uVi u nSi
i
53
=
S
u n dS .
(3.77)
u n dS =
S C
u dr .
(3.78)
E n dS =
S
q
0
(3.79)
E n dS =
S V
E dV .
(3.80)
Por outro lado, a carga total pode ser expressa em termos da densidade de carga atravs de
q=
V
dV .
(3.81)
E
V
dV = 0 .
(3.82)
Uma vez que V completamente arbitrrio, s podemos garantir que a integral acima seja nula se e somente se
1 Esta lei foi primeiramente proposta por Carl Friedrich Gauss (1777 - 1855), nascido na cidade de Brunswick, Alemanha. Trabalhou em diversos campos da matemtica e da fsica dentre eles a teoria dos nmeros, geometria diferencial, magnetismo, astronomia e tica.
54
E=
(3.83)
B dr = 0 I ,
C
(3.84)
B dr =
C S
B n dS .
(3.85)
I=
S
J n dS .
(3.86)
Combinando as duas equaes acima com a lei de Ampre (3.84), temos que
(
S
B 0 J) n dS = 0 .
(3.87)
B = 0 J .
(3.88)
Esta equao a lei de Ampre na forma diferencial. Veremos mais adiante que esta lei est incompleta. necessrio adicionar um termo a mais do lado direito da equao acima de tal forma a torna-la consistente com a lei de conservao da carga.
2 Esta lei foi primeiramente enunciada por Andr Marie Ampre (1775 - 1836), nascido em Polemieux-Le-Mont-d'Or, uma herdade prxima a Lyon, Frana. Devido grande contribuio de Ampre eletrodinmica, Maxwell o apelidou de o Newton da Eletricidade.
55
E dr =
C
d dt
B n dS .
S
(3.89)
E+
S
B t
n dS = 0 .
(3.90)
Com efeito
E=
B , t
(3.91)
B n dS = 0 .
S
(3.92)
B n dS =
S V
B dV = 0 .
(3.93)
Conseqentemente
B = 0.
Esta equao signica que na natureza no h monopolo magntico.
(3.94)
3 Michael Faraday (1791 - 1867) nasceu em Newington Butts, Surrey, em Londres, Inglaterra. Considerado por muitos como o maior fsico experimental da histria da cincia. De origem pobre (o seu pai trabalhava como ferreiro), logo cedo foi trabalhar em uma livraria como transportador e encadernador. Nas horas vagas dedicava-se leitura. Por isso, considerado por muitos como um autodidata.
56
B) = 0
J=0.
(3.95)
Este resultado est em desacordo com a equao de continuidade que expressa a conservao da carga,
(3.96)
E E = J+ 0 =0. (3.97) t t Vemos ento que esta equao e (3.95) so incongruentes. Este aparente paradoxo pode ser resolvido adicionando-se um termo a mais na lei de Ampre de maneira que a equao da continuidade seja satisfeita, B = 0 J + 0 Jd .
(3.98)
(3.99)
E . (3.100) t Assim, as quatro equaes fundamentais de Maxwell4 do eletromagnetismo podem ser escritas como E B E B =
0
= 0, B = , t = 0 J + 0
0
E . t
(3.101)
4 James Clerk Maxwell (1831 - 1879) nasceu em Edimburgo, Esccia. Entre os anos de 1860 e 1865 trabalhou no Kings College, de Londres, onde elaborou a teoria do eletromagnetismo sintetizada nas quatro clebres equaes que levam o seu nome.
57
3.20 Problemas
3.1 Ache o volume do paraleleppedo de arestas A = 3i j, B = j + 2k, C = i + 5j + 4k. 3.2 Determine a de modo que 2i 3j + 5k e 3i + aj 2k sejam perpendiculares. 3.3 Se A = i + j, B = 2i 3j + k, C = 4j 3k, calcule o produto vetorial triplo A (B C) (a) usando a denio de produto vetorial, (b) usando a relao BAC-CAB. 3.4 So dados os vetores
a =
bc , a (b c)
b =
ca , a (b c)
c =
ab . a (b c)
x y = xy ,
onde (x, y = a, b, c). Este resultado importante no estudo de redes cristalinas em Fsica do Estado Slido. 3.5 Prove que a rea de um paralelogramo de lados A e B dado por |A B|. 3.6 Se A = (3x 6yz)i + (2y + 3xz)j + (1 4xyz)k, calcular C A dr de (0,0,0) a (1,1,1) ao longo dos seguintes percursos C : (a) x = t, y = t2 , z = t3 ; (b) segmentos de reta de (0,0,0) a (0,0,1), deste a (0,1,1), e deste a (1,1,1). 3.7 Se F = (x2 y 2 )i + 2xyj, calcular C A dr ao longo da curva C no plano xy , dada por y = x2 x do ponto (1,0) a (2,2).
58
3.8 Usando os teoremas do divergente e de Stokes, caso conveniente, calcule as seguintes integrais.
(a) u n dS , onde u = x3 i + y 3 j + z 3 k e S a esfera de raio R com centro na origem. (b) u n dS , onde u = x5 i + y 5 j + z 5 k e S a esfera do tem (a). (c) C u dr, onde u = 3yi + 3xj + k, e C o crculo x2 + y 2 = 1 situado no plano z = 2.
3.9 Mostrar que
1 3
r n dA = V ,
S
A, mostrar que B n dS = 0 ,
S
para uma superfcie qualquer fechada S . 3.11 Sendo t = iy + jx, mostrar que
1 2
t dr = A ,
C
onde A a rea limitada pelo caminho fechado C . 3.12 As foras conservativas podem sempre ser escritas como menos o gradiente de uma funo escalar
F= .
Mostrar que o trabalho realizado por esta fora independe da trajetria da partcula. Analogamente, o campo eltrico dito conservativo se E = . Mostrar que
2
onde a densidade de carga. Esta conhecida como equao de Poisson. Se = 0, a equao conhecida como equao de Laplace.
59
3.13 A energia magntica (por unidade de volume) armazenada nos campos eletromagnticos dada por
U=
1 1 BB. 0E E + 2 20
U =JE+ t
S,
S=
1 EB. 0
3.14 Supor que os campos eletromagnticos dependem apenas da coordenada z e do tempo. Usando as equaes de Maxwell, mostrar que
By z Ex z Bx z Ey z
= = = =
Ex , t
By , t Ey 0 0 , t Bx . t
Usando estas equaes, mostrar que as componentes dos campos satisfazem a equao da onda
Captulo 4
Coordenadas Curvilneas
4.1 Introduo
Com muita freqncia, encontramos problemas em fsica que no possuem uma simetria retangular. Portanto, conveniente mudarmos do sistema de coordenadas retangulares para o sistema de coordenadas correspondente simetria do problema em questo. Neste Captulo aprenderemos como encontrar uma correspondncia entre os pontos do sistema de coordenadas retangulares (x, y, z) e os pontos do sistema de coordenadas curvilneas que denotaremos por (q1 , q2 , q3 ). Na forma genrica, as equaes transformativas so escritas como
(4.1)
Iremos impor que o novo sistema de coordenadas seja ortogonal. Para isto, necessrio encontrarmos os vetores unitrios que denam os sentidos positivos do eixos q1 , q2 , e q3 . Vejamos como encontrar estes vetores. Usando regras de derivao parcial, podemos escrever
dx dy dz
= = =
(4.2)
61
dxi =
j=1
xi dqj . qj
(4.3)
dr
(4.4)
O vetor
r q1
q2 ,q3
a1 =
onde
1 h1
r q1
=
q2 ,q3
1 h1
x y z i+ j+ k q1 q1 q1
(4.5)
h1 =
r q1
=
q2 ,q3
x q1
y q1
z q1
(4.6)
conhecida como mtrica ou fator de escala. Repetindo-se o mesmo procedimento para os eixos q2 e q3 encontramos para os outros vetores unitrios e mtricas,
a2 = a3 =
1 h2 1 h3 r q2
r q2 r q3
=
q1 ,q3
1 h2 1 h3 x q2
x y z i+ j+ k q2 q2 q2 x y z i+ j+ k q3 q3 q3
2
, ,
2
(4.7) (4.8)
=
q1 ,q2
h2 =
=
q1 ,q3
y q2
2
z q2
2
(4.9)
h3 =
r q3
=
q1 ,q2
x q3
y q3
z q3
(4.10)
62
ai h2 i
1 hi
3
3 j=1
xj xj , qi
2
(4.11) (4.12)
=
j=1
xj qi
onde (1 , x3 , x3 ) = (i, j, k). x Como veremos adiante, as mtricas assumem um papel fundamental nas novas representaes no sistema de coordenadas curvilneas. Usando o fato que xi xj = ij , e a equao (4.11), temos que
ai aj
= = = =
1 hi 1 hi hj 1 hi hj 1 hi hj
3 k=1 3
xk xk qi
3
1 hj
3 l=1
xl xl qj
k=1 l=1 3 3
xk xl xk xl , qi qj xk xl kl , qi qj
(4.13)
xk xk . qi qj
1 hi hj
3 k=1
xk xk = ij . qi qj
(4.14)
63
ds2
=
i=1
dx2 . i
(4.15)
ds
=
i=1 j=1 3 3
xi dqj qj
3 i=1
3 k=1
=
j=1 k=1 3 3
xi xi qj qk
=
j=1 k=1 3
hj hk jk dqj dqk
2 h2 dqj , j j=1
(4.16)
onde, na passagem da segunda para a terceira linha usamos a relao de ortogonalidade (4.14). O ltimo resultado sugere que no espao de coordenadas curvilneas o elemento de volume um paraleleppedo de lados h1 dq1 , h2 dq2 , e h3 dq3 . Conseqentemente, o elemento de volume em coordenadas curvilneas pode ser escrito como
(4.17)
Por m, o elemento de rea de qualquer uma das faces do paraleleppedo ser dada por dij = hi hj dqi dqj , com i = j .
64
q1
x y z + + x q1 y q1 z q1 x y z = i+ j+ k i+ j+ k x y z q1 q1 q1 r = ( ) q1 q2 ,q3 = = ( ) (h1 a1 ) .
(4.18)
q2 q3
= ( ) (h2 a2 ) , = ( ) (h3 a3 ) .
(4.19) (4.20)
1 1 1 a1 + a2 + a3 . (4.21) h1 q1 h2 q2 h3 q3 A m de obter a representao do divergente em coordenadas curvilneas usaremos o mesmo procedimento que na Seo 3.17. Imaginemos um elemento de volume em coordenadas curvilneas como ilustrado na Fig. 4.1. O uxo lquido de um campo vetorial u atravs das faces 1, 2, e 3 dado por = (u1 h2 h3 )q2 q3 (u2 h1 h3 )q1 q3 (u3 h1 h2 )q1 q2 = = = (u1 h2 h3 ) q1 q2 q3 , q1 (u2 h1 h3 ) q1 q2 q3 , q2 (u3 h1 h2 ) q1 q2 q3 . q3
(4.22)
udV .
(4.23)
Por outro lado, usando a expresso do elemento de volume em coordenadas curvilneas (4.17), obtemos
65
u=
(4.24)
A determinao do rotacional em coordenadas curvilneas um pouco mais complexa e a deixaremos de lado. Temos que
u=
1 h1 h2 h3
h1 a1 h1 u1
q1
h2 a2 h2 u2
q2
h3 a3 h3 u3
q3
(4.25)
Da denio do Laplaciano (3.57), e das representaes do gradiente e do divergente em coordenadas curvilneas (4.21) e (4.24), respectivamente, temos que
2
( ) =
1 h2 h3 h1 h2 h3 q1 h1 q1 h1 h2 + . q3 h3 q3
q2
h1 h3 h2 q2
(4.26)
Nas prximas duas Sees iremos aplicar o formulrio acima para dois casos especcos de grande utilidade em fsica.
66
x = cos , y = sin ,
z=z,
(4.27)
k * 0 0 z r
x
Figura 4.2: Coordenadas cilndricas. Vetor de posio:
= cos i + sin j + zk = 0 + zk .
(4.28)
Mtricas:
h1 = 1 , h 2 = ,
Elemento de volume:
h3 = 1 .
(4.29)
67
dV = dddz .
Gradiente:
(4.30)
= 0
Divergente:
1 + 0 +k . z
(4.31)
u=
Rotacional:
1 1 u uz (u ) + + . z
(4.32)
u=
Laplaciano:
2
0 u
0 u
k uz
z
(4.33)
= =
1 1 2 2 + 2 + 2 z 2 2 1 1 2 2 + + 2 + . 2 2 z 2
(4.34)
x = r sin cos ,
y = r sin sin ,
z = r cos ,
(4.35)
r
Mtricas:
(4.36)
h1 = 1 , h 2 = r ,
Elemento de volume:
h3 = r sin .
(4.37)
dV = r2 sin drdd .
(4.38)
68
z
ro o o
(x, y, z)
y (x, y, 0) x
= r0
Divergente:
1 1 + 0 + 0 . r r r sin
(4.39)
u=
r2
(4.40)
Rotacional:
1 u= 2 r sin
Laplaciano:
2
r0
ur
r 0 ru
r sin 0 r sin u
(4.41)
1 r2 r
r2
1 2 sin r
sin
2 1 . r2 sin2 2
(4.42)
69
Equao de Laplace:
2
=0.
(4.43)
Equao de Poisson:
2
(4.44)
k2 = 0 .
(4.45)
1 . a2 t
(4.46)
Equao de Schrdinger:
2
2m
+ V = E .
(4.47)
A incgnita nas equaes acima . Ao resolvermos as equaes acima, tentamos uma forma de transferir a soluo das equaes diferenciais parciais para a soluo de equaes diferenciais ordinrias mais simples. Este objetivo pode ser alcanado, usando-se o mtodo de separao de variveis. Para ilustrar como este mtodo funciona, consideremos a equao de difuso independente do tempo com o sinal mais. A idia separar a equao em trs equaes diferenciais ordinrias e independentes cada qual em uma nica varivel. Escrevemos
(4.48)
YZ
ou ainda
d2 X d2 Y d2 Z + XZ 2 + XY 2 + k 2 XY Z = 0 , 2 dx dy dz
(4.49)
1 d2 X 1 d2 Y 1 d2 Z = k 2 . 2 2 X dx Y dy Z dz 2
(4.50)
70
Uma vez que as coordenadas (x, y, z) so independentes, ambos os lados da equao acima devem ser iguais a uma constante. Temos
1 d2 X X dx2 1 d2 Y 1 d2 Z k 2 Y dy 2 Z dz 2
= l2 = l2 .
(4.51) (4.52)
1 d2 Y 1 d2 Z = k 2 + l2 . Y dy 2 Z dz 2
(4.53)
Igualmente ao caso anterior, ambos os membros da equao acima so iguais se ambos forem constantes. Temos
1 d2 Y 1 d2 Z = m2 , = n2 , Y dy 2 Z dz 2
(4.54)
onde k 2 = l2 + m2 + n2 . Para cada trinca de valores (l, m, n) teremos uma soluo lmn . Como a equao (4.45) linear (ver Captulo 5) em , uma combinao linear de solues tambm ser uma soluo da equao diferencial,
(x, y, z) =
lmn
(4.55)
As constantes (l, m, n), e almn so determinadas de acordo com as condies de contorno impostas sobre a funo (x, y, z).1 Para o momento, o que importante notar, que transformamos o problema de resolver uma equao diferencial parcial na soluo de trs equaes diferenciais ordinrias. Este ltimo exemplo aplica-se a problemas com simetria retangular. Supor agora que a simetria seja esfrica. Neste caso, usamos o Laplaciano em coordenadas esfricas (4.42). A equao de difuso independente do tempo pode ser escrita como
1 r2 r
r2
1 2 sin r
sin
1 2 + k 2 = 0 . (4.56) r2 sin2 2
1 As condies de contorno so especicadas pelos valores da funo e/ou suas derivadas nas fronteiras de um determinado domnio (para maiores detalhes, ver Captulo 8).
71
(r, , ) = R(r)()() .
Substituindo esta equao em (4.56), encontramos
(4.57)
(4.58) Analogamente ao caso de coordenadas retangulares, assumimos (r, , ) como coordenadas independentes. Temos que
1 d2 1 d = r2 sin2 k 2 + 2 2 d r R dr
r2
dR dr
r2
1 d sin d
sin
d d
onde m e Q so duas constantes de separao. Mais uma vez, vemos que a soluo de uma equao diferencial parcial se reduz soluo de trs equaes diferenciais ordinrias. Consideremos o caso particular k = 0, o qual corresponde equao de Laplace (4.43). Obtemos
1 d r2 dr
r2
dR dr
QR =0. r2
(4.62)
Supor que a soluo seja do tipo R(r) = Arn , onde A uma constante. Substituindo na equao diferencial para R, vem que
[n(n + 1) Q]rn2 = 0 .
Assumindo r = 0, encontramos Q = n(n + 1). Assim, a equao para , com m = 0, toma a forma
(4.63)
1 d sin d
sin
d d
+ n(n + 1) = 0 .
(4.64)
(1 x2 )
d2 d 2x + n(n + 1) = 0 . dx2 dx
(4.65)
72
Esta equao conhecida como equao de Legendre. No prximo Captulo veremos como resolve-la.
4.7 Problemas
4.1 A transformao de coordenadas retangulares para coordenadas cilindro-parablicas denida pelas equaes x = 1 (u2 v 2 ), y = uv , 2 z = z . (a) Calcule as mtricas h1 , h2 e h3 . (b) Prove que a matriz 1 i Aij = hj xj ortogonal. (c) Escrever o gradiente, o divergente, o q Laplaciano e o rotacional em coordenadas cilindro-parablicas. 4.2 Considere as equaes transformativas de coordenadas abaixo:
x y z
(a) Calcule as mtricas h1 , h2 e h3 . (b) Determinar a matriz Aij = 1 xi hj qj e mostrar que ortogonal. (c) Escrever o gradiente, o divergente, o Laplaciano e o rotacional no novo sistema de coordenadas.
4.3 As equaes transformativas de coordenadas retangulares xyz para esfricas so dadas por x = r sin cos , y = r sin sin , z = r cos . 1 xj Monte a matriz Bij = hi qi . Calcule a matriz inversa de B . 4.4 Usando as equaes (4.5-4.10) e o resultado do Problema 4.3, mostre que os vetores unitrios nos dois sistemas de coordenadas esto relacionados pelas equaes:
i j k
= r0 sin cos + 0 cos cos 0 sin , = r0 sin sin + 0 cos sin + 0 cos , = r0 cos 0 sin .
4.5 Mostrar que (/x, /y, /z) em coordenadas esfricas so dados por
= sin cos
73
y z
= sin sin
e multiplicar o resultado
4.6 O operador momento angular denido por L = i (r ), onde i a unidade imaginria e = h/2 , sendo h a constante de Planck. (a) Usando os resultados do Problema 4.5, mostrar que Lz dado por
Lz = i
y y x
= i
L+ L
= =
Lx + iLy = ei
Em Mecnica Quntica, L+ e L so conhecidos como operadores de levantamento e abaixamento, respectivamente. 4.7 Considere a equao de Laplace em coordenadas polares-cilndricas:
1 2 2 + =0. 2 2 z 2
Usando o mtodo de separao de variveis, mostre que a soluo desta equao se reduz soluo de trs equaes diferenciais lineares ordinrias dadas por
1 d d
dR d
d2 Z l2 Z = 0 , dz 2 d2 + m2 = 0 , d2 m2 + l2 2 R = 0 .
74
Fazendo a mudana de varivel x = l, mostrar que a equao radial pode ser escrita como
1 d x dx
dR dx
+ 1
m2 x2
R=0.
(4.66)
Esta equao conhecida como equao diferencial de Bessel. No Captulo 5 iremos resolver esta equao.
Captulo 5
d2 y dy + B(x) + C(x)y = D(x) , (5.1) dx2 dx onde A(x), B(x), C(x) e D(x) so funes conhecidas; y(x) a funo incgnita. Esta equao tambm pode ser escrita na forma A(x) L y(x) = D(x) ,
onde (5.2)
d2 d + B(x) + C(x) (5.3) 2 dx dx um operador diferencial. Este operador tem as seguintes propriedades L = A(x) L [y1 (x) + y2 (x)] = L [ay(x)] = L y1 (x) + L y2 (x) , aL y(x) ,
(5.4)
onde a uma constante. Operadores que possuem estas propriedades so chamados de operadores lineares.
76
(5.5)
Se R(x) = 0, a equao diferencial chamada de equao diferencial homognea (EDH). Caso contrrio, denominamos esta equao de equao diferencial no-homognea (EDNH). Primeiro vamos estudar a EDH.
d2 y dy + P (x) + Q(x)y = 0 . 2 dx dx
(5.9)
Se y1 (x) soluo de (5.9), ento y = C1 y1 (x), tambm uma soluo, onde C1 uma constante arbitrria. Se y = y1 (x), e y = y2 (x) so solues de (5.9), ento y = C1 y1 (x) + C2 y2 (x), tambm uma soluo de (5.9). Estas armaes so verdadeiras por causa que (5.9) linear em y e suas derivadas. Em outras palavras, (5.9) segue as propriedades (5.4). Um par de solues y = y1 (x) e y = y2 (x) so denominadas linearmente independentes se a igualdade
C1 y1 + C2 y2 = 0 ,
(5.10)
onde os C 's so constantes, for verdadeira se e somente se C1 = C2 = 0. Se as solues forem linearmente dependentes, y1 = ky2 , onde k uma constante que no depende de x. Logo, podemos escrever y1 = ky2 , e
y1 y2 = , y1 y2
ou ainda
(5.11)
77
y1 y2 y1 y2 = 0 .
A funo
(5.12)
(5.13)
conhecida como Wronskiano. Uma condio necessria e suciente para que um par de solues sejam linearmente independentes que
W (x) =
y1 y1
y2 y2
=0.
(5.14)
Concluindo, se y = y1 (x) e y = y2 (x) um par de solues linearmente independentes, ento a soluo geral da EDH dada por
y = C1 y1 (x) + C2 y2 (x) ,
onde C1 e C2 so duas constantes arbitrrias.
(5.15)
= = =
(5.16)
dW = P (x)W . dx Esta equao tambm pode ser escrita na forma dW = P (x) dx . W Integrando ambos os lados da equao acima, encontramos ln W = P (x) dx + C ,
(5.17)
(5.18)
(5.19)
78
W (x) = W0 e
onde W0 = eC . Derivando o quociente y2 /y1 , vem que
P (x) dx
(5.20)
d dx
y2 y1
= =
y1 y2 y1 y2 2 y1 W 2 . y1
(5.21)
y2 (x) = y1 (x)
(5.22)
onde, sem perda de generalidade, tomamos W0 = 1. Alm disso, todas as constantes de integrao foram ignoradas. Levar em conta estas constantes, apenas muda os valores das constantes C1 e C2 da soluo geral da EDH. Portanto, nada de novo acrescentado soluo geral.
(5.23)
Veremos agora como determinar u(x). Conhecendo-se um par de solues da EDH, possvel determinarmos uma soluo particular da EDNH. Para isto, usamos o mtodo de variao das constantes. A idia escrever a soluo particular da EDNH na mesma forma que a soluo geral da EDH, substituindo-se as constantes arbitrrias C1 e C2 por duas funes v1 (x) e v2 (x). Temos
(5.24)
u = v1 y1 + v1 y1 + v2 y2 + v2 y2 .
(5.25)
Agora, note que as funes v1 e v2 no so nicas, pois existe uma funo arbitrria g tal que
79
y1 y2
y2 .
(5.26)
v1 y1 + v2 y2 = 0 .
Substituindo esta equao em (5.25), obtemos
(5.27)
u = v1 y1 + v2 y2 .
Derivando-se novamente, vem que
(5.28)
u = v1 y1 + v2 y2 + v1 y1 + v2 y2 .
Substituindo (5.24), (5.28), e (5.29) em (5.5), vem que
(5.29)
v1 y1 + v2 y2 + v1 y1 + v2 y2 +P (x)(v1 y1 + v2 y2 ) + Q(x)(v1 y1 + v2 y2 ) = R ,
ou ainda
(5.30)
(5.31)
Os termos entre colchetes se anulam pois y1 e y2 so solues da EDH. Assim, juntamente com (5.27) obtemos uma segunda equao para as derivadas de v1 e v2 . Temos
v1 y1 + v2 y2 = R .
(5.32)
As equaes (5.27) e (5.32) podem ser facilmente resolvidas para as derivadas. Obtemos
v1 v2
= =
Ry2 , W Ry1 . W
(5.33) (5.34)
80
v1 (x) v2 (x)
= =
(5.35)
As constantes de integrao podem ser tomadas todas nulas, sem perda de generalidade, conforme justicado anteriormente. Exemplo 5.1 Considere a seguinte EDNH
d2 y(x) 2 y(x) = ex , (5.36) dx2 onde uma constante no nula. Determinar a segunda soluo. Soluo: Por substituio direta na EDH, podemos vericar que y1 (x) = ex soluo. Comparando esta equao com (5.5), encontramos P (x) = 0 e Q(x) = 2 . Conseqentemente, usando (5.22), temos que y2 (x) = ex
ou ainda
e2x dx =
1 2x e . 2
(5.37)
y2 (x) = ex ,
(5.38)
onde a constante multiplicativa foi ignorada. Como j mencionamos anteriormente, esta constante no acrescenta nada de novo soluo. Usando-se (5.13), obtemos W (x) = 2. De posse do par de solues da EDH e do Wronskiano, podemos determinar a soluo particular da EDNH. De (5.35), temos que
v1 (x) = v2 (x) =
x ex ex dx = , 2 2 ex ex 1 dx = 2 e2x . 2 2
(5.39) (5.40)
u(x) =
1 2
1 2
ex .
(5.41)
81
dy d2 y + B(x) + C(x)y = 0 , (5.42) dx2 dx onde A(x), B(x), e C(x) so polinmios em x. Denominamos x = a um ponto ordinrio da EDH se A(a) = 0, e ser um ponto singular em caso contrrio. Se x = 0 um ponto ordinrio, ento a EDH pode ser resolvida em srie nas vizinhanas de x = 0 como A(x)
y(x)
=
j=0
cj xj
(5.43)
= C1 {srie} + C2 {srie} ,
onde C1 e C2 so duas constantes arbitrrias. As duas sries so linearmente independentes e ambas convergem nas vizinhanas de x = 0. Um ponto x = a dito singular regular se a EDH pode ser escrita na forma
(5.44)
onde R1 (x) e R2 (x) admitem expanso em srie de Taylor nas vizinhanas de x = a. Em caso contrrio, x = a chamado de um ponto singular irregular. Uma forma alternativa de vericar se um ponto singular x = a regular ou irregular testar os limites
xa xa
Se estes limites existirem, dizemos que x = a um ponto singular regular e, em caso contrario, irregular. Se x = a um ponto singular irregular, a EDH no possui uma soluo em forma de srie nas vizinhanas deste ponto. Se x = a um ponto singular regular e, R1 (x) e R2 (x) puderem ser desenvolvidas em srie de Taylor nas vizinhanas deste ponto, ento a EDH admite uma soluo em forma de srie
82
y(x) =
j=0
cj xj+s ,
(5.46)
onde c0 = 0, s e todos os demais coecientes da srie so constantes a determinar de tal modo a satisfazer a EDH. Este procedimento para resolver as equaes diferenciais lineares de segunda ordem conhecido como mtodo de Frobenius.1 Exemplo 5.2 Resolver a EDH
(1 + x2 )y + xy y = 0 ,
(5.47)
usando o mtodo de Frobenius. Soluo: Temos A(x) = 1 + x2 . Esta funo no possui nenhuma raiz real, e portanto no tem ponto singular. Uma vez que A(0) = 0, ento x = 0 um ponto ordinrio da EDH. Com efeito, a soluo da EDH admite uma soluo em forma de srie como em (5.43). Temos
y(x) =
j=0
cj xj , cj jxj1 ,
j=0
y (x) = y (x) =
j=0
cj j(j 1)xj2 .
(5.48)
(1 + x )
j=0
cj j(j 1)x
j2
+x
j=0
cj jx
j1
j=0
cj xj = 0 ,
(5.49)
cj j(j 1)x
j=0
j2
+
j=0
cj j(j 1)x +
j=0
cj jx
j=0
cj xj = 0 . (5.50)
83
cj j(j 1)xj2
j=0
=
j=2
=
Substituindo em (5.50), encontramos
(5.51)
(5.52)
j1 cj , j 0 . (5.53) j+2 Esta equao conhecida como relao de recorrncia. Note que para j = 1 obtemos c3 = 0. Logo, para todo j mpar, temos cj = 0, exceto c1 . Se j for par, temos que cj+2 = 1 1 1 c0 , c4 = c2 = c0 , . . . . 2 4 8 Para j par (j = 2k ), temos que c2 = c2k = =
. . . (5.54)
= (1)k+1
k2.
(5.55)
1 y(x) = c0 1 + x2 + 2
Note que limj para todo |x| < 1.
cj+2 cj
(1)k+1
k=2
(2k 3)!! 2k x + c1 x . 2k k!
(5.56)
= limj
j1 j+2
84
usando o mtodo de Frobenius. Soluo: Neste caso A(x) = 2x2 , e x = 0 uma raiz desta funo. Logo x = 0 um ponto singular regular da EDH, pois esta pode ser escrita na forma
1 (x2 + 1) y + y=0. (5.58) 2x 2x2 Assim, a soluo da EDH admite uma soluo em forma de srie como em (5.46). Temos y
y(x) =
j=0
cj xj+s , cj (j + s)xj+s1 ,
j=0
y (x) = y (x) =
j=0
cj (j + s)(j + s 1)xj+s2 .
(5.59)
2x2
j=0
cj (j + s)(j + s 1)xj+s2 x
j=0
cj (j + s)xj+s1
+(x2 + 1)
j=0
cj xj+s = 0 ,
(5.60)
(1)cj (j + s)xj+s
+
j=0
cj xj+s+2 +
j=0
cj xj+s = 0 .
j=2
(5.61)
85
+
j=2
(5.62)
(5.63)
2s(s 1) s + 1 = 2s2 3s + 1 = 0 ,
(5.64)
cujas razes so dadas por s = 1/2 e s = 1. Substituindo estes valores na segunda das equaes (5.63), vem que s = 1/2 c1 2(1/2)2 + 1/2 = [1] c1 = 0 c1 = 0. Analogamente, temos que s = 1 c1 2(1)2 + 1 = [3] c1 = 0 c1 = 0. Se em algum destes dois casos, o termo entre colchetes fosse exatamente zero, ento c1 seria no nula. Para todo j 2, da equao (5.62), obtemos
(5.65)
cj =
1 cj2 . (j + s)(2j + 2s 3) + 1
(5.66)
cj =
1 cj2 j(2j 1)
(5.67)
86
c2 c4
1 1 c0 = c0 , 23 6 1 1 = c2 = c0 , 47 168 . . . =
(5.68)
Uma vez que c1 = 0, temos cj = 0 para j mpar. Substituindo os coecientes na srie, com s = 1/2, encontramos
y1 (x) =
j=0
cj xj+1/2 x2 x4 c0 x 1 + . 6 168
(5.69)
cj =
1 cj2 , j(2j + 1)
(5.70)
c2 c4
= =
. . .
1 1 c0 = c0 , 25 10 1 1 c2 = c0 , 49 360
(5.71)
y2 (x) =
j=0
cj xj+1 c0 x 1 x4 x2 + . 10 360
(5.72)
As duas solues y1 (x) e y2 (x) so linearmente independentes. A soluo geral da EDH uma combinao linear destas duas funes. Para ambos cj os casos, pode-se vericar facilmente que limj cj2 = 0. Portanto, as sries convergem para todo < x < .
87
y1 (x) y2 (x)
= y(x, s1 ) , y(x, s) = s
.
s=s1
(5.73)
Quando as razes s1 < s2 da equao indicial diferirem por um inteiro, a maior das duas, s2 , d uma soluo, enquanto que a menor, s1 , poder dar ou no. No caso de no dar uma soluo, ento fazemos c0 = b0 (s s1 ) e denotemos a nova funo por y (x, s). A solues linearmente independentes sero dadas por
y1 (x) y2 (x)
= y (x, s1 ) , y (x, s) = s
.
s=s1
(5.74)
Vejamos alguns exemplos ilustrativos de como o mtodo funciona. Exemplo 5.4 Resolver a EDH
xy + y y = 0 ,
(5.75)
usando o mtodo de Frobenius. Soluo: A equao diferencial tambm pode ser escrita na forma
y +
1 x y 2y = 0 . x x
(5.76)
Portanto, x = 0 um ponto singular regular da EDH. Substituindo as sries (5.59) na EDH, obtemos
88
x
j=0
cj (j + s)(j + s 1)xj+s2 +
j=0
cj (j + s)xj+s1
j=0
cj xj+s = 0 ,
(5.77)
c0 [s(s 1) + s] xs1 +
j=0
+
j=0
(1)cj xj+s = 0 ,
(5.79)
ou ainda
c0 s2 xs1 +
j=0
(5.80)
Supondo c0 = 0 obtemos a equao indicial s2 = 0, cuja raiz dupla dada por s = 0. Da equao (5.80) obtemos a relao de recorrncia
cj+1 =
1 cj . (s + j + 1)2
(5.81)
Atravs desta relao podemos gerar todos os coecientes da srie. Com s = 0, temos que
c1 c2 c3
= c0 , 1 1 = c0 = c0 , 22 (2!)2 1 1 1 = c = 2 3 c0 = c0 , 2 1 3 2 3 (3!)2
89
cn
1 c0 . (n!)2
(5.82)
1 2 1 3 x + x + . (2!)2 (3!)2
(5.83)
y2 (x)
y(x, s) s
j=0
,
s=0
j=0
= ln x
cj (0)xj +
dcj ds
xj ,
s=0
(5.84)
onde cj (0) = cj (s = 0), cujos valores so dados por (5.82). De (5.81), para s arbitrrio, encontramos os seguintes coecientes
c1 c2 c3
= = =
. . .
cn
c0 .
(5.85)
=
s=0
=
s=0
=
s=0
(5.86)
90
y2 (x)
= c0 ln x 1 + x + 2c0
+ .
(5.87)
usando o mtodo de Frobenius. Soluo: Neste caso A(x) = x2 , e x = 0 uma raiz desta funo. Logo x = 0 um ponto singular regular da EDH, pois esta pode ser escrita na forma
y +
2 (x2 2) y + y=0. x x2
(5.89)
Assim, a soluo da EDH admite uma soluo em forma de srie como em (5.46). Substituindo (5.59) na EDH, vem que
x2
j=0
cj (j + s)(j + s 1)xj+s2 + 2x
j=0
cj (j + s)xj+s1
+(x2 2)
j=0
cj xj+s = 0 ,
(5.90)
cj (j + s)(j + s 1)xj+s +
j=0 j=0
+
j=0
cj xj+s+2 +
j=0
j=2
91
+
j=2
(5.92)
= =
0, 0.
(5.93)
s(s + 1) + 2s 2 = (s + 2)(s 1) = 0 ,
(5.94)
cujas razes so dadas por s = 1 e s = 2. Neste caso as razes da equao indicial diferem por um inteiro. O valor de s = 2 pode dar ou no uma soluo. Substituindo os valores de s na segunda das equaes (5.93), vem que s = 1 c1 [2 + 4 2] = 2c1 = 0 c1 = 0. Analogamente temos s = 2 c1 [2 2 2] = 2c1 = 0 c1 = 0. Se em algum destes dois casos, o termo entre colchetes fosse exatamente zero, ento c1 seria no nula. Para todo j 2, da equao (5.92), obtemos
(5.95) (5.96)
cj =
1 cj2 . (j + s 1)(j + s + 2)
c2 c4
= =
. . .
1 1 c0 = c0 , 25 10 1 1 c2 = c0 , 47 280
(5.97)
Uma vez que c1 = 0, temos cj = 0 para j mpar. Substituindo os coecientes na srie, com s = 1, encontramos
92
y1 (x)
=
j=0
cj xj+1 c0 x 1 x2 x4 + 10 280
= =
c0 x 1 + 3
k=1
(1)k
(5.98)
c2 c4 c6
= = =
. . .
1 1 c0 = c0 , (1) 2 2 1 1 c2 = c0 , 14 8 1 1 c4 = c0 , 36 144
(5.99)
Note que neste caso pudemos gerar todos os coecientes sem diculdades. Assim, no precisamos regularizar a soluo como veremos no prximo exemplo. Substituindo os coecientes na srie, com s = 2, obtemos uma segunda soluo
y2 (x)
=
j=0
cj xj2 1 x2 x4 x6 1+ + x2 2 8 144
= c0
1 x2 = c0 2 1 + + x 2
(1)k+1
k=2
.
(5.100)
As duas solues y1 (x) e y2 (x) so linearmente independentes. A soluo geral da EDH uma combinao linear destas duas funes. Pode-se cj vericar facilmente que limj cj2 = 0. Portanto, a srie de y1 (x) converge para todo < x < . O mesmo ocorre no caso da srie de y2 (x) exceto para o caso x = 0.
93
usando o mtodo de Frobenius. Soluo: fcil ver que x = 0 um ponto singular regular. Substituindo as sries de y , y e y na EDH, encontramos
c0 [s(s 4)] xs1 + c1 [(s 3)(s + 1)] xs j+s1 =0. j=0 [(j + s 4)(j + s)cj + cj2 ] x
(5.102)
As razes da equao indicial so s = 0 e s = 4. Ambas as razes anulam a constante c1 e portanto acarretar a nulidade de todos os coecientes mpares. A relao de recorrncia dada por
cj =
1 cj2 . (j + s 4)(j + s)
(5.103)
Note que esta relao, para s = 4, d valores nitos para todos os coecientes. No entanto, quando s = 0, c4 . Seguindo a regra, substitumos c0 por b0 (s 0) = b0 s. Obtemos para y
y (x, s)
= b0 xs s
s 1 x2 + x4 (s 2)(s + 2) (s 2)(s + 2)(s + 4) 1 x6 (s 2)(s + 2)2 (s + 4)(s + 6) 1 + x8 . (5.104) (s 2)(s + 2)2 (s + 4)2 (s + 6)(s + 8)
O restante da soluo anlogo ao Exemplo 5.5, e portanto apenas apresentamos as duas solues linearmente independentes
y1 (x) = y (x, 0) =
c0
94
y2 (x) =
y + by + cy = 0 ,
(5.107)
onde b e c so duas constantes, a forma mais geral de uma equao diferencial linear homognea de coecientes constantes. Uma vez que, pelo menos uma das constantes no nula, vemos claramente que y , y e y so linearmente dependentes. A nica funo cuja primeira derivada que no linearmente independente de si prpria a exponencial. Desta forma, escrevemos a soluo de (5.107) como
y(x) = epx .
Substituindo em (5.107), vem que
(5.108)
(p2 + bp + c)epx = 0 p2 + bp + c = 0 ,
(5.109)
o qual conhecido como polinmio caracterstico , cujas razes podem ser: (a) reais e distintas; (b) reais e iguais; (c) complexas, sendo que uma ser o conjugado da outra. Sejam (p1 , p2 ) duas razes do polinmio caracterstico. Discutimos abaixo cada caso especco.
(5.110)
95
(5.111)
y (x) + 2 y(x) = 0 .
(5.113)
Soluo: O presente caso corresponde ao de duas razes complexas p = i . Usando = 0 e = acima, temos que
y(x) = B1 cos(x) + B2 sin(x) .
(5.114)
96
Devido grande complexidade dos clculos envolvidos nos mtodos de perturbao, e devido as suas limitaes, procuramos por solues numricas, as quais so exatas. Com o advento dos computadores digitais com processadores de alta velocidade, nas ltimas dcadas cresceu enormemente o interesse por mtodos de soluo numrica de equaes diferenciais. Os fabricantes de software tambm tem desenvolvido rotinas que implementam estes mtodos. O estudo dos mtodos numricos esto alm dos objetivos deste livro. Nesta Seo, veremos como resolver uma equao diferencial ordinria usando o programa MATLAB.3 Para isto, consideremos a seguinte EDH:
xy + y + xy = 0 .
(5.115)
Note que x = 0 um ponto singular regular. Do ponto de vista numrico, isto exige cuidado especial para se evitar overow. Usemos as seguintes denies: y1 = y , y2 = y , dy1 = y = y2 , e dy2 = y . Ento temos,
y2 + y1 . (5.116) x O cdigo a seguir implementa o clculo da funo e suas derivadas. Salve este cdigo em alguma rea de seu computador com o nome EDO.m.4 dy2 =
function dy = EDO (x,y) y1 = y(1); % funo y(x) y2 = y(2); % primeira derivada de y(x) dy1 = y2; %%% dy2 = -(y2./x+y1); % calcula a segunda % derivada de y(x) %%% dy = [dy1;dy2]; % constri o vetor dy % cujas componentes so as derivadas
Nesta mesma rea, crie um script contendo os comandos listados abaixo e o salve com o nome Bessel.m. A seguir, execute o script. Alternativamente, podemos executar os comandos um de cada vez no prompt do MATLAB, sem necessidade de criar um script.
3 Os programas Mathematica e Maple tambm podem ser boas alternativas para esta tarefa. 4 Os arquivos do MATLAB devem ter a extenso m. Os valores da funo e sua primeira derivada sero armazenados nas componentes y(1) e y(2) do vetor y, respectivamente. O texto a frente do smbolo % interpretado pelo MATLAB como comentrio. Portanto ignorado na execuo do cdigo.
97
xmin = 0.000001; xmax = 10; y10 = 1; % valor da funo em x=0 y20 = 0; % valor da derivada em x=0 [x,y] = ode45(@EDO, [xmin xmax], [y10; y20]); % o comando ode45 do MATLAB chama a funo EDO % e a resolve entre xmin e xmax n = size(y,1); % o comando size determina % o tamanho da matriz y figure; % abre um frame plot(x,y(1:n,1),'k'); % constri o grfico % de y(x) versus x xlabel('x','FontSize',14); ylabel('y(x)','FontSize',14); figure; % abre um novo frame plot(x,y(1:n,2),'k'); % constri o grfico % da derivada de y(x) versus x xlabel('x','FontSize',14); ylabel('y^{\prime}(x)','FontSize',14);
Os resultados da soluo numrica da EDH (5.115) so exibidos na Fig. 5.1.
1 0.4 0.3 0.2 0.1 0.5 0
y (x)
0 -0.5 0 1 2 3 4 5 6 7 8 9 10
y(x)
Figura 5.1:
5.9 Problemas
5.1 Considere a equao diferencial linear de segunda ordem
3 3 y + 2 y = 2x 1 . x x
98
Mostrar que y1 (x) = x soluo da EDH associada. Faa isto substituindo y1 e suas respectivas derivadas na EDH. Determine a segunda soluo da EDH y2 (x). A partir desta soluo determinar a soluo particular da EDNH. 5.2 Repita o exerccio anterior para as seguintes equaes diferenciais:
(a) xy (2x + 1)y + (x + 1)y = (x2 + x 1)e2x , (b) (x + 3)y (2x + 7)y + 2y = (x + 3)2 ex , (c) (x sin x + cos x)y x(cos x)y + (cos x)y = x ,
sendo que para o caso (a) y1 (x) = ex ; para o caso (b) y1 (x) = 2x + 7; e para o caso (c) y1 (x) = x. 5.3 Resolver as seguintes equaes diferenciais usando o mtodo de Frobenius:
j1 (x) =
sin x cos x , x2 x
que conhecida com funo esfrica de Bessel5 de primeira ordem. Analogamente, se c0 = 1, mostre que y2 (x) torna-se
n1 (x) =
cos x sin x , x2 x
que conhecida como funo esfrica de Neumann de primeira ordem. 5.5 Resolver as seguintes equaes diferenciais usando o mtodo de Frobenius:
99
Mostre que x = 0 um ponto ordinrio da EDH. Assim podemos supor que a soluo da EDH tem a forma
y(x) =
j=0
cj xj .
Mostrar que a soluo ser dada por y(x) = c0 y1 (x) + c1 y2 (x) = F1 (x) + F2 (x), onde n(n + 1) 2 n(n 2)(n + 1)(n + 3) 4 x + x 2! 4! (n 1)(n + 2) 3 (n 1)(n 3)(n + 2)(n + 4) 5 y2 (x) = x x + x 3! 5! Ambas as sries convergem para todo |x| < 1, qualquer que seja n. y1 (x) = 1 Supor n inteiro e positivo. Ento as solues sero polinomiais. Encontrar c0 e c1 tal que F1 (1) = F2 (1) = 1. Nestas condies, mostrar que as solues sero dadas por P0 (x) P1 (x) P2 (x) P3 (x) = 1, = x, 1 = (3x2 1) , 2 1 = (5x3 3x) , 2 . . .
6 Adrien-Marie Legendre (1752 - 1833). Matemtico francs com importantes contribuies para a estatstica, teoria dos nmeros, lgebra abstrata e anlise matemtica.
100
Estas funes so conhecidas como polinmios de Legendre (ver Problema 2.3). Note que os polinmios de Legendre podem ser representados na forma geral
1 Pl (x) = l 2
l [2]
(1)j
j=0
Pl (x) =
1 dl 2 (x 1)l . 2l l! dxl
x2 y + xy + (x2 n2 )y = 0 .
Resolver esta equao usando o mtodo de Frobenius. Siga as seguintes etapas:
Mostrar que x = 0 um ponto singular regular da EDH. Desta forma, a soluo da EDH pode ser escrita como
y(x) =
j=0
cj xj+s .
Mostrar que a equao indicial tem duas razes dadas por s = n. Considere o caso s = n. Mostrar que neste caso a relao de recorrncia dada por cj = 1 cj2 . j(j + 2n)
101
y1 (x) =
xn 1
Multiplicando e dividindo a equao acima por 2n n!, mostrar que y1 (x) = 2n n!Jn (x), onde
Jn (x) =
j=0
(1)j
1 j!(j + n)!
x 2
2j+n
a funo de Bessel de ordem n. Note que y2 (x) pode ser obtida a partir de y1 (x) substituindo-se n por n. Se n for um inteiro positivo y2 (x) tem signicado? E se n for um inteiro negativo y1 (x) tem signicado? 5.8 Resolver a equao diferencial linear homognea
y 3y + 2y = 0 .
Captulo 6
Variveis Complexas
6.1 Introduo
O surgimento dos nmeros complexos tem origem na diculdade em determinar razes reais de determinadas equaes polinomiais. A mais simples delas x2 + 1 = 0. Matemticos do sculo XVI , tais como Cardano e Bombelli, deram os primeiros passos para encontrar uma soluo para esse problema. Eles perceberam que era necessrio introduzir um nmero, o qual chamamos de unidade imaginria e denido por i = 1.
103
z1 z2 = (a c) + i(b d) .
(6.1)
Multiplicao
Sejam dois nmeros complexos z1 = a + ib e z2 = c + id. Usando-se a propriedade distributiva, e que i2 = 1, podemos escrever
(6.2)
Diviso
A diviso entre nmeros complexos pode ser obtida usando-se as propriedades acima. Temos
z1 z2
= = =
a + ib c + id a + ib c id c + id c id ac + bd bc ad +i 2 . c2 + d2 c + d2
(6.3)
Denimos o mdulo de um nmero complexo z = a + ib, e o denotamos por |z|, como |z| = a2 + b2 . Note que z z = |z|2
x = r cos ,
y = r sin ,
(6.4)
104
(x, y) r x
z = x + iy = r(cos + i sin ) .
(6.5)
Esta conhecida como forma polar (ou trigonomtrica ) de um nmero complexo, onde (r, ) so as coordenadas polares. Usando o resultado do Problema 2.2, podemos escrever
z = rei ,
(6.6)
conhecida como frmula de Euler. Seja z1 = x1 + iy1 = r1 (cos 1 + i sin 1 ) e z2 = x2 + iy2 = r2 (cos 2 + i sin 2 ). Usando-se a frmula de Euler, podemos facilmente mostrar as seguintes frmulas
z1 z2 z1 z2 zn z 1/n
r1 r2 [cos(1 + 2 ) + i sin(1 + 2 )] , r1 = [cos(1 2 ) + i sin(1 2 )] , r2 n = [r(cos + i sin )] = rn [cos(n) + i sin(n)] , = [r(cos + i sin )] + 2k = r1/n cos + i sin n k = 0, 1, 2, . . . , n 1 .
1/n
+ 2k n
,
(6.7)
A ltima destas equaes conhecida como frmula de Moivre. Deixa-se como exerccio para o leitor a demonstrao dessas frmulas. Note que o valor de z 1/n no unvoco, isto , pode assumir mltiplos valores para cada valor de z . Fica claro pela representao grca de um nmero complexo que este pode ser identicado com um vetor no plano xy . Portanto, vale a desigualdade triangular
105
(6.8)
|z1 + z2 |2
= (z1 + z2 )(1 + z2 ) z 2 2 = |z1 | + |z2 | + 2Re(z1 z2 ) = |z1 |2 + |z2 |2 + 2|z1 ||z2 | cos(1 2 ) |z1 |2 + |z2 |2 + 2|z1 ||z2 | = (|z|1 + |z|2 )2 .
(6.9)
df (z) f (z + z) f (z) f (z) = lim = lim . (6.10) z0 z0 dz z z Se o limite existe e independente do caminho usado para se aproximar do ponto z , ento dizemos que f (z) analtica em z . Considere os dois caminhos simples da Fig. 6.2. Aproximando-se do ponto z0 pelo caminho horizontal, y = 0 e z = x. Temos lim f (z) z = = = u + iv x0 x u v lim + i lim x0 x x0 x u v +i . x x lim
z0
(6.11)
106
y x 0 y 0 z0 x 0 y 0 x
Figura 6.2: Dois caminhos independentes aproximando-se do ponto z0 . Analogamente, aproximando-se de z pelo caminho vertical, obtemos
z0
lim
f (z) z
= = =
(6.12)
A condio para que f (z) seja analtica em z a de que os dois limites sejam idnticos. Temos
u v = , x y
v u = . x y
(6.13)
Estas so conhecidas como equaes de Cauchy-Riemann. Elas so condies necessrias para que f (z) seja analtica em um determinado domnio D do plano complexo. Exemplo 6.1 Mostrar que f (z) = z 2 analtica em todo plano complexo xy . Soluo: As partes real e imaginria so dadas por u(x, y) = x2 y 2 e v(x, y) = 2xy . Temos para as derivadas parciais,
v u = 2x = x y v u = 2y = . x y
(6.14)
107
Com efeito, f (z) = z 2 analtica em todo plano complexo, pois no existem valores de x e/ou de y que restringem a validade das condies de Cauchy-Riemann. Exemplo 6.2 Mostrar que f (z) = z no analtica em qualquer subdomnio do plano complexo xy . Soluo: Neste caso, u(x, y) = x e v(x, y) = y . Temos
u v =1= = 1 x y u v =0= , x y
(6.15)
para todo (x, y). Logo f (z) = z no analtica em qualquer ponto do plano xy . Este um caso tpico de uma funo que contnua mas no necessariamente analtica. Exemplo 6.3 Mostrar que se f (z) = u(x, y) + iv(x, y) uma funo analtica, ento u e v satisfazem a equao de Laplace. Soluo: Derivando ambos os membros da primeira das equaes de Cauchy-Riemann (6.13) com relao a x e a segunda com relao a y , obtemos
2u 2v = , x2 xy
Ento, somando-se
2v 2u = 2 . yx y
(6.16)
2u 2u + 2 =0. x2 y
De maneira anloga podemos demonstrar que
2
(6.17)
v = 0.
108
f (z) dz
C
= =
Teorema 6.1 (Teorema Integral de Cauchy, domnio simplesmente conexo) Seja f (z) uma funo analtica num domnio D limitado por um contorno fechado C , inclusive. Ento
f (z) dz = 0.
C
(6.19)
Demonstrao: A demonstrao do teorema pode ser feita via teorema de Stokes visto no Captulo 3. Conforme visto acima
f (z) dz =
C C
(udx vdy) + i
C
(vdx + udy) .
(6.20)
Mostraremos separadamente que as duas integrais acima anulam-se identicamente. Seja o vetor bidimensional V = Vx i+Vy j. Pelo teorema de Stokes (3.78), temos que
V dr =
C D
V n dS Vy Vx x y dS .
(6.21)
(Vx dx + Vy dy)
C
=
D
Demonstremos o teorema em duas etapas. Primeiro empregamos a igualdade acima tomando-se Vx = u e Vy = v . Obtemos
(udx vdy) =
C D
v u + x y
=0,
(6.22)
onde na ltima passagem usamos a segunda das equaes de Cauchy-Riemann (6.13). Segundo, usamos o teorema de Stokes com Vx = v e Vy = u,
(vdx + udy) =
C D
u u x y
=0,
(6.23)
109
onde agora usamos a segunda das equaes de Cauchy-Riemann (6.13). Isto naliza a demonstrao do teorema. Seja f (z) uma funo analtica num domnio D. Este chamado de simplesmente conexo se e somente se f (z) analtica em qualquer subdomnio de D. Do contrrio, D chamado de multiplamente conexo (ver Fig. 6.3). O teorema integral de Cauchy s valido para domnios simplesmente conexos. Veremos agora a verso deste teorema para domnios multiplamente conexos.
y C D
x (a) (b)
Figura 6.3: (a) Domnio simplesmente conexo; (b) domnio multiplamente conexo. As partes hachuradas da gura representam as regies onde a funo analtica e em branco onde no analtica.
f (z) dz .
(6.24)
Demonstrao: Consideremos os caminhos C1 e C2 como ilustrado na Fig. 6.4. Pelo teorema integral de Cauchy para domnios simplesmente conexos, podemos escrever
f (z) dz = 0 .
AP QA B T SRBA
(6.25)
110
y T Q C1 C2 P S R A B A B
x
Figura 6.4:
f (z) dz
AP QA B T SRBA
=
AP QA
f (z) dz +
AB
f (z) dz f (z) dz .
BA
+
B T SRB
f (z) dz +
(6.26) Suponhamos que os caminhos A B e AB so paralelos e de mesmo comprimento. Isto no uma limitao na validade do teorema, pois se a distncia entre os dois segmentos se aproxima de zero, nossa aproximao se torna exata. Usando propriedade de integrais de linha, temos que
f (z) dz =
AB BA
f (z) dz .
(6.27)
Ento,
f (z) dz
AP QA B T SRBA
=
AP QA
f (z) dz +
B T SRB
f (z) dz f (z) dz
=
C2
f (z) dz +
C1
111
=
de onde se obtm
0,
(6.28)
f (z) dz =
C1 C2
f (z) dz .
(6.29)
f (n) (z0 ) =
lembrando que
n! 2i
f (z) dz , (z z0 )n+1
(6.30)
f (n) (z0 ) =
dn f (z) dz n
,
z=z0
(6.31)
com z0 no interior de D. Note que f (z) analtica em D, mas f (z)/(z z0 )n+1 no . Provaremos essa frmula para o caso n = 0. Temos
f (z0 ) =
1 2i
f (z) dz . (z z0 )
(6.32)
Seguindo os caminhos da Fig. 6.5, e usando o teorema integral de Cauchy, podemos escrever
f (z) dz = (z z0 )
f (z) dz . (z z0 )
(6.33)
A equao do crculo centrado em z0 dada por z z0 = ri . Diferenciando, com r xo, dz = irei d. Portanto,
f (z) dz (z z0 )
=
C
= i
(6.34)
112
C C z0
x
Figura 6.5:
f (z) dz (z z0 )
= =
if (z0 )
C
d
(6.35)
2if (z0 ) .
f (z0 + z) f (z0 ) . (6.36) z Usando recursivamente o resultado do teorema para o caso n = 0, temos que f (z0 ) = lim
z0
f (z0 + z) f (z0 )
= =
1 2i 1 2i
f (w) dw (w z0 z) f (w) dw . (w z0 )
(6.37)
f (z0 + z0 ) f (z0 ) z
1 1 2i z
1 1 w z0 z w z0
f (w) dw
113
1 2i
f (w) dw . (w z0 z)(w z0 )
(6.38)
Levando ao limite de z 0,
f (z0 ) =
1 2i
f (w) dw , (w z0 )2
(6.39)
que equivalente a (6.30) para n = 1. A demonstrao pode ser feita para n arbitrrio usando o mtodo de induo nita: admitimos que o teorema vale para n e ento provamos que vale para n + 1. Isto deixado para o leitor. Exemplo 6.4 Mostrar que
1 2i
1 dz = (z z0 )n
1, n=1 0, n=1
(6.40)
onde C um contorno fechado incluindo o ponto z0 . Soluo: Reescrevemos a frmula integral de Cauchy (6.30) com n trocado por n 1,
f (n1) (z0 ) =
(n 1)! 2i
f (z) dz . (z z0 )n
(6.41)
Tomando o caso particular f (z) = 1, a integral acima ser no nula se e somente se n = 1, do contrrio todas as derivadas se anulam, pois f (z) uma funo constante.
f (z) =
1 2i
f (z ) dz . (z z)
(6.42)
1 1 1 = = z z z z0 (z z0 ) (z z0 ) 1
e usamos a expanso binomial para escrever
zz0 z z0
(6.43)
114
y C
z z0 z
x
Figura 6.6:
1 1
zz0 z z0
=
n=0
z z0 z z0
(6.44)
1 (z z0 )n = . z z n=0 (z z0 )n+1
Inserindo dentro da frmula integral de Cauchy,
(6.45)
f (z) =
1 2i
C n=0
f (z ) (z z0 )n dz . (z z0 )n+1
(6.46)
f (z)
=
n=0
1 2i
f (z ) (z z0 )n dz (z z0 )n+1
(6.47)
=
n=0
f (n) (z0 ) (z z0 )n , n!
115
onde na passagem da primeira para a segunda linha usamos a frmula integral de Cauchy. Essa a srie de Taylor para funes complexas.
f (z) =
(z) , (z z0 )n
(6.48)
onde (z) analtica em qualquer ponto do domnio D, incluindo o ponto z0 . Ento f (z) tem um ponto singular isolado em D, z = z0 . Denominamos este ponto de plo de ordem n. Se n = 1, denominamos a singularidade de plo simples, e se n = 2 de plo duplo.
f (z) =
j=0
aj (z z0 )j +
j=1
aj (z z0 )j ,
(6.49)
f (z) =
j=
aj (z z0 )j .
(6.50)
Considere uma funo f (z) com um ponto singular isolado z0 , isto , pode ser escrita como em (6.48). Uma vez que (z) analtica em D, podemos escrever
(z) =
j=0
aj (z z0 )j ,
(6.51)
116
a0 a1 an1 + + + + an + an+1 (z z0 ) + . (z z0 )n (z z0 )n1 z z0 (6.52) Renomeando os coecientes, {a0 an , a1 an+1 , . . .,an1 a1 , an a0 , an+1 a1 , . . .}, encontramos f (z) = f (z) = =
j=n
an an+1 a1 + a0 + a1 (z z0 ) + + + + n n1 (z z0 ) (z z0 ) z z0
aj (z z0 )j .
(6.53)
Tomando-se o limite n , obtemos a srie de Laurent. Assim, uma funo que possui um ponto singular isolado, admite uma expanso em srie de Laurent em torno deste ponto. Se a srie de Laurent em torno de z0 tem innitos termos, chamamos z0 de singularidade essencial. Exemplo 6.5 Expandir a funo f (z) = 1/(z z0 ) em uma srie de Taylor. Soluo: Para |z| < |z0 |, temos
1 = z z0 z
e para |z0 | < |z|,
1 1
z z0
zj
j+1 z0
(6.54)
1 1 = z z0 z 1
z0 z
j z0
z j+1
(6.55)
Exemplo 6.6 Expandir a funo f (z) = 1/z(z 1) em uma srie de Laurent em torno de z = 0. Soluo:
1 z(z 1)
= =
1 1 = 1 + z + z2 + z3 z(1 z) z 1 1 z z2 . z
(6.56)
117
Exemplo 6.7 Expandir a funo f (z) = z/(z + 1)(z + 2) em uma srie de Laurent em torno de z = 1 e z = 2. Soluo: Para expandir em torno de z = 1 faamos a mudana de varivel w = z + 1,
z (z + 1)(z + 2) = = = w1 w1 = 1 w + w2 w3 + w(w + 1) w 1 + 2 2w + 2w2 2w3 + w 1 + 2 2(z + 1) + 2(z + 1)2 2(z + 1)3 + . z+1 (6.57)
f (z) =
(z z0 )n f (z) =
118
(n 1)!a1 + +
n! a0 (z z0 ) 1!
(6.61)
(n + 1)! a0 (z z0 )2 + , 2!
a1 = lim
zz0
(6.62)
Este coeciente da expanso de Laurent conhecido como resduo de f (z) no plo de ordem n, z = z0 .
Teorema 6.3 (Teorema dos Resduos) Considere uma funo analtica f (z) em um domnio D limitado por um contorno fechado C , exceto em um determinado nmero de pontos singulares isolados zk , k = 1, 2, . . . , N . Ento
N
f (z) dz = 2i
C k=1
Res(f, zk ) ,
(6.63)
Demonstrao: Faamos a demonstrao do teorema para o caso de um nico ponto singular isolado. Integrando a expanso de Laurent (6.53) no contorno fechado C , vem que
f (z) dz
C
= an
(z
f (z) dz = 2ia1 .
C
(6.65)
119
f (z) dz
C
= =
2i(a1 + b1 + c1 + )
N
2i
k=1
Res(f, zk ) .
(6.66)
z2 dz , (z 2)(z 2 + 1)
(6.67)
onde C dado pelo crculo |z| = 3. Soluo: As razes do denominador do integrando so dadas por z = 2 e z = i. Fatorando, encontramos
1 1 1 = = z2 + 1 (z + i)(z i) 2i
1 1 zi z+i
(6.68)
a1 b1 c1
= = =
(6.69)
z2 dz = 2i (z 2)(z 2 + 1)
4 1 2i 1 + 2i + + 5 10 10
= 2i .
(6.70)
1 dz , z(z + 2)3
(6.71)
onde C dado pelo crculo |z| = 1. Soluo: O plo z = 0 simples e z = 2 de ordem trs. Tomamos somente o resduo de z = 0, pois somente este plo est no interior do domnio em considerao. Temos
120
a1 = lim z
z0
1 1 = . z(z + 2)3 8
(6.72)
Ento,
1 1 i dz = 2i = . z(z + 2)3 8 4
(6.73)
1 dz , (z 1)(z + 3)2
(6.74)
onde C dado pelo crculo |z| = 10. Soluo: O plo z = 1 simples e z = 3 duplo. Os dois esto no interior do domnio. Temos
a1 = lim (z 1)
z1
1 1 = , (z 1)(z + 3)2 16
(6.75)
b1
lim
(6.76)
1 dz = 2i (z 1)(z + 3)2
1 1 16 16
=0.
(6.77)
R(cos , sin ) d ,
0
(6.78)
121
onde R uma funo racional de seus argumentos e nita no intervalo 0 2 . O nosso objetivo transformar a integral em uma integral complexa tal que possamos aplicar o teorema dos resduos. O crculo de raio unitrio dado por z = ei . Lembrando que
cos sin
= =
ei + ei 1 = 2 2 ei ei 1 = 2i 2i
z+
1 z 1 z
, .
(6.79) Juntando todos os
dz iz .
R(cos , sin ) d =
0 C
1 R iz
1 1 z+z zz , 2 2i
dz ,
(6.80)
onde C o crculo de raio unitrio centrado na origem, e portanto a integral pode ser calculada como segue
2 N
R(cos , sin ) d = 2
0 k=1
Res(f, zk ) ,
(6.81)
f (z) =
1 R z
1 1 z+z zz , 2 2i
(6.82)
1 d , 1 2p cos + p2
(6.83)
onde p real e p = 1. Soluo: A restrio em p garante que o denominador do integrando sempre no nulo, logo podemos ir adiante. A funo racional dada por (6.82)
f (z) =
1 z 1 2p
1
1 z+ z 2
p2
1 , pz 2 (1 + p2 )z + p
(6.84)
122
1 pz 2 (1 + p2 )z + p = p(z p)(z ) . p
(6.85)
Se 0 p < 1, somente z = p est no interior do domnio em questo; se p > 1, ento somente z = 1/p est dentro do domnio. No primeiro caso, temos que
Res(f, p)
= =
zp
lim (z p) 1 , 1 p2
1 p
1 1 (z p)(z p )
(6.86)
e no segundo,
1 Res(f, ) = p
1 1 lim (z ) p p z1/p 1 . 1 p2
1 1 (z p)(z p )
(6.87)
Em qualquer dos casos podemos escrever o resultado de forma compacta como 1/|1 p2 |, e para a integral temos que
2 0
1 2 d = . 2 1 2p cos + p |1 p2 |
(6.88)
f (x) dx = lim
0
f (x) dx .
0
(6.89)
No uso do teorema dos resduos, em geral mais conveniente considerar a integral imprpria no intervalo simtrico com relao a origem,
R
f (x) dx = lim
f (x) dx ,
R
(6.90)
123
1 dx , x2 + a2
(6.91)
onde a real e a = 0. Soluo: Como uma tentativa consideremos a integral complexa equivalente substituindo a varivel real x pela varivel complexa z ,
1 dz , z 2 + a2
(6.92)
onde C o semicrculo da Fig. 6.7. Os plos do integrando so z = ia; fatorando, z 2 + a2 = (z ia)(z + ia), logo os plos so simples. Somente z = ia est dentro do semicrculo, e pelo teorema dos resduos, obtemos
(6.93)
+ia R ia
CR +R x
Figura 6.7: Por outro lado, a integral complexa pode ser separada em duas outras integrais,
1 dz = 2 + a2 z
R R
x2
1 dx + + a2
CR
z2
1 dz , + a2
(6.94)
124
de onde se obtm
R R
1 dx + IR = , x2 + a2 a
(6.95)
onde
1 dz . (6.96) + a2 CR Agora, provaremos que IR 0, quando R . Usando a propriedade de integrais complexas, podemos escrever IR = z2 f (z) dz
|f (z)||dz| M |dz| = M L
(6.97) onde M = max|f (z)| o mximo valor de |f (z)| e L o comprimento do caminho . Pela desigualdade triangular (6.8), obtemos
|z 2 + a2 | |z 2 | a2 = R2 a2 ,
e portanto
(6.98)
1 1 2 . 2| +a R a2 Combinando os resultados, conclumos que |z 2 R . R2 a2 Tomando o limite de raio innito, vem que |IR |
R
(6.99)
(6.100)
R2
R =0. a2
(6.101)
Finalmente obtemos
1 dx = , x2 + a2 a 1 dx = . x2 + a2 2a
(6.102)
ou ainda
0
(6.103)
125
f (x)
cos(ax) sin(ax)
dx .
(6.104)
A estratgia de clculo destas integrais substituir a varivel real x pela complexa z em f (x), mas no nas funes trigonomtricas, pois o seno e o cosseno de uma varivel complexa no so funes limitadas. Do contrrio a integral ir divergir. Alternativamente, podemos considerar a integral complexa
f (z)eiaz dz ,
C
(6.105)
cos(bx) dx . x2 + a2
(6.106)
eibz dz . z 2 + a2
(6.107)
z2
(6.108)
Agora,
eibz dz = 2 + a2 z
R R
x2
eibx dx + IR , + a2
(6.109)
onde
IR =
CR
z2
eibz dz . + a2
(6.110)
126
x2
eibx dx = eab . + a2 a
(6.111)
cos(bx) dx + i x2 + a2
sin(bx) dx = eab . 2 + a2 x a
(6.112)
A segunda integral do membro esquerdo anula-se, pois o integrando mpar, de onde se obtm
cos(bx) dx = eab . 2 + a2 x a
(6.113)
cos(bx) ab dx = e . x2 + a2 2a
(6.114)
sin dx . x
(6.115)
Soluo: Note que x = 0 um ponto singular isolado. No entanto, a singularidade removvel, pois no limite x 0 o integrando nito. Ento o integrando contnuo para todo x. Seguimos a mesma idia do Exemplo 6.13 partindo da integral
C
eiz dz . z
(6.116)
No entanto, agora o caminho a ser seguido o da Fig. 6.8, pois z = 0 est no caminho de integrao, e como no podemos integrar passando pela singularidade, fazemos um desvio em z = 0 por um semicrculo de raio r.
127
R Cr R r r +r
CR +R x
Figura 6.8: O integrando no tem plos no interior do domnio, e pelo teorema integral de Cauchy para domnios simplesmente conexos, temos que
eiz dz = 0 . C R Cr r CR z (6.117) A integral real ser obtida nos limites R e r 0. Veremos na Seo 6.14 que a integral no semicrculo maior se anula. Consideremos a integral no semicrculo menor; Cr descrito por z = rei , com 0 , e dz = irei d. Temos eiz dz = z eiz dz = z
0
eix dx + x
eiz dz + z
eix dx + x
Cr
(6.118)
e levando ao limite r 0,
r0
lim
Cr
eiz dz z
= =
r0 0
lim
r0 0
lim
= i
d
(6.119)
= i .
Reunindo os resultados,
eix dx i = 0 , x
(6.120)
128
cos x dx + i x
sin x dx = i . x
(6.121)
A primeira integral se anula pois o integrando uma funo mpar; o integrando da segunda integral uma funo par, ento
0
sin x dx = . x 2
(6.122)
IR =
CR
f (z)eiaz dz ,
(6.123)
onde CR o semicrculo de raio R da Fig. 6.7. Suponhamos que |f (z)| c seja limitado por um mximo, isto , |f (z)| Rk , onde c uma constante positiva e k 1. Usando (6.97), temos que
|IR |
=
CR
CR
c iaz |e | |dz| . Rk
(6.124)
|IR |
0
=
0
cR Rk
eR sin d .
(6.125)
Para encontrar um limite superior para a integral acima, primeiramente notemos que sin = sin( ) para 0 ,
129
eR sin d = 2
0
/2
eR sin d .
(6.126)
Agora, notamos que sin 2/ para todo 0 /2 (ver Fig. 6.9). Ento
|IR | =
cR Rk
eR sin d
2cR /2 2R/ e d Rk 0 c 1 eR . Rk
2
(6.127)
1 sin
2
c 1 eR = 0 . (6.128) Rk As funes dos Exemplos 6.13 e 6.14 satisfazem as condies do lema de Jordan pois, |1/(z 2 +a2 )| c/R2 , onde c = 1/(1a2 /R2 ) para o primeiro caso, e |1/z| = 1/R para o segundo caso.
R
6.15 Problemas
6.1 Usando a primeira das relaes de Euler (1.2), mostrar que
pn cos(nx) =
n=0
1 p cos x . 1 2p cos x + p2
130
6.2 Determinar as funes analticas w(z) = u(x, y) + iv(x, y) para os casos (a) u(x, y) = x3 3xy 2 , e (b) v(x, y) = ey sin x. 6.3 Considere a funo
f (z) = z +
1 . z
Determine o domnio em que f (z) analtica. 6.4 Mostre que a funo f (z) = x2 + iy no analtica para z arbitrrio. 2+i Por conseguinte, espera-se que a integral 0 f (z) dz dependa do caminho. Ilustre isso, calculando a integral sobre trs caminhos suaves escolhidos por voc e ligando os pontos z1 = 0 e z2 = 2 + i. 6.5 Se f (z) = u(x, y) + iv(x, y) analtica no domnio D, provar que as famlias de curvas de um parmetro u(x, y) = C1 e v(x, y) = C2 so famlias ortogonais.
Sugesto: usando as condies de Cauchy-Riemann, mostrar que o produto da inclinao das famlias de curvas -1.
6.6 Usando a frmula integral de Cauchy, mostrar que
(z z0 )n dz =
C
2i , n = 1 0 , n = 1 ,
onde C um contorno fechado circundando o ponto z = z0 no sentido anti-horrio. 6.7 Usando a frmula integral de Cauchy, mostrar que
1 2i
z mn1 dz = mn .
C
onde C um contorno fechado circundando a origem no sentido antihorrio. 6.8 Usando o teorema de Cauchy, a frmula integral de Cauchy, ou suas conseqncias, calcule as seguintes integrais, todas tomadas sobre o crculo |z| = 2:
cos z z
dz , dz ,
sin z z
dz , dz , dz .
(c) (f )
ez z1 sin z z2
dz , dz ,
2z z 2 9 sin z zn
dz ,
131
6.9 Desenvolva as seguintes funes em srie de Taylor ou de Laurent vlidas nas vizinhanas dos pontos indicados. Determine as regies em que os desenvolvimentos so vlidos.
1 (z 2 +1) 1 z 2 +1
(z = 0) , (z = 1) ,
(z = 2) , (z = 0) ,
ez z(z 2 +1)
(f ) f (z) = cosh z (z = i) .
(a)
2z + 3 , z2 4
2
(b)
z3 , 3 + 5z 2 z
(c)
z 6.11 Calcular C (z+1)(z+3) dz , onde C uma curva fechada, envolvendo todos os plos.
1 2i
6.13 Usando o teorema dos resduos, calcule as seguintes integrais sobre os contornos indicados:
(a)
C
1 dz , z2 + 4
(b)
C
cosh z dz , z(z 2 + 1)
(c)
C
z1 dz , z 2 + iz + 2
132
2 d 1+ cos 0
2 1
(| | < 1) ,
12
,
2a (a2 b2 )3/2
2 d (a+b sin )2 0 2 0
(a > |b|) , .
cosn d =
135(n1) 246n 2
6.15 Escolhendo apropriadamente o caminho de integrao, use o teorema dos resduos para calcular as seguintes integrais:
+ dx x4 +a4 x2 x6 +1 0
a3 2 6
dx = =
, ,
kb be
+ dx (x2 +1)3
3 8
dx =
2e
cos ka
(k, b > 0) ,
dx =
, dx =
a2 b2 eb b
ea a
(a = b) .
Captulo 7
Sries de Fourier
7.1 Introduo
J vimos no Captulo 2 que uma funo contnua com derivadas contnuas de todas as ordens pode ter uma representao em forma de srie de Taylor em torno de um determinado ponto. Neste Captulo, veremos um outro tipo de srie conhecida como srie de Fourier. Se uma funo for peridica, esta pode ter uma representao em forma de uma srie de Fourier. A srie de Fourier1 tem vrias aplicaes. Para ilustrar sua utilidade iremos aplicala para o clculo de somas numricas. Mas a srie de Fourier tem outras utilidades tais como na soluo de problemas de valores de contorno (ver Captulo 8).
f (x) = f (x + T ) ,
(7.1)
onde T uma constante. As Figs. 7.1 e 7.2 so exemplos de funes peridicas. No caso da funo de onda quadrada temos que
1 Jean Baptiste Joseph Fourier (1768 - 1830) nasceu em Auxerre, Frana. rfo aos 8 anos, Fourier foi colocado no Colgio Militar, dirigido pelos beneditinos. Ao estudar a conduo de calor foi levado a criar um novo tipo de desenvolvimento em srie, diferente da srie de Taylor, empregando funes peridicas em vez de potncias, e que recebeu seu nome.
134
f (x) =
(7.2)
f (x) = |x| , 2 x 2 ,
onde T = 4.
(7.3)
f (x) +1 +1 1 +2 +3 x
+2
+4
+6 x
m (x)n (x) dx = mn ,
a
(7.4)
135
onde as funes so consideradas normalizadas. O conjunto de funes que segue esta propriedade chamado de linearmente independente. Assim, qualquer funo f (x) no intervalo a x b pode ser escrito como uma combinao linear das 's. Temos
+
f (x) =
m=
cm m (x) ,
(7.5)
Esta conhecida como srie de Fourier generalizada. Os coecientes podem ser obtidos multiplicando-se ambos os lados da equao (7.5) por n (x) e integrar o resultado no intervalo a x b. Obtemos
b
cm =
a
f (x)m (x) dx .
(7.6)
Exemplo
m (x) = nal.
1 L
7.1
m L x
cos
cos
L
m n x cos x dx . L L
(7.7)
1 [cos(A B) + cos(A + B)] , 2 com A e B escolhidos convenientemente, encontramos cos A cos B = 1 2L 1 2L + (m n) (m + n) x + cos x L L L L (m n) sin x (m n) L cos
L L
(7.8)
Imn
= =
dx
L (m + n) sin x (m + n) L
.
L
(7.9)
Imm
1 2L
1 + cos
L
2m x L
dx
136
1 2L
x+
L (m + n) sin x 2m L
= 1.
(7.10)
Ento Imn = mn . Podemos mostrar de forma anloga que o conjunto de 1 funes m (x) = L sin m x , m = 1, 2, . . . , com L x L, tamL bm ortogonal.
(7.11)
Os coecientes da srie podem ser obtidos multiplicando-se ambos os 1 1 lados da equao (7.11) por L cos m x ou L sin m x , conforme conveL L niente, e integrando o resultado de L a L. Em seguida, usamos a ortogonalidade destas funes conforme visto no Exemplo 7.1. Obtemos
am bm
= =
1 L 1 L
f (x) cos
L L
m x dx , L m x dx , L
m = 0, 1, 2, 3, . . . , m = 1, 2, 3, . . . .
(7.12)
f (x) sin
L
A srie (7.11) um caso particular da srie de Fourier generalizada (7.5). Embora importante, deixaremos de lado os aspectos de convergncia da srie de Fourier.
137
1 L
L L
f 2 (x) dx
a0 1 2 L
f (x) dx
L
a0 L
+
m=1
am
1 L
f (x) cos
L am
m x dx L
+bm
1 L
f (x) sin
L bm
m x dx L
(7.13)
=
A equao
a2 0 2
+
m=1
(a2 + b2 ) . m m
1 L
L L
f 2 (x) dx =
a2 0 + (a2 + b2 ) , m m 2 m=1
(7.14)
f (x) dx =
L L
f (x) dx +
0 0
f (x) dx
L
= =
L L
f (x) dx +
0 L
f (x) dx f (x) dx
f (x) dx +
0 0
138
2
0
f (x) dx .
(7.15)
Por outro lado, se f (x) uma funo mpar, isto , f (x) = f (x), ento
L 0 L
f (x) dx
L
=
L 0
f (x) dx +
0
f (x) dx
L
=
L
f (x) dx +
0 L L
f (x) dx f (x) dx
0
= =
f (x) dx +
0.
(7.16)
m L x
Se f (x) uma funo par, ento f (x) cos m x par e f (x) sin L mpar. Logo, de (7.12) e (7.11), conclumos que
am bm f (x)
1 L = 0, = =
f (x) cos
L
m x dx , L
m = 0, 1, 2, 3, . . . , (7.17)
(7.18)
a0 m + x am cos 2 L m=1
(7.19)
Se f (x) uma funo mpar, ento f (x) cos m x mpar e L f (x) sin m x par. Logo, de (7.12) e (7.11), conclumos que L
am bm
= =
0, 1 L
L
(7.20)
f (x) sin
L
m x dx , L .
m = 1, 2, 3, . . . ,
(7.21) (7.22)
f (x) =
m=1
bm sin
m x L
x .
nulos. Temos
139
am
(7.23)
para todo m = 0. Se m = 0,
a0 =
x2 dx =
2 2 . 3
(7.24)
x2 =
2 +4 3
m=1
(1)m cos(mx) , m2
(7.25)
para todo x . fcil mostrar que, tomando-se x = na equao acima, obtemos o valor da soma numrica
m=1
2 1 = . m2 6
(7.26)
Fig. 7.2.
am
=
0
x cos x
mx 2
dx
2 0
= =
(7.27)
a0 =
0
x dx = 2 .
(7.28)
140
|x|
= 1+ = 1
4 2 8 2
m=1 m=0
para todo 2 x 2. Exemplo 7.4 Usando a identidade de Parserval e o Exemplo 7.3, mostrar que
m=1
4 1 = . 4 m 90
(7.30)
Note que este resultado foi usado na soluo do Problema 2.10. Soluo: Pela identidade de Parserval (7.14),
1 2
2 2
x2 dx 8 3
= = =
22 16 [(1)m 1] + , 2 m4 4 m=1 2+
4
64 4
m=0
1 , (2m + 1)4
(7.31)
m=0
1 (2m + 1)4
. 96
S=
m=1
1 . m4
(7.32)
Temos
=
m=0
= =
4 1 + 4 96 2
1 m4
(7.33)
4 S + , 96 16
141
7.7 Problemas
7.1 Seja a funo
f (t) =
0 , t 0 , sin t , 0 t .
Esta a sada de uma meia-onda reticadora simples. tambm uma aproximao do efeito trmico solar que produz mars na atmosfera. Mostrar que o desenvolvimento em srie de Fourier de f (t) dado por
f (t) =
1 1 2 + sin t 2
n=2,4,6,...
cos t . n2 1
f (x) =
x , x,
x 0 , 0x.
f (x) =
4 2
n=1,3,5,...
cos nx . n2
7.3 Usando a srie de Fourier da onda triangular do Problema 7.2, mostrar que
n=1
2 1 = . (2n 1)2 8
7.4 Usando
f (x) = x4 , x ,
mostrar que
n=1
1 4 = , 4 n 90
e que
n=1
(1)n+1 7 4 = . n4 720
142
7.5 Mostre que a srie de Fourier de f (x) = | sin x| no intervalo x , dada por
| sin x| =
2 4
Usando este resultado, mostrar que o nmero pode ser calculado usando a srie
=1+2 2
22
1 1 1 2 + 2 1 4 1 6 1
n=1
(1)n cos(nx) , n2 + a 2
1 cosh(a) 1 2 , = n2 + a2 2a sinh(a) 2a
sinh
nx 2 = b
m=1
b2 m2
para todo x .
Captulo 8
u 2u = , (8.1) x2 t onde u a temperatura ao longo de uma barra metlica de comprimento 2L. Suporemos que a face lateral da barra esteja isolada, de tal modo que no haja uxo de calor ao longo da direo radial, mas sim somente ao longo da direo paralela ao eixo da barra. A constante est relacionada com a condutividade trmica, a densidade especca, e o calor especco da barra (ver Fig. 8.1). Suponhamos que a distribuio inicial de temperatura seja conhecida, 2 u(x, 0) = f (x), L x L .
(8.2)
Esta equao tambm conhecida como condio inicial. Suponhamos tambm que as extremidades da barra sejam mantidas s temperaturas xas T1 e T2 . Estas so conhecidas como condies de contorno. Sem perda de generalidade, podemos considerar as condies homo-
144
x=0 x 2L x = L x = +L
Figura 8.1: Barra metlica mantida s temperaturas T1 e T2 xas nas extremidades esquerda e direita, respectivamente. gneas T1 = T2 = 0. Como veremos mais adiante, a soluo da equao (8.1) com condies de contorno no-homogneas mapeada em cima da soluo para o caso homogneo. Assim, temos que
u(L, t) = 0, t > 0 .
(8.3)
Este problema pode ser considerado como um problema de valor de contorno no plano xt (ver Fig. 8.2).
u(L, t) = 0
u(L, t) = 0
x L u(x, 0) = f (x)
Figura 8.2: Para resolver a equao de difuso do calor usamos o mtodo de separao de variveis. Temos
+L
(8.4)
145
X 1 T = 2 , (8.5) X T onde a linha denota a derivada com relao a x e o ponto a derivada com relao a t. Uma vez que (x, t) so duas variveis independentes, os dois lados da equao acima devem ser uma constante. Temos X = 2 , X 1 T = 2 . 2 T
Podemos escrever as equaes acima como
(8.6)
X + 2 X = 0 ,
2 2 T + T = 0 .
(8.7)
A constante de separao foi escolhida convenientemente como 2 , de tal modo que a equao para X parea-se com a equao de um oscilador harmnico simples.1 Consideremos o primeiro caso = 0. Temos, X = 0 cuja soluo dada por X(x) = k1 x + k2 . As constantes de integrao k1 e k2 podem ser obtidas usando-se as condies de contorno (8.3), ou seja, X(L) = 0. Temos
k1 L + k2 = 0 , k1 L + k2 = 0 ,
(8.8)
cuja soluo a trivial k1 = k2 = 0. Considere agora o caso = 0. A soluo geral para a parte espacial dada por
(8.9)
(8.10)
sitiva, negativa ou nula. No difcil mostrar que no existe soluo para X(x) que satisfaa as condies de contorno para o caso < 0. Logo, consideramos somente os casos = 2 0.
146
= 2 cos(L) sin(L) = 0 ,
(8.11)
de onde se obtm L = n ou L = n + 1 , com n = 1, 2, 3, . . .. Valores 2 negativos de n no geram solues novas, pois estas diferem apenas por um sinal das solues com n positivo. Consideremos o caso = n/L. Substituindo na primeira das equaes (8.10), com sin(L) = 0 e cos(L) = (1)n , obtemos k1 = 0. Logo,
X(x) = k2 sin
nx L
(8.12)
n L
T =0,
(8.13)
T (t) = Ae
(n/L)2 t
(8.14)
Combinando as solues (8.12) e (8.14), com k2 = A = 1, sem perda de generalidade, encontramos a soluo fundamental
nx , n = 1, 2, 3, . . . . (8.15) L Determinamos a soluo geral usando o princpio de superposio, ou seja, expressando a soluo geral como um combinao linear das solues fundamentais, un (x, t) = e
2
(n/L)2 t
sin
u(x, t)
=
n=1
bn un (x, t) bn e
n=1
2
(n/L)2 t
sin
nx L
(8.16)
u(x, 0) = f (x) =
n=1
bn sin
nx L
(8.17)
147
bn =
1 L
f (x) sin
L
n x dx . L
(8.18)
A srie para u(x, t) converge devido ao fator exponencial negativo. Em geral podemos armar que
t
lim u(x, t) = 0 .
(8.19)
(8.20)
(8.21)
2 v (x) = 0 , L x L ,
(8.22)
cuja soluo geral dada por v(x) = k1 x + k2 . Das condies de contorno (8.20), vemos que v(x) satisfaz as seguintes condies
v(L) = T1 ,
v(L) = T2 ,
(8.23)
T1 + T2 T2 T1 x+ . (8.24) 2L 2 A soluo geral pode ser obtida superpondo a soluo estacionria (8.24) com uma distribuio transiente w(x, t). Temos v(x) = u(x, t) = v(x) + w(x, t) ,
(8.25)
onde w(x, t) uma funo a ser determinada. Substituindo esta equao na equao de difuso do calor (8.1), e usando (8.22), encontramos
148
2w w = . (8.26) 2 x t As condies de contorno para a soluo transiente so homogneas, pois, de (8.20) e (8.23) fcil vericar que 2 w(L, t) = u(L, t) v(L) = 0 .
(8.27)
Ento, a soluo da equao (8.26) dada por (8.16), exceto pelo fato de que bn agora determinado pela condio inicial
(8.28)
onde f (x) uma funo dada. Portanto, a soluo geral da equao de difuso do calor satisfazendo as condies de contorno ser dada por
u(x, t) =
onde agora
T2 T1 T1 + T2 nx x+ + bn sin 2L 2 L n=1
(8.29)
bn =
1 L
f (x)
L
T2 T1 T1 + T2 n x sin x dx . 2L 2 L
(8.30)
2u 2u = 2 , (8.31) x2 t sujeitas s condies de contorno conforme ilustradas na Fig. 8.3. Note que agora temos duas condies inicias, pois a equao diferencial parcial de segunda ordem no tempo. Igualmente ao caso anterior, usamos o mtodo de separao de variveis escrevendo a2 u(x, t) = X(x)T (t) .
(8.32)
Substituindo esta equao em (8.31) obtemos duas equaes diferenciais ordinrias independentes,
X + 2 X = 0 ,
2 2 T +a T = 0 .
(8.33)
149
u(L, t) = 0
u(L, t) = 0
x L u(x, 0) = f (x)
u(x,t) t t=0
+L
= g(x)
Figura 8.3: A soluo para a primeira das equaes (8.33) a mesma que para o caso da equao de difuso do calor. Temos
X(x) = k2 sin
nx L
(8.34)
As funes cos(at) e sin(at) so duas solues linearmente independentes da segunda das equaes (8.33). Portanto, temos duas solues fundamentais,
un (x, t)
vn (x, t) =
, .
(8.35)
un (x, t) =
n=1
sin
nx L
bn cos
nat L
+ an sin
nat L
(8.36)
Para completar a soluo, falta ainda determinar as constantes bn e cn . Para isto usamos as condies iniciais. Temos
150
u(x, 0) u(x, t) t
= f (x) =
n=1
bn sin
nx L
, .
(8.37)
= g(x) =
t=0 n=1
na nx cn sin L L
bn na cn L
= =
1 L 1 L
f (x) sin
L L
n x dx , L n x dx . L
(8.38)
g(x) sin
L
2u 2u + 2 =0, x2 y
(8.39)
sujeita s condies de contorno de Dirichlet num retngulo conforme ilustrado na Fig. 8.4.
2 Johann Peter Gustav Lejeune Dirichlet (1805 - 1859), nascido em Dren, Alemanha. Notabilizou-se por importantes contribuies teoria dos nmeros e pelo melhoramento na demonstrao no teorema de Fourier. 3 John Von Neumann (1903 - 1957), matemtico hngaro de origem judaica. Participou da construo do ENIAC (Electrical Numerical Integrator and Calculator ), o primeiro computador digital eletrnico da era moderna.
151
y +b u(a, y) = 0 +a a x u(x, b) = 0
(8.40)
Substituindo na equao de Laplace (8.39), obtemos duas equaes diferenciais ordinrias e independentes,
X 2 X = 0 , Y + 2 Y = 0 .
(8.41)
As condies de contorno da Fig. 8.4 implicam em Y (b) = 0. Assim, similarmente aos casos anteriores, encontramos a seguinte soluo para a segunda das equaes (8.41)
Y (y) = k2 sin
ny b
(8.42)
As funes ex so duas solues linearmente independentes da primeira das equaes (8.41). Portanto
X(x) = j1 ex + j2 ex .
(8.43)
Atravs da condio de contorno X(a) = 0, facilmente obtida da Fig. 8.4, obtemos j1 = j2 e2a . Substituindo j1 de volta ltima equao acima, encontramos
(8.44)
152
Sem perda de generalidade, podemos tomar k2 = j2 = 1. Conseqentemente, obtemos a seguinte soluo fundamental
un (x, y) = sinh
n(x + a) ny sin b b
(8.45)
Recorrendo ao princpio de superposio, obtemos nalmente a soluo geral para a equao de Laplace,
u(x, y) =
n=1
cn sinh
n(x + a) ny sin b b
(8.46)
Para determinar as constantes cn 's, usamos a condio de contorno u(a, y) = f (y). Encontramos
sinh
2na b
cn =
1 L
f (y) sin
L
ny L
dy .
(8.47)
2 u 1 u 1 2u + + 2 2 =0. (8.48) r2 r r r Suponhamos o mesmo problema de Dirichlet, porm com as condio de contorno sobre um crculo conforme ilustrado na Fig. 8.5. Alm da condio de contorno da gura, tambm iremos impor que u(0, ) nita, e que u(r, ) seja peridica de perodo 2 . Como usual, empregamos o mtodo de separao de variveis u(r, ) = R(r)() .
(8.49)
Introduzindo esta equao em (8.48) obtemos duas equaes diferenciais ordinrias e independentes,
+ = 0 , r2 R + rR R = 0 ,
(8.50)
onde uma constante de separao. Resolveremos a equao de Laplace em trs etapas para o domnio r < a. Primeiramente supor = 2 < 0. A soluo geral da primeira das equaes (8.50) ser dada por
() = j1 e + j2 e .
(8.51)
153
u(a, ) = f () a x
Figura 8.5: A funo () assim escrita no satisfaz a condio de periodicidade, a menos que j1 = j2 = 0. Logo, se for negativa, obtemos a soluo trivial, a qual no sicamente signicativa. Em segundo, supor que = 0. Com efeito, = 0, cuja soluo geral = j1 + j2 . Impondo a condio de periodicidade ( + 2) = (), conclumos que j2 = 0; de tal maneira que () uma constante. Com = 0, de (8.50) obtemos r2 R + rR = 0. Esta equao pode ser facilmente integrada e obtermos R = k1 + k2 ln r. Supondo R nita em r = 0, devemos ter k2 = 0. Conseqentemente, u(r, ) uma constante, e a soluo fundamental ser
u0 (r, ) = 1 .
(8.52)
Finalmente, consideremos o caso = 2 > 0. A soluo geral das equaes (8.50) ser dada por
= j1 cos() + j2 sin() ,
R = k1 r + k2 r .
(8.53)
154
(8.54)
Usando o fato que cos() e sin() so duas funes linearmente independentes, seus coecientes na equao acima devem se anular identicamente. Temos
0, 0.
(8.55)
A soluo no-trivial do sistema de duas equaes e duas incgnitas existe se o determinante da matriz dos coecientes anular-se. Temos
=0,
(8.56)
cuja soluo dada por cos(2) = 1. Ou seja, = n = 0 um nmero inteiro no nulo. Sem perda de generalidade podemos considerar somente positivo. Da equao (8.53) podemos observar que a soluo da parte radial tem uma singularidade em r = 0. No entanto, supondo R nita neste ponto, devemos ter k1 = 0. Assim, obtemos as seguintes solues fundamentais
un (r, ) vn (r, )
= rn cos(n) , = rn sin(n) .
(8.57)
Finalmente, a soluo geral da equao de Laplace pode ser obtida tomando-se uma combinao linear das solues fundamentais. De (8.52) e (8.57), obtemos
u(r, ) =
(8.58)
Por ltimo, devemos determinar os coecientes da srie. Usando a condio de contorno u(a, ) = f () e a teoria de Fourier, encontramos
an cn an kn
= =
1 1
f () cos(n) d ,
n = 0, 1, 2, 3, . . . , n = 1, 2, 3, . . . .
(8.59)
f () sin(n) d ,
155
A soluo para o domnio r > a pode ser determinada de forma anloga. Encontramos
u(r, ) =
onde
(8.60)
an cn an kn
= =
1 1
f () cos(n) d ,
n = 0, 1, 2, 3, . . . ,
(8.61)
f () sin(n) d , n = 1, 2, 3, . . . .
u(x,t) x
x=L
=0
u(x,t) x
x=L
=0
x L u(x, 0) = f (x) +L
Figura 8.6:
8.4 Problemas
8.1 Considere uma barra com as extremidades isoladas. Neste caso no h passagem de calor pelas extremidades. As condies de contorno esto ilustradas na Fig. 8.6. Resolver a equao de difuso do calor (8.1) empregando as condies de contorno especicadas no digrama xt. 8.2 Determine o deslocamento u(x, t) de uma corda elstica de comprimento 2L, xa em ambos os extremos, que posta em movimento a partir de sua posio de equilbrio reta com velocidade inicial g denida por
156
Figura 8.7:
A L (x + L) , A g(x) = Lx , A (L x) , L
onde A uma constante. Suponha agora que a condio inicial fosse substituda por g(x) = A sin x , L x L. Voc esperaria 2 L diferena signicativa entre os dois resultados para o deslocamento? Em caso armativo, em quais pontos do domnio em questo? 8.3 Considere o problema de Dirichlet para um retngulo. Resolva a equao de Laplace usando as condies de contorno ilustradas na Fig. 8.7. 8.4 Seja o problema de Dirichlet em um crculo de raio a. Usando os resultados deduzidos na Seo 8.3.2, mostre que a soluo da equao de Laplace tambm pode ser escrita na forma
u(r, ) =
onde r < a.
1 2
f ()
r 2 a2 d , r2 2ar cos( ) + a2
Captulo 9
(x) =
0, ,
x=0, x=0.
(9.1)
Note que esta funo no se enquadra dentro do conceito de funo estabelecido anteriormente, pois singular no ponto x = 0. Por esta razo, a funo delta de Dirac freqentemente chamada de funo imprpria. Conforme veremos mais adiante, essa funo no deve ser entendida no sentido usual de funo, mas sim como uma distribuio. Isto signica dizer que a funo delta deve ser tal que
(x) dx = 1 .
(9.2)
158
sculo passado.2 Ele inventou uma engenhosa forma de lidar com innitos, o que inicialmente causou muito desconforto aos matemticos. Porm, mais tarde, Schwartz3 desenvolveu uma nova teoria matemtica, chamada de teoria das distribuies, onde se provou que a proposio de Dirac estava correta e a dava consistncia. Existem vrias representaes da funo delta que obedecem a propriedade fundamental (9.2). Na realidade, a funo delta de Dirac uma funo extremamente pontiaguda em torno de um determinado ponto da reta (ver Fig. 9.1). Pulsos so exemplos tpicos de funes delta, como por exemplo uma fora aplicada a um corpo em um tempo innitesimalmente pequeno.
(x)
159
0 , |x| > 1/n , n 2 , |x| < 1/n , para n = 1, 2, 3, . . .. Na forma imprpria podemos escrever n (x) = (x) = lim n (x) .
n
(9.3)
(9.4)
Agora, note que esta representao da funo delta satisfaz a propriedade (9.2), pois
n 1/n
lim
n (x) dx =
lim
1/n
n dx 2
= =
n x lim n 2 1.
1/n 1/n
(9.5)
lim
A seqncia {n (x), n = 1, 2, 3, . . .} conhecida como seqncia delta. A seqncia (9.3) ilustrada na Fig. 9.2. Note que quanto maior o valor de n, maior a intensidade do pico da funo n (x) em torno do ponto x = 0 e menor a sua largura. Usando o teorema dos resduos (ver Seo 6.10), podemos mostrar que
n dx 1 + n2 x 2 1 sin(nx) dx x
+
=1, =1.
(9.9) (9.10)
(x) =
(ver Problema 9.4).
1 2
eikx dk ,
(9.11)
160
1 1 1 2 5
1 1 5 2
(9.12)
Assim, a funo delta atua como um ltro, ou seja, ela seleciona apenas o valor f (a) de f (x). Na Fig. 9.3 ilustramos geometricamente esta importante propriedade. Esta propriedade pode ser facilmente demonstrada usando-se o teorema da mdia do clculo integral. Temos
(x a)f (x) dx
lim
n (x a)f (x) dx
161
(x) f (a)
f (x)
x a
Figura 9.3:
= = = =
a+1/n
lim
f (a) .
(9.13)
(x) =
(ax)f (x) dx
= =
(x2 a2 )f (x) dx
(9.14) (9.15)
a>0.
(9.16)
As duas primeiras propriedades podem ser provadas sem diculdade. Provemos a terceira,
162
(x2 a2 )f (x) dx = =
+
a+ a+
=
a a
+
a+
(9.17)
Agora, usando as propriedades (9.15) e (9.12) em seqncia, obtemos o resultado desejado. Essa propriedade pode ser generalizada para situaes em que o argumento da funo delta uma funo. Seja y(x) uma funo que possua razes simples nos pontos {xi , i = 1, 2, . . . , N }. Suponhamos que as derivadas de y(x) existam nos pontos xi . Ento
N
(y(x))f (x) dx =
i=1
f (xi )
dy dx x=xi
(9.18)
(x x ) =
1, 0,
x>x , x<x .
(9.19)
O esboo do grco desta funo encontra-se na Fig. 9.4. Existe uma importante relao entre as funes delta e de Heaviside. Considere a integral
4 Oliver Heaviside (1850 - 1925), engenheiro eletricista, matemtico e fsico britnico, nasceu em Camden Town, cidade nos arredores de Londres. Dentre muitas contribuies importantes para a cincia, cou famoso por simplicar e tornar til as equaes de Maxwell.
163
(x x )
x x
f (x )
d (x x ) dx dx
= =
d dx
f (x )(x x ) dx
x
d dx
x
f (x ) (x x ) dx
=1
f (x ) (x x ) dx
=0
= = =
x d f (x ) dx dx f (x)
f (x )(x x) dx ,
(9.20)
de onde se obtm
(x x) =
d (x x ) . dx
(9.21)
164
(r) =
0, ,
r=0, r=0,
(9.22)
onde r um vetor de coordenadas (x, y, z). Similarmente ao caso unidimensional (9.2), temos que
(r) dx dy dz = 1 ,
(9.23)
(r) = (x)(y)(z) .
(9.24)
No caso bidimensional, o grco da funo delta se parece com a superfcie de um sino, conforme ilustrado na Fig. 9.5.
40 30
(x,y)
Figura 9.5: Visualizao da funo delta em duas dimenses; no grco acima usamos a representao (x, y) = limn n2 exp(n2 (x2 + y 2 ))/ . A funo delta pode facilmente ser escrita em outros sistemas de coordenadas por meio da teoria de coordenadas curvilneas do Captulo 4. Por exemplo, em coordenadas cilndricas, usando a equao (4.30) para o elemento de volume, temos que
2 0 0
(r r ) dx dy dz =
(r r ) d d dz .
(9.25)
165
(r r ) =
1 ( )( )(z z ) .
(9.26)
m (x)n (x) dx = mn .
(9.27)
n (x)n (x ) .
(9.28)
Demonstrao: Uma vez que {n (x)} um conjunto de funes linearmente independentes, uma funo arbitrria poder ser escrita como uma combinao linear destas. Temos
f (x) =
n
cn n (x) .
(9.29)
Multiplicando os dois membros da equao por m (x) e integrando o resultado, vem que
b a
f (x)m (x) dx =
n
cn
a
m (x)n (x) dx
=
n
cn mn cm .
(9.30)
f (x) =
n b a
f (x )n (x ) dx
n (x) dx .
(9.31)
=
a
f (x )
n
n (x)n (x )
166
Usando a propriedade fundamental (9.12), vemos que a igualdade acima s pode ser satisfeita, se e somente se, a funo delta for escrita como em (9.28). Abreviadamente, dizemos que {n } forma um conjunto completo de funes.
9.7 Problemas
9.1 Mostre que uma distribuio de cargas pontuais pode ser escrita em termos de uma funo delta:
N
(r) =
i=1
qi (r ri ) ,
n (x) =
Desenhe os grcos destas funes para n = 1, 2, 3. Verique que, quanto maior for o valor de n, mais estas funes se localizam em torno de x = 0. 9.3 Considere a representao (9.8) da funo delta. Mostre que os pontos, onde os o valores da funo correspondem metade do mximo em x = 0, so dados por x = ln 2/n. A distncia entre estes dois pontos a largura do pico. Note que quando n , a largura tende a zero e o mximo ao innito, porm a integral da funo em toda reta vale um. Faa um esboo desta funo demonstrando estas caractersticas. 9.4 Mostre que a seqncia delta
n (x) =
tambm pode ser escrita como
1 sin(nx) , x
n n
n (x) =
1 2
eikx dk .
167
(x) = lim
1 , 1 + e2kx
uma boa aproximao para a funo de Heaviside. 9.7 Mostre que a representao da funo delta em coordenadas esfricas dada por
(r r ) =
1 (r r )(cos cos )( ) . r2
9.8 Mostre que {n (x) = einx/L / 2L , n = 0, 1, 2, . . .} forma um conjunto completo de funes ortonormais no intervalo L x L. E, conseqentemente, (x x ) = 1 2L
ein(xx )/L .
n=
Captulo 10
Transformadas de Fourier
10.1 Teorema de Fourier
O teorema de Fourier pode ser enunciado da seguinte forma.
Teorema 10.1 Seja f (x) uma funo tal que satisfaa as seguintes condies: 1. A srie de Fourier para f (x) converge, 2. A integral
|f (x)| dx < ,
f (x) F (q)
= =
F (q)eiqx dq ,
(10.1)
f (x)eiqx dx .
Demonstrao: Faremos a demonstrao do teorema de forma heurstica. Primeiramente lembramos que a srie de Fourier dada por
f (x) = a0 m m + am cos x + bm sin x 2 L L m=1
(10.2)
169
f (x) = =
a0 + am 2 m=1 a0 1 + 2 2 m=1
imx L
+ e 2
imx L
+ bm
imx L
e 2i
imx L
imx imx 1 1 am + bm e L + am bm e L i i
.
(10.3)
f (x) =
f (x) =
onde
1 2
Fm eimx/L ,
m=
(10.5)
Fm
(10.6)
Se f (x) uma funo conhecida, podemos determinar os coecientes Fm em termos de uma integral envolvendo esta funo. Com este objetivo, primeiramente multiplicamos ambos os lados da equao (10.5) por einx/L /L e integramos o resultado entre L e L. Temos
1 L 1 L
L L L L
f (x)einx/L dx ei(nm)x/L dx
= =
1 2
Fm
m=
1 L
L L
ei(nm)x/L dx ,
(10.7)
mn .
Fm =
1 L
L L
f (x)eimx/L dx .
(10.8)
170
Agora, substituindo os coecientes de volta na srie de Fourier dada por (10.5), encontramos
f (x)
= =
1 2 1 2
m= L
1 L
L L
f (x )eimx /L dx
eimx/L
(10.9)
f (x )
L
1 L
eim(x x) dx .
m=
O ltimo passo da demonstrao no rigorosa, o que a torna heurstica. Tomemos o limite L , de tal forma que q = L 0, e q = m torna-se L uma varivel contnua. Assim, temos que
f (x) = =
onde
1 2 1 2
f (x )
eiq(x x) dq
dx
(10.10)
F (q)eiqx dx ,
F (q) =
f (x)eiqx dx .
(10.11)
mais freqente nos livros textos encontrarmos o par de transformadas de Fourier na forma
f (x) F (q)
= =
1 2 1 2
F (q)eiqx dq , f (x)eiqx dx ,
(10.12)
com as quais lidaremos daqui em diante. Chamamos F (q) de transformada de Fourier direta de f (x), e de f (x) a transformada de Fourier inversa de F (q). Simbolicamente temos
F (q) = F {f (x)} ,
f (x) = F 1 {F (q)} .
(10.13)
As integrais (10.1) existem se satiszerem a segunda condio do teorema enunciado acima. Para ver isto, basta notar que
f (x)eiqx dx
|f (x)eiqx | dx =
|f (x)| dx < .
(10.14)
171
F (q)G(q)eiqx dx
f (y)g(x y) dy f (x y)g(y) dy
= =
2f g ,
(10.15)
onde
1 f g = 2
f (x y)g(y) dy ,
(10.16)
usualmente conhecido como produto de convoluo. Simbolicamente podemos escrever F 1 {F (q)G(q)} = f g , isto , F (q)G(q) = F {f g}.
f (y)g(x y) dy
f (y)
1 2
G(q)eiq(xy) dq
dy dq
G(q)eiqx
1 2
f (y)eiqy dy
F (q)G(q)eiqx dx .
(10.17)
F (q)G(q) dq =
f (x)(x) dx , g
(10.18)
onde as barras denotam o complexo conjugado. Usando a representao ( 9.11) da funo delta, podemos facilmente demonstrar a identidade de Parserval,
172
F (q)G(q) dq
1 2
f (x)eiqx dx dq
1 2
g (y)eiqy dy 1 2
f (x)(y) g
eiq(xy) dq
dx dy
f (x)(y)(x y) dx dy g f (x)(x) dx . g
(10.19)
(10.20)
F {f (x)}
= = =
f (x)iqeiqx dx
(10.21)
onde usamos o fato que f (x) 0 quando x . A demonstrao para o caso n = 1 pode ser feita usando-se o mtodo de induo.
Fc {f (x)} Fs {f (x)}
= =
2 2
f (x) cos(qx) dx ,
0
(10.22) (10.23)
f (x) sin(qx) dx .
0
173
Note que se f (x) for uma funo par, ento F {f (x)} = Fc {f (x)}, e se f (x) for mpar, ento F {f (x)} = Fs {f (x)}. Exemplo 10.1 Determinar a transformada de Fourier da funo f (x) = ea|x| , para todo a > 0. Soluo: Lembrando que |x| = x se x > 0, e que |x| = x se x < 0, temos que
F (q) = = =
1 e(a+iq)x dx + 2 0 1 1 1 + a + iq a + iq 2
e(a+iq)x dx
2 a . a2 + q 2
(10.24)
funo F (q) =
Soluo:
f (x) = = =
1 1 1 2
sin[(a x)q] dq q
.
(10.25)
Usando o teorema de Cauchy, mostramos anteriormente que a primeira das integrais acima dada por para todo x > a e a segunda por para todo x < a. Logo f (x) = 1 para todo |x| < a, e zero para todos os outros casos. Exemplo 10.3 Determinar a transformada de Fourier inversa da funo H(q) = (2/)ab/(q 2 + a2 )(q 2 + b2 ). Soluo: H duas maneiras de determinar a transformada inversa. Uma seria usando o teorema dos resduos. A outra, talvez mais simples, seria usando o teorema de convoluo. Seguiremos esse ltimo caminho. Note que H(q) = F (q)G(q) um produto de duas transformadas de Fourier, onde F (q) = 2/a/(q 2 + a2 ) e G(q) = 2/b/(q 2 + b2 ). Assim, usando o resultado do Exemplo 10.1 e (10.15), temos que
174
h(x)
= = =
1 2 1 2 1 2
0 0
eay eb|x+y| dy +
0
onde na passagem da segunda para a terceira linha zemos a mudana de varivel y y e em seguida invertemos os limites de integrao. Note que f (x) invariante sob a troca de x por x. Com efeito, basta considerarmos o caso x > 0. Temos
h(x) =
1 ebx 2 +ebx
x
e(a+b)y dy + ebx
0
e(ba)y dy
e(a+b)y dy
(10.27)
Exemplo 10.4 Determinar a soluo da equao diferencial h (x) + 2 h = f (x) usando as condies de contorno h() = 0. Soluo: Usando a transformada de Fourier da derivada, e transformando Fourier ambos os lados da equao diferencial, encontramos
q 2 H(q) + 2 H(q) = F (q) ,
(10.28)
de onde obtemos H(q) = F (q)/(2 q 2 ). Para obter a transformada de Fourier inversa, usamos o teorema de convoluo,
h(x) =
onde usamos o resultado
1 2
(10.29)
F 1 {
1 }= q2
1 sin(x) , 2
(10.30)
175
10.6 Problemas
10.1 Calcular a transformada de Fourier cosseno das seguintes funes
(a) f (x) =
1 x2 +a2
(a) f (x) =
x x2 +a2
2 2aiq q 2 +a2
2 (q + a) , ,
1 |q|
10.4 A equao de Fermi unidimensional para a difuso de nutrons em algum meio (tal como o grate) dada por
2 q(x, ) q(x, ) = . 2 x
Na equao acima, q o nmero de nutrons que decaem abaixo de alguma dada energia por segundo por unidade de volume. O tempo de Fermi , a medida da perda de energia.
176
Se q(x, 0) = S(x), correspondendo a uma fonte plana de nutrons em x = 0, emitindo S nutrons por unidade de rea por segundo, mostrar que
ex /4 q(x, ) = S . 4
Q(k, )eikx dk .
Obtenha ento uma expresso para Q substituindo a equao acima na equao diferencial.
Captulo 11
(11.1)
onde p(x), q(x) e w(x) so funes conhecidas e contnuas em um determinado intervalo a x b. A constante determinada pelas condies de Dirichlet ou de Neumann nos extremos do intervalo. Os valores de para os quais as solues da equao diferencial so no-triviais, so conhecidos como auto-valores e as correspondentes y(x) como auto-funes. Nem sempre as equaes a auto-valores e auto-funes aparecem como em (11.1). necessrio algumas manipulaes algbricas para coloca-las na forma de Sturm-Liouville. Dizemos ento que a equao diferencial pode ser escrita na forma auto-adjunta. Conforme veremos mais adiante, se a equao diferencial auto-adjunta, ento as solues formam um conjunto de funes ortogonais.
1 Jacques Charles Franois Sturm (1803 - 1855), matemtico francs, nascido em Geneva; Joseph Liouville (1809 - 1882), matemtico francs, nascido em Saint-Omer.
178
d2 y dy + B(x) + C(x)y = 0 . (11.2) dx2 dx Conforme j vimos no Captulo 5, a EDH tambm pode ser reescrita como A(x) L y(x) = 0 ,
(11.3)
onde L o operador diferencial linear denido por (5.3). O operador adjunto denido por
d2 [A(x)y(x)] d[B(x)y(x)] + C(x)y(x) . (11.4) L y(x) = dx2 dx Sejam u e v duas solues da EDH. O operador diferencial L dito auto-adjunto se satiszer a condio
b b
uL v dx =
a a
v L u dx .
(11.5)
O operador L em geral no auto-adjunto. No entanto, impondo determinadas condies sobre os coecientes das derivadas possvel transformalo em um operador auto-adjunto. Usando integrao por partes, temos que
b b
uL v dx
a
=
a
uA uA dv dx
d2 v dx + dx2
b b
uB
a
dv dx + dx
uCv dx
a
a b a b
d(Au) dv dx dx dx v d(Bu) dx + dx
b b b
+ uBv|a = uA dv dx
b
a b
d(Au) v dx
b a
+
a a
+ uBv|a
b
d(Bu) v dx + dx
vCu dx
a
=
a
179
(11.6)
A (x) = B(x) ,
(11.7)
ento L auto-adjunto. Se os coecientes das primeira e segunda derivadas no satiszerem esta condio, mesmo assim podemos realizar uma transformao na EDH que a torna em uma auto-adjunta. Primeiramente multiplicamos a EDH pelo fator
1 e A(x)
B(x) A(x)
dx
, A(x) = 0 ,
x ,
(11.8)
dx d
y B(x) + e 2 dx A(x)
B(x) A(x)
dx dy
dx
C(x) e A(x)
B(x) A(x)
dx
y=0.
(11.9)
d e dx
B(x) A(x)
dx dy
dx
=e
B(x) A(x)
2 dx d y dx2
B(x) e A(x)
B(x) A(x)
dx dy
dx
(11.10)
(11.11)
p(x) = e
B(x) A(x)
dx
(11.12)
Escrita na forma (11.11), fcil ver que os novos coecientes das primeira e segunda derivadas obedecem a equao (11.7), e assim auto-adjunta. Escolhendo q(x), w(x) e apropriadamente, podemos reescrever (11.11) na forma de Sturm-Liouville (11.1), de tal modo que
(11.13)
180
L y(x) + w(x)y(x) = 0 ,
onde
(11.14)
L =
d d p(x) q(x) . dx dx
(11.15)
= =
n w(x)ym , m w(x)yn .
(11.16)
Multiplicando a primeira das duas equaes acima por yn , a segunda por ym , subtraindo os resultados e integrando no intervalo a x b, encontramos
b
ym
a
dx
(11.17)
+(m n )
b
Usando integrao por partes e as condies de contorno de Dirichlet ou de Neumann homogneas, podemos facilmente mostrar que a primeira integral se anula identicamente. Assim, temos que
a
(m n )
b
(11.18)
(11.19)
181
Conseqentemente, {ym (x)}, com m inteiro, um conjunto de funes ortogonais com relao funo peso w(x). Exemplo 11.1 Determinar a forma auto-adjunta da equao diferencial de Hermite
y 2xy + 2y = 0 ,
(11.20)
onde uma constante. Soluo: No caso em questo, A(x) = 1, B(x) = 2x e C(x) = 2; substituindo em (11.12), vem que
p(x) = e
(2x) dx
= ex .
(11.21)
w(x) q(x) =
2 2 x2 e = 2ex , 1 2
(11.22)
de onde obtemos q(x) = 0, = 2 e w(x) = ex . Portanto, substituindo os resultados em (11.1), nalmente obtemos
2 dy 2 d ex + 2ex y = 0 . dx dx
(11.23)
11.4 Problemas
11.1 Considere as seguites equaes diferenciais ordinrias, lineares, e de segunda ordem. Equao de Legendre:
(1 x2 )y 2xy + l(l + 1)
Equao de Chebyshev:
m2 y=0. 1 x2
(1 x2 )y xy + n2 y = 0 .
182
Equao de Bessel:
x2 y + xy (x2 n2 )y = 0 .
Equao de Laguerre:
xy + (1 x)y + y = 0 .
Equao de Laguerre associada:
xy + (k + 1 x)y ( k)y = 0 .
Equao de Hermite:
y 2xy + 2y = 0 .
Equao do oscilador harmnico simples (OHS):
y + 2 y = 0 .
Usando a teoria de Sturm-Liouville, construa a Tab. 11.1.
183
Tabela 11.1: Equao de Legendre de Legendre associada de Chebyshev de Bessel de Laguerre de Laguerre associada de Hermite do OHS
p(x) 1 x2 1 x2 1 x2
q(x)
0
m 1x2
2
w(x)
1 1
1 1x2
l(l + 1) l(l + 1) n2
2
x xex xk+1 ex ex
1
2
n x
0 0 0 0
a2 k 2 2
x ex xk ex ex
1
2
Captulo 12
Polinmios de Hermite
12.1 Introduo
Neste Captulo estudaremos os polinmios de Hermite dentro de um contexto fsico onde eles emergem naturalmente. Para isto escolhemos a soluo da equao de Schrdinger para o oscilador harmnico simples.
d2 () + V ()() = E() , 2m d 2
(12.1)
onde E a energia total da partcula. Estudaremos o caso simples, porm 1 muito importante, do oscilar harmnico, onde V () = 2 k 2 , sendo k a constante de mola. Temos
d2 () 1 2 + k () = E() . 2m d 2 2
(12.2)
conveniente fazer uma mudana de varivel de tal forma que as grandezas fsicas tornem-se adimensionais. Seja, = x, onde = ( 2 /mk)1/4 ; note que tem dimenso de comprimento. Desta forma, usando a regra da cadeia, encontramos
d() 1 d(x) = , d dx
d2 () 1 d2 (x) = 2 . 2 d dx2
(12.3)
185
+ x2 = ,
(12.4)
onde = 2E/ , sendo que = k/m a freqncia natural de oscilao do oscilador harmnico simples. Suporemos que a funo de onda de quadrado somvel , isto , (x) 0, quando x . Antes de resolver a equao (12.4), busquemos as solues assintticas que satisfaam as condies de contorno. Na regio assinttica, os termos dominates da equao so
+ x2 = 0 ,
2
(12.5)
cuja soluo aproximada dada por (x) = ex /2 . Isto pode ser vericado por substituio direta da soluo aproximada no membro esquerdo da EDH acima. Temos
+ x2 = ex
/2
0 ,
quando x .
(12.6)
(x) = ex
/2
y(x) ,
(12.7)
(x)
= [y (x) xy(x)] ex
/2
,
2
(x) =
/2
(12.8)
(12.9)
Esta equao conhecida como equao diferencial de Hermite1 (ver Tab. 11.1). Note que a EDH regular x. Usaremos o mtodo de Frobenius para resolve-la,
1 Charles Hermite (1822 - 1901), nasceu em Dieuze, Frana. Embora tenha tido uma decincia fsica de nascena que o obrigou a usar bengala por toda a vida, isto no desenvolveu nenhum tipo de complexo em sua personalidade. Por causa de sua decincia, em 1842 foi dispensado da Escola Politcnica. Ironicamente, em 1846 voltou para a mesma Escola como examinador de admisso.
186
y(x) =
n=0
an xn , y (x) =
n=0
(12.11)
2n + 1 an , n 0 . (12.12) (n + 1)(n + 2) Os coecientes pares esto relacionados com a0 e os mpares com a1 . Isto produz duas solues linearmente independentes. Agora, note que an+2 = lim an+2 an 2n + 1 (n + 1)(n + 2) 1 = lim l l + 1 = 0, =
n
lim
(12.13)
onde usamos a regra de L'Hpital e l = n + 1/2. Logo a srie converge para todo < x < . No entanto, note que 1/(n + 1) a razo entre os coecientes adjacentes da srie da funo
ex
= =
1+
n=0
x2 x4 x6 + + + 1! 2! 3! x2n , n!
(12.14)
pois
n
lim
an+2 an
n! (n + 1)! 1 = lim n n + 1 = 0. =
n
lim
(12.15)
2
Isto signica que o comportamento assinttico de y(x) do tipo ex para x . Este comportamento de y(x) viola as condies de contorno, pois
187
(x) ex /2 , a qual tende ao innito quando x . Todavia, as solues podem ser regularizadas truncando a srie para um determinado valor de n = m. Temos 2m + 1 = 0 ,
m 2
(12.16)
de onde obtemos a quantizao da energia E = + 1 . Assim, as duas solues linearmente independentes sero dadas pelos seguintes polinmios
y1 (x) = y2 (x) =
(12.17)
an+2 =
(12.18)
A seguir, geramos todas as solues em forma de polinmios para cada valor de m. Se m for par, usamos somente y1 (x) e se m for mpar, usamos somente y2 (x), pois a condio de truncamento no pode ser satisfeita simultaneamente para um determinado valor de m. Temos 1. m = 0: a0 = 0, a2 = a4 = = 0, y1 (x) = a0 = a0 H0 (x), onde H0 (x) = 1; 2. m = 1: a1 = 0, a3 = a5 = = 0, y2 (x) = a1 x = H1 (x) = 2x;
a1 2 H1 (x),
onde
3. m = 2: a0 = 0, a2 = 2a0 , a4 = a6 = = 0, y1 (x) = a0 2a0 x2 = a0 H2 (x), onde H2 (x) = 4x2 2; 2 4. m = 3: a1 = 0, a3 = 2 a1 , a5 = a7 = = 0, y2 (x) = a1 x 2 a1 x3 = 3 3 a1 H3 (x), onde H3 (x) = 8x3 12x; 12 e assim por diante. As funes {Hn (x), n 0} so conhecidas como polinmios de Hermite. Eles podem ser representados de forma genrica como
[n] 2
Hn (x) = n!
l=0
(12.19)
onde [ n ] o maior inteiro menor ou igual a n . 2 2 Finalmente, a soluo fundamental para a equao (12.4) pode ser escrita como
188
n (x) = ex Hn (x) .
(12.20)
A soluo geral de (12.4) obtida pelo princpio de superposio. Mais adiante veremos como normalizar a funo de onda de tal modo que (x)n (x) dx = mn . Antes, iremos estudar uma srie de propri m edades dos polinmios de Hermite.
(12.21)
d2 dx2
dHn (x) dx
2x
d dx
dHn (x) dx
+ 2(n 1)
(12.22)
Ento, Hn (x) soluo da equao de Hermite com n substitudo por (n 1). Conseqentemente, Hn (x) e Hn1 (x) no so linearmente independentes,
(12.23)
n!
l=0 [ n1 ] 2
(1)l 2(n 2l) (2x)n2l1 l!(n 2l)! (1)l (2x)n2l1 . l!(n 2l 1)!
C(n 1)!
l=0
(12.24)
Igualando os coecientes das potncias de x, determinamos a constante C . Por exemplo, para l = 0, temos que
n!
e
(12.25) (12.26)
189
Esta relao de recorrncia pode ser usada para obter outras relaes importantes. Vejamos um exemplo. Derivando (12.26), encontramos Hn (x) = 2nHn1 (x). Levando este resultado e (12.26) na equao de Hermite (12.21), temos que
(12.27)
2x
d dx
Hn1 (x) ,
(12.28)
(12.29)
Hn (x) = =
. . .
2x 2x
d dx d dx d dx
Hn2 (x)
3
Hn3 (x)
2x
H0 (x) .
(12.30)
Assim, os polinmios de Hermite podem ser determinados por aplicao sucessiva do operador diferencial (2x d/dx) ao polinmio de mais baixa ordem H0 (x).
g(x, t) =
n=0
pn (x) n t . n!
(12.31)
190
Iremos aplicar esta relao para os polinmios de Hermite e determinar g(x, t) que os geram,
g(x, t) =
n=0
Hn (x) n t . n!
(12.32)
g(x, t) t
=
n=1
=
n=0
=
n=0
g(x, t) t
= 2x
n=0
= 2xg(x, t) 2
n=0
(n + 1)
= 2xg(x, t) 2t
n=0
Hn (x) n t n!
(12.34)
= (2x 2t)g(x, t) .
Agora, a funo geradora pode ser facilmente obtida por integrao do resultado acima. Temos
dg = g
donde
(12.35)
g(x, t) = h(x)e2xtt .
(12.36)
191
donde, igualando os coecientes das potncias de t, encontramos h(x) = H0 (x) = 1, ou ainda, h(x)(2x) = H1 (x) = 2x h(x) = 1. Finalmente obtemos para a funo geradora
g(x, t) = e2xtt .
(12.38)
g(x, t) =
n=0
1 n!
n g(x, t) tn
tn =
t=0 n=0
Hn (x) n t , n!
(12.39)
Hn (x) =
n g(x, t) tn
.
t=0
(12.40)
Antes de calcular a derivada acima, notemos que a funo geradora 2 2 tambm pode ser escrita como g(x, t) = ex (tx) . Assim,
2 n n (tx)2 e = (1)n n e(tx) . n t x
(12.41)
Portanto,
Hn (x) = Hn (x) =
t=0
(12.42)
192
12.6 Ortogonalidade
Conforme vimos no Captulo 11, a teoria de Sturm-Liouville nos garante que os polinmios de Hermite formam um conjunto completo de funes, pois a equao diferencial de Hermite pode ser escrita na forma auto-adjunta. Temos
ex Hm (x)Hn (x) dx = 0 , m = n .
(12.43)
In =
ex [Hn (x)] dx =
Hn (x)(1)n
dn x2 e dx , dxn
(12.44)
onde usamos a frmula de Rodrigues (12.42). Usando integrao por partes, a frmula de Rodrigues novamente e a relao de recorrncia (12.26), encontramos
In
= =
(1)n Hn (x) e
x2
dn1 x2 e dxn1
Hn (x)Hn1 (x)
+ 2n
ex [Hn1 (x)] dx .
(12.45)
Ora, mas o primeiro termo do segundo membro se anula identicamente, pois a funo exponencial tende mais rapidamente a zero do que os polinmios de Hermite ao innito. Assim, In = 2nIn1 . Usando esta frmula recursivamente, temos que
In
= [2n][2(n 1)]In2 = [2n][2(n 1)][2(n 2)]In3 . . . = [2n][2(n 1)][2(n 2)] [2.1] I0 = 2n n!I0 ,
nprodutos
(12.46) onde I0 = do
ex dx =
193
n (x) =
2n n!
2 1 ex Hn (x) ,
(12.47)
m (x)n (x) dx = mn .
(12.48)
12.7 Problemas
12.1 Mostre que
(2m)! , m!
H2m+1 (0) = 0.
12.2 Mostre que et cos(2xt) a funo geradora dos polinmios de Hermite 2 de ordem par e que et sin(2xt) a funo geradora dos polinmios de Hermite de ordem mpar. 12.3 Mostre que os polinmios de Hermite tm a seguinte representao integral
2
Hn (x) = ex n!
1 2i
tn1 e(tx) dt ,
C
Hn (x) n t , n!
por t
m1
1 2i
tnm1 dt =
C
1 dm n t = mn . n! dtm
194
12.4 Usando a formula integral de Cauchy, e usando o resultado do Problema 12.3, obtenha a frmula de Rodrigues
Hn (x) = (1)n ex
dn x2 e . dxn
12.5 Usando a frmula de Rodrigues para n = 0, 1, 2, 3, obtenha os polinmios de Hermite determinados na Seo 12.2. 12.6 Mostre que Hn (x) = (1)n Hn (x), ou seja, H2m (x) uma funo par e H2m+1 (x) uma funo mpar. 12.7 Usando a relao de recorrncia (12.29) demonstre a frmula
1 2
Captulo 13
Problemas Adicionais
13.1 Sries Innitas
1. A integral elptica completa de segunda espcie dada por
/2
E(m) =
0
(1 m sin2 )1/2 d .
E(m)
1 2
m 1
13 24 .
m2 3
135 246
m3 5
sin2n d =
Bx (p, q) =
0
tp1 (1 t)q1 dt .
196
Bx (p, q) =
xp
A expanso acima s vale para os casos 0 x < 1, p > 0, e q > 0 (se x = 1). 3. Usando a expanso binomial, mostrar que
tanh x = 1 + 2
n=1
(1)n e2nx ,
dx = , 1 + x2 4
1 1 1 1 1 = 1 + + + (1)n + . 4 3 5 7 9 2n + 1
5. Usar a expanso binomial para mostrar que
x (1 x)2
= =
x + 2x2 + 3x3 +
nxn .
n=1
6. Considere um corpo em queda livre sujeito resistncia do ar. A velocidade do ponto material em funo do tempo dada por
v(t) =
mg 1 ebt/m b
onde b o atrito, m a massa do corpo em queda livre e g a acelerao da gravidade local. Mostrar que
197
v(t) = gt +
1 bg 2 t + . 2m
Note que no limite bt/m 1, obtemos o movimento uniformemente variado, isto , v(t) = gt. Por outro lado, quando bt/m 1, o movimento uniforme, pois a velocidade constante e vale v(t) = mg/b.
B n dS =
A dr .
Mostrar que cada lado desta equao invariante sob a transformao de calibre A A + , onde uma funo escalar. 5. Mostrar que se B constante, a equao
A=
satisfaz B =
1 Br, 2
A.
6. Seja uma funo denida num volume V limitado por uma superfcie fechada S . Supor que satisfaz a equao de Laplace. Mostrar que a integral sobre qualquer superfcie fechada dentro de V da derivada normal n ser zero.
198
x = cos , y = sin , z= 1 2 ( 2 ) . 2
1 i Determinar a matriz de transformao Aij = hi xj e mostrar que q ortogonal. Calcule as mtricas h1 , h2 e h3 . Escrever o gradiente, o divergente, o Laplaciano e o rotacional no novo sistema de coordenadas.
x = y z = =
u2 + v 2 , 2 u2 v 2 , 2 z.
3. Se e so coordenadas polares, e A, B , n constantes quaisquer, prove que U = n (A cos n + B sin n) satisfaz a equao de Laplace: 2 U = 0. 4. Se
V =
mostrar que
2
V =
199
x2
d2 y dy 2x + (x2 + 2)y = x3 ex . 2 dx dx
Se y1 (x) = x cos x soluo da EDH associada, mostrar que a segunda soluo dada por y2 (x) = x sin x, e que uma soluo particular da EDNH dada por u(x) = 1 xex . 2 2. Seja a EDNH
(1 + x2 )
1 x2 d2 y dy + 2y = . 2x dx2 dx x
Se y1 (x) = x2 1 soluo da EDH associada, mostrar que a segunda soluo dada por y2 (x) = x, e que uma soluo particular da EDNH dada por u(x) = x ln x. 3. Seja a EDNH
x2
Se y1 (x) = x3 ex soluo da EDH associada, mostrar que a segunda soluo dada por y2 (x) = xex , e que uma soluo particular da EDNH dada por u(x) = ex (x2 + 2). 4. Resolver as seguintes equaes diferenciais usando o mtodo de Frobenius:
200
y(x) = 1 +
com c = 0, 1, 2, 3, . . . .
y(x)
y(x) = 1 +
201
y1 (x) = y2 (x) =
Ajuste as constantes c0 e c1 tal que y1 (1) = y2 (1) = 1 e mostre que as solues so polinomiais se n for um inteiro positivo:
T0 (x) = 1 ,
T1 (x) = x ,
T2 (x) = 2x2 1 ,
T3 (x) = 4x3 3x ,
e assim por diante. Estas funes so conhecidas como polinmios de Chebyshev.
202
dx =
a e
cos(a) , sin
ab 2
dx =
ab/ 2 2b2 e
2. Considere a funo
f (z) =
eaz , 1 + ez
no domnio R x R, 0 y 2 , ou seja um retngulo de lados 2R e 2 (ver Fig. 13.1). Mostre que z = i um plo de f (z). Expandir f (z) em uma srie de Laurent em torno deste ponto, isto , mostrar que
Sugesto : Expandir 1 + ez em srie de Taylor em torno do ponto z = i . Em seguida, escolhendo w apropriadamente, use 1/(1 + w) = 1 w + w2 , para calcular 1/(1 + ez ).
y R + 2i R + 2i
r
Figura 13.1:
203
0 < a < 1.
lim
eax dx ei2a 1 + ex
+
R R
eax dx 1 + ex
= (1 ei2a )
e dx , 1 + ex
ax
x=
n=1
(1)n+1 nx sin n 2
1 2 = . n2 6
2. Considere a funo
f (x) =
1, 1 ,
f (x) =
n=0
sin((2n + 1)x) . 2n + 1
2 1 = . (2n + 1)2 8
204
2h 2h + 2 x2 y
+h=0,
sujeita s condies de contorno de Dirichlet da Fig. 13.2. Na gura, H uma constante. Mostre que a soluo desta equao dada por
h(x, y) = 2H
n=0
onde n = (n + 1/2) , e n =
y +b h(a, y) = 0 +a a x h(x, b) = H
h(a, y) = 0 h(x, b) = H b
Figura 13.2:
de
separao
de
variveis,
1 Y X = 2 =. X Y
Considere trs casos distintos: (a) = 2 ( positivo); (b) = 0; (c) = 2 ( negativo). Mostre que para os casos (a) e (b), usando as condies de contorno, obtemos a soluo trivial para X(x). Para o
205
caso (c), usando as condies de contorno, mostre que a soluo para X(x) no-trivial se e somente se = n/a ou = (n + 1/2)/a. Use apenas a segunda soluo para . Mostre ento que
Xn (x) = cos(
n x ), a
onde foi ignorado a constante de integrao. Usando as condies de contorno, mostre que a soluo para Y (y) dada por
Yn (y) = H
cosh(n y) . cosh(n b)
Na construo desta soluo importante o uso da identidade sinh(2c) = 2 sinh c cosh c. Use o princpio de superposio para obter a soluo formal
h(x, y) = H
n=1
cn cos(
n x cosh(n y) ) . a cosh(n b)
1 Use o fato de que { a cos(n x/a) , n = 0, 1, 2, 3, . . .}, forma um conjunto de funes linearmente independentes para obter cn = 2(1)n /n .
206
onde n um inteiro e real. Esta equao pode ser escrita na forma auto-adjunta de Sturm-Liouville? Em caso armativo, obtenha a forma auto-adjunta da equao.
2 ex Hm (x)Hn (x) dx = 2n n! mn .
ey dy =
Referncias Bibliogrcas
[1] GRADSHTEYN, I. S.; RYZHIK, I. M. Tables of integrals, series, and products . San Diego: Academic Press, 1994. [2] SPIEGEL, M. R. Manual de frmulas e tabelas matemticas. So Paulo: McGraw-Hill, 1968. [3] ARFKEN, G. Mathematical methods for physicists. New York: Academic Press, 1970. [4] SPIEGEL, M. R. Clculo avanado. So Paulo: McGraw-Hill, 1972. [5] BUTKOV, E. Fsica matemtica. Rio de Janairo: Guanabara-Koogan, 1988. [6] CHURCHILL, R. V. Variveis complexas e aplicaes. So Paulo: McGraw-Hill, 1975. [7] VILA, G. Variveis complexas e aplicaes. Rio de Janeiro: LTC, 2000.
ndice Remissivo
Condies de Cauchy-Riemann, 105 de contorno, 70, 143 no-homogneas, 147 problemas de Dirichlet e de Neumann, 150 Critrio de Convergncia de d'Alembert, 25 Delta de Kronecker, 40 Densidade de corrente, 54 de deslocamento, 56 Dipolo eltrico, 24 Distribuio transiente, 147 Divergente de uma funo vetorial, 44 em coordenadas cilndricas, 67 em coordenadas esfricas, 68 em coordenas curvilneas, 65 Domnio multiplamente conexo, 109 simplemente conexo, 109 Duplo Fatorial de nmero par, 16 de nmero mpar, 16 Duplo produto vetorial, 37 Elemento de comprimento em coordenadas curvilneas, 62 Elemento de volume em coordenadas cilndricas, 66 em coordenadas curvilneas, 63 em coordenadas esfricas, 67 Elemento de rea em coordenadas curvilneas, 63 Equao da continuidade, 56 da onda, 59, 148 de Bessel, 74, 182 de Chebyshev, 181 de difuso, 69 de difuso do calor, 143 de Hermite, 181, 182 de Laguerre, 182 de Laguerre associada, 182 de Laplace, 69 em coordenadas polares-cilndricas, 73 de Legendre, 181 de Legendre associada, 181 de Poisson, 69 de Schrdinger, 69 unidimensional, 184 de Sturm-Liouville, 177 diferencial homognea, 76 diferencial no-homognea, 76 soluo geral de, 78 hipergeomtrica conuente de Gauss, 200 hipergeomtrica de Gauss, 199 indicial, 85, 87 raizes da, 87 Equaes de Cauchy-Riemann, 106 de Maxwell, 53
ndice Remissivo
209
transformativas, 60 Estado estacionrio, 147 Expanso binomial, 23 da funo exponencial, 22 da funo logaritmo, 22 Fatorial, 16 Fora central, 47 de Coulomb, 48 gravitacional, 48 Funo analtica, 105 beta incompleta, 195 de Bessel, 101 de Heaviside, 162 de onda quadrada, 133 de quadrado somvel, 185 delta de Dirac, 157 em coordenadas cilndricas, 164 em coordenadas esfricas, 167 em trs dimenses, 163 largura de, 159 propriedade fundamental, 160 representaes de, 158 dente-de-serra, 134 efrica de Bessel, 98 efrica de Neumann, 98 imprpria, 157 par, 137 peso, 181 mpar, 138 Funes complexas plurvoca, 105 uniforme, 105 hiperblicas, 14 ortogonais, 134, 181 peridicas, 133 trigonomtricas, 15 Frmula de Euler, 15, 104
de Moivre, 104 de Rodrigues para os polinmios de Hermite, 191 para os polinmios de Legendre, 100 integral de Cauchy, 111 Gradiente de uma funo escalar, 41 em coordenadas cilndricas, 67 em coordenadas esfricas, 68 em coordenas curvilneas, 64 interpretao geomtrica, 41 Identidade de Parserval, 137 Integral de linha, 49 elptica completa de segunda espcie, 195 por partes, 17 Laplaciano em coordenadas cilndricas, 67 em coordenadas esfricas, 68 em coordenas curvilneas, 65 Laplaciano de uma funo escalar, 47 Lei de Ampre, 54 de Ampre-Maxwell, 56 de Faraday, 55 de Gauss, 53 dos cossenos, 36 Lema de Jordan, 128 Mtodo de Frobenius, 81 de separao de variveis, 69 Mtricas em coordenadas cilndricas, 66 em coordenadas esfricas, 67 Maple, 96
210
ndice Remissivo
Mathematica, 96 MATLAB, 96 Matriz ortogonal, 62 Matriz ortogonal, 40 Monopolo magntico, 55 Mtricas, 61 Nmeros complexos, 102 adio e subtrao de, 102 conjugado de, 102 desigualdade triangular, 104 diagrama de Argand, 103 diviso de, 103 forma polar de, 104 mdulo de, 103 multiplicao de, 103 parte imaginria de, 102 parte real de, 102 de Bernoulli, 28 Operador adjunto, 178 auto-adjunto, 178 de abaixamento, 73 de levantamento, 73 diferencial L , 75, 178 momento angular, 73 nabla , 41 frmulas que envolvem o, 46 Plo de ordem n, 115 duplo, 115 simples, 115 Perodo de um pndulo simples, 29 Polinmio caracterstico, 94 Polinmios de Chebyshev, 201 de Hermite, 187 de Legendre, 27, 100
Ponto ordinrio, 81 singular, 81, 115 irregular, 81 regular, 81 Princpio de superposio, 146 Produto escalar, 34 propriedade comutativa, 34 propriedade distributiva, 34 misto, 37 vetorial, 34 mdulo de, 35 propriedade anti-comutativa, 35 propriedade distributiva, 35 Projeo de um vetor sobre um segundo vetor, 37 Regra de derivao, 16 de L'Hpital, 16 do paralelogramo, 31 Relao de recorrncia, 83 Resto da srie de Taylor, 21 Rotacional de uma funo vetorial, 44 em coordenadas cilndricas, 67 em coordenadas esfricas, 68 em coordenas curvilneas, 65 Rotao de coordenadas em trs dimenses, 39 no plano, 38 Srie de Fourier, 136 generalizada, 135 de Laurent, 116 de Maclaurin, 20 de Taylor, 18, 81, 115 de Taylor revisitada, 21 Seqncia delta, 159 Singularidade essencial, 116
ndice Remissivo
211
Sistemas de coordenadas cilndricas, 66 curvilneas, 60 esfricas, 67 ortogonais, 32, 40 retangulares, 32, 60 Teorema de Stokes, 53, 108 do divergente, 51 dos resduos, 118 integral de Cauchy domnio multiplamente conexo, 109 domnio simplesmente conexo, 108 Varivel complexa, 103, 105 Vetor componentes de um, 33 de posio, 34 em coordenadas cilndricas, 66 em coordenadas esfricas, 67 de Poyting, 59 mdulo de um, 30, 33 multiplicaao de um escalar por um, 31 oposto de um, 31 Vetores lgebra dos, 31 e escalares, 30 notao de, 17 propriedade associativa, 32 propriedade comutativa, 32 soma de, 31 subtrao de, 31 unitrios, 32 Volume de um paraleleppedo, 37 em coordenadas curvilneas, 63 Vorticidade, 44, 45, 55 Wronskiano, 77
Sobre o Autor
Edson Sardella professor do Departamento de Fsica da Faculdade de Cincias do Campus da UNESP de Bauru desde 1995. Tambm j foi professor da Faculdade de Engenharia de Ilha Solteira do Campus da UNESP de Ilha Solteira de 1985 a 1992. Foi graduado em Licenciatura em Fsica pela Universidade Federal de So Carlos em 1981. Em 1985 adquiriu o ttulo de Mestre em Fsica pelo Instituto de Fsica Gleb Wataghin da Universidade Estadual de Campinas. Ao nal de 1993 doutorou-se em Fsica pela Universidade de Manchester, Inglaterra. Sua rea de atuao em pesquisa Fsica da Matria Condensada, onde possu vrios trabalhos em Supercondutividade.