Apostila de Física Matemática

Edson Sardella
Fsica-Matemtica: Teoria e Aplicaes
So Paulo Fundao Editora da UNESP 2008
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
5 Equaes Diferenciais Ordinrias
75
75 76 77 78 81 87 94 94 95 95
Sumrio
5.8 5.9 6.1 6.2
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
8 Problemas de Valores de Contorno
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
8.4 9.1 9.2 9.3 9.4 9.5 9.6 9.7
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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9 Funo Delta de Dirac
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
11 Teoria de Sturm-Liouville: Funes Ortogonais

Introduo . . . . . . . . . . . . . . Equao Diferencial Auto-adjunta Funes Ortogonais . . . . . . . . . Problemas . . . . . . . . . . . . . .
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
Bibliograa ndice Remissivo
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
Frmulas e Funes Bsicas

1.1 Introduo
Ao longo deste livro usaremos algumas funes elementares e importantes frmulas matemticas. Embora a maioria delas de conhecimento do leitor, com o objetivo de escrever um livro auto-contido, catalogamos as principais funes elementares, suas propriedades fundamentais, bem como regras de derivao e integrao, dentre outras.
1.2 Funes Hiperblicas

As funes hiperblicas so denidas por:
sinh x = cosh x = tanh x = coth x =
1 x (e ex ) , 2 1 x (e + ex ) , 2 sinh x , cosh x cosh x . sinh x
(1.1)
Captulo 1: Frmulas e Funes Bsicas
15
1.3 Relaes de Euler

Existem importantes relaes entre as funes trigonomtricas e a exponencial. Estas so conhecidas como relaes de Euler.1 Temos
cos sin
onde i =
= =
1 i (e + ei ) , 2 1 i (e ei ) , 2i
(1.2)
1 a unidade imaginria.
1.4 Relaes entre Funes Trigonomtricas e Hiperblicas

sin(ix) = sinh(x) , cos(ix) = cosh(x) , tan(ix) = tanh(x) , cot(ix) = coth(x) .
(1.3)
1.5 Propriedades Bsicas da Funo ln x

Embora de conhecimento do leitor, convm relembrar algumas propriedades importantes da funo ln x. Estas propriedades so muito usadas na determinao da segunda soluo de equaes diferenciais lineares de segunda ordem. Temos
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
1.6 Fatorial e Duplo Fatorial

muito freqente o aparecimento de fatorial e duplo fatorial em problemas de Fsica-Matemtica. Temos
n! = (2n)!! =
n (n 1) (n 2) . . . 2 1 , (2n) (2n 2) . . . 4 2 ,
(2n + 1)!! = (2n + 1) (2n 1) . . . 3 1 .

A segunda (terceira) das relaes acima representa o produto somente dos nmeros pares (mpares). Note que as denies acima seguem as seguintes propriedades
(n + 1)! = (n + 1)n! , (2n)!! = 2n n! , (2n)! , (2n)!! = (2n 1)!! (2n + 1)! (2n + 1)!! = . (2n)!!
(1.5)
1.7 Regras de Derivao

Derivada do produto e do quociente de duas funes:
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)
1.8 Regra de L'Hpital

Considere duas funes f (x) e g(x) diferenciveis em a < x < b; seja x0 um ponto neste intervalo tal que f (x0 ) = g(x0 ) = 0. Ento
Captulo 1: Frmulas e Funes Bsicas
17
xx0
lim
f (x) f (x) = lim , xx0 g (x) g(x)
(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 /.
1.9 Integrao por Partes

Seja u e v duas funes reais de uma varivel x. Ento
u dv = uv
v du .
(1.9)
1.10 Notao de Vetores

Para nalizar, importante chamar a ateno do leitor para a notao de vetores que usaremos. Denotaremos um vetor por uma letra em negrito como em F, e seu mdulo pela mesma letra, porm em itlico como em F .
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.
2.2 Srie de Taylor

Consideremos uma funo f (x). Suponhamos que f (x) e suas derivadas de todas as ordens f (x), f (x), . . ., f (j) (x) so continuas no intervalo b x c. Aqui usamos a notao
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)
f (j1) (x) f (j1) (a) .
(2.2)
Captulo 2: Sries Innitas
19
Integrando novamente, encontramos

x a a x
f (j) (x) dx
dx =
a
f (j1) (x) f (j1) (a) dx
f (j2) (x) f (j2) (a) (x a)f (j1) (a) , (2.3)
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 (j3) (x) f (j3) (a) (x a)f (j2) (a)
Continuando este processo, obtemos para a n-sima integral

x a a (jn) x x
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
= f (x) f (a) (x a)f (a) (x a)n1 (n1) f (a) . (n 1)!
(x a)2 f (a) 2!
(2.6)
Resolvendo para f (x), nalmente encontramos
20
f (x)
= f (a) + (x a)f (a) + + +
(x a)2 f (a) 2!
(2.7)
(x a)n1 (n1) f (a) + Rn , (n 1)!
onde Rn conhecido como o resto da srie e denido por

x x x
Rn =
a a
f (n) (x) dx dx dx .
nintegrais
(2.8)
Quando a funo f (x) for tal que
lim Rn = 0 ,
(2.9)
ento a srie torna-se uma soma innita de termos. Temos
f (x) = =
f (a) + (x a)f (a) +

n=0
(x a)2 f (a) + 2!
(2.10)
f (n) (a) (x a)n . n!
Esta srie conhecida como srie de Taylor.1
2.3 Srie de Maclaurin

A expanso de uma funo em srie de Taylor em torno da origem conhecida como srie de Maclaurin. Tomando-se a = 0 em (2.10), obtemos
f (x) = =
f (0) + xf (0) +
n=0
x2 f (0) + 2!
(2.11)
f (n) (0) n x . n!
1 Publicado pelo matemtico ingls Brook Taylor (1685 - 1731) em 1715.
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)
Aplicando este teorema para a integral mais interior de (2.8), temos

x x x
Rn
=
a a
f (n) ()(x a) dx dx dx
(n1)integrais
(x a)n f (n) () . n!
(2.13)
2.5 Srie de Taylor Revisitada

Nesta Seo mostraremos uma outra forma de obtermos a srie de Taylor. Considere uma funo f (x) com derivadas contnuas de todas as ordens no intervalo x h. Seja a seguinte integral
+h
I=
f (x) dx = f ( + h) f () .
(2.14)
Por meio da mudana de varivel x = + h t, podemos reescrever a integral acima como

h
I=
0
f ( + h t) dt .
(2.15)
Integrando por partes, obtemos

h
= =
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)
Podemos escrever a srie numa forma mais familiar usando = 0 e h = x,
f (x) = f (0) + xf (0) +
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)
pois x. Uma vez que x nito, podemos concluir que
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
Soluo: Derivando, fcil mostrar que f (n) (x) = (1)n1 (n 1)!(1 +
ln(1 + x) = =
(2.23)
Usando (2.13), o resto pode ser escrito como
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)
Neste caso, o resto dado por
Rn
m(m 1)(m 2) (m n + 1) xn (1 + )nm n! xn m(m 1)(m 2) (m n + 1) , 0 x , (2.27) n!
pois 1/(1 + )nm mxima quando = 0. Supondo 0 x 1,
24
lim Rn = lim m(m 1)(m 2) (m n + 1)

n
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)
O potencial eltrico em P , no sistema CGS dado por
25
y P r2 r q a +q x +a r1
Figura 2.1: Dipolo eltrico.
(r, ) = =
q q r1 r 2 q r 1+
1
a2 2ar cos 1/2 r2
1+
.(2.34)
a2 +2ar cos 1/2 r2
Usando a expanso binomial, vem que
(r, )
q r
1 a2 2ar cos 2 r2 2 1 a + 2ar cos 1+ 2 r2 q 2a cos + . r r 1+
+ +
(2.35)
Desprezando termos de ordem igual ou superior a (a/r)2 , obtemos a equao (2.32).
2.6 Critrio de Convergncia de d'Alembert

Considere uma srie innita na sua forma geral
26
f (x) = =
a0 + a1 x + a2 x2 +
an xn .
n=0
(2.36)
O critrio de d'Alembert2 estabelece que, se o limite
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
an+1 1 =0, = lim n n + 1 an
(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
an+1 1 n = lim =1. = lim n 1 n n + 1 an
(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,
mn an+1 = lim =1. n n + 1 an Ento a srie converge no intervalo 1 < x < 1.

n
lim
(2.41)
2.7 Problemas
2.1 Mostrar que
sin x =
n=0
(1)n (1)n
n=0
x2n+1 , (2n + 1)! x2n . (2n)!
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
eix = cos x + i sin x ,

onde i a unidade imaginria. 2.3 Expandir (12tz +t2 )1/2 em potncias de t. Obter os coecientes de t0 , t1 , e t2 . O resultado que voc acaba de encontrar so os chamados polinmios de Legendre, P0 (z), P1 (z), P2 (z).
28
2.4 Obter os seguintes desenvolvimentos

(2n1)!! x2n+1 n=1 (2n)!! 2n+1 , |x| 1 , 2 4 6 (b) ecos x = e 1 x + 4x 31x + , |x| < , 2! 4! 6! 2n+1 (c) ln(x + x2 + 1) = x + n=1 (1)n (2n1)!! x (2n)!! 2n+1 ,
(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
1 obtemos a expresso clssica de Galileu
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
Note que no limite gt/c Galileu.
1, y = gt2 /2, que a expresso clssica de
2.9 O perodo de um pndulo simples dado pela seguinte equao
T =4
l g
/2 0
1 sin2
M 2
1/2
sin2
d ,
onde M a amplitude mxima de oscilao. So dadas as seguintes integrais

/2 0
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
2.10 A teoria de radiao do corpo negro de Planck envolve a seguinte integral:

0
ex
x3 dx . 1
Mostrar que esta integral igual a 4 /15.
Sugesto: Primeiramente, usar a expanso binomial e mostrar que
(1 ex )1 =
n=0
enx .
Segundo, usar os seguintes resultados

n=1
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.
Figura 3.1: Representao grca de um vetor.
Captulo 3: Anlise Vetorial
31
3.2 lgebra dos Vetores

Dois vetores so iguais se e somente se possuem o mesmo mdulo, a mesma direo e o mesmo sentido. Na Fig. 3.1, A = B. Dizemos que dois vetores so paralelos se tiverem a mesma direo. O oposto de um vetor A um vetor que possui o mesmo mdulo, a mesma direo, porm sentido oposto ao de A. Denotamos este por A (ver Fig. 3.2).
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.4: Subtrao de vetores.

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)
a qual pode ser vericada facilmente usando a regra do polgono.
3.3 Vetores Unitrios

Denominamos por vetor unitrio aquele que possui mdulo exatamente igual a um. Se A um vetor de mdulo A, ento a = A/A um vetor unitrio de mesma direo e sentido de A.
3.4 Sistema de Coordenadas Retangulares

Considere trs vetores unitrios i, j, e k. Cada um deles dene o sentido positivo dos eixos coordenados (x, y, z) (ver Fig. 3.6). Os vetores unitrios so mutuamente perpendiculares. Assim, este sistema de coordenadas ortogonal. Todo vetor A pode ser escrito como uma combinao linear dos vetores unitrios (ver Fig. 3.7). Temos
33
Figura 3.6: Vetores unitrios i, j, k.
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).
3.5 Produto Escalar

O produto escalar entre dois vetores u e v, denotado por u v, denido por
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)
Usando-se (3.6) e a propriedade distributiva podemos reescrever o produto escalar como
u v = ux vx + uy vy + uz vz .
(3.9)
Note tambm que (a) uu = u2 ; (b) uv = 0 se u e v so perpendiculares.
3.6 Produto Vetorial

Denota-se por uv o produto vetorial entre dois vetores u e v, cujo mdulo dado por
|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
= (ux i + uy j + uz k) (vx i + vy j + vz k) = (uy vz uz vy )i + (uz vx ux vz )j + (ux vy uy vx )k . (3.14)
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
(u v) (u v) = (uy vz uz vy )2 + (ux vz uz vx )2 + (ux vy uy vx )2 2 2 = u2 vz + u2 vy 2uy uz vy vz y z
36

2 2 +u2 vx + u2 vz 2ux uz vx vz z x 2 2 +u2 vy + u2 vx 2ux uy vx vy x y 2 2 +u2 vx u2 vx x x 2 2 +u2 vy u2 vy y y 2 2 +u2 vz u2 vz , z z
(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) = = = =
u2 v 2 (u v)2 u2 v 2 (uv cos )2 u2 v 2 (1 cos2 ) u2 v 2 sin2 .
(3.17)
Extraindo a raiz quadrada, obtemos o resultado desejado (3.10).
3.7 Lei dos Cossenos

Seja w = u + v. Temos
w2
= = = =
(u + v) (u + v) uu+uv+vu+vv u2 + v 2 + 2u v u2 + v 2 + 2uv cos ,
(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)
3.8 Produtos Duplos

Os produtos escalar e vetorial podem se combinados de vrias maneiras, tais como:
37
1. Produto misto:
u (v w) = (w u) v = (u v) w =
ux vx wx
uy vy wy
uz vz wz
. (3.20)
2. Duplo produto vetorial:
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
(A n)(|B C|) = A (|B C|n) = A (B C) .
(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:
3.9 Projeo de um Vetor

Consideremos um vetor u que forma um ngulo com um segundo vetor s (ver Fig. 3.9). A projeo de u sobre s denida como sendo o mdulo de u vezes o cosseno do ngulo entre os dois vetores:
us = u cos .
(3.23)
38
Lembrando que u = ux i + uy j + uz k, a equao acima pode ser usada recursivamente para obtermos
us = ux cos(i, s) + uy cos(j, s) + uz cos(k, s) ,

onde, por exemplo, (i, s) o ngulo formado entre (i e s).
z
(3.24)
s
1 u y
Figura 3.9:
3.10 Rotao de Coordenadas

Considere uma rotao do sistema de coordenadas retangulares (x, y) de um ngulo em torno do eixo z (ver Fig. 3.10). Denotemos por (x , y ) as coordenadas do sistema rotacionado. O nosso objetivo saber como se relacionam as componentes de um vetor u nos dois sistemas de coordenadas. Usando (3.24), as coordenadas do vetor u no sistema de coordenadas (x , y ) sero dadas por
ux
= ux cos(i , i) + uy cos(i , j) = ux cos + uy cos(/2 ) = ux cos + uy sin ,
(3.25)
39
Figura 3.10:
uy
= = =
ux cos(j , i) + uy cos(j , j) ux cos(/2 + ) + uy cos ux sin + uy cos .
(3.26)
Considere a generalizao para o caso tri-dimensional. Temos
ux uy uz
= ux cos(i , i) + uy cos(i , j) + uz cos(i , k) , = ux cos(j , i) + uy cos(j , j) + uz cos(j , k) , = ux cos(k , i) + uy cos(k , j) + uz cos(k , k) .
(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
= a11 u1 + a12 u2 + a13 u3 , = a21 u1 + a22 u2 + a23 u3 , = a31 u1 + a32 u2 + a33 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
ou ainda na forma abreviada usando somatrio

3
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)
i = a11 i + a21 j + a31 k .

Analogamente, substituindo u por (0, 1, 0) ou (0, 0, 1) , obtemos
(3.32)
j = a12 i + a22 j + a32 k ,

e
(3.33)
k = a13 i + a23 j + a33 k .
(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)
onde ij conhecido como delta de Kronecker.
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
a13 a23 a33
x1 x2 x3
.
(3.39)
O vetor coluna que aparece em ambos os lados da equao acima conhecido como vetor gradiente da funo ,
+j +k , x y z onde o operador nabla denido por =i =i
(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 = = =
dx + dy + dz x y z i +j +k (idx + jdy + kdz) x y z dr .
(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)
Substituindo na equao do gradiente (3.40), encontramos
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.
3.14 Exemplos de Campos Vetoriais

1 0.8 0.6 0.4 0.2
0 -0.2 -0.4 -0.6 -0.8 -1 -1 -0.5 0 0.5 1
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
1 0.8 0.6 0.4 0.2
0 -0.2 -0.4 -0.6 -0.8 -1 -1 -0.5 0 0.5 1
x
Figura 3.14: Campo vetorial A = yi + xj.
3.15 Frmulas que Envolvem
Supondo que as derivadas parciais de f , g , u, e v existem, ento so vlidas as seguintes identidades
(f + g) = (f g) = f (f u) = f (f u) = f (
f+
g,
(3.48) (3.49)
g+g f , u+u f,
(3.50) (3.51) (3.52) (3.53)
u) + ( f ) u ,
( f) = 0 , ( u) = 0 ,
47
1 0.8 0.6 0.4 0.2
0 -0.2 -0.4 -0.6 -0.8 -1 -1 -0.5 0 0.5 1
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
Esta ltima conhecida como o Laplaciano de f . Tambm temos
(
2
u) =
2
(
2
u)
u,
(3.58) (3.59)
(f g) = f
g+g
f + 2( f ) ( g) .
Calcular
Exemplo 3.2 As foras centrais podem ser escritas como F = f (r)r.

(f (r)r).
48
Soluo: Usando a identidade (3.51), temos que

(f (r)r) = f r+ f r.
(3.60) Usando a denio de rotacional (3.47) fcil mostrar que r = 0. Com efeito (f (r)r) = f r. Uma vez que f depende apenas do mdulo de r, temos
= =
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)
Similarmente ao Exemplo 3.1, obtemos
f = (r/r)df /dr. Portanto, r=0.

(3.62)
(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)
Exemplo 3.4 Calcular
Agora, usando a identidade (3.50) e o resultado do Exemplo 3.3, obtemos
( 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
( g(r)) = n(n + 1)rn2 .
(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.
3.16 Integral de Linha

Consideremos (x, y, z) uma funo escalar e u(x, y, z) uma funo vetorial. Basicamente, existem trs formas de integral de linha. So elas,
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
Figura 3.17: O caminho C dado por y = x2 .
Soluo: Ao longo do caminho C , y = x2 . Temos
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)
3.17 Teorema do Divergente

Seja V um volume limitado por uma superfcie fechada S . Suponhamos que as componentes de um vetor u tenham derivadas parciais contnuas em S e no seu interior. Ento
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
(valor de ux na face 1)yz , (valor de ux na face 2)yz .

O uxo lquido ento dado 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
Figura 3.18: A face 1 corresponde ao plano x = 0 e a face 2 paralela a este plano.
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)
3.18 Teorema de Stokes

Seja S uma superfcie bilateral limitada por uma curva fechada C . O teorema de Stokes estabelece que
u n dS =
S C
u dr .
(3.78)
Deixaremos de lado a demonstrao deste teorema.
3.19 Equaes de Maxwell

3.19.1 Lei de Gauss
Esta lei arma que o campo eltrico E produzido por uma certa distribuio de carga pode ser determinado pela equao
E n dS =
S
q
0
(3.79)
onde q a carga total no interior de S .1 Pelo teorema do divergente (3.71), temos
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)
Substituindo as duas ltimas equaes em (3.79), obtemos
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)
Esta a lei de Gauss na forma diferencial.
3.19.2 Lei de Ampre

O campo magntico B no interior e nas vizinhanas de uma distribuio de corrente pode ser calculado pela lei de Ampre, a qual estabelece que
B dr = 0 I ,
C
(3.84)
onde I a corrente total no interior de C .2 Do teorema de Stokes (3.78), temos que
B dr =
C S
B n dS .
(3.85)
Agora, a corrente total no interior de C em termos da densidade de corrente J dada por
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)
Sendo S uma superfcie inteiramente arbitrria, encontramos
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
3.19.3 Lei de Faraday

O campo eltrico pode ser gerado por um campo magntico que varia no tempo. A lei de Faraday3 estabelece que
E dr =
C
d dt
B n dS .
S
(3.89)
Usando o teorema de Stokes no lado esquerdo da lei de Faraday, encontramos
E+
S
B t
n dS = 0 .
(3.90)
Com efeito
E=
B , t
(3.91)
que a lei de Faraday escrita na forma diferencial.
3.19.4 Ausncia de Monopolo Magntico

Assumindo que as linhas de campo magntico tem uma vorticidade, o uxo de campo magntico atravs de qualquer superfcie fechada anula-se,
B n dS = 0 .
S
(3.92)
Pelo teorema do divergente (3.71), temos que
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
3.19.5 Lei de Ampre-Maxwell

J mencionamos anteriormente que a lei de Ampre no descreve satisfatoriamente a conservao da carga. Vejamos por que. Da equao (3.88), e usando a identidade (3.53), temos que
B) = 0
J=0.
(3.95)
Este resultado est em desacordo com a equao de continuidade que expressa a conservao da carga,
=0. t Agora, usando a lei de Gauss (3.83), temos que J+ J+

0
(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)
A densidade de corrente de deslocamento Jd pode ser determinada observando-se que
( B) = 0 (J + Jd ) = 0 . Comparando esta equao com (3.97), obtemos Jd =

0
(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)
Supor a (b c) = 0. Mostrar que
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
onde V o volume limitado pela superfcie fechada S . 3.10 Se B =
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
Usando as equaes de Maxwell, mostrar que
U =JE+ t
S,
onde S o vetor de Poyting e dado por
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
2 f (z, t) 1 2 f (z, t) = 2 , z 2 c t2 onde c = 1/ 0

0
a velocidade da luz no vcuo.
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
x = x(q1 , q2 , q3 ) , y = y(q1 , q2 , q3 ) , z = z(q1 , q2 , q3 ) .
(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
= = =
x dq1 + q1 y dq1 + q1 z dq1 + q1
x dq2 + q2 y dq2 + q2 z dq2 + q2
x dq3 , q3 y dq3 , q3 z dq3 . q3
(4.2)
Captulo 4: Coordenadas Curvilneas
61
Estas trs equaes tambm podem ser escritas abreviadamente como

3
dxi =
j=1
xi dqj . qj
(4.3)
Primeiramente, consideremos q2 e q3 constantes. Ento,
dr
= (dxi + dyj + dzk)q2 ,q3 x y z = i+ j+ k dq1 q1 q1 q1 r = dq1 . q1 q2 ,q3
(4.4)
O vetor
r q1
tantes. Denotando por a1 o vetor unitrio na direo do eixo q1 , podemos escrever
q2 ,q3
tangencial curva descrita por r com q2 e q3 cons-
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
Tambm podemos escrever na forma compacta,
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)
k=1 l=1 3 k=1
xk xk . qi qj
Se assumirmos que os novos vetores unitrios so ortogonais, ou seja, ai j = a ij , ento
1 hi hj
3 k=1
xk xk = ij . qi qj
(4.14)
Assim, Aij = (xi /qj )/hj uma matriz ortogonal.
4.2 Elementos de Comprimento, rea, e Volume

O comprimento de um elemento de arco ds dado por
63
ds2
= dr dr = (dx)2 + (dy)2 + (dz)2

3
=
i=1
dx2 . i
(4.15)
Usando a equao (4.3), temos que

3 3
ds
=
i=1 j=1 3 3
xi dqj qj
3 i=1
3 k=1
xi dqk qk dqj dqk
=
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
dV = h1 h2 h3 dq1 dq2 dq3 .
(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 .
4.3 Gradiente, Divergente, e Rotacional

Seja (x, y, z) uma funo escalar com derivadas parciais contnuas. Usando a regra da cadeia, temos que
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)
De forma anloga, podemos mostrar que
q2 q3
= ( ) (h2 a2 ) , = ( ) (h3 a3 ) .
(4.19) (4.20)
As trs ltimas equaes tm solues nicas e so dadas por
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)
Na forma diferencial o uxo lquido total pode ser escrito como
(u1 h2 h3 ) (u2 h1 h3 ) (u3 h1 h2 ) + + dq1 dq2 dq3 = q1 q2 q3
udV .
(4.23)
Por outro lado, usando a expresso do elemento de volume em coordenadas curvilneas (4.17), obtemos
65
Figura 4.1: Elemento de volume em coordenadas curvilneas.
u=
1 (u1 h2 h3 ) (u2 h1 h3 ) (u3 h1 h2 ) + + h1 h2 h3 q1 q2 q3
(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
4.4 Coordenadas Cilndricas

Equaes transformativas:
x = cos , y = sin ,
z=z,
(4.27)
onde 0, 0 2 , z (ver Fig. 4.2).
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)
4.5 Coordenadas Esfricas

Equaes transformativas:
x = r sin cos ,
y = r sin sin ,
z = r cos ,
(4.35)
onde r 0, 0 , 0 2 (ver Fig. 4.3). Vetor de posio:
r
Mtricas:
= r sin cos i + r sin sin j + r cos k = rr0 .
(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
Figura 4.3: Coordenadas esfricas. Gradiente:
= r0
Divergente:
1 1 + 0 + 0 . r r r sin
(4.39)
u=
r2
1 u sin (r2 ur ) + r (sin u ) + r sin r
(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)
4.6 Separao de Variveis

No que segue abaixo, listamos algumas das principais equaes diferenciais parciais da fsica.
69
Equao de Laplace:
2
=0.
(4.43)
Equao de Poisson:
2
(4.44)
Equao de difuso independente do tempo:

2
k2 = 0 .
(4.45)
Equao de difuso dependente do tempo:

2
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
(x, y, z) = X(x)Y (y)Z(z) .

Substituindo esta equao em (4.45), obtemos
(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)
Rearranjando a ltima das duas equaes, tambm podemos escrever
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
almn lmn (x, y, z) .
(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
Usando o mtodo de separao de variveis, podemos escrever
(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
1 d2 + m2 = 0 , d2 dR 1 d QR r2 + k2 R 2 = 0 , r2 dr dr r 2 1 d d m sin + Q = 0 , sin d d sin2
(4.59) (4.60) (4.61)
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)
A mudana de varivel x = cos , e o uso da regra da cadeia nos leva a equao
(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 cosh u cos v , = a sinh u sin v , = 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
1 sin + cos cos , r r r sin
73
y z
= sin sin
1 cos + cos sin + , r r r sin 1 = cos sin . r r

xj qi
Sugesto : Calcular a inversa da matriz pela matriz coluna (/r, /, /).
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
(b) Mostrar que

+ i cot , i cot Lx iLy = ei
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
Equaes Diferenciais Ordinrias

5.1 Introduo
Uma equao diferencial ordinria e linear de segunda ordem tem a seguinte forma geral
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
A equao (5.1) tambm pode ser escrita na forma
d2 y dy + P (x) + Q(x)y = R(x) , dx2 dx

onde
(5.5)
P (x) = Q(x) = R(x) =
B(x) , A(x) C(x) , A(x) D(x) . A(x)
(5.6) (5.7) (5.8)
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.
5.2 Soluo Geral da EDH

Considere 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)
Captulo 5: Equaes Diferenciais Ordinrias
77
y1 y2 y1 y2 = 0 .
A funo
(5.12)
W (x) = y1 (x)y2 (x) y1 (x)y2 (x) ,
(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.3 Segunda Soluo

Agora aprenderemos como construir uma soluo y2 (x) dado que conhecemos uma primeira soluo y1 (x). Derivando (5.13), obtemos
= = =
y1 y2 + y1 y2 y1 y2 y1 y2 y1 [P (x)y2 Q(x)y2 ] y2 [P (x)y1 Q(x)y1 ] P (x)(y1 y2 y1 y2 ) .
(5.16)
A expresso entre parnteses exatamente o Wronskiano. Temos
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)
onde C uma constante de integrao. O Wronskiano pode ser facilmente obtido
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)
Integrando esta ltima equao, encontramos
y2 (x) = y1 (x)
e P (x) dx dx , [y1 (x)]2
(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.4 Soluo Geral da EDNH

Se u(x) uma soluo particular de (5.5), ento a soluo geral da EDNH dada por
y = C1 y1 (x) + C2 y2 (x) + u(x) .
(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
u(x) = v1 (x)y1 (x) + v2 (x)y2 (x) .
(5.24)
O prximo passo a determinao de v1 e v2 . Derivando u(x), temos
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
v1 (x)y1 (x) + v2 (x)y2 (x) = (v1 + g)y1 + v2 g
y1 y2
y2 .
(5.26)
Portanto, podemos escolher v1 e v2 convenientemente tal que
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)
v1 y1 + v2 y2 + v1 [y1 + P (x)y1 + Q(x)y1 ] +v2 [y2 + P (x)y2 + Q(x)y2 ] = R .
(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)
Integrando, nalmente obtemos
80
v1 (x) v2 (x)
= =
y2 (x)R(x) dx , W (x) y1 (x)R(x) dx . W (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)
Substituindo estes resultados em (5.24), vem que
u(x) =
1 2
1 2
ex .
(5.41)
81
5.5 Mtodo de Frobenius

Consideremos a EDH na forma geral
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
d2 y R1 (x) dy R2 (x) + + y=0, 2 dx (x a) dx (x a)2
(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
lim (x a)P (x) ,

(5.45)
lim (x a)2 Q(x) .
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)
Substituindo na EDH, obtemos

(1 + x )
j=0
cj j(j 1)x
j2
+x
j=0
cj jx
j1
j=0
cj xj = 0 ,
(5.49)
que ainda pode ser escrita como

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)
A primeira soma tambm pode ser escrita como

1 Ferdinand Georg Frobenius (1849 - 1917), nasceu em Berlim, Alemanha.
83
cj j(j 1)xj2
j=0
=
j=2
cj j(j 1)xj2 cj+2 (j + 2)(j + 1)xj .

j=0
=
Substituindo em (5.50), encontramos
(5.51)
{cj+2 (j + 2)(j + 1) + cj [j(j 1) + j 1]} xj = 0 .

j=0
(5.52)
Igualando a zero todas os coecientes das potncias de x, encontramos
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)
2k 3 c2k2 2k (2k 3)(2k 5) c2k4 2k(2k 2) (2k 3)!! c0 , 2k k!
= (1)k+1
k2.
(5.55)
A soluo geral da EDH dada por
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
= 1. Portanto, a srie converge
84
Exemplo 5.3 Resolver a EDH

2x2 y xy + (x2 + 1)y = 0 ,
(5.57)
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)
Substituindo na EDH, vem que

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)
2cj (j + s)(j + s 1)xj+s +

j=0 j=0
(1)cj (j + s)xj+s
+
j=0
cj xj+s+2 +
j=0
cj xj+s = 0 .
j=2
(5.61)
A terceira soma tambm pode ser escrita como seqentemente,
cj2 xj+s . Con-
85
c0 [2s(s 1) s + 1] xs + c1 [2(s + 1)s (s + 1) + 1] xs+1
+
j=2
{cj [2(j + s)(j + s 1) (j + s) + 1] + cj2 } xj+s = 0 .
(5.62)
Todos os coecientes da srie devem se anular. Temos
c0 [2s(s 1) s + 1] = 0 , c1 [2(s + 1)s (s + 1) + 1] = 0 .
(5.63)
A primeira destas equaes conhecida como equao indicial.2 Supor c0 = 0. Ento
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
cj [2(j + s)(j + s 1) (j + s) + 1] + cj2 = 0 ,

ou ainda
(5.65)
cj =
1 cj2 . (j + s)(2j + 2s 3) + 1
(5.66)
Para s = 1/2, esta equao toma a forma
cj =
1 cj2 j(2j 1)
(5.67)
A partir desta relao de recorrncia geramos todos os coecientes da srie,

2 Do ingls, indicial. Alguns autores traduzem este termo por indicadora. J em outros livros este termo no recebeu traduo permanecendo como equao indicial. Neste livro usamos esta ltima opo.
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)
Igualmente para s = 1, obtemos
cj =
1 cj2 , j(2j + 1)
(5.70)
c2 c4
= =
. . .
1 1 c0 = c0 , 25 10 1 1 c2 = c0 , 49 360
(5.71)
Substituindo os coecientes na srie, com s = 1, obtemos uma segunda soluo
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
5.6 Equao Indicial

As solues da equao indicial podem ser classicadas em trs casos: 1. as razes so distintas, no diferindo por um inteiro; 2. as razes so iguais; 3. as razes so distintas, porm diferindo por um inteiro. O primeiro caso est ilustrado no Exemplo 5.3. Quando as razes s1 e s2 da equao indicial so iguais, as solues correspondentes so idnticas. Neste caso as duas solues linearmente independentes so obtidas por
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)
cj [(j + s)(j + s 1) + (j + s)] xj+s1 +

j=0 j=0
(1)cj xj+s = 0 . (5.78)
Fazendo a mudana de ndice j (j + 1) na primeira soma, temos que
c0 [s(s 1) + s] xs1 +
j=0
cj+1 [(j + 1 + s)(j + s) + (j + 1 + s)] xj+s
+
j=0
(1)cj xj+s = 0 ,
(5.79)
ou ainda
c0 s2 xs1 +
j=0
cj+1 (j + s + 1)2 cj xj+s = 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
Captulo 5: Equaes Diferenciais Ordinrias . . .
89
cn
1 c0 . (n!)2
(5.82)
Uma soluo ento dada por
y1 (x) = y(x, s)|s=0 = c0 1 + x +
1 2 1 3 x + x + . (2!)2 (3!)2
(5.83)
Da primeira das equaes (5.59), temos para y2 (x)
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
= = =
. . .
1 c0 , (s + 1)2 1 c , 2 (s + 2)2 0 (s + 1) 1 c0 , (s + 1)2 (s + 2)2 (s + 3)2 1 (s + 1)2 (s + 2)2 (s + 3)2 (s + n)2
cn
c0 .
(5.85)
Embora envolvendo uma extensa lgebra, fcil mostrar que
dc1 ds dc2 ds dc3 ds
=
s=0
2c0 , 2 (2!)2 2 (3!)2 1 c0 , 2 1 1 1+ + c0 . 2 3 1+
=
s=0
=
s=0
(5.86)
90
Substituindo (5.82) e (5.86) em (5.84), nalmente obtemos
y2 (x)
= c0 ln x 1 + x + 2c0
1 2 1 3 x + x + 2 (2!) (3!)2 x2 1 x3 1 1 x+ 1+ + 1+ + 2 2 (2!) 2 (3!) 2 3
+ .
(5.87)

x2 y + 2xy + (x2 2)y = 0 ,
(5.88)
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
2cj (j + s)xj+s (2)cj xj+s = 0 .

(5.91)
+
j=0
cj xj+s+2 +
j=0
A terceira soma tambm pode ser escrita como seqentemente,
j=2
cj2 xj+s . Con-
91
c0 [s(s 1) + 2s 2] xs + c1 [(s + 1)s + 2(s + 1) 2] xs+1
+
j=2
{cj [(j + s)(j + s 1) + 2(j + 2) 2] + cj2 } xj+2 = 0 .
(5.92)
Todos os coecientes da srie devem se anular. Temos
c0 [s(s 1) + 2s 2] c1 [(s + 1)s2(s + 1) 2]

Supor c0 = 0. Ento
= =
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
cj [(j + s)(j + s 1) + 2(j + 2) 2] + cj2 = 0 ,

ou ainda
(5.95) (5.96)
cj =
1 cj2 . (j + s 1)(j + s + 2)
A partir desta relao de recorrncia, para s = 1 geramos todos os coecientes da srie
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
1 x2k 2k k!(2k + 3)!!
(5.98)
Igualmente, para s = 2, obtemos
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
1 x2k (2k 3)!!(2k)!!
.
(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

xy 3y + xy = 0 ,
(5.101)
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
1 x4 224 1 1 + x6 x8 . 246 2 42 6 8 22 22 (5.105)
94
y2 (x) =
y (x, 0) 1 1 = y1 (x) ln x + 1 + 2 x2 + 5 x4 s 2 2 2! s=0 1 1 1 1+ + x6 6 2 3!1! 2 3 1 1 1 1 1 8 8 1+ + + + x . (5.106) 2 4!2! 2 3 4 2
5.7 Coecientes Constantes

A equao
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.7.1 Razes Reais e Distintas

Se p1 = p2 , ento a soluo geral da EDH ser
y(x) = C1 ep1 x + C2 ep2 x .
(5.110)
95
5.7.2 Razes Reais e Iguais

Se b2 4c = 0, o polinmio caracterstico possui apenas uma soluo p1 = p2 = p = b/2. Ento, uma soluo da EDH dada por y1 (x) = ebx/2 . Substituindo em (5.22), obtemos y2 (x) = xebx/2 . Logo a soluo geral da EDH
y(x) = (C1 + C2 x)ebx/2 .
(5.111)
5.7.3 Razes Complexas

Sejam p = i duas razes complexas do polinmio caracterstico. Usando a frmula de Euler, obtemos a soluo geral da EDH
y(x) = C1 e(+i)x + C2 e(i)x = ex [B1 cos(x) + B2 sin(x)] ,

(5.112) onde B1 = C1 + C2 e B2 = C1 iC2 . Exemplo 5.7 Resolver a equao do oscilador harmnico simples
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)
5.8 Solues Numricas

Em geral, os problemas de fsica e engenharia no possuem solues exatas. Se estivermos interessados em solues analticas, necessrio usar mtodos perturbativos. Em geral estes mtodos funcionam da seguinte forma. Primeiramente identicamos o termo da equao diferencial o qual torna a soluo no-exata; este o termo perturbativo. Em seguida, consideramos a equao diferencial na ausncia deste termo, e determinamos as solues exatas. A seguir, expandimos a soluo da equao diferencial original como uma combinao linear das solues exatas no-perturbadas. Finalmente, determinamos os coecientes da expanso. Em geral, somente os poucos primeiros coecientes da expanso podem ser determinados, o que torna a soluo muito restrita.
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)
-0.1 -0.2 -0.3 -0.4 -0.5 -0.6 0 1 2 3 4 5 6 7 8 9 10
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:
(a) y x2 y y = 0 , (b) y + (x 1)y + y = 0 .

5.4 Tomando-se c0 = 1/3, mostre que y1 (x) do Exemplo 5.5 torna-se
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:
(a) 3xy + 2y + x2 y = 0 , (b) 2(x2 + x3 )y (x 3x2 )y + y = 0 , (c) xy + y + x2 y = 0 .

Em cada um dos casos acima determinar os pontos singulares da EDH (se houver) e classica-los em regular ou irregular.
5 Friedrich Wilhelm Bessel (1784 - 1846). Matemtico, astrnomo e geodesista alemo.
99
5.6 Considere a equao diferencial linear homognea de segunda ordem de Legendre6
(1 x2 )y 2xy + n(n + 1)y = 0 .

Resolver esta equao usando o mtodo de Frobenius. Siga as seguintes etapas:
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 relao de recorrncia dada por cj+2 = (j n)(j + n + 1) cj . (j + 1)(j + 2)
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
(2l 2j)! xl2j , j!(l 2j)!(l j)!
l l onde [ 2 ] indica o maior inteiro menor ou igual a 2 .
Vericar que esta frmula verdadeira para l = 0, 1, 2, 3.

Outra representao til dos polinmios de Legendre a chamada frmula de Rodrigues
Pl (x) =
1 dl 2 (x 1)l . 2l l! dxl
Vericar que esta frmula verdadeira para l = 0, 1, 2.

5.7 Considere a equao diferencial linear homognea de segunda ordem de Bessel
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
Mostrar que a soluo correspondente a s = n dada por
y1 (x) =
xn 1
1 1 x2 + 4 x4 + 1) 2 2!(n + 1)(n + 2) 1 6 x6 + . 2 3!(n + 1)(n + 2)(n + 3) 22 (n
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.
6.2 Nmeros Complexos

Sejam a e b dois nmeros reais. Denimos um nmero complexo z como sendo z = a + ib. Dado um nmero complexo z = a + ib, denotamos a por parte real de z e b por parte imaginria de z : a = Re(z), b = Im(z). Denotamos um nmero complexo de imaginrio puro se sua parte real for nula, isto , z = ib. Chamamos de conjugado de um nmero complexo z = a + ib, e o denotamos por z , o nmero cuja parte real igual a Re(z) e a parte imaginria igual ao oposto de Im(z). Assim, z = a ib.
6.2.1 Operaes com Nmeros Complexos

Adio e Subtrao
A soma (subtrao) de dois nmeros complexos z1 = a + ib e z2 = c + id, obtida somando-se (subtraindo-se) as partes reais e imaginrias. Assim,
Captulo 6: Variveis Complexas
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
z1 z2 = (ac bd) + i(ad + bc) .

Ento, segue desta propriedade que z z = a2 + b2 .
(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
6.2.2 Representao Grca de um Nmero Complexo

A partir de agora usaremos a terminologia varivel complexa para enfatizar que as partes real e imaginria do nmero complexo so variveis ao invs de constantes. Assim, usaremos a notao z = x + iy . Uma varivel complexa z = x+iy tambm pode ser representada por um par ordenado (x, y). Desta forma, podemos representar z no plano xy como ilustrado na Fig. 6.1, tambm conhecido como plano complexo ou diagrama de Argand. Usando as relaes trigonomtricas em um tringulo retngulo, podemos escrever
x = r cos ,
y = r sin ,
(6.4)
onde r = x2 + y 2 = |x + iy| e = Arg(z) = arctan(y/x) o argumento de z . Decorre que
104
(x, y) r x
Figura 6.1: Representao grca de um nmero complexo.
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
|z1 | |z2 | |z1 + z2 | |z1 | + |z2 | .

A demonstrao simples,
(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)
6.3 Funes Complexas

Se a cada valor de uma varivel complexa z corresponder um nico ou mais valores de uma segunda varivel complexa w, ento dizemos que w uma funo de uma varivel complexa z , isto w = f (z). Esta funo dita uniforme se a cada valor de z corresponder um nico valor de w = f (z), e multiforme ou plurvoca em caso contrrio. Por exemplo, f (z) = z 2 = (x+iy) = x2 y 2 +2ixy . Em geral podemos escrever f (z) = u(x, y)+iv(x, y), onde u e v so as partes real e imaginria de f (z).
6.4 Condies de Cauchy-Riemann

Analogamente ao caso de uma varivel real, deni-se a derivada de uma funo complexa f (z) como segue
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
= = =
u + iv y0 iy v u lim i lim y0 y y0 y v u i . y y lim
(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.
6.5 Teorema Integral de Cauchy

Antes de enunciar e provar o teorema integral de Cauchy,1 precisamos denir a integral no plano complexo. Seja f (z) uma funo uniforme e contnua num domnio D. Seja uma curva C unindo dois pontos z0 = x0 + iy0 e z0 = x0 + iy0 no interior de D. Denimos a integral complexa como sendo
1 Augustin Louis Cauchy (1789 - 1857) nasceu em Paris, Frana. Laplace e Langrange, freqentadores da casa dos pais de Cauchy, logo cedo perceberam o interesse do jovem pela matemtica.
108
f (z) dz
C
= =
(x0 ,y0 ) (x0 ,y0 ) (x0 ,y0 ) (x0 ,y0 )
(u + iv)(dx + idy) (udx vdy) + i

(x0 ,y0 ) (x0 ,y0 )
(vdx + udy) . (6.18)
Conseqentemente, o clculo da integral complexa se reduz ao clculo de integrais reais de linha.
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.
Teorema 6.2 (Teorema Integral de Cauchy, domnio multiplamente conexo)

Seja f (z) uma funo analtica limitada por dois contornos fechados C1 e C2 , com C2 C1 . Ento
f (z) dz =
C1 C2
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)
Por outro lado, a integral pode ser subdividida em vrios caminhos,
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)
6.6 Frmula Integral de Cauchy

Nesta Seo aplicaremos o teorema integral de Cauchy para a deduo da importante frmula integral de Cauchy. Considere f (z) uma funo analtica num domnio D limitado por um contorno fechado C . Temos
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
f (z0 + rei ) irei d rei f (z0 + rei ) d .

C
= i
(6.34)
Tomando-se o limite de r 0, provamos o teorema para n = 0,
112
C C z0
x
Figura 6.5:
f (z) dz (z z0 )
= =
if (z0 )
C
d
(6.35)
2if (z0 ) .
Demonstremos o teorema para o caso n = 1, partindo da expresso da derivada de f (z),
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)
Subtraindo uma equao da outra, obtemos
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.
6.7 Srie de Taylor

Considere uma funo analtica e uniforme em um domnio D limitado por um contorno fechado C . Seja um contorno fechado no interior de D contendo os pontos z e z0 , e z sobre (ver Fig. 6.6). Ento, para qualquer z satisfazendo |z z0 | < |z z0 |, temos a frmula integral de Cauchy
f (z) =
1 2i
f (z ) dz . (z z)
(6.42)
Agora, reescrevemos o integrando como
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)
a qual vlida para |z z0 | < |z z0 |. Juntando os termos, temos
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)
Agora, invertemos a ordem de integrao e soma,
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.
6.8 Pontos Singulares e Plos

Seja f (z) uma funo analtica num domnio D, exceto num ponto z = z0 . Denominamos z0 de ponto singular isolado de f (z). Considere funes que tenham a forma
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.
6.9 Srie de Laurent

Conforme vimos anteriormente, uma funo analtica nas vizinhanas de um ponto z0 pode ser expandida em uma srie de Taylor em torno deste ponto. A srie de Laurent uma generalizao da srie de Taylor para os casos em que z0 um ponto singular isolado. A srie de Laurent em torno do ponto z0 uma soma de duas sries de potncias, uma consistindo de potncias positivas de z z0 e outra de potncias negativas,

f (z) =
j=0
aj (z z0 )j +
j=1
aj (z z0 )j ,
(6.49)
a qual pode ser escrita abreviadamente como
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
onde aj = (j) (z0 )/j!. Combinando as equaes, obtemos
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)
Procedendo de forma anloga, a expanso em torno do ponto z = 2 dada por
z 2 = + 1 + (z + 2) + (z + 2)2 + (z + 2)3 + . (6.58) (z + 1)(z + 2) z+2
6.10 Teorema dos Resduos

As Sees anteriores foram uma preparao para chegarmos parte mais importante deste Captulo que o teorema dos resduos. Este teorema muito importante para o clculo de integrais denidas que normalmente no podem ser resolvidas usando os mtodos convencionais. Primeiramente comeamos com a denio de resduos. Consideremos o comportamento de uma funo analtica ao redor de um ponto singular isolado z0 . Assim, a funo admite uma expanso de Laurent,
f (z) =
an an+1 a1 + + + +a0 +a1 (z z0 )+ . (6.59) (z z0 )n (z z0 )n1 z z0
Multiplicando os dois membros da equao por (z z0 )n , temos
(z z0 )n f (z) =
an + an+1 (z z0 ) + + a1 (z z0 )n1 +a0 (z z0 )n + a1 (z z0 )n+1 + . (6.60)
Agora, derivando (n 1)-vezes,
118
dn1 [(z z0 )n f (z)] = dz n1
(n 1)!a1 + +
n! a0 (z z0 ) 1!
(6.61)
(n + 1)! a0 (z z0 )2 + , 2!
e levando ao limite z z0 , obtemos
a1 = lim
zz0
dn1 1 [(z z0 )n f (z)] . (n 1)! dz n1
(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)
onde Res(f, zk ) o resduo de f (z) em z = zk , no sentido da equao (6.62).
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
1 1 dz + an+1 dz + n n1 C (z z0 ) C (z z0 ) 1 +a1 dz + a0 dz + a1 (z z0 ) dz + . C z z0 C C (6.64)

C
Usando a equao (6.40), todas as integrais se anulam, exceto z0 )1 dz . Obtemos
(z
f (z) dz = 2ia1 .
C
(6.65)
Se o domnio D conter mais de um ponto singular isolado, ento
119
f (z) dz
C
= =
2i(a1 + b1 + c1 + )
N
2i
k=1
Res(f, zk ) .
(6.66)

C
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)
Logo, todos os plos so simples. Da denio de resduo (6.62),
a1 b1 c1
= = =
z2 4 = , z2 (z 2)(z 2 + 1) 5 z2 1 2i lim (z i) = , zi (z 2)(z 2 + 1) 10 1 + 2i z2 = . lim (z + i) zi (z + 1)(z 2 + 1) 10 lim (z 2)
(6.69)
Portanto, pelo teorema dos resduos (6.63), temos que
z2 dz = 2i (z 2)(z 2 + 1)
4 1 2i 1 + 2i + + 5 10 10
= 2i .
(6.70)

C
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)

C
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
d 1 (z + 3)2 dz (z 1)(z + 3)2 1 = lim z3 (z 1)2 1 = . 16 =

z3
lim
(6.76)
Para a integral, temos que
1 dz = 2i (z 1)(z + 3)2
1 1 16 16
=0.
(6.77)
6.11 Aplicao: Integrais Trigonomtricas

A primeira aplicao do teorema dos resduos que consideraremos o clculo de integrais trigonomtricas do tipo
2
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
Tambm temos, dz = izd, de onde se obtm d = termos,

2
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)
onde f (z) a funo racional
f (z) =
1 R z
1 1 z+z zz , 2 2i
(6.82)
Exemplo 6.11 Calcular a integral

2 0
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)
e portanto tem dois plos z = 1/p e z = p. Fatorando, temos que
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)
6.12 Aplicao: Integrais Imprprias

Seja f (x) uma funo contnua em 0 x . A integral imprpria de f (x) denida por
R
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)
desde que f (x) tambm seja contnua em x 0.
123
6.12.1 Integrais Imprprias de Funes Racionais

Ilustraremos o clculo de integrais imprprias de funes racionais atravs de um exemplo. Exemplo 6.12 Calcular a integral
0
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
1 1 dz = 2i lim (z ia) = . zia z 2 + a2 (z ia)(z + ia) a
(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)
lim |IR | = lim
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
6.12.2 Integrais Imprprias de Funes Racionais e Trigonomtricas

Igualmente ao caso anterior, ilustraremos o clculo de integrais imprprias de funes racionais e trigonomtricas atravs de um exemplo. Consideraremos integrais do tipo
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)
onde C dado pela Fig. 6.7. Exemplo 6.13 Calcular a integral

cos(bx) dx . x2 + a2
(6.106)
Soluo: Neste caso a integral complexa

C
eibz dz . z 2 + a2
(6.107)
Analogamente ao Exemplo 6.12, temos que
z2
eibz eibz dz = 2i lim (z ia) = eab . 2 zia +a (z ia)(z + ia) a
(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)
Na Seo 6.14 provaremos que IR 0, quando R . Logo,
126
x2
eibx dx = eab . + a2 a
(6.111)
O uso da frmula de Euler eibx = cos(bx) + i sin(bx), resulta em

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)
Alternativamente, podemos escrever

0
cos(bx) ab dx = e . x2 + a2 2a
(6.114)
6.13 Aplicao: Integrais Imprprias com Plos

Existem casos onde a funo possui plos localizados ao longo da reta real. Este tipo de cenrio exige um tratamento especial que exemplicamos a seguir. Exemplo 6.14 Calcular a integral
0
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
ere irei d , rei
(6.118)
e levando ao limite r 0,
r0
lim
Cr
eiz dz z
= =
r0 0
lim
ere irei d rei ere irei d rei

i
r0 0
lim
= i
d
(6.119)
= i .
Reunindo os resultados,

eix dx i = 0 , x
(6.120)
128
e usando a frmula de Euler, obtemos

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)
6.14 Lema de Jordan

Seja a integral
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
f (z)eiaz dz |f (z)||eiaz | |dz|

CR

CR
c iaz |e | |dz| . Rk
(6.124)
Substituindo z = Rei = R cos + iR sin e dz = iRei d,
|IR |
0
=
0
c iR cos R sin |e ||e | |iRei d| Rk c R sin e Rd Rk

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
Figura 6.9: Tomando o limite de R , e supondo k 1, obtemos
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
lim |IR | = lim
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:
(a) (d) (g)
cos z z
dz , dz ,
(b) (e) (h)
sin z z
dz , dz , dz .
(c) (f )
ez z1 sin z z2
dz , dz ,
2z 2 +3z1 z1+i ez (z1)2
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.
(a) f (z) = cos z (z = 0) , (c) f (z) = (e) f (z) =

z z 2 1
(b) f (z) = (d) f (z) =
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) .
6.10 Determinar os resduos nos respectivos plos das seguintes funes
(a)
2z + 3 , z2 4
2
(b)
z3 , 3 + 5z 2 z
(c)
ezt z , (d) 2 . 3 (z 2) (z + 1)2
z 6.11 Calcular C (z+1)(z+3) dz , onde C uma curva fechada, envolvendo todos os plos.
6.12 Se C uma curva fechada envolvendo z = i, mostrar que
1 2i
zezt 1 dz = t sin t . 2 + 1)2 (z 2
6.13 Usando o teorema dos resduos, calcule as seguintes integrais sobre os contornos indicados:
(a)
C
1 dz , z2 + 4
onde C o crculo |z 2i| = 1;
(b)
C
cosh z dz , z(z 2 + 1)
onde C o crculo |z| = 2;
(c)
C
z1 dz , z 2 + iz + 2
onde C um caminho fechado envolvendo todos os plos.
132
6.14 Usando o teorema dos resduos, calcule as seguintes integrais:
(a) (b) (c) (d) (e)
2 d 1+ cos 0
2 1
(| | < 1) ,
2 cos 3 54 cos d 0 d 0 1+sin2
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:
(a) (b) (c) (d) (e) (f )
+ dx x4 +a4 x2 x6 +1 0
a3 2 6
dx = =
, ,
kb be
+ dx (x2 +1)3
3 8
+ cos kx (xa)2 +b2 x sin x x2 +1 0
dx =
2e
cos ka
(k, b > 0) ,
dx =
, dx =
a2 b2 eb b
+ cos x (x2 +a2 )(x2 +b2 )
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).
7.2 Funes Peridicas

Uma funo f (x) dita peridica de perodo T se, para todo x, satiszer
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) =
1 , 1 < x < 0 , 1, 0<x<1,
(7.2)
onde T = 2. No caso da funo dente-de-serra temos
f (x) = |x| , 2 x 2 ,
onde T = 4.
(7.3)
f (x) +1 +1 1 +2 +3 x
Figura 7.1: Funo de onda quadrada.

f (x) 2
+2
+4
+6 x
Figura 7.2: Funo dente-de-serra.
7.3 Funes Ortogonais

Considere um conjunto de funes {m (x) , m = 0, 1, 2, . . .}. Este conjunto dito ortogonal se obedecer a propriedade
b
m (x)n (x) dx = mn ,
a
(7.4)
Captulo 7: Sries de Fourier
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
Mostre que o conjunto de funes , m = 0, 1, 2, . . . , com L x L, ortogo-
Soluo: Denotemos por Imn a integral

Imn = 1 L
L
cos
L
m n x cos x dx . L L
(7.7)
Usando a identidade trigonomtrica
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)
Se m = n, ento a integral identicamente nula. Considere agora o caso m = n,
Imm
1 2L
1 + cos
L
2m x L
dx
136

L L
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.4 Srie de Fourier

Seja uma funo f (x) denida no intervalo L x L e fora deste por f (x + 2L) = f (x), isto , o perodo da funo T = 2L. A srie de Fourier de f (x) denida por
a0 m m f (x) = + am cos x + bm sin x 2 L L m=1
(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.
7.5 Identidade de Parserval

Supor que a srie de Fourier correspondente a uma funo f (x) converge para esta funo no intervalo L x L. Desta forma, f (x) pode ser representada pela srie (7.11). Multiplicando ambos os lados desta equao 1 por L f (x), e integrando o resultado, temos que
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)
conhecida como identidade de Parserval.
7.6 Funes Pares e mpares

A srie de Fourier das funes que possuem esta propriedade pode ser simplicada consideravelmente. Antes de prosseguirmos, vejamos uma importante propriedade das funes pares e mpares quando integradas num intervalo simtrico com relao origem. Se f (x) uma funo par, isto , f (x) = f (x), ento
L 0 L
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

L
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 .
Exemplo 7.2 Determinar a srie de Fourier de f (x) = x2 , para
nulos. Temos
Soluo: Neste caso a funo par. Ento, somente os am 's so no
139
am
2 x2 cos(mx) dx 0 1 1 2 2x = x2 2 sin(mx) + 2 cos(mx) m m m (1)m , = 4 m2
(7.23)
para todo m = 0. Se m = 0,
a0 =
x2 dx =
2 2 . 3
(7.24)
Inserindo os resultados na equao (7.19) encontramos
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.
Exemplo 7.3 Achar a srie de Fourier da funo dente-de-serra da
Soluo: A funo par, com efeito bm = 0, e

2
am
=
0
x cos x
mx 2
dx
2 0
= =
mx 4 mx 2 sin + 2 2 cos m 2 m 2 4 [(1)m 1] , m2 2
(7.27)
para todo m = 0. Se m = 0, ento

2
a0 =
0
x dx = 2 .
(7.28)
140
Substituindo os coecientes na srie de Fourier (7.19), temos que
|x|
= 1+ = 1
4 2 8 2
m=1 m=0
[(1)m 1] mx cos 2 m 2 1 cos (2m + 1)2 (2m + 1)x 2 ,

(7.29)
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
Seja agora a soma
S=
m=1
1 . m4
(7.32)
Temos
=
m=0
1 1 + (2m + 1)4 m=1 (2m)4

m=1
= =
4 1 + 4 96 2
1 m4
(7.33)
4 S + , 96 16
de onde se obtm o valor desejado S = 4 /90.
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
7.2 A funo dente-de-serra (ou onda triangular) dada por
f (x) =
x , x,
x 0 , 0x.
Mostrar que a srie de Fourier de f (x) dada por
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
cos(2x) cos(4x) cos(6x) + 2 + 2 + 22 1 4 1 6 1
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
7.6 Desenvolvendo f (x) = cosh(ax) em srie de Fourier, mostre que
sinh(a) 2a sinh(a) cosh(ax) = + a
n=1
(1)n cos(nx) , n2 + a 2
para todo x . Usando este resultado, mostrar que

n=1
1 cosh(a) 1 2 , = n2 + a2 2a sinh(a) 2a
para todo a = 0. 7.7 Mostre que
sinh
nx 2 = b
m=1
b2 m2
(1)m b2 m na mx sinh sin + a2 n2 b a
para todo x .
Captulo 8
Problemas de Valores de Contorno

8.1 Equao de Difuso do Calor
8.1.1 Condies de Contorno Homogneas
Neste Captulo no discutiremos a teoria geral das equaes diferenciais parciais. Ao contrrio, aprenderemos como resolve-las atravs de alguns exemplos relacionados com alguns fenmenos fsicos importantes. Comecemos pela equao de difuso do calor a qual dada por
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
u(x, t) = X(x)T (t) .

Substituindo em (8.1), obtemos
(8.4)
Captulo 8: Problemas de Valores de Contorno
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
X(x) = k1 cos(x) + k2 sin(x) .

Impondo as condies de contorno, vem que
(8.9)
k1 cos(L) + k2 sin(L) = 0 , k1 cos(L) k2 sin(L) = 0 .
(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.
1 Em princpio deveramos ter escolhido uma constante de separao arbitrria po-
146
O sistema de equaes acima possui soluo no-trivial se e somente se
cos(L) sin(L) cos(L) sin(L)
= 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)
Igualmente, usando a expresso de na segunda das equaes (8.7), obtemos

2 T +
n L
T =0,
(8.13)
cuja soluo dada por
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)
As constantes bn 's so determinadas usando-se as condies de contorno. Temos
u(x, 0) = f (x) =
n=1
bn sin
nx L
(8.17)
147
Usando a teoria das sries de Fourier do Captulo 7, obtemos
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.1.2 Condies de Contorno No-Homogneas

Consideremos agora as condies de contorno sicamente corretas, pois em caso contrrio, no poderia haver troca de calor entre as extremidades da barra metlica. Temos
u(L, t) = T1 , u(L, t) = T2 , t > 0 .
(8.20)
Suponhamos que no estado estacionrio a distribuio de temperatura seja dada por
v(x) = lim u(x, t) .

t
(8.21)
Ento, pela equao de difuso do calor (8.1), a soluo estacionria satisfaz
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)
de onde obtemos k1 = (T2 T1 )/2L e k2 = (T1 + T2 )/2. Logo,
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
w(x, 0) = u(x, 0) v(x) = f (x) v(x) ,
(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)
8.2 Equao da Onda

Como um segundo exemplo, consideremos a equao da onda
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) =
nx nat cos L L nx nat sin sin L L sin
, .
(8.35)
Usando o princpio de superposio obtemos a soluo geral de (8.31),
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
Por meio da teoria de Fourier, podemos determinar as constantes. Temos
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
8.3 Problemas de Dirichlet e de Neumann

Suponhamos um determinado problema fsico, podendo ou no haver dependncia temporal, descrito por alguma equao diferencial parcial de segunda ordem nas coordenadas espaciais. O problema de Dirichlet2 aquele em que as condies sobre a funo incgnita so conhecidas em todos os contornos da geometria em considerao. Por outro lado, o problema de Neumann3 aquele em que os valores das derivadas normais da funo incgnita so conhecidas nos contornos. Como um exemplo, discutiremos a soluo da equao de Laplace em coordenares retangulares e polares.
8.3.1 Equao de Laplace: Coordenadas Retangulares

Seja a equao de Laplace no plano xy ,
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
u(a, y) = f (y) u(x, b) = 0 b
Figura 8.4: Empregando o mtodo de separao de variveis, escrevemos
u(x, y) = X(x)Y (y) .
(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
X(x) = j2 sinh[(x + a)] ,

onde j2 = j2 e
a
(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)
8.3.2 Equao de Laplace: Coordenadas Polares

Considere agora a equao de Laplace em coordenadas polares no plano,
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)
A condio de periodicidade para a soluo da parte angular nos fornece
154
cos() {j1 [cos(2) 1] + j2 sin(2)} + sin() {j2 [cos(2) 1] j1 sin(2)} = 0 .
(8.54)
Usando o fato que cos() e sin() so duas funes linearmente independentes, seus coecientes na equao acima devem se anular identicamente. Temos
j1 [cos(2) 1] + j2 sin(2) = j2 [cos(2) 1] j1 sin(2) =
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
[cos(2) 1] sin(2) sin(2) [cos(2) 1]
=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, ) =
c0 + rn [cn cos(n) + kn sin(n)] . 2 n=1
(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
c0 + rn [cn cos(n) + kn sin(n)] , 2 n=1
(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
y +b u(x, b) = g(x) u(a, y) = 0 +a a u(x, b) = 0 b x u(a, y) = 0
Figura 8.7:
A L (x + L) , A g(x) = Lx , A (L x) , L
L x L/2 , L/2 x L/2 , L/2 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
Sugesto : Use o resultado do Problema 6.1.
Captulo 9
Funo Delta de Dirac

9.1 Introduo
Antes de iniciarmos o estudo da funo delta de Dirac, recordemos o conceito de funo. Seja X um conjunto de elementos de nmeros reais simbolizados pela varivel x.1 Seja tambm um segundo conjunto de nmeros reais Y . Uma funo f (x) uma aplicao ou transformao de X em Y . A cada valor de x em X , associamos um valor f (x) em Y ; f (x) pode associar um valor de X a um ou mais valores de Y . O conjunto X chamado de domnio da funo e Y de sua imagem. Este conceito pressupe que ambos os conjuntos sejam formados por nmeros nitos. A funo delta de Dirac denida por
(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)
A funo delta foi primeiramente proposta por Paul Dirac no incio do

1 Este conceito pode facilmente ser extendido para o conjunto de nmeros complexos.
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)
Figura 9.1: Esboo da funo delta de Dirac.
9.2 Representaes da Funo Delta

Seja a funo denida como segue
2 Paul Adrien Maurice Dirac (1902 - 1984) nasceu em Bristol, Inglaterra. Filho de pai suo com me britnica. Seu pai, de natureza extremamente autoritria, lhe ensinou francs e o encaminhou para as cincias exatas. Paul Dirac foi responsvel por importantes contribuies Mecnica Quntica, como a descoberta da antimatria. 3 Laurent-Mose Schwartz (1915 - 2002), importante matemtico francs do sculo XX, por muito tempo teve de esconder seu verdadeiro nome para evitar a perseguio nazista aos judeus durante a segunda guerra mundial.
Captulo 9: Funo Delta de Dirac
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)
Existem inmeras outras representaes da funo delta. As mais normalmente usadas so
(x) (x) (x)
1 n , 1 + n2 x2 1 sin(nx) = lim , n x 2 2 n = lim en x . n =

n
lim
(9.6) (9.7) (9.8)
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)
Uma forma equivalente representao (9.7) e de grande utilidade
(x) =
(ver Problema 9.4).
1 2
eikx dk ,
(9.11)
160
1 1 1 2 5
1 1 5 2
Figura 9.2: Seqncia delta da equao (9.3).
9.3 Propriedades da Funo Delta

Seja f (x) uma funo contnua nas vizinhanas de um ponto da reta x = a. A propriedade fundamental da funo delta
(x a)f (x) dx = f (a) .
(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:
= = = =
n f (x) dx a1/n 2 2 1 1 n lim f () , a a + n 2 n n n lim f ()

n
a+1/n
lim
f (a) .
(9.13)
Outras propriedades importantes da funo delta so:
(x) =
(ax)f (x) dx

= =
(x2 a2 )f (x) dx
(x) , 1 f (0) , |a| 1 [f (a) + f (a)] , 2a
(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 = =
((x a)(x + a))f (x) dx

a+
((x a)(x + a))f (x) dx

a a
+
a+ a+
((x a)(x + a))f (x) dx (2a(x + a))f (x) dx
=
a a
+
a+
(2a(x a))f (x) dx .
(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)
9.4 Funo de Heaviside

A funo de Heaviside,4 tambm conhecida como funo escada, denida por
(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
Figura 9.4: Funo de Heaviside.
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)
9.5 Funo Delta em duas e trs Dimenses

A funo delta (9.1) pode ser facilmente generalizada para dimenses superiores. Em trs dimenses, temos que
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)
de onde se obtm, em coordenadas retangulares,
(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)
20 10 0 0.2 0.1 0 -0.1 -0.2 0 -0.1 -0.2 0.1 0.2
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
A integral acima s poder ser identicamente 1, se e somente se,
(r r ) =
1 ( )( )(z z ) .
(9.26)
9.6 Relao de Fechamento

A funo delta tem uma estreita relao com um conjunto de funes ortonormais. Enunciaremos esta relao em forma de um teorema.
Teorema 9.1 Seja {n (x)}, sendo n um inteiro, um conjunto de funes

ortonormais. Isto ,
b a
m (x)n (x) dx = mn .
(9.27)
Ento, uma representao da funo delta em termos destas funes ser

(x x ) =
n
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)
Substituindo cn de volta em (9.29), obtemos

b
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 ) ,
onde ri a posio da i-sima carga qi .
Sugesto : Mostre que a integral da densidade de carga resulta na carga total.

9.2 Considere as seguintes seqncias delta:
n (x) =
2 2 1 n 1 sin(nx) n , n (x) = , n (x) = en x . 2 x2 1+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 .
Sugesto : Calcule a integral explicitamente.
167
9.5 Usando integrao por partes, mostre que
f (x) (x) dx = f (0) .
9.6 Tomado (0) = 1/2, mostre gracamente que
(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 < ,
ento temos as relaes

1 2

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)
Usando as relaes de Euler (1.2), temos que
Captulo 10: Transformadas de Fourier
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)
Substituindo m por m na segunda soma, podemos reescrever a equao acima como

mx imx 1 a0 1 + (am ibm ) e L + (am + ibm ) e L . 2 2 2 m= m=1 (10.4) A equao acima pode ser escrita abreviadamente na forma
f (x) =
f (x) =
onde
1 2
Fm eimx/L ,
m=
(10.5)
Fm
m1, am ibm , a0 , m=0, = am + ibm , m 1 .
(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 .
Logo, os coecientes so dados por
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
10.2 Teorema de Convoluo

Teorema 10.2 Se F (q) e G(q) so as transformadas de Fourier de f (x) e g(x) respectivamente, ento

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}.
Demonstrao: Este teorema pode ser demonstrado em poucas linhas

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)
10.3 Identidade de Parserval

Se F (q) e G(q) so as transformadas de Fourier de f (x) e g(x), respectivamente, ento

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.4 Transformada das Derivadas

A transformada das derivadas muito importante no uso de soluo de equaes diferenciais. Se F (q) a transformada de Fourier de f (x), ento
F {f (n) (x)} = (iq)n F (q) .

Provemos para o caso n = 1. Por denio, temos que
(10.20)
F {f (x)}
= = =
1 df (x) iqx e dx 2 dx 1 1 f (x)eiqx 2 2 iqF {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.
10.5 Transformada de Fourier Cosseno e Seno

As transformadas de Fourier cosseno e seno, respectivamente, so denidas por
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) =
Exemplo 10.2 Determinar a transformada de Fourier inversa da

2/ sin(aq)/q para todo a > 0.
Soluo:
f (x) = = =
1 1 1 2
sin(aq) iqx e dq q sin(aq) cos(qx) dq q sin[(a + x)q] dq + q
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
ea|y| eb|xy| dy eay eb|xy| dy +

0
eay eb|xy| dy eay eb|xy| dy (10.26) ,
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)
1 2 aebx beax . (a2 b2 )
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
f (y) sin(|x y|) dy ,
(10.29)
F 1 {
1 }= q2
1 sin(x) , 2
(10.30)
a qual pode ser obtida facilmente usando o teorema dos resduos.
175
10.6 Problemas
10.1 Calcular a transformada de Fourier cosseno das seguintes funes
(a) f (x) =
1 x2 +a2
(b) f (x) = eax , (c) f (x) =

com a > 0 em todos os casos. 10.2 Calcular as transformadas de Fourier seno das seguintes funes
1 , |x| < a , 0 , |x| > a ,
(a) f (x) =
x x2 +a2
(b) f (x) = xeax , (c) f (x) =

com a > 0 em todos os casos. 10.3 Calcule a transformada de Fourier inversa das seguintes funes
sin(ax) x
(a) F (q) = (b) F (q) = (c) F (q) =

com a > 0 para o caso (a).
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
Sugesto: Substituir q pela sua transformada de Fourier inversa

1 q(x, ) = 2

Q(k, )eikx dk .
Obtenha ento uma expresso para Q substituindo a equao acima na equao diferencial.
Captulo 11
Teoria de Sturm-Liouville: Funes Ortogonais

11.1 Introduo
A equao de Sturm-Liouville1 uma equao diferencial de segunda ordem ordinria e linear que tem a forma
d dy p(x) + q(x)y = w(x)y , dx dx
(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
11.2 Equao Diferencial Auto-adjunta

Sob determinadas condies, nesta Seo veremos como transformar uma EDH em uma equao diferencial na forma auto-adjunta. Seja a EDH escrita na forma geral
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
vCu dx d (Au) dx dx2

b a 2
a b
d(Au) v dx
b a
+
a a
+ uBv|a
b
d(Bu) v dx + dx
vCu dx
a
=
a
d2 (Au) d(Bu) dx + Cu dx dx2 dx
Captulo 11: Teoria de Sturm-Liouville: Funes Ortogonais

b b
179
+ u(A B)v|a + A(uv vu )|a .
(11.6)
Se as solues satiszerem as condies de contorno de Dirichlet ou de Neumann homogneas e
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)
onde a integral indenida.2 Temos

B(x) A(x)
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)
Agora, note que
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)
Assim, a equao (11.9) pode ser reescrita na forma
d dy C(x) p(x) + p(x)y = 0 , dx dx A(x)

onde
(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
C(x) p(x) = w(x) q(x) . A(x)

A equao de Sturm-Liouville usualmente escrita como
(11.13)
2 Por razes bvias, em problemas prticos, desconsideramos a constante de integrao.
180
L y(x) + w(x)y(x) = 0 ,
onde
(11.14)
L =
d d p(x) q(x) . dx dx
(11.15)
11.3 Funes Ortogonais

Suponhamos que y(x) satisfaa as condies de contorno de Dirichlet ou de Neumann nos extremos do intervalo fechado a x b. As condies de contorno podem dar origem a innitos valores de , conforme vimos no Captulo 8. Consideremos duas auto-funes (ym (x), yn (x)) da equao de Sturm-Liouville com correspondentes auto-valores (m , n ), m = n. As duas funes satisfazem simultaneamente a equao (11.1),
d dym p(x) + q(x)ym dx dx d dyn p(x) + q(x)yn dx dx
= =
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
dyn d dym d p(x) yn p(x) dx dx dx dx

a
dx
(11.17)
+(m n )
b
w(x)ym (x)yn (x) dx = 0 .
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)
Uma vez que m = n , obtemos

a

b
(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)
Por meio de (11.13), temos que
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)y = 0 .

Equao de Legendre associada:
(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.
12.2 Oscilador Harmnico Simples Quntico

Considere a equao de Schrdinger unidimensional para uma partcula de massa m presa a um potencial V (),
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)
Captulo 12: Polinmios de Hermite
185
Substituindo estes resultados em (12.2), obtemos a equao a auto-valores e auto-funes,
+ 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)
Assim, para satisfazer as condies de contorno, escrevemos a soluo de (12.4) como
(x) = ex
/2
y(x) ,
(12.7)
onde y(x) uma funo a ser determinada. Temos
(x)
= [y (x) xy(x)] ex
/2
,
2
(x) =
y (x) 2xy (x) y(x) + x2 y(x) ex
/2
(12.8)
Introduzindo estes resultados na equao (12.4), somos conduzidos a
y (x) 2xy (x) + ( 1)y(x) = 0 .
(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
nan xn1 , y (x) =

n=0
n(n 1)an xn2 .

(12.10)
Substituindo na EDH (12.9), vem que
[(n + 1)(n + 2)an+2 + ( 2n 1)] xn = 0 ,

n=0
(12.11)
de onde se obtm a relao de recorrncia
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

2
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) =
a0 + a2 x2 + a4 x4 + + a2m x2m , a1 x + a3 x3 + a5 x5 + + a2m+1 x2m+1 ,
(12.17)
onde, em qualquer dos casos
an+2 =
2(n m) an , 0 n < m . (n + 1)(n + 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
(1)l (2x)n2l , l!(n 2l)!
(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.3 Relaes de Recorrncia

Derivando-se a equao diferencial para os polinmios de Hermite
d2 Hn (x) dHn (x) + 2nHn (x) = 0 , 2x dx2 dx

obtemos
(12.21)
d2 dx2
dHn (x) dx
2x
d dx
dHn (x) dx
+ 2(n 1)
dHn (x) =0. dx
(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,
Hn (x) = CHn1 (x) ,
(12.23)
onde C uma constante a ser determinada. Usando (12.19), temos que

[n] 2
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
1 1 2n = C(n 1)! C = 2n . n! (n 1)! Hn (x) = 2nHn1 (x) .
(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
2nHn1 (x) 2x[2nHn1 (x)] + 2nHn (x) = 0 ,

de onde se deduz que
(12.27)
Hn (x) = 2xHn1 (x) Hn1 (x) =

como tambm
2x
d dx
Hn1 (x) ,
(12.28)
Hn+1 (x) = 2xHn (x) 2nHn1 (x) .
(12.29)
A relao de recorrncia (12.28) pode ser usada recursivamente para obtermos
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).
12.4 Funo Geradora

Considere uma seqncia de polinmios {pn (x), n = 0, 1, 2, . . .}. A idia fundamental da teoria da funo geradora determinar uma funo g(x, t) cujos coecientes da expanso desta em potncia de t sejam dados pelas funes pn (x). Formalmente, temos que
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)
Derivando os dois membros com relao a t, vem que
g(x, t) t
=
n=1
Hn (x) n1 nt n! Hn+1 (x) (n + 1)tn (n + 1)! Hn+1 (x) n t . n!

(12.33)
=
n=0
=
n=0
Por outro lado, usando (12.29), temos que
g(x, t) t
= 2x
n=0
Hn (x) n Hn1 (x) n t 2 n t n! n! n=1
= 2xg(x, t) 2
n=0
(n + 1)
Hn (x) n+1 t (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
(2x 2t) dt = 2xt t2 + C(x) ,
(12.35)
g(x, t) = h(x)e2xtt .
(12.36)
A constante de integrao h(x) = eC(x) pode ser determinada usando-se a expanso
191
h(x) 1 + (2xt t2 ) + h(x) + h(x)(2x)t +
= H0 (x) + H1 (x)t + , = H0 (x) + H1 (x)t + ,

(12.37)
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)
12.5 Frmula de Rodrigues

Por meio da funo geradora podemos deduzir uma srie de propriedades dos polinmios de Hermite. Discutiremos uma delas que a obteno da frmula de Rodrigues. Para isto, primeiramente expandimos a funo geradora em uma srie de Taylor,
g(x, t) =
n=0
1 n!
n g(x, t) tn
tn =
t=0 n=0
Hn (x) n t , n!
(12.39)
donde obtemos que
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) =
n (tx)2 e xn n 2 d 2 (1)n ex ex . n dx (1)n ex

2
t=0
(12.42)
Esta equao conhecida como frmula de Rodrigues para os polinmios de Hermite.
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)
Consideremos agora o caso m = n,
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

dn1 dHn (x) (1)n n1 dx dx dx

2
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 =
. Finalmente obtemos In = 2n n! . Denin-
193
n (x) =
2n n!
2 1 ex Hn (x) ,
(12.47)
a relao de ortogonalidade pode ser escrita como
m (x)n (x) dx = mn .
(12.48)
A funo (12.47) de fato a soluo fundamental da equao (12.4) com = 2n + 1.
12.7 Problemas
12.1 Mostre que
H2m (0) = (1)m
(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
onde C um caminho fechado em torno da origem.
Sugesto : Multiplicar ambos os lados da identidade

e2xtt =
n=0
2
Hn (x) n t , n!
por t
m1
. Pela frmula integral de Cauchy, podemos escrever
1 2i
tnm1 dt =
C
1 dm n t = mn . n! dtm
Usando este resultado proceda com a demonstrao.
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
x2 Hn (x) = n(n 1)Hn2 (x) + n +
1 2
1 Hn (x) + Hn+2 (x) . 4
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 .
Usar a expanso binomial para mostrar que
E(m)
1 2
m 1
13 24 .
m2 3
135 246
m3 5
Sugesto: Usar o resultado

/2 0
sin2n d =
(2n 1)!! . (2n)!! 2
2. A funo beta incompleta dada pela integral

x
Bx (p, q) =
0
tp1 (1 t)q1 dt .
Usando a expanso binomial, mostrar que
196
Bx (p, q) =
xp
1 1q (1 q)(2 q) 2 + x+ x + p p+1 2!(p + 2) (1 q)(2 q) (n q) n x + . + n!(p + n)
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 ,
para todo x > 0. 4. Dado que

1 0
dx = , 1 + x2 4
mostrar que o numero pode ser representado pela srie
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
Captulo 13: Problemas Adicionais
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.
13.2 Anlise Vetorial

1. Calcular A n dS , onde A = xz 2 i + (x2 y z 3 )j + (2xy + y 2 z)k e S uma superfcie fechada limitada por uma esfera de raio a. 2. Calcular C A dr, onde A = yi + xj + k e C um quadrado de lado 1 com centro na origem. 3. Provar que F = (2xz 3 + 6y)i + (6x 2yz)j + (3x2 z 2 y 2 )k um campo de foras conservativo, isto , mostrar que F = 0. Determinar a funo escalar (x, y, z) tal que F = . 4. A induo magntica B relaciona-se com o potencial vetor A por B = A. Pelo teorema de Stokes
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
13.3 Coordenadas Curvilneas

1. Considere a transformativas de coordenadas abaixo:
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.
2. Repita o exerccio anterior para as equaes transformativas de coordenadas abaixo:
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
2 cos + 3 sin3 cos , r2
V =
6 sin cos (4 5 sin2 ) . r4
199
13.4 Equaes Diferenciais Ordinrias

1. Seja a EDNH
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
d2 y dy x(2x + 3) + (x2 + 3x + 3)y = (6 x2 )ex . dx2 dx
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:
(a) 2x2 y xy + (x2 + 1)y = 0 , (b) x2 y + xy + x2 y = 0 .

5. A equao hipergeomtrica de Gauss tem a forma
x(1 x)y (x) + [c (a + b + 1)x]y (x) aby(x) = 0 .

Mostre que x = 0 e x = 1 so dois pontos singulares regulares da equao diferencial. Usando o mtodo de Frobenius, mostrar que uma soluo desta equao dada por
200
y(x) = 1 +
ab x a(a + 1)b(b + 1) x2 + + , c 1! c(c + 1) 2!
com c = 0, 1, 2, 3, . . . .
Sugesto: Use apenas a raiz s = 0 da equao indicial.

6. A equao hipergeomtrica conuente de Gauss tem a forma
xy (x) + (c x)y (x) ay(x) = 0 .

Mostre que x = 0 um ponto singular regular da equao diferencial. Usando o mtodo de Frobenius, mostrar que uma soluo desta equao dada por
y(x)
= M (a, c; x) ax a(a + 1) x2 = 1+ + + c 1! c(c + 1) 2! a(a + 1) (a + n) xn + + . c(c + 1) (c + n) n!
Mostre que M (1, 1; x) = ex .
Sugesto : Use apenas a raiz s = 0 da equao indicial.

7. A equao de Bessel modicada de ordem zero tem a forma
xy (x) + y (x) xy(x) = 0 .

Mostre que x = 0 um ponto singular regular da equao diferencial. Usando o mtodo de Frobenius, mostrar que uma soluo desta equao dada por
y(x) = 1 +
x2 x4 x6 x2n + + + + . [2!!]2 [4!!]2 [6!!]2 [(2n)!!]2
Sugesto : Use apenas a raiz s = 0 da equao indicial.
201
8. Considere a equao diferencial homognea abaixo
(1 x2 )y (x) xy (x) + n2 y(x) = 0 .

Mostre que x = 1 so pontos singulares regulares da equao diferencial. Usando o mtodo de Frobenius, mostrar que duas solues linearmente independentes desta equao so dadas por
y1 (x) = y2 (x) =
(12 n2 ) 3 (32 n2 ) 5 x + x + , 3! 5! n2 2 (n2 22 )n2 4 c0 1 x + x 2! 4! (n2 42 )(n2 22 )n2 6 x + . 6! c1 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.
Sugesto : considere somente a raiz s = 0 da equao indicial.
13.5 Variveis Complexas

1. Escolhendo apropriadamente o caminho de integrao, use o teorema dos resduos para calcular as seguintes integrais:
202
(a) (b) (c) (d)
+ x sin(ax) (x2 +b2 )
dx = eab , (a > 0, b > 0) , dx =

(ea eb ) 2(b2 a2 )
x sin x (x2 +a2 )(x2 +b2 ) 0 cos(ax) (x)2 + 2 x sin(ax) x4 +b4 0
(a = b) , (a > 0 , > 0 , > 0) , , (a > 0 , b > 0) .
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
eaz eaz (z i) (z i)2 = 1 + . z 1+e (z i) 2 12
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:
3. Usando o resultado da exerccio anterior, e o teorema dos resduos, mostrar que
203
eax dx = , x 1+e sin(a)
0 < a < 1.
Sugesto : Primeiramente mostrar que

eaz dz 1 + ez
+R
lim
eax dx ei2a 1 + ex
+
R R
eax dx 1 + ex
= (1 ei2a )
e dx , 1 + ex
ax
e que ao longo dos ramos verticais x = R, a integral anula-se no limite R .
13.6 Sries de Fourier

1. Considere a funo f (x) = x para 2 < x < 2. Mostre que a srie de Fourier de f (x) nesse intervalo dada por
x=
n=1
(1)n+1 nx sin n 2
Usando a identidade de Parserval, mostrar que

n=1
1 2 = . n2 6
2. Considere a funo
f (x) =
1, 1 ,
1 < x < 0 , 0<x<1.
Mostre que a srie de Fourier de f (x) nesse intervalo dada por
f (x) =
n=0
sin((2n + 1)x) . 2n + 1
Usando a identidade de Parserval, mostrar que

n=0
2 1 = . (2n + 1)2 8
204
13.7 Equaes Diferenciais Parciais

1. Considere a seguinte equao diferencial parcial linear de segunda ordem
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
(1)n n x cosh(n y) cos( ) , n a cosh(n b)

2 1/2 + n /a2 .
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:
Sugesto : Use o mtodo h(x, y) = X(x)Y (y) e mostre que
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 .
13.8 Funo Delta de Dirac

1. Determine a srie de Fourier da funo delta de Dirac no intervalo L x L. 2. No Problema 13.7.1 usamos o fato que 1 { a cos(n x/a) , n = 0, 1, 2, 3, . . .} forma um conjunto completo de funes ortogonais. Mostre que isto verdadeiro para todo a < x < a. Qual deve ento ser a representao da funo delta em termos destas funes?
13.9 Teoria de Sturm-Liouville

1. Considere a equao de Gegenbauer,
(1 x2 )y 2(1 + )xy + n(n + 2 + 1)y = 0 ,
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.
13.10 Polinmios de Hermite

1. Usando a funo geradora dos polinmios de Hermite, mostre que

2 ex Hm (x)Hn (x) dx = 2n n! mn .

Sugesto : Usar o resultado
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.

Apostila de Física Matemática

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila de Física Matemática

Enviado por

Direitos autorais:

Formatos disponíveis

Edson Sardella

Fsica-Matemtica: Teoria e Aplicaes

So Paulo Fundao Editora da UNESP 2008

5 Equaes Diferenciais Ordinrias

5.8 5.9 6.1 6.2

8 Problemas de Valores de Contorno

8.4 9.1 9.2 9.3 9.4 9.5 9.6 9.7

9 Funo Delta de Dirac

11 Teoria de Sturm-Liouville: Funes Ortogonais

Bibliograa ndice Remissivo

Frmulas e Funes Bsicas

1.2 Funes Hiperblicas

sinh x = cosh x = tanh x = coth x =

1 x (e ex ) , 2 1 x (e + ex ) , 2 sinh x , cosh x cosh x . sinh x

Captulo 1: Frmulas e Funes Bsicas

1.3 Relaes de Euler

1.4 Relaes entre Funes Trigonomtricas e Hiperblicas

1.5 Propriedades Bsicas da Funo ln x

Fsica-Matemtica: Teoria e Aplicaes

1.6 Fatorial e Duplo Fatorial

(2n + 1)!! = (2n + 1) (2n 1) . . . 3 1 .

1.7 Regras de Derivao

1.8 Regra de L'Hpital

Captulo 1: Frmulas e Funes Bsicas

f (x) f (x) = lim , xx0 g (x) g(x)

1.9 Integrao por Partes

1.10 Notao de Vetores

2.2 Srie de Taylor

f (j1) (x) f (j1) (a) .

Captulo 2: Sries Innitas

Integrando novamente, encontramos

f (j1) (x) f (j1) (a) dx

f (j2) (x) f (j2) (a) (x a)f (j1) (a) , (2.3)

= f (j3) (x) f (j3) (a) (x a)f (j2) (a)

Continuando este processo, obtemos para a n-sima integral

= f (x) f (a) (x a)f (a) (x a)n1 (n1) f (a) . (n 1)!

Resolvendo para f (x), nalmente encontramos

Fsica-Matemtica: Teoria e Aplicaes

= f (a) + (x a)f (a) + + +

(x a)n1 (n1) f (a) + Rn , (n 1)!

onde Rn conhecido como o resto da srie e denido por

Quando a funo f (x) for tal que

ento a srie torna-se uma soma innita de termos. Temos

f (a) + (x a)f (a) +

f (n) (a) (x a)n . n!

Esta srie conhecida como srie de Taylor.1

2.3 Srie de Maclaurin

1 Publicado pelo matemtico ingls Brook Taylor (1685 - 1731) em 1715.

Captulo 2: Sries Innitas

Aplicando este teorema para a integral mais interior de (2.8), temos

2.5 Srie de Taylor Revisitada

Por meio da mudana de varivel x = + h t, podemos reescrever a integral acima como

Integrando por partes, obtemos

Fsica-Matemtica: Teoria e Aplicaes

Podemos escrever a srie numa forma mais familiar usando = 0 e h = x,

f (x) = f (0) + xf (0) +

pois x. Uma vez que x nito, podemos concluir que

Captulo 2: Sries Innitas

Soluo: Derivando, fcil mostrar que f (n) (x) = (1)n1 (n 1)!(1 +

Usando (2.13), o resto pode ser escrito como

Neste caso, o resto dado por

m(m 1)(m 2) (m n + 1) xn (1 + )nm n! xn m(m 1)(m 2) (m n + 1) , 0 x , (2.27) n!

pois 1/(1 + )nm mxima quando = 0. Supondo 0 x 1,

Fsica-Matemtica: Teoria e Aplicaes

Bibliograa ndice Remissivo

Captulo 2: Sries Innitas

Resolvendo para f (x), nalmente encontramos

onde Rn conhecido como o resto da srie e denido por

ento a srie torna-se uma soma innita de termos. Temos

Captulo 2: Sries Innitas

pois x. Uma vez que x nito, podemos concluir que

Captulo 2: Sries Innitas

Captulo 2: Sries Innitas

Captulo 2: Sries Innitas

Captulo 2: Sries Innitas

Figura 3.1: Representao grca de um vetor.

a qual pode ser vericada facilmente usando a regra do polgono.