Escolar Documentos
Profissional Documentos
Cultura Documentos
Universidade de S
ao Paulo
Departamento de Fsica Matematica
2009
Curso de Fsica-Matem
atica
Jo
ao Carlos Alves Barata
Vers
ao de 27 de setembro de 2009
4/1685
Indice
Pref
acio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2
Bons Mots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.1
Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
2.2.2
Nota
c
ao e Advert
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.3
2.2.4
Captulos Introdut
orios
25
1 No
c
oes B
asicas
1.1
1.1.2
1.1.3
Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.1.1.1
1.1.1.2
Relaco
es de Compatibilidade e de Incompatibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.1.1.3
Relaco
es de Equival
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.1.1.4
Relaco
es de Ordem
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Semi-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.2.2
An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.2.5
-An
eis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
-Algebras
de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1.2.6
Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.2.7
Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
A F
ormula de Invers
ao de M
obius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.4
2.5
2.2.5.2
2.2.5.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
2.3.1
Bases Alg
ebricas de um Espaco Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2.3.2
O Dual Alg
ebrico de um Espaco Vetorial
2.3.3
2.3.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Duais Alg
ebricos e Produtos Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
2.3.5.2
An
eis e Algebras.
Estruturas e Construco
es B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
2.4.1 Ideais em An
eis e Algebras
Associativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
Ideais em An
eis . . . . . . . . . . . .
Ideais em Algebras
Associativas . . .
Algebras
Tensoriais e Algebras
Exteriores . . . . . . .
2.5.1 Algebras
Tensoriais . . . . . . . . . . . . . .
2.5.2
2.6
O Produto Direto e o Produto Semi-Direto de Grupos. O Produto Tensorial de Grupos Abelianos . . . . . . . . . . . 101
2.2.5.1
2.3.5
Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Infimos e Supremos de Famlias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.2.1
1.2.4
2.4.1.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
2.4.1.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Algebras
Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
T
opicos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
2.6.1
59
2.6.2
Grup
oides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
Estruturas Alg
ebricas B
asicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.1.1 Algebras
Universais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.6.3
Quat
ernios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
2 Estruturas Alg
ebricas B
asicas
2.1
2.3
Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.2.3
1.A
26
Conjuntos, Relaco
es e Funco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.1.1
1.2
2.2.5
2.1.3
Semi-Grupos, Mon
oides e Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.1.4
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.1.5
Espacos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
An
eis, M
odulos e Algebras
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.1.6
2.1.6.1
An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
2.1.6.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
M
odulos . . . . . . . . . . . .
2.1.6.3 Algebras
. . . . . . . . . . . .
2.1.7.1 Algebras
de Lie . . . . . . . .
2.1.7.2
2.1.7.3
2.1.7.4
2.1.7.5
Algebras
de Poisson . . . . .
Algebras
de Jordan . . . . .
Algebras
de Grassmann . . .
Algebras
de Clifford . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.1.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
144
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
3.1.2
3.1.3
3.1.4
Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
3.2
3.3
3.4
3.5
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
3.A
Equival
encia de Normas em Espacos Vetorias de Dimens
ao Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
3.B
Prova do Teorema de Fr
echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
2.1.8
Mais sobre An
eis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
2.1.9
Aco
es e Representaco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.1
4.2
Teoremas Cl
assicos sobre Integrais de Volume e de Superfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
4 Recorda
c
oes de C
alculo Vetorial em Tr
es Dimens
oes
178
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
5/1685
4.3
T
opicos de Algebra
Linear
II
186
5 T
opicos de Algebra
Linear. I
187
5.1
Propriedades B
asicas de Determinantes e Inversas de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
5.2
Noco
es B
asicas sobre o Espectro de uma Matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
5.2.1
Autovalores e Polin
omios Caractersticos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
5.2.2
Autovetores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
5.2.3
5.3
III
7.1
306
307
Definica
o e Alguns Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
7.1.1
Equaco
es Diferenciais Ordin
arias Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309
7.1.2
Equaco
es Ordin
arias de Segunda Ordem. Exemplos de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
Sistemas de Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
7.3
Discuss
ao sobre Problemas de Valor Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 318
7.3.1
7.3.2
Teoremas de Exist
encia e Unicidade de Soluco
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323
7.3.3
Soluco
es Globais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325
7.3.4
Depend
encia Contnua de Condico
es Iniciais e de Par
ametros
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327
8 Alguns M
etodos de Resolu
c
ao de Equa
c
oes Diferenciais Ordin
arias
328
Equa
c
oes Diferenciais
7.2
Algumas Relaco
es entre Determinantes e Tracos de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
Diagonalizaca
o Simult
anea de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
7 Equa
c
oes Diferenciais Ordin
arias. Uma Introdu
c
ao
Matrizes Diagonaliz
aveis e o Teorema Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
5.4.1
5.5
6.7
Polin
omios de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
5.3.1
5.4
6/1685
8.1
Soluca
o de Equaco
es Ordin
arias Lineares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
5.5.1
8.2
As Equaco
es de Bernoulli e de Riccati . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 329
5.5.2
O Teorema de In
ercia de Sylvester. Superfcies Quadr
aticas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232
8.3
Integraca
o de Equaco
es Separ
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331
5.6
8.4
O M
etodo de Variaca
o de Constantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332
5.7
O Teorema de Decomposica
o de Jordan e a Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
8.5
O M
etodo de Substituica
o de Pr
ufer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333
5.8
5.9
5.7.1
Resultados Preparat
orios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
8.6
O M
etodo de Invers
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
5.7.2
O Teorema da Decomposica
o de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
8.7
Soluca
o de Equaco
es Exatas e o M
etodo dos Fatores Integrantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336
5.7.3
8.8
Soluco
es das Equaco
es de DAlembert-Lagrange e Clairaut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
5.7.4
A Forma Can
onica de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249
Algumas Representaco
es Especiais de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251
9 Sistemas de Equa
c
oes Diferenciais Ordin
arias Lineares
344
5.8.1
A Decomposica
o Polar de Matrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252
9.1
Introduca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
5.8.2
A Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
9.2
Unicidade e Exist
encia de Soluco
es
5.8.3
O Teorema da Triangularizaca
o de Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
9.2.1
Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
5.8.4
A Decomposica
o QR e a Decomposica
o de Iwasawa (KAN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
9.2.2
Exist
encia. A S
erie de Dyson
9.2.3
Propriedades de D(s, t)
5.9.1
A Regularizaca
o de Tikhonov. Exist
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
5.9.1.2
9.3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345
Equaco
es com Coeficientes Constantes
9.3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
9.4
Perturbaco
es de Sistemas Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 360
5.9.2
9.5
Mais sobre a S
erie de Dyson. Produtos de Tempo Ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363
5.9.3
Exist
encia e Decomposica
o em Valores Singulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
9.6
Sistemas de Equaco
es Diferenciais Lineares no Plano Complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
9.6.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
9.6.2
Resoluca
o por S
eries de Pot
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 370
9.6.3
9.6.4
9.7
6 T
opicos de Algebra
Linear. II
275
9.7.1
6.1
Uma Topologia M
etrica em Mat (C, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276
9.7.2
Singularidades no Infinito
6.2
9.7.3
6.2.1
A Exponenciaca
o de Matrizes e os Grupos GL(C, n) e GL(R, n) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
9.8
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 385
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 388
Equaco
es Fuchsianas. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
6.3
A F
ormula de Lie-Trotter e a F
ormula do Comutador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
9.8.1
Equaco
es Fuchsianas de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
6.4
Aplicaco
es Lineares em Mat (C, n)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
9.8.2
Equaco
es Fuchsianas de Segunda Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
6.5
A F
ormula de Baker, Campbell e Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296
9.8.3
6.6
A F
ormula de Duhamel e Algumas de suas Conseq
u
encias
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301
A Equaca
o de Riemann-Papperitz. Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 406
9.8.3.1
Transformaco
es de Simetria dos Smbolos de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 408
7/1685
Equaco
es Fuchsianas com tr
es pontos singulares e a equaca
o hipergeom
etrica . . . . . . . . . . . . . . . . . . . 411
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
9.8.3.2
9.9
8/1685
10 Solu
c
oes de Equa
c
oes Diferenciais Ordin
arias Lineares no Plano Complexo
418
10.1 Soluco
es em S
eries de Pot
encias para Equaco
es Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 419
561
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 562
10.1.1 A Equaca
o do Oscilador Harm
onico Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420
10.1.2 A Equaca
o de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 421
12.2.1 Equaco
es Lineares, N
ao-Lineares, Semi-Lineares e Quase-Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 570
10.1.3 A Equaca
o de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 424
12.2.2 Classificaca
o de Equaco
es de Segunda Ordem. Equaco
es Parab
olicas, Elpticas e Hiperb
olicas . . . . . . . . . . . . . 572
10.1.4 A Equaca
o de Airy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
12.3 O M
etodo de Separaca
o de Vari
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576
10.1.5 A Equaca
o de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 428
12.3.1 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 576
12.3.2 O M
etodo de Separaca
o de Vari
aveis. Caso de Equaco
es N
ao-Lineares
. . . . . . . . . . . . . . . . . . . . . . . . . . 579
10.2 Soluca
o de Equaco
es Singulares Regulares. O M
etodo de Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432
10.2.1 Equaco
es Singulares Regulares. O Caso Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 435
12.5 O M
etodo das Caractersticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 588
10.2.2 A Equaca
o de Euler Revisitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443
10.2.3 A Equaca
o de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 445
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593
10.2.4 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Esf
erica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 455
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 605
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 606
10.2.5 Equaco
es Relacionadas a
` de Bessel. A Equaca
o de Bessel Modificada . . . . . . . . . . . . . . . . . . . . . . . . . . . 456
10.2.6 A Equaca
o de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457
10.2.7 A Equaca
o Hipergeom
etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459
12.5.3.3 Soluco
es Ditas Simples de Sistemas Quase-Lineares, Homog
eneos, de Primeira Ordem em Duas Vari
aveis . . . 616
10.2.8 A Equaca
o Hipergeom
etrica Confluente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463
10.3.1 A Equaca
o de Legendre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465
10.3.2 A Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 467
10.4 A Funca
o Gama. Definica
o e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 468
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
10.A Prova da Proposica
o 10.1. Justificando os Polin
omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 483
10.B Provando (10.14)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 484
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487
13 Introdu
c
ao ao Problema de Sturm-Liouville
634
13.1 Coment
arios Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 634
13.2 O Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 639
13.2.1 Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 640
13.2.2 A Funca
o de Green. Resolvendo o Problema de Sturm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641
13.2.3 O Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 644
13.3 O Problema de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 646
491
13.3.1 Propriedades B
asicas dos Auto-Valores e Auto-Funco
es de Problemas de Sturm-Liouville . . . . . . . . . . . . . . . . 648
11.1 Discuss
ao Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491
11.1.1 Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 492
11.1.1.1 Condico
es de Contorno e a Origem das Relaco
es de Ortogonalidade . . . . . . . . . . . . . . . . . . . . . . . . 496
11.1.2 F
ormulas de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 500
11.1.3 Funco
es Geratrizes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 502
13.3.2 A Equaca
o Integral de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 656
13.3.4 M
etodos Variacionais de Determinaca
o de Autovalores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 662
13.4 Coment
arios Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 664
11.2.2.1 As Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 521
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
13.C Coment
ario Sobre o Determinante Wronskiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 672
13.D Demonstraca
o do Teorema 13.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673
11.2.2.2 F
ormula de Adica
o de Funco
es Harm
onicas Esf
ericas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 523
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 670
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 676
9/1685
10/1685
678
14.1 Descrica
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 678
16.8 O Atomo
de Hidrog
enio e a Equaca
o de Laguerre Associada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 773
14.2 O M
etodo dos Determinantes de Fredholm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680
16.9 Propagaca
o de Ondas em Tanques Cilndricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 775
14.2.1 A Equaca
o Integral de Fredholm Linear N
ao-Homogenea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 680
16.10 Equaco
es Hiperb
olicas Lineares em 1+1 Dimens
oes e Equaco
es Integrais
14.2.2 A Equaca
o Integral de Fredholm Linear Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 684
16.11 Aplicaco
es do M
etodo da Funca
o de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 790
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 687
16.11.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 791
16.11.3 A Equaca
o de Ondas N
ao-Homog
enea em n + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 794
16.11.2 A Equaca
o de Difus
ao N
ao-Homog
enea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 792
16.11.3.1 A Equaca
o de Ondas N
ao-Homog
enea em 3 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 798
693
16.11.3.2 Aplicaco
es a
` Eletrodin
amica. Potenciais Retardados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 800
15.1 A Equaca
o de Poisson em Tr
es Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 693
16.11.3.3 A Equaca
o de Ondas N
ao-Homog
enea em 2 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 803
15.1.1 A Equaca
o de Poisson em R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 697
15.1.2 A Equaca
o de Poisson Dommios Limitados de
R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 697
16.11.3.4 A Equaca
o de Ondas N
ao-Homog
enea em 1 + 1-Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 805
16.12 Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 807
15.1.2.3 Exist
encia de Soluca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699
15.1.3 Aplicaco
es a
` Eletrost
atica: Capacit
ancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 699
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 817
15.2.1 Aplicaco
es ao Eletromagnetismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703
15.3 Propriedades B
asicas de Funco
es Harm
onicas em R3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824
706
16.1 Deduca
o de Algumas Equaco
es Diferenciais de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707
16.1.1 Deduca
o Informal da Equaca
o de Difus
ao de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 707
IV
Grupos
826
16.1.2 Deduca
o Informal da Equaca
o da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 711
16.2 As Equaco
es de Helmholtz e de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 717
16.2.1 Problemas em Duas Dimens
oes em Coordenadas Polares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 719
16.2.2 Problemas em Tr
es Dimens
oes em Coordenadas Esf
ericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721
16.3 Problemas de Difus
ao em uma Dimens
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724
827
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 827
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 832
16.3.1 A Evoluca
o da Temperatura de uma Barra Finita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 724
16.3.2 A Evoluca
o da Temperatura de uma Barra Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 728
16.3.3 A Evoluca
o da Temperatura de uma Barra Semi-Infinita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 733
16.4 A Equaca
o de Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738
16.4.1 A Equaca
o de Ondas em 1 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 738
16.4.2 Interl
udio: Ondas Caminhantes e a Equaca
o do Telegrafo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 741
16.4.3 Outro Interl
udio: S
olitons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 744
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 835
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 844
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 744
16.4.3.2 S
olitons na Equaca
o de Sine-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 746
16.4.3.3 S
olitons no Modelo de Poco-Duplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 747
17.3.4 A Relaca
o entre SO(3) e SU(2)
16.4.3.4 S
olitons na Equaca
o de Schr
odinger N
ao-Linear
16.4.3.1 S
olitons na Equaca
o de Korteweg-de Vries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 749
16.4.4 A Equaca
o de Ondas e Transformadas de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 753
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 857
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 861
16.4.4.1 A Equaca
o de Ondas em 3 + 1 Dimens
oes. A Soluca
o de Kirchhoff . . . . . . . . . . . . . . . . . . . . . . . . . 756
16.4.4.2 A Equaca
o de Ondas em 2 + 1 Dimens
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 757
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 873
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 767
17.6.2 A Invari
ancia do Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 878
11/1685
12/1685
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 881
21.3 Aplicaca
o a
`s Equaco
es Integrais de Fredholm e de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1024
21.4 Aplicaco
es a
` Teoria das Equaco
es Diferenciais Ordin
arias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1030
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 903
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1043
921
21.A O Lema de Gr
onwall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1043
22 Espa
cos Topol
ogicos e Espa
cos Mensur
aveis. Defini
c
oes e Propriedades B
asicas
1044
22.1 Definico
es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044
18.4 A Relaca
o entre Grupos de Lie Matriciais e suas Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 938
18.4.1 Algebras
de Lie Nilpotentes, Sol
uveis, Simples e Semi-Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 939
18.4.2 Quest
oes sobre a Exponenciaca
o de Algebras
de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 941
18.4.3 Alguns Exemplos Especiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 943
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1057
1067
949
19.1 Representaco
es de Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 949
19.2 Representaco
es Irredutveis de SO(3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 954
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 960
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1080
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1086
23.A Prova das F
ormulas de Inclus
ao-Exclus
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1086
965
20 Espa
cos M
etricos
1088
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1088
966
24.1.1 A -
algebra de Borel em Rn e a Medida de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1090
20.1 M
etricas e Espacos M
etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 967
20.3 Pseudo-M
etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 983
25 Continuidade e Converg
encia em Espa
cos Topol
ogicos
1112
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1003
20.B N
umeros reais e p-
adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1005
20.C Aproximaco
es para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1010
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1118
1015
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1124
21.1.1 Generalizaco
es do Teorema de Ponto Fixo de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1018
21.2 Aplicaca
o a Equaco
es Num
ericas. O M
etodo de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1020
13/1685
1129
26.1 Coment
arios Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1129
14/1685
26.2 A Integraca
o no Sentido de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1255
26.2.2 Diferenciaca
o e Integraca
o em Espacos de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1141
27.B A Demonstraca
o de Weierstrass do Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1259
26.3 A Integraca
o no Sentido de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
26.3.1 Funco
es Mensur
aveis e Funco
es Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1145
26.3.2 A Integral de Lebesgue. Integraca
o em Espacos Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1150
26.3.3 A Integral de Lebesgue e sua Relaca
o com a de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1157
26.3.4 Teoremas B
asicos sobre Integraca
o e Converg
encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1159
26.3.5 Alguns Resultados de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1162
26.4 Os Espacos Lp e Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1164
26.4.1 As Desigualdades de H
older e de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1166
26.4.2 O Teorema de Riesz-Fischer. Completeza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1169
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1170
26.A Equival
encia das Definico
es II e III da Integrabilidade de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1170
26.B Caracterizaco
es e Propriedades de Funco
es Mensur
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1171
26.C Prova do Lema 26.3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1175
26.D Demonstraca
o de (26.22) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1176
26.E A Equival
encia das Definico
es (26.23) e (26.24) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1177
26.F Prova do Teorema da Converg
encia Mon
otona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1179
26.G Prova do Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1179
26.H Prova do Teorema da Converg
encia Dominada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1180
26.I
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1181
28 Introdu
c
ao `
as Distribui
c
oes e Transformadas de Fourier
28.1 Funco
es de Schwartz e Funco
es de Teste
1261
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1262
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1307
28.3.4.2 C
alculo da Derivada de Algumas Distribuico
es de Interesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1308
28.3.5 Alguns Resultados Estruturais sobre Distribuico
es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1310
28.3.6 Transformadas de Fourier de Distribuico
es Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1311
28.3.6.1 C
alculo de Transformadas de Fourier de Algumas Distribuico
es Temperadas
27 Aproxima
c
ao de Fun
c
oes. Aproxima
c
oes Polinomiais e S
eries de Fourier
1187
. . . . . . . . . . . . . . . . . . . 1311
27.1 Noco
es de Converg
encia para Seq
u
encias de Func
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1188
27.1.1 Import
ancia da Converg
encia Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1189
28.4 Equaco
es Diferenciais Distribucionais, Soluco
es Fundamentais e Funco
es de Green . . . . . . . . . . . . . . . . . . . . . . . . . 1320
28.4.1 Soluco
es Fundamentais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1322
28.4.1.1 Soluco
es Fundamentais como Funco
es Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1323
27.2 Seq
u
encias Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1194
27.3 Aproximaca
o de Funco
es por Polin
omios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1200
27.3.1 O Teorema de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1200
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1334
27.4 Aproximaca
o de Funco
es por Polin
omios Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1214
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1244
29 Alguns T
opicos Especiais em Topologia e An
alise
1339
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1360
15/1685
16/1685
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1370
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1377
30.8.1 A Equaca
o de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1475
29.3.3.3 Compacidade em Rn
30.8.3 A Equaca
o de Raychaudhuri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1479
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485
30.A Demonstraca
o de Algumas Propriedades do Tensor de Curvatura
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1485
29.4 As Noco
es de Topologia Fraca e de Topologia Forte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1391
30.B.1 M
etricas Riemannianas em Superfcies Regulares
29.8 A M
etrica de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1402
APENDICES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1404
30.B.2 Conex
oes em Superfcies Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491
VI
Geometria Diferencial
1406
VII
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1491
An
alise Funcional
1492
31 No
c
oes B
asicas Sobre Espa
cos de Hilbert
1493
1407
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1414
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1510
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1420
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1429
30.2.4 Aplicaco
es entre Variedades Diferenci
aveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1429
30.3 Campos Vetoriais e Tensoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1432
30.4 M
etricas Riemannianas e Semi-Riemannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1434
30.5 Conex
oes Afins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1442
30.5.1 O Tensor de Torca
o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1447
30.5.2 Conex
oes Afins em Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1449
30.5.3 Conex
oes Sim
etricas
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1449
30.5.4 Conex
oes M
etricas e Conex
oes de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1450
30.5.5 Gradiente, Divergente e Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1456
30.6 Geod
esicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1460
1517
32.3 Algebras
de Banach e Algebras
C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1551
32.3.1 Algebras
de Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1551
32.3.2 A Inversa de Operadores Limitados . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1554
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1559
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1567
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1569
17/1685
18/1685
Pref
acio
. . . . . . . . . . . . . . . . . . . . . . . . . . 1648
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1654
1657
Bibliografia
1664
Indice Remissivo
1671
19/1685
Bons Mots
20/1685
A mente n
ao e um vaso a ser repleto, mas uma tocha a ser acesa.
Plutarco (46?120)
When a theoretical physicists can not solve a problem he goes for the next more difficult one.
Sir Michael Francis Atiyah (1929)
My friend G. H. Hardy, who was professor of pure mathematics, enjoyed this pleasure [in mathematical demonstrations]
in a very high degree. He told me once that if he could find a proof that I was going to die in five minutes he would of
course be sorry to lose me, but this sorrow would be quite outweighed by pleasure in the proof .
Bertrand Russell (18721970)
Talvez eu n
ao tenha tido exito em fazer as coisas difceis tornarem-se f
aceis, mas pelo menos eu nunca fiz um assunto
f
acil tornar-se difcil.
F. G. Tricomi (18971978)
Unprovided with original learning, unformed in the habits of thinking, unskilled in the arts of composition, I resolved to
write a book.
Edward Gibbon (17371794)
Uma obra nunca e terminada, ela e apenas abandonada.
Atribuido a Paul Valery (18711945)
Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part
of physics where experiments are cheap.
Vladimir I. Arnold (1937)
In science, self-satisfaction is death. Personal self-satisfaction is the death of the scientist. Collective self-satisfaction
is the death of the research. It is restlessness, anxiety, dissatisfaction, agony of mind that nourish science.
Jacques Lucien Monod (19101976), in New Scientist, 1976
N
ao existe nenhuma categoria da Ciencia a
` qual se possa dar o nome de Ciencia Aplicada. O que existe s
ao a Ciencia
e as aplicaco
es da Ciencia, intimamente ligadas, como frutos a
`a
rvore que os gerou.
Louis Pasteur (18221895), in Pourquoi la France na pas trouve dhommes superieurs au moment du peril, Revue
Scientifique (Paris, 1871)
Disse Kant1 : Eu afirmo que em cada Ciencia Natural especfica pode-se atingir somente tanto Conhecimento verdadeiro
quanto nela houver de Matematica. De fato, somente dominamos uma teoria das ciencias naturais quando expomos seu
n
ucleo matem
atico e o desvendamos completamente.
David Hilbert (18621943) em Naturerkennen und Logik, palestra apresentada em setembro de 1930, em
K
onigsberg, em Congresso da Associacao Alem
a de Cientistas Naturais e Medicos.
N
ao podemos nos permitir acreditar naqueles que em nossos dias, com cenho filos
ofico e em tom de superiodidade,
profetizam a decadencia cultural e apologizam o Ignorabimus. Para n
os n
ao existe o Ignorabimus e, em minha opini
ao,
tambem n
ao para as Ciencias Naturais. Em lugar do tolo Ignorabimus nosso lema e N
os devemos saber, n
os iremos
saber.
David Hilbert. ibidem.
A geometry implies the heterogeneity of locus, namely that there is a locus of the Other. Regarding this locus of the
Other, of one sex as Other, as absolute Other, what do the most recent developments in topology allow us to posit? I will
posit here the term compactness. Nothing is more compact than a fault, assuming that the intersection of everything that
is enclosed therein is accepted as existing over an infinite number of sets, the result being that the intersection implies
this infinite number. That is the very definition of compactness.
1 Immanuel
Kant (17241804).
21/1685
O leitor deste livro nao deve possuir o temor de que o mesmo deva (nem a expectativa de que o mesmo possa) ser
lido linearmente, ou seja, na seq
uencia numerica crescente dos captulos e secoes. Ele nao foi concebido dessa forma e tal
concepcao nao seria exeq
uivel devido `a variedade de assuntos, `as diferencas de nvel de abordagem e a` complexidade das
conexoes entre os diferentes temas. O Conhecimento nao e um conjunto totalmente ordenado pela relacao de complexidade
conceitual ou pela relacao de motivacao (para a definicao da nocao de ordem total em conjuntos, vide pagina 36).
Os diversos captulos nao foram escritos em ordem crescente de complexidade. Por vezes, a motivacao para um
determinado tema e apresentada em um captulo anterior, mas por vezes essa motivacao surge em um captulo posterior.
Nos captulos sobre equacoes diferenciais, por exemplo, a discussao de aplicacoes em Fsica e postergada para o Captulo
16, pagina 707, e o leitor interessado na motivacao para certos tratamentos pode sem perdas consultar esse captulo antes
ou durante o estudo de captulos que lhe antecedem.
Um problema semelhante ocorre com temas ligados `a Topologia e a` Analise. Os captulos dedicados a esses assuntos
servem a captulos que lhes sucedem, mas tambem em parte a captulos de lhes antecedem. Cabe ao leitor perceber suas
necessidades formativas, avancando ou retrocedendo na leitura conforme lhe aprouver. A consulta ao Indice Remissivo
(pagina 1671) ou `a lista de Captulos e Secoes que comp
oe o texto (pagina 3) deve ser de grande valia para tal.
22/1685
Nota
c
ao e Advert
encias
Para facilitar a consulta e a leitura, listamos aqui sem muitos comentarios um pouco da notacao que empregaremos
nestas Notas.
Se z e um n
umero complexo denotaremos seu complexo conjugado por z. A notacao z (mais comum em textos
de Fsica) pode ocorrer mais raramente.
O smbolo A := B ou B =: A denota que A e definido pela express
ao B. O smbolo A B indica que A e B sao
duas notacoes distintas para o mesmo objeto.
Sejam A e B conjuntos. Se A e um subconjunto de B, denotamos esse fato por A B ou por B A. Por A $ B
ou B % A denotamos o fato de A ser um subconjunto pr
oprio de B, ou seja, A B, mas A 6= B.
Se x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) s
ao vetores reais com n componentes (ou seja, elementos de Rn ) entao
definimos
hx, yiR := x1 y1 + + xn yn .
Assim, se A Mat(C, n), entao A sera a adjunta de A (em relacao ao produto escalar usual, acima). O elemento
de matriz ij de A sera (A )ij = Aji .
Denotaremos o operador identidade agindo em um espaco vetorial (a matriz identidade, agindo em um espaco
vetorial de dimens
ao finita) pelo smbolo 1. Esse smbolo tambem representar
a a unidade de uma algebra.
Designaremos um produto escalar entre dois vetores u e v sempre por hu, vi e nunca por (u, v), para n
ao causar
entemente em textos
confusao com a notacao para par ordenado. Outra notacao possvel e aquela empregada freqA
ntica: hu | vi, mas faremos raramente uso dessa notacao.
nica QuA
de MecA
Ainda sobre produtos escalares, seguiremos sempre a convenc
ao dos textos de Fsica: um produto escalar em um
espaco vetorial sobre os complexos e linear em relacao ao segundo argumento e antilinear em relacao ao primeiro.
Assim, se e sao n
umeros complexos, teremos hu, vi = hu, vi. Textos de Matematica adotam por vezes a
convencao oposta (ou mesmo ambas!).
23/1685
Intervalos
Ainda nao introduzimos os n
umeros reais nem a relacao de ordem entre eles mas, como essas nocoes sao conhecidas,
vamos colocar aqui uma palavra sobre a nomenclatura usada para descrever intervalos da reta real. Para a < b R o
conjunto
(a, b) = {x R, com a < x < b}
e dito ser um intervalo aberto. Para a b R o conjunto
[a, b] = {x R, com a x b}
e dito ser um intervalo fechado. Para a < b R os conjuntos
[a, b) = {x R, com a x < b}
e
(a, b] = {x R, com a < x b}
sao ditos ser intervalos semi-abertos (ou semi-fechados).
importante dizer que a nomenclatura aberto ou fechado acima e usada independentemente da topologia usada
E
em R (a nocao de topologia sera introduzida adiante).
24/1685
Delta de Kr
onecker
De i e j pertencem a um conjunto contavel C, definimos o chamado delta de Kr
onecker por
1 , se i = j ,
ij ij ij ji :=
0 , se i 6= j .
para todos i, j C. As diferentes notacoes ij , ij , ij e ji ocorrem, por exemplo, na Geometria Diferencial e na Teoria
da Relatividade.
Parte I
Captulos Introdut
orios
25