Você está na página 1de 28

UNIVERSIDADE FEDERAL DA PARA

IBA
CENTRO DE CI

ENCIAS EXATAS E DA NATUREZA


DEPARTAMENTO DE MATEM

ATICA
TEORIA DOS PONTOS CR

ITICOS VIA
MINIMIZAC

AO
Rodrigo Alves de Oliveira Arruda
Bolsista pelo Programa Instituto do Milenio-AGIMB
Joao Marcos Bezerra do

O
Orientador
Joao Pessoa, 02 de outubro de 2004
TEORIA DOS PONTOS CR

ITICOS VIA
MINIMIZAC

AO
MONOGRAFIA
Sumario
Introducao 3
Objetivo 3
Metodologia 4
Teoria dos Pontos Crticos Via Minimizacao 5
Func oes Diferenciaveis `a Frechet e `a Gateaux . . . . . . . . . . . . 5
Multiplicadores de Lagrange em espacos de dimensao innita . . . . 12
Func oes semicontnuas inferiormente . . . . . . . . . . . . . . . . . 16
Aplicacao a um problema de Dirichlet . . . . . . . . . . . . . . . . 20
Referencias Bibliogracas 27
INTRODUC

AO
De um modo nao muito formal, um problema de minimizacao basico para
resolver e o seguinte: dados um funcional : E R, em que E e um espaco
de Hilbert, e um conjunto fechado, convexo C E no qual, o funcional e
limitado inferiormente, queremos encontrar u
0
C de forma que
(u
0
) = inf
uC
(u).
Sabemos dos estudos de Calculo Diferencial basico que dada uma func ao
: R R limitada inferiormente em C R, esta nao assume necessaria-
mente o seunmo em C (um exemplo seria a func ao exponencial f(x) = e
x
).
Disto, e perceptvel adicionarmos hipoteses ao nosso problema inicial. Re-
tornando mais uma vez ao Calculo basico, temos o Teorema de Weierstrass
que sob `as condic oes de continuidade do funcional e da compacidade do
conjunto C garante que o nmo e assumido. Um resultado analogo a este,
porem bem mais geral, podera ser visto na secao sobre func oes semicontnuas
inferiormente.
Neste trabalho, zemos um estudo inicial sobre minimizac ao. Iniciamos
denindo derivadas no sentido de Frechet e Gateaux em espacos de Banach,
em seguida resolvemos um problema usando os multiplicadores de Lagrange,
depois obtemos alguns resultados sobre funcoes semicontnuas inferiormente
e concluimos com uma aplicacao a um problema de Dirichlet.
OBJETIVO
O objetivo do presente trabalho e a introducao aos metodos variacionais
e topologicos em analise nao-linear, em particular `as tecnicas de minimizacao
de funcional.
O interesse pelo fato do nmo de um funcional ser assumido ou nao e
3
que `a certas classes de equacoes diferenciais nao-lineares podemos associar
um funcional que tem como propriedade o fato de um ponto crtico ser uma
soluc ao do problema. E recorremos `as tecnicas de minimizacao na busca por
estes pontos crticos.
METODOLOGIA
A metodologia adotada para a realizac ao deste trabalho e a mesma que vem
sendo utilizado ao longo de todo o projeto de iniciac ao cientca apoidado
pelo Instituto do Milenio - AGIMB:
1. Apresentacao semanais de topicos ao orientador.
2. Leituras de textos da bibliograa recomendada.
3. Discussao em grupo.
4. Apresentacao de topicos para outros bolsistas nos seminarios semanais
do Projeto Milenio.
4
Teoria dos Pontos Crticos Via
Minimizacao
Func oes Diferenciaveis `a Frechet e `a Gateaux
Nesta sec ao nos apresentaremos o conceito de diferenciabilidade em espacos
de Banach: Derivada no sentido de Frechet e Derivada no sentido de Gateaux.
Uma extensao natural da derivada de uma func ao de uma vari avel e a
derivada de Frechet em espacos de Banach.
No que segue, (X, | |
X
) e (Y, | |
Y
) denotam espacos de Banach, U X
um conjunto aberto, f : U Y uma aplicacao e L(X, Y ) o espaco dos
operadores lineares contnuos.
Observacao 1 Usaremos a notacao r(h) = o(|h|
X
) de uma aplicacao r :
X Y se, e somente se,
lim
h0
|r(h)|
Y
|h|
X
= 0.
Derivada de Fr

echet
Denicao 1 Seja x um ponto do conjunto aberto U X. Uma aplicacao
f : U Y e diferenciavel `a Frechet em x U se existe um operador linear
A L(X, Y ) tal que
f(x +h) f(x) Ah = o(|h|).
5
O operador A e chamado de derivada de Frechet da aplicac ao f em x e
denotado por Df(x) ou f

(x). Se f : U Y e diferenciavel em todo ponto


de U, ent ao Df : U L(X, Y ) e chamada de derivada `a Frechet de f.
Apresentaremos agora algumas propriedades da derivada de Frechet.
1. O operador A = Df(x) e unico.
2. Se f : U Y e diferenciavel `a Frechet em x U, entao f e contnua
em x.
3. Se f : U Y e diferenciavel `a Frechet segundo a norma | |
X
, ent ao f
e diferenciavel `a Frechet segundo qualquer norma equivalente a | |
X
.
4. Se f : U Y e diferenciavel `a Frechet em x U, ent ao af + bg,
a, b R, e diferenciavel `a Frechet em x U e
D(af +bg)(x)h = aDf(x)h +bDg(x)h.
5. Sejam f : U Y , g : V Z aplicacoes com V Y e f(U) V . Se
f e diferenciavel `a Frechet em x U e g e diferenciavel `a Frechet em
y = f(x), ent ao g f e diferenciavel `a Frechet em x e
D(g f)(x)h = Dg(y)Df(x)h.
Exemplos de func oes derivaveis no sentido de Frechet
Seja H um espaco de Hilbert com o produto interno , ) e norma | |.
1. O funcional f : H R
+
f(x) =
1
2
x, x) =
1
2
|x|
2
e diferenciavel `a Frechet e
f

(x)h = x, h).
6
2. O funcional f : H R
+
f(x) = |x|
e diferenciavel `a Frechet para x ,= 0 e
f

(x)h =
x, h)
|x|
.
3. O funcional f(x) =
1
2
Ax, x) + b, x), onde A L(H, H) e b H, e
diferenciavel `a Frechet e
f

(x)h = Ax +b, h).


4. Seja X = R
n
, Y = R
m
, x = (x
1
, ..., x
n
) e f (
1
(R
n
, R
m
) uma aplicacao
f(x) = [f
1
(x), ..., f
m
(x)]
T
, onde B
T
denota a matriz transposta da ma-
triz B.
Entao A = f

(x) L(R
n
, R
m
) e
A = f

(x) =
_

_
f
1
x
1
(x) . . .
f
1
x
n
(x)
.
.
.
.
.
.
.
.
.
f
m
x
1
(x) . . .
f
m
x
n
(x)
_

_
.
Dado um funcional diferenciavel f : X R temos f

(x) L(X, R) = X

,
onde X

e o espaco dual de X.
Observacao 2 Desde que que claro no contexto, denota-se tambem por ||
a norma em X

.
Seja H um espaco de Hilbert com produto interno , ) e F : H R
uma aplicac ao diferenciavel. O Teorema da Representac ao de Riesz garante
a existencia unica do elemento u H tal que
F

(x)h = u, h) h H,
e denotaremos u = F(x).
7
O operador F : H H e chamado de operador gradiente do potencial
F : H R.
Muitas equac oes da Fsica-Matem atica tem o operador da forma F

(x) =
0 em um espaco de Hilbert H apropriado. A equacao F

(x) = 0 e dita como


a equacao de Euler-Lagrange do funcional F : H R. Suas soluc oes sao
assumidas no sentido fraco, ou seja,
F(x), h) = 0 h H.
Portanto, soluc oes fracas sao os pontos crticos do funcional F : H R.
Derivada de G

ateaux
Outro tipo de derivada de um funcional e a derivada direcional ou derivada
de Gateaux.
Denicao 2 Seja F : U Y uma aplicacao e x U. Dizemos que f e
diferenciavel `a Gateaux se existe o limite abaixo:
lim
t0
|F(x +th) F(x)|
Y
t
=
F
h
(x) h X.
Um resultado imediato e que se F e diferenciavel `a Frechet ent ao e difer-
enciavel `a Gateaux. A recproca nem sempre e valida (ver Exemplo seguinte),
porem mais na frente veremos as condicoes sob as quais a recproca e valida.
Exemplo 1 A funcao f : R
2
R dada por
f(x, y) =
_ _
x
2
y
x
4
+y
2
_
2
y ,= 0
0 y = 0
e diferenciavel `a Gateaux em (0, 0), mas nao e diferenciavel `a Frechet em
(0, 0).
Prova: Primeiro mostremos que f e diferenciavel `a Gateaux. Se h = (h
1
, h
2
),
h
2
,= 0 temos
lim
t0
f(th) f(0)
t
= lim
t0
t(h
2
1
h
2
)
2
(t
2
h
4
1
+h
2
2
)
2
= 0.
8
Se f e diferenciavel `a Frechet em (0, 0) devemos ter f

(0, 0) = 0. Porem,
isto nao e verdade, pois tomando h = (h
1
, h
2
1
) (0, 0) temos
lim
h0
[f(h) f(0)[
|h|
= lim
h
1
0
_
h
4
1
h
4
1
+h
4
1
_
2
1
_
h
2
1
+h
4
1
=
1
4
lim
h
1
0
1
_
h
2
1
+h
4
1
= +.

Observacao 3 Uma funcao ser diferenciavel `a Gateaux em um ponto x nao


implica que a funcao seja contnua em x. Um exemplo e a funcao
g(x, y) =
_
1 se y = x
2
0 se y ,= x
2
que e diferenciavel `a Gateaux em (0,0), mas nao e contnua em (0,0).
Antes de enunciarmos o resultado mencionado anteriormente, denotemos
por , ) a dualidade entre X

e X e lim
j
por lim
j
. Dizemos que f
(
1
(U, R) se e diferenciavel `a Frechet em todo ponto x de U e a aplicacao
x f

(x) e contnua de U em X

, isto e, se lim
j
x
j
= x U entao
lim
j
f

(x
j
) f

(x), v) = 0,
uniformemente em v X : |v| 1.
Enunciaremos alguns resultados basicos, cujas demonstracoes podem ser
encontradas em Elon [7].
Teorema 1 Suponha que f : U R tenha derivada de Gateaux contnua
em U. Entao f e diferenciavel `a Frechet e f (
1
(U, R).
Teorema 2 (Desigualdade do Valor Medio) Seja f : U R diferenciavel
`a Gateaux em U e x
1
, x
2
U. Entao
[f(x
1
) f(x
2
)[ sup
t[0,1]
|D
G
f(x
1
+t(x
2
x
1
))| |x
1
x
2
|.
Seja um subconjunto aberto de R
n
com medida nita. Denotemos por
L
q
(), 1 < q < , o espaco de Lebesgue de func oes integraveis.
9
Exemplo 2 O funcional : L
p+1
() R, 1 < p < ,
(u) =
1
p + 1
_

[u(x)[
p+1
dx
e de classe (
1
(L
p+1
(), R) e

(u), h) =
_

u(x)[u(x)[
p1
h(x)dx.
Prova: Pelo Teorema 1 e suciente mostar que existe

G
e e contnua.
Sejam u, h L
p+1
() e t [0, 1]. Pelo Teorema 2, existe [0, 1] tal que
1
(p + 1)[t[

[u(x)+th(x)[
p+1
[u(x)[
p+1

= [u(x)+th(x)[
p
[h(x)[

[u(x)[+[h(x)[

p
[h(x)[.
Da desigualdade de Holder, segue
_

[u(x)[ +[h(x)[

p
[h(x)[dx
__

[u(x)[ +[h(x)[

p+1
dx
_
(p/p+1)
__

[h(x)[
p+1
dx
_
(1/p+1)

_
2
p
_

([u(x)[
p+1
+[h(x)[
p+1
)dx
_
(1/p+1)
__

[h(x)[
p+1
dx
_
(1/p+1)
< .
Pelo Teorema da Convergencia Dominada de Lebesgue (veja Teorema
IV.2 em [4]) temos

G
(u), h) = lim
t0
1
(p + 1)t
_

[u(x) + th(x)[
p+1
[u(x)[
p+1
dx
= lim
t0
_

[u(x) + th(x)[
p
sgn(u(x) + th(x))h(x)dx
=
_

[u(x)[
p
sgnu(x) h(x)dx
=
_

u(x)[u(x)[
p1
h(x)dx.
10
Para provar a continuidade de

G
(u) precisamos mostrar que, se lim
j
u
j
=
u em L
p+1
(), ent ao
lim
j

G
(u
j
)

G
(u), v) = 0 desde que |v|
L
p+1 1. (1)
Pela continuidade do operador de Nemitskii (ver observacao abaixo) g :
L
p+1
() L
(p+1)/p
()
g(u) := u[u[
p1
,
segue que
[

G
(u
j
)

G
(u), v)[ |g(u
j
) g(u)|
L
(p+1)/p|v|
L
p+1 0,
o que prova (1).
Observacao 4 (Operador de Nemitskii) Seja um subconjunto aberto
de R
n
com medida nita, f ((

R) e 1 p, q < . O operador
^
f
u(x) := f(x, u(x))
e chamado operador de Nemitskii.
Vejamos agora outro tipo de func ao. Dizemos que f : R R e
Caratheodory se:
1. Para cada s R xo, a func ao x f(x, s) e mensuravel `a Lebesgue
em .
2. Para quase todo x , a func ao s f(x, s) e contnua em R.
Observe que o operador de Nemitskii u(x) f(x, u(x)) esta bem denido
no espaco das func oes mensuraveis em .
A observac ao seguinte resume algumas propriedades deste tipo de func ao.
Observacao 5 Seja f : R R uma funcao Caratheodory. Entao:
1. A funcao x f(x, u(x)) e uma funcao mensuravel para toda funcao
mensuravel u : R.
11
2. Se tem medida nita, o operador de Nemitskii ^
f
: / / e
contnuo, onde / e o espaco de valor real das funcoes mensuraveis
em , munido com a topologia de convergencia em medida.
3. Se e um domnio limitado e f satisfaz a condicao de crescimento
[f(x, s)[ a[s[
p1
+b(x) (2)
para p > 1, a > 0, b L
q
() e
1
p
+
1
q
= 1, entao o operador de Nemitskii
^
f
: L
p
() L
q
() e contnuo.
4. Seja ^
F
o operador de Nemitskii associado `a funcao
F(x, s) =
_
s
0
f(x, t)dt
onde f satisfaz (2). Entao ^
F
: L
p
() L
1
() e um operador
contnuo. Alem disso, T(u) =
_

F(x, u(x))dx dene um funcional


continuamente diferenciavel `a Frechet e T

(u) = ^
f
.
Multiplicadores de Lagrange em espacos de di-
mensao innita
Nesta sec ao estabeleceremos o conceito de multiplicador de Lagrange e
faremos uma aplicacao sobre o mesmo.
No que segue, sejam X um espaco de Banach, F (
1
(X, R) e um con-
junto de vnculo:
S := v X; F(v) = 0.
Suponhamos que para todo u S, temos que F

(u) ,= 0 (Nesta secao


denotamos F

(u) como a derivada `a Gateaux de f em u). Se J (


1
(X, R)
12
(ou tambem sobre uma vizinhanca de S ou (
1
sobre S), dizemos que c R
e valor crtico de J sobre S se existe u S e R tais que
J(u) = c e J

(u) = f

(u).
O ponto u e um ponto crtico de J sobre S e o n umero real e chamado
multiplicador de Lagrange para o valor crtico c (ou para o ponto crtico u).
No caso em que X e um espaco funcional e a equacao J

(u) = f

(u)
corresponde a uma equac ao diferencial parcial, dizemos que J

(u) = f

(u)
e a equac ao de Euler-Lagrange satisfeita pelo ponto crtico u sobre o vnculo
S.
Esta denic ao e justicada por um resultado que estabelece a existencia
do multiplicador de Lagrange, onde utiliza-se o Teorema da Funcao Implcita
para demonstra-lo.
Proposicao 1 Sobre as hipoteses e notacoes da denicao acima, supon-
hamos que u
0
S e tal que J(u
0
) = inf
vS
J(v). Entao existe R tal
que:
J

(u
0
) = f

(u
0
).
Observacao 6

E suciente supor que u
0
seja um extremo local (mnimo ou
maximo).
Aplicac

ao
Sejam um aberto limitado de R
n
e 1 < p < 2

1. Consideremos sobre
o espaco H
1
0
():
S := v H
1
0
(); f(v) = 0,
onde
f(v) :=
_

[v(x)[
p+1
dx 1
e
J(v) :=
_

[v(x)[
2
dx.
Denamos := min
vS
J(v). Mostremos que existe v
0
S tal que:
13
J(v
0
) = = min
vS
J(v).
De fato, consideremos uma seq uencia minimizante (v
n
) para . Pela
desigualdade de Poincare temos:
|v
n
|
H
1
0
()
C,
onde C e uma constante.
Podemos supor que v
n
v
0
em H
1
0
() e sabemos que
|v
0
|
H
1
0
()
liminf
n
|v
n
|
H
1
0
()
onde
J(v
0
) liminf
n
J(v
n
) = . (3)
Agora, sabemos que p+1 < 2

. Logo pelo Teorema de Rellich-Kondrachov


H
1
0
() L
p+1
(),
compactamente e, portanto, deduzimos que
v
n
v
0
em L
p+1
().
Em particular f(v
0
) = 0, pois f(v
n
) = 0 f(v
0
).
Concluimos que v
0
S e pela denicao de sabemos que
J(v), v S J(v
0
) (4)
De (3) e (4) obtemos
= J(v
0
),
ou seja, e atingido em S.
Pela Proposic ao 1, existe R tal que:
J

(v
0
) = f

(v
0
), ou ainda J

(v
0
) F

(v
0
) = 0,
da
_

([v
0
(x)[
2
)

(x)dx
_

([v
0
(x)[
p+1
)

(x)dx = 0, H
1
0
()
14
_

2v
0
(x)(x)dx (p + 1)
_

[v
0
(x)[
p1
v
0
(x) (x)dx = 0
_

[2v
0
(x) (p + 1)[v
0
(x)[
p1
v
0
(x)] (x)dx = 0
2v
0
(p + 1)[v
0
[
p1
v
0
= 0 2v
0
= (p + 1)[v
0
[
p1
v
0
. (5)
Multiplicando por v
0
, obtemos
2v
0
v
0
= (p + 1)[v
0
[
p1
v
2
0
.
Integrando,
_

2v
0
v
0
= (p + 1)
_

[v
0
[
p1
v
2
0
2
_

v
0
v
0
= (p + 1)
_

[v
0
[
p1
[v
0
[
2
= (p + 1)
_

[v
0
[
p+1
2J(v
0
) = (p + 1)(F(v
0
) + 1) = (p + 1) = 2 =
2
p + 1
.
Substituindo em (5):
2v
0
=
2
p + 1
(p + 1)[v
0
[
p1
v
0
v
0
= [v
0
[
p1
v
0
,
no sentido de D

().
Como > 0, entao temos que u :=
(1/p1)
v
0
e uma soluc ao nao nula da
equac ao
_
u = [u[
p1
u em
u = 0 sobre .

15
Func oes semicontnuas inferiormente
Seja X um espaco topologico. Dizemos que : X R e semicontnua in-
feriormente (ou simplesmente s.c.i.) se
1
(a, +) e aberto em X, qualquer
que seja a R (ou ainda,
1
(, a] e fechado em X a R). Em particu-
lar, se X satisfaz o primeiro axioma da enumerabilidade entao : X R e
s.c.i. se, e somente se, ( u) liminf (u
n
) para qualquer u X e seq uencia
u
n
convergindo para u.
Observacao 7 Um espaco topologico satisfaz o o primeiro axioma da enu-
merabilidade se para todo x em X existe uma seq uencia (U
n
)
nN
de vizin-
hancas abertas de x tal que dada uma vizinhanca U de x, existe U
n
com
x U
n
U.
Teorema 3 Seja X um espaco topologico compacto e seja : X R um
funcional s.c.i. Entao e limitado inferiormente e existe u
0
X tal que
(u
0
) = inf
X
.
Prova: Podemos escrever X =

n=1

1
(n, +). Cada conjunto
1
(n, +)
e aberto e X e compacto, ent ao
X =
n
0
_
n=1

1
(n, +),
para algum n
0
N, logo (u) > n
0
para todo u X, de onde concluimos
que e limitado inferiormente.
Seja c = inf
X
> e suponha, por absurdo, que (u) > c u X.
Ent ao X =

n=1

1
(c +
1
n
, +) e novamente, por compacidade de X, existe
k N tal que (u) > c +
1
k
para todo u X, logo c +
1
k
c o que e absurdo.
Portanto, o nmo deve ser atingido.

Uma conseq uencia deste teorema e o resultado seguinte, que representa


uma sntese do chamado Metodo Direto do Calculo das Variac oes.
Teorema 4 Seja E um espaco de Hilbert (ou um espaco de Banach reex-
ivo) e suponha que um funcional : E R e fracamente semicontnuo
16
inferiormente e coercivo. Entao e limitado inferiormente e existe u
0
E
tal que
(u
0
) = inf
E
.
Observacao 8 1. : E R e fracamante semicontnuo inferiormente
(fracamante s.c.i.) se e s.c.i. considerando E com a topologia fraca.
2. : E R e coercivo se (u) + quando |u| +.
Prova: Pela coercividade, escolhemos R > 0 tal que (u) (0) para
todo u E com |u| R. Uma vez que a bola fechada

B
R
(0) e compacta na
topologia fraca e, pela hipotese de fracamente s.c.i., a restric ao :

B
R
(0) R
e s.c.i. na topologia fraca, do Teorema 3 temos a existencia de u
0


B
R
(0)
tal que (u
0
) = inf

B
R
(0)
, da (u
0
) = inf
E
pela escolha de R.

Se o funcional, alem das condic oes deste ultimo teorema, e diferenciavel,


ent ao qualquer ponto de mnimo u
0
e um ponto crtico de , ou seja,

(u
0
) =
0 E

.
Uma outra conseq uencia do Teorema 3 responde `a questao do problema
de minimizac ao mencionado na introducao desta monograa.
Teorema 5 Sob as hipotese de fracamente s.c.i. e coercividade do teorema
anterior, dado um conjunto fechado, convexo C E, existe u C tal que
( u) = inf
C
.
Prova: A demonstracao e uma repetic ao do teorema anterior. Neste caso,
R > 0 e escolhido de maneira que (u) (p) para todo u C com
|u| R, onde p C e um ponto xado. Substituindo

B
R
(0) por

B
R
(0)
C e lembrando que um conjunto fechado, convexo e limitado e fracamente
compacto, obtemos o resultado desejado.

Exemplo 3 Sejam E um espaco de Hilbert, a : E E R uma forma


bilinear contnua satisfazendo a(u, u) |u|
2
para todo u E, algum
> 0 e l : E R um funcional linear contnuo. Considere o funcional
quadraticodenido por
17
(u) =
1
2
a(u, u) l(u) u E.
Entao, dado um conjunto admissvel C, isto e, um subconjunto fechado
e convexo C E, o problema de minimizacao classico
( u) = inf
uC
(u),
tem solucao unica u C.
Prova: A existencia de u C e assegurada pelo Teorema 5, bastando
notar que o funcional , por ser contnuo e convexo, e fracamente s.c.i. (este
resultado sera visto mais adiante).
Neste caso a unicidade segue da convexidade estrita de . Na situacao
especial em que a(u, v) = u, v) temos
(u) =
1
2
|u|
2
u, h) u E,
e e facil ver que o ponto u C tem a caracterizac ao geometrica de ser a
projec ao de h sobre o conjunto convexo C:
u = Proj
C
h .

Exemplos de funcionais fracamente s.c.i.


Exemplo 4 Seja R
n
um domnio limitado e seja f : R R uma
funcao satisfazendo as condicoes de Caratheodory e a seguinte condicao de
crescimento:
1. Existem a, b 0 e 1 <
2N
(N2)
se N 3 [1 < se N = 1, 2]
tais que
[f(x, s)[ a[s[

+b.
Entao o funcional
(u) =
_

f(x, u(x))dx
esta bem denido e e fracamente contnuo no espaco de Sobolev H
1
0
().
18
Prova: Ja vimos que o operador de Nemitskii u(x) f(x, u(x)) esta bem
denido no espaco das func oes mensuraveis em , portanto, esta bem
denido. Por outro lado, sabemos que o espaco de Sobolev H
1
0
() esta imerso
compactamente em L
p
() para qualquer 1 p < 2N/(N 2), em vista do
Teorema de Imersao de Sobolev, e a condic ao de crescimento implica que o
operador de Nemitskii leva o espaco L
p
(), com p no espaco L
p/
()
de um modo contnuo. Da, se u
n
u fracamente em H
1
0
() ent ao u
n
u
fortemente em L
p
() (para 1 p < 2N/(N 2)). Pela continuidade do
operador de Nemitskii, segue-se que
f(., u
n
) f(., u) fortemente em L
p/
.
Como 1
p

temos
f(., u
n
) f(., u) fortemente em L
1
(),
isto e,
(u
n
) (u) sempre que u
n
u fracamente em H
1
0
().
Logo, e fracamente contnua em H
1
0
().

Exemplo 5 Se : E R e um funcional convexo e s.c.i. no espaco de


Banach reexivo E entao e fracamente s.c.i. .
Prova:

E conveniente introduzirmos a ideia de epigraco de :
epi() = (u, a) E R : (u) a.
Utilizando as seguintes equivalencias:
1. e convexo se, e somente se, epi() e convexo.
2. e s.c.i. se, e somente se, epi() e fechado.
3. e fracamente s.c.i. se, e somente se, epi() e fracamente fechado.
E lembrando do fato que um conjunto convexo, fechado de um espaco de
Banach reexivo e fracamente fechado, obtemos o resultado desejado.

19
Aplicacao a um problema de Dirichlet
Vamos agora considerar o seguinte problema de Dirichlet nao linear:
_
u = f(x, u) em
u = 0 sobre
(6)
onde R
N
(N 1) e um domnio limitado e f : R R e uma
func ao satisfazendo as condic oes de Caratheodory e a seguinte condic ao de
crescimento:
1. Existem c, d 0 e 0 <
N+2
N2
se N 3 [ 0 < se N = 1, 2 ]
tais que
[f(x, s)[ c[s[

+d.
Nosso objetivo e encontrar solucoes fracas de (6), isto e, func oes u
H
1
0
() tais que
_

_
uh f(x, u)h
_
dx = 0 h H
1
0
().
Aqui, vamos considerar o espaco de Sobolev H
1
0
() com seu produto
interno usual
u, v) =
_

uv dx v H
1
0
(),
e denir o funcional I : H
1
0
() R pela formula
I(u) =
_

_
1
2
[u[
2
F(x, u)
_
dx u H
1
0
(),
onde F(x, s) =
_
s
0
f(x, t)dt.
Vamos considerar tambem o espaco H
1
0
() munido da norma
|u| =
_
_

[u[
2
dx
_
1/2
.
20
Observacao 9 A norma acima e equivalente `a norma usual
|u| =
_
|u|
2
L
2
()
+|u|
2
L
2
()
_
1/2
,
em virtude da desigualdade de Poincare:
|u|
L
2
()
c|u|
L
2
()
u H
1
0
(),
(veja em Brezis [4]).
Proposicao 2 Suponha que f : R R satisfaz as condicoes de
Caratheodory e a condicao de crescimento do Exemplo 4. Entao o funcional
I : H
1
0
() R acima, associado ao problema (6), esta bem denido. Alem
disso, I e de classe (
1
(H
1
0
, R) com
I

(u)h =
_

(uh f(x, u)h)dx u, h H


1
0
().
Prova: Pela desigualdade de Poincare anteriormente mencionada, podemos
escrever
I(u) =
1
2
|u|
2
(u), (u) =
_

F(x, u)dx.
Provemos ent ao o seguinte:
(a) I esta bem denido

E claro que o funcional (u) =


1
2
[[u[[
2
esta bem denido em H
1
0
() u.
Portanto, basta vericar que o funcional esta bem denido.
De fato, como a funcao f : R R satisfaz as condicoes de
Caratheodory e a condicao de crescimento do Exemplo 4, entao a func ao
F(x, s) tambem satisfaz as mesmas condic oes. Portanto, novamente
pelo Exemplo 4 temos que esta bem denido. Portanto, I esta bem
denido.
(b) I e de classe (
1
em H
1
0
()
Como o funcional (u) =
1
2
[[u[[
2
e claramente de classe (

em H
1
0
(),
basta vericar que e de classe (
1
em H
1
0
().
Mostremos que:
21
(i) e diferenciavel
De fato, xado u H
1
0
(), dena:
(h) = (u +h) (u)
_

f(x, u)h dx
=
_

[F(x, u +h) F(x, u)]dx


_

f(x, u)h dx.


Pelo Teorema Fundamental do Calculo, temos
(h) =
_

_
_
1
0
d
dt
_
F(x, u +th)
_
dt
_
dx
_

_
_
1
0
f(x, u)h dt
_
dx
=
_

_
_
1
0
_
f(x, u +th)h f(x, u)h
_
dt
_
dx
=
_

_
_
1
0
_
f(x, u +th) f(x, u)
_
h dt
_
dx
=
_
1
0
_

_
f(x, u +th) f(x, u)
_
h dxdt.
Tomando modulo em ambos os membros, temos
[(h)[
_
1
0

_
f(x, u +th) f(x, u)
_
h dx

dt.
Por Holder, temos
[(h)[
_
1
0

_
_

[f(x, u +th) f(x, u)[


r
_
1/r
_
_

[h[
s
_
1/s

dt

_
1
0
[[f(x, u +th) f(x, u)[[
L
r
()
[[h[[
L
s
()
dt
= [[h[[
L
s
()
_
1
0
[[f(x, u +th) f(x, u)[[
L
r
()
dt.
Portanto,
[(h)[
[[h[[

_
1
0
[[f(x, u +th) f(x, u)[[
L
r
()
dt. (7)
Aqui r =
2N
N+2
e s =
2N
N2
= 2

(Estamos considerando o caso


N 3. Os casos N = 1, 2 sao analisados de modo separado).
22
Como H
1
0
() L
s
() (imersao de Sobolev), entao, obtemos que
h 0 em H
1
0
() = u +th u em L
s
().
Agora usando o fato que a aplicacao s f(., s) leva o espaco
L
p
() no espaco L
p/
() p de forma contnua, temos
f(x, u +th) f(x, u) em L
s/
,
para 1 s = 2

).
Agora, como r =
2N
N+2
<
s

, segue-se que:
f(x, u +th) f(x, u) em L
r
.
Logo,
[[f(x, u +th) f(x, u)[[
L
r 0.
Portanto, aplicando limite quando h 0 em (7) e usando o Teo-
rema de Lebesgue, temos
[(h)[
[[h[[

_
1
0
[[f(x, u +th) f(x, u)[[
L
r dt 0.
Segue da,
lim
h0
[(h)[
[[h[[
= lim
h0
(u +h) (u)
_

f(x, u)hdx
[[h[[
= 0.
Mostramos assim que : H
1
0
() R e diferenciavel `a Frechet.
(ii)

e contnua
De fato, considere

: H
1
0
() H
1
() , ent ao,
[[

(u +v)

(u)[[
H
1
()
= sup
||h||1

(u +v)

(u)]h

= sup
||h||1

(u +v)h

(u)h

= sup
||h||1

_
f(., u +v) f(., u)
_
h

sup
||h||1
[[f(., u +v) f(., u)[[
L
r [[h[[
L
s
23
onde r =
2N
N+2
e s =
2N
N2
= 2

.
Prosseguindo de modo analogo ao tem (i), teremos que :
f(., u +th) f(., u) em L
r
.
Donde,
[[f(., u +th) f(., u)[[
L
r
()
0 quando v 0 em H
1
0
().
Portanto,
[[

(u +v)

(u)[[
H
1
()
0 quando v 0 em H
1
0
(),
ou seja,

(u +v)

(u) quando (u +v) u em H


1
0
().
Logo,

e contnua.
Portanto, I (
1
(H
1
0
()).
(c) Provemos que
I

(u)h =
_

_
uh f(x, u)h
_
dx u, h H
1
0
().
Temos que
I

(u)h = lim
t0
I(u +th) I(u)
t
= lim
t0
1
2
_

[(u +th)[
2

_
F(x, u +th) F(x, u)
_

1
2
_

[ u [
2
t
= lim
t0
_

_
1
2
[u[
2
+tuh +
t
2
2
[h[
2

1
2
[u[
2
_

_
F(x, u +th) F(x, u)
_
t
= lim
t0
t
_

uh +
t
2
2
_

[h[
2

_
F(x, u +th) F(x, u)
_
t
= lim
t0
_
_

uh +
t
2
_

[h[
2

_
F(x, u +th) F(x, u)
t
__
=
_

uh
_

f(x, u)h
24
Ou seja,
I

(u)h =
_

_
uh f(x, u)h
_
dx u, h H
1
0
().

Observacao 10 Temos que u H


1
0
() e uma solucao fraca de (6) se, e
somente se, u e um ponto crtico de I.
Apresentamos a seguir um teorema relacionado com o problema colocado
no incio desta secao.
Teorema 6 Suponha que f :

R R e uma funcao de Caratheodory
satisfazendo as condicoes:
1. Existem c, d 0 e 0 <
N+2
N2
se N 3 [ 0 < se N = 1, 2 ]
tais que
[f(x, s)[ c[s[

+d.
2. Existe <
1
tal que limsup
|s|
f(x, s)
s
uniformemente em x .
Entao (6) possui uma solucao fraca u H
1
0
().
Prova: Em vista da Proposic ao 2, vamos encontrar um ponto crtico do
funcional (
1
(H
1
0
, R) dado por
(u) =
1
2
|u|
2
(u), (u) =
_

F(x, u)dx.
Como sabemos, q(u) =
1
2
|u|
2
e fracamente s.c.i. e e fracamente
contnuo. Portanto
(a) e fracamente s.c.i.
Por outro lado, a condicao (2) da hipotese implica que
(2) limsup
|s|
2F(x, s)
s
2
uniformemente em x ,
25
e portanto, xando
1
com <
1
<
1
, obtemos R
1
tal que F(x, s)
1
2

1
s
2
para todo x e [s[ R
1
. E como a condicao (1) fornece F(x, s)
1
para
todo x e [s[ R
1
, nos obtemos a estimativa
F(x, s)
1
2

1
s
2
+
1
x s R.
Esta implica a seguinte estimativa por baixo para
(u)
1
2
_

[u[
2
dx
1
2

1
_

u
2
dx
1
[[,
a qual, com a Desigualdade de Poincare , fornece
(u)
1
2
(1

1

1
)
_

[u[
2
dx =
1
2
a|u|
2
,
onde a = 1

1

1
> 0. Logo
(b) e coercivo em H
1
0
Finalmente, por (a), (b) e pelo Teorema 4, segue que existe u
0
H
1
0
tal
que (u
0
) = inf
H
1
0
. Portanto u
0
e um ponto crtico de e a demonstrac ao
esta completa.

26
Referencias Bibliogracas
[1] Mawhim, Jean & Willem, Michel. Critical Point Theory and Hamilto-
nian Systems, Springer-Verlag, New York, EUA (1989).
[2] Grossinho, Maria do Rosario & Tersian, Stepan Agop. An Introduction
to Minimax Theorems and their Applications to Dierential Equations,
Kluwer Publishers, Dordrecht, Holanda (2001).
[3] Costa, David Goldstein. Topicos em Analise Nao-Linear e Aplicacoes
` as Equacoes Diferenciais, CNPq-IMPA, Rio de Janeiro, Brasil (1986).
[4] Brezis, Haim. Analyse Fonctionelle theorie et applications, MASSON,
Paris, Franca (1983).
[5] Kreyszig, E. Introductory Functional Analysis with Applications, Wiley,
EUA (1978).
[6] Lima, Elon Lages. Espacos Metricos, IMPA, Rio de Janeiro, Brasil
(1977).
[7] Lima, Elon Lages. Curso de Analise - Vol. 2, IMPA, Rio de Janeiro,
Brasil (1981).
27