Calculo Variacional PDF

` MECANICA
CALCULO
VARIACIONAL E APLICAC
OES
A
CELESTE
Severino Horacio da Silva
Julho/2003
Sum
ario
Introdu
c
ao
1 C
alculo Variacional
1.1
Alguns problemas variacionais simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
A variacao de um funcional. Uma condicao necessaria para um extremo . . . . . . . . . .
1.2.1
Variacao ou diferencial de um funcional . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2
Uma condicao necessaria para um extremo . . . . . . . . . . . . . . . . . . . . . .
11
1.3
Equacao de Euler-Lagrange para o problema variacional mais simples . . . . . . . . . . .
12
1.4
A derivada variacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
1.5
Invariancia das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . .
22
1.6
Problema do ponto final fixo para n-funcoes desconhecidas . . . . . . . . . . . . . . . . . .
24
1.7
Problema variacional na forma parametrica . . . . . . . . . . . . . . . . . . . . . . . . . .
27
1.8
O problema variacional com vnculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
1.8.1
O problema isoperimetrico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
1.8.2
Condicoes de vnculos finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
A forma canonica das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . .
34
1.10 Integral primeira das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . .
36
1.9
2 O problema dos N-Corpos e Problemas Variacionais em Sistemas Mec

anicos
38
2.1
Formulacao do problema dos N-corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
2.2
Princpio da acao mnima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
2.3
Lei de conservacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
2.4
Equivalencia entre as formulacoes Hamiltonianas e Lagrangianas em um sistema mecanico. 43
3 O M
etodo Direto em C
alculo Variacional e Sistemas Envolvendo For
ca Forte e For
ca
Fraca
48
3.1
Notacoes e Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
3.2
O Metodo direto em problemas variacionais . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3.2.1
Coercividade de um funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
3.2.2
Seq
uencia minimizante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
3.2.3
O metodo de Ritz e o metodo das diferencas finitas . . . . . . . . . . . . . . . . . .
53
3.2.4
Minimizacao basica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3.3
Sistemas envolvendo forca forte e forca fraca . . . . . . . . . . . . . . . . . . . . . . . . . .
59
3.4
Mais sobre coercividade e potenciais envolvendo forca forte . . . . . . . . . . . . . . . . .
63
3.5
Ponto crtico de um funcional e propriedades . . . . . . . . . . . . . . . . . . . . . . . . .
69
4 Aplica
co
es `
a Mec
anica Celeste
4.1
4.2
75
Uma propriedade minimizante das orbitas Keplerianas . . . . . . . . . . . . . . . . . . . .
75
4.1.1
Formulacao do resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
4.1.2
A acao integral para solucoes continuadas . . . . . . . . . . . . . . . . . . . . . . .
76
4.1.3
Preliminares para a demonstracao do resultado principal . . . . . . . . . . . . . . .
81
4.1.4
Demonstracao do resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . .
82
Existencia de solucoes periodicas sem colisao em problemas planares do tipo N-corpos . .
85
ii
4.3
4.4
4.2.1
Preliminares
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
4.2.2
Existencia de solucoes com restricoes topologicas . . . . . . . . . . . . . . . . . . .
92
4.2.3
Existencia de solucoes com restricoes de simetria . . . . . . . . . . . . . . . . . . .
99
Solucoes com simetrias de rotacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

4.3.1
Estimativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
4.3.2
Solucoes sem colisao para problemas do tipo N-corpos . . . . . . . . . . . . . . . . 113
Uma nova solucao para o problema dos tres corpos . . . . . . . . . . . . . . . . . . . . . . 120
Ap
endice
125
125
Alguns resultados cl
assicos da An
alise Funcional e Topologia
A.1 Alguns resultados da Analise Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

A.2 Alguns resultados da Topologia e Topologia Algebrica . . . . . . . . . . . . . . . . . . . . 127
B
Topologia fraca
130
C Espa
cos de Sobolev
133
D No
co
es de distribui
co
es
136
D.1 Operacao com distribuicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

D.2 Derivada distribucionais e derivadas classicas . . . . . . . . . . . . . . . . . . . . . . . . . 139
D.2.1 Calculo Variacional em distribuicoes . . . . . . . . . . . . . . . . . . . . . . . . . . 142
D.3 Derivadas e primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
D.4 Operadores elpticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
D.5 Derivada de Frechet e derivada de Gateaux . . . . . . . . . . . . . . . . . . . . . . . . . . 146
E Mais alguns resultados de C
alculo Variacional
iii
148
E.1 Notacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148

E.2 Colocacao dos resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
E.3 Segunda variacao de um funcional e condicoes suficientes para um extremo . . . . . . . . 154
E.3.1 Segunda variacao de um funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
E.3.2 Condicoes suficientes para um extremo . . . . . . . . . . . . . . . . . . . . . . . . . 155
Refer
encias Bibliogr
aficas
157
iv
Era ela quem erguia casas

Onde antes so havia chao
Como passaro sem asas
Ele subia com as casas
Que lhe brotavam da mao
O Oper
ario da construca
o - V. M.
` minha m
A
ae Clotilde Maria C. da Silva,
Ao meu irm
ao Jose Hor
acio da Silva Filho,
` minha esposa Michelli Karinne B. da Silva
A
vi
Agradecimentos
Agradeco primeiramente, a Deus por ter me fortalecido e iluminado minha inteligencia durante estes 23
meses de dedicacao ao Mestrado.
Agradeco de forma carinhosa a amiga, esposa e companheira Michelli por sua grande compreensao e
paciencia.
Agradeco tambem:
` minha famlia que sempre me motivou, em especial a` minha mae Clotilde, a meus irmaos Jose
A
Horacio, Maria, Berenice, Severina e Judite.
Ao professor Jose Claudio Vidal pela orientacao amizade e paciencia.
Ao professor Hildelberto Cabral pela orientacao inicial no Calculo Variacional.
Ao professor Pedro Ontaneda pela grande ajuda na parte topologica deste trabalho.
Ao professor Ramon pelas sugestoes no incio do programa de Mestrado.
Aos professores do programa de Pos-Graduacao do Departamento de Matematica da Universidade
Federal de Pernambuco por suas contribuicoes a` minha formacao, em especial a Jose Claudio Vidal,
Eduardo Shirlipe, Francisco Brito, Letterio Gatto, Paulo Santiago e Ramon Mendonca.
Aos professores Jose Claudio Vidal, Francisco Brito, Alain Albouy e Hildeberto Cabral pela confianca,
que muito contribuiu, para meu ingresso no Doutorado.
vii
Aos professores Alain Chenciner (Universite Paris - France), Daniel Offin (Queens University Canada), David Costa ( University of Nevada - USA), Marco Degiovanni (Universit`a Cattolica del Sacro
Cuore - Italia), Ugo Bessi (Universit`a degli Studi Roma Tre - Italia) e Vittorio Coti Zelati (Universita
di Napoli - Italia) pelas informacoes e sugestoes sobre este assunto aqui abordado que mesmo de longe
foram bastantes lucrativas.
Ao professor Vandik, grande orientador na Graduacao, e que mesmo de longe continuou sempre me
estimulando.
` Tania pela competencia, eficiencia e pelo constante apoio ao longo deste curso.
A
Aos funcionarios do Departamento de Matematica.
` minhas colegas de Gabinete Carlinda, Luciana e Tereza pela amizade e grande compreensao no
As
ambiente de estudo.
` amiga Patrcia Leal pelo constante apoio, desde a monitoria de Algebra
A
Vetorial na Graduacao aos
dias atuais suportando muitas vezes meu pesimo humor.
Aos colegas da Pos-Graduacao, em especial a Adriano, Adson, Almir, Angelo, Cristina, Custodio,
Fabio, Gledson, Gastao, Jalila, Joseilson, Lus, Mario, Ricardo, Renata e Tase.
Aos colegas de Graduacao da UFPB - Campus II, em especial a Michelli, Lindomberg, Patrcia e
Diana.
Aos colegas Patrcia Leal e Lenaldo pela convivencia pacfica no u
ltimo semestre do Mestrado.
Aos professores do Departamento de Matematica e Estatstica da Universidade Federal de Campina
Grande - Campus I, pela boa formacao academica que foi ferramenta essencial para meu desempenho
neste mestrado. Em especial aos professores Aparecido, Jaime, Mendes, Rosana e Vandik pela confianca
em mim depositada.
` Alaide pelo grande apoio consedido em Campina Grande na epoca do Vestibular.
A
A todos que direta ou indiretamente contriburam para realizacao deste trabalho.
viii
` Banca Examinadora pela paciencia em analisar este material e pelas sugestoes que muito conA
tribuiram para enriquecer este trabalho.
Agradeco ao CNPQ pelo apoio financeiro.
ix
Resumo
A presente dissertacao intitulada Calculo Variacional e Aplicacoes a` Mecanica Celeste, tem como
objetivo fazer um estudo dos resultados basicos do Calculo Variacional para posteriormente aplica-los
ao estudo de propriedades minimizantes das orbitas elpticas no problema de Kepler e na existencia de
solucoes periodicas com restricoes topologicas e condicoes de simetrias em problemas tipo N-corposda
Mecanica Celeste.
A dissertacao e conseq
uencia de leituras de referencias basicas como Calculus of variations (Gelfand
and Fomin, 1963) e de alguns artigos de pesquisa como: Symmetries and noncollision closed orbits for
planar N-body type problems (Bessi and Coti Zelati, 1991), Action minimizing periodic orbits in the
Newtonian N-body problem (Chenciner, 1999), A first encounter with variational methods in diferential
equations (Costa, 2002), Periodic solutions for N-body type problems (Coti Zelati, 1990), Dynamical
systems with Newtonian type potentials (Degiovanni, 1987), Consevative dynamical systems involving
strong force (Gordon, 19975), A minimizing property of keplerian orbits (Gordon, 1977).
Abstract
This dissertation entitled Variational Calculus and Applications to Celestial Mechanics , has as objective to study the basic results of variational calculus and applications to the minimizing properties
of elliptic orbits of the Kepler problem and the existence of periodic solutions with topological restrictions and symmetric conditions in problem type N-bodies of Celestial Mechanics. The dissertation is a
consequence of the lectures of basic references and some papers namely : Symmetries and noncollision
closed orbits for planar N-body type problems (Bessi and Coti Zelati, 1991) , Action minimizing periodic
orbits in the Newtonian N-body problem (Chenciner, 1999), Dynamical systems with Newtonian type
potentials (Degiovanni, 1987), Conservative dynamical systems involving strong force (Gordon, 1975), A
minimizing property of Keplerian orbits (Gordon, 1977).
Key Words : Variational calculus, periodic solution, symmetry, N-body problem.
xi
Introduc
ao
O Calculo Variacional e estudado a mais de tres seculos. Mas apenas em meados do seculo XIX e
incio do seculo XX com o surgimento do metodo direto, e que foi reconhecida sua grande importancia,
gracas a culminantes pesquisas de alguns matematicos famosos, entre eles: Hilbert, Lebesgue, Tonelli e
Weierstrass. Veja [8].
A Mecanica Celeste se situa no ambito das duas ciencias mais antigas da historia da humanidade, a
Matematica e a Astronomia. Mas apenas no seculo XVII com o tratado de Newton sobre Gravitacao, e
que deu-se incio ao estudo desta bela area de conhecimentos que estuda os movimentos dos corpos no
espaco.
Nos u
ltimos anos o Calculo Variacional tem sido muito usado na Mecanica Celeste, para estudar
existencia de solucoes periodicas em problemas planares tipo N-corpos. Veja por exemplo: [2], [9], [10]
e [13]. Mais recentemente Chenciner e Montgomery mostraram a existencia de uma solucao periodica do
problema planar dos tres corpos com massas iguais, onde os tres corpos movem-se simetricamente sobre
uma figura oito.
O objetivo desta Dissertacao consiste em desenvolver as ferramentas basicas do Calculo Variacional
para aplica-las ao estudo de solucoes periodicas em problemas da Mecanica Celeste, como por exemplo,
ao problema dos N -corpos.
As aplicacoes surgiram como conseq
uencia da leitura de varios artigos de pesquisa, entre eles Symmetries and noncollision closed orbits for planar N-body type problems (Bessi and Coti Zelati, 1991), Action
minimizing periodic orbits in the Newtonian N-body problem (Chenciner, 1999), A first encounter with
variational methods in diferential equations (Costa, 2002), Periodic solutions for N-body type problems
(Coti Zelati, 1990), Consevative dynamical systems involving strong force (Gordon, 19975), A minimizing
property of keplerian orbits (Gordon, 1977) e outros.
A presente dissertacao esta dividida em quatro captulos, e esta organizada da seguinte forma: No
primeiro captulo apresentaremos os conceitos basicos de Calculo Variacional, tais como, a diferencial de
um funcional, condicao necessaria para um extremo de um funcional, deducao das equacoes de EulerLagrange e problemas variacionais com vnculo.
No segundo captulo expomos o problema dos N -corpos com suas formulacoes Lagrangianas e Hamiltonianas, e a equivalencia entre estas formulacoes. Tambem analisamos a relacao entre os pontos crticos
do funcional associado ao Lagrangeano do problema mecanico e as solucoes das equacoes diferenciais
associadas.
O terceiro captulo e dedicado a` extensao do funcional (ou acao integral), associado a um problema
mecanico, ao espaco de Sobolev H 1 (espaco das funcoes absolutamente contnuas cujas derivadas sao
de quadrado integravel). A seguir introduzimos os conceitos de coercividade e seq
uencias minimizantes,
ou seja, apresentamos o Metodo Direto em Calculo Variacional. Em seguida introduzimos os conceitos
de forca forte e forca fraca os quais sao importantes no estudo de existencia de solucoes periodicas sem
colisao. Tambem mostramos certos funcionais sobre H 1 , os quais sao coercivos, e fazemos uma analise da
condicao necessaria para ter pontos crticos do funcional associado ao Lagrangeano do problema mecanico
sobre o espaco H 1 . Por u
ltimo analisamos a regularidade de um ponto crtico.
No Captulo 4, apresentamos algumas aplicacoes do Calculo Variacional na Mecanica Celeste. Primeiramente mostramos que a acao integral de Hamilton e constante sobre a famlia de solucoes elpticas (no
sentido estendido) para o problema de Kepler (planar), e que estas minimizam a acao de Hamilton. Outras
aplicacoes consistem em estudar a existencia de solucoes periodicas sem colisao em problemas mecanicos
planares e tambem em problemas do tipo N-corpos. Por u
ltimo aplicamos estes resultados para mostrar a
existencia de uma nova solucao periodica (diferente das solucoes Eulerianas e Lagrangeanas) no problema
Newtoniano dos tres corpos.
Finalmente apresentamos no Apendice alguns resultados basicos que implicitamente estao envolvidos
na elaboracao desta dissertacao.
Captulo 1
C
alculo Variacional
O Calculo Variacional e a parte da Matematica que estuda extremos de funcoes cujo domnio de
definicao e um espaco de dimensao infinita, o espaco das curvas com certas propriedades dependendo
do problema em estudo. Tais funcoes sao denominadas funcionais. Como uma forma de motivar o uso
do Calculo Variacional no estudo de problemas da Mecanica, neste captulo nos preucuparemos apenas
em estudar funcionais que sao diferenciaveis, definidos sobre um espaco vetorial =, de curvas, as quais
assumimos que sao pelo menos de classe C 2 . Este estudo utiliza essencialmente a mesma abordagem
utilizada em ([1]) e ([12]), os quais nao se preucupam com a regularidade do funcional, de fato sao sempre
diferenciaveis e o espaco das funcoes = e de fato um espaco vetorial, nao necessariamente um espaco
de Hilbert, constituido por curvas bastantes regulares, pelo menos C 2 , de tal forma que na analise os
extremos do funcional sempre serao assumidos de classe C 2 . No Captulo 3, estudaremos com bastante
rigorosidade a questao da existencia de extremais, sua regularidade, e o espaco de curvas que estamos
considerando.
1.1
Alguns problemas variacionais simples
Apresentaremos alguns exemplos simples que servirao como motivacao para o estudo do Calculo
Variacional. Para entender o Calculo Variacional, e de extrema importancia notar que ele esta relacionado
a` problemas de Analise Classica, isto e, ao estudo de funcoes de n-variaveis.
Exemplo 1.1.1 Considere o conjunto de todas as curvas retific

aveis planas (isto e, todas as curvas planas
cujo comprimento pode ser aproximado por uma poligonal). Associamos a
` cada curva seu comprimento.
Isto define um funcional sobre o conjunto de todas as curvas retific
aveis.
Exemplo 1.1.2 Encontre a menor curva plana passando por dois pontos A e B, isto e, encontre a
curva y = y(x) para a qual o funcional,
I(y) =
b
a
p
1 + y 02 dx,
sujeito as condico
es de contorno y(a) = A e y(b) = B, atinge seu mnimo. Sabemos que a curva em
quest
ao ser
a um segmento de reta.
Exemplo 1.1.3 (O Problema Isoperimetrico): Entre todas as curvas fechadas de um dado comprimento
l, encontre a curva que circunda a maior a
rea. Este problema foi resolvido por Euler veja ([12], pp. 3),
e a curva procurada e um crculo.
Observa
c
ao: Todos os problemas acima envolvem funcionais que podem ser escritos na forma
Z b
F (x, y, y 0 )dx,
a
tais funcionais tem uma propriedade localconsistindo do fato que se dividirmos a curva y = y(x) em
partes e calculando o valor do funcional em cada parte, a soma dos valores do funcional das partes
separadas e igual ao valor do funcional para toda a curva. Abordaremos este fato na Secao 1.4.
1.2
A variac
ao de um funcional. Uma condic
ao necess
aria para
um extremo
Consideraremos um espaco linear como sendo um espaco normado cujos elementos sao funcoes.
Defini
c
ao 1.2.1 Dizemos que um funcional I(y) definido sobre um espaco linear normado = e contnuo
no ponto y = se para todo > 0 existe um > 0, t.q., |I(y) I(y )| < , sempre que ky y k= < .
Coment
ario: Para nao sobrecarregar a notacao usaremos neste captulo simplesmente k k, ao inves de
k k= .
Observa
c
ao: Mudando a desigualdade |I(y) I(y )| < , por I(y) I(y ) > , o funcional e dito ser
semi-contnuo inferiormente, e mudando |I(y) I(y )| < , por I(y) I(y ) < , o funcional e dito ser
semi-contnuo superiormente.
Defini
c
ao 1.2.2 Seja = um espaco linear normado. Considere a aplicaca
o
: = 7 R
h 7 (h)
Dizemos que (h) e um funcional linear contnuo se:
(a) (h) = (h), para todo h de = e R;
(b) (h1 + h2 ) = (h1 ) + (h2 ), para quaisquer h1 , h2 de =;
(c) (h) e contnuo para todo h.
Exemplo 1.2.3 A aplicaca

o
(h) =
h(x)dx
a
define um funcional linear sobre C([a, b]) o espaco das funco

es contnuas sobre [a,b].
Exemplo 1.2.4 A aplicaca

o
(h) =
b
a
i
h0 (x) + h00 (x) + ... + h(n) (x) dx
define um funcional linear sobre C ([a, b]) o espaco das funco

es diferenci
aveis com n-esima derivada
contnua no intervalo [a,b].
Lema 1.2.5 (Lema de Lagrange) Se (x) e contnua em [a,b], e se

Z b
(x)h(x)dx = 0
a
para toda h C([a, b]) tal que h(a) = h(b) = 0, ent

ao (x) = 0 para todo x [a, b].
Demonstra
c
ao: Suponha que (x) > 0 para algum x [a, b] entao por continuidade existem x 1 , x2
[a, b] distintos, tal que (x) > 0 para todo x [x1 , x2 ] [a, b]. Defina h por h(x) = (x x1 )(x2 x) se
x [x1 , x2 ] e h(x) = 0 se x [a, b] [x1 , x2 ]. Claramente a funcao h satisfaz as condicoes do Lema 1.2.5,
e alem disso
Z
(x)h(x)dx =
a
x2
x1
(x)(x x1 )(x2 x)dx > 0,
o que e uma contradicao, o que conclui a demonstracao.
Observa
c
ao: O Lema acima e ainda valido se mudarmos C([a, b]) por C n ([a,b]). Para isto, basta
considerar h(x) = [(x x1 )(x2 x)]n+1 se x [x1 , x2 ] e h(x) = 0 se x [a, b] [x1 , x2 ].
Lema 1.2.6 Se (x) e contnua em [a, b], e se
Z b
(x)h0 (x)dx = 0
a
para toda funca

o h C 1 ([a, b]), tal que h(a) = h(b) = 0, ent
ao (x) = c para todo x [a, b], onde c e
uma constante.
Demonstra
c
ao: Considere a funcao h dada por
Z x
h(x) =
[(x) c]dx = 0
a
onde c e dada pela equacao

Z
Por um lado, temos
Por outro lado, obtemos

Z b
a
[(x) c]dx = 0.
b
a
[(x) c]h0 (x)dx =
[(x) c]h (x)dx =
b
a
[(x) c]2 dx 0.
b
a
(x)h0 (x)dx c[h(b) h(a)] = 0.
Das duas u
ltimas equacoes acima e da continuidade de (x) c, temos que (x) c = 0, donde, c.
Lema 1.2.7 Se (x) e contnua em [a, b], e se

Z b
(x)h00 (x)dx = 0
a
para toda h C ([a, b]), tal que h(a) = h(b) = 0 e h0 (a) = h0 (b) = 0, ent
ao = c0 + c1 x, para todo
x [a, b], onde c0 e c1 s
ao constantes.
Demonstra
c
ao: Considere a funcao
h(x) =
x
a
[(t) c0 c1 t]dtd
onde c0 e c1 sao definidas pelas condicoes

Z b
[(t) c0 c1 t]dt = 0,
a
b
a
Z
x
a
[() c0 c1 ]d dx.
Por um lado, temos

Z
b
a
[(x) c0 c1 x]h00 (x)dx =
b
a
[(x) c0 c1 x]2 dx 0.
Por outro lado, usando integracao por partes

Z b
[(x) c0 c1 x]h00 (x)dx = c1 [xh0 (x) h(x)]|ba = 0.
a
Assim, (x) c0 c1 x = 0, donde, (x) = c0 + c1 x.
Lema 1.2.8 Se (x) e (x) s

ao funco
es contnuas em [a, b], e se
Z
[(x)h(x) + (x)h0 (x)]dx = 0
(1.2.1)
para toda h C 1 ([a, b]), tal que h(a) = h(b) = 0, ent

ao = 0 (x) para todo x [a, b].
Demonstra
c
ao: Considere
A(x) =
()d
a
resolvendo por partes a integral

Z
(x)h(x)dx
a
podemos reescrever (1.2.1) como

Z
[(x)h(x) + (x)h0 (x)]dx
(x)h(x)dx +
a
b
(x)h0 (x)dx
a
[A(x) + (x)]h0 (x)dx = 0.

a
Logo, usando o Lema 1.2.6, temos o resultado.
Lema 1.2.9 (Generalizaca

o do Lema 1.2.8) Se 0 (x), ..., n (x) s
ao funco
es contnuas em [a, b], e se
Z
b
a

0 h(x) + 1 h0 (x) + ... + n h(n) (x) dx = 0
para toda h C n ([a, b]), tal que h(a) = h(b) = h0 (a) = h0 (b) = = h(n1) (a) = h(n1) (b) = 0, ent
ao j
tem derivada ate a ordem j para todo x [a, b] e
0 (x) 10 (x) + ... + (1)n n (x) = 0.
Demonstra
c
ao: Basta usar inducao e o Lema 1.2.8.
1.2.1
Variac
ao ou diferencial de um funcional
Seja I(y) um funcional definido sobre algum espaco linear normado, e seja
I(h) = I(y + h) I(y)
o incremento correspondente ao acrescimo h = h(x) da variavel independentey = y(x). Se y e fixado,
I(h) e um funcional de h, em geral nao linear, pois
I(h1 + h2 ) = I(y + h1 + h2 ) I(y) = I(y + h1 ) I(y) + I(h2 ) = I(h1 ) + I(h2 ).
Suponha que
I(h) = (h) + khk
onde (h) e linear e 0, com khk 0. Entao o funcional I(y) e dito ser diferenciavel, e a parte linear
do incremento I(h), isto e, o funcional linear (h) que difere de I(h) por um infinitesimo de ordem
superior a um relativo a khk, e chamado de primeira varia
c
ao ou (primeira diferencial) de I(h) e o
denotamos por I(y) h, ou I 0 (y) h. Por comodidade daqui por diante, chamaremos apenas de varia
c
ao
(ou diferencial de I(y)).

Coment
ario: Neste caso, conforme Secao D.5 do Apendice D, dizemos que o funcional I e diferenci
avel
segundo Fr
echet. Para um estudo mais detalhado sobre derivada de Frechet, (veja [19]).
Exemplo 1.2.10 Seja
I(y) =
ent
ao, I(y) e diferenci
avel e I(y) h =
Rb
a
y(x)dx
a
h(x)dx.
De fato,
I(y + h) I(y) =
h(x)dx + 0khk.
a
Observa
c
ao: Lembremo-nos que se F (x1 , ..., xn ) e uma funcao de n-variaveis, entao F (x1 , ..., xn ) tem
um extremo relativo no ponto (x1 , ..., xn ) se
F = F (x1 , ..., xn ) F (x1 , ..., xn )
9
tem o mesmo sinal em todos os pontos de alguma vizinhanca, suficientemente pequena, de (x 1 , ..., xn ),
onde o extremo F (x1 , ..., xn ) e um mnimo se F > 0 e um maximo se F < 0.
Defini
c
ao 1.2.11 Um funcional I(y) tem um extremo relativo para y = y se I(y) I(y ) n
ao muda de
sinal em alguma vizinhanca, suficientemente pequena, da curva y = y (x).
As funcoes em C 1 ([a, b]) sao continuamente diferenciaveis, entao elas podem em particular serem
consideradas como elementos de C([a, b]). Correspondendo a` estas duas possibilidades podemos definir
dois tipos de extremos:
(A) Dizemos que um funcional I(y) tem um extremo fraco para y = y se existir > 0 tal que
I(y) I(y ) tem o mesmo sinal para todo y no domnio de definicao do funcional satisfazendo a condicao
ky y kW 1, < , onde
ky y kW 1, = max { |y(x) y (x)| + |y 0 (x) y 0 (x)|}.

x[a,b]
(B) Dizemos que um funcional I(y) tem um extremo forte para y = y se existir > 0 tal que
I(y) I(y ) tem o mesmo sinal para todo y no domnio de definicao do funcional satisfazendo a condicao
ky y kL < , onde
ky y kL = max { |y(x) y (x)|}.

x[a,b]
Observa
c
ao: Todo extremo forte e um extremo fraco. Isto e uma conseq
uencia da seguinte inclusao de
conjuntos:
{y C 1 ([a, b]) : ky y kW 1, < } {y C 1 ([a, b]) : ky y kL < }.
Porem, nem todo extremo fraco e um extremo forte.
Teorema 1.2.12 A diferencial (ou variaca

o) de um funcional se existir e u
nica.
Demonstra
c
ao: Primeiro observe que se (h) e um funcional linear e se
(h)
khk
0, quando khk 0,
entao (h) = 0 para todo h. De fato, suponha que (h0 ) 6= 0 para algum h0 6= 0 entao, considerando a
10
seq
uencia hn =
h0
n
e fazendo =
(h0 )
kh0 k ,
temos que khn k 0, mas
(hn )
= lim
n khn k
n
lim
o qual contradiz o fato, de que
(h)
khk
1
n (h0 )
1
n kh0 k
(h0 )
= 6= 0,
kh0 k
0, quando khk 0. Suponha, agora, que a diferencial de I(y)
nao e u
nica, entao
I(h) = 1 (h) + 1 khk
e
I(h) = 2 (h) + 2 khk
onde 1 , 2 0, com khk 0, isto implica que
1 (h) 2 (h) = 1 khk 2 khk = (1 2 )khk
e logo, 1 (h) 2 (h) e um infinitesimo de ordem superior a um relativo a khk. Mas 1 (h) 2 (h) e linear
e
1 (h) 2 (h)
= (1 2 ) 0,
khk
quando khk 0. Assim pela primeira parte da prova, temos que [1 (h) 2 (h)] 0. Portanto 1 (h) =
2 (h).
Coment
ario: De agora em diante trabalharemos apenas com extremos fracos e, por comodidade, os
chamaremos de extremos.
1.2.2
Uma condic
ao necess
aria para um extremo
Teorema 1.2.13 Uma condica

o necess
aria para um funcional diferenci
avel I(y) tenha um extremo em
y = y = e que sua diferencial se anule para y = y , isto e, que
I(y) h = 0
para y = y e todo h =.
11
Demonstra
c
ao: Sem perda de generalidade podemos supor que I(h) tem um mnimo em y = y . De
acordo com a definicao de diferencial I(y) h, temos
I(h) = I(y) h + khk,
(1.2.2)
onde 0 quando khk 0. Da para khk suficientemente pequeno

sinal(I(h)) = sinal(I(y) h).
Agora, suponha que I(y)(h0 ) 6= 0 para algum h0 . Entao para cada > 0, nao necessariamente pequeno,
temos
I(h0 )) = I(y) (h0 )),
(1.2.3)
como khk 0, entao k h0 k = kh0 k 0. Por (1.2.3) podemos expressar (1.2.2) de duas formas para
y = y que sao
I(h) = I(y) (h) + khk

e
I(h) = I(y) (h) + khk.
Da
sinal(I(h)) = sinal(I(y) (h)) = (sinal(I(y) (h))).
Mas isto e uma contradicao, pois, I(y) tem um mnimo em y = y . Portanto, I(y) h 0.
1.3
Equac
ao de Euler-Lagrange para o problema variacional mais
simples
O problema variacional mais simples pode ser formulado como segue: Seja F (x, y, z) uma funcao com
primeiras e segundas derivadas parciais contnuas com respeito a todos os argumentos. Entao entre todas
as funcoes y = y(x) que sao continuamente diferenciaveis em [a, b] e satisfazem a condicao de fronteira
y(a) = A, y(b) = B
12
(1.3.4)
o qual denotamos por C1 = {y C 1 ([a, b]) : y(a) = A e y(b) = B}, encontre a funcao para a qual o
funcional
I(y) =
F (x, y, y 0 )dx
(1.3.5)
tem um extremo fraco sobre C1 .

Em outras palavras o problema variacional mais simples consiste em encontrar um extremo fraco para
o funcional (1.3.5), onde a classe das curvas admissveis consiste de todas as curvas suaves passando pelos
pontos A e B.
Para aplicar a condicao necessaria para um extremo de um funcional ao problema formulado, precisamos encontrar a diferencial do funcional dado por (1.3.5).
Observa
c
ao: Suponha que seja dado a y(x) um acrescimo h(x), de tal forma que y(x) + h(x) continue
satisfazendo a condicao de fronteira (1.3.4), entao
y(a) + h(a) = A e y(b) + h(b) = B,
assim
h(a) = h(b) = 0.
O incremente correspondente ao funcional em (1.3.5) e dado por
I = I(y + h) I(y)
=
=
b
0
F (x, y + h, y + h )dx
a
b
a
F (x, y, y 0 )dx
a
{F (x, y + h, y 0 + h0 ) F (x, y, y 0 )}dx
Mas usando a Formula de Taylor para um espaco linear, obtemos

F (x, y + h, y 0 + h0 ) F (x, y, y 0 ) = Fy (x, y, y 0 )h + Fy0 (x, y, y 0 )h0 +
Fyy (x, y, y 0 )
h2
(h0 )2
hh0
+ Fy0 y0 (x, y, y 0 )
+ 2Fyy0 (x, y, y 0 )
+
2!
2!
2!
da,
I =
b
a

Fy (x, y, y 0 )h + Fy0 (x, y, y 0 )h0 dx +
13
onde as reticencias denotam a parte nao linear em h. Logo, a variacao de I(y) e

I(y) h =
b
a

Fy h + Fy0 h0 dx.
Mas de acordo com o Teorema 1.2.13, uma condicao necessaria para que I(y) tenha um extremo em
y = y(x) e que
I(y) h =
b
a

Fy h + Fy0 h0 dx = 0,
(1.3.6)
para todo acrescimo possvel h. Mas de acordo com o Lema 1.2.8, a formula (1.3.6) implica que F y0 e
diferenciavel e que
Fy

d
Fy0 = 0.
dx
(1.3.7)
A equacao (1.3.7) e conhecida como equacao de Euler-Lagrange.

Com esta u
ltima observacao, demonstramos o seguinte
Teorema 1.3.1 Seja I(y) um funcional da forma

Z
F (x, y, y 0 )dx,
a
definido sobre o conjunto das funco

es y = y(x) que tem primeiras e segundas derivadas parciais contnuas
em [a, b] satisfazendo a condica
o de fronteira, y(a) = A e y(b) = B. Ent
ao uma condica
o necess
aria para
I(y) ter um extremo em uma dada funca
o y(x) e que y(x) satisfaca a equaca
o de Euler-Lagrange (1.3.7).
Observa
c
ao: A equacao de Euler-Lagrange nos da uma condicao necessaria para um extremo, mas
em geral esta condicao nao e suficiente. A suficiencia sera garantida, usando a segunda variacao de
um funcional, de maneira analoga a` funcoes de varias variaveis. Porem em muitos casos a equacao de
Euler-Lagrange e auto suficiente para encontrar uma solucao completa do problema.
Coment
arios:
(A) Esta condicao necessaria e para um extremo fraco. Mas todo extremo forte e, tambem, extremo
fraco, entao temos tambem uma condicao necessaria para extremo forte.
(B) A equacao de Euler-Lagrange e uma equacao diferencial de segunda ordem e sua solucao depende
em geral de duas constantes arbitrarias que sao determinadas pelas condicoes de fronteira y(a) = A
14
e y(b) = B. As curvas integrais (solucao da equacao de Euler-Lagrange) sao chamadas extremais do

funcional I.
Observa
c
ao: Para um funcional da forma
Z
F (x, y, y 0 )dx,
a equacao de Euler-Lagrange e uma equacao diferencial de segunda ordem, mas e possvel encontrar a
curva para a qual o funcional tenha um extremo, mas que esta curva nao seja de classe C 2 ([a, b]). Por
exemplo considere o funcional
I(y) =
onde, y(1) = 0, e y(1) = 1.
1
1
2
y 2 2x y 0 dx,
O mnimo de I(y) e alcancado para a funcao y = y = 0 se x [1, 0] e y = y = x2 se x [0, 1], a

qual nao tem derivada segunda para x = 0. Todavia, y(x) satisfaz a equacao de Euler-Lagrange em quase
toda parte. De fato, derivando o integrando, obtemos
Fy = 2y(2x y 0 )2 ; Fy0 = 2y 2 (2x y 0 );
d
Fy0 = 4yy 0 (2x y 0 ) 2y 2 (2 y 00 );
dx
logo para 1 < x 0 temos

y = 0; Fy = 0; Fy0 = 0;
d
Fy0 = 0;
dx
para 0 < x 1 temos

Fy = y 2 (2x 2x)2 = 0; Fy0 = 2x4 (2x 2x) = 0;
d
Fy0 = 8x3 (2x 2x) 2x4 (2 2) = 0.
dx
Logo a equacao de Euler-Lagrange e satisfeita em quase toda parte.
Agora enunciaremos um resultado que garante quando as solucoes da equacao de Euler-Lagrange tem
derivada segunda.
Teorema 1.3.2 (Teorema de Regularidade) Suponha que y = y(x) tem primeira derivada contnua
e satisfaz a equaca
o (1.3.7). Ent
ao se a funca
o F (x, y, y 0 ) tem primeiras e segundas derivadas parciais
15
contnuas com respeito a todo os argumentos, y(x) tem uma derivada segunda contnua em todo os pontos
(x, y) onde
Fy0 y0 [x, y(x), y 0 (x)] 6= 0.
Demonstra
c
ao: Considere a diferenca
Fy0 = Fy0 (x + x, y + y, y 0 + y 0 ) F (x, y, y 0 ).
Usando o Teorema de Taylor podemos escrever a u
ltima expressao na forma
Fy0 = xF y0 x + yF y0 y + y 0 F y0 y0 ,
onde as barras acima indicam que as correspondentes derivadas sao avaliadas ao longo de certas curvas
intermediarias. Dividindo ambos os membros da u
ltima expressao por x, obtemos
y
y 0
Fy0
= F y0 x +
F y0 y +
F y0 y0 .
x
x
x
Como lim
x0
Fy0
existe, ja que Fy0 tem derivada com relacao a x e pela equacao de Euler Lagrange e
x
Fy , entao

y 0
y
lim F y0 x +
F y0 y +
F y0 y0
x0
x
x
existe. Alem do mais, por hipotese, temos

(a) A funcao F (x, y, y 0 ) tem derivada de segunda ordem contnua com respeito a todos os argumentos,
entao
lim F y0 x = Fy0 x =
x0
2F
.
y 0 x
(b) Existe o seguinte limite

lim
x0
y
= y0 ,
x
e a continuidade da derivada segunda Fy0 y , assegura que

2F
y
F y0 y = y 0 0
x0 x
y y
lim
existe. Logo, de (a) e (b) temos que
y 0
F y0 y0
x0 x
lim
16
existe. Mas quando x 0, temos que F y0 y0 converge para Fy0 y0 6= 0, e logo

y 0
= y 00 (x)
x0 x
lim
existe. Finalmente, da equacao de Euler-Lagrange podemos encontrar a expressao para y 00 que claramente
e contnua, ja que F (x, y, y 0 ) tem segunda derivada contnua com respeito a todos os argumentos.
Apresentaremos alguns casos especiais, onde a equacao de Euler-Lagrange (1.3.7) pode ser reduzida a
uma equacao diferencial de primeira ordem, ou onde sua solucao pode ser obtida totalmente em termos
de quadratura.
Caso 1: Suponha que o integrando independa de y, isto e, se o funcional e da forma
Z b
F (x, y 0 )dx
a
onde F nao contem y explicitamente. Neste caso, a equacao (1.3.7) torna-se

Fy 0 = c
(1.3.8)
onde c e uma constante. Isto e, uma equacao diferencial de primeira ordem que nao contem o termo y.
Se for possvel resolver (1.3.8) em relacao a y 0 , obtemos
y 0 = f (x, c)
Caso 2: Se o integrando nao depende de y 0 , a equacao (1.3.7) tem a forma

Fy (x, y) = 0
e logo nao e uma equacao diferencial, mas uma equacao finita,(ou seja nao aparece derivadas na
expressao), cuja solucao consiste de uma ou mais curvas y = y(x).
Caso 3: Se o integrando nao depende de x, isto e, se
Z b
I(y) =
F (y, y 0 )dx
a
entao a equacao (1.3.7) e dada por

Fy Fy0 y y 0 Fy0 y0 y 00 = 0
17
(1.3.9)
multiplicando ambos os membros de (1.3.9) por y 0 , obtemos

Fy y 0 Fy0 y y 02 Fy0 y0 y 0 y 00 =

d
F y 0 Fy0 = 0.
dx
Neste caso a equacao de Euler-Lagrange tem a seguinte integral primeira

F y 0 Fy0 = c,
onde c e uma constante.
Caso 4: Em varios problemas encontramos funcionais da forma
Z b
p
f (x, y) 1 + y 02 dx
a
representando a integral de uma funcao f, continuamente diferenciavel, com respeito ao comprimento de

p
arco s (ds = 1 + y 02 dx). Neste caso, a equacao de Euler-Lagrange tera a forma
!
0
p
d
d F
F
y
= fy (x, y) 1 + y 02
f (x, y) p
y
dx y 0
dx
1 + y 02
!
p
y0
d
y 02
y0
02
p
= fy 1 + y fx p
f
= 0.
fy p
dx
1 + y 02
1 + y 02
1 + y 02
Mas,
d
dx
y0
1+
y 02
y 00
1 + y 02
assim, a equacao de Euler-Lagrange e da forma

fy f x y 0 f
32 ,
y 00
=0
1 + y 02
Exemplo 1.3.3 Considere o funcional

Z 2p
1 + y 02
I(y) =
dx, y(1) = 0, y(2) = 1.
x
1
O integrando n
ao contem o termo em y (caso 1) e logo a equaca
o de Euler-Lagrange tem a forma
Fy0 = c,
onde c e uma constante. Assim, temos
11
2y 0
y0
p
=c p
=c
x 2 1 + y 02
x 1 + y 02
18
(1.3.10)
donde obtemos que

sinal(y 0 ) = sinal(c),
resolvendo a segunda equaca
o de (1.3.10) por substituica
o simples, temos
y=
1p
1
1 c2 x2 + d (y d)2 + x2 = 2
c
c
onde d e uma constante, e a equaca

o obtida e de um crculo.
1.4
A derivada variacional
Nesta secao apresentaremos um conceito analogo ao de derivada parcial para funcoes de n variaveis.
Consideraremos um funcional do tipo
Z b
I(y) =
F (x, y, y 0 )dx, y(a) = A, y(b) = B
(1.4.11)
correspondendo ao problema variacional mais simples. Aproximamos o problema variacional por um

problema n-dimensional e passamos o limite quando n . Para isto, dividimos o intervalo [a, b] em
n + 1 sub-intervalos iguais introduzindo a particao
x0 = a, x1 , , xn+1 = b
e substitumos a funcao suave y(x) pela linha poligonal com vertices
(x0 , y0 ), (x1 , y1 ), , (xn , yn ), (xn+1 , yn+1 )
onde yi = yi (xi ), entao (1.4.11) pode ser aproximada pela soma

yi+1 yi
F xi , yi ,
I(y1 , , yn )
x,
x
i=0
n
X
que e uma funcao de nvariaveis. Lembremo-nos que x = xi+1 xi e, y0 = A, yn+1 = B sao fixos.
Logo, calculamos a derivada parcial
I(y1 , , yn )
yk
19
e observemos o que acontece com estas derivadas quando o n

umero de pontos da subdivisao tende para
infinito. Observando que cada variavel yk aparece em dois termos para i = k e i = k 1, encontramos
que

yk yk1
yk+1 yk
yk+1 yk
I
x + Fy0 xk1 , yk1 ,
Fy 0 xk , yk ,
.
= Fy xk , yk ,
yk
x
x
x
Quando x 0, isto e o n
umero de subdivisoes cresce muito, aplicando o limite na u
ltima expressao
temos que o lado direito vai para zero, desde que ele seja uma quantidade de ordem x. Na forma de
obter um limite que em geral e nao nulo com x 0, dividimos ambos os membros da u
ltima expressao
por x, obtendo
I
yk x

yk+1 yk
1
yk+1 yk
0
Fy x k , y k ,
Fy xk , yk ,
x
x
x

yk yk1
Fy0 xk1 , yk1 ,
.
x

Note que a expressao yk x que aparece no denominador da u

ltima expressao tem um significado
geometrico direto, e a area da regiao compreendida entre as curvas solidas e tracejadas. Veja figura
abaixo.
Figura 1.4.1: A area hachurada e dada por yk x
Fazendo x 0 na u
ltima expressao temos a convergencia para o limite
d
I
Fy (x, y, y 0 )
Fy0 (x, y, y 0 )
y
dx
20
(1.4.12)
chamado derivada variacional do funcional (1.4.11). Notemos, a semelhanca de (1.4.12) com as equacoes
de Euler-Lagrange, e assim, a derivada variacional do funcional sob as consideracoes assumidas se anula
em todo ponto (ao longo de uma extremal), isto e analogo ao que ocorre com funcoes de n variaveis.
Em geral a derivada variacional e definida como segue: seja I(y) o funcional dependendo da funcao
y(x), e suponha que seja dado a y(x) um acrescimo h(x) que e diferente de zero apenas numa vizinhanca
do ponto x0 . Dividindo o correspondente incremento I(y + h) do funcional pela area compreendida
entre a curva y = h(x) e o eixo x, obtemos a razao
I(y + h) I(y)
.
(1.4.13)
se 0, (equivalentemente a max {|h(x)|} e o comprimento do intervalo onde h(x) e diferente de

x[a,b]
zero tenderem a zero). Entao se a razao (1.4.13) converge para um limite com 0, este limite e
chamado a derivada variacional do funcional I(y) no ponto x0 (para a curva y = y(x)) e e denotado por
I
(y)|x=x0 .
y
Coment
arios:
de facil verificacao que as regras familiares obedecidas pelas derivadas ordinarias no caso de funcoes
(A) E
(como soma, produto, etc.) sao, tambem verificadas no caso de derivadas variacionais para funcionais.
claro da definicao de derivada variacional que se h(x) e diferente de zero em uma vizinhanca do
(B) E
ponto x0 , e se e a area compreendida entre a curva y = h(x) e o eixo x, entao

I
I I(y + h) I(y) =
(y)|x=x0 + ,
y
onde 0, com ambos max {|h(x)|} e o comprimento do intervalo onde h(x) 6= 0, tendendo a zero.
x[a,b]
Segue-se, entao, que em termos de derivada variacional, que a diferencial de um funcional I(y) no ponto
x0 para a curva y = y(x) e dada pela formula
I(y) =
I
(y)|x=x0 ,
y
ou em termos mais explcitos,

I(y) h =
I
(y) h|x=x0 .
y
21
(1.4.14)
Observa
c
ao: Em particular se a curva acrescimo h for dada por h = v, onde R e v : [a, b] R 2 e
uma aplicacao suave, satisfazendo v(a) = v(b) = 0, temos valida a seguinte relacao:
I(y) (v) =
De fato, neste caso, = A, onde A =
d
I(y + v)|=0
d
=
=
=
=
Rb
a
d
I(y + v)|=0 .
d
(1.4.15)
v(x)dx. Alem disso, 0, implica 0. Assim,
I(y + v) I(y)
I(y + v) I(y)
= lim
0
I(y + v) I(y)
I(y + h) I(y)
= A lim
A lim
0
0
A
I
I
I
A (y) (h)|x=x0 =
(y) (h)|x=x0 =
(v)|x=x0
y
y
y
I
(y) (v)|x=x0 .
y
lim
Mas, por (1.4.14), temos
I
(y) (v)|x=x0 = I(y) (v).
y
Logo, segue-se a expressao (1.4.15).

Observa
c
ao: Note que a expressao (1.4.15) e semelhante a Regra da Cadeiavalida para funcoes de n
variaveis.
1.5
Invari
ancia das equaco
es de Euler-Lagrange
Suponha que em vez de coordenadas retangulares x e y, introduzimos novas coordenadas u e v, onde

x
xv
x = x(u, v), y = y(u, v), J = u
6= 0
(1.5.16)
yu yv
sendo (1.5.16) o Jacobiano da mudanca de coordenada. Entao a curva dada pela equacao y = y(x) no
plano xy corresponde a uma curva dada por alguma equacao v = v(u) no plano uv.
Quando fizermos a mudanca de variavel (1.5.16), o funcional
I(y) =
F (x, y, y 0 )dx
a
22
fica sob a forma

I1 (v)
=
=
b1
F
a1
b
x(u, v), y(u, v),
yu + y v v 0
xu + x v v 0
(xu + xv v 0 )du
F1 (u, v, v 0 )du,
a
onde
F1 (u, v, v 0 ) = F
x(u, v), y(u, v),
yu + y v v 0
xu + x v v 0
(xu + xv v 0 ).
Teorema 1.5.1 Se y = y(x) satisfaz a equaca

o de Euler-Lagrange
F
d F
=0
y
dx y 0
(1.5.17)
correspondente ao funcional original I(y), ent

ao v = v(u) satisfaz a equaca
o
d F1
F1
=0
v
du v 0
(1.5.18)
correspondendo ao funcional I1 (v). Isto significa que se (x, y(x), y 0 (x)) e um zero de (1.5.17) e se a
equaca
o de y = y(x) no plano uv e v = v(u), ent
ao (u, v(u), v 0 (u)) e um zero de (1.5.18).
Demonstra
c
ao: Para provar este resultado usaremos o conceito de derivada variacional, introduzido
na secao anterior. Se denota a area limitada pelas curvas y = y(x) e y = y(x) + h(x), e 1 denota
a area limitada pelas curvas correspondentes v = v(u) e v = v(u) + (u) no plano uv. Pela formula
padrao de area, temos que quando , 1 0, a razao
aproxima-se do jacobiano (1.5.16), que
por hipotese e diferente de zero. Logo

' 1 J.
Da, se
lim
I(y + h) I(y)
= 0,
(1.5.19)
I1 (v + ) I1 (v)
= 0.
1
(1.5.20)
entao
lim
1 0
Mas pela secao anterior a expressao (1.5.19) e equivalente a

d
I
= Fy x, y, y 0
Fy0 x, y, y 0 ,
y
dx
23
analogamente (1.5.20) e equivalente a

I1
d
= Fv u, v, v 0
Fv0 u, v, v 0 .
v
du
Portanto, se y = y(x) satisfaz a equacao (1.5.17) correspondente ao funcional I(y), entao v = v(u) satisfaz
a equacao (1.5.18) correspondente ao funcional I1 (v).
Com este teorema provamos, assim, que a Equacao de Euler-Lagrange nao depende do sistema de
coordenadas.
1.6
Problema do ponto final fixo para n-fun

co
es desconhecidas
Seja F (x, y1 , ..., yn , y10 , ..., yn0 ) uma funcao com primeiras e segundas derivadas parciais contnuas com
respeito a todos os argumentos. Considere o problema de encontrar condicoes necessarias para um
extremo de um funcional da forma
I(y1 , ..., yn ) =
b
a
F (x, y1 , ..., yn , y10 , ..., yn0 )dx
(1.6.21)
que depende de n funcoes continuamente diferenciaveis y1 , ..., yn satisfazendo as condicoes de contorno

yi (a) = Ai , yi (b) = Bi , (i = 1, ..., n).
(1.6.22)
Em outras palavras, estamos considerando um extremo do funcional (1.6.21) definido sobre o conjunto
de todas as curvas suaves unindo dois pontos fixos no espaco Euclidiano (n+1) dimensional.
Coment
ario: O problema de encontrar geodesicas, isto e, curvas minimizantes unindo dois pontos de
alguma variedade, e um problema deste tipo. A mesma classe de problemas surge em geometria optica,
em encontrar caminhos no qual o raio de luz propaga-se num meio nao homogeneo. De fato, de acordo
com o princpio de Fermat a luz vai do ponto P0 ao ponto P1 ao longo do caminho que tem tempo de
transicao mnimo.
Para encontrar condicoes necessarias para o funcional ter um extremo, primeiro calculamos sua
variacao. Suponha que podemos mudar cada yi (x) por uma funcao yi (x) + hi (x). Para variacao I
24
do funcional I(y1 , ..., yn ), pegamos a expressao que e linear em hi e h0i (i = 1, ..., n) que difere do incremento
I = I(y1 + h1 , ..., yn + hn ) I(y1 , ..., yn ))
por uma quantidade de ordem superior a um, relativo a hi e h0i (i = 1, ..., n). Desde que yi (x) e yi (x)+hi (x)
satisfacam a condicao de fronteira (1.6.22), para cada i, e claro que
hi (a) = hi (b) = 0 (i = 1, ..., n).
Agora usando o Teorema de Taylor, obtemos
Z b
I =
[F (x, ...yi + hi , ..., yi0 + h0i , ...) F (x, ..., yi , ..., yi0 , ...)]dx
=
n
bX
a i=1
(Fyi hi + Fyi0 h0i )dx + ...,
onde as reticencias denotam termos de ordem superior a um, relativo a h i e h0i (i = 1, ..., n). A
u
ltima integral do lado direito representa a parte principal linear do incremento I, e logo a variacao de
I(y1 , ..., yn ) e
I =
n
bX
a i=1
(Fyi hi + Fyi0 h0i )dx,
como todos os incrementos hi (x) sao independentes, podemos escolher arbitrariamente um deles (satisfazendo a condicao de fronteira) e todos os outros nulos. Entao, a condicao necessaria I = 0 para um
extremo implica
Z
b
a

Fyi hi + Fyi0 h0i dx = 0 (i = 1, , n),
usando o Lema 2.2.8, obtemos o seguinte sistema de equacoes de Euler-Lagrange:

Fy i
d
Fy0 = 0,
dx i
(i = 1, , n).
(1.6.23)
O sistema (1.6.23) e um sistema de equacoes diferenciais de segunda ordem, sua solucao em geral depende de 2n constantes arbitrarias, que sao determinadas usando as condicoes de contorno (1.6.22). Isto
demonstra o seguinte

o necess
aria para a curva
yi = yi (x)
(i = 1, , n)
25
ser um extremo do funcional (1.6.21) e que as funco

es yi (x) satisfacam o sistema de equaco
es de EulerLagrange (1.6.23).
Observa
c
ao: Vimos como encontrar um sistema de equacoes de Euler-Lagrange para todo funcional do
tipo (1.6.21), no entanto, dois integrandos diferentes F podem conduzir ao mesmo sistema de equacoes
de Euler-Lagrange. De fato, seja
= (x, y1 , , yn )
alguma funcao de classe C 2 , e seja
n
(x, y1 , , yn , y10 , , yn0 ) =

e de facil verificacao que
d
yi
dx
Logo, os funcionais
b
a
yi0
X 0
y
+
x i=1 yi i
(1.6.24)
0.
b
a
F (x, y1 , , yn )dx
(1.6.25)

F (x, y1 , , yn ) + (x, y1 , , yn ) dx,
(1.6.26)
possuem o mesmo sistema de equacoes de Euler-Lagrange.
Dada alguma curva yi = yi (x), a funcao (1.6.24) e exatamente a derivada total de em relacao a x,
isto e,

d
(x, y1 (x), , yn (x)) .
dx
Portanto, a integral
Z
b
a
(x, y1 , , yn , y10 , , yn0 )dx
b
a
d
dx
dx
tem os mesmos valores ao longo de toda curva que satisfaz a condicao de fronteira (1.6.22). Em outras
palavras os funcionais (1.6.25) e (1.6.26) definidos sobre a classe das funcoes que satisfazem (1.6.22)
diferem apenas por uma constante.
26
Defini
c
ao 1.6.2 Dizemos que dois funcionais s
ao equivalentes se eles tem as mesmas extremais (ou seja
eles tem o mesmo sistema de Equaco
es de Euler-Lagrange).
Exemplo 1.6.3 Suponha que temos uma superfcie especificada pela equaca
o vetorial
r = r(u, v).
A menor curva sobre unindo dois pontos de e chamada geodesica. Claramente as equaco
es para as
geodesicas de s
ao equaco
es de Euler-Lagrange de um problema variacional. De fato, uma curva sobre
a superfcie pode ser dada pela equaca
o
u = u(t), v = v(t).
O comprimento de arco que une os pontos correspondentes aos valores t 0 e t1 do par
ametro t e igual
Z t1 p
I(u, v) =
Eu02 + 2F u0 v 0 + gv 02 dt,
t0
onde E, F e G s
ao os coeficientes da primeira forma fundamental da superfcie . Escrevendo as equaco
es
de Euler-Lagrange para o funcional acima, obtemos
d
2(Eu0 + F v 0 )
Eu u02 + 2Fu u0 v 0 + Gu v 02

= 0,
dt Eu02 + 2F u0 v 0 + Gv 02
Eu02 + 2F u0 v 0 + Gv 02
d
2(F u0 + Gv 0 )
Ev u02 + 2Fv u0 v 0 + Gv v 02

= 0.
dt Eu02 + 2F u0 v 0 + Gv 02
Eu02 + 2F u0 v 0 + Gv 02
Este exemplo serve de motivacao para o que vamos estudar na secao seguinte.
1.7
Problema variacional na forma param

etrica
Motivados pelo Exemplo 1.6.3, apresentaremos agora funcionais de curvas que nao sao dadas por uma
equacao da forma y = y(x).
Suponha que no funcional
x1
F (x, y, y 0 )dx
x0
27
(1.7.27)
estamos considerando o argumento y como uma funcao que e dada na forma parametrica, ao inves da
forma (1.7.27). Entao podemos reescrever (1.7.27), como

Z t1
Z t1
y(t)
F x(t), y(t),
x(t)dt
=
(x, y, x,
y)dt,
(1.7.28)
x(t)
t0
t0

y(t)
e um funcional que
x(t)
e (a = da
onde, (x, y, x,
y)
= F x(t), y(t), x(t)
dt ). Neste caso temos que (1.7.28)
depende de duas funcoes desconhecidas x(t) e y(t). A funcao que aparece na direita de (1.7.28) nao
envolve t explicitamente e e homogenea positiva de grau um em x(t)
e y(t),
isto e,
(x, y, x,
y)
= (x, y, x,
y),
para todo > 0.

Exemplo 1.7.1 A funca
o comprimento de arco
(x, y, x,
y)
=
t1
t0
p
x 2 + y 2 dt
e um exemplo de uma funca

o homogenea positiva de grau um.
Por outro lado se
Z
t1
(x, y, x,
y)dt
t0
e um funcional cujo integrando nao envolve t explicitamente e e homogenea positiva de grau um em

x e y,
mostraremos que os valores de tal funcional depende apenas da curva no plano xy definida pela
equacao parametrica x = x(t), y = y(t), e nao do parametro, isto e, se mudarmos o parametro t por um
outro , fazendo
t = t( ),
onde
dt
d
> 0 e [t0 , t1 ] vai sobre [0 , 1 ], entao

Z t1
Z 1
dx dy
,
(x, y, x,
y)dt.
d =
x, y,
d d
t0
0
Com efeito, sendo homogenea positiva de grau um em x e y segue-se que

Z 1
Z 1
dx dy
dt dt
,
x, y,
x, y, x , y
d =
d
d d
d d
0
0
Z 1
dt
(x, y, x,
y)
=
d.
d
0
28
Usando o Teorema da Mudanca de Variaveis, temos

Z 1
Z t1
dx dy
x, y,
(x, y, x,
y)dt
,
d =
d d
0
t0
o que prova a afirmacao antes feita. Com isto, provamos o seguinte resultado:

o necess
aria e suficiente para um funcional
Z t1
(t, x, y, x,
y)dt
t0
depender apenas da curva no plano-xy definida pelas equaco

es x = x(t) e y = y(t) e n
ao da escolha da
parametrizaca
o, e que o integrando n
ao envolva t explicitamente e seja uma funca
o homogenea positiva
de grau um em x e y.
Observa
c
ao: Suponha que alguma parametrizacao da curva y = y(x) reduz o funcional (1.7.27) para a
forma
t1
F
t0
x, y,
y
x
xdt
=
t1
(x, y, x,
y)dt.
(1.7.29)
t0
O problema variacional da direita de (1.7.29) conduz ao par de equacoes de Euler-Lagrange

x
d
d
x = 0, y y = 0,
dt
dt
(1.7.30)
que deve ser equivalente a u

nica equacao de Euler-Lagrange
Fy
d
Fy0 = 0,
dx
(1.7.31)
correspondente ao problema variacional original (1.7.27). Logo as equacoes (1.7.30) e (1.7.31) nao podem
ser independente. E de fato, fazendo alguns calculos tecnicos, mostra-se que elas estao relacionadas pela
identidade.

d
d
x x x + y y y = 0
dt
dt
Observa
c
ao: Considerando um funcional na forma parametrica
Z t1
(x, y, x,
y)dt
t0
29
onde nao depende de t explicitamente e e homogenea positiva de grau um em x e y.

O espaco das
curvas x(t), y(t) claramente engloba as curvas que sao graficos de uma funcao y = y(x), e do funcional
na forma parametrica podemos passar para o funcional original, pois
Z t1
Z t1
Z t1
x
y
(x, y, x,
y)dt
=
x(x,
y, 1, )dt
(x, y, x,
y)dt
=
x
t
t0
t0
Z 0x1
=
(x, y, 1, y 0 )dx.
x0
1.8
O problema variacional com vnculo
Em muitos problemas variacionais as condicoes de contorno nao sao suficientes para a sua resolucao,
e sao impostas outros tipos de condicoes sobre as curvas admissveis, conhecidas, como condicoes de
vnculo.
1.8.1
O problema isoperim
etrico
O problema isoperimetrico pode ser formulado como segue: Encontre a curva y = y(x) para a qual o
funcional
I(y) =
F (x, y, y 0 )dx
(1.8.32)
tem um extremo, onde as curvas admissveis satisfazem a condicao de fronteira

y(a) = A, y(b) = B,
e sao tais que um outro funcional
K(y) =
G(x, y, y 0 )dx
(1.8.33)
tem um valor fixo l.

Para resolver este problema, assumimos que as funcoes F e G definindo os funcionais (1.8.32) e (1.8.33)
tem primeiras e segundas derivadas parciais contnuas em [a, b] para valores arbitrarios de y e y 0 . Entao,
temos o seguinte resultado.
30
Teorema 1.8.1 Dado o funcional

I(y) =
F (x, y, y 0 )dx,
a
se as curvas admissveis satisfazem as condico

es
y(a) = A, y(b) = B, K(y) =
G(x, y, y 0 )dx = l
(1.8.34)
onde K(y) e outro funcional, e se I(y) tem um extremo para y = y(x). Ent
ao se y = y(x) n
ao e um
extremo para K(y), existe uma constante , chamada multiplicador de Lagrange, tal que y = y(x) e um
extremo do funcional
b
a
isto e, y = y(x) satisfaz as equaco

es diferenciais
Fy

F + G dx,

d
d
Fy 0 + G y
Gy 0 = 0
dx
dx
Demonstra
c
ao: Veja ([12], pp. 43).
Observa
c
ao: O Teorema 2.8.1 pode ser generalizado para o caso de funcionais dependendo de n funcoes
desconhecidas e sujeito a varias condicoes de vnculos do tipo (1.8.33). De fato, suponha que estamos
procurando um extremo do funcional
I(y1 , , yn ) =
b
a
F (x, y1 , , yn , y10 , , yn0 )dx
sujeito as condicoes
yi (a) = Ai , yi (b) = Bi ,
b
a
Gj (x, y1 , , yn , y10 , , yn0 )dx = lj
(1.8.35)
com lj = 1, ..., k e k < n. Neste caso uma condicao necessaria para um extremo e que
k
k
X
X

d
F +
F+
j G j
j Gj = 0, (i = 1, ..n).
yi
dx yi0
j
j
As 2n constantes arbitrarias que aparecem na solucao do sistema acima, e os valores dos k parametros
1 , , k , chamados multiplicadores de Lagrange, sao determinados pelas condicoes de fronteira e pelas
condicoes de vnculo.
31
Observa
c
ao: Para usar o Teorema 2.8.1 na resolucao de um problema isoperimetrico, escrevemos a
solucao de (1.8.35), a qual contem duas constantes arbitrarias alem do parametro . Entao determinamos
estes tres valores usando as condicoes (1.8.34).
Exemplo 1.8.2 Entre todas as curvas de comprimento l no semi-plano superior passando pelos pontos
(a, 0) e (a, 0), encontre a qual, com o segmento [a, b], circunda maior a
rea.
Soluca
o: Estamos procurando por uma funcao y = y(x) para qual o funcional
Z a
ydx
I(y) =
a
tem um maximo sujeito as condicoes

y(a) = y(a) = 0, K(y) =
a
a
1 + y 02 dx = l.
Assim, estamos lidando com um problema isoperimetrico. Usando o Teorema 2.8.1, formamos o funcional
Z a
p

y + 1 + y 02 dx = l.
a
Escrevendo as equacoes de Euler-Lagrange para este funcional, obtemos

1+
integrando em x, obtemos
mas isto e equivalente a
x + p
y0
1 + y 02
y0
d
p
= 0,
dx 1 + y 02
= c1 p
y0 = p
y0
1 + y 02
= (c1 x)
c1 x
2 (c1 x)2
integrando mais uma vez em x e resolvendo a integral do lado direito por substituicao, temos
(y c2 )2 + (x c1 )2 = 2
onde c1 e c2 sao as constantes obtidas nas integracoes. Temos, entao como solucao uma famlia de crculos.
Usando as condicoes de contorno e de vnculo descobrimos os valores de c 1 , c2 e .
32
1.8.2
Condico
es de vnculos finitas
No problema isoperimetrico as condicoes de vnculo que devem ser satisfeitas pelas funcoes y 1 , , yn
sao dadas em formas de funcionais. Agora consideraremos um problema de um tipo de funcional diferente
que pode ser formulado como segue: Encontre as funcoes yi (x) para as quais o funcional
Z b
I(y1 , yn ) =
F (x, y1 . , yn , y10 , , yn0 )dx
a
tem um extremo, onde as funcoes admissveis satisfazem as condicoes de contorno

yi (a) = Ai , yi (b) = Bi , (i = 1, , n)
e k finitascondicoes de vnculo (k < n)
gj (x, y1 , , yn ) = 0, (j = 1, , k).
(1.8.36)
Em outras palavras, o funcional I(y1 , yn ) nao esta sendo considerado para todas as curvas satisfazendo as condicoes de fronteira, mas apenas aqueles que estao na variedade de dimensao n k definida
por (1.8.36).
Apresentaremos, agora, um Teorema analogo ao Teorema 2.8.1. Por simplicidade enunciaremos para
o caso n = 2 e k = 1.
Teorema 1.8.3 Dado o funcional
I(y, z) =
F (x, y, z, y 0 , z 0 )dx
a
se as curvas admissveis est

ao na superfcie
g(x, y, z) = 0
(1.8.37)
e satisfazem as condico
es
y(a) = A1 , y(b) = B1 , z(a) = A2 , z(b) = B2
e alem disso se I(y, z) tem um extremo para as curvas
y = y(x), z = z(x).
33
(1.8.38)
Ent
ao se gy e gz n
ao s
ao simultaneamente nulas em qualquer ponto da superfcie (1.8.37), existe uma
funca
o contnua (x) tal que (1.8.38) e uma extremal do funcional
Z b
[F + (x)g] dx.
a
Isto e, as curva (1.8.38) satisfaz as equaco

es diferenciais
Fy + gy
d
d
Fy0 = 0, Fz + gz
Fz0 = 0.
dx
dx
Demonstra
c
ao: Ver ([12], pp. 46).
Observa
c
ao: Conforme [12], o Teorema 2.8.3 permanece valido quando a classe das curvas admissveis
consiste do espaco das curvas suaves satisfazendo a equacao g(x, y, z, y 0 , z 0 ) = 0. Mas precisamente, se
o funcional I tem um extremo para uma curva , sujeito a condicao (1.8.38), e se g y0 e gz0 nao sao
simultaneamente nulas ao longo de , entao existe uma funcao (x), tal que e uma extremal do sistema
y
d
d
y0 = 0, z
z0 = 0,
dx
dx
onde, = F + G.
1.9
A forma can
onica das equaco
As equacoes de Euler-Lagrange para o funcional

Z b
I(y1 , , yn ) =
F (x, y1 , , yn , y10 , , yn0 )dx
(1.9.39)
formam um sistema de n equacoes diferenciais de segunda ordem

Fy i
d
Fy0 = 0, (i = 1, , n).
dx i
(1.9.40)
Este sistema pode ser reduzido de varias maneiras para um sistema de 2n equacoes diferenciais de primeira
ordem. Por exemplo, considerando y10 , , yn0 como novas funcoes independentes de y1 , , yn , podemos
reescrever (1.9.40) na forma
d
dyi
= yi0 ; Fyi
Fy0 = 0, (i = 1, , n).
dx
dx i
34
(1.9.41)
Em (1.9.41) y1 , , yn , y10 , , yn0 sao 2n funcoes desconhecidas, e x e a variavel independente. No entanto

uma transformacao mais interessante sera a que apresentaremos agora. Seja
pi = Fyi0 , (i = 1, , n),
(1.9.42)
e suponha que o Jacobiano da mudanca de coordenada

(p1 , , pn )
det
= det Fyi0 yk0 6= 0,
0
0
(y1 , , yn )

onde, Fyi0 yk0 denota a matriz cujas entradas sao os elementos Fyi0 yk0 . Entao podemos escrever na equacao
(1.9.40), y10 , , yn0 como funcoes das variaveis
x, y1 , , yn , p1 , , pn .
Em seguida expressamos a funcao F (x, y1 , , yn , y10 , , yn0 ) que aparece em (1.9.39) em termos de
uma nova funcao H(x, y1 , yn , p1 , , pn ) relacionadas com F pela formula
H = F +
n
X
i=1
yi0 Fyi0 = F +
n
X
yi0 pi ,
i=1
onde yi0 sao considerados como funcoes das variaveis (x, y1 , , yn , p1 , , pn ). A funcao H e chamada
Hamiltoniana correspondente ao funcional I(y1 , yn ). Neste caso, podemos fazer uma transformacao
local das variaveisx, y1 , , yn , y10 , , yn0 , F que aparecem em (1.9.39) para as novas variaveis x, y1 , , yn , p1 , , p
chamadas vari
aveis can
onicas.
Mostraremos, agora, como as equacoes de Euler-Lagrange se transformam quando introduzimos as
variaveis canonicas. Na condicao de fazer esta mudanca de variaveis temos que expressar as derivadas
parciais de F, isto e, as Fyi (avaliadas em x, y10 , , yn0 ) em termos das derivadas parciais Hyi (avaliadas
em x, p1 , , pn ). O calculo direto destas derivadas sao mais leves. Portanto para evitar longos calculos
escrevemos as expressoes para diferencial H. Entao, usando o fato de que a primeira diferencial de uma
funcao nao depende da escolha das variaveis, obteremos as formulas requeridas sem muito esforco.
Pela definicao de H, temos
dH = dF +
n
X
pi dyi0 +
i=1
n
X
yi0 dpi .
(1.9.43)
i=1
Usualmente, antes de usar (1.9.43) para obter as expressoes das derivadas de H, teremos que expressar
as dyi0 em termos de x, yi0 , pi . No entanto por causa das relacoes
F
= pi , (i = 1, , n),
yi0
35
os termos contendo dyi0 em (1.9.43) cancelam-se, e obtemos

dH =
n
n
X
X
F
F
yi0 dpi .
dx
dyi +
x
y
i
i=1
i=1
(1.9.44)
Da, para obtermos as derivadas parciais de H, apenas escrevemos os coeficientes apropriados da diferencial na direita de (1.9.44), isto e,
H
F H
F H
=
,
=
,
= yi0 .
x
x yi
yi pi
Em outras palavras, as funcoes
F
yi
e yi0 sao conectadas com as derivadas parciais de H pelas formulas

yi0 =
H F
H
,
=
.
pi yi
yi
(1.9.45)
Usando (1.9.45), podemos escrever as equacoes de Euler-Lagrange (1.9.40) na forma

dyi
H dpi
H
=
,
=
, (i = 1, , n).
dx
pi dx
yi
(1.9.46)
Estas 2n equacoes diferenciais formam um sistema que e equivalente ao sistema (1.9.40) e e chamado
sistema de equa
co
es de Euler-Lagrange can
onico (ou simplesmente sistema can
onico de EulerLagrange) do funcional (1.9.39).
1.10
Integral primeira das equaco

Uma integral primeira de um sistema de equacoes diferenciais e uma funcao que tem valores constantes
ao longo de cada curva integral do sistema. Os sistemas (1.9.40) e (1.9.46) sao equivalentes logo, tem
mesmas integrais primeiras. Primeiramente, consideremos o caso onde a funcao F definindo o funcional
(1.9.39) nao depende de x explicitamente, isto e, e da forma F (y1 , , yn ). Entao a funcao
H = F +
n
X
yi0 pi
i=1
tambem nao depende de x explicitamente, e logo

n
X
H dpi
H dyi
dH
=
+
.
dx
yi dx
pi dx
i=1
(1.10.47)
Usando as equacoes de Euler-Lagrange na forma canonica (1.9.46) encontramos que (1.10.47) torna-se

n
X
dH
H H
H H
= 0,
=
dx
yi pi
pi yi
i=1
36
ao longo de cada extremal. Da, se F nao depende de x explicitamente, a funcao

H(y1 , , yn , p1 , , pn )
e uma integral primeira da equacao de Euler-Lagrange.
Observa
c
ao: Se H depende de x explicitamente, a forma
H
dH
=
dx
x
pode ser deduzida usando o mesmo argumento.
Agora, consideremos uma funcao arbitraria da forma
= (y1 , , yn , p1 , , pn )
e examinemos as condicoes sob a qual e uma integral primeira do sistema (1.9.46). Esquecendo a
suposicao de que F nao depende explicitamente de x, e em vez disto consideremos o caso geral. Ao longo
de cada curva integral do sistema (1.9.46), obtemos
n
d X
=
dx
i=1
dpi
dyi
+
yi dx
pi dx

n
X
H
H
= [, H],
yi pi
pi yi
i=1
que e chamado o colchete de Poisson das funcoes e H. Assim, provamos que

d
= [, H].
dx
(1.10.48)
Segue-se de (1.10.48) que uma condicao necessaria e suficiente para uma funcao
= (y1 , , yn , p1 , , pn )
ser uma integral primeira do sistema de equacoes de Euler-Lagrange (1.9.46) e que o colchete de Poisson
[, H] seja identicamente nulo.
37
Captulo 2
O problema dos N-Corpos e

Problemas Variacionais em Sistemas
Mec
anicos
O problema dos N -corpos estuda a dinamica de N partculas materiais no espaco, com vetores posicao
q1 , , qN e massas m1 , , mN , mi > 0 para todo i = 1, , N, sujeitas unicamente a acao m
utuas de
suas atracoes gravitacionais.
Em sistemas dinamicos os funcionais que consideraremos serao da forma
Z b
Ldt
a
onde L e a Lagrangiana do sistema.
2.1
Formulac
ao do problema dos N-corpos
Considere N massas pontuais movendo-se num sistema referencial Newtoniano R 3 , (ou R2 ) sujeitas
apenas a acoes m
utuas de suas atracoes gravitacionais. Se a i-esima partcula tem vetor posicao q i e
massa mi > 0; entao aplicando a Segunda Lei de Newton e a Lei de Gravitacao Universal, temos as
38
seguintes equacoes diferenciais de movimento

mi qi00 =
N
X
mi mj (qi qj )
kqi qj k3
i6=j
onde
V =
1i<jN
V
,
qi
mi mj
.
kqi qj k
(2.1.1)
(2.1.2)
onde V e menos a energia potencial.

Seja
q = (q1 , , qN ) R3N (ou R2N )
e M = diag(m1 m1 m1 , , mN mN mN ) (ou M = diag(m1 m1 , , mN mN )) como a equacao (2.1.1) e da
forma
M q 00
V
= 0,
q
defina como acima p = (p1 , , pN ) R3N (ou R2N ) por

p = M q0
deste modo pi = mi qi0 e o momento da i-esima partcula. Assim, as equacoes do movimento (2.1.1) sao
equivalentes a
N
qi0 =
X mi mj (qi qj )
pi
H 0
H
=
, pi =
=
3
mi
pi
kqi qj k
qi
(2.1.3)
i6=j
ou seja, temos um sistema Hamiltoniano cuja funcao Hamiltoniana e dada por

H=
N
X
kpi k2
i=1
2mi
+ V.
(2.1.4)
Nos referimos a (2.1.4) como a formulacao Hamiltoniana para o sistema (2.1.1) e H representa a energia
do sistema. Note que a energia cinetica do sistema e dada por
N
T =
1 X kpi k2
.
2 i=1 mi
Introduzindo a funcao Lagrangiana L, associada a este problema a qual e dada por

L=T V
39
(2.1.5)
dizemos que (2.1.5) e a Lagrangiana do sistema (2.1.1). Voltaremos a falar sobre este assunto mais adiante
na proxima secao e na Secao 3.4.
Se as N partculas estiverem num mesmo plano, temos o problema planar dos N - Corpos.
Observa
c
ao: Como as partculas em estudo estao em R3 podemos considerar cada componente qj de q
dada por
qj = (xj , yj , zj ),
se qj R2 , entao temos zj = 0.
de facil verificacao que a funcao Hamiltoniana H e uma integral primeira do sistema
Observa
c
ao: E
(2.1.3), ou seja, H e constante ao longo das trajetorias (curvas integrais) deste sistema.
Observa
c
ao: O problema de N -corpos e um sistema de 6N equacoes diferenciais de primeira ordem,
uma solucao completa exigira 6N 1 integrais primeiras independentes do tempo e uma que depende do
tempo. Se N > 2 nao ha muitas integrais globais. No entanto, existem 10 integrais primeiras de facil
verificacao para o problema dos N -corpos, a saber, o centro de massa, o momento linear, o momento
angular e a energia. Mais detalhes, veja [21].
2.2
Princpio da ac
ao mnima
Agora aplicaremos os resultados obtidos no captulo anterior em alguns problemas mecanicos.

Suponha que seja dado um sistema de N partculas (massas pontuais), onde nao ha influencia de
forcas alem de suas atracoes m
utuas. Se a i-esima partcula tem massa m i e coordenadas qi = (xi , yi , zi ),
(i = 1, , N ). Entao a energia cinetica do sistema e
N
T =
1X
02
02
mi (x02
i + yi + zi ).
2 i=1
(2.2.6)
Assumiremos que o sistema tem energia potencial V, isto e, existe uma funcao
V = V (t, x1 , y1 , z1 , , xN , yN , zN )
40
(2.2.7)
tal que a forca atuando sobre a i-esima partcula tem componentes

F1i =
V
V
V
, F2i =
, F3i =
.
xi
yi
zi
Em seguida introduzimos a expressao

L=T V
(2.2.8)
chamada funcao Lagrangiana do sistema de partculas. Obviamente L e uma funcao do tempo, das
posicoes (xi , yi , zi ) e das velocidades (x0i , yi0 , zi0 ) do sistema de N partculas.
Suponha que no tempo t0 o sistema esta em alguma posicao fixa. Entao a evolucao subseq
uente do
sistema no tempo e descrita por uma curva
xi = xi (t), yi = yi (t), zi = zi (t), (i = 1, , N )
no espaco 3N dimensional (ou 2N dimensional se for planar). Pode-se mostrar que entre todas as curvas
passando por um ponto correspondente a posicao inicial do sistema, a curva que de fato descreve o
movimento do sistema dado, sob a influencia de forcas agindo sobre ele, satisfaz a seguinte condicao
conhecida como Princpio da Mnima Acao de Hamilton:
Teorema 2.2.1 (Princpio da mnima a

c
ao de Hamilton) O movimento de um sistema de N
partculas durante um intervalo de tempo [t0 , t1 ] e descrito pelas funco
es
xi (t), yi (t), zi (t)
com 1 i N, para o qual o funcional
t1
L(x(t), x0 (t))dt
(2.2.9)
t0
tem um mnimo. A express

ao (2.2.9) e chamada mnima aca
o de Hamilton.
Demonstra
c
ao: Para provarmos este resultado, mostraremos que o princpio da mnima acao implica
as usuais equacoes de movimentos de um sistema de N partculas. Se o funcional (2.2.9) tem um mnimo,
entao as equacoes de Euler-Lagrange sao
d L
L
d L
L
d L
L
= 0,
= 0,
= 0,
xi
dt x0i
yi
dt yi0
zi
dt zi0
41
(2.2.10)
deve ser satisfeita para i = 1, , N. Lembrando que a energia potencial V depende apenas de x i , yi , zi , e
nao depende de x0i , yi0 , zi0 , enquanto que a energia cinetica T e uma soma de quadrados das componentes
de velocidades x0i , yi0 , zi0 (com coeficientes 12 mi ), podemos escrever as equacoes (2.2.10) na forma
V
d
V
d
V
d
mi x0i = 0;
mi yi0 = 0;
mi zi0 = 0.
xi
dt
yi
dt
zi
dt
(2.2.11)
Mas como as derivadas
V
V
V
;
;
;
xi
yi
zi
sao as componentes de forca atuando na i-esima partcula, o sistema (2.2.11) reduz-se para
mi x00i = F1i ; mi yi00 = F2i ; mi zi00 = F3i ,
que sao exatamente as equacoes Newtonianas do movimento para um sistema de N partculas sem estarem
sujeitas a vnculo (forcas externas), provando assim o Teorema.
Observa
c
ao: Do Teorema 3.2.1 e da relacao
H = F +
N
X
yi0 pi
i=1
onde pi = Fyi , temos que as formulacoes Hamiltonianas e Lagrangianas para o problema de N-corpos sao
equivalentes. Veremos esta equivalencia de maneira mais explcita na Secao 3.4.
Observa
c
ao: O princpio da acao mnima permanece valido no caso onde o sistema de partculas esta
sujeita a vnculos (forcas externas atuando no sistema), restringindo entao as curvas em que o funcional
(2.2.9) e considerado para que satisfacam o vnculo. Em outras palavras, neste caso, a aplicacao do
princpio da acao mnima sera um problema variacional com vnculo, pois de acordo com a Secao 2.8.2,
trata-se de minimizar o funcional (2.2.9) restringindo seu domnio a`s funcoes que satisfazem o vnculo
(forca externa).
Observa
c
ao: O princpio da mnima acao pode ser usado nao apenas em Mecanica, mas tambem em
outros ramos da Fsica, como por exemplo na Eletrodinamica, desde que consideremos intervalos suficientemente pequenos [t0 , t1 ], e facamos uma adaptacao para um sistema Mecanico. Veja ([12], pp.
159).
42
2.3
Lei de conservac
ao
Vimos que as equacoes de movimento de um sistema mecanico consistindo de N partculas, com

energia cinetica (2.2.6), energia potencial (2.2.7) e Lagrangiana (2.2.8), pode ser obtido do princpio da
acao mnima, isto e, minimizando a integral
Z t1
Z
Ldt =
t0
t1
t0
(T V )dt.
(2.3.12)
As variaveis canonicas correspondente ao funcional (2.3.12) sao dadas por

pix =
L
L
L
= mi x0i , piy =
= mi yi0 , piz = 0 = mi zi0
0
0
xi
yi
zi
que sao exatamente as componentes do momento da i-esima partcula. Em termos de

pix , piy , piz ,
obtemos
H=
n
X
i=1

x0i pix + yi0 piy + zi0 piz L = 2T (T V ) = T + V,
assim, H e a energia total do sistema.
Usando a forma do integrando em (2.3.12), podemos encontrar varias funcoes, (como, a energia,
o momento linear e o momento angular), que assumem valores constantes ao longo das trajetorias do
sistema, obtendo assim as chamadas Leis de Conservacao.
2.4
Equival
encia entre as formulaco
es Hamiltonianas e Lagrangianas
em um sistema mec
anico.
Seja
L(x, x0 )
a Lagrangiana de um sistema Mecanico. Suponha L regular, isto e, Lx0 x0 e uma matriz invertvel. Facamos
a seguinte mudanca de variaveis
43
x = x, y = Lx0 (x, x0 )
que e um difeomorfismo, ja que sua jacobiana

I 0
A L x0 x0
e inversvel com inversa

x = x, x0 = (x, y),
para alguma aplicacao : R2n Rn , e assim, Dx (x, y) : Rn Rn .
Para passarmos da formulacao Lagrangiana para a formulacao Hamiltoniana, defina a aplicacao H,
por
H(x, y) = hx0 , yi L(x, x0 )
(2.4.13)
onde, x0 = (x, y) e h, i denota o produto interno usual de Rn . A expressao (2.4.13) e chamada Transformada de Legendre da funcao L.
Proposi
c
ao 2.4.1 Se
H(x, y) = hx0 , yi L(x, x0 ), x0 = (x, y),
Ent
ao
Hx = Lx ; Hy = x0
Demonstra
c
ao: Derivando H em relacao a x, temos
Dx H(x, y) = hDx (x, y), yi [(Dx L(x, x0 ) + Dx0 L(x, x0 )Dx (x, y))].
Escrevendo esta u
ltima equacao em termos de gradiente, obtemos
hHx , i
hDx (x, y), yi hDx L(x, x0 ), i hDx0 L(x, x0 ), Dx (x, y)i
hDx L(x, x0 ), i = hLx , i,
como isto e valido para todo , temos que Hx = Lx .

De maneira analoga, derivando H em relacao a y, obtemos
Dy H(x, y) = hDy (x, y), yi + hx0 , i Dx0 L(x, x0 )Dy (x, y).
44
Em termos de gradiente, obtemos

hHy , i
hDy (x, y), yi + hx0 , i hDx0 L(x, x0 ), Dy (x, y)i
hx0 , i,
como isto e valido para todo , resulta que Hy = x0 .
Corol
ario 2.4.2 Se (x(t), x0 (t)) e soluca
o de
Lx
d
Lx0 = 0,
dt
ent
ao (x(t), y(t)) e soluca
o de
x0 = Hy , y 0 = Hx .
Demonstra
c
ao:
y 0 = Hx .
De fato, sendo Hy = x0 e Hx = Lx , usando transformada de Legendre, temos
Em outras palavras, se as variaveis posicao e velocidade, (x(t), x 0 (t)), e solucao do sistema Lagrangeano, entao usando a transformada de Legendre temos que as novas variaveis posicao e momento,
(x(t), y(t)), e solucao do sistema Hamiltoniano.
Agora dado H(x, y) a funcao Hamiltoniana de um sistema Hamiltoniano. Suponha H regular, isto e,
Hyy uma matriz invertvel. Considere a seguinte mudanca de variaveis
x = x, x0 = Hy (x, y)
que e um difeomorfismo, ja que a matriz jacobiana

I 0
A Hyy
e invertvel com inversa
x = x, y = (x, x0 ),
para alguma : R2n Rn .
45
Para passarmos da formulacao Hamiltoniana para a formulacao Lagrangiana, defina a aplicacao L,

dada por
L(x, x0 ) = hx0 , yi H(x, y).
A expressao (2.4.14) e a Transformada de Legendre da funcao H.
Proposi
c
ao 2.4.3 Seja
L(x, x0 ) = hx0 , yi H(x, y)
onde, y = (x, x0 ). Ent
ao
Lx = Hx , Lx0 = y.
Demonstra
c
ao: Derivando L em relacao a x, temos
Dx L(x, x0 ) = hx0 , Dx (x, x0 )i Dx H(x, y) Dy H(x, y)Dx (x, x0 ).
Em termos de gradiente, obtemos
hLx , i
hx0 , Dx (x, x0 )i hDx H(x, y), i hDy H(x, y), Dx (x, x0 )i
hDx H(x, y), i = hHx , i.
Como isto e valido para todo , segue-se que Lx = Hx .

Da mesma forma, derivando L em relacao a x0 , temos
Dx0 L(x, x0 ) = h, yi + hx0 , Dx0 (x, x0 )i Dy H(x, y)Dx0 (x, x0 ).
Em termos de gradiente
hLx0 , i
h, yi + hx0 , Dx0 (x, x0 )i hDy H(x, y), Dx0 (x, x0 )i
h, yi,
como isto vale para todo , resulta que Lx0 = y.
Corol
ario 2.4.4 Se (x(t), y(t)) e soluca
o do sistema
x0 = Hy ; y 0 = Hx
46
(2.4.14)
ent
ao (x(t), x0 (t)) e soluca
o de
Lx
d
Lx0 = 0.
dt
Demonstra
c
ao: De fato,
Lx
d
d
Lx0 = Hx y = Hx y 0 = 0.
dt
dt
Em outras palavras, se as variaveis posicao e momento, (x(t), y(t)), e solucao do sistema Hamiltoniano,
entao usando a transformada de Legendre temos que as novas variaveis posicao e velocidade, (x(t), x 0 (t)),
e solucao do sistema Lagrangeano.
47
Captulo 3
O M
etodo Direto em C
alculo
Variacional e Sistemas Envolvendo
Forca Forte e Forca Fraca
Nosso objetivo neste Captulo e introduzir os resultados basicos importantes, para em seguida no
Captulo 4 fazer as aplicacoes em problemas da Mecanica Celeste. Para este proposito, comecamos
introduzindo o espaco de Sobolev H 1 e os conceitos de coercividade e seq
uencia minimizante, ou seja,
trabalharemos o metodo direto em Calculo Variacional. Posteriormente introduzimos os conceitos de
forca forte e forca fraca que serao muito u
teis no proximo Captulo para mostrar a existencia de solucoes
sem singularidades. Por u
ltimo trabalharemos com a nocao de ponto crtico de um funcional sobre H 1 ,
assim como a de gradiente deste funcional, e analisamos a regularidade destes pontos crticos.
3.1
Notaco
es e Preliminares
Para aplicacoes T -periodica, t x(t), x : R R2 , x C 2 ([0, T ]; R2 ), temos os seguintes produtos

internos
hx, yi0 =
hx, yi1 = hx, yi0 + hx0 , y 0 i0 =
T
0
hx(t), y(t)idt,
T
0
hx(t), y(t)idt +
48
T
0
hx0 (t), y 0 (t)idt,
onde h, i e o produto interno canonico de R2 e x0 denota a derivada de x com respeito ao parametro t.
Lembrando, ainda, que C 2 ([0, T ]; R2 ) e o espaco das funcoes definidas sobre [0, T ] com valores em R2 que
tem segundas derivadas contnuas.
Sejam kxk0 e kxk1 as respectivas normas com respeito aos produtos internos acima, isto e,
Z
kxk0 =
kxk1 =
T
0
|x(t)|2 dt +
T
2
|x(t)| dt
T
0
|x0 (t)|2 dt
! 21
! 12
kxk20 + kx0 k20 .
Lembramos que S 1 [0, T ]/{0, T }. Denotamos por

H 0 S 1 ; R2k
e H 1 S 1 ; R2k
(ou H 1 [0, T ]; R2k

o espaco de Hilbert obtido pelo completamento de C 2 ([0, T ]); R2k com as normas k.k0 e k.kH 1 = k.k1 ,
respectivamente. Lembremo-nos que para todo espaco W com produto interno existe um espaco de
f de H, denso em H.
Hilbert H, (seu completamento), e um isomorfismo A de W sobre um subespaco W
O espaco H e u
nico a menos de isomorfismo. (Veja [17], pp. 139).

Observa
c
ao: O espaco H 0 S 1 ; R2k e simplesmente o espaco de aplicacoes L2 ([0, T ]) e H 1 S 1 ; R2k e
o espaco de Sobolev das aplicacoes absolutamente contnuas cujas derivadas sao de quadrado integravel,
(veja [14]). Alem disso, o completamento das funcoes de classe C 2 ([0, T ]) coincide com o completamento das funcoes de classe C ([0, T ]), e temos ainda mais, para qualquer 1 k , verifica-se que

C k [0, T ]; RN e denso em H 1 [0, T ]; RN com a norma k kH 1 . (Veja [3]).
3.2
O M
etodo direto em problemas variacionais
Nesta secao veremos importantes metodos que sao usados para resolver alguns problema variacionais
sem ter que resolver um sistema de EDOs.
49
3.2.1
Coercividade de um funcional
Consideraremos nesta secao = como um espaco linear normado. Em particular, podemos considerar

= como sendo um subespaco de H 1 = H 1 S 1 ; R2k .
Defini
c
ao 3.2.1 Considere um funcional I : = R. Dizemos que I e coercivo sobre =, se I(y) +
quando kyk +.
De maneira analoga para funcoes de N variaveis, temos a seguinte definicao
Defini
c
ao 3.2.2 Seja F : RN R uma funca
o real de N vari
aveis reais. Dizemos que F e coerciva
sobre RN , se F (y) + para todo y RN com kyk +.

Exemplo 3.2.3 Seja I : = R dado por
Z T

|y(t)|2 + |y 0 (t)|2 dt
Ent
ao claramente I e coercivo, pois se
kykH 1 =
ent
ao
T
0
|y(t)| + |y (t)|
dt
! 12
+,
I(y) = kyk2H 1 +.
Proposi
c
ao 3.2.4 No caso do espaco de funco
es = ser de dimens
ao finita temos que uma funca
o coerciva
F : = R e contnua, admite um mnimo global, isto e, existe x0 =, tal que F (x) F (x0 ) para todo
x =.
Demonstra
c
ao: Da coercividade de F (x), e suficiente procurar tal x0 num conjunto compacto (fechado
e limitado) conveniente, digamos uma bola fechada de centro x = 0 e raio R, B R (0), para algum R > 0.
(A coercividade de F (x) permite escolher R > 0 tal que F (x) > F (0) para todo x com kxk > R e isso
assegura que o ponto de mnimo devera existir e necessariamente estara na bola B R (0)). Mas do fato de
= Rn temos que:
50
(a) A bola fechada B R (0) e um conjunto compacto, logo toda seq

uencia de pontos possuem uma subseq
uencia convergindo para um ponto da bola;
(b) Uma funcao contnua F : K R definida num conjunto compacto tem um mnimo, isto e existe
x0 K, tal que F (x) F (x0 ) para todo x K. Finalmente, usando (a) e (b) podemos prontamente
concluir o teorema. Os fatos cruciais da prova acima foram: (a) e o fato de F |B R (0) ser contnua. (A
coercividade de F (x) no espaco = foi usado para reduzir o problema de = para B R (0) =).
3.2.2
Seq
u
encia minimizante
Ha varias tecnicas diferentes relacionadas com o metodo direto principal, que servem para aproximar
um espaco de funcoes de dimensao infinita por espacos de dimensao finita. No entanto nesta subsecao
consideraremos apenas os metodos baseados nas ideias seguintes: Considere o problema de encontrar o
mnimo de um funcional I(y) definido sobre um espaco linear =. Para o problema fazer sentido
e
necess
ario assumirmos que h
a fun
co
es em = para quais I(y) < , e al
em do mais que
inf I(y) = > .
y=
(3.2.1)
Entao pela definicao de , existe uma seq

uencia de funcoes {yn }, chamada seq
u
encia minimizante,
tal que
lim I(yn ) = .
Se a seq
uencia {yn } tem uma funcao limite y , e se ele e legtimo no sentido de podermos escrever
I(y ) = lim I(yn ),
n
(3.2.2)
isto e,
I( lim yn ) = lim I(yn ),
n
entao
I(y ) = ,
e y por ser uma funcao na qual o funcional I assume um extremo (mnimo), e a solucao de um problema
variacional. Alem disso, as funcoes da seq
uencia minimizante y n podem ser consideradas como solucoes
aproximadas do nosso problema variacional, pois a medida que yn y , temos que I(yn ) I(y ) = .
51
Da, para resolver um dado problema variacional pelo metodo direto, precisamos:
(1) Construir uma seq
uencia minimizante yn ;
(2) Provar que yn tem uma funcao limite y ;
(3) Provar a legitimidade do limite dada pela expressao (3.2.2).
Coment
arios:
(A) Dois metodos diretos, o de Ritz e o das Diferencas Finitas, cada um envolvendo a construcao de
uma seq
uencia minimizante serao discutidos nesta Subsecao. Complementamos que uma seq
uencia minimizante pode sempre ser construda se (3.2.1) vale.
(B) Mesmo se uma seq
uencia minimizante {yn } exista para um dado problema variacional, ela pode nao
ter uma funcao limite y . Por exemplo, considere o funcional definido sobre C 1 ([1, 1]) por
Z 1
I(y) =
t2 y 02 dt,
1
com
y(1) = 1, y(1) = 1.
(3.2.3)
Obviamente, I(y) assume apenas valores nao negativos e

inf I(y) = 0.
y
Podemos escolher como seq

uencia minimizante
yn (t) =
como
tan1 (nt)
,
tan1 (n)
(n = 1, 2, )
(3.2.4)
Z 1
1
2
dt
n2 t2 dt
<
=
.
1
(n)]2 [1 + n2 t2 ]2
[tan1 (n)]2 1 1 + n2 t2
n tan1 (n)
1 [tan
Logo, I(yn ) 0, quando n . Mas quando n a seq
uencia (3.2.4) nao tem limite na classe das
Z
funcoes contnuas satisfazendo as condicoes de fronteira (3.2.3). De fato,

yn (t) 0 se t = 0, yn (t) 1 se t > 0 yn (t) 1 se t < 0.
Mesmo se a seq
uencia minimizante {yn } tem um limite y no sentido da norma de C([a, b]) (isto e
yn y sem qualquer exigencia sobre a convergencia das derivadas de yn ) temos que (3.2.2) e ainda
52
valido, porem e nao trivial a justificativa, pois em geral, as funcoes consideradas no calculo das variacoes
nao sao contnuas na norma dada em C([a, b]). No entanto, (3.2.2) ainda vale se a continuidade de I(y)
for substituda pela condicao de continuidade fraca, que sera definida adiante, (veja [12], pp. 194).
Teorema 3.2.5 Se {yn } e uma seq
uencia, em =, minimizante para o funcional I(y), com funca
o limite
y , e se I(y) e semi-contnuo inferiormente em y , ent
ao
I(y ) = lim I(yn ).

n
Demonstra
c
ao: Por um lado,
I(y ) lim I(yn ) = inf I(y),
n
y=
(3.2.5)
enquanto por outro lado, dado > 0,

I(yn ) I(y ) > ,
(3.2.6)
se n e suficientemente grande. Fazendo n em (3.2.5), obtemos

I(y ) lim I(yn ) +
n
e fazendo 0, temos
I(y ) lim I(yn ).

n
(3.2.7)
De (3.2.5) e (3.2.7) segue-se o resultado.
Este Teorema simplesmente assegura que semi-continuidade do funcional I(y) em y , implica legitimidade do limite de {yn }.
3.2.3
O m
etodo de Ritz e o m
etodo das diferencas finitas
Primeiro descreveremos o metodo de Ritz que e um dos mais usados em problemas variacionais diretos.
Suponha que estamos olhando para o mnimo de um funcional I(y) definido sobre algum espaco de funcoes
=, que por simplicidade, suponhamos um espaco linear normado. Se { n } e uma seq
uencia de funcoes
em =, e se =n e o subespaco n-dimensional de = gerado pelas n primeiras funcoes de { n }, isto e, o
conjunto de todas as combinacoes lineares da forma
1 1 + + n n ,
53
(3.2.8)
onde, 1 , , n R. Entao, sobre cada subespaco =n o funcional I(y) conduz a` uma funcao
I(1 1 + + n n )
(3.2.9)
de n variaveis 1 , , n .
Em seguida, escolhemos 1 , , n , de tal modo que minimize (3.2.9). Denotemos o mnimo por n e
o elemento de =n onde o mnimo e atingido por yn . (Em princpio, este e um problema mais simples do
que o de encontrar o mnimo do funcional original I(y), pois estamos, agora, lidando com um subespaco
de dimensao finita). Claramente, n nao pode aumentar com n, isto e, devemos ter
1 2
pois se A B, entao inf I inf I. Como toda combinacao linear de 1 , , n e automaticamente uma
yA
yB
combinacao linear de 1 , n , n+1 , cada subespaco da seq

uencia =1 , =2 , esta contido no proximo.
Defini
c
ao 3.2.6 A seq
uencia {n } e dita ser completa (em =) se dada qualquer y = e qualquer > 0,
existe uma combinaca
o linear n da forma (3.2.8) tal que
kn yk <
onde n depende de .
Agora, no proximo Teorema, daremos condicoes que garantem quando a seq

uencia {y n } e uma
seq
uencia minimizante.
Teorema 3.2.7 Se o funcional I(y) e contnuo em =, e se a seq

uencia { n } e completa, ent
ao
lim n =
onde = inf I(y).

y=
Demonstra
c
ao: Dado qualquer > 0, seja y tal que
I(y ) < + ,
54
(um tal y existe para todo > 0, pela definicao de ). Sendo I(y) contnuo,
|I(y) I(y )| <
(3.2.10)
contanto que ky y k < = (). Seja n uma combinacao linear do tipo (3.2.8) tal que kn y k <
. (Uma tal seq
uencia n sempre existe para n grande pois {n } e completa). Alem disso, seja yn
uma combinacao linear da forma (3.2.8) para qual (3.2.9) assume seu mnimo. Entao usando (3.2.10),
encontramos que
I(yn ) I(n ) < + 2.
Como e arbitrario, segue-se que
lim I(yn ) = lim n =
provando, assim, o Teorema.
Coment
arios:
(A) A ideia geometrica da prova e a seguinte: Se n e completa, entao todo elemento no espaco de
dimensao infinita =, pode ser aproximado arbitrariamente de perto (isto e, a aproximacao nao e grosseira),
por um elemento do espaco de dimensao finita =n (para n bastante grande). Se y e um elemento de =
para o qual I(y ) = e seja yn =n uma seq

uencia de funcoes convergindo para y . Entao yn e uma
seq
uencia minimizante, pois I(y) e contnuo. Embora esta seq
uencia minimizante nao seja extruturada
sem os conhecimentos anteriores de y , pode-se mostrar que a nossa construcao explicita da seq
uencia
yn , e tal que, podemos pegar valores de I(yn ) arbitrariamente proximos de I(yn ), e assim, esta seq
uencia
e minimizante. (Veja [12], pp. 196).
(B) A velocidade da convergencia do metodo de Ritz para um dado problema variacional obviamente
depende do problema e da escolha da seq
uencia n . No entanto, veja ([12], pp. 197), que em muitos
casos, combinacoes lineares envolvendo apenas um n
umero pequeno de funcoes n e suficiente para dar
totalmente uma aproximacao satisfatoria para a solucao exata.
Agora descreveremos outro metodo envolvendo uma seq
uencia de aproximacoes de =, por aproximacoes de espacos de dimensao finita. Este e o metodo das Diferencas Finitas que ja foi estudado na
Secao 2.4, onde fizemos uma conexao com as equacoes de Euler-Lagrange.
55
O problema de encontrar um extremo para o funcional

Z b
F (x, y, y 0 )dx, y(a) = A, y(b) = B
I(y) =
(3.2.11)
pode ser aproximado pelo problema de encontrar o extremo de uma funcao de n variaveis, obtido como
segue: Dividamos o intervalo [a, b] em n + 1 sub-intervalos iguais introduzindo a particao
x0 = a, x1 , , xn+1 = b
e substitumos a funcao suave y(x) pela linha poligonal com vertices
(x0 , y0 ), (x1 , y1 ), , (xn , yn ), (xn+1 , yn+1 ),
onde yi = yi (xi ), entao (3.2.11) pode ser aproximada pela soma
I(y1 , , yn )
n
X
i=0

yi+1 yi
x,
xi , yi ,
x
(3.2.12)
que e uma funcao de nvariaveis. (Lembrando que y0 = A e yn+1 = B sao fixos.) Se para cada n
encontrarmos a linha poligonal minimizante de (3.2.12), obtemos uma seq
uencia de solucoes aproximadas
para o problema variacional original.
3.2.4
Minimizac
ao b
asica
Apresentaremos nesta Subsecao um resultado que resume o metodo direto usado em problemas variacionais. De acordo com [8], este metodo surgiu por volta da segunda metade do seculo XIX e os primeiros
matematicos a` estuda-lo foram: Hilbert, Lebesgue, Tonelli e Weierstrass.
Consideraremos = como um espaco de Hilbert.
Defini
c
ao 3.2.8 Uma seq
uencia yn em = converge fracamente para uma funca
o y = se hyn , hi
hy, hi, para toda h =, onde h, i denota um produto interno em =.
Defini
c
ao 3.2.9 (a) Um funcional I : = R e dito ser fracamente contnuo se
I(y) = lim I(yn ),
n
56
sempre que yn y, fracamente, quando n .

(b) Um funcional I : = R e dito ser fracamente semi-contnuo inferiormente se
I(y) lim inf I(yn ),
n

(c) Um funcional I : = R e dito ser fracamente semi-contnuo superiormente se
I(y) lim sup I(yn ),
n

Com estas definicoes como em [8], temos os seguintes Lemas:
Lema 3.2.10 A bola fechada B R (0) = e fracamente compacta, isto e, dada uma seq
uencia yn com
kyn k R, existem uma subseq

uencia ynk e y com ky k R, tal que ynk y fracamente.
Demonstra
c
ao: Veja ([3], pp. 43).
Lema 3.2.11 A norma N (y) = kyk1 =

mente semi-contnuo inferiormente.
hR
T
0
|y(t)|2 dt +
RT
0
|y(t)|dt
i 12
; y H 1 , e um funcional fraca-
Demonstra
c
ao: Basta combinar o Teorema de Sobolev com o Lema de Fatou e, usar o fato que, toda
seq
uencia {yn } de H 1 , e contnua e esta definida num compacto.
Lema 3.2.12 Dada uma funca

o contnua f : R R, e seja I : H 1 R, dado por
Z T
I(y) =
f (y(t))dt,
0
Ent
ao, I e um funcional fracamente contnuo.
57
Demonstra
c
ao: Seja yn uma seq
uencia em = convergindo fracamente para y. Entao, sendo yn definida
num compacto e f contnua, temos que f yn converge fracamente uniformemente para f y. Assim,
Z T
Z T
Z T
f (yn (t))dt =
lim I(yn ) = lim
lim f (yn (t))dt =
f (y(t))dt = I(y).
n
Teorema 3.2.13 (Minimizaca

o B
asica) Seja = um espaco de Hilbert e assuma que um dado funcional
I : = R e
(a) Coercivo;
(b) Fracamente semi-contnuo inferiormente.
Ent
ao, I(y) tem um mnimo, isto e, existe y0 =, tal que I(y) I(y0 ) para todo y =.
Demonstra
c
ao: Usando a coercividade do funcional I(y), escolhamos R > 0, tal que I(y) > I(0)
para todo y com kyk > R. Entao podemos restringir nossa atencao para as bolas fechadas B R (0) =.
Comecamos afirmando que o nfimo
= inf I(y)
y=
e finito. De fato, se lim I(zn ) = para alguma seq

uencia zn em B R (0) entao pelo Lema 4.2.10, existe
n
z B R (0) e uma subseq

uencia znk , tal que
zn k z
fracamente. Pela semi-continuidade fraca de I(y), chegamos na conclusao absurda que
I(z ) lim inf I(znk ) = .
k
Logo,
I(y) > , y =.
Agora, seja yn uma seq
uencia minimizante para I em B R (0), entao
lim I(yn ) = .
58
(3.2.13)
Novamente, usando a compacidade fraca da bola dada pelo Lema 4.2.10, existe y 0 B R (0) e uma subseq
uencia ynk de yn , tal que ynk y0 fracamente. E pela semi-continuidade inferior de I(y), conclumos
que
I(y0 ) lim inf I(ynk ) = ,
k
logo, I(y0 ) = e
I(y) I(y0 ), y =.
Em vista de (3.2.13), o Teorema esta demonstrado.
3.3
Sistemas envolvendo forca forte e forca fraca
Considere o seguinte funcional

I(x) =
T
0

1 0 2
|x (t)| V (x(t)) dt,
2
(3.3.14)
onde V = V (x) e um potencialcorrespondente a` um sistema dinamico conservativo

mx00 = V (x),
(3.3.15)
com x RN S, V : RN S R e de classe C 1 , onde S e o conjunto das singularidades de V.

A seguir apresentaremos dois novos conceitos, o de forca forte e o de forca fraca, que foram introduzidos
por Gordon em [13].
Defini
c
ao 3.3.1 Dizemos que o potencial V, que tem S como conjunto das singularidades, satisfaz a
condi
c
ao de for
ca forte se, e somente se, existe uma funca
o U e uma vizinhanca N de S, tal que
(i) U (x) ; (ii) V (x) |U (x)|2 .
(F.F.)
para todo x N S, com x S.

Defini
c
ao 3.3.2 Se o potencial V de (3.3.15) satisfaz a condica
o (F.F.), dizemos que (3.3.15) e um
sistema envolvendo for
ca forte. Caso V n
ao satisfaca a condica
o (F.F.) dizemos que (3.3.15) e um
sistema envolvendo for
ca fraca.
59
Exemplo 3.3.3 O potencial V : RN {0} R, dado por V (x) = |x|1 2 , com S = {0}, satisfaz a
condica
o (F.F.).
De fato, basta considerar a funcao U dada por U (x) = log|x|. Logo, quando |x| 0, temos que
U (x) = log|x| ,
e
V (x) =
1
= |U (x)|2 .
|x|2
1
Exemplo 3.3.4 O potencial V : RN {0} R, dado por V (x) = |x|
, com S = {0}, n
ao satisfaz a
condica
o (F.F.), (ou seja o sistema (3.3.15) correspondente e um sistema de forca fraca).
De fato, ja no caso unidimensional, x R, nao existe funcao U satisfazendo as duas condicoes de (F.F.).
Com efeito, considere U satisfazendo a segunda condicao de (F.F.), entao
|U (x)|2 = |U 0 (x)|2
1
,
|x|
supondo x > 0 e integrando ambos os membros da u

ltima desigualdade, obtemos
1 1
1 1
x 2 U (x) x 2 .
2
2
Logo, quando x 0, temos que U (x) 0, contradizendo a primeira condicao de (F.F.). Para x < 0,
chega-se a mesma contradicao.
Observa
c
ao: Os Exemplos 4.3.3 e 4.3.4, sao casos particulares do resultado geral que afirma que o
potencial gravitacional
V (x) =
1
|x|
satisfaz a condicao de (F.F.) se, e somente se, 2, (veja, [10] e [13]).

Assumamos que o potencial V tem a forma
V (x) =
1i<jN
60
f (rij ),
com rij = |xi xj |, e onde a funcao potencial de dois corpos f (r), sendo r = rij , e uma funcao diferenciavel
nao positiva de r > 0, a` qual explode quando rij tende a` 0. O potencial e dito Newtoniano quando f = rc ,
para alguma constante positiva c. Assim,
V : R2N S R
e S = (conjunto das singularidades de V ), ou seja, =
ij , sendo
i,j
ij = {r R2N : ri = rj }.
Se colocarmos a hipotese adicional de que existem constantes positivas c e tais que
c
f (r) ,
r
sempre que r < . Temos que V satisfaz a condicao de forca forte e o sistema (3.3.15) e um sistema
envolvendo forca forte.
Assumindo as condicoes acima temos o seguinte resultado
Proposi
c
ao 3.3.5 Se V e um potencial como acima, ent
ao qualquer caminho com colis
ao, de (3.3.15),
tem aca
o integral infinita (ou seja o funcional dado por (3.3.14) explode).
Demonstra
c
ao: Suponha que o caminho sofre uma colisao com as massas m i e mj colidindo num
N
X
mi . Afirmamos que a energia cinetica
tempo tc R. Escreva r por rij = ri rj , e chame M =
i=1
T =
N
X
mi
i=1
|x0i |2
da acao integral satisfaz

T
onde k =
mi mj 0 2
mi mj
(|ri rj |0 )2 =
(r ) = k(r 0 )2 ,
4M
4M
mi mj
.
4M
De fato,
|ri rj |2 = hri rj , ri rj i,
61
derivando ambos os membros da u

ltima expressao e usando a desigualdade de Holder, temos
|ri rj |0 |ri0 rj0 |
entao
mi mj (|ri rj |0 )2
mi mj |ri0 rj0 |2
mi mj [|ri0 |2 + |rj0 |2 2hri0 rj0 i]
mi mj [|ri0 |2 + |rj0 |2 2|ri0 ||rj0 |]
mi mj |ri0 |2 + mi mj |rj0 |2
N
X
i,j=1
mi mj |ri0 |2
N
X
2M
4M T.
i=1
N
X
i,j=1
mi mj |rj0 |2
mi |ri0 |2
o que prova a afirmacao.

Desde que x e contnua, temos que r(t) < para algum intervalo |t tc | . Da condicao de forca
forte, temos que V
c
r2
sobre este intervalo. Assim a Lagrangiana satisfaz

L = T V k(r 0 )2 +
Usando o fato que a2 + b2 2ab, temos que
para t (tc , tc + ). Mas,
c
.
r2
r0
L 2 kc
r

r0
dt = | ln r(t2 ) ln r(t1 )|,
t1 r
e r(tc ) = 0. Disto conclumos que a acao parcial
Z tc +
Ldt
t2
diverge logaritmicamente quando t tc , e assim a acao da orbita de colisao e infinita.
Observa
c
ao: Como vimos no Exemplo 4.3.4, a condicao (F.F.) exclui o caso gravitacional
V (x) =
62
1
.
|x|
Assim como neste caso, para sistemas gravitacionais envolvendo forca fraca nao se pode esperar uma
famlia minimizante xn que se acumule longe da singularidade S. Logo, passando o limite com n ,
co
es
podemos obter uma solucao x que possivelmente intercepta S. Chamaremos tais solucoes de solu
continuadas, para distinguir das solucoes regulares que estao no domnio no qual V e regular. (Esta
terminologia nao tem haver com regularizacao de variaveis).
3.4
Mais sobre coercividade e potenciais envolvendo forca forte
Consideremos o seguinte sistema de equacoes diferenciais ordinarias de segunda ordem

mi x00i (t) = xi V (x0 (t), , xN (t)),
(3.4.16)

onde assumimos que V : R2N {0} R, V C 2 R2N {0}; R , V (x) < 0 para todo x em R2N {0}
e V (x) , quando |x| 0.

Introduzindo a Lagrangiana
L(y, y 0 ) =
1X
mi |yi0 |2 V (y0 , , yN ).
2 i=0
(3.4.17)
Facamos a seguinte mudanca de coordenadas

xi = yi y0 , (i = 1, , N )
e defina a nova Lagrangiana L como
N
L(x, x0 ) =
1X
1 X mi mj 0 0
mi |x0i |2
hxi , xj i Ve (x1 , , xN ),
2 i=1
2 i,j M
onde Ve denota o potencial V na nova coordenada.
(3.4.18)
Coment
ario: A mudanca de cooredenada feita acima bem como a mudanca de Lagrangeanas serao
justificadas na Secao 4.2.1 do Captulo 4.

Definamos, agora, o seguinte conjunto:
k = { H 1 S 1 ; R2 {0}
63
: grau() = k},
onde para : S 1 R2 {0} S 1 , o grau() = k N significa que e uma curva fechada que fecha
apos dar k voltas em torno da origem.
Seja, agora,
(k1 ,...,kN ) = {x = (x1 , , xN ) k1 kN : xj (t) 6= xi (t) t S 1 , i 6= j}.
Definamos o funcional f : (k1 ,...,kN ) R por
f (x1 , , xN ) =
T
0
L(x1 (t), , xN (t))dt
(3.4.19)
Entao temos o seguinte Lema

Lema 3.4.1 Seja f como em (3.4.19) e L dada por (3.4.18). Ent
ao f e coercivo sobre (k1 ,...,kN ) .
Demonstra
c
ao: De fato, usando a relacao
hx0i , x0j i =
1 02
{|x | + |x0j |2 |x0i x0j |2 },
2 i
temos
N
X
i=1
mi |x0i |2
N
X
mi mj 0 0
hxi , xj i
M
i,j=1
N
X
i=1
N
X
i=1
mi |x0i |2
mi |x0i |2
N
X

mi mj 1
|x0i x0i |2 + |x0i |2 + |x0j |
M 2
i,j=1
N
N
1 X mi mj 0 2 1 X mi mj 0 2
|xi |
|xj |
2 i,j=1 M
2 i,j=1 M
N
1 X
mi mj |x0i x0j |2 .
2 i,j=1
Assim,
N
X
i=1
mi |x0i |2
N
X
mi mj 0 0
hxi , xj i
M
i,j=1
N
X
i=1
N
X
i=1
mi |x0i |2
mi |x0i |2
N
N
1 X mi mj 0 2 1 X mi mj 0 2
|xi |
|xj |
2 i,j=1 M
2 i,j=1 M
1 X mi 0 2
|x | (M m0 )
2 i=1 M i
1 X mj 0 2
|x | (M m0 )
2 j=1 M j
64
N
X
donde
N
X
i=1
mi |x0i |2
mi |x0i |2 +
N
X
mi
|x0i |2 (m0 M )
M
i=1
i=1

N
X
M + m0 M
mi |x0i |2 ,
M
i=1
N
N
X
mi mj 0 0
m0 X
hxi , xj i
mi |x0i |2 .
M
M
i,j=1
i=1
Usando esta desigualdade e o fato de V < 0, obtemos

Z T
L(x(t), x0 (t))dt
f (x1 , , xN ) =
0
Z
N
X mi mj
1 T X
=
hx0i , x0j i V (x1 , , xN ) dt
mi |x0i |2
2 0
M
i=1
1i,jN
Z T X
N
X mi mj
1
hx0i , x0j i dt
mi |x0i |2
2 0
M
i=1
1i6=jN
N
X
m0
2M
N Z
m0 X T 0 2
m
|xi | ,
2M
i=1 0
mi
i=1
|x0i |2 dt
onde m = min {mi }. Segue-se, entao que

1iN
f (x1 , , xN )
m 0 2
kx kL2 .
2M
(3.4.20)
Mas, para todo x k com k 6= 0 temos que

kxkL
sup |x(t) x(s)|
t,s[0,T ]
T kx0 kL2
(3.4.21)
De fato, quanto a primeira desigualdade, note que sendo x um elemento de k , temos que para todo
t [0, T ] existe um [0, t], tal que a reta em R2 determinada por x(t) e x( ) passa pela origem e deixa
x(t) e x( ) em lados opostoscom relacao a origem. Assim,
kxkL = sup |x(t)| = |x(t0 )| |x(t0 ) x(0 )|
t[0,T ]
65
sup |x(t) x(s)|,
t,s[0,T ]
(3.4.22)
sup |x(t)x(s)| = |x(t0 )x(s0 )|, sem perda de generalidade
quanto a segunda desigualdade, temos que
t,s[0,T ]
podemos supor s0 < t0 , assim,

Z

sup |x(t) x(s)| = |x(t0 ) x(s0 )| =
t,s[0,T ]
t0
s0
usando a desigualdade de Holder, obtemos
sup |x(t) x(s)|
t,s[0,T ]
Alem disso,
kxkL2

Z T

0

1 x ( )d
x ( )d

0
0
T kx0 kL2 .
T kxkL .
Com efeito,
kxkL2 =
T
0
|x(t)|2 dt
! 21
T
0
kxk2L dt
! 21
= T kxk2L
12
T kxkL .
Logo,
kxk2H 1
kx0 k2L2 + kxk2L2
kx0 k2L2 + T kxk2L
(1 + T )kx0 k2L2 .
Esta u
ltima desigualdade combinada com (3.4.20), implica que f e coercivo sobre (k1 ,...,kN ) desde que
ki 6= 0 para todo i.
De fato,
kxkH 1 kx0 kL2 .
Portanto, (3.4.20) implica a coercividade de f .
possvel provar que o Lema acima continua valido, quando substitumos (k ,...,k ) pelo
Observa
c
ao: E
1
N
subespaco linear de H 1 , 0 , onde

T
0 = x = (x1 , , xN ) : xi H 1 (S 1 ; R2 ), e xi t +
= xi (t) ,
2
66
pois, basta observar que se x 0 , temos

|x(t)|

1
T
x(t) x t +
2
2
Z T

1 t+ 2 0

x (s)ds

2 t
r Z t+ T
12
2
1 T
0
2
|x (s)| ds
2 2
t
Z T
12
T
0
2
|x (s)| ds ,
4
0
=
=
entao
kxk2L
T 0
kx kL2 ,
16
que e uma estimativa semelhante a (3.4.21).
Lema 3.4.2 Considere o conjunto

= {x = (x1 , , xN ) : xi H 1 S 1 ; R2 {0}
cuja fronteira e dada por
: xi (t) 6= xj (t) t, i 6= j}.
= {x = (x1 , , xN ) : xi H 1 (S 1 ; R2 {0}) : xi (t) = xj (t) para algum t S 1 , e i 6= j}.

Ent
ao se (F.F.) vale, tem-se que f : R, dado por
#
Z T" X
N
1
0 2
f (x1 (t), , xN (t)) =
mi |xi | V (x1 (t), , xN (t)) dt
2 i=1
0
satisfaz
f (x1 , , xN ) , quando (x1 , , xN ) .
Demonstra
c
ao: Como ha (F.F.) existe uma funcao U tal que, quando x
V (x(t)) |U (x(t))|2 e U (x) .
Defina g : [0, T ] R, por
g(t) = U (x(t)),
67
entao
g 0 (t) = hU (x(t)), x0 (t)i.
O funcional f e dado por
f (x1 (t), , xN (t)) =
T
0
"
#
N
1X
0 2
mi |xi | V (x1 (t), , xN (t)) dt.
2 i=1
Para facilitar os calculos vamos supor mi = 1 para todo i {1, , N }. Logo,

Z T
1 0
2
kx (t)k V (x(t)) dt
f (x1 (t), , xN (t)) =
2
0

Z t
1 0
kx (t)k2 V (x(t)) dt,

2
0
onde t e algum valor de t no qual ocorre colisao. Usando a hipotese de forca forte, temos

Z t
1 0
f (x1 (t), , xN (t))
kx (t)k2 + |U ((x(t))|2 dt,
2
0
como a2 + b2 2ab, temos
f (x1 (t), , xN (t))
Z t 0
2
kx (t)k|U ((x(t))|dt,
0
usando a desigualdade de Cauchy - Schwartz, temos

f (x1 (t), , xN (t))
Como hx (t), U (x(t))i = g (t), temos

f (x1 (t), , xN (t))
Z t 0
|hx (t), U (x(t))i|dt
2
0

Z t 0

hx (t), U (x(t))idt.
2
0
=
=

Z t 0

g (t)dt
2

0

2 lim g(t)
tt

2 lim U (x(t))
tt
como
lim U (x(t)) ,
tt
temos que
f (x1 (t), , xN (t)) +.
68
3.5
Ponto crtico de um funcional e propriedades
Considere o sistema mecanico de equacoes diferenciais

mi x00i (t) = xi V (x1 (t), , xN (t)) = xi V (x(t)), (i = 1, , N ),
(3.5.23)
onde, V : R2N S R, e de classe C 1 , sendo S o conjunto das singularidades de V.

Seja
L(x(t), x0 (t)) =
1
Consideramos H = H
[0, T ]; R
2N
R, por
N
X
mi
i=1
|x0i (t)|2 V (x1 (t), , xN (t)).

, o completamento de C k [0, T ]; R2N . Defina o funcional I : H 1
I(x) =
L(x(t), x0 (t))dt.
(3.5.24)
A diferencial de I em x, I(x) : Tx H 1 H 1 R e dada no sentido classico por

Z T
Z T
I(x) h =
hLx (t), h(t)idt +
hLx0 (t), h0 (t)idt
Z
h(m1 x01 (t), , mN x0N (t)), (h01 (t), , h0N (t))idt
hV (x(t)), h(t)idt,
onde h H 1 , Tx H 1 denota o espaco tangente de H 1 no pontox e entende-se h como um campo vetorial

tangente ao longo da curva x(t), com t [0, T ].
Usando integracao por partes na segunda integral da u
ltima expressao, obtemos
I(x) h =
N
T X
mi x0i (t)h0i (t)dt +
i=1
N Z t
T X
i=1

xi V (x1 (s), , xN (s))ds h0i (t)dt + C,
ou equivalentemente
I(x) h =
N
T X
mi x0i (t) +
i=1
t
0

xi V (x1 (s), , xN (s))ds h0i (t)dt + C,
(3.5.25)
onde C e a constante obtida na integracao.

Coment
ario: O espaco H 1 pode ser visto como uma variedade de dimensao infinita e como H 1 e um
espaco vetorial, tem-se a seguinte identificacao
Tx H 1 H 1 ,
69
para todo x H 1 . Esta identificacao tambem ocorre em todo x , desde que seja um aberto de H 1 .
Para mais detalhes sobre variedades de dimensao infinita (veja, [18], pp. 26).
Defini
c
ao 3.5.1 Dizemos que x H 1 e um ponto crtico de I em H 1 , se
I(x) h = 0, para todo h Tx H 1 H 1 .
Seja x um ponto crtico de I em H 1 . Escolhendo, de forma conveniente, as funcoes (hi )0 s em (3.5.25),
obtemos que
mi x0i (t) +
xi V (x1 (s), , xN (s))ds + C = 0.
(3.5.26)
Teorema 3.5.2 (Regularidade do ponto crtico:) Seja I : H 1 como em (3.5.24). Suponha que
o suporte de I est
a no conjunto onde V e de classe C 1 . Ent
ao os pontos crticos de I| s
ao de classe C 2
e, logo, satisfazem a equaca
o (3.5.23).
Demonstra
c
ao: De (3.5.26), temos
mi x0i (t) =
t
0
xi V (x1 (s), , xN (s))ds C.
O integrando acima tem sentido, ja que x esta em H 1 , logo contnua, e V e C 1 . Assim, deduzimos que
x0i (t) tem como derivada m1i xi V (x(t)) que e contnua, pois V e de classe C 1 . Portanto x e de classe
C 2 , e conseq
uentemente satisfaz (3.5.23).
Coment
ario: Entende-se por suporte de um funcional I : H 1 R, o conjunto
{x : I(x) 6= 0}.
Observa
c
ao: Do Teorema de acima e de (3.5.26) segue-se que, todo ponto crtico de I em H 1 deve
satisfazer as equacoes de Euler-Lagrange, isto e,
L
(x(t), x0 (t)) =
x0i
t
t0
L
(x(t), x0 (t))dt + C
xi
onde C e uma constante.

70
Coment
ario: Este Teorema podera sempre ser aplicado a funcionais definidos por (3.5.24), que quando
restritos a subconjuntos H 1 , tenham suportes fora do conjunto das singularidades (colisao) do
potencial. Um exemplo tpico onde isto ocorre e quando I esta definido sobre o conjunto (k1 ,,kN ) , que
sera trabalhado no proximo captulo. Para subespacos lineares de H 1 , como 4N
l , veja [5].
Defini
c
ao 3.5.3 Definimos o gradiente do funcional I, 0 I, da seguinte forma
hI(x), hi0 = I(x) h, para todo h H 1 .
Observa
c
ao: Se I : H 1 R, e dado por
Z
I(x) =

1 0 2
|x (t)| V (x(t)) dt,
2
temos
hI(x), hi0
=
=
T
0
hx0 (t), h0 (t)idt
T
0
hV (x(t)), h(t)idt
hx0 , h0 i0 hV (x), hi0 .
Coment
ario: Por simplicidade denotaremos o gradiente de I, apenas por I.
Proposi
c
ao 3.5.4 Seja H 1 um aberto. Ent
ao os pontos crticos de I| s
ao os mesmos pontos
crticos de I sobre H 1 .
Demonstra
c
ao: Seja x um ponto crtico de I| . Entao
I(x) : Tx R
satisfaz
I(x) h = 0, h Tx .
Mas, Tx H 1 , ja que e um aberto de H 1 . Logo, os pontos crticos de I| coincidem com os pontos
crticos de I sobre H 1 .
71
Proposi
c
ao 3.5.5 Seja H 1 um subespaco linear de H 1 , ent
ao x, ponto crtico de I| , e ponto crtico
de I em H 1 se
I(x) v = 0, v
Demonstra
c
ao: O espaco tangente de em x se identifica com . Assim,
I(x) : R.
Por outro lado
H = .
Sendo x ponto crtico de I| , entao para todo h , temos
I(x) h = hI(x), hi0 = 0.
Assim, para x ser, tambem, ponto crtico de I em H 1 e necessario apenas que
I(x) v = 0, v .
Corol
ario 3.5.6 Seja
0 =

T
x = (x1 , , xN ) : xi H 1 S 1 ; R2 : xi t +
= xi (t) .
2
Coloquemos a seguinte hip

otese adicional sobre V
V (x) = V (x),
a ponto crtico de I sobre H 1 .
ent
ao se x e ponto crtico de I|0 , (x 0 ), temos que x ser
Demonstra
c
ao: Primeiramente, notemos que de (3.5.27), temos que
V (x) = V (x).
Seja x um ponto crtico de I sobre 0 , como x 0 , temos

T
x t+
= x(t).
2
72
(3.5.27)
Temos ainda, (x) : Tx 0 0 R, e

I(x) h
= hI(x), hi0 .
Tome y(t) = x t +
T
2
hI(x), hi0
hV (x(t)), h(t)idt
I(y) h,
= x(t), isto e, y 0 . Entao,
mas, por outro lado para toda h 0 , temos

Z
Z T
0
0
0
0
I(y) h =
h(m1 y1 (t), , mN yN (t)), (h1 (t), , hN (t))idt
=
T
0
Z
h(m1 x01 (t), , mN x0N (t)), (h01 (t), , h0N (t))idt +

T
hI(x), hi0 .
hV (y(t)), h(t)idt
T
0
hV (x(t)), h(t)idt
T
0
hV (x(t)), h(t)idt
Da, obtemos
hI(x), hi = hI(x), hi, h 0 ,
o que implica
I(x) = I(x), em 0 .
Assim, se (t) = I(x(t)), entao

T
T
= I x t +
= I(x(t)) = I(x(t)) = (t),
t+
2
2
ou seja, I(x) 0 . Por outro lado,
H 1 = 0
0.
Logo, se h H 1 , h = h0 + h , com h0 0 e h
0 . Da
hI(x), hi0
hI(x), h0 i0 + hI(x), h i0 = 0
Portanto x e ponto crtico de I sobre H 1 .

73
Observa
c
ao: O Corolario acima pode ser estendido para funcionais I| 4N
, onde
l
4N
xi
l = {(x1 , , xN ) :

T
=
xi t +
l

H 1 S 1 ; R2 , xi (t) 6= xj (t), t S 1 , i 6= j,
R 2l xi (t), t, i = 1, , N }
e aberto
onde R SO(2). Para isto sao extremamentes importantes os seguintes fatos: O conjunto 4 N
l
em 4 2l e por sua vez 4 2l e um subespaco linear de H 1 , onde

T
4 2l = {(x1 , , xN ) : xi H 1 S 1 ; R2 , xi t +
= R 2l xi (t), t, i = 1, , N }.
l
Veja [5].
74
Captulo 4
Aplicaco
es `
a Mec
anica Celeste
Neste captulo aplicaremos os conhecimentos adquiridos nos captulos anteriores para mostrar que
as solucoes periodicas elpticas do problema de Kepler minimizam a acao integral de Hamilton e para
encontrar solucoes periodicas sem colisao em problemas planares do tipo N -corpos. Seguiremos os artigos
(Symmetries and noncollision closed orbits for planar N-body-type problems, de (Bessi and Coti Zelati,
1991), Periodic solutions for N-body type problems de (Coti Zelati, 1990), A minimizing property of
Keplerian orbits de (Gordon, 1975).
4.1
Uma propriedade minimizante das o

rbitas Keplerianas
Nesta Secao, mostraremos que as solucoes periodicas elpticas de perodo T do problema de Kepler na
verdade minimizam a acao integral de Hamilton. Seguiremos o artigo A minimizing property of Keplerian
orbits de (Gordon, 1977).
4.1.1
Formulac
ao do resultado principal
Denotemos por (T ) o conjunto de todos os ciclos x = x(t) no plano R 2 que sao absolutamente
contnuos, tem derivadas L2 definidas quase sempre, e que circundam a origem mas nao a interceptam.
Entao, temos o seguinte Teorema, formulado por Gordon, (em [14]).
75

Teorema 4.1.1 Seja T um n
umero real positivo fixo mas arbitr
ario, e seja Seja I : H 1 S 1 ; R2 R, a
aca
o integral (o funcional), definida(o) por
Z
I(x) =
T
0

1 0 2
1
|x (t)| +
dt
2
|x(t)|
(4.1.1)
1
correspondendo ao potencial V (x) = |x|
. Ent
ao a restrica
o de I a
` (T ) tem seu valor mnimo numa
soluca
o elptica T -peri
odica da equaca
o Kepleriana de movimento

x
1
00
= 3,
x =
|x|
|x|
(4.1.2)
para a qual T e o perodo mnimo.

Antes de fazer a demonstracao deste resultado faremos alguns fatos preliminares muito importantes.
4.1.2
A ac
ao integral para soluco
es continuadas
bem conhecido que uma solucao de classe C 2 para (4.1.2) e periodica se, e somente se, ela tem
E
energia total negativa (H =
1 0 2
2 |x |
1
|x| ),
e que a energia total H, o perodo T e a acao integral I (o
funcional dado em (4.1.1)), estao relacionados. De fato, para solucoes com perodo mnimo T, temos o
seguinte Lema
Lema 4.1.2 Para as soluco
es T -peri
odicas circulares de (4.1.2) temos
1
3
T = 2 2 (H) 2 ,
I = (3) (2)
31
T 3.
Demonstra
c
ao: Seja uma solucao T -periodica circular de (4.1.2), da forma
(t) = aeit ,
onde a e o raio e T =
2
.
Derivando duas vezes a expressao de , obtemos as expressoes

0 (t) = iaeit e 00 (t) = a 2 eit ,
usando o fato de ser solucao de (4.1.2), temos

a 2 eit =
76
1 it
e
a2
(4.1.3)
(4.1.4)
donde,
a3 2 = 1.
(4.1.5)
A energia e dada por

H=
1 2 2 1
a ,
2
a
entao
1
1
=
23 ,
3
a
1
2H
(4.1.6)
assim, substituindo (4.1.5) na expressao da energia, temos

H=
1
.
2a
Da usando (4.1.5) e (4.1.6), obtemos

2
1

Z T
2
3 (T ) 3 () 3 () 3
1 3
3
1 2 2 1
a +
T
I = I((t)) =
dt =
T = (H) T =
1
1
2
a
a 2
2
0
(2) 1 () 3
1
3 (T ) 3
1
(2) 3 () 3
que resulta na expressao (4.1.4). Alem disso, substituindo =

2
1
2
= 3
T
a
e, usando (4.1.6), temos
2
T
2
1
H
ou equivalentemente
2
T
em (4.1.5), obtemos
23
3
3
2
= (H) 2 (2) 2
T
Logo,
H = (T )
32
() 3
1
(2) 3
o que conclui a demonstracao do Lema.

Um resultado analogo ao Lema anterior obtem-se quando analisamos solucoes periodicas retilneas do
problema de Kepler, as quais devem-se ser estentidas da seguinte forma: a solucao sai da origem (colisao)
e move-se ao longo de um seguimento (determinado pela velocidade inicial) e logo retorna a` origem num
claro que tais solucoes so podem ser obtidas regularizando o
tempo T que corresponde ao perodo. E
problema de Kepler.
77
Lema 4.1.3 Para soluco

es T -peri
odicas no caso retilneo as express
oes (4.1.3) e (4.1.4) s
ao v
alidas.
Demonstra
c
ao: Considere o sistema de equacoes diferenciais
x00 =
onde a0 =
da
dt .
1
, x R,
x2
(4.1.7)
Note que (4.1.7) e o caso unidimensional de (4.1.2). Fazendo a mudanca de coordenada
(que permite a regularizacao da colisao)

1
x
dt
= , k = (2H) 2
d
k
(4.1.8)
e usando o fato que em (4.1.7) a energia e conservada, podemos transformar (4.1.7) no sistema
x
+x=
1
,
k2
(4.1.9)
no qual assumimos as seguintes condicoes iniciais

x(0) = 0, x(0)
= 0,
onde b =
db
d .
(4.1.10)
A equacao homogenea correspondente a` (4.1.9) e

x
+x=0
(4.1.11)
cuja solucao geral e dada por

x( ) = A cos( ) + B sin( ),
considerando
=
A2 + B 2 , cos 0 =
B
A
, sin 0 =
2
2
+B
A + B2
A2
podemos reescrever x( ) na forma

x( ) = cos(0 ) cos( ) + sin(0 ) sin( ).
Alem disso, e de facil verificacao que
x( ) = cos( ) + c
e uma solucao particular de (4.1.9), desde que c =
1
k2 .
Logo, a solucao geral para (4.1.9) e dada por
x( ) = cos( 0 ) + cos( ) +
78
1
.
k2
Usando as condicoes iniciais (4.1.10), obtemos

1
, e 0 = ,
k2
=1+
Portanto, a solucao de (4.1.9) e dada por
x( ) =
1
[1 cos( )] .
k2
Facamos E = E( (t)) = (t), E assim definida, e a anomalia excentrica. Escrevendo x na nova variavel
E, temos
De (4.1.8), resulta
x(E) =
1
[1 cos(E)].
k2
dt =
0
t
0
(4.1.12)
x(E( ))
d,
k
donde
t=
1
1
(E sin(E)) = 3 (E( ) sin(E( )))
k3
k
derivando implicitamente em relacao a t, obtemos

E0 =
k3
.
1 cos(E)
Note que a solucao x tal que

(x0 )2 =
2
+ 2H
x
satisfaz (4.1.7). Mas,

x0 (t) =
entao,
(x0 )2 = k 2
sin(E)
1
sin(E)E 0 = k
k2
1 cos(E)
sin2 (E)
sin2 (E)
=
2H
.
(1 cos(E))2
(1 cos(E))2
De (4.1.12), temos que x e uma solucao 2-periodica na variavel E. Mas, quando E = , sendo metade
do perodo em E, temos que
t=
onde
T
2
T
= ,
k3
2
e a metade do perodo na variavel t. Logo, sendo k = 2H > 0, temos

T =
2
2
2
3
q
=
= (H) 2 .
3 =
3
k3
2
2
(2H)
2 2 (H) 2
79
Coment
ario: As deducoes de (4.1.3) e (4.1.4) no caso de solucoes elpticas no caso geral sao mais
complicadas, mas podem ser feitas usando o conceito de anomalia exc
entrica, veja [4].
Observa
c
ao: Seja x uma orbita periodica com perodo mnimo T e seja y uma orbita periodica cujo

umero natural). Entao a orbita T -periodica obtida por repetir y n-vezes z(t) = ny nt
perodo e Tn (n um n
tem sua acao integral nI(y) e como conseq
uencia de (4.1.4) ela tem a forma
2
nI(y) = n 3 I(x).
De fato,
nI(y)
n(3)(2)
n 3 I(x).
31
13
1
1
2
T
= n 3 (3)(2) 3 T 3
n
Conseq
uentemente, a acao integral e minimizante em apenas tais solucoes T -periodicas para a qual T e
o perodo mnimo.
Desejamos, agora, descrever as solucoes continuadas de (4.1.2) e calcular suas acoes integrais. A mais
simples solucao continuada e um segmento de reta. A partcula inicialmente em repouso no ponto Q 6= 0
desloca-se em direcao a` origem, alcancando-a em tempo t =
T
2
. A partcula entao, inverte o percurso do
movimento, sobre a reta que contem OQ ate alcancar o ponto Q, onde tera velocidade zero. Chamaremos
tais solucoes de um suporte de perodo T. Note que a energia total neste caso e dada por H = |OQ| 1 .
Uma solucao continuada consistindo de dois suporte de perodos T 1 e T2 cujo perodo total da trajetoria
inteira e dado por T = T1 + T2 , pode ser descrita como segue: comecando em repouso, num ponto Q1 , a
partcula desloca-se para a origem, onde emerge a um angulo arbitrario movendo-se para um ponto Q 2 ,
onde tem velocidade zero. Em Q2 o percurso e invertido e a trajetoria termina em Q1 .
Mais, geralmente, uma solucao continuada T -periodica pode consistir de um n
umero finito, ou enumeravel, de suportes de perodos Ti , exigindo apenas que
T =
X
i=1
Ti < .
Observa
c
ao: Note que podem existir solucoes x e y, sendo x uma solucao que tenha um so suporte
cujo perodo seja T e y seja uma solucao de varios suportes de perodo T i , tal que o perodo total de sua
80
trajetoria seja
Ti = T.
Lema 4.1.4 Considere o funcional I definido em (4.1.1). Entre todas as soluco

es continuadas de perodo
T, o funcional I tem sua mnima aca
o numa soluca
o que consiste de um s
o suporte.
Demonstra
c
ao: Numa trajetoria T -periodica de suportes com perodos T i , cada suporte de perodo Ti
1
tem, pelo Lema 4.1.3, uma acao integral igual a c (Ti ) 3 , onde c e a mesma constante dada em (4.1.4).
Denotemos por Iv a acao definida numa solucao de varios suportes, e por I1 a acao definida numa solucao
X
de um so suporte. Logo, sendo T =
Ti , temos
i
Iv = c
X Ti 3
1
(Ti ) 3 = c (T ) 3
c (T ) 3
X Ti
i
= c (T ) 3 = I1 .
o que conclui a demonstracao do Lema.
Observa
c
ao: Como a acao I e o perodo T sao relacionados do mesmo modo para orbitas regulares e
para orbitas continuadas consistindo de um so suporte, o Lema 4.1.4, tem a seguinte conseq
uencia:
Lema 4.1.5 Para provar o Teorema 4.1.1 e suficiente mostrar que existe uma soluca
o x 0 T -peri
odica
possivelmente continuada satisfazendo
I(x0 ) I(x)
para todo x em (T ).
conseq
Demonstra
c
ao: E
uencia direta do fato que a expressao (4.1.4) se verifica tanto para orbitas
regulares como para orbitas continuadas.
4.1.3
Preliminares para a demonstrac

Para todo funcional I sobre H 1 e para todo n

umero real c, seja
I c = {x H 1 : I(x) c}.
81
Lembramos que I e semi-contnuo inferiormente em uma topologia se I c e fechado nesta topologia para
todo c (veja [20], pp. 37). Neste caso I e limitado inferiormente e atinge seu nfimo sobre qualquer
subconjunto que e compacto com respeito a esta topologia. Isto e conseq
uencia do Teorema 3.2.5, e do
fato que toda seq
uencia definida num compacto possui uma subseq
uencia uniformemente convergente.
Lema 4.1.6 Seja I um funcional que e definido sobre um subespaco W de H 1 , e suponha que para todo
n
umero real c, o conjunto I c W e compacto em H 1 . Ent
ao, I e limitado inferiormente e assume seu
nfimo sobre W.
Demonstra
c
ao: Como a topologia fraca de H 1 e Hausdorff, conforme Proposicao B.0.12, e como todo
compacto num espaco de Hausdorff e fechado, conforme Teorema A.2.1, temos que I c W e fechado na
topologia fraca de H 1 . Logo, I c W e fechado na topologia fraca (relativa) de W, assim, I restrito a`
W e semi-contnuo inferiormente sobre W. Fixe um n

umero real c tal que I c W 6= . Entao I assume
seu nfimo sobre I c W, ja que I c W e fechado na topologia fraca relativa de W. Em conseq

uencia da
topologia relativa de W, o nfimo de I sobre I c W e o nfimo de I sobre W.
Coment
ario: O Lema acima nos diz que para encontrar o nfimo de I sobre H 1 e bastante estudar I
sobre W.
4.1.4
Demonstrac
Seja = (T ) o espaco de todos os ciclos T -periodicos x = x(t) de H 1 que circundam ou interceptam

a origem, e para o qual I(x) existe como integral de Lebesgue. Mostraremos que I| assume seu nfimo.
De acordo com o Lema 4.1.6, e suficiente mostrar que I c e um subconjunto fracamente compacto de
H 1 para todo n
umero real c, isto e, temos que mostrar que para todo n
umero real c,
(i) O conjunto I c e limitado na norma H 1 ,
(ii) O conjunto I c e fechado na topologia fraca de H 1 .
Demonstra
c
ao:
82
(i) Da desigualdade de Cauchy-Schwarz, temos

l(x) =
" Z
|x (t)|dt T
T
0
|x (t)| dt
# 21
onde l(x) denota o comprimento de arco da curva x entre t = 0 e t = T. Logo, referindo-se a (4.1.1),
temos que os elementos de I c sao uniformemente limitados no comprimento de arco.
De fato, para x I c = {x H 1 : I(x) c}, temos

Z T
1 0 2
1
|x (t)| +
I(x) =
dt c,
2
|x(t)|
0
entao,
Assim,
l(x) =
T
0
|x0 (t)|2 dt 2c.
" Z
|x0 (t)|dt T
T
0
|x0 (t)|2 dt
# 21
[T 2c] 2 .
Alem disso, de (3.4.21) temos que

kxkL2 constkx0 kL2 ,
e como
kxk2H 1 = kxk2L2 + kx0 k2L2
segue-se que I c e limitado na norma H 1 .
(ii) Seja {xn } uma seq
uencia em I c que converge fracamente para algum x em H 1 . Entao, x = x(t)
circunda ou intercepta a origem, pois convergencia fraca em H 1 implica convergencia em C 0 , (veja [13]).
Mostraremos, agora, que I(x) existe e que I(x) c, ou seja, que x I c .
Para cada n seja fn (t) =
1
|xn (t)|
e seja f (t) =
1
|x(t)| ,
cada fn pertence a L1 , pois I(xn ) < . Isto
implica que o conjunto dos t para o qual xn (t) = 0 tem medida zero. Logo, fn (t) f (t) quase sempre.
Tambem,
fn dt =
0
T
0
1
dt I(xn ) c,
|xn (t)|
ja que xn esta em I c . Logo, pelo Lema de Fatou, segue-se que f pertence a L1 e que
Z T
Z Th
Z T
i
f (t)dt =
lim inf fn (t) dt lim inf
fn (t)dt.
0
83
(4.1.13)
Agora, a convergencia fraca de xn para x no espaco de Hilbert H 1 implica que

kxkH 1 lim sup kxn kH 1 ,
n
conforme Proposicao B.0.13. Logo,

kxk2L2 + kx0 k2L2

lim sup kxn k2L2 + kx0 k2L2
n

lim sup kxn k2L2 + lim sup kx0n k2L2 .
n
Mas, pelo Teorema de Sobolev xn converge em C 0 , ou seja

kxk2L2 = lim sup kxn k2L2 .
n
Conseq
uentemente,

kx0 k2L2 lim sup kx0n k2L2 .
(4.1.14)
Sendo,
I(x)
=
=
T
0
|x0 (t)|2 dt +
kx0 k2L2 +
I(x)
1
dt
|x(t)|
f (t)dt,
0
por (4.1.13), temos

kx0 k2L2
+ lim inf
n
(Z
fn (t)dt .
0
Assim, usando (4.1.14), obtemos

I(x)
lim sup
n
kx0 k2L2
+ lim inf
(Z
lim sup kx0 k2L2 + lim sup
lim sup
n
kx0 k2L2
fn (t)dt
0
(Z
fn (t)dt
0
fn (t)dt
0
lim sup I(xn ) c.
Logo, I assume seu nfimo sobre I , o que completa a prova de (ii).

c
Seja x um elemento de no qual I| assume seu nfimo. Suponha que x pertence a = (T ).

Entao, x = x (t) nao intercepta a origem, assim, o mesmo argumento simples, dado na Secao 3.5, mostra
que x e uma solucao de (4.1.2), e que satisfaz as equacoes de Euler-Lagrange para o funcional I.
84
Suponha, agora, que x = x (t) intercepta a origem em certo tempo t. De acordo com o Lema 4.1.5,
para completar a prova, neste caso, e suficiente mostrar que x = x (t) e uma solucao continuada de
(4.1.2).
O conjunto dos t para os quais x (t) 6= 0 e aberto. Seja [a, b] algum intervalo fechado neste conjunto
aberto, [este intervalo fechado pode ser escolhido tal que x (a) 6= 0 e x (b) 6= 0]. Seja t v(t) uma
aplicacao suave definida sobre [a, b] e tomando valores em R2 com v(a) = v(b) = 0. Agora, da propriedade
minimizante de x segue-se que o arco
:= {x = x (t), a t b}
obriga minimizar a acao de I sobre o espaco dos caminhos y = y(t) de H 1 que unem x (a) a` x (b) com
tempo de transicao T = b a, e que podem ser deformado continuamente sobre o arco sem interceptar
a origem. Logo em conseq
uencia de (1.4.15) da Secao 1.4, temos
d
I(x + v)|t=t0 = 0
d
para todo t0 em (a, b), e logo, x = x (t) satisfaz as equacoes de Euler-Lagrange sobre o intervalo aberto
(a, b). Como isto e valido para todo intervalo (a, b), nas condicoes descritas acima, segue-se que x e uma
solucao continuada de (4.1.2), o que conclui a prova do Teorema 4.2.1.
Observa
c
ao: Geralmente por operar na categoria dos espacos H 1 nao introduzimos certas complicacoes
sobre este argumento classico. Normalmente, deve-se mostrar que o caminho minimizante e suficientemente regular antes de poder estabelecer que ela satisfaz as equacoes de Euler-Lagrange. (Veja [12] e
[13]).
4.2
Exist
encia de soluco
es peri
odicas sem colis
ao em problemas
planares do tipo N-corpos
Nesta secao, usaremos metodos variacionais para encontrar solucoes periodicas sem colisao em problemas planares do tipo N-corpos (isto e, em problemas cuja funcao potencial satisfaz as condicoes (V1)-(V4)
abaixo). Seguiremos os artigos Symetries and noncolision closed orbits for planar N-body type problems,
de (Bessi and Coti Zelati, 1991) e Periodic solutions for N-body type problems de (Coti Zelati, 1990).
85
4.2.1
Preliminares
Consideremos o seguinte sistema de equacoes diferenciais ordinarias de segunda ordem

mi yi00 (t) = yi V (y0 (t), , yN (t)).
(4.2.15)
Onde assumimos as seguintes hipoteses sobre V : R2(N +1) R.

(V1) V (y0 , , yN ) =
1
2
0i6=jN
Vij (yi yj ),
(V2) Vij C 2 (R2 {0}; R), para todo i, j {1, , N }, i 6= j,

(V3) Vij () , quando || 0, para todo i, j {1, , N }, i 6= j, R2 {0},
(V4) V (y0 , yN ) 0, para todo (y0 , , yN ) R2(N +1) .
Assumiremos, tambem que mi > 0, para todo i, e faremos M =
N
X
mi .
i=0
Observa
c
ao: A funcao potencial do problema dos (N + 1)-corpos e dada por
V =
0i<jN
mi mj
|yi yj |
e claramente satisfaz as propriedades (V1)-(V4). De fato,

(V1) Como
mi mj
|yj yi |
mi mj
|yi yj | ,
temos
0i<jN
1
mi mj
=
|yi yj |
2
0i6=jN
(V2) Vij () =
mi mj
||
C (R2 {0}; R), para todo 0 i 6= j N,
(V3) Vij () =
mi mj
||
, quando || 0.
(V4) V (y0 , yN ) =
l = 0, , N.
0i<jN
mi mj
,
|yi yj |
mi mj
< 0, para todo (y0 , , yN ) R2(N +1) , pois ml > 0 para todo
|yi yj |
86
Defini
c
ao 4.2.1 Dizemos que uma funca
o
y(t) = (y0 (t), , yN (t))
e uma solu
c
ao sem colis
ao de (4.2.15) se y(t) e soluca
o de (4.2.15) e se y i (t) 6= yj (t) sempre que i 6= j,
para todo t [0, T ].
Defini
c
ao 4.2.2 Dizemos que

y(t) = (y0 (t), , yN (t)) H 1 S 1 ; R2(N +1)
e uma solu
c
ao generalizada de (4.2.15) se, y(t) e soluca
o de (4.2.15) e se, denotando por C o conjunto
C = {t [0, T ] : yi (t) = yj (t) para algum i 6= j}
tivermos satisfeitas as tres condico
es seguintes:
(a) med(C) = 0; onde, med indica a medida de Lebesgue;

(b) y(t) = (y0 (t), , yN (t)) C 2 [0, T ] C; (R2 )(N +1) ;
(c) H =
N
X
mi
0=1
|yi0 |2 + V (y0 (t), , yN (t)) e constante sobre [0, T ] C.
Observa
c
ao: Como
Vyk =
0j6=kN
Vj k (yj yk ) +
0j6=kN
Vk j (yk yj ).
Segue-se de (4.2.15) que

N
X
k=0
mk yk00 =
N
X
k=0
yk V =
onde por integracao direta
N
X
k=0
0j6=kN
Vj k (yj yk ) +
N
X
mk yk0 (t) = A
k=0
e logo
N
X
mk yk (t) = At + B,
k=0
87
0j6=kN
Vk j (yk yj ) = 0,
sendo A e B constantes dependendo das condicoes iniciais. Assim, temos que o momento linear e conservado e o centro de massa esta sobre a reta
r(t) = At + B.
Alem disso, se existir algum n
umero real P > 0 tal que, yk (t + P ) = yk (t) para todo t e para todo
k {0, , N }, temos
N
X
mk yk (t) = At + B
k=0
N
X
mk yk (t + P ) = A(t + P ) + B = At + B + P A.
k=0
Mas,
N
X
mk yk (t) =
mk yk (t + P ),
k=0
k=0
entao
N
X
At + B = At + B + P A,
assim P A = 0, o que implica A = 0. Logo conclumos que em tal situacao o momento linear deve ser
nulo.
Usando a conservacao do momento linear o sistema (4.2.15) pode ser transformado em um outro
equivalente. Introduzindo a Lagrangiana
N
L(y, y 0 ) =
1X
mi |yi0 |2 V (y0 , , yN ),
2 i=0
(4.2.16)
o sistema (4.2.15) corresponde as equacoes de Euler-Lagrange correspondente ao funcional cujo integrando

e a Lagrangiana L.
De fato, as equacoes de Euler-Lagrange para tal funcional sao dadas por
Ly i
d
Ly0 = 0, (i = 0, , N ),
dt i
mas,
Lyi = yi V, Lyi0 = mi yi00 .
Logo,
Ly i
d
Ly0 = 0 yi V mi yi00 = 0
dt i
88
que resulta na equacao (4.2.15).

Facamos, agora, a seguinte mudanca de coordenadas
xi = yi y0 , (i = 1, , N )
(4.2.17)
e defina a nova Lagrangiana L como

N
L(x, x0 ) =
1 X mi mj 0 0
1X
hxi , xj i Ve (x1 , , xN )
mi |x0i |2
2 i=1
2 i,j M
onde Ve denota o potencial V na nova coordenada x, ou seja,

N
1X
1
Ve = Ve (x1 , , xN ) =
[Vi0 (xi ) + V0i (xi )] +
2 i=1
2
Com efeito,
1i6=jN
(4.2.18)
Vij (xi xj ).
1X
1X
1X
[(Vi0 (xi )) + V0i (xi )] =
Vi0 (yi y0 ) +
V0i (y0 yi ),
2 i=1
2 i=1
2 i=1
e
1
2
1i6=jN
Vij (xi xj ) =
1
2
N
X
i6=j, i=1
[Vij ((yi y0 ) (yj y0 ))] =
1
2
N
X
i6=j, i=1
Vij (yi yj ),
somando as duas u
ltimas equacoes, obtemos V (y0 , , yN ). Provando que Ve e dado por V nas novas
coordenadas.
Se (4.2.15) representa as equacoes de movimento de um problema de (N + 1)-corpos no plano com

centro de massa na origem, isto e,
N
X
mi yi = 0,
i=0
ao efetivar a mudanca de coordenadas (4.2.17), reduzimos a` um problema de N -corpos com centro de

massa em M y0 , ou seja
N
X
i=1
mi xi = M y0 .
Ainda temos o seguinte Lema.

Lema 4.2.3 Se (y0 , , yN ) e uma soluca
o de (4.2.15) tal que
R(t) =
N
X
i=0
mi yi (t) 0,
89
(4.2.19)
ent
ao (x1 (t), , xN (t)) e uma soluca
o de
d
L(x(t), x0 (t))
L(x(t), x0 (t)) = 0.
x
dt x0
(4.2.20)
Reciprocamente, se (x1 , , xN (t)) e uma soluca

o de (4.2.20), ent
ao y(t) dado por
y0 (t) =
N
N
1 X
1 X
mi xi (t), yi (t) = xi (t)
mi xi (t)
M i=1
M i=1
(4.2.21)
e uma soluca
o de (4.2.15) satisfazendo R(t) = 0.
Demonstra
c
ao: Suponhamos que (y0 (t), , yN (t)) e uma solucao de (4.2.15), tal que R(t) =
0. Entao, para todo i = 0, . . . , N, temos
N
X
mi yi (t) =
i=0
L(y, y 0 )
L(y, y 0 ) 0,
yi
dt yi0
e como m0 y0 + + mN yN = 0 implica y0 = m10 (m1 y1 + + mn yN ), donde
lado,
y00 =
y00
mi
1
0
(m1 y10 + + mN yN
), donde
.
=
m0
yi0
m0
usando estas hipoteses, temos

N
X
L
L
L y0
mi L
L xj
=
=
+
,
yi
x
y
y
y
x
m
j
i
0
i
i
0 y0
j=1
#
"
N
X
L
L x0j
L y00
mi L
L
=
=
0 y 0 + y 0 y 0
0 m y 0 ,
yi0
x
x
0
0
0
j
i
i
i
j=1
d L
mi d L
d L
.
=
0
0
dt yi
dt xi
m0 dt y00
Da

L
d L
L
mi d L
0=
+
xi
dt x0i
m0 dt y00
y0
como
L
d L
= 0,
0
dt y0
y0
ja que y e solucao de (4.2.15), resulta que (x1 , , xN ) e solucao de (4.2.20).
90
y0
yi
mi
= m
. Por outro
0
Reciprocamente, suponha que (x1 , , xN ) e uma solucao de (4.2.20), o que implica

L
d L
= 0, para i = 1, , N.
x
dt x0
Mas
h
X L yj
mi i L
L
=
= 1
,
xi
yj xi
M yi
j=1
N
N
h
X
L
L yj0
mi i L
=
=
1
x0i
yj0 x0i
M yi0
j=1
d L
d L
mi d L
=
.
0
0
dt xi
dt yi
M dt yi0
Assim, usando estas tres u
ltimas equacoes, temos
0=
ou seja,
0=
como
mi
M
mi L
d L
mi d L
L
+
0
yi
M yi
dt yi
M dt yi0

h

d L
d L
d L
mi L
mi i L
L
=
1
,
yi
dt yi0
M yi
dt yi0
M
yi
dt yi0
6= 1, pois cada mi > 0 e
mi
M
= 1 se, e somente se, mj = 0 para todo j 6= i. Entao, temos que
(y0 , , yN ) e uma solucao de
L
d L
.
yi
dt yi0
Logo e uma solucao de (4.2.15). Alem disso, como y0 e yi sao dados por (4.2.21)
"N
# N
N
N
N
X
X mi X
X
m0 X
mi xi (t)
mi yi (t) =
mi xi (t) +
m0 y0 (t) +
mi xi (t)
M i=1
M i=1
i=1
i=1
i=1
N
X
mi N
m0 +
N
X
X
i=1
=
m
x
(t)
+
mi xi (t)
i
i
i=1
i=1
=
Logo, R(t) =
N
X
N
X
mi xi (t) +
i=1
N
X
i=1
mi yi (t) = 0.
i=1
91
mi xi (t) = 0.
Lema 4.2.4 Nas condico

es do Lema anterior, se x(t) e uma soluca
o T -peri
odica de (4.2.20), ent
ao y(t)
ser
a, tambem, uma soluca
o T -peri
odica de (4.2.15).
Demonstra
c
ao:
Suponha x(t) periodica de perodo T, isto e, x(t + T ) = x(t), entao x i (t + T ) =
xi (t) para, i = 1, , N. Logo,

y0 (t + T ) =
N
N
1 X
1 X
mi xi (t + T ) =
mi xi (t) = y0 (t),
M i=1
M i=1
N
N
1 X
1 X
mi xi (t + T ) = xi (t)
mi xi (t) = yi (t).
yi (t + T ) = xi (t + T )
M i=1
M i=1
Portanto, y(t) = (y0 (t), , yN (t)) e tambem periodica.
4.2.2
Exist
encia de soluco
es com restrico
es topol
ogicas
Definamos os seguintes conjuntos:

= {x(t) = (x1 (t), , xN (t)) R2 {0} R2 {0} : xi (t) 6= xj (t) t S 1 , i 6= j}.
k = {x H 1 S 1 ; R2 {0}
: grau(x) = k},
onde : S 1 R2 {0} S 1 (onde denota um difeomorfismo), e grau() = k significa que e uma

curva periodica que fecha apos dar k voltas em torno da origem (note que sendo uma curva plana
o grau() coincide com o ndice de ). Da, e uma curva periodica de perodo

continuidade da funcao grau, o conjunto k e um aberto em H 1 S 1 ; R2 {0} .
T
k.
Note que pela
Seja, agora,
(k1 ,...,kN ) = {x = (x1 , , xN ) k1 kN : xj (t) 6= xi (t) t S 1 , i 6= j}.

Note que se x (k1 ,...,kN ) , entao x e uma curva periodica de perodo T. Em particular se x
(k1 ,...,kN ) e x(t) e uma solucao de (4.2.20), teremos que ela e periodica de perodo T.
Para conseguir solucoes periodicas de (4.2.20), e logo de (4.2.15), usando Calculo Variacional, definamos o funcional f : (k1 ,...,kN ) R por
Z
f (x1 , , xN ) =

L x1 (t), , xN , x01 (t), , x0N (t) dt.
92
(4.2.22)

Primeiramente, observemos que (k1 ,...,kN ) e aberto em H 1 = H 1 S 1 ; R2 {0} , logo conforme Secao
3.5, os pontos crticos de f |(k1 ,...,kN ) sao tambem pontos crticos de f sobre H 1 . (Note que da segunda
Observacao da Secao 1.3, do Captulo 1, tais pontos crticos correspondem a pontos de mnimo desde que
L > 0).
Claramente os pontos crticos de f em (k1 ,...,kN ) sao solucoes sem colisao de (4.2.20), pois xi (t) 6= xj (t)
se i 6= j e as equacoes de Euler-Lagrange do funcional f sao dadas por (4.2.20).
Suponha, agora, que as condicoes (V1)-(V4) valem. Entao pelo Lema 3.4.1, temos que f e coercivo
sobre (k1 ,...,kN ) , conforme foi definido na Secao 3.2.1.
Teorema 4.2.5 Suponha (V1)-(V4) v
alidas e que (F.F) vale. Ent
ao (4.2.15) tem uma soluca
o T peri
odica sem colis
ao.
Demonstra
c
ao: Precisamos mostrar que existe (x1 , , xN ) (k1 ,,kN ) , tal que
f (x1 , , xN ) =
min
(k1 ,,kN )
e que (x1 , , xN ) e uma solucao sem colisao de (4.2.20). Para isto, considere
= inf{f (x) : x (k1 ,,kN ) },
e seja {xn } uma seq
uencia minimizante de (k1 ,,kN ) , (conforme a Secao 3.2.2), assim

f x(n) .
Entao dado > 0, para n suficientemente grande,

Z
N
X
mi
i=1
(n)
(n)
Como V x1 , , xN
T
0
(n)0
|xi
(t)|2 dt
T
0
(n)
0, temos que para todo i

Z
T
0
(n)
V (x1 (t), , xN (t))dt + .
(n)
|xi (t)|2 dt
Mas, de (3.4.21)
kxk2L
93
2( + )
.
mi
T kx0 kL2
(n)
(n)
temos que para a seq

uencia minimizante x(n) = (x1 , , xN )
(n)
kxi kH 1 const.
para i {1, , N } e para todo n suficientemente grande, pois
(n)
(n)
kxi k2H 1 (1 + T 2 )kxi k2L2 (1 + T 2 )
2( + )
.
mi
Pela compacidade fraca da bola fechada centrada na origem e raio R, conforme Lema 3.2.10, temos que
para i {1, , N },
(n)
xi
xi
fracamente em H 1 (S 1 ; R2 ), e logo, pelo Teorema de Sobolev, converge em C 0 ([0, T ]). (Veja [13]). Mas
{xn } esta definida num compacto, entao temos convergencia uniforme em C 0 ([0, T ]). Assim, usando o
Lema de Fatou, obtemos
f (x)
f (lim inf x(n) ) =

n
X
N Z
lim inf

lim inf f x(n) .
i=1
Z T
mi (n)0
(n)
(n)
|xi (t)|2 dt
lim inf V (x1 (t), , xN (t))dt
n
n 2
0
0
i=1

Z T
mi (n)0
(n)
(n)
2
V (x1 (t), , xN (t))dt
|x (t)| dt
2 i
0
N Z
X
lim inf
Logo, f e fracamente semi-contnuo inferiormente.

Como ha (F.F.) pelo Lema 3.4.2, segue-se que f x(n) +, para toda seq
uencia {x(n) } tal que
x(n) x fracamente em H 1 , com x (k1 ,,kN ) . Logo x esta no interior de (k1 ,,kN ) . Como f e
fracamente semi-contnuo inferiormente e {xn } e uma seq
uencia minimizante segue-se, do Teorema da
Minimizacao Basica, que x (k1 ,,kN ) e um mnimo para f em (k1 ,,kN ) . Tal mnimo e uma solucao
sem colisao de (4.2.20), ja que xi (t) 6= xj (t) se i 6= j e as equacoes de Euler-Lagrange do funcional f sao
dadas por (4.2.20). Logo, o y correspondente obtido por (4.2.17) e uma solucao sem colisao de (4.2.15).
Teorema 4.2.6 Suponha que as mesmas hip

oteses do Teorema 4.2.5 s
ao v
alidas mas (F.F.) n
ao necessariamente e valida. Ent
ao podemos concluir, ainda que, (4.2.15) tem ao menos uma soluca
o T -peri
odica
generalizada.
94
Demonstra
c
ao: Neste caso onde (F.F.) nao vale, a coisa e mais delicada, e dividiremos a demonstracao
em tres etapas:
Etapa 1 (Pertuba
c
ao no Potencial V ): Podemos modificar Vij em B (0) de tal modo que o potencial
modificado, denotado por, Vij satisfaz (F.F.) e tende para Vij em quase toda parte.
Isto pode ser feito, por exemplo considerando
(|x|)
,
|x|2
Vij (x) = Vij (x)
onde, C 2 (R+ ; R+ {0}), (x) = 0, x 2 , (x) = 1, x < 2 . Entao

Vij (x)
= | log |x||2 , |x| < ,

2
|x|
2
assim, (F.F.) vale com Uij (x) = log |x|.

Note que
lim Vij (x) = Vij (x) lim
(|x|)
= Vij (x).
|x|2
Etapa 2 (Exist
encia de Mnimo): Fazendo
V (x1 , , xN ) =
1
2
1i6=jN
Vij (xi xj ),
o funcional f para a Lagrangiana modificada

N
L (x, x0 ) =
1 X mi mj 0 0
1X
mi |xi |2
hxi , xj i Ve (x1 , , xN )
2 i=1
2 i,j M
tem um mnimo no interior de (k1 ,,kN ) .

De fato, seja
= inf{f (x) : x (k1 ,,kN ) }.

Considere uma seq
uencia minimizante {x(n) } (k1 ,,kN ) , conforme Secao 3.2.2, assim
f (x(n) ) .
Entao para n suficientemente grande,
Z
N
X
mi
i=1
T
0
(n)0
|xi
(t)|2 dt
T
0
(n)
(n)
V (x1 (t), , xN (t))dt + .

95
(n)
(n)
Como V (x1 , , xN ) 0, temos que para todo i

Z T
2( + )
(n)
|xi (t)|2 dt
mi
0
como de (3.4.21)
kxk2L
T kx0 kL2
(n)
(n)
temos que para a seq

uencia minimizante x(n) = (x1 , , xN )
(n)
kxi kH 1 const.
para todo i {1, , N } e para todo n suficientemente grande, pois
(n)
(n)
kxi k2H 1 (1 + T 2 )kxi k2L2 (1 + T 2 )
2( )
.
mi
Pela compacidade fraca da bola centrada na origem e raio R, conforme Lema 3.2.10, temos que para
i {1, , N },
(n)
xi
xi
fracamente em H 1 (S 1 ; R2 ), e logo, pelo Teorema de Sobolev, uniformemente em C 0 ([0, T ]). Assim, usando
o Lema de Fatou, temos
f (x )
Z T
mi (n)0
(n)
(n)
2
lim inf V (x1 (t), , xN (t))dt
|xi (t)| dt
= f (lim inf x ) =
lim inf
n
n
n 2
0
0
i=1
X

Z T
N Z T
mi (n)0
(n)
(n)
2
lim inf
|x (t)| dt
V (x1 (t), , xN (t))dt
n
2 i
0
i=1 0

= lim inf f x(n) .
(n)
N Z
X
Logo, f e fracamente semi-contnuo inferiormente.
Como ha (F.F.) segue-se do Lema 3.4.2, que f (x(n) ) +, para toda seq
uencia {x(n) } tal que
x(n) x fracamente em H 1 com x (k1 ,,kN ) . Logo x esta no interior de (k1 ,,kN ) . Como f e
fracamente semi-contnuo inferiormente segue-se, do Teorema da Minimizacao Basica e do fato de {x n }
ser minimizante, que x (k1 ,,kN ) e um mnimo para f em (k1 ,,kN ) .
Etapa 3 (Converg
encia no conjunto dos mnimos): O conjunto dos mnimos (x 1 , , xN ) de
f e fracamente compacto em H 1 e quando 0, o mnimo converge fracamente para uma solucao

generalizada de (4.2.20).
96
De fato, sabemos que os sao finitos, entao c, para todo > 0. Isto implica que
Z T
2
|xi |2 dt C 0 , 1 i N, > 0.
kxi kH 1 C
0
Entao, pelo mesmo argumento usado na etapa anterior xi xi fracamente em H 1 . Basta, entao mostrar
que x = (x1 , , xN ) e uma solucao generalizada de (4.2.20). Para isto, considere, i 6= j
Cij = {t [0, T ] | xi (t) = xj (t) > 0}.
Entao, como (xi xj ) e contnua, cada Cij e um conjunto fechado e, quando 0

xi xj 0
uniformemente em Cij . Entao, se med(Cij ) > 0, quando 0,

= f (x )
T
0
Vij (xi (t) xj (t))dt +,
pois V admite (F.F.). Mas isto e uma contradicao. Logo med(Cij ) = 0 i 6= j.

Seja C =
1i6=jN
Cij , entao med(C) = 0. Considere para todo n 1

Kn [0, T ] C,
onde os Kn sa compactos,
n1
Kn = [0, T ] C, Kn Kn+1 . Seja

e n = {x(t) : t Kn }.
K
e n e um conjunto compacto pois x e contnua.

Entao para todo n 1, K
e n tal que o fecho de Un e compacto em (podemos sempre escolher

Escolha uma vizinhanca Un de K
e n a` c e positiva). Entao, para todo suficientemente pequeno

tal vizinhanca Un , pois, a distancia de K
temos que V V em C 1 (U n ; R). Com efeito, na Etapa 1 vimos que V V, quando 0. Alem disso
d
V (x(t))
dt ij
=
=

Vij
(|x|)
0
(x(t)) x (t) =
Vij (x)
x0 (t)
x
x
|x|2

(|x|)2x0
Vij (x) +
x0 (t).
x
|x|4
97
Da
d
lim Vij (x(t))
0 dt

(|x|)2x0 0
Vij
0
(x(t)) x (t) + lim
x (t)
0
x
|x|4
Vij
(x(t)) x0 (t)
x
d
Vij (x(t)) ,
dt
=
=
=
Logo, V V em C 1 (U n ; R) quando e suficientemente pequeno.

Conseq
uentemente,
xi V (x1 (t), , xN (t)) xi V (x1 (t), , xN (t))
uniformemente em Kn . Como
mi (xi )00 (t) = xi V (x1 (t), , xN (t))
temos que quando 0
xi xi
em C 2 [0, T ] sobre Kn e logo, x(t) = (x1 (t), , xN (t)) e solucao de

mi x00i (t) = xi V (x1 (t), , xN (t)),
para todo t Kn .
Como
n1
Kn = [0, T ] C, temos que x satisfaz as condicoes (a) e (b) da definicao de solucao
generalizada. A condicao (c) segue-se, notando que

N
H (t) =
1X
0
mi |xi (t)|2 + V (x1 (t), , xN (t))
2 i=1
e uma constante do movimento. Alem disso, de

H =
1
f (x1 , , xN )
T
sendo
f (x ) =
98
|(xi )0 |2 dt const.
temos que H e limitada em R. Podemos entao assumir que H H quando 0. Entao segue-se que
para todo t1 , t2 [0, T ] C.
N
H0 (t1 )
=
=
=
=
1X
mi |x0i |2 + V (x1 (t), , xN (t))
2 i=1
lim H (t1 )
lim H (t2 )
H0 (t2 )
e isto prova que x e uma solucao generalizada de

mi x00i (t) = xi V (x1 (t), , xN (t)).
Logo y dado atraves de (4.2.17) e uma solucao generalizada de (4.2.15). Completando, assim a demonstracao do Teorema 4.2.6.
Observa
c
ao: Como no problema dos N-corpos nao ha (F.F.), nao podemos aplicar o Teorema 4.2.5.,
para estudar a existencia de solucoes periodicas sem colisao.
4.2.3
Exist
encia de soluco
es com restrico
es de simetria
Consideremos o seguinte sistema de equacoes diferenciais de segunda ordem

mi x00i (t) = xi V (x1 (t), , xN (t))
(4.2.23)
com a seguinte condicao inicial

xi (0) = xi (T ).
Assumimos que V satisfaz as mesmas hipoteses (V1)-(V4), da Secao anterior. Assumimos, ainda que
N
X
mi > 0 para todo i, M =
mi e
i=1
Vij (x) = Vji (x), para 1 i 6= j N.

99
(4.2.24)
Definamos os seguintes conjuntos

= {x = (x1 , , xN ) : xi H 1 S 1 ; R2 },

T
0 = x : x t +
= x(t)
2
e defina o funcional f : 0 R como
f (x1 , , xN ) =
Z
N
X
mi
i=1
T
0
|x0i (t)|2 dt
T
0
V (x1 (t), , xN (t))dt.
Como vimos na Secao 3.5, do captulo 3, os pontos crticos de f |0 sao tambem pontos crticos de f sobre
H 1.
Aplicando o mesmo procedimento da Secao anterior e facil mostrar que os pontos crticos de f sobre
0 sao solucoes sem colisao de (4.2.23) e que f e coercivo sobre 0 , conforme Secao 3.4. Alem disso,
como Vij (x) = Vji (x), temos
V (x1 (t), , xN (t))
=
=
=
1
2
1
2
Vij (xi (t) + xj (t))
1i6=jN
1i6=jN
Vji (xj (t) xi (t))
V (x1 (t), , xN (t)).
Logo,
f (x1 (t), , xN (t)) = f (x1 (t), , xN (t)),
entao, x e tambem ponto crtico de f, logo solucao de (4.2.23).
Ainda temos o seguinte Teorema
Teorema 4.2.7 Suponha V satisfazendo (V1)-(V4) e (4.2.24). Ent

ao para todo T > 0, temos infinitas
soluco
es generalizadas T -peri
odicas para (4.2.23).
Demonstra
c
ao: Provaremos primeiro a existencia de pelo menos uma solucao generalizada. Se cada V ij
satisfaz a condicao (F.F.) a demonstracao e inteiramente analoga a do Teorema 4.2.5, onde ha existencia
de pelo menos uma solucao T -periodica sem colisao (e logo generalizada), para (4.2.23). Caso o potencial
V nao satisfaca a condicao de (F.F.), a demonstracao de que existe pelo menos uma solucao T -periodica
100
generalizada e semelhante a do Teorema 4.2.6, onde dividimos a demonstracao em tres etapas. Nas Etapas
1 e 3 repetimos os mesmos procedimentos. Quanto a Etapa 2, pelo fato das curvas nao, necessariamente,
circundarem a origem, nao podemos usar a estimativa
kxk2L
T kx0 kL2 .
Mas usando a hipotese de simetria, podemos obter uma estimativa semelhante, pois sendo x i t +
xi (t), temos
|x(t)|
T
2

T
1
x(t) x t +
2
2

Z T

1 t+ 2 0

x (s)ds

2 t
r Z t+ T
12
2
1 T
|x0 (s)|2 ds
2 2
t
Z T
12
T
0
2
|x (s)| ds ,
4
0
=
=
logo
kxk2L
T 0
kx kL2 .
16
Conseq
uentemente, podemos adaptar a Etapa 2 com esta nova estimativa e concluir que (4.2.23) tem
pelo menos uma solucao generalizada.
Mostraremos, agora, que na verdade existem uma infinidade de solucoes generalizadas T -periodicas
para (4.2.23). De fato, Seja xT a solucao encontrada pelo processo descrito acima (isto e conforme
adaptacao do Teorema 4.2.6). Para provar a existencia de infinitas solucoes T-periodicas, comecemos
observando que xT nao pode ser constante, pois se isto ocorresse
xT (t +
T
) = xT (t) xT 0,
2
contradizendo o fato de xT ser generalizada. Seja
T
K,
K 1 o perodo mnimo de xT . Aplicando a
T
prova de existencia, como acima, com T substitudo por K+1
encontramos uma solucao x T que e uma
K+1

T
solucao K+1 -periodica de (4.2.23). Sendo o problema autonomo, tal solucao e tambem uma solucao
T-periodica. Procedendo com esta construcao conseguiremos uma infinidade de solucoes T-periodicas.
101
4.3
Soluco
es com simetrias de rotac
ao
Motivados pelo problema dos N -Corpos em Rk , para o qual

V (y0 , , yN ) = V (Ry0 , , RyN ), R O(k)
(4.3.25)
(onde O(k) denota o grupo das rotacoes em Rk ). Faremos algumas suposicoes de simetrias sobre nosso
potencial V. Comecamos introduzindo

R =
cos
sen
sen
cos
(4.3.26)
onde R SO(2), [0, 2] onde SO(2) denota o grupo das rotacoes em R2 preservando orientacao.
Observa
c
ao: Pelo Teoria classica das Equacoes Diferenciais Ordinarias, segue-se que, se y(t) e solucao
da EDO
y 00 = V (y(t))
e se
V (R y(t)) = V (y(t)).
Entao, R y(t) e tambem solucao da mesma EDO.
Assumiremos que existe l N, l 2, tal que

V (y0 , , yN ) = V R 2l y0 , , R 2l yN .
Observa
c
ao: Note que, sendo =
y(t + T )
2
l
entao Rl = I. Alem disso, se y t +

T
l
T
l
lvezes
z
}|
{
T
T
= y
t + l + + l
y t+l
R( 2 2 ) y(t) = Rl2 y(t)
y(t).
(V 5)l
Logo, y(t) e uma solucao T-periodica.
102
= R 2l y(t), temos
Entao introduzimos o conjunto 4N

l , dado por

H 1 S 1 ; R2 , yi (t) 6= yj (t), t S 1 , i 6= j,
4N
yi
l = {(y0 , , yN ) :

T
yi t +
=
l
R 2l yi (t), t, i}.
Cuja fronteira e dada por

4N
yi (t)
l = {(y0 , , yN ) :

T
yi t +
=
l

H 1 S 1 ; R2 , t S 1 , : yi (t) = yj (t), para algum i 6= j,
R 2l yi (t), t, i}.
Note que se (y0 , , yN ) 4N

ao
l , ent

T
V y t+
l

T
V y0
, , yN t +
l

V R 2l y0 (t), , R 2l yN (t)
=
=
T
t+
l
V (y0 (t), , yN (t)) = V (y(t)).
Introduzimos, tambem, o funcional I : 4N

l R dado por
I(y0 , , yN ) =
Z
N
X
mi
i=0
T
0
|yi0 (t)|2 dt
T
0
V (y0 , , yN )dt
(4.3.27)
e o conjunto colisao
N
N
l = {(y0 , , yN ) 4l
: t S 1 com yi (t) = yj (t) i, j}.
e um conjunto aberto no subespaco linear de H 1 ,

Observa
c
ao: Note que 4N
l

T
1
2
1
= {(y0 , , yN ) : yi (t) H S ; R : yi t +
= R 2l yi (t), t, i}.
l
Logo, conforme Corolario 3.5.6, da Secao 3.5, segue-se que os pontos crticos de I| sao tambem pontos
sao tambem pontos crticos de

crticos de I em H 1 e pela Proposicao 3.5.4, os pontos crticos de I|4N
l
I| e por transitividade os pontos crticos de I|4N
sao pontos crticos de I sobre H 1 .
l
Como conseq
uencia desta u
ltima Observacao formulamos o seguinte Lema
Lema 4.3.1 Suponha (V1)-(V4) e (V 5)l v
alidas. Ent
ao os pontos crticos de I em 4N
ao soluco
es de
l s
(4.2.15).
103
Lema 4.3.2 Suponha (V1)-(V4) e (V 5)l v

alidas com l 2. Ent
ao I e coercivo em 4N
l , no sentido que
para toda seq
uencia (xn ) 4N
l , kxn k + implica que I(xn ) +.
Demonstra
c
ao: Observemos que de (V4) segue-se que
I(y0 , , yN )
N
X
mi
i=0
T
0
|yi0 |2 dt
pois V (y0 , , yN ) < 0. Assim,

I(y0 , , yN )
N
X
i=0
T
0
|yi0 |2 dt = m ky 0 k2L2
onde m = min {mi }.

0iN
Por outro lado,

2

2
2

yi t + T yi (t) = R 2 yi (t) yi (t) = 2 sin |yi |2 .

l
l
l
Com efeito, seja zi = R yi , claramente
|zi |2 = |yi |2 ,
assim,
|zi yi |2 = 2[(1 cos )|yi (t)|2 ]
para =
2
l
+ l ,
|zi yi |2
=
=
=
=
Da, fazendo
com yi t +

T
l
i

h

sin2
|yi |2
2 1 cos2
l
l

h
i
2
2
2 1 cos
+ sin
|yi |2
i l
l
h
+ sin2
2 sin2
l
l

2

2
2
|yi | .
2 sin
l
y(t) = (y0 , , yN )
= R 2l yi (t) temos

2

2

y t + T y(t) = 2 sin |y(t)|2 ,

l
l
104
ou equivalentemente
1
|y(t)| =
2 sin
e disto segue-se
kykL

T

y(t) ,
y t + l
l
1
T 0
ky kL2 .
2| sin( l )| l
Da,
kyk2H 1
= ky 0 k2L2 + kyk2L2
ky 0 k2L2 + T kyk2L
T2
(1 + 2 )ky 0 k2L2 .
l
Entao
kykH 1 + ky 0 kL2 + I(y) +.
O que prova a coercividade do funcional I.
4.3.1
Estimativas
Na proxima Subsecao provaremos a existencia de solucoes sem colisao para (4.2.15). Para isto, faremos
N
algumas estimativas para o nfimo do funcional I sobre 4N
l e sobre 4l .
Lema 4.3.3 Seja, 0 < 2. Considere V = 21
1
2
1i6=jN
1
mi mj
(+1)
|xi xj |
2 2
1i6=jN
X
mi mj
. Ent
ao,
|xi xj |
mi mj
i6=j
(2+)
2
X
N
i=1
onde M =
N
X
1
mi |xi |2
mi .
i=1
Demonstra
c
ao: Observemos primeiramente que pela desigualdade de Holder
X
i6=j
mi mj
X
i6=j
mi mj
|xi xj | 2
|xi xj | 2
105
2
(4.3.28)
X
i6=j
mi mj
|xi xj |
12 X
mi mj |xi xj |
i6=j
21
usando o fato, que a funcao () = 2 e convexa com 0 < 2, e mais uma vez a desigualdade de
Holder, temos
X
X
(2)
X
4
4
p
2
mi mj
2 V (x1 , , xN )
mi mj |xi xj |
mi mj
i6=j
i6=j
p
2 V (x1 , , xN )
(2+)
4
2+
4
M4
X
i6=j
mi mj
i6=j
V (x1 , , xN )
X
i6=j
mi mj
|xi xj |

(2)
4
X
mi mj
i6=j
21 X
2M
N
X
i=1
N
2 4

X
mi |xi |2
mi xi
i=1
X
(2)
N
4
mi |xi |2
i=1
mi mj
i6=j
X
2
N
4
i=1
mi |xi |
4
4
Assim,
X
i6=j
mi mj 2
2+
4
X
i6=j
mi mj
|xi xj |
21 X
mi mj
i6=j
2
X
N
4
i=1
mi |xi |
4
Desta u
ltima desigualdade segue-se que
1
2
2+
4
M4
X
mi mj
X
2
N
4
i=1
i6=j
1
mi |xi |
4
X
mi mj
i6=j
X
i6=j
mi mj
|xi xj |
ou equivalentemente,
1
2
2+
4
X
i6=j
M4
mi mj
(2)
X
4
X
N
i=1
como
(2)
4
+1=
2+
4 ,
mi mj
i6=j
mi |xi |
4
X
i6=j
mi mj
|xi xj |
temos
X
i6=j
mi mj
|xi xj |
12
1
2
2+
4
X
i6=j
M4
X
N
i=1
106
mi mj
2+
4
mi |xi |2
4
21
12
elevando ambos os membros ao quadrado temos o resultado.
Lema 4.3.4 Considere o funcional f : 4N

l R, dado por
f (y0 , , yN ) =
Z
N
X
mi
i=0
T
0
|yi0 |2 dt
bX
+
2
i6=j
T
0
mi mj
dt, b > 0,
|yi yj |
onde 1 2 e b e uma constante real positiva. Ent

ao, fazendo = 2
T , temos que
P

2
2
2
2
1 1
1
i6=j mi mj
b +2 +2 +2 l +1
inf f
+
T
2 2
N
M +2
l
Demonstra
c
ao: Do Lema 4.3.3, temos
f (y0 , , yN )
Z
N
X
mi
i=0
T
0
|yi0 |2 dt
b
2
+2
2
X
mi mj
i6=j
2+
2
T
0
X
N
i=0
dt
mi |yi |
2 .
(4.3.29)
cao de simetria
Se (y0 , , yN ) N
l temos que existe um t tal que yi (t) = yj (t) para todo i, j. Da condi
podemos assumir, sem perda de generalidade, que t = 0 e que yi (0) = 0.
Se, agora, definirmos o momento de inercia R(t) R por
2
M R(t) =
N
X
i=0
temos que
mi |yi (t)|2

R H01 (0, T ); R+ ,
onde H01 ((0, T )) denota o espaco de Sobolev das aplicacoes absolutamente contnuas sobre [0, T ] que se
anulam nos extremos e cujas derivadas sao de quadrado integravel. Mais detalhes veja ([3]).
Nestas condicoes e de facil verificacao que
M R0 (t)2
N
X
i=0
mi |yi0 |2
pois
M R(t)R0 (t) =
N
X
i=0
107
hyi , yi0 i
e usando a desigualdade de Cauchy-Schwarz, temos

N
X
M R(t)|R0 (t)|2 M R(t)2

Alem do mais, como
i=0
mi |yi0 |2

T
yi t +
= R 2l yi (t),
l
temos que

T
R t+
= R(t).
l
Com efeito,

2
T
MR t +
l

2
N

2
X

T

mi R 2l yi (t)
mi yi (t + ) =
l
i=0
i=0
N
X
=
Assim, R e
T
l
periodica, e R
H01
T
l
0,
Disto deduzimos que
N
X
i=0
mi |yi (t)|2 = M R(t).

; R+ .
inf f (y0 , , yN )
inf
N
l
H 1 ((0, Tl ); R+ )
onde, J : H 1 ((0, Tl ; R+ ) R e dado por

M
J(R) = l
2
T
l
0 2
|R | +
X
b
2
mi mj
i6=j
+2
2
J(R)
2+
2
M2
T
l

dt
.
R
De fato, pela observacao anterior, temos
M
f (y0 , , yN )
2
T
0
|R (t)| +
X
mi mj
i6=j
+2
2
2+
2
T
0
X
N
i=0
sendo R periodica de perodo
T
l
dt
mi |yi |
2
resulta que

M
f (y0 , , yN ) l
2
T
l
|R (t)| +
+2
2
108
X
mi mj
i6=j
2+
2
T
l

dt
.
R(t)
Assim, o resultado deste Lema segue-se do Lema abaixo.
Lema 4.3.5 Nas hip

oteses do Lema anterior, temos
inf
H01 ((0,T ); R+ )
J(R)
X
2+
2
mi mj

1
b
1
i6=j
2 2 2
M l R + +2
= T min
R>0
2
M
R
2 2
P

2
2
2
2
1 1
1 +2
i6=j mi mj
=
+
+2 +2 l +2
T.
b
2 2
M +2

Demonstra
c
ao: Veja [10].
Proposi
c
ao 4.3.6 Proposi
c
ao (Desigualdade de Jensen): Se h e uma funca
o real mensur
avel, e
e convexa sobre (a, b), (se e duas vezes diferenci
avel 00 () 0 para todo (a, b)), ent
ao se
a < h(x) < b para todo x e med() = 1, temos
Z

Z

h d
hd .
Demonstra
c
ao: Veja ([20], pp. 62).
Usando esta proposicao daremos mais uma estimativa para nosso funcional f no seguinte Lema.
Lema 4.3.7 Suponha b uma constante positiva e 1 2. Considere
f (y0 , , yN ) =
Ent
ao, para =
2
T ,
Z
N
X
mi
i=0
T
0
|yi0 (t)|2 dt
+b
XZ
i6=j
T
0
mi mj
dt.
|yi yj |
temos
1
inf f (y0 , , yN )
2
4N
l
1
1
+
2
2
+2
2
+2
2
+2
i6=j
M y(t) = ( m0 y0 (t), , mN yN (t)) .

109
M +2
Demonstra
c
ao: Defina y(t) R2N por
mi mj
Da,
N
X
i=0
mi |yi (t)|2 = M |y(t)|2 .
Se denotarmos por N
l o conjunto
r

r

m0
mN
N
y
,
,
y
,
N
=
y(t)
=
:
(y
,
,
y
)
4
0
N
0
N
l
l
M
M
aplicando a desigualdade de Jensen na segunda integral de (4.3.29), temos
X
2+
2
m
m
!
i
j
Z
Z
b
M T 02
1 T dt
i6=j
|y | dt + +2
f (y)
T
.
2 0
M
T 0 |y(t)|
2 2
De fato, notemos que da segunda integral de (4.3.29) temos
Z T
Z T
Z T
dt
dt
dt
1
2
X
2
N
M 2 0 |y(t)|
0 (M |y(t)| ) 2
0
mi |yi (t)|2
i=0
=
alem disso,
1
T
RT
0
1
T
M2
dt = 1; chamando () = e h(t) =
1
T
1
|y(t)| ,
1
|y(t)|
dt
temos que h e contnua, pois y R2N {0},
e e convexa, ja que 1. Entao, pela desigualdade de Jensen

!
!
Z
Z
1 T dt
1 T
1
dt
.
T 0
|y(t)|
T 0 |y(t)|
Logo
T
0
X
N
i=0
Assim, de (4.3.29), obtemos
f (y0 , , yN )
dt
mi |yi (t)|
2
T
M2
1
T
X
T
0
dt
|y(t)|
2+
2
mi mj
b
mi 0 2
i6=j
|yi | dt + +2
M
2 2
0 i=0 2
X
2+
2
m
m
i
j
Z
M T 02
b
i6=j
T
|y | dt + +2
2 0
M
2
2
N
T X
110
1
T
1
T
T
0
T
0
dt
|y|
dt
|y(t)|
A seguir mostraremos que o funcional
M
g(y) =
2
0 2
|y | dt +
+2
2
X
mi mj
i6=j
2+
2
1
T
T
0
dt
|y(t)|
satisfaz as seguinte condicoes:

(i) o funcional g e coercivo sobre N
uencia minimizante de g converge para uma funcao y no
l e toda seq

1
1
2N +1
interior de H S ; R
{0} a qual e uma solucao (circular) do problema dos 2-corpos em R2N +1 ,
y ), onde ye e alguma solucao circular do problema dos 2-corpos em R 2N +1 com perodo

(ii) g(y) g(e
mnimo T,
(iii)
inf g(y) = min

N
l
R>0
b
M
T R2 2 + +2
2
2 2
X
mi mj
i6=j
+2
2

T
.
R
Logo, usando o Lema 4.3.5, concluimos a demonstracao do Lema 4.3.7.
Coment
ario: Usamos o fato de 1 2 para podermos aplicar o Lema 4.3.3 e para garantir a
convexidade da funcao () = () e assim, poder aplicar a Desigualdade de Jensen.

Encerraremos esta Subsecao voltando as tres condicoes citadas acima:
A coercividade de g(y) e direta ja que
kykH 1 const.ky 0 kL2
e que quando kyk +, g(y) resume-se a
g(y) =
M
2
T
0
|y 0 (t)|2 dt =
M 0 2
ky kL2 +.
2
Suponha, agora, que yn e uma seq

uencia minimizante para g sobre N
ao, yn e limitada em
l . Ent

1
1
2N +1
H S ;R
, pois g e coercivo. Da
kyn k const.
111

Logo, yn sempre converge fracamente uniforme para uma funcao de H 1 S 1 ; R2N +1 .
Seja y o limite fraco uniforme de yn . Entao,
g(y) lim inf g(yn ).

n
Ainda temos o seguinte Lema
Lema 4.3.8 Nas condico

es acima se existir um t tal que

T
= y(t) = 0,
y t+
l
ent
ao, o funcional g satisfaz
y)
g(y) > g(e
onde ye e alguma soluca
o circular do problema dos 2-corpos em R2N +1 com perodo mnimo T.
Demonstra
c
ao: Veja [10].
Suponha que exista t tal que y(t) = 0. Da continuidade de y, ja que H 1 ([0, T ]) C 0 ([0, T ]), temos
que

T
= y(t) = 0.
y t+
l
Logo, pelo Lema acima

y ),
g(y) > g(e
onde ye e alguma solucao circular do problema dos 2-corpos em R2N +1 com perodo mnimo T. Se um tal
ye N
cao (por ser yn uma seq
uencia minimizante e y ser seu limite fraco uniforme),
l , temos uma contradi

esta contradicao prova que y esta no interior de H 1 S 1 ; R2N +1 .
Alem disso, y e um ponto crtico de g sobre H 1 (S 1 ; R2N +1 {0}).
De fato, desde que 4N

e aberto em , como N
e um subconjunto aberto do subespaco linear 4N
l
l
l ,
temos que N
em e aberto em . Logo, todo ponto crtico de g|N
sera ponto crtico de g em H 1 .
l tamb
l
112

Como y H 1 S 1 ; R2N +1 {0} , veja [10], que e possvel deduzir que y e uma solucao do problema
dos 2-corpos em R2N +1 e que
inf g(y) = min

N
l
R>0
X
M
b
T R2 2 + +2
2
2 2
mi mj
i6=j
2+
2
T
R
se verifica.
Coment
ario: Em [10], encontram-se alguns resultados mais gerais envolvendo certas funcoes convexas,
nos quais, Esta u
ltima expressao, assim como os Lemas 4.3.5 e 4.3.8 podem, com um pouco de calculos,
serem adaptados. Apresentaremos alguns destes resultados mais gerais no Apendice E.
4.3.2
Soluco
es sem colis
ao para problemas do tipo N-corpos
Comecemos introduzindo a seguinte notacao

(, m0 , , mN ) =
e
(m0 , , mN ) =
0i6=jN
mm
i j

(ij)
sin N +1
mi mj sin2
0i6=jN
(i j)
N +1
Entao provaremos o seguinte Lema
Lema 4.3.9 Considere 1 2. Se

V (y0 , , yN )
a
2
0i6=jN
mi mj
,
|yi yj |
e se y e um mnimo para o funcional I dado por (4.3.27), ent

ao
1
I(y)
2
1
1
+
2
2
+2
2
+2
2
+2
+2 +2
T.
M +2
Demonstra
c
ao: Temos
(, m0 , , mN ) =
0i6=jN
113
mm
i j ,

(ij)
sin N +1
(4.3.30)
e
(m0 , , mN ) =
Seja
mi mj sin2
0i6=jN
R2+2 =
(i j)
N +1
aM
.
2+2 2
Considere , R2N +1 , tal que ||2 = ||2 = 1, e h, i = 0, e defina

yei (t)

N
2l
1 X
2i
ml cos t +
= R cos t +
N +1
M
N +1
l=0

N
2l
2i
1 X
ml sin t +
+ sin t +
,
N +1
M
N +1
l=0
onde R e um n
umero real a` ser determinado.
Entao, apos alguns calculos e manipulacoes trigonometricas, temos

Z
N
X
1
1 X
(i
j)
mi T 0 2
R2 2 T
|e
y | dt =
M
mi mj cos2
2
2
M
N
+
1
0
i, j
i=0

2 2
X
R T
(i j)
=
mi mj sin2
.
M
N +1
i, j
Notemos que
|e
yi (t) yej (t)| = 4R2 sin2
De fato,
1
(e
yi (t) yej (t))
R
(i j)
N +1

2i
2j
= cos t +
cos t +
N +1
N +1

2i
2j
+ sin t +
sin t +
,
N +1
N +1
da
1
|e
yi (t) yej (t)|2
R2
=
+
=
+

2
2i
2j
cos t +
cos t +
N +1
N +1

2

2j
2i
sin t +
sin t +
N +1
N +1

2i
2i
2j
cos2 t +
2 cos t +
cos t +
N +1
N +1
N +1

2j
2i
cos2 t +
+ sin2 t +
N +1
N +1
114

=
+
=
=
=

2i
2j
2j
2
2 sin t +
sin t +
+ sin t +
N +1
N +1
N +1

2i
2j
2 2 cos t +
cos t +
N +1
N +1

2i
2j
sin t +
sin t +
N +1
N +1

2(i j)
2 1 cos
N +1

(i j)
2
2 2 sin
N +1

(i j)
2
2
2 sin
N +1
e, de
temos
logo,
|e
yi (t) yej (t)|2 = R2 22 sin2
|e
yi (t) yej (t)| =
2 2
R 2 sin
Isto implica que
Assim, deduzimos que para todo R > 0

f (e
y0 , , yeN )
a
2
(i j)
N +1
(i j)
N +1
|e
yi (t) yej (t)| = R 2 sin
V (e
y0 (t), , yeN (t))
R = R2 =
mi mj
|e
yi yej |
0i6=jN
X
a
mm
i j .
1+

(ij)
2
R

0i6=jN sin
N +1
R2 2
aT
T + 1+ .
M
2
R
aT
R2 2
T + 1+
M
2
R
e dado por
21
(i j)
N +1
Por outro lado, facilmente verifica-se que um mnimo para a funcao

(R) =
aM
+2
2
2
115
1
+2
Assim, teremos
f (e
y0 , , yeN )
1+
R22 2
T .
M
Para concluirmos a demonstracao deste Lema precisamos, apenas, mostrar que

2
2
2 +2 +2
2
1 1
2
1
.
1+
R22 2 T =
+
a +2 +2 +2
2 2
M +2

Para isto lembremo-nos que 1 + 2 = 2 21 + 1 , e que
2
R22
2
1 +2
1
+2 ,
= 2 +2 a +2
M
2
+2
2
+2
entao,

1+

2
1+
R22 2 T
=
=
=
1
1
+
2

1
1
+
2
1+
R22 2 T

2
2
2
2
1
1 1 +2 a +2 +2 +2 +2
+
2
2 4
M +2

2
2
2 +2 +2
2
1 1
1
+2
+2
+2
+
a
.
2 2
M +2
Portanto,
y0 , , yeN )
f (y 0 , , y N ) f (e
1
2
a +2 +2 +2
+2 +2
,
M +2
concluindo, assim, a demonstracao do Lema.
Teorema 4.3.10 Suponha (V1)-(V4), (V 5)l , (l 2) v

alidas. Suponha, alem disso,
b X mi mj
a X mi mj
V (y0 , , yN )
,
2
|yi yj |
2
|yi yj |
i6=j
(V 6)
i6=j
0 < m 0 m1 m N ,
e
2
2
+2
2
+2 +2
< b +2
+2
M
2
2l +2 m0 m1
(m0 + m1 ) +2
mi mj
2i6=jN
,
+ N
+2
X
mi
X
(4.3.31)
i=2
onde a e b s
ao constantes positivas e 1 2. Ent
ao (4.2.15) tem pelo menos uma soluca
o T-peri
odica
sem colis
ao.
116
Demonstra
c
ao: Considere o funcional I : 4N
l R, definido por
I(y0 , , yN ) =
Z
N
X
mi
i=0
T
0
|yi0 (t)|2 dt
V (y0 , , yN )dt.
A hipotese (V6) implica que

I(y0 , , yN )
Z
N
X
mi
i=0
Pois,
V (y0 , , yN )
T
0
|yi0 (t)|2 dt + b
0<i6=jN
T
0
mi mj
dt.
|yi yj |
X mi mj
b X mi mj
b
.
2
|yi yj |
|yi yj |
Do Lema 4.3.2, segue-se que I e coercivo sobre
i6=j
i6=j
4N
l .
uencia minimizante
Seja yn = (y0n , , yNn ) uma seq
para o funcional I, em 4N
cao do interior de 4N
l . Queremos mostrar que yn converge para uma fun
l , a
qual e solucao sem colisao de (4.2.15).
Primeiro do que tudo observe que
yn y H 1 (S 1 ; R2N +1 )
com
I(y) lim inf I(yn ).
n
Pois sendo I coercivo, podemos supor que a seq

uencia minimizante y n B R (0) que e um conjunto
fracamente compacto. Entao,
yn y B R (0) H 1 (S 1 ; R2N +1 )
e usando o Teorema de Sobolev e o Lema de Fatou, obtemos
I(y) lim inf I(yn ).
n
Logo, o funcional I e, tambem, fracamente semi-contnuo inferiormente.

Alem disso,
N
yn 4 N
l 4l .
N
Como yn converge para y, e sendo 4N
l um conjunto fechado, obrigatoriamente y 4l .
117
Assim, pelo Teorema da Minimizacao Basica temos que y e o mnimo de I em 4 N

uentemente
l . Conseq
y e uma solucao de (4.2.15). Para mostrarmos que y e uma solucao sem colisao e suficiente verificarmos
que
y 6 4N
l .
Do Lema 4.3.9, segue-se que vale a expressao (4.3.30), dada por

2
2
2
2 +2 +2
1 1
1
T.
a +2 +2 +2
f (y 0 , , y N )
+
2 2
M +2
1
Suponha, por contradicao, que y 4N
l . Podemos supor que existe i 6= j e t S tal que
y i (t) = y j (t).
Se assumirmos que i = 0, e j = 1. Entao por hipotese
Z
Z
Z T
m0 T 0
m0 m1
m1 T 0 2
I(y)
|y0 (t)|2 dt +
|y1 | dt + b
dt
2 0
2 0
0 |y0 (t) y1 (t)|
Z
N
X Z T
X
mi mj
mi T 0 2
|yi (t)| dt + b
dt
+
2 0
0 |yi (t) yj (t)|
i=2
2i6=jN
N
e usando os Lemas 4.3.4 e 4.3.7, que estimam o nfimo de I em N
l e 4l , respectivamente, encontramos
X
mi mj

2
2
2 2l +2 m0 m1
2
1
1 1
2i6=jN
T
+
b +2 +2 +2
(4.3.32)
I(y)
+
PN
+2
2 2
(m0 + m1 ) +2
m
i=2
As equacoes (4.3.30) e (4.3.32) contradiz (4.3.31). Esta contradicao implica que y esta no interior de 4 N
l .
Concluindo a demonstracao do Teorema.

Coment
ario: Usamos o fato de 1 2 para podermos usar os Lemas 4.3.4 e 4.3.7.
Lema 4.3.11 Para obter (4.3.32) acima, assumimos que y0 (t) = y1 (t), mas na verdade (4.3.32) e sempre
v
alido em geral, desde que m0 m1 mN .
Demonstra
c
ao: Isto e conseq
uencia da seguinte desigualdade
mi mj
2
2

2l +2 mp mq
i6=j, i,j6= p,q
2l +2 m0 m1
P
+2
(m + m ) +2

(m0 + m1 ) +2
N
p
q
i6=p,q mi
118
2i6=jN
N
X
i=2
mi
mi mj
! +2
desigualdade esta que segue-se de

m0 m1
mp mq
.
mp + m q
m0 + m 1
Que e sempre verdade desde que
(m0 + m1 )(mp mq ) (m0 m1 )(mp + mq )
que e equivalente a
(m0 + m1 ) (mp + mq )
m0 m1
mp mq
Mas isto sempre ocorre, pois sendo m0 mN
m0 m1
.
mp mq
1.
Observa
c
ao: Notemos que (4.3.31) vale para quaisquer a > b e m0 , , mN > 0, desde que l seja
suficientemente grande. Por exemplo, se N = 2 (o problema dos 3-corpos) e m i = 1 para todo i, temos
que (4.3.31) torna-se
2
a +2
<
3 +2
2
+2 +2
2l +2
=
2 +2
o que implica
a
<2
b
+2
2
3
2
+2 ,
2
l
2
+2
+2
2
l
3
.
2
2
Mas, no problema dos tres corpos = 1, entao =
7
2
e=
8+4
3.
3
Assim,
a
3 6
l,
<
b
(8 + 4 3) 7
como
3 6
1

(8 + 4 3) 7
3 2
obtemos que
l
a

b
3 2
desde que a b, deduzimos que l 5.
Observa
c
ao: Nao podemos provar (e nao esperavamos) que a solucoes encontrada, via Teorema 4.3.10,
e diferente da solucao encontrada para o caso do potencial Newtoniano dos 3-corpos, onde
V
X mi mj
.
|yi yj |
119
4.4
Uma nova soluc

ao para o problema dos tr
es corpos
Nesta secao vamos estudar o caso correspondente ao problema planar dos tres corpos. Assim, a
equacao (4.2.15) resume-se a
mi yi00 (t) = yi V (y0 , y1 , y2 ); (i = 0, 1, 2).
Onde
V (y0 , y1 , y2 ) = b
0i6=j2
mi mj
;
|yi yj |
b > 0, 1 2.
Logo, o funcional considerado e da forma

I(y0 , y1 , y2 ) =
Z
2
X
mi
i=0
|yi0 (t)|2 dt + b
0i6=j2
mi mj
.
|yi yj |
Mostraremos que o problema dos tres corpos ( = 1) tem uma nova solucao (y 0 , y 1 , y 2 ) que:
(a) Nao e uma solucao com colisao simultanea, ou colisao total (a ser definida abaixo);
(b) Nao se reduz a nenhuma solucao de equilbrio relativo ja conhecida.
Defini
c
ao 4.4.1 Uma soluca
o com colis
ao simult
anea, ou colis
ao total para a equaca
o (4.2.15) e uma
soluca
o generalizada (y0 , y1 , y2 ) de (4.2.15) tal que existe t [0, T ] com y0 (t ) = y1 (t ) = y2 (t ), isto
e, as tres partculas colidem no instante t .
Observa
c
ao: Segue-se do Lema 4.3.4 que com =
2 +2
inf2 f
2
2
1
1
+
2
2
T ,
b +2 +2 +2
X
mi mj
i6=j
M +2
T 1 .
Para obtermos a estimativa (4.4.33) basta substituir o valor l = 2 na tese do Lema 4.3.4.
Consideremos tambem,
2

2
2
1 +2
m21 +2
+2
+
m1
(m0 m1 ) +2
= T ( )
2
M

2
m22 +2
2 +2
+ (k )
m2
(m0 m2 ) +2
M
2
+2
120
(4.4.33)
m1 m2

+ T ( 2 ) +2 +2
1

m M 1 m M +2
0
0

k2 (m0 +m1 )

m0 +m2
(, k, m0 , m1 , m2 ) =
1
2
+2
2
O objetivo desta Secao seguira como corolario do seguinte Teorema
Teorema 4.4.2 Suponha V satisfazendo (V1)-(V4),(V 5)l , (V 6) e que

1
a
< (, k, m0 , m1 , m2 )
b
(4.4.34)
com k mpar e b 1 e 1 2. Ent

ao (4.2.15) tem pelo menos uma soluca
o generalizada y que n
ao e
uma soluca
o de (4.2.15) com colis
ao simult
anea e que

T
y t+
= y(t).
l
Alem disso, se y = (y0 , y1 , y2 ) e uma soluca
o sem colis
ao, ent
ao
grau(y1 y0 ) = 1; grau(y2 y0 ) = k
Demonstra
c
ao: Temos que

2
42 = (y0 , y1 , y2 ) :
Se y H 1
H 1 (S 1 ; R2 ); yi (t) 6= yj (t), t S 1 ,

T
= yi (t) para i = 0, 1, 2 .
i 6= j, yi t +
2

S 1 ; R2 {0} e tal que y t + T2 = y(t), segue-se da Topologia Algebrica que grau(y) e
yi
mpar, (isto e uma conseq

uencia do Teorema de Borsuk-Ulam, (veja [15], pp. 174)), a ttulo de exemplo,

seja t + T2 = (t), com (t) = ekit sendo t [0, T ] e T = 2, entao grau() = k. Mas

T
= (t + ) = eik(t+) = (1)k (t).
t+
2

Assim, t + T2 = (t) se, e somente se, k e mpar.
Considere
e (1,k) = {(y0 , y1 , y2 ) 42 : grau(y1 y0 ) = 1, grau(y2 y0 ) = k}.
2
121
onde k > 1 e um inteiro mpar.

Observe que 422 e aberto no subespaco linear 0 , de H 1 , onde

0 =
(y0 , y1 , y2 ) : yi H 1 (S 1 ; R2 );
yi t +
T
2
= yi (t), para i = 0, 1, 2 ,
ja que as funcoes yl sao contnuas com l = 0, 1, 2.

e (1,k) e nao vazio. De fato, considere
Note que,
y0 = eit , yi = eit , y2 = 2eikt
onde, k > 1 e mpar e > 0 e suficientemente pequeno. Entao, como y1 y0 esta proxima de y1 e y2 y0
esta proxima de y2 , temos que
grau(y1 y0 ) = grau(y1 ) = 1 e grau(y2 y0 ) = grau(y2 ) = k.
e (1,k) .
Logo, (y0 , y1 , y2 )
e (1,k) e aberto em 0 . Da, os pontos

Observa
c
ao: Pela Proposicao A.2.7 do Apendice A, temos que
ao pontos crticos de I sobre o subespaco linear 0 . Mas, como vimos na Secao 3.5, os
crticos de I|
e (1,k) s
pontos crticos de I|0 sao pontos crticos de I sobre H 1 . Logo, por transitividade, temos que os pontos
ao pontos crticos de I sobre H 1 .
crticos de I|
e (1,k) s
e (1,k) . Portanto, pela Observacao, anterior os pontos

Denotaremos, tambem, por I a restricao de I a`
e (1,k) sao solucoes de (4.2.15).

crticos de I sobre
e (1,k) . Para este proposito consideremos

Estamos, agora, em condicoes de estudar o nfimo de I sobre
as funcoes
x1 (t) = R1 [ cos t + sin t];

x2 (t) = R2 [ cos kt + sin kt];
onde k > 1 e mpar e , R2 , sao tais que ||2 = ||2 = 1, h, i = 0 e R1 e R2 sao constantes positivas.
Note que cos(t), sin(t) 1 e cos(kt), sin(kt) k .
122
Facamos agora
m0 a
,
1
m
M )
m0 a
.
= 2 2
2
k (1 m
M )
R1+2 =
R2+2
2 (1
Logo, considerando
y0 (t) =
1
(m1 x1 (t) + m2 x2 (t)) ;
M
y1 (t) = x1 (1)
1
(m1 x1 (t) + m2 x2 (t)) = x1 (t) + y0 (t);
M
y2 (t) = x2 (1)
1
(m1 x1 (t) + m2 x2 (t)) = x2 (t) + y0 (t).
M
Com estas escolhas para y0 , y1 , y2 , apos alguns calculos algebricos, encontramos

m22 2
m21
2 T
2
2
(m1
) R1 + k (m2
)R2
I(y0 , y1 , y2 )
2
M
M
Z T
am0 m1
m1 m2
am0 m2
+
T
+
T
+
a
dt
R1
R2
0 |x1 (t) x2 (t)|

m2
am0 m1
2 T
m2
m1 1 R12 + k 2 m2 2 R22 +
T
2
M
M
R1
am1 m2
am0 m2
T+
T
+
R2
|R1 R2 |

2 +2
2
1
m
1
2
+2 + +2
m1
(m0 m1 ) +2
T a +2 ( ) +2
2
M

+2

2
2
m
+ (k 2 ) +2 m2 2
(m0 m2 ) +2
M
2
a +2 m1 m2

+ T ( 2 ) +2 +2
1
1

m M +2 m M +2
0
0

k2 (m0 +m1 )

m0 +m2
2
= 2 a +2 .
Agora estamos em condicoes de comparar o nfimo c de I sobre o conjunto das colisoes simultaneas
e (1,k) , vendo o funcional I como sendo a extensao de I sobre 422 , ou como sua
e o nfimo de I sobre
e (1,k) .
restricao sobre
Afirmamos que
< c ,
123
sempre que
b +2 1
2
a +2 2
>1
ou equivalentemente,
1
a
< (, k, m0 , m1 , m2 ),
b
onde b < 1.
De fato, sejam
c = inf2 I; = inf I.
(1,k)
Entao
2
I(y0 , y1 , y2 ) 2 a +2 < 1 b +2 b +2 inf2 I = b +2 c ,

2
sendo b 1, temos que < c .

e (1,k) . E e naturalmente uma solucao de
Logo, o mnimo de I sobre 422 e atingido em algum y
(4.2.15).
Observa
c
ao: Esta solucao y nao coincide com nenhuma das solucoes triangulares de Lagrange (solucoes
de equilbrio relativo do problema dos tres corpos, onde em cada instante as partculas formam um
triangulo equilatero) e colineares de Euler (solucoes de equilbrio relativo do problema dos tres corpos,
onde em cada instante as partculas estao sobre uma reta), ja que estas sao solucoes circulares (onde
grau(xj ) = 1, para j = 0, 1, 2). Em cada caso podemos tomar, sem perda de generalidade, x 0 e x2
e (1,k) 42 (onde nao ocorre colisao),
tais que grau(x2 x0 ) = 1. E na nova solucao encontrada y
2
grau(y1 y0 ) = 1 e grau(y2 y0 ) = k, com K > 1.
Corol
ario 4.4.3 Para caso do problema dos tres corpos
b = = 1.
e (1,k) , e que esta n
Portanto, temos que existe uma nova soluca
o y
ao coincide com nenhuma soluca
o
de equilbrio relativo padr

ao (as de Euler e de Lagrange).
124
Ap
endice A
Alguns resultados cl
assicos da
An
alise Funcional e Topologia
A.1
Alguns resultados da An
alise Funcional
Defini
c
ao A.1.1 Seja E um espaco vetorial normado. Um hiperplano (afim) sobre E e um conjunto
da forma
H = {x E : f (x) = },
onde f e um funcional linear (n
ao necessariamente contnuo) sobre E, n
ao identicamente nulo e R.
Se diz que H e o hiperplano de equaca
o (f = ).
Defini
c
ao A.1.2 Sejam A E e B E. Dizemos que o hiperplano H de equaca
o (f = ) separa A e
B em sentido amplo se verifica
f (x) x A e f (x) x B.
Dizemos que H separa A e B em sentido restrito se existe > 0 tal que
f (x) x A e f (x) + x B.
Observa
c
ao: Geometricamente a separaca
o significa que A e B se situa em lados opostos do hiperplano
H.
125
Proposi
c
ao A.1.3 O hiperplano de equaca
o (f = ) e fechado se, e somente se f e contnua
Demonstra
c
ao: (Veja [3], pp. 4).
Defini
c
ao A.1.4 Um conjunto A contido em um espaco de Banach E e dito convexo se
(tx + (1 t)y) E
para todo x y em E e para todo t em [0, 1].
Teorema A.1.5 (Teorema de Hahn-Banach-primeira forma geom

etrica) Sejam A E e B E
dois conjuntos convexos, n
ao vazios e disjuntos. Suponhamos que A e aberto. Ent
ao existe um hiperplano
fechado que separa A e B em sentido amplo.
Demonstra
c
ao: (Veja [3], pp. 6).
Teorema A.1.6 (Teorema de Hahn-Banach-segunda forma geom

etrica) Sejam A E e B E
dois conjuntos convexos, n
ao vazios e disjuntos. Suponhamos que A e fechado e que B e compacto. Ent
ao
existe um hiperplano fechado que separa A e B em sentido restrito.
Demonstra
c
ao: (Veja [3], pp. 7).
Teorema A.1.7 (Teorema de Banach-Steinhaus) Sejam E e F dois espacos de Banach. Seja

(Ti )i uma famlia (n
ao necessariamente enumer
avel) de operadores lineares e contnuos de E em F.
Suponhamos que
sup kTi xk < x E.
i
Ent
ao, denotando o espaco dos operadores lineares e contnuos por L(E, F), temos
sup kTi kL(E,F ) < ,
i
126
De outra forma, existe uma constante c tal que

kTi xk ckxk x E, i .
Demonstra
c
ao: (Veja [3], pp. 17).
Lema A.1.8 (Lema de Fatou) Se fn : X [0, ] e mensur

avel para cada inteiro positivo n, ent
ao
Z
Z

lim inf fn d lim inf
fn d.
X
Demonstra
c
ao: (Veja [20], pp. 23).
A.2
Alguns resultados da Topologia e Topologia Alg

ebrica
Iniciemos esta Secao demonstrando um importante resultado da Topologia, e que foi usado na Secao
4.2.
Teorema A.2.1 Em um espaco de Hausdorff, todo conjunto compacto e fechado.
Demonstra
c
ao: Se F e um conjunto compacto em um espaco de Hausdorff, e x 6 F, entao {x} e F sao
ex . Entao o conjunto
conjuntos compactos distintos e portanto separados, digamos por vizinhancas U x e U
[
{Ux : x 6 F }
e aberto, pois e a uniao de uma colecao de conjuntos abertos. Mas

[
c
F =
Ux .
x6F
Logo, F e fechado.
Teorema A.2.2 (Teorema de Borsuk-Ulam) Uma aplicaca

o mpar f : S n S n , satisfazendo f (x) =
f (x) para todo x deve ter grau mpar.
127
Demonstra
c
ao: (Veja [15], pp. 174).
Defini
c
ao A.2.3 Sejam X e Y dois espacos e I = [0, 1]. Duas aplicaco
es f, g : X Y s
ao chamadas
homot
opicas (e denotamos f ' g) se existir uma aplicaca
o contnua : X I Y tal que (x, 0) = f (x)
e (x, 1) = g(x) para cada x X.
Teorema A.2.4 Sejam X e Y espacos topol
ogicos
(1) Se f ' g, ent
ao f e g est
ao na mesma componente conexa
(2) Se f e g est
ao numa mesma componente conexa, ent
ao f ' g, contanto que Y seja um espaco vetorial.
Demonstra
c
ao: (Veja [11], pp. 320).
Teorema A.2.5 (H. Hopf ) Seja n 1. Duas aplicaco

es de S n sobre S n s
ao homot
opicas se e somente
se elas tem o mesmo grau.
Demonstra
c
ao: (Veja [11], pp. 352).
Observa
c
ao: Um conseq
uencia deste u
ltimo Teorema e que se f, g : R 2 {0} R2 {0}. Entao f ' g
se e somente se f e g tem o mesmo grau.
Proposi
c
ao A.2.6 Sejam f, g : X , duas aplicaco
es contnuas, onde X e um compacto e e um
aberto de um espaco linear normado W. Se existe
> 0, d(f (x), g(x)) < ,
(onde, d indica a dist
ancia de f a
` g, que pode sempre ser definida num espaco linear). Ent
ao temos que
f ' g.
Demonstra
c
ao: Tome = 12 d(f (x), c ), e defina H : X [0, 1] , por
H(x, t) = tf (x) + (1 t)g(x),
128
note que
(tf (x) + (1 t)g(x)) , H(x, 0) = g(x) e H(x, 1) = f (x).
Portanto, H e uma homotopia.
Considere os seguintes conjuntos em H 1

0 =
(y0 , y1 , y2 )
yi t +
42 =
(y0 , y1 , y2 )
yi t +
T
2
T
2
: yi H 1 (S 1 ; R2 );
= yi (t) para i = 0, 1, 2 .
: yi H 1 (S 1 ; R2 ); yi (t) 6= yj (t) i 6= j

= yi (t) para i = 0, 1, 2 .
e (1,k) = {(y0 , y1 , y2 ) 422 : grau(y1 y0 ) = 1, grau(y2 y0 ) = k}.
onde k > 1 e um inteiro mpar. Entao temos o seguinte resultado

e (1,k) e aberto em 0 .
Proposi
c
ao A.2.7 O conjunto
e c , o complementar de
e (1,k) , e fechado. Para isto, seja yn =
Demonstra
c
ao: Mostraremos que
(1,k)
e c . Entao
(y0n , y1n , y2n ) uma seq
uencia em
(1,k)
grau(y1n y0n ) 6= 1 ou grau(y2n y0n ) 6= k.
Sem perda de generalidade, podemos supor que grau(y1n y0n ) 6= 1. Suponha, agora que
yn y = (y0 , y1 , y2 ) .
Assim, y1n y0n esta proximo de y1 y0 e y2n y0n esta proximo de y2 y0 . Entao para n suficientemente
grande, temos que existe um > 0, tal que
d(y1n y0n , y1 y0 ) < .
ec
e fechado.
Logo, pela proposicao anterior temos, grau(y1 y0 ) = grau(y1n y0n ) 6= 1. Portanto,
(1,k)
129
Ap
endice B
Topologia fraca
Sejam E um espaco de Banach, E 0 seu dual e f E 0 . Se designarmos por
f : E R
a aplicacao dada por
f (x) = f (x).
Quando f percorre E 0 obtemos uma famlia (f )f E 0 de aplicacoes de E em R.
Defini
c
ao B.0.8 Sejam E um espaco de Banach e E 0 seu dual. A topologia fraca sobre E, designada
por (E, E 0 ), e a topologia menos fina (no sentido de ter menos abertos), de tal forma que todas as
aplicaco
es (f )f E 0 sejam contnuas.
Nota
c
ao: Dada uma seq
uencia {xn } em E, se designa por xn * x convergencia de xn na topologia fraca
(E, E 0 ). Se xn x, diz-se as vezes que a convergencia e forte quando kxn xk 0.
Lema B.0.9 (Lema da Converg

encia Fraca) Seja xn uma seq
uencia que converge fracamente para
x. Ent
ao
(i) O limite fraco x de xn e u
nico.
(ii) Toda subseq
uencia de xn converge fracamente para x.
130
(iii) A seq
uencia {xn } e limitada.
Demonstra
c
ao: (Veja [17], pp. 258).
Defini
c
ao B.0.10 Seja F um subconjunto de H 1 . Dizemos que F e fracamente fechado se para toda
seq
uencia xn em F existir uma subseq
uencia xnk e um x em F, tal que xn converge fracamente para x.
Defini
c
ao B.0.11 Seja K um subconjunto de H 1 . Dizemos que K e fracamente compacto se ele for
fracamente fechado e limitado na norma k kH 1 .
Observa
c
ao: Quando E e de dimensao finita a topologia fraca coincide com a topologia forte. (Veja [3],
pp. 41).
Proposi
c
ao B.0.12 A topologia fraca (E, E 0 ) e separ
avel (Hausdorff )
Demonstra
c
ao: Sejam x1 e x2 elementos de E com x1 6= x2 . Queremos construir abertos A e B da
topologia fraca (E, E 0 ) tais que x1 A, x2 B com A B = . Pelo Teorema de Hahn-Banach
(segunda forma geometrica) existe um hiperplano fechado que separa {x1} e {x 2 } no sentido restrito.
Assim, existem f E 0 e R tais que
f (x1 ) < < f (x2 ).

Facamos
A = {x E : f (x) < } = 1
f ((, )) ,
e
B = {x E : f (x) > } = 1
f ((, )) .
Entao, A e B sao dois conjuntos abertos de (E, E 0 ) e se verifica x1 A, x2 B e A B = . Portanto,
(E, E 0 ) e separavel.
131
Proposi
c
ao B.0.13 Seja {xn } uma seq
uencia em E. Ent
ao se verifica as seguintes condico
es:
(a) xn * x (i.e. xn converge para x em (E, E 0 )) se, e somente se f (xn ) converge para f (x), para todo
f em E 0 .
(b) Se xn x, fortemente, ent
ao xn * x fracamente.
(c) Se xn * x fracamente em (E, E 0 ), ent
ao kxn k const. e
kxk lim inf kxn k.
n
(d) Se xn * x fracamente em (E, E 0 )e se fn f fortemente em E 0 (i.e., kfn f k 0), ent

ao
f (xn ) f (x).
Demonstra
c
ao: (Veja [3], pp. 36).
Seja o espaco de todas as aplicacoes -periodicas, de classe C , de R em RN . Os espacos de

Sobolev i = i (; RN ), i = 0, 1, sao definidos como o completamento de com respeito a norma k ki .
Entao, conforme [13], temos os seguintes resultados bem conhecidos:
Teorema B.0.14 (Teorema de Rellich) 1 0 , e a injeca
o 1 0 , e compacta.
Teorema B.0.15 (Teorema de Sobolev) Convergencia fraca em 1 implica convergencia uniforme
em C 0 (R).
132
Ap
endice C
Espacos de Sobolev
Seja I = (a, b) um intervalo limitado ou nao e seja p R com 1 p . Considere C ck (I) como o
conjunto das funcoes definidas com derivadas de ordem k contnuas e com suporte compacto em I.
Defini
c
ao C.0.16 O espaco de Sobolev W 1,p (I) se define por

Z
Z
W 1,p (I) = u Lp (I) : g Lp tal que
u0 = g Cc1 (I) .
I
Se representa
H 1 (I) = W 1,2 (I).
Para cada u W 1,p (I) se denota u0 = g.
Observa
c
ao: Na definicao de W 1,p (I) se diz que e uma funcao de teste. Se pode utilizar indistintamente Cc1 (I) ou Cc (I) como conjunto de funcoes de teste, (veja [3], pp. 120).
claro que se u C 1 Lp (I) e se u0 Lp (I) (aqui u0 denota a derivada de u no sentido
Observa
c
ao: E
usual), entao u W 1,p (I). Alem disso a derivada usual de u coincide com a derivada de u no sentido de
W 1,p (I).
Nota
co
es: O espaco W 1,p esta dotado da norma
1
kukW 1,p = {kukpLp + ku0 kpLp } p .

133
O espaco H 1 esta dotado do produto interno

hu, viH 1 = hu, viL2 + hu0 , v 0 iL2 ;
cuja norma associada e
kukH 1 = kuk2L2 + ku0 k2L2
que e equivalente a norma W 1,2 .
12
Proposi
c
ao C.0.17 O espaco W 1,p e um espaco de Banach para 1 p .
Demonstra
c
ao: Seja {un } uma seq
uencia de Cauchy em W 1,p , entao {un } e {u0n } sao seq
uencias de
Cauchy em Lp . Por conseguinte un u em Lp e u0n g em Lp . Assim, tem-se

Z
Z
un 0 = u0n Cc1 (I),
I
aplicando o limite quando n , obtemos

Z
Z
u0 = g Cc1 (I).
I
Portanto u W
1,p
, u = g e kun ukW 1,p 0.
Proposi
c
ao C.0.18 O espaco W 1,p e reflexivo para 1 p . E o espaco H 1 e um espaco de Hilbert
separ
avel.
Demonstra
c
ao: (Veja [3], pp. 121).
Observa
c
ao: A propriedade de reflexibilidade e uma vantagem do espaco W 1,p . Em problemas de Calculo
Variacional se utiliza preferencialmente W 1,p em lugar de C 1 , que nao e reflexivo.
As funcoes de W 1,p sao a grosso modo primitivas de funcoes de Lp , isto sera formulado no seguinte
Teorema
Teorema C.0.19 Seja u W 1,p (I); ent
ao existe uma funca
o u
e C(I) tal que
u=u
e, q.t.p. em I
134
e
u
e(x) u
e(y) =
x
y
u0 (t)dt x, y I.
Demonstra
c
ao: (Veja [3], pp. 123).
Coment
ario: O Teorema acima afirma que toda funcao u de W 1,p admite um representante contnuo (e
so um), isto e, existe uma funcao contnua pertencente a classe de equivalencia de u pela relacao u v
se u = v q.t.p.
Coment
ario: Para definir W 1,p se pode utilizar a teoria de distribuicoes (apresentamos uma introducao
no Apendice D). Toda funcao u Lp (I) admite derivada no sentido de distribuicao, que e um elemento
de D0 . Se diz que u W 1,p se sua derivada no sentido de distribuicao coincide no espaco D0 com uma
funcao de Lp . (Veja [22]).
Teorema C.0.20 (Densidade) Seja u W 1,p (I) com 1 p . Ent

ao existe uma seq
uencia {un }
em Cc (R) tal que un |I u em W 1,p (I).

Demonstra
c
ao: (Veja [3], pp. 127).
Teorema C.0.21 Existe uma constante C (dependendo apenas da medida de I que e ) tal que
kukL (I) CkukW 1,p (I) , u W 1,p (I), 1 p . De outra forma W 1,p (I) L (I) com injeca
o
contnua para todo 1 p . Alem disso, quando I e limitado se verifica:
(a) A injeca
o W 1,p (I) C 0 (I) e compacta para 1 p .
(b) A injeca
o W 1,1 (I) Lq (I) e compacta para 1 q < .
Demonstra
c
ao: (Veja [3], pp. 127).
135
Ap
endice D
Noco
es de distribuico
es
es de classe C com suporte
Defini
c
ao D.0.22 Seja Rn um aberto e Cc () o conjunto das funco
compacto sobre . Um funcional linear contnuo u : Cc () C e dito uma distribuica

o em . O espaco
das distribuico
es em se denota por D0 ().
A definicao significa que se 1 , 2 Cc (), C e (j ) e uma seq

uencia em Cc (),
u(1 + 2 ) = u(1 ) + u(2 )
j 0 em Cc () u(j ) 0 = u(0).
(linearidade)
(continuidade)
As vezes, e conveniente escrever hu, i em vez de u().

Exemplo D.0.23 Considere = Rn , e defina h, i = (0), Cc (Rn ). O funcional e claramente
linear e contnuo. Esta distribuica
o e chamada delta de Dirac.
Exemplo D.0.24 Definamos hT, i =
|t|0 (t)dt, Cc (R), a linearidade e clara, e se o suporte
de , S(), est
a contido em [a, a] e 0j (t) 0 uniformemente, segue-se que
|hT, j i| 2a2 sup |0j (t)| 0.
t
Exemplo D.0.25 Seja L1loc () o espaco das funco

es localmente integr
aveis sobre . Considere f
136
L1loc (), Rn , e defina

hTf , i =
f dx, Cc ().
A linearidade e clara, e a continuidade decorre da estimativa

Z
|f |dx.
|hTf , i| sup |(t)|
t
S()
interessante notar que se hTf , i = hTg , i Cc () e f, g L1 (), entao f =

Observa
c
ao: E
loc
g, q.t.p.
Abandonaremos agora a notacao provisoria Tf e escrevemos simplesmente
Z
hf, i = f dx.
Isto equivale a identificar qualquer funcao localmente integravel f, com o funcional T f definido no Exemplo
D.0.23. Esta identificacao permite considerar muitos espacos de funcoes, como L p (), 1 p , e
neste sentido que as distribuicoes sao consideradas como
C k (), 1 k , como subespacos de D0 (). E
funcoes generalizadas. De agora em diante a identificacao f Tf sera feita sem maiores comentarios.
D.1
Operac
ao com distribuic
ao
A soma e o produto por escalar de distribuicoes define-se de maneira obvia. Se u 1 , u2 D0 (),
Cc , C,
hu1 + u2 , i = hu1 , i + hu2 , i

hu1 , i = hu1 , i.
A filosofia geral para definir operacoes nas distribuicoes e a seguinte. Suponhamos que existam dois
operadores lineares contnuos L e L0 de Cc () em Cc tais que
Z
Z
(L)dx =
(L0 )dx, , Cc ().
(D.1.1)
Quando isto acontece diz-se que L e o transposto formal de L0 e vice versa. A continuidade de L (ou L0 )
significa simplesmente que Lj 0 (ou L0 j 0,) sempre que j 0 em Cc . Note que por hipotese
, L, , L Cc () L1loc () D0 ()
137
e portanto (D.1.1) pode ser escrito na forma

hL, i = h, L0 i.
e : D0 () D0 ().
Neste caso, e possvel estender o operador L a um operador L
De fato, definamos
e i = hu, L0 i, u D0 (), Cc ().

hLu,
(D.1.2)
claro que Lu
e e um funcional linear em C (). Alem disso, se j 0 em C (), L0 j 0 em C (),
E
c
c
c
e D0 (). Finalmente, se u Cc , resulta de (D.1.1) que
e portanto hu, L0 j i 0, o que significa Lu
Z
e i,
(Lu)dx = hLu,
e L1 e Lu = Lu.
e Em outras palavras L
e e uma extensao de L. Normalmente se usa a mesma
isto e, Lu
loc
e
notacao L, tanto para o operador original quanto para sua extensao L.
Coment
ario: Nos exemplos abaixo representara um aberto do Rn .
Exemplo D.1.1 (Produto por uma fun

c
ao C ) Seja f Cc () e definamos o operador contnuo
L : Cc () Cc () por (L)(x) = f (x)(x). Naturalmente L = L0 satisfaz (D.1.1) e a operaca

o
multiplicaca
o por f fica definida para qualquer distribuica
o por meio da express
ao
hf u, i = hu, f i.
(D.1.3)
Exemplo D.1.2 (Deriva

c
ao) Sejam (x1 , xn ) coordenadas cartesianas em e definamos L =
xj .
Integrando por partes em relaca

o a vari
avel xj , obtemos
Z
Z
dx =
dx.
xj
xj
O termo n
ao integrado e nulo porque as funco
es , s
a nulas fora de um compacto. Ent
ao x
e o
j
transposto formal de
xj ,
e podemos definir

u
, = u,
.
xj
xj
(D.1.4)
Exemplo D.1.3 (Operadores diferenciais) Um operador diferencial linear com coeficientes C e

uma combinaca
o linear de derivaco
es e multiplicaco
es por funco
es C . Se L e um tal operador, e possvel
138
achar L0 aplicando sucessivamente (D.1.3) e (D.1.4). Por exemplo, se L = 4 =

duas aplicaco
es de (D.1.4) resulta em
x1
2
++
h4u, i = hu, 4i, u D0 (), Cc ().
x1n
2
(D.1.5)
Exemplo D.1.4 (Mudan

ca de vari
aveis) Seja : um difeomorfismo de classe C e defi-
namos L = , Cc (). Note que S( ) = 1 (S()) e portanto L Cc (). Para encontrar
L0 aplicamos o Teorema da mudanca de vari

aveis na seguinte integral
Z
Z
(x)(1 (x))|J(1 )(x)|dx.
((y))(y)dy =
(D.1.6)
onde J(1 ) e o jacobiano de 1 . Isto nos leva a definir L0 = |J(1 )| 1 . Lembremo-nos que
|J(1 )| 6= 0 x . Assim, quando u D0 (), definimos ent
ao,
hu , i = hu, ( 1 )|J(1 )|i.
(D.1.7)
Exemplo D.1.5 Seja a Rn , : Rn Rn , definida por (x) = x a. Definamos a translaca

o de
(x) Cc como a funca
o
a (x) = (x a).
Se u D0 (Rn ), a translaca
o de u se define usando (D.1.7), ou seja
hua , i = hu, (x + a)i.
(D.1.8)
Exemplo D.1.6 Seja um aberto simetrico em relaca

o a origem e consideremos (x) = x. Definamos
a translaca
o de
R (x) = (x)
o de u se define por
para Cc e assim se u D0 (Rn ), a rotaca
huR , i = hu, R i, u D0 (), Cc ().
D.2
(D.1.9)
Derivada distribucionais e derivadas cl

assicas
Se f (x) C 1 (R), a formula de integracao por partes prova que a derivada de f no sentido de distribuicoes dada pela formula (D.1.4) coincide com a distribuicao definida pela funcao contnua
df
dx .
Por-
tanto, para funcoes suficientemente regulares as derivadas no sentido usual e no sentido das distribuicoes
139
coincidem. Vejamos o que acontece com funcoes de uma variavel que apresentam uma descontinuidade
de primeira especie na origem. Mais precisamente, suponhamos que f C 1 (R {0}) e que os limites
laterais
lim f (x) = f (0 ) e lim f (x) = f (0+ )
x0+
x0
existem e sao finitos. Denotaremos por {f 0 } a funcao definida como
df
dx
para x 6= 0 e nao definida
para x = 0, e suponhamos ainda que {f 0 } L1loc (R). Para calcular f 0 (a derivada de f no sentido das
distribuicoes) basta observar que se Cc (R), S() [N.N ]
"Z
Z

hf 0 , i
hf, 0 i = lim
lim
Z
f 0 dx lim
f 0 dx
f dx + lim
[f (0+ ) f (0 )](0) +
"Z

f dx lim f (x)(x)|
N + f (x)(x)|N
0
{f 0 }dx.
Assim,
hf 0 , i = [f (0+ ) f (0 )](0) +
{f 0 }dx.
(D.2.10)
Um caso particular importante se obtem quando f (x) = H(x)= funcao de Heaviside, que vale 1 se x > 0
e vale 0 se x < 0 (como funcao de L1loc nao precisa estar definida na origem). Claramente
H(0+ ) = 1, H(0 ) = 0 e {H 0 } = 0.
Assim
hH 0 , i = [H(0+ ) H(0 )](0) +
{H 0 }dx = (0) = h, i.
(D.2.11)
Obtemos assim a distribuicao do Exemplo D. 0.21, como a derivada de H(x). Por conseguinte, a formula
(D.2.10) pode ser escrita como
f 0 = {f } + [f (0+ ) f (0 )].
(D.2.12)
Por conseguinte e possvel fazer com que uma funcao nao localmente integravel defina uma distribuicao.
Um tal exemplo ocorre com f (x) =
e infinita e f 6
que
L1loc .
1
x
em R. A integral de f (x) =
Entretanto, para x 6= 0,
Z

d
dx (log|x|)
1
1
x

log|x|dx = 2
140
1
|x|
em qualquer vizinhanca da origem
e g(x) = log|x| e localmente integravel, ja
e log|x| e contnua para x 6= 0. Podemos entao chutarcomo distribuicao

hg 0 , i = hg, i.
Se S() [N, N ] e Cc (R), temos
log|x| (x)dx
=
=
lim
lim
Z
"Z
|x|>
log|x| (x)dx lim
"Z
N
0
log|x| (x)dx
#
0 (x)
dx + (() ())log .
x
Onde, a u
ltima igualdade foi obtida usando integracao por partes em ambos intervalos de integracao. A
desigualdade do valor medio permite concluir que
|() ()| sup |0 (t)|2.
t
Como lim0 log = 0, obtemos

0
hlog|x|, i = lim+
0
|x|>0
(x)
dx.
x
(D.2.13)
A distribuicao dada pelo membro direito de (D.2.13) se conhece com o nome de valor principal de
denota por
1
x
e se
v.p. x1 .
Observa
c
ao: Se f C , Cc , temos
hf , i = h, f i = f (0)(0) = hf (0), i
o que significa que f = f (0), e so o valor de f em x = 0 e relevante no produto f . Analogamente
hf 0 , i = h 0 , f i = h, f 0 + f 0 i = hf (0) 0 f 0 (0), i,
ou seja, f 0 = f (0) 0 f 0 (0).
de facil verificacao que a regra de Leibniz para a derivada do produto de duas funcoes,
Observa
c
ao: E
se mantem quando um dos fatores e uma distribuicao. De fato, se u D 0 (), f C e Cc (),
temos

(uf )
,
xj

(f )
f
= uf,
= u, f
= u,
xj
xj
xj
xj

u
u
=
f
+
u, ,
xj
xj
141
ou seja,
u
f
(uf )
=f
+
u.
xj
xj
xj
(D.2.14)
Vejamos agora que o comentario feito no incio desta Secao pode se estender a funcoes contnuas se a
derivada distribucional tambem for contnua.
Teorema D.2.1 Se u e f s
a contnuas em Rn e
e
u
xj
u
xj
= f, ent
ao u e diferenci
avel em relaca
o a xj
= f, no sentido cl
assico.
Demonstra
c
ao: (Veja [16], pp. 23).
D.2.1
C
alculo Variacional em distribuico
es
No Calculo Variacional classico se considera uma funcao de tres variaveis F (, , ) suficientemente

diferenciavel e se procura minimizar o funcional dado pela integral
Z b
I(u) =
F (x, u(x), u0 (x))dx
a
na classe das funcoes u(t), continuamente diferenciaveis em [a, b]. Se u e uma solucao do problema e
Cc (a, b), a funcao
g(t) = I(u + t), t R
tem um mnimo para t = 0, e conseq
uentemente g 0 (0) = 0. Derivando sob o sinal de integracao, obtemos
!
Z b
d
d
d
0
0
0
g (0) =
g(t)|t=0 = I(u + t)|t=0 =
F [x, u(x) + t, u (x) + t (x)] dx |t=0
dt
dt
dt
a
Z b
d
(F [x, u(x) + t, u0 (x) + t0 (x)]) |t=0 dx.
=
a dt
Assim,
g 0 (0) =
b
a

F 0
F
+
dx = 0, Cc ((a, b)).
u
u0
As funcoes de x,
F
F
(x, u(x), u0 (x)) e
(x, u(x), u0 (x))
u
u0
142
(D.2.15)
sao contnuas e a equacao (D.2.15) implica que a primeira e a derivada no sentido de distribuicao da
segunda, pois
b
a

Z b
F
F 0
dx =
dx.
u
u0
a
Mas, o Teorema anterior afirma que, de fato, esta e uma derivada no sentido classico. Entao, a funcao
minimal u(t) se existir, deve satisfazer as conhecidas equacoes de Euler-Lagrange
F
d F
=
.
0
dt u
u
(D.2.16)
Este resultado foi obtido por Du Bois-Reymoud no seculo XIX.
Exemplo D.2.2 Se quisermos achar uma curva plana u(x), de comprimento mnimo, que liga a origem
ao ponto (1,b), devemos considerar a integral
Z
1
0
p
1 + u02 dx.
A equaca
o (D.2.16) se reduz neste caso a
d
dx
1 + u02
= 0.
Segue-se que u0 deve ser constante e o traco de u(x) ser

a uma reta.
D.3
Derivadas e primitivas
Se f e diferenciavel no intervalo (a, b) e f 0 = 0 neste intervalo, o Teorema do Valor Medio implica que
significativo que o mesmo resultado seja satisfeito para derivadas no sentido
f e constante em (a, b). E
de distribuicoes. Isto sera formulado no seguinte Teorema
Teorema D.3.1 Se u D0 (a, b) e u0 = 0 em (a, b). Ent
ao u e constante em (a, b).
Demonstra
c
ao: (Veja [16], pp. 25).
Corol
ario D.3.2 Se u D0 ((a, b)) e u(k) = 0, ent
ao u e um polin
omio de grau k 1.
143
Demonstra
c
ao: O Teorema anterior prova o caso em que k = 1. Suponha como hipotese de inducao
que o resultado seja valido para k 1. Da se u(k) = 0, entao escrevendo v = u(k1) e aplicando o Teorema
anterior a` V, concluimos que existe uma constante c tal que v = c. Entao,
k1

xk1
uc
= u(k1) c = v c = 0
(k 1)!
e pela hipotese de inducao, temos
k2
uc
com aj R e j = 1, , k 2.
X
xk1
aj x j
=
(k 1)! j=0
Corol
ario D.3.3 Toda distribuica
o u D0 (a, b) tem uma primitiva.
Demonstra
c
ao: (Veja [16], pp. 27).
Observa
c
ao: Note a semelhanca do Corolario D.3.3 com O Teorema C.0.17.
D.4
Operadores elpticos
0
Defini
c
ao D.4.1 Se u D () definimos o suporte de u, S(u), como a interseca
o de todos os fechados
de fora dos quais u e nulo.
possvel mostrar que esta definicao coincide com a definicao de suporte de u, vendo u
Observa
c
ao: E
como funcao, isto e, (o fecho {x : u(x) 6= 0}). (Veja [16], pp. 36).
De maneira analoga temos a seguinte definicao
0
Defini
c
ao D.4.2 Se u D () definimos o suporte singular de u, SS(u), como a interseca
o de todos os
fechados de fora dos quais u e C .
Dizer que u e C num aberto U e dizer que existe uma funcao f C (U ) tal que
Z
hu, i = f dx = hf, i para toda Cc .
144
Defini
c
ao D.4.3 Dizemos que operador diferencial
P (x, Dx ) =
a (x)D
||m
com coeficientes em C
e localmente resol
uvel em se todo ponto de tem uma vizinhanca U tal que
0
para todo f Cc (U ) existe u D tal que

P u = f.
Defini
c
ao D.4.4 Um operador diferencial
P (x, D) =
a (x)D
||m
n
definido em R se diz elptico no ponto x0 se

Pm (x0 , ) =
||=m
a (x0 ) 6= 0 para todo 6= 0, Rn .
Observa
c
ao: Se P (x, D) e elptico em todos os pontos de , dizemos que P (x, D) e elptico em .
Exemplo D.4.5 O operador
4 = Dx2 Dy2
e elptico, j
a que
4m () = 12 22 .
Defini
c
ao D.4.6 Um operador P (x, D) definido em Rn e dito hipoelptico se SS(P u) = SS(u) para
0
todo u D .
Exemplo D.4.7 O operador
d
e hipoelptico em R.
dx
0
De fato, se f C (a, b), u D (a, b) e u0 = f, entao escrevendo

Z x
g(x) =
f (t)dt
0
com a < b < c, temos que (u g) = 0. Logo, do Teorema D.3.1, resulta que u = g + constante. Portanto
u C (a, b).
145
Defini
c
ao D.4.8 Seja
P (D) =
a D , aC ,
||m
0
um operador com coeficientes constantes em Rn . Dizemos que E D (Rn ) e uma soluca

o fundamental
de P se
P (D)(E) = .
Teorema D.4.9 Se o operador com coeficientes constantes P (D) admite uma soluca
o fundamental E
que e de classe C fora da origem, ent
ao P (D) e hipoelptico. Reciprocamente, se P (D) e hipoelptico e
E e uma soluca
o fundamental de P (D), ent
ao E e C em Rn {0}.
Demonstra
c
ao: (Veja [16], pp. 129).
D.5
Derivada de Fr
echet e derivada de Gateaux
Nesta seccao consideraremos L e M como espacos lineares normados.

Seja f uma funcao definida sobre um conjunto aberto U L, assumindo valores sobre M.
Defini
c
ao D.5.1 Dizemos que f e diferenci
avel segundo Fr
echet, se existir uma transformaca
o
linear T : L M tal que, para todo h em L suficientemente pequeno,
f (x0 + h) = f (x0 ) + T (h) + khk(x0 , h),
onde (x0 , h) M tende para zero quando khk 0. A transformaca
o linear T e chamada deivada de
Fr
echet de f em x0 e e denotada por f 0 (x0 ).
Defini
c
ao D.5.2 Dizemos que f e diferenci
avel segundo Gateaux em x 0 se a derivada direcional
f 0 (x0 ; v) existir para cada v L, isto e, se
lim
t0
f (x0 + tv) f (x0 )

= f 0 (x0 ; v),
t
existir para cada v L.

146
Teorema D.5.3 Seja f uma funca

o convexa definida sobre um conjunto aberto convexo U R n , e seja
E o subconjunto de U onde f e diferenci
avel segundo Frechet. Ent
ao f 0 e contnua sobre E.
Demonstra
c
ao: (Veja [19], pp. 117).
Coment
ario: Um estudo mais detalhado envolvendo estes dois conceitos de derivadas e feito por exemplo
em [19].
147
Ap
endice E
Mais alguns resultados de C

alculo
Variacional
Neste Secao apresentaremos alguns resultados variacionais, citados em [10], os quais deixam os Lemas
4.3.5 e 4.3.8 como caso particulares e definiremos a segunda diferencial de um funcional conforme [12].
E.1
Notaco
es
consideraremos nesta secao

V : (, 0)
uma funcao de classe C 1 sobre um subconjunto aberto de RN (N 2), e T > 0. Geralmente (como
fizemos no Captulo 4) estuda-se a existencia de curvas T -periodicas q : R de classe C 2 tal que:
q 00 (t) + V (q(t)) = 0 t R.
(E.1.1)
Como conhecemos bem, este problema tem uma estrutura variacional. Primeiro de tudo, pela mudanca
de variavel qe(t) = q(T t), podemos reduzir nosso estudo para curvas 1-periodicas q : R de classe C 2
tal que:
q 00 (t) + T 2 V (q(t)) = 0 t R.
148
(E.1.2)
Sejam
H = {q H 1 ([0, 1]; RN ) : q(0) = q(1)}
= {q H : q(t) , t [0, 1]}
e considere o funcional f : R definida por
Z 1
Z
1 1 0 2
V (q(t))dt.
|q (t)| dt T 2
f (q) =
2 0
0
Entao e um subconjunto aberto do espaco de Hilbert H, o funcional f e de classe C 1 sobre e,
conforme vimos no Captulo 1, temos que f (q) = 0 se e somente q e a restricao a` [0, 1] de uma solucao
de (E.1.2).
Como nosso principal interesse e solucoes sem colisao ( = R N {0}), consideraremos tambem
X0 = {q H : t [0, 1] com q(t) = 0}.
Isto sera u
til para podermos fazer algumas consideracoes envolvendo potenciais radiais e em particular,
1
o caso V (x) = |x|
.
E.2
Colocac
ao dos resultados
Lema E.2.1 Seja T > 0 e seja : (0, 1) (0, +) a u

nica soluca
o de classe C 2 da EDO
00 + T 2
1
=0
2
com as seguintes condico

es iniciais

1
= 0, lim (t) = lim (t) = 0.

t0
t1
2
0
Ent
ao temos
1
2
( 0 )2 dt =
0
2
1
(2T 2 ) 3 ,
2
2
1
dt = (2T 2 ) 3 ,
0
2 13
2T
kkL (0,1) =
.
2
149
conseq
Demonstra
c
ao: E
uencia direta das expressoes (4.1.3) e (4.1.4) do Captulo 4 levando-se em
consideracao a mudanca de variavel feita na secao anterior.
Proposi
c
ao E.2.2 Seja : (0, +) (0, +) uma funca
o convexa e crescente. Ent
ao temos

Z 1
Z 1
1
dt
0 2
1
min
( ) dt +
: H0 (0, 1), 0
2 0
0

1
= min 2 2 R2 +
: R>0 .
R
Demonstra
c
ao: Seja R um n
umero minimizante para a expressao do lado direito (este R sempre existe
ja que e convexa e 2R2 e estritamente convexa).
Note que a expressao do lado esquerdo e finita para algum por exemplo para
2
(t) = [t(1 t)] 3

ja que
1
0
3
1
2 2 ( 3)2 3
1
dt =
(t)
3 ( 23 )( 56 )
Considere o funcional
1
f () =
2
( 0 (t))2 dt =
0
1
0 2
( ) dt +
0
Z
1
0
3
1
2 2 ( 3)2 3
.
5 ( 23 )( 56 )

1
dt .
Como e crescente e positiva, usando o Teorema de Sobolev e o Lema de Fatou, de forma analoga aos
procedimentos usados no Captulo 4, mostra-se que o funcional f e coercivo e fracamente semi-contnuo
inferiormente sobre H01 ((0, 1)). Logo, vai existir um minimizante.
Usando a conhecida desigualdade
a2 +b2
2
ab para a, b R, temos que

1
2
e estritamente convexa sobre
H01 ((0, 1)).
( 0 )2 dt
0
Alem disso
Z
1
0
1
dt
e convexa sobre { H01 ((0, 1)) : 0}. Entao, tal e u

nico.
150
Afirmamos que este , satisfaz (t) > 0 para todo t em (0, 1). De fato, suponha, por contradicao, que
(t) = 0 para algum t (0, 1). Sejam a (0, t) e b (t, 1), tal que (a) = (b) > 0. entao, a funcao (t)
definida por (t) = max{(t), (a)} em [a, b] e (t) = (t) em [0, 1] [a, b] e outro mnimo diferente de
, o que e uma contradicao.
Agora se supormos de classe C 1 , ao minimizar a funcao

1
2 2
(R) = 2 R +
R
obtemos
2
4 R =
1
R
De maneira analoga ao Teorema de Regularidade do ponto crtico, mostra-se que C 2 (0, 1). Alem
disso, satisfaz a EDO.
00 +
em (0, 1), quando x =
0 (x)
=0
2
R1
1
dt.
0
De fato, considerando o funcional

J() =
1
2
02 dt +
0
Z
1
0
dt
Calcularemos a primeira variacao de J. Para isto seja

(t) = J( + th), h Cc (0, 1)
da
1
(t) =
2
0
entao
1
0 0
02
(2 h + 2th )dt
0
(0) =
1
0 0
h dt
Z
1
0
Z
1
0
dt
+ th
dt
Z
Z
1
0
1
0
dt
2

dt
h ,
( + th)2
usando integracao por partes na primeira integral da u

ltima expressao, temos
"Z
#
T
0 (x)
0
00
(0) =
+
h ,
2
0
sendo um ponto crtico de J, temos que 0 (0) = 0, ou equivalentemente

Z T
0 (x)
00 +
h
= 0, h C c (0, 1).
2
0
151
Portanto
00 +
1
2
Alem disso, por unicidade de , temos que 0

1
2
1
0
Assim, 0 (x) =
4
x3
ex=
1
R.
1
2
= 0. Logo, pelo Lema E.2.1, obtemos
| 0 |2 dt =
0 (x)
2
0 (x)
= 0.
2
1
0
2
1
(2 0 (x)) 3 ,
2
2
dt
= (2 0 (x)) 3 .
Portanto,
1
0 2
( ) dt +
0
Z
1
0
dt
=
=
=
=
=
2
1
(2 0 (x)) 3 + (x)
2

2
4 2 3
1
2 3
+ (x)
2
x
2
1 4
+ (x)
2 x2

1
2 1
2 2 +
x
R

1
2 2 R2 +
.
R
Proposi
c
ao E.2.3 Seja T > 0 e : (0, +) (0, +) como na Proposica
o anterior. Ent
ao temos

Z 1

Z 1
1
1
( 0 )2 dt + T 2
inf
dt : H01 (0, 1), 0
2 0
0
Z 1

Z 1
1
1
0 2
2
= inf
|q | dt + T
dt : q X0 ,
2 0
|q|
0
ambos podendo assumir o valor +.
Demonstra
c
ao: Como H01 ((0, 1)) X0 temos que a desigualdade e obvia. Por outro lado, como
nao depende explicitamente de t nao faz diferenca minimizar o lado direito para q X 0 ou q H01 ((0, 1)).
No segundo caso temos, tambem, que |q| H01 ((0, 1)) e |q| 0. Alem disso, de
|q|2 = hq, qi
152
temos
|q||q|0 = hq, q 0 i
pela desigualdade de Cauchy-Schwarz
|q|0 |q 0 |
donde |q|0 |q 0 |. Logo,
Provando a desigualdade oposta.
1
0 2
|q | dt
(|q|0 )2 dt.
0
Se T > 0 e : (0, +) (0, +) e crescente e convexa, facamos

Z 1

Z 1
1
1
dt : H01 (0, 1), 0

v0 (, T ) = inf
( 0 )2 dt + T 2
2 0
0

1
: R>0 ,
v1 (, T ) = min 2 2 R2 + T 2
R
com a convencao (+) = +.
Se o funcional f e associado com o potencial

V (x) =
entao
2 2 R2 + T 2
1
|x|

1
R
e exatamente o maximo de f entre todas as trajetorias circulares de perodo mnimo 1 e velocidade de

modulo constante, que estao na esfera de raio R centrada na origem. O n
umero v 1 (, T ) e determinado
escolhendo o raio R conveniente. Por outro lado, como vimos na Proposicao E.2.3, v 0 (, T ) e a maior
das cotas inferiores de f sobre as trajetorias circulares que encontram a origem.
Observa
c
ao: Note que a funcao convexa que usamos no Captulo 4 e nada mais que (s) = s , com
[1, 2] e e uma constante positiva. Por exemplo no Lema 4.3.5, e dada por
b
2
+2
2
X
mi mj
i6=j
2+
2
E combinacoes das Proposicoes E.2.2 2 e E.2.3, com (s) = s , provam os Lemas 4.3.5 e 4.3.8.
153
E.3
Segunda variac
ao de um funcional e condico
es suficientes
para um extremo
Nesta Secao apresentaremos a definicao da segunda diferencial de um funcional. Esta definicao e

bastante u
til para termos condicoes suficientes para um extremo.
E.3.1
Segunda variac
ao de um funcional
Lembremo-nos que se y e uma funcao de n- variaveis, uma condicao necessaria para y ter um mnimo
(resp, maximo) e que y 0 = 0 e y 00 > 0 (resp, y 00 < 0).
Funcionais quadr
aticos
Um funcional B(x, y) dependendo de dois elementos x e y pertencentes a algum espaco linear normado
e dito ser bilinear se
B(x + y, z) = B(x, z) + B(y, z),
para quaisquer x, y no espaco linear e qualquer R.
Fazendo y = x num funcional bilinear, obtemos uma expressao chamada de funcional quadratico.
Defini
c
ao E.3.1 Um funcional quadr
atico A(x) = B(x, x) e dito ser positivo definido se A(x) > 0, x 6=
0.
Um funcional bilinear definido sobre um espaco de dimensao finita e chamado uma forma bilinear.
Toda forma bilinear B(x, y) pode ser representada como
B(x, y) =
n
X
bik i k
i,k=1
onde 1 , , n sao as coordenadas dos elementos x e y, relativo a alguma base.

Exemplo E.3.2 Seja (t) > 0 para todo t [a, b]. Ent
ao o funcional
Z b
A(x) =
(t)x2 (t)dt
a
154
e definido positivo.
Agora introduziremos o conceito da segunda diferencial de um funcional. Se I(y) e um funcional

definido sobre algum espaco linear normado, dizemos que o funcional I(y) e duplamente diferenciavel se
seu incremento pode ser escrito na forma
I(h) = 1 (h) + 2 (h) + khk2 ,
ou de forma mais rigorosa
I(y)(h) = 1 (y)(h) + 2 (y)(h) + khk2 ,
onde 1 (h) e um funcional linear (de fato a primeira diferencial), 2 (h) e um funcional quadratico, e
0, quando khk 0. A funcao quadratica 2 (h) e chamada segunda diferencial ou segunda
varia
c
ao do funcional I(y), e denotamos por 2 (y)(h).
Teorema E.3.3 A segunda variaca

o de um funcional se existir e u
nica.
Demonstra
c
ao: Basta aplicar o mesmo procedimento da demonstracao do Teorema 1.2.12.
E.3.2
Condico
es suficientes para um extremo
Visando obter condicoes suficientes para um extremo de um funcional, daremos a seguinte definicao
Defini
c
ao E.3.4 Dizemos que um funcional quadr
atico 2 (h) definido sobre algum espaco linear normado e fortemente positivo se existir uma constante k > 0 tal que
2 (h) kkhk2
para todo h no espaco linear.
Teorema E.3.5 Uma condica

o suficiente para um funcional ter um mnimo para y = y , dado que a
primeira diferencial se anule em y = y , e que sua segunda variaca
o, 2 I(y )(h) seja fortemente positiva.
155
Demonstra
c
ao: Para y = y , temos que I(y )(h) = 0 para todo h, e logo
I(h) = 2 (y )(h) + khk2 ,
(E.3.3)
com 0, quando khk 0. Alem disso, para y = y

2 I(y )(h) kkhk2
(E.3.4)
para alguma constante positiva k. Entao de (E.3.3) e (E.3.4), temos

I(h)
2 I(y )(h) + khk2
(K + )khk2 .
Logo, o incremento (h) = I(y + h) I(y ) nao muda de sinal e e positivo. Portanto y e um mnimo
para I(y).
Coment
ario: Para um estudo mais aprofundado sobre a segunda diferencial de um funcional e recomendado ([12], Captulo 4).
156
Refer
encias Bibliogr
aficas
[1] Arnold, V. I.: Mathematical methods of classical Mechanics. Springer-Verlag, New York, 1978.
[2] Bessi, U. and Coti Zelati, V.: Symmetries and noncollision closed orbits for planar N-body-type
problems. Nonlinear. Analysis. Theory. Methods and Aplications, Vol.16. N o 6, pp.587-598, 1991.
[3] Brezis, H.: An
alisis funcional teoria y aplicaciones. Alianza, Madrid, 1984.
[4] Cabral, H.E. e Vidal, J.C.D.: Introduca
o a
` mec
anica celeste. Dmat-UFPE, Recife, 1999.
[5] Chenciner, A.: Action minimizing periodic orbits in the Newtonian n-body problem. Chicago Conference dedicated to Don Saari, pp.15-19, 1999.
[6] , Gerver J. et al: Simple choreographic motions of N body a preliminary study. Geometry,
mechanics and dynamics, Springer, New York, pp.287-308, 2002.
[7] , Montgomery, R.: A remarkable periodic solution of the three body problem in the case of equal
masses. Annals of Mathematics, Vol. 152, pp. 881-901, 2000.
[8] Costa, D.G.: A first encounter with variational methods in diferential equations. Cubo, Vol.4. N o 1,
pp.251-281, 2002.
[9] Coti Zelati, V.: Periodic solutions for N-body-type problems. Ann. Inst. Henri Poincare, Vol.7. N o 5,
pp.477-492, 1990.
[10] Degiovanni, M. and Giannoni, F.: Dynamical systems with newtonian type potentials. Ann. Scu.
Norm. Sup. Pisa. Cl. Sc, (4), pp. 466-494, 1987.
[11] Dugundji, J.: Topology. Allyn and Bacon, INC, Boston, 1966.
157
[12] Gelfand, I. M. and Fomin, S.V.: Calculus of variations. Prentice-Hall, New Jersey, 1963.
[13] Gordon, W.B.: Conservatie dynamical systems involving strong force. American Mathematical Society, Vol.204. pp. 113-135, 1975.
[14] , : A minimizing property of keplerian orbits. American Journal of Mathematcs, Vol.99. N o 5,
pp. 961-971, 1977.
[15] Hatcher, Allen.: Algebraic topology. University Press, Cambridge, 2002.
[16] Hounie, Jorge.: Teoria elementar das distribuico
es. IMPA, Rio de Janeiro, 1995.
[17] Kreyszig, Erwin.: Introductory functional analysis with applications. John Wiley - Sons, Berlin, 1966.
[18] Lang, Serge.: Differential manifolds. Addison - Wesley, New York, 1972.
[19] Roberts, A. W. and Varberg, D.E.: Convex functions. Academic Press, New York, 1973.
[20] Rudin, W.: Real and complex analysis. McGraw-Hill Book, Singapore, 1987.
[21] Siegel, C. and Moser, J.: Lectures on Celestial Mechanics. Springer-Verlag, Berlin, 1971.
[22] Schwartz, L.: Theoria des distributions. Springer, Hermann, 1973.
158

Calculo Variacional PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Calculo Variacional PDF

Transféré par

Droits d'auteur :

Formats disponibles

` MECANICA

Alguns problemas variacionais simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A variacao de um funcional. Uma condicao necessaria para um extremo . . . . . . . . . .

Variacao ou diferencial de um funcional . . . . . . . . . . . . . . . . . . . . . . . .

Uma condicao necessaria para um extremo . . . . . . . . . . . . . . . . . . . . . .

Equacao de Euler-Lagrange para o problema variacional mais simples . . . . . . . . . . .

Invariancia das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . .

Problema do ponto final fixo para n-funcoes desconhecidas . . . . . . . . . . . . . . . . . .

Problema variacional na forma parametrica . . . . . . . . . . . . . . . . . . . . . . . . . .

O problema variacional com vnculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Condicoes de vnculos finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

A forma canonica das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . .

1.10 Integral primeira das equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . . . .

2 O problema dos N-Corpos e Problemas Variacionais em Sistemas Mec

Formulacao do problema dos N-corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Princpio da acao mnima . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Equivalencia entre as formulacoes Hamiltonianas e Lagrangianas em um sistema mecanico. 43

O Metodo direto em problemas variacionais . . . . . . . . . . . . . . . . . . . . . . . . . .

O metodo de Ritz e o metodo das diferencas finitas . . . . . . . . . . . . . . . . . .

Sistemas envolvendo forca forte e forca fraca . . . . . . . . . . . . . . . . . . . . . . . . . .

Mais sobre coercividade e potenciais envolvendo forca forte . . . . . . . . . . . . . . . . .

Ponto crtico de um funcional e propriedades . . . . . . . . . . . . . . . . . . . . . . . . .

Uma propriedade minimizante das orbitas Keplerianas . . . . . . . . . . . . . . . . . . . .

Formulacao do resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . . .

A acao integral para solucoes continuadas . . . . . . . . . . . . . . . . . . . . . . .

Preliminares para a demonstracao do resultado principal . . . . . . . . . . . . . . .

Demonstracao do resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . .

Existencia de solucoes periodicas sem colisao em problemas planares do tipo N-corpos . .

Existencia de solucoes com restricoes topologicas . . . . . . . . . . . . . . . . . . .

Existencia de solucoes com restricoes de simetria . . . . . . . . . . . . . . . . . . .

Solucoes com simetrias de rotacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

Solucoes sem colisao para problemas do tipo N-corpos . . . . . . . . . . . . . . . . 113

Uma nova solucao para o problema dos tres corpos . . . . . . . . . . . . . . . . . . . . . . 120

A.1 Alguns resultados da Analise Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

D.1 Operacao com distribuicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

E.1 Notacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148

Era ela quem erguia casas

Key Words : Variational calculus, periodic solution, symmetry, N-body problem.

Alguns problemas variacionais simples

Exemplo 1.1.1 Considere o conjunto de todas as curvas retific

Exemplo 1.2.3 A aplicaca

define um funcional linear sobre C([a, b]) o espaco das funco

Exemplo 1.2.4 A aplicaca

define um funcional linear sobre C ([a, b]) o espaco das funco

Lema 1.2.5 (Lema de Lagrange) Se (x) e contnua em [a,b], e se

para toda h C([a, b]) tal que h(a) = h(b) = 0, ent

(x)(x x1 )(x2 x)dx > 0,

o que e uma contradicao, o que conclui a demonstracao.

para toda funca

onde c e dada pela equacao

Por outro lado, obtemos

[(x) c]h0 (x)dx =

[(x) c]h (x)dx =

(x)h0 (x)dx c[h(b) h(a)] = 0.

Lema 1.2.7 Se (x) e contnua em [a, b], e se

onde c0 e c1 sao definidas pelas condicoes

Por um lado, temos

[(x) c0 c1 x]h00 (x)dx =

Por outro lado, usando integracao por partes

Assim, (x) c0 c1 x = 0, donde, (x) = c0 + c1 x.

Lema 1.2.8 Se (x) e (x) s

[(x)h(x) + (x)h0 (x)]dx = 0

para toda h C 1 ([a, b]), tal que h(a) = h(b) = 0, ent