Resumo

Neste trabalho usamos mtodos variacionais para mostrar a existncia de soluo

fraca para dois tipos de problema. O primeiro trata-se de uma Equao Diferencial
Ordinria do tipo
u

(t) +G

(u(t)) = f(t).
O segundo referente ao sistema Hamiltoniano
u

(t) = JH(t, u(t)).

Abstract
In this work we use variational methods to show the existence of weak solutions
for two types problems. The rst, is related with a following Ordinary Dierential
Equations of the form
u

(t) +G

(u(t)) = f(t).
The second is relating at the Hamiltonian Systems
u

(t) = JH(t, u(t)).

Universidade Federal de Campina Grande
Centro de Cincias e Teconologia
Programa de Ps-Graduao em Matemtica
Curso de Mestrado em Matemtica
Teoria dos Pontos Crticos e Sistemas
Hamiltonianos
por
Leopoldo Maurcio Tavares Barbosa

sob orientao do
Prof. Dr. Jos de Arimatia Fernandes
Prof. Dr. Claudianor Oliveira Alves
Dissertao apresentada ao Corpo Docente do Programa
de Ps-Graduao em Matemtica - CCT - UFCG, como
requisito parcial para obteno do ttulo de Mestre em
Matemtica.
Campina Grande - PB
Outubro de 2007

O autor contou com apoio nanceiro da Capes

Teoria dos Pontos Crticos e Sistemas
Hamiltonianos
por
Leopoldo Maurcio Tavares Barbosa
Dissertao apresentada ao Corpo Docente do Programa de Ps-Graduao em
Matemtica - CCT - UFCG, como requisito parcial para obteno do ttulo de Mestre
em Matemtica.
rea de Concentrao: Anlise
Aprovada por:

Prof. Dr. Giovany de Jesus Malcher Figueiredo - UFPA

Prof. Dr. Angelo Roncalli Furtado de Holanda - UFCG

Prof. Dr. Jos de Arimatia Fernandes - UFCG

Orientador

Prof. Dr. Claudianor Oliveira Alves - UFCG

Orientador
Universidade Federal de Campina Grande
Centro de Cincias e Tecnologia
Programa de Ps-Graduao em Matemtica
Curso de Mestrado em Matemtica
Outubro de 2007
ii
Agradecimentos
-Primeiramente, agradeo a Deus por todas as benos e as graas alcanadas.
-Aos Professores Jos de Arimatia e Claudianor Oliveira pela ateno e pacincia
durante a realizao deste trabalho.
-Ao Professor Marco Aurlio pela ateno e auxilio dado durante todo o curso.
-Aos Professores Giovany e Angelo por terem aceitado me avaliar, fazendo parte da
banca examinadora.
-A todos que fazem parte da minha famlia, em especial a meu irmo Renato Maurcio
pelo apoio e conana depositada em mim.
-Aos professores da Ps-Graduao: Daniel Cordeiro, Jaime, Marco Aurlio e Arimatia
pelas disciplinas lecionadas e que contribuiram para a formao do meu conhecimento.
-Aos professores: Vnio e Braulio pela conana a mim atribuida.
-A todos os que fazem parte do Departamento de Matemtica e Estatstica da UFCG.
-Aos colegas de curso pelo companherismo, motivao e que diretamente contriburam
para a elaborao deste trabalho.
-A Capes pelo apoio nanceiro.
-Aos projetos Casadinho/CNPQ e Instituto do Milnio.
iii
Dedicatria
A minha famlia em especial a
meu irmo Renato Maurcio.
iv
Notaes
(1) (., .) produto interno.
(2) Se f : R
N
R
N
uma funo, usamos ao longo da dissertao as seguintes
notaes:
(i) |v| referente a norma usual de v no R
N
.
(ii) [x[ o valor absoluto de x, se n = 1.
(3) Se f : X Y uma funo com X e Y espaos de Banach, usamos as mesmas
notaes do item (2).
(4) [.] referncia bibliogrca.
(5) D

derivada no sentido das distribuies.

(6) X

espao dual de X.
(7) convergncia fraca.
(8) q.t.p quase todo ponto.
(9)
c
= u X : (u) c.
(10) K
c
= u X : (u) = c e

(u) = 0.
(11) A

= u X : dist(u, A) .
(12) C
k
Espao dos vetores com k coordenadas complexas.
(13) dist(u, A) = inf|u v|; v A distncia do ponto u ao conjunto A.
(14) |v|
W
1,p
([0,T])
=
__
T
0
|v(t)|
p
dt +
_
T
0
|v

(t)|
p
dt
_
1
p
norma no Espao W
1,p
([0, T]).
Contedo
Notaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1 Princpios de Minimax 9
1.1 Pseudo - gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Lema de Deformao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3 Condies de Compacidade . . . . . . . . . . . . . . . . . . . . . . . . 21
2 Solues Peridicas da Equao do Pndulo Forado 29
2.1 A Desigualdade de Wirtinger . . . . . . . . . . . . . . . . . . . . . . . 30
2.2 Existncia de Soluo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 A Transformada de Legendre 46
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 Funes Convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.3 Funo de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.4 Inequaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.5 Dual Hamiltoniano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.6 Solues Peridicas para o Sistema Hamiltoniano Convexo . . . . . . . 78
3.7 Subharmnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.8 Oscilaes Livres com Perodo Minimal Prescrito . . . . . . . . . . . . 98
3.9 Oscilaes Livres com Energia Prescrita . . . . . . . . . . . . . . . . . 102
4 Pontos Crticos de Funcionais Invariantes 114
4.1 S
1
-ndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
ii
4.2 O Lema de Deformao . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
4.3 Teorema da Multiplicidade . . . . . . . . . . . . . . . . . . . . . . . . . 130
4.4 Multiplicidade de rbitas Hamiltonianas Peridicas em uma Superfcie
Convexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
A Sries de Fourier 144
B Funcionais Diferenciveis 147
C Resultados Gerais 153
Bibliograa 157
Introduo
Nesta dissertao nos baseamos principalmente em [12] que corresponde ao curso
de Mtodos de Minimax em Teoria de Pontos Crticos que foi ministrado na Universi-
dade de Braslia em Janeiro e Fevereiro de 1983. Estamos interessados em usar mtodos
variacionais para determinar solues fracas para os seguintes problemas. O primeiro
trata-se de uma Equao Diferencial Ordinria do tipo
u

(t) +G

(u(t)) = f(t). (1)

Em particular, se considerarmos G(u) = cosu, obtemos a equao do pndulo forado
u

(t) +sen(u(t)) = f(t).

A existncia de soluo T-peridica para a equao (1) devido a Ambrosetti-Rabinowitz
e consiste em determinar os pontos crticos do funcional energia denido por
(u) =
_
T
0
_
u

2
2
G(u) +fu
_
dt.
O segundo problema trata-se de encontrar solues peridicas para o sistema Hamil-
toniano forado
u

(t) = JH(t, u(t))

e para o sistema Hamiltoniano livre
u

(t) = JH(u(t))
onde J : R
2N
R
2N
tal que
J(x, y) = (y, x)
7
e denota o gradiente com respeito a u.
No caso forado natural assumir que H T-peridica com respeito a t e observar
solues T-peridicas ou solues kT-peridicas para algum k 2, o qual chamaremos
posteriormente de solues subharmnicas.
No caso livre natural observar solues peridicas no-constantes com perodo
prescrito ou energia prescrita.
No Captulo 1 zemos um breve estudo sobre Pseudo-gradiente, o qual uma
ferramenta importante para o desenvolvimento do Lema de Deformao que foi abor-
dado neste captulo. Alm disso, denimos algumas condies de compacidade que
so de grande importncia para o desenvolvimento e o entendimento dos Lemas e os
Teoremas abstratos que sero vistos no decorrer desta dissertao.
No Captulo 2 primeiramente mostramos algumas desigualdades, dentre as quais,
a desigualdade de Wirtinger, as quais so muito importantes no estudo de solues pe-
ridicas. Mostramos tambm que o espao vetorial
H =
_
u : R R; u absolutamente contnua, T-peridica e
_
T
0
[u

(t)[
2
dt <
_
,
um espao de Hilbert com relao ao produto interno denido por
(u, v) =
_
T
0
(u

+uv)dt,
e o funcional energia associado a equao (1) satisfaz a condio Fraca de Palais-
Smale (WPS) denida no Captulo 1. Alm disso, vericamos a existncia de soluo
T-peridica para a equao
u

(t) +G

(u(t)) = f(t),
onde G C
1
(R, R) uma funo 2-peridica e f C(R, R) uma funo T-peridica.
No Captulo 3 zemos um breve estudo sobre funo de Legendre e transformada
de Legendre, os quais sero muito utilizados na procura de solues peridicas para o
sistema Hamiltoniano convexo. No primeiro momento nos preocupamos em encontrar
solues peridicas para o sistema Hamiltoniano forado
u

(t) = JH(t, u(t)).

Num segundo momento encontramos solues peridicas para o sistema Hamiltoniano
livre
u

(t) = JH(u(t))
8
com perodo minimal prescrito e com energia prescrita.
No Captulo 4 zemos um breve estudo sobre funcionais invariantes, subcon-
juntos invariantes e aplicaes invariantes, que sero de muita importncia para mos-
trarmos e entendermos uma forma mais geral do Lema de Deformao e o Teorema da
Multiplicidade de pontos crticos que abordaremos neste captulo. Alm disso, vamos
fazer um breve estudo sobre o nmero de rbitas Hamiltonianas peridicas em uma
superfcie convexa.
No Apndice A zemos uma breve reviso sobre as sries de Fourier.
No Apndice B denimos a derivada de Frchet e mostramos que os funcionais
utilizados na dissertao so de classe C
1
.
Finalmente no Apndice C enunciamos alguns resultados da Anlise funcional,
Teoria da medida e Espaos de Sobolev que foram usados na dissertao.
Captulo 1
Princpios de Minimax
Neste captulo nosso objetivo demonstrar o Lema de Deformao e alguns Teore-
mas abstratos, os quais sero de grande importncia no desenvolvimento dos prximos
captulos, para tanto, usaremos o conceito de pseudo-gradiente e algumas condies de
compacidade.
1.1 Pseudo - gradiente
Denio 1.1 Seja X um espao de Banach, C
1
(X, R) e Y = u X :

(u) ,=
0. Um campo vetorial pseudo-gradiente para em Y uma aplicao contnua local-
mente Lipschitziana V : Y X tal que, para cada u Y ,
|V (u)| 2 |

(u)|, (1.1)

(u), V (u)) |

(u)|
2
. (1.2)
Lema 1.1 Sob as hipteses da Denio 1.1, existe um campo vetorial pseudo-gradiente
para em Y .
Demonstrao:
Dado u Y , temos

(u) ,= 0 e
|

(u)| = sup

(u), w) : |w| = 1.
Segue da denio de supremo que dado =

(u)
3
> 0, existe w
u
X com |w
u
| = 1
e

(u), w
u
) > |

(u)|
10
implicando

(u), w
u
) >
2
3
|

(u)|.
Considerando a funo v : Y X dada por
v(u) =
3
2
|

(u)| w
u
e denotando v = v(u), temos
|v| =
3
2
|

(u)| < 2 |

(u)|. (1.3)
Por outro lado,

(u), v) =
3
2
|

(u)|

(u), w
u
)
de onde segue,

(u), v) >
3
2
|

(u)|
2
3
|

(u)|
logo,

(u), v) > |

(u)|
2
. (1.4)
Visto que

contnua, existe uma vizinhana aberta N

u
de u em Y tal que
|v| < 2 |

(w)| , w N
u
(1.5)
e

(w), v) > |

(w)|
2
, w N
u
. (1.6)
Desde que a famlia N
u
, u Y uma cobertura aberta de Y , existe um renamento
localmente nito N
u
i
de Y (Ver[10]).
No que segue, consideramos

i
(u) = dist(u, (N
u
i
)
c
), u Y
e
V (u) =

i
(u)

j
(u)
v
i
, u Y (1.7)
onde
v
i
=
3
2
|

(u
i
)| w
u
i
.
11
Sendo N
u
i
localmente nita, cada u Y s pertence apenas a um nmero nito de N
u
i
(Ver[10]). Logo as somas denidas em (1.7) so nitas, pois
i
se anula fora de N
u
i
.
Assim V (u) uma combinao convexa dos v

i
s, que vericam
|v
i
| < 2 |

(u)|, u N
u
i
e

(u), v
i
) > |

(u)|
2
, u N
u
i
.
Logo, dado u Y
V (u) =
n

i=1

i
(u)
n

j=1

j
(u)
v
i
=

1
(u)
n

j=1

j
(u)
v
1
+

2
(u)
n

j=1

j
(u)
v
2
+... +

n
(u)
n

j=1

j
(u)
v
n
implicando que,
|V (u)|

1
(u)
n

j=1

j
(u)
|v
1
| +

2
(u)
n

j=1

j
(u)
|v
2
| +... +

n
(u)
n

j=1

j
(u)
|v
n
|
e portanto,
|V (u)|
n

i=1

i
(u)
n

j=1

j
(u)
|v
i
| =
1
n

j=1

j
(u)
n

i=1

i
(u)|v
i
|.
Sendo as somas acima nitas para cada u, segue que
|V (u)| 2|

(u)|
e

(u), V (u)) |

(u)|
2
.
Para mostrar que V localmente lipschitiziana, basta mostrar que cada parcela

i
(u)
n

j=1

j
(u)
|v
i
|
localmente lipschitziana.Observando que para cada i, |v
i
| constante, vamos mostrar
que no caso de duas parcelas a funo
g(u) =

1
(u)

1
(u) +
2
(u)
12
localmente lipschitziana. Para tanto considerando z arbitrrio tal que u, v V
z
temos,
g(u) g(v) =

1
(u)

1
(u) +
2
(u)


1
(v)

1
(v) +
2
(v)
donde segue,
g(u) g(v) =

1
(u)
1
(v) +
1
(u)
2
(v)
1
(u)
1
(v)
1
(v)
2
(u)
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
o que implica,
g(u) g(v) =

1
(u)
2
(v)
1
(v)
2
(u)
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
.
Assim,
g(u) g(v) =

1
(u)
2
(v)
1
(v)
2
(v) +
1
(v)
2
(v)
1
(v)
2
(u)
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
de onde segue que,
g(u) g(v) =

2
(v) [
1
(u)
1
(v)]
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
+

1
(v) [
2
(v)
2
(u)]
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
e consequentemente,
[g(u) g(v)[

2
(v)
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
[
1
(u)
1
(v)[ +
+

1
(v)
[
1
(u) +
2
(u)] [
1
(v) +
2
(v)]
[
2
(v)
2
(u)[.
Sendo
1
e
2
funes lipschitzianas, existem K
1
e K
2
tais que [
1
(u)
1
(v)[ K
1
|u v| e [
2
(v)
2
(u)[ K
2
|u v|, logo
[g(u) g(v)[
1
[
1
(u) +
2
(u)]

2
(v)
[
1
(v) +
2
(v)]
K
1
|u v| +
+
1
[
1
(u) +
2
(u)]

1
(v)
[
1
(v) +
2
(v)]
K
2
|u v|.
Desde que
1
(u) +
2
(u) > 0 , existe a > 0 tal que
1
(u) +
2
(u) > a > 0 e como
1
e

2
so funes contnuas, existe uma vizinhana V
z
de u tal que

1
(v) +
2
(v) > a , v V
z
.
Portanto,
[g(u) g(v)[
1
a
K
1
|u v| +
1
a
K
2
|u v|
13
pois,

1
(v)

1
(v) +
2
(v)
1 ,

2
(v)

1
(v) +
2
(v)
1.
Logo,
[g(u) g(v)[
1
a
(K
1
+K
2
)|u v| , u, v V
z
mostrando que g localmente lipschitziana. Conclundo assim que V um campo
vetorial pseudo-gradiente para em Y .
1.2 Lema de Deformao
Nesta subseo iremos demonstrar alguns lemas de deformao, o primeiro deles
o lema de deformao de Clark.
Considerando X um Espao de Banach, para S X e > 0 denamos
S

= u X : dist(u, S) .
Lema 1.2 Sejam C
1
(X, R) , S X , c R e , > 0 tais que, para todo
u
1
([ c 2 , c + 2 ]) S
2
,
|

(u)|
4

. (1.8)
Ento, existe C( [ 0, 1 ] X, X) tal que
(i) (0, u) = u, u X
(ii) (t, u) = u, u (
1
([ c 2 , c + 2 ]) S
2
)
c
, t [0, 1]
(iii) (1,
c+
S)
c
S

(iv) (t, .) um homeomorsmo para todo t [0, 1].

Demonstrao:
No que segue denotamos por A, B X os seguintes conjuntos
A =
1
([ c 2 , c + 2 ]) S
2
e
B =
1
([ c , c + ]) S

.
14
Pelo Lema 1.1, existe um campo vetorial pseudo-gradiente V para em
Y = u X :

(u) ,= 0. Sendo A =
1
([ c 2 , c + 2 ]) S
2
, segue que
A Y . De fato, por (1.8)
|

(u)|
4

> 0, u A
logo

(u) ,= 0, mostrando que A Y .

Considerando a funo : X R localmente lipschitziana dada por
(u) =

1
(u)

1
(u) +
2
(u)
onde

1
(u) = dist(u, A
c
)
e

2
(u) = dist(u, B)
tem-se,
_

_
(u) = 1 em B
(u) = 0 em A
c
0 (u) 1 em X.
(1.9)
Se f : X X o campo vetorial denido por
f(u) =
_

(u)
|V (u)|
V (u) em A
0 em A
c
note que f localmente lipschitziana, pois
f(u) f(v) =
(v)
|V (v)|
V (v)
(u)
|V (u)|
V (u)
da,
f(u) f(v) =
(v) |V (u)| V (v) (u) |V (v)| V (u)
|V (u)| |V (v)|
assim,
f(u) f(v) =
1
|V (u)| |V (v)|
[(v) |V (u)| V (v) (u) |V (u)| V (v)+
+(u) |V (u)| V (v) (u) |V (v)| V (v) +(u) |V (v)| V (v) (u) |V (v)| V (u)]
15
consequentemente,
f(u) f(v) =
1
|V (u)| |V (v)|
|V (u)| V (v) ((v) (u))+
+(u) |V (v)|(V (v) V (u)) +(u) V (v)(|V (u)| |V (v)|)
logo,
|f(u) f(v)| [(v) (u)[ +
(u)
|V (u)|
|V (v) V (u)| +
(u)
|V (u)|
|V (u) V (v)|.
Sendo e V localmente lipschitzianos, existem K
1
, K
2
> 0 e z arbitrrio tal que
u, v V
z
satisfazendo
[(v) (u)[ K
1
|v u|, u, v V
z
e
|V (v) V (u)| K
2
|v u|, u, v V
z
mostrando que,
|f(u) f(v)| K
1
|v u| +
(u)
|V (u)|
K
2
|v u| +
(u)
|V (u)|
K
2
|v u|
logo,
|f(u) f(v)|
_
K
1
+ 2
(u)
|V (u)|
K
2
_
|v u|.
Usando a continuidade das funes e V , podemos concluir que f localmente lips-
chitziana. Usando o fato que a funo f limitada e localmente lipschitziana, para
cada u X , o problema de Cauchy, que denotaremos por (PC),
(PC)
_
_
_
dw
dt
(t) = f(w(t))
w(0) = u
possui uma nica soluo, a qual denotaremos por w(t, u), sendo denida para todo
t 0.
No que segue, consideramos : [0, 1] X X o campo vetorial dado por
(t, u) = w(t, u).
16
Assim,
(0, u) = w(0, u) = u
isto ,
(0, u) = u
mostrando (i).
Seja u A
c
e dena w
1
(t) = u. Observe que
w

1
(t) = 0 = f(w
1
(t))
pois, se u A
c
, tem-se f(u) = 0. Desse modo
_
_
_
w

1
(t) = f(w
1
(t))
w
1
(0) = u.
Logo, pela unicidade de soluo de (PC), devemos ter
w
1
(t) = w(t, u) = u, u A
c
e t [0, 1],
e consequentemente
(t, u) = u, u A
c
e t [0, 1]
o que mostra (ii).
Agora, observe que para t 0 ,
w(t, u) w(0, u) =
_
t
0
d
d
(w(, u))d
assim,
|w(t, u) w(0, u)| =
_
_
_
_
_
t
0
f(w(, u))d
_
_
_
_

_
t
0
|f(w(, u))|d
o que implica,
|w(t, u) u|
_
t
0
[(w(, u))[
|V (w(, u))|
|V (w(, u))| d.
Usando (1.9)
|w(t, u) u|
_
t
0
1 d = t (1.10)
o que mostra que se u S, ento w(t, u) S
t
. De acordo com a igualdade
d
dt
(w(t, u)) =

(w(t, u)), w

(t, u))
17
temos,
d
dt
(w(t, u)) =

(w(t, u)), f(w(t, u)))

consequentemente,
d
dt
(w(t, u)) =

(w(t, u)),
(w(t, u))
|V (w(t, u))|
V (w(t, u)))
logo,
d
dt
(w(t, u)) =
(w(t, u))
|V (w(t, u))|

(w(t, u)), V (w(t, u))).

Sendo V um campo vetorial pseudo-gradiente para , temos
d
dt
(w(t, u))
(w(t, u))
|V (w(t, u))|
|

(w(t, u))|
2
0.
Portanto, a aplicao
t (w(. , u))
no-crescente.
Se u
c+
S, iremos considerar dois casos:
(1) Para algum t [0, ], temos (w(t, u)) c .
Assim, como (w(. , u)) no-crescente,
(w(, u)) (w(t, u)) c
donde segue,
w(, u)
c
.
Por outro lado, de (1.10),
|w(, u) u|
assim,
w(, u) S

implicando que
w(, u)
c
S

.
Segue da denio de , que
(1, u)
c
S

18
e portanto,
(1,
c+
S)
c
S

.
(2) Para todo t [0, ] , temos (w(t, u)) c .
Visto que (w(. , u)) no-crescente,
(w(t, u)) (w(0, u)) = (u) c +.
Por (1.10),
|w(t, u) u|
assim,
w(t, u) S

,
portanto,
w(t, u) B =
1
([ c , c + ]) S

.
Uma vez que,
(w(, u)) = (u) +
_

0
d
dt
(w(t, u)) dt
temos, por (PC)
(w(, u)) = (u) +
_

0

(w(t, u)), f(w(t, u)))dt

isto ,
(w(, u)) = (u)
_

0
(w(t, u))
|V (w(t, u))|

(w(t, u)), V (w(t, u)))dt.

Usando o fato que V um campo vetorial pseudo-gradiente para ,
(w(, u)) (u)
_

0
(w(t, u))
|V (w(t, u))|
|

(w(t, u))|
2
dt
ou ainda
(w(, u)) (u)
_

0
(w(t, u))
2
|

(w(t, u))| dt.

Sendo u
c+
S e w(t, u) B,
(w(, u)) c +
_

0
1
2
|

(w(t, u))| dt
e por (1.8),
(w(, u)) c +
1
2
_

0
4

dt
19
logo,
(w(, u)) c + 2 = c
portanto,
w(, u)
c
S

.
Pela denio de ,
(1, u)
c
S

.
Assim, em qualquer dos casos (1) ou (2), encontramos
(1,
c+
S)
c
S

,
O que prova (iii).
Finalmente, para mostrarmos (iv), consideramos as funes
h : X X
u h(u) = w(t, u)
e
g : X X
u g(u) = w(t, u).
Observe que
(h g)(u) = w(t, g(u))
o que implica,
(h g)(u) = w(t, w(t, u)).
Consequentemente,
(h g)(u) = w(t t, u)) = w(0, u) = u
isto ,
(h g)(u) = u.
20
Analogamente,
(g h)(u) = u
mostrando assim que inversvel.
Visto que, w(t, u) contnua pela dependncia contnua com relao aos dados
iniciais, temos de modo anlogo que w(t, u) contnua, assm conclumos que
um homeomorsmo, para todo t [0, 1]. Mostrando (iv).
Corolrio 1.2 Sejam C
1
(X, R) limitada inferiormente, v X e > 0 tal que
(v) inf + . Ento, para todo > 0 existe u X tal que |u v| 2 ,
(u) inf + 2 e |

(u)| <
4

.
Demonstrao:
Sendo limitado inferiormente, considere c = inf, S = v e observe que
v
1
([ inf , inf + ]) S. (1.11)
Agora, suponha por contradio que existe > 0, tal que para todo u X vericando
|u v| 2 e (u) c + 2
ou seja,
u
1
([c 2, c + 2]) S
2
(1.12)
tem-se,
|

(u)|
4

.
Usando o item (iii) do Lema 1.2,
(1, v)
c
S

,
o que um absurdo, pois
c
= .
21
1.3 Condies de Compacidade
O Corolrio 1.2 ainda no implica na existncia de um ponto crtico para . A m
de provar a existncia de pontos crticos, veremos algumas condies de compacidade
para .
Denio 1.3 Sejam C
1
(X, R) e c R.
O funcional satisfaz a condio de Palais-Smale (PS), se toda sequncia
u
n
X tal que ((u
n
)) limitada e

(u
n
) 0 tem uma subsequncia convergente.
O funcional satisfaz a condio de Palais-Smale fraca (WPS) se toda sequncia
limitada u
n
X tal que ((u
n
)) limitada e

(u
n
) 0 tem uma subsequncia
convergente.
O funcional satisfaz a condio (PS)
c
se, quando u
n
X tal que
(u
n
) c e

(u
n
) 0, ento c um valor crtico de .
Lema 1.3 A condio (PS) implica ao mesmo tempo em (WPS) e (PS)
c
para todo
c R.
Demonstrao:
Primeiramente, vamos mostrar que a condio (PS) implica na condio (WPS)
De fato, seja (u
n
) uma sequncia limitada em X tal que ((u
n
)) limitada e

(u
n
) 0, logo (u
n
) limitada e

(u
n
) 0, como por hiptese (u
n
) satisfaz (PS)
segue que (u
n
) tem uma subsequncia convergente.
Portanto, (PS) (WPS) .
Agora, mostraremos que a condio (PS) implica na condio (PS)
c
.
Com efeito, considere uma sequncia u
n
X tal que (u
n
) c e

(u
n
) 0.
Visto que por hiptese satisfaz (PS), segue que existe uma subsequncia (u
n
j
) de
(u
n
) tal que u
n
j
u X. Sendo C
1
em X, temos

(u) =

(lim u
n
j
) = lim

(u
n
j
) = 0
e
(u) = (lim u
n
j
) = lim (u
n
j
) = c
logo,
(u) = c e

(u) = 0
ou seja, c um valor crtico de . Portanto, (PS) (PS)
c
.
22
Lema 1.4 Sejam C
1
(X, R) e d R. Se satisfaz (PS)
d
e se d no valor crtico
de , ento para todo > 0 sucientemente pequeno existe C ( [ 0, 1 ] X, X) tal
que:
(i) (0, u) = u , u X
(ii) (t, u) = u , u (
1
([ d 2, d + 2 ]))
c
, t [0, 1]
(iii) (1,
d+
)
d
(iv) (t, .) homeomorsmo para todo t [0, 1].
Demonstrao:
Uma vez que por hiptese d no valor crtico de , existem , > 0 tais que,
se u
1
([d 2, d + 2]) ento |

(u)| .
Com efeito, pois caso contrrio existiria uma sequncia (u
n
) vericando
u
n

1
__
d
1
n
, d +
1
n
__
e |

(u
n
)| <
1
n
isto ,
(u
n
)
__
d
1
n
, d +
1
n
__
e |

(u
n
)| 0
ou ainda,
(u
n
) d e |

(u
n
)| 0.
Como por hiptese satisfaz (PS)
d
, d seria um valor crtico de , o que um absurdo.
Portanto existem , > 0 tais que, se u
1
([d2, d+2]) ento |

(u)| .
Considerando
(0, ] , S = X e =
4

para cada,
u
1
([d 2, d + 2]) S
2
temos,
|

(u)|
4

logo, pelo Lema 1.2, existe C ([ 0, 1 ] X, X) sastifazendo (i) , (ii) , (iii) e (iv).
Teorema 1.4 Seja C
1
(X, R) limitada inferiormente e seja c = inf . Se satisfaz
a condio (PS)
c
, ento c um valor crtico (e o mnimo) de .
23
Demonstrao:
Suponhamos por contradio que c no um valor crtico de , ento pelo Lema
1.4, existem > 0 e C ([ 0, 1 ] X, X) tais que
(1,
c+
)
c
o que um absurdo, pois c = inf .
Teorema 1.5 Sejam C
1
(X, R), u ,= v X, c = inf
g
max
0t1
(g(t)) e
= g C ([ 0, 1 ], X) : g(0) = u e g(1) = v . Se
(i) satisfaz a condio (PS)
c
(ii) Existem 0 < R < |u v| e b R tais que se |w u| = R, ento (w) b > a
= max(u), (v).
Ento c b e c valor crtico de .
Demonstrao:
Usando a condio (ii), para cada g , pelo Teorema do Valor Intermedirio
(Ver [9]), existe t
0
[0, 1] tal que
|g(t
0
) u| = R
de onde encontramos,
(g(t
0
)) b > a = max(u), (v)
e consequentemente,
max
0t1
(g(t)) b
mostrando que,
c = inf
g
max
0t1
(g(t)) b.
Suponhamos por contradio que c no valor crtico de e xemos
_
0,
c a
2
_
,
ento pelo Lema 1.4, existe C ([ 0, 1 ] X, X) satisfazendo (i), (ii), (iii) e (iv).
Segue da denio de nmo que existe g vericando
max
0t1
(g(t)) c +. (1.13)
Denindo,
h(t) = (1, g(t))
24
temos, h(t) C([0, 1], X), e como
a = max(u), (v)
devemos ter
(u) < c 2 e (v) < c 2
ou seja,
v, u (
1
([c 2, c + 2]))
c
pelo item (ii) do Lema 1.4, obtemos
h(0) = (1, g(0)) = (1, u) = u
e
h(1) = (1, g(1)) = (1, v) = v
isto ,
h(0) = u e h(1) = v
portanto, h .
Por (iii) do Lema 1.4,
(1,
c+
)
c
juntamente com (1.13), temos
g(t)
c+
assim,
(1, g(t))
c
donde conclumos,
((1, g(t))) c
portanto,
(h(t)) c , t [0, 1]
mostrando que,
max
0t1
(h(t)) c
o que um absurdo , pois
c = inf
g
max
0t1
(g(t)).
25
Teorema 1.6 Sejam C
1
(X, R), u ,= v X, c = inf
g
max
0t1
(g(t)) e
= g C( [ 0, 1 ], X) : g(0) = u e g(1) = v . Se
(i) satisfaz as condies (PS)
c
e (WPS)
(ii) Existem 0 < r < R < |u v| tais que se r |w v| R, ento (w) a =
max(u), (v).
Ento, c a valor crtico de . Alm disso, se c = a, existe um ponto crtico
w tal que (w) = a e |w u| =
R +r
2
.
Demonstrao:
Observe que, se c > a suciente usar a prova do Teorema 1.5.
Agora, consideremos c = a e n N

tal que
1

n

R r
2
. (1.14)
Segue da denio de c, que existe g tal que
max
0t1
(g(t)) a +
1
n
o que implica,
(g(t)) a +
1
n
, t [0, 1]
e consequentemente,
g(t)
a+
1
n
, t [0, 1].
Armao: Para cada g , existe t
n
[0, 1] tal que |g(t
n
) u| =
R +r
2
.
De fato, considere a funo f : [0, 1] R tal que
f(t) = |g(t) u|, g .
Note que f C([0, 1], R) e
f(0) = |g(0) u| = 0.
Alm disso, sendo 0 < r < R, temos
r
2
< r <
R +r
2
< R.
Assim,
f(1) = |g(1) u| = |v u| > R >
R +r
2
26
e
f(0) <
R +r
2
< f(1).
Sendo f contnua, pelo Teorema do Valor Intermedirio (ver[9]), existe t
n
[0, 1] tal
que
f(t
n
) =
R +r
2
e portanto,
|g(t
n
) u| =
R +r
2
.
Escrevendo,
u
n
= g(t
n
)
temos,
a (u
n
) a +
1
n
(1.15)
e
|u
n
u| =
R +r
2
.
Considere,
S = u
n
, c = a , =
1
n
, =
1

n
(1.16)
e suponhamos que, para todo
u
1
__
c
2
n
, c +
2
n
__
S 2

n
temos
|

(u)|
4

n
.
Ento, pelo Lema 1.2, existe C ([ 0, 1 ] X, X) tal que
(1,
c+
S)
c
S

.
Por (1.15) e (1.16),
u
n

c+
S
e
v
n
= (1, u
n
)
a
1
n
S 1

n
.
Assim,
(v
n
) a
1
n
< a (1.17)
27
e
|v
n
u| |v
n
u
n
| +|u
n
u|
implicando,
|v
n
u|
1

n
+
R +r
2
.
Usando (1.14),
|v
n
u|
R r
2
+
R +r
2
= R
isto ,
|v
n
u| R.
Por outro lado,
|u
n
u| |v
n
u| +|v
n
u
n
|
assim,
|v
n
u| |u
n
u| |v
n
u
n
|
R +r
2

1

n
e por (1.14),
|v
n
u|
R +r
2

R r
2
= r
logo,
r |v
n
u| R
implicando por (ii) que (v
n
) a, o que um absurdo com (1.17).
Portanto, existe
w
n

1
([ c 2, c + 2]) S
2
(1.18)
tal que,
|w
n
u
n
|
2

n
e
|

(w
n
)| <
4

n
. (1.19)
Note que,
|w
n
u| |w
n
u
n
| +|u
n
u|
2

n
+
R +r
2
R r +
R +r
2
logo,
|w
n
u|
3R r
2
28
assim,
|w
n
| |u|
3R r
2
ou seja,
|w
n
|
3R r
2
+|u| n N
isto , a sequncia (w
n
) limitada.
Uma vez que (1.18) e (1.19) implicam que
(w
n
) c e

(w
n
) 0.
Segue da hiptese que satisfaz a condio (WPS), que existe uma subsequncia (w
n
j
)
tal que
w
n
j
w em X.
Como C
1
(X, R), segue
(w) = (lim w
n
j
) = lim (w
n
j
) = c
e

(w) =

(lim w
n
j
) = lim

(w
n
j
) = 0
mostrando que c um valor crtico de .
Por outro lado,
|u
n
j
w|
2

n
j
+|w
n
j
w|
de onde conclumos que
|u
n
j
w| 0
ou seja,
u
n
j
w.
Desde que,
|u
n
j
u| =
R +r
2
passando ao limite quando n , obtemos
|w u| =
R +r
2
.
Captulo 2
Solues Peridicas da Equao do
Pndulo Forado
Neste captulo nosso objetivo usar mtodos variacionais para mostrar a exis-
tncia de solues T-peridicas para a equao
u

(t) +G

(u(t)) = f(t).
Em particular, considerando G(u(t)) = cos(u(t)), obtemos a equao do pndulo
forado
u

(t) +sen(u(t)) = f(t).

A garantia de soluo T-peridica para u

+ G

(u) = f(t) devido a Ambrosetti-

Rabinowitz (Ver [1]) e consiste em determinar os pontos crticos do funcional energia
dado por
(u) =
_
T
0
_
u

2
2
G(u) +fu
_
dt. (2.1)
Comeamos nosso estudo neste captulo vericando algumas desigualdades elementares
que so ferramentas bsicas na teoria de solues peridicas.
30
2.1 A Desigualdade de Wirtinger
Proposio 2.1 Seja u : R R
N
uma funo T-peridica absolutamente contnua
tal que
_
T
0
|u

(t)|
2
dt < . Se
_
T
0
u(t)dt = 0, ento
_
T
0
|u(t)|
2
dt
T
2
4
2
_
T
0
|u

(t)|
2
dt (Desigualdade de Wirtinger)
e
|u|
2

_
T
12
__
T
0
|u

(t)|
2
dt (Desigualdade de Sobolev)
Demonstrao:
Considere o seguinte resultado, se u contnua, com u

L
2
([0, T]) e u T-peridica,
ento a srie de Fourier gerada por u converge uniformemente a u. Alm disso, vale a
identidade de Parseval
|c
k
|
2
2
=

k=0
[c
k
[
2
=
1
T
_
T
0
|u(t)|
2
dt =
1
T
|u|
2
2
.
Se
u

=

k=0
c
k
e
i2k
T
t
a srie de Fourier gerada por u, (Ver [Apndice A]), a srie de Fourier da sua derivada,
u

, dada por
u

k=0
i2k
T
c
k
e
i2k
T
t
.
Pela identidade de Parseval,

k=0
[c
k
[
2
=
1
T
_
T
0
|u(t)|
2
dt
e

k=0
4
2
k
2
T
2
[c
k
[
2
=
1
T
_
T
0
|u

(t)|
2
dt
ou seja,
4
2
T
2

k=0
k
2
[c
k
[
2
=
1
T
_
T
0
|u

(t)|
2
dt.
Donde segue,

k=0
k
2
[c
k
[
2
=
T
2
4
2
1
T
_
T
0
|u

(t)|
2
dt
31
desde que,

k=0
k
2
[c
k
[
2

k=0
[c
k
[
2
obtemos
1
T
_
T
0
|u(t)|
2
dt
T
2
4
2
1
T
_
T
0
|u

(t)|
2
dt
logo,
_
T
0
|u(t)|
2
dt
T
2
4
2
_
T
0
|u

(t)|
2
dt.
Alm disso, note que
|u(t)|
2

k=0
[c
k
[
_
2
, t [0, T]
implicando
|u(t)|
2

k=0
T
1
2
2k
.
2k
T
1
2
[c
k
[
_
2
, t [0, T].
Observando que
_
T
1
2
2k
_
kZ
l
2
e
_
2k
T
1
2
[c
k
[
_
kZ
l
2
tem-se pela desigualdade de Cauchy-Schwarz
|u(t)|
2

k=0
T
4
2
k
2
__

k=0
4
2
k
2
T
[c
k
[
2
_
.
Desde que,

k=0
1
k
2
= 2

k=1
1
k
2
=

2
3
camos com
|u(t)|
2

T
12

k=0
4
2
k
2
T
[c
k
[
2
=
T
12
_
T
0
|u

(t)|
2
dt
e consequentemente
|u|
2

_
T
12
__
T
0
|u

(t)|
2
dt.
Corolrio 2.2 Seja f : R
N
R
N
uma funo contnua l - lipschitziana. Se u
uma soluo no - constante T-peridica de u

= f(u), ento
T
2
l
.
32
Demonstrao:
Sendo u soluo no - constante T-peridica de u

(t) = f(u(t)), devemos ter

u C
1
(R, R
N
). Desse modo u

(t) tem derivada q.t.p em R. Por denio

|u

(t +h) u

(t)|
h
=
|f(u(t +h)) f(u(t))|
h
Usando o fato que a funo f l-lipschitziana tem-se
|u

(t +h) u

(t)|
h
l
|u(t +h) u(t)|
h
passando ao limite quando h 0, obtemos
|u

(t)| l|u

(t)| q.t.p em R.
Desde que,
_
T
0
|u

(t)|
2
dt l
2
_
T
0
|u

(t)|
2
dt <
pela Proposio 2.1, temos
_
T
0
|u

(t)|
2
dt
T
2
4
2
_
T
0
|u

(t)|
2
dt
T
2
4
2
_
T
0
l
2
|u

(t)|
2
dt
donde segue,
_
T
0
|u

(t)|
2
dt
T
2
l
2
4
2
_
T
0
|u

(t)|
2
dt.
Por hiptese, u no constante, logo
_
T
0
|u

(t)|
2
,= 0 e
_
T
0
|u

(t)|
2
dt <
desse modo,
1
T
2
l
2
4
2
portanto,
T
2
l
.
Proposio 2.3 Seja u : R R
N
uma funo T-peridica absolutamente contnua
tal que
_
T
0
|u

(t)|
p
dt < com p > 1. Se
_
T
0
u(t)dt = 0, ento
_
T
0
|u(t)|
p
dt C
_
T
0
|u

(t)|
p
dt.
33
Demonstrao:
Considere
M =
_
u H
1,p
T
([0, T]);
_
T
0
|u(t)|
p
dt = 1 e
_
T
0
u(t)dt = 0
_
onde
H
1,p
T
([0, T]) =
_
u W
1,p
([0, T]); u(0) = u(T)
_
e S : M R dada por
S(u) =
_
T
0
|u

(t)|
p
dt.
Sendo S limitado inferiormente, denotamos por C 0 o nmo de S, isto ,
inf
uM
S(u) = C.
Armao 1: O nmo C atingido.
De fato, seja u
n
M uma sequncia tal que
_
T
0
|u

n
(t)|
p
dt C ,
_
T
0
|u
n
(t)|
p
dt = 1 e
_
T
0
u
n
(t)dt = 0.
Usando o fato de que,
_
T
0
|u
n
(t)|
p
dt = 1,
segue que |u
n
|
L
p
([0,T])
limitada, da u
n
H
1,p
T
([0, T]) limitada. Visto que
H
1,p
T
([0, T]) reexivo, existe uma subsequncia, que denotaremos por (u
n
) e u
H
1,p
T
([0, T]) tal que
u
n
u em H
1,p
T
([0, T]).
Por imerses de Sobolev,
u
n
u em L
p
([0, T])
assim,
_
T
0
|u(t)|
p
dt = lim
_
T
0
|u
n
(t)|
p
dt.
Sendo
_
T
0
|u
n
(t)|
p
dt = 1
e
_
T
0
|u
n
(t)|dt = 0
34
pelas imerses compactas de Sobolev
_
T
0
|u(t)|
p
dt = 1
e
_
T
0
|u(t)|dt = 0
mostrando que u M.
Visto que u M, devemos ter
_
T
0
|u

(t)|
p
dt C.
Por outro lado, da convergncia fraca
_
T
0
|u

(t)|
p
dt lim
_
T
0
|u

n
(t)|
p
dt.
da,
_
T
0
|u

(t)|
p
dt C.
Donde segue,
_
T
0
|u

(t)|
p
dt = C
ou seja, o nmo C atingido.
Portanto,
min
uM
S(u) = C
Armao 2: C > 0.
Com efeito, suponhamos, por contradio, que C = 0, ento
_
T
0
|u

(t)|
p
dt = 0
o que implicaria
|u

(t)|
p
= 0 q.t.p em R
ou ainda
u

(t) = 0 q.t.p em R,
implicando que u constante.
Uma vez que u M, a condio
_
T
0
u(t)dt = 0 implica u = 0 q.t.p em R,
enquanto a condio
_
T
0
|u(t)|
p
dt = 1 implica que u ,= 0, chegando a um absurdo,
portanto C > 0.
35
Sendo,
min
uM
_
T
0
|u

(t)|
p
dt = C.
segue que,
_
T
0
|u

(t)|
p
dt C, u M.
Agora, dado u H
1,p
T
([0, T])0 com
_
T
0
|u(t)|dt = 0
denamos
w =
u
|u|
L
p
([0,T])
.
Observe que w M, pois
_
T
0
|w(t)|
p
dt =
1
|u|
p
L
p
([0,T])
_
T
0
|u(t)|
p
dt = 1.
Portanto,
_
T
0
|w

(t)|
p
dt C
o que implica,
_
T
0
|u

(t)|
p
dt
_
T
0
|u(t)|
p
dt
C
ou seja,
_
T
0
|u(t)|
p
dt C
_
T
0
|u

(t)|
p
dt.
2.2 Existncia de Soluo
Sejam G C
1
(R, R) uma funo 2-peridica e f C(R, R) uma funo T-
peridica. Consideremos a existncia de solues T-peridicas da equao
u

+G

(u) = f(t). (2.2)

Se u soluo da equao (2.2), ento para todo k Z, u + 2k tambem soluo de
(2.2).
36
Denotemos, no que segue, H como sendo o seguinte espao vetorial
H =
_
u : R R; u absolutamente contnua, T-peridica e
_
T
0
[u

(t)[
2
dt <
_
,
com o produto interno
(u, v) =
_
T
0
(u

+uv)dt,
e o funcional energia
(u) =
_
T
0
_
u

2
2
G(u) +fu
_
dt, u H
o qual est bem denido sendo de classe C
1
(H, R) (Ver [Apndice B]). Alm disso, os
pontos crticos de so solues fracas de (2.2), com

(u), h) =
_
T
0
_
u

(u)h +fh
_
dt, h H. (2.3)
Lema 2.1 O espao H Hilbert com relao ao produto interno dado por
(u, v) =
_
T
0
(u

+uv)dt.
Demonstrao:
Seja u
n
H uma sequncia de Cauchy, assim dado > 0 existe n
0
tal que
|u
n
u
m
|
H
< para m, n n
0
.
Observe que
|u
n
|
2
H
= | u
n
|
2
H
1
T
([0,T])
onde
u
n
= u
n
[
[0,T]
e
H
1
T
([0, T]) =
_
u W
1,2
T
([0, T]); u(0) = u(T)
_
.
Usando fato que H
1
T
([0, T]) Hilbert, existe u H
1
T
([0, T]) tal que
u
n
u H
1
T
([0, T]).
Considere u(t) = u(t); t [0, T] e dena
u(t) = u(t kT) se t [kT, (k + 1)T]; k Z.
37
Das imerses contnuas de Sobolev,
H
1
T
([0, T]) C([0, T])
assim,
u
n
(0) = u
n
(0) u(0)
e
u
n
(T) = u
n
(T) u(T).
Segue do fato que a sequncia u
n
H T-peridica e da unicidade do limite que
u(0) = u(T).
Portanto, para cada k Z temos
u(t +T) = u(t +T kT) = u(t)
ou seja,
u(t +T) = u(t).
mostrando que u T-peridica.
Armao 1: u : R R absolutamente contnua, isto , dado > 0, existe > 0
tal que para toda sequncia nita de intervalos disjuntos (a
i
, b
i
) de [0, T] temos:
n

j=1
[b
j
a
j
[ < =
n

j=1
[u(b
j
) u(a
j
)[ < .
Considere ,
B = (a
1
, b
1
) (a
2
, b
2
) ... (a
n
, b
n
) em [0, T] tal que [b
j
a
j
[ <

n
, j = 1, ..., n.
Usando o fato que a unio disjunta, segue
(B) = ((a
1
, b
1
)) +((a
2
, b
2
)) +... +((a
n
, b
n
)),
onde (B) := medida de Lebesgue. Portanto,
(B) = [b
1
a
1
[ +[b
2
a
2
[ +... +[b
n
a
n
[ =
n

j=1
[b
j
a
j
[ < .
Segue de (C.9) (Ver [Apndice C]) e (C.10) (Ver [Apndice C])
n

j=1
[u(b
j
) u(a
j
)[ =
n

j=1

_
b
j
a
j
u

(t)dt

j=1
_
b
j
a
j
[u

(t)[dt
38
o que implica,
n

j=1
[u(b
j
) u(a
j
)[
_

n
j=1
(a
j
,b
j
)
[u

(t)[dt =
_
B
[u

(t)[dt < .
Segue deste argumento acima e do fato que u T-peridica que u absolutamente
contnua.
Sendo u(t) = u(t), t [0, T] uma funo T-peridica e absolutamente contnua
com u
n
u em H
1
([0, T]), ento
|u
n
u|
2
H
=
_
T
0
[ u
n
u[
2
= | u
n
u|
2
H
1
T
([0,T])
0
isto ,
u
n
u em H.
Lema 2.2 O funcional satisfaz a condio (WPS).
Demonstrao:
Seja J : H H

tal que,
J(u), h) =
_
T
0
u

dt +
_
T
0
uh dt, u, h H
e considere N : H H

tal que,
N(u), h) =
_
T
0
uh dt +
_
T
0
G

(u)h dt
_
T
0
fh dt, h H
portanto,

(u), h) = J(u), h) N(u), h), h H

isto ,

(u) = J(u) N(u), u H.

Armao 1: Se u
k
u em H, ento N(u
k
) N(u) em H

.
Com efeito, seja u
k
H uma sequncia limitada tal que (u
k
) limitada e

(u
k
) 0. Note que,
N(u
k
) N(u), h) =
_
T
0
_
[u
k
h +G

(u
k
)h fh] [uh +G

(u)h fh]
_
dt
39
assim,
N(u
k
) N(u), h) =
_
T
0
_
(u
k
u)h + (G

(u
k
) G

(u))h
_
dt
donde segue,
[N(u
k
) N(u), h)[
_
T
0
_
|u
k
u||h| +[G

(u
k
) G

(u)[|h|
_
dt.
Pela desigualdade de Hlder,
[N(u
k
) N(u), h)[ |u
k
u|
L
2
([0,T])
|h|
L
2
([0,T])
+|G

(u
k
) G

(u)|
L
2
([0,T])
|h|
L
2
([0,T])
.
(2.4)
e pelas imerses contnuas de Sobolev
[N(u
k
) N(u), h)[ C|u
k
u|
L
2
([0,T])
|h|
H
+C|G

(u
k
) G

(u))|
L
2
([0,T])
|h|
H
. (2.5)
Portanto, usando a norma em H

,
|N(u
k
) N(u)|
H
= sup
h1
[N(u
k
) N(u), h)[
camos com
|N(u
k
) N(u)|
H
C|u
k
u|
L
2
([0,T])
+C|G

(u
k
) G

(u))|
L
2
([0,T])
.
Usando as hipteses sobre a sequncia (u
k
), existe uma subseqncia (u
k
j
) tal que
u
k
j
u em L
2
([0, T]) (2.6)
e
u
k
j
u q.t.p em [0, T].
Por outro lado, sendo G C
1
(R, R), segue
G

(u
k
j
) G

(u) q.t.p em [0, T]

logo,
[G

(u
k
j
) G

(u)[ 0 q.t.p em [0, T],

portanto,
[G

(u
k
j
) G

(u)[
2
0 q.t.p em [0, T].
Desde que,
[G

(t)[ K, t R,
40
obtemos,
[G

(u
k
j
) G

(u)[
2
4K
2
L
1
([0, T]).
Pelo Teorema da Convergncia Dominada de Lebesgue (ver [2]), segue
lim
j
_
T
0
[G

(u
k
j
) G

(u)[
2
dt =
_
T
0
lim
j
[G

(u
k
j
) G

(u)[
2
dt = 0,
ou seja,
G

(u
k
j
) G

(u) em L
2
([0, T]). (2.7)
Usando (2.6) e (2.7),
|N(u
k
j
) N(u)|
H
0
ou equivalentemente
N(u
k
j
) N(u) em H

mostrando a Armao.
Por outro lado,

(u
k
j
) = J(u
k
j
) N(u
k
j
),
e desde que,

(u
k
j
) 0 e N(u
k
j
) N(u),
segue,
J(u
k
j
) N(u) quando j .
Por outro lado,
J(u
k
j
), h) =
_
T
0
u

k
j
h

dt +
_
T
0
u
k
j
hdt, u, h H,
ou seja,
J(u
k
j
), h)
H
=
_
u
k
j
, h
_
H
.
Logo pelo Teorema de Riesz-Frchet (Ver[3]),
|J(u
k
j
)|
H
= |u
k
j
|
H
.
Segue da denio de N e do Teorema de Riesz-Frchet (Ver[3]) que existe w H tal
que
N(u), h)
H
= (w, h)
H
41
e
|N(u)|
H
= |w|
H
.
Assim,
J(u
k
j
) N(u), h)
H
=
_
u
k
j
w, h
_
H
usando novamente o Teorema de Riesz-Frchet,
|J(u
k
j
) N(u)|
H
= |u
k
j
w|
H
.
Usando o fato que,
|J(u
k
j
) N(u)|
H
0
segue,
|u
k
j
w|
H
0.
Portanto,
u
k
j
w em H,
mostrando desse modo, que satisfaz a condio (WPS).
Teorema 2.4 Se
_
T
0
f(t)dt = 0, a equao (2.2) tem duas solues T-peridicas que
no diferem por multiplicidade 2.
Demonstrao:
Para cada u H, sejam
v(t) = u(t)
1
T
_
T
0
u(t)dt
e
w =
1
T
_
T
0
u(t)dt
assim,
u(t) = v(t) +w (2.8)
e
u

(t) = v

(t). (2.9)
Desde que,
(u) =
_
T
0
_
u

2
2
G(u) +fu
_
dt
42
obtemos, de (2.8) e (2.9)
(u) =
_
T
0
_
v

2
2
G(v +w) +f.(v +w)
_
dt.
Sendo,
_
T
0
f(t)dt = 0
segue que,
(u) =
_
T
0
_
v

2
2
G(v +w) +fv
_
dt.
Armao 1: limitado inferiormente.
De fato, seja = max
uR
G(u), logo
G(u) , u R.
Segue da Desigualdade de Cauchy-Schwarz (Ver[3])
(u)
_
T
0
v

2
2
dt T
__
T
0
f
2
dt
_
1
2
__
T
0
v
2
_
1
2
e pela Proposio 2.1,
(u)
_
T
0
v

2
2
dt T
T
2
__
T
0
f
2
dt
_
1
2
__
T
0
[v

[
2
_
1
2
logo,
(u)
1
2
|v

|
2
L
2
([0,T])
k
1
|v

|
L
2
([0,T])
k
2
, (2.10)
isto , limitada inferiormente.
Armao 2: 2-peridica, isto , (u + 2) = (u).
Com efeito, usando (2.1), (2.8) e (2.9)
(u + 2) =
_
T
0
v

2
2
dt
_
T
0
G(v +w + 2) dt +
_
T
0
f(v +w + 2) dt
assim,
(u + 2) =
_
T
0
v

2
2
dt
_
T
0
G(v +w + 2) dt +
_
T
0
fv dt.
Desde que,
G(v +w + 2) = G(v +w)
temos
(u + 2) =
_
T
0
v

2
2
dt
_
T
0
G(v +w) dt +
_
T
0
fv dt = (u)
43
ou seja,
(u + 2) = (u)
mostrando a Armao 2.
Armao 3: satisfaz a condio (PS)
c
para todo c R.
De fato, seja u
k
H uma sequncia tal que
(u
k
) c e

(u
k
) 0.
Por (2.10) tem-se
(u
k
)
1
2
|v

k
|
2
L
2
([0,T])
k
1
|v

k
|
L
2
([0,T])
k
2
Por outro lado, sendo (u
k
) convergente, segue que (u
k
) limitada, assim existe k
3
> 0
tal que (u
k
) k
3
o que implica
1
2
|v

k
|
2
L
2
([0,T])
k
1
|v

k
|
L
2
([0,T])
k
3
+k
2
ou seja, (v

k
) limitada em L
2
([0, T]).
Por outro lado, temos
_
T
0
[v
k
[
2
dt
T
2
4
2
_
T
0
[v

k
[
2
dt,
ou ainda,
|v
k
|
2
L
2
([0,T])
k
4
|v

k
|
2
L
2
([0,T])
.
Portanto, sendo (v

k
) limitada em L
2
([0, T]), segue que existe k
5
> 0 vericando
|v
k
|
2
L
2
([0,T])
k
5
, k N
isto , (v
k
) limitada em L
2
([0, T]).
Por (2.8),
u
k
= v
k
+w
k
,
pela periodicidade de , deve existir w
k
[0, 2] vericando
(u
k
) = (v
k
+ w
k
).
Fazendo u
k
= v
k
+ w
k
, segue
( u
k
) c e

( u
k
) 0.
44
Visto que, w
k
[0, 2], temos
| w
k
|
2
L
2
([0,T])
4
2
T
mostrando que ( w
k
) limitada em L
2
([0, T]). Portanto sendo (v
k
) e ( w
k
) limitadas,
segue que ( u
k
) limitada em H.
Pelo Lema 2.2, existe ( u
k
j
) tal que
u
k
j
u em H.
Sendo C
1
, segue
( u
k
j
) (u) e

( u
k
j
)

(u),
pela unicidade do limite,
(u) = c e

(u) = 0.
Logo, c um valor crtico de . Portanto satisfaz a condio (PS)
c
. Mostrando,
desta forma, a Armao 3.
Pelas Armaes 1, 3 e pelo Teorema 1.4, segue que tem mnimo em algum
ponto u H, ou seja,
(u) = min
H
.
Da Armao 2,
(u + 2) = (u) = min
H
.
Considere, v = u + 2, assim
|u v|
2
L
2
([0,T])
=
_
T
0
[u v[
2
dt = 4
2
T
ou seja,
|u v|
L
2
([0,T])
= 2

T.
Considere, 0 < r < R < 2

T = |u v| e w X tal que r |w u| R. Sendo

(v) = (u) = min
H

segue que,
(w) a = max(u), (v)
45
logo, pelo Teorema 1.6, segue que c a, onde c o nivel Minimax dado no Teorema
1.6, valor crtico de . Observe que
(i) Se c > a e u
1
um ponto crtico com (u
1
) = c e sendo (u) = a, segue
(u
1
) > (u)
logo,
u
1
,= u + 2k,
de fato, caso contrrio, teramos em vista da periodicidade de que (u
1
) = (u), o
que absurdo.
(ii) Se c = a, pelo Teorema 1.6, existe um ponto crtico u
1
tal que
(u
1
) = a com |u
1
u| =
R +r
2
. (2.11)
Considere u
1
= u + 2k com k Z0. Assim
|u
1
u|
2
=
_
T
0
[u

1
u

[
2
dt +
_
T
0
(2k)
2
dt
e usando o fato de que u

1
= u

, segue
|u
1
u|
2
= 4k
2

2
T
donde segue,
|u
1
u| = 2[k[

T.
Sendo,
0 < r < R < 2

T 2[k[

T
segue,
R +r
2
< 2[k[

T = |u
1
u|
o que um absurdo, por (2.11). Logo, u
1
,= u +2k, para todo k Z0, mostrando
que a equao (2.2) possui duas solues que no diferem por multiplicidade 2.
Captulo 3
A Transformada de Legendre
Nosso objetivo neste captulo usar mtodos variacionais para mostrar a exis-
tncia de solues peridicas para o sistema Hamiltoniano forado
u

(t) = JH(t, u(t))

e para o sistema Hamiltoniano livre
u

(t) = JH(u(t)).
Para tanto, faremos um breve estudo sobre funo de Legendre e transformada de
Legendre, as quais sero muito utilizadas na procura de solues peridicas para um
sistema Hamiltoniano convexo.
3.1 Introduo
Denio 3.1 A transformada de Legendre F

de uma funo F C
1
(R
N
, R) dada
pela frmula implcita
F

(v)= (v, u) F(u)

v= F(u),
quando F invertvel.
47
3.2 Funes Convexas
Uma funo F : R
N
R diz-se convexa se, para quaisquer u, v R
N
e (0, 1),
tem-se
F((1 )u +v) (1 )F(u) +F(v).
No caso em que acima vale a desigualdade estrita sempre que u ,= v, a funo diz-se
estritamente convexa.
Proposio 3.2 Se F C
1
(R
N
, R) as seguintes armaes so equivalentes:
(i) F convexa
(ii) F(w) F(u) + (F(u), w u) , u, w R
N
.
Demonstrao:
(i) = (ii)
Supondo F convexa, para u, w R
N
temos
F((1 )u +w) (1 )F(u) +F(w)
assim,
F((1 )u +w) F(u) F(u) +F(w)
logo para > 0,
F(u +(w u)) F(u)

F(w) F(u).
Passando ao limite quando 0
+
na ltima desigualdade, obtemos
(F(u), w u) F(w) F(u)
o que implica,
F(w) F(u) + (F(u), w u) . (3.1)
(ii) = (i)
Sendo (ii) vlida para quaisquer u, w R
N
, podemos escrever
F(u) F(w) + (F(w), u w) (3.2)
e
F(v) F(w) + (F(w), v w) . (3.3)
48
Considerando w = (1 )u +v, segue de (3.2) e ( 3.3),
F(u) F((1 )u +v) + (F((1 )u +v), (u v))
e
F(v) F((1 )u +v) + (F((1 )u +v), (1 )(v u))
consequentemente
F(u) F((1 )u +v) +(F((1 )u +v), u v) (3.4)
e
F(v) F((1 )u +v) (1 ) (F((1 )u +v), u v) . (3.5)
Multiplicando (3.4) por (1 ) e (3.5) por e adicionando membro a membro as duas
desigualdades, camos com
F((1 )u +v) (1 )F(u) +F(v).
Lema 3.1 A funo F C
1
(R
N
, R) convexa se, e somente se, o gradiente de F,
F : R
N
R
N
uma aplicao monotnica, isto ,
(F(u) F(v), u v) 0, u, v R
N
. (3.6)
Demonstrao:
Segue da Proposio 3.2
(F(u), v u) F(v) F(u). (3.7)
Analogamente,
(F(v), u v) F(u) F(v)
logo,
(F(v), v u) F(u) F(v). (3.8)
Somando (3.7) e (3.8) membro a membro, segue
(F(u), v u) (F(v), v u) 0
49
e portanto,
(F(u) F(v), u v) 0.
Reciprocamente, segue do Teorema do Valor Mdio aplicado a funo
g(t) = F(u +t(w u)) que existe (0, 1) tal que
F(u + (w u)) = F(u) + (F(u +(w u)), w u) . (3.9)
Por outro lado, usando (3.6), obtemos
(F(u +(w u)) F(u), (w u)) 0
assim,
(F(u +(w u)) F(u), (w u)) 0
sendo > 0, temos
(F(u +(w u)), (w u)) (F(u), (w u)) . (3.10)
Substituindo (3.10) em (3.9), encontramos
F(w) F(u) + (F(u), w u) , u, w R
N
.
Portanto pela Proposio ??, segue que F convexa.
Observao 3.1 Pelo estudo feito acima, observa-se que a funo F estritamente
convexa se, e somente se, o gradiente de F, F : R
N
R
N
uma aplicao estrita-
mente monotnica, isto ,
(F(u) F(v), u v) > 0, u, v R
N
; u ,= v.
3.3 Funo de Legendre
Denio 3.3 Uma funo F : R
N
R uma funo de Legendre, se F satisfaz s
seguintes condies:
(i) F C
1
(R
N
, R)
(ii) F estritamente convexa
(iii)
F(u)
|u|
quando |u| .
50
Proposio 3.4 Se F uma funo de Legendre, ento F um homeomorsmo do
R
N
.
Demonstrao:
Iremos dividir a nossa demonstrao em alguns passos.
Passo 1: F injetivo.
De fato, por hiptese F estritamente convexa, logo pela Observao 3.1
(F(u) F(v), u v) > 0, u, v R
N
, u ,= v. (3.11)
De (3.11), segue que
u ,= v F(u) ,= F(v)
mostrando que F injetivo.
Passo 2: F sobrejetivo.
Com efeito, dado v R
N
e supondo u ,= 0, temos
F(u) (v, u) F(u) |v||u| = |u|
_
F(u)
|u|
|v|
_
.
Usando (iii) da Denio 3.3, temos
F(u) (v, u) quando |u| . (3.12)
Denamos a funo g : R
N
R por
g(u) = F(u) (v, u) .
Por (3.12), segue
g(u) quando |u|
assim, para todo M
1
> 0, existe C > 0 tal que
g(u) > M
1
quando |u| > C
isto , se |u| > C ento g limitada inferiormente por M
1
.
Agora consideremos |u| C. Sendo g contnua, segue que g atinge um mnimo M
2
em B
C
(0), ou seja
M
2
= min
uc
g(u).
51
Considere
K = minM
1
, M
2
= M
2
.
Desse modo,
g(u) K, u R
N
mostrando que g limitada inferiormente. Considere
g
0
= inf
uR
N
g(u)
e u
n
R
N
tal que
lim
n
g(u
n
) = g
0
< .
Note que a sequncia (u
n
) limitada, portanto existe (u
n
j
) e u
0
R
N
tal que
u
n
j
u
0
em R
N
.
Sendo g contnua,
g(u
n
j
) g(u
0
),
logo pela unicidade do limite,
g(u
0
) = g
0
,
ou seja, g atinge seu mnimo no ponto u
0
R
N
e portanto g(u
0
) = 0
Por outro lado,
g(u
0
) = F(u
0
) v
logo
F(u
0
) = v
mostrando que F sobrejetivo.
Passo 3: (F)
1
contnua.
De fato, primeiramente note que F coercivo, pois sendo F convexa,
F(w) F(u) + (F(u), w u) , u, w R
N
.
Assim,
F(0) F(u) + (F(u), u) = F(u) (F(u), u)
o que implica,
(F(u), u) F(u) F(0).
52
Usando a desigualdade de Cauchy-Schwarz, obtemos
|F(u)|
F(u) F(0)
|u|
.
Sendo F uma funo de Legendre, temos que o lado direito da ltima desigualdade
tende a innito quando |u| , logo
|F(u)| quando |u| ,
ou seja, F coercivo.
Para mostrar que (F)
1
contnua, basta vericar que
x
n
x quando F(x
n
) F(x).
Supondo F(x
n
) F(x), sendo F coercivo, (x
n
) uma sequncia limitada. Seja
(x
n
j
) uma subsequncia qualquer de (x
n
) , assim (x
n
j
) uma sequncia limitada. Logo
existe (x
n
j
k
) (x
n
j
) tal que
x
n
j
k
x
1
em R
N
.
Usando a continuidade de F, segue
F(x
n
j
k
) F(x
1
).
Por outro lado,
F(x
n
j
k
) F(x)
logo pela unicidade do limite,
F(x) = F(x
1
).
Usando o Passo 1, concluimos que x = x
1
.
Portanto, para toda (x
n
j
) (x
n
), existe (x
n
j
k
) (x
n
j
) tal que
x
n
j
k
x em R
N
.
Suponhamos que,
x
n
x
assim existe
0
> 0 e (x
n
j
) (x
n
), tal que
|x
n
j
x|
0
n
j
N. (3.13)
53
Por outro lado, existe (x
n
j
k
) (x
n
j
) tal que
x
n
j
k
x. (3.14)
Usando (3.13) e (3.14),
|x
n
j
k
x|
0
e |x
n
j
k
x| 0
o que um absurdo. Logo,
x
n
x em R
N
portanto, (F)
1
contnua, mostrando o Passo 3.
Lema 3.2 Se F
1
e F
2
so funes de Legendre tais que F
1
F
2
, ento F

1
F

2
.
Demonstrao:
Sendo
F

(v)= (v, u) F(u)

v= F(u)
pela Proposio ??, temos
F(w) F(u) + (F(u), w u) , u, w R
N
assim,
F(w) F(u) + (v, w) (v, u) u, v, w R
N
implicando que
F

(v) (v, w) F(w), v, w R

N
.
Em particular,
F

(v) = sup
wR
N
((v, w) F(w)) , v R
N
.
Assim, sendo F
1
F
2
, devemos ter
F
1
(w) (v, w) F
2
(w) (v, w)
o que implica,
(v, w) F
1
(w) (v, w) F
2
(w)
54
logo,
(v, w) F
2
(w) sup
wR
N
((v, w) F
1
(w))
portanto,
F

2
= sup
wR
N
((v, w) F
2
(w)) sup
wR
N
((v, w) F
1
(w)) = F

1
ou seja, F

1
F

2
.
No que segue vamos demonstrar o seguinte Lema que ser importante no decorrer
deste trabalho.
Lema 3.3 Se F uma funo de Legendre, ento F

Frchet diferencivel.
Demonstrao:
Sejam u = (F)
1
(v) e u
t
= (F)
1
(v +th). Sendo,
F

(v) = (v, u) F(u) e F

(v +th) = (v +th, u
t
) F(u
t
)
para todo t > 0, tem-se que
F

(v +th) F

(v)
t
=
(v +th, u
t
) F(u
t
) (v, u) +F(u)
t
donde segue,
F

(v +th) F

(v)
t
=
(v, u
t
) +t (h, u
t
) F(u
t
) (v, u) +F(u)
t
.
Assim,
F

(v +th) F

(v)
t
= (h, u
t
) +
(v, u
t
u) F(u
t
) +F(u)
t
e desde que,
F(u
t
) F(u) + (F(u), u
t
u) ,
segue,
(v, u
t
u) F(u
t
) +F(u) 0
e portanto
F

(v +th) F

(v)
t
(h, u
t
) . (3.15)
Por outro lado, usando o Lema 3.2
F

(v +th) (v +th, u) F(u)

55
consequentemente
F

(v +th) F

(v)
t

(v +th, u) F(u) (v, u) +F(u)
t
ou ainda
F

(v +th) F

(v)
t
(h, u) . (3.16)
Portanto por (3.15) e (3.16),
(h, u)
F

(v +th) F

(v)
t
(h, u
t
) .
Passando ao limite quando t 0
+
, obtemos
lim
t0
+
F

(v +th) F

(v)
t
= (h, u) .
Por outro lado, note que
F

(v +h) F

(v) (h, u) 0,
pois
F

(v +h) F

(v) (h, u) = F

(v +h) [(v, u) F(u)] (h, u)

e assim,
F

(v +h) F

(v) (h, u) = F

(v +h) [(v +h, u) F(u)]

pela denio de F

(v +h) tem-se
F

(v +h) [(v +h, u) F(u)] 0

logo,
F

(v +h) F

(v) (h, u) 0.
Alm disso,
F

(v +h) F

(v) (h, u) (h, (u

h
u)) .
Com efeito, temos
F

(v +h) F

(v) (h, u) = (v +h, u

h
) F(u
h
) (h, u) F

(v)
o que implica,
F

(v +h) F

(v) (h, u) = [(v, u

h
) F(u
h
)] F

(v) + (h, (u
h
u))
56
usando a denio de F

(v), obtemos
[(v, u
h
) F(u
h
)] F

(v) 0
portanto,
F

(v +h) F

(v) (h, u) (h, (u

h
u)) .
Assim,
[F

(v +h) F

(v) (h, u) [
|h|
=
F

(v +h) F

(v) (h, u)
|h|

(h, (u
h
u))
|h|
usando a Desigualdade de Cauchy-Schwarz,
[F

(v +h) F

(v) (h, u) [
|h|
|u
h
u|.
Por outro lado,
u
h
= (F)
1
(v +th) (F)
1
(v) = u quando h 0
isto ,
|u
h
u| 0 quando h 0
e consequentemente
[F

(v +h) F

(v) (h, u) [
|h|
0 quando h 0
Mostrando que F

Frchet diferencivel.
Proposio 3.5 Se F uma funo de Legendre, ento
F

(v)
|v|
quando |v| .
Demonstrao:
Devemos mostrar que dado C > 0 existe A > 0 tal que
|v| > A =
F

(v)
|v|
> C
ou equivalentemente,
F

(v)
|v|
C = |v| A.
57
Para cada C > 0, considere v R
N
satisfazendo
F

(v)
|v|
C,
ou
F

(v) C|v|.
Denindo
M = max
w=2C
F(w)
desde que pelo Lema 3.2,
F

(v) = sup
wR
N
((v, w) F(w))
fazendo w =
2C
|v|
v, obtemos
2C|v| =
_
v,
2C
|v|
v
_
F

(v) +F
_
2C
|v|
v
_
M +C|v|
logo,
C|v| M
portanto,
|v|
M
C
.
Assim, dado C > 0, considere A =
m
C
que teremos
F

(v)
|v|
C = |v| A.
Portanto,
F

(v)
|v|
quando |v| .
Teorema 3.6 Se F uma funo de Legendre, temos
(i) F

= (F)
1
(ii) F

C
1
(R
N
, R).
Demonstrao:
Pelo Lema 3.3, F

Frchet diferencivel e
(F

(v), h) = (h, u) .
58
Assim,
(F

(v) u, h) = 0, h R
N
o que implica,
F

(v) = u.
Desde que pelo Lema 3.3, u = (F)
1
(v), segue
F

(v) = (F)
1
(v)
o que mostra (i).
Desde que (F)
1
contnua e F

= (F)
1
, temos F

C
1
(R
N
, R), mos-
trando (ii).
Corolrio 3.7 Se F uma funo de Legendre, a funo F

estritamente convexa.
Demonstrao:
Sendo F uma funo de Legendre, por denio F estritamente convexa e
usando a Observao 3.1 podemos concluir que (F)
1
estritamente montono. Pelo
Teorema 3.6,
F

= (F)
1
sendo (F)
1
estritamente montono, segue que F

estritamente montono, no-

vamente usando a Observao 3.1, segue que F

estritamente convexa.
Observao 3.2 Sendo F uma funo de Legendre, segue dos resultados demonstrados
que F

uma funo de Legendre. Alm disso,

F

(v)= (v, u) F(u)

v= F(u), u = F

(v)
e
(F

= F.
De fato, observe que
(F

(w)= (w, v) F

(v)
w= F

(v)
59
e
F

(v)= (v, u) F(u)

v= F(u).
Usando a Proposio 3.4 temos u = (F)
1
(v) e pelo Teorema 3.6 podemos concluir
que u = w. Logo,
(F

(u) = (u, v) F

(v) = (u, v) (v, u) +F(u)

ou seja,
(F

= F.
3.4 Inequaes
Nesta subseo, demonstraremos algumas desigualdades que so fundamentais no
estudo de sistemas Hamiltonianos convexos.
Lema 3.4 Sejam G : R
N
R dada por G(u) = |u|
q
+, com > 0, q > 1 e R.
Se
1
p
+
1
q
= 1 (3.17)
temos que
G

(v) =
_
1
q
_
p
q
|v|
p
p
. (3.18)
Demonstrao:
Sendo G(u) = |u|
q
+, fcil vericar que G uma funo de Legendre. Alm
disso,
G(u) = q|u|
q2
u e G(0) = 0. (3.19)
Considerando v = G(u), segue do Teorema 3.6 que (G)
1
(v) = u. Observe que
|v| = q|u|
q1
o que implica,
|u| =
_
|v|
q
_ 1
q1
e por (3.17)
|u| =
_
|v|
q
_
p
q
.
60
Desse modo,
(G)
1
(v) =
_
|v|
q
_
p
q
v
|v|
ou
(G)
1
(v) =
|v|
p
q
1
(q)
p
q
v.
Logo, por denio
G

(v) =
|v|
p
q
1
(q)
p
q
|v|
2
G
_
|v|
p
q
1
(q)
p
q
v
_
donde segue,
G

(v) =
|v|
p
q
1
(q)
p
q
|v|
2

_
_
_
_
_
|v|
p
q
1
(q)
p
q
v
_
_
_
_
_
q
.
Usando (3.17),
G

(v) =
|v|
p
(q)
p
q

_
|v|
p
(q)
p
_

mostrando que
G

(v) =
_
1
q
_
p
q
|v|
p
_
1
1
q
_

ou seja,
G

(v) =
_
1
q
_
p
q
|v|
p
_
1
1
q
_
.
Usando novamente (3.17), temos
G

(v) =
_
1
q
_
p
q
|v|
p
p
.
Proposio 3.8 Seja F uma funo de Legendre tal que
n F(u) |u|
q
+ (3.20)
para algum > 0, q > 1, , n R. Se
1
p
+
1
q
= 1, tem-se
_
1
q
_
p
q
|F(u)|
p
p
(F(u), u) + n.
Demonstrao:
Fixando v = F(u), segue do Lema 3.4 e de ( 3.20) que
F

(v)
_
1
q
_
p
q
|v|
p
p

61
ou equivalentemente
F

(v)
_
1
q
_
p
q
|F(u)|
p
p
. (3.21)
Desde que
F

(v) = (v, u) F(u) (3.22)

por (3.21) e (3.22),
_
1
q
_
p
q
|F(u)|
p
p
(F(u), u) F(u) (F(u), u) n
ou seja,
_
1
q
_
p
q
|F(u)|
p
p
(F(u), u) + n.
Lema 3.5 Supondo as hipteses da Proposio 3.8, existem constantes C
2
, C
3
> 0 tais
que
|F(u)| C
2
|u|
q1
+C
3
.
Demonstrao:
Com efeito, pela Proposio 3.8, temos
_
1
q
_
p
q
|F(u)|
p
p
(F(u), u) + n.
Usando a desigualdade de Cauchy-Schwarz,
_
1
q
_
p
q
|F(u)|
p
p
|F(u)||u| + n. (3.23)
Pela desigualdade de Young, existem > 0 e C

> 0 tais que

|F(u)||u| |F(u)|
p
+C

|u|
q
. (3.24)
Substituindo ( 3.24) em (3.23), obtemos
_
1
q
_
p
q
|F(u)|
p
p
|F(u)|
p
+C

|u|
q
+ n.
Fixando 0 < <
1
p
_
1
q
_
p
q
e C =
1
p
_
1
q
_
p
q
> 0, camos com
C|F(u)|
p
C

|u|
q
+C
1
, onde C
1
= n.
62
Assim,
|F(u)|
_
C

C
|u|
q
+
C
1
C
_1
p
logo,
|F(u)| C
2
|u|
q
p
+C
3
onde C
2
=
_
C

C
_1
p
e C
3
=
_
C
1
C
_1
p
. Usando (3.17), camos com
|F(u)| C
2
|u|
q1
+C
3
.
O Lema anterior nos diz que F pode crescer no mximo at a potncia q 1.
No que segue, vamos denir e vericar algumas propriedades de um funcional
que ser de grande importncia na procura de solues peridicas para um sistema
Hamiltoniano convexo.
Lema 3.6 Considere a funo J : R
N
R
N
R
N
R
N
, dada por J(x, y) = (y, x).
Ento para u, v R
2N
temos:
(i) (Ju, u) = 0
(ii) (u, Jv) = (Ju, v)
(iii) J
2
u = u
(iv) |Ju| = |u|
Demonstrao:
Sejam u = (x, y), v = (x
1
, y
1
) R
2N
. Por denio
(J(x, y), (x, y)) = ((y, x), (x, y)) = (y, x) + (x, y) = 0
o que mostra (i).
Com relao a (ii), considere u = (x, y) e v = (x
1
, y
1
). Ento,
((x, y), J(x
1
, y
1
)) = ((x, y), (y
1
, x
1
)) = (x, y
1
) + (y, x
1
) = [(x, y
1
) (y, x
1
)]
portanto,
(u, J(v)) = [(y, x), (x
1
, y
1
)] = (J(u), v),
mostrando (ii).
Note que
J(x, y) = (y, x) J
2
(x, y) = J(y, x)
63
o que implica,
J
2
(x, y) = (x, y) = (x, y)
mostrando a igualdade
J
2
(u) = u
mostrando (iii).
Finalmente,
|J(u)|
2
= (J(u), J(u)) =
_
J
2
(u), u
_
= (u, u) = |u|
2
logo,
|J(u)| = |u|
mostrando o item (iv).
Proposio 3.9 Sejam q > 1 e
X =
_
u : [0, T] R
2N
; u absolutamente contnua,
_
T
0
|u

(t)|
q
dt < e u(0) = u(T)
_
com norma
|u|
X
= |u|
L
q
([0,T])
+|u

|
L
q
([0,T])
.
Ento
min
uX
__
T
0
_
Ju

(t), u(t)
_
dt ;
_
T
0
|u

(t)|
q
dt = T
_
=
T
2
2
.
Demonstrao:
Primeiramente, consideremos os seguintes conjuntos
M =
_
u X;
_
T
0
|u

(t)|
q
dt = T
_
e
N =
_
u X;
_
T
0
_
u

(t), Ju(t)
_
dt = 1
_
.
Desse modo vamos dividir nossa demonstrao em algumas etapas:
Etapa 1: O funcional u
_
T
0
_
u

(t), Ju(t)
_
dt limitado superiormente no conjunto
M.
De fato, note que
_
T
0
_
u

(t), Ju(t)
_
dt =
_
T
0
_
Ju

(t), u(t)
_
dt.
64
Para todo u X, considere
u = u
1
T
_
T
0
u(t)dt.
Armao:
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
_
Ju

(t), u(t)
_
dt.
De fato, para xar as idias, considere u = (u
1
, u
2
) R
2
. Por denio
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
_
_
u

2
(t), u

1
(t)
_
,
_
u
1

1
T
_
T
0
u
1
(t)dt, u
2

1
T
_
T
0
u
2
(t)dt
__
dt
o que implica,
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
u

2
(t)u
1
(t)dt
1
T
__
T
0
u

1
(t)dt
___
T
0
u
2
(t)dt
_
+
_
T
0
u

1
(t)u
2
(t)dt+
+
1
T
__
T
0
u

2
(t)dt
___
T
0
u
1
(t)dt
_
.
Sendo u
1
(0) = u
1
(T) e u
2
(0) = u
2
(T), tem-se
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
u

2
(t)u
1
(t)dt +
_
T
0
u

1
(t)u
2
(t)dt
ou seja,
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
_
u

1
(t)u
2
(t) u

2
(t)u
1
(t)
_
dt
logo,
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
_
Ju

(t), u(t)
_
dt (3.25)
mostrando a Armao.
Pela desigualdade de Cauchy-Schwarz,
_
T
0
_
Ju

(t), u(t)
_
dt =
_
T
0
_
Ju

(t), u(t)
_
dt
__
T
0
|Ju

(t)|
2
dt
_
1
2
__
T
0
| u(t)|
2
dt
_
1
2
.
Aplicando a desigualdade de Wirtinger a u, obtemos
_
T
0
_
Ju

(t), u(t)
_
dt
__
T
0
|Ju

(t)|
2
dt
_
1
2
__
T
0
T
2
4
2
| u

(t)|
2
dt
_
1
2
ou seja,
_
T
0
_
Ju

(t), u(t)
_
dt
T
2
__
T
0
|Ju

(t)|
2
dt
_
1
2
__
T
0
| u

(t)|
2
dt
_
1
2
.
Usando o item (iv) do Lema 3.6 e a denio de u, segue
|Ju

(t)|
2
= |u

(t)|
2
= | u

(t)|
2
65
assim,
_
T
0
_
Ju

(t), u(t)
_
dt
T
2
_
T
0
|u

(t)|
2
dt, u M
logo,
_
T
0
_
u

(t), Ju(t)
_
dt
T
2
_
T
0
|u

(t)|
2
dt =
T
2
2
, u M
ou seja,
_
T
0
_
u

(t), Ju(t)
_
dt,
limitado superiormente em M.
Seja
sup
uM
_
T
0
_
u

(t), Ju(t)
_
dt = A. (3.26)
Etapa 2: O funcional u
_
T
0
|u

(t)|
q
dt limitado inferiormente sobre N.
Com efeito, sendo |u

(t)|
q
0, temos
_
T
0
|u

(t)|
q
dt 0, u N
mostrando a Etapa 2.
Considere
inf
uN
_
T
0
|u

(t)|
q
dt = B.
Etapa 3: B atingido e B > 0.
Com efeito, Seja u
n
N uma sequncia tal que
_
T
0
|u

n
(t)|
q
dt B. (3.27)
Considerando
w
n
(t) = u
n
(t)
1
T
_
T
0
u
n
(t)dt
tem-se
w

n
(t) = u

n
(t) e
_
T
0
|w

n
(t)|
q
dt B.
Alm disso, por (3.25) temos
_
T
0
_
u

n
(t), Ju
n
(t)
_
dt =
_
T
0
_
w

n
(t), Jw
n
(t)
_
dt
logo,
_
T
0
_
w

n
(t), Jw
n
(t)
_
dt = 1.
66
Por (3.27), |w

n
|
L
q limitada e pela desigualdade de Wirtinger segue que |w
n
|
L
q
limitada, o que implica que (w
n
) limitada em X. Logo, existe uma subsequncia, que
denotaremos por (w
n
) , tal que
w
n
w em X.
Pelas imerses de Sobolev, temos
w
n
w em L
q
([0, T])
logo,
_
T
0
_
w

n
(t), Jw
n
(t)
_
dt
_
T
0
_
w

(t), Jw(t)
_
dt
mostrando que
_
T
0
_
w

(t), Jw(t)
_
dt = 1.
Usando o fato que
_
T
0
|w

n
(t)|
q
dt convexa, temos
lim
_
T
0
|(w

n
(t)|
q

_
T
0
|w

(t)|
q
dt
ou seja,
B
_
T
0
|w

(t)|
q
dt. (3.28)
Por outro lado, sendo
B = inf
uN
_
T
0
|u

(t)|
q
dt
devemos ter
B
_
T
0
|w

(t)|
q
dt. (3.29)
Por (3.28) e (3.29)
B =
_
T
0
|w

(t)|
q
dt
mostrando a Etapa 3.
Etapa 4: B =
T
A
q
2
Sendo
inf
uN
_
T
0
|u

(t)|
q
dt = B
existem v
n
N e
n
0 tais que
_
T
0
|v

n
(t)|
q
dt = B +
n
.
67
Denotemos B
n
= B +
n
, assim
_
T
0
|v

n
(t)|
q
dt = B
n
.
Note que,
_
T
0
_
_
_
_
_
v
n
B
1
q
n
_ _
_
_
_
q
dt = 1
assim,
T
_
T
0
_
_
_
_
v

n
B
1
q
n
_
_
_
_
q
dt = T
logo,
_
T
0
_
_
_
_
T
1
q
v

n
B
1
q
n
_
_
_
_
q
dt = T.
Considerando

n
=
_
B
n
T
_1
q
(3.30)
temos
_
T
0
_
_
_
_
_
v
n

n
_ _
_
_
_
q
dt = T
ou seja, g
n
=
v
n

n
M. Assim,
_
T
0
__
v
n

n
_
, J
_
v
n

n
__
dt A =
1

2
n
_
T
0
_
v

n
, Jv
n
_
dt A
o que implica,
1

2
n
A.
Usando (3.30), temos
A
q
2

T
B
n
.
Passando ao limite quando n , obtemos
B
T
A
q
2
. (3.31)
Por outro lado, por (3.26), existem w
n
M e
n
0 tais que
_
T
0
_
w

n
(t), Jw
n
(t)
_
dt = A +
n
.
Fazendo A
n
= A +
n
, temos
_
T
0
_
w

n
(t), Jw
n
(t)
_
dt = A
n
. (3.32)
68
Logo, por (3.32)
_
T
0
__
w
n
A
1
2
n
_
, J
_
w
n
A
1
2
n
__
dt = 1
ou seja,
F
n
=
w
n
A
1
2
n
N.
Assim,
_
T
0
|F

n
(t)|
q
dt B =
_
T
0
_
_
_
_
_
w
n
A
1
2
n
_ _
_
_
_
q
B
ou seja,
B
1
A
q
2
n
_
T
0
|w

n
(t)|
q
dt
portanto,
B
T
A
q
2
n
passando ao limite quando n , obtemos
B
T
A
q
2
. (3.33)
Portanto, por (3.31) e (3.33) temos
B =
T
A
q
2
.
Etapa 5: A atingido.
De fato, se B atingido em w N temos
_
T
0
|w

(t)|
q
dt = B
assim,
_
T
0
|w

(t)|
q
dt =
T
A
q
2
ou seja,
_
T
0
|A
1
2
w

(t)|
q
dt = T.
Portanto, h(t) = A
1
2
w(t) M e
_
T
0
__
A
1
2
w(t)
_
, J
_
A
1
2
w(t)
__
dt = A
_
T
0
(w

(t), Jw(t))
logo,
_
T
0
__
A
1
2
w(t)
_
, J
_
A
1
2
w(t)
__
dt = A
69
mostrando a Etapa 5. Logo,
max
_
T
0
_
u

(t), Ju(t)
_
dt = A, u M.
Desse modo conclumos que
min
_
T
0
_
Ju

(t), u(t)
_
dt
atingido em algum ponto u X, onde
_
T
0
|u

(t)|
q
dt = T.
Para u X, considere
G(u

) = |u

|
q
, F(u) =
_
T
0
_
Ju

(t), u(t)
_
dt e H(u) =
_
T
0
|u

(t)|
q
dt.
Por denio
F(u +sh) F(u)
s
=
_
T
0
_
J(u

(t) +sh

(t)), u(t) +sh(t)

_
dt
_
T
0
_
Ju

(t), u(t)
_
dt
s
.
Passando ao limite quando s 0, encontramos
lim
s0
F(u +sh) F(u)
s
=
_
T
0
_
J(u

(t), h(t)
_
dt +
_
T
0
_
Jh

(t), u(t)
_
dt. (3.34)
Sendo,
_
T
0
_
J(h

(t)), u(t)
_
dt =
_
T
0
_
h

(t), Ju(t)
_
dt
por (3.34),
(F(u), h) =
_
T
0
_
Ju

(t), h(t)
_
dt
_
T
0
_
h

(t), Ju(t)
_
dt. (3.35)
Integrando
_
T
0
_
h

(t), Ju(t)
_
dt por partes e usando o fato de que u(0) = u(T), encon-
tramos
_
T
0
_
h

(t), Ju(t)
_
dt =
_
T
0
_
Ju

(t), h(t)
_
dt. (3.36)
Substituindo (3.36) em (3.35), obtemos
(F(u), h) = 2
_
T
0
_
Ju

(t), h(t)
_
dt. (3.37)
Sendo
H(u) =
_
T
0
|u

(t)|
q
dt.
70
Por denio

H(u +sh) H(u)

s

_
T
0
(|u

(t) +sh

(t)|
q
|u

(t)|
q
)dt
s

e pelo Teorema do Valor Mdio, existe (0, 1) tal que

|u

(t) +sh

(t)|
q
|u

(t)|
q
s

(|u

(t) +sh

(t)|
q
)

|sh

|
s

consequentemente

|u

(t) +sh

(t)|
q
|u

(t)|
q
s

q 2
q1
(|u

(t)|
q1
+|h

(t)|
q1
)|h

(t)|.
Observe que usando a desigualdade de Hlder e o fato que
_
T
0
|h

(t)|
q
dt < tem-se
q(|u

(t)|
q1
+|h

(t)|
q1
)|h

(t)| L
1
([0, T]).
Pelo Teorema da Convergncia Dominada de Lebesgue (Ver[2]), segue
(H(u), h) =
_
T
0
_
q|u

(t)|
q2
u

(t), h

(t)
_
dt.
Desde que
G(u

(t)) = q|u

(t)|
q2
u

(t)
camos com
(H(u), h) =
_
T
0
_
G(u

(t)), h

(t)
_
dt.
Integrando
_
T
0
_
G(u

)(t), h

(t)
_
dt por partes e usando o fato de que u(0) = u(T),
obtemos
_
T
0
_
G(u

)(t), h

(t)
_
dt =
_
T
0
_
d
dt
G(u

)(t), h(t)
_
dt (3.38)
e consequentemente
(H(u), h) =
_
T
0
_
d
dt
G(u

)(t), h(t)
_
dt.
Pelo mtodo do Multiplicadores de Lagrange em espaos de Banach, existe
1
R
satisfazendo
(F(u), h) =
1
(H(u), h)
71
ou seja,
2
_
T
0
_
Ju

(t), h(t)
_
dt =
1
_
T
0
_
d
dt
G(u

)(t), h(t)
_
dt, h X.
Portanto,
d
dt
G(u

) = Ju

.
Considere G

a transformada de Legendre da funo G. Se v = G(u

) temos u

=
G

(v), e assim, obtemos o sistema Hamiltoniano

v

+JG

(v) = 0. (3.39)
Observe que,
d
dt
G

(v) =
_
G

(v), v

_
= (G

(v), JG

(v)) = (G

(v), JG

(v))
logo, pelo item (i) do Lema 3.6
d
dt
G

(v) = 0
o que implica que G

(v) constante.
Pelo Lema 3.4, temos
G

(v) = q
p
q
|v|
p
p
sendo G

(v) constante, segue que |v| constante. Visto que,

v = G(u

) = q|u

|
q2
u

(3.40)
temos,
|v| = q|u

|
q1
mostrando que |u

| constante.
Por outro lado,
_
T
0
|u

(t)|
q
dt = T
assim, |u

| = 1. Logo, por (3.40)

v = qu

o que implica,
v

= qu

. (3.41)
72
Substituindo (3.41) em (3.39) segue
qu

+Ju

= 0
ou seja,
u

+

q
Ju

= 0.
No que segue denotaremos

q
por , assim
u

+Ju

= 0. (3.42)
No que segue vamos mostrar que =
2
T
.
De fato, para xar as idias, consideremos u = (u
1
, u
2
) R
2
, assim
u

+Ju

= 0
_
u

1
, u

2
_
+
_
u

2
, u

1
_
= 0
o que implica,
_
_
_
u

1
u

2
= 0
u

2
+u

1
= 0
assim,
_
_
_
u

1
u

2
= 0
u

2
+u

1
= 0
logo,
u

1
+
2
u

1
= 0.
Fazendo, y = u

1
, obtemos
_
_
_
y

+
2
y = 0
y(0) = y(T)
que tem equao caracterstica dada por
r
2
+
2
= 0 (3.43)
com raizes complexas
r = [[i
onde sem perda de generalidade podemos supor > 0. Portanto, a soluo geral da
equao (3.43) dada por
y(t) = C
1
cos(t) +C
2
sen(t).
73
Sendo y(0) = y(T), segue
C
1
cos(0) +C
2
sen(0) = C
1
cos(T) +C
2
sen(T)
obtendo,
cos(T) = 1
e consequentemente,
=
2k
T
, k Z.
Alm disso,
_
T
0
|u

(t)|
2
dt =
_
T
0

_
u

(t), u(t)
_
dt
usando (3.42), obtemos
T =
_
T
0
|u

(t)|
2
dt =
_
T
0

_
u

(t), u(t)
_
dt =
_
T
0
_
Ju

(t), u(t)
_
dt
portanto,
_
T
0
_
Ju

(t), u(t)
_
dt =
T

.
Observe que
_
T
0
_
Ju

(t), u(t)
_
dt =
T
2
2k
, u M
atinge o menor valor quando k = 1. Portanto,
_
T
0
_
Ju

(t), u(t)
_
dt =
T
2
2
, u M.
3.5 Dual Hamiltoniano
Nesta subseo vamos considerar de maneira informal que os funcionais que con-
sideraremos so continuamente diferenciveis em W
1,p
T
([0, T]). Alm disso, vamos mos-
trar qual deve ser o funcional adequado am de que os pontos crticos desse funcional
sejam solues do sistema Halmitoniano
_
_
_
q

(t) = D
z
H(t, q, p)
p

(t) = D
x
H(t, q, p).
74
Seja L(t, x, y) uma funo suave denida em [0, T] R
2N
tal que para qualquer (t, x)
[0, T] R
N
, L(t, x, .) uma funo de Legendre. Considere H(t, x, .) a transformada
de Legendre de L(t, x, .). Assim,
_
_
_
H(t, x, z) = (z, y) L(t, x, y)
z = D
y
L(t, x, y), y = D
z
H(t, x, z)
(3.44)
ou
H(t, x, z) = sup
yR
N
[(z, y) L(t, x, y)] , z R
N
. (3.45)
Se q : [0, T] R
N
ponto crtico de
(q) =
_
T
0
L(t, q, q

)dt (3.46)
denida em um espao de funes suaves T-peridicas, ento
Armao 1:
d
dt
D
y
L(t, q, q

) = D
x
L(t, q, q

).
De fato, sendo continuamente diferencivel em W
1,p
T
([0, T]), para cada
v W
1,p
T
([0, T]), considere
F(, t) = L(t, q +v, q

+v

)
e
() =
_
T
0
F(, t)dt
assim,
() =
_
T
0
F(, t)dt = (q +v). (3.47)
Por outro lado,

() =
_
T
0
D

F(, t)dt =
_
T
0
D

L(t, q +v, q

+v

)
sendo,
D

L(t, q +v, q

+v

) =
_
D
x
L(t, q +v, q

+v

), v
_
+
_
D
y
L(t, q +v, q

+v

), v

_
temos,

() =
_
T
0
_
D
x
L(t, q +v, q

+v

), v
_
dt +
_
T
0
_
D
y
L(t, q +v, q

+v

), v

_
dt.
(3.48)
75
Integrando
_
T
0
_
D
y
L(t, q +v, q

+v

), v

_
dt por partes e usando o fato das funes
serem T-peridicas, obtemos
_
T
0
_
D
y
L(t, q +v, q

+v

), v

_
dt =
_
T
0
_
d
dt
D
y
L(t, q +v, q

+v

), v
_
dt
(3.49)
logo, substituindo (3.49) em (3.48),

() =
_
T
0
_
_
D
x
L(t, q +v, q

+v

), v
_

_
d
dt
D
y
L(t, q +v, q

+v

), v
__
dt.
(3.50)
Por (3.47),

() =

(q +v), v)
o que implica,

(0) =

(q), v). (3.51)

Substituindo (3.51) em (3.50), obtemos em = 0

(q), v) =
_
T
0
_
_
D
x
L(t, q, q

), v
_

_
d
dt
D
y
L(t, q, q

), v
__
dt, v W
1,p
T
.
Sendo q um ponto crtico de ,
_
T
0
_
_
D
x
L(t, q, q

), v
_

_
d
dt
D
y
L(t, q, q

), v
__
dt = 0, v W
1,p
T
([0, T]).
Visto que
C
1
0
([0, T]) W
1,p
T
([0, T])
tem-se
_
T
0
_
_
D
x
L(t, q, q

), v
_

_
d
dt
D
y
L(t, q, q

), v
__
dt = 0 v C
1
0
([0, T]).
Pelo Teorema de Dubois-Raymond (Ver [Apndice C]), temos
D
x
L(t, q, q

)
d
dt
D
y
L(t, q, q

) = 0
ou seja,
d
dt
D
y
L(t, q, q

) = D
x
L(t, q, q

)
mostrando a Armao.
Considerando
p(t) = D
y
L(t, q, q

) (3.52)
76
temos,
p

(t) = D
x
L(t, q, q

). (3.53)
Analogamente a (3.44), segue de (3.52)
q

(t) = D
z
H(t, q, p). (3.54)
Por (3.44)
H(t, x, z) = (z, y) L(t, x, y)
implicando que y = y(t, x, z). De maneira informal, obtemos por (3.44)
D
x
i
H = (D
x
i
z, y) + (z, D
x
i
y) D
x
i
L (D
y
L, D
x
i
y) ,
sendo x e z independentes, segue
D
x
i
H = (z, D
x
i
y) D
x
i
L (D
y
L, D
x
i
y) ,
usando (3.44),
D
x
i
H = D
x
i
L
mostrando que D
x
H = D
x
L. Assim, por (3.53) temos
p

(t) = D
x
H(t, q, p). (3.55)
Armao 2: As solues do sistema Hamiltoniano
_
_
_
q

(t) = D
z
H(t, q, p)
p

(t) = D
x
H(t, q, p)
(3.56)
so os pontos crticos do funcional
(p, q) =
_
T
0
_
p, q

_
dt
_
T
0
H(t, q, p)dt.
De fato, primeiramente considerando
I(p, q) =
_
T
0
_
p, q

_
dt
por denio
I(p +sv, q +sw) I(p, q)
s
=
_
T
0
_
p +sv, q

+sw

_
dt
_
T
0
_
p, q

_
dt
s
77
logo,
I(p +sv, q +sw) I(p, q)
s
=
s
_
T
0
_
p, w

_
dt +s
_
T
0
_
v, q

_
dt +s
2
_
T
0
_
v, w

_
dt
s
.
Passando ao limite quando s 0, obtemos
lim
s0
I(p +sv, q +sw) I(p, q)
s
=
_
T
0
_
p, w

_
dt +
_
T
0
_
v, q

_
dt
ou seja,
I

(p, q).(v, w) =
_
T
0
__
p, w

_
+
_
v, q

__
dt. (3.57)
Integrando
_
T
0
_
p, w

_
dt por partes e usando o fato das funes serem T-peridicas,
obtemos
_
T
0
_
p, w

_
dt =
_
T
0
_
p

, w
_
dt, (3.58)
substituindo (3.58) em (3.57), encontramos
I

(p, q).(v, w) =
_
T
0
__
v, q

__

_
p

, w
_
dt.
Por outro lado, se
K(p, q) =
_
T
0
H(t, q, p)dt
seguindo o mesmo raciocnio da Armao 1,
K

(p, q).(v, w) =
_
T
0
[(D
x
H(t, q, p), w) + (D
z
H(t, q, p), v)] dt.
Logo,

(p, q).(v, w) = I

(p, q).(v, w) K

(p, q).(v, w)
ou seja,

(p, q).(v, w) =
_
T
0
_
v, q

_
T
0
_
p

, w
_
dt
_
T
0
(D
x
H(t, q, p), w) dt
_
T
0
(D
z
H(t, q, p), v) dt.
(3.59)
Agora vamos mostrar que os pontos crticos de so solues de (3.56).
Analisemos os seguintes casos:
(i) Se (v, w) = (0, w), segue

_
T
0
_
p

, w
_
dt
_
T
0
(D
x
H(t, q, p), w) dt = 0, w W
1,p
T
([0, T])
78
o que implica,
_
T
0
__
p

D
x
H(t, q, p)
_
, w
_
dt = 0, w C
1
0
([0, T])
portanto,
p

= D
x
H(t, q, p).
(ii) Se (v, w) = (v, 0), obtemos
_
T
0
_
q

, v
_
dt
_
T
0
(D
z
H(t, q, p), v) dt = 0, v W
1,p
T
([0, T])
e consequentemente,
_
T
0
__
q

D
z
H(t, q, p)
_
, v
_
dt = 0, v C
1
0
([0, T])
portanto,
q

= D
z
H(t, q, p).
Por (i) e (ii) segue a Armao 2.
3.6 Solues Peridicas para o Sistema Hamiltoniano
Convexo
Nesta seo trataremos da existncia de solues peridicas para o sistema Ha-
miltoniano forado
u

= JH(t, u)
e para o sistema Hamiltoniano livre
u

= JH(u),
onde J denido como no Lema 3.6 e denota o gradiente com respeito a u.
No caso forado assumiremos que H T-peridica com respeito a t com o objetivo
de encontrar solues T-peridicas ou kT-peridicas para algum k 2.
No caso livre, a energia constante, pois
d
dt
H(u(t)) =
_
H(u(t)), u

(t)
_
= (H(u(t)), JH(u(t)))
e pelo item i) do Lema 3.6
d
dt
H(u(t)) = 0
79
mostrando que H(u(t)) constante.
No que segue, assumimos as seguintes hipteses sobre o Hamiltoniano H(t, u):
(H
1
) H contnua em R R
2N
, diferencivel com respeito a u e H(t, u) contnua
em R R
2N
.
(H
2
) H estritamente convexa com respeito a u.
(H
3
) Existem q (1, 2), 0 e , > 0 tais que
|u|
q
H(t, u) |u|
q
+.
(H
4
) H T-peridica com respeito a t.
Observao 3.3 Assumindo a hiptese (H
3
), existem q (1, 2), 0 e , > 0 tais
que
|u|
q1

|u|

H(t, u)
|u|
|u|
q1
+

|u|
com |u| , = 0.
Passando ao limite quando |u| , encontramos
H(t, u)
|u|

de onde conclumos que H uma funo de Legendre.
Denotaremos por G(t, .) a transformada de Legendre de H(t, .), isto ,
_
_
_
G(t, v) = (v, u) H(t, u)
v = H(t, u), u = G(t, v)
ou
G(t, v) = sup
wR
2N
[(v, w) H(t, w)] .
Se p > 2 e
1
p
+
1
q
= 1, segue da Armao (H
3
) e do Lema 3.4 que
_
1
q
_
p
q
|v|
p
p
G(t, v)
_
1
q
_
p
q
|v|
p
p
+. (3.60)
Denotaremos por X o seguinte espao vetorial
X =
_

_
v : R R
2N
absolutamente contnua, T peridica,
_
T
0
v(t)dt = 0 e
_
T
0
|v

(t)|
p
dt <
_

_
80
com norma (Ver [Apndice C])
|v|
X
=
_
1
T
_
T
0
|v

(t)|
p
dt
_
1
p
, (3.61)
e por : X R o seguinte funcional
(v) =
_
T
0
_
1
2
_
Jv

, v
_
+G(t, v

)
_
dt.
Se v W
1,p
([0, T]) e
_
T
0
v(t)dt = 0, pela Proposio 2.3 existe C > 0 tal que
_
T
0
|v(t)|
p
dt C
_
T
0
|v

(t)|
p
dt
o que implica,
|v|
W
1,p
([0,T])

__
T
0
|v

(t)|
p
dt +C
_
T
0
|v

(t)|
p
dt
_
1
p
logo,
|v|
W
1,p
([0,T])
(C + 1)
1
p
__
T
0
|v

(t)|
p
dt
_
1
p
mostrando que
|v|
W
1,p
([0,T])
T
1
p
(C + 1)
1
p
_
1
T
_
T
0
|v

(t)|
p
dt
_
1
p
.
Fixando C
1
= T
1
p
(C + 1)
1
p
, da ltima desigualdade
|v|
W
1,p
([0,T])
C
1
|v|
X
. (3.62)
Por outro lado,
|v|
X
=
_
1
T
_
T
0
|v

(t)|
p
dt
_
1
p

1
T
1
p
__
T
0
|v

(t)|
p
dt +
_
T
0
|v(t)|
p
dt
_
1
p
.
Fixando C
2
= T
1
p
camos com
C
2
|v|
X
|v|
W
1,p
([0,T])
. (3.63)
Por (3.62) e (3.63), temos
C
1
|v|
X
|v|
W
1,p
([0,T])
C
2
|v|
X
,
81
de onde conclumos que |.|
W
1,p
([0,T])
e |.|
X
so equivalentes em X.
Sendo W
1,p
([0, T]) um espao de Banach com norma |.|
W
1,p
([0,T])
para 1 p ,
conclumos que X um espao de Banach com norma |.|
X
.
O funcional : X R dado por
(v) =
_
T
0
_
1
2
_
Jv

, v
_
+G(t, v

)
_
dt
est bem denido, pois usando (3.60) e o Lema 3.5, G cresce no mximo at a
potncia p 1, C
1
(X, R) (Ver [Apndice B]) e
Armao 1:

(v), h) =
_
T
0
_
G(t, v

) Jv, h

)
_
dt.
De fato, considerando I : X R dado por
I(v) =
_
T
0
_
Jv

, v
_
dt,
simples vericar que I C
1
(X, R) e
I

(v), h) = 2
_
T
0
_
Jv, h

_
dt.
Por outro lado, denindo
K(v) =
_
T
0
G(t, v

)dt,
tem-se (Ver [Apndice B]),
K

(v), h) =
_
T
0
_
G(t, v

), h

_
dt.
Sendo,

(v), h) =
1
2
I

(v), h) +K

(v), h)
temos,

(v), h) =
_
T
0
_
Jv, h

_
dt +
_
T
0
_
G(t, v

), h

_
dt
ou

(v), h) =
_
T
0
_
G(t, v

) Jv, h

_
dt (3.64)
mostrando a Armao 1.
Lema 3.7 Se v um ponto crtico de , existe uma soluo T-peridica u para
u

(t) = JH(t, u(t))

tal que
v(t) = J
_
u(t)
1
T
_
T
0
u(s)ds
_
.
82
Demonstrao:
Por (3.64),

(v), h) =
_
T
0
_
G(t, v

) Jv, h

_
dt.
Sendo v um ponto crtico de ,
_
T
0
_
G(t, v

) Jv, h

_
dt = 0, h X.
Dado C

0
([0, T]), considerando
h

(t) = (t)
1
T
_
T
0
(s)ds
tem-se, h

e
_
T
0
h

(t)dt =
_
T
0
(t)dt
_
T
0
1
T
__
T
0
(s)ds
_
dt
ou seja,
_
T
0
h

(t)dt = 0.
Mostrando que h

X.
Logo,
0 =
_
T
0
_
G(t, v

) Jv, h

_
dt =
_
T
0
_
G(t, v

) Jv,

_
dt, C

0
([0, T])
o que implica,
D

_
G(t, v

) Jv
_
= 0
onde D

denota a derivada no sentido das distribuies.

Consequentemente
_
D

G(t, v

),
_
=
_
T
0
Jv

ou seja,
D

G(t, v

) = Jv

portanto,
d
dt
G(t, v

) = Jv

.
Considerando
u = G(t, v

)
83
temos
v

= H(t, u)
assim,
u

=
d
dt
G(t, v

) = Jv

(3.65)
o que implica,
u

= JH(t, u).
Logo, u soluo para
u

= JH(t, u).
Sendo G e v

T-peridicas, segue que u T-peridica.

Observando que
J
2
= I, I := identidade,
de (3.65) segue
Ju

(t) = v

(t).
Integrando de 0 a s, obtemos
_
s
0
v

(t)dt = J
__
s
0
u

(t)dt
_
assim (Ver [3]),
v(s) v(0) = J(u(s) u(0))
ou seja,
v(s) v(0) = Ju(s) +Ju(0). (3.66)
Integrando de 0 a T,
_
T
0
v(t)dt
_
T
0
v(0)dt = J
__
T
0
u(t)dt
_
+J
__
T
0
u(0)dt
_
e sendo
_
T
0
v(t)dt = 0, temos
Tv(0) = J
__
T
0
u(t)dt
_
+TJu(0)
consequentemente,
v(0) = J
_
1
T
_
T
0
u(t)dt
_
Ju(0). (3.67)
84
Por (3.66) e (3.67) segue
v(s) = J
_
1
T
_
T
0
u(t)dt
_
Ju(0) Ju(s) +Ju(0)
ou seja,
v(t) = J
_
1
T
_
T
0
u(s)ds
_
Ju(t)
portanto,
v(t) = J
_
u(t)
1
T
_
T
0
u(s)ds
_
.
Lema 3.8 O funcional limitado inferiormente.
Demonstrao:
Para
w(t) =
T
1
p
v(t)
__
T
0
|v

(t)|
p
dt
_
1
p
temos,
|w

(t)|
p
=
T|v

(t)|
p
_
T
0
|v

(t)|
p
dt
e consequentemente
_
T
0
|w

(t)|
p
dt = T.
Pela Proposio 3.9,
_
T
0
_
Jw

(t), w(t)
_
dt
T
2
2
o que implica,
T
2
p
__
T
0
|v

(t)|
p
dt
_
2
p
_
T
0
_
Jv

(t), v(t)
_
dt
T
2
2
logo,
1
2
_
T
0
_
Jv

(t), v(t)
_
dt
T
2
4
|v|
2
X
. (3.68)
Por outro lado, usando a equao (3.60) segue
_
T
0
G(t, v

)dt
_
1
q
_
p
q
1
p
_
T
0
|v

(t)|
p
dt T
85
e assim,
_
T
0
G(t, v

)dt
_
1
q
_
p
q
T
p
_
1
T
_
T
0
|v

(t)|
p
dt
_
T. (3.69)
Por (3.68) e (3.69) tem-se
(v)
_
1
q
_
p
q
T
p
|v|
p
X

T
2
4
|v|
2
X
T.
Lema 3.9 O funcional satisfaz a condio de Palais-Smale (PS).
Demonstrao:
Seja (v
k
) uma sequncia em X tal que ((v
k
)) limitada e

(v
k
) 0. Pelo Lema
3.8,
_
1
q
_
p
q
T
p
|v
k
|
p
X

T
2
4
|v
k
|
2
X
T (v
k
)
e sendo ((v
k
)) limitada, existe M > 0 tal que
(v
k
) M.
Usando estas ltimas desigualdades, tem-se (v
k
) limitada em X. Logo, (v
k
) limitada
em W
1,p
([0, T]). Desse modo, existe uma subsequncia, que denotaremos por (v
k
), tal
que
v
k
v uniformemente em [0, T] (3.70)
pois
W
1,p
([0, T]) C([0, T]).
Sendo
v
k
W
1,p
([0, T]) (3.71)
segue que
v

k
L
p
([0, T]).
Visto que L
p
([0, T]) um espao reexivo, existe uma subsequncia, que denotaremos
por (v

k
), tal que
v

k
w em L
p
([0, T]).
Por (3.71) temos
_
T
0
v

k
(t)(t)dt =
_
T
0
v
k
(t)

(t)dt, C
1
0
([0, T]). (3.72)
86
Por denio
v

k
w em L
p
([0, T]) (v

k
) (w), (L
p
([0, T]))

.
Pelo Teorema da Representao de Riesz (Ver [3])
_
T
0
v

k
(t)(t)dt
_
T
0
w(t)(t)dt.
Por outro lado,

_
T
0
v
k
(t)

(t)dt
_
T
0
v(t)

(t)dt

_
T
0
|v
k
(t) v(t)| [

(t)[dt, C
1
0
([0, T])
assim,

_
T
0
v
k
(t)

(t)dt
_
T
0
v(t)

(t)dt

C
_
T
0
|v
k
(t) v(t)|dt.
Usando a desigualdade de Hlder, segue

_
T
0
v
k
(t)

(t)dt
_
T
0
v(t)

(t)dt

C T
1
q
|v
k
v|
p
L
p.
De (3.70), segue
_
T
0
v
k
(t)

(t)dt
_
T
0
v(t)

(t)dt, C
1
0
([0, T]).
Usando (3.72), temos
_
T
0
w(t)(t)dt =
_
T
0
v(t)

(t)dt, C
1
0
([0, T]).
Integrando
_
T
0
v(t)

(t)dt por partes e usando o Teorema de Dubois-Raymond (Ver

[3]), obtemos
w = v

portanto,
v

k
v

em L
p
([0, T]). (3.73)
Observando que
G(t, v

k
) Jv
k
L
q
([0, T])
podemos escrever,
G(t, v

k
) Jv
k
= w
k
+f
k
87
onde
w
k
=
1
T
_
T
0
G(t, v

k
)dt.
Desse modo,
_
T
0
_
G(t, v

k
) Jv
k
, h

_
dt =
_
T
0
_
w
k
+f
k
, h

_
dt
mostrando que
_
T
0
_
G(t, v

k
) Jv
k
, h

_
dt =
_
T
0
_
f
k
, h

_
dt.
Por outro lado, sendo

(v
k
) 0 tem-se
sup
_

_
T
0
_
G(t, v

k
) Jv
k
, h

_
dt

; |h

|
L
p
([0,T])
1
_
0
portanto,
sup
_

_
T
0
_
f
k
, h

_
dt

; |h

|
L
p
([0,T])
1
_
0. (3.74)
Desde que f
k
L
q
([0, T]), existe
k
C([0, T]) (Ver[3]), tal que
|f
k

k
|
L
q
([0,T])

1
k
.
Considere
h
k
(t) =
k
(t)
1
T
_
T
0

k
(s)ds
onde

k
(t) =
_
t
0

k
[
k
[
q2
ds.
Ento,
_
T
0
f
k
h

k
dt =
_
T
0
(f
k

k
)h

k
dt +
_
T
0

k
h

k
dt
ou equivalentemente
|h

k
|
L
p
([0,T])
_
T
0
f
k
_
h
k
|h

k
|
L
p
([0,T])
_
dt =
_
T
0
(f
k

k
)h

k
dt +
_
T
0

k
h

k
dt. (3.75)
Usando (3.74) e o fato que |h

k
|
L
q
([0,T])
C, podemos armar que

|h

k
|
L
p
([0,T])
_
T
0
f
k
_
h
k
|h

k
|
L
p
([0,T])
_
dt

0.
Alm disso,
_
T
0
(f
k

k
)h

k
dt =
_
T
0
(f
k

k
)

k
dt |f
k

k
|
L
q
([0,T])
|

k
|
L
p
([0,T])
88
o que implica,
_
T
0
(f
k

k
)h

k
dt
1
k
|
k
|
p
q
L
q
([0,T])

C
1
k
0
consequentemente por (3.75),
_
T
0

k
h

k
dt 0.
Observando que
_
T
0

k
h

k
dt =
_
T
0
[
k
[
q
dt
temos,
|
k
|
L
q
([0,T])
0 quando k +.
Por outro lado,
|f
k
|
L
q
([0,T])
= |f
k

k
+
k
|
L
q
([0,T])
|f
k

k
|
L
q
([0,T])
+|
k
|
L
q
([0,T])
ou seja,
|f
k
|
L
q
([0,T])

1
k
+|
k
|
L
q
([0,T])
mostrando que
f
k
0 em L
q
([0, T]).
Portanto,
G(t, v

k
) Jv
k
w
k
= f
k
0 em L
q
([0, T]) (3.76)
onde
w
k
=
1
T
_
T
0
G(t, v

k
)dt.
Note que,
|w
k
|
1
T
_
T
0
|G(t, v

k
)|dt. (3.77)
Sendo G(t, .) a transformada de Legendre de H(t, .), usando (3.60) e a Observao 3.5
existem C
2
> 0 e C
3
> 0 tais que
|G(t, v

k
)| C
2
|v

k
|
p1
+C
3
logo, (w
k
) limitada em R
2N
. Portanto, existem uma subsequncia, que denotaremos
por (w
k
), e w R
2N
tais que
w
k
w em R
2N
.
89
Usando (3.76),
v

k
= H(f
k
+Jv
k
+w
k
).
Por (H
3
) e usando o Lema 3.5 existem C
6
> 0 e C
7
> 0 tais que
|v

k
| C
6
|(f
k
+Jv
k
+w
k
)|
q1
+C
7
o que implica,
|v

k
|
p

_
C
6
|(f
k
+Jv
k
+w
k
)|
q1
+C
7
_
p
.
Considerando
g
k
= C
6
|(f
k
+Jv
k
+w
k
)|
q1
+C
7
,
temos,
|v

k
| g
k
.
Observe que
[g
k
[
p
C
8
|(f
k
+Jv
k
+w
k
)|
(q1)p
+C
9
ou seja,
[g
k
[
p
C
8
|(f
k
+Jv
k
+w
k
)|
q
+C
9
.
Usando (3.76),
g
k
L
p
([0, T]).
Por outro lado, passando a subsequncia se necessrio,
v

k
(t) g(t) q.t.p em [0, T]
onde g = H(Jv + w). Pelo Teorema da Convergncia Dominada Generalizado de
Lebesgue
_
T
0
|v

k
(t) g(t)|
p
dt 0 em L
p
([0, T])
ou seja,
_
T
0
|v

k
(t) v

(t)|
p
dt 0 em L
p
([0, T])
portanto,
v
k
v em X.
90
Teorema 3.10 Assumindo as hipteses (H
1
) (H
4
), existe uma soluo T-peridica
u para
u

(t) = JH(t, u(t))

tal que
v(t) = J
_
u(t)
1
T
_
T
0
u(s)ds
_
minimiza em X.
Demonstrao:
Uma vez que C
1
(X, R), pelos Lemas 3.8 e 3.9 o funcional limitado
inferiormente e satisfaz a condio (PS)
c
. Logo pelo Teorema 1.4 existe um ponto
crtico v que minimiza em X.
Portanto, sendo v um ponto crtico de , pelo Lema 3.7 existe uma soluo T-
peridica u para
u

(t) = JH(t, u(t))

tal que
v(t) = J
_
u(t)
1
T
_
T
0
u(s)ds
_
minimiza em X.
Proposio 3.11 Assumindo as hipteses (H
1
) (H
4
) e que u uma soluo de
u

(t) = JH(t, u(t))

vericando u(0) = u(T). Ento
_
1
q
_
p
q
1
p
_
T
0
|u

(t)|
p
dt
T
2
q
2
__
T
0
|u

(t)|
p
_
2
p
dt + 2T (3.78)
e

_
T
0
|u(t)|
q
dt
T
2
q
2
__
T
0
|u

(t)|
p
_
2
p
dt + 2T. (3.79)
Demonstrao:
Assumindo as hipteses (H
1
) (H
4
), temos que H uma funo de Legendre e
existem q (1, 2), 0 e , > 0 tais que
|u|
q
H(t, u) |u|
q
+,
91
com
1
p
+
1
q
= 1 e
_
1
q
_
p
q
|H(t, u)|
p
p
(H(t, u), u) + 2.
Sendo u soluo de
u

(t) = JH(t, u(t))

temos
Ju

(t) = H(t, u(t))

o que implica,
_
1
q
_
p
q
|H(t, u)|
p
p

_
Ju

, u
_
+ 2.
Integrando ambos os membros de 0 a T, obtemos
_
1
q
_
p
q
1
p
_
T
0
|H(t, u)|
p
dt
_
T
0
_
Ju

, u
_
dt + 2T. (3.80)
Observe que,
|u

|
2
= (JH(t, u(t)), JH(t, u(t))) =
_
H(t, u(t)), J
2
H(t, u(t))
_
assim,
|u

|
2
= |H(t, u)|
2
. (3.81)
Substituindo (3.81) em (3.80) e usando a Proposio 3.9, camos com
_
1
q
_
p
q
1
p
_
T
0
|u

(t)|
p
dt
T
2
2
_
1
T
_
T
0
|u

(t)|
p
dt
_
2
p
+ 2T.
Logo,
_
1
q
_
p
q
1
p
_
T
0
|u

(t)|
p
dt
T
2
2
1
T
2
p
__
T
0
|u

(t)|
p
dt
_
2
p
+ 2T
ou seja,
_
1
q
_
p
q
1
p
_
T
0
|u

(t)|
p
dt
T
2
2
p
2
__
T
0
|u

(t)|
p
dt
_
2
p
+ 2T.
Usando o fato que
1
p
+
1
q
= 1, tem-se
_
1
q
_
p
q
1
p
_
T
0
|u

(t)|
p
dt
T
2
q
2
__
T
0
|u

(t)|
p
dt
_
2
p
+ 2T
mostrando (3.78).
92
Por outro lado, pela Proposio 3.2
H(t, 0) H(t, u) + (H(t, u), u)
ou seja,
H(t, u) H(t, 0) + (H(t, u), u) .
Usando (H
3
),
|u|
q
H(t, u) (H(t, u), u) +H(t, 0)
e
H(t, 0) .
Logo,
|u|
q
(H(t, u), u) + 2.
Seguindo o mesmo raciocnio usado para mostrar (3.78), obtemos

_
T
0
|u(t)|
q
dt
T
2
q
2
__
T
0
|u

(t)|
p
_
2
p
dt + 2T
demonstrando (3.79).
3.7 Subharmnicas
Considerando o sistema Hamiltoniano
Ju

(t) +H(t, u(t)) = 0, (3.82)

uma soluo u de (3.82) em [0, T] vericando
u(0) = u(T)
pode ser extendida pela T-periodicidade para R, obtendo-se uma soluo u de (3.82)
satisfazendo
u(t +T) = u(t), t R. (3.83)
Se (3.83) no satisfeita substituindo T por
T
k
, onde k N tal que k 2, T
chamado perodo minimal de u.
93
Nesta seo mostraremos que (3.82) admite soluo u tal que
u(t) = u(t +kT), t R
para algum k 2. Estas solues so chamadas solues subharmnicas ou simples-
mente subharmnicas.
Teorema 3.12 Assumindo as hipteses (H
1
) (H
4
), para todo k N

, existe uma
soluo, u
k
, kT-peridica para
u

(t) = JH(t, u(t))

tal que
|u
k
|

= max
t[0,T]
|u
k
(t)| quando k .
Alm disso, o perodo minimal (T
k
) de u
k
verica
T
k
quando k .
Demonstrao:
Sem perda de generalidade, podemos supor T = 2. Visto que toda soluo T-
peridica tambm kT-peridica, considere T = 2k, pelo Teorema 3.10 existe uma
soluo 2k - peridica de
u

(t) = JH(t, u(t)) (3.84)

tal que
v
k
(t) = J
_
u
k
(t)
1
T
_
T
0
u
k
(s)ds
_
(3.85)
minimiza

k
(v) =
_
2k
0
_
1
2
_
Jv

(t), v(t)
_
+G(t, v

(t))
_
dt
em X.
Vamos estimar superiormente C
k
=
k
(v
k
). Considere e R
2N
tal que |e| = 1 e
m = maxG(t, v(t)) : t R, |v| = 1. (3.86)
Se
h
k
= k cos
_
t
k
_
e +k sen
_
t
k
_
Je
temos
h

k
= sen
_
t
k
_
e +cos
_
t
k
_
Je
94
e consequentemente,
|h

k
|
2
=
_
sen
_
t
k
_
e +cos
_
t
k
_
Je, sen
_
t
k
_
e +cos
_
t
k
_
Je
_
de onde encontramos,
|h

k
|
2
= sen
2
_
t
k
_
|e|
2
+ 2 (e, Je)
_
sen
_
t
k
_
cos
_
t
k
__
+cos
2
_
t
k
_
|Je|
2
.
Por denio |e| = |Je| = 1 e por (i) do Lema 3.6 temos (e, Je) = 0. Portanto,
|h

k
|
2
= sen
2
_
t
k
_
+cos
2
_
t
k
_
donde conclumos que
|h

k
| = 1. (3.87)
Alm disso,
C
k

k
(h
k
) =
_
2k
0
_
1
2
_
Jh

k
(t), h
k
(t)
_
+G(t, h

k
(t))
_
dt.
Usando (3.86) e (3.87), temos
C
k

_
2k
0
_
1
2
_
Jh

k
(t), h
k
(t)
_
+m
_
dt
assim,
C
k

_
2k
0
1
2
_
Jh

k
(t), h
k
(t)
_
dt + 2km. (3.88)
Por outro lado,
_
Jh

k
(t), h
k
(t)
_
=
_
sen
_
t
k
_
Je cos
_
t
k
_
e, k cos
_
t
k
_
e +k sen
_
t
k
_
Je
_
o que implica,
_
Jh

k
(t), h
k
(t)
_
= k sen
2
_
t
k
_
|Je|
2
k cos
2
_
t
k
_
|e|
2
e portanto,
_
Jh

k
(t), h
k
(t)
_
= k. (3.89)
Substituindo (3.89) em (3.88) tem-se
C
k

1
2
_
2k
0
k dt + 2km
95
assim,
C
k
2km k
2
. (3.90)
Armao 1: |u
k
|

quando k .
De fato, Se |u
k
| no converge para +, existem C
2
> 0 e uma subsequncia
(u
k
n
) tal que
|u
k
n
|

C
2
.
Observe que, H[
[0,T]R
2N contnua e usando (3.84) temos
|u

k
n
|

max|JH(t, z)| : t [0, T], |z| C

2

portanto,
|u

k
n
|

C
3
.
Usando (3.85) obtemos
|v
k
n
|

=
_
_
_
_
u
k
n

1
2k
_
2k
0
u
k
n
(s)ds
_
_
_
_

o que implica,
|v
k
n
|

|u
k
n
|

+
1
2k
_
2k
0
|u
k
n
(s)|

ds
logo,
|v
k
n
|

C
2
+
1
2k
_
2k
0
C
2
ds
ou seja,
|v
k
n
|

2 C
2
.
Analogamente,
|v

k
n
|

C
3
.
Desse modo existe C > 0 tal que
|v
k
n
|

.|v

k
n
|

C.
Note que,
_
Jv

k
, v
k
_

_
Jv

k
, v
k
_

|Jv

k
||v
k
| = |v

k
||v
k
|.
Sendo
C
k
=
_
2k
0
_
1
2
_
Jv

k
(t), v
k
(t)
_
+G(t, v

k
(t))
_
dt
96
temos,
C
k
n

_
2k
n

0
1
2
|v
k
n
|

.|v

k
n
|

dt +
_
2k
n

0
G(t, v

k
n
(t)) dt.
Por outro lado, usando (3.60) obtemos
G(t, v

k
) .
logo,
C
k
n
k
n
C 2k
n

o que implica,
C
k
n
2k
n

_
C
2
+
_
(3.91)
o que um absurdo, pois por (3.90) e (3.91) segue
2k
n

_
C
2
+
_
k
2
n
+ 2k
n
m
donde segue,
2
_
C
2
+
_
k
n
+ 2m
ou seja,
k
n
2m +C 2
mostrando que (u
k
n
) limitada, o que um absurdo. Portanto,
|u
k
|

quando k
mostrando a Armao 1.
Armao 2: T
k
quando k .
Com efeito, caso contrrio existe > 0 e uma subsequncia (T
k
n
) tal que o perodo
minimal T
k
n
de u
k
n
satisfaz T
k
n
onde n N

e k
n
.
Pela Proposio 3.11, existem A
j
> 0, j = 1, 2, 3, 4, tais que
_
T
k
n
0
|u

k
n
|
p
A
1

2
q
2
+A
2
(3.92)
e
_
T
k
n
0
|u
k
n
|
q
A
3
T
2
q
k
n
+A
4
T
k
n
. (3.93)
Considere
u
k
n
= u
k
n
+u
k
n
97
onde,
u
k
n
=
1
T
k
n
_
T
k
n
0
u
k
n
(t)dt.
Observe que,
u

k
n
= u
k
n

pela desigualdade de Sobolev (Ver Proposio 2.1),

|u
k
n
|
2

T
k
n
12
_
T
k
n
0
|u

k
n
|
2
dt.
Sendo p > 2, por imerses de Sobolev
W
1,p
T
([0, T]) W
1,2
T
([0, T])
assim,
|u
k
n
|
2

C
T
k
n
12
__
T
k
n
0
|u

k
n
|
p
dt
_
2
p
.
Usando (3.92) tem-se
|u
k
n
|
2

C

12
_
A
1

2
q
2
+A
2

_2
p
logo, |u
k
n
|

limitada.
Por outro lado, temos
| u
k
n
|

1
T
k
n
_
T
k
n
0
|u
k
n
(t)|dt
usando a desigualdade de Hlder, segue
| u
k
n
|

1
T
k
n
__
T
k
n
0
1
p
_
1
p
__
T
k
n
0
|u
k
n
(t)|
q
dt
_
1
q
.
Usando (3.93) tem-se
| u
k
n
|

1
T
k
n
_
T
1
p
k
n
_
A
3
T
2
q
k
n
+A
4
T
k
n
_1
q
_
assim,
| u
k
n
|

2
1
q
T
k
n
_
T
1
p
k
n
_
A
1
q
3
T
2
q
2
k
n
+A
1
q
4
T
1
q
k
n
__
o que implica,
| u
k
n
|

2
1
q
T
k
n
_
A
1
q
3
T
2
q
2
+
1
p
k
n
+A
1
q
4
T
1
q
+
1
p
k
n
_
98
ou seja,
| u
k
n
|

2
1
q
T
k
n
_
A
1
q
3
T
2
q
2
+
1
p
k
n
+A
1
q
4
T
k
n
_
.
Observe que,
1
p
+
2
q
2
=
1
p
+
1
q
+
2
q
2

1
q
= 1 +
2
q
2

q
q
2
o que implica,
1
p
+
2
q
2
= 1 +
2 q
q
2
> 1
pos, sendo q (1, 2) tem-se
2 q
q
2
> 0.
Portanto,
| u
k
n
|

2
1
q
_
A
1
q
3

2
q
2
+
1
p
1
+A
1
q
4
_
.
mostrando que | u
k
n
|

limitada.
Pela denio de u
k
n
segue que |u
k
n
|

limitada, o que um absurdo. Portanto,

T
k
quando k
mostrando a Armao 2.
3.8 Oscilaes Livres com Perodo Minimal Prescrito
No que segue considere as seguintes armaes sobre o Hamiltoniano livre H(u):
(H
5
) H C
1
(R
2N
, R)
(H
6
) H estritamente convexa com respeito a u
(H
7
) Existem q (1, 2), 0 e , > 0 tais que
|u|
q
H(u) |u|
q
+,
e considere G a transformada de Legendre de H.
Observao 3.4 Assumindo (H
5
) (H
7
), podemos supor sem perda de generalidade
H(0) = 0.
De fato, usando (H
7
) e passando ao limite quando |u| , temos
lim
u
(|u|
q
) lim
u
H(u) lim
u
(|u|
q
+)
99
logo,
H(u) quando |u| .
Assim H possui mnimo em algum ponto q R
2N
.
Considere,
h
0
= H(q) = min
zR
2N
H(z)
e a funo

H : R
2N
R tal que

H(v) = H(v +q) h

0
.
Por denio

H(v) 0, v R
2N
.
Observe que

H(0) = H(q) h
0
= 0,
ou seja,

H possui mnimo no ponto 0.
Por outro lado,
H(u) =

H(v)
onde i = v +q. Se
v

(t) = J

H(v(t))
usando u

= v

e H(u) =

H(v) tem-se
u

(t) = JH(u(t)).
No que segue, podemos assumir que H(0) = 0 e H(0) = 0. Sendo G a transformada
de Legendre de H, obtemos
G(u) 0, u R
2N
e
G(0) = (v, 0) H(0) = 0
logo,
min
uR
2N
G(u) = 0 = G(0).
Portanto,
0 = min
uR
2N
H(u) = min
uR
2N
G(u) = G(0).
100
Teorema 3.13 Assumindo (H
5
) (H
7
) e H(0) = 0, existe T
0
0 tal que para todo
T > T
0
, a equao
u

(t) = JH(u(t)) (3.94)

admite soluo no-trivial u
T
com perodo minimal prescrito T. Alm disso,
|u
T
|

quando T .
Demonstrao:
Pelo Teorema 3.10, para todo T > 0 existe uma soluo u
T
para
u

(t) = JH(u(t))
tal que
v
T
(t) = J
_
u
T
(t)
1
T
_
T
0
u
T
(s)ds
_
minimiza

T
(v) =
_
T
0
_
1
2
_
Jv

(t), v(t)
_
+G(v

(t))
_
dt
em X.
Vamos estimar superiormente C
T
=
T
(v
T
). Consideremos e R
2N
tal que
|e| = 1 e
m = max
v=1
G(v).
Se
h
T
=
T
2
cos
_
2
T
t
_
e +
T
2
sen
_
2
T
t
_
Je
repetindo os mesmos argumentos usados na demonstrao do Teorema 3.12, obtemos
C
T

T
2
4
+mT
e
|u
T
|

quando T .
Alm disso, se
T > T
0
= 4m
temos
T
2
4
> mT
o que implica,
mT
T
2
4
< 0
101
ou seja, se T > T
0
= 4m devemos ter
C
T
< 0 =
T
(0)
mostrando que u
T
uma soluo no trivial.
Armao: A soluo u
T
tem perodo minimal T.
Com efeito, caso contrrio u
T

_
T
k
_
-peridica para algum k 2. Ento
v(t) = k v
T
_
t
k
_
T-peridica, pois
v(t +T) = k v
T
_
t +T
k
_
(3.95)
e
v
T
_
t +T
k
_
= J
_
u
T
_
t +T
k
_

1
T
_
T
0
u
T
_
t +T
k
__
dt.
Logo
v
T
_
t +T
k
_
= J
_
u
T
_
t
k
_

1
T
_
T
0
u
T
_
t
k
__
dt
mostrando a igualdade
v
T
_
t +T
k
_
= v
T
_
t
k
_
. (3.96)
Substituindo (3.96) em (3.95) tem-se
v(t +T) = k v
T
_
t +T
k
_
= k v
T
_
t
k
_
ou seja,
v(t +T) = v(t)
mostrando que v(t) = k v
T
_
t
k
_
T-peridica.
Alm disso,

T
(v) =
1
2
_
T
0
_
Jv

T
_
t
k
_
, k v
T
_
t
k
__
dt +
_
T
0
G
_
v

T
_
t
k
__
dt
ou seja,

T
(v) =
k
2
_
T
0
_
Jv

T
_
t
k
_
, v
T
_
t
k
__
dt +
_
T
0
G
_
v

T
_
t
k
__
dt.
Considerando s =
t
k
temos dt = kds, logo

T
(v) =
k
2
2
_ T
k
0
_
Jv

T
(s), v
T
(s)
_
ds +k
_ T
k
0
G
_
v

T
(s)
_
ds. (3.97)
102
Denindo
f(s) =
_
Jv

T
(s), v
T
(s)
_
observe que
_
T
0
f(s)ds =
_ T
k
0
f(s)ds +
_ 2T
k
T
k
f(s)ds +... +
_ (k1)T
k
(k2)T
k
f(s)ds +
_
T
(k1)T
k
f(s)ds
o que implica,
_
T
0
f(s)ds = k
_ T
k
0
f(s)ds.
Substituindo a ltima igualdade em (3.97) e usando um argumento semelhante para
_ T
k
0
G
_
v

T
(s)
_
ds, camos com

T
(v) =
k
2
_
T
0
_
Jv

T
(s), v
T
(s)
_
ds +
_
T
0
G
_
v

T
(s)
_
ds
ou ainda

T
(v) =
T
(v
T
(t)) +
k 1
2
_
T
0
_
Jv

T
(t), v
T
(t)
_
dt.
Desde que,
G(v) 0, v R
2N
tem-se
0 >
T
(v
T
)
_
T
0
1
2
_
Jv

T
(t), v
T
(t)
_
dt
o que implica,
_
T
0
1
2
_
Jv

T
(t), v
T
(t)
_
dt < 0.
Portanto,

T
(v) <
T
(v
T
)
o que um absurdo. Mostrando que u
T
T-peridica.
3.9 Oscilaes Livres com Energia Prescrita
Se u soluo do sistema Hamiltoniano livre
u

(t) JH(u(t)) = 0
sabemos que H(u(t)) constante.
103
As rbitas de u

(t) = JH(u(t)) em uma hiper-superfcie S, o conjunto

u(t) R
2N
: u

(t) = JH(u(t)), t [0, T] e H(u) constante.

Lema 3.10 Sejam H
1
, H
2
C
1
(R
2N
, R) e c
1
, c
2
R tais que
S = H
1
1
(c
1
) = H
1
2
(c
2
).
Se
H
i
(u(t)) ,= 0, i = 1, 2, u S,
ento as rbitas de u

(t) = JH
i
(u(t)), i = 1,2 em S so as mesmas.
Demonstrao:
Seja u
1
: [0, T] S soluo de
u

(t) = JH
1
(u(t)).
Sendo S uma hiper-superfcie, H
1
(u
1
(t)) e H
2
(u
1
(t)) so paralelos ao vetor normal
ao plano tangente S que passa pelo ponto u
1
(t). Portanto H
1
(u
1
(t)) e H
2
(u
1
(t))
so linearmente dependentes. Assim, existe uma funo : [0, T] R tal que
H
2
(u
1
(t)) = (t)H
1
(u
1
(t)), t [0, T]
o que implica,
|H
2
(u
1
(t))| = [(t)[ |H
1
(u
1
(t))|, t [0, T].
Visto que H
i
(u(t)) ,= 0, i = 1, 2, tem-se
(t) ,= 0, t [0, T]. (3.98)
Observe que,
(t) =
(H
2
(u
1
(t)), H
1
(u
1
(t)))
|H
1
(u
1
(t))|
2
e sendo H
1
, H
2
C
1
(R
2N
, R), podemos concluir que contnua. Usando (3.98), o
fato de ser contnua e o Teorema do Valor Intermedirio (Ver [9]), temos que
(t) > 0 ou (t) < 0, t [0, T]. (3.99)
Considere a funo : [0, T] R tal que
(s) =
_
s
0
dt
(t)
.
104
Armao: um difeomorsmo sobre sua imagem.
De fato, sendo

(s) =
1
(s)
usando (3.99) segue

(s) > 0, s [0, T]

ou

(s) < 0, s [0, T]

mostrando que injetiva.
Sendo contnua e injetiva, existe pelo teorema da Funo Inversa
1
: ([0, T])
R tal que
1
contnua. Visto que

(s) =
1
(s)
e (s) ,= 0, s [0, T]
pelo Teorema da Regra da Cadeia,
1
derivvel para todo s ([0, T]). Logo,
um difeomorsmo sobre sua imagem. Mostrando a Armao.
Considere a funo u
2
: ([0, T]) R
2N
tal que
u
2
(t) = u
1
(
1
(t))
onde t = (s). Observe que
t = (s) s =
1
(t), s [0, T].
Logo,
u

2
(t) = u

1
(
1
(t)).
1

(s)
o que implica,
u

2
(t) = u

1
(
1
(t)).
1

(
1
(t))
ou seja,
u

2
(t) =
_
1

(
1
(t))
_
.
_
u

1
(
1
(t))
_
.
sendo u
1
soluo de u

(t) = JH
1
(u(t)), segue
u

2
(t) =
_
1

(
1
(t))
_
JH
1
(u
1
(
1
(t))
105
e usando a denio de ,
u

2
(t) =
_

1
(t)
_
JH
1
(u
1
(
1
(t))
visto que
1
(t) [0, T], logo
u

2
(t) = JH
2
(u
2
(t)).
Por outro lado, se considerarmos u
2
: [0, T] S soluo de
u

(t) = JH
2
(u(t)).
Usando o mesmo argumento devemos ter
u

1
(t) = JH
1
(u
1
(t)).
Lema 3.11 Sejam H C
1
(R
2N
, R) e c R tais que H(u) ,= 0 para todo
u H
1
(c) = S, onde S a fronteira de um conjunto C compacto e estritamente
convexo com 0 intC. Se j
c
: R
m
R
+
tal que
j
c
(u) = inf
_
> 0;
u

C
_
e
F(u) = j
3
2
c
(u)
temos:
(i) F
1
(1) = S
(ii) F homognea positiva de grau
3
2
(iii) F C
1
(R
2N
, R)
(iv) F estritamente convexa
(v) Existem , > 0 tais que
|u|
3
2
F(u) |u|
3
2
(vi) F(u) ,= 0, u S.
Demonstrao:
No que segue vamos fazer algumas observaes que sero utilizadas na demons-
trao do Lema.
I: Se u C ento j
c
(u) 1.
106
De fato, sendo u C temos
1
_
> 0;
u

C
_
e pela denio de j
c
,
j
c
(u) 1
mostrando I.
II: u intC se, e somente se, j
c
(u) < 1.
Com efeito, se u intC ento (1 + )u C para > 0 sucientemente pequeno,
assim
1
1 +

_
> 0;
u

C
_
logo,
j
c
(u)
1
1 +
< 1
isto ,
j
c
(u) < 1.
Reciprocamente, se j
c
(u) < 1 existe tal que
j
c
(u) < < 1 com
u

C.
Sendo 0 intC existe > 0 tal que B

(0) C. Para todo v C, usando o fato de C

ser estritamente convexo, temos
u + (1 )v =
_
u

_
+ (1 )v C
logo,
B(u, (1 )) C
ou seja,
u intC
o que mostra II.
III: Se j
c
(u) = 1 ento u C.
De fato, se j
c
(u) = 1 existe uma sequncia (
n
) com
n
> 1 tal que

n
1 e
u

n
C.
107
Observe que,
u = lim
n
u

n
,
e sendo C fechado, devemos ter u C.
Portanto usando I, II e III e o fato que C fechado, tem-se
u C se, e somente se, j
c
(u) = 1. (3.100)
Portanto, j
1
c
(1) o conjunto de pontos de C, isto ,
j
1
c
(1) = S.
Observe que
u F
1
(1) F(u) = 1 (j
c
(u))
3
2
= 1 j
c
(u) = 1 u j
1
c
(1).
Portanto F
1
(1) = S, o que mostra (i).
Para mostrar (ii), note que para t > 0
j
c
(tu) = inf
_
> 0;
tu

C
_
,
o que implica
j
c
(tu) = t inf
_

> 0;
u

C
_
ou seja,
j
c
(tu) = tj
c
(u).
Portanto,
F(tu) = (j
c
(tu))
3
2
= (tj
c
(u))
3
2
= t
3
2
(j
c
(u))
3
2
= t
3
2
F(u),
mostrando (ii).
Com relao a (iii), primeiramente sejam U = (u, ) R
2N+1
; u ,= 0 e > 0
e considere a funo G : U R dada por
G(u, ) = H
_
u

_
c.
Observe que,
G(u, ) = 0
u

S j
c
_
u

_
= 1
logo,
G(u, ) = 0 j
c
(u) = .
108
Por outro lado,
G

(u, ) =
_
H
_
u

_
,
u

2
_
o que implica,
G

(u, ) =
1

_
H
_
u

_
,
u

_
ou seja,
G

(u, ) =
1
j
c
(u)
_
H
_
u
j
c
(u)
_
,
u
j
c
(u)
_
.
Usando o fato de 0 intC segue
G

(u, ) =
1
j
c
(u)
_
H
_
u
j
c
(u)
_
,
u
j
c
(u)
_
,= 0.
Pelo Teorema da Funo Implcita, para cada u R
2N
0 existe B = B

(u) R
2N
e um intervalo J = (j
c
(u) , j
c
(u) +) tal que, existe uma nica funo : B J
de classe C
1
satisfazendo
G(z, (z)) = 0, z B.
Pela unicidade da funo temos
F(z) = (z), z B
portanto,
F C
1
(B, R) .
Sendo u qualquer em R
2N
0, conclumos que
F C
1
_
R
2N
0, R
_
.
Por outro lado,
F
h
(0) = lim
t0
+
F(0 +th) F(0)
t
= lim
t0
+
(j
c
(th))
3
2
(j
c
(0))
3
2
t
o que implica,
F
h
(0) = lim
t0
+
t
3
2
(j
c
(h))
t
logo,
F
h
(0) = lim
t0
+
t
1
2
j
c
(h) = 0.
Agora iremos mostrar que
F(0 +h) F(0)
|h|
0 quando |h| 0.
109
Sendo F(0) = 0 e considerando r(h) = F(h), temos
(j
c
(h))
3
2
= r(h)
ou seja,
_
j
c
_
|h|
h
|h|
__3
2
= r(h)
o que implica,
|h|
3
2
_
j
c
_
h
|h|
__3
2
= r(h)
assim,
lim
h0
r(h)
|h|
= lim
h0
|h|
1
2
F
_
h
|h|
_
= 0
mostrando que
F(0 +h) F(0)
|h|
0 quando |h| 0
de onde segue F

(0) = 0. Obviamente F homognea positiva de grau

1
2
, logo
lim
u0
F(u) = lim
u0
F
_
|u|
u
|u|
_
= lim
u0
|u|
1
2
F
_
u
|u|
_
, h R
2N
e
lim
u0
F(u) = 0 = F(0)
ou seja, F diferencivel no ponto 0 e F contnua no ponto 0. Portanto
F C
1
(R
2N
, R)
mostrando (iii).
Com relao a (iv), para u, v R
m
xe

_
> 0;
u

C
_
e

_
> 0;
u

C
_
.
Usando a convexidade de C,
u +v
+
=

+
_
u

_
+

+
_
v

_
C
pois, xando
0 < t =

+
< 1
110
tem-se
u +v
+
= (1 t)
_
u

_
+t
_
v

_
e consequentemente,
+
_
> 0;
u +v

C
_
.
Usando propriedades de nmo, tem-se
inf
_
> 0;
u

C
_
+inf
_
> 0;
v

C
_
inf
_
> 0;
u +v

C
_
,
ou seja,
j
c
(u +v) j
c
(u) +j
c
(v).
Se 0 < < 1 e u, v R
m
,
j
c
((1 )u +v) j
c
((1 )u) +j
c
(v)
o que implica,
j
c
((1 )u +v) (1 )j
c
(u) +j
c
(v)
o que mostra que j
c
uma funo convexa.
Sendo C um conjunto estritamente convexo, para u, v C com u ,= v e (0, 1)
temos

_
u
j
c
(u)
_
+ (1 )
_
v
j
c
(v)
_
intC.
Usando II,
j
c
_

_
u
j
c
(u)
_
+ (1 )
_
v
j
c
(v)
__
< 1.
Para cada t [0, 1], considerando
=
tj
c
(u)
tj
c
(u) + (1 t)j
c
(v)
tem-se
1 =
(1 t)j
c
(v)
tj
c
(u) + (1 t)j
c
(v)
e
j
c
(tu + (1 t)v) < tj
c
(u) + (1 t)j
c
(v)
mostrando que j
c
uma funo estritamente convexa. Portanto, sendo F a composi-
o de duas funes estritamente convexas, conclumos que F estritamente convexa.
Mostrando (iv).
111
Para a prova de (v), observe que existem , > 0 tais que
F
_
u
|u|
_

usando (ii) tem-se

_
1
|u|
_3
2
F(u)
o que implica,
|u|
3
2
F(u) |u|
3
2
mostrando (v).
Finalmente, para mostrarmos (vi) observe que F(0) = 0 e usando o fato que a
funo F estritamente convexa segue que 0 o nico ponto crtico de F. Logo, sendo
F
1
(1) = S devemos ter
F(u) ,= 0, u S.
Teorema 3.14 Sejam H C
1
(R
2N
, R) e c R tal que H(u) ,= 0 para todo
u S = H
1
(c) onde S a fronteira de um conjunto C compacto e estritamente
convexo com 0 intC. Ento existe pelo menos uma rbita peridica para
u

(t) = JH(u(t))
com u(t) S, t R.
Demonstrao:
Considere G a transformada de Legendre de F, onde F a funo denida no
Lema 3.11. Do Teorema 3.10, existe uma soluo u (2)-peridica para
u

(t) = JF(u(t))
tal que
v(t) = J
_
u(t)
1
2
_
2
0
u(s)ds
_
minimiza
(v) =
_
2
0
_
1
2
_
Jv

(t), v(t)
_
+G(t, v

(t))
_
dt
em X. Pelo Lema 3.11, existem , > 0 tais que
|u|
3
2
F(u) |u|
3
2
.
112
Considerando p = 3 e q =
3
2
, segue do Lema 3.4
_
2
3
_
2
|v|
3
3
G(v)
_
2
3
_
2
|v|
3
3
.
Se
h(t) = (cost)e + (sent)Je, com e R
2N
usando o mesmo argumento utilizado na demonstrao do Teorema 3.12 tem-se
(h) |e|
2
+ 2
_
2
3
_
2
|e|
3
3
.
Assim,
min
vX
(v) (h) |e|
2
+ 2
_
2
3
_
2
|e|
3
3
,
e xando |e| <
27
2
8
obtemos
min
vX
(v) < 0 = (0). (3.101)
Portanto, usando a hiptese que v minimiza , segue por (3.101) que v ,= 0, o que
implica que u ,= 0.
Por conservao de energia e pelas propriedades de F, segue
F(u(t)) = d > 0, t R.
Considere
w(t) = d

2
3
u(d
1
3
t), t R.
Observe que w
_
2
d
1
3
_
-peridica. De fato, temos
w
_
t +
2
d
1
3
_
= d

2
3
u(d
1
3
t + 2)
sendo u uma funo (2)-peridica, segue
w
_
t +
2
d
1
3
_
= w(t).
Por outro lado,
F(w(t)) = F
_
d

2
3
u(d
1
3
t)
_
= 1
Alm disso,
Jw

(t) = d

2
3
Ju

_
d
1
3
t
_
.d
1
3
= d

1
3
Ju

_
d
1
3
t
_
.
113
Sendo,
u

(t) = JF(u(t))
obtemos,
Jw

(t) = d

1
3
F
_
u
_
d
1
3
t
__
o que implica,
Jw

(t) = F(w(t))
ou ainda,
w

(t) = JF(w(t)).
Logo, w soluo
_
2
d
1
3
_
-peridica de
u

(t) = JF(u(t))
com F(w(t)) = 1.
Pelo Lema 3.10, os sistemas Hamiltonianos
u

(t) = JF(u(t)) e u

(t) = JH(u(t))
admitem a mesma rbita para
S = F
1
(1) = H
1
(c).
Captulo 4
Pontos Crticos de Funcionais
Invariantes
Nosso objetivo neste captulo obter resultados de multiplicidade de pontos cr-
ticos de funcionais invariantes por uma ao de S
1
.
Quando o problema apresenta simetrias, isto , quando existe um determinado
grupo G agindo de uma forma contnua no espao X, onde X um espao de Banach
e G = S
1
um grupo topolgico compacto, e o funcional C
1
(X, R) invariante
sob esta ao, possvel mostrar que o funcional possui muitos pontos crticos. Para
tanto, vamos introduzir conceitos, tais como, S
1
-ndice e funcionais invariantes. Vamos
mostrar tambm uma verso mais geral do Lema de Deformao, para o qual vamos
trabalhar com funcionais invariantes e com vizinhana invariante.
Neste captulo apresentaremos a teoria de representao de grupos topolgicos
compactos em espaos de Banach (ou grupo de representao por operadores lineares).
O grupo S
1
ter grande importncia para o estudo de solues peridicas dos sistemas
Hamiltonianos livres, uma vez que, se u(t) soluo de tal sistema o mesmo acontece
com u(t +) para cada R e portanto, se u(t) T-peridica vemos o surgimento da
representao L() do grupo R/TZ S
1
dado por
(L()u)(t) = u(t +).
115
4.1 S
1
-ndice
Suponha que L(); S
1
uma dada representao isomtrica de S
1
em X,
isto , para cada, S
1
, L() : X X um operador linear e com as seguintes
propriedades:
(i) |L()u| = |u|
(ii) L(
1
+
2
) = L(
1
)L(
2
),
1
,
2
S
1
(iii) L(0) := I
d
(iv) (, u) L()u contnua
(v) L( + 2) = L().
Denio 4.1 A rbita de um elemento u X o conjunto (u) = L()u; S
1
.
Um subconjunto X invariante se L() = , para todo S
1
. O grupo S
1
age
livremente em um subconjunto invariante se L()u = u para algum S
1
e para
algum u , implica = 0.
Denio 4.2 Uma aplicao T entre dois conjuntos invariantes diz-se equivariante
se T L() = L() T, para todo S
1
.
Denio 4.3 Um funcional : X R invariante se L() = , para todo
S
1
.
4.2 O Lema de Deformao
Lema 4.1 Sejam C
1
(X, R) e S
1
. Se invariante, ento
(i)

(L()u), h) =

(u), L()h)
(ii) |

(L()u)| = |

(u)|.
Demonstrao:
Por denio,

(L()u), h) = lim
t0
(L()u +th) (L()u)
t
= lim
t0
[L()(u +L()(th))] (L()u)
t
.
Sendo invariante,

(L()u), h) = lim
t0
(u +L()(th)) (u)
t
= lim
t0
(u +tL()h) (u)
t
logo,

(L()u), h) =

(u), L()h),
116
o que mostra (i).
Sendo

(L()u), h) =

(u), L()h),
segue que

(L()u), h) |

(u)||L()h| = |

(u)||h|, h X.
Considerando h X com |h| 1, tem-se
|

(L()u)| = sup
h1
[

(L()u), h)[
|h|
|

(u)|
ou seja,
|

(L()u)| |

(u)|. (4.1)
Por outro lado, dado h
1
X, |h
1
| 1, existe h X tal que
L()h = h
1
pois L() sobrejetiva. Assim

(u), h
1
) =

(L()u), L()h
1
)
desse modo,

(u), h
1
) |

(L()u)||L()h
1
| = |

(L()u)||h
1
|
portanto,
|

(u)| |

(L()u)|. (4.2)
Usando (4.1) e (4.2), tem-se
|

(u)| = |

(L()u)|.
Lema 4.2 Sejam C
1
(X, R) e Y = u X;

(u) ,= 0. Se invariante, existe

um campo vetorial pseudo-gradiente equivariante para em Y .
117
Demonstrao:
Primeiramente note que usando o Lema 4.1 fcil vericar que o conjunto Y
invariante. Pelo Lema 1.1, existe um campo vetorial pseudo-gradiente w : Y X.
Considere v : Y X dada por
v(u) =
1
2
_
2
0
L()w(L()u)d, u Y.
Assim,
|v(u)|
1
2
_
2
0
|L()w(L()u)|d =
1
2
_
2
0
|w(L()u)|d.
Usando o fato de que w pseudo-gradiente e o Lema 4.1,
|v(u)|
1
2
_
2
0
2|

(L()u)|d =
1
2
_
2
0
2|

(u)|d
e portanto
|v(u)| 2|

(u)|.
Por outro lado,

(u), v(u)) =
1
2
_
2
0

(u), L()w(L()u))d =
1
2
_
2
0

(L()u), w(L()u))d
e consequentemente

(u), v(u))
1
2
_
2
0
|

(L()u)|
2
d
ou seja,

(u), v(u))
1
2
_
2
0
|

(u)|
2
d
mostrando que

(u), v(u)) |

(u)|
2
.
Observe que,
v(L()u) =
_
2
0
L()w(L( +)u)d
o que implica para = +
v(L()u) =
L()
2
_
2
0
L()w(L()u)d
118
isto ,
v(L()u) = L()v(u)
mostrando que v equivariante.
Finalmente, considerando u Y , observando que Y invariante e
A = L((u)), S
1
Y
tem-se que A invariante. De fato, seja v A, assim v = L()u e
L(

)L()u = L(

+)u = L()u, onde S

1
.
Assim,
L(

)A A,

S
1
. (4.3)
Por outro lado,
L(

)
_
L(

)A
_
L(

)A
isto ,
L(

)A L(

)A
o que implica,
A L(

)A,

S
1
. (4.4)
Por (4.3) e (4.4) segue que A invariante.
Agora considere a seguinte armao que ser bastante utilizada nesta seo.
Armao 1: O conjunto A

= u X; dist(u, A) invariante.
Com efeito, se u L()A

, por denio
dist(u, A) = inf|u v|; v A
o que implica para u = L()z
dist(u, A) = inf|L()z L()w|, w A
119
assim,
dist(u, A) = inf|z w|, w A
ou seja,
dist(u, A) = dist(z, A)
mostrando que
L()A

, S
1
.
Por outro lado,
L() (L()A

) L()A

isto ,
L( )A

L()A

o que implica,
A

L()A

, S
1
.
mostrando a Armao 1.
Considere u
1
, u
2
B

(u), usando o fato que A

invariante, segue
|v(u
1
) v(u
2
)|
1
2
_
2
0
|L()[w(L()u
1
) w(L()u
2
)]|d
o que implica,
|v(u
1
) v(u
2
)|
1
2
_
2
0
|w(L()u
1
) w(L()u
2
)|d
considerando > 0 tal que w localmente lipschitziana em B

(L()u), existe uma

constante l tal que
|v(u
1
) v(u
2
)|
l
2
_
2
0
|L()(u
1
u
2
)|d
e assim,
|v(u
1
) v(u
2
)| l|u
1
u
2
|
mostrando que v localmente lipschitziana. Portanto, v um campo vetorial pseudo-
gradiente equivariante para em Y .
120
Observao 4.1 Note que para mostrarmos que um conjunto X invariante,
basta mostrarmos que L() , S
1
. Alm disso, usando a Armao 1 do
Lema 4.2 conclumos que se o conjunto invariante ento a funo distncia dada
por
dist(u, ) = inf|u v|; v
invariante.
No que segue, denamos, ind = k se k o menor inteiro tal que existem uma aplicao
C
_
, C
k
0
_
e algum n N

satisfazendo a relao
(L()u) = e
in
(u), S
1
, u . (4.5)
Alm disso, dena ind = se uma tal aplicao no existe e dena ind = 0.
Teorema 4.4 Para todo conjunto invariante que age livremente em S
1
, existe um
inteiro, denotado por ind, tal que
(i) Se existe uma aplicao contnua equivariante T :
1

2
ento ind
1
ind
2
(ii) ind(
1

2
) ind
1
+ind
2
(iii) Se compacto, existe uma vizinhana fechada invariante N de com indN =
ind
(iv) Se ind 2 e Fix(S
1
) = , ento contm innitas S
1
-rbitas distintas
(v) Sejam Y um subespao invariante de dimenso nita de X e D uma vizinhana
aberta limitada invariante de 0 em Y . Se
D Fix(S
1
) = 0
ento
indD =
1
2
dimY,
onde
Fix(S
1
) = u X; L()u = u, S
1
.
Demonstrao:
No que segue mostraremos os itens (i), (ii), (iii) e (iv), com relao ao item (v)
Ver [7].
Considere

= X; fechado, L() = , S
1
.
121
Prova de (i):
Por hiptese existe uma aplicao T :
1

2
contnua equivariante. Suponha-
mos, sem perda de generalidade, ind
2
= k < . Assim existe uma aplicao contnua
:
2
C
k
0 e n N de maneira que
(L()u) = e
in
(u), S
1
, u
2
.
Sendo e T funes contnuas, a funo = T :
1
C
k
0 contnua.
Por outro lado,
(L()u) = (T(L()u))
e sendo T equivariante,
(L()u) = ( L())(T(u))
o que implica,
(L()u) = e
in
(T(u))
ou seja,
(L()u) = e
in
(u)
mostrando que satisfaz (4.5). Portanto,
ind
1
k
de onde segue (i).
Prova de (ii):
Suponhamos que ind
1
= k
1
< e ind
2
= k
2
< . Portanto, existem aplica-
es contnuas
j
:
j
C
k
j
0 e algum n
j
N

, j = 1, 2 satisfazendo

j
(L()u) = e
in
j

j
(u), S
1
, u
j
. (4.6)
Sejam

j
: X C
k
j
uma extenso contnua de
j
dada pelo Teorema de Tietze (Ver
[Apndice C]) e
j
: X C
k
j
denida por

j
(u) =
1
2
_
2
0
e
in
j

j
(L()u)d, j = 1, 2.
122
Para u
j
tem-se

j
(u) =
1
2
_
2
0
e
in
j

j
(L()u)d, j = 1, 2
o que implica,

j
(u) =
1
2
_
2
0
e
in
j

e
in
j

j
(u)d, j = 1, 2
ou seja,

j
(u) =
1
2
_
2
0

j
(u)d, j = 1, 2
logo,

j
(u) =
j
(u), j = 1, 2
mostrando que
j
uma extenso contnua de
j
. Alm disso
j
satisfaz (4.6).
Denindo :
1

2
C
k
1
+k
2
por
(u) = (
1
(u)
n
2
,
2
(u)
n
1
)
onde

1
(u)
n
2
= (
1,1
(u)
n
2
, ...,
1,k
1
(u)
n
2
) e
2
(u)
n
1
= (
2,1
(u)
n
1
, ...,
2,k
2
(u)
n
1
) ,
observamos que

j
(
j
) =
j
(
j
) C
k
j
0, j = 1, 2
(
1

2
) C
k
1
+k
2
0
e
(L()u) = (
1
(L()u)
n
2
,
2
(L()u)
n
1
) .
Assim,
(L()u) =
_
(e
in
1

1
(u))
n
2
, (e
in
2

2
(u))
n
1
_
o que implica,
(L()u) =
_
e
in
1
n
2

1
(u)
n
2
, e
in
1
n
2

2
(u)
n
1
_
123
ou seja,
(L()u) = e
in
1
n
2

(u).
Considerando n = n
1
n
2
, segue que satisfaz (4.5). Logo,
C
_

1

2
, C
k
1
+k
2
0
_
portanto,
ind(
1

2
) k
1
+k
2
mostrando (ii).
Prova de (iii):
Considerando ind = k < existe uma funo
C
_
, C
k
0
_
satisfazendo (4.5). Seja : X C
k
uma extenso contnua de vericando (4.5).
Visto que,
0 / () = ()
e compacto, segue que uniformemente contnua em . Considerando =
dist(0, ()) > 0 devemos ter
|(u)| , u . (4.7)
Desde que,

= u X; dist(u, )
para = dist(0, ()) existe > 0 tal que
u, v

, |u v| < |(u) (v)| <

4
. (4.8)
Se u

existe v tal que |u v| < consequentemente por (4.7) e (4.8),

|(u)|
3
4
124
ou seja,
(u) ,= 0, u

.
Portanto, existe > 0 tal que
0 / (

).
Desse modo,

= N uma vizinhana fechada de . Pela Armao 1 do Lema 4.2

N invariante. Portanto,
indN k.
Por outro lado, sendo a incluso uma aplicao equivariante, por (i) do Teorema 4.4,
tem-se
indN k.
Logo,
indN = ind = k
mostrando (iii).
Prova de (iv):
Primeiramente, considere a seguinte armao:
Armao 1: Se u / Fix(S
1
) ento ind ((u)) = 1.
Com efeito, visto que u / Fix(S
1
) a aplicao contnua L()u tem perodo
minimal
2
n
para algum n N

.
Denamos a funo : (u) C0 por
(v) = e
in
, v (u).
Assim, existe S
1
tal que
v = L()u
o que implica,
(L()u) = e
in
.
125
Observe que,
(L(

)L()u) = e
in(
b
+)
ou seja,
(L(

)L()u) = e
in
b

.e
in
= e
in
b

(L()u)
mostrando que satisfaz (4.5). Portanto, sendo contnua, temos
ind((u)) = 1
mostrando a Armao 1.
Se
= (u
1
) (u
2
) ... (u
k
)
uma unio disjunta com
u
j
/ Fix(S
1
), j = 1, 2, ..., k.
Considerando a aplicao : C 0 dada por
(u) = e
in
j

,
se u (u
j
) e L()u
j
tem perodo minimal
2
n
j
. Desse modo, usando a Armao
1, tem-se
ind = 1.
Portanto, se ind 2, contm uma innidade de S
1
-rbitas. Mostrando (iv).
Observao 4.2 Note que u Fix(S
1
) se, e somente se, a S
1
-rbita de u, (u), se
reduz ao conjunto u. Neste caso, indu = , pois (4.5) no pode ser satisfeita com
(u) ,= 0.
Lema 4.3 Seja um funcional invariante satisfazendo a condio (PS). Sejam c R
e N uma vizinhana aberta invariante de K
c
. Ento existem > 0 e C ([0, 1] X, X)
tais que
(i) (0, u) = u, u X
(ii) (1,
c+
N)
c
(iii) (t, L()u) = L()(t, u), t [0, 1], u X, S
1
.
126
Demonstrao:
Considerando S = N
c
, existem , > 0 tais que
u
1
([c 2, c + 2]) S
2
|

(u)|
4

pois, caso contrrio, tomando =

1
n
e =
1

n
existe u
n
X tal que
u
n
S 2

n
, u
n

1
_
[c
2
n
, c +
2
n
]
_
e |

(u
n
)| <
4

n
.
Assim, (u
n
) limitada e

(u
n
) 0. Desde que satisfaz (PS), (u
n
) possui uma
subsequncia, que denotaremos por (u
n
), tal que u
n
u em X para algum u X.
Logo,
(u) = (lim u
n
) = lim (u
n
) = c
e

(u) =

(lim u
n
) = lim

(u
n
) = 0
ou seja,
u K
c
S
o que um absurdo, pois S = X N e K
c
N. Pelo Lema 1.2, existe
C ([0, 1] X, X) satisfazendo (i) e (ii).
Finalmente, sendo invariante, em vista do Lema 4.2, podemos supor que o
campo pseudo-gradiente V escolhido para equivariante.
Denamos a funo : X R por
(u) =
dist(u, A
c
)
dist(u, A
c
) +dist(u, B)
onde,
A =
1
([c 2, c + 2]) (N
c
)
2
e
B =
1
([c , c +]) (N
c
)

.
127
Armao 1: invariante.
Com efeito, note que
A
c
=
_

1
([c 2, c + 2])
_
c
N
2
logo, se u A
c
temos
u
_

1
([c 2, c + 2])
_
c
ou u N
2
.
Se u (
1
([c 2, c + 2]))
c
ento
(u) > c + 2 ou (u) < c 2
o que implica,
(L()u) = (u) > c + 2 ou (L()u) = (u) < c 2
mostrando que (
1
([c 2, c + 2]))
c
e N
2
so invariantes, ou seja A
c
invariante.
Usando um argumento anlogo, segue que B invariante.
Por outro lado, pela Observao 4.1 dist(u, A
c
) invariante e dist(u, B) invari-
ante. Desse modo, invariante. Mostrando a Armao 1.
Denamos a funo f : X X por
f(u) = (u)
V (u)
|V (u)|
.
Observe que
f(L()u) = (L()u)
V (L()u)
|V (L()u)|
.
Usando a Armao 1 e o fato de V ser equivariante tem-se
f(L()u) = (u)
L()V (u)
|V (u)|
e consequentemente,
f(L()u) = L()f(u)
mostrando que f equivariante.
128
Pelo Teorema de Existncia e Unicidade, para todo u X o problema de Cauchy
(PC)
1
_
_
_
w

= f(w)
w(0) = u
possui uma nica soluo contnua w(., u).
Armao 2: Se w(t, u) soluo de (PC)
1
, ento
w

(t) = L()w(t, u)
soluo do problema
(PC)
2
_
_
_
w

= f(w

)
w

(0) = L()u.
Com efeito, desde que L() linear e contnua, temos
w

(t) = L()w

(t, u) = L()f(w)
usando o fato que f equivariante tem-se
w

(t) = f(L()w) = f(w

).
Note que
w

(0) = L()u
portanto,
w

(t) = w(t, L()u)

o que mostra a Armao 2, e portanto
L()w(t, u) = w(t, L()u)
mostrando que w equivariante. Por denio (t, u) = w(t, u), donde segue (iii).
No Lema que segue, denotaremos por X o seguinte espao de Banach
X =
_

_
v : R R
2N
absolutamente contnua, (2) peridica,
_
2
0
v(t)dt = 0 e
_
2
0
|v

(t)|
3
dt <
_

_
129
com norma (Ver [Apndice C])
|v|
X
=
_
1
2
_
2
0
|v

(t)|
3
dt
_
1
3
,
onde a ao de S
1
dada por
(L()u)(t) = u(t +)
sobre X.
Lema 4.4 Sejam Y o subespao de X dado por
Y = (cost)e + (sent)Je, e R
2N

e D = z Y ; |z| < . Ento indD = N.

Demonstrao:
Primeiramente, note que Y invariante.
De fato, se u Y temos
u(t) = (cost)e + (sent)Je
para algum e R
2N
. Assim,
(L()u)(t) = u(t +) = (cos(t +))e + (sen(t +))Je
desse modo,
(L()u)(t) = (cost cos sen sent)e + (sent cos +sen cost)Je
donde segue,
(L()u)(t) = cost(cos e +sen Je) +sent(cos Je sen e).
Considerando e = cos e +sen Je tem-se
(L()u)(t) = cost e +sentJ e
logo, L()u Y e portanto L()Y Y . Mostrando que Y invariante.
Sendo
D = z Y ; |z| < ,
130
observe que
Fix(S
1
) D = 0.
De fato, se u Fix(S
1
) D ento
(1) u Fix(S
1
) e
(2) u Y com |u| < .
Logo, por (1)
(L()u)(t) = u(t),
ou seja,
u(t +) = u(t), t R.
Mostrando que [0, 2) perodo para u. Usando (2) segue que o perodo minimal
de u 2, logo devemos ter u 0.
Portanto,
Fix(S
1
) D = 0.
Pelo item (v) do Teorema 4.4 tem-se
indD = N.
4.3 Teorema da Multiplicidade
Teorema 4.5 Seja C
1
(X, R) um funcional invariante limitado inferiormente e
satisfazendo a condio (PS). Se S
1
age livremente em um subconjunto invariante
= u X; (u) < m
com m R e contm uma esfera , (2n1) dimensional invariante, em que a ao
de S
1
dada por
(L()u)(t) = u(t +).
Ento contm pelo menos n S
1
-rbitas distintas de pontos crticos de .
131
Demonstrao:
Denamos, para k = 1, 2, ..., n

k
= : compacto, invariante e ind k.
Por hiptese S
1
age livremente em . Alm disso, e ind = n. Assim,

k
, k = 1, 2, ..., n.
Considere, para k = 1, 2, ..., n
c
k
= inf

k
max
u
(u).
Observe que,

k

k1
onde k 2. Logo,
< inf c
1
c
2
... c
k
max
u
(u) < m.
Armao 1: Cada c
k
um valor crtico de .
De fato, caso contrrio, sabendo que existe
k
tal que
max
u
(u) c
k
+
podemos aplicar o Lema 4.3 com c = c
k
e K
c
k
= N = . Assim, pelo item (ii) do Lema
4.3 segue que
= (1, )
c
k

.
Sendo compacto, segue que compacto e pelo item (iii) do Lema 4.3, obtemos que
invariante. Observe que,
max
ub
(u) c
k
< c
k
< m
ou seja,
.
132
Note que,
T :
u T(u) = (1, u)
equivariante. Logo, pelo item (i) do Teorema 4.4
ind ind k
ou seja,
k
, assim,
c
k
max
ub
(u) c
k

o que um absurdo. Mostrando Armao 1.
Armao 2: Se todos os c
k

s
so distintos, ento cada
1
(c
k
) possui pelo menos
uma S
1
-rbita de pontos crticos de .
De fato, considere u
k
X tal que (u
k
) = c
k
e

(u
k
) = 0. Desse modo, sendo
v (u
k
) tem-se
v = L()u
k
assim,
(v) = (L()u
k
) = (u
k
) = c
k
o que implica,
(u
k
)
1
(c
k
).
Por outro lado, usando o Lema 4.1 tem-se

(v), h) =

(L()u
k
), h) =

(u
k
), L()h) = 0, h X
logo,
(u
k
) K
c
k
mostrando a Armao 2.
133
Por outro lado, vamos mostrar que se c
j
= c
k
com j < k, temos
indK
c
> k j
ou seja,
indK
c
2
onde c = c
j
= c
k
. Assim, pelo item (iv) do Teorema 4.4, K
c
possui uma innidade
de S
1
-rbitas. Donde conclumos, usando o fato que K
c
um conjunto fechado
invariante, que contm uma innidade de S
1
-rbitas distintas de pontos crticos de
.
Sendo,
K
c
= u X; (u) = c e

(u) = 0
e usando o fato que satisfaz a condio (PS), segue que K
c
compacto.
Pelo item (iii) do Teorema 4.4, existe uma vizinhana fechada invariante N de
K
c
com indN = indK
c
. Ento o interior de N, denotado por intN, uma vizinhana
aberta invariante de K
c
, de sorte que podemos aplicar o Lema 4.3 e concluir a existncia
de > 0 e C ([0, 1] X, X) satisfazendo as propriedades (i) - (iii).
Agora, pela denio de c = c
k
, tomemos
k
tal que
max
u
(u) c +.
Denamos
= int N.
Usando a denio de S
1
-rbita,
k ind ind( N) ind +indN = ind +indK
c
.
Visto que,

c+
int N
usando o Lema 4.3,

= (1, )
c
.
134
Por outro lado, sendo compacto segue que

compacto. Note que,
L()

= L()(1, )
usando o Lema 4.3 e o fato que invariante, segue
L()

= (1, L()) = (1, ) =

ou seja,

invariante.
Observe que,
max
u
b

(u) c
pela denio de c
j
= c, temos
ind

< j.
Pelo item (i) do Teorema 4.4
ind ind

< j
logo,
k < j +indK
c
ou seja,
indK
c
> k j
e consequentemente
indK
c
2.
4.4 Multiplicidade de rbitas Hamiltonianas Peri-
dicas em uma Superfcie Convexa
Para H C
1
(R
2N
, R) e c R possivel mostrar usando o Teorema 3.14 a
existncia de pelo menos uma rbita peridica para
u

(t) = JH(u(t)) (4.9)

135
em S = H
1
(c), desde que
(H
8
) Para todo u S, H(u) ,= 0 e S a fronteira de um conjunto compacto
estritamente convexo C com 0 intC.
Assumiremos a seguinte hiptese que ser de grande importncia no decorrer
desta seo.
(H
9
) Existe 0 < r R tal que
R
r
<

2,
e
B[0, r] C B[0, R].
Teorema 4.6 Assumindo as hipteses (H
8
) e (H
9
) existe pelo menos N rbitas peri-
dicas para (4.9) em S.
Antes de demonstrar o Teorema 4.6 iremos mostrar algumas propriedades da
funo F denida no Lema 3.11 e alguns resultados que sero utilizados nesta demons-
trao. Desde que F satisfaz os itens (i)-(vi) do Lema 3.11, assumindo (H
9
) acima
temos
_
[u[
R
_3
2
F(u)
_
[u[
r
_3
2
.
De fato, observe que
r
u
[u[
B[0, r] C
assim,
r
u
[u[
C
o que implica,
[u[
r
inf > 0; u C
isto ,
j
c
(u)
[u[
r
. (4.10)
136
Por outro lado, dado > 0 existe > 0 tal que
j
c
(u) < j
c
(u) + e
u

C.
Logo,
u

B[0, R]
assim,

R
o que implica,
[u[ Rj
c
(u) +R, > 0
portanto,
[u[ Rj
c
(u)
ou seja,
j
c
(u)
[u[
R
. (4.11)
Segue de (4.10) e (4.11) que
[u[
R
j
c
(u)
[u[
r
e consequentemente,
_
[u[
R
_3
2
F(u)
_
[u[
r
_3
2
. (4.12)
Desde que
H
1
(c) = S = F
1
(1)
suciente, pelo Lema 3.10, encontrar N rbitas peridicas distintas para
u

(t) = JF(u(t)) (4.13)

em S.
137
Sejam u
1
, ..., u
N
N solues descrevendo rbitas distintas de (4.13) com perodo
minimal 2. Se
F(u
k
(t)) = d
k
> 0
ento w
k
denido por
w
k
(t) = d

2
3
k
u
k
_
d
1
3
k
t
_
soluo de (4.13) com perodo minimal
2
d
1
3
k
e energia
F(w
k
(t)) = 1.
Se w
j
e w
k
descrevem a mesma rbita em S = F
1
(1), existe uma funo C
1
(R, R)
tal que
w
k
= w
j

assim,
JF(w
k
) = w

k
=

(w

j
) =

JF(w
j
)
o que implica,
JF(w
k
) =

JF(w
k
)
logo,

1 e sendo C
1
(R, R) segue
w
k
(t) = w
j
(t +).
Desse modo, w
j
e w
k
tm o mesmo perodo minimal, isto , d
k
= d
j
. Consequentemente,
u
k
(t) = u
j
(t + ),
ou seja, u
j
e u
k
descrevem a mesma rbita e usando o fato que as rbitas so distintas
temos j = k. Assim, suciente encontrarmos N solues descrevendo rbitas de
(4.13) com perodo minimal 2.
Seja G a transformada de Legendre da funo F, usando (4.12), obtemos
r
3
[v[
3
G(v) R
3
[v[
3
(4.14)
138
onde =
4
27
.
No que segue, considere X o espao de Banach utilizado no Lema 4.4, : X R
o funcional energia dado por
(v) =
_
2
0
_
1
2
(Jv

, v) +G(v

)
_
dt
e os seguintes subespaos
Y = (cos t)e + (sen t)Je : e R
2N

e
Z =
_
v X; v
2
k
peridica para algum k 2
_
.
Lema 4.5 Se v Y e |v|
X
= = (3R
3
)
1
, ento
(v) M =

2
.
Demonstrao:
Se v Y ,
v = (cos t)e + (sen t)Je, e R
2N
sendo,
(v) =
_
2
0
_
1
2
(Jv

, v) +G(v

)
_
dt,
tem-se
(v) |v|
2
+ 2R
3
|v|
3
isto ,
(v)

3
_
3|v|
2
6R
3
|v|
3
_
o que implica,
(v)

3
_
3
2
6R
3

3
_
assim,
(v)

2
_
3 6R
3

_
139
logo,
(v)

2
.
Lema 4.6 Se v Z ento
(v) m =

6
_
6r
3
_
2
.
Demonstrao:
Se |v|
X
= 1 e v
2
k
- peridica para algum k 2, ento por denio
_
2
0
|v

(t)|
3
dt = 2
usando a Proposio 3.9, temos
_
2
0
_
Jv

, v
_
dt = k
_ 2
k
0
_
Jv

, v
_
dt
2
k
.
Assim, se v Z, considerando w =
v
|v|
X
usando (4.14),
(v) 2r
3
|v|
3
X


2
|v|
2
X
. (4.15)
Armao 1: O segundo membro da desigualdade (4.15) minimo quando |v| =
(6r
3
)
1
.
Com efeito, considerando
f(t) = 2r
3
t
3

2
t
2
tem-se
f

(t) = 6r
3
t
2
t
fazendo f

(t) = 0 camos com

t = 0 ou t =
_
6r
3
_
1
.
Por outro lado,
f

(t) = 12r
3
t
140
donde segue,
f

(0) = < 0
e
f

_
_
6r
3
_
1
_
= > 0
logo, f atinge seu mnimo quando |v|
X
= (6r
3
)
1
.
Portanto,
(v)

6
_
12r
3
|v|
3
+ 3|v|
2
_
o que implica,
(v)

6
|v|
2
logo,
(v)

6
_
6r
3
_
2
.
Agora vamos demonstrar o Teorema 4.6.
Demonstrao:
Considere sobre X a ao de S
1
dada por
(L()u)(t) = u(t +).
Armao 1: S
1
age livremente em um subconjunto invariante se e somente se
Z = .
De fato, primeiramente vamos mostrar que se S
1
age livremente em um subcon-
junto invariante ento Z = . Suponhamos, por contradio, que existe
u Z
desse modo, u X e u
2
k
-peridica para algum k 2. Por hiptese,
L()u(t) = u(t +).
141
Considerando =
2
k
para algum k 2, camos com a igualdade
L()u(t) = u(t).
Portanto, existe u X e ,= 0 S
1
tal que
L()u = u
o que um absurdo.
Reciprocamente, vamos mostrar que se Z = ento S
1
age livremente em um
subconjunto invariante . Suponhamos, por contradio, que S
1
no age livremente
em um subconjunto invariante , ento
(L()u)(t) = u(t)
para todo S
1
, para todo u mas ,= 0. Assim,
u(t +) = u(t)
com ,= 0. Logo =
2
k
para algum k 2. Assim, u Z. Portanto
u Z
o que um absurdo. Mostrando a Armao 1.
Observe que o funcional invariante, limitado inferiormente pelo Lema 3.8 e
satisfaz a condio (PS) pelo Lema 3.9. Pelo Lema 4.6 tem-se
Z =
onde
= v X; (v) < m.
Note que invariante, pos invariante. Da Armao 1, acima, segue que S
1
age
livremente em .
Considere
= v Y ; |v| = .
142
Observe que, se M < m e assumindo que existe 0 < r R tal que
R
r
<

2
e
B[0, r] C B[0, R]
temos
.
De fato, note que
M < m

27
2
R
6
<

216
2
r
6
o que implica,
M < m R
6
< 8r
6
logo,
M < m
R
r
<

2.
Mostrando que
.
Pelo Teorema 4.5, contm pelo menos N S
1
-rbitas distintas
L()v
k
; S
1
, k = 1, ..., n
de pontos crticos de . Pelo Lema 3.7 para cada v
k
existe uma soluo u
k
2-peridica
para
u

k
(t) = JF(u
k
(t))
tal que
v
k
(t) = J
_
u
k
(t)
1
2
_
2
0
u
k
(s)ds
_
. (4.16)
Alm disso, 2 perodo minimal de v
k
, e assim, u
k
tem perodo minimal 2.
143
Se u
j
e u
k
descrevem a mesma rbita, ento, como j visto,
u
k
(t) = (u
j
)(t)
onde uma translao. Assim,
u
k
(t) = u
j
(t +)
para algum [0, 2). Ou seja,
u
k
(t) = L()u
j
para algum S
1
. Usando (4.16) tem-se
v
k
(t) = L()v
j
.
Logo, v
j
e v
k
tem a mesma S
1
-rbita e k = j.
Apndice A
Sries de Fourier
Neste Apndice faremos um breve estudo sobre as sries de Fourier. Mais detalhes
podem ser encontrados em [6].
Seja u : [0, T] R uma funo integrvel, a sua srie de Fourier a srie dada
por
S[u] =
a
0
2
+

k=1
_
a
k
cos
_
2k
T
t
_
+b
k
sen
_
2k
T
t
__
. (A.1)
Podemos reescrever a srie de Fourier de uma funo u denida em [0, T] usando
exponnciais complexas. Lembre-se que se t R, temos
e
i2k
T
t
= cos
_
2k
T
t
_
+isen
_
2k
T
t
_
o que implica,
e
i2k
T
t
= cos
_
2k
T
t
_
isen
_
2k
T
t
_
assim,
cos
_
2k
T
t
_
=
e
i2k
T
t
+e
i2k
T
t
2
e
sen
_
2k
T
t
_
=
e
i2k
T
t
e
i2k
T
t
2i
.
Logo,
a
k
cos
_
2k
T
t
_
+b
k
sen
_
2k
T
t
_
= a
k
_
e
i2k
T
t
+e
i2k
T
t
2
_
+b
k
_
e
i2k
T
t
e
i2k
T
t
2i
_
145
donde segue,
a
k
cos
_
2k
T
t
_
+b
k
sen
_
2k
T
t
_
=
_
a
k
2
+
b
k
2i
_
e
i2k
T
t
+
_
a
k
2

b
k
2i
_
e
i2k
T
t
usando o fato que i
2
= 1, obtemos
a
k
cos
_
2k
T
t
_
+b
k
sen
_
2k
T
t
_
=
_
a
k
ib
k
2
_
e
i2k
T
t
+
_
a
k
+ib
k
2
_
e
i2k
T
t
.
Reescrevendo (A.1) temos
S[u] =
a
0
2
+

k=1
_
a
k
ib
k
2
_
e
i2k
T
t
+

k=1
_
a
k
+ib
k
2
_
e
i2k
T
t
portanto,
S[u] =

kZ
c
k
e
i2k
T
t
a srie de Fourier complexa de u, onde os coecientes de Fourier so dados por
c
0
=
a
0
2
, c
k
=
_
a
k
ib
k
2
_
e c
k
=
_
a
k
+ib
k
2
_
; k Z.
Recorde-se que a
0
, b
k
e a
k
so obtidos da seguinte forma:
a
0
=
1
T
_
T
0
u(t)dt,
a
k
=
1
T
_
T
0
u(t)cos
_
2k
T
t
_
dt
e
b
k
=
1
T
_
T
0
u(t)sen
_
2k
T
t
_
dt.
Alm disso, os coecientes de Fourier complexos de u e u

satisfazem
c

k
=
i2k
T
c
k
, k Z.
Quanto aos coecientes reais, se as sries de Fourier de u e u

so dadas, respectiva-
mente, por
S[u] =
a
0
2
+

k=1
_
a
k
cos
_
2k
T
t
_
+b
k
sen
_
2k
T
t
__
146
e
S[u

] =
a

0
2
+

k=1
_
a

k
cos
_
2k
T
t
_
+b

k
sen
_
2k
T
t
__
ento
a

0
= 0, a

k
=
2k
T
b
k
e b

k
=
2k
T
a
k
e portanto,
S[u

] =

kZ
i2k
T
c
k
e
i2k
T
t
.
a srie de Fourier complexa de u

.
Apndice B
Funcionais Diferenciveis
Neste Apndice nossa inteno mostrar que os funcionais usados no decorrer
desta dissertao so de classe C
1
.
Denio B.1 Seja J : X R um funcional, denido em um espao normado.
Diremos que J Frchet diferencivel em u X, se existe L : X R funcional linear
contnuo vericando
[J(u +h) J(u) L(h)[
|h|
0 quando |h| 0.
Primeiramente vamos mostrar que o funcional : H R denido no Captulo 2 por
(u) =
_
T
0
_
u

2
2
G(u) +fu
_
dt
de classe C
1
(H, R), onde
H =
_
u : R R; u absolutamente contnua, T-peridica e
_
T
0
[u

(t)[
2
dt <
_
.
Para tanto, basta mostrarmos que o funcional : H R dado por
(u) =
_
T
0
G(u)dt
de classe C
1
(H, R).
148
Armao 1: Frchet diferencivel e

(u)v =
_
T
0
G

(u)vdt.
Com efeito, para u, v H considere
r(v) = (u +v) (u)
_
T
0
G

(u)vdt (B.1)
onde esta ltima parcela obtida usando o mesmo raciocnio da seo (3.5). Nosso
objetivo mostrar que
lim
v0
[r(v)[
|v|
= 0.
Usando (B.1) tem-se
r(v) =
_
T
0
[G(u +v) G(u)]dt
_
T
0
G

(u)vdt
pelo Teorema Fundamental do Clculo
G(u +v) G(u) =
_
1
0
d
dx
G(u +xv)dx
o que implica,
_
1
0
d
dx
G(u +xv)dx =
_
1
0
G

(u +xv)vdx.
Assim,
r(v) =
_
T
0
__
1
0
G

(u +xv)vdx
_
dt
_
T
0
G

(u)vdt
donde segue,
r(v) =
_
T
0
__
1
0
_
G

(u +xv) G

(u)
_
vdx
_
dt
logo,
[r(v)[
_
T
0
__
1
0

(u +xv) G

(u)

[v[dx
_
dt. (B.2)
Observe que, usando o mesmo raciocinio que na Armao 1 do Lema (2.2), tem-se
G

(u +xv) G

(u) L
2
([0, T]).
Aplicando o Teorema de Fubini em (B.2), obtemos
[r(v)[
_
1
0
__
T
0

(u +xv) G

(u)

[v[dt
_
dx
149
usando a desigualdade de Hlder, temos
[r(v)[
_
1
0
|G

(u +xv) G

(u)|
L
2
([0,T])
|v|
L
2
([0,T])
dx
Por Imerses contnuas de Sobolev segue
[r(v)[ C
_
1
0
|G

(u +xv) G

(u)|
L
2
([0,T])
|v|
H
dx
logo,
[r(v)[
|v|
C
_
1
0
|G

(u +xv) G

(u)|
L
2
([0,T])
dx.
Denamos para cada n N

n
: [0, 1] R
tal que

n
(x) = |G

(u +xv
n
) G

(u)|
L
2
([0,T])
.
Desse modo,
[r(v
n
)[
|v
n
|
C
_
1
0

n
(x)dx.
Para cada x xado, temos usando o mesmo raciocnio que na Armao 1 do Lema
(2.2)
lim
n
_
T
0
[G

(u +xv
n
) G

(u)[
2
dt = 0
assim, para cada x xado
n
(x) 0, x [0, 1]. Por outro lado,
0
n
(x) |G

(u +xv
n
)|
L
2
([0,T])
+|G

(u)|
L
2
([0,T])
o que implica,
0
n
(x) 2MT
1
2
= L
1
([0, T])
onde G

tal que
[G

(x)[ M, x R.
150
Pelo Teorema da Convergncia Dominada de Lebesgue tem-se
lim
n
_
1
0

n
(x)dx = 0
ou seja,

n
0 em L
1
([0, T])
mostrando a Armao 1.
Agora vamos mostrar que

contnua, para tanto, basta mostrarmos que, se

u
n
u em H ento
|

(u
n
)

(u)|
H
0 quando n .
Primeiramente, considere v
n
H com v
n
0. Das imerses contnuas de Sobolev
v
n
0 em L
2
([0, T])
logo, a menos de subsequncia
v
n
(x) u(x) q.t.p em [0, T].
Usando a continuidade de G

(u +v
n
)(x) G

(u(x)) q.t.p em [0, T]

o que implica,
[G

(u +v
n
)(x) G

(u(x))[
2
0 q.t.p em [0, T].
Por outro lado,
[G

(u +v
n
)(x) G

(u(x))[
2
(2M)
2
L
1
([0, T]).
Usando o Teorema da Convergncia Dominada de Lebesgue tem-se
lim
n
_
T
0
[G

(u +v
n
)(x) G

(u(x))[
2
dx = 0
ou seja,
G

(u +v
n
) G

(u) em L
2
([0, T])
151
mostrando que,
G

(u +v) G

(u) em L
2
([0, T]); quando v 0; v H.
Por denio,
|

(u +v
n
)

(u)|
H
= sup
v1

(u +v
n
)

(u), v)

usando o que mostramos na Armao 1, segue

(u +v
n
)

(u), v)

_
T
0
[G

(u +v
n
) G

(u)[[v[dt
usando a desigualdade de Hlder, as imerses contnuas de Sobolev e o fato que |v|
H

1 tem-se

(u +v
n
)

(u), v)

C|G

(u +v
n
) G

(u)|
L
2
([0,T])
o que implica,
|

(u +v
n
)

(u)|
H
C|G

(u +v
n
) G

(u)|
L
2
([0,T])
0 quando n
ou seja,

(u +v
n
)

(u)
mostrando que

contnuo.

Nosso objetivo agora mostrar que o funcional : X R denido no Captulo

3 por
(v) =
_
T
0
_
1
2
_
Jv

, v
_
+G(t, v

)
_
dt
de classe C
1
(X, R). Para tanto, vamos mostrar que o funcional K : X R dado por
K(v) =
_
T
0
G(t, v

)dt
de classe C
1
(X, R).
Por denio, G = H

est bem denida e satisfaz

_
1
q
_
p
q
|v|
p
p
G(t, v)
_
1
q
_
p
q
|v|
p
p
+.
152
Em particular, a segunda desigualdade acima mostra que a ao dual
(v) =
_
T
0
_
1
2
_
Jv

, v
_
+G(t, v

)
_
dt
est bem denida.
Pelo Teorema 3.6 temos G C
1
([0, T] R
N
, R) e pelo Lema 3.5 tem-se
|G(t, v

)| C
2
|v

|
q1
+C
3
.
Para mostrar que o funcional
K(v) =
_
T
0
G(t, v

)dt
diferencivel a Frchet, basta utilizarmos um raciocnio anlogo ao usado na Arma-
o 1 deste Apndice. Portanto para mostrar que o funcional K de classe C
1
(X, R)
vamos mostrar que K

contnua.
Armao: K

contnua, ou seja, se u
n
u em X, devemos ter
|K

(u
n
) K

(u)|
H
0 quando n .
Com efeito, por denio
|K

(u
n
) K

(u)|
H
= sup
h1

(u
n
) K

(u), h)

e consequentemente,
|K

(u
n
) K

(u)|
H

_
T
0
_
G(t, u

n
) G(t, u

), h

_
dt.
Pela desigualdade de Hlder,
|K

(u
n
) K

(u)|
H
|G(t, u

n
) G(t, u

)|
L
q
([0,T])
|h

|
L
p
([0,T])
Supondo u
n
u em X, conclumos que
|K

(u
n
) K

(u)|
H
0 quando n .

Apndice C
Resultados Gerais
Neste Apndice enunciaremos uma denio e os principais teoremas utilizados
nesta dissertao.
Denio C.1 (Ver[10]) Uma famlia C = (C

)
L
de subconjuntos de um espao
mtrico M chama-se localmente nita quando todo ponto x M possui uma vizinhana
que intercecta apenas um nmero nito de conjuntos C

.
Teorema C.2 (Teorema da Convergncia Dominada de Lebesgue)(Ver[2]) Seja f
n
uma
sequncia de funes integrveis que convergem em quase todo ponto para uma funo
mensurvel f. Se existe uma funo integrvel g tal que
[f
n
[ g, n N
ento f integrvel e
_
fd = lim
_
f
n
d.
Teorema C.3 (Desigualdade de Hlder) (Ver[2]) Sejam f L
p
() e g L
q
(), onde
1 p < + e
1
p
+
1
q
= 1. Ento,
fg L
1
() e |fg|
L
1
()
|f|
L
p
()
|g|
L
q
()
.
Teorema C.4 (Ver[3]) Seja (x
n
) uma sequncia fracamente convergente em um espao
normado, isto , existe x X tal que x
n
x em X. Ento,
(i) O limite fraco x de (x
n
) nico
154
(ii) Toda subsequncia (x
n
j
) (x
n
) converge fraco para x
(iii) A sequncia (x
n
) limitada.
Teorema C.5 (Teorema de Riez) (Ver[3]) Todo funcional linear contnuo f sobre um
espao de Hilbert, pode ser representado em termos do produto interno, isto ,
f(x) = (z, x)
onde z unicamente determinado e verica
|f| = |z|.
Teorema C.6 (Ver[3]) Seja H um espao de Banach reexivo. Se (u
n
) uma sequncia
limitada em H, ento existem uma subsequncia (u
n
j
) (u
n
) e u H tais que
u
n
j
u em H.
Teorema C.7 (Du Bois Raymond) (Ver[3]) Seja u L
1
loc
() tal que
_

udx = 0, C
0
().
Ento,
u = 0 q.t.p em .
Teorema C.8 (Ver[3]) Se u W
1,p
(I), ento
u(x) u(y) =
_
x
y
[u

(t)[dt.
onde I = (a, b) um intervalo limitado ou no.
Teorema C.9 (Ver[2]) Se f L
1
(X, , ) dado > 0, existe > 0 tal que
(B) <
_
B
fd < .
Teorema C.10 (Teorema de Tietze) (Ver[10]) Dada uma funo real contnua f :
X R, denida em um subconjunto fechado X R
m
, existe uma funo F : R
m
R
contnua tal que F[
X
= f.
Teorema C.11 (Teorema do Valor Intermedirio) (Ver[9]) Seja f : [a, b] R contnua.
Se f(a) < d < f(b) ento existe c (a, b) tal que f(c) = d.
155
Teorema C.12 (Teorema de Fubini) (Ver[3]) Suponhamos que F L
1
(
1

2
).
Ento, para todo x
1
F(x, y) L
1
y
(
2
) e
_

2
F(x, y)dy L
1
x
(
1
).
Alm disso,
_

1
dx
_

2
F(x, y)dy =
_

2
dy
_

1
F(x, y)dx.
Lema C.13 Considere X o seguinte espao vetorial
X =
_

_
v : R R
2N
; absolutamente contnua, T peridica,
_
T
0
v(t)dt = 0 e
_
T
0
|v

(t)|
p
dt <
_

_
.
Ento a funo |.| : X R dada por
|v|
X
=
_
1
T
_
T
0
|v

(t)|
p
dt
_
1
p
uma norma.
Demonstrao:
Devemos mostrar que as seguintes condies so satisfeitas:
(i) |v|
X
0, v X
(ii) |v|
X
= 0 se, e somente se, v 0
(iii) |v|
X
= [[ |v|
X
, v X e R
(iv) |u +v|
X
|u|
X
+ |v|
X
, u, v X.
Observe que os itens (i), (iii) e (iv) seguem diretamente das propriedades da
norma nos Espaos L
p
([0, T]).
Se |v|
X
= 0, temos
_
T
0
|v

(t)|
p
dt = 0
o que implica,
|v

|
p
= 0 q.t.p em R
e consequentemente
v = C q.t.p em X.
Sendo
_
T
0
v(t)dt = 0 tem-se v 0.
156
Reciprocamente, se v 0 ento
_
T
0
|v

(t)|
p
dt = 0
assim,
|v|
X
= 0
o que mostra (ii).
Lema C.14 (Ver [5]) Seja Gum espao de Banach e f : [a, b] Guma funo contnua.
Ento,
_
_
_
_
_
b
a
f(t)dt
_
_
_
_

_
b
a
|f(t)|dt.
Bibliograa
[1] A. Anbrosetti, P. H Rabinowitz.,Dual Variational methods in critical theory and
apllications. J. Funct. Anal. 14 (1973).
[2] Bartle, Robert G., The Elements of Integration and Lebesgue Measure, Wiley, New
York, 1995.
[3] Brzis, Haim., Analyse Fonctionelle. 2
a
ed. Masson, 1987.
[4] Costa, David Goldstein., Tpicos em anlise no-linear e Aplicaes s Equaes
Diferenciais, CNPq-IMPA, Rio de Janeiro, 1986.
[5] Dantas, Moiss dos Santos, Existncia de solues para uma classe de problemas
elpticos via mtodos Variacionais. Dissertao de Mestrado. UFCG, 2005.
[6] Irio Jr., Rafael Jos e Irio, Valria., Equaes Diferenciais Parciais: Uma In-
troduo, CNPq-IMPA, Rio de Janeiro, 1988.
[7] J. Mawhin, M. Willem., Critical Point Theory and Hamiltonian Systems, New
York, 1983.
[8] Lang, Serg., Analysis II. Addison-Wesley, 1969.
[9] Lima, E.L., Curso de Anlise, Vol 1, Projeto Euclides, IMPA, Rio de Janeiro,
1976.
[10] Lima, E.L., Espaos Mtricos, Projeto Euclides, CNPq-IMPA, 1977.
[11] Sotomayor, Jorge., Lies de Equaes Diferenciais Ordinrias. Projeto Euclides,
IMPA, 1979.
[12] Willem, Michel. , Lectures on Critical Point Theory, Trabalho de Matemtica N.
199, UnB, 1983. New York, 1983.