Professional Documents
Culture Documents
Prefcio
Ao escrevermos este livro, tivemos como objetivo introduzir a Anlise
Funcional de maneira a ressaltar seus aspectos geomtricos e minimizar seus prrequisitos. Decidimos produzir um texto que apresentasse os principais resultados
da Anlise Funcional Linear, mas pudesse ser apresentado no final da bacharelado
ou no incio do mestrado em Matemtica; que fosse fonte abundante de exemplos;
que contivesse aplicaes relevantes.
Em suma, gostaramos de fornecer um panorama da Anlise Funcional por meio
de seus resultados fundamentais e no contexto mais concreto possvel. Nesse
sentido, a escolha de espaos com produto interno natural: a topologia necessria
tem um forte apelo geomtrico e o texto poderia ser visto como continuao de um
curso de lgebra Linear.
Contudo, estvamos diante de quatro impasses: como evitar conhecimentos de
medida e da integral de Lebesgue, necessria em muitos exemplos envolvendo o
operador derivao? Como introduzir o teorema da aplicao aberta e o teorema
de separao1 de Hahn-Banach? Como elaborar um texto diferente da abundante
literatura escrita em lngua estrangeira?
Chegamos concluso que dar exemplos envolvendo o operador derivao
implicava, como C. Hnig [16] percebeu, expor a teoria no contexto de espaos
com produto interno e no somente no de espaos de Hilbert. Essa escolha
particularmente perceptvel no Captulo 4, onde se estudam aplicaes lineares
T W E ! F , em que E; F so espaos com produto interno. Embora o ponto central
do captulo seja o estudo de operadores contnuos T W E ! E e seus adjuntos, este
estudo no feito supondo que o espao E seja completo, motivado principalmente
pelo desejo de evitar conhecimentos da integral de Lebesgue. Nesse contexto,
a adjunta de uma aplicao linear T W E ! F nem sempre existe! Essa teoria
1
i
i
i
i
ii
raramente exposta e o texto [16] de C. Hnig uma das raras excees. Em alguns
momentos esse tratamento no causa maiores dificuldades mas, em outros, produz
exemplos patolgicos, em geral deslocados para uma seo de leitura opcional
ou para os exerccios. Contudo, introduzimos tambm o tratamento tradicional
de aplicaes lineares descontnuas e, em sees mais avanadas, apresentamos
sumariamente a teoria de operadores densamente definidos em espaos de Hilbert.
Notamos que essa escolha j diferenciaria nosso texto da literatura estrangeira
existente que, em geral, tem seus exemplos fundamentais dependendo de
conhecimentos da integral de Lebesgue. Por outro lado, junto com nosso desejo
de no estender muito o texto, ela impediu a exposio de aplicaes relevantes da
teoria.
Uma vez escolhido e delimitado nosso objeto de estudo, concentramos
nossa ateno na escolha de demonstraes construtivas, evitando abordagens
demasiadamente abstratas. Por exemplo, o Teorema de Baire no utilizado
explicitamente em todo o livro! Apresentamos uma demonstrao geomtrica do
Teorema (de separao) de Hahn-Banach que, sendo to simples, torna inusitado
o fato de ela no estar presente na literatura consultada. Finalmente, o Teorema
da Aplicao Aberta demonstrado como consequncia do Teorema do Grfico
Fechado, o que inverte a trajetria usualmente utilizada em textos mais avanados.
Apresentamos agora a estruturao dos captulos deste livro.
O Captulo 1 trata de noes bsicas da topologia. Preferimos abordar
unicamente a teoria de espaos normados, apesar de pequenas alteraes serem
suficientes para expor o material no contexto de espaos mtricos: se verdade
que a topologia de espaos mtricos praticamente no altera as definies e provas
dos resultados, o nvel de abstrao muito maior e noes intuitivas quase
sempre revelam-se falsas nesses espaos. Achamos que a comparao entre espaos
normados e espaos com produto interno j rica o bastante em contra-exemplos!
O Captulo 2 introduz, de maneira tradicional, os espaos com produto
interno. (Uma abordagem alternativa de sua primeira seo pode ser encontrada
no Apndice A.) A Seo 2.2 apresenta sistemas ortonormais. Achamos que, se
o aluno no tiver qualquer experincia com sries de Fourier, conveniente a
exposio prvia de suas principais propriedades, como aquela contida no Apndice
B. Grande parte dos textos introdutrios de Anlise Funcional s apresenta sistemas
ortonormais enumerveis. Achamos que o tratamento do caso geral no produz
i
i
iii
grande dificuldade, mas os resultados esto expostos na Seo 2.5, que pode ser
suprimida. A Seo 2.7 mais avanada, e pode ser evitada: ela estuda a relao
entre sistemas ortonormais maximais e bases ortonormais e depende bastante de
resultados contidos no Apndice C.
O Captulo 3 apresenta as principais propriedades geomtricas de espaos com
produto interno. O captulo comea relacionando o ncleo de um funcional linear e
sua continuidade. Depois, estuda propriedades de subconjuntos convexos, expe o
Teorema de Separao de Hahn-Banach e projeo ortogonal, apresenta o Teorema
de Representao de Riesz, que uma propriedade de caracteriza espaos de
Hilbert. Aps apresentar o Teorema de Lax-Milgram, introduz a convergncia fraca
e a limitao uniforme, que demonstrada sem a utilizao (explcita) do Teorema
de Baire. O captulo finaliza mostrando que espaos de Hilbert so fracamente
sequencialmente compactos.
O Captulo 4 estuda aplicaes lineares e suas adjuntas. Inicialmente o
estudo feito no contexto de aplicaes T W E ! F entre espaos com produto
interno. Como esses no so supostos completos, a adjunta nem sempre existe. O
captulo, abundante em exemplos, caracteriza operadores isomtricos, simtricos,
antisimtricos e normais. O estudo de aplicaes lineares descontnuas, um tpico
mais avanado, feito de maneira tradicional, ao considerar aplicaes densamente
definidas entre espaos de Hilbert. Algumas propriedades bsicas de operadores
fechados e o Teorema do Grfico Fechado so expostos na Seo 4.5. O captulo
termina mostrando, como consequncia do Teorema do Grfico Fechado, o Teorema
da Aplicao Aberta.
A teoria espectral exposta no Captulo 5. Nele esto expostas a alternativa
de Fredholm (seguindo a abordagem de Evans [11], que especfica para
espaos de Hilbert) e algumas propriedades bsicas do espectro so mostradas no
contexto geral de operadores densamente definidos. Contudo, o Teorema Espectral
demonstrado para operadores simtricos compactos e ento para operadores
normais compactos. O captulo finaliza estudando algumas propriedades de
operadores positivos semidefinidos.
O Captulo 6 expe a teoria de Sturm-Liouville. No captulo dada especial
nfase funo de Green, que tambm exposta em seu sentido generalizado, isto
, quando D 0 um autovalor do problema de Sturm-Liouville.
O ltimo captulo do livro estuda o problema no linear u00 D f .u/ para
i
i
iv
t 2 .0; 1/, com condies de fronteira de Dirichlet. Para isso, ele usa tcnicas
variacionais, introduzindo espaos de Sobolev (na reta) e aplicaes convexas
coercivas.
i
i
Sumrio
Prefcio
1
Espaos Normados
1.1 Espaos Vetoriais . . . . . . . . . . . . . . . . . .
1.2 Espaos Normados . . . . . . . . . . . . . . . . .
1.3 Conjuntos Abertos e Fechados . . . . . . . . . . .
1.4 Aplicaes Contnuas . . . . . . . . . . . . . . . .
1.5 Conjuntos Compactos . . . . . . . . . . . . . . . .
1.6 Convergncias Pontual e Uniforme . . . . . . . . .
1.7 Espaos de Banach . . . . . . . . . . . . . . . . .
1.8 Aplicaes Lineares Contnuas . . . . . . . . . . .
1.9 Normas Equivalentes . . . . . . . . . . . . . . . .
1.10 Espaos Normados de Dimenso Finita . . . . . .
1.11 O Teorema de Arzel-Ascoli . . . . . . . . . . . .
1.12 O Completamento . . . . . . . . . . . . . . . . . .
1.13 Exemplos de Espaos de Banach . . . . . . . . . .
1.13.1 Espaos de Aplicaes Lineares Contnuas
1.13.2 Espao de Funes Integrveis . . . . . . .
1.13.3 Espaos de Sequncias . . . . . . . . . . .
1.13.4 As Desigualdades de Hlder e Minkowsky
1.14 Exerccios . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
4
6
8
10
13
16
17
19
20
24
28
30
30
31
33
33
37
v
i
i
i
vi
SUMRIO
2.4
2.5
2.6
2.7
2.8
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Teoria Espectral
5.1 Aplicaes Lineares Compactas . .
5.2 O Espectro . . . . . . . . . . . . .
5.3 Propriedades Bsicas do Espectro .
5.4 A alternativa de Fredholm . . . . .
5.5 Operadores Simtricos Compactos .
5.6 Operadores Normais Compactos . .
5.7 Operadores Positivos Semidefinidos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
70
74
76
82
82
.
.
.
.
.
.
.
.
.
90
90
92
93
95
97
100
105
110
117
.
.
.
.
.
.
.
123
124
128
136
146
152
157
159
.
.
.
.
.
.
.
168
168
172
176
181
186
192
193
i
i
SUMRIO
5.8
6
vii
Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
O Problema de Sturm-Liouville
6.1 Definies e Exemplos . . . . . . . . . . . .
6.2 A funo de Green . . . . . . . . . . . . . .
6.3 Autovalores do problema de Sturm-Liouville
6.4 Desenvolvimento em autofunes . . . . . .
6.5 A funo de Green generalizada . . . . . . .
6.6 Exerccios . . . . . . . . . . . . . . . . . . .
Um Problema No-Linear
7.1 O L AGRANGEANO . . . . . . . . . . . .
7.2 F UNES T ESTE . . . . . . . . . . . . .
7.3 U M E SPAO DE S OBOLEV: W 1;2 0; 1 .
7.4 O SUBESPAO W01;2 0; 1 . . . . . . . .
7.5 D E VOLTA AO L AGRANGEANO . . . . .
7.6 P ONTOS C RTICOS . . . . . . . . . . . .
7.7 E XERCCIOS . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
202
202
206
212
216
220
229
.
.
.
.
.
.
.
232
233
238
241
244
247
251
255
.
.
.
.
.
258
258
260
263
269
272
.
.
.
.
.
.
275
275
276
282
283
288
291
Apndices
A Formas e Produto Interno
A.1 Aplicaes Sesquilineares . . . .
A.2 Formas Hermitianas e Quadrticas
A.3 Formas Hermitianas . . . . . . . .
A.4 Formas Contnuas . . . . . . . . .
A.5 Exerccios . . . . . . . . . . . . .
.
.
.
.
.
B Sries de Fourier
B.1 A Corda Vibrante . . . . . . . . . .
B.2 Separao de Variveis . . . . . . .
B.3 Chega de Formalismo! . . . . . . .
B.4 Convergncia Quadrtica . . . . . .
B.5 Convergncia Uniforme . . . . . . .
B.6 Voltando Convergncia Quadrtica
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
i
i
viii
SUMRIO
309
Referncias Bibliogrficas
311
ndice Remissivo
315
i
i
1
Espaos Normados
Em princpio, os espaos que consideraremos neste texto so espaos de
funes. Isso significa que quase todos os nossos exemplos sero espaos vetoriais
de dimenso infinita. Nesses espaos, muitas vezes a estrutura algbrica insuficiente para a obteno de resultados fortes, sendo necessria a insero de uma
estrutura topolgica. Mas, ao contrrio do caso de espaos vetoriais de dimenso
finita, no existe qualquer isomorfismo natural que permita a introduo da
topologia e, em muitos casos importantes, no possvel obter estrutura topolgica
conveniente gerada por produto interno.
Estudaremos espaos normados, isto , espaos vetoriais nos quais existe a
noo de norma de um vetor. Nosso objetivo neste captulo no apresentar estudo
aprofundado das propriedades de tais espaos, mas sim contrast-los com espaos
nos quais a topologia gerada por um produto interno, espaos esses que sero
introduzidos no Captulo 2. Assim, grande parte de nossa exposio reduz-se
topologia bsica dos espaos normados e introduo de exemplos importantes.
Denotaremos por N o conjunto f1; 2; : : :g, por RC o intervalo real 0; 1/ e por K
o corpo dos reais ou o corpo dos complexos. Resultado bsicos da lgebra Linear
so referenciados ao texto [5], que ser citado como [AL].
i
i
Espaos Normados
Cap. 1
(1.1)
i
i
1.1
Espaos Vetoriais
Muitas vezes, para mostrarmos que um espao tem dimenso infinita, exibimos
um subespao que sabemos ter dimenso infinita. Para isso, frequentemente
utilizamos os subespaos que introduziremos nos Exemplos 1.5 e 1.6.
Exemplo 1.2 No espao Kn D f.x1 ; : : : ; xn/ W xi 2 Kg a base cannica formada pelos vetores e1 D .1; 0; : : : ; 0/, e2 D .0; 1; 0; : : : ; /; : : : ; en D .0; : : : ; 0; 1/.
O espao Kn um espao vetorial de dimenso n sobre o corpo K. Usualmente
denotaremos os elementos de Kn por meio de matrizes coluna:
0
1
x1
B x2 C
B
C
x D B : C D .x1 x2 : : : xn /t :
:
@ : A
xn
i
i
Espaos Normados
Cap. 1
Uma pergunta natural se todo espao vetorial X possui uma norma. Embora
possamos provar sua existncia, raramente essa norma tem utilidade prtica. No
prximo Captulo discutiremos mais essa situao: veja o Exemplo 2.5.
Exemplo 1.8 No espao Kn , se x D .x1 ; : : : ; xn /, podemos considerar as normas
p
kxk D
x1 xN 1 C : : : C xn xN n ;
kxks D jx1 j C : : : C jxn j;
kxk1 D
max jxi j:
1in
i
i
1.2
Espaos Normados
Proposio 8.6). Esse fato tambm segue-se do Teorema 1.74, que mostraremos
ainda neste Captulo.
Mais geralmente, sejam k k uma norma arbitrria em Kn e B D fx1 ; : : : ; xn g
uma base de um espao de dimenso finita X . Para x D 1 x1 C : : : C n xn ,
definimos Ix D .1 : : : n /t 2 Kn . fcil ver que I uma bijeo linear
e que kxkX D kIxk define uma norma em X , chamada norma induzida pela
norma de Kn . usual denotar .1 : : : n /t 2 Kn por xB e chamar esse vetor de
representao de x na base B.
Dessa forma, podemos imitar as normas habituais do espao Kn e considerar as
normas habituais k k; k ks e k k1 do espao de dimenso finita X (com respeito
base B).
Observe que o Exemplo 1.8 mostra que todo espao vetorial de dimenso finita
torna-se um espao normado, uma vez fixada uma de suas bases.
Definio 1.9 Seja X um espao normado. Um subconjunto A limitado, se existir
M > 0 tal que kak M para todo a 2 A.
Exemplo 1.10 Seja X ; um conjunto arbitrrio. Defina
B.X; K/ D ff W X ! K W f .X / limitadog:
Esse conjunto um subespao do espao das funes f W X ! K, apresentado
no Exemplo 1.3. As funes em B.X; K/ so as funes limitadas. Em B.X; K/
definimos
kf k1 D sup jf .x/j:
x2X
fcil verificar que k k1 uma norma nesse espao (veja o Exerccio 7). Em
particular, se X D N (veja o Exemplo 1.4), usual denotar o espao B.N; K/ por
`1 , o espao de todas as sequncias limitadas:
k.xn /k1 D sup jxn j:
n2N
i
i
Espaos Normados
Cap. 1
Uma vez que toda funo contnua definida em a; b atinge mximo nesse
conjunto (veja, em caso de dvidas, o Corolrio 1.26), podemos considerar a norma
kf kC 1 D max jf .t/j C max jf 0 .t/j D kf k1 C kf 0 k1 :
t 2a;b
t 2a;b
xk < r g
Sr .x/ D fy 2 X W ky
xk D r g
B r .x/ D fy 2 X W ky
xk r g
i
i
1.3
xk < . Equivalentemente,
kxn
xk ! 0:
9 .xn / W W xn ! x:
i
i
Espaos Normados
Cap. 1
kx
ak <
kf .x/
f .a/k < :
Quer dizer, dado > 0, existe uma bola aberta B .a/ tal que f .B .a/ \ A/
B .f .a//.
Se f for contnua em todos os pontos a 2 A, dizemos que f contnua em A
ou, simplesmente, que f contnua.
i
i
1.4
Aplicaes Contnuas
.i i i / a imagem inversa f
fechado em A.
i
i
10
Espaos Normados
Cap. 1
i
i
1.5
11
Conjuntos Compactos
8 x 2 K:
x2K
yk <
kf .x/
f .y/k < ;
para quaisquer x; y 2 A:
i
i
12
Espaos Normados
Cap. 1
yk, ento
n!1
f .yn /k D
lim f .xn /
n!1
f .yn /
D kf .x/
f .x/k D 0;
i
i
1.6
13
kfn .x/
f .x/k < ; 8 x 2 A:
f .t/C
fn.t/
f .t/
f .t/
-
i
i
14
Espaos Normados
Cap. 1
Vale
fn f
kfn
f k1 ! 0;
pois kfn f k1 se, e somente se, jfn .t/ f .t/j para todo t 2 a; b. Por
esse motivo, kk1 chamada norma da convergncia uniforme. Uma outra notao
usual para k k1 k ksup .
Exemplo 1.32 No mesmo espao C a; b; R tratado no Exemplo anterior, consideremos a questo: existe alguma norma k k nesse espao que produza a
convergncia pontual, isto , existe k k tal que
kfn
fk!0
fn .t/ ! f .t/; 8 t 2 a; b ?
2n t;
se 0 t 2 n ;
gn .t/ D 2 2n t; se 2 n t 21 n ;
:
0;
nos demais casos:
gn.t/ 6
1
D
D
D
D
D
1
2n
D
D
D
D
i
i
1.6
15
kx
ak <
kfn .x/
fn .a/k < :
3
ak < , vale
f .a/k
i
i
16
Espaos Normados
Cap. 1
kxm
xn k < :
kf .xm /
f .xn /k < :
i
i
1.8
17
Tyk M kx
yk;
.i i i / T contnua na origem;
.i v/ T limitada: sup kT xk D M < 1.
kxk1
Em geral, representaremos uma aplicao linear por uma letra latina maiscula: R, S , T etc.
Contudo, funcionais lineares, isto , aplicaes lineares de X em K, geralmente sero representadas
por letras minsculas: f , g, etc. No caso de aplicaes lineares, usualmente denotaremos T .x/
por T x, reservando o uso de parnteses para situaes que puderem suscitar dvidas. Contudo,
manteremos o uso de parnteses no caso de funcionais lineares: f .x/,
.y/ etc.
i
i
18
Espaos Normados
Cap. 1
Observao 1.42 Note que a definio de uma aplicao linear limitada diferente
daquela de uma aplicao (no linear) limitada, de acordo com o Exemplo 1.10.
Exemplo 1.43 Consideremos o espao Rt, abordado no Exemplo 1.5. Definimos,
para p 2 Rt,
kpk D sup jp.t/j:
t 20;1=2
i
i
1.9
19
Normas Equivalentes
k.x; y/k1 D max kxk; kyk ;
Note que conceitos como conjunto limitado, fechado, aplicao contnua etc, so todos
dependentes da topologia considerada.
i
i
20
Espaos Normados
Cap. 1
i
i
1.10
21
iD1
iD1
unj ks C
1
:
nj
i
i
22
Espaos Normados
Cap. 1
n
X
iD1
ji j kT xi k max kT xi k
1in
Pn
n
X
iD1
ji j D kxks ;
dist .x0 ; A/ D inf kx0 ak W a 2 A :
a2A
i
i
1.10
23
x
kx
y0
:
y0 k
> 1 :
kx y0 k
.1 C /
y0 k C y0
i
i
24
Espaos Normados
Cap. 1
gksup <
kvx .f /
vx .g/k D kf .x/
g.x/k < :
x0 k <
kf .x/
f .x0 /k ; 8 f 2 A:
i
i
1.11
25
O Teorema de Arzel-Ascoli
yk <
kf .x/
f .y/k < ; 8 f 2 A:
fj .yj /k :
m
[
B .xi /:
iD1
i
i
26
Espaos Normados
Cap. 1
fi ksup <
3
f .x0 /k
Como cada funo fi uniformemente contnua, existe > 0 tal que kx x0 k <
implica kfi .x/ fi .x0 /k < =3 para todo 1 i n , o que garante que E
equicontnuo.
Reciprocamente, seja R1 D ff11 ; f12 ; : : : ; f1n ; : : :g uma sequncia arbitrria
em E. De acordo com o Lema 1.65, existe um conjunto D D fx1 ; : : : ; xn; : : :g S
i
i
1.11
27
O Teorema de Arzel-Ascoli
xk <
kf .y/
kfm .x/
Logo,
kfm .y/
fn .y/k
Consequentemente,
kfm
y2S
fn .y/k ;
2
i
i
28
Espaos Normados
Cap. 1
1.12 O Completamento
Definio 1.68 Seja X; k k um espao normado. Definimos o completamento
e; T de X como um par consistindo de um espao de Banach X
e; k k0 e uma
X
aplicao linear
que preserva a norma, isto ,
e
TWX ! X
kT xk0 D kxk;
8 x 2 X;
e.
e tal que T .X / denso em X
i
i
1.12
29
O Completamento
Demonstrao: Definimos
X D D .xj / W .xj / uma sequncia de Cauchy em X :
lim kxj
j !1
yj k D 0:
c D cxj :
e um
fcil verificar que essas operaes esto bem definidas e que, com elas, X
espao vetorial.
e torna-se um espao normado ao definirmos
O espao X
D lim kxj k:
(1.3)
0
j !1
provando o afirmado.
i
i
30
Espaos Normados
Cap. 1
i
i
1.13
31
kTn x
Tm xk D k.Tn
Tm / xk kTn
Tm k kxk;
Alguns autores denotam o dual de X por X 0 . Notamos que estamos tratando do espao dual
topolgico, isto , aquele dos funcionais lineares contnuos, enquanto o dual algbrico constitudo
por todos os funcionais lineares, independentemente de continuidade.
8
i
i
32
Espaos Normados
Cap. 1
b
a
jf .x/jdx:
Denotamos por CL1 a; b; K o espao vetorial C a; b; K com a norma kkL1 .
Uma vez que esse espao no completo (veja o Exerccio 39), consideramos o seu
completamento com a norma k kL1 . Esse espao completo ser denotado por
L1 a; b ou, simplesmente, L1 .
Pode-se mostrar que o conjunto L1 constitudo por (classes de equivalncia)
de funes f W a; b ! K, com a identificao f D g, se f e g diferem apenas
num conjunto de medida nula,10 denotado por f D g qtp. (Veja [28, 29, 38].)
Da mesma forma que acontece na passagem dos racionais para os reais, as
funes em L1 que podemos integrar explicitamente so basicamente aquelas que
integrvamos nos cursos de Clculo.11 A importncia do espao L1 deve-se
riqueza de suas operaes com limites, apresentadas em um curso de integrao.
Uma vez construdo o espao L1 , podemos construir outros espaos por meio
de uma modificao da norma k kL1 .
Seja 1 < p < 1. Para f 2 C a; b; K , definimos
kf kLp D
jf .x/j dx
!1=p
Definimos tambm
kf kL1 D kf k1 D sup jf .x/j:
x2a;b
i
i
1.13
33
em que 1 p < 1.
Denotamos por `p o conjunto de todas as sequncias .xn / tais que k.xn /kp <
1. Considerando tambm o espao `1 , definido no exemplo 1.10, obtemos os
conjuntos `p , 1 p 1. Veremos que os conjuntos `p so espaos de Banach.
(A demonstrao de que k kp uma norma decorre do Teorema 1.74.)
i
i
34
Espaos Normados
Cap. 1
nD1
nD1
e, se p D 1,
1
X
nD1
1
X
jxn yn j
nD1
.i i / Dados f; g 2 C a; b; K , ento kfgkL1 kf kLp kgkLp0 , isto ,
se 1 < p < 1,
Z
b
a
jf .x/g.x/jdx
se p D 1,
Z
jf .x/jp dx
jf .x/g.x/jdx
!1=p Z
b
a
jf .x/jdx
b
a
sup jg.x/j:
x2a;b
12
t/y/ tf .x/ C .1
t/f .y/;
jg.x/jp dx
!1=p 0
8 t 2 0; 1:
Se a desigualdade contrria se verifica, dizemos que a funo cncava. Verifique que a funo
logaritmo lnW .0; 1/ ! R cncava!
i
i
1.13
35
jxn j
kxkp
bn D
jyn j
kykp 0
.n D 1; : : : ; n/
0
jxn yn j
1 jxn jp
1 jyn jp
C
0:
kxkp kykp 0
p kxkpp
p 0 kxkpp0
1
X
seguindo-se da o afirmado.
.i i / O resultado evidente para p D 1 ou p D 1. Para 1 < p < 1, o
resultado claramente vlido se f 0 ou g 0. Defina ento
a.x/ D
jf .x/j
kf kLp
b.x/ D
jg.x/j
:
kf kLp0
1 jf .x/jp
jf .x/g.x/j
1 jg.x/jp
:
C
0
p
kf kLp kgkLp0
p kf kL
p 0 kgkp p0
p
L
Integrando essa desigualdade em a; b obtemos, como antes, o resultado.
i
i
36
Espaos Normados
Cap. 1
1
X
nD1
jxn C yn jp 2p
1
X
nD1
1
X
jxn jp C
nD1
jyn jp
< 1:
(1.4)
Temos ento
1
1
X
X
p
jxn C yn j D
jxn C yn jp 1 jxn C yn j
nD1
nD1
1
X
nD1
jxn C yn j
1
X
nD1
p 1
jxn C yn j.p
1
X
nD1
1
X
nD1
jxn j C
1/p 0
jxn C yn j.p
jxn C yn jp
!1
1
X
nD1
! p10
1/p 0
1
p
jxn C yn jp 1 jyn j
1
X
nD1
! p10
jxn jp
1
X
nD1
! p1
jyn jp
! p1
.kxkp C kykp /:
(1.5)
i
i
1.14
37
Exerccios
jxmi
xn kpp ;
o que garante que .xmi /m2N uma sequncia de Cauchy em K. Assim, para cada
i 2 N, existe ai D lim xni . Dado > 0, tome n0 2 N tal que kxm xn kp <
n!1
jxmi
xni jp < p :
1
X
iD1
jai
xni jp p
(1.6)
1.14 Exerccios
1. Seja B um subconjunto no vazio do espao vetorial X . Mostre que < B >
um subespao de X . Se B for uma base, mostre que cada x 2 X escreve-se
de maneira nica como combinao linear de elementos de B.
i
i
38
Espaos Normados
Cap. 1
im T D fy 2 Y W y D T xg
i
i
1.14
39
Exerccios
n!1
(a) kxk
kyk kx
n!1
yk;
(b) lim .n xn C n yn / D x C y;
n!1
i
i
40
Espaos Normados
Cap. 1
x0 k <
kf .x; t/
yn / D 0
lim kf .xn /
n!1
f .yn /k D 0:
i
i
1.14
41
Exerccios
fechado. Defina dist .K; F / D inf kk f k W k 2 K; f 2 F . Mostre que,
se K \ F D ;, ento dist .K; F / > 0. (Note que, em particular, podemos
tomar K D fx0 g, para x0 2 X .)
25. Sejam K; F X , em que X um espao normado de dimenso finita, K um
compacto e F um fechado. Mostre que existem k0 2 K e f0 2 F tais que
dist .K; F / D kk0 f0 k.
26. Seja X um espao normado de dimenso finita. Mostre que, para todo
subespao Y X , existe x 2 B 1 .0/ tal que dist .x; Y / D 1.
27. D exemplo de um espao de Banach X que possui um subespao fechado Y
de modo que no exista x 2 B 1 .0/ X tal que dist .x; Y / D 1.
28. Considere o espao de Banach X D C 0; 1; R com a norma k k1 . Seja
A X um conjunto convexo completo e D inf kak. D exemplos de
a2A
(b) existe uma sequncia .an / em A tal que kan k1 ! , mas nenhuma de
suas subsequncias de Cauchy;
(c) no existe a 2 A tal que kak1 D .
29. Seja X um espao normado. Mostre que, se B 1 .0/ no for compacta, ento
B r .x/ no compacta para todo r > 0.
i
i
42
Espaos Normados
Cap. 1
i
i
1.14
Exerccios
43
i
i
44
Espaos Normados
Cap. 1
f .x; t/dt:
contnua.
sup
kx1 kD:::Dkxn kD1;
(d) existe C > 0 tal que kT .x1 ; : : : ; xn /k M kx1 k kxn k para todo
.x1 ; : : : ; xn / 2 X1 Xn ;
Conclua que tanto a funo determinante como a multiplicao de um vetor
por um escalar so aplicaes contnuas.
47. Sejam X; Y; Z espaos normados, com X e Y de dimenso finita. Mostre que
toda aplicao bilinear BW X Y ! Z contnua. Generalize para aplicaes
n-lineares.
i
i
1.14
45
Exerccios
sup
kxkDkykD1
kB.x; y/k;
de modo que
kB.x; y/k kBk kxk kyk;
8 .x; y/ 2 X Y:
2
A
F
m
[
iD1
Ai ; i 2 :
i
i
46
Espaos Normados
Cap. 1
iD1
x 2 X.
Se a srie numrica
1
X
iD1
absolutamente convergente.
53. Mostre que um espao normado X um espao de Banach se, e somente se,
toda srie absolutamente convergente for convergente.
P1
uma srie absolutamente
54. Sejam W N ! N uma bijeo e
iD1 xi P
1
convergente. Defina yi D x .i/ . Mostre que iD1 yn absolutamente
P1
P1
P1
convergente e iD1 yi D iD1 xi , isto , a srie iD1 comutativamente
convergente.
i
i
1.14
47
Exerccios
f .y/k kx
yk 8 x; y 2 F;
x.0/ D x0 2 Rn
x.t/ D x0 C
f .s; x.s//ds;
t 2 I:
i
i
48
Espaos Normados
Cap. 1
g.y/.t/k
kx
yk e t :
i
i
2
Espaos com Produto Interno
Espaos com produto interno foram introduzidos em um curso de lgebra
Linear.1 Algumas propriedades de um espao com produto interno independem
de sua dimenso ser finita. Isso acontece, por exemplo, com a desigualdade de
Cauchy-Schwarz e a identidade do paralelogramo.
Neste captulo estudamos as propriedades bsicas dos espaos com produto
interno. Em seguida, estudamos bases ortonormais (uma generalizao do conceito
em dimenso finita) e caracterizamos os espaos de Hilbert.
49
i
i
i
50
Cap. 2
P
Em `2 , definimos o produto interno hx; yi D .xn /; .yn / D 1
nD0 xn yn . (A
2
2
desigualdade jxn yn j .1=2/ jxn j C jyn j garante que a srie absolutamente
convergente.) A verificao que h; i um produto interno simples.
2
i
i
2.1
51
Produto Interno
Exemplo 2.5 O Teorema C.14 do Apndice C garante que todo espao vetorial
V f0g possui uma base de Hamel. Se B D fx
W
2 g for uma base de Hamel
de V, definimos, para ;
2 ,
1; se
D ;
hx
; x i D
0; se
:
P`
Pk
Se x D
iD1 i xi , estendendo a definio de h; i
iD1 i xi e y D
linearmente, obtemos um produto interno no espao V. (Observe que a extenso
ocorre ao considerarmos combinaes lineares de elementos da base de Hamel.)
Notamos, contudo, que a existncia de uma base em X no significa que
podemos explicitar seus elementos. Assim, geralmente, no h como calcular o
produto interno de quaisquer elementos do espao e a definio dada acima para o
produto interno torna-se meramente terica.
Definio 2.6 Sejam u; v vetores do espao com produto interno E. Dizemos que
esses vetores so ortogonais .ou perpendiculares/, se hu; vi D 0. Nesse caso,
escrevemos u ? v.
Vamos mostrar que kuk D hu; ui1=2 0 define uma norma. Para isso, notamos
inicialmente que, com essa definio, temos
.i / 0 D kuk D hu; ui1=2
.i i / kuk D hu; ui1=2
, u D 0;
1=2
D N
hu; ui1=2 D jj kuk;
i
i
52
Cap. 2
u; ui D 0
hv; ui
:
kuk2
u6
w
-
pr ojv u
i
i
2.1
53
Produto Interno
Demonstrao: Para completar a demonstrao de que kuk D hu; ui1=2 define uma
norma, basta provar a desigualdade triangular. Denotando por Re z a parte real de
z 2 C, temos que
ku C vk2 D hu C v; u C vi D kuk2 C hu; vi C hv; ui C kvk2
D kuk2 C 2 Re jhu; vij C kvk2
2
(2.1)
Se um espao com produto interno (com a topologia gerada por sua norma) for
completo, dizemos que ele um espao de Hilbert. Os espaos Kn e `2 so espaos
de Hilbert. O espao CL2 a; b; K no um espao de Hilbert, de acordo com o
Exerccio 39 do Captulo 1. (Note que a desigualdade de Hlder 1.72, no caso dos
espaos `2 e CL2 a; b; K , a desigualdade de Cauchy-Schwarz.)
Lema 2.10 Seja E um espao com produto interno.
identidades de polarizao:
Ento so vlidas as
1
ku
4
vk2 :
1
ku
4
i
vk2 C ku C i vk2
4
i
ku
4
i vk2 :
i
i
54
Cap. 2
yk2 D 2 kxk2 C kyk2 ;
8 x; y 2 X:
(2.2)
1
kx C yk2
4
kx
i
yk2 C kx C iyk2
4
kx
iyk2 ;
kx
iyk2
i
k i .x C iy/k2 ki .x iy/k2
4
i
D
ky i xk2 ky C i xk2
4
i
D
ky C i xk2 ky i xk2 :
4
D
i
i
2.1
55
Produto Interno
1
1
kx C yk2 C kz C yk2
kx yk2 C kz yk2
4
4
i
i
2
2
C kx C iyk C kz C iyk
kx iyk2 C kz iyk2
4
4
1
1
kx C z C 2yk2 C kx zk2
kx C z 2yk2 C kx zk2
D
8
8
i
i
C kx C z C 2iyk2 Ckx zk2
kx C z 2iyk2 Ckx zk2
8
8
1
2
2
kx C z C 2yk
kx C z 2yk
D
8
i
C kx C z C 2iyk2 kx C z 2iyk2
8
1
D B.x C z; 2y/:
(2.3)
2
B.x; y/ C B.z; y/ D
(2.4)
Agora provamos por induo que nB.x; y/ D B.nx; y/, para todo n 2 N,
ao fazermos z D .n 1/x em .2:4/. Por outro lado, tomando z D x nessa
mesma igualdade, verificamos que B. x; y/ D B.x; y/ e da segue-se que
pB.x; y/ D B.px; y/ para todo p 2 Z. Se 0 q 2 Z, ento vale
x
p
x
p
x
p
p
x; y D pB
; y D qB
; y D B q ; y D B.x; y/:
B
q
q
q
q
q
q
q
Observamos tambm que a definio de B e a continuidade da aplicao
k kW X ! R garantem que, se xn ! x e yn ! y em X , ento
lim B.xn ; yn / D B.x; y/:
n!1
n!1
i
i
56
Cap. 2
i
i
2.2
57
Sistemas Ortonormais
cos k t
fk D p ;
sen k t
gk D p ;
8 k 2 N;
i
i
58
ento
fk D
hk C h
p
2
gk D
hk
h
p
i 2
8 k 2 N:
Cap. 2
(2.5)
Como as funes hk formam um sistema ortonormal e CL2 ; ; R um
subespao de CL2 ; ; C , as igualdades em .2:5/ nos permitem concluir que
S D fe0 ; fk ; gk W k 2 Ng um sistema ortonormal em CL2 ; ; R . (Veja o
Exerccio 13.)
Seja B ; um subconjunto arbitrrio do espao com produto interno E.
Generalizando a noo de perpendicularidade j introduzida, definimos
B ? D fx 2 E W hx; yi D 0 para todo y 2 Bg :
Notamos que B ? sempre um subespao fechado de E e tambm que E ? D f0g.
(Veja o Exerccio 15.)
Dado um sistema ortonormal S em E, nosso objetivo estudar < S >, o espao
gerado pelos vetores de S.
Comeamos estudando algumas propriedades de sistemas ortonormais finitos
S D fe1 ; : : : ; en g de um espao com produto interno E. (No estamos assumindo
que E tenha dimenso finita!) Considere um elemento x 2 E. Ento vale:
x D hx; e1 i e1 C x hx; e1 i e1 2 < e1 > < e1 >? :
( imediata a verificao de que x hx; e1i e1 2 < e1 >? , fato ilustrado na Figura
2.1 da p. 52.)
Mais geralmente, se denotarmos por F o espao gerado por S, ento
!
n
n
X
X
x D xF C .x xF / D
hx; ei i ei C x
hx; ei i ei 2 F F ? ;
iD1
iD1
xF k2 ;
xF k2 D kxk2
kxF k2 ;
i
i
2.3
59
xF
e tambm que
F
n
X
iD1
2
xi ei
D kxk2
xF / 2 F F ? , em que
n
2
X
xi ei
;
(2.6)
iD1
kxF k2 kxk2 ;
ou seja,
n
X
iD1
jxi j2 kxk2 ;
(2.7)
i
i
60
Cap. 2
jxi j2 kxk2 :
(2.8)
Em espaos de Hilbert, essa srie sempre converge: veja o Teorema 2.24. Se o espao E no
for completo, a srie pode divergir. Veja o Exerccio XXXX do Captulo XXXX.
i
i
2.3
61
1
X
xi ei
iD1
1
X
iD1
jxi j2 D kuk2 :
Reciprocamente, temos
1
X
iD1
jxi j D kxk
xD
1
X
xi ei :
iD1
P
Demonstrao: Suponhamos que u D 1
i . De acordo com o Teorema de
iD1 xi e
Pn
P
n
2
2
Pitgoras, temos ku
k iD1 xi ei k2 . Passando ao limite
iD1 xi ei k D kuk
com n ! 1, obtemos
2
1
1
X
X
2
u
D
kuk
x
e
jxi j2 :
(2.9)
i i
iD1
iD1
i
i
62
Se v D
P1
iD1 i
Cap. 2
.i i / identidade de Parseval:
*1
+
1
1
1
X
X
X
X
hu; vi D
i ei ;
i ei D
i i D
ui vi :
iD1
iD1
P1
Demonstrao: Se u D
Pn
u
iD1 i ei . Uma vez que
*
u
iD1 i
n
X
iD1
iD1
iD1
i ei ; ej D uj
j ;
iD1
iD1
iD1
de acordo com .i /.
Tomando o limite com n tendendo a infinito nessa igualdade, obtemos .i i /.
P
P1
(A srie numrica 1
iD1 i i D
iD1 ui vi (absolutamente) convergente, como
resulta da aplicao da desigualdade de Cauchy-Schwarz a .ui /; .vi / 2 `2 .)
2
Observao 2.23 Combinando os Lemas 2.20 e 2.22 (i), conclumos que, se
P1
P1
P1
2
e
convergir
para
u
2
E,
ento
e
D
D
i
i
i
i
iD1
iD1
iD1 ui ei e kuk
P
P1
1
2
2
iD1 ji j .
iD1 jui j D
Em espaos de Hilbert, fixado um sistema ortonormal enumervel, a cada
sequncia em `2 est associada uma srie de Fourier convergente:
ji j2 < 1:
i
i
2.3
63
(2.10)
iDm
iDm
i ei
converge
iD1
1
X
iD1
ji j2
converge:
2
a20 X 2
C
ak C bk2 < 1;
2
kD1
ento existe f 2 L2 ; ; R cujos coeficientes de Fourier so ak e bk , isto ,
1
ak D p
1
bk D p
k 2 f0; 1; 2; : : :g
(2.11)
k 2 N:
(2.12)
f .t/sen k t dt;
p
Se retirarmos um elemento de S (por exemplo, 1= 2), obtemos uma funo
g que tem as mesmas constantes como coeficientes de Fourier. As relaes entre
i
i
64
Cap. 2
xi ei ;
iD1
1
X
iD1
xi ei D .x
u/ 2 S ? :
P1
iD1
jxi j2 converge.
xi ei D u 2 H:
Para verificar que .x u/ 2 S ? , basta notar que, de acordo com o Lema 2.22,
*
+
1
X
x
xi ei ; ej D xj xj D 0; 8 j 2 N:
iD1
i
i
2.3
65
1
X
xi ei ;
iD1
kxk D
1
X
iD1
1
X
iD1
x i yi I
jxi j2 I
i
i
66
Cap. 2
Em particular, F denso em E;
.vi / so
!
!
n
n
X
X
xi ei kf k;
xi ei C f x
jf .x/j f
iD1
iD1
P1
iD1
yi xi est bem
i
i
2.3
67
i
i
68
Cap. 2
Existe uma caracterizao simples dos espaos com produto interno que
possuem base ortonormal contvel:6
Teorema 2.32 Seja E um espao com produto interno. Ento E possui uma base
ortonormal contvel S se, e somente se, E for separvel.
Para mostrarmos esse resultado, recordamos o processo de ortogonalizao de
Gram-Schmidt:
Lema 2.33 (Gram-Schmidt)
Sejam A N um conjunto contvel e fxn W n 2 Ag um conjunto linearmente
independente. Denotemos por < z1 ; : : : ; zk > o espao gerado pelos vetores
z1 ; : : : ; zk . Ento existe um conjunto ortonormal fen W n 2 Ag, com < e1 ; : : : ; ek >
D < x1 ; : : : ; xk > para todo k 2 A.
Demonstrao: Utilizaremos induo em A, o caso em que A possui apenas um
elemento sendo trivial. Suponhamos obtidos os vetores e1 ; : : : ; ek 1. Consideramos
ento
!
k 1
X
1
xk
ci ei ;
ek D
c
iD1
i
i
2.3
69
C D .1 C i1 / e1 C : : : C .n C in / en W n 2 N; k ; k 2 Q; 1 k n :
Uma vez que, para todo x 2 E
n
X
x
x
e
i i
! 0
iD1
Pn
e
E.
iD1
quando n ! 1;
i
i
70
Cap. 2
a0 X
f .t/ D
C
an cos nt C bn sen nt;
2
nD1
t 2 ; ;
(2.13)
a0 X
pN .t/ D
C
.ak cos k t C bk sen k t/ ;
2
kD1
i
i
2.4
71
N
X
ck e ik t :
kD N
De acordo com o Teorema 2.29 .i v/, para provarmos que S 0 uma base
ortonormal em L2 ; ; C , suficiente verificar que o conjunto dos polinmios
trigonomtricos denso nesse espao. Mas faremos mais: denotaremos por
C.S 1 ; R/ o conjunto das funes f W ; ! C cuja extenso peridica de
perodo 2 contnua em R. Quer dizer,
C.S 1 ; C/ D ff W R ! C W f contnua e f .t C 2/ D f .t/; 8 t 2 Rg:
Uma vez que C S 1 ; C denso em L2 ; ; C , basta ento mostrarmos que o
conjunto dos polinmios trigonomtricos denso em C S 1 ; C . Em particular, isso
significa que S 0 uma base ortonormal em CL2 ; ; C ; ou, o que equivalente,
que S uma base ortonormal no espao espao CL2 ; ; R . Lembramos que
esses espaos de funes contnuas no so completos.
Assim, dados > 0 e f 2 C S 1 ; C , mostraremos a existncia de um
polinmio trigonomtrico pN tal que kf pN k1 < .
Lema 2.36 Existem polinmios trigonomtricos qn , n 2 N, tais que
.i / qn .t/ 0 para todo t 2 R;
Z
1
.i i /
qn .t/dt D 1;
2
.i i i / para todo > 0, qn .t/ ! 0 uniformemente em ; [ ; .
Demonstrao: Definimos os polinmios trigonomtricos (veja o Exerccio 14)
1 C cos t n
qn .t/ D dn
; n 2 N;
2
em que dn 2 R escolhido para satisfazer .i i /. Claramente vale .i /, de modo que
o resultado estar provado se verificarmos .i i i /.
i
i
72
Cap. 2
s/qn .s/ds;
f .t
s/qn .s/ds D
D
Z
t C
f .s/qn .t
s/dt
t
s/ds;
ve vDt
s. A ltima igualdade
i
i
2.4
73
s/ D
s/
Observao 2.38 Uma bela demonstrao alternativa do Teorema 2.37 pode ser
encontrada em Krner (Teorema 2.5).
i
i
74
Cap. 2
hx; e i2 D
jx j2 :
2A
2A
Lema 2.39 Seja S D fe g2A um sistema ortonormal no espao com produto interno E. Ento,
dado x 2 E, apenas uma quantidade enumervel de coeficientes de Fourier x D hx; e i pode ser
no-nula. Alm disso, se fe1 ; : : : ; en ; : : :g for um ordenamento arbitrrio dos elementos de S tais
que hx; e i 0, est bem definido
X
2A
jx j2 D
1
1
X
X
X
hx; ei i2 D
hx; e i2 D
jxi j2 :
iD1
iD1
2A
(2.14)
2A
n
X
hx; e i2 n 2 :
iD1
Portanto, n .kxk=/2 , provando que S finito para todo > 0. Uma vez que
fe 2 S W hx; e i 0g D
1
[
S1=n ;
nD1
mostramos que apenas uma quantidade enumervel de coeficientes de Fourier pode ser no-nula.8
7
8
i
i
2.5
75
Escolha arbitrariamente uma enumerao para esses coeficientes no nulos. Passando ao limite
com n tendendo a infinito na forma finita da desigualdade de Bessel .2:7/, obtemos, para essa
enumerao,
1
1
X
X
hx; ei i2 D
jxi j2 kxk2 < 1:
P1
iD1
iD1
2
9
Como a srie
iD1 jxi j absolutamente convergente, ela tambm comutativamente
convergente, isto , sua soma independe do ordenamento escolhido para os coeficientes de Fourier
P
no nulos. (Veja, por exemplo, [25], Teorema 22 do Captulo IV.) Isso quer dizer que 2A jx j2
est bem definido e vale a desigualdade de Bessel.
2
x e :
2A
2A
x e D
1
X
iD1
xi ei D u:
P1
Como na prova do Lema 2.20, a convergncia da srie de Fourier
iD1 xi ei implica a
P1
2
convergncia da srie numrica iD1 jxi j , a qual comutativamente convergente. Isso mostra
P
que 2A x e independe do ordenamento dos coeficientes de Fourier x 0. Obtemos assim a
verso no enumervel do Lema 2.20.
O Lema 2.22 obtido do mesmo modo: basta escolher um ordenamento dos coeficientes x e
P
y no nulos. O Corolrio 2.26 garante a convergncia de 2A x e em um espao de Hilbert:
basta escolher um ordenamento dos coeficientes de Fourier x 0.
9
i
i
76
Cap. 2
obtemos o Teorema da Base Ortonormal 2.29, mostrando que ele vale mesmo se o sistema
ortonormal S D fe W 2 Ag for no enumervel.
yk D kM .x/
M .y/k:
claro que uma translao uma isometria. Dada uma isometria qualquer,
podemos comp-la com uma translao e obter uma isometria M tal que M .0/ D 0.
O prximo resultado mostra que isometrias so aplicaes muito bem comportadas:
kyk2 D ky 0 k2
(2.15)
e
kx
yk2 D kx 0
y 0 k2 :
(2.16)
y 0; x 0
y 0 i D hx 0 ; x 0 i
hx 0 ; y 0 i
hy 0 ; x 0 i C hy 0 ; y 0 i;
i
i
2.6
77
Do mesmo modo,
kz x yk2 D kzk2 Ckyk2 Ckxk2 hz; xi hx; zi hz; yi hy; ziChx; yiChy; xi:
Segue-se de .2:15/, .2:16/ e .2:17/ que
kz 0
x0
y 0 k2 D kz
yk2 :
M .x/; M .y/i D 0:
M .x/; M .x/i D 0
e
hM .x/
M .x/; M .x/i D 0:
Logo,
hM .x/
M .x/; M .x/
M .x/i D 0;
2
Uma outra demonstrao obtida aplicando-se o mtodo utilizado na prova da Proposio 2.11.
i
i
78
Cap. 2
n
X
iD1
i i D hT x; Tyi:
1
X
iD1
i
i
2.6
79
(O restante desta seo depende de resultados da Seo 2.5 e sua exposio pode ser suprimida,
a critrio do professor.)
Nosso objetivo nesta Seo caracterizar os espaos de Hilbert que possuem base ortonormal
no enumervel. Vamos mostrar que eles so isomtricos a uma extenso do espao `2 , denotada
por `2 .A/. A apresentao desse espao ser feita sem a utilizao de medida. Para aqueles que
dominam esse conceito, uma abordagem mais simples de `2 .A/ pode ser encontrada em [29].
Introduzimos o espao `2 .A/:
Definio 2.46 Seja A um conjunto no vazio e xW A ! K uma funo tal que
Ix D ft 2 A W x.t/ 0g
um conjunto enumervel. Se .ti / for uma enumerao dos elementos de Ix , suponhamos
P
2
adicionalmente que 1
< 1. Definimos `2 .A/ como o conjunto de funes que
iD1 jx.ti /j
satisfazem essas duas hipteses e definimos
X
t 2A
jx.t/j2 D
1
X
iD1
jx.ti /j2 :
Note que, como ft 2 A W x.t/ 0g enumervel, a coleo fjx.t/j2 g t 2A descrita por meio
P
2
da srie 1
essa srie converge absolutamente, ela tambm comutativamente
iD1 jx.ti /j . Como P
convergente, o que garante que t 2A jx.t/j2 est bem definido.
A demonstrao do prximo resultado uma simples coleta de argumentaes j apresentadas.
Teorema 2.47 O conjunto `2 .A/ um espao vetorial com as definies habituais de soma x C y
e multiplicao por escalar x, com 2 K. Em `2 .A/ definimos o produto interno
hx; yi D
t 2A
x.t/ y.t/ D
n
X
x.ti /y.ti /;
iD1
em que ft1 ; : : : ; tn ; : : :g uma enumerao dos pontos em que x.t/y.t/ 0. Esse produto interno
faz de `2 .A/ um espao de Hilbert com base ortonormal S D fe t W t 2 Ag, sendo
1 se t D
e t ./ D
0 se t ;
para todo 2 A.
Demonstrao: Dados x; y 2 `2 .A/, seja tk uma enumerao de todos os elementos t 2 A tais que
x.t/ 0 ou y.t/ 0.
Como11
jx.tk / C y.tk /j2 22 maxfjx.tk /j2 ; jy.tk /j2 g 4.jx.tk /j2 C jy.tk /j2 /;
11
i
i
80
Cap. 2
obtemos
X
t 2A
jx.t/ C y.t/j
D
<
1
X
kD1
1
X
kD1
1:
X
jx.t/j2 C jy.t/j2
jx.tk /j2 C jy.tk /j2 D 4
t 2A
Assim, x C y 2 `2 .A/. Do mesmo modo, x 2 `2 .A/, para todo 2 K. Isso mostra que `2 .A/
um espao vetorial.
Como na demonstrao da Proposio 2.22, temos que hx; yi est bem definido. claro que
esse um produto interno em `2 .A/.
Seja agora .xn / `2 .A/ uma sequncia de Cauchy. Dado > 0, existe n0 2 N tal que, para
quaisquer m; n n0 ,
kxm
xn k D
t 2A
jxm .t/
xn .t/j
!1=2
< :
(2.18)
Assim, para cada t 2 A, temos jxm .t/ xn .t/j2 , o que garante que .xn .t// uma sequncia de
Cauchy em K para todo t 2 A fixo. Como K completo, existe x.t/ D limn!1 xn .t/. Est assim
definida uma funo xW A ! K. Vamos mostrar que x 2 `2 .A/.
Como xn 2 `2 .A/, o conjunto In D ft 2 A W xn .t/ 0g enumervel. Assim,
ID
1
[
In
nD1
j D1
jx.tj /
xn .tj /j2 2
i
i
2.6
81
e, quando k ! 1,
Da segue-se que
jx.t/
xn .t/j2 2 :
jx.t/
xn .t/j2 2 ;
t 2I
t 2A
xn k :
xn 2 `2 .A/ e
(2.19)
P
P
2
2
2
Definimos
W H
x
!
7!
2A
`2 .A/
hx; f i e :
P
(A imagem de no ponto x a funo gW A ! K que assume o valor 2A hx; f i e .t/ D hx; f t i
no ponto t 2 A.)
P
O Teorema da Base 2.29 nos garante que k.x/k D 2A jx j2 D kxk2 . Isso garante que
uma isometria e, portanto, injetora. (Veja o exerccio 24.)
Para verificarmos que sobrejetora, tome g 2 `2 .A/. A identidade de Parseval garante que
2
P
P
P
2
kgk2 D
g f . Como antes, temos que
2A hg; e i . Considere y D
2A jg j D
i
i
82
Cap. 2
2.8 Exerccios
1. Sejam E um espao com produto interno e k k a norma gerada por seu
produto interno. Mostre que k k2 uma funo convexa.
12
i
i
2.8
83
Exerccios
4. Seja E um espao com produto interno. Mostre que hx; yi D kxk kyk se,
e somente se, os vetores x; y forem linearmente dependentes.
i
i
84
Cap. 2
11. Mostre que, se S D fe g2A for uma famlia ortogonal de vetores no nulos
no espao com produto interno E, ento fe g2A linearmente independente.
12. Seja S uma famlia ortonormal no espao com produto interno E.
p
(a) Mostre que, se u; v 2 S, ento ku vk D 2.
(b) Mostre que, para x 2 E fixo, o conjunto Mx D fu 2 S W hx; ui 0g
, no mximo, enumervel.
13. Com respeito ao Exemplo 2.17, mostre:
.a/ hhj ; hk i D j k ;
.b/ S D e0 ; fk ; gk W k 2 N um sistema ortonormal em CL2 0; 1; R .
dn 2
.x
1/n :
dx n
Mostre que o conjunto fqn W n D 0; 1; : : :g um conjunto ortogonal
em E. Para isso, utilizando integrao por partes, mostre que qn
perpendicular a x m para todo 0 m < n. Conclua da que qn ? qm
para n m;
qn .x/ D
13
i
i
2.8
85
Exerccios
n!
n! d n 2
qn D
.x
.2n/!
.2n/! dx n
(d) calcule kpn k. Para isso, considere rn D .x 2 1/n . Notando que esse
polinmio nulo para x D 1, efetue vrias integraes por partes e
obtenha que
Z 1 n
.n!/2 2nC1
d rn .x/ d n rn .x/
dx D
2
:
dx n
dx n
2n C 1
1
Calcule ento hpn ; pn i e conclua que
p n
2 2 .n!/2
kpn k D p
:
2n C 1.2n/!
(e) Defina
Pn D
.2n/!
1 dn 2
p
D
.x
n
2n .n!/2
2n n! dx n
Mostre que
1/n :
2
:
2n C 1
Os polinmios Pn so os polinmios de Legendre. Pode-se verificar
que tais polinmios formam um sistema ortonormal maximal em
CL2 . 1; 1/ e, portanto, uma base ortonormal de L2 . 1; 1/.14
kPn k D
18. (Os polinmios de Laguerre) Considere o espao E D C 0; 1/; C .
Verifique que
Z 1
hf; gi D
f .x/g.x/e x dx
0
14
i
i
86
Cap. 2
um produto interno em E. Aplique o processo de ortogonalizao de GramSchmidt sequncia de funes .fn /, em que fn .x/ D x n , n 2 f0; 1; : : :g. O
resultado desse processo so os polinmios de Laguerre.
19. Mostre que `0 , de maneira natural, um espao de Hilbert. Ache uma base
ortonormal para esse espao.
20. Seja S D fei W i 2 Ng seja uma base ortonormal do espao complexo com
produto interno E. Mostre que o conjunto
C D .1 C i1 / e1 C : : : C .n C in / en W n 2 N; k ; k 2 Q; 1 k n
enumervel. Qual a adaptao desse conjunto para espaos reais com
produto interno?
21. D uma demonstrao direta, isto , sem apelar para o Teorema 2.29, de que
o espao `2 separvel.
22. Demonstre, por contradio, que se o espao com produto interno E for
separvel, ento qualquer conjunto ortonormal em E , necessariamente,
enumervel. Para isso, utilize o Exerccio 12.
23. Seja H um espao de Hilbert separvel e F H um subespao fechado.
Mostre que F um espao de Hilbert separvel.
24. Seja f W E ! F uma bijeo linear entre os espaos com produto interno E
e F . Ento f um isomorfismo se, e somente se, for uma isometria, isto ,
kxk1 D kf .x/k2 para todo x 2 E.
25. Seja T W E ! F uma aplicao entre espaos com produto interno. Mostre
que se T preservar o produto interno ento T linear.
Os prximos exerccios tratam de bases ortonormais. Se voc no estudou as
Sees 2.5 e 2.7, assuma que as bases ortonormais so enumerveis.
26. Mostre que, se S for uma base ortonormal do espao com produto interno E,
ento S uma base ortonormal do completamento H de E.
i
i
2.8
Exerccios
87
27. Vamos, nesse exerccio, estudar a relao entre bases ortonormais e bases de
Hamel em um espao de Hilbert. Assim, sejam S uma base ortonormal e B
uma base de Hamel no espao de Hilbert H. Suponha que S no seja um
conjunto finito.
(a) Mostre que S no uma base de Hamel de H;
(b) Mostre que os vetores de B no podem ser todos ortogonais entre si;
em outras palavras, os vetores de uma base de Hamel no formam um
sistema ortonormal.
(c) Mostre que a cardinalidade de uma base de Hamel sempre maior do
que ou igual ao de uma base ortonormal de qualquer espao de Hilbert;
(d) Suponha agora que H seja separvel. Mostre que uma base de Hamel
de H no pode ser enumervel. Em particular, a cardinalidade de uma
base de Hamel em H maior do que a de uma base ortonormal de H.
Observao 2.52 Em um espao E com produto interno, uma base de Hamel
pode ser um sistema ortonormal, de acordo com o Exemplo 2.5. Isso implica, em
particular, que o espao E daquele exemplo no completo com o produto interno
nele introduzido! Mais do que isso, comparando com o Exemplo 26, vemos que a
base de Hamel de E nunca uma base de Hamel de seu completamento.15
28. Neste exerccio mostraremos a existncia de um subespao F do espao com
produto interno E tal que E F F ? . Tambm mostraremos que nem todo
sistema ortonormal maximal uma base ortonormal.16 (Uma apresentao
mais simples feita no Exemplo 3.19.)
(a) Considere um espao E, com produto interno, que no seja completo.
Seja H E seu completamento. (Note que E um subespao convexo
de H, mas no completo.) Considere um elemento x0 2 H n E e
defina
F D y 2 E W hy; x0 i D 0 :
Mostre que F um subespao fechado de E e F E;
15
i
i
88
Cap. 2
k
n
1 ou 0
x k=n.1
x/1
k
n
.k=n/
b < x 1, ento
e
.1
b/1
.k=n/
:
2
i
i
2.8
89
Exerccios
n
X
kD0
k
n
Q
x k .1
f
k
n
x/n
e verifique que
X n
x k .1
k
k2A
n k
x/
n
X
n
x k .1
k
kD0
x/n
D1
i
i
3
Produto Interno e Geometria
Neste captulo apresentaremos as principais propriedades geomtricas de
um espao com produto interno. Quase todos esses resultados dependem do
(sub)espao envolvido ser completo: o Teorema de Representao de Riesz,
o Teorema de Separao de Hahn-Banach, a decomposio ortogonal de um
subespao e o Teorema de Lax-Milgram. Os resultados que apresentaremos esto,
muitas vezes associados a resultados do Captulo 2; enquanto l nossa abordagem
enfatizava propriedades de um sistema ortonormal, aqui a nossa nfase mais
diretamente geomtrica.
Finalizamos o captulo introduzindo o conceito de convergncia fraca.
90
i
i
i
3.1
91
v0 D v
g.v/=g.v0 / v0 . Assim, para todo v 2 V,
g.v/
g.v/
vD v
v0 C
v0 2 ker g < v0 > :
g.v0 /
g.v0 /
(Observe que toda a demonstrao resume-se igualdade acima.)
modo que z D v
jf .x0 /j
kf k
(3.1)
xn D zn C n v 2 N < v > :
i
i
92
jn j
0
zn C 0 v
1 D kxn k D kzn C n vk D
j0 j
n
jn j
0
jn j
.z0 C 0 v/
D
z
z
D
0
n
j j kx0
j0 j
n
0
em que wn D z0
0
z
n n
lim kx0
n!1
Cap. 3
wn k;
2 N . Da decorre que
jf .x0 /j
jf .x0 /j
j0 j
D lim
D
;
n!1 jf .xn /j
n!1 jn j
kf k
wn k D lim
.x0 /j
em que kf k D 1, se f for descontnuo. Assim, d.x0 ; N / D jfkf
, se f for
k
contnuo e d.x0 ; N / D 0, se f no for contnuo.
Uma vez que N fechado se f for contnuo, a demonstrao est completa. 2
/y 2 C:
i
i
3.2
93
@xm2
3
@
xn Cxm
CO@
m
C @xn Cx
2
@
C
XX
@
@
z
X
xm
xn
xm k2 2kxn k2 C 2kxm k2
4 2 :
(3.2)
i
i
94
Cap. 3
x0 k ky
xk;
8 x 2 C:
(3.3)
x0 k ky
xk;
8 x 2 C:
x0 ; y
x0 i 0;
8 x 2 C:
x0 k ky
.tx C .1
t/x0 /k D k.y
x0 /
t.x
x0 /k:
x0 ; y
x0 i
i
i
3.2
95
C
x0p
xp x0
p?
y x0
.y
D hy
x0 /
x0 ; y
t.x
x0 i
x0 /; .y
x0 /
2t Re hx
t.x
x0 ; y
x0 /
x0 i C t 2 kx
x0 k2 :
(3.4)
Consequentemente,
Re hx
x0 ; y
t
x0 i kx0
2
xk2 :
xk2 D ky
D ky
x0 C x0
xk2
x0 k2 C 2 Re hy
x0 ; x0
xi C kx0
xk2 ky
x0 k2 ;
2
i
i
96
Cap. 3
8 x 2 C:
x0 i Re hx0 ; y
x0 i;
8 x 2 C:
(3.5)
ky
x0 i C Re hx0
2
x0 k < Re f .y/;
y; y
x0 i e
x0 i
x0 k 0, j que y 62 C .
8 x 2 C;
i
i
3.2
97
xp
C
x0p
?
p
x0
Re .f .x/
/ D 0
x0
x0 2 F ? :
2tRe hx
x0 ; y
x0 i C t 2 kx
x0 k2 ;
8 t 2 R;
i
i
98
Cap. 3
q
x0
F
x0 / 2 F ? :
i
i
3.2
99
y2 D 1 y2 C 2 y2
Subtraindo da primeira equao a segunda e a terceira, conclumos que
1 .y1 C y2 /
1 y1
1 y2 D 2 y1 C 2 y2
2 .y1 C y2 /:
i
i
100
Cap. 3
8 x 2 H:
iD1
iD1
iD1
P
Assim, teramos y D 1
iD1 f .ei / ei . Para justificar nosso procedimento formal,
precisamos mostrar que y 2 H, isto , que o somatrio converge. Para isso,
P
consideramos niD1 f .ei / ei . Ento, para todo n 2 N,
n
!1=2
!
n
n
n
X
X
X
X
;
f .ei / ei kf k
f .ei / ei
D kf k
jf .ei /j2
jf .ei /j2 D f
iD1
iD1
iD1
de modo que
n
X
iD1
jf .ei /j
!1=2
iD1
kf k:
(3.7)
i
i
3.3
101
jf .ei /j2
!1=2
kf k:
P1
Decorre ento do Teorema de Riesz-Fischer 2.24 que iD1 f .ei / ei 2 H, o que
justifica nosso procedimento formal e completa a prova no caso de um espao H
separvel.
Se voc leu a Seo 2.5, consideremos agora o caso geral de um espao com uma base
ortonormal S D fe W 2 Ag, em que A um conjunto no enumervel. Nesse caso, .3:6/
P
P
substituda por f
f .e / e . Para justificar esse procedimento formal,
2A x e D x e ;
finito. Decorre ento, como na demonstrao do Lema 2.39, que fe W jf .e /j2 > 0g um conjunto
f .z/hx; zi D f .x/
hx; f .z/zi;
kxkD1
kxkD1
i
i
102
Cap. 3
`.f / D
f .x/g.x/dx:
X
f .x/ D .xi /; .ai / D
xi aN i :
iD1
Exemplo 3.17 As hipteses do Teorema de Riesz so necessrias: para vermos
isso, basta considerarmos duas espcies de contra-exemplos.
O resultado no verdadeiro se o espao com produto interno no for completo:
consideremos o espao E D `0 de todas as sequncia .xi / com xi D 0 exceto
talvez para um nmero finito de ndices (veja o Exemplo 1.6). Claramente `0 um
subespao de `2 que no completo.
Consideremos a base ortonormal cannica S D fe1 ; : : : ; en ; : : :g do espao `2 .
(Veja Exemplo 2.47.) Dado x 2 `0 , temos que existe m D m.x/ 2 N tal que
x D x1 e1 C : : : C xm em . Assim, S uma base de Hamel do espao `0 .
Consideremos f W `0 ! K definido por
f .x/ D f .x1 e1 C : : : C xm em / D x1 C
x2
xm
C :::C
:
2
m
i
i
3.3
103
para todo i 2 N, temos que 1= i D f .ei / D hei ; vi para todo i 2 N. Isso implicaria
v D .1; 1=2; : : : ; 1=m; : : :/, que no um elemento de `0 . Isso prova que o Teorema
de Representao de Riesz no vlido em `0 . (Note que a idia desse contraexemplo muito simples: consideramos `2 e gW `2 ! K dado por g.x/ D hx; vi.
Escolhemos v e um subespao de `2 que no contm o ponto v (no caso, o espao
`0 ) e a restrio de f a esse subespao. Pronto!)
Se f W H ! K for um funcional linear descontnuo, ento nunca poderemos ter f .x/ D hx; x0 i
para todo x 2 H, pois hx; x0 i sempre define um funcional linear contnuo. O segundo contraexemplo responde, ento, uma pergunta bsica: em espaos de Hilbert, existem funcionais lineares
que no so contnuos? (Esse contra-exemplo mais sofisticado, e sua leitura facultativa, a
critrio do professor.) Para mostrar que sim, fazemos uma ligeira modificao na situao anterior.
Consideremos o espao `2 e sua base ortonormal S D fe1 ; : : : ; en ; : : :g. Esse conjunto no uma
base de Hamel de `2 , mas pode ser completado por um conjunto R, de modo que S [ R seja uma
base de Hamel de `2 . Definimos ento f .ei / D i , se ei 2 S e f .e/ D 0, se e 2 R. Estendemos
ento linearmente o funcional f a todo espao H. (Note que o funcional f s no ser nulo no
subespao `0 `2 !) Essa (nica) extenso no limitada.
Essa construo pode ser generalizada para um espao de Hilbert qualquer, ao se considerar um
Complementando o Exemplo 3.17, verificamos que o Teorema de Representao de Riesz caracteriza os espaos de Hilbert:
Teorema 3.18 Seja E um espao com produto interno. Ento E um espao
completo se, e somente se, for vlido o Teorema de Representao de Riesz.
Demonstrao: Se E for completo, j mostramos a validade do Teorema de
Representao de Riesz. Por sua vez, a validade desse teorema implica a existncia
de um isometria (anti-linear, no caso complexo) entre E e E . (Veja o Exerccio
22.) Como E sempre completo (veja a Seo 1.13.1), E completo.
2
Assim, se E for um espao com produto interno que no completo, existe um
funcional linear contnuo f W E ! K tal que f .x/ hx; yi para todo y 2 E. Em
particular, f 0; como ker f tem codimenso 1, devemos ter .ker f /? D f0g.
Exemplo 3.19 Vamos mostrar que, em um espao com produto interno E que no completo,
sempre existem subespaos fechados F tais que F F ? E. (Compare com o Exerccio 28 do
Captulo 2.)
Assim, supondo que E que no seja completo, vimos que existe 0 f 2 E tal que
.ker f /? D f0g. Sejam F D ker f . Como f no identicamente nulo, F um subespao prprio
i
i
104
Cap. 3
Exemplo 3.20 Podemos ilustrar de maneira significativa a diferena entre espaos de Banach e
espaos de Hilbert com a seguinte situao associada ao Teorema de Riesz 1.56: consideremos o
hiperplano
)
(
Z 1
Z 1=2
f .x/dx ;
f .x/dx D
H D f 2X W
1=2
em que X ser tanto o espao de Hilbert L2 0; 1; R como o espao de Banach C 0; 1; R (com
a norma da convergncia uniforme).
Se X D L2 0; 1; R , o hiperplano H o ncleo do funcional linear
.f / D hf; gi, em que g
definida por
g.x/ D
1; se 0 x < 1=2I
1; se 1=2 < x 1:
A funo g tem norma unitria e, pelo Teorema 3.11, ela satisfaz dist .g; H / D kg 0kL2 D 1.
Agora consideremos o espao de Banach X D C 0; 1; R (com a norma da convergncia
uniforme). Afirmamos que no existe elemento h 2 C 0; 1; R satisfazendo khk D 1 e
dist .h; H / D 1.
Comeamos notando que podemos considerar C 0; 1; R ; k k1 como um subespao de
L2 0; 1; R ; k kL2 . De fato, a imerso
{W C 0; 1; R ; k k1 ! L2 0; 1; R ; k kL2
contnua.
A funo g satisfaz kgk1 D 1 e dist .g; H / D 1; contudo, g 62 X D C 0; 1; R . Assim,
intuitivamente, no existe elemento em X com norma unitria que dista 1 do hiperplano H . Mas,
uma vez que k kL2 k k1 , poderia existir h 2 X com khk D 1 e dist .h; H / D 1. Como antes, o
hiperplano H o ncleo do funcional linear contnuo
W C 0; 1; R ! R dado por
.f / D
1=2
f .x/dx
0
f .x/dx:
1=2
i
i
3.4
105
O Teorema de Lax-Milgram
Escolhendo fn tal que fn .x/ D 1 para x 2 0; .1=2/ .1=n/ e fn .x/ D 1 para x 2 .1=2/ C
.1=n/; 1 e definindo fn por meio da reta unindo os pontos ..1=2/ .1=n/; 1/ e ..1=2/ C .1=n/; 1/,
vemos que k
k D 1.
Aplicando o Lema 3.3, vamos mostrar que no existe h 2 X tal que j
.h/j D 1. Podemos supor
que
.h/ > 0; de fato, se fosse
.h/ < 0, ento h teria essa propriedade. Mas apenas a funo g
satisfaz
.g/ D 1. Logo,
dist .h; H / D
.h/
D
.h/ D
k
k
1=2
h.x/dx
0
h.x/dx <
1=2
1
1
C < 1:
2
2
.i i / kT k D
sup
kxkD1Dkyk
jhT x; yij.
i
i
106
Cap. 3
sup
kxkD1Dkyk
hT x; yi:
sup
kxkD1Dkyk
jB.x; y/j:
(3.8)
i
i
3.4
107
O Teorema de Lax-Milgram
Tomando o supremo com kxk D 1 D kyk, temos que kBk kT k (e, portanto, B
contnua).
Por outro lado, temos
kT xk kBk kxk;
desigualdade que claramente vlida tambm no caso em que T x D 0. Como a
ltima desigualdade garante que kT k kBk, completamos a demonstrao.
claro que, por analogia, podemos concluir o mesmo resultado tambm para
2
B.x; y/ D hT x; yi.
O prximo resultado mostra que, em espaos de Hilbert, todas as formas
sesquilineares so como na Proposio 3.23:
Teorema 3.24 Sejam H1 e H2 espaos de Hilbert e BW H1 H2 ! K uma forma
contnua. Ento existe uma nica aplicao linear contnua T W H2 ! H1 tal que
B.x; y/ D hx; Tyi;
8 x; y 2 H
e kBk D kT k.
Demonstrao: Fixe y 2 H2 . Ento B.; y/W H1 ! K um funcional linear
contnuo. Pelo Teorema de Representao de Riesz 3.14, existe um elemento
z 2 H1 tal que B.x; y/ D hx; zi. Fazendo y variar em H2 , associamos a cada y
um elemento z D z.y/ 2 H1 . Denotando z.y/ D Ty, temos B.x; y/ D hx; Tyi.
Vamos mostrar que T W H2 ! H1 linear e contnua. De fato,
N
hx; T .y C w/i D B.x; y C w/ D B.x; y/ C B.x;
w/
N
D hx; Tyi C hx;
T wi
D hx; Tyi C hx; T wi:
i
i
108
Cap. 3
Assim,
hx; T .y C w/
Ty
T wi D 0;
8 x 2 H1 ; 8 y; w 2 H2 ; 8 2 K:
8 x 2 X:
claro que B uma forma. (Na verdade, fcil verificar que B define um
produto interno em E.) Uma vez que
Z 1
2
B.f; f / D
jf .t/j2 .t/dt C kf kL
2;
0
i
i
3.4
109
O Teorema de Lax-Milgram
k
f .x/ D B.x; yf /
para todo funcional contnuo f W H ! K.
Demonstrao: De acordo com o Teorema 3.24, existe uma aplicao linear
contnua T W H ! H tal que
B.x; y/ D hx; Tyi:
Uma vez que B coerciva, temos
de modo que
(3.10)
Essa desigualdade implica que ker T D f0g, mostrando que T injetora. Note
que, como consequncia do Corolrio 1.44, a mesma desigualdade implica a
continuidade de T 1 W im T H ! H e tambm que kT 1 k 1=C .
Agora vamos mostrar que im T um subespao completo de H (e, portanto,
fechado). De fato, dada uma sequncia de Cauchy T xn 2 im T , a desigualdade
.3:10/ implica que .xn / uma sequncia de Cauchy. Logo, existe x 2 H tal que
xn ! x. A continuidade de T implica que T xn ! T x.
Para mostrarmos que im T D H, aplicamos o Teorema 3.12. De fato, caso
contrrio, existiria 0 y 2 .im T /? , isto ,
hy; T xi D 0 8 x 2 H:
Tomando y D x, obtemos
i
i
110
Cap. 3
Pelo Teorema de
f .x/ D hx; x0 i 8 x 2 H:
Como T uma bijeo, existe um elemento yf 2 H tal que Tyf D x0 . Logo,
f .x/ D hx; x0 i D hx; Tyf i D B.x; yf /;
completando a demonstrao.
O ponto yf pode ser caracterizado como o ponto em que certo funcional linear
atinge seu mnimo. Veja o Exerccio 26.
ou
lim xn D x;
n!1
i
i
3.5
111
n!1
xn * x:
hxn ; yi ! hx; yi 8 y 2 H:
jyi j < :
Logo, jf .en /j D jyn j < para todo n n0 , mostrando o afirmado. Note que
en no converge fortemente para 0.
Exemplo 3.30 Generalizando o exemplo anterior, seja H um espao de Hilbert
e S D fen W n 2 Ng uma sistema ortonormal. Uma vez que todo funcional
f 2 H da forma h; yi para algum y 2 H, jf .en /j D jyn j. Dado > 0,
P
2
como 1
nD1 jyn j kyk, temos que jyn j < para n suficientemente grande. Isso
quer dizer que en * 0.
Assim, convergncia fraca no implica convergncia forte. Um critrio til para
verificar a convergncia forte de uma sequncia dado pelo
Teorema 3.31 Seja E um espao com produto interno. Suponhamos que xn * x.
Ento kxk lim infn!1 kxn k. Se, adicionalmente, kxn k ! kxk, ento xn ! x.
Demonstrao: Temos
kxk2 D hx; xi D lim hxn ; xi kxk lim inf kxn k;
n!1
n!1
i
i
112
Cap. 3
xk2 D kxn k2
2kxk2 C kxk2 D 0;
M
kx
r
x0 / C fn .x0 /k
x0 k C jfn .x0 /j
kx
x0 k
r .x x0 /
fn kx x k C jfn .x0 /j
r
0
M
.1 C kx0 k/ C jfn .x0 /j:
r
i
i
3.5
113
Como fn1 contnua, existe 0 < r1 < 1 tal que jfn1 .x/j > 1 para todo x 2 Br1 .x1 /.
Note que podemos tomar r1 de modo que Br1 .x1 / Br .x0 /. Agora tomamos
n2 > n1 e x2 2 Br1 .x1 / tal que jfn2 .x2 /j > 2. Do mesmo modo, podemos escolher
0 < r2 < 1=2 tal que jfn2 .x/j > 2 para todo x 2 Br2 .x2 /, com Br2 .x2 / Br1 .x1 /.
Continuando desse modo, obtemos uma subsequncia .fnk / de funcionais lineares
e uma sequncia Brk .xk / de bolas abertas, com
BrkC1 .xkC1 / Brk .xk /
rk <
1
k
tal que
jfnk .x/j > k
8 x 2 Brk .xk /:
Uma vez que a sequncia .xk / de Cauchy, temos que xk ! z 2 X . Uma vez que
z 2 Brk .xk / para todo k 2 N, vemos que jfnk .z/j ! 1 quando k ! 1, o que
uma contradio.
2
Um critrio til para verificar a convergncia fraca de uma sequncia dado
pelo prximo resultado:
Teorema 3.34 Sejam .xn / uma sequncia no espao de Hilbert H e D H um
subconjunto denso. Ento xn * x se, e somente se,
.i / existe uma constante M tal que kxn k M para todo n 2 N;
.i i / hxn ; yi ! hx; yi quando n ! 1 para todo y 2 D.
Demonstrao: Suponha que xn * x. Defina fn .x/ D hxn ; xi. Ento kfn k D
kxn k. Como fn .x/ converge para todo x 2 H, vemos que .fn .x// uma sequncia
limitada. Pelo Princpio da Limitao Uniforme, kfn k limitado, provando .i /.
A afirmao .i i / imediata, pois xn * x.
Reciprocamente, dado w 2 H, existe y0 2 D tal que kw y0 k < , qualquer
que seja > 0. De .i i / decorre a existncia de n0 2 N tal que jhxn xm ; y0 ij <
para todo m; n n0 . Temos
jhxn
xm ; wij jhxn
xm ; y0 i C jhxn
C kxn
xm k kw
xm ; w
y0 k
y0 ij
(3.11)
que pode ser feito to pequeno quanto se queira. Logo, hxn xm ; wi ! 0 quando
n ! 1, qualquer que seja w 2 H, o que prova que xn * x.
2
i
i
114
Cap. 3
Observao 3.35 Pode-se mostrar que a topologia gerada pelo convergncia fraca
de sequncias no provm de uma mtrica. Assim, os conceitos de conjunto
sequencialmente compacto e compacto por coberturas no so equivalentes. Em
particular, no vale o resultado enunciado no Exerccio 49 do Captulo 1.
Vamos mostrar agora que toda sequncia limitada em um espao de Hilbert
possui uma subsequncia fracamente convergente.
Teorema 3.36 Seja H um espao de Hilbert separvel. Se .xn / for uma sequncia
limitada em H, isto , se existir C > 0 tal que kxn k C para todo n, ento existem
uma subsequncia .xni / e um elemento x 2 H tais que
hxni ; yi ! hx; yi 8 y 2 H:
Assim, toda sequncia limitada em H possui uma subsequncia que converge
fracamente.
Demonstrao: Fixado y 2 H, temos
n!1
i
i
3.5
115
n!1
i
i
116
Cap. 3
8 z 2 C:
(3.13)
8 z 2 C;
iD1
Corolrio 3.40 (Teorema de Mazur) Suponha que .xn / convirja fracamente para
x no espao de Hilbert H. Ento existe uma sequncia .yn / de combinaes
convexas de fxi gi2N tal que yn ! x.
Demonstrao: Seja C o fecho convexo do conjunto fxi W i 2 Ng. Uma vez
que xn * x, temos que x pertence ao fecho de C na topologia fraca de H. Pelo
Teorema 3.38, temos que x pertence ao fecho de C na topologia forte. Quer dizer,
existe uma sequncia .yn / C tal que yn ! x, provando o afirmado.
2
Um trajeto alternativo para demonstrar o Teoremas 3.38 e de Mazur sugerido
nos Exerccios 30 e 31.
8
i
i
3.6
117
Exerccios
3.6 Exerccios
1. Seja B uma bola (aberta ou fechada) em um espao de Banach X . Mostre
que B um conjunto convexo.
2. Sejam E um espao com produto interno e k k a norma por ele gerada.
Mostre que k k2 uma funo convexa.
3. Mostre que todo subespao de um espao vetorial convexo; que translaes
de conjuntos convexos so conjuntos convexos; que qualquer interseo de
conjuntos convexos um conjunto convexo (mesmo que vazio). Mostre
tambm que, se p for uma semi-norma9 em E, ento, para todo r 0, os
conjuntos
fx 2 E W p.x/ r g
fx 2 E W p.x/ < r g
so convexos.
4. Considere o espao de Banach X D R2 com k.x; y/k D maxfjxj; jyjg.
Mostre que X no satisfaz o Lema 3.6.
5. Em um espao de Banach X , d exemplo de um conjunto convexo e fechado
C X e um ponto x 62 C tal que no existe y 2 C satisfazendo
kx yk kx zk para todo z 2 C .
6. Demonstre o Teorema 3.11 aplicando o fato que F possui uma base
ortonormal.
7. Se F; G forem subespaos do espao vetorial X , mostre que F C G um
subespao de X . Mostre que todo elemento x 2 E pode ser escrito de
maneira nica como y C z 2 F C G se, e somente se, F \ G D f0g.
8. Seja F um subespao completo do espao com produto interno E. Se F E,
mostre que existe 0 y 2 F ? .
9
i
i
118
Cap. 3
F D .xi / 2 `0 W
1
X
xi
iD1
D0 :
10
O Exemplo 3.19 mostra que esse resultado pode no ser vlido em um espao com produto
interno que no seja completo. Veja tambm o Exerccio 13.
i
i
3.6
119
Exerccios
(b) Defina gW H ! K por g.x/ D hx; x0i. Mostre que g nulo em ker f e
g.x0 / D kx0 k2 0.
(c) Calcule g.x/ e obtenha que f .x/ D hx; yi, com y D
x0
.
kx0 k2
Considere o
8 p 2 R2 t:
i
i
120
Cap. 3
8 x1 ; x2 2 H; 8 2 K
i
i
3.6
121
Exerccios
1
kf
C
k;
1
;
j
jhxn2 ; xnj C1 ij
1
;
j
:::
jhxnj ; xnj C1 ij
1
:
j
i
i
122
Cap. 3
kD1 iD1
iD1
(d) Uma vez que existe M tal que kxn k M para todo n 2 N, mostre que
kyj k2
M2 C 2
j
i
i
4
Aplicaes Lineares e
Adjuntas
Neste Captulo estudamos aplicaes lineares T W E ! F , em que E; F so
espaos com produto interno. No caso em que E D F , uma aplicao linear
T W E ! E muitas vezes chamada de operador linear ou, simplesmente, operador.
Algumas propriedades importantes so apenas obtidas se T for contnua e os
espaos E; F forem completos. Por esse motivo, em muitos textos, aplicaes
lineares contnuas T apenas so tratadas no contexto T W H1 ! H2 , em que H1 ; H2
so espaos de Hilbert. Decidimos pela abordagem mais geral tanto para ressaltar
quais propriedades dos espaos envolvidos so necessrias como para tornar o
texto mais acessvel. Alm disso, se H1 ; H2 forem os completamentos de E e F ,
respectivamente, a continuidade de T W E ! F garante a existncia de uma extenso
linear contnua TN W H1 ! H2 , conforme vimos no Exerccio 32 do Captulo 1.
Em muitos exemplos e aplicaes importantes temos que lidar com aplicaes
lineares descontnuas.
Esse um tpico mais avanado, que trataremos
superficialmente neste texto. Nesse caso, como veremos, somos naturalmente
levados ao estudo de aplicaes lineares descontnuas T W D.T / H1 ! H2 entre
espaos de Hilbert H1 ; H2 , em que D.T /, o domnio de T , um subespao denso
em H1 . Uma vez que D.T / um espao com produto interno, tambm nesse caso
estamos lidando com aplicaes T W E ! F , em que E D D.T / denso em seu
completamento H1 e F D H2 .
123
i
i
i
124
Cap. 4
4.1 Exemplos
Exemplo 4.1 Seja E; F espaos com produto interno. Os exemplos mais simples
de aplicaes lineares contnuas so o operador identidade IW E ! E, definido por
Ix D x para todo x 2 E e a aplicao nula 0W E ! F , definida por 0x D 0 para
todo x 2 E.
Exemplo 4.2 Sejam B D fv1 ; : : : ; vn g uma base ortonormal do espao com
produto interno (de dimenso finita) V e T W V ! V uma aplicao linear. Temos
que
v D 1 v1 C : : : C n vn , j D hv; vj i
(4.1)
e j vimos que a aplicao
0
B
B
v 7! vB D B
@
1
2
::
:
n
C
C
C 2 Kn
A
n
X
i;j D1
B
B
D B
@
j hT vj ; vi i vi
hT v1 ; v1 i hT v2 ; v1 i hT vn ; v1 i
hT v1 ; v2 i hT v2 ; v2 i hT vn ; v2 i
::
::
:
:
hT v1 ; vn i hT v2 ; vn i hT vn ; vn i
10
CB
CB
CB
A@
1
2
::
:
n
C
C
C:
A
i
i
4.1
125
Exemplos
iD1
lim T
n!1
iD1
n
X
xi ei
iD1
D lim
n!1
n
X
iD1
xi T ei D
1
X
xi T ei :
iD1
No difcil mostrar que o mesmo resultado vlido para espaos de Hilbert com
bases no enumerveis. (Veja o Exerccio 7.)
Mas o mesmo resultado no vale sem supor que T seja contnua. Consideremos,
por exemplo, uma base (enumervel) S D fei W i 2 Ng do espao de Hilbert H e
< S > o espao das combinaes lineares (finitas) de elementos de S.1 Definimos
Sei D ei e estendemos linearmente S a < S >. Completamos a definio de
SW H ! H definindo Sx D 0, se x 62 < S >. claro que S no contnua (veja o
Exerccio 7) e
!
1
1
X
X
S
xi ei
xi Sei :
iD1
iD1
Exemplo 4.5 Dado x D .xi / 2 `2 , definimos o operador RW `2 ! `2 por
Rx D R.x1 ; x2 ; : : : ; xn; : : :/ D .0; x1 ; x2 ; : : : ; xn; : : :/:
O operador R chamado de right shift (deslocamento direita). Claramente temos
que
1
X
hRx; Ryi D
xi yi D hx; yi;
iD1
i
i
126
Cap. 4
que L sobrejetor, enquanto ker L D .x1 ; 0; : : : ; 0; : : :/ .
Note que LRW `2 ! `2 a aplicao identidade, apesar de R e L no serem
invertveis.2 (Lembre-se que, se A; B so matrizes quadradas e AB possui inversa,
ento tanto A quanto B possuem inversa.)
Exemplo 4.6 Consideremos o espao de Hilbert L2 D L2 ; ; R . Dado
f 2 L2 , o operador derivada D, dado por
Df .x/ D f 0 .x/;
s est bem definido se f for uma funo diferencivel. Assim, podemos considerar
o domnio D.D/ do operador D como o subespao C 1 ; ; R L2 de todas
as funes reais de classe C 1 definidas no intervalo ; .
O operador DW D.D/ ! L2 no contnuo. De fato, se considerarmos a
sequncia fn .x/ D sen nx, ento
kfn kL2 D
Contudo,
kDfn kL2 D
Z
Z
2
sen nx dx
1=2
2
n cos nx dx
1=2
:
p
D n ;
mostrando que kDfn kL2 D nkfn kL2 , igualdade que prova que D no limitado.
Exemplo 4.7 Seja W a; ba; b ! K uma funo contnua e E D CL2 a; b; K .
Definimos o operador integral KW E ! E por
K.f /.x/ D
i
i
4.1
127
Exemplos
Z
2
b
D
.x; y/f .y/dy dx
a
a
!
Z b Z b
Z b
j.x; y/j2 dy
jf .y/j2 dy dx
Z
bZ
(4.2)
mostrando que Kf 2 L2 a; b .
Observe que (4.2) garante que K um operador contnuo, com
Z
kKk
!1=2
Mais geralmente, note que os mesmos clculos mostram que, se f 2 L2 a; b; K
e se
!1=2
Z bZ b
j.x; y/j2 dydx
< 1;
a
ento KW L2 a; b; K ! L2 a; b; K um operador contnuo.
Vamos agora mostrar que Kf 2 E. Para x0 2 a; b fixo, decorre do Exerccio
16 do Captulo 1 que, dado > 0, existe > 0 tal que x 2 a; b e kx x0 k <
implicam j.x; y/ .x0 ; y/j < , para todo y 2 a; b. Assim,
Z
b
Z b
Z b
j.x; y/ .x0 ; y/j jf .y/j dy
jf .y/jdy;
a
i
i
128
Cap. 4
4.2 A Adjunta
Sejam E; F espaos com produto interno. Comeamos definindo a adjunta de
uma aplicao f W E ! F .
Definio 4.8 Sejam E; F espaos com produto interno e f W E ! F uma
aplicao. Uma aplicao f W F ! E adjunta de f , se ela satisfizer
hf .x/; yi D hx; f .y/i 8 x 2 E; y 2 F:
Lema 4.9 Sejam E; F espaos com produto interno e T W E ! F uma aplicao
linear. Se T possuir adjunta, ento essa nica. Alm disso, T linear.
Demonstrao: Sejam y; z 2 F e 2 K. Ento,
N .x/; zi
hx; T .y C z/i D hT .x/; y C zi D hT .x/; yi C hT
D hx; T .y/i C hx; T .z/i:
Assim,
hx; T .y C z/
Escolhendo x D T .y C z/
T .y/
T .y/
kT .y C z/
T .z/i D 0:
T .y/
T .z/k D 0;
i
i
4.2
129
A Adjunta
Ento a adjunta da
1
X
nD1
i
i
130
Cap. 4
(4.3)
2
8 x 2 H:
i
i
4.2
131
A Adjunta
kT T k D kT T k D kT k2 :
kT yk2 kT k kT yk kyk;
desigualdade que acarreta
kT k kT k:
Note que no estamos supondo que T seja contnua. Compare com o Teorema 4.15.
i
i
132
Cap. 4
E D f 2 CL12 ; ; R W supp f . ; / ;
0
f .x/ g0 .x/ dx
hDf; gi D
f .x/ g.x/ dx D f .x/g.x/
xD
D hf; Dgi:
i
i
4.2
133
A Adjunta
DW E ! E, dado por
kD1
de modo que
kT xk2`2
N
X
jxk j2
kD1
k2
1:
TN e1 D
1
X
ek
kD1
i
i
134
Cap. 4
?
.i i i / S D < S > ;
?
.i v/ < S > S ?? D .S ? /? .
i
i
4.2
135
A Adjunta
i
i
136
Cap. 4
ker T
ker T
im T
T
T
H1
im T
H2
4.5. Temos que ker R D f0g, im L D `2 , ker L D .x1 ; 0; : : : ; 0; : : :/ 2 `2 ,
.ker L/? D im R e R D L. Note que ker R e ker L no so isomorfos.
1
/ ou .T / 1 , ento .T
1
/ D .T / 1 ;
i
i
4.3
137
Operadores e Adjuntos
T;
.i v/ T normal, se T T D T T .
Operadores unitrios tambm so chamados de ortogonais (especialmente no
caso em que E for um espao real), enquanto operadores simtricos tambm so
chamados de hermitianos, essa denominao sendo mais empregada no caso de E
ser um espao complexo. Por esse motivo, a denominao anti-hermitiano tambm
utilizada para um operador anti-simtrico. Operadores simtricos, anti-simtricos
e unitrios so sempre normais, como pode-se verificar facilmente.
Observao 4.30 importante ressaltar que a denominao auto-adjunto no pode
ser indistintamente aplicada a um operador simtrico. Trataremos de operadores
auto-adjuntos na Seo 4.4.
Teorema 4.31 Seja E um espao com produto interno. Suponha que exista o
adjunto do operador T W E ! E. Ento
i
i
138
Cap. 4
hT T x; yi D hx; yi
T T D I;
Exemplo 4.33 Podemos ter que um operador seja uma isometria, mesmo no sendo
unitrio. Um exemplo simples o operador right shift RW `2 ! `2 , definido no
Exemplo 4.5. Vimos que R D L e LR D I; contudo, no vale RL D I.
O significado de T T no caso de uma isometria que no unitria T W E ! E
dado pelo Exerccio 28.
Proposio 4.34 Sejam E um espao com produto interno e T W E ! E uma
isometria sobrejetora. Ento T um operador unitrio e T D T 1 .
Demonstrao: Basta notar que, como T uma isometria, vale
hT x; yi D hT x; T T
yi D hT x; T .T
y/i D hx; T
yi:
i
i
4.3
139
Operadores e Adjuntos
kxkD1
hT x; yi D hTy; xi
hT x; yi D hx; Tyi:
1
qB .y C x/
4
qB .y
x/ C
i
qB .y C i x/
4
qB .y
i x/;
(4.4)
B.y; x/ D
qB .x
y/ C
qB .x
y/
i
qB .x iy/
4
i
qB .x C iy/
4
qB .x C iy/
qB .x
iy/
i
i
140
Cap. 4
y/j
yk2
(4.6)
sup
kxkD1Dkyk
Exemplo 4.36 Sejam E D CL2 a; b; K e hW a; b ! R uma funo contnua.
Consideremos o operador de multiplicao T W E ! E definido por
.Tf /.x/ D h.x/f .x/:
5
1
qB .x C y/
4
qB .x
y/
(4.5)
vlida apenas se B.x; y/ D B.y; x/ for simtrica. Verifique! No caso complexo, estamos usando
que qB .x/ 2 R.
i
i
4.3
141
Operadores e Adjuntos
b
a
h.x/f .x/g.x/ dx D
b
a
vemos que T existe e que T simtrico. fcil verificar que T possui extenso
contnua TN W L2 a; b; K ! L2 a; b; K .
Exemplo 4.37 (Continuao do Exemplo 4.7) Se E D CL2 .a; b; K/, consideremos o operador integral KW E ! E dado por
K.f /.x/ D
f .y/
f .y/
.x; y/g.x/dx dy
a
b
a
K .f /.y/ D
i
i
142
Cap. 4
Z
1
1
jf .x/j dx
1=2
< 1:
1
1
f .x/ ig0 .x/ dx D hf; Sgi;
i
i
4.3
143
Operadores e Adjuntos
Assim,
0 D hT x; yi C hT x; yi D h.T C T /x; yi 8 x; y 2 E:
Tomando y D .T C T /x, da decorre imediatamente que T D
Reciprocamente, se T D T , ento
hT x; xi D hx; T xi D
hx; T xi D
T .
hT x; xi;
provando o afirmado.
S.
i
i
144
Cap. 4
.N N
N N /x; x D 0 8 x 2 E:
(4.7)
i
i
4.3
145
Operadores e Adjuntos
i T2 ;
i
i
146
Cap. 4
i .T1 T2
T2 T1 /;
i
i
4.4
147
Aplicaes Descontnuas
8 x 2 D.T /; 8 y 2 D.T /:
(4.8)
D hx; T y1 C T y2 i:
i
i
148
Cap. 4
i
i
4.4
149
Aplicaes Descontnuas
Uma vez que hS x; yi D hx; S yi para quaisquer x 2 D.S / e y 2 D.S /, como S uma
extenso de T , vale hT x; yi D hx; S yi para todo x 2 D.T / e para todo y 2 D.S /. Isso implica
que D.S / D.T / e S y D T y para todo y 2 D.S /, mostrando .i i /.
Da mesma forma, como hT y; xi D hy; T xi para quaisquer y 2 D.T / e x 2 D.T /, temos
que D.T / D.T / e T x D T x para todo x 2 D.T /, mostrando .i v/.
Para x 2 D.T C S / D D.T / \ D.S / e y 2 D.T C S / D D.T / \ D.S /, temos
h.T C S /x; yi D hT x; yi C hS x; yi D hx; T yi C hx; S yi D hx; .T C S /yi:
Isso quer dizer que y 2 D .T C S / e .T C S / y D T y C S y, mostrando .i i i /.
Sejam x 2 D.U T / e y 2 D.T U /. Como x 2 D.T / e U y 2 D.T /, temos
hT x; U yi D hx; T U yi:
Mas tambm temos que T x 2 D.U / e y 2 D.U /, de modo que
hU T x; yi D hT x; U yi:
Assim,
hU T x; yi D hx; T U yi:
Como essa igualdade vale para todo x 2 D.U T /, temos que y 2 D .U T / e .U T / y D T U y,
provando .v/.
/. Ento T
x; T yi D hT T
x 2 D.T / e
x; yi D hx; yi:
A Definio 4.48 garante ento que T y 2 D .T 1 / e
.T
Tome ento y 2 D .T
1
1
/ T y D .T T
1
/ y D y:
(4.9)
/ y 2 D.T / e
T T
1
y D .T
T / y D y:
(4.10)
2
i
i
150
Cap. 4
Mas
jhx; T yn ij D jhT x; yn ij kT xk;
implica que a sequncia hx; T yn i limitada. Pelo Princpio da Limitao
Uniforme (Teorema 3.33), teramos kT yn k limitada, o que estabelece uma
contradio.
2
Considerando D.T / D E, a demonstrao do Teorema 4.55 a mesma
daquela do Teorema 4.18, mas agora no estamos supondo a existncia de T . Note,
contudo, que no podemos concluir que T contnua (o que foi obtido, naquele
caso, no Corolrio 4.19). L, tnhamos que T W H ! E e tnhamos a unicidade da
adjunta. Aqui, no podemos garantir que im T D.T /.
Teorema 4.56 Seja T W H1 ! H2 . Suponhamos que D.T / D H2 . Ento T
limitado.
Demonstrao: Aplicando o Teorema 4.55 a T W H2 ! H1 , conclumos que T
limitado. Do item (iv) da Proposio 4.53 temos T T . Mas D.T / D
H1 D D.T /, de modo que T D T , provando que T contnua.
2
Definio 4.57 Seja H um espao de Hilbert. O operador densamente definido
T W D.T / H ! H
.i / auto-adjunto, se T D T , isto ,
D.T / D D.T /
T x D T x
8 x 2 D.T /:
i
i
4.4
151
Aplicaes Descontnuas
.i i / simtrico, se
hT x; yi D hx; Tyi
8 x; y 2 D.T /:
Pode ocorrer que T possua um adjunto T tal que T .x/ D T .x/ para todo
x 2 D.T / \ D.T /, mas D.T / D.T / e, portanto, T no auto-adjunto. o
que veremos no prximo exemplo:
Exemplo 4.58 Existem operadores simtricos que no so auto-adjuntos. De fato,
consideremos o operador diferencial D D i .d=dt/, com o domnio de D definido
por
D.D/ D f W a; b ! C W f 2 C 1 ; f .a/ D f .b/ D 0 :
claro que D.D/ um subespao de L2 D L2 a; b; C . Decorre do Teorema
2.37 que esse subespao denso em L2 . Assim, D um operador densamente
definido. Se f; g 2 D.D/, ento temos
hDf; gi
hf; Dgi D
D i
b
0
if .t/g.t/dt
a
b
a
f .t/ig0 .t/dt
t Db
d
D 0;
f .t/g.t/
N
dt D if .t/g.t/
t Da
dt
gW a; b ! C W g 2 C 1 D.D /;
i
i
152
Cap. 4
k2N
T xn ! y
x2D
e T x D y:
i
i
4.5
153
1
1
1
;:::; 2;
; : : : 2 `2
12
n .n C 1/2
T xn ! y D
Como x 62 `0 , T no fechada.
6
1
1
1
;:::; ;
; : : : 2 `2 :
1
n nC1
i
i
154
Cap. 4
n!1
Da decorre y 2 D.T / e u D T y.
Uma vez que a restrio de uma aplicao fechada a um subespao pode no ser
uma aplicao fechada, no resultado anterior no podemos substituir a hiptese de
T ser auto-adjunta por T ser simtrica.
Para E; F espaos com produto interno,
h.x; y/; .x;
N y/i
N EF D hx; xi
N C hy; yi
N
define um produto interno em E F . Se E; F forem espaos de Hilbert, ento
EF um espao de Hilbert. Na sequncia, ao considerarmos o produto cartesiano
E F , associaremos sempre essa topologia.
Agora apresentamos uma caracterizao de uma aplicao fechada:
Definio 4.67 X; Y espaos normados e D X um subespao. Definimos o
grfico de uma aplicao T W D ! Y por
Gr T D .x; y/ 2 D Y W y D T x :
i
i
4.5
155
E
x/
F
y/:
IW E F ! E F ,
e H2 H1 D V1 Gr T Gr T ;
i
i
156
Cap. 4
, hx; T y0 i C hT x; y0 i D 0
, .y0 ; T y0 / ? V1 Gr T
, .y0 ; T y0 / ? V1 Gr T D V1 Gr T
, .y0 ; T y0 / 2 .V1 Gr T /?
V1 .x;
N u/; .y; T y/ D 0 ,
V2 V1 .x;
N u/; V2 .y; T y/ D 0;
i
i
4.6
157
pois a Proposio 4.66 garante que T fechada. Uma nova aplicao do Teorema
4.70 implica que
Gr T D .V2 Gr T /? D Gr T D Gr T;
o que significa T D T .
i
i
158
Cap. 4
i
i
4.7
159
Exerccios
T .z0 / 2 T BM .y0 / D S BM .y0 / T .V /:
4.7 Exerccios
Denotaremos por H um espao de Hilbert. Se voc no tiver estudado bases no
enumerveis em espaos de Hilbert, considere que elas so enumerveis.
1. Sejam S D fx W 2 Ag uma base de H e X um espao normado. Suponha
que as aplicaes lineares contnuas S; T W H ! X satisfaam Sx D T x
para todo 2 A. Mostre que S D T .
2. Seja H um espao de Hilbert complexo, com base ortonormal fe W 2 Ag
e M D fz 2 C W 2 Ag tal que WD sup2A jz j < 1.
Mostre que existe apenas uma aplicao linear contnua V W H ! H tal que
Ve D z e ; 8 2 A:
Mostre que
i
i
160
(a) V
2A x e
2A x z e
e kV k D
Cap. 4
(b) V e D z e ;
P
P
(c) V
2A x e D
2A x z e ;
(d) V V D V V .
sup
kx kD1;x 2H
1
X
iD1
xi ei
1
X
xi Sei :
iD1
i
i
4.7
161
Exerccios
10. Sejam E D C 1 0; 1; R ; k k1 e F D C 0; 1; R ; k k1 . Considere
o operador DW E ! F definido por Df D f 0 . Para f 2 E, defina
nx
fn .x/ D f .x/ C e n . Mostre que fn ! f em E, mas Dfn 6! Df em
F.
11. Seja T W H ! H um operador simtrico tal que kT k < 1. Mostre que
h.I T /x; xi .1 kT k/kxk2 para todo x 2 H.
12. Seja T W H1 ! H2 uma isometria entre os espaos de Hilbert H1 e H2 .
Mostre que im T H2 um subespao fechado.
13. Mostre que o domnio D.T / de uma aplicao fechada descontnua
T W D.T / H1 ! H2 entre os espaos de Hilbert H1 ; H2 no pode ser
fechado. Conclua que uma aplicao fechada T W D.T / H1 ! H2
.i / contnua se, e somente se, D.T / for fechado;
.i i / descontnua se, e somente se D.T / no for fechado.
14. Sejam E; F espaos com produto interno e T W E ! F uma aplicao linear
fechada. Mostre que, se K E for um conjunto compacto, ento T .K/ F
um conjunto fechado. O mesmo resultado vale se K for apenas fechado?
15. Sejam E; F espaos com produto interno e T W E ! F uma aplicao linear
fechada. Mostre que, se K F for um conjunto compacto, ento a imagem
inversa T 1 .K/ um subconjunto fechado de E
Definio 4.76 Seja V um espao vetorial. Um operador linear P W V ! V uma
projeo se P 2 D P .
16. Mostre que, se P W V ! V for uma projeo, ento V D ker P im P .
17. Se M; N forem subespaos de V tais que V D M N , mostre que existe
uma projeo P W V ! V tal que ker P D M e im P D N .
Definio 4.77 Seja H um espao de Hilbert. Uma projeo ortogonal um
operador linear W H ! H tal que
2 D
hP x; yi D hx; Pyi 8 x 2 H:
i
i
162
Cap. 4
i
i
4.7
163
Exerccios
Nesse caso, 2
i
i
164
Cap. 4
contnuo.
i
i
4.7
165
Exerccios
(d) Suponha que V seja normado e que N seja fechado. Mostre que
V=N ser um espao de Banach se V for completo. D um exemplo
mostrando que a recproca falsa.
40. Seja 0 v um elemento do espao vetorial V. Mostre que V= < v >
isomorfo a um subespao de codimenso 1.
41. Sejam X um espao normado e N X um subespao fechado. Mostre que
a aplicao W X ! X=N definida por .x/ D x contnua e aberta, isto
, leva conjuntos abertos de X em conjuntos aberto de X=N .
i
i
166
Cap. 4
47. Sejam E D .x; y/ 2 R2 e N D f.x; 0/g. Defina W E ! N por
.x; y/ D y. Mostre que E=N linearmente homeomorfo a .E/ D N .
48. Seja T W C ! C uma aplicao linear. Mostre que, necessariamente,
T .z/ D z
para alguma constante complexa . Evidentemente T pode ser vista como
uma aplicao linear real de R2 para R2 . Mostre que uma aplicao linear
T W R2 ! R2 pode ser vista como uma aplicao linear T W C ! C se, e
somente se, sua matriz com relao base cannica do R2 for da forma
a
b
;
b
a
i
i
4.7
Exerccios
167
i
i
5
Teoria Espectral
5.1 Aplicaes Lineares Compactas
Definio 5.1 Sejam X; Y espaos normados. Uma aplicao linear T W X ! Y
compacta1 se, para toda sequncia limitada .xn / X , a sequncia .T xn / possuir
uma subsequncia convergente. Denotamos por K.X; Y / o conjunto das aplicaes
lineares compactas de X em Y .
Exemplo 5.2 Seja E um espao com produto interno e IW E ! E a aplicao
identidade. Se E tiver dimenso finita, ento I compacta, pois toda sequncia
limitada em E possui subsequncia convergente. Por outro lado, se E tiver
dimenso infinita, I no compacta, de acordo com o Corolrio 1.57; mas podemos
dar um exemplo explcito: um sistema ortonormal arbitrrio fen W n 2 Ng em E
tal que .Ixn / no possui subsequncia convergente.
Exemplo 5.3 Seja X; Y espaos normados e T W X ! Y uma aplicao linear
contnua. Suponhamos que im T tenha dimenso finita. Ento, para toda sequncia
limitada .xn /, a sequncia limitada .T xn / uma sequncia em um espao de
dimenso finita e, possui, portanto, uma subsequncia convergente. Assim, T
uma aplicao linear compacta. Aplicaes lineares contnuas possuindo imagem
de dimenso finita so chamadas aplicaes lineares de posto finito.
Proposio 5.4 Sejam X; Y espaos normados. Ento, toda aplicao linear
T W X ! Y compacta contnua e K.X; Y / um subespao de L.X; Y /.
1
168
i
i
i
5.1
169
i
i
170
Teoria Espectral
Cap. 5
Assim,
kT x.j /
T x.k/ k kT x.j /
CkTm x.k/
T x.k/ k
kT Tm k kx.j / k C C kT
3
C C D :
3 3 3
Tm x.k/ k
Tm k kx.k/k
2
Observao 5.7 Se X for um espao de Banach e H um espao de Hilbert, podese mostrar que toda aplicao T 2 K.X; H/ pode ser aproximada em L.X; H/ por
aplicaes Tn de posto finito.2 O resultado falso para T 2 K.X; Y /, se Y for um
espao de Banach arbitrrio.
Exemplo 5.8 (Continuao dos Exemplos 4.7 e 4.37) Se E D CL2 a; b; K ,
consideremos o operador integral KW E ! E dado por
K.f /.x/ D
i
i
5.1
171
Como .x; y/ 2 CL2 a; b a; b; K , essa funo pode ser aproximada (na norma
L2 ) por funes degrau
n .x; y/ D
n
X
i;j D1
Ora, a funo definida no lado direito da igualdade anterior nada mais do que
R
cXIi , em que c D Ij f .y/dy. Assim, Kn um operador que assume valores no
espao de combinaes lineares das n funes degrau XIi . Esse um espao de
dimenso n. Logo, o operador Kn compacto.
Aplicamos ento o Corolrio 5.6 para concluirmos que K compacto. De fato,
temos
2
2
2
k.K Kn /f kL
n kL
2 kf kL2 k
2 ! 0:
Isso mostra o afirmado.
T xk > ;
8 j 2 N:
(5.1)
i
i
172
Teoria Espectral
Cap. 5
T yk2 D hT ynj
D hT T ynj
T y; T .ynj
y/i
T T y; ynj
yi:
5.2 O Espectro
Mesmo em dimenso finita, o estudo de autovalores e autovetores de uma matriz
melhor desenvolvido em espaos complexos. Ao abordarmos a teoria em espaos
i
i
5.2
O Espectro
173
E com produto interno, vamos supor que E seja um espao sobre o corpo C. A
prxima definio tem o objetivo de tornar nossa abordagem vlida tambm para o
caso de operadores T W E ! E em um espao real:
Definio 5.13 Definimos a complexificao de um espao vetorial real X como
sendo o conjunto
XC D fu C i vI u; v 2 X g:
Em XC , definimos a soma de vetores e a multiplicao por um nmero complexo
de maneira natural. fcil verificar que XC torna-se, assim, um espao vetorial
sobre os complexos.
Sejam X um espao real e T W X ! X uma aplicao linear. Definimos
a complexificao de T como sendo a aplicao TC W XC ! XC , dada por
TC .u C i v/ D T u C i T v.
Assim, se X for um espao real e T W X ! X um operador linear, nossa
abordagem ser vlida para o operador TC W XC ! XC .
Definio 5.14 Seja T W X ! X um operador no espao complexo X . Um escalar
2 C um autovalor de T se existir 0 x 2 X tal que T x D x. O conjunto
fx 2 X W T x D xg chamado auto-espao associado ao autovalor , e cada
elemento no nulo nesse conjunto um autovetor associado a .3
fcil verificar que o auto-espao associado a um autovalor de T um
subespao de X .
Definio 5.15 Seja T W E ! E um operador no espao complexo com produto
interno E. Um escalar 2 C um valor regular de T se:
.i / T
.i i i / .T
I for injetor;
I/ 1 W E ! E for limitada.
i
i
174
Teoria Espectral
Cap. 5
i
i
5.2
175
O Espectro
Temos que
.T
/f .t/
I/ 1 f .t/ D
.T
f .t/
;
u.t/
2
cos.x
ou seja,
cos x
2
2
0
Definindo
aD
2
cos y f .y/ dy
0
bD
2
sen y f .y/dy;
0
i
i
176
Teoria Espectral
Cap. 5
vemos que
f .x/ D a cos x C bsen x;
(5.2)
ou seja, f .x/ uma combinao linear das funes sen x e cos x. Multiplicando a
ltima igualdade pela funo cos x e, ento, integrando de 0 a , obtemos
a D a:
Multiplicando .5:2/ pela funo cos x e, ento, integrando de 0 a , obtemos
b D b:
Assim, se a 0 ou b 0, conclumos que D . Por outro lado, se a D 0
e b D 0, a igualdade .5:2/ implica que D 0. Nesse caso, vemos que toda funo
que seja simultaneamente ortogonal s funes cos x e sen x uma auto-funo
associada ao autovalor 0. Da conclumos que o auto-espao associado ao autovalor
0 tem dimenso infinita.
N H;
I/
i
i
5.3
177
I/xk D 0 , k.T
N
I/ xk D 0 , T x D x:
i
i
178
Teoria Espectral
Cap. 5
Observao 5.22 Note que o Teorema 5.21 garante, em particular, que todos os
autovalores de um operador unitrio satisfazem jj D 1.
O espectro de um operador contnuo definido no espao de Hilbert H limitado:
I/
1
X
Tn
nC1
nD0
e
k.T
I/ 1 k
1
jj
kT k
Demonstrao: Tome tal que jj > kT k. Uma vez que kT =k < 1, temos que
1
n
1
X
T
X
T
n
< 1:
n
nD0
nD0
P
n
n
Isso mostra que a srie 1
nD0 T = absolutamente convergente. Assim, como
L.H; H/ completo, est bem definido o operador linear contnuo
BD
1
X
Tn
nD0
n
i
i
5.3
179
I/B D .T
D
I/
1
X
Tn
nD0
n
1 nC1
X
T
nD0
Tn
n
nC1
1
X
T nC1
n
nD0
T n
I
e, de maneira anloga
B.T
I/ D
I;
vemos que
R D .T
I/
B
D
1
X
Tn
:
nC1
nD0
alm disso,
.T
nC1
I/
n
1
1 X
T
D 1
jj
jj 1
nD0
1
1
D
:
kT =k
jj kT k
n!1
I/xn D 0:
I/
i
i
180
Teoria Espectral
Cap. 5
I/xn D lim
n!1
n!1
yn
D 0:
k.T I/yn k
n!1
n!1
1
D 1:
I/xn k
k.T
I/xn D
I/ H;
.i i / .T / R;
.i i i / o espectro de T consiste apenas de autovalores generalizados;
.i v/ um valor regular de T se, e somente se, im .T
I/ D H.
h.T
I/x; .T
k.T
D
k.T
I/xk
I/xi D h.T
ihx; .T
I/
I/x
ix; .T
I/xi C ih.T
I/x
ix
I/x; xi C jj2kxk2
yk2 :
i
i
5.4
181
A alternativa de Fredholm
Conclumos que
k.T
I/
yk
I/
k
kyk
;
jj
1
:
jj
Da Proposio 4.62 segue-se que im .T I/ D im .T I/. Uma vez que no autovalor
de T , de .i / vem que im .T I/ D H. Mas, por definio, isso implica que valor regular de
T , o que prova .i i /.
Suponhamos que 2 .T / no seja um autovalor. Por .i i /, temos que 2 R. Decorre de .i /
que im .T I/ D H, enquanto a Proposio 4.65 garante que R W im .T I/ ! H fechado.
Se R fosse limitado, concluiramos (novamente pela Proposio 4.62) que im .T
I/ D H e
ento, como antes, seria valor regular de T . Portanto, R no pode ser limitado e .i i i / decorre da
Proposio 5.25.
Se for valor regular de T , ento im .T I/ D H e .T I/ 1 W im .T I/ ! H contnua
e fechada. Por isso, temos im .T I/ D im .T I/ D H.
Reciprocamente, suponhamos que im .T I/ D H. Se 62 R, ento valor regular de T ,
de acordo com .i i /. Se 2 R, de .i / decorre que T I injetor e, pelo Exerccio 36 do Captulo
4, temos R auto-adjunto. Assim, pelo Teorema de Hellinger-Tplitz (Proposio 4.59) temos R
contnua. Isso mostra que valor regular de T .
2
i
i
182
Teoria Espectral
Cap. 5
n
X
xi
iD1
yi D
1
X
nD1
xi
yi
D hx; Syi:
n
i
i
5.4
183
A alternativa de Fredholm
ento cada operador Sn tem posto finito e, dado > 0, para todo x 2 `2 vale
k.S
X
xi 2
Sn /xk D
< 2;
n
2
iDnC1
T /? ;
T / D dim ker .I
T / D H;
T /.
i
i
184
Teoria Espectral
Cap. 5
(5.3)
T /? satisfazendo
kz
T zk C kzk;
zk
8 z 2 ker .I
T zk ! 0:
(5.4)
Como .zk / limitada, existe uma subsequncia .zkj / tal que zkj * z. Como T
compacto, T zkj ! T z. Decorre de (5.4) que zkj ! z e z D T z, ou seja,
z 2 ker .I T /. Mas, por definio, zkj 2 ker .I T /? , ou seja,
hzkj ; zi D 0 8 j:
Fazendo j ! 1, conclumos que z D 0, o que contradiz kzk D limj !1 kzkj k D 1
e prova (5.3).
Seja agora .yk / uma sequncia em im .I T /, tal que yk ! y. Tome uma
sequncia .xk / ker .I T /? tal que xk T xk D vk . Decorre ento de (5.3) que
kyk
yj k D k.xk
xj /
T .xk
xj /k C kxk
xj k:
i
i
5.4
185
A alternativa de Fredholm
T xk k D k .xj
D
.xj
T xj / C .xk
T xj / C .xk
T xk / C xj
T xk / C xj
T xj ; xk
xk k
xk
T xk Hj C1 :
T / dim im .I
T /? :
(5.5)
Suponhamos essa afirmativa falsa. Ento existiria uma aplicao linear contnua
AW ker .I T / ! im .I T /? injetora, mas no sobrejetora. Definindo Ax D 0 se
x 2 ker .I T /? , temos que AW H ! im .I T /? possuiria imagem de dimenso
finita sendo, portanto, seria compacta. Logo, T C A seria um operador compacto.
Teramos ker .I .T C A/ D f0g. De fato, caso contrrio, existiria x 0 tal
que T x C Ax D x e, ento, x T x D Ax 2 im .I T /? , o que implicaria
x T x D Ax D 0. Assim, x 2 ker .I T / e, portanto, x D 0, graas a injetividade
de A em ker .I T /. Ao aplicarmos .i v/ ao operador TQ D T C A, concluiramos
que im .I .T C A// D H, uma afirmativa falsa, pois se y 2 im .I T /? mas
y 62 im A (o que seria possvel, j que im A teria dimenso finita), a equao
x
.T x C Ax/ D y
T / dim im .I
T /? :
(5.6)
i
i
186
Teoria Espectral
Cap. 5
T / dim im .I
T /? D dim ker .I
T /;
(5.7)
i
i
5.5
187
xn k2 D hT xn
D kT xn k2
2 kT k2
xn ; T xn
xn i
2 hT xn ; xn i C 2
hT xn ; xn i ! 0
quando n ! 1, pois kT xn k2 kT k2 D 2 .
Uma vez que T compacto e .xn / limitada, existe uma subsequncia .xnj /
tal que T xnj ! e 2 E. A desigualdade anterior mostra que xnj ! e. Como T
contnuo, T .xnj / ! e. Passando ao limite quando nj ! 1 vem T e D e.
Como kek D kxnj k D jj D kT k, mostramos que e um autovetor associado a
, pois kT k 0.
2
Observao 5.33 Se E for um espao de Hilbert, podemos utilizar a convergncia
fraca na demonstrao anterior.
De fato, podemos supor que a sequncia .xn / de
em que
j1 j D kT k:
(5.8)
i
i
188
Teoria Espectral
Cap. 5
1
hT e; ei
D
:
kek2
kek2
hT x; xi
;
kxk2
i
i
5.5
189
n
X
iD1
i hx; ei iei ;
8 x 2 E:
iD1
i
i
190
Teoria Espectral
Cap. 5
hT x; xi
:
jn j D
max
x?< e1 ;:::;en 1 > kxk2
i
i
5.5
191
i
i
192
Teoria Espectral
Cap. 5
1
X
f .n /xn en ;
xD
1
X
xn en :
nD1
em que
nD1
i
i
5.7
193
e T WD
N
N
2
i
i
194
Teoria Espectral
Cap. 5
kSkI S kSkI;
W im S ! H, ento S
2 S.
i
i
5.7
195
Sk /x; xi D hSk .I
Sk /x; Sk xi D h.I
Sk /Sk x; Sk xi 0
e
hSk .I
Sk /2 x; xi D hSk .I
Sk /x; .I
Sk /xi 0;
Sk / 0 e
Sk .I
Sk /2 0:
Da decorre que
SkC1 D Sk2 .I
Sk / C Sk .I
Sk /2 0
e
I
SkC1 D .I
Sk / C Sk2 0;
i
i
196
Teoria Espectral
Cap. 5
provando o afirmado.
Uma vez que
S1 D S12 C S2 D S12 C S22 C S3 D : : : D
n
X
kD1
Sk2 C SkC1 ;
vemos que
n
X
kD1
Sk2 D S1
SnC1 S1 :
2
5.8 Exerccios
Designaremos por H um espao de Hilbert qualquer.
1. D exemplo de um operador contnuo T W H ! H que no seja compacto.
2. Sejam E um espao com produto interno e y; z 2 E. Defina T W E ! E por
T x D hx; yiz. Mostre que T compacto. Mostre que existe T W E ! E e
obtenha sua expresso.
3. Sejam E um espao com produto interno de dimenso infinita e T W E ! E
um operador isomtrico. Mostre que T no compacto.
Rx
4. Seja E D CL2 0; 1; R . Defina T .f /.x/ D a f .y/dy. Mostre que T
um operador compacto. (Compare com o Exemplo 5.8.)
5. Mostre a Proposio 5.5 .i i /: se Y for um espao completo, ento K.X; Y /
um subespao fechado de L.X; Y / e, portanto, um espao de Banach. Para
isso, mostre que T .B1 .0// por um nmero finito de bolas B .yi / de raio
> 0 e aplique ento o Exerccio 49 do Captulo 1.
6. Seja T W D.T / H ! H um operador fechado. Mostre que T I fechado.
Conclua ento, utilizando a Proposio 4.65, que se T I for injetivo, ento
.T I/ 1 W im .T I/ ! H fechado.
i
i
5.8
197
Exerccios
T2
D T1 1 .T2
T1 /T2
D T2 1 .T2
T1 /T1 1 :
R .T / D .
/R .T /R .T / D .
/R .T /R .T /:
T2 /R .T2 /:
i
i
198
Teoria Espectral
Cap. 5
13. Seja H D L2 a; b e considere o operador de multiplicao T W H ! H
definido por .Tf /.x/ D xf .x/. Ento T um operador simtrico contnuo.
(Veja o Exemplo 4.36.) Mostre que:
(a) T no possui autovalor;
(b) se 2 a; b, ento um autovalor generalizado de T . (Veja a
Definio 5.24.)
14. Sejam H1 e H2 espaos de Hilbert. As seguintes afirmaes a respeito de
uma aplicao linear T W X ! Y so equivalentes:
(a) se M X for limitado, ento T .M / compacto;
1
X
n n :
nD1
P1
(Note que T x D
nD1 n n x imediato.
igualdade de operadores!)
i
i
5.8
199
Exerccios
i
i
200
Teoria Espectral
Cap. 5
Est no Captulo 4.
Repetimos a definio de projeo ortogonal: (passar para espaos com produto
interno?)
Definio 5.50 Seja E um espao com produto interno. Um aplicao W E !
E chamada projeo ortogonal se valer a decomposio ortogonal
E D ker im :
29. Seja W E ! E uma projeo. Mostre que x D .x
decomposio ortogonal de x gerada por .
x/ C x a
i
i
5.8
Exerccios
201
i
i
6
O Problema de
Sturm-Liouville
6.1 Definies e Exemplos
Definio 6.1 Um problema de Sturm-Liouville consiste de uma equao
diferencial na forma
.p.t/u0 /0 C q.t/
.t/ u D f .t/
(6.1)
u0 .a/ D u0 .b/
(6.3)
so chamadas peridicas.
O problema formado por .6:1/ .6:2/ ou .6:1/ .6:3/ chama-se problema de
Sturm-Liouville regular. Uma soluo desse problema uma funo uW a; b !
C de classe C 2 que satisfaz tanto a equao .6:1/ quanto as condies de fronteira
.6:2/ ou .6:3/. Se f .t/ 0, o problema est na forma homognea.
202
i
i
i
6.1
203
Definies e Exemplos
Denotaremos
L uW D
.p.t/u0 /0 C q.t/
.t/ u
0 u.b/ C 1 u0 .b/ D :
(6.4)
Se o problema .6:1/ .6:2/ tem soluo para todo f 2 C 0 .a; b; C/, ento
.6:1/ .6:4/ tambm tem soluo. De fato, seja u0 2 C 2 .a; b; C/ uma funo
que satisfaz 0 u0 .a/ C 1 u00 .a/ D c0 e 0 u0 .b/ C 1 u00 .b/ D c1 (mostre que u0
sempre existe!), e defina ento y D u0 C u, em que u a soluo de
L u D f .t/
Ento y soluo do problema .6:1/
.6:4/.
L u0 :
i
i
204
O Problema de Sturm-Liouville
Cap. 6
u0 .0/ D 0;
u0 .1/ D 0;
1
0
f .t/dt D 0:
Ela implica que, para o caso f 1, o problema no possui soluo! Por outro lado,
se f .t/ D sen 2 t, existem infinitas solues:
u.t/ D A
sen 2 t
t
C
:
2
4 2
(6.5)
i
i
6.1
205
Definies e Exemplos
N Isso
Assim, se u uma autofuno associada ao autovalor , devemos ter D .
mostra que todos os autovalores de .6:5/ so reais.
Para D 0, a soluo geral de u00 D 0 u.t/ D At C B. Como u.0/ D 0,
devemos ter B D 0; mas ento u./ D 0 garante que A D 0. Assim, apenas
u 0 soluo de u00 D 0, de modo que D 0 no um autovalor
p do problema
de Sturm-Liouville .6:5/. Suponhamos que < 0 e defina D
. Ento a
00
t
t
soluo geral de u C u D 0 dada por u.t/ D Ae C Be . As condies de
fronteira u.0/ D 0 D u./ implicam ento que
ACB D0 e
Ae C Be
D 0;
i
i
206
O Problema de Sturm-Liouville
Cap. 6
(6.7)
sen nt:
(6.8)
i
i
6.2
207
A funo de Green
(6.9)
Em particular, o autoespao associado a cada autovalor do problema de SturmLiouville homogneo com condies de fronteira separadas unidimensional.
Demonstrao: Temos que W .t/W D W .u1 ; u2 /.t/ D u1 u02 .t/ u01 .t/u2 .t/ satisfaz
W 0 .t/ D u1 .t/u002 .t/ u001 .t/u2
1
D
u1 .t/p.t/u002 .t/ u2 .t/p.t/u001 .t/
p.t/
u1 .t/.t/u2 .t/ q.t/u2 .t/ p 0 .t/u02 .t/ u2 .t/.t/u1 .t/
D
p.t/
0
p .t/
D
u1 .t/u02 .t/ C u01 .t/u2 .t/
p.t/
p 0 .t/
W .t/
D
p.t/
q.t/u1 .t/
p 0 .t/u01 .t/
Z
p.a/
p 0 .s/
ds D exp ln
p.s/
p.t/
e, portanto,
p.t/W .t/ D p.a/W .a/;
mostrando que p.t/W .t/ constante no intervalo a; b!
Por outro lado, u1 .t/ e u2 .t/ satisfazem as condies de fronteira separadas:
0 u1 .a/ C 1 u01 .a/ D 0
i
i
208
O Problema de Sturm-Liouville
Cap. 6
(6.10)
@
@G
@t
< @t
@G
@G
.a; / D 0; 0 G.b; / C 1
.b; / D 0; 8 2 .a; b/I
0 G.a; / C 1
@t
@t
@G
1
@G
:
.t; t /
.t; tC/ D
; 8 t 2 .a; b/:
@t
@t
p.t/
.Denotamos tC e t
respectivamente/.
u01 .a/ D
0 ;
u2 .b/ D
1 ;
u02 .b/ D 0 :
i
i
6.2
209
A funo de Green
Ento a funo
G.t; / D
<
u1 .t/u2 ./
se t 2 .a; /
p.t/W .u1 ; u2 /.t/
u1 ./u2 .t/
se t 2 .; b/
p.t/W .u1 ; u2 /.t/
a funo de Green.
A funo de Green simtrica: G.t; s/ D G.s; t/.
Demonstrao: As funes u1 e u2 existem e so no-nulas, de acordo com o
Teorema de existncia e unicidade de solues para problemas de valor inicial2 .
Notamos que as condies de fronteira do problema .6:10/ so satisfeitas por u1 no
ponto a e por u2 no ponto b. Temos que u1 e u2 so linearmente independentes:
se fosse u1 D ku2 , ento o problema .6:10/ teria u1 como soluo no-trivial, e
D 0 seria autovalor de .6:10/.
No intervalo a; / a funo G tambm uma soluo de .Eh / .Fh /. Logo,
para cada 2 .a; b/ fixo, G.t; / um mltiplo de u1 .t/ no intervalo a; / (veja
exerccio 3). Da mesma forma, G.t; / um mltiplo de u2 .t/ no intervalo .; b.
Logo
G.t; / D ./u1 .t/ DW G1 .t; /; se a t <
(6.11)
G.t; / D ./u2 .t/ DW G2 .t; /; se < t b
Uma vez que G contnua, devemos ter G1 .t; tC/ D G2 .t; t /, ou seja,
.t/u1 .t/ D .t/u2 .t/. A definio de G nos garante que .t/u01 .t/ .t/u02 .t/ D
1=p.t/. J que p./W .u1 ; u2 /./ 0 em a; b (de acordo com a equao .6:9/),
resolvendo o sistema formado encontramos
8
u1 .t/u2 ./
u1 ./u2 .t/
0 D 1, 0 D 1 D 0.
i
i
210
O Problema de Sturm-Liouville
Cap. 6
(6.12)
Demonstrao: Derivamos
u.t/ D
b
a
t
a
u .t/ D
D
t
a
t
a
Z b
@G1
@G2
.t; /f ./d C G2 .t; t /f .t / C
.t; /f ./d
@t
@t
t
Z b
@G1
@G2
.t; /f ./d C
.t; /f ./d:
@t
@t
t
u .t/ D
t
a
Z b 2
@ G1
@G2
@G1
@2 G2
.t; /f ./dC
.t; t /f .t /C
.t; /f ./d
.t; tC/f .tC/:
2
2
@t
@t
@t
@t
t
u .t/ D
b
a
@2 G
.t; /f ./d
@t 2
f .t/
:
p.t/
i
i
6.2
211
A funo de Green
Ento
L0 u D f
u D G1 f:
(6.13)
b
a
G.t; /u././d D
i
i
212
O Problema de Sturm-Liouville
Cap. 6
o que mostra que a norma que ela gera equivalente quela de L2 .a; b/.
Definio 6.14 Denotaremos por L2 .a; b/ o espao vetorial L2 .a; b/ munido do
produto interno h; i .
Abordaremos o problema de Sturm-Liouville com a linguagem de operadores. Para
adequar a definio de autovalor do problema de Sturm-Liouville definio usual,
vamos definir um operador LW D.L/ L2 .a; b/ ! L2 .a; b/. Comeamos
especificando o domnio D.L/ desse operador:
D.L/W D fu 2 C 2 .a; b; C/ W u satisfaz as condies de fronteira separadasg:
3
i
i
6.3
213
Esse um subespao vetorial de CL22 .a; b; C/ (veja exerccio 1). Definimos ento
b
a
um operador de Hilbert-Schmidt em CL02 .a; b; C/ com ncleo G.t; /. Uma vez
que seu ncleo simtrico, esse operador hermitiano e compacto. Comeamos
relacionando os autovalores de L e de G .
Proposio 6.15 Suponhamos que D 0 no seja um autovalor do problema de
Sturm-Liouville com condies de fronteira separadas. Ento, um autovalor
dessa equao com autofuno associada u se, e somente se, 1 um autovalor
de G com autofuno associada u.
Assim, todos os autovalores do problema de Sturm-Liouville so reais e a cada
autovalor pode ser associado uma autofuno real.
Demonstrao: De acordo com o Teorema .6:10/, u uma soluo de
.p.t/u0 /0 C q.t/u D .t/u.t/;
0 u.a/ C 1 u0 .a/ D 0; 0 u.b/ C 1 u0 .b/ D 0
se, e somente se,
u.t/ D
b
a
i
i
214
O Problema de Sturm-Liouville
Cap. 6
1
b
a/kuk ku0 k:
2
i
i
6.3
215
t Db
pu0 u0 dt
qm kuk2 pu0 u t Da C
a
t Db
2
0 2
qm kuk C pm ku k
pu0 u t Da ;
.pu0 /0 udt
0
ju.a/j2
1
1 0
(6.15)
0
ju.b/j2
1 0:
1
De acordo com o Lema 6.17, temos ento que
0 kuk2
0
0
C 2kuk ku k
jp.a/u.a/u .a/j p.a/
1 b a
0 kuk2
0
0
(6.16)
0
p.b/u.b/u
N
.b/
c1 kuk2
c3 kuk2
c2 kuk ku0 k
c4 kuk ku0 k
i
i
216
O Problema de Sturm-Liouville
Cap. 6
.t/ u D f .t/;
(6.17)
i
i
6.4
217
Desenvolvimento em autofunes
0 u.a/ C 1 u0 .a/ D 0;
0 u.b/ C 1 u0 .b/ D 0
(6.18)
n!1
1
X
1
< 1:
2n
nD1
(6.19)
b
a
Ento toda funo u 2 D.L/, isto , toda funo u 2 CL22 .a; b; C/ que
satisfaz as condies de fronteira separadas .6:18/ tem desenvolvimento em
srie de autofunes:
u.t/ D
sendo
hu; n i D
1
X
nD0
hu; n i n .t/;
u.t/n .t/.t/dt:
a
i
i
218
O Problema de Sturm-Liouville
Cap. 6
.v/ Se n para todo n, o problema .6:17/ .6:18/ possui uma nica soluo
u, dada por
1
X
hf; n i
n .t/;
u.t/ D
n
nD0
X hf; n i
n .t/;
n
nm
i
i
6.4
219
Desenvolvimento em autofunes
1
X
nD0
n hn n .t/ D
1
X
cn n .t/;
(6.20)
nD0
P
a srie convergindo absoluta e uniformemente em a; b. Mas u.t/ D n cn n .t/
implica cn D hu; n i , mostrando o afirmado.
.i v/ De acordo com o item .i i i / e o Teorema 2:29, o espao F das combinaes
lineares finita dos elementos da base n denso no espao D.L/. Como D.L/
denso tanto em CL22 .a; b; C/ como em L2 .a; b/ (veja exerccio 10), F tambm
denso nesses espaos. Assim, o Teorema da base garante que todo elemento u
P
em CL22 .a; b ou em L2 .a; b/ tem uma representao x D n xn n , provando o
afirmado.
.v/ De acordo com o Corolrio 6.12, a resoluo do problema de SturmLiouville .6:17/ .6:18/ equivalente resoluo da equao integral
u.t/
G.t; /u././d D
G /u.t/ D y.t/;
Rb
em que D 1 e y.t/ D a G.t; /f ./d. De acordo com a Proposio ??, a
nica soluo desse problema dada por
1
X
1
u.t/ D y C
n
nD0
yn
1
1
n
n ;
1 X hf; n i
yD
n ;
n
nD0
i
i
220
O Problema de Sturm-Liouville
Cap. 6
X 1
1 X hf; n i
n .t/ C
n
n
1
X
nD0
1
X
nD0
nD0
nD0
hf; n i
n .t/ C
n
hf; n i
n .t/;
n
1
X
nD0
1
hf; n i
n
n .t/
1
1
n
1 hf; n i
n .t/
n n
2. A teoria de oscilao de Sturm (veja, por exemplo, [6]) garante que a n-sima
autofuno n (associada ao autovalor n ) possui exatamente n zeros no intervalo
.a; b/. Em particular, a primeira autofuno 0 no se anula neste intervalo.
(6.21)
i
i
6.5
221
1
p.uvN 0
u0 v/
N 0 D
1
0
p.t/W .u; v/.t/
N
(identidade de
1
uLvN D vN .pu0 /0 C qu
1
p.uvN 0 u0 v/
N 0
D
1
pW .u; v/
N 0
D
1
1
u .p vN 0 /0 C q v
N D u.p vN 0 /0
0 0
v.pu
N
/
Assim,
2
i
i
222
O Problema de Sturm-Liouville
Cap. 6
8 u 2 U:
0 u.b/ C 1 u0 .b/ D 0
(6.23)
i
i
6.5
223
.i / O problema .6:22/
Rb
a
b
a
8 2 .a; b/:
b
a
b
a
u.t/uker .t/dt D 0:
i
i
224
O Problema de Sturm-Liouville
Cap. 6
Defina5
G.t; /W D
b1 .t/u1 .t/ D 0:
(6.25)
b1 .t/u01 .t/ D
1
:
p.t/
(6.26)
b0 .t/ D
u1 .t/
p.t/W .uker ; u1 /.t/
a1 .t/
b1 .t/ D
Note que o par u1 ; u2 , utilizado para se construir a funo de Green usual, um mltiplo de
uker . Mais do que isso, qualquer funo que satisfaa as condies de fronteira em t D a ou t D b
um mltiplo de uker , segundo o exerccio 3.
5
Note que cada linha expressa a soluo geral da equao .6:24/, para cada fixo.
i
i
225
6.5
ou seja,
W .uker ; u3 /.a/
uker ./:
W .uker ; u1 /.a/
Da mesma forma, a condio de fronteira em t D b satisfeita se
a1 ./ D
b1 ./ D
W .uker ; u3 /.b/
uker ./ DW k2 uker ./
W .uker ; u1 /.b/
(6.28)
(6.29)
W .uker ; u3 /.b/
p.b/W .uker ; u1 /.b/
p.a/
W .uker ; u3 /.a/
D
p.a/W .uker ; u1 /.a/
1
:
p./W .uker ; u1 /.t/
Como p.t/W .uker ; u1 /.t/ 0 constante em a; b, isso quer dizer que devemos
ter
p.b/W .uker ; u3 /.b/ p.a/W .uker ; u3 /.a/ D 1:
O exerccio 12 pede que se mostre a veracidade dessa relao. Assim, provamos a
existncia de uma funo de Green satisfazendo as condies .a/ .b/ .c/ .d/.
Note que temos liberdade na escolha de a0 ./ satisfazendo a equao .6:27/.
Determinaremos a0 ./ e b0 ./ de modo a obter a simetria de G.t; /. Para isso,
comeamos por escolher u3 .t/ satisfazendo as condies de fronteira u3 .a/ D 1 e
u03 .a/ D 0 . Com isso, asseguramos que a1 ./ D 0, pois W .uker ; u3 /.a/ D 0.
Temos ento
G1 .t; / D a0 ./uker .t/ C uker ./u3 .t/
G2 .t; / D b0 ./uker .t/ k2 uker ./u1 .t/ C uker ./u3 .t/:
Se queremos que G.t; / seja simtrica, as funes em tambm dever ser
combinaes lineares das funes uker ; u1 e u3 . Assim,
a0 ./ D Auker ./ C Bu1 ./ C u3 ./
i
i
226
O Problema de Sturm-Liouville
Cap. 6
Portanto,
G2 .; t/ D C uker .t/ C Du1 .t/ C u3 .t/uker ./
D C uker ./ C u3 ./uker .t/ C .D
seja satisfeita.
Rb
.i i i / Seja u.t/ D a G.t; /f ./d. Ento, como na prova do Teorema 6.10,
temos
Z b
Z b 2
du
d 2u
f .t/
@G
@ G
D
.t; /f ./d;
.t/
D
.t;
/f
./d
;
2
dt
dt 2
p.t/
a @t
a @t
de forma que .p.t/u0 /0 C q.t/u.t/ igual a
Z b
Z b
@
@G
.t; / C q.t/G.t; / f ./dCf .t/ D
p.t/
uker .t/uker ./f ./dCf .t/ D f .t/;
@t
@t
a
a
Rb
em que a igualdade a uker .t/uker ./f ./d D 0 decorre da aplicao de .i /.
Finalmente, a forma da soluo geral do problema bem como a unicidade da soluo
ortogonal a uker so imediatas.
2
i
i
6.5
227
1
t cos ntsen n
n
; se a t <
a
./sen
nt
C
a
./
cos
nt
C
0
1
<
n
G.t; / D
i
i
228
O Problema de Sturm-Liouville
Cap. 6
cos n
:
n
fcil verificar ento que .@G=@t/.t; t / .@G=@t/.t; tC/ D 1 para qualquer valor
b0 ./. (Note o termo 1 ao invs de 1!) A simetrizao de G.t; / obtida ao se
exigir que
Z b
G.t; /sen ntdt D 0:
a
Da vem que b1 D .n/ 1 cos n .n2 / 1 sen n .n2 / 1 sen n. Pode-se
verificar que
8
sen n
sen n
. / cos nsennt t cos ntsen n
C
C
sen nt se 0 t < ;
n
n
n2
n2
<
G.t; /W D
cos nsen nt
.t /sen n cos nt
sen n
sen n
:
C
C
sen nt se < t
n
n
n2
n2
satisfaz as propriedades desejadas.
Contudo, se definirmos a funo simtrica
8
t cos ntsen n
. / cos nsen nt
C
; se 0 t < ;
<
n
n
G.t; /W D
O que fizemos deixa claro que existe um anlogo ao Teorema 6.19 para o caso
em que D 0 um autovalor do problema de Sturm-Liouville com condies de
P
fronteira separadas. Como l, a sequncia de autovalores satisfaz n 12 < 1, se
n
excluirmos o autovalor D 0. Os tens .i i /, .i i i / e .i v/ daquele teorema valem
sem modificao. Nos dois tens restantes deve ser somado o termo kuker forma
da soluo, a unicidade sendo perdida em .v/ e .vi /. O exerccio 15 pede que se
enuncie e demonstre esse resultado.
i
i
6.6
229
Exerccios
6.6 Exerccios
1. Mostre que o conjunto das funes uW a; b ! C de todas as funes de classe
C 2 que satisfazem as condies de fronteira .6:2/ (ou .6:3/) um subespao
de C 2 .a; b; C/.
2. Mostre que se o Wronskiano W .u1 ; u2 /.t/ se anula num ponto t0 2 a; b,
ento as solues u1 ; u2 da equao .p.t/u0 /0 C q.t/ .t/ u D 0 so
linearmente dependentes.
3. Seja u1 a soluo definida no Teorema 6.9. Mostre que se u outra soluo de
.p.t/u0 /0 C q.t/u D 0 satisfazendo 0 u.a/ C 1 u0 .a/ D 0, ento u D ku1 .
4. Interprete a simetria da funo de Green em termos das funes G1 .t; / e
G2 .t; /. Mostre que
@G2
.C; /
@t
@G1
. ; / D
@t
1
:
p./
u0 .1/.
i
i
230
O Problema de Sturm-Liouville
Cap. 6
10. Mostre que o espao C01 .a; b; C/ de todas as funes C 1 com suporte
compacto (isto , que se anulam fora de um intervalo fechado contido em
.a; b/) denso em CL0p .a; b; C/, para 1 p < 1.
uker .t/.
1:
i
i
6.6
Exerccios
231
15. Enuncie e demonstre o resultado anlogo ao Teorema 6:19 para o caso em que
D 0 um dos autovalores do problema de Sturm-Liouville com condies
de fronteira separadas.
i
i
7
Um Problema No-Linear
Em geral, a resoluo de equaes diferenciais no-lineares muito mais
trabalhosa do que o caso linear.
Neste captulo, procuramos uma soluo u 2 C 2 .0; 1/ \ C 0 0; 1 para a
equao no-linear
u00 D f .u/; t 2 .0; 1/
(7.1)
u.0/ D u.1/ D 0;
Uma fora externa que dependesse simultaneamente do tempo t e da posio u.t/ seria
representada por f .t; u.t//.
232
i
i
i
7.1
O L AGRANGEANO
233
7.1
O L AGRANGEANO
i
i
234
Um Problema No-Linear
Cap. 7
termos matemticos,
D mvs;
em que m a massa do corpo, v sua velocidade e s a distncia percorrida. O
resultado
desse produto Maupertuis chamou de Ao. No caso em que a
velocidade no constante e o caminho percorrido uma curva, a Ao dada
pela integral
Z
D
mvds:
mv 2 dt:
i
i
7.1
235
O L AGRANGEANO
i
i
236
Um Problema No-Linear
Cap. 7
integral) na definio da energia potencial U.t/. Uma para ser coerente com a
idia de que realizado trabalho quando se perde energia potencial. A outra se
relaciona com a energia total durante o percurso. Essa definida como a soma
da energia cintica com a energia potencial da partcula. Para possibilitar que a
energia total seja constante o que o princpio da conservao da energia , a
energia potencial deve ser definida com o sinal negativo: o que se ganha em energia
cintica deve equivaler ao que se perde em energia potencial.
Assim, usando a idia bsica do clculo de variaes, procuramos minimizar
Z
.u/ D L.t/dt:
Como t 2 0; 1, encontrar pontos crticos do funcional
Z 1
Z 1
.u/ D
K.u.t//dt
U.u.t//dt
0
0
Z
Z 1
1 1 0 2
D
ju .t/j dt
F.u.t//dt
2 0
0
Rx
em que F.x/ D 0 f .s/ds. (Note o cancelamento dos dois sinais negativos em
.7:2/.)
Toda a nossa ateno ser dedicada a : desde a definio de um domnio
apropriado at o estudo de condies que garantam a existncia de pontos crticos
para esse funcional. Veremos que todo ponto crtico de soluo de .7:1/ e viceversa (veja o Teorema 7.22). Assim, pontos de mximo, de mnimo ou de sela sero
todos soluo de .7:1/.
Para isso, comeamos relembrando alguns resultados bsicos:
Definio 7.1 Sejam X e Y espaos de Banach reais. Uma aplicao gW U
X ! Y diferencivel no aberto U se, dado > 0, para todo x 2 U existem
0 < D .x/ e uma aplicao linear T D T .x/ 2 L.X; Y / de modo que2
kg.x C h/
g.x/
(7.3)
A aplicao linear T sendo avaliada no ponto h est sendo denotada por T h, enquanto T .x/
denota que T depende do ponto x.
i
i
7.1
237
O L AGRANGEANO
S x
S hk D 0
para todos x; h 2 X:
para quaisquer x1 ; x2 ; y1 ; y2 2 X e ; 2 R.
Toda aplicao bilinear contnua diferencivel, pois
B.x C h; y C k/ B.x; y/ B.x; k/ C B.h; y/
D kB.h; k/k
para todos x; y; h; k 2 X .
Como B.x; / e B.; y/ so aplicaes lineares, para mostrarmos que a derivada
DB.x; y/.h; k/ dada pela aplicao linear contnua B.x; k/ C B.h; y/, basta
verificar que kB.h; k/k satisfaz a condio de diferenciabilidade .7:3/, isto , dado
> 0, existe > 0 tal que
kB.h; k/k k.h; k/k;
i
i
238
Um Problema No-Linear
Cap. 7
7.2
F UNES T ESTE
A maneira clssica (e mais natural) de conhecer uma funo saber como ela
atua em cada ponto de seu domnio. Essa atuao descrita, muitas vezes, por uma
expresso algbrica. o que acontece quando escrevemos f .x/ D x 2 C 1, por
exemplo. A dinmica da atuao dessa funo ento descrita pelo seu grfico.
Uma outra maneira, mais indireta, de se conhecer uma funo se d quando
determinamos um conjunto de funes acessrias e, para cada uma de tais funes,
obtemos valores reais, em geral via integrao. Isso o que acontece, por exemplo,
na teoria de sries de Fourier: o conjunto f1; cos x; sen x; cos 2x; sen 2x; : : :g gera,
para m 2 N e para a funo f (peridica, de perodo 2), os valores reais
Z
Z
Z
1
1
1
a0 D
f .x/dx; am D
f .x/ cos mx dx e bm D
f .x/ sen mx dx;
os coeficientes de Fourier de f . O Teorema de Riesz-Fischer (veja [?]) garante
que, para uma grande classe de funes f , podemos recuperar a funo f se
conhecermos os valores desses coeficientes.
Essa ser, em ltima instncia, a nossa abordagem neste Captulo.
Escolheremos um conjunto adequado de funes acessrias, que atuaro na funo
f produzindo uma coleo de valores reais, que fornecer informaes sobre a
prpria funo f .
A escolha adequada de uma classe de funes acessrias permitir estender
o conceito de funo e a introduo do conceito de distribuio, que no ser
abordado neste texto. A classe mais adequada para esse propsito a classe de
funes C 1 com suporte compacto e definir o espao das funes teste.
i
i
7.2
239
F UNES T ESTE
Definio 7.4 Dizemos que uma funo f W .0; 1/ ! R tem suporte compacto se
existir um intervalo a; b .0; 1/ tal que supp f a; b, em que
supp f W D fx 2 .0; 1/ W f .x/ 0g:
Denotamos por C01 .0; 1/ o espao de todas as funes reais 2 C 1 com
suporte compacto. Os elementos de C01 .0; 1/ so chamados funes teste.
O espao C01 .0; 1/ e, com isso, o conceito de distribuio, devida a L.
Schwartz. Uma abordagem elementar pode ser encontrada no segundo captulo
do livro de Stakgold [33].
Note que as funes ' 2 C01 .0; 1/ estendem-se naturalmente a funes de
classe C 1 definidas em toda a reta, ao definirmos seu valor como nulo para todo
x 62 .0; 1/. Essa extenso ser, muitas vezes, identificada com a funo '.
Observao 7.5 O espao C01 .0; 1/ denso em CL2 0; 1; R . De fato, pelo
Teorema de Aproximao de Weierstra, toda funo contnua gW 0; 1 ! R pode
ser uniformemente aproximada por um polinmio p, isto , dado > 0,
jg.t/
p.t/j <
8 t 2 0; 1:
Seja agora ' 2 C01 .0; 1/ uma funo teste tal que '.t/ D 1 para todo t 2 ; 1
e '.t/ D 0 para todo t 2 0; =2 [ 1 =2; 1. (Com uma pequena modificao,
tal funo construda explicitamente em [?], p. 433.)
Com isso, a funo 'p 2 C01 .0; 1/ e
Z
1
0
jg
'pj2 dt
!2
p
k ;
i
i
240
Um Problema No-Linear
Cap. 7
Demonstrao: Se
D , ento
Z
1
0
D
1
0
0
.1/
.0/ D 0:
R1
Rt
Reciprocamente, suponhamos que 0 D 0. Defina .t/ D 0 .s/ds. Se
t 2 0; a [ b; 1 ento .t/ D 0. Assim,
2 C01 .0; 1/. Claramente
a
primitiva de .
2
R1
0
2 C01 .0; 1/ W
1 D 1. Seja
Z
D0 :
(7.4)
R1
0
1 / C 1 .
2
Com isso estamos querendo dizer que estamos decompondo um espao vetorial como soma
direta de dois subespaos, sem considerar qualquer topologia no espao vetorial.
i
i
7.3
7.3
U M E SPAO
DE
S OBOLEV: W 1;2 0; 1
241
U M E SPAO DE S OBOLEV: W
1;2
0; 1
Ento
w;
.v
0
w/ D 0;
(7.5)
i
i
242
Um Problema No-Linear
Cap. 7
1
0
un D
u0n ;
8 2 C01 0; 1 :
Assim, u 2 W
0; 1 e do Lema 7.9 segue que u0 D g, com un ! u em
W 1;2 0; 1 . Como kk1 gerada por um produto interno, o resultado est provado.
2
1;2
i
i
7.3
U M E SPAO
DE
S OBOLEV: W 1;2 0; 1
243
Demonstrao: A Proposio 7.7 garante que, para todo 2 C01 .0; 1/, podemos
R1
escrever D
C 1 , sendo
2 M D f 2 C01 .0; 1/ W 0
D 0g,
R1
R1
1
1 2 C0 .0; 1/ tal que 0 1 D 1 e D 0 . Portanto,
Z
f D
f
0
C
f 1 D
0
!Z
f 1 D c
;
0
R1
R1
R1
sendo c D 0 f 1 . (Temos que 0 f D 0. De fato, como 0
D 0, decorre do
R1
R1
1
0
Lema 7.6 que D
para algum
2 C0 . Assim, 0 f D 0 f
0 D 0.)
Logo,
Z 1
.f c/ D 0 8 2 C01 .0; 1/:
0
Definio 7.12 Uma funo u 2 W 1;2 0; 1 fracamente C 1 se sua derivada
fraca u0 estiver em C 0 0; 1 .
1
u D u 0
0
1
0
u D
u0 :
u0 .s/ds:
i
i
244
Um Problema No-Linear
R1
0
Assim,
u 0 D
R1
w 0 D
Z
Cap. 7
.u
0
w/ 0 D 0
Decorre do Lema 7.11 que existe uma constante c tal que u w D c qtp. Assim,
u D w C c qtp. Isso mostra que existe um representante C 1 na classe da funo u.
2
7.4
O SUBESPAO W01;2 0; 1
Uma vez que C01 .0; 1/ um subespao de W 1;2 0; 1 , faz sentido tomar o
fecho desse subespao em W 1;2 0; 1 :
Definio 7.14 Definimos W01;2 0; 1 como o fecho de C01 .0; 1/ em W 1;2 0; 1 .
Note que W01;2 0; 1 , por definio, completo. Em princpio, poderia ser que
W01;2 0; 1 D W 1;2 0; 1 . Veremos que isso no acontece.
Proposio 7.15 (Desigualdade de Poincar)
Para toda funo u 2 W01;2 0; 1 vale
Z t
Z 1
1
12 ds
j 0 j2 ds
D k 0 kL2 :
j.t/j D j.t/ .0/j D 0 .s/ds
0
Assim,
kkL2 D
j.t/j2 dt
!1=2
1
0
2
k 0 kL
2 dt
!1=2
D k 0 kL2 :
i
i
7.4
SUBESPAO
W01;2 0; 1
245
Se u 2 W01;2 0; 1 , existe uma sequncia n 2 C01 .0; 1/ tal que n ! u e
n0 ! u0 , ambas as convergncias em L2 . Obtemos o afirmado ao tomar o limite
n ! 1 na desigualdade
kn kL2 kn0 kL2 :
Podemos deduzir da desigualdade de Poincar que W 1;2 0; 1 W01;2 0; 1 .
(Veja o Exerccio 6).
A desigualdade de Poincar nos garante que, para todo u 2 W01;2 0; 1 vale
ku0 kL2 kukL2 C ku0 kL2 2ku0 kL2 ;
8 u 2 W01;2 0; 1 :
u0 v 0 :
Assim, W01;2 0; 1 um espao de Hilbert com esse produto interno. Uma
vez que W01;2 0; 1 L2 0; 1 D L2 , o fato de L2 ser separvel garante que
W01;2 0; 1 tambm um separvel.
Vamos agora caracterizar as funes em W01;2 0; 1 e mostrar que podemos
dar um sentido a u.0/ e u.1/ em W01;2 0; 1 . Como duas funes em W 1;2 0; 1
so definidas a menos de um conjunto de medida nula, de modo que esse um fato
notvel!
Lema 7.16 Se u 2 W01;2 0; 1 , ento existe uma funo contnua v satisfazendo
v.0/ D 0 D v.1/ tal que u D v q.t.p. Em outras palavras, dada u 2 W01;2 0; 1 ,
podemos supor que u seja contnua e nula nos extremos do intervalo 0; 1.
Demonstrao: Considere uma sequncia .n / em C01 .0; 1/ tal que n ! u
em W 1;2 0; 1 . A desigualdade de Cauchy-Schwarz nos garante que, para todo
i
i
246
Um Problema No-Linear
t 2 0; 1 vale
jn .t/
Z t
D kn0
jn0
0
m
j
0
m
kL2
t
0
0
m
.s/ds
jn0
0 2
m
j
Cap. 7
!1=2
(7.7)
Assim, .n .t// uma sequncia de Cauchy em R e, portanto n .t/ ! v.t/ para
todo t 2 0; 1. (Em particular, v.0/ D v.1/ D 0, pois n nula nos extremos do
intervalo 0; 1 para qualquer n.) Mas algo mais foi provado: a mesma desigualdade
.7:7/ vale para todo t 2 0; 1, garantindo que a convergncia n ! v uniforme.
Isso implica que v uma funo contnua e tambm que n ! v em L2 . (Veja [?].)
Por outro lado, n ! u em L2 , pela prpria definio. A unicidade do limite
(em L2 ) garante ento que u D v qtp. (Note que u0 a derivada fraca de v.)
2
Observao 7.17 Um resultado importante, cuja prova no ser apresentada aqui,
que o conjunto das funes C 1 que esto em W 1;2 0; 1 denso em W 1;2 0; 1 .
Utilizando esse resultado, a mesma demonstrao do Lema 7.16 garante que, dada
f 2 W 1;2 0; 1 , existe g 2 C 0 1; 2 tal que
.a/ g D f em L2 , isto , g D f q.t.p.;
Em outras palavras, toda funo f 2 W 1;2 0; 1 possui um representante
absolutamente contnuo com derivada (q.t.p.) em L2 .
Uma segunda prova dessa afirmao pode ser feita utilizando-se o Teorema de
Fubini. Veja [4].
Teorema 7.18 (Imerso de W01;2 0; 1 em C 0 0; 1 )
A imerso de W01;2 0; 1 em C 0 0; 1 contnua. Em outras palavras, a
aplicao identidade I W W01;2 0; 1 ! C 0 0; 1 contnua. Em smbolos,
W01;2 0; 1 ,! C 0 0; 1 :
i
i
7.5
247
D E VOLTA AO L AGRANGEANO
0
0
0
2
jn .t/j D n .s/ds
jn j
jn j
D kn k0 :
0
Segue da que
Pelo Lema 7.16, escolhendo o representante contnuo de u 2 W01;2 0; 1 e uma
sequncia .n / tal que n ! u em W01;2 0; 1 e tambm uniformemente (quer
dizer, na norma k k1 ), temos que kn k1 ! kuk1 e tambm que kn k0 ! kuk0 .
Assim,
kuk1 kuk0 ;
o que mostra o afirmado.
7.5
D E VOLTA AO L AGRANGEANO
Considerando definido em W01;2 0; 1 , temos o funcional bem definido:
o Lema 7.16 (ou ento o Teorema 7.18) garante que F.u/ D F u contnua e,
portanto, integrvel.
Lema 7.20 A funo t 7! F.t/ uniformemente diferencivel em todo intervalo
a; b R e F 0 .t/ D f .t/. Isto , dado > 0, existe > 0 tal que
jF.t C s/
F.t/
para todo t 2 a; b.
i
i
248
Um Problema No-Linear
Cap. 7
F.t/
f .t/s D
t Cs
f ./d
t Cs
f ./
f ./d
0
t Cs
f .t/d
f .t/d:
W W01;2 0; 1 ! R diferencivel e
0
.u/v D
0 0
uv
0
f .u/v:
0
.u/
0
.u/.v/j <
.u/ contnuo.
R1
R1
F.u/, vamos calcular
Demonstrao: Uma vez que .u/ D 12 0 ju0 j2
0
separadamente as derivadas das duas expresses integrais.
R1
Temos que 12 0 ju0 j2 D 21 hu; ui0 . A derivada da aplicao bilinear hu; ui
foi calculada na observao 7.1. Note que devemos aplicar essa derivada no
vetor .v; v/, pois .u/ no uma aplicao bilinear. Assim, derivando 12 hu; ui0 ,
encontramos
Z 1
1
.hv; ui0 C hu; vi/0 D hu; vi0 D
u0 v 0 :
2
0
Passamos agora segunda expresso integral. O Lema 7.20 garante que,
escolhido um intervalo a; b e dado > 0, existe > 0 tal que, se t 2 a; b,
jF.t C s/ F.t/ f .t/sj jsj 8 jsj < :
Seja u 2 W01;2 0; 1 arbitrria. Pelo Lema 7.16, podemos assumir que
u contnua. Assim, so assumidos os valores a WD min t 20;1 u.t/ e b D
i
i
7.5
249
D E VOLTA AO L AGRANGEANO
max t 20;1 u.t/, o que fixa o intervalo a; b. Alm disso, se exigirmos que kvk0 < ,
teremos que jv.t/j < para todo t 2 0; 1, de acordo com o Teorema 7.18.
Portanto,
jF.u.t/ C v.t//
F.u.t//
F.u C v/
F.u/
f .u/v
jF.uCv/ F.u/ f .u/vj
jvj:
0
0
0
0
jvj
F.u C v/
F.u/
0
0
jvj2
f .u/v kvk0
i
i
250
Um Problema No-Linear
Cap. 7
1
00
u C
1
0
f .u/ D 0:
Ora, como essa igualdade vale no subconjunto C01 .0; 1/, que denso no espao
W01;2 0; 1 , podemos concluir (veja o exerccio 7) que
Z
0 0
uv D
.u/ 0.
f .u/v
0
8 v 2 W01;2 0; 1 :
i
i
251
7.6
P ONTOS C RTICOS
7.6
P ONTOS C RTICOS
convergente.
i
i
252
Um Problema No-Linear
Cap. 7
Assim,
hxn ; yi
hxm ; yi hxn ; yi
kxn k ky
hxn ; dy i C hxn ; dy i
dy k C C kxm k ky
C C C C :
hxm ; dy i C hxm ; dy i
dy k
hxm ; yi
n!1
i
i
7.6
253
P ONTOS C RTICOS
hx; yi 8 y 2 H:
x2Br .0/
hx; yi 8 y 2 H:
Afirmamos que m D F.x0 /. Se esse no fosse o caso, existiria > 0 tal que
m C < F.x0 /. Definimos ento o convexo fechado C D F 1 . 1; m C . Ento
existe n0 tal que xn 2 C para todo n n0 (pois F.xn / ! m), enquanto x0 62 C
(pois F.x0 / > m C ).
Uma nova aplicao do Teorema de Separao de Hahn-Banach 3.9 garante a
existncia de y 2 H tal que hx0 ; yi < hz; yi para todo z 2 C . Em particular,
hx0 ; yi < hxn ; yi para todo n n0 , o que contradiz hxn ; yi ! hx0 ; yi. Isso
completa a demonstrao.
2
i
i
254
Um Problema No-Linear
Cap. 7
jf .t/j ajtj C b
Ento o problema no-linear
1
0
jF.u.t//jdt
1
akuk20 C bkuk0
2
1
0
1
2
aju.t/j C bju.t/j dt
2
i
i
7.7
255
E XERCCIOS
Portanto,
1
.u/ D kuk0
2
7.7
1
0
1
F.u/ kuk20
2
1
kuk20
2
bkuk0 :
E XERCCIOS
1=2 se 0 t 1=2
t
se 1=2 t 1
i
i
256
Um Problema No-Linear
Cap. 7
7. Mostre que, se
Z
1
0
u D
f .u/
0
1
0 0
uv D
f .u/v
0
. 1; a utilizado na demonstrao do
i
i
Apndices
i
i
A
Formas e Produto Interno
Neste Apndice introduzimos formas sesquilineares, estudamos como elas se
relacionam com formas quadrticas, definimos formas positivas definidas e ento
chegamos definio de produto interno. O Apndice oferece, ento, uma
abordagem alternativa primeira Seo do Captulo 2.
Comeamos definindo aplicaes sesquilineares. As duas Sees seguintes
apresentam resultados puramente algbricos sobre formas sesquilineares. A ltima
Seo estuda o relacionamento de formas hermitianas contnuas com suas formas
quadrticas.
i
i
A.1
259
Aplicaes Sesquilineares
x0 k < ;
ky
y0 k <
kB.x; y/
B.x0 ; y0 /k < :
sup
kxk1; kyk1
i
i
260
Ap. A
possvel definir uma forma bilinear sobre um espao vetorial complexo X . Contudo, ao
considerarmos uma forma bilinear, vamos admitir sempre que X seja um espao real.
i
i
A.2
261
x 4 y4 :
x42
y/ D 2 qB .x/ C qB .y/ :
1
qB .x C y/
2
qB .x
y/ ;
(A.1)
i
i
262
Ap. A
Se definirmos
1
qB .x C y/ qB .x y/
4
1
3.x1 C y1 /2 C 3.x1 C y1 /.x2 C y2 / C 7.x2 C y2 /2
D
4
1
3.x1 y1 /2 C 3.x1 y1 /.x2 y2 / C 7.x1 y1 /2
4
1
12x1 y1 C 6x1 y2 C 6x2 y1 C 28x2 y2 ;
D
4
obtemos uma forma bilinear Bs , que no coincide com B, mas qual tambm est
associada a forma quadrtica qB .
Bs .x; y/ D
x 2 y1
i
i
A.3
Formas Hermitianas
263
i
i
264
Ap. A
i
i
A.3
265
Formas Hermitianas
4
5
i
i
266
Ap. A
P
Em `2 , definimos o produto interno hx; yi D .xn /; .yn / D 1
nD0 xn yn . (A
2
2
desigualdade jxn yn j .1=2/ jxn j C jyn j garante que a srie absolutamente
convergente). A verificao que h; i um produto interno simples.
Exemplo A.22 Pode-se provar que todo espao vetorial X possui uma base, no
sentido apresentado na Definio 1.1. Se B D fx
W
2 g for uma base de X ,
definimos, para ;
2 ,
1; se
D ;
hx
; x i D
0; se
:
P`
Pk
Se x D
iD1 i x
i , estendendo a definio de h; i
iD1 i xi e y D
linearmente, obtemos um produto interno no espao X .
Notamos, contudo, que a existncia de uma base em X no significa que
podemos explicitar seus elementos. Assim, geralmente, no h como calcular o
produto interno de quaisquer elementos do espao e a definio dada acima para o
produto interno torna-se meramente terica.
Seja S X um subconjunto arbitrrio. O conjunto
S ? D fy 2 X W B.x; y/ D 0 8 x 2 Sg
claramente um subespao de X (veja o Exerccio 9). No caso especial em que
S D X , o subespao X ? chamado espao anulador da forma B e usualmente
denotado por X0 .
Denotaremos por Re z e por Im z as partes real e imaginria do nmero
complexo z, respectivamente. Compare o enunciado de nosso prximo resultado
com a Observao A.13.
Lema A.23 Seja BW X X ! K uma forma positiva semidefinida. Ento,
qB .y/ D 0 se, e somente se, B.x; y/ D 0 para todo x 2 X .ou seja, y 2 X0 /.
Demonstrao: Se y 2 X0 , claramente vale qB .y/ D B.y; y/ D 0. Reciprocamente, suponhamos que qB .y/ D B.y; y/ D 0 e consideremos x C ty 2 X .
Temos, para todo t 2 R,
0 B.x C ty; x C ty/
i
i
A.3
267
Formas Hermitianas
ty; x
ty/ D qB .x/
tB.y; x/ C B.x;
N
y/ C t 2 q
N B .y/:
i
i
268
Ap. A
uma norma em X . Dizemos que essa norma gerada pelo produto interno.
No Exemplo A.18, o produto interno h; i gera a norma euclidiana k k (definida
no Exemplo 1.8). No Exemplo A.20, o produto interno gera a norma kkL2 , definida
quando tratamos dos espaos Lp . No Exemplo A.21, o produto interno gera a
norma k k2 , definida quando consideramos os espaos `p .
Note que, no caso de um produto interno h; i em X , a identidade do
paralelogramo escreve-se como
kx C yk2 C kx yk2 D 2 kxk2 C kyk2 ;
(A.4)
o Teorema de Pitgoras estabelece que, para x perpendicular a y, vale
kx C yk2 D kxk2 C kyk2 ;
enquanto a Desigualdade de Cauchy-Schwarz garante que
(A.5)
(A.6)
i
i
A.4
269
Formas Contnuas
sup
kxk1; kyk1
jB.x; y/j:
Claramente vale kqB k kBk e, tambm, kqB .x/jj kqB k kxk2 para todo
x 2 X.
Observao A.28 Se a forma quadrtica qB W X ! K definida no espao normado
X for contnua, o Lema A.23 garante que X0 um subespao fechado de X .
Exemplo A.29 Considere o espao normado R2 ; k k1 . Para x D .x1 x2 /t e
y D .y1 y2 /t , considere a forma bilinear simtrica
B.x; y/ D x1 y1
x 2 y2 ;
x22 :
Tomando x0 D .1 1/t e y0 D .1
1/t , temos kx0 k1 D 1 D ky0 k1 e
B.x0 ; y0 / D 2. Contudo, verificamos facilmente que jqB .x/j 1 para kxk1 D 1,
mostrando que pode-se ter kqB k < kBk.
Agora mostraremos situaes em que podemos garantir que as normas de uma
forma B e de sua forma quadrtica qB so iguais. (Em espaos com produto interno,
aplicaremos a Proposio A.27.)
i
i
270
Ap. A
y/j
yk2
(A.7)
No caso real, estamos aplicando a Proposio A.9, que exige que B seja simtrica. No caso
complexo, estamos aplicando a Proposio A.12.
i
i
A.4
271
Formas Contnuas
sup
kxkD1Dkyk
0
1
1
0
A Proposio 3.23 garante que, se B.x; y/ D hx; Tyi, ento kBk D kT k. Por
outro lado, qB .x/ D hx; T xi D hT x; xi 0. (Veja o Teorema 4.41 para uma
interpretao desse resultado.)
Podemos nos fazer a seguinte pergunta: se BW E E ! K for uma forma
sesquilinear contnua num espao com produto interno E, ento existe uma
aplicao linear contnua T W E ! E tal que
B.x; y/ D hx; Tyi ?
i
i
272
Ap. A
A.5 Exerccios
1. Sejam X; Y e Z espaos vetoriais e S.X Y; Z/ o conjunto de todas
as aplicaes BW X Y ! Z sesquilineares. Mostre que S.X Y; Z/
um espao vetorial com as definies usuais de soma de aplicaes e
multiplicao de aplicao por escalar.
2. Sejam X; Y; Z espaos normados. Mostre que uma aplicao sesquilinear
BW X Y ! Z uniformemente contnua se, e somente se, for identicamente
nula.
3. Sejam X; Y; Z espaos normados. Mostre que
kBk D supfkxk 1; kyk 1gkB.x; y/k
define uma norma no espao Sc .X Y; Z/ de todas as aplicaes
sesquilineares BW X Y ! Z contnuas. Mostre que Sc .X Y; Z/ um
espao de Banach, se Z for completo.
4. Enuncie e demonstre, para o caso de aplicaes sesquilineares limitadas,
resultado anlogo ao Exerccio 38 do Captulo 1.
5. Seja X um espao vetorial e ; W X ! K funcionais lineares. Mostre que
BW X X ! K, definida por B.x; y/ D .x/ .y/ uma forma.
6. Seja X um espao vetorial com base B D fx1 ; : : : ; xn g. Associe a x 2 X o
vetor xB D .1 : : : n /t 2 Kn , em que x D 1 x1 C : : : C n xn . Fixe
A 2 Mnn .K/, o espao das matrizes n n sobre o corpo K, e defina
8
i
i
A.5
273
Exerccios
t
11. Seja E um espao com produto interno. Mostre que hx; yi D kxk kyk se,
e somente se, os vetores x; y forem linearmente dependentes.
12. Considere o espao C 1 a; b; K , o espao das funes f W a; b ! K de
classe C 1 . Defina, para f e g nesse espao,
Z b
hf; gi D
f 0 .x/g0 .x/dx:
a
.b/ Considere F D ff 2 C 1 a; b; K W f .a/ D 0g. Em F , h; i um
produto interno?
13. Mostre que a norma em C a; b; C no gerada por um produto interno.
14. Sejam E um espao com produto interno de dimenso finita e B uma forma
em E. Mostre que existe um nico operador linear T W E ! E tal que
B.x; y/ D hT x; yi para quaisquer x; y 2 E. Mostre tambm que o espao
S.E/ de todas as formas em E canonicamente9 isomorfo ao espao L.E/
de todos os operadores em E.
9
Um isomorfismo entre espaos vetoriais cannico, se ele independer de escolhas de bases nos
espaos envolvidos.
i
i
274
Ap. A
i
i
B
Sries de Fourier
Neste Apndice expomos o mtodo de separao de variveis e tratamos da
convergncia das sries de Fourier, desde um ponto de vista introdutrio. A
apresentao elementar e inteiramente independente de qualquer resultado neste
livro. Este Apndice corresponde a parte de um texto publicado na II Bienal
de Matemtica. Apesar da linguagem utilizada neste texto ser diferente daquela
utilizada no restante do livro, resolvemos mant-la.
u
c 2 uxx D
0;
tt
<
u.0; t/
D u.L; t/ D 0;
u.x; 0/
D f .x/;
: u .x; t/
D g.x/:
t
(B.1)
275
i
i
i
276
Sries de Fourier
Ap. B
c 2 uxx D 0
(B.2)
uma das poucas equaes diferenciais parciais cuja soluo geral pode ser obtida
diretamente. Ao invs de escolhermos essa abordagem, utilizaremos o mtodo de
separao de variveis, que consiste em supor a existncia de uma soluo u.x; t/
tendo a forma
u.x; t/ D F.x/G.t/
i
i
B.2
277
Separao de Variveis
Assim, essa igualdade define uma funo .x; t/. Fixando a varivel x e
variando t, vemos que .x; t/ no depende de t. Por outro lado, fixando t e variando
x, notamos que tambm no depende de x. Assim, uma constante:
G 00 .t/
F 00 .x/
D 2
D 2 R;
F.x/
c G.t/
de modo que, se o mtodo de separao de variveis for aplicvel, obteremos
u.x; t/ D F.x/G.t/ como soluo do par de equaes
F 00 .x/
G 00 .x/
F.x/ D 0;
c 2 G.t/ D 0:
para todo t:
F.x/ D 0;
F.0/ D 0; F.L/ D 0:
(B.3)
i
i
278
Sries de Fourier
Ap. B
n
;
L
n 2 f1; 2; : : :g;
nx
;
L
n 2 f1; 2; : : :g;
c 2 G D 0
nct
nct
C Bn sen
:
L
L
nct
nx
nct
nx
cos
C Bn sen
sen
:
L
L
L
L
u t t c 2 uxx D
0;
u.0; t/
D u.L; t/ D 0:
(B.4)
Alm disso, somas (finitas) de mltiplos das funes un (para valores distintos
de n) continuam resolvendo o mesmo problema. (Esse o Princpio da
i
i
B.2
279
Separao de Variveis
(B.5)
nD1
Se for possvel a derivao termo a termo em .B:5/ (ah, mais uma hiptese...),
ento a funo g deve satisfazer
g.x/ D
1
X
nc
nD1
Bn sen
nx
:
L
(B.7)
i
i
280
Sries de Fourier
Ap. B
(B.8)
nD1
(Se voc est curioso para saber porqu o coeficiente a0 aparece dividido por 2, veja
a sequncia.)
Uma primeira observao, antes de prosseguirmos. O lado direito da igualdade
.B:8/ tem perodo 2L (note que no estamos dizendo que esse o perodo
fundamental daquela srie) e est definido para todo x. Assim, natural
considerarmos que a funo H esteja definida para todo x e tenha perodo 2L. Dito
de outra forma: suponhamos que H esteja definida num intervalo de comprimento
2L; estendemos ento H ao conjunto R, de modo que H tenha perodo 2L (de
novo, no se trata do perodo fundamental de H ).
Vamos continuar agindo formalmente, quer dizer, vamos pensar que nossas
operaes matemticas possam ser justificadas. Integrando de L a L, obtemos
Z L
Z
Z LX
1
a0 L
nx
nx
H .x/dx D
C bn sen
:
dx C
an cos
2
L
L
L
L
L
nD1
1
a0 D
L
H .x/dx:
(B.9)
i
i
B.2
281
Separao de Variveis
D 0; 8 m; n 2 N;
L; m D n 2 N;
D
0; m; n 2 N; m n:
L; m D n 2 N;
D
0; 8 m; n 2 N; m n:
(B.10)
Ah, agora justificamos a diviso de a0 por 2. Fazemos assim por mera questo
esttica, para que as expresses dos coeficientes sejam todas semelhantes...Aqui
cabe uma observao: a forma dos coeficientes an e bn implica a unicidade da srie
de Fourier de uma funo f , desde que a srie possa ser integrada termo a termo.
Isso vlido, por exemplo, se a funo f for contnua por partes. Veja, a esse
respeito, o Exerccio 7 e a Seo B.4.
Tudo isto est muito bom, mas uma dvida simples ainda no foi resolvida: as
sries aqui apresentadas dependem de senos e cossenos; por outro lado, as sries
em .B:6/ e .B:7/ dependem apenas de senos. Qual o significado disso?
i
i
282
Sries de Fourier
Ap. B
Uma simples verificao das igualdade .B:6/ e .B:7/ mostra que o lado direito
de cada uma dessas expresses define (supondo sempre que a srie convirja!) uma
funo mpar. Assim, as funes f e g daquelas igualdades devem ser funes
mpares! Como f e g s so dadas no intervalo 0; L, isso quer dizer que elas
foram estendidas ao intervalo L; L de modo a tornarem-se funes mpares.
O que podemos dizer sobre sries de Fourier de funes pares e mpares? o
que vamos responder agora.
No difcil verificar que o produto de duas funes pares uma funo par;
que o produto de uma funo par por uma funo mpar uma funo mpar; e
que o produto de duas funes mpares uma funo par. (Isso no parece com a
multiplicao no conjunto f 1; 1g?)
Alm disso, a integrao de uma funo mpar sobre L; L (ou, mais
geralmente, sobre qualquer intervalo de comprimento 2L) sempre nula, enquanto
a integrao de uma funo par sobre L; L (ou, mais geralmente, sobre qualquer
intervalo de comprimento 2L) igual a duas vezes o valor de sua integrao sobre
0; L.
H .x/ cos
nx
dx
L
H .x/sen
0
nx
dx:
L
i
i
B.4
Convergncia Quadrtica
283
i
i
284
Sries de Fourier
Ap. B
H .x/G.x/dx;
(B.13)
L
L
H .x/G.x/dx
H .x/2 dx
L
!1=2 Z
G.x/2 dx
L
!1=2
(B.14)
H .x/2 dx
L
!1=2
(B.15)
i
i
B.4
285
Convergncia Quadrtica
H
6
H SN
-
SN
(B.16)
kD1
i
i
286
Sries de Fourier
Ap. B
lim kSN
N !1
H k D lim
N !1
jH .x/
SN .x/j2 dx
D 0:
SN k2 D kH k2
kSN k2 ;
1
L
a20 X 2
C
.ak C bk2 /:
H .x/ dx D
2
L
kD1
i
i
B.4
287
Convergncia Quadrtica
por exemplo, [29]. Uma abordagem mais precisa, que constitui uma variao sobre
esse mtodo, pode ser encontrada em [?] e [20].)
Concluiremos a validade da identidade de Parseval na prxima Subseo.
Contudo, importante ressaltar um fato: todo o desenvolvimento que aqui
fizemos continua sendo vlido para funes em CP . L; L/. Assim, se H 2
CP . L; L/, vale
SN ! H em L
1
L
a2 X 2
H .x/ dx D 0 C
.ak C bk2 /:
2
L
kD1
i
i
288
Sries de Fourier
Ap. B
S.x/j < p ;
2L
x2R
!1=2
SN .x/
S.x/2 dx
L
L
p
2L
2
!1=2
dx
2
2L
dx
L
!1=2
D ;
ou seja,
lim kSN
N !1
Sk D 0;
i
i
B.5
289
Convergncia Uniforme
nx
dx
L
L
"
1 LH .x/
nx L
D
sen
L
n
L
1
an D
L
H .x/ cos
L
L
#
LH 0 .x/
nx
sen
dx D
n
L
L 0
b :
n n
Do mesmo modo,
bn D
L 0
a :
n n
Quer dizer,
1
nx
nx
a0 X
C
C bn sen
an cos
2
L
L
H D
nD1
implica
0
H D
1
X
nbn
nD1
cos
nx
L
nan
nx
sen
:
L
L
sup
t 2 L;L
jH .x/
SN .x/j < :
i
i
290
Sries de Fourier
Ap. B
X
nx
nx
L
L
nDN C1
X
nx
nx
C bn sen
an cos
L
L
nDN C1
s
2
2
M
M
q
X
X
L 0
L 0
2
2
a n C bn
b
a
C
n n
n n
nDN C1
nDN C1
M
q
L X 1
.bn0 /2 C .a0n /2 :
n
nDN C1
M
q
L X 1
.bn0 /2 C .a0n /2
n
nDN C1
!1=2
2 !1=2
q
M
M
X
X
1
L
.bn0 /2 C .a0n /2
n2
nDN C1
nDN C1
!
!1=2
1=2
M
M
X
X
L
1
D
.bn0 /2 C .a0n /2
:
n2
SM .x/j
nDN C1
nDN C1
P
0 2
0 2
Uma vez que a desigualdade de Bessel garante que a srie 1
nD1 .bn / C .an /
P1
limitada e uma vez que a srie nD1 .1=n2 / convergente, conclumos que a
sequncia SN uniformemente de Cauchy. Assim, SN converge uniformemente
para uma funo S.
Afirmamos que S D H , fato que mostraremos na Subseo B.7, quando
estudarmos a convergncia pontual da srie de Fourier. Com esse resultado,
conclumos a prova de nossa afirmao.
A convergncia uniforme da srie de Fourier pode ser provada sob condies
um pouco mais gerais: veja [?], p. 69.
i
i
B.6
291
H k < .
yj <
jH .x/
H .y/j < p
2.b
a/
i
i
292
Sries de Fourier
Ap. B
H .xj / H .x/
H .x/
H .xj
H .x/ H .x/
H .xj
1/
ou
1/
H .x/
H .x/ H .x/
H .xj /;
1 ; xj
para j 2 f2; : : : ; n
H .xj
1g, ento
H .xj /j < p
1 /j; jH .x/
2.b
a/
H .x/j 2K.
Logo,
kH
H k
j Dn 1 Z xj
X
j D2
C
2
xj
H .x/ dx C
x1
H .x/
H .x/2 dx
xn
H .x/
j D2
H .x/2 dx
j Dn 1
4
H .x/
.xj
2.b a/
2
.xn
2.b a/
xj
5 C 4K 2 .x1
1/
x1 / C .4K/2
a/ C .b
xn 1 /
2
C 8K 2 < 2 ;
2
ou seja,
kH
H k < ;
i
i
B.6
293
kSQN
H k < :
2
Por outro lado, sabemos que SQN uma combinao linear das funes
x
N x
N x
;
sen
;
:
:
:
;
cos
;
sen
, enquanto SN a melhor
do conjunto 1; cos x
L
L
L
L
aproximao de H (na norma quadrtica) no espao gerado por essas funes.
Logo, temos que
kSN H k kSQ N H k:
Portanto, se N N0 , ento
kSN
H k kSQ N
H k kSQN
H k C kH
Hk <
C D :
2 2
i
i
294
Sries de Fourier
Ap. B
1
C
L
Z
1
D
L
Z
1
D
L
L
L
H .y/dy C
N
X
nD1
1
L
H .y/ cos
L
nx
ny
dy cos
L
L
!
nx
ny
dysen
H .y/sen
L
L
L
#
"
N
L
nx
ny
nx
1 X
ny
C
cos
C sen
sen
dy
H .y/
cos
2
L
L
L
L
L
nD1
#
"
N
L
n.y x/
1 X
C
dy
cos
H .y/
2
L
L
nD1
ou seja,
1
SN .x/ D
L
em que
H .y/DN .y
x/dy
(B.17)
L
N
n
1 X
cos
DN ./ D C
2
L
(B.18)
nD1
o Ncleo de Dirichlet.
i
i
B.7
295
Convergncia Pontual
N
sen 2N2C1
1 X
C
:
cos.n / D
2
2sen .=2/
(B.19)
nD1
sen .b
a/;
obtemos
2sen .=2/ cos.n / D sen .n C =2/
sen .n
=2/
sen ..n
1/ C =2/
e, portanto,
2sen .=2/
N
X
nD1
cos.n / D
N
X
nD1
D sen .N C =2/
sen ..n
1/ C =2/
sen .=2/:
i
i
296
Sries de Fourier
Ap. B
Assim,
sen .=2/ C 2sen .=2/
N
X
nD1
(B.20)
i
i
B.7
297
Convergncia Pontual
e, como
1
L
1
H .x /DN ./d D H .x /
L
L
DN ./d
L
H .x /
;
2
0
L
H .x C /
H .x /DN ./d D 0:
(B.21)
i
i
298
Sries de Fourier
1
L
2
D
em que
sen
0
L
0
H .x C /
=2
H .x /
.2N C1/
2L
2sen . 2L
/
Ap. B
d
v./ D
H .x C
2L
/
2sen
H .x /
2
!0
H .x C
2L
/
2L
H .x /
2L
2sen
L
L
lim
D H 0 .x / :
D H 0 .x /
!0 sen
!0
H .x / H .x C /
H .x C / C H .x /
C
D
;
2
2
2
i
i
B.8
299
B.9
E XERCCIOS
i
i
300
Sries de Fourier
Ap. B
hf; gi D 0:
n!1
f .x/ cos
L
nx
L
dx D 0 D lim
n!1
n!1
b
a
n!1
f .x/sen
L
nx
L
dx:
f .x/sen .nx/dx:
Rb
7. Seja f 2 CP . L; L/. Justifique: a srie de Fourier de a f obtida da
srie de Fourier de f por meio de integrao termo a termo.
i
i
B.9
301
E XERCCIOS
(b) f0 2 CP a; bI
(c) kf
f k2 < :
1 0
ku kL2 :
i
i
C
O Lema de Zorn
C.1 Relaes de Ordem
Definio C.1 Seja X um conjunto no vazio qualquer. Dizemos que uma
relao de ordem parcial em X se,
.i / x x para todo x 2 X ;
.i i / se, para x; y; z 2 X , tivermos x y e y z, ento x z;
.i i i / se, para x; y 2 X , tivermos x y e y x, ento x D y.
Um conjunto X parcialmente ordenado um par .X; /, em que uma
ordem parcial em X . O conjunto X totalmente ordenado pela relao de ordem
parcial se, para quaisquer x; y 2 X for vlido
.i v/ x y ou y x.
Uma relao de ordem parcial em X no precisa relacionar quaisquer
elementos de um conjunto. Se todos os elementos de X estiverem relacionados
por , ento X totalmente ordenado.
Exemplo C.2 Seja X D f1; 2g e P.X / D ;; f1g; f2g o conjunto das partes de X ,
isto , o conjunto de todos os subconjuntos de X . Ento a incluso (de conjuntos)
uma ordem parcial em P.X /. Em geral, seja X um conjunto qualquer. Em
P.X /, a incluso relao de ordem parcial. Note que, se A; B P.X / forem
no vazios e A \ B D ;, ento no podemos comparar A e B por meio da relao
de incluso. Assim,1 P.X / no totalmente ordenado com .
1
302
i
i
i
C.1
303
Relaes de Ordem
8 y 2 A:
Note que a definio de cota superior exige que possamos relacionar a 2 X com
qualquer elemento y 2 A.
Exemplo C.6 Em P.X / D ;; f1g; f2g (veja o Exemplo C.2), tanto f1g como f2g
so cotas superiores de P.X /. Em A D f1g P.X /, ento f1g a nica cota
superior.
Exemplo C.7 Seja S um subconjunto arbitrrio de .P.X /; /. claro que a unio
de todos os elementos S uma cota superior para S, pois essa unio pertence a
P.X /. Por outro lado, qualquer outro conjunto em P.X / que contenha S tambm
outra cota superior para S.
Definio C.8 Seja .X; / um conjunto parcialmente ordenado. Um elemento
x 2 X maximal, se x y para algum y 2 X implicar x D y.
O elemento maximal no precisa ser o maior elemento do conjunto Z". Basta
que no exista um elemento maior do que ele!
Exemplo C.9 De volta ao Exemplo C.2, vemos que f1g e f2g so dois elementos
maximais de P.X / D ;; f1g; f2g com a relao de ordem parcial .
A prxima definio faz uso do Exemplo C.4:
i
i
304
O Lema de Zorn
Ap. C
Podemos agora enunciar o Lema de Zorn, que ser utilizado como se fosse um
axioma. Para a demonstrao desse resultado, bem como equivalncias e outras
implicaes, veja [13, 17].
Lema C.11 (Zorn)
Seja .X; / um conjunto no vazio parcialmente ordenado tal que toda cadeia
tenha cota superior. Ento X possui um elemento maximal.
O Lema de Zorn (que, na verdade, equivalente ao Axioma da
Escolha) encontra muitas aplicaes na Matemtica. Ele possibilita concluses
surpreendentes e at mesmo difceis de serem aceitas. Por outro lado, resultados
fundamentais da matemtica s foram mostrados por meio de sua utilizao: a
existncia de ideais maximais em um anel com unidade, o Teorema de HahnBanach.
Mostraremos como o Lema de Zorn utilizado para se mostrar que todo espao
de Hilbert possui uma base ortonormal.
Teorema C.12 (Existncia de base ortonormal)
Seja H f0g um espao de Hilbert. Se B0 for uma famlia ortonormal, ento
existe uma base ortonormal S para H, com B0 S.
Demonstrao: Uma vez que H f0g, existe x 2 H tal que fx=kxkg um
conjunto ortonormal. Assim, um espao de Hilbert no trivial sempre possui uma
famlia ortonormal. Definimos
M D fB W B0 B H; B famlia ortonormalg:
O conjunto M no vazio, pois B0 2 M. No conjunto M definimos:
B1 B2
B1 B2 :
Temos ento:
i
i
C.1
305
Relaes de Ordem
.a/ S0 2 M.
De fato, B0 B para todo B T . Assim, B0 S0 . claro que S0 H;
.b/ S0 uma famlia ortonormal. De fato, sejam x1 ; x2 2 S0 . Ento existem
conjuntos B1 e B2 em T tais x1 2 B1 e x2 2 B2 . Mas ento vale B1 B2 ou
B2 B1 . Suponhamos, portanto que x1 ; x2 2 B2 . Como B2 ortonormal,
hx1 ; x2 i D ij .
.c/ S0 uma cota superior para T , pois se B 2 T , ento B S0 , ou seja, B S0 .
Assim, de acordo com o Lema de Zorn, existe um elemento maximal S para
M. Esse conjunto uma famlia ortonormal. Afirmamos que ele uma base de
Schauder. De fato, se existisse 0 e ? e para todo e 2 S, podemos supor que
kek D 1 e ento S [ feg seria uma famlia ortonormal em H tal que S S [ feg,
o que contradiz o fato de S ser maximal. Assim, S uma base de Schauder, de
acordo com o Teorema 2.29.
2
Observao C.13 A demonstrao apresentada mostra mais do que o seu enunciado: provamos que todo espao com produto interno possui um conjunto
ortonormal maximal.
Mutatis mutandis, a demonstrao anterior tambm prova:
Teorema C.14 (Existncia de Base de Hamel)
Seja V f0g um espao vetorial sobre o corpo K e B0 um conjunto de
vetores linearmente independentes. Ento V possui uma base de Hamel BH tal
que B0 BH .
De fato, definindo a nica alterao essencial consiste em verificar que o
elemento maximal BH uma base de Hamel. Para isso, observe que, se x 62 BH ,
ento BH [ x linearmente dependente. Isso quer dizer que existem escalares
k; k1 ; : : : ; knx e vetores v1 ; : : : ; vnx tais que
kx C k1 v1 C : : : C knx vnx D 0:
Uma vez que k 0, da decorre que x combinao linear de vetores de BH ,
provando que esse conjunto gera V. Assim, BH uma base de Hamel.
i
i
306
O Lema de Zorn
Ap. C
i
i
C.2
307
i
i
i
i
Lista de Smbolos
corpos e conjuntos numricos: K; R; C; RC
espao gerado por um subconjunto < B >
espaos vetoriais `; R1; C1 ; K1
Rt; Ct; Kt
normas: kxk; kxks; kxk1
kxksup
espaos normados B.X; R/; B.X; C/; B.X; K/; `1; k k1 ; k.xn /k1
C 1 a; b; R ; C 1 a; b; C ; C k a; b; K ; C 0 a; b; K
topologia: Br .x/; B r .x/; Sr .x/
F c D F
W
convergncia xn ! x; lim xn D x
n!1
fn ! f uniformemente; fn f
outros: f 1 .x/ D f 1 fxg
1
2
3
3
4
14
5
6
6
6
7
7
13
10
309
i
i
i
i
i
Referncias Bibliogrficas
[1] N.I. Akhiezer e I.M. Glazman: Theory of Linear Operators in Hilbert Spaces,
Dover, New York, 1993.
[2] H.W. Alt: Lineare Funktionalanalysis, 2. Auflage, Springer, Berlin, 1992.
[3] G. Bachman e L. Narici: Functional analysis, Academic Press, New York,
1966.
[4] H. Brezis: Analyse fonctionelle - thorie et applications, Masson, Paris, 1983.
[5] H.P. Bueno: lgebra Linear, um segundo curso, SBM, Rio de Janeiro, 2006.
[6] E.A. Coddington e N. Levinson: Theory of ordinary differential equations,
McGraw-Hill, New York, 1955.
[7] L. Debnath e P. Mikusinski: Introduction to Hilbert spaces with applications,
Academic Press, Boston, 1990.
[8] K. Deimling: Nonlinear functional analysis, Springer-Verlag, Berlin, 1985.
[9] J. Dugundji: Topology, Allyn Bacon, Boston, 1966.
[10] D.G. de Figueiredo: Positive solutions of semilinear elliptic problems, Lecture
Notes in Mathematics 957 (1982), Springer-Verlag, Berlin, 34-87.
[11] L.C. Evans: Partial Differential Equations, Graduate Studies in Mathematics
v. 19, American Mathematical Society, Providence, Rhode Island, 1991.
[12] S. Goldberg: Unbounded Linear Operators, McGraw-Hill, New York, 1966.
[13] Halmos, Nave Set Theory. (CORRIGIR)
311
i
i
i
312
REFERNCIAS BIBLIOGRFICAS
[14] G. Helmberg: Introduction to Spectral Theory in Hilbert Space, NorthHolland, Amsterdam, 1969.
[15] C.S. Hnig: Anlise Funcional e o Problema de Sturm-Liouville, Ed. Edgard
Blcher-Ed. da USP, So Paulo, 1978.
[16] C.S. Hnig: Anlise Funcional e Aplicaes, IME-USP, So Paulo, 1970.
[17] C. A. Isnard e B. F. Svaiter: On Zorns Lemma, Informes de Matemtica 146,
Impa, Rio de Janeiro, 1997.
[18] L. Jantscher: Hilbertrume, Akademische Verlagsgesellschaft, Wiesbaden,
1977.
[19] A. N. Kolmogorov e S. V. Fomin: Elementos de la Teoria de Funciones y del
Analysis Funcional, Editorial Mir, Moscu, 1978.
[20] T.W. Krner: Fourier Analysis, Cambridge University Press, Cambridge,
1990.
[21] S. Lang: Real and Functional Analysis, 3rd. Edition, Springer-Verlag, New
York, 1993.
[22] P.D. Lax: Linear Algebra, Wiley-Interscience Publication, New York, 1997.
[23] P.D. Lax: Functional Analysis, Wiley-Interscience Publication, New York,
2002.
[24] E.L. Lima: Anlise no Espao Rn , Editora Universidade de Braslia/Editora
Edgar Blcher Ltda, 1970.
[25] E.L. Lima: Curso de Anlise, volume I, IMPA, Rio de Janeiro, 1976.
[26] E.L. Lima: Espaos Mtricos, IMPA, Rio de Janeiro, 1977.
[27] :M. Reed and B. Simon: Methods of Modern Mathematical Physics, v. 1,
Academic Press, New York, 1972.
[28] H. L. Royden: Real Analysis, 2nd. Edition, Macmillan Publishing Co., Inc.,
New York, 1968.
i
i
REFERNCIAS BIBLIOGRFICAS
313
de
Weierstrass,
[33] I. Stakgold: Greens Functions and Boundary Value Problems, Wiley, New
York, 1979.
[34] A.E. Taylor e Lay:
xxxxxxxxxxxxxxxxxxxxxx
Introduction
to
Functional
Analysis
i
i
i
i
ndice Remissivo
lgebra, 105
de Banach, 105
sequncia , 3
adjunta, 128, 147
anti-linearidade, 50
aplicao linear
completamente contnuo, 168
aplicao
aberta, 39, 157
bilinear, 44
conjugada-linear, 120
contnua, 8
contnua em um ponto, 8
diferencivel, 236
sesquilinear, 258
uniformemente contnua, 11
aplicao bilinear, 237
aplicao linear
adjunta, 128
adjunta de uma, 147
compacta, 168
complexificao de uma, 173
de posto finito, 168
densamente definida, 147
imagem de uma, 38
ncleo de uma, 38
nula, 124
auto-espao, 173
autofuno, 173
autovalor, 173
aproximado, 179
generalizado, 179
autovetor, 173
base de um espao vetorial
cannica do Kn , 3
de Hamel, 2
base ortonormal, 67
cannica do `2 , 69
bola aberta
em um espao normado, 6
bola fechada
em um espao normado, 6
Cantor
mtodo diagonal de, 27, 114, 169,
251
cardinalidade, 306
Cauchy-Schwarz
desigualdade de, 52
centro
de bolas e esferas, 6
cobertura aberta, 45
subcobertura, 45
finita, 45
codimenso, 88
315
i
i
i
316
coeficiente de Fourier, 57
coeficientes de Fourier, 281
de uma funo mpar, 282
de uma funo par, 282
combinao convexa, 116
complexificao
de um espao vetorial, 173
de um operador, 173
componente de um vetor, 57
condies de fronteira
peridicas, 202
separadas, 202
conjunto
aberto, 6
aberto em um subconjunto, 8
cardinalidade de um, 306
compacto, 10
completo, 16
contvel, 68
convexo, 34, 92
de medida nula, 32
equicontnuo, 24
equicontnuo em um ponto, 24
fechado, 6
fechado em um subconjunto, 8
limitado, 5
linearmente independente, 2
relativamente compacto, 10
separvel, 8
totalmente limitado, 25
totalmente ordenado, 302
uniformemente equicontnuo, 25
contrao, 47
convergncia fraca
NDICE REMISSIVO
i
i
NDICE REMISSIVO
mtrico, 38
normado, 4
completamento, 28
espao complexo, 2
espao de Banach, 16
espao invariante, 137
espao normado
bola aberta em um, 6
bola fechada em um, 6
completo, 16
conjunto aberto em um, 6
conjunto fechado em um, 6
conjunto limitado em um, 6
esfera em um, 6
espao real, 2
espao vetorial
base de um, 2
com produto hermitiano, 50
com produto interno, 49
complexificao de um, 173
complexo, 2
de dimenso finita, 2
de dimenso infinita, 2
hermitiano, 50
real, 2
unitrio, 50
espaos com produto interno
isometria de, 76
espaos vetoriais
isomorfos, 4
normados
homeomorfismo de, 18
expoentes conjugados, 33
317
famlia
ortogonal, 56
ortonormal, 56
fecho convexo, 116
forma, 260
auto-adjunta, 260
bilinear, 260
simtrica, 260
coerciva, 108
negativa semidefinida, 274
positiva definida, 264
positiva semidefinida, 264
quadrtica, 261
sesquilinear, 106
hermitiana, 260
frmula de Rodrigues, 85
funo
coerciva, 252
cncava, 34
contnua por partes, 283
convexa, 34
de Green, 208
generalizada, 223
de suporte compacto, 239
diferencivel no sentido
distribuies, 241
fracamente C 1 , 243
fracamente diferencivel, 241
peso, 108, 202
teste, 239
funcional linear
descontnuo, 103
das
Gram-Schmidt
i
i
318
NDICE REMISSIVO
processo de ortogonalizao, 68
Hilbert-Schmidt
operador de, 127, 141
hiperplano, 90
afim, 96
homeomorfismo, 18
identidade
de Lagrange, 221
de Parseval, 62, 65, 286
interpretao geomtrica, 287
validade da, 293
de polarizao, 53, 139, 262, 263
do paralelogramo, 54, 261, 268
imagem, 38
isometria, 76, 86
isomorfismo
entre espaos vetoriais, 4
da convergncia uniforme, 14
de uma forma, 106
de uma forma quadrtica, 269
euclidiana, 4
gerada pelo produto interno, 53, 268
induzida pela norma do Kn , 5
norma quadrtica, 284
normas
equivalentes, 19
habituais do Kn , 4
habituais do espao de dimenso
finita X , 5
operador
anti-hermitiano, 137
anti-simtrico, 137
auto-espao, 173
autofuno, 173
autovalor, 173
lema
autovetor, 173
da contrao, 47
complexificao de um, 173
lema de Zorn, 304
de Hilbert-Schimidt, 127
limite
de Hilbert-Schmidt, 141
de uma sequncia, 7
de multiplicao, 141
hermitiano, 137
mtodo
identidade, 124
de separao de variveis, 276
integral, 126, 141
mtodo diagonal de Cantor, 27, 114,
ncleo de um, 127
169, 251
normal, 137
Mazur
ortogonal, 137
teorema de, 116
positivo definido, 194
positivo semidefinido, 194
ncleo, 38
projeo, 161
ncleo de Dirichlet, 294, 296
norma, 4
ortogonal, 161
i
i
NDICE REMISSIVO
simtrico, 137
unitrio, 137
operador linear
valor regular, 173
ordem parcial
cota superior, 303
elemento maximal, 303
ortogonalidade, 51
Pitgoras
teorema de, 51
polinmio
de Bernstein, 89
polinmio trigonomtrico, 284
polinmios
de Laguerre, 85
de Legendre, 84
frmula de Rodrigues, 85
ponto isolado, 39
princpio
da limitao uniforme, 112
princpio da superposio, 279
problema
da corda vibrante, 275
problema de Sturm-Liouville, 202
auto-funo, 204
autovalor, 204
condies de fronteira
peridicas, 202
separadas, 202
forma homognea, 202
soluo, 202
processo de ortogonalizao de GramSchmidt, 68
319
produto
hermitiano, 50
interno, 49
identidade de polarizao, 53
produto interno, 264
cannico, 265
cannico do Kn , 50
produto interno em C. L; L/, 284
projeo, 161
de um vetor, 52
num vetor unitrio, 57
ortogonal, 161
projeo ortogonal, 98, 200
de um vetor sobre um subespao, 98
quociente de Rayleigh, 188
raio de bolas e esferas, 6
Rayleigh
quociente de, 188
relaes de ortogonalidade, 281
representao de um vetor em uma base,
5
resolvente
primeira identidade do, 197
segunda identidade do, 197
srie
absolutamente convergente, 46
convergente, 46
de Fourier
generalizada, 60
srie de Fourier, 283
convergncia em L2 , 293
convergncia pontual, 296
i
i
320
NDICE REMISSIVO
de Gram-Schmidt, 68
de Hahn-Banach, 120
de Hellinger-Tplitz, 152
de imerso de W01;2 0; 1 em
C 0 0; 1 , 246
de Lax-Milgram, 109
de limitao inferior dos autovalores
do problema Sturm-Liouville,
214
de Liouville, 207
de Mazur, 116
de Pitgoras, 51, 264
de Representao de Riesz, 100
de Riesz-Fischer, 62
de Riesz-Fischer generalizado, 81
de separao de Hahn-Banach, 96
de Sturm-Liouville, 216
do complementar ortogonal, 98
do grfico fechado, 157
do ponto de menor norma, 93
teorema
teorema de Fourier, 299
da aplicao aberta, 158
teorema de Pitgoras, 286
da base ortonormal, 65
da dimenso de um espao de topologia produto, 19
Hilbert, 306
valor regular
da extenso limitada, 42
de um operador, 173
da limitao uniforme, 112
vetor projeo, 52
de aproximao de Weierstra, 89
vetores
de Bolzano-Weierstra, 20
ortogonais, 51, 264
de caracterizao do ponto de menor
perpendiculares, 51, 264
norma, 94
de existncia de base de Hamel, 305
de existncia de base ortonormal,
304
de F. Riesz, 22
convergncia uniforme, 289
soma parcial, 285
semi-norma, 117
separao de variveis, 276
sequncia
convergente, 7
de Cauchy, 16
fracamente convergente, 110
limite de uma, 7
sistema
ortogonal, 56
ortonormal, 56
sistema ortonormal
maximal, 66
soluo
normalizada, 221
subespao
invariante, 137
i
i