Você está na página 1de 46

(MAIS UMA) INTRODUO AOS ESPAOS DE SOBOLEV

No se ho de admitir mais causas


das coisas naturais do que as que
no sejam ao mesmo tempo verdadeiras
e sucientes para explicar seus fenmenos.
Isaac Newton
SUMRIO
1 ESPAOS DE HILBERT 1
1.1 PRELIMINARES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 O ESPAO L
2
_
[a, b]
_
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 CONVEXIDADE E PRODUTO INTERNO . . . . . . . . . . . . . . . . . . . . . 7
1.3.1 Convexos e o Ponto de Menor Norma . . . . . . . . . . . . . . . . . 8
1.3.2 O Teorema de Separao de Hahn-Banach . . . . . . . . . . . . . . 10
1.3.3 Projeo Ortogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 O TEOREMA DE REPRESENTAO DE RIESZ . . . . . . . . . . . . . . . . . . 13
1.5 PRODUTO INTERNO E LINEARIDADE . . . . . . . . . . . . . . . . . . . . . . 16
1.6 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2 UM PROBLEMA NO-LINEAR 20
2.1 O LAGRANGEANO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2 FUNES TESTE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 UM ESPAO DE SOBOLEV: W
1,2
_
[0, 1]
_
. . . . . . . . . . . . . . . . . . . . . 26
2.4 O SUBESPAO W
1,2
0
_
[0, 1]
_
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 DE VOLTA AO LAGRANGEANO . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.6 PONTOS CRTICOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.7 EXERCCIOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
REFERNCIAS BIBLIOGRFICAS 39
NDICE REMISSIVO 41
iv
CAPTULO 1
ESPAOS DE HILBERT
1.1 PRELIMINARES
Para simplicar o enunciado de alguns resultados e tendo em vista o problema que
estudaremos no prximo captulo, neste texto trataremos apenas de espaos vetoriais
reais.
Comeamos, portanto, recordando a denio de um espao vetorial:
Denio 1.1 Um espao vetorial X sobre o R um conjunto cujos elementos (chamados
vetores) podem ser somados e multiplicados por escalares, isto , os elementos de R. Se
x, y, z X e , R, as seguintes propriedades devemser satisfeitas pela adio e multiplicao
por escalar:
(i) x + y X (fechamento);
(ii) (x + y) + z = x + (y + z) (associatividade);
(iii) x + y = y + x (comutatividade);
(iv) existe 0 X tal que x + 0 = x (elemento neutro);
(v) existe (x) X tal que x + (x) = 0 (inverso aditivo);
(vi) x X (fechamento);
(vii) (x) = ()x (associatividade);
(viii) (x + y) = x +y (distributividade);
(ix) ( +)x = x +x (distributividade);
(x) 1x = x (regra da unidade).
Denotaremos x + (y) simplesmente por x y.
1
2 CAPTULO 1. ESPAOS DE HILBERT
Denio 1.2 Sejam X um espao vetorial sobre R e B um subconjunto de X. Um elemento
x X combinao linear dos elementos de B se existir uma quantidade nita de vetores
x
1
, . . . , x
r
B e escalares
1
, . . . ,
r
K, tais que
x =
1
x
1
+ . . . +
r
x
r
. (1.1)
O conjunto de todas as combinaes lineares de elementos de B o espao gerado por B,
denotado por < B >.
Dizemos que B gera o espao X, se todo elemento x X for combinao linear de elementos
de B.
Se, ao tomarmos x = 0 na equao (1.1), s existir a soluo
1
= . . . =
r
= 0 para
quaisquer vetores x
1
, . . . , x
r
B e r N, dizemos que B linearmente independente.
Um conjunto B uma base de X (ou base de Hamel), se ele for linearmente independente e
gerar X.
O espao vetorial X tem dimenso nita, se existir uma base B com um nmero nito de
elementos. Caso contrrio, ele tem dimenso innita.
fcil vericar que, qualquer que seja o conjunto B ,= , < B > sempre um
espao vetorial. Quando B gera o espao X, o nmero r N de elementos x
i
B
utilizados numa combinao linear de elementos de B pode variar. Se B for uma base,
cada elemento x X escreve-se de maneira nica como combinao linear de elementos
de B. (Veja o Exerccio 1.) Salientamos que uma base B no precisa ser um conjunto
enumervel.
Pode-se vericar que, no caso de um espao vetorial de dimenso nita, todas as
bases tm o mesmo nmero de elementos; esse nmero comum chamado ento de
dimenso do espao X.
Em princpio, os espaos que consideraremos neste texto so espaos de funes.
Isso signica que quase todos os nossos exemplos sero espaos vetoriais de dimenso
innita. Nesses espaos, muitas vezes a estrutura algbrica insuciente para a
obteno de resultados fortes, sendo necessria a insero de uma estrutura topolgica.
A estrutura que consideraremos introduzida por um produto interno, cuja denio
agora recordamos:
Denio 1.3 Seja X um espao vetorial sobre o corpo R. Um produto interno em X uma
funo , ) : X X R satisfazendo as seguintes propriedades:
(i) u, v) = v, u);
(ii) u +v, w) = u, w) +v, w);
(iii) u, u) 0 e u, u) = 0 se, e somente se, u = 0.
Um espao vetorial X com um produto interno ser chamado espao com produto interno.
Exemplo 1.4 Para todo n N, n 1, o espao R
n
um espao com produto interno
denindo-se
x, y) =
n

i=1
x
i
y
i
= (y
1
. . . y
n
)
_
_
_
x
1
.
.
.
x
n
_
_
_
= y
t
x = x
t
y,
1.1. PRELIMINARES 3
em que x
t
denota a transposta de x. Em um curso de lgebra Linear, so estudados
diversos produtos internos emR
n
.
Exemplo 1.5 Consideremos o conjunto
2
, das sequncias emR de quadrado somvel:

2
=
_
x = (x
n
)
nN
:

n=0
x
2
n
<
_
.
Nesse espao, denimos a soma de seqncias e a multiplicao de uma seqncia
por um escalar por
x + y = (x
n
+ y
n
) e x = (x
n
).
Em
2
, denimos o produto interno x, y) =

(x
n
), (y
n
)
_
=

n=0
x
n
y
n
. (A
desigualdade [x
n
y
n
[ (1/2)
_
[x
n
[
2
+ [y
n
[
2

garante que a srie absolutamente


convergente). A vericao que , ) um produto interno no espao vetorial
2

simples.
Exemplo 1.6 Consideremos o espao vetorial das funes contnuas f : [a, b] R com
a soma f + g e a multiplicao por escalar f denidas por ( f + g)(x) = f (x) + g(x) e
(f )(x) = f (x), respectivamente. Nesse espao, denimos
f , g) =
_
b
a
f (x)g(x) dx.
imediato vericar que , ) um produto interno. Com esse produto interno, o
espao das funes contnuas f : [a, b] R ser denotado por C
L
2
_
[a, b], R
_
. Veja mais
na Seo 1.2.
Denio 1.7 Seja X um espao vetorial sobre o corpo R. Uma norma em X uma funo
| |: X R
+
que satisfaz
(i) |x| = [[ |x| para todo x X e todo R;
(ii) |x + y| |x| +|y| para quaisquer x, y X (desigualdade triangular);
(iii) |x| = 0 x = 0.
Um espao normado um espao vetorial X considerado com uma norma | |. Para
ressaltarmos a norma | | utilizada no espao X, algumas vezes empregaremos a notao
_
X, | |
_
.
Todo espao com produto interno , de maneira natural, um espao normado. o
que mostraremos na sequncia.
Denio 1.8 Sejam u, v vetores do espao com produto interno E. Dizemos que esses vetores
so ortogonais (ou perpendiculares), se u, v) = 0. Nesse caso, escrevemos u v.
Abusando da notao, denotaremos |u| = u, u)
1/2
.
4 CAPTULO 1. ESPAOS DE HILBERT
Teorema 1.9 (Pitgoras)
Seja E um espao com produto interno e |u| = u, u)
1/2
. Ento, u v se, e somente se,
|u + v|
2
= |u|
2
+|v|
2
.
Demonstrao: Como
u + v, u + v) = |u|
2
+2 u, v) +|v|
2
,
vemos que |u + v|
2
= |u|
2
+|v|
2
se, e somente se, u v. 2
Se u, v E forem dois vetores linearmente independentes (com u ,= v para todo
R), ento podemos escrever o vetor v como a soma de dois vetores: v = u + w, em
que w ortogonal a u. De fato, como devemos ter w = v u, basta mostrar que existe
R tal que v u, u) = 0. Essa equao pode ser resolvida facilmente:
v u, u) = 0 =
v, u)
|u|
2
R.
(Note que |u| = 0 implica u = 0v e os vetores u e v so linearmente dependentes.)
O vetor u =
v,u)
|u|
2
u a projeo ortogonal do vetor v sobre o vetor u.
- -

6
proj
v
u
w
v
u
Figura 1.1: O vetor proj
v
u = (u, v)/|v|
2
)v a projeo ortogonal do vetor u no vetor
no-nulo v.
Proposio 1.10 (Desigualdade de Cauchy-Schwarz)
Seja E um espao com produto interno. Ento, denotando |u| = u, u)
1/2
, para todos
u, v E vale:
[u, v)[ |u| |v|.
A igualdade apenas ocorre quando u = v.
Demonstrao: A prova que apresentaremos bem geomtrica.
1
Se u = v, ento [u, v)[ = [[ v, v) = [[ |v|
2
= |u| |v|. Se u ,= v, j vimos que
R tal que [v u, u)[ = 0 para = v, u)/|u|
2
. Pelo Teorema de Pitgoras, temos
|x|
2
< |y|
2
.
1
Outra demonstrao sugerida no Exerccio 4.
1.1. PRELIMINARES 5
Substituindo o valor de , obtemos
[v, u)[
2
|u|
4
|u|
2
< |v|
2
,
e a desigualdade (estrita) de Cauchy-Schwarz segue-se imediatamente da, pois v, u) =
u, v). 2
Agora mostramos que todo espao com produto interno um espao normado:
Proposio 1.11 Todo espao com produto interno E tem uma norma denida por |u| =
u, u)
1/2
. Dizemos que essa norma gerada pelo produto interno.
Demonstrao: A primeira propriedade de norma decorre imediatamente da denio
do produto interno. Alm disso,
|u|
2
= u, u) =
2
u, u) = [[
2
|u|
2
.
Finalmente,
|u + v|
2
= u + v, u + v) = |u|
2
+ 2u, v) +|v|
2
|u|
2
+2 [u, v)[ +|v|
2
|u|
2
+2|u| |v| +|v|
2
= (|u| +|v|)
2
2
Denio 1.12 Sejam X um espao normado e (x
n
) uma sequncia em X. Dizemos que a
sequncia (x
n
) converge a x X, ou que x o limite da sequncia (x
n
), denotado por x
n
x
ou lim
n
x
n
= x, se, para todo > 0 dado, existir n
0
N tal que n n
0
implica |x
n
x| < .
Equivalentemente,
x
n
x |x
n
x| 0.
Assim, a convergncia em um espao normado o mesmo que a convergncia da sequncia
numrica
_
|x
n
x|
_
.
Uma seqncia (x
n
) num espao normado X de Cauchy se, para todo > 0 dado, existir
n
0
N tal que
m, n n
0
|x
m
x
n
| < .
fcil vericar que toda seqncia convergente de Cauchy. Por outro lado, existem
seqncias de Cauchy em um espao normado que no so convergentes. Se todas as
seqncias de Cauchy em um espao normado X forem convergentes, dizemos que X
completo.
Algumas vezes, um espao vetorial X espao normado com diferentes escolhas de
normas (uma situao em que isso ocorre ser apresentada no Captulo 2). Cada uma
dessas normas dene, em princpio, diferentes topologias, isto , diferentes conceitos
do que seja um conjunto aberto.
2
Pode ser importante saber se um conjunto aberto em
uma topologia tambm aberto na outra topologia. o que agora tratamos.
2
Um conjunto A X aberto se, para todo x
0
A, existir > 0 tal que B

(x
0
) A, em que
B

(x
0
) = x X : |x x
0
| < a bola aberta de centro em x
0
e raio > 0.
6 CAPTULO 1. ESPAOS DE HILBERT
Denio 1.13 Duas normas | |
0
e | |
1
num espao X so equivalentes, se a aplicao
identidade I : (X, | |
0
) (X, | |
1
) for um homeomorsmo. Em outras palavras, quando
existirem constantes > 0 e > 0 de modo que
|x|
0
< |x|
1
|x|
0
.
Resulta dessa denio que uma bola aberta na topologia gerada pela norma | |
0

um conjunto aberto na topologia gerada pela norma | |
1
, e vice-versa. Assim, as duas
topologias denem os mesmos conjuntos abertos e as mesmas seqncias de Cauchy.
Se um espao normado for completo, dizemos que ele um espao de Banach. Por sua
vez, se esse espao de Banach tiver sua norma gerada por um produto interno, dizemos
que ele um espao de Hilbert. Os espaos R
n
e
2
so espaos de Hilbert, mas pode-se
mostrar que o espao C
L
2
_
[a, b], R
_
veja o Exemplo 1.6 no um espao de Hilbert.
Proposio 1.14 Seja (X, | |) um espao normado. Se a norma | | for gerada por um
produto interno ento ela satisz a identidade do paralelogramo:
|x + y|
2
+|x y|
2
= 2
_
|x|
2
+|y|
2
_
, x, y X. (1.2)
Demonstrao: Basta desenvolver o lado esquerdo de (1.2). 2
Pode-se mostrar que a recproca da Proposio 1.14 tambm vlida: veja [6].
Mas, e se o espao normado X no for completo? Um resultado clssico garante que
todo espao normado X pode ser completado, isto , existem um espao normado
completo

X e uma aplicao isomtrica i : X

X de forma que i(X) denso em

X. Quer
dizer, o espao X denso no espao

X e elementos de X preservam sua norma.
3
Para
detalhes (e um enunciado mais preciso), veja [6]. Contudo, esse espao

X (chamado
completamento do espao X) denido como sendo um espao cujos elementos so
seqncias de Cauchy. Por conseguinte, o completamento do espao C
L
2
_
[a, b]
_
no
, em princpio, um espao de funes. Trataremos dessa questo com um pouco mais
de detalhamento.
1.2 O ESPAO L
2
_
[a, b]
_
Seja C
_
[a, b], R
_
o espao vetorial das funes contnuas f : [a, b] R.
Nesse conjunto, denimos a norma
4
|f |
L
1 =
_
b
a
[ f (x)[dx.
Denotamos por C
L
1
_
[a, b], R
_
o espao vetorial C
_
[a, b], R
_
com a norma | |
L
1.
Uma vez que esse espao no completo (veja o Exerccio 5), consideramos o seu
3
O exemplo bsico acontece comQ e seu completamento, que R.
4
A integral denota a integral de Riemann dos cursos de Clculo.
1.3. CONVEXIDADE E PRODUTO INTERNO 7
completamento com a norma | |
L
1. Esse espao completo ser denotado por L
1
_
[a, b]
_
ou, simplesmente, L
1
. O conjunto C
L
1
_
[a, b], R
_
denso no espao L
1
.
Pode-se mostrar que o conjunto L
1
constitudo por (classes de equivalncia) de
funes f : [a, b] K, com a identicao f = g, se f e g diferem apenas num conjunto
de medida nula,
5
denotado por f = g qtp. (Veja [26, 27, 34].)
Da mesma forma que acontece na passagem dos racionais para os reais, as funes
em L
1
que podemos integrar explicitamente so basicamente aquelas que integrvamos
nos cursos de Clculo.
6
Aimportncia do espao L
1
deve-se riqueza de suas operaes
com limites, apresentadas em um curso de integrao.
Uma vez construdo o espao L
1
, podemos construir outros espaos normados
completos por meio de uma modicao da norma | |
L
1. Para os nossos propsitos, o
mais importante deles o espao de Hilbert L
2
= L
2
_
[a, b]
_
.
Para f C
_
[a, b], R
_
, denimos
|f |
L
2 =
_
_
b
a
[ f (x)[
2
dx
_
1/2
.
Observe que a norma | |
L
2 gerada pelo produto interno no espao C
L
2
_
[a, b]
_
, de
acordo com o Exemplo 1.6:
f , g) =
_
b
a
f (x)g(x)dx =
_
b
a
f g.
O espao L
2
o completamento do espao C
L
2
_
[a, b]
_
com a norma gerada por esse
produto interno. Assim, C
L
2
_
[a, b]
_
denso em L
2
. Note que f L
2
se, e somente se,
[ f [
2
L
1
. Assim, duas funes em L
2
so iguais se diferem apenas em um conjunto de
medida nula. Pode-se mostrar (veja [6]) que L
2
um espao separvel, isto , possui um
conjunto enumervel denso.
1.3 CONVEXIDADE E PRODUTO INTERNO
Relembramos que um subconjunto C de um espao vetorial V convexo se, para
todos x, y C e [0, 1], tivermos
x + (1 )y C.
5
Um conjunto U [a, b] tem medida nula se, dado > 0, existe uma coleo enumervel de intervalos
abertos de raio
i
(isto , do tipo (c
i
, c +
i
)) que cobre o conjunto U e tem comprimento total
menor ou igual a . O exemplo bsico o conjunto Q dos racionais em [0, 1]: tome uma enumerao
q
1
, . . . , q
n
, . . . desses racionais, considere os intervalos (q
i
/2
i
, q
i
+ /2
i
), que cobrem Q. A soma
total dos comprimentos desses intervalos justamente , mostrando que Q tem medida nula.
6
Note que s operamos explicitamente com nmeros racionais; a soma

2 + representa um nmero
real com uma srie de propriedades:

2 + = +

2, tem inverso, possui raiz n-sima, pode ser


aproximado por racionais etc Mas a soma

2 + no pode ser, na prtica, efetuada...


8 CAPTULO 1. ESPAOS DE HILBERT
1.3.1 Convexos e o Ponto de Menor Norma
Lema 1.15 (Ponto de Menor Norma)
Seja C um conjunto convexo e completo de um espao com produto interno E. Ento existe
um nico ponto x
0
C tal que, para todo x C,
|x
0
| |x|.
Note que, se E for um espao de Hilbert, basta supor que C seja um subconjunto
fechado e convexo.
Demonstrao: A demonstrao bem geomtrica e decorre da identidade do para-
lelogramo. Seja = inf
xC
|x|.
Pela denio de , existe uma seqncia (x
n
) em C tal que |x
n
| . Armamos
que (x
n
) de Cauchy. De fato, da identidade do paralelogramo decorre que
|x
n
x
m
|
2
= 2|x
n
|
2
+2|x
m
|
2
|x
n
+ x
m
|
2
.
Uma vez que C convexo, temos que (x
n
+ x
m
)/2 C. Logo |(x
n
+ x
m
)/2| ,
isto ,
|x
n
+ x
m
|
2
4
2
.

x
n
x
m
x
n
Cx
m
2

\
\
\`
-
-
-

x
n
x
m
x
n
Cx
m
2
Figura 1.2: Se os pontos a
m
e a
n
da seqncia (a
n
) no se aproximarem um do outro
para m e n sucientemente grandes, o ponto
a
n
+a
m
2
caria dentro do crculo de raio .
Portanto, temos
|x
n
x
m
|
2
2|x
n
|
2
+2|x
m
|
2
4
2
. (1.3)
Quando m, n tendem para innito, |x
n
| e |x
m
| . Assim, (x
n
) de Cauchy,
como armado.
Como C completo, existe x
0
C tal que x
n
x
0
; assim, = lim
n
|x
n
| = |x
0
|.
Mas a desigualdade (1.3) tambm prova a unicidade do ponto de menor norma: se
x
0
, x
0
C forem tais que |x
0
| = = | x
0
|, ento |x
0
x
0
|
2
= 2
2
+ 2
2
4
2
= 0,
mostrando que x
0
= x
0
. 2
Note que o produto interno no aparece explicitamente na demonstrao apre-
sentada: ele foi substitudo pela identidade do paralelogramo.
Uma conseqncia imediata do Lema 1.15 que podemos minimizar a distncia de
um convexo completo C a qualquer ponto y E. Isto , xado y E, existe um nico
ponto x
0
C tal que
|y x
0
| |y x|, x C. (1.4)
1.3. CONVEXIDADE E PRODUTO INTERNO 9
Mostraremos esse fato e, ao mesmo tempo, forneceremos uma descrio alternativa,
freqentemente til, do ponto x
0
. (Note que, tomando y = 0, estamos caracterizando o
ponto de menor norma de um conjunto convexo e completo.)
Teorema 1.16 (Caracterizao do Ponto de Menor Norma)
Seja C um conjunto convexo e completo de um espao com produto interno E. Ento, para
todo y E, existe um nico ponto x
0
C tal que
|y x
0
| |y x|, x C.
Esse ponto x
0
caracterizado por
y x
0
, x x
0
) 0, x C.
Demonstrao: Para garantir a existncia de x
0
, basta considerar o conjunto (convexo
e completo) C
0
= C y e encontrar o ponto x
1
C
0
de menor norma (veja o Exerccio
15). Ento, x
0
= x
1
+ y o ponto procurado.
Passemos caracterizao de x
0
. Tome x C arbitrrio. Como C convexo, o
segmento tx + (1 t)x
0
C para todo 0 t 1. Portanto,
|y x
0
| |y (tx + (1 t)x
0
)| = |(y x
0
) + t(x
0
x)|.
Elevando essa desigualdade ao quadrado, obtemos
y x
0
, y x
0
)

(y x
0
) + t(x
0
x), (y x
0
) + t(x
0
x)
_
= y x
0
, y x
0
) + 2t y x
0
, x
0
x) + t
2
x
0
x, x
0
x). (1.5)
Consequentemente,
y x
0
, x x
0
)
t
2
|x
0
x|
2
.
Passando ao limite com t tendendo a zero, obtemos a desigualdade desejada.
Reciprocamente, suponhamos que y x
0
, x x
0
) 0 para todo x C. Ento
|y x|
2
= |y x
0
+ x
0
x|
2
= |y x
0
|
2
+2 y x
0
, x
0
x) +|x
0
x|
2
|x
0
x|
2
,
pois todos os termos considerados so no-negativos. 2
O Lema 1.15 e o Teorema 1.16 no so vlidos em espaos de Banach. Veja os
Exerccios 16 e 17. A denio de um espao de Banach uniformemente convexo (veja
[20]) resgata essa importante propriedade de espaos de Hilbert.
10 CAPTULO 1. ESPAOS DE HILBERT
?
y x
0
p
p


p
x
0
x x
0
C
Figura 1.3: O ponto x
0
do conjunto convexo completo C mais prximo de y
caracterizado por y x
0
, x x
0
) 0, x C.
1.3.2 O Teorema de Separao de Hahn-Banach
Fazendo um ligeiro desvio com respeito nossa trajetria, mostraremos agora um
resultado clssico da Anlise Funcional, que proporcionar uma interpretao mais
completa do Teorema 1.16. Para formulaes mais gerais do Teorema de Separao de
Hahn-Banach veja, por exemplo, [5] ou [28].
Teorema 1.17 (Teorema de Separao de Hahn-Banach)
Seja C um subconjunto convexo e completo do espao com produto interno E. Se y , C,
ento existe um funcional linear contnuo f : E R tal que
f (x) < f (y), x C.
Demonstrao: De acordo com o Teorema 1.16, existe um nico ponto x
0
C tal que
|y x
0
| |y x| para todo x C. Esse ponto x
0
caracterizado por
x x
0
, y x
0
) 0, x C,
ou seja,
x, y x
0
) x
0
, y x
0
) x C. (1.6)
Denimos o funcional contnuo f : E R por f (x) = x, y x
0
) e = x
0
, y x
0
).
A desigualdade (1.6) expressa que
f (x) = y, y x
0
) +x
0
y, y x
0
)
= f (y) |y x
0
|
2
< f (y),
a ltima desigualdade sendo verdadeira porque |y x
0
| ,= 0, j que y , C. 2
Note que o valor atingido no ponto x
0
.
Observao 1.18 Podemos inverter as desigualdades satisfeitas por f . De fato,
tomando g = f , obtemos
g(y) < g(x), x C,
sendo = .
1.3. CONVEXIDADE E PRODUTO INTERNO 11
Denio 1.19 Seja 1 um espao vetorial arbitrrio. Um hiperplano H um subespao
vetorial de codimenso 1, isto , existe x
0
1 tal que
1 = H < x
0
> .
Relembramos um fato bsico da lgebra Linear:
Proposio 1.20 Seja 1 um espao vetorial arbitrrio e g: 1 R um funcional linear no-
nulo. Ento ker g = x 1 : g(x) = 0 um hiperplano.
Demonstrao: Como g no nulo, existe x
0
1 tal que g(x
0
) ,= 0. Supondo que
v = x + x
0
ker f < x
0
>, temos g(v) = g(x + x
0
) = g(x
0
), de modo que
x = v x
0
= v
_
g(v)/g(x
0
)
_
x
0
. Assim, para todo v 1,
v =
_
v
g(v)
g(x
0
)
x
0
_
+ g(v)x
0
ker g < x
0
> .
2
Assim, temos a seguinte interpretao geomtrica do Teorema de Separao de
Hahn-Banach: dados um conjunto convexo e completo C do espao com produto
interno E e um ponto y , C, o funcional linear contnuo g: E R dado por
g(x) = x x
0
, y x
0
) dene o hiperplano ker g, ao qual pertence x
0
. O conjunto C
est contido emx : g(x) 0, enquanto y , C est contido emx : g(x) > 0.
1.3.3 Projeo Ortogonal
Retornemos situao do Teorema 1.16 num caso particular: vamos considerar o
caso em que C um subespao completo do espao com produto interno E. Armamos
que o ponto x
0
C mais prximo de y E, caracterizado por
y x
0
C

.
(Em particular, vale y x
0
, x
0
) = 0.) Por esse motivo, o ponto x
0
chamado projeo
ortogonal de y no espao C.
De fato, se y x
0
, C

, existiria w C tal que y x


0
, w) ,= 0. Podemos supor que
|w| = 1. Temos que
_
(y x
0
) y x
0
, w)w, w
_
= y x
0
, w) |w|
2
y x
0
, w) = 0.
Assim, de acordo com o Teorema de Pitgoras,
|y x
0
|
2
=
_
_
(y x
0
) y x
0
, w)w +y x
0
, w)w
_
_
2
=
_
_
(y x
0
) y x
0
, w)w
_
_
2
+
_
_
y x
0
, w)w
_
_
>
_
_
(y x
0
) y x
0
, w)w
_
_
2
.
Isto prova que o elemento x
0
+y x
0
, w)w C est mais prximo de y do que x
0
,
uma contradio.
12 CAPTULO 1. ESPAOS DE HILBERT

q
x
0
q
y
F
Figura 1.4: O ponto x
0
pertencente ao subespao completo F mais prximo de y
caracterizado por (y x
0
) F.
Ressaltamos o resultado demonstrado:
Teorema 1.21 Seja F um subespao completo do espao com produto interno E. Ento, dado
y E, o ponto x
0
F mais prximo de y caracterizado por
(y x
0
) F

.
Uma demonstrao alternativa desse resultado pode ser obtida diretamente do
Teorema 1.16. Basta notar que a desigualdade (1.5) garante que
0 2t y x
0
, x
0
x) + t
2
|x
0
x|
2
t R e x F.
o que s possvel se y x
0
, x
0
x) = 0 para todo x F. Isso quer dizer que
y x
0
, w) = 0 para todo w F, e prova o resultado.
Relembramos que, dados F, G subespaos do espao vetorial X, denotamos por
F + G o conjunto y + z : y F, z G. fcil vericar que F + G um subespao de
X. Se, adicionalmente, todo elemento x E puder ser escrito de maneira nica como
y + z F + G, denotamos F + G por F G. (Veja o Exerccio 6.)
Teorema 1.22 (Complemento Ortogonal de um Subespao)
Seja F um subespao completo do espao com produto interno E. Ento
E = F F

e y E pode ser escrito como x +z, em que x F o elemento de F mais prximo de y e z F

.
Alm disso, as aplicaes
1
: E F e
2
: E F

, denidas por
1
y = x F e
2
y = z,
respectivamente, so lineares e contnuas. (Os elementos x =
1
y e z =
2
y so denominados
projeo ortogonal de y sobre F e de y sobre F

, respectivamente.)
Demonstrao: Se x denotar o elemento de F mais prximo de y (cuja existncia
garantida pelo fato de F ser completo), ento y = x + (y x). O Teorema 1.21 garante
que y x F

e a unicidade da representao de y decorre de F F

= 0.
1.4. O TEOREMA DE REPRESENTAO DE RIESZ 13
Para y E, denotemos
1
y = x e
2
y = w F

. Isto , estamos escrevendo


y = x + w, com x F e w F

, como y =
1
y +
2
y. Assim,
y
1
+y
2
=
1
(y
1
+y
2
) +
2
(y
1
+y
2
)
y
1
=
1
y
1
+
2
y
1
y
2
=
1
y
2
+
2
y
2
Subtraindo da primeira equao a segunda e a terceira, conclumos que

1
(y
1
+y
2
)
1
y
1

1
y
2
=
2
y
1
+
2
y
2

2
(y
1
+y
2
).
Como o lado esquerdo dessa igualdade est em F e o lado direito em F

, ambos so
nulos. Isso prova a linearidade das aplicaes
1
e
2
. Finalmente, do Teorema
de Pitgoras vem que |y|
2
= |
1
y|
2
+ |
2
y|
2
. Isso mostra que |
1
y| |y| e
|
y
| |y|, provando que
1
e
2
so contnuas. 2
Observao 1.23 Note que, dado y E e F E subespao completo, sempre existe o
ponto de F

mais prximo de y: ele o ponto y x


F
. Se E no for de Hilbert, mas F for
completo, ento o subespao F

no completo (veja o Exerccio 21). Relembramos que


F

sempre um subespao fechado. (Veja o Exerccio 7.) Nesse caso, temos uma soma
direta F F

= G, mas pode ser que G ,= E.

1.4 O TEOREMA DE REPRESENTAO DE RIESZ


Lema 1.24 Sejam E um espao com produto interno e f : E Kum funcional linear no-nulo.
Se f for descontnuo, ento ker f denso em E. O funcional f contnuo se, e somente se, ker f
for fechado.
Demonstrao: Suponhamos que f seja descontnuo. Se z , ker f , a Proposio 1.20
garante que ker f um hiperplano, de modo que
x = y +z ker f < z > .
A descontinuidade de f garante a existncia de uma seqncia (x
n
) em E tal que
[ f (x
n
)[ > n|x
n
|. Temos que x
n
= y
n
+
n
z ker f < z > e f (x
n
) =
n
f (z), de modo
que [
n
[ [ f (z)[ n|y
n
+
n
z|. Dividindo por
n
,= 0, obtemos
|z
1
n
(y
n
)|
[ f (z)[
n
,
provando que z aproximado por elementos em ker f . Assim, ker f denso em E.
Se f for contnuo, claramente ker f fechado. 2
Note que o produto interno no foi utilizado na demonstrao, que contnua vlida
para qualquer espao normado.
14 CAPTULO 1. ESPAOS DE HILBERT
Fixado y E, f
y
(x) = x, y) um funcional linear contnuo (como conseqncia
da desigualdade de Cauchy-Schwarz). Em outras palavras, cada elemento y do espao
com produto interno E induz um elemento f
y
E

. Se E for um espao de Hilbert, vale


a recproca; mais precisamente:
Teorema 1.25 (de Representao de Riesz)
Sejam H um espao de Hilbert e f um elemento do espao dual H

, isto , um funcional
linear contnuo f : H K. Ento existe um nico elemento y H tal que
f (x) = x, y), x H.
Alm disso, a aplicao f y uma isometria.
Demonstrao: Se f for identicamente nula, basta tomar y = 0. Caso contrrio,
ker f = x H : f (x) = 0 um hiperplano fechado e, portanto, completo. Logo,
H = ker f (ker f )

,
de acordo com o Teorema 1.22. Como ker f tem codimenso 1, (ker f )

= < x
0
>, em
que x
0
foi escolhido de forma que f (x
0
) = 1.
Temos que
x = (x f (x)x
0
) + f (x)x
0
ker f < x
0
> . (1.7)
Ora, o funcional g: H K denido por
g(x) = x, x
0
)
nulo em ker f e g(x
0
) = |x
0
|
2
,= 0. De (1.7) decorre que
g(x) = g
_
f (x)x
0
_
= f (x)g(x
0
) = f (x)|x
0
|
2
e, portanto,
f (x) =
g(x)
|x
0
|
2
=
x, x
0
)
|x
0
|
2
= x, y) ,
sendo
y :=
x
0
|x
0
|
2
.
A unicidade de y bvia: se tivermos x, y
1
) = x, y) para todo x H, ento
x, y y
1
) = 0 para todo x H, de onde conclumos que y = y
1
ao tomarmos
x = y y
1
.
Finalmente,
|f | = sup
|x|=1
[ f (x)[ = sup
|x|=1

x, y)

sup
|x|=1
|x| |y| = |y|.
Por outro lado,
|y|
2
= y, y) = [ f (y)[ |f | |y|.
Assim, |f | = |y|. 2
1.4. O TEOREMA DE REPRESENTAO DE RIESZ 15
Observao 1.26 A essncia da demonstrao do Teorema de Representao de Riesz
consiste na igualdade (1.7), que nos mostra que
x = (x f (x)x
0
) + f (x)x
0
ker f (ker f )

e reduz a arbitrariedade na escolha do elemento x


0
na demonstrao da Proposio 1.20.
Observe que, em particular, a demonstrao do Teorema de Representao de Riesz
mostra que, se dois funcionais se anulam no mesmo hiperplano, ento um mltiplo
do outro.
Exemplo 1.27 Consideremos o espao de Hilbert L
2
_
[a, b]
_
e um funcional linear
contnuo : L
2
_
[a, b]
_
K. O Teorema de Representao de Riesz garante a existncia
de uma nica funo g L
2
_
[a, b]
_
tal que, para todo f L
2
_
[a, b]
_
, temos
( f ) =
_
b
a
f (x)g(x)dx.

Exemplo 1.28 Seja f :


2
Kumfuncional linear contnuo. Se x = (x
i
)
2
, o Teorema
de Representao de Riesz garante a existncia de uma seqncia (a
i
)
2
tal que
f (x) =

(x
i
), (a
i
)
_
=

i=1
x
i
a
i
.

Exemplo 1.29 As hipteses do Teorema de Riesz so necessrias; para vericarmos esse


fato, basta considerarmos duas espcies de contra-exemplos.
O primeiro deles acontece quanto trabalhamos em um espao com produto interno
E, que no completo, e um funcional linear contnuo f : E K. Consideremos o
espao E =
0
de todas as seqncia (x
i
) com x
i
= 0 exceto talvez para umnmero nito
de ndices. Claramente
0
um subespao do espao de Hilbert
2
e, dessa maneira, um
espao com produto interno.
Consideremos a base ortonormal o = e
1
, . . . , e
n
, . . . do espao
2
. Dado x
0
,
temos que existe m = m(x) N tal que x = x
1
e
1
+ . . . + x
m
e
m
. Assim, o uma base de
Hamel do espao
0
.
Consideremos f :
0
K denido por
f (x) = f (x
1
e
1
+ . . . + x
m
e
m
) = x
1
+
x
2
2
+ . . . +
x
m
m
.
A desigualdade de Hlder garante que o funcional f contnuo. Suponhamos a
existncia de v
0
tal que f (x) = x, v) para todo x
0
. Como f (e
i
) = 1/i
para todo i N, temos que 1/i = f (e
i
) = e
i
, v) para todo i N. Isso implicaria
v = (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 contra-exemplo
muito simples: consideramos
2
e g:
2
K dado por g(x) = x, v). 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 : H K for um funcional linear descontnuo, ento nunca poderemos ter
f (x) = x, x
0
) para todo x H, pois x, x
0
) sempre dene umfuncional linear contnuo.
Mas existem funcionais lineares que no so contnuos em um espao de Hilbert? A
resposta sim, mas no exemplicaremos aqui esse fato. (Veja [6].)
16 CAPTULO 1. ESPAOS DE HILBERT
Complementando o Exemplo 1.29, vericamos que o Teorema de Representao de
Riesz caracteriza os espaos de Hilbert:
Teorema 1.30 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 entre E e E

. Como E

sempre completo, E completo. 2


Assim, se E for um espao com produto interno que no completo, existe um
funcional linear contnuo f : E K tal que f ,= f
y
para todo y H, em que
f
y
: E K dado por f
y
(x) = x, y). Como ker f tem codimenso 1, isso quer dizer
que (ker f )

= 0.
Exemplo 1.31 Vamos mostrar que, em um espao com produto interno E que no
completo, sempre existem subespaos fechados F tais que F F

,= E.
Assim, supondo que E que no seja completo, consideremos um funcional linear
contnuo f : E K, ou seja, um elemento de E

. Como vimos, existe f E

tal que
(ker f )

= 0. Sejam F = ker f . Como f no identicamente nulo,


7
F um subespao
prprio de E. Como F

= 0, temos E ,= F F

.
1.5 PRODUTO INTERNO E LINEARIDADE
Sejam E, F espaos com produto interno. Como sabemos, o espao L(E, F) de todas
as aplicaes lineares contnuas T: E F um espao normado com a norma
|T| = sup
|x|=1
|Tx|.
Da decorre imediatamente que |Tx| |T| |x| para todo x E. Assim, se S
L(F, G) (em que G um espao normado), ento |STx| |S| |Tx| |S| |T| |x|, de
modo que
|ST| |S| |T|.
Em particular, se F = G = E, temos que L(E) = L(E, E) uma lgebra normada.
Se E for completo, ento L(E) completo; por esse motivo, L(E) chamado lgebra de
Banach.
Lema 1.32 Seja E um espao com produto interno e T L(E). Ento
(i) |x| = sup
|y|=1
[x, y)[;
(ii) |T| = sup
|x|=1=|y|
[Tx, y)[.
7
claro que o Teorema de Representao de Riesz vale para o funcional linear f 0.
1.6. EXERCCIOS 17
Demonstrao: Para provar (i), notamos que

x, y)

|x| |y| |x|, se |y| = 1. A


igualdade vericada ao tomarmos y = x/|x|.
Aplicando esse resultado, obtemos
|T| = sup
|x|=1
|Tx| = sup
|x|=1=|y|

Tx, y)

.
2
1.6 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 X escreve-se de maneira
nica como combinao linear de elementos de B.
2. Sejam E um espao com produto interno e | | a norma gerada por seu produto
interno. Mostre que | |
2
uma funo convexa.
3. Mostre que a norma | |
sup
em C
_
[a, b], K
_
no gerada por um produto interno.
4. Seja E um espao com o produto interno , ). Demonstre a desigualdade de
Cauchy-Schwarz da seguinte maneira: para x, y E, desenvolva a expresso
0 x ty, x ty). Escolhendo = x, y), obtenha um trinmio do segundo
grau com coecientes reais. Analise esse trinmio e obtenha a desigualdade de
Cauchy-Schwarz.
5. Mostre que o espao C
L
1
_
[a, b], R
_
das funes contnuas f : [a, b] R com a
norma | |
L
1 no completo. Mostre tambm que C
L
2
_
[a, b], R
_
com a norma
| |
L
2 no completo.
6. Se F, G forem subespaos do espao vetorial X, mostre que F + G um subespao
de X. Mostre que todo elemento x E pode ser escrito de maneira nica como
y + z F + G se, e somente se, F G = 0.
7. Seja B ,= um subconjunto do espao E com produto interno. Mostre que B


um subespao fechado de E.
8. Mostre que o espao
2
separvel.
9. Demonstre, por contradio, que se o espao com produto interno E for separvel,
ento qualquer conjunto ortonormal em E , necessariamente, enumervel. Para
isso, calcule |x

| c > 0 para elementos ,= em A e considere as bolas


B
c/2
(x

).
10. Seja H um espao de Hilbert separvel e F H um subespao fechado. Mostre
que F um espao de Hilbert separvel.
11. Seja f : E F uma bijeo linear entre os espaos com produto interno E
e F. Ento f um isomorsmo se, e somente se, for uma isometria, isto ,
|x|
1
= |f (x)|
2
para todo x E.
18 CAPTULO 1. ESPAOS DE HILBERT
12. Ocubo de Hilbert o conjunto dos pontos x = (x
1
, . . . , x
n
, . . .)
2
tais que x
i
1/i.
Mostre que o cubo de Hilbert um conjunto compacto.
13. Seja B uma bola (aberta ou fechada) em um espao de Banach X. Mostre que B
um conjunto convexo.
14. Sejam E um espao com produto interno e | | a norma por ele gerada. Mostre
que | |
2
uma funo convexa.
15. 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-norma
8
em E, ento, para todo r 0, os conjuntos
x E : p(x) r e x E : p(x) < r
so convexos.
16. Considere o espao de Banach X = R
2
com |(x, y)| = max[x[, [y[. Mostre que
X no satisfaz o Lema 1.15.
17. Emumespao de Banach X, d exemplo de umconjunto convexo e fechado C X
e um ponto x , C tal que no existe y C satisfazendo |x y| |x z| para
todo z C.
18. Seja E um espao com produto interno E e M um subespao. D um exemplo em
que M fechado, M ,= M

e E ,= M M

. (Compare com o Exerccio 20.)


19. Seja F um subespao completo do espao com produto interno E. Se F ,= E, mostre
que existe 0 ,= y F

.
20. (ORTOGONALIDADE C PRODUTO INTERNO) Seja E um espao com produto
interno e R, S E subconjuntos arbitrrios. Mostre:
(a) S

um subespao fechado de E;
(b) R S implica S

;
(c) S

= (< S >)

;
(d) S S

0 e S S

= 0, se 0 S;
(e) (S

=: S

= S

;
(f) S S

:= (S

;
(g) se S for um subespao fechado do espao de Hilbert H, ento S = S

.
(h) se S for um subconjunto qualquer de um espao de Hilbert H, ento S

=
< S >.
8
Uma semi-norma uma funo no-negativa p que satisfaz as propriedades (i) e (ii) da Denio
1.7.
1.6. EXERCCIOS 19
21. Seja E um espao com produto interno e F um subespao completo de E. Mostre
que F

no completo.
22. Seja F um subespao completo do espao com produto interno E e G = z + F,
em que z E um elemento xo. Ento o elemento x
0
G de menor norma
caracterizado por
x
0
F

.
23. Considere o espao C
L
2 ([0, ], R) e seu subespao R
2
[t]. Considere o funcional
linear : R
2
[t] R dado por
(p) = p(t), sen t).
Ache q R
2
[t] tal que
(p) = p(t), q(t)) p R
2
[t].
24. Seja F H um subespao fechado do espao de Hilbert H. Seja f : F K um
funcional linear contnuo. Mostre que existe um funcional linear

f : H K que
estende f , com |

f | = |f |. Esse resultado pode ser generalizado para espaos
de Banach (chama-se Teorema de Hahn-Banach), mas a demonstrao ento no
trivial.
CAPTULO 2
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 C
2
(0, 1) C
0
_
[0, 1]
_
para a equao
no-linear
u
//
= f (u), t (0, 1)
u(0) = u(1) = 0,
(2.1)
em que f : R R uma funo contnua. Outras hipteses sobre f sero acrescentadas
quando necessrias.
Uma soluo u(t) do problema (2.1) pode ser interpretada como sendo uma funo
que descreve a posio (em funo do tempo) de uma partcula de massa unitria que
se move em linha reta sob a ao de uma fora externa f que depende unicamente
1
da
posio u(t). Assim, a equao u
//
= f (u) nada mais do que a expresso da 2a. lei de
Newton. O sinal negativo quer dizer que a fora f se ope ao movimento da partcula,
como no caso da lei de Hooke. Os valores de u nos pontos de fronteira 0 e 1 nos dizem
que a partcula saiu da origem com uma certa velocidade que permite o seu retorno ao
ponto inicial exatamente quando t = 1. No garantida que tal velocidade exista, isto ,
no sabemos a priori se o problema (2.1) possui soluo. Comcertas hipteses adicionais
sobre a fora f mostraremos que existe pelo menos uma soluo desse problema.
Mas a funo diferencivel u(t) descreve no apenas a trajetria da partcula, mas
todo o seu movimento: a velocidade u
/
(t) e a acelerao u
//
(t) em cada instante t. No
nos interessa apenas a descrio das sucessivas posies ocupadas pela partcula, mas
tambm o tempo de permanncia em cada ponto. (Por exemplo, a partcula poderia
car parada durante certo intervalo de tempo e ento reiniciar o movimento.)
2.1 O LAGRANGEANO
Desde os primrdios da Fsica, acreditou-se que o universo regido por princpios
bsicos. Tudo comeou com Euclides em seu livro intitulado Catoptrica (teoria
especular). Nesta obra ele prova que o caminho percorrido pela luz que reetida
1
Uma fora externa que dependesse simultaneamente do tempo t e da posio u(t) seria representada
por f (t, u(t)).
20
2.1. O LAGRANGEANO 21
em um espelho tem o ngulo de incidncia igual ao ngulo de reexo. Da, Heron de
Alexandria demonstra que o caminho percorrido pela luz ao ir de um ponto P a um
outro ponto Q com reexo no espelho o menor entre todos os outros caminhos que
saem do ponto P, fazem uma reexo no espelho e atingem o ponto Q. Se o meio for
homogneo, ento a velocidade da luz constante. Portanto, ela percorre o caminho
que leva o menor tempo. Heron aplicou esse princpio do menor caminho ou do tempo
mnimo a problemas de reexo em espelhos esfricos convexos e cncavos. Com base
nesses problemas de reexo, os lsofos e cientistas do perodo ps-grego estenderam
esse princpio de otimizao e propuseram a doutrina de que a natureza age da melhor
maneira possvel, quer dizer, a natureza no faz nada supruo nem qualquer trabalho
desnecessrio. Leonardo da Vinci acreditava que a natureza era econmica e que sua
economia era quantitativa. No sculo XVII, Fermat postulou o Princpio do Tempo
Mnimo e a partir dele deduziu a lei da refrao da luz.
No incio do sculo XVIII, uma enorme quantidade de exemplos mostrava que
a natureza de fato empreende a otimizao de algumas quantidades importantes.
Os exemplos sugeriam que deveria haver algum princpio mais geral, ou seja, toda
dinmica aconteceria na otimizao quantitativa de algo (tempo, distncia, trabalho,
energia, etc); restava encontrar esse algo.
A procura por esse princpio geral foi empreendida por Maupertuis (1698-1759),
que props em 1744 seu famoso Princpio da Ao Mnima. De acordo com esse
princpio, qualquer dinmica na natureza deve minimizar o que Maupertuis chamou
de Ao, a saber, a quantidade de movimento vezes a distncia percorrida. Em termos
matemticos,
= 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
=
_
mvds.
A quantidade universal a ser otimizada era a Ao, assim pensava Maupertuis.
Euler, no mesmo ano de 1744, reformulou a denio de Ao introduzindo a
varivel temporal. Como ds = vdt, substituindo essa expresso na denio da ao,
obteve
(t) =
_
mv
2
dt.
A quantidade mv
2
era chamada, na poca de Euler, de fora viva. Depois, por questo
de compatibilidade com as leis de Newton e com a conservao da energia, (1/2)mv
2
,
metade da fora viva, passou a se chamar energia cintica da massa m, denotada por
/(t) quando expressa em termos do tempo t. No caso do problema (2.1), como u(t) a
funo que descreve a posio da partcula em funo do tempo t, temos
/(t) =
1
2
[u
/
(t)]
2
=
1
2
[u
/
(t)[
2
.
22 CAPTULO 2. UM PROBLEMA NO-LINEAR
Euler ento faz uso de sua idia original do clculo das variaes. Considera o
movimento de uma partcula se movendo ao longo de todas as curvas em um plano
unindo dois pontos xos. Para cada trajetria u(t) est associada a Ao da partcula.
Assim, a Ao entendida como um funcional denido no espao de todas as curvas
planas que ligam esses dois pontos xos. Assim, ele consegue denir, ainda que
seja de uma maneira um tanto vaga, a taxa de variao de um funcional. Com uma
frase lapidar, Euler estabelece a extenso do conceito de ponto de mnimo do clculo
a espaos funcionais: a Ao ser mnima exatamente na curva em que sua taxa de
variao for nula, ou seja, na curva que faz o papel de ponto estacionrio. Por analogia,
podemos dizer que nesse percurso estacionrio a velocidade da Ao nula, velocidade
entendida aqui como taxa de variao da quantidade denominada Ao com referncia
a mudanas de caminhos, que so os objetos do espao funcional em questo. Em
termos matemticos, Euler procurava a trajetria u(t) tal que
/(u) =
1
2
[u
/
(t)[
2
fosse mnimo.
As idias de Euler foram aprimoradas por Lagrange, que generalizou o princpio de
modo a ser aplicado a um maior nmero de problemas dinmicos. Deniu a Ao
associada a uma trajetria como sendo a soma da energia cintica efetiva em cada
instante do percurso. Para Lagrange, energia cintica efetiva nada mais do que a
energia cintica subtrada de toda energia potencial. Podemos chamar isso de energia
atual de uma partcula, visto que sua energia virtual (potencial) foi suprimida. Em
termos mais precisos, a energia atual, que denotaremos por L, seria dada por
L(t) = /(t) |(t),
em que |(t) a energia potencial da massa m. Essa energia atual L(t) chamada de
lagrangiano. Portanto, a Ao associada a uma trajetria u(t), no sentido de Lagrange,
a soma do lagrangiano da partcula em cada instante do percurso:
(t) =
_
Ldt.
Aplicando a idia do clculo de variaes, procuramos encontrar a trajetria u(t) da
partcula que minimize a ao que lhe associada:
(u) =
_
L(u(t))dt.
dessa forma que o Princpio da Ao Mnima ser utilizado no estudo de (2.1).
Por sua vez, a energia potencial da partcula no instante t denida como sendo o
simtrico da integral da fora externa aplicada ao sistema. Assim,
|(t) =
_
t
0
[f (s)]ds. (2.2)
(Note que o sinal negativo dentro da integral decorre da equao (2.1).)
2.1. O LAGRANGEANO 23
Decorre dessa denio que estamos considerando a origem como um nvel em que
a energia potencial nula. H duas razes para o sinal negativo (externo integral)
na denio da energia potencial |(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 denida 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 denida 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
(u) =
_
L(t)dt.
Como t [0, 1], encontrar pontos crticos do funcional
(u) =
_
1
0
/(u(t))dt
_
1
0
|(u(t))dt
=
1
2
_
1
0
[u
/
(t)[
2
dt
_
1
0
F(u(t))dt
em que F(x) =
_
x
0
f (s)ds. (Note o cancelamento dos dois sinais negativos em (2.2).)
Toda a nossa ateno ser dedicada a : desde a denio de umdomnio apropriado
at o estudo de condies que garantam a existncia de pontos crticos para esse
funcional. Veremos que todo ponto crtico de soluo de (2.1) e vice-versa (veja
o Teorema 2.22). Assim, pontos de mximo, de mnimo ou de sela sero todos soluo
de (2.1).
Para isso, comeamos relembrando alguns resultados bsicos:
Denio 2.1 Sejam X e Y espaos de Banach reais. Uma aplicao g: U X Y
diferencivel no aberto U se, dado > 0, para todo x U existem 0 < = (x) e uma
aplicao linear T = T(x) L(X, Y) de modo que
2
|g(x + h) g(x) T h| < |h| sempre que |h| < . (2.3)
Nesse caso, denota-se a derivada T da funo g no ponto x por Dg(x).
Exemplo 2.2 Sejam X, Y espaos de Banach. Toda aplicao linear contnua S: X Y
diferencivel e DS(x) = S. De fato,
|S (x + h) S x S h| = 0 para todos x, h X.
Assim, qualquer que seja > 0, a condio de diferenciabilidade cumprida por S.
2
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.
24 CAPTULO 2. UM PROBLEMA NO-LINEAR
Exemplo 2.3 Uma aplicao B: X X Y bilinear, se for linear em cada uma das
variveis, a outra sendo mantida xa:
B(x
1
+x
2
, y
1
) = B(x
1
, y
1
) +B(x
2
, y
1
) e B(x
1
, y
1
+ y
2
) = B(x
1
, y
1
) + B(x
1
, y
2
),
para quaisquer x
1
, x
2
, y
1
, y
2
X e , R.
Toda aplicao bilinear contnua diferencivel, pois
_
_
B(x + h, y + k) B(x, y) [B(x, k) + B(h, y)]
_
_
= |B(h, k)|
para todos x, y, h, k 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) + B(h, y), basta vericar que
|B(h, k)| satisfaz a condio de diferenciabilidade (2.3), isto , dado > 0, existe > 0
tal que
|B(h, k)| |(h, k)|, se |(h, k)| < .
De fato, a continuidade de B garante que [B(h, k)[ c|h| |k|. Assim, considerando
|(h, k)| = max|h|, |k|,
|B(h, k)|
|(h, k)|
c min|h|, |k|,
que pode ser feito menor do que qualquer > 0 dado.
Umproduto interno emumespao de Hilbert real uma aplicao bilinear contnua.
Assim, se B = , ), temos que
Dx, y)(h, k) = h, y) +x, k).

Como j dissemos, nossa primeiro objetivo no estudo do funcional ser a


apresentao de um espao de Banach X no qual esse funcional esteja bem denido. Em
outras palavras, precisamos que [u
/
(t)[
2
e F(u(t)) sejam funes integrveis. A primeira
integral sugere que tenhamos u
/
L
2
. Mas no basta exigir que u C
1
, pois sabemos
que o espao C
1
L
2
(das funes de classe C
1
com a norma L
2
) no completo. Alm disso,
claro, precisamos ter que : X R seja diferencivel.
Para encontrar esse espao de Banach, comeamos por introduzir um espao que,
em ltima instncia, implicar um novo entendimento do que uma funo.
2.2 FUNES TESTE
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) = x
2
+ 1, por exemplo.
A dinmica da atuao dessa funo ento descrita pelo seu grco.
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,
2.2. FUNES TESTE 25
obtemos valores reais, em geral via integrao. Isso o que acontece, por exemplo,
na teoria de sries de Fourier: o conjunto 1, cos x, sen x, cos 2x, sen2x, . . . gera, para
m N e para a funo f (peridica, de perodo 2), os valores reais
a
0
=
1

f (x)dx, a
m
=
1

f (x) cos mx dx e b
m
=
1

f (x) sen mx dx,


os coecientes de Fourier de f . O Teorema de Riesz-Fischer (veja [6]) garante que, para
uma grande classe de funes f , podemos recuperar a funo f se conhecermos os
valores desses coecientes.
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

com
suporte compacto e denir o espao das funes teste.
Denio 2.4 Dizemos que uma funo f : (0, 1) R tem suporte compacto se existir um
intervalo [a, b] (0, 1) tal que supp f [a, b], em que
supp f : = x (0, 1) : f (x) ,= 0.
Denotamos por C

0
(0, 1) o espao de todas as funes reais C

com suporte compacto.


Os elementos de C

0
(0, 1) so chamados funes teste.
O espao C

0
(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 [30].
Note que as funes C

0
(0, 1) estendem-se naturalmente a funes de classe C

denidas em toda a reta, ao denirmos seu valor como nulo para todo x , (0, 1). Essa
extenso ser, muitas vezes, identicada com a funo .
Observao 2.5 O espao C

0
(0, 1) denso em C
L
2
_
[0, 1], R
_
. De fato, pelo Teorema
de Aproximao de Weierstra, toda funo contnua g: [0, 1] R pode ser
uniformemente aproximada por um polinmio p, isto , dado > 0,
[g(t) p(t)[ < t [0, 1].
Seja agora C

0
(0, 1) uma funo teste tal que (t) = 1 para todo t [, 1 ]
e (t) = 0 para todo t [0, /2] [1 /2, 1]. (Com uma pequena modicao, tal
funo construda explicitamente em [23], p. 433.)
Com isso, a funo p C

0
(0, 1) e
_
_
1
0
[g p[
2
dt
_
2
k

,
em que k uma constante. Isso mostra o armado.
Mas podemos concluir algo mais: como o espao das funes contnuas f : [0, 1] R
coma norma L
2
denso em L
2
:= L
2
_
[0, 1]
_
(veja a Seo 1.2), conclumos que C

0
_
[0, 1]
_
denso em L
2
.
26 CAPTULO 2. UM PROBLEMA NO-LINEAR
claro que a derivada de uma funo teste continua sendo uma funo teste. Mas, o
que acontece se integrarmos uma funo teste? A primitiva continua sendo uma funo
teste?
Lema 2.6 Uma funo C

0
(0, 1) tem primitiva C

0
(0, 1) se, e somente se,
_
1
0
= 0.
Demonstrao: Se
/
= , ento
_
1
0
=
_
1
0

/
= (1) (0) = 0.
Reciprocamente, suponhamos que
_
1
0
= 0. Dena (t) =
_
t
0
(s)ds. Se t
[0, a] [b, 1] ento (t) = 0. Assim, C

0
(0, 1). Claramente a primitiva de .
2
Proposio 2.7 Seja
1
C

0
(0, 1) tal que
_
1
0

1
= 1. Seja
M :=
_
C

0
(0, 1) :
_
1
0
= 0
_
.
Ento M um hiperplano; mais precisamente, vale a decomposio algbrica
3
C

0
(0, 1) = M <
1
>, (2.4)
sendo <
1
> o espao unidimensional de mltiplos de
1
.
Demonstrao: Para qualquer C

0
_
[0, 1]
_
temos que = (
1
) +
1
.
Escolhendo =
_
1
0
, temos que
1
M, provando (2.4). 2
Observe que, como M o ncleo do funcional
_
1
0
, o resultado anterior no
passa de uma concretizao da Proposio 1.20.
2.3 UM ESPAO DE SOBOLEV: W
1,2
_
[0, 1]
_
Denio 2.8 Seja u L
2
. Dizemos que u fracamente diferencivel ou diferencivel
no sentido das distribuies, se existir v L
2
tal que
_
1
0
u
/
=
_
1
0
v, C

0
(0, 1).
Nesse caso, dizemos que v derivada fraca ou derivada generalizada de u e escrevemos
v = u
/
, mantendo a mesma notao utilizada para a derivada tradicional.
3
Com isso estamos querendo dizer que estamos decompondo um espao vetorial como soma direta
de dois subespaos, sem considerar qualquer topologia no espao vetorial.
2.3. UM ESPAO DE SOBOLEV: W
1,2
_
[0, 1]
_
27
Na notao v = u
/
estamos admitindo a unicidade da derivada fraca, fato que agora
mostraremos:
Lema 2.9 A derivada fraca de u L
2
, se existir, nica.
Demonstrao: Suponhamos que

_
1
0
u
/
=
_
1
0
v =
_
1
0
w, C

0
(0, 1).
Ento
_
1
0
(v w) = 0, C

0
(0, 1). (2.5)
A igualdade signica que (v w) ortogonal (em L
2
) a toda funo C

0
(0, 1) L
2
.
Como C

0
(0, 1) denso em L
2
, isso implica que v w ortogonal a qualquer funo de
L
2
. Assim, v w = 0 em L
2
, ou seja, v = w (veja tambm o Exerccio 1). 2
Mostraremos posteriormente que a derivada de uma funo (no sentido tradicional),
quando existir, coincide com sua derivada fraca. (Veja a demonstrao da Proposio
2.13.)
Denimos ento o conjunto W
1,2
_
[0, 1]
_
como o subconjunto de todas as funes
u L
2
que possuem derivada fraca. fcil ver que W
1,2
_
[0, 1]
_
um subespao de L
2
,
algumas vezes denotado por H
1
_
[0, 1]
_
. Em W
1,2
_
[0, 1]
_
denimos a norma
|u|
1
= |u|
L
2 +|u
/
|
L
2,
que gerada pelo produto interno
u, v)
1
= u, v) +u
/
, v
/
),
em que , ) denota o produto interno em L
2
.
Note que | |
L
2 j uma norma em W
1,2
_
[0, 1]
_
, mas com essa norma esse espao
no completo (veja o Exerccio 2). A denio dada tem a seguinte motivao:
Teorema 2.10 O espao (W
1,2
_
[0, 1]
_
, | |
1
) um espao de Hilbert.
Demonstrao: Seja (u
n
) uma seqncia de Cauchy em W
1,2
_
[0, 1]
_
. Ento, (u
n
) e (u
/
n
)
so seqncias de Cauchy em L
2
. Assim, existem funes u L
2
e g L
2
tais que
u
n
u e u
/
n
g em L
2
.
Por denio, temos que
_
1
0
u
n

/
=
_
1
0
u
/
n
, C

0
_
[0, 1]
_
.
Tomando o limite quando n , decorre da desigualdade de Cauchy-Schwarz (veja o
Exerccio 5) que
_
1
0
u
/
=
_
1
0
g. (2.6)
28 CAPTULO 2. UM PROBLEMA NO-LINEAR
Assim, u W
1,2
_
[0, 1]
_
e do Lema 2.9 segue que u
/
= g, com u
n
u em W
1,2
_
[0, 1]
_
.
Como | |
1
gerada por um produto interno, o resultado est provado. 2
Se uma funo denida em um intervalo tem derivada (tradicional) nula, ento ela
constante. Esse resultado tambm possui generalizao para derivadas no sentido
fraco.
Lema 2.11 Seja f L
2
. Suponhamos que
_
1
0
f
/
= 0 C

0
(0, 1).
Ento existe uma constante c tal que f = c em L
2
.
Demonstrao: A Proposio 2.7 garante que, para todo C

0
(0, 1), podemos
escrever = +
1
, sendo M = C

0
(0, 1) :
_
1
0
= 0,
1
C

0
(0, 1)
tal que
_
1
0

1
= 1 e =
_
1
0
. Portanto,
_
1
0
f =
_
1
0
f +
_
1
0
f
1
=
_
_
1
0

_
_
1
0
f
1
= c
_
1
0
,
sendo c =
_
1
0
f
1
. (Temos que
_
1
0
f = 0. De fato, como
_
1
0
= 0, decorre do Lema 2.6
que =
/
para algum C

0
. Assim,
_
1
0
f =
_
1
0
f
/
= 0.)
Logo,
_
1
0
( f c) = 0 C

0
(0, 1).
Da decorre, como na demonstrao do Lema 2.9, que f = c qtp. 2
Denio 2.12 Uma funo u W
1,2
_
[0, 1]
_
fracamente C
1
se sua derivada fraca u
/
estiver
em C
0
_
[0, 1]
_
.
O prximo resultado fornece um mtodo para se determinar se os elementos de
W
1,2
_
[0, 1]
_
esto em C
1
_
[0, 1]
_
.
Proposio 2.13 Uma funo u W
1,2
_
[0, 1]
_
de classe C
1
se, e somente se, u for fracamente
C
1
.
Demonstrao: Suponhamos que u C
1
_
[0, 1]
_
. Como u
/
contnua, podemos integrar
por partes:
_
1
0
u
/
= u

1
0

_
1
0
u
/
=
_
1
0
u
/
.
Assim, a derivada fraca de u justamente u
/
.
Suponhamos agora que u W
1,2
_
[0, 1]
_
seja tal que u
/
C
0
_
[0, 1]
_
. Aplicando o
Teorema Fundamental do Clculo, dena w C
1
_
[0, 1]
_
por
w(t) =
_
t
0
u
/
(s)ds.
2.4. O SUBESPAO W
1,2
0
_
[0, 1]
_
29
Uma vez que
_
1
0
u
/
=
_
1
0
u
/
para todo C

0
(0, 1), temos
_
1
0
w
/
=
_
1
0
w
/
=
_
1
0
u
/
=
_
1
0
u
/
.
Assim,
_
1
0
(u w)
/
= 0 C

0
(0, 1).
Decorre do Lema 2.11 que existe uma constante c tal que u w = c qtp. Assim,
u = w + c qtp. Isso mostra que existe um representante C
1
na classe da funo u. 2
2.4 O SUBESPAO W
1,2
0
_
[0, 1]
_
Uma vez que C

0
(0, 1) um subespao de W
1,2
_
[0, 1]
_
, faz sentido tomar o fecho
desse subespao em W
1,2
_
[0, 1]
_
:
Denio 2.14 Denimos W
1,2
0
_
[0, 1]
_
como o fecho de C

0
(0, 1) em W
1,2
_
[0, 1]
_
.
Note que W
1,2
0
_
[0, 1]
_
, por denio, completo. Em princpio, poderia ser que
W
1,2
0
_
[0, 1]
_
= W
1,2
_
[0, 1]
_
. Veremos que isso no acontece.
Proposio 2.15 (Desigualdade de Poincar)
Para toda funo u W
1,2
0
_
[0, 1]
_
vale
|u|
L
2 |u
/
|
L
2.
Demonstrao: Seja C

0
(0, 1). Comeamos relacionando as normas em L
2
de e
/
.
Decorre da desigualdade de Cauchy-Schwarz que
[(t)[ = [(t) (0)[ =

_
t
0

/
(s)ds


_
_
1
0
1
2
ds
_
1/2
_
_
1
0
[
/
[
2
ds
_
1/2
= |
/
|
L
2.
Assim,
||
L
2 =
_
_
1
0
[(t)[
2
dt
_
1/2

_
_
1
0
|
/
|
2
L
2
dt
_
1/2
= |
/
|
L
2.
Se u W
1,2
0
_
[0, 1]
_
, existe uma seqncia
n
C

0
(0, 1) tal que
n
u e
/
n
u
/
,
ambas as convergncias em L
2
. Obtemos o armado ao tomar o limite n na
desigualdade
|
n
|
L
2 |
/
n
|
L
2.
2
30 CAPTULO 2. UM PROBLEMA NO-LINEAR
Podemos deduzir da desigualdade de Poincar que W
1,2
_
[0, 1]
_
,= W
1,2
0
_
[0, 1]
_
. (Veja
o Exerccio 6).
A desigualdade de Poincar nos garante que, para todo u W
1,2
0
_
[0, 1]
_
vale
|u
/
|
L
2 |u|
L
2 +|u
/
|
L
2 2|u
/
|
L
2,
o que mostra a equivalncia da norma | |
1
com a norma | |
0
, assim denida:
|u|
0
:= |u
/
|
L
2 u W
1,2
0
_
[0, 1]
_
.
Tambm a norma | |
0
gerada por um produto interno:
u, v)
0
=
_
1
0
u
/
v
/
.
Assim, W
1,2
0
_
[0, 1]
_
um espao de Hilbert com esse produto interno. Uma vez que
W
1,2
0
_
[0, 1]
_
L
2
_
[0, 1]
_
= L
2
, o fato de L
2
ser separvel garante que W
1,2
0
_
[0, 1]
_
tambm um separvel.
Vamos agora caracterizar as funes em W
1,2
0
_
[0, 1]
_
e mostrar que podemos dar um
sentido a u(0) e u(1) em W
1,2
0
_
[0, 1]
_
. Como duas funes em W
1,2
_
[0, 1]
_
so denidas
a menos de um conjunto de medida nula, de modo que esse um fato notvel!
Lema 2.16 Se u W
1,2
0
_
[0, 1]
_
, ento existe uma funo contnua v satisfazendo v(0) = 0 =
v(1) tal que u = v q.t.p. Em outras palavras, dada u W
1,2
0
_
[0, 1]
_
, podemos supor que u seja
contnua e nula nos extremos do intervalo [0, 1].
Demonstrao: Considere uma seqncia (
n
) em C

0
(0, 1) tal que
n
u em
W
1,2
_
[0, 1]
_
. A desigualdade de Cauchy-Schwarz nos garante que, para todo t [0, 1]
vale
[
n
(t)
m
(t)[ =

_
t
0

/
n
(s)ds
_
t
0

/
m
(s)ds

_
1
0
[
/
n

/
m
[
_
_
1
0
[
/
n

/
m
[
2
_
1/2
= |
/
n

/
m
|
L
2 (2.7)
Assim, (
n
(t)) uma seqncia de Cauchy emR e, portanto
n
(t) v(t) para todo
t [0, 1]. (Em particular, v(0) = v(1) = 0, pois
n
nula nos extremos do intervalo
[0, 1] para qualquer n.) Mas algo mais foi provado: a mesma desigualdade (2.7) vale
para todo t [0, 1], garantindo que a convergncia
n
v uniforme. Isso implica que
v uma funo contnua e tambm que
n
v em L
2
. (Veja [6].)
Por outro lado,
n
u em L
2
, pela prpria denio. A unicidade do limite (em L
2
)
garante ento que u = v qtp. (Note que u
/
a derivada fraca de v.) 2
2.4. O SUBESPAO W
1,2
0
_
[0, 1]
_
31
Observao 2.17 Um resultado importante, cuja prova no ser apresentada aqui, que
o conjunto das funes C

que esto em W
1,2
_
[0, 1]
_
denso em W
1,2
_
[0, 1]
_
. Utilizando
esse resultado, a mesma demonstrao do Lema 2.16 garante que, dada f W
1,2
_
[0, 1]
_
,
existe g C
0
_
[1, 2]
_
tal que
(a) g = f em L
2
, isto , g = f q.t.p.;
(b) g uma primitiva de f
/
;
(c) g
/
= f
/
no sentido fraco.
Em outras palavras, toda funo f W
1,2
_
[0, 1]
_
possui um representante
absolutamente contnuo com derivada (q.t.p.) em L
2
.
Uma segunda prova dessa armao pode ser feita utilizando-se o Teorema de
Fubini. Veja [5].
Teorema 2.18 (Imerso de W
1,2
0
_
[0, 1]
_
em C
0
_
[0, 1]
_
)
A imerso de W
1,2
0
_
[0, 1]
_
em C
0
_
[0, 1]
_
contnua. Em outras palavras, a aplicao
identidade I : W
1,2
0
_
[0, 1]
_
C
0
_
[0, 1]
_
contnua. Em smbolos,
W
1,2
0
_
[0, 1]
_
C
0
_
[0, 1]
_
.
Demonstrao: Se
n
C

0
(0, 1), a desigualdade de Cauchy-Schwarz garante que
[
n
(t)[ =

_
t
0

/
n
(s)ds


_
1
0
[
/
n
[
_
_
1
0
[
/
n
[
2
_
1/2
= |
n
|
0
.
Segue da que
|
n
|

= sup
t[0,1]
[
n
(t)[ |
n
|
0
.
Pelo Lema 2.16, escolhendo o representante contnuo de u W
1,2
0
_
[0, 1]
_
e uma
seqncia (
n
) tal que
n
u em W
1,2
0
_
[0, 1]
_
e tambm uniformemente (quer dizer,
na norma | |

), temos que |
n
|

|u|

e tambm que |
n
|
0
|u|
0
. Assim,
|u|

|u|
0
,
o que mostra o armado. 2
Observao 2.19 Pode-se mostrar que a imerso I compacta, isto , leva a bola
unitria B W
1,2
0
_
[0, 1]
_
em um subconjunto relativamente compacto de C
0
_
[0, 1]
_
. A
demonstrao decorre imediatamente do Teorema de Arzel-Ascoli. (Veja [5], p. 129 ou
[6].)
32 CAPTULO 2. UM PROBLEMA NO-LINEAR
2.5 DE VOLTA AO LAGRANGEANO
Considerando denido em W
1,2
0
_
[0, 1]
_
, temos o funcional bem denido: o
Lema 2.16 (ou ento o Teorema 2.18) garante que F(u) = F u contnua e, portanto,
integrvel.
Lema 2.20 A funo t F(t) uniformemente diferencivel em todo intervalo [a, b] R e
F
/
(t) = f (t). Isto , dado > 0, existe > 0 tal que
[F(t + s) F(t) f (t)s[ [s[ [s[ <
para todo t [a, b].
Demonstrao: Com efeito,
F(t + s) F(t) f (t)s =
_
t+s
0
f ()d
_
t
0
f ()d
_
t+s
t
f (t)d
=
_
t+s
t
[ f () f (t)]d.
Como f : R R contnua, ela uniformemente contnua no intervalo compacto
[a 1, b + 1]. Portanto, dado > 0, existe > 0 tal que [ f () f (t)[ < sempre que
[ t[ < , com , t [a 1, b +1]. Isso prova o armado. 2
Lema 2.21 A funo : W
1,2
0
_
[0, 1]
_
R diferencivel e

/
(u)v =
_
1
0
u
/
v
/

_
1
0
f (u)v.
Quer dizer, dado > 0, existe > 0 tal que
[(u + v) (u)
/
(u)(v)[ < sempre que |v|
0
< .
O funcional linear
/
(u) contnuo.
Demonstrao: Uma vez que (u) =
1
2
_
1
0
[u
/
[
2

_
1
0
F(u), vamos calcular
separadamente as derivadas das duas expresses integrais.
Temos que
1
2
_
1
0
[u
/
[
2
=
1
2
u, u)
0
. A derivada da aplicao bilinear u, u) foi calculada
na observao 2.1. Note que devemos aplicar essa derivada no vetor (v, v), pois (u)
no uma aplicao bilinear. Assim, derivando
1
2
u, u)
0
, encontramos
1
2
(v, u)
0
+u, v))
0
= u, v)
0
=
_
1
0
u
/
v
/
.
Passamos agora segunda expresso integral. O Lema 2.20 garante que, escolhido
um intervalo [a, b] e dado > 0, existe > 0 tal que, se t [a, b],
[F(t + s) F(t) f (t)s[ [s[ [s[ < .
2.5. DE VOLTA AO LAGRANGEANO 33
Seja u W
1,2
0
_
[0, 1]
_
arbitrria. Pelo Lema 2.16, podemos assumir que u contnua.
Assim, so assumidos os valores a := min
t[0,1]
u(t) e b = max
t[0,1]
u(t), o que xa o
intervalo [a, b]. Alm disso, se exigirmos que |v|
0
< , teremos que [v(t)[ < para todo
t [0, 1], de acordo com o Teorema 2.18. Portanto,
[F(u(t) + v(t)) F(u(t)) f (u(t))v(t)[ [v(t)[ sempre que |v|
0
< .
Armamos que podemos integrar separadamente os termos dessa ltima
desigualdade. De fato, como F, u e v so contnuas, os dois primeiros termos podem
ser integrados em [0, 1]. Quanto ao terceiro termo, a continuidade de f e u garante que
f (u) L
2
. Como v L
2
, a desigualdade de Cauchy-Schwarz garante que f (u)v est
em L
1
.
Assim,

_
1
0
F(u + v)
_
1
0
F(u)
_
1
0
f (u)v


_
1
0
[F(u + v) F(u) f (u)v[
_
1
0
[v[.
Aplicando a desigualdade de Cauchy-Schwarz e a desigualdade de Poincar,
obtemos que

_
1
0
[v[
_
_
1
0
[v[
2
_
1/2
= |v|
L
2 |v
/
|
L
2 = |v|
0
.
Mostramos assim que

_
1
0
F(u + v)
_
1
0
F(u)
_
1
0
f (u)v

|v|
0
sempre que |v|
0
< .
Somando as derivadas calculadas, vemos que o derivada
/
(u) tem a forma armada.
Note que, como f (u) L
2
, existe k > 0 tal que |f (u)|
L
2 < k. Portanto
|
/
(u)v| =

u, v)
0
f (u), v)
L
2

|u|
0
|v|
0
+ k|v|
L
2 c|v|
0
,
de acordo com as desigualdades de Cauchy-Schwarz e Poincar. 2
Teorema 2.22 A funo u C
2
soluo da equao diferencial (2.1) se, e somente se,

/
(u) 0.
Demonstrao: Suponhamos que
/
(u) 0. Ento, em particular,
_
1
0
u
/

/
=
_
1
0
f (u) para todo C

0
(0, 1).
Essa igualdade nos mostra que a derivada fraca da funo u
/
L
2
existe e igual a
f (u) L
2
. Ora, j vimos que f (u) contnua, de modo que u
/
uma funo contnua.
A Proposio 2.13 nos garante ento que u
/
C
1
_
[0, 1]
_
. Temos assim que u
//
= f (u).
Repetindo o argumento para u W
1,2
_
[0, 1]
_
temos: u
/
C
1
_
[0, 1]
_
C
0
_
[0, 1]
_
implica
34 CAPTULO 2. UM PROBLEMA NO-LINEAR
que u C
1
_
[0, 1]
_
(pela Proposio 2.13); mas u C
1
_
[0, 1]
_
com u
/
C
1
_
[0, 1]
_
nos
mostra que u C
2
_
[0, 1]
_
e u
//
= f (u). Assim, pontos crticos de (u) so solues
de classe C
2
da equao u
//
+ f (u) = 0. (Mais precisamente, se
/
(u) 0, ento existe
w C
2
_
[0, 1]
_
tal que w
//
+ f (w) = 0 e w = u q.t.p.). Como u W
1,2
0
_
[0, 1]
_
, o Lema
2.16 nos garante que a condio de fronteira u(0) = u(1) = 0 satisfeita.
Reciprocamente, suponhamos que u C
2
satisfaa u
//
+ f (u) = 0, com u(0) =
u(1) = 0. Temos ento que u W
1,2
0
_
[0, 1]
_
, com u
//
L
2
e f (u) L
2
. Multiplicando
por uma funo teste C

0
(0, 1) e integrando, obtemos
_
1
0
u
//
+
_
1
0
f (u) = 0.
Integrando a primeira integral por partes, vemos que
_
1
0
u
/

/
=
_
1
0
f (u) C

0
(0, 1).
Ora, como essa igualdade vale no subconjunto C

0
(0, 1), que denso no espao
W
1,2
0
_
[0, 1]
_
, podemos concluir (veja o exerccio 7) que
_
1
0
u
/
v
/
=
_
1
0
f (u)v v W
1,2
0
_
[0, 1]
_
.
Isso mostra que
/
(u) 0. 2
Assim, para obtermos uma soluo do problema (2.1) basta provarmos a existncia
de pontos crticos do funcional linear . Note que, at o momento, s empregamos a
continuidade da funo f : R R.
2.6 PONTOS CRTICOS
Comeamos mostrando alguns resultados sobre espaos de Hilbert separveis:
Teorema 2.23 Seja H um espao de Hilbert separvel. Se (x
n
) uma seqncia limitada em H,
isto , se existe C > 0 tal que |x
n
| C para todo n, ento existem uma subseqncia (x
n
i
) e
um elemento x H tais que
x
n
i
, y) x, y) y H.
Observao 2.24 Nesse resultado estamos mostrando que toda seqncia limitada
possui uma subseqncia que converge fracamente.
Demonstrao: Fixado y H, temos

x
n
, y)

|x
n
| |y| C|y|,
2.6. PONTOS CRTICOS 35
mostrando que a seqncia de nmeros reais x
n
, y) limitada e, portanto, possui uma
subseqncia convergente.
Seja D = d
1
, d
2
, . . . H um conjunto denso. Tomando y = d
1
, existe uma
subseqncia (x
n
1i
) tal que
x
n
1i
, d
1
) convergente.
Existe agora uma subseqncia (x
n
2i
) de (x
n
1i
) tal que
x
n
2i
, d
i
) convergente, se i = 1, 2.
Repetindo esse processo (chamado mtodo diagonal de Cantor), obtemos uma
subseqncia (x
n
j
) de (x
n
) tal que x
n
j
, d) convergente, qualquer que seja d D.
Para simplicar a nossa notao, vamos escrever (x
n
) ao invs de (x
n
j
). Assim, temos
que
x
n
, d) convergente d D.
Decorre da que x
n
, y) convergente para todo y H. De fato, dado > 0, xe y H
e tome d
y
D tal que |y d
y
| < . Como a seqncia x
n
, d
y
) convergente, existe
n
0
N tal que
m, n n
0

x
n
, d
y
) x
m
, d
y
)

< .
Assim,

x
n
, y) x
m
, y)

x
n
, y) x
n
, d
y
)

x
n
, d
y
) x
m
, d
y
)

x
m
, d
y
) x
m
, y)

|x
n
| |y d
y
| + +|x
m
| |y d
y
|
C + + C.
Isso mostra que x
n
, y) de Cauchy e, portanto, convergente.
Denimos ento f : H R por
f (y) = lim
n
x
n
, y).
Obviamente f um funcional linear. A continuidade de f tambm imediata: [ f (y)[
C|y|.
Pelo Teorema de Representao de Riesz 1.25 temos que existe x H tal que
f (y) = y, x) = x, y), para todo y H. Mas isso o mesmo que armar que
lim
n
x
n
, y) = x, y) y H.
2
Denio 2.25 Uma funo F: X R denida no espao de Banach X coerciva se
F(x) + sempre que |x| .
Dada uma funo contnua e coerciva F: X R, uma vez escolhido um ponto
arbitrrio de X (por exemplo, x = 0), encontramos R > 0 tal que F(x) > F(0) sempre
que |x| > R. Assim, se o mnimo de F atingido num ponto x
0
X, necessariamente
x
0
B
R
(0). Se X tem dimenso innita, a bola fechada B
R
(0) no compacta, de modo
que no podemos concluir imediatamente a existncia do ponto de mnimo x
0
da funo
contnua F: B
R
(0) R. Essa a principal diculdade para a demonstrao do prximo
resultado.
36 CAPTULO 2. UM PROBLEMA NO-LINEAR
Teorema 2.26 Sejam H um espao de Hilbert separvel e F: H K uma funo contnua,
convexa e coerciva. Ento F limitada inferiormente e existe x
0
H tal que
F(x
0
) = inf
xH
F(x).
Demonstrao: Seja M = F(0). A coercividade de F garante a existncia de R > 0 tal
que F(x) > F(0) sempre que |x| > R.
Consideremos a restrio F: B
R
(0) R e suponhamos, por absurdo, que F no seja
limitada inferiormente. Isso implica que existe uma seqncia (x
n
) em B
R
(0) tal que
F(x
n
) quando n .
Como a seqncia (x
n
) limitada, passando a uma subseqncia se necessrio, o
Teorema 2.23 garante que podemos supor que
x
n
, y) x, y) y H.
Claramente vale |x| R.
Fixe R a < F(x). Como F(x
n
) , existe n
0
Ntal que F(x
n
) a < F(x) para
todo n n
0
. Dena C = F
1
(, a]. O conjunto C fechado, como imagem inversa de
um fechado por uma funo contnua. fcil vericar que C convexo (veja o exerccio
8). Alm disso, x , C e x
n
C para todo n n
0
.
Assim, o Teorema de Separao de Hahn-Banach 1.17 garante a existncia de y H
tal que
x, y) < x
n
, y) n > n
0
.
Mas isso um absurdo, pois x
n
, y) x, y).
Conclumos assim que F limitada inferiormente. Seja, portanto m = inf
xB
r
(0)
F(x).
Considere ento uma seqncia (x
n
) B
r
(0) tal que F(x
n
) m.
Como antes, passando a uma subseqncia se necessrio, o Teorema 2.23 garante a
existncia de x
0
B
r
(0) tal que
x
n
, y) x, y) y H.
Armamos que m = F(x
0
). Se esse no fosse o caso, existiria > 0 tal que m + <
F(x
0
). Denimos ento o convexo fechado C = F
1
(, m +]. Ento existe n
0
tal que
x
n
C para todo n n
0
(pois F(x
n
) m), enquanto x
0
, C (pois F(x
0
) > m +).
Uma nova aplicao do Teorema de Separao de Hahn-Banach 1.17 garante a
existncia de y H tal que x
0
, y) < z, y) para todo z C. Em particular,
x
0
, y) < x
n
, y) para todo n n
0
, o que contradiz x
n
, y) x
0
, y). Isso completa
a demonstrao. 2
Agora estamos em condies de completar a nosso estudo da equao (2.1).
Teorema 2.27 Suponhamos que a funo contnua f : R R
(i) seja decrescente;
2.6. PONTOS CRTICOS 37
(ii) existam 0 < a < 1 e b > 0 tais que
[ f (t)[ a[t[ + b t R.
Ento o problema no-linear
u
//
= f (u), t (0, 1)
u(0) = u(1) = 0
possui ao menos uma soluo.
Demonstrao: Consideremos o funcional energia : W
1,2
0
([0, 1]) R dado por
(u) =
1
2
_
1
0
[u
/
[
2

_
1
0
F(u),
em que F(u) =
_
t
0
f (u(s))ds.
De acordo com o Teorema 2.22, a existncia de uma soluo para o problema no-
linear estar garantida se provarmos a existncia de um ponto crtico para o funcional
. Para isso, mostraremos que convexa e coerciva.
A condio (i) garante que convexa. De fato, como F(t) =
_
t
0
f (s)ds, temos
que F
/
(t) = f (t) decrescente, o que garante que F cncava. Como |u|
2
0
convexa,
(u) = |u|
2
0

_
1
0
F(u) convexa.
Como [ f (t)[ < a[t[ + b, integrando essa desigualdade obtemos [F(t)[ <
1
2
a[t[
2
+ b[t[
para todo t R (veja o Exerccio 9). Logo,
[F(u(t))[
1
2
a[u(t)[
2
+ b[u(t)[ u W
1,2
0
([0, 1]).
Segue-se da que
_
1
0
F(u)
_
1
0
[F(u(t))[dt
_
1
0
_
1
2
a[u(t)[
2
+ b[u(t)[
_
dt

1
2
a|u|
2
0
+ b|u|
0
u W
1,2
0
([0, 1]).
Portanto,
(u) =
1
2
|u|
0

_
1
0
F(u)
1
2
|u|
2
0

1
2
|u|
2
0
b|u|
0
.
Como 0 < a < 1, temos que (u) + quando |u|
0
, mostrando que
coercivo. 2
38 CAPTULO 2. UM PROBLEMA NO-LINEAR
2.7 EXERCCIOS
1. Suponhamos que a igualdade (2.5) se verique para u C
0
([0, 1]). Escolha
adequadamente C

0
(a, b) e conclua que u 0. Deduza da que a igualdade
(2.5) vlida se u L
2
.
2. Mostre que W
1,2
([0, 1]) no completo com a norma | |
L
p .
3. Mostre que a norma |u| =
_
|u|
2
L
2
+|u
/
|
2
L
2
_
1/2
equivalente norma | |
1
do
espao W
1,2
([0, 1]).
4. Mostre que a funo
u(t) =
_
1/2 se 0 t 1/2
t se 1/2 t 1
pertence a W
1,2
([0, 1]) e calcule sua derivada fraca
H(t) =
_
0 se 0 t < 1/2
1 se 1/2 < t 1
Generalize: mostre que toda funo contnua que possua derivada contnua por
partes pertence a W
1,2
([0, 1]).
Mostre, por outro lado, que H , W
1,2
([0, 1]).
5. Mostre a igualdade (2.6).
6. D exemplo de u W
1,2
([0, 1]) para o qual no vale a desigualdade de Poincar.
7. Mostre que, se
_
1
0
u
/

/
=
_
1
0
f (u) C

0
(0, 1),
ento podemos concluir que
_
1
0
u
/
v
/
=
_
1
0
f (u)v v W
1,2
0
([0, 1]).
8. Mostre que o conjunto C = F
1
(, a] utilizado na demonstrao do Teorema
2.26 convexo.
9. Preencha os detalhes na demonstrao do Teorema 2.27.
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. Auage, Springer, Berlin, 1992.
[3] J.F. Andrade: Um exemplo (simples) de um operador auto-adjunto sem autovalores e
outros exemplos, Matemtica Universitria 37 (2004), 9-14.
[4] G. Bachman e L. Narici: Functional analysis, Academic Press, New York, 1966.
[5] H. Brezis: Analyse fonctionelle - thorie et applications, Masson, Paris, 1983.
[6] H.P. Bueno, G. Ercole e A. Zumpano: Introduo Anlise Funcional, em
preparao.
[7] L. Debnath e P. Mikusi nski: Introduction to Hilbert spaces with applications,
Academic Press, Boston, 1990.
[8] K. Deimling: Nonlinear functional analysis, Springer-Verlag, Berlin, 1985.
[9] D.G. de Figueiredo: Positive solutions of semilinear elliptic problems, Lecture Notes in
Mathematics 957 (1982), Springer-Verlag, Berlin, 34-87.
[10] S. Goldberg: Unbounded Linear Operators, McGraw-Hill, New York, 1966.
[11] Halmos, Nave Set Theory. (CORRIGIR)
[12] G. Helmberg: Introduction to Spectral Theory in Hilbert Space, North-Holland,
Amsterdam, 1969.
[13] C.S. Hnig: Anlise Funcional e o Problema de Sturm-Liouville, Ed. Edgard
Blcher-Ed. da USP, So Paulo, 1978.
[14] C.S. Hnig: Anlise Funcional e Aplicaes, IME-USP, So Paulo, 1970.
[15] C. A. Isnard e B. F. Svaiter: On Zorns Lemma, Informes de Matemtica 146, Impa,
Rio de Janeiro, 1997.
[16] L. Jantscher: Hilbertrume, Akademische Verlagsgesellschaft, Wiesbaden, 1977.
39
40 REFERNCIAS BIBLIOGRFICAS
[17] A. N. Kolmogorov e S. V. Fomin: Elementos de la Teoria de Funciones y del
Analysis Funcional, Editorial Mir, Moscu, 1978.
[18] S. Lang: Real and Functional Analysis, 3rd. Edition, Springer-Verlag, New York,
1993.
[19] P.D. Lax: Linear Algebra, Wiley-Interscience Publication, New York, 1997.
[20] P.D. Lax: Functional Analysis, Wiley-Interscience Publication, New York, 2002.
[21] E.L. Lima: Anlise no Espao R
n
, Editora Universidade de Braslia/Editora Edgar
Blcher Ltda, 1970.
[22] E.L. Lima: Curso de Anlise, volume 1, IMPA, Rio de Janeiro, 1976.
[23] E.L. Lima: Curso de Anlise, volume 2, IMPA, Rio de Janeiro, 1981.
[24] E.L. Lima: Espaos Mtricos, IMPA, Rio de Janeiro, 1977.
[25] :M. Reed and B. Simon: Methods of Modern Mathematical Physics, v. 1, Academic
Press, New York, 1972.
[26] H. L. Royden: Real Analysis, 2nd. Edition, Macmillan Publishing Co., Inc., New
York, 1968.
[27] W. Rudin: Real and Complex Analysis, 3rd. Edition, McGraw-Hill International
Editions, New York, 1987.
[28] W. Rudin: Functional Analysis, 2nd. Edition, McGraw-Hill, New York, 1991.
[29] R. J. Santos: lgebra Linear e Aplicaes, Departamento de Matemtica da UFMG,
Belo Horizonte, 2004.
[30] I. Stakgold: Greens Functions and Boundary Value Problems, Wiley, New York,
1979.
[31] A.E. Taylor e Lay: Introduction to Functional Analysis xxxxxxxxxxxxxxxxxxxxxx
[32] H.F. Weinberger: A rst course in partial differential equations with complex
variables and transform methods, Blaisdell, New York, 1965.
[33] A. Wilansky: Functional Analysis, Blaisdell, New York, 1964.
[34] R.L. Wheeden e A. Zygmund: Measure and Integral, Marcel Dekker, New York,
1977.
NDICE REMISSIVO
lgebra, 16
de Banach, 16
aplicao
diferencivel, 23
aplicao bilinear, 24
base, 2
de Hamel, 2
base de um espao vetorial, 2
Cauchy-Schwarz
desigualdade de, 4
conjunto
convexo, 7
de medida nula, 7
linearmente independente, 2
cubo de Hilbert, 18
derivada
fraca, 26
generalizada, 26
desigualdade
de Cauchy-Schwarz, 4
triangular, 3
energia
cintica, 21
espao
L
2
([a, b]), 6
de Banach, 6
de Hilbert, 6
normado, 3
espao vetorial, 1
base de um, 2
com produto interno, 2
de dimenso nita, 2
de dimenso innita, 2
funo
coerciva, 35
de suporte compacto, 25
diferencivel no sentido das
distribuies, 26
fracamente C
1
, 28
fracamente diferencivel, 26
teste, 25
identidade
do paralelogramo, 6
isometria, 17
limite
de uma sequncia, 5
mtodo diagonal de Cantor, 35
norma, 3
gerada pelo produto interno, 5
normas
equivalentes, 6
ortogonalidade, 3
Pitgoras
teorema de, 4
produto
interno, 2
projeo
de um vetor, 4
projeo ortogonal, 12
de um vetor sobre um subespao, 11
regra
da unidade, 1
semi-norma, 18
sequncia
convergente, 5
41
42 NDICE REMISSIVO
de Cauchy, 5
limite de uma, 5
teorema
de caracterizao do ponto de menor
norma, 9
de Hahn-Banach, 19
de imerso de W
1,2
0
_
[0, 1]
_
em
C
0
_
[0, 1]
_
, 31
de Pitgoras, 4
de Representao de Riesz, 14
de separao de Hahn-Banach, 10
do complementar ortogonal, 12
do ponto de menor norma, 8
vetor, 1
vetor projeo, 4
vetores
ortogonais, 3
perpendiculares, 3

Você também pode gostar