Uma Introdução À Mecânica Celeste PDF

Uma Introduo
Mecnica Celeste

Publicaes Matemticas

Uma Introduo
Mecnica Celeste

Srgio B. Volchan
PUC-Rio

impa
26
o
Colquio Brasileiro de Matemtica

Copyright 2007 by Srgio B. Volchan
Direitos reservados, 2007 pela Associao Instituto
Nacional de Matemtica Pura e Aplicada - IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
Impresso no Brasil / Printed in Brazil
Capa: Noni Geiger / Srgio R. Vaz

26
o
Colquio Brasileiro de Matemtica
Aspectos Ergdicos da Teoria dos Nmeros - Alexander Arbieto, Carlos
Matheus e Carlos Gustavo Moreira
Componentes Irredutveis dos Espaos de Folheaes - Alcides Lins Neto
Elliptic Regularity and Free Boundary Problems: an Introduction -
Eduardo V. Teixeira
Hiperbolicidade, Estabilidade e Caos em Dimenso Um - Flavio Abdenur e
Luiz Felipe Nobili Frana
Introduction to Generalized Complex Geometry - Gil R. Cavalcanti
Introduction to Tropical Geometry - Grigory Mikhalkin
Introduo aos Algoritmos Randomizados - Celina de Figueiredo, Guilherme
da Fonseca, Manoel Lemos e Vinicius de S
Mathematical Aspects of Quantum Field Theory - Edson de Faria and
Welington de Melo
Mtodos Estatsticos No-Paramtricos e suas Aplicaes - Aluisio Pinheiro
e Hildete P. Pinheiro
Moduli Spaces of Curves - Enrico Arbarello
Noes de Informao Quntica - Marcelo O. Terra Cunha
Three Dimensional Flows - Vtor Arajo e Maria Jos Pacifico
Tpicos de Corpos Finitos com Aplicaes em Criptografia e Teoria de
Cdigos - Ariane Masuda e Daniel Panario
Tpicos Introdutrios Anlise Complexa Aplicada - Andr Nachbin e Ailn Ruiz
de Zrate
Uma Introduo Mecnica Celeste - Srgio B. Volchan
Uma Introduo Teoria Econmica dos Jogos - Humberto Bortolossi,
Gilmar Garbugio e Brgida Sartini
Uma Introduo aos Sistemas Dinmicos via Fraes Contnuas - Lorenzo J.
Daz e Danielle de Rezende Jorge

ISBN: 978-85-244-0264-7 Distribuio: IMPA
Estrada Dona Castorina, 110
22460-320 Rio de Janeiro, RJ
E-mail: ddic@impa.br
http://www.impa.br
texto
2007/5/15
page 1
i
i
i
i
i
i
i
i
Sumario
1 Introdu cao 5
1.1 Breve nota hist orica . . . . . . . . . . . . . 5
1.2 O Problema de N-Corpos . . . . . . . . . . . 10
1.2.1 Preliminares . . . . . . . . . . . . . . 10
1.2.2 Formula c ao matem atica do problema 12
1.3 Objetivos e o plano do livro . . . . . . . . . 16
2 O Teorema de Existencia e Unicidade 19
2.1 Espa cos metricos e normados . . . . . . . . 20
2.2 O teorema fundamental de existencia e uni-
cidade . . . . . . . . . . . . . . . . . . . . . 25
2.3 Suave e Lipschitz . . . . . . . . . . . . . . . 30
2.4 Existencia e unicidade no problema de N-
corpos . . . . . . . . . . . . . . . . . . . . . 33
2.4.1 O dem onio de Laplace . . . . . . . . 36
3 Leis de Conserva cao 40
3.1 As integrais de movimento cl assicas . . . . . 41
3.2 Duas aplica c oes . . . . . . . . . . . . . . . . 46
3.3 Digress ao sobre integrabilidade . . . . . . . 48
1
texto
2007/5/15
page 2
i
i
i
i
i
i
i
i
2 SUM
ARIO
4 O Teorema de Sundman-Weierstrass 54
4.1 Colis oes e colapso total . . . . . . . . . . . . 55
4.2 O teorema do colapso total . . . . . . . . . . 61
4.3 Sobre a estabilidade . . . . . . . . . . . . . . 64
5 Singularidades no problema de N-corpos 66
5.1 Uma caracteriza c ao das singularidades . . . 67
5.2 Colis oes e Pseudocolis oes . . . . . . . . . . . 70
5.3 A conjectura de Painleve . . . . . . . . . . . 74
texto
2007/5/15
page 3
i
i
i
i
i
i
i
i
Prefacio
Este livro e uma amplia c ao de notas de aula para um
minicurso com o mesmo ttulo apresentado nas Jornadas de
Inicia c ao Cientca do IMPA em novembro de 2006. Gos-
taria de aproveitar a ocasi ao para agradecer ao Marcelo
Viana, respons avel por aquele encontro, por seu entusi-
asmo pelo tema e sua insistencia para que eu organizasse
aquelas notas em um livro. Meus agradecimentos tambem
ao Lorenzo J. Daz pela sugest ao de submeter uma vers ao
mais aprofundada do tema para o Col oquio, assim como
pelo seu encorajamento na empreitada e sua leitura crtica
de partes do manuscrito.
Finalmente, me sinto muito honrado com o convite da
comiss ao organizadora do 26
Col oquio de Brasileiro de

Matem atica e agrade co pela oportunidade de participar
deste prestigioso encontro que celebra seu quinquagesmo
anivers ario
3
texto
2007/5/15
page 4
i
i
i
i
i
i
i
i
4
texto
2007/5/15
page 5
i
i
i
i
i
i
i
i
Captulo 1
Introdu cao
1.1 Breve nota hist orica
O interesse e curiosidade a respeito dos fen omenos celestes
remonta aos prim ordios da humanidade, o que explica ser
a Astronomia a ciencia mais antiga. A Mec anica Celeste,
por outro lado, e uma disciplina bem mais recente. Con-
cebida como o ramo da Astronomia que estuda a din amica
dos corpos sob intera c ao gravitacional, ela teve seus funda-
mentos estabelecidos no seculo XVII. Sua origem, porem, e
bem mais antiga e est a ligada ` as observa c oes e registros das
posi c oes dos astros em seu deslocamento di ario na ab obada
celeste, as chamadas efemerides.
1
As civiliza c oes da antiguidade cl assica, como os Ba-
bil onios, Egpcios e Gregos, tinham necessidade de des-
crever (e prever) os movimentos dos astros, visando prin-
cipalmente a elabora c ao de calend arios. Motivados por
raz oes tanto religiosas quanto pr atico-administrativas (e.g.,
organiza c ao estatal e agricultura), a confec c ao de tabelas
1
H a indcios de que h a cerca de 30.000 anos atr as o homem de Cro-Magnon j a
teria feito marca c oes em ossos de animais descrevendo as fases de lua. [16]
5
texto
2007/5/15
page 6
i
i
i
i
i
i
i
i
6 [CAP. 1: INTRODUC
AO
do movimento di ario dos corpos celestes foi um grande
estmulo para o desenvolvimento da Astronomia.

E um
feito not avel destas civiliza c oes o de terem sido capazes
de descobrir padr oes de regularidade nos complexos movi-
mentos dos astros a ponto de poderem prever eventos tanto
espetaculares, como os eclipses, quanto sutis, como a pre-
cess ao dos equin ocios.
2
Isso demonstra um grande avan co
observacional e conceitual e podemos apenas especular o
quanto contribuiu para forma c ao da ideia de lei natural.
O apice do conhecimento astron omico grego ocorre com
a publica c ao do Almagesto (do arabe, o grande livro) de
Claudius Ptolomeu (cerca de 100 d.C.), que foi a referencia
na area por cerca de 1500 anos. Nesta extraordin aria obra
e desenvolvido o famoso metodo dos epiciclos no qual o mo-
vimento dos planetas, tendo a Terra como centro (modelo
geocentrico), e descrito atraves da composi c ao de movi-
mento circulares uniformes. Apesar de apresentar not avel
precis ao, tratava-se de um modelo fundamentalmente des-
critivo e pouco explicativo. Alem disso utilizava muitas
hip oteses sem fundamenta c ao como, por exemplo, a no c ao
da primazia do movimento circular uniforme, concebido
como o unico movimento perfeito.
A fase moderna da Mec anica Celeste, em que se es-
tuda a din amica de sistemas de corpos massivos sob a a c ao
de for cas de atra c ao gravitacional com o intuito de enten-
der/explicar o movimento daqueles corpos, realmente tem
incio com a chamada sntese Newtoniana no seculo XVII.
Seu marco e a publica c ao em 1687 dos Principia de Isaac
Newton, onde s ao formuladas as leis de movimento e se pos-
tula que estas leis s ao v alidas tanto para corpos movendo-se
2
Trata-se da rota c ao do eixo da Terra que oscila (como um pi ao) com perodo
de cerca de 26000 anos, efeito descoberto por Hiparco por volta de 128-130 a.C.,
baseando-se em dados compilados pelos Babil onios
texto
2007/5/15
page 7
i
i
i
i
i
i
i
i
[SEC. 1.1: BREVE NOTA HIST
ORICA 7
num laborat orio terrestre quanto nos conns do Universo.
Pode-se tambem armar que esta sntese s o foi possvel com
o desenvolvimento de uma nova ferramenta matem atica: o
c alculo diferencial e integral.
O trabalho de Newton e a culmina c ao de intensas in-
vestiga c oes cientcas e de especula c oes los ocas nos du-
zentos anos precedentes. Como ele pr oprio reconheceu, s o
pode ver mais longe porque estava sobre os ombros de
gigantes tais como Copernico, Kepler, Brahe, Descartes e
Galileu, entre muitos outros. N ao se pode esquecer que
muitas destas investiga c oes foram estimuladas pelas ne-
cessidades e conquistas tecnol ogicas da epoca: cartogra-
a, cronometria, instrumenta c ao cientca (e.g., rel ogios,
telesc opios) e problemas de navega c ao martima (particu-
larmente o famoso problema da longitude).
A partir de ent ao a Mec anica Celeste torna-se o campo
de provas por excelencia da validade e escopo da Mec anica
Cl assica (ou Mec anica Newtoniana). Como observou Poin-
care (ver [5]),
... o verdadeiro objetivo da Mec anica Celeste n ao
e o c alculo das efemerides ... mas reconhecer se
a Lei de Newton e suciente para explicar todos
os fen omenos.
Nesse sentido o sucesso foi triunfal. Entre in umeras
outras conquistas, citamos a dedu c ao das Leis de Kepler,
umaa explica c ao das duas mares di arias, da precess ao dos
equin ocios e do achatamento dos p olos terrestres, assim
como a espetacular predi c ao de Halley do reaparecimento
do cometa que leva seu nome em 1758. O apice veio em
1845 com a predi c ao te orica da existencia de um novo pla-
neta, Netuno, atraves de estudos perturbativos da orbita de
Urano, por Adams (na Inglaterra) e Le Verrier (na Fran ca).
texto
2007/5/15
page 8
i
i
i
i
i
i
i
i
8 [CAP. 1: INTRODUC
AO
Os problemas desaadores da mec anica celestes sempre
atraram o interesse e esfor cos dos maiores matem aticos,
fsicos e astr onomos da hist oria. Uma lista incompleta in-
clui Newton, Leibniz, Halley, Euler, Clairaut, DAlembert,
Delaunay, Lambert, Cauchy, Lagrange, Laplace, Liouville,
Legendre, Clairaut, Poisson, Gauss, Jacobi, Weierstrass,
Dirichlet, Hamilton, Hermite, Poincare, Painleve, Birkho,
Lyapunov, Gylden, Chazy, Tisserand, Hill e Sundman.
A Mec anica Celeste deixou assim um vasto legado, j a
que in umeras ideias, metodos e tecnicas criadas para abor-
dar seus problemas iuenciaram decisivamente v arias areas
da matem atica (em alguns casos dando origem a disci-
plinas aut onomas). Podemos incluir: C alculo e An alise,
Equa c oes Diferenciais Ordin arias e Parciais,

Algebra Li-
near, C alculo Variacional, Vari aveis Complexas, Mec anica
Analtica e Hamiltoniana, An alise Numerica, Estatstica e
Probabilidade, Equa c oes Diferenciais Ordin arias, Sistemas
Din amicos e ate Topologia e Teoria dos N umeros.
Os sucessos da sntese Newtoniana e, particularmente
da Mec anica Celeste, contriburam fortemente para que a
Mec anica fosse al cada a modelo de ciencia exata e para a
consolida c ao do modelo mec anico do Universo. Porem,
nem tudo fora explicado. Um problema recalcitrante era
o da precess ao do perielio da orbita do planeta merc urio:
um desvio observado de 43 segundos de arco por seculo em
rela c ao a predi c ao Newtoniana e que s o veio a ser expli-
cado pela Teoria da Relatividade Geral de Einstein (1915),
portanto fora do escopo da Mec anica Cl assica (de todo o
modo corroborando a observa c ao de Poincare mencionada
acima).
3
3
Outro problema, que permance em aberto, e a quest ao da estabilidade do
sistema solar; grosso modo, trata-se de saber se, no longo prazo, o sistema solar
ir a colapsar sobre si mesmo ou se eventualmente ir a se dispersar.
texto
2007/5/15
page 9
i
i
i
i
i
i
i
i
[SEC. 1.1: BREVE NOTA HIST
ORICA 9
E verdade que a partir da segunda metade do seculo

XIX a Mec anica Celeste foi sendo paulatinamente negli-
genciada pelos fsicos cujo interesse se voltava para as no-
vas disciplinas da Termodin amica e do Eletromagnetismo.
Tambem e desta epoca o surgimento da chamada nova
astronomia, com o desenvolvimento de novos metodos de
estudo e observa c ao dos corpos celestes, particularmente
a espectroscopia, o que eventualmente levou ao desenvol-
vimento vertiginoso da Astrofsica. Ademais, no incio do
seculo XX a aten c ao da maioria dos fsicos se focalizou em
duas novas teorias: a Relatividade e a Mec anica Qu antica.
Entretanto, a Mec anica Celeste continuou a ser culti-
vada por astr onomos e matem aticos. Com o advento da era
espacial e o desenvolvimento dos computadores, em meados
da decada de cinquenta do seculo passado, surgiram novos
problemas extremamente desaadores ligados a explora c ao
e navega c ao espaciais tais como: controle de satelites e
sondas explorat orias, viagens tripuladas, etc. A Mec anica
Celeste ganhou novo impulso, despertando novamente o in-
teresse de matem aticos de primeira linha, particularmente
da escola russa e americana. Data desta epoca o celebre te-
orema KAM (devido a Kolmogorov, Arnold e Moser) sobre
o efeito de perturba c oes em sistemas hamiltonianos, e que
teve grande impacto na area de Sistemas Din amicos. Outro
exemplo foi a retomada, por Pollard e Saari na decada de
sessenta, das investiga c oes sobre a conjectura de Painleve,
sobre a qual falaremos no captulo nal destas notas.
Presentemente, a Mec anica Celeste e uma area de pes-
quisa muito ativa, de car ater multidisciplinar, com impor-
tantes contribui c oes recentes e contando com v arios pro-
blemas em aberto.
texto
2007/5/15
page 10
i
i
i
i
i
i
i
i
10 [CAP. 1: INTRODUC
AO
1.2 O Problema de N-Corpos
Para apresentar a formula c ao matem atica do problema fun-
damental da Mec anica Celeste, o chamado problema de N-
corpos, precisamos lembrar de algumas no c oes de Fsica.
1.2.1 Preliminares
Come camos com seguintes pressupostos da Fsica Newto-
niana:
a mecanica classica: ou seja, pressupomos o espa co-
tempo Newtoniano e a existencia de referenciais iner-
ciais, isto e, em rela c ao aos quais valem as tres Leis
de Newton da Din amica, a saber: a 1a. Lei ou lei da
inercia arma que um corpo permanece estado de mo-
vimento retilneo e uniforme a menos que sofra a a c ao
de uma for ca; a 2a. Lei diz que a a c ao de uma for ca
sobre um corpo e a taxa de varia c ao de seu momento
linear,
F =
dp
dt
;
(no caso de uma partcula com massa m > 0 e velo-
cidade v, tem-se p = mv e a 2a. Lei ca: F = ma,
onde a e a acelera c ao da partcula; note que a massa
e uma medida da inercia); a 3a. Lei ou lei da a c ao
e rea c ao, diz que se um corpo exerce uma for ca sobre
outro, este tambem exerce uma for ca sobre o primeiro,
de mesma intensidade mas em sentido contr ario.
a lei da gravita cao universal: a for ca de atra c ao
gravitacional entre quaisquer duas partculas de mas-
sas m e M, a uma dist ancia r > 0 entre si, tem inten-
texto
2007/5/15
page 11
i
i
i
i
i
i
i
i
[SEC. 1.2: O PROBLEMA DE N-CORPOS 11
sidade:
F =
GmM
r
2
,
onde G e a constante de gravita c ao universal.
4
Como em todo modelo matem atico de problemas fsicos,
vamos trabalhar sob certas simplica c oes ou idealiza c oes,
a saber:
(i) os corpos celestes (por exemplo, planetas) s ao consi-
deradas como partculas (ou pontos materiais), logo
destitudos de estrutura interna, sendo a massa a sua
unica propriedade intrnseca;
(ii) n ao h a outro tipo de intera c ao entre as partculas
alem da atra c ao gravitacional e supomos que o sis-
tema de N-corpos estudado est a isolado do resto do
universo.
E importante salientar que estas s ao idealiza c oes bas-

tante severas e este modelo e quase uma caricatura da re-
alidade. Assim, ainda que Newton tenha provado que o
potencial gravitacional externo a um corpo com uma dis-
tribui c ao esfericamente simetrica de massa e o mesmo da-
quele gerado como se toda a massa estivesse concentrada
em seu centro, e um fato que os corpos celestes reais n ao
s ao homogeneos nem esfericos. Ao tratarmos os corpos
como pontos materiais estaremos ignorando importantes
efeitos ligados a extens ao dos corpos tais como efeitos de
mare, efeitos dissipativos, efeitos da rota c ao (precess ao,
resson ancias), etc e que podem ser determinantes para o
entendimento de sistemas reais. Ademais, estaremos des-
prezando a complexa estrutura interna dos corpos celestes,
4
Em unidades do Sistema Internacional (SI), G = 6, 67.10
11
N.m
2
/kg
2
.
texto
2007/5/15
page 12
i
i
i
i
i
i
i
i
AO
que e um dos t opicos centrais da Astrofsica moderna (ciclo
de vida de estrelas, constitui c ao fsico-qumica dos plane-
tas, etc).
Do ponto de vista fsico, a justicativa para tais idea-
liza c oes est a sempre ligada aos aspectos do sistema que se
quer focalizar e ` as escalas (dist ancias, tempos, energias)
envolvidas. Para ter-se uma ideia de ordens de grandeza:
no sistema solar a raz ao entre o di ametro do Sol e sua
dist ancia a Plut ao e da ordem de 10
4
e estima-se que
98% do momento angular total do sistema provem do mo-
vimento orbital (em compara c ao com a rota c ao intrnseca
de cada corpo). Assim, parece razo avel tratar os plane-
tas como pontos materiais em uma escala da ordem do
di ametro do sistema solar. De qualquer modo, a Mec anica
Celeste e parte integrante de qualquer estudo de sistemas
de N-corpos reais, em particular do nosso sistema solar
cuja din amica, ali as, est a longe de ser bem compreendida
(ver [23]).
E claro que outra justicativa para o estudo do problema

de N-corpos e que se trata de um problema de interesse
matem atico intrnseco.
1.2.2 Formula cao matematica do problema
Suponha escolhido um referencial inercial, que modelamos
como o R
3
. Considere ent ao N 2 partculas, indexadas
por j = 1, 2, . . . , N, com massas m
j
> 0 e que ocupam, no
instante t R, as posi c oes r
j
(t) = (x
j1
(t), x
j2
, x
j3
(t)). O
problema fundamental da mec anica celeste e o de estudar
a evolu c ao do sistema sob a a c ao das for cas gravitacionais.
A for ca de atra c ao gravitacional que a k-esima partcula
exerce sobre a j-esima, onde k ,= j, e dada pela Lei de
texto
2007/5/15
page 13
i
i
i
i
i
i
i
i
Gravita c ao Universal,
F
jk
= Gm
j
m
k
r
k
r
j
|r
k
r
j
|
3
.
Note que F
jk
= F
kj
, uma manifesta c ao da 3a. Lei de
Newton.
Assim, a formula c ao matem atica do problema de N-
corpos gravitacional Newtoniano e a seguinte: dadas as
posi c oes r
j
(t
0
) e velocidades r
j
(t
0
) de todas as partculas
(j = 1, 2, . . . , N) num instante inicial t
0
R, satisfazendo
r
i
(t
0
) ,= r
j
(t
0
), se i ,= j; estudar o seguinte sistema de
equa c oes diferenciais:
m
j
r
j
=
N
k=1,k=j
Gm
j
m
k
r
k
r
j
|r
k
r
j
|
3
, (1.1)
para j = 1, 2, . . . , N.
Aqui usamos a nota c ao de Newton para derivadas em
rela c ao ao tempo; por exemplo, a velocidade da j-esima
partcula no instante t se escreve
v
j
(t) =
dr
j
dt
(t) = r
j
(t).
Denotamos tambem a norma (ou dist ancia) Euclideana
usual em R
3
por:
r
jk
= |r
k
r
j
|
_
3
i=1
(x
ji
x
ki
)
2
.
Note que para cada j = 1, . . . , N, a equa c ao 1.1 e t ao so-
mente a 2a. Lei de Newton (equa c oes de movimento) para
a j-esima partcula, sendo o lado esquerdo da resultante
texto
2007/5/15
page 14
i
i
i
i
i
i
i
i
AO
(ou soma) das for cas de atra c ao gravitacionais excercidas
pelas outras partculas sobre ela. Vemos que do ponto de
vista matem atico trata-se de estudar um problema de valo-
res iniciais, ou seja um sistema de 3N-equa c oes diferenciais
ordin arias (n ao-linear) de 2a. ordem.
E conveniente reformular o problema introduzindo a

chamada fun c ao energia potencial (gravitacional) do sis-
tema:
U : R
3N
/ ]0, +[
x U(x)
1j<kN
Gm
i
m
j
|r
k
r
j
|
,
onde x = (r
1
, . . . , r
N
) e um vetor 6N-dimensional cuja
norma Euclideana correspondente denotamos por [x[ =
_
|r
1
|
2
+ . . . +|r
N
|
2
.
Note que a fun c ao U(x) s o est a denida para x fora do
conjunto =
1i<jN
ij
, com
ij
= x = (r
1
, , r
N
) R
3N
: r
i
= r
j
,
chamado conjunto singular.
Em R
3N
/, chamado espa co de congura c oes do sis-
tema, a fun c ao U e suave, ou seja, de classe C
(ver a
se c ao 2.3) e, mais ainda, real analtica.
5
Observa cao 1.1. Em textos de Fsica toma-se para ener-
gia potencial a fun c ao V U, que e ent ao estritamente
negativa. A energia cinetica do sistema de N partculas e
dada por
T
1
2
N
j=1
m
j
v
2
j
,
5
Ou seja, possui uma expans ao em serie de Taylor em cada ponto do domnio.
texto
2007/5/15
page 15
i
i
i
i
i
i
i
i
onde v
2
j
= v
j
v
j
, e o produto escalar usual de vetores
em R
3
. A fun c ao H T U chama-se energia total do
sistema. Veremos no captulo 3 que a energia total e uma
grandeza conservada, raz ao pela qual diz-se que o sistema
de N corpos e conservativo.
O problema de N-corpos pode ser reescrito na forma
m
j
r
j
=
r
j
U(x) =
_
U
x
j1
(x),
U
x
j2
(x),
U
x
j3
(x)
_
, (1.2)
com j = 1, . . . , N, com condi c oes iniciais r
i
(t
0
) ,= r
j
(t
0
), se
i ,= j, e v
j
(t
0
) = r
j
(t
0
).
Por sua vez, este sistema e equivalente ao seguinte sis-
tema de 6N equa c oes de primeira ordem:
_
_
r
j
= v
j
v
j
=
1
m
j
r
j
U(x) j = 1, . . . , N
(x(t
0
), v(t
0
)) R
3N
/R
3N
,
(1.3)
onde denimos os vetores x(t
0
) = (r
1
(t
0
), . . . , r
N
(t
0
)) e
v(t
0
) = (v
1
(t
0
), . . . , v
N
(t
0
)).
O conjunto (R
3N
/) R
3N
chama-se espa co de fases
do sistema. Assim, denotando por y = (x, v) os pontos
deste espa co, onde x = (r
1
, . . . , r
N
) e v = (v
1
, . . . , v
N
), o
sistema de equa c oes acima pode ser reescrito no formato
ainda mais abstrato:
_
y = f(y)
y(t
0
) = y
0
(R
3N
/) R
3N
,
(1.4)
onde
f(y) (v
1
, , v
N
,
1
m
1
r
1
U(x), . . . ,
1
m
N
r
N
U(x)).
texto
2007/5/15
page 16
i
i
i
i
i
i
i
i
AO
Vemos ent ao que, do ponto de vista matem atico, o pro-
blema de N-corpos consiste em estudar o sistema din amico
acima.
1.3 Objetivos e o plano do livro
A grande diculdade ao abordar a Mec anica Celeste e o fato
de tratar-se de uma disciplina extremamente vasta, com
uma hist oria longa e muito rica (para um panorama, ver
[18]) e que permeia o desenvolvimento da pr opria ciencia.
Ao mesmo tempo e isto que, entre outros fatores, a torna
fascinante.
Trata-se de uma area de estudo genunamente multi-
disciplinar, envolvendo contribui c oes de todas as areas da
Fsica, Qumica, Geologia, as tecnologias de observa c ao e
medi c ao e, claro, da Matem atica. E sua hist oria ilustra, de
modo muito claro, a import ancia dos esfor cos e da criati-
vidade de in umeros indivduos que contriburam para dar
conta dos imensos desaos que esta disciplina apresenta.
Que tipo de resultados se gostaria de obter do estudo
do problema de N-corpos? Tradicionalmente s ao de dois
tipos:
(I) quantitativos: solu c oes explcitas, solu c oes aproxi-
madas, solu c oes particulares, teoria de perturba c oes,
an alise numerica, etc.
(II) qualitativos: comportamento assint otico de solu c oes,
existencia de orbitas peri odicas, quest oes de estabili-
dade, simetrias, singularidades, etc.
6
6
O estudo dos aspectos qualitativos de problemas do tipo 1.4 acima, em con-
textos extremamente gerais e abstratos, demarca a chamada Teoria dos Sistemas
Din amicos.
texto
2007/5/15
page 17
i
i
i
i
i
i
i
i
[SEC. 1.3: OBJETIVOS E O PLANO DO LIVRO 17
E claro que estes dois tipos de an alise se superp oem

freq uentemente. Hist oricamente, a busca de resultados
quantitativos tiveram precedencia e continuam a ser fun-
damentais, tanto na teoria quanto em aplica c oes (c alculo
de efemerides, obitas de satelites, miss oes espaciais, teoria
de perturba c oes, etc). Apesar de os metodos aproximati-
vos e perturbativos terem sido usados desde o incio, ha-
via a cren ca de que o mais importante era a obten c ao de
solu c oes fechadas ou explcitas das equa c oes de movi-
mento; ademais, se tinha a conan ca de que cedo ou tarde
elas seriam encontradas e nos permitiriam entender com-
pletamente o comportamento do sistema.
Foi s o muito lentamente que se deu conta que esta busca
era em grande medida uma ilus ao. No nal do seculo XIX,
v arios desenvolvimentos conduziram ` a uma mudan ca ver-
dadeiramente revolucion aria no estudo dos sistemas din a-
micos (com impacto em diversas areas da matem atica) li-
derada por Poincare, Lyapunov e outros, na dire c ao dos
chamados metodos qualitativos (ou geometricos). Fala-
remos um pouco mais sobre isto posteriormente.
Neste minicurso apresentamos alguns aspectos matem a-
ticos relativamente b asicos do problema de N-corpos, numa
linha que talvez se poderia chamar qualitativa. Em par-
ticular, abordamos o intrigante problema das singularida-
des, que tem atrado muito interesse nos ultimos anos.
Objetivo maior destas notas e despertar a curiosidade
do leitor pelo universo da Mec anica Celeste e pelos proble-
mas matem aticos associados.

E claro que seria impossvel
cobrir territ orio t ao vasto em uma pequena monograa de
nvel intermedi ario. Dessa forma v arios t opicos cl assicos
importantes e interessantes foram excludos, tais como o
problema de dois corpos, a equa c ao de Kepler, etc (estes e
texto
2007/5/15
page 18
i
i
i
i
i
i
i
i
AO
muitos outros assuntos s ao tratados de forma magistral em
[29], [24] ou [12]). Porem, sempre que possvel (e dentro
do escopo destas notas) procurei indicar o contexto ligado
aos t opicos tratados, no intuito de motivar e auxiliar sua
compreens ao. A bibliograa sugerida contem uma amos-
tra bastante diversicada na qual o leitor pode buscar um
aprofundamento nos t opicos que lhe forem mais atraentes.
Uma vez que, do ponto de vista matem atico, o problema
de N-corpos e um problema de valores iniciais, tratamos
no captulo 2 do teorema cl assico de existencia e unicidade
para equa c oes diferenciais ordin arias. Alem de motivar a
introdu c ao de v arios conceitos matem aticas interessantes,
este resultado ser a tambem crucial para a compreens ao da
quest ao das singularidades a ser discutida no captulo 5. No
captulo 3 discutimos as leis de conserva c ao cl assicas asso-
ciadas ao problema de N-corpos e (das quais quase tudo
depende em Mec anica Celeste). Como aplica c oes, vemos
dois resultados relativamente simples e que ser ao ferramen-
tas essenciais ate o nal: a identidade de Lagrange-Jacobi e
a desigualdade de Sundman. No captulo 4 apresentamos o
teorema do colapso total de Sundman-Weierstrass, um re-
sultado muito importante, tanto do ponto de vista hist orico
quanto te orico e que envolve um tipo de singularidade bem
conhecido, as colis oes. Finalmente, no captulo 5 aborda-
mos o problema das singularidades com um pouco mais de
detalhe, apresentamos a famosa conjectura de Painleve e
alguns desdobramentos relacionados.
texto
2007/5/15
page 19
i
i
i
i
i
i
i
i
Captulo 2
O Teorema de
Existencia e Unicidade
Do ponto de vista matem atico a primeira tarefa ao lidar
com um problema de valores iniciais, tal como o problema
de N-corpos, e a de saber se o problema admite solu c ao
e se ela e unica. Ou seja, a primeira tarefa consiste em
provar um teorema de existencia e unicidade de solu c oes.
Esse teorema e raramente apresentado em livros texto de
fsica, talvez porque, como observou o fsico e l osofo da
ciencia Mario Bunge, para um fsico ou engenheiro isso e
como sair de um restaurante sem comer nada, mas tendo
pago o couvert para ter o direito de ler o card apio [6].
Para um matem atico, por outro lado, um tal resultado e
como um certicado ou alvar a garantindo que n ao se vai
comer gato por lebre.
Met aforas a parte, o teorema cl assico de existencia e uni-
cidade para equa c oes diferenciais ordin arias (EDOs) n ao
e t ao difcil e envolve v arios conceitos matem aticos inte-
ressantes, tais como espa cos metricos, espa cos de Banach,
19
texto
2007/5/15
page 20
i
i
i
i
i
i
i
i
20 [CAP. 2: O TEOREMA DE EXIST
ENCIA E UNICIDADE
teoremas de ponto xo, etc. Ademais, trata-se de um re-
sultado crucial para compreender a no c ao de singularidade
no problema de N-corpos, que abordaremos no captulo -
nal destas notas. Assim, neste captulo vamos apresentar
este teorema num formato suciente para nossos prop ositos
(para mais detalhes pode-se consultar [15] ou [13]). Em
uma primeira leitura pode-se pular este captulo sendo que
no captulo 5 usaremos diretamente apenas o teorema 2.27.
Sucintamente, o teorema arma que para o problema de
valores iniciais
_
u = F(u)
u(t
0
) = u
0
,
(2.1)
onde F e suave e tal que [F(u)[ M numa vizinhan ca
[uu
0
[ b da condi c ao inicial u
0
, ent ao existe uma unica
solu c ao, ao menos num intervalo [tt
0
[ < , onde depende
somente de b e M.
Este resultado, de natureza local, e uma vers ao do teo-
rema de Cauchy-Picard que demonstraremos mais adiante.
Para formul a-lo precisamos de algumas no c oes prelimina-
res.
2.1 Espa cos metricos e normados
Come camos com o conceito de espa co metrico, ou seja, um
espa co munido de uma no c ao de dist ancia.
Deni cao 2.1. Um espa co metrico e um par (X, ), onde
X ,= e um conjunto qualquer, munido de uma aplica c ao
: X X R, chamada metrica, satisfazendo:
(a) para todo x, y X, (x, y) 0, a igualdade valendo
se, e s o se, x = y (positividade);
texto
2007/5/15
page 21
i
i
i
i
i
i
i
i
[SEC. 2.1: ESPACOS M
ETRICOS E NORMADOS 21
(b) para todo x, y X, (x, y) = (y, x) (simetria);
(c) para todo x, y, z X, (x, z) (x, y) +(y, z) (desi-
gualdade triangular).
Uma metrica num conjunto X dene uma topologia em
X da maneira usual, ou seja, em analogia com a topologia
da reta estudada em cursos de introdu c ao a an alise. Pode-
mos ent ao lidar com a no c ao de convergencia de seq uencias
de pontos de X, e portanto com continuidade de fun c oes,
etc.
1
Particularmente importante e o conceito de comple-
tude.
Deni cao 2.2. Seja (X, ) um espa co metrico. Diz-se que
a seq uencia x
n
n1
X e de Cauchy se, dado > 0,
existe N > 0 tal que para todo m, n N, (x
n
, x
m
) < .
O espa co e dito completo se toda seq uencia de de Cauchy
e convergente.
Exerccio 2.3. Mostre que toda seq uencia convergente em
um espa co metrico e de Cauchy neste espa co.
Observa cao 2.4. Assim, em um espa co metrico completo
uma seq uencia e convergente se, e somente se, e de Cauchy.
Este e o chamado criterio de convergencia de Cauchy.
O exemplo cl assico de espa co metrico completo e a reta
real R com a dist ancia usual. Por outro lado, o conjunto
Q dos n umeros racionais, com a mesma metrica, n ao e
completo.
Dentre os espa cos metricos destacamos a importante
classe dos espa cos vetoriais normados.
1
De forma an aloga a topologia na reta, diz-se que um subconjunto G X e
aberto se, para cada ponto de x
0
G, existe uma bola aberta B
b
(x
0
) = {x X :
(x, x
0
) < b}, de raio b > 0 e centro x
0
, tal que B
b
(x) G.
texto
2007/5/15
page 22
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Deni cao 2.5. Uma espa co vetorial normado e um par
(V, | |), onde V e um espa co vetorial (digamos, sobre os
reais) munido de uma aplica c ao | | : V [0, +[, tal
que
(i) para todo v V, |v| = 0 v = 0;
(ii) para todo v, w V, |v + w| |v| +|w|;
(iii) para todo R, v V, |v| = [[|v|.
Exerccio 2.6. Verique que todo espa co vetorial normado
e um espa co metrico com a metrica (v, w) |v w|.
Um espa co vetorial normado completo (em rela c ao a
norma) chama-se espa co de Banach. Estes s ao espa cos ex-
tremamente uteis e muito comuns em aplica c oes.
O prot otipo de espa co de Banach e o R
n
munido da
norma euclideana usual: para v = (x
1
, . . . , x
n
) R
n
,
[v[ =
_
x
2
1
+ . . . + x
2
n
.

E conveniente em algumas situa c oes
trabalhar com outras normas tais como [v[ = max
1in
[v
i
[
ou [v[ =
1in
[v
i
[.
Outros exemplos de importantes de espa cos de Banach
envolvem espa cos de fun c oes. Um exemplo surge natural-
mente ao estudarmos o espa co das solu c oes do problema
de valores iniciais que estamos analisando. Lembre que na-
quele contexto, estamos lidando com uma fun c ao vetorial
F : R
n
R
n
em n vari aveis reais, denida e contnua
num aberto R
n
. Como F associa a cada ponto de
u , um vetor, F(u), diz-se que a F e um campo veto-
rial em .
Deni cao 2.7. Uma solu c ao do problema (3.1) e uma
fun c ao diferenci avel u : I R R
n
, denida num in-
tervalo I (aberto, para xar ideias) tal que para todo t I:
texto
2007/5/15
page 23
i
i
i
i
i
i
i
i
[SEC. 2.1: ESPACOS M
ETRICOS E NORMADOS 23
(a) u(t) ;
(b) u(t) = F(u(t)), com u(t
0
) = u
0
.
Consideremos ent ao o espa co vetorial C(I) das fun c oes
u : I R R
n
, contnuas e limitadas no intervalo aberto
I.
2
Dena, para u() C(I) a chamada norma do sup:
|u| = sup
tI
[u(t)[.
O teorema seguinte diz o limite uniforme de uma seq uencia
de fun c oes contnuas e uma fun c ao contnua. Por esta raz ao
a norma do sup tambem e chamada de norma da con-
vergencia uniforme.
Teorema 2.8. (C(I), | |) e espa co de Banach.
Exerccio 2.9. Demonstre o teorema acima.
O ingrediente crucial na demonstra c ao que faremos do
teorema de Cauchy-Picard e o seguinte teorema de ponto
xo, um resultado surpreendentemente simples dado seu
grande alcance. Precisamos do conceito de uma contra c ao
entre espa cos metricos.
Deni cao 2.10. Seja (X, ) um espa co metrico. Dizemos
que uma aplica c ao : X X e uma contra c ao se
((x), (y)) (x, y),
para todo x, y X, e uma certa constante 0 < < 1.
Exerccio 2.11. Mostre que toda contra c ao e uma aplica-
c ao contnua.
2
Se o intervalo I fosse fechado e limitado, logo compacto, a fun c ao u(), sendo
contnua, seria autom aticamente limitada.
texto
2007/5/15
page 24
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Teorema 2.12 (Teorema do Ponto Fixo de Banach).
Seja (X, ) um espa co metrico completo e : X X uma
contra c ao. Ent ao possui um unico ponto xo, ou seja,
um ponto p X tal que (p) = p.
Prova: Quanto a unicidade, suponha que existam p e q
tais que (p) = p e (q) = q. Ent ao,
(p, q) = ((p), (q)) (p, q),
o que implica (lembrando que 0 < < 1) que (p, q) = 0,
donde p = q.
Quanto a existencia, tome x
0
X qualquer e dena a
seq uencia x
n
n1
, construda por itera c ao partindo de x
0
:
ou seja x
n+1
= (x
n
), n = 0, 1, . . .
Armamos que esta seq uencia e de Cauchy. De fato,
note que para n 1,
(x
n+1
, x
n
) = ((x
n
), (x
n1
) (x
n
, x
n1
).
Iterando, vemos que (x
n+1
, x
n
)
n
(x
1
, x
0
), onde a =
(x
1
, x
0
) e constante. Agora, pela desigualdade triangular,
para n, k 1,
(x
n+k
, x
n
)
k
j=1
(x
n+j1
, x
n+j
)
k
j=1
n+j1
a
a
n
1
,
que vai a zero quando n tende a innito, lembrando que
0 < < 1.
Mas, como (X, ) e completo, existe p X tal que p =
lim
n
x
n
, e uma vez que e contnua vem que
(p) = lim
n
(x
n
) = lim
n
x
n+1
= p.
2
texto
2007/5/15
page 25
i
i
i
i
i
i
i
i
[SEC. 2.2: O TEOREMA FUNDAMENTAL DE EXIST
ENCIA E UNICIDADE 25
2.2 O teorema fundamental de existencia
e unicidade
Sob a hip otese de que o campo vetorial F e fun c ao contnua
pode-se provar que sempre existe uma solu c ao para o pro-
blema de valores iniciais: isto segue do teorema de Peano
[13]. Porem este resultado n ao garante que a solu c ao e
unica, como ilustra o problema unidimensional seguinte:
_
_
u = 3u
2/3
u(0) = 0,
que admite as solu c oes u
1
(t) = t
3
e u
2
(t) 0, para todo
t R.
Para assegurar a existencia e unicidade de solu c oes e
preciso impor alguma hip otese adicional sobre o campo ve-
torial F. Uma hip otese suciente e a chamada condi c ao de
Lipschitz.
Deni cao 2.13. Uma fun c ao F : R
n
R
n
, onde
e um aberto, e dita Lipschitziana em se existe uma
constante K > 0 (dita constante de Lipschitz) tal que para
todo x, y em ,
[F(x) F(y)[ K[x y[.
A fun c ao F e dita localmente Lipschitziana em se, para
todo x
0
, a F restrita ` a bola B
b
(x
0
) satisfaz a condi c ao
de Lipschitz (com uma constante de Lipschitz correspon-
dente, que pode depender de x
0
).
Mais adiante veremos que toda fun c ao suave (basta
ser contnuamente diferenci avel) e localmente Lipschitzi-
ana.
texto
2007/5/15
page 26
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Para aplicar o teorema do ponto xo de Banach para o
problema de valores iniciais, usamos a seguinte exerccio:
Exerccio 2.14. Mostre que u(t), para t I e solu c ao
do problema de valores se, e somente se, u(t) e fun c ao
contnua satisfazendo a equa c ao integral,
u(t) = u
0
+
_
t
t
0
F(u(s))ds, (2.2)
para t I.
Em suma, resolver o problema de valores iniciais equi-
vale a resolver esta equa c ao integral.
Estamos agora em condi c oes de demonstrar o teorema
de existencia e unicidade para o problema de valores inici-
ais.
Teorema 2.15 (Teorema de Cauchy-Picard). Seja F :
B
b
(u
0
) R
n
R
n
contnua e lipschitziana na bola B
b
(u
0
),
com constante de Lipschitz K, e tal que [F(u)[ M para
u . Ent ao o problema de valores iniciais
_
u = F(u)
u(t
0
) = u
0
,
tem uma unica solu c ao no intervalo I
=]t
0
, t
0
+[ onde
0 < < minb/M, 1/K.
Prova: Considere V = C(I
, B
b
(u
0
)) o espa co vetorial
das fun c oes contnuas u : I
B
b
(u
0
). Vimos que com a
norma do sup o espa co (V, ||) e um espa co de Banach; em
particular e um espa co metrico completo. A ideia da prova
e construir uma contra c ao adequada para poder aplicar o
teorema do ponto xo. A dica e o exerccio 3.13.
texto
2007/5/15
page 27
i
i
i
i
i
i
i
i
Dena a aplica c ao que associa a cada u V, a fun c ao
(u) : I
R
n
onde, para t I
,
(u)(t) = u
0
+
_
t
t
0
F(u(s))ds.
Note que (u)() e fun c ao diferenci avel, logo contnua, e
para todo t I
, temos
[(u)(t)u
0
[
_
t
t
0
[F(u(s))[ds M[tt
0
[ M < b,
ou seja (u)(t) B
b
(u
0
). Logo,
|(u) u
0
| = sup
tI
[(u)(t) u
0
[ < b,
ou seja (u) C(I
, B
b
(u
0
)) = V. Assim, e uma
aplica c ao de V em V.
Ademais, se u
1
, u
2
V, temos, para todo t I
,
[(u
1
)(t) (u
2
)(t)[
_
t
t
0
[F(u
1
(s)) F(u
2
(s))[ds
K|u
1
u
2
|,
ou ainda
|(u
1
) (u
2
)| |u
1
u
2
|,
com 0 < = K < 1.
Em outras palavras, : V V e uma contra c ao no
espa co metrico completo (V, | |). Pelo teorema do ponto
xo de Banach, existe um unico elemento u V tal que
(u) = u, ou seja, que satisfaz a equa c ao integral vista
acima. Finalmente, pelo exerccio 3.12 o teorema est a de-
monstrado. 2
texto
2007/5/15
page 28
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Corolario 2.16. Se o campo vetorial F : R
n
R
n
e localmente Lipschitz no aberto , ent ao o problema de
valores iniciais tem uma unica solu c ao, ao menos num in-
tervalo I =]t
0
, t
0
+ [, para sucientemente pequeno.
Exerccio 2.17. Demonstre o corol ario acima.
O teorema fundamental de existencia e unicidade e um
resultado local e e natural perguntar-se se e possvel pro-
longar ou extender a solu c ao para um intervalo de tempo
maior ou mesmo se h a um intervalo m aximo de existencia.
Nessa dire c ao o seguinte resultado e importante.
Proposi cao 2.18. Seja F como no corol ario 2.16. Supo-
nha que u
1
() e u
2
() satisfazem a equa c ao
u(t) = F(u(t)),
nos intervalos abertos I
1
e I
2
, respectivamente. Se para t
0

I
1
I
2
tivermos u
1
(t
0
) = u
2
(t
0
), ent ao para todo intervalo
aberto I I
1
I
2
, contendo t
0
, tem-se u
1
(t) = u
2
(t), para
todo t I.
Prova: Seja I I
1
I
2
, contendo t
0
. Pelo teorema de
existencia e unicidade, segue que existe sucientemente
pequeno tal que para todo t ]t
0
, t
0
+ [ I temos
u
1
(t) = u
2
(t). Seja J a uni ao de todos estes intervalos, ou
seja, J e o maior intervalo aberto contido em I e contendo
t
0
, no qual u
1
(t) = u
2
(t). Ent ao armamos que J = I.
Pois, caso fosse J I, ent ao

t I, onde

t e um dos
extremos (digamos, o direito) do intervalo J. Ora, por
continuidade,
u
1
(
t) = lim
t
t
u
1
(t) = lim
t
t
u
2
(t) = u
2
(
t).
texto
2007/5/15
page 29
i
i
i
i
i
i
i
i
Mas ent ao, aplicando novamente o teorema de existencia e
unicidade, vem que existe um intervalo

I =]
t,
t+[ I no
qual u
1
(t) = u
2
(t). Dessa forma temos que u
1
(t) = u
2
(t)
para todo t no intervalo J
I que e estritamente maior que

J, uma contradi c ao. 2
Temos agora o seguinte resultado sobre prolongamento
ou extens ao de solu c oes.
Teorema 2.19 (Solu c oes maximais). Seja F como no
corol ario acima 2.16. Ent ao, existe uma unica solu c ao ma-
ximal para o problema de valores iniciais. Ou seja, uma
solu c ao u() denida num intervalo aberto J, dito intervalo
maximal, de forma que se w() e outra solu c ao do mesmo
problema de valores iniciais no intervalo I, ent ao I J e
para todo t I temos u(t) = w(t).
Prova: Pelo teorema de Cauchy-Picard, existe uma unica
solu c ao do problema de valores iniciais em um intervalo
aberto I contendo t
0
; seja J a uni ao de todos estes inter-
valos. Considere a fun c ao u() em J tal que para t I,
u(t) = w(t), onde w() e a unica solu c ao em I. Ent ao,
u() e bem denida j a que, pelo lema anterior, as solu c oes
em dois intervalos quaisquer I
1
, I
2
coincidem em I
1
I
2
.
Como todo t J est a em algum I, segue que u() e a unica
solu c ao do problema de valores iniciais em J, logo a solu c ao
maximal. 2
Quando o intervalo maximal n ao e toda a reta, digamos
o intervalo ] , t
[ com t
< , ent ao a solu c ao n ao pode

ser prolongada alem deste intervalo e diz-se que ela possui
uma singularidade em t = t
.
3
3
N ao confundir com a no c ao de ponto singular do campo vetorial F, que e um
ponto x
0
tal que F(x
0
) = 0.
texto
2007/5/15
page 30
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Exemplo 1. Considere o problema
_
u = u
2
u(0) = 1,
que por integra c ao simples tem como solu c ao u(t) = 1/1t
para t ] , 1[, sendo este ultimo seu intervalo m aximo
de existencia; ocorre uma singularidade em t = 1. Note
que lim
t1
u(t) = +.
Exerccio 2.20. Ache a singularidade da solu c ao do pro-
blema
_
u = 1/2u
u(0) = 1.
O teorema seguinte descreve a situa c ao geral:
Teorema 2.21. Seja F um campo vetorial como no co-
rol ario 2.16. Suponha que a solu c ao u(t) do problema de
valores iniciais correspondente tenha uma singularidade em
t = t
. Ent ao, quando t tende a t
, ou u(t) tende para a

fronteira de ou |u(t)| + (ou ambas as coisas).
Como veremos no captulo 5 um teorema de caracte-
riza c ao das singularidades para o problema de N-corpos
(ver teorema 5.2), omitimos a demonstra c ao do teorema
acima (ver [13]).
2.3 Suave e Lipschitz
E muito comum o caso em que o campo vetorial do pro-

blema de valores iniciais e suave. Esse e o caso para
o problema de N-corpos. Gostaramos de saber se o teo-
rema de existencia e unicidade se aplica nesta situa c ao. A
texto
2007/5/15
page 31
i
i
i
i
i
i
i
i
[SEC. 2.3: SUAVE

E LIPSCHITZ 31
resposta e armativa pois tais campos suaves s ao neces-
sariamente localmente Lipschitzianos.
Lembremos algumas no c oes de c alculo diferencial em
v arias vari aveis (ver, por exemplo [19]).
Deni cao 2.22. Uma fun c ao vetorial F : R
n
R
m
, no aberto , e diferenci avel no ponto x
0
se existe uma
transforma c ao linear T : R
n
R
m
tal que
lim
|h|0
[F(x
0
+h) F(x
0
) T(h)[
[h[
= 0.
A transforma c ao linear T e chamada a derivada de F
no ponto x
0
, denotada por DF(x
0
). A matriz desta trans-
forma c ao, com rela c ao ` as bases can onicas de R
n
e R
m
, tem
como componentes as derivadas parciais:
[T]
ij
=
F
i
x
j
(x
0
).
Assim, com certo abuso de linguagem, a a c ao de T sobre
um vetor coluna h R
n
ca,
DF(x
0
)(h) =
n
j=1
F
x
j
(x
0
)h
j
.
Toda transforma c ao linear T de R
n
em R
m
tem a se-
guinte propriedade : existe uma constante A > 0 tal que
para todo v R
n
, [T(v)[ A[v[.
Exerccio 2.23. Verique esta arma c ao tomando A =
(
N
i,j
t
2
ij
)
1/2
(lembre que [T(v)]
i
=
N
i=1
t
ij
v
j
e use a desi-
gualdade de Cauchy-Schwarz).
Assim pode-se denir a norma de T por
|T| = max
|v|1
[T(v)[,
texto
2007/5/15
page 32
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
e segue que [T(v)[ |T|[v|.
Exerccio 2.24. Prove que o espa co L(R
n
, R
m
) das trans-
forma c oes lineares de R
n
em R
m
e um espa co de Banach.
No caso de T = DF(x) a norma |DF(x)| depende, e
claro, de x.
Diz-se que F e de classe C
1
no aberto se todas as
derivadas parciais
F
i
x
j
() existem e s ao contnuas em .
Nesse caso escreve-se F C
1
().
4
De forma an aloga se
dene fun c oes de classe C
k
, k 2 (e classe C
, signicando
ser de classe C
k
para todo k 1).
Se F C
1
(), ent ao usando a regra da cadeia para a
fun c ao composta (t) = F(x + th) n ao e difcil vericar o
teorema fundamental do c alculo na forma:
F(x + h) F(x) =
_
1
0
(t)dt =
_
1
0
DF(x + th)(h) dt.
Pode-se tambem provar o seguinte criterio de diferenciabi-
lidade: se F C
1
(), ent ao F e diferenci avel em (ver
[19]).
Estamos agora em condi c oes de provar o seguinte fato.
Proposi cao 2.25. Considere um campo vetorial F :
R
n
R
n
denido no aberto . Se F C
1
(), ent ao F e
localmente Lipschitz em .
Prova: Sendo aberto ent ao, para cada x
0
, existe
uma bola aberta de centro x
0
e raio contida em . Con-
sidere ent ao a bola fechada W, com mesmo centro e com
4
Isto equivale a dizer que e contnua a aplica c ao que associa a cada x
o operador linear DF(x) L(R
n
, R
m
), sendo este ultimo o espa co das trans-
forma c oes lineares, concebido como o espa co das matrizes m por n.
texto
2007/5/15
page 33
i
i
i
i
i
i
i
i
[SEC. 2.4: EXIST
ENCIA E UNICIDADE NO PROBLEMA DE N-CORPOS 33

raio /2. Como F C
1
(), a fun c ao x |DF(x)|
e uma fun c ao real contnua no compacto W; logo existe
K = max
xW
|DF(x)|.
Tome x e z em W e seja h = zx. Ent ao, para 0 t
1 temos x+th W (em outras palavras, W e um conjunto
convexo). Considere a fun c ao : [0, 1] R
n
, dada por
(t) = F(x + th). Como observado anteriormente, temos
F(z) F(x) =
_
1
0
(t)dt =
_
1
0
DF(x + th)(h) dt.
Logo,
[F(z) F(x)[
_
1
0
[DF(x + th)(h)[dt
_
1
0
|DF(x + th)|.[h[dt K[h[ = K[z x[,
o que conclui a prova. 2
Observa cao 2.26.

E possvel mostrar que se o campo ve-
torial e fun c ao suave, digamos de classe C
k
(ou mesmo
analtica), ent ao a solu c ao do problema de valores inici-
ais herda esta suavidade sendo fun c ao de de classe C
k
(respectivamente, analtica).
2.4 Existencia e unicidade no problema
de N-corpos
Finalmente podemos enunciar o teorema fundamental de
existencia e unicidade de solu c oes para o problema de N-
corpos.
texto
2007/5/15
page 34
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
Teorema 2.27. Considere o problema de valores iniciais
_
_
m
j
r
j
=
r
j
U(x)
(r
1
(t
0
), . . . , r
N
(t
0
), v
1
(t
0
), . . . , v
N
(t
0
)) (R
3N
/) R
3N
.
Prova: Por simplicidade, vamos tomar a constante de
gravita c ao G = 1. Seja D > 0 tal que min
j=k
r
jk
(t
0
)
D/2; ent ao, o problema tem uma unica solu c ao, ao menos
em um intervalo [t t
0
[ < , onde depende apenas de D,
das massas e da energia total.
Consideramos o problema equivalente de 1a. ordem
_
y = f(y)
y(t
0
) = y
0
(R
3N
/) R
3N
,
onde
f(y) (v
1
, , v
N
,
1
m
1
r
1
U(x), . . . ,
1
m
N
r
N
U(x)),
e y = (x, v). A ideia ent ao e checar que para [y y
0
[ <
b tem-se [f(y)[ M e aplicar o teorema de existencia e
unicidade, uma vez que f() e suave (analtica).
Come camos notando que, como r
jk
(t
0
) > 0 para todo
j ,= k, existe uma constante D > 0 tal que a separa c ao
mnima entre as partculas no instante inicial satisfaz
r
min
(t
0
) min
j=k
r
jk
(t
0
) > D/2.
Suponha ent ao que [y y
0
[ < D/8. Como [y y
0
[ =
_
[x x
0
[
2
+[v v
0
[
2
, segue que [x x
0
[ < D/8 e [v
v
0
[ < D/8.
texto
2007/5/15
page 35
i
i
i
i
i
i
i
i
[SEC. 2.4: EXIST

Lembrando que [x x
0
[ =
_
N
i=1
|r
j
r
j
(t
0
)|
2
, segue
que para j = 1, . . . , N temos |r
j
r
j
(t
0
)| < D/8. Arma-
mos que para j ,= k,
r
jk
= |r
j
r
k
| D/4.
De fato, isto segue da desigualdade triangular:
D/2 r
jk
(t
0
) = |r
j
(t
0
) r
k
(t
0
)|
|r
j
(t
0
) r
j
| +|r
j
r
k
| +|r
k
r
k
(t
0
)|,
logo,
|r
j
r
k
| D/2 |r
j
(t
0
) r
j
| |r
k
r
k
(t
0
)|
D/2 D/8 D/8 = D/4.
Portanto, temos que min
j=k
r
jk
D/4, logo 1/r
min
4/D
e com isso vamos obter uma estimativa para
r
k
U(x).
Mais precisamente, como
1
m
k
r
k
U(x) =
j=k
m
j
(r
j
r
k
)
|r
j
r
k
|
3
,
segue que, para k = 1, . . . , N,
1
m
k
|
r
k
U(x)|
j=k
m
j
r
2
jk
c
1
16
D
2
,
onde a constante c
1
depende apenas das massas.
Agora,
1
2
m
k
|v
k
|
2
T
t
0
= U
t
0
+ h,
onde h e a energia total do sistema em t
0
. Mas de r
min
(t
0
) >
D/2, vem que 1/r
min
(t
0
) < 2/D e obtemos a seguinte esti-
mativa:
U
t
0

1
r
min
(t
0
)
1j<kN
m
j
m
k
A,
texto
2007/5/15
page 36
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
onde a constante A depende apenas de D e das massas.
Assim, para k = 1, . . . , N,
|v
k
|
2
2
m
k
A + h.
Como v
0
= (v
1
(t
0
), . . . , v
N
(t
0
)), segue que
[v(t
0
)[ c
2
A + h,
onde a constante c
2
s o depende das massas. Pela desigual-
dade triangular,
[v[ [v v
0
[ +[v(t
0
)[ <
D
8
+ c
2
A + h c
3
.
Em suma, conclumos que se [y y
0
[ < D/8, ent ao
[f(y)[
_
c
2
3
+ Nc
1
(16/D
2
) M,
onde M s o depende de D, h e das massas. Aplicando o
teorema 3.15 a prova est a terminada. 2
Observa cao 2.28.

E claro que podemos aplicar o teorema
sobre a existencia de solu c oes maximais; segue tambem que
a solu c ao do problema de N-corpos e fun c ao analtica do
tempo uma vez que o campo vetorial f() e fun c ao analtica.
2.4.1 O dem onio de Laplace
J a mencionamos que o triunfo da sntese Newtoniana serviu
de base para a vis ao mecanicista do Universo. Nesta cos-
movis ao tudo poderia ser explicado e predito, em princpio,
pelo movimento dos corpos materiais em intera c ao: de
acordo com o teorema de existencia e unicidade toda a
texto
2007/5/15
page 37
i
i
i
i
i
i
i
i
[SEC. 2.4: EXIST

evolu c ao (futura e passada) do sistema a partir de certo ins-
tante est a completamente determinada, uma vez que seja
dado o o estado (ou seja, posi c oes e velocidades) do sistema
naquele instante.
Essa ideia foi popularizada por Laplace atraves de seu
dem onio, numa famosa passagem de seu livro Essay phi-
losophique sur la probabilites, que reproduzimos:
Podemos considerar o estado presente do uni-
verso como o efeito de seu passado e a causa
de seu futuro. Um intelecto que em um dado
instante conhecesse todas as for cas que animam
a natureza assim como as posi c oes m utuas dos
entes que a comp oe, se este intelecto fosse su-
cientemente vasto para submeter estes dados a
an alise, poderia condensar numa unica f ormula
o movimento dos maiores corpos do universo e
aquele do mais leve atomo; para um tal intelecto
nada poderia ser incerto e o futuro assim como o
passado estariam presentes diante de seus olhos.
Isto, porem, se revelou por demais ingenuo e simplista.
Em primeiro lugar, desde o incio havia um questionamento
sobre a natureza da gravita c ao no esquema Newtoniano.
Particularmente havia a antiga crtica dos cartesianos so-
bre a c ao a dist ancia: a capacidade, que consideravam
quase m agica, das for cas gravitacinais de agirem ins-
tant aneamente e sobre dist ancias arbitr arias.
Descartes propunha uma vis ao alternativa (ainda que
totalmente mec anica), supostamente mais intuitiva: a cha-
mada teoria dos v ortices segundo a qual as a c oes entre
os corpos se fazem sempre por um mecanismo de contato
atraves de um meio hipotetico, chamado eter. A este res-
peito, o matem atico Rene Thom comenta que Descartes,
texto
2007/5/15
page 38
i
i
i
i
i
i
i
i
ENCIA E UNICIDADE
com os seus v ortices e seus atomos enganchados, explicava
tudo e n ao calculava coisa alguma; Newton, com a lei da
gravita c ao em 1/r
2
, calculava tudo e n ao explicava nada
[28]. Na verdade comete-se aqui um equvoco com rela c ao
a no c ao de explica c ao: a teoria de Descartes nunca se
mostrou a altura e a realidade e que n ao explicava nada
e tampouco calculava, enquanto que a teoria Newtoniana,
com sua clareza conceitual e seus c alculos precisos explica
muito, mas n ao tudo! E deve-se notar que na mec anica
cl assica, organizada como um sistema hipotetico-dedutivo,
o conceito de for ca e um conceito primitivo, n ao de-
nido. Sobre a natureza ultima da gravita c ao o pr oprio
Newton era reticente e a quest ao foi retomada no nicio do
seculo XX no contexto da Teoria Geral da Relatividade de
Einstein.
Por outro lado, a limita c ao do mecanicismo cou ainda
mais clara com ao surgimento de novas areas da Fsica,
como a Termodin amica e o Eletromagnetismo, cuja rela c ao
com a Mec anica era uma quest ao delicada e profunda.
Como e sabido, ao nal do seculo XIX as investiga c oes
sobre a compatibilidade entre essas disciplinas levou even-
tualmente ` a formula c ao da Mec anica Qu antica e da Teoria
da Relatividade.
Finalmente, no ambito da pr opria mec anica Newtoni-
ana, a vis ao Laplaciana se revelou simplista. De fato, como
veremos nos pr oximos captulos, a existencia de singulari-
dades de solu c oes do problema de N-corpos mostra que
nem sempre as solu c oes existem para < t < +;
logo, nem sempre e possvel prolongar solu c oes para todo
o passado e todo o futuro.
Alem disso, no nal do seculo XIX, as investiga c oes pi-
oneiras de Poincare em Mec anica Celeste revelaram que o
texto
2007/5/15
page 39
i
i
i
i
i
i
i
i
[SEC. 2.4: EXIST

problema de N-corpos, para N 3, e muito mais rico e
complexo do que se imaginava. Em particular, seu tra-
balho revelou a existencia de solu c oes com sensibilidade
com rela c oes iniciais, ou seja, duas solu c oes que partem de
condi c oes iniciais muito pr oximas podem ter orbitas que se
separaram exponencialmente r apido. Como a medi c ao de
posi c oes e velocidades iniciais incluem pequenos erros ob-
servacionais inevit aveis, pode ser o caso de que tais erros
sejam magnicados rapidamente o que tenderia a destruir
a predizibilidade a respeito do comportamento das orbitas
ao longo prazo. Essa descoberta de Poincare ressurgiu em
nais da decada de 60 do seculo vinte (em parte devido ao
uso intensicado de simula c oes numericas) desembocando,
nas decadas seguintes, numa explos ao da pesquisa sobre a
chamada din amica ca otica.
texto
2007/5/15
page 40
i
i
i
i
i
i
i
i
Captulo 3
Leis de Conserva cao
Munidos do teorema de existencia e unicidade podemos
passar ao estudo de uma das no c oes cruciais na an alise do
problema de N-corpos: as integrais, constantes de movi-
mento ou ainda integrais primeiras. S ao tambem chama-
das Leis de Conserva c ao, pois usualmente est ao associadas
a certas grandezas de signicado fsico fundamental e que
permancem constantes ao longo do tempo.
No que se segue supomos que y(t) = (x(t), v(t)) e a
solu c ao do problema de N-corpos com dadas condi c oes ini-
ciais.
Deni cao 3.1. Uma integral de movimento e uma fun c ao
real diferenci avel 1(x, v, t) tal que
1(x(t), v(t), t) = 0,
ou seja 1(x(t), v(t), t) = C, onde a constante C e determi-
nada pelas condi c oes iniciais.
Observa cao 3.2. Uma integral de movimento e portanto
constante ao longo da solu c ao.

E claro que fun c oes identi-
40
texto
2007/5/15
page 41
i
i
i
i
i
i
i
i
[SEC. 3.1: AS INTEGRAIS DE MOVIMENTO CL
ASSICAS 41
camente constantes s ao integrais de movimento, ditas tri-
viais; o interesse est a nas integrais n ao-triviais.
Diz-se que integrais 1
1
, . . . , 1
n
s ao independentes se os
gradientes
x,v,t
1
1
, . . . ,
x,v,t
1
n
, s ao vetores linearmente
independentes.
A existencia de integrais de movimento e muito impor-
tante pois fornece informa c oes valiosas sobre o compor-
tamento das solu c oes. Por exemplo, se a fun c ao 1(y) e
uma integral, ent ao sabemos que a solu c ao do problema
de valores iniciais est a restrita a uma superfcie de nvel
desta fun c ao, reduzindo de uma unidade a dimens ao do
problema. Se pensava que conhecendo um n umero suci-
ente de integrais se poderia ent ao resolver ou integrar
completamente as equa c oes de movimento. Infelizmente as
coisa s ao mais complicadas, como discutiremos na se c ao
3.3. Por ora, vejamos as integrais de movimento cl assicas
do problema de N-corpos.
3.1 As integrais de movimento classicas
As dez integrais de movimento cl assicas do problema de
N-corpos s ao:
(1) a energia total H;
(2) as componentes do momento linear total P;
(3) as componentes do centro de massa do sistema R
cm
;
(4) as componentes do momento angular total L,
e ligadas, respectivamente, ` as leis de conserva c ao da ener-
gia, do momento linear, do movimento do centro de massa
e do momento angular.
texto
2007/5/15
page 42
i
i
i
i
i
i
i
i
42 [CAP. 3: LEIS DE CONSERVAC
AO
Come camos com a energia. Lembramos que a energia
cinetica total do sistema de partculas e denida por
T
1
2
N
j=1
m
j
v
2
j
.
Temos ent ao que, ao longo da solu c ao,
dT
dt
=
N
j=1
m
j
r
j
r
j
=
N
j=1
r
j
U r
j
=
dU
dt
,
onde a pen ultima identidade segue das equa c oes de mo-
vimento e a ultima segue da regra da cadeia aplicada a
U(x(t)). Obtemos assim a Lei da Conserva c ao da Energia,
dH
dt
= 0,
isto e, H(y(t)) = h, uma constante ao longo da solu c ao.
A seguir, denimos o momento linear total do sistema:
P =
N
j=1
m
j
v
j
,
que e simplesmente a soma dos momentos lineares das
partculas individuais.
Para deduzir sua lei de conserva c ao, soma-se os termos
nos dois lados da equa c ao de movimento para obter:
N
j=1
m
j
r
j
=
N
j=1
N
k=1,k=j
Gm
j
m
k
r
3
kj
(r
k
r
j
) = 0,
texto
2007/5/15
page 43
i
i
i
i
i
i
i
i
ASSICAS 43
uma vez que cada termo e cancelado por um outro com
sinal oposto. Segue que que
0 =
N
j=1
m
j
r
j
=
d
dt
(
N
j=1
m
j
r
j
) =
d
dt
(
N
j=1
m
j
v
j
) =
dP
dt
,
(3.1)
que e a Lei de Conserva c ao do Momento Linear. Temos
ent ao que
P = a,
para um vetor constante a. Note que temos tres integrais
de movimento, correspondendo a cada componente do ve-
tor P.
Agora, como
P =
d
dt
(
N
j=1
m
j
r
j
),
segue que:
N
j=1
m
j
r
j
= at +b, (3.2)
para um vetor constante b, o que resulta em mais tres
integrais.
A equa c ao 3.2 tem a seguinte interpreta c ao. Considere
a massa total do sistema, M =
N
j=1
m
j
; ent ao o vetor
posi c ao do centro de massa (CM) do sistema e denido por
R
cm

1
M
N
j=1
m
j
r
j
,
que e a media ponderada das posi c oes das partculas onde
os pesos s ao as respectivas massas. Do que vimos acima
texto
2007/5/15
page 44
i
i
i
i
i
i
i
i
AO
decorre que

R
cm
= 0 e podemos reescreve a equa c ao acima
como
R
cm
(t) = V
cm
t +R
0
, (3.3)
onde V
cm
= P/M = a/M e a velocidade do CM e R
0
=
b/M sua posi c ao inicial. Esta equa c ao diz que, n ao im-
porta qu ao complicado e o movimento das partculas, o
CM do sistema tem movimento retilneo e uniforme.
A equa c ao 3.2 tambem equivale a chamada Lei de Con-
serva c ao para o Movimento do Centro de Massa,
dG
dt
= 0,
onde
G
N
j=1
m
j
r
j
tP.
Uma vez que o CM tem movimento retilneo e uniforme,
ent ao o referencial do CM e um referencial inercial, e por-
tanto no qual valem as Leis de Newton. A prop osito, no
caso do sistema solar 99,9% da massa se concentra no Sol
de forma que com boa aproxima c ao pode-se tomar o centro
do Sol como o CM do sistema (sistema heliocentrico).
Considerando as posi c oes das partculas em rela c ao ao
CM,
r
j
= r
j
R
cm
,
ent ao, como

R
cm
= 0, segue que as equa c oes de movimento
tem a mesma forma quando escritas em termos dos vetores
r
j
quanto em termos dos vetores r
j
(verique!). Sem perda
de generalidade vamos supor de agora em diante que o
centro de massa est a xo na origem: R
cm
= 0.
texto
2007/5/15
page 45
i
i
i
i
i
i
i
i
ASSICAS 45
Assim, as leis de conserva c ao do momento linear e do
movimento do CM camvista ate aqui cam:
_
_
N
j=1
m
j
r
j
= 0
N
j=1
m
j
v
j
= 0,
totalizando 6 integrais de movimento independentes.
Finalmente, denimos o momento angular total do sis-
tema de partculas, em rela c ao a origem (no caso, o CM)
por:
L
N
j=1
m
j
r
j
r
j
, (3.4)
que e uma medida da rota c ao do sistema (em rela c ao a
origem).
Fazendo o produto vetorial pelo vetor r
j
nas equa c oes
de movimento, e somando, obtemos:
N
j=1
m
j
r
j
r
j
=
N
j=1
N
k=1,k=j
Gm
j
m
k
r
3
kj
r
j
r
k
= 0,
onde usamos r
j
r
j
= 0 e r
j
r
k
= r
k
r
j
. Compa-
rando com a equa c ao 3.4, obtemos a Lei de Conserva c ao
do Momento Angular,
dL
dt
=
d
dt
(
N
j=1
m
j
r
j
r
j
) = 0.
Portanto, L = c, para um vetor constante c, 3 integrais de
movimento adicionais.
texto
2007/5/15
page 46
i
i
i
i
i
i
i
i
AO
Em resumo obtivemos as dez integrais de movimento
cl assicas. Observe que todas s ao fun c oes algebricas das
posi c oes, velocidades e do tempo.
3.2 Duas aplica c oes
As Leis de Conserva c ao tem muitas aplica c oes no estudo
do problema de N-corpos. Nesta se c ao, veremos dois resul-
tados relativamente simples e que ser ao utilizados em toda
discuss ao subseq uente: a identidade de Lagrange-Jacobi e
a desigualdade de Sundman.
Estes resultados s ao expressos atraves de uma grandeza
muito util chamada momento de inercia do sistema de
partculas, denido por:
I
1
2
N
j=1
m
j
r
2
j
,
que, grosso modo, e uma medida da distribui c ao espacial
das massas do sistema.
1
Lema 3.3 (Identidade de Lagrange-Jacobi). No pro-
blema de N-corpos temos
I = 2T U = T + h = U + 2h.
Para demonstrar este lema precisamos do resultado do
exerccio seguinte.
Exerccio 3.4. Uma fun c ao real f em um aberto U R
n
e dita homogenea de grau p se f(x) =
p
f(x), para todo
R e todo x R
n
, tais que x U. Prove o teorema
1
Na literatura de Fsica e Engenharia o momento de inercia e denido sem o
fator 1/2.
texto
2007/5/15
page 47
i
i
i
i
i
i
i
i
[SEC. 3.2: DUAS APLICAC
OES 47
de Euler: se f e homogenea e diferenci avel em U, ent ao
x f(x) = pf(x).
Prova do Lema: Basta fazer o c alculo explcitamente.
Temos
I =
N
j=1
m
j
r
j
v
j

I =
N
j=1
m
j
v
2
j
+
N
j=1
m
j
r
j
r
j
= 2T +
N
j=1
r
j

r
j
U = 2T U,
onde na ultima identidade usamos que
U(x) =
N
j=1
r
j

r
j
U(x),
que segue do fato da energia potencial U ser uma fun c ao
homogenea de grau 1 e da aplica c ao do teorema de Eu-
ler (ver exerccio anterior). As duas ultimas igualdades no
enunciado seguem imediatamente da conserva c ao da ener-
gia. 2
O fato do potencial ser sempre positivo e ser fun c ao
homogenea de grau 1 tem uma interessante conseq uencia
com rela c ao ao equilbrio de sistemas de N-corpos:
Exerccio 3.5. Mostre que n ao h a nenhuma congura c ao
de N corpos sob intera c ao gravitacional em que todas as
partculas permane cam em repouso.
Lema 3.6 (Desigualdade de Sundman). Considere o
momento angular total do sistema, c =
N
j=1
m
j
r
j
v
j
e seja
texto
2007/5/15
page 48
i
i
i
i
i
i
i
i
AO
c = |c|. Ent ao,
c
2
4I(
I h).
Demonstra cao:
Trata-se de uma aplica c ao da desigualdade de Cauchy-
Schwarz da algebra linear; temos:
c
N
j=1
m
j
|r
j
v
j
|
N
j=1
m
j
|r
j
||v
j
| =
N
j=1
(
m
j
|r
j
|)(
m
j
|v
j
|)
_
N
j=1
m
j
r
2
j
_
N
j=1
m
j
v
2
j
=
2I
2T =
4IT,
e o resultado segue da identidade de Lagrange-Jacobi na
forma T =

I h. 2
3.3 Digressao sobre integrabilidade
Ate os nais do seculo XIX as integrais de movimento eram
de interesse primordial, consideradas como uma especie de
santo graal da teoria das equa c oes diferenciais ordin arias
(EDO). A ideia e que cada integral permitiria reduzir a di-
mens ao do sistema de uma unidade de forma que, de posse
de um n umero suciente de integrais independentes, seria
possvel resolver qualquer sistema de forma mais ou me-
nos explcita [22]. Esta e a ideia do chamado metodo das
quadraturas para achar a solu c ao atraves de um n umero -
nito de opera c oes elementares e de integra c oes de fun c oes
conhecidas.
texto
2007/5/15
page 49
i
i
i
i
i
i
i
i
[SEC. 3.3: DIGRESS
AO SOBRE INTEGRABILIDADE 49
O procedimento era concebido da seguinte forma. Con-
sidere o sistema de EDOs aut onomo de dimens ao n:
_
_
y
1
= f
1
(y
1
, . . . , y
n
)
y
2
= f
2
(y
1
, . . . , y
n
)
.
.
.
y
n
= f
n
(y
1
, . . . , y
n
),
(3.5)
com certas condi c oes iniciais. Suponha que exista uma
integral de movimento, 1(y
1
, . . . , y
n
), de forma que ao longo
da solu c ao y(t) = (y
1
(t), . . . , y
n
(t)) tem-se
1(y
1
, . . . , y
n
) = C.
A solu c ao do sistema estaria ent ao restrita ` a superfcie de
nvel C de 1, de dimens ao n 1, reduzindo portanto o
problema de uma dimens ao.
Mais precisamente, isolando na equa c ao acima uma das
vari aveis, digamos y
1
, teramos
y
1
= g(y
2
, . . . , y
n
). (3.6)
Substituindo na primeira equa c ao do sistema 3.5, obtemos:
y
1
= f
1
(g(y
2
, . . . , y
n
), y
2
, . . . , y
n
)
1
(y
2
, . . . , y
n
). (3.7)
As equa c oes restantes cam,
_
_
y
2
= f
2
(g(y
2
, . . . , y
n
), y
2
, . . . , y
n
) =
2
(y
2
, . . . , y
n
)
.
.
.
y
n
= f
n
(g(y
2
, . . . , y
n
), y
2
, . . . , y
n
) =
n
(y
2
, . . . , y
n
).
Resolvendo este novo sistema nas vari aveis y
2
, . . . , y
n
, e
substituindo a solu c ao (y
2
(t), . . . , y
n
(t)) na equa c ao 3.7 res-
taria
y
1
(t) = (t)
1
(y
2
(t), . . . , y
n
(t)),
texto
2007/5/15
page 50
i
i
i
i
i
i
i
i
AO
que e resolvida por uma integra c ao usual.
Em suma, a ideia do metodo e que, conhecendo n 1
integrais independentes e aplicando sucessivamente o pro-
cedimento descrito acima, o sistema de EDOs poderia ser
completamente integrado.
Claro est a que a coisa n ao e assim t ao simples e e preciso
observar as v arias hip oteses envolvidas. Por exemplo, dada
uma integral de movimento, temos de supor que e possvel
isolar uma das vari aveis em termos das outras, talvez re-
correndo ao Teorema da Fun c ao Implcita, supondo suas
hip oteses satisfeitas. Por sua vez, este teorema e pura-
mente local e existencial, n ao fornecendo usualmente uma
f ormula explcita. Uma sada aqui seria a de buscar inte-
grais de movimento que fossem fun c oes simples, digamos
algebricas nas vari aveis y
1
, . . . , y
n
.
2
Entretanto, sendo preciso com o que se entende por
opera c oes elementares sobre fun c oes (digamos, opera c oes
algebricas e invers oes) e por integra c oes de fun c oes ele-
mentares, e e possvel (sob certas hip oteses adicionais en-
volvendo teoria de grupos), justicar o metodo das qua-
draturas: trata-se de um teorema devido a Sophus Lie (ver
[3]). Mas, da a dizer que se vai obter desta maneira uma
f ormula fechada ou explcita para a solu c ao, e uma
outra hist oria!
De toda maneira, o metodo depende da existencia de in-
tegrais de movimento n ao-triviais. Um teorema cl assico de
EDOs, o chamado teorema de retica c ao, garante que todo
sistema n-dimensional suave possui n 1-integrais inde-
pendentes, denidas localmente numa vizinhan ca de cada
ponto (y
1
, . . . , y
n
) no qual, para algum i = 1, . . . , n, tenha-
2
Mas mesmo fun c oes algebricas, a menos de casos muito simples, s o s ao de-
nidas implcitamente.
texto
2007/5/15
page 51
i
i
i
i
i
i
i
i
[SEC. 3.3: DIGRESS
se f
i
(y
1
, . . . , y
n
) ,= 0 (ver [1]). Porem, n ao h a grande
interesse em integrais denidas apenas localmente e sim
globalmente numa dada regi ao.
Com rela c ao problema de N-corpos pr opriamente dito,
tem-se um sistema de EDOs 6N-dimensional. As 10 inte-
grais cl assicas (j a conhecidas por Lagrange em 1772) permi-
tiriam reduzir a dimens ao do problema a 6N10. Lagrange
observou (no contexto do problema de tres corpos) que era
possvel reduzir em mais uma dimens ao usando uma das
coordenadas de posi c ao/velocidade como par ametro no lu-
gar o tempo (elimina c ao do tempo).
3
O problema de dois corpos e integr avel por quadra-
turas e s ao conhecidos os tipos de trajet orias possveis:
s ao as se c oes c onicas (elipses, hiperboles ou par abolas, de-
pendendo das condi c oes iniciais, ver [5]). Ainda assim,
n ao e verdade que exista uma f ormula explcita, em ter-
mos de fun c oes elementares, quw forne ca a posi c ao das
partculas em fun c ao do tempo: o problema implica re-
solver uma equa c ao transcendente, a chamada equa c ao de
Kepler, que admite, porem, solu c oes em series (ver [12] e
[2]).
No caso de 3 corpos, as 10 integrais cl assicas reduzem
o problema de 18 para 8 dimens oes. A busca por novas
integrais primeiras continuou por v arias decadas ate que em
1887 Heinrich Bruns publicou um resultado armando que
no problema de N-corpos n ao existem integrais primeiras
(independentes) alem das 10 integrais cl assicas e que sejam
fun c oes algebricas das posi c oes, velocidades e do tempo.
4
3
Em 1843 Jacobi mostrou que, explorando uma certa simetria do problema,
e possvel reduzir mais uma dimens ao (elimina c ao dos nodos). No total o
problema de N corpos pode ser reduzido de 6N para 6N 12 dimens oes.
4
A vers ao original do teorema, assim como v arias generaliza c oes, continham
erros que s o recentemente foram eliminados. [10]
texto
2007/5/15
page 52
i
i
i
i
i
i
i
i
AO
Este resultado mostra que o problema de N corpos n ao
e integr avel pelo metodo das quadraturas. Por outro lado,
isto n ao quer dizer que n ao existe uma solu c ao exata,
por exemplo, atraves de series.
E de fato, em 1909 o astr onomo nlandes Karl Sund-
man achou tal solu c ao geral para o problema de tres cor-
pos em termos de uma serie uniformemente convergente em
potencias de t
2/3
, v alida para todo tempo t. Note que n ao
se trata de um solu c ao aproximada, tal como em teoria de
perturba c oes (utilizada j a h a bastante tempo em mec anica
celeste). Entretanto, tal solu c ao exata, apesar de concei-
tualmente importante, e de certa forma in util para extrair
informa c oes interessantes, digamos de car ater qualitativo,
sobre o comportamento do sistema. E tambem do ponto
de vista do c alculo numerico e um total desastre devido ao
fato que a velocidade de convergencia da serie ser absur-
damente lenta: estima-se que para atingir precis ao usual
em astronomia de posi c ao seria preciso somar da ordem de
10
8.000.000
de termos!
Assim, chegamos a curiosa conclus ao de que nem sem-
pre uma solu c ao explcita e interessante ou informativa
para a compreens ao de um sistema din amico. Isto est a em
linha com aquela transi c ao revolucion aria que ocorreu na
Matem atica ao nal do seculo XIX, que vai de uma vis ao
quantitativa para uma qualitativa. Enquanto a primeira
tem como foco a busca de solu c oes fechadas e/ou c alculo
explcito, a segunda se preocupa mais com o estudo de
famlias de solu c oes (ou mesmo de famlias de sistemas) e
de suas propriedades tpicas. Este e o esprito da obra
monumental de Poincare, Lyapunov e outros.
Note-se que entre as conseq uencias desta reavalia c ao da
no c ao de integrabilidade est a a retomada da busca de
texto
2007/5/15
page 53
i
i
i
i
i
i
i
i
[SEC. 3.3: DIGRESS
solu c oes particulares do problema de N-corpos, assim como
o estudo de casos especiais, usualmente contendo certas si-
metrias ou simplica c oes adicionais que facilitam a an alise.
A prop osito, muito recentemente foram descobertas novas
solu c oes surpreendentes do problema de N-corpos, as cha-
madas coreograas, nas quais as partculas se perseguem
ao longo de uma curva fechada, por exemplo numa curva
em forma de oito no problema de 3-corpos (para uma
introdu c ao, ver [21]).
texto
2007/5/15
page 54
i
i
i
i
i
i
i
i
Captulo 4
O Teorema de
Sundman-Weierstrass
No nal do captulo precedente, mencionamos que Sund-
man demonstrou a existencia de solu c oes exatas para o
problema de 3-corpos por meio de uma serie de potencias
uniformemente convergente e para todo instante de tempo.
A diculdade fundamental da demonstra c ao deste teorema
e a possibilidade de ocorrencia de singularidades que s ao
obstru c oes ao prolongamento de solu c oes para alem de
certo valor do par ametro temporal.
Nessa altura j a era conhecido que no caso de tres cor-
pos as unicas singularidades possveis s ao as colis oes, um
resultado demonstrado por Painleve em 1895 e cuja bela
demonstra c ao veremos no captulo seguinte. Assim, po-
dem ocorrer colis oes bin arias ou tern arias, sendo que esta
ultima possibilidade corresponde ao chamado colapso total
do sistema.
Sundman provou inicialmente que as colis oes bin arias
s ao de certa forma removveis: atraves de uma mudan ca
54
texto
2007/5/15
page 55
i
i
i
i
i
i
i
i
[SEC. 4.1: COLIS
OES E COLAPSO TOTAL 55

de vari aveis adequada e possvel estender a solu c ao para
alem do instante deste tipo de colis ao.
1
. Esta regulariza c ao
de singularidades e uma tecnica extremamente importante
e de uso corrente em Mec anica Celeste e aplica c oes (ver,
por exemplo, [4]).
Infelizmente a regulariza c ao n ao funciona para colis oes
tern arias, sendo ent ao necess ario evitar condi c oes iniciais
que levem a elas. Sundman provou ent ao o seu teorema do
colapso total que diz que se o momento angular total do
sistema e n ao-nulo, ent ao n ao ocorre colis ao tripla. Deste
modo, a solu c ao exata do problema de 3-corpos que ele ob-
teve e v alida exceto para condi c oes iniciais que satisfazem
a condi c ao c = 0. Ora, pode-se mostrar que o conjunto
das condi c oes iniciais que satisfazem esta condi c ao e pe-
queno ou atpico, no sentido de que tem volume zero no
espa co de fase.
2
Em suma, a solu c ao de Sundman existe
para condi c oes iniciais tpicas.
O teorema do colapso total ou teorema de Sundman-
Weierstrass se generaliza para o caso geral de N-corpos,
como demonstramos neste captulo. Precisamos de algu-
mas no c oes e resultados preliminares.
4.1 Colis oes e colapso total
Considere o vetor x(t) = (r
1
(t), . . . , r
N
(t)) que fornece as
posi c oes das partculas correspondentes a uma solu c ao do
problema de N corpos.
Deni cao 4.1. Diz-se que ocorre uma colis ao no instante
1
Tudo se passa como se as partculas sofressem um choque el astico no instante
de uma colis ao bin aria e ent ao continuassem o movimento (ver [25])
2
Mais precisamente, tem medida de Lebesgue zero, pois consiste em uma su-
perfcie suave de dimens ao inferior a do espa co de fases (de maneira an aloga a
uma superfcie esferica que tem volume zero em R
3
.
texto
2007/5/15
page 56
i
i
i
i
i
i
i
i
56 [CAP. 4: O TEOREMA DE SUNDMAN-WEIERSTRASS
t
se cada r
j
(t) tem limite nito, j = 1, . . . , N, quando
t t
, sendo que ao menos dois deles s ao iguais, isto e:

para algum i ,= k : r
i
(t
) = r
k
(t
).
Equivalentemente, uma colis ao ocorre quando o vetor
x(t) = (r
1
(t), . . . , r
N
(t)) converge, quando t t
, para um
ponto x
, onde e o conjunto singular (ver se c ao

1.2).
Observa cao 4.2. (a) Colis oes s ao exemplos de singula-
ridades das solu c oes do problema de N-corpos. Note
que se ocorre colis ao em t
< , ent ao
lim
tt
U(x(t)) = +,
e as equa c oes de movimento n ao fazem mais sentido.
Em particular, pela conserva c ao da energia a veloci-
dade de alguma(s) das partculas diverge quando t
t
.
Uma quest ao natural que abordaremos adiante e de
saber se existem outros tipos de singularidades alem
das colis oes.
(b) No problema de N-corpos podem ocorrer colis oes du-
plas, triplas, qu adruplas, etc. No caso N = 3 as
unicas possibilidades s ao colis oes duplas ou triplas (co-
lapso total). Como mencionamos, as colis oes bin arias
podem ser regularizadas atraves de uma certa mu-
dan ca de par ametro temporal e, portanto, de certa
forma s ao singularidades removveis.
(c) Colis oes s ao eventos raros ou atpicos: pode-se
provar que o subconjunto das condi c oes iniciais do
problema de N-corpos que levam o sistema a uma co-
lis ao, e um subconjunto pequeno no espa co de fases
texto
2007/5/15
page 57
i
i
i
i
i
i
i
i
[SEC. 4.1: COLIS

no sentido de terem volume (medida de Lebesgue) zero
(ver [26]).
(d) Devemos mencionar que as colis oes s ao idealiza c oes
matem aticas, uma vez que estamos lidando com pon-
tos materiais. As colis oes reais entre objetos celestes
s ao eventos extremamente complexos e de grande im-
port ancia, por exemplo, para entender a forma c ao do
sistema solar. Ademais, tudo indica que os efeitos de
uma colis ao da Terra com um aster oide foram a causa
prov avel da extin c ao dos dinossauros h a cerca de 65
milh oes de anos atr as (para mais informa c oes sobre
colis oes no sistema solar, ver [7]).
Podemos agora denir o colapso total no problema de
N-corpos.
Deni cao 4.3. Diz-se que ocorre o colapso total no ins-
tante t
(nito ou n ao) se todas as partculas colidem no

mesmo ponto.
O seguinte fato simples sobre o momento de inercia e
muito util no estudo do colapso total.
Lema 4.4. O momento de inercia I pode ser expresso como
I =
1
2M
N
j<k
m
j
m
k
r
2
jk
.
Demonstra cao: Lembrando que r
jk
= |r
j
r
k
| temos,
para k, j = 1, . . . , N,
N
j=1
m
j
(r
j
r
k
)
2
=
N
j=1
m
j
r
2
j
+
N
j=1
m
j
r
2
k
2r
k
(
N
j=1
m
j
r
j
).
texto
2007/5/15
page 58
i
i
i
i
i
i
i
i
Como por hip otese o CM est a em repouso na origem, o
ultimo termo e zero a equa c ao acima cam:
N
j=1
m
j
(r
j
r
k
)
2
= 2I + Mr
2
k
.
Multiplicando agora por m
k
e somando vem que
N
k=1
m
j
N
j=1
m
j
m
k
r
2
jk
= 2IM + 2IM = 4IM,
e o resultado segue. 2
O importante corol ario a seguir mostra que
I e uma es-
timativa da separa c ao m axima entre as partculas enquanto
que U
1
e uma estimativa da sua separa c ao mnima.
Corolario 4.5. Existem constantes positivas A, B, C e D,
que dependem somente das massas m
1
, . . . , m
N
, tais que:
A
I R B
I
e
CU
1
r DU
1
,
onde r = r
min
min
j=k
r
jk
e R = r
max
= max
j=k
r
jk
s ao,
respectivamente, a separa c ao mnima e m axima entre as
partculas.
Demonstra cao: Seja m
0
min
1iN
m
i
. Temos ent ao,
m
2
0
2M
R
2
m
2
0
2M
j<k
r
2
jk
I =
1
2M
N
j<k
m
j
m
k
r
2
jk

(
1
2M
j<k
m
j
m
k
)R
2
= (
1
4M
N
j=1
N
k=1
m
j
m
k
)R
2
=
M
4
R
2
.
texto
2007/5/15
page 59
i
i
i
i
i
i
i
i
[SEC. 4.1: COLIS

Ou seja,
m
2
0
2M
R
2
I
M
4
R
2
,
ou ainda,
2M
m
2
0
I R
2
4
M
I
2
M
I R
2M
m
0
I,
e tomamos A = 2/
M e B =
2M/m
0
.
Por outro lado, como
j<k
m
j
m
k
= M/2, temos
U
j<k
Gm
j
m
k
r

GM
2
2r
.
Alem disso, para 1 j, k N,
U
Gm
j
m
k
r
jk
Gm
2
0
r
jk
,
e como em cada instante ao menos um dos r
jk
s e igual a
r, temos
U
Gm
2
0
r
.
Juntando, vem que
Gm
2
0
r
U
GM
2
2r

Gm
2
0
U
r
GM
2
2U
.
Tomamos ent ao C = Gm
2
0
e D = GM
2
/2. 2
Uma conseq uencia deste corol ario e que se o colapso
ocorre, ele se d a na origem.
Corolario 4.6. Se ocorre o colapso total no instante t = t
(nito ou n ao), ent ao ele ocorre na origem.

texto
2007/5/15
page 60
i
i
i
i
i
i
i
i
Demonstra cao: Como por hip otese todas as partculas
colidem, temos que, para todo j = 1, . . . , N, existem e
coincidem os limites lim
tt
r
j
(t) = r
j
(t
). Portanto, se
j ,= k,
lim
tt
r
jk
(t) = lim
tt
|r
j
(t) r
k
(t)| = |r
j
(t
) r
k
(t
)| = 0.
Como 0 r
min
(t) r
jk
para todo j ,= k, segue que
lim
tt
r
min
(t) = 0 e pelo corol ario 4.5 vem que
lim
tt
I(t) =
1
2
N
j=1
m
j
r
2
j
(t
) = 0,
e da que para todo j = 1, . . . , N, temos r
j
(t
) = 0. 2
O resultado seguinte mostra que o colapso total n ao de-
mora um tempo innito para ocorrer.
Proposi cao 4.7. Se o colapso total ocorre no instante t =
t
, ent ao t
< +.
Demonstra cao: Suponha, por contradi c ao, que o colapso
ocorra para t
= +. (raciocnio an alogo vale para o caso

t
= ). Pelo corol ario 4.6, para todo j ,= k, temos

lim
t+
r
jk
(t) = 0 lim
t+
r(t) = 0,
onde r(t) = min
j=k
r
jk
e a separa c ao mnima das partculas.
Portanto, pela estimativa do corol ario 4.5,
lim
t+
U(x(t)) = +.
Mas, da identidade de Lagrange-Jacobi,

I(t) = U(x(t)) +
2h, decorre que
lim
t+
I(t) = +.
texto
2007/5/15
page 61
i
i
i
i
i
i
i
i
[SEC. 4.2: O TEOREMA DO COLAPSO TOTAL 61
Portanto, existe t
1
> 0 tal que para todo t > t
1
tem-
se

I(t) 1. Integrando esta desigualdade duas vezes no
intervalo [t
1
, t], segue que
I(t)
1
2
t
2
+ at + b,
onde a e b dependem apenas de t
1
. Assim,
lim
t+
I(t) = +,
o que e uma contradi c ao. 2
Observa cao 4.8. Note ent ao que o colapso total em t = t
(necess ariamente < ) se, e somente se lim

t+
I(t) = 0.
4.2 O teorema do colapso total
Podemos agora enunciar o teorema do colapso total, devido
a Sundman (1907), resultado j a conhecido por Weierstrass
para o caso do problema de tres corpos (sem, porem, te-lo
publicado).
Teorema 4.9 (Teorema de Sundman-Weierstrass).
Se ocorre o colapso total no problema de N-corpos, ent ao
o momento angular total e nulo: c = 0.
Em outras palavras, c = 0 e condi c ao necess aria para
ocorrer o colapso total, ou ainda: se c ,= 0, n ao ocorre
colapso total.
3
Intuitivamente, quando o momento angu-
lar total e nulo remove-se a rota c ao do sistema, o que
permite a ocorrencia do colapso total.
3
Sundman provou algo mais: se c = 0, ent ao r
max
(t) D(c) > 0, de forma
que as partculas permanecem estritamente isoladas de colis oes triplas.
texto
2007/5/15
page 62
i
i
i
i
i
i
i
i
Exerccio 4.10. Mostre que a recproca do teorema acima
e verdadeira para o o problema de dois corpos.
Observa cao 4.11. A a recproca n ao e verdadeira para
N 3: basta imaginar a situa c ao em que os corpos est ao
connados a mover-se em uma reta (logo necess ariamente
c = 0); porem nesse caso sempre ocorrem colis oes bin arias
(no futuro ou no passado). Outro exemplo (sem colis oes)
e a coreograa em forma de oito para o problema de tres
corpos.
Para a demonstra c ao do teorema 4.9 precisaremos do
seguinte lema de c alculo:
Lema 4.12. Seja
f : [a, b] R
x y = f(x),
fun c ao duas vezes diferenci avel em ]a, b[, com f(x) > 0 e
f
(x) > 0 em ]a, b[. Se f(b) = 0, ent ao f
(x) < 0 em ]a, b[.

Exerccio 4.13. Demonstre o lema acima.
Passamos a prova do teorema.
Demonstra cao: Seja t
< + o instante do colapso

total, que supomos positivo, sem perda de generalidade.
Ent ao, como visto na se c ao anterior, para todo j ,= k,
lim
tt
r
min
(t) = 0,
e portanto pelo corol ario 5.5
lim
tt
U(t) = +.
Portanto, pela desigualdade de Lagrange-Jacobi,
lim
tt
I(t) = +.
texto
2007/5/15
page 63
i
i
i
i
i
i
i
i
[SEC. 4.2: O TEOREMA DO COLAPSO TOTAL 63
Logo, para t numa vizinhan ca de t
temos

I(t) > 0. Como
I(t) > 0, segue do lema 4.12 que I(t) e estritamente de-
crescente nesta vizinhan ca:
se t [t
1
, t
2
], onde t
2
< t
, ent ao

I(t) < 0.
Considere agora a desigualdade de Sundman na forma:
I(t)
c
2
4I
+ h,
para t [t
1
, t
2
]. Multiplicando por
I(t) > 0, obtemos:
I
c
2
4
I
I
h

I,
ou seja,
1
2
d
dt
(

I)
2

c
2
4
d
dt
ln(I) h
d
dt
I.
Integrando ambos os lados de t
1
a t
2
obtemos:
1
2
[

I
2
(t
2
)

I
2
(t
1
)]
c
2
4
ln[I(t
1
)/I(t
2
)] h[I(t
2
) I(t
1
)],
ou, reagrupando,
c
2
4
ln[I(t
1
)/I(t
2
)] h[I(t
2
) I(t
1
)] +
1
2
[

I
2
(t
1
)

I
2
(t
2
)].
Mas, I(t
2
)I(t
1
) I(t
2
) e

I
2
(t
1
)

I
2
(t
2
)

I
2
(t
1
), e temos
ent ao que
c
2
4

hI(t
2
) +

I
2
(t
1
)
ln[I(t
1
)/I(t
2
)]
,
onde o lado esquerdo tende a 0 quando t
2
tende a t
(com
t
1
xo). Como c e constante, conclumos que c = 0, o que
completa o teorema. 2
texto
2007/5/15
page 64
i
i
i
i
i
i
i
i
4.3 Sobre a estabilidade
O teorema de Sundman-Weierstrass pode ser visto como
um teorema sobre a estabilidade do sistema de N-corpos
no sentido de que especica uma condi c ao para que o sis-
tema n ao desabe ou colapse sobre si mesmo sob a c ao da
atra c ao gravitacional m utua.
O problema da estabilidade do sistema solar tem uma
longa hist oria, sendo um tema central em Mec anica Celeste
desde a epoca de Newton.
4
O problema se encontra em
aberto tanto do ponto de vista do modelo idealizado de
N-corpos pontuais quanto de vers oes realsticas do sistema
solar (para um a discuss ao hist orica, ver o excelente artigo
[17]).
Uma das diculdades deste problema e a de estabelecer o
que se entende por estabilidade de um sistema din amico
e, de fato, existem mais de cinq uenta deni c oes diferen-
tes na literatura. No caso do problema de N-corpos, uma
no c ao bastante natural parece ser a seguinte: uma solu c ao
do problema de N corpos e est avel se satisfaz as seguin-
tes condi c oes: para todo i ,= j e todo t R e para uma
constante K > 0,
(a) r
ij
,= 0;
(b) r
ij
K,
que exige ausencia de colis oes (e n ao apenas do colapso
total) e que o movimento permane ca connado em uma
regi ao limitada do espa co (no passado e no futuro).
Porem, e muito difcil decidir quando estas condi c oes s ao
satisfeitas; em particular n ao se conhece todos os possveis
4
A prop osito, Newton achava que o sistema solar era inerentemente inst avel e
que era necess aria a interven c ao divina, de tempos em tempos, para dar corda
no sistema e evitar a cat astrofe.
texto
2007/5/15
page 65
i
i
i
i
i
i
i
i
[SEC. 4.3: SOBRE A ESTABILIDADE 65
movimentos nais (isto e, para t ) nem mesmo para o
problema de 3-corpos (ver [3]). Uma possvel sada e bus-
car provar que a estabilidade e uma propriedade tpica no
sentido de ser v alida para a vasta maioria das condi c oes
iniciais do sistema; mesmo isto n ao e trivial de provar.
Aqui, vamos apenas apresentar um resultado cl assico
elementar de estabilidade, que e uma outra aplica c ao da
identidade de Lagrange-Jacobi.
Teorema 4.14 (Criterio de estabilidade de Jacobi).
Uma condi c ao necess aria para que a solu c ao seja est avel
(no sentido denido acima) e que a energia total h = T U
seja negativa.
Prova: Considere uma solu c ao denida para todo t R
e tal que h 0. Pela identidade de Lagrange-Jacobi,
I = U + 2h U > 0,
uma vez que o potencial e estritamente positivo. Temos
ent ao que I(t) e uma fun c ao denida em R, limitada in-
feriormente e estritamente convexa; logo necess ariamente
lim
t
I(t) = . Portanto, pelo lema 4.4, n ao pode ser
que r
ij
(t) K para todo i ,= j e todo t R.. 2
Infelizmente a condi c ao n ao e suciente para N 3.
texto
2007/5/15
page 66
i
i
i
i
i
i
i
i
Captulo 5
Singularidades no
problema de N-corpos
Vimos que o teorema de existencia e unicidade para EDOs
garante que o problema de N-corpos (por simplicidade con-
sideramos t
0
= 0):
_
_
m
j
r
j
=
r
j
U(x), j = 1, . . . , N
(x(0), v(0)) R
3N
/R
3N
possui uma unica solu c ao x(t) = (r
1
(t), . . . , r
N
(t)), ao me-
nos num intervalo de tempo ]t
, t
+
[, talvez muito pequeno
(solu c ao local). Para xar ideias, consideramos apenas a
evolu c ao futura do sistema, ou seja em [0, t
+
[.
Por outro lado, pelo teorema 2.27, sabemos que existe
um intervalo maximal de existencia, digamos [0, t
[, com
0 < t
+
t
+.

E natural perguntar se este intervalo
coincide ou n ao com [0, +). Isso leva a no c ao de uma
singularidade no problema de N-corpos.
66
texto
2007/5/15
page 67
i
i
i
i
i
i
i
i
[SEC. 5.1: UMA CARACTERIZAC
AO DAS SINGULARIDADES 67
Deni cao 5.1. Se t
< +, diz-se que a solu c ao x(t) =

(r
1
(t), . . . , r
N
(t)) tem uma singularidade no instante t =
t
. Caso t
= + a solu c ao e dita regular.

Assim, uma singularidade indica uma obstru c ao ao
prolongamento de solu c oes. Um exemplo de singularidades
no problema de N-corpos s ao as colis oes, que j a discutimos
no captulo anterior. Mas, ser a que existem outros tipos de
singularidades?
A quest ao da natureza da singularidades no problema
de N-corpos foi abordada pelo matem atico frances Paul
Painleve numa celebre serie de palestras ministradas em
Estocolmo em 1895. Nestas palestras ele obteve v arios re-
sultados fundamentais que o levaram a formular sua fa-
mosa conjectura sobre a existencia de singularidades n ao-
colisionais para o caso de N 4 e que s o foi demonstrada
recentemente.
Para entendermos a conjectura de Painleve, precisamos
de seu teorema de caracteriza c ao de singularidades.
5.1 Uma caracteriza cao das singularida-
des
E de se esperar, examinando as equa c oes de movimento,

que a ocorrencia de singularidades esteja ligada a possibili-
dade de que as dist ancias r
jk
(t) entre alguma(s) partculas
tornarem-se arbitrariamente pequenas quando t tende a t
.
Isto e exatamente o que Painleve demonstrou no seguinte
teorema de caracteriza c ao de singularidades:
Teorema 5.2 (Painleve, 1895). Uma solu c ao do pro-
blema de N-corpos possui uma singularidade no instante
texto
2007/5/15
page 68
i
i
i
i
i
i
i
i
68 [CAP. 5: SINGULARIDADES NO PROBLEMA DE N-CORPOS
t
se, e somente se,

lim
tt
r
min
(t) = 0,
onde r
min
(t) = r(t) min
j=k
r
jk
(t)
Prova:
() Suciencia: Suponha que lim
tt
r
min
(t) = 0 e que,
por absurdo, n ao ocorra uma singularidade no instante
t = t
. Ent ao a solu c ao x(t) e uma fun c ao suave para

todo t num intervalo limitado [t
1
, t
] com extremidade t
.
Portanto existe uma constante b
1
> 0 tal que
[ x(t)[ b
1
,
neste mesmo intervalo. Segue das equa c oes de movimento
que os vetores
r
j
U(x(t)), j = 1, . . . , N tambem s ao limi-
tados.
Pelo teorema fundamental do c alculo (componente a
componente) e usando a desigualdade acima, obtemos:
[ x(t) x(t
)[ = [
_
t
t
x(s)ds[
_
t
t
[ x(s)[ds b
1
[t
t
1
[ = b
2
. (5.1)
Logo, pela desigualdade triangular,
[ x(t)[ [ x(t) x(t
)[ +[ x(t
)[ b
3
,
para uma certa constante b
3
e para todo t [t
1
, t
].
Como | r
j
(t)| [ x(t)[ para j = 1, . . . , N e
d
dt
U(x(t)) =
N
j=1
r
j
U(x(t)) r
j
,
texto
2007/5/15
page 69
i
i
i
i
i
i
i
i
[SEC. 5.1: UMA CARACTERIZAC
AO DAS SINGULARIDADES 69
segue que
d
dt
U(x(t)) e limitado e portanto U(x(t)) e limi-
tado.
Mas, pela estimativa do corol ario 4.5,
lim
tt
r
min
(t) = 0 limsup
tt
U(x(t)) = +,
donde U(x(t)) n ao poderia ser limitado. Esta contradi c ao
leva a concluir que t
tem de ser uma singularidade.

() Necessidade:
Suponha que ocorra uma singularidade em t = t
e se
quer mostrar que,
lim
tt
r
min
(t) = 0.
Como limsup
tt
r
min
(t) liminf
tt
r
min
(t) 0, basta
mostrar que limsup
tt
r
min
(t) = 0.
Suponha, por absurdo, que fosse
limsup
tt
r
min
(t) = D > 0.
Ent ao existe uma seq uencia t
1
com lim
= t
e tal
que
lim
r
min
(t
) = D > 0.
Ademais, para sucientemente grande e para todo j ,= k,
temos
r
jk
(t
) r
min
(t
) > D/2.
Ora, ent ao estamos em condi c oes de aplicar o teorema de
existencia e unicidade (teorema 2.27) com condi c oes iniciais
y(t
) = (x(t
), v(t
)). Ou seja, se [yy(t
)[ < D/8 temos

[f(y)[ M, onde M depende apenas de D, das massas e
da energia total h (e esta ultima e a mesma que em t = 0
texto
2007/5/15
page 70
i
i
i
i
i
i
i
i
pois o sistema e conservativo). Portanto, o problema de N-
corpos com condi c ao inicial y(t
) tem uma unica solu c ao

num intervalo [t t
[ < /2, onde > 0 depende apenas

de D, das massas e h.
Tomando sucientemente grande tal que [t
[ <
/2, vemos que as equa c oes de movimento tem uma unica
solu c ao no intervalo:
[t t
[ [t t
[ +[t
[ < .
Mas, nesse caso (e usando a proposi c ao 2.19) a solu c ao
partindo de t = 0 foi prolongada para alem do instante
t
e portanto, este ultimo n ao poderia ser um instante de

ocorrencia de uma singularidade. Esta contradi c ao conclui
o teorema. 2
5.2 Colis oes e Pseudocolis oes
O teorema de Painleve tem uma interpreta c ao geometrica
interessante. Considere a dist ancia entre um ponto x e o
conjunto singular , denida por
(x, ) = inf
z
[x z[
.
Exerccio 5.3. Mostre que
min
j=k
|r
j
r
k
| =
2 (x, ).
Segue do exerccio acima que o teorema de Painleve
equivale a dizer que uma singularidade ocorre em t = t
se, e somente se a dist ancia de x(t) = (r

1
(t), . . . , r
N
(t)) ao
conjunto singular vai a zero; simb olicamente
x(t)
tt
.
texto
2007/5/15
page 71
i
i
i
i
i
i
i
i
[SEC. 5.2: COLIS
OES E PSEUDOCOLIS
OES 71
Conseq uentemente obtem-se a seguinte classica c ao das
singularidades do problema de N-corpos em dois tipos:
colis oes: quando lim
tt
x(t) = x
, isto e, seja
x(t) atinge um dado ponto de , ou ainda (x
, ) =
0;
pseudocolis oes: quando x(t) se aproxima de quando
t t
, sem porem nunca atingir .

Ou seja, de um lado temos o caso intuitivo das co-
lis oes, em que a dist ancia entre ao menos duas partculas
e zero em t = t
: o conjunto singular e atingido. Por

outro, temos o caso em que a dist ancia mnima entre as
partculas tende a zero sem que haja colis ao. Este tipo
de singularidade e bem menos intuitivo. Assim, ainda que
lim
tt
r
min
(t) = 0 poderamos ter, para certo par jk de
partculas, que
liminf
tt
r
jk
(t) = 0 e limsup
tt
r
jk
(t) > 0,
de forma que elas poderiam oscilar, ora se aproximando
ora se afastando entre, sem nunca colidirem.
A existencia de solu c oes com singularidades do tipo co-
lis oes era bem conhecida para o caso de N = 2 e N = 3
(e o teorema 5.8 mais adiante mostra que colis oes sempre
ocorrem no problema de N-corpos retilneo).
Mas e quanto a existencia de pseudocolis oes?

E f acil
mostrar que para N = 2 elas n ao existem: de fato, se
ocorre uma singularidade em t = t
, ent ao pelo teorema

5.2,
r
min
(t) r
12
(t) = |r
1
(t) r
2
(t)|
tt
0.
Ent ao,
I(t) =
1
2M
r
2
12
(t)
tt
0,
texto
2007/5/15
page 72
i
i
i
i
i
i
i
i
e lembrando que I(t) = 1/2(m
1
r
2
1
(t)+m
2
r
2
2
(t)), conclumos
que lim
tt
r
1
(t) = lim
tt
r
2
(t) = 0, tratando-se de uma
colis ao.
Painleve mostrou que tambem no caso N = 3 o unico
tipo de singularidade que pode ocorrer s ao colis oes:
Teorema 5.4 (Painleve, 1895). No problema de tres
corpos, todas as singularidades s ao colis oes.
Precisamos do seguinte lema que arma que o momento
de inercia sempre tem limite quando t tende a t
:
Lema 5.5. Se ocorre uma singularidade em t = t
, ent ao
lim
tt
I(t) = I
[0, +].
Prova do Lema: Pelo teorema 5.2 ocorre uma singulari-
dade no instante t = t
se, e s o se lim
tt
r
min
(t) = 0. Disto
segue que limsup
tt
U(x(t)) = + e, pela identidade de
Lagrange-Jacobi, lim
tt

I(t) = +. Logo, para t suci-
entemente pr oximo de t
, temos

I(t) > 0, donde que

I(t) e
crescente numa vizinhan ca de t
. Da que I(t) e mon otona

(crescente ou decrescente) nesta vizinhan ca. Lembrando
que I(t) 0 o lema segue. 2
Prova do Teorema: Pelo lema, I
[0, +]. Se I
= 0,
segue do teorema de Sundman-Weierstrass que ocorre o
colapso total, ou seja uma colis ao m ultipla, e n ao h a nada
a demonstrar.
Suponha ent ao que I
> 0 (possvelmente = +). Mos-

tremos inicialmente que a partir de certo instante em diante
o mesmo par de partculas assume a separa c ao mnima r
min
.
Como lim
tt
I(t) = I
> 0 segue do corol ario 4.5 que,

de certo instante em diante e para uma certa constante
texto
2007/5/15
page 73
i
i
i
i
i
i
i
i
[SEC. 5.2: COLIS
OES E PSEUDOCOLIS
OES 73
D > 0, temos
r
max
(t) = max
j=k
r
jk
(t) D > 0.
Por outro lado, pelo teorema 5.2, vem que de certo instante
em diante r
min
(t) < D/2, ou seja, para ao menos um par
jk de partculas tem-se: r
jk
(t) < D/2.
Armamos que de certo instante em diante o mesmo
par de partculas assume a dist ancia mnima r
min
. Caso
contr ario, em algum instante

t dois pares (digamos 12 e
23) trocariam o papel de r
min
e teramos: r
min
(
t) = r
12
(
t) =
r
23
(
t) < D/2. Mas isso n ao e possvel pois, por um lado, da

desigualdade triangular aplicada ao tri angulo com vertices
nas partculas 1, 2 e 3, tem-se:
r
13
(
t) r
12
(
t) + r
23
(
t) < D.
Por outro lado, teramos r
13
(
t) = r
max
(
t), ao passo que

r
max
(t) D a partir de certo instante em diante.
Mostremos agora que os vetores posi c ao r
j
(t), com j =
1, 2, 3, tem limites bem denidos quando t tende a t
. De
fato, como uma das partculas, digamos a 3 (seguindo o
exemplo acima) acaba por afastar-se denitivamente das
restantes 1 e 2 (e com r
13
D/2 e r
23
D/2), segue das
equa c oes de movimento que para t numa vizinhan ca de t
,
|r
3
|
Gm
1
r
2
13
+
Gm
2
r
2
23
A,
para uma constante A. Portanto, para instantes t
n
e t
m
numa vizinhan ca de t
,
|v
3
(t
n
) v
3
(t
m
)| = |
_
t
n
t
m
r
3
(s)ds|
_
t
n
t
m
|r
3
|(s)ds A[t
n
t
m
[
t
n
,t
m
t
0.
texto
2007/5/15
page 74
i
i
i
i
i
i
i
i
Segue do criterio de convergencia de Cauchy que v
3
(t) =
r
3
(t) tem limite bem denido quando t tende a t
. Em
particular e limitado: para t numa vizinhan ca de t
temos
|v
3
(t)| = | r
3
(t)| B,
para uma constante B. Um argumento an alogo ao que
acabamos de fazer nos leva ent ao a concluir que
lim
tt
r
3
(t) = ,
onde e um vetor constante.
Mas pela lei de conserva c ao relativa ao movimento do
centro de massa, m
1
r
1
(t) + m
2
r
2
(t) = m
3
r
3
(t0, ou ainda
m
1
(r
1
(t) r
2
(t)) + (m
1
+ m
2
)r
2
(t) = m
3
r
3
9t). Como
lim
tt
r
12
= lim
tt
|r
1
(t) r
2
(t)| = 0, segue que
lim
tt
r
2
(t) = lim
tt
r
1
(t) =
m
1
m
1
+ m
2
.
Em outras palavras, temos uma colis ao bin aria em t = t
e o teorema est a demonstrado. 2

Observa cao 5.6. Note que tambem obtivemos
lim
tt
I(t) = I
< +.
5.3 A conjectura de Painleve
N ao conseguindo estender seu resultado para N 4, Pain-
leve prop os o seguinte desao ao nal de suas serie de pa-
lestras:
Conjectura 1 (Conjectura de Painleve, 1895). O pro-
blema de N-corpos, para N 4 admite solu c oes com sin-
gularidades do tipo pseudocolis oes.
texto
2007/5/15
page 75
i
i
i
i
i
i
i
i
[SEC. 5.3: A CONJECTURA DE PAINLEV
E 75
Esta conjectura mostrou-se extremamente difcil e cou
em aberto ate recentemente. O primeiro progresso foi ob-
tido pelo fsico e astr onomo sueco E. H. von Zeipel, que
prop os uma caracteriza c ao alternativa para colis oes e, a
fortiori, para pseudocolis oes:
Teorema 5.7 (von Zeipel, 1908). No problema de N-
corpos, uma singularidade em t = t
e uma colis ao se, e

somente se
lim
tt
I(t) = I
< +.
A demonstra c ao, que omitimos, pode ser encontrada em
[20] ou [8]. Note que a necessidade e trivial.
Segue do teorema de von Zeipel e do corol ario 4.5 que
uma singularidade e uma pseudocolis ao se, e somente se,
lim
tt
max
j=k
r
jk
(t) = +,
ou seja, o sistema de N-corpos explode ao innito em
tempo nito.
Este resultado cou esquecido por muito tempo, em
parte por ter sido publicado em um peri odico de pouca
circula c ao. Outra raz ao deve-se a crticas sobre supostas
falhas na prova, o que era infundado (ver [20]). Uma outra
raz ao pode ter sido a inuencia da teoria da relatividade
especial de Einstein, segundo a qual existe um limite su-
perior para a velocidade dos corpos massivos, a saber a
velocidade da luz.
Como aplica c ao do teorema de von Zeipel, vejamos um
caso do problema de N-corpos que tambem n ao admite
pseudocolis oes, a saber, o caso retilneo.
Teorema 5.8 (Saari, 1973). Se as N partculas est ao
restritas a mover-se numa reta xa com rela c ao ao CM,
ent ao todas as singularidades s ao colis oes.
texto
2007/5/15
page 76
i
i
i
i
i
i
i
i
Prova: Vamos supor que a reta coincide com o eixo x
do referencial do CM. Sejam x
1
, . . . , x
N
as posi c oes das N
partculas ao longo desta reta, da esquerda para a direita.
Como estamos no referencial do CM,
N
i=1
x
i
= 0, e por-
tanto temos segue que x
1
0 e x
N
0 em cada instante.
Suponha, por contradi c ao, que exista uma singularidade
pseudocolisional no instante t = t
. Ent ao, pelo teorema de

von Zeipel, temos que lim
tt
I(t) = +. Logo, da estima-
tiva 4.5 vem que lim
tt
r
max
(t) = +. Como as partculas
n ao podem trocar a ordem de seu posicionamento ao longo
do eixo, temos que r
max
(t) = [x
N
(t) x
1
(t)[ e portanto
teramos lim
tt
[x
N
(t) x
1
(t)[ = +.
Armamos que lim
tt
x
N
(t) = +. De fato, suponha
que x
N
() fosse limitado e, portanto, do limite acima, que
lim
tt
x
1
(t) = . Ent ao, como
N
i=1
x
i
(t) = 0, vem que
N
i=2
x
i
(t) = m
1
x
1
(t)
tt
+.
Ora, isto implica que para algum i = 2, . . . , N 1 tem-se
limsup
tt
x
i
(t) = +, e como x
N
est a ` a direita de to-
dos os outros x
i
, segue que limsup
tt
x
N
(t) = +, con-
tradizendo a hip otese de ser x
N
() limitado. Em resumo
ate o aqui: se ocorre uma pseudocolis ao em t = t
, ent ao
lim
tt
x
N
(t) = +.
Por outro lado, a equa c ao de movimento para a N-esima
partcula e
m
N
x
N
=
j=N
Gm
N
m
j
x
j
x
N
[x
j
x
N
[
3
,
e como x
j
< x
N
para j = 1, . . . , N1, segue que x
N
(t) < 0.
Ou seja, x
N
(t) tem concavidade para baixo; logo n ao pode
texto
2007/5/15
page 77
i
i
i
i
i
i
i
i
[SEC. 5.3: A CONJECTURA DE PAINLEV
E 77
ser que lim
tt
x
N
(t) = +. Essa contradi c ao prova o
teorema. 2
Observa cao 5.9. Note que no problema de N corpos re-
tilneo podemos armar que sempre ocorre uma singula-
ridade (que ser a necess ariamente uma colis ao). De fato,
suponha que n ao ocorra singularidades. Como estamos no
referencial do CM, segue que sempre x
N
(t) > 0 (x
N
= 0 so-
mente no caso do colapso total, que e uma singularidade co-
lisional). Por outro lado, da equa c ao de movimento acima
temos sempre que x
N
(t) < 0. Ora, estas duas condi c oes
s ao incompatveis para uma fun c ao x
N
(t) denida para todo
t R. Logo, necessariamente ocorre uma singularidade.
E no caso geral do problema de N-corpos? A solu c ao
veio somente ap os decadas de investiga c oes tanto te oricas
quanto numericas (com o desenvolvimento dos computado-
res).
1
Do ponto de vista te orico, foram instrumentais os
desenvolvimentos da Teoria de Sistemas Din amicos.
Resumimos os acontecimentos-chave (para mais deta-
lhes ver [9] e [11]). O primeiro grande avan co veio em 1975
com a prova de Mather e McGehee da existencia de pseu-
docolis oes para solu c oes do problema de 4-corpos retilneo,
mas que era insatisfat oria por exigir um n umero innito de
regulariza c oes de colis oes bin arias. Em 1984, Gerver anun-
ciou uma solu c ao pseudocolisional do problema de 5-corpos
no plano, porem sem apresentar uma prova completa. Em
1988, em sua tese de doutorado sob orienta c ao de Saari, Je
Xia obteve a prova da conjectura de Painleve para o pro-
blema de 5-corpos. A prova continha alguns erros, mas foi
reticada e publicada em 1992. Enquanto isto, em 1991,
1
O uso de simula c oes numericas como guia heurstico tambem parece ter sido
muito importante nas recentes descobertas das novas solu c oes do problema de
N-corpos, ver [21]
texto
2007/5/15
page 78
i
i
i
i
i
i
i
i
Gerver publica uma demonstra c ao alternativa da conjec-
tura de Painleve. Os metodos de Gerver e Xia s ao bastante
diferentes, mas ambos exploram a fonte inesgot avel de
energia do potencial gravitacional para transform a-la em
energia cinetica atraves de repetidos encontros pr oximos
entre certas partculas do sistema.
Em suma, podemos anunciar (ver [9] e referencias l a
contidas):
Teorema 5.10 (Xia, 1992; Gerver, 1991). Existem
solu c oes com singularidades pseudocolisionais no problema
de N-corpos, para N 5.
A conjectura de Painleve foi portanto demonstrada para
N 5. O caso de N = 4 corpos permanece em aberto.
2
2
Outros problemas em aberto s ao discutidos em [11] e [30].
texto
2007/5/15
page 79
i
i
i
i
i
i
i
i
Referencias
Bibliogracas
[1] V. I. Arnold, Ordinary dierential equations, The
MIT Press, (1973).
[2] , V. I. Arnold, Huygens & Barrow, Newton & Hooke,
Birkh auser, (1990).
[3] V. I. Arnold, V. V. Kozlov, A. I. Neishtadt, Mathe-
matical Apects of Classical and Celestial Mechanics,
2nd. edition, Springer, (1997).
[4] E. Belbruno, Capture dynamics and chaotic motions
in celestial mechanics, Princeton University Press,
(2005).
[5] D. Boccaletti, G. Pucacco, Theory of Orbits, vol. I,
Springer, (1996).
[6] M. Bunge, Chasing reality, University of Toronto
Press, (2006).
[7] A. Celletti, Singularities, Collisions and Regulariza-
tion Theory, in Singularities in Gravitational Systems:
79
texto
2007/5/15
page 80
i
i
i
i
i
i
i
i
80 REFER
ENCIAS BIBLIOGR
AFICAS
Applications to Chaotic Transport in the Solar Sys-
tem (Lecture Notes in Physics) Daniel Benest, Claude
Froeschle (eds.) pp. 1-23, (2002).
[8] F. Diacu, Singularities of the N-Body Problem, CRM,
(1992).
[9] F. Diacu, Painleves conjecture, The Mathematical
Intelligencer, 15, 2, pp. 6-12, (1993).
[10] E. Julliard-Tosel, Bruns theorem: the proof and some
generalizations, Celestial Mechanics and Dynamical
Astronomy, 76, pp. 241-281, (2000).
[11] C. Falcolini, Collisions and Singularities in the n-body
Problem, in Singularities in Gravitational Systems:
Applications to Chaotic Transport in the Solar Sys-
tem (Lecture Notes in Physics) Daniel Benest, Claude
Froeschle (eds.), pp. 73-80, (2002).
[12] N. Grossman, The sheer joy of celestial mechanics,
Birkh auser, (1996).
[13] M. de Guzman, Ecuaciones diferenciales ordinarias,
Editorial Alhambra, (1975).
[14] M. Henkel, Sur la solution de Sundman du probleme
des trois corps, Philosophia Scientiae, 5, 2, pp. 161-
184, (2001).
[15] M. W. Hirsch, S. Smale, Ecuaciones diferenciales, sis-
temas din amicos y algebra lineal, Alianza Universidad
Textos, (1983).
[16] H. Karttunen, P. Kr oger, H. Oja, M. Poutanen, K. J.
Donner, Fundamental Astronomy, 4th. edition, Sprin-
ger, (2003).
texto
2007/5/15
page 81
i
i
i
i
i
i
i
i
REFER
ENCIAS BIBLIOGR
AFICAS 81
[17] J. Laskar, La stabilite du syst`eme solaire, in Chaos
et determinisme, A. D. Dalmedico, J.-L. Chabert, K.
Chemla,

Editions du Seuil, (1992).
[18] C. M. Linton, From Eudoxus to Einstein: A His-
tory of Mathematical Astronomy, Cambridge Univer-
sity Press, (2004).
[19] J. E. Marsden, A. J. Tromba, Vector Calculus, 2nd.
edition, W. H. Freeman, (1981).
[20] R. McGehee, Von Zeipels theorem on singularities
in celestial mechanics, Expositiones Mathematicae, 4,
pp. 335-343, (1986).
[21] R. Montgomery, A New Solution to the Three-Body
Problem,, Notices of the AMS, 48, 5, pp. 471-481,
(2001).
[22] J. Moser, Dynamical SystemsPast and Present, Do-
cumenta Mathematica, Extra Volume, ICM, I, pp.
381-402, (1998).
[23] C. D. Murray, S. F. Dermott, Solar System Dynamics,
Cambridge University Press, (2005).
[24] H. Pollard, Celestial Mechanics, The Carus Mathema-
tical Monographs, 18, The Mathematical Association
of America, (1976).
[25] D.G. Saari, A visit to the Newtonian N-body pro-
blem via elementary complex variables, The American
Mathematical Monthly, 97, pp 105-119, (1990).
[26] D. G. Saari, Collisions, Rings and Other Newtonian
N-Body Problems, CBMS, Regional Conference Series
texto
2007/5/15
page 82
i
i
i
i
i
i
i
i
82 REFER
ENCIAS BIBLIOGR
AFICAS
in Mathematics, 104, American Mathematical Soci-
ety (2005).
[27] C. L. Siegel, J. K. Moser, Curso de Mec anica Celeste,
2a. edi c ao, Funda c ao Calouste Gulbenkian, (1971).
[28] A. Sparzani, For ca/Campo, Enciclopedia Einaudi,
vol. 24, Fsica, Imprensa Nacioonal-Casa da Moeda,
(1993).
[29] V. G. Szebehely, H. Mark, Adventures in celestial me-
chanics, Wiley, (1998)
[30] Z. Xia, Some of the problems that Saari didnt
solve, Contemporary Mathematics, 292, pp. 267-270,
(2002).
S
ERGIO B. VOLCHAN
(volchan@mat.puc-rio.br)
Departamento de Matem atica
Pontifcia Universidade Cat olica do Rio de Janeiro
Rua Marques de S ao Vicente 225, G avea
Cep:22453-900 Rio de Janeiro
Brasil

Uma Introdução À Mecânica Celeste PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Uma Introdução À Mecânica Celeste PDF

Caricato da

Copyright:

Formati disponibili

Uma Introduo

Col oquio de Brasileiro de

E verdade que a partir da segunda metade do seculo

E importante salientar que estas s ao idealiza c oes bas-

E claro que outra justicativa para o estudo do problema

E conveniente reformular o problema introduzindo a

E claro que estes dois tipos de an alise se superp oem

I que e estritamente maior que

< , ent ao a solu c ao n ao pode

. Ent ao, quando t tende a t

, ou u(t) tende para a

E muito comum o caso em que o campo vetorial do pro-

ENCIA E UNICIDADE NO PROBLEMA DE N-CORPOS 33

ENCIA E UNICIDADE NO PROBLEMA DE N-CORPOS 35

ENCIA E UNICIDADE NO PROBLEMA DE N-CORPOS 37

ENCIA E UNICIDADE NO PROBLEMA DE N-CORPOS 39

OES E COLAPSO TOTAL 55

, sendo que ao menos dois deles s ao iguais, isto e:

, onde e o conjunto singular (ver se c ao

OES E COLAPSO TOTAL 57

(nito ou n ao) se todas as partculas colidem no

OES E COLAPSO TOTAL 59

(nito ou n ao), ent ao ele ocorre na origem.

= +. (raciocnio an alogo vale para o caso

= ). Pelo corol ario 4.6, para todo j ,= k, temos

(necess ariamente < ) se, e somente se lim

(x) > 0 em ]a, b[. Se f(b) = 0, ent ao f

(x) < 0 em ]a, b[.

< + o instante do colapso

I(t) > 0, obtemos:

< +, diz-se que a solu c ao x(t) =

= + a solu c ao e dita regular.

E de se esperar, examinando as equa c oes de movimento,

se, e somente se,

. Ent ao a solu c ao x(t) e uma fun c ao suave para

tem de ser uma singularidade.

)). Ou seja, se [yy(t

)[ < D/8 temos

) tem uma unica solu c ao

[ < /2, onde > 0 depende apenas

e portanto, este ultimo n ao poderia ser um instante de

se, e somente se a dist ancia de x(t) = (r

, sem porem nunca atingir .

: o conjunto singular e atingido. Por

, ent ao pelo teorema

. Da que I(t) e mon otona

> 0 (possvelmente = +). Mos-

> 0 segue do corol ario 4.5 que,

t) < D/2. Mas isso n ao e possvel pois, por um lado, da

t), ao passo que

e o teorema est a demonstrado. 2

e uma colis ao se, e

. Ent ao, pelo teorema de

Potrebbero piacerti anche