Escolar Documentos
Profissional Documentos
Cultura Documentos
Marcus A. M. de Aguiar
11 de Novembro de 2010
ii
Conte
udo
Pref
acio
vii
Agradecimentos
ix
1 Mec
anica Newtoniana
1.1 O princpio determinstico de Newton . . . . . . . . . . . .
1.2 O grupo de Galileo . . . . . . . . . . . . . . . . . . . . . .
1.3 Exemplos elementares . . . . . . . . . . . . . . . . . . . .
1.4 Movimento de uma partcula . . . . . . . . . . . . . . . . .
1.5 Movimento em uma dimensao . . . . . . . . . . . . . . . .
1.5.1 Osciladores anarmonicos . . . . . . . . . . . . . . .
1.6 Sistemas de partculas . . . . . . . . . . . . . . . . . . . .
1.7 O problema de Kepler . . . . . . . . . . . . . . . . . . . .
1.7.1 Equacoes de movimento e quantidades conservadas
1.7.2 Solucao da equacao radial . . . . . . . . . . . . . .
1.7.3 A equacao da elipse . . . . . . . . . . . . . . . . . .
1.7.4 As tres leis de Kepler . . . . . . . . . . . . . . . . .
1.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
1
5
6
8
11
13
14
17
21
21
25
28
30
31
.
.
.
.
.
33
33
35
38
45
47
2 As
2.1
2.2
2.3
2.4
2.5
Equac
oes de Euler-Lagrange
Vnculos e graus de liberdade . . . . . . . . . . . . .
O princpio de DAlembert: caso estatico . . . . . . .
O princpio de DAlembert e as equacoes de Lagrange
Lagrangeana para a forca de Lorentz . . . . . . . . .
Exerccios . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 Princpios Variacionais
51
3.1 O princpio de Fermat . . . . . . . . . . . . . . . . . . . . . . 51
iii
CONTEUDO
iv
3.2
3.3
3.4
3.5
3.6
3.7
3.8
3.9
4 As Equac
oes de Hamilton
4.1 A transformada de Legendre . . . . . . .
4.2 As equacoes de Hamilton . . . . . . . . .
4.3 Hamiltoniana versus Energia . . . . . . .
4.4 Notacao simpletica . . . . . . . . . . . .
4.5 O Princpio de Hamilton Modicado . .
4.6 Propriedades da Acao . . . . . . . . . . .
4.7 O princpio de Maupertuis . . . . . . . .
4.8 Espaco de Fases e Superfcie de Energia .
4.9 Secoes de Poincare . . . . . . . . . . . .
4.10 Exerccios . . . . . . . . . . . . . . . . .
54
58
60
62
63
70
71
73
74
76
79
82
85
88
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
91
91
93
97
100
101
103
106
107
115
117
5 Transformac
oes Can
onicas
5.1 Funcoes Geratrizes . . . . . . . . . . . . . . . . . . . .
5.2 Exemplos de Transformacoes Canonicas . . . . . . . . .
5.3 Formulacao Simpletica . . . . . . . . . . . . . . . . . .
5.4 O Grupo Simpletico . . . . . . . . . . . . . . . . . . . .
5.5 Transformacoes Innitesimais e a Identidade de Jacobi
5.6 Equacoes de Movimento e Leis de Conservacao . . . . .
5.7 Invariantes Canonicos . . . . . . . . . . . . . . . . . . .
5.7.1 Os Colchetes de Poisson . . . . . . . . . . . . .
5.7.2 O invariante de Poincare-Cartan . . . . . . . . .
5.8 O teorema de Liouville . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
121
122
128
131
135
135
137
140
140
141
146
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTEUDO
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
. 160
. 164
. 165
. 166
. 169
. 173
. 180
. 182
. 183
. 184
. 189
. 189
. 190
. 193
7 Estabilidade
7.1 Pontos de Equilbrio em 1 grau de liberdade .
7.1.1 Exemplo . . . . . . . . . . . . . . . . .
7.2 Pontos de Equilbrio em n graus de liberdade .
7.3 Pontos xos nas Secoes de Poincare . . . . . .
7.4 Variedades Estaveis e Instaveis . . . . . . . .
7.5 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
213
. 213
. 216
. 219
. 219
. 222
. 225
. 229
. 231
8 Teoria de Perturbac
ao
8.1 Um grau de liberdade . . . . . . . .
8.1.1 Exemplo: o pendulo simples
8.2 Dois ou mais graus de liberdade . .
8.2.1 Preambulo . . . . . . . . . .
8.2.2 O Caso nao-ressonante . . .
8.2.3 O Caso ressonante . . . . .
8.2.4 Estruturas fractais . . . . .
8.3 Exerccios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
197
197
201
203
205
208
210
vi
CONTEUDO
9 O Teorema KAM
9.1 O metodo superconvergente de Newton .
9.2 Perturbacoes singulares . . . . . . . . . .
9.3 Fracoes contnuas . . . . . . . . . . . . .
9.4 O teorema KAM . . . . . . . . . . . . .
9.5 Aplicacoes em astronomia . . . . . . . .
9.5.1 O problema de tres corpos em um
9.5.2 Falhas no cinturao de asteroides .
9.5.3 Falhas nos aneis de Saturno . . .
9.6 Exerccios . . . . . . . . . . . . . . . . .
10 Caos Hamiltoniano
10.1 O mapa de torcao . . . . . . . . . . .
10.2 O teorema de Poincare-Birkho . . .
10.3 O emaranhado homoclnico . . . . .
10.4 Caos: o mapa de Ferradura de Smale
11 Simetrias e Meios Contnuos
11.1 Simetrias e Leis de Conservacao . .
11.2 Meios contnuos e campos . . . . .
11.3 Generalizacao para campos em 1-D
11.4 M
ultiplos campos em 3-D . . . . .
11.5 Correntes conservadas . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . .
. . . .
. . . .
. . . .
. . . .
plano
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
233
. 233
. 236
. 238
. 243
. 246
. 246
. 248
. 249
. 251
.
.
.
.
253
. 253
. 256
. 259
. 262
.
.
.
.
.
269
. 269
. 272
. 274
. 276
. 276
A Mudanca de vari
aveis em integrais multidimensionais
279
283
C Comutac
ao dos Fluxos em Mf
285
D Vari
aveis de ac
ao e
angulo para o problema de Kepler
289
Bibliograa
293
Pref
acio
Novos livros de fsica basica continuam a ser escritos e publicados todos os
anos. Isso parece um tanto paradoxal, pois nao pode haver mais nada de
novo para se dizer sobre esses temas. De fato, a Mecanica, a Termodinamica
e o Eletromagnetismo sao teorias bem estabelecidas ha muitos anos, e tanto
ja se escreveu sobre elas, que nao e claro porque tantos autores insistem em
re-apresentar esses conte
udos de sua propria maneira.
No entanto, para quem faz pesquisa, ou se interessa pelos avancos da
ciencia, e bastante claro que nao existe assunto encerrado. Novas descobertas sempre nos fazem repensar conceitos que pareciam intocaveis para reinterpreta-los e re-adapta-los `as novas situacoes. A Mecanica Classica e um
otimo exemplo desse processo constante de re-descoberta. No incio dos anos
1800 Laplace armou que se alguem pudesse conhecer todas as forcas agindo
sobre todas as partculas existentes, assim como suas condicoes inicias, poderia calcular todo o futuro e o passado do universo. Esse pensamento determinista, no entanto, cairia por terra com os trabalhos de Poincare, que
demonstrou a instabilidade intrnseca do movimento no problema gravitacional de tres corpos, fundando as bases do que seria conhecido mais tarde
como Teoria do Caos.
Simultaneamente aos trabalhos de Poincare, apareciam os primeiros indcios da inadequacao da mecanica e do eletromagnetismo classicos para explicar certos fenomenos microscopicos, como o efeito fotoeletrico e a quantizacao dos nveis de energia atomicos. Surgiria em breve a teoria quantica
e, junto com ela, a difcil tarefa de compatibiliza-la com a mecanica classica.
Classico versus quantico emaranhou-se com caos versus regularidade, e o es com esse esprito
tudo dessas questoes estende-se ate os dias de hoje. E
que esse livro foi escrito, tendo como base textos classicos como Goldstein e
tantos outros, mas sempre procurando contato com elementos novos, particularmente com caos Hamiltoniano e limite semiclassico.
vii
viii
PREFACIO
Esse livro foi preparado a partir de notas de aula para a disciplina Mecanica
Avancada, que lecionei varias vezes na pos-graduacao do Instituto de Fsica
da Unicamp. Os primeiros cinco captulos contem uma breve revisao da
mecanica Newtoniana, apresentando em seguida as equacoes de Lagrange, os
princpios variacionais e o formalismo de Hamilton, enfatizando o teorema de
Liouville, o teorema de recorrencia de Poincare e o tratamento dinamico de
ensembles. Em seguida apresento a teoria de transformacoes canonicas, incluindo a equacao de Hamilton-Jacobi e sua relacao com o limite semiclassico
da equacao de Schrodinger. Os captulos seis a nove discutem o teorema de integrabilidade de Arnold e Liouville, as variaveis de acao e angulo e a teoria de
perturbacoes canonicas, onde apresento os teoremas KAM, Poincare-Birkho
e os emaranhados homoclnicos, discutindo o aparecimento de caos Hamiltoniano. Finalmente apresento brevemente o limite do contnuo, a equacao
da corda vibrante e o teorema de Nother. Espero que o livro possa ser
u
til como complemento nos cursos de pos-graduacao em mecanica classica e
tambem aos estudantes interessados em aprender sobre caos Hamiltoniano e
sua conexao com o limite semiclassico da teoria quantica.
Agradecimentos
um grande prazer agradecer a todos os alunos que estudaram pelas diE
versas versoes anteriores das notas de aula que originaram esse livro e que,
pacientemente, me apontaram erros de todos os tipos: de gramatica e graa,
nas equacoes, trechos com explicacoes obscuras ou confusas, etc. Gostaria de
agradecer particularmente aos alunos Douglas Delgado de Souza, Eric Perim
Martins, Murilo Neves Martins, Ceno P. Magnaghi e Thiago Visconti. Um
agradecimento especial ao aluno Wendell Pereira Barreto que fez uma revisao
geral em todo o texto, ajudou nas guras e na compilacao das referencias.
ix
AGRADECIMENTOS
Captulo 1
Mec
anica Newtoniana
A mecanica e um ramo da Fsica que tem grande apelo pratico. O movimento
de corpos sob a acao da gravidade, de forcas elasticas e de atrito sao exemplos intuitivos de sistemas dinamicos presentes no nosso dia-a-dia. Embora
seja difcil precisar quando a mecanica comecou a ser descrita em termos de
princpios fundamentais, um marco importante e a descricao de Aristoteles
(384-322 AC) do movimento dos corpos. Para ele, todos os movimentos seriam retilneos, circulares, ou uma combinacao dos dois, pois esses eram os
u
nicos movimentos perfeitos. O estado natural de alguns corpos seria o de
movimento perfeito, como os corpos celestes. Para outros, como uma pedra,
o estado natural seria o de repouso, sendo seu movimento possvel apenas sob
a acao constante de forcas: no momento que a forca deixasse de ser aplicada,
o corpo retornaria `a sua posicao natural de repouso.
As ideias de Aristoteles sao questionadas por Galileo (1564-1642) que introduz o que hoje conhecemos como metodo cientco, que diz, basicamente,
que conclusoes sobre o comportamento natural devem ser comprovadas por
experimentos cuidadosos e controlados que possam ser reproduzidos sob as
mesmas condicoes. Galileo formula as leis basicas do movimento de corpos
sob a acao da gravidade, usa um telescopio para estudar o movimento dos
planetas e formula o Princpio da Relatividade de Galileo. O princpio diz
que nao e possvel distinguir o estado de repouso daquele em movimento
retilneo uniforme. Como exemplo, Galileo observa que uma pessoa no porao
de um navio que navega em mar calmo com velocidade constante nao tem
como saber se esta realmente em movimento ou em repouso. Se a pessoa
nao olhar pela escotilha, nao havera nenhum experimento capaz de decidir a
questao.
1
MECANICA
NEWTONIANA
1.0
[2]
Como aparece em ingles na traducao do latim por Andrew Motte em The Principia
1.0
MECANICA
NEWTONIANA
1.0
que sejam compelidos a mudar seu estado por forcas neles aplicadas. Embora a primeira lei pareca um caso particular da segunda lei com forca nula,
e portanto totalmente dispensavel, ela e de fato uma lei por si mesma. Seu
proposito e denir uma classe especial de sistemas de referencia, chamados
inerciais, onde a segunda lei pode ser aplicada.
Sistema Inercial de Refer
encia - SIR - Sao SR especiais onde vale a
primeira lei de Newton. Nesses sistemas, um corpo permanece em seu estado de repouso ou em movimento retilneo uniforme se nao houverem forcas
agindo sobre ele. Um SR xo em relacao a um carrossel que gira nao e inercial, pois um corpo deixado em repouso sobre ele passara a se movimentar
em relacao ao observador no carrossel assim que largado. Pode-se mostrar
que, dado um SIR, entao qualquer outro SR que se mova em relacao `a ele
com velocidade constante tambem e inercial.
Massa - The quantity of matter is a measure of the same, arising from
its density and bulk conjunctly. Em portugues: a quantidade de materia
(massa) e uma medida da mesma, resultante da densidade e do volume do
corpo conjuntamente.
Quantidade de Movimento The quantity of motion is a measure of the
same, arising from the velocity and quantity of matter conjunctly. Em portugues: a quantidade de movimento e uma medida do mesmo (movimento)
e resulta da velocidade e da massa conjuntamente. Usando m para a massa
e p para a quantidade de movimento, tambem conhecido como momento,
temos p = mv.
A Segunda Lei de Newton - The alteration of motion is ever proportional to the motive force impressed; and is made in the direction of the
right line in which that force is impressed. Em portugues: A alteracao do
movimento e sempre proporcional `a forca motriz impressa; essa alteracao
ocorre na direcao em que a forca e impressa. Como a ausencia de forcas
implica em repouso ou movimento retilneo uniforme, a alteracao do movimento implica em aceleracao da partcula. Como o movimento e medido em
termos da quantidade p a equacao para a segunda lei e F = dp/dt. Embora Newton nao diga explicitamente, essa lei so vale em SIRs, pois estamos
supondo que a primeira lei e valida tambem. No caso de sistemas nao inerciais a equacao deve ser modicada com a adicao das chamadas forcas ctcias.
1.1
1.1
(1.1)
Note que o valor de F sobre a partcula depende apenas de seu estado e nao
deve envolver a aceleracao ou derivadas superiores da posicao em relacao ao
tempo. Assim, dados r(t0 ) e r (t0 ) calculamos r(t0 ) = F(r(t0 ), r (t0 ), t0 )/m.
Com a aceleracao, podemos calcular a velocidade no instante posterior t0 +
t: r (t0 + t) = r (t0 ) + r(t0 )t e, com a velocidade, calculamos a posicao:
r(t0 + t) = r(t0 ) + r (t0 )t. Dessa forma, conseguimos calcular o estado da
partcula em t0 + t. Podemos, agora, recalcular a aceleracao neste instante
e prosseguir integrando as equacoes de movimento gerando a trajetoria da
partcula.
O fato de podermos prever o comportamento futuro de um sistema a
partir do seu estado inicial e das forcas agindo sobre ele e chamado de determinismo. O fsico frances Pierre Simon de Laplace (1749-1827), maravilhado
com as possibilidades de calculo da mecanica Newtoniana, armou que um
demonio que pudesse conhecer as posicoes e velocidades de todas as partculas
2
MECANICA
NEWTONIANA
1.2
(1.2)
1.2
O grupo de Galileo
Como mencionamos anteriormente, sistemas inerciais tem a seguinte propriedade importante: se K e inercial e K move-se em relacao `a K com
velocidade constante, entao K tambem e inercial. A prova e bastante simples:
Suponha, por simplicidade, que os referenciais K e K tenham eixos x, y, z
e x , y , z paralelos e que em t = 0 suas origens coincidam, como ilustrado
na gura 1.1. Seja V a velocidade constante da origem de K em relacao `a
origem de K. Uma partcula m tera coordenadas r e r quando observada de
K e K respectivamente e, por construcao
r (t) = r(t) Vt.
(1.3)
a (t) = a(t).
=ts
1.2
O GRUPO DE GALILEO
z
K
m
z
x
y
MECANICA
NEWTONIANA
1.3
1.3
Exemplos elementares
x =
1
2gx
GM 1
=
g
g
+
.
R2 (r/R)2
(1 + x/R)2
R
1.3
EXEMPLOS ELEMENTARES
R
v0
R
) cosh (t) + sinh (t) + .
2
x = 2 x,
= k/m.
A solucao, sujeita `as condicoes iniciais x(0) = x0 e x(0)
= v0 , e
x(t) = x0 cos (t) +
v0
sin (t).
R=
m 1 x 1 + m 2 x2
m1 + m2
10
MECANICA
NEWTONIANA
1.3
m1
x1
m2
x2
x
Figura 1.2: Duas massas presas por uma mola observadas de um referencial
inercial.
e as massas total e reduzida
M = m1 + m2 ,
m1 m2
m1 + m2
r = kr
= 0.
MR
1.4
11
x(t')
x(t)
1000
800
x(t'),x(t)
600
400
200
10
12
14
16
18
20
22
24
t',t
1.4
(1.6)
(1.7)
12
MECANICA
NEWTONIANA
1.4
Com esse resultado, e com a segunda lei de Newton, derivamos dois importantes teoremas de conservacao:
Teorema de conserva
c
ao do momento linear - Se a forca total agindo
sobre uma partcula e nula, entao p = 0 e seu momento linear permanece
constante durante o movimento.
Teorema de conserva
c
ao do momento angular - Se o torque total
agindo sobre a partcula e nulo, entao L = 0 e seu momento angular permanece constante durante o movimento.
Outro conceito extremamente u
til e o do trabalho realizado por uma
forca. Seja r(t) a trajetoria de uma partcula de massa m que se move sob
a acao da forca externa F. O trabalho realizado por F entre os pontos
r1 = r(t1 ) e r2 = r(t2 ) ao longo de sua trajetoria e denido por
r2
W12 =
F dr
(1.8)
r1
T1 T2 .
2
2
onde v12 = vx2 + vy2 + vz2 e T (t) = mv 2 (t)/2 e a energia cin
etica da partcula
no instante t. Esse resultado e conhecido como
Teorema do trabalho-energia - O trabalho realizado por uma forca
externa F entre os pontos r1 e r2 e igual `a variacao da energia cinetica da
partcula entre esses dois pontos.
Consideremos agora a integral (1.8) entre os pontos r1 e r2 ao longo de
um caminho arbitrario e vamos supor que F depende apenas da posicao
r. Se o valor da integral nao depender do caminho, mas apenas dos pontos
iniciais e nais, i.e., se
F dr =
F dr
1
MOVIMENTO EM UMA DIMENSAO
1.5
13
F dr = 0 =
( F) dA,
onde S e qualquer superfcie limitada pela curva . Se isso vale para qualquer
curva fechada, entao F = 0. Nesse caso podemos escrever
F(r) = V (r)
(1.10)
V
V
V
dx +
dy +
dz = V dr
x
y
z
temos que
F dr = V dr = dV
e
r2
F dr =
r1
r2
dV = V (r1 ) V (r2 ) V1 V2 .
r1
1.5
14
MECANICA
NEWTONIANA
1.5
dx
2
=
(E V (x)),
dt
m
que pode ser integrada diretamente. Escrevendo que x(0) = x0 encontramos
x(t)
m
dx
t=
.
(1.12)
2 x0
(E V (x ))
Se conseguirmos resolver a integral explicitamente obteremos uma expressao
para t em funcao de x, que, ao ser invertida, resultara na solucao procurada,
x = x(t).
Como um exemplosimples considere o oscilador harmonico V (x) = kx2 /2 =
m02 x2 /2 onde 0 = k/m. Escolhendo x0 = 0 a integral ca
m x
dx
t=
.
2E 0
1 m02 x2 /2E
Fazendo
a
substitui
c
a
o
x
=
2E/m02 sin a integral ca simplesmente
2E/m02 e
m
2E
1
t=
= ,
2
2E m0
0
ou = 0 t. Substituindo de volta em x obtemos o resultado esperado x(t) =
1.5.1
Osciladores anarm
onicos
O movimento de uma partcula sob a acao de forcas nao harmonicas pode ser
bastante complicado e, so em casos particulares, as equacoes de movimento,
podem ser resolvidas analiticamente. Nesta secao vamos ainda nos restringir
MOVIMENTO EM UMA DIMENSAO
1.5
15
x4 bx3 cx2
+
+
.
4
3
2
b 1 2
x =
b 4c
2 2
1 2
(b
2
se x = x0
4c)
b
2
b2 4c se x = x
16
MECANICA
NEWTONIANA
1.5
4
2
0
-2
-4
-4
-2
0,5
0,4
0,3
-2
0,0
V(x)
V(x)-4
V(x)
0,2
0,1
-6
0,0
-8
-0,5
-0,1
-3
-2
-1
-5
-4
-3
-2
-1
-1
Figura 1.5: Funcao potencial para (a) b=3.15, c=2; (b) b=3.15, c=0; (c)
b=0, c=2.
ponto de energia mais baixa se puder absorver energia externa e transpor
a barreira que separa os dois mnimos. Isso pode ocorrer, por exemplo,
se o sistema estiver acoplado a um reservatorio termico onde KB T seja da
ordem da altura da barreira de potencial. Transicoes onde a estabilidade ou
o n
umero de pontos de equilbrio muda, conforme um parametro do sistema
e variado, sao chamadas de bifurcacoes.
Como comentario nal, notamos que se acrescentarmos uma forca externa
periodica da forma F0 cos (
t), o movimento da partcula pode tornar-se extremamente complicado e caotico, sendo aprisionado temporariamente em
um dos pocos, depois saindo, caindo no outro poco e assim por diante. No
caso em que b = 0 o sistema resultante e conhecido como Oscilador de Duing.
No captulo 7 estudaremos em mais detalhes a teoria de estabilidade linear
de pontos de equilbrio.
Como exemplo nao trivial de aplicacao da equacao (1.12) considere o
potencial quartico invertido, onde escolhemos a = 1, b = 0 e c = 1:
x4 x2
V (x) = + .
4
2
Esse potencial tem um mnimo estavel em x0 = 0 e dois pontos de maximo
SISTEMAS DE PARTICULAS
1.6
17
t=
0
dx
=
1 2x2 + x4
dx
.
1 x2
1.6
Sistemas de partculas
18
ca
MECANICA
NEWTONIANA
dpi
=
Fji + Fei .
dt
j=i
1.6
(1.13)
d2
e
F
+
F
=
Fei Fe
m
r
=
ji
i i
i
dt2
i
i
i
i,j=i
onde Fe e a soma de todas as forcas externas agindo sobre as partculas do
sistema. Denimos agora a coordenada do centro de massa do sistema por
m i ri
R = i
(1.14)
i mi
SISTEMAS DE PARTICULAS
1.6
(a)
19
(b)
i
Fj
Fij
i
j
Fj
Fij
Figura 1.6: Ilustracao da terceira lei de Newton nas formas (a) fraca e (b)
forte.
obtemos
dP
= Fe
dt
(1.17)
L=
ri pi .
(1.18)
i
dL
=
ri Fei +
ri Fij .
dt
i
i,j=i
A u
ltima soma dupla pode ser calculada se analisarmos a contribuicao de
cada par de partculas. Para o par k e l temos
rk Fkl + rl Flk = (rk rl ) Fkl = 0
20
MECANICA
NEWTONIANA
1.6
Ne =
ri Fei
(1.19)
i
obtemos
dL
= Ne
dt
(1.20)
eo
Teorema de conserva
c
ao do momento angular total - Se o torque
externo total agindo sobre o sistema de partculas e nulo, entao L = 0 e o
momento angular total permanece constante durante o movimento.
Para fechar essa secao discutimos brevemente a quest
ao da conservacao
de energia em sistemas de muitas partculas. Seja Fi = j=i Fji + Fei a forca
total agindo sobre a i-esima partcula. Se Fi depender apenas das posicoes
das partculas do sistema (e nao de suas velocidades ou do tempo), Fi =
Fi (r1 , r1 , . . . , rN ), e se existir uma funcao potencial V = V (r1 , r1 , . . . , rN ) tal
que
V
Fi = i V =
ri
entao
N
m2i r 2i
E=
+ V (r1 , r1 , . . . , rN )
2
i=1
permanece constante durante o movimento.
A prova e bastante simples. Comecamos escrevendo a equacao de movimento para a componente k da i-esima partcula (k = x,y ou z):
mi
dvik
V
= Fik =
.
dt
xik
Nessa equacao vik denota a componente k da velocidade da partcula i. Multiplicando os dois lados por vik obtemos
(
)
2
d mi vik
V dxik
dvik
V
=
vik =
.
mi vik
=
dt
dt
2
xik
xik dt
1.7
O PROBLEMA DE KEPLER
21
1.7
O problema de Kepler
1.7.1
Equac
oes de movimento e quantidades conservadas
As equacoes de movimento dos corpos de massa m1 e m2 , considerados pontuais, sao dadas por
m1r1 =
Gm1 m2
(r2 r1 )
|r2 r1 |3
m2r2 =
Gm1 m2
(r2 r1 ).
|r2 r1 |3
22
MECANICA
NEWTONIANA
1.7
z
m1
r2 r1
r1
m2
r2
y
x
Figura 1.7: Interacao gravitacional de dois corpos.
Essas equacoes podem ser bastante simplicadas se re-escritas em termos de
coordenadas relativa e de centro de massa
m2
r
=
r
2
1
r1 = R M r
.
(1.21)
m
1
R = m 1 r1 + m 2 r 2
r2 = R +
r
M
M
Somando diretamente as duas equacoes de movimento obtemos
= 0,
MR
(1.22)
1.7
23
O PROBLEMA DE KEPLER
m2
r)
M
(R
m2
r )
M
+ m2 (R +
m1
r)
M
+
(R
m1
r )
M
+ r r
= MR R
= LCM + Lr .
= 0 e r esta na direcao de r ca claro que dLCM /dt = dLr /dt =
Como R
0 e os momentos angulares em relacao ao centro de massa e relativo sao
conservados independentemente. O mesmo ocorre com a energia total do
sistema:
E = 12 m1 r 21 + 12 m2 r 22 + V (|r2 r1 |)
{
=
1
2
MR
2
}
+
{1
}
2
r
+
V
(r)
ECM + Er
2
x = r cos
r = x2 + y 2
(1.24)
y = r sin
tan = y/x
com
r = x cos + y sin
(1.25)
=
x sin + y cos .
Escrevendo r = r
r e derivando duas vezes em relacao ao tempo obtemos
d
r
r = r
r + r d
= r
r + r
(1.26)
r = (
r r2 )
r + (2r + r)
24
MECANICA
NEWTONIANA
1.7
Lr t dt
(t) = 0 +
.
(1.28)
0 r2 (t )
Essa equacao podera ser integrada quando a funcao r = r(t) for conhecida.
A equacao radial ca
GM
(
r r2 ) = 2
r
e pode ser simplicada usando (1.27):
(
)2
Lr
GM
r = r
2
r
r2
GM
L2r
= 3
r
r2
( 2
)
d
Lr
GM
dVef
=
.
2
dr 2r
r
dr
(1.29)
Note que a energia associada ao movimento relativo tambem pode ser escrita
em termos do potencial efetivo Vef denido acima. Usando novamente a
primeira das equacoes (1.26) temos
Er = 12 (r 2 + r2 2 )
GM
r
= 12 r 2 + Vef .
(1.30)
1.7
O PROBLEMA DE KEPLER
25
Vef
Vc
1
0
0
1
r min
E>0
r min
11
00
00
11
r
E<0
1
0
1
0
0
1
rmax
rc
Figura 1.8: Potencial efetivo para Lr = 0. Para E < 0, orbita elptica; para
E = 0, orbita parabolica; para E > 0, hiperbolica.
1.7.2
Soluc
ao da equac
ao radial
O potencial efetivo
Vef =
L2r
GM
2r2
r
.
(1.31)
c
GM 2
2L2r
Nesse ponto a forca efetiva e nula e o movimento e circular com r = rc . A
equacao (1.28) pode ser facilmente integrada e resulta (t) = 0 +Lr t/rc2 . O
perodo deste movimento circular pode ser encontrado impondo que ( ) =
0 + 2 e resulta = 2L3r /G2 M 2 3 .
Para Vc < E < 0 o movimento apresenta dois pontos de retorno radiais,
rmin e rmax , conforme ilustra a gura (1.8), e ca connado no plano x-y
entre os aneis denidos por esses raios. Para E > 0 o movimento tem uma
26
MECANICA
NEWTONIANA
1.7
1 du
= L r u
= r2 u
2
u d
L2
Lr
u = 2r u2 u .
L2r 2 L2r 3
u u =
u GM u2
ou
GM 2
u + uc
L2r
onde uc = 1/rc (veja a gura 1.8). A equacao acima e nada menos do que a
equacao de um oscilador harmonico de freq
uencia unitaria submetido a uma
forca externa constante, como no caso de uma massa presa a uma mola sob
a acao da gravidade. A solucao e
u = u +
u() = A cos( 0 ) + uc
(1.32)
L2r 2
u GM u
2
ou
2E
= 0.
L2r
As duas solucoes dessa equacao devem ser comparadas com os valores maximos
e mnimos atingidos por u() na equacao (1.32), o que ocorre para = 0 e
= 0 + :
u = uc u2c + 2E/L2r A + uc
u2 2uc u
1.7
O PROBLEMA DE KEPLER
27
y
m1
m2
(1.33)
rc
a(1 2 )
.
1 + cos( 0 )
1 + cos ( 0 )
(1.34)
28
MECANICA
NEWTONIANA
1.7
1.7.3
A equac
ao da elipse
A equacao da elipse com centro na origem do sistema de coordenadas e semieixos a e b e dada por
x2 y 2
+ 2 =1
a2
b
e esta ilustrada na gura 1.10 `a esquerda. A excentricidade da elipse e
denida como
= 1 b2 /a2
e mede o seu alongamento: = 0 corresponde ao crculo e quanto mais
conveniente usar a
proximo e seu valor de 1, mais alongada a elipse ca. E
e como parametros independentes e escrever
b = a 1 2
Os focos da elipse estao dispostos simetricamente sobre o eixo x a distancias
a da origem.
Chamando de r e r+ as distancias de um ponto arbitrario sobre a elipse
ate cada um dos focos (veja a gura 1.10), temos a seguinte propriedade
geometrica:
r + r+ = 2a.
Podemos demonstrar essa propriedade usando a equacao da elipse ou usa-la
como denicao da elipse e, a partir dela, demonstrar a equacao. Vamos adotar
a primeira linha de raciocnio e deixamos como exerccio fazer o caminho
contrario. Sendo r = (x, y) o vetor posicao do ponto sobre a elipse medido a
partir da origem, temos:
1.7
O PROBLEMA DE KEPLER
29
y
b
r
r+
a
2a
r = x2 2ax + a2 2 + (1 2 )(a2 x2 )
=
a2 2ax + 2 x2 =
(a x)2
= a x.
Somando obtemos imediatamente r + r+ = 2a.
A equacao da orbita que obtivemos na secao anterior tem tres diferencas
em relacao `a equacao da elipse que descrevemos acima: um de seus focos
esta na origem (e nao o centro); ela esta escrita em coordenadas polares e;
sua orientacao e arbitraria, dada por 0 . Colocando o foco na origem temos
a nova equacao (veja a gura 1.10 direita)
(x a)2
y2
+
= 1.
a2
a2 (1 2 )
Usando agora (veja a gura) que r = r2a
x = (x2a, y) e que r = 2ar
obtemos:
r 2 = (2a r)2 = (x 2a)2 + y 2
4a2 4ar + r2 = x2 + y 2 4ax + 4a2 2
4a2 (1 2 ) = 4a(r x) = 4ar(1 cos )
30
MECANICA
NEWTONIANA
1.7
y
r d
r(t)
r (t +t)
x
a(1 2 )
1 cos
1.7.4
As tr
es leis de Kepler
dA
1 d
1
Lr
= r2
= r2 =
= constante.
dt
2 dt
2
2
EXERCICIOS
1.8
31
Lr
A=
= ab = a2 1 2 = a2 E/Vc .
2
Elevando os dois lados ao quadrado e usando E = GM /2a (veja o resultado abaixo da equacao (1.34) e Vc dado por (1.31) obtemos,
L2r 2
L2r
2 4
=
a
.
42
GM 2 a
ou
4 2 3
a.
GM
Finalmente, denindo a frequencia do movimento como = 2/ podemos reescrever essa equacao na forma
[
]1/3
G(m1 + m2 )
a=
.
(1.35)
2
2 =
1.8
Exerccios
32
MECANICA
NEWTONIANA
1.8
mi ri2
1
2
mi mj rij
2 i,j
r i mi v i ,
mi r i = 0.
mi v 2i
v i = vi V
Captulo 2
As Equac
oes de Euler-Lagrange
Apesar do princpio determinstico de Newton armar que, conhecidas as
forcas e o estado inicial de um sistema, podemos sempre calcular seu estado
futuro, em muitos problemas a situacao e bem mais complicada. Uma das
grandes diculdades encontra-se na existencia de vnculos em varios problemas de interesse. Dependendo da natureza dos vnculos a simples aplicacao
direta da segunda lei de Newton nao basta para encontrar a trajetoria do
sistema. Veremos varios exemplos a seguir.
As equacoes de Euler-Lagrange, que derivaremos nessa secao, podem ser
pensadas como uma remodelacao da segunda lei de Newton que conseguem
lidar com a questao dos vnculos de forma mais natural. Existem duas
maneiras de deduzir essas equacoes: a primeira utiliza diretamente a segunda
lei e usa o conceito de deslocamento virtual, introduzido pelo fsico frances
Jean Le Rond DAlembert (1717-1783), para eliminar as forcas de vnculo
das equacoes de movimento. A segunda, que veremos no proximo captulo e,
de certa forma, mais geral e usa o Princpio Variacional de Hamilton. O material apresentado aqui e fortemente baseado no livro Classical Mechanics de
H. Goldstein [5]. Outras referencias relevantes para esse captulo sao [4, 6].
2.1
Consideremos um sistema generico com N partculas interagentes de coordenadas cartesianas r1 , r2 , ..., rN . Os vnculos aos quais essas partculas podem
estar sujeitas sao classicados em duas categorias:
33
34
AS EQUAC
OES
DE EULER-LAGRANGE
2.1
r=a
T
mg
= r1 (q1 , q2 , . . . , qn , t)
..
.
(2.1)
rN = rN (q1 , q2 , . . . , qn , t).
No exemplo do pendulo plano, gura 2.1, as coordenadas cartesianas da
2.2
35
2.2
Fi = Fi + fi
(2.2)
fi ri = 0.
(2.3)
i=1
ri
ri
dqj +
dt
(2.4)
dri =
qj
t
j=1
36
AS EQUAC
OES
DE EULER-LAGRANGE
2.2
dt
dr
dr = r
= t
r = dr = ad .
enquanto que
ri =
ri
j=1
qj
qj .
(2.5)
Exemplo 2.2.1: Considere uma barra girando horizontalmente com velocidade angular constante e na qual uma conta pode deslizar sem atrito,
conforme ilustrado na gura 2.2. O deslocamento virtual da partcula ocorre
com o tempo congelado e e feito ao longo da barra com esta parada. O deslocamento real da conta, por outro lado, leva em conta a rotacao da barra. Note
que a forca de vnculo em cada instante e sempre perpendicular `a barra e
r f = 0.
Exemplo 2.2.2: No caso do pendulo simples, gura 2.3, o deslocamento
perpendicular `a tensao no o.
virtual coincide com o real e esta na direcao ,
Nesta secao vamos considerar apenas situacoes de equilbrio, onde Fi = 0.
Entao, usando (2.3)
0=
i=1
Fi ri =
i=1
(a)
(Fi
+ fi ) ri =
(a)
Fi ri .
i=1
O PRINCIPIO DE DALEMBERT: CASO ESTATICO
2.3
37
(a)
Fi
i=1 j=1
ri
qj = 0
qj
ou ainda
n
Qj qj = 0
(2.6)
j=1
onde
Qj =
(a)
Fi
i=1
ri
qj
(2.7)
sao as forcas generalizadas. Como as coordenadas generalizadas sao independentes, a condicao de equilbrio se reduz `a Qj = 0, que podem ser
resolvidas sem o conhecimento das forcas de vnculo.
Exemplo 2.2.3: Considere o pendulo novamente, ilustrado nas guras
2.1 e 2.3. Nesse caso F(a) = mg
x, f = T r e a transformacao de (x, y) para
a coordenada generalizada e x = a cos , y = a sin . A forca generalizada
para a coordenada e
(
Q = mg
x
x y
,
)
= mg
x
= mga sin .
y
x
+ qE0
= mga sin + qaE0 cos .
38
2.3
AS EQUAC
OES
DE EULER-LAGRANGE
2.3
O princpio de DAlembert pode tambem ser usado para fornecer uma descricao completa da dinamica do sistema sem que as forcas de vnculo precisem ser includas explicitamente. O ponto de partida para essa descricao e
a segunda lei de Newton, escrita na forma
(a)
0 = Fi miri = Fi + fi miri = 0.
(a)
(Fi miri ) ri = 0.
i=1
(a)
Fi ri =
Qj qj
(2.8)
i=1
j=1
2.3
39
=
qj
qj
dri
dt
=
qj
)
(
2 ri
ri
ri
2 ri
=
qk +
qk +
qk
t
qj qk
qj t
k
k
r i
T
mi r i
=
mi r 2i =
qj
qj
2
qj
i
i
onde T e a energia cinetica do sistema.
R4 - Usando exatamente o mesmo truque temos
(
)
r i
T
mi r i
=
mi r 2i =
.
q
q
2
q
j
j
j
i
i
miri ri =
N
n
i=1 j=1
miri
ri
qj
qj
]
)}
(
{ d [
ri
d ri
mi r i
mi r i
qj .
=
dt
qj
dt qj
i,j
Usando R1 e R2 obtemos
N
i=1
]
}
{ d [
r i
r i
miri ri =
mi r i
qj .
mi r i
dt
qj
qj
i,j
40
AS EQUAC
OES
DE EULER-LAGRANGE
2.3
Usando ainda R3 e R4
N
i=1
{ d ( T ) T }
miri ri =
qj .
dt
q
j
j
j
Finalmente, usando o resultado (2.8), transformamos as 3N equacoes correspondentes `a segunda lei de Newton na equacao u
nica
}
{ d ( T ) T
Qj qj = 0.
dt qj
qj
j
Como os qj sao independentes as seguintes n equacoes devem ser satisfeitas:
(
)
d T
T
= Qj
(2.9)
dt qj
qj
para j = 1, 2, . . . , n. Obtemos assim a primeira forma das Equacoes de
Lagrange, que envolve a energia cinetica e as forcas generalizadas.
No caso em que as forcas aplicadas sao conservativas, entao
Qj =
V ri
ri
ri
V
=
i V
=
=
qj
qj
ri qj
qj
i=1
i=1
N
(a)
Fi
i=1
e podemos escrever
d
dt
T
qj
(T V ) = 0.
qj
Se, alem disso, o potencial (e as forcas) for independente das velocidades generalizadas, de forma que V / qj = 0, as equacoes (2.9) podem simplicadas
ainda mais escrevendo
[
]
d
(T V )
(T V ) = 0
dt qj
qj
ou
d
dt
L
qj
L
=0
qj
(2.10)
onde L = T V e a func
ao Lagrangeana, que deve ser escrita em termos das
coordenadas e velocidades generalizadas. Essa e a forma mais tradicional das
Equacoes de Lagrange.
2.3
41
Como u
ltimo comentario notamos que as equacoes (2.10) ainda sao validas
se as forcas generalizadas dependerem das velocidades de tal forma que exista
uma funcao U (q, q)
tal que a seguinte relacao seja satisfeita:
(
)
U
d U
Qj =
+
.
(2.11)
qj dt qj
O leitor pode facilmente vericar que as equacoes (2.9) se reduzem `as (2.10)
com L = T U nesse caso. Apesar de parecer extremamente especial, as
equacoes (2.11) sao satisfeitas para a forca de Lorentz, como veremos na
proxima secao.
Veremos a seguir alguns exemplos elementares de aplicacao das equacoes
de Lagrange.
Exemplo 2.3.1 O objetivo deste primeiro exemplo e ilustrar certos cuidados que devemos ter em relacao `as varias derivadas parciais e totais que aparecem ao longo dos calculos no formalismo de Lagrange. Considere um sistema
ctcio de dois graus de liberdade cuja Lagrangeana e dada por L = q12 q2 + q12 .
Essa Lagrangeana tem as seguintes derivadas parciais:
L
= 2q1
q1
L
= q12
q2
L
= 2q1 q2
q1
L
= 0.
q2
42
AS EQUAC
OES
DE EULER-LAGRANGE
2.3
e a equacao de movimento ca
a = g sin .
= v0 a solucao e
r(t) = r0 cosh (t) +
v0
sinh (t).
2.3
43
y
u
a
x = A u cos a sin
x = u cos
y = h u sin + a cos
y = u sin
= u/a
= u/a.
m
(x 2
2
u 2
=
2
+ y 2 ) + I2 2 mgy
I
m+ 2
a
)
mgu sin + V0
mg sin
.
m + I/a2
44
AS EQUAC
OES
DE EULER-LAGRANGE
2.4
Exemplo 2.3.5 Vnculos na forma diferencial. O primeiro vnculo do exemplo anterior foi escrito na forma de diferenciais ad = du e posteriormente
bastante comum, especialmente em sistemas com
integrado para a = u. E
discos e aros que rolam sem deslizar, o aparecimento de vnculos desse tipo.
Suponha entao que um vnculo e dado na forma
M
gi (x1 , x2 , . . . , xM )dxi = 0.
i=1
M
M
f
dxi =
gi (x1 , x2 , . . . , xM )dxi = 0.
x
i
i=1
i=1
Y = 2axx + l sin
A Lagrangeana e
m
L = [(x + l cos )2 + (2axx + l sin )2 ] mg(ax2 l cos ).
2
Fica como exerccio escrever as equacoes de movimento.
2.4
45
y
y = a x2
l
00
11
00
11
m
00
11
Y
11
11111111
00000000
0
1
00
0
1
0
1
X
2.4
(2.12)
pode ser colocada na forma (2.11). O primeiro passo para isso e escrever a
forca de Lorentz em termos dos potenciais vetor e escalar A e .
Os campos E e B no vacuo satisfazem `as equacoes de Maxwell
B=0
E+
B
t
= 0.
A
t
46
AS EQUAC
OES
DE EULER-LAGRANGE
2.4
e a forca de Lorentz ca
[
]
A
F = q
+ v ( A) .
t
(2.13)
Para mostrar que F pode de fato ser escrita na forma da equacao (2.11)
vamos manipular as componentes da forca separadamente. Faremos o calculo
para a componente x apenas. O termo difcil de simplicar na expressao
acima e o u
ltimo. Escrevendo explicitamente o duplo produto vetorial temos
[v ( A)]x = vy ( A)z vz ( A)y
(
= vy
=
Ay
x
x
vx A
x
Ax
y
y
vy A
x
vz
( Ax
z
vz A
x
Az
x
x
vx A
x
x
x
vx A
+ vx A
x
x
x
vy A
y
x
vz A
z
Ax
Ax
Ax Ax
+
vx +
vy +
vz
t
x
y
z
de forma que
[v ( A)]x = vx
=
Ax
Ay
Az dAx Ax
+ vy
+ vz
+
x
x
x
dt
t
Ax dAx
(v A) +
.
x
t
dt
dAx
Fx = q
+
(v
A)
x
x
dt
[
( v A)
= q x
dAx
dt
EXERCICIOS
2.5
47
2.5
m 2
v q + qv A.
2
(2.14)
Exerccios
48
AS EQUAC
OES
DE EULER-LAGRANGE
2.5
Figura 2.6: Duas rodas de raio a sao montadas nas pontas de um eixo de
tamanho b.
eixo x. Mostre que o sistema tem dois vnculos nao-holonomicos dados
por
cos dx + sin dy = 0
sin dx cos dy = a2 (d + d )
e um vnculo holonomico
a
= C ( )
b
onde C e uma constante.
3. Sejam q1 , q2 , ..., qn um conjunto independente de coordenadas generalizadas. Considere agora uma transformacao para um novo conjunto de coordenadas independentes dadas por si = si (q1 , q2 , ..., qn , t),
i = 1, 2, ..., n. Mostre que as equacoes de Lagrange sao invariantes por
esse tipo de transformacao, i.e., mostre que nas novas variaveis obtemos
)
(
L
d L
=0
dt sk
sk
4. Considere um pendulo duplo plano onde a primeira partcula tem massa
m1 e carga eletrica q1 e esta presa por uma barra de massa desprezvel
de comprimento l1 . A segunda partcula tem massa m2 e carga eletrica
q2 e esta suspensa por outra barra sem massa de comprimento l2 presa
2.5
EXERCICIOS
49
50
AS EQUAC
OES
DE EULER-LAGRANGE
2.5
Captulo 3
Princpios Variacionais
A ideia de descrever o movimento a partir de um princpio de mnimo e
bastante antiga. O primeiro desses princpios de que se tem notcia e o de
Heros de Alexandria, que viveu aproximadamente entre os anos 10 e 70 DC,1
que postulou que raios de luz se propagavam em linha reta quando restritos
a um meio homogeneo. Temos aqui um princpio de menor caminho entre
dois pontos. O fato de raios de luz mudarem de direcao quando passam de um
meio a outro (refracao) ja era conhecido nessa epoca, mas so foi formulado
matematicamente de modo emprico pelo holandes Willebrord van Roijen
Snell (1591-1626) em 1621 e pelo matematico frances Pierre de Fermat (16011665) em 1650, na forma de outro princpio de mnimo, mais geral que aquele
enunciado por Heros. Embora nosso foco principal seja a Mecanica, vale a
pena comecar este captulo com algumas consideracoes sobre o Princpio de
Fermat.
3.1
O princpio de Fermat
Uma otima abordagem historica e conceitual pode ser obtida no livro Variational
Principles in Dynamics and Quantum Theory, de W. Yourgrau e S. Mandelstam [7]. Outra
referencia interessante e The Variational Principles of Mechanics, de L. Lanczos [8].
51
52
PRINCIPIOS VARIACIONAIS
Ar
3.1
Agua
alvo
fonte
O PRINCIPIO DE FERMAT
3.1
fonte
n1
L1
L 2
.
.
1
x 2
L1
n2 > n 1
L2
n2
53
2
alvo
L1 L2
+
v1
v2
L1 L2
L1 + L1 L2 L2
+
=+
.
v1
v2
v1
v2
54
PRINCIPIOS VARIACIONAIS
3.2
3.2
O m
etodo variacional de Euler-Lagrange
3.2
O METODO
VARIACIONAL DE EULER-LAGRANGE
55
56
PRINCIPIOS VARIACIONAIS
3.2
dJ
J = J() J(0) =
d 0.
d =0
dJ
Impomos entao que d
= 0 e, ao mesmo tempo, impomos que essa
=0
condicao deva ser satisfeita por qualquer curva (x) com (x1 ) = (x2 ) = 0.
Calculando a derivada em relacao `a obtemos
]
x2 [
dJ
f y
f y
=
+
dx
d
y y
x1
ou ainda
x2
=
x1
x2
=
x1
f y
f d
+
y y dx
f y
d
y dx
f
y
)]
dx
(3.1)
x
]
y
f y 2
dx +
y x1
x2
x1
x2
J =
x1
f
d
y dx
f
d
y dx
f
y
f
y
)]
(x)dx
)]
y(x)dx
(3.2)
y dx
f
y
)
=0
(3.3)
3.2
O METODO
VARIACIONAL DE EULER-LAGRANGE
57
k = 1, . . . , n
k (x)dx.
(3.4)
d
dx y k
x1 k=1 yk
Para que essa derivada se anule para quaisquer funcoes k devemos ter
(
)
f
d
f
=0
k = 1, . . . , n.
(3.5)
yk dx y k
A semelhanca dessa equacao com a equacao de Lagrange (2.10) e obvia,
o que indica que o movimento de corpo previstos pela segunda lei de Newton
deve tambem extremizar alguma quantidade. Essa quantidade, denominada
ac
ao, tem uma importancia fundamental na fsica e sera discutida de varios
pontos de vista durante esse curso. Antes de voltar `a mecanica, vamos ver
tres exemplos classicos de aplicacao da equacao de Euler.
Como um primeiro exemplo simples, vamos encontrar o caminho de menor
distancia entre dois pontos do plano. Sejam (x1 , y1 ) e (x2 , y2 ) as coordenadas
dos dois pontos e uma curva suave y(x) qualquer ligando esses pontos. O
elemento de distancia ao longo dessa curva e
2
2
ds = dx + dy = y 2 + 1 dx
de forma que o comprimento da curva entre os pontos e
x2
J=
y 2 + 1 dx.
x1
=
=c
y
y2 + 1
58
PRINCIPIOS VARIACIONAIS
3.2
y
y2
ds
y1
x1
x2
ds
dA = 2 x ds
Figura 3.4: Superfcie de revolucao gerada por rotacao de uma curva. A area
gerada por cada elemento da curva e dA = 2xds.
ou y = a = constante e y(x) = ax + b, que e a linha reta. As constante a e
b devem ser encontradas de tal forma que y(x1 ) = y1 e y(x2 ) = y2 .
Os proximos dois exemplos tem solucoes um pouco mais longas e vamos
trata-los nas subsecoes seguintes.
3.2.1
A caten
oide
Neste exemplo procuramos a superfcie de revolucao de mnima area. Considere novamente dois pontos no plano x y com coordenadas (x1 , y1 ) e
(x2 , y2 ) e uma curva suave y(x) qualquer ligando esses pontos. Ao rodar
essa curva em torno do eixo y criamos uma superfcie, chamada de superfcie
de revolucao, ilustrada na gura 3.4. Qual a forma da curva que produz a
superfcie com a menor area possvel? Cada elemento ds da curva, centrado
no ponto (x, y(x)),ao ser rodado gera um pequeno anel de raio x e area
dA = 2xds = 2x y 2 + 1dx. A area total gerada pela curva e
x2
A = 2
x y 2 + 1 dx.
x1
y 2 + 1 e novamente f /y = 0. A equacao de
3.2
O METODO
VARIACIONAL DE EULER-LAGRANGE
59
Figura 3.5: A catenoide, gerada pela rotacao do cosseno hiperbolico (esquerda) e uma bolha gigante mostrando a superfcie (direita, foto: SANTOS,
Obed Alves. CCTECA de Aracaju. 2010. color.).
d
dx
ou
xy
y2 + 1
xy
y2 + 1
=0
= a.
ou
a dx
+ b.
x 2 a2
A integral pode ser feita facilmente com a mudanca de variaveis x = a cosh u
e resulta y = au + b = ou
(
)
yb
x = a cosh
a
y=
60
PRINCIPIOS VARIACIONAIS
3.2
uma bolha de sabao e formada entre dois aneis circulares paralelos, de raios
arbitrarios, minimizando a tensao supercial, como mostrado no lado esquerdo da gura 3.5.
3.2.2
A braquist
ocrona
t=
dt =
=
dx.
v
2gy
0
0
0
O funcional que teremos que usar na equacao de Euler e agora mais
complicado, dado por
1 + y2
f (y, y , x) =
.
2gy
As derivadas que precisamos sao:
f
1 1 + y2
=
y
2y
2gy
f
y
y
2gy(1 + y 2 )
y2
d f
y
=
dx y
2gy (1 + y 2 )3/2 2y 2gy(1 + y 2 )
O METODO
VARIACIONAL DE EULER-LAGRANGE
3.2
x2
61
v
g
y2
1
y2
2
2
(1 + y ) = (1 + y )2
2y
2y
2y
1+y
A solucao dessa equacao segue da seguinte seq
uencia de identidades e
transformacoes:
]
1 d [
1
2
log
(1
+
y
)
=
2y dx
2y
]
d [
d
2
log (1 + y ) = log y
dx
dx
]
d [
2
log [(1 + y )y] = 0
dx
y(1 + y 2 ) = c = constante.
A solucao desta u
ltima equacao pode ser nalmente resolvida em forma
parametrica. Escrevendo y = cot (2s) a equacao fornece
y=
c
c
= c sin2 (2s) = (1 cos (2s)).
2
1 + cot (2s)
2
PRINCIPIOS VARIACIONAIS
62
3.3
dy
2c sin (2s) cos (2s)ds
=
y
cot (2s)
ou
3.3
O princpio de Hamilton
3.4
MULTIPLICADORES DE LAGRANGE
63
armacao [7]:
With the laws of movement thus deduced, being found to be precisely the
same as those observed in nature, we can admire the application of it to all
phenomena, in the movement of animals, in the vegetation of plants, in the
revolution of the heavenly bodies: and the spectacle of the universe becomes
so much the grander, so much the more beautiful, so much more worthy of
its Author... . These laws, so beautiful and so simple, are perhaps the only
ones which the Creator and Organizer of things has established in matter in
order to eect all the phenomena of the visible world ...
Hamilton modicou o princpio de Maupertuis denindo a acao como a
integral da Lagrangeana:
t2
S=
L(q, q,
t)dt.
(3.6)
t1
=0
(3.7)
dt qk
qk
O princpio de Hamilton diz que dentre todos os caminhos conectando as
coordenadas iniciais qk (t1 ) `as nais qk (t2 ), aquele que de fato corresponde `a
trajetoria do sistema e o que torna nula a primeira variacao de S.
3.4
Multiplicadores de Lagrange
64
PRINCIPIOS VARIACIONAIS
3.4
fl
fl
dqk +
dt
alk dqk + alt dt = 0.
q
t
k
k
k
alk qk = 0
(3.9)
k=1
e que
t2
t1
[ d ( L ) L ]
qk dt = 0
dt qk
qk
k
(3.10)
3.4
MULTIPLICADORES DE LAGRANGE
65
l
alk qk = 0.
k
k,l
qk
qk
t1 k=1 dt
l=1
Como existem m equacoes de vnculo, apenas n m dos qk s originais sao
independentes. Escolhemos esses como q1 , q2 , . . . , qnm . No entanto, os m
valores dos l s podem ser escolhidos a vontade. Escolhemos entao os valores
de 1 , 2 , . . . , m de tal forma que
(
)
m
d L
L
l alk = 0
dt qk
qk
l=1
para k = n m + 1, n m + 2, . . . , n. Temos aqui m equacoes que resolvemos
para os m l s.
Com essa escolha a equacao variacional acima pode ser reduzida para
[
]
t2 nm
m
d ( L ) L
l alk qk dt = 0.
dt qk
qk
t1 k=1
l=1
Note que a soma agora so vai de k = 1 ate n m e so aparecem os qk
correspondentes. Mas esses sao independentes por escolha e, portanto,
)
(
m
d L
L
l alk = 0
(3.11)
dt qk
qk
l=1
66
PRINCIPIOS VARIACIONAIS
3.4
alk qk + alt = 0
ou
(3.12)
fl (q1 , . . . , qn , t) = 0
L
qj
L
= Qj
qj
l alk .
(3.13)
l=1
)
m( 2
r + r2 2 + mgr cos .
2
3.4
MULTIPLICADORES DE LAGRANGE
67
mr02 2t
e .
2
68
PRINCIPIOS VARIACIONAIS
3.4
z
y
a dr
/2
ou, como v = a,
dx + a sin d = 0
dy a cos d = 0.
Temos entao duas equacoes de vnculos nao-holonomicos, como o leitor pode
facilmente demonstrar. A Lagrangeana e a propria energia cinetica, dada
por
M a2 2 M a2 2
M 2
(x + y 2 ) +
+
,
L=
2
2
4
3.5
MULTIPLICADORES DE LAGRANGE
69
Embora a solucao geral dessas equacoes seja difcil, podemos usar nossa intuicao para encontrar pelo menos tres solucoes que representam movimentos
simples.
1 - disco rodando em torno de seu eixo: x = x0 , y = y0 , = 0 , 1 = 2 = 0
e = 0 + t.
2 - disco rolando na mesma direcao: = 0 , = 0 + t, 1 = 2 = 0,
x = x0 at sin 0 e y = y0 + at cos 0 .
3 - disco descrevendo movimento circular: = t, x = x0 + R cos (t), y =
y0 +R cos (t), = 0 +Rt/a, 1 = M R 2 cos (t), 2 = M R 2 sin (t).
Fazendo R = 0 recuperamos a solucao 1. Serao essas as u
nicas solucoes
possveis?
Note que o torque do campo gravitacional nao esta sendo levado em
consideracao, o que faz com que o disco nao se incline. Alem disso, a energia
total e conservada. Quando esses ingredientes sao adicionados ao problema
varias complicacoes interessantes aparecem e ele recebe o nome de Disco do
Euler [11].
70
3.5
PRINCIPIOS VARIACIONAIS
3.5
1
i
mi r 2i V (r1 , . . . , rn )
=
= 0.
dt qk
dt
qk
A variavel qk e dita cclica e seu momento conjugado pk e uma constante do
movimento.
Em geral, leis de conservacao estao associadas `a simetrias do sistema.
De fato, se a Lagrangeana e independente de uma coordenada qk , podemos
deslocar o sistema na direcao de qk que as equacoes de movimento nao vao
se alterar. Assim, a conservacao do momento linear esta associada `a simetria
de translacao; a conservacao do momento angular `a simetria de rotacao; a
conservacao de energia `a translacao temporal.
3.5
3.5.1
71
Conserva
c
ao dos momentos linear e angular
m2
r
=
r
r
r
=
R
2
1
1
R = m 1 r1 + m 2 r2
r2 = R + m 1 r
M
M
onde M = m1 + m2 e = m1 m2 /M , obtemos
1 2 1 2
L = MR
+ r V (r).
2
2
A coordenada R e cclica, pois Rx , Ry e Rz nao aparecem em L. Entao
= M R,
que representa o momento linear total m1 r 1 + m2 r 2 , e
P = L/ R
constante. A simetria associada a essa conservacao e a translacao do sistema:
se deslocarmos o centro de massa para R R + dR entao, de acordo com
as equacoes de transformacao,
r1 r1 + dR
r2 r2 + dR
e cada partcula do sistema e deslocada da mesma quantidade. Mostramos
entao que o deslocamento de todo o sistema nao afeta sua dinamica e essa
invariancia esta por tras da conservacao de P.
= R = 0, que e possvel no referencial do centro
Tomando agora R
de massa, podemos olhar a parte relativa. Como vimos no captulo 1 o
movimento relativo ocorre no plano perpendicular ao momento angular, que
e conservado. Tomando o plano como x-y e usando coordenadas polares r e
e facil ver que a coordenada e cclica e que a quantidade conservada e o
modulo do momento angular. A simetria associada e a de rotacoes em torno
do eixo z.
72
PRINCIPIOS VARIACIONAIS
3.5
L
= mr2 sin2
p2 cos
dp
= 0.
dt
mr2 sin3
Multiplicando dos dois lados por 2mr2 = 2p obtemos
dp 2p2 cos
=0
dt
sin3
( 2 )
p
dp2
d
+
=0
dt
dt sin2
2p
d
dt
(
p2
p2
+
sin2
)
=0
p2
.
sin2
COORDENADAS CICLICAS E LEIS DE CONSERVAC
AO
3.5
73
3.5.2
2
1 p
(
2 r 2
p2
r 2 sin2
L2
.
2r 2
Conserva
c
ao da energia
(
)
L
L
qk +
qk
t
k
(
)
d
L
L
qk L = .
dt
qk
t
k
A funcao
h(q, q,
t) =
pk qk L
qk L =
k
k
k
(3.15)
(3.16)
L
=
aki (q)qi
qk
i
74
PRINCIPIOS VARIACIONAIS
e
h =
=
i,k
3.6
aki (q)qi qk
1
i,j 2 aij (q)qi qj
1
i,j 2 aij (q)qi qj
+ V (q)
+ V (q) = T + V.
Lagrangeanas quadraticas nas velocidades aparecem em situacoes bastante gerais. Suponha por exemplo que o sistema de partculas tenha um
potencial V (r1 , . . . , rn ) e que a transformacao das coordenadas cartesianas
para as generalizadas seja independente do tempo:
ri = ri (q1 , q2 , . . . , qn ).
Entao
r i =
e
T =
ri
qk .
q
k
k
mi ( ri
i
kl
ri
qk ql
onde
akl (q) =
mi
qk ql
1
akl (q)qk ql
2 kl
ri ri
.
qk ql
Portanto, se V nao depende das velocidades e se as coordenadas generalizadas se relacionam com as cartesianas por transformacoes independentes do
tempo, entao a funcao h e identicada com T +V , que e a energia do sistema.
Quando essas condicoes nao sao satisfeitas, h ainda pode ser denida, mas
nao necessariamente coincide com a energia usual T + V . Se a transformacao
depender do tempo, por exemplo, teremos
ri
ri
r i =
qk +
qk
t
k
e aparecerao termos lineares na velocidade na Lagrangeana. Voltaremos a
falar sobre esse assunto na secao 4.3.
3.6
3.7
75
dt
q
i
k
k
i
L = L +
L
L
d F
=
+
qk
qk dt qk
onde invertemos a ordem de derivacao no u
ltimo termo. Subtraindo uma
equacao da outra vemos que os termos envolvendo F se cancelam e obtemos
as mesmas equacoes fornecidas diretamente por L.
Podemos tambem obter esse resultado diretamente do princpio variacional. A acao para L e
t2
t2
t2
dF
S =
dt = S + F (q, t)|tt21 .
L dt =
Ldt +
dt
t1
t1
t1
Calculando a variacao primeira obtemos
t
F 2
S = S +
q = S
q t1
pois L = L + d(erA)/dt.
76
3.7
PRINCIPIOS VARIACIONAIS
3.7
O teorema de Morse
1 2f
xi xj + O(3).
2 ij xi xj
fxx fxy
x
.
(x x)
fyx fyy
y
Como a matriz de derivadas segundas e simetrica e real, podemos diagonalizala com uma transformacao ortogonal, que e uma rotacao do sistema original
(x, y) para (
x, y). No novo sistema essa forma quadratica ca
1 0
= 1 (
x)2 + 2 ( y)2 .
(
x y)
y
0 2
Os autovalores 1 e 2 determinam a topologia de f (r) nas vizinhancas de r0 .
Se ambos forem positivos o valor de f (r) e sempre maior que o valor de f (r0 )
e r0 e ponto de mnimo. Se ambos forem negativos r0 e ponto de maximo e
se um deles for positivo e o outro negativo temos um ponto de sela.
No caso do princpio variacional de Hamilton estamos procurando o extremo da acao, que nao e uma simples funcao, mas um funcional, isto e, uma
3.7
O TEOREMA DE MORSE
77
x x1
q(x) =
an sin n
x2 x1
n=1
que satisfazem automaticamente as condicoes de contorno q(x1 ) = q(x2 ) =
0. Para cada conjunto de coecientes {an } temos uma trajetoria diferente.
O n
umero de graus de liberdade, que e o n
umero de maneiras independentes
que podemos alterar a curva vizinha, e o n
umero de an s, que e innito.
A segunda variacao de S em torno da curva estacionaria pode ser escrita
2
como
uma forma quadratica como no caso da funcao de duas variaveis: S =
ij Aij ai aj . Se todos os autovalores da matrix A forem positivos teremos um
mnimo. Para cada autovalor negativo de A existe uma direcao de maximo
no espaco funcional e a curva estacionaria passa a ser um ponto de sela.
Vamos agora enunciar o teorema de Morse e ver seu signicado. Faremos
a demonstracao em duas etapas em seguida:
Teorema de Morse - As trajetorias classicas correspondem a um mnimo
da acao para tempos sucientemente curtos. Para tempos mais longos, cada
vez que a trajetoria passar por um ponto conjugado, onde
[
]
2S
det
(3.17)
q1 q2
a variacao segunda de S ganha um autovalor negativo. Nessa expressao
S = S(q1 , q2 , t) e escrita como funcao dos pontos iniciais, nais e do tempo:
q1 = q(t1 ), q2 = q(t2 ) e t = t2 t1 .
Para entender o signicado fsico da quantidade dentro do sinal de determinante, e tambem para as demonstracoes que seguem, vamos considerar
apenas sistemas com um u
nico grau de liberdade. Isso facilita os calculos
e as interpretacoes. No proximo captulo veremos que S(q1 , q2 , t) satisfaz a
relacao
S
(3.18)
p1 = p(t1 ) =
q1
78
PRINCIPIOS VARIACIONAIS
3.7
q2
ponto focal
t2
t1
=
.
q1 q2
q2
A condicao p1 /q2 , ou q2 /p1 0, signica que se zermos um
pequeno deslocamento no momento inicial da trajetoria, p1 , a posicao nal
q2 nao vai se alterar. Quando isso acontece temos um ponto focal, ilustrado
na gura 3.8.
Um exemplo bastante simples onde os pontos focais aparecem e o oscilador harmonico. A equacao de movimento x = 2 x tem solucoes x(t) =
A sin (t) com x(0) = 0, p(0) = mA e energia E = m 2 A2 /2, como
ilustrado na gura 3.9 para diferentes valores de A, ou do momento inicial. Independente do valor do momento inicial as trajetorias retornam ao
ponto x = 0 depois de cada intervalo /. O calculo da acao para o oscilador
harmonico fornece
S(q1 , q2 , t) =
]
m [ 2
(q1 + q22 ) cos (t) 2q1 q2
2 sin(t)
2S
m
=
q1 q2
sin(t)
3.7
O TEOREMA DE MORSE
79
3.7.1
Varia
c
ao segunda da ac
ao para sistemas simples
qdt+
q
dt q
t1
(3.19)
]
t2 [ 2
2
2
1
L
L
L 2
q +
qq
+ 2 q 2 dt 1 S + 2 S.
2
2 t1 q
qq
q
Como queremos avaliar S sobre uma trajetoria classica, a variacao primeira
S sera nula por denicao. Para calcular a variacao segunda usamos a expansao dos q como
)]
[ (
t t1
(3.20)
q(t) =
an sin n
t
t
2
1
n=1
1
de onde obtemos
[ (
)]
t t1
nan
cos n
.
=
q(t)
t
t
t
t
2
1
2
1
n=1
(3.21)
80
PRINCIPIOS VARIACIONAIS
3.7
1
an Anm am
2 n,m
onde
t2
nm =
t1
t2
nm =
t1
t2
nm =
t1
)]
[
(
)]
[ (
t t1
2L
t t1
cos n
cos m
dt
q2
t2 t1
t2 t1
[ (
)]
[
(
)]
2L
t t1
t t1
cos n
sin m
dt
qq
t2 t1
t2 t1
[ (
)]
[
(
)]
t t1
t t1
2L
sin n
sin m
dt.
q 2
t2 t1
t2 t1
2L
=
q2
2L
=0
qq
2L
= 0.
q 2
(t2 t1 )nm
2
nm = 0
nm = 0
3.7
O TEOREMA DE MORSE
81
e portanto
n2 2
nm > 0.
2(t2 t1 )
Como A e diagonal e seus elementos sao sempre positivos, a acao calculada
para a trajetoria classica da partcula livre e sempre um mnimo: qualquer
outro caminho que nao seja o classico produzira um valor de acao maior que
aquele dado pelo caminho classico.
Anm =
O oscilador harm
onico. Agora temos
1
1
L = q2 2 q 2
2
2
e
2L
2L
2L
=
=
0
= 2 .
q2
qq
q 2
Usando novamente a ortogonalidade dos senos e cossenos obtemos
nm
= (t2 t1 )nm
2
e portanto
Anm
nm = 0
nm
2
=
(t2 t1 )nm
2
2
n2 2
=
nm
(t2 t1 )nm
2(t2 t1 )
2
=
[
]
nm n2 2 2 (t2 t1 )2 .
2(t2 t1 )
n =
n 2 (t2 t1 )2
2(t2 t1 )
se anula (e depois ca negativo para sempre) quando
n
t2 = t1 +
= t1 + n /2
82
3.7.2
PRINCIPIOS VARIACIONAIS
3.7
Demonstrac
ao do teorema de Morse
q=
dV
.
dq
t2
S=
t2
Ldt =
t1
t1
]
1
2
q(t)
V (q(t)) dt.
2
q(t1 + n) qn
q(t2 ) = qf qN .
3.7
O TEOREMA DE MORSE
83
que
S = lim
0
= lim
0
= lim
N [
(qn qn1 )2
n=1
N [
n=1
(qn0
0
qn1
]
V (qn )
+ n n1 ) V
{ N [
0
(qn0 qn1
)2
n=1
N [
n=1
(qn0
]
+ n )
]
V
(qn0 )
]
0
(qn0 qn1
)(n n1 ) V (qn0 )n +
] }
2
(n n1 )2
0 n
V (qn )
S0 + S 1 + S 2
2
2
2
onde 0 = N = 0.
O termo de primeira ordem e nulo, como ja podamos prever. De fato, o
termo de primeira ordem proporcional `a k e
0
0
0
(qk qk1
) (qk+1
qk0 ) V (qk0 )
]
[ 0
0
qk+1 2qk0 + qk1
0
=
+ V (qk ) [
q 0 + V (q 0 )] = 0,
2
(3.22)
2 S = T AN
2
84
PRINCIPIOS VARIACIONAIS
3.7
onde a matrix AN e
2 VN 1 2 /
1
0
0 0 ...
1
2 VN 2 2 /
1
0 0 ...
0
1
2 VN 2 2 / 1 0 . . .
AN =
0
0
1
...
...
..
..
.
.
onde Vk = V (qk0 ).
Para determinar o carater do extremo de S temos que calcular os N
1 autovalores de AN . Sabemos, no entanto, que se o potencial for suave,
entao para tempos curtos podemos aproxima-lo por constante, V (q) V (qi ).
Temos entao uma partcula livre e sabemos que todos os autovalores sao
positivos. Dessa forma, podemos calcular apenas o determinante de AN .
Para tempos curtos o determinante sera positivo e cada vez que ele trocar
de sinal saberemos que um autovalor cou negativo. O determinante de AN
pode ser calculado pelo metodo dos cofatores. Aplicando o metodo `a primeira
linha de AN obtemos
(
)
2
det AN = 2 VN 1
det AN 1 det AN 2 .
QN 1 .
2
No limite N e 0 obtemos
2Q
V
=
Q
t2
com
Q(t1 ) = 0
(q + Q) = (q + Q) (q ) 2 (q )Q
dq
dq
dq
3.8
Q2 Q1
= 1 O(2 )
1 ) = 1.
de forma que Q(t
O u
ltimo passo da demonstracao e relacionar Q(t2 ) com a acao. Para
isso usaremos mais uma vez a identidade (3.18) a ser provada no proximo
captulo. Usando entao
S
pi = qi =
qi
e o fato de S = S(qf , qi , t), podemos calcular a variacao na velocidade inicial
que ocorrera se zermos pequenas variacoes nas posicoes inicial e nal que
especicam a trajetoria:
qi =
2S
2S
q
qf .
i
qi2
qi qf
Para qi = 0 e qi = 1 obtemos
(
2S
qf = Q(t2 ) =
qi qf
)1
.
3.8
86
PRINCIPIOS VARIACIONAIS
3.8
3.8
iS
K(qf , qi , T ) = e ~ Dq(t).
Essa certamente nao e uma integral usual, pois integra-se sobre caminhos. O
elemento de integracao Dq(t) pode ser explicitado apenas se usarmos aqui a
mesma ideia que usamos na demonstracao do teorema de Morse, i.e., a discretizacao do tempo. Dividimos o intervalo de tempo em N partes de mesmo
tamanho e tal forma que T = N e q(n) qn , mantendo os extremos xos.
Analisando exemplos simples, como a partcula livre, e possvel mostrar que
Dq(t)
1
( ) N2 N
dqk .
2i~
k=1
i
i
i
2
[S0 +S 1 +S 2 ]
S0
~
~
K(qf , qi , T ) e
Dq(t) = e
e ~ S Dq(t).
T
Discretizando o tempo e usando o resultado (3.22), 2 S = 2
AN , as N 1
integracoes a serem feitas sao Gaussianas e o resultado e
( ) N2 ( 2i~ ) N21
i
1
S
0
K(qf , qi , T ) e ~
2i~
det AN
1
S
0
= e~
det AN 2i~
1
S0
~
=e
2i~ Q(T )
PRINCIPIOS VARIACIONAIS
88
3.9
e, nalmente,
i
e ~ S0
K(qf , qi , T )
2i~
2S
qi qf
)1/2
.
Esse u
ltimo resultado e bastante importante na teoria semiclassica e conseguimos deduzi-lo usando somente os calculos ja elaborados na demonstracao do teorema de Morse. Observe que essa aproximacao diverge nos
pontos focais. O calculo exato continua em geral nito, mas com um pico
proximo aos pontos focais, onde a densidade de trajetorias classicas vai a
innito, como ilustra a gura 3.8.
3.9
Exerccios
EXERCICIOS
3.9
89
f
=
y
1
t=
n(x, y) 1 + y 2 dx.
c
Suponha que n = n(y), independente de x. Mostre que as equacoes de
Euler-Lagrange associadas sao dadas por ny = (1 + y 2 ) dn
, que podem
dy
2
ainda ser simplicadas para n = A 1 + y onde A e uma constante
de integracao. Obtenha a Lei de Snell a partir dessa equacao.
7. Calcule a acao S(xf , xi , T ) para a partcula livre. Verique as relacoes
S/xf = pf , S/xi = pi e S/t = E. Dica: escreva a solucao
da equacao de movimento em termos de xf , xi e T antes de calcular a
acao.
8. Calcule a acao S(xf , xi , T ) para o oscilador harmonico e verique as
mesmas relacoes acima.
90
PRINCIPIOS VARIACIONAIS
3.9
Captulo 4
As Equac
oes de Hamilton
As equacoes de Lagrange para um sistema com n graus de liberdade,
( )
d L
L
= 0,
(4.1)
dt qi
qi
formam um conjunto de n equacoes diferenciais de segunda ordem no tempo.
O formalismo de Hamilton transforma essas equacoes em um novo conjunto
de 2n equacoes de primeira ordem. Embora nenhuma fsica nova seja acrescentada, a formulacao de Hamilton apresenta varias vantagens tecnicas sobre
a de Lagrange, como veremos ao longo do curso. Entre elas salientamos a
unicidade das solucoes no espaco de fases, as transformacoes canonicas e a
teoria de perturbacao. Outra motivacao importante e a semelhanca entre
a descricao Hamiltoniana da mecanica classica e a mecanica quantica, que
tambem discutiremos brevemente. A maneira mais imediata de se obter as
equacoes de Hamilton a partir das equacoes de Lagrange e atraves de uma
transformacao de Legendre.
4.1
A transformada de Legendre
Seja f (x) uma funcao convexa, i.e., com f (x) > 0. A informacao contida
em f (x) pode ser passada para uma funcao auxiliar g(u) denida por [3]
g(u) = ux f (x),
(4.2)
f
.
x
91
(4.3)
92
AS EQUAC
OES
DE HAMILTON
4.1
y = f(x)
y=ux
F(x,u)
x
x(u)
g(u)
f
dx = u(x)dx
x
(4.4)
f
dx = x(u)du.
(4.5)
x
A transformada de Legendre tem uma interpretacao geometrica que podemos entender gracamente. Para cada u, considere a reta y = ux. O ponto
x(u) e tal que a distancia F (x, u) entre a reta e a funcao f (x) e maxima:
dg = xdu + udx
F (u, x) xu f (x)
(4.6)
F
f
=u
.
x
x
com
u=
f
x
(4.7)
com
v=
g
.
u
(4.8)
entao,
AS EQUAC
OES
DE HAMILTON
4.2
93
g
x f x
= x(u) + u
= x(u) = x
u
u x u
(4.9)
e
h(v) = h(x) = xu [ux f (x)] = f (x).
(4.10)
dF =
com
T =
F
F
dT +
dV
T
V
U
U
dS +
dV T dS SdT
S
V
U
dV SdT = P dV SdT
V
ou seja,
S=
4.2
F
T
P =
F
.
V
As equac
oes de Hamilton
H(q, p, t)
pi qi L(q, q,
t)
(4.11)
i=1
94
AS EQUAC
OES
DE HAMILTON
4.2
L
.
qi
(4.12)
H
H
H
dqi +
dpi +
dt
qi
pi
t
= qi dpi + pi dqi
= qi dpi
L
L
L
dqi
dqi
dt
qi
qi
t
L
L
dqi
dt
qi
t
onde o segundo termo cancelou o quarto pela denicao dos momentos. Podemos agora igualar os termos da primeira com a ultima linha que multiplicam
diferenciais iguais. Obtemos assim as equacoes de Hamilton
qi =
H
pi
(4.13)
pi
H
.
=
qi
Temos ainda uma terceira relacao envolvendo o tempo. Antes de escrevela explicitamente vamos tambem calcular a derivada total de H em relacao
ao tempo:
dH
H
H
H
=
qi +
pi +
dt
qi
pi
t
= (pi )qi + (qi )pi +
H
H
=
.
t
t
(4.14)
AS EQUAC
OES
DE HAMILTON
4.2
95
m 2
(r + r2 2 + r2 2 sin2 ).
2
pr = mr
p = mr2
p = mr2 sin2
r = pr /m
= p /(mr2 )
= p /(mr2 sin2 ).
A Hamiltoniana ca
+ p
L
H = rp
r + p
)2
p2
p2r
m ( pr )2 mr2 ( p )2 mr2 sin2 (
p2
p
+ 2 +
m mr
2 m
2
mr2
2
mr2 sin2
mr2 sin2
(
)
p2
1
p2
2
=
p +
+
.
2m r r2 r2 sin2
mx 2 kx2
2
2
e o momento conjugado
px = mx
x = px /m
96
AS EQUAC
OES
DE HAMILTON
e
H = xp
xL=
4.2
p2x m ( px )2 kx2
+
m
2 m
2
p2x
kx2
=
+
.
2m
2
Exemplo 4.2.3 Considere um sistema com n graus de liberdade com funcao
Lagrangeana contendo apens termos lineares e quadraticos na velocidade:
1
L(q, q,
t) = L0 (q, t) + qT a + qT Aq
2
onde a = a(q, t) e um vetor com n componentes, A = A(q, t) uma matriz
nn simetrica e o superescrito T signica transposto. O momento conjugado
`a qi e
L
pi =
= ai +
Aji qj = ai +
Aij qj .
qi
j
j
Em forma vetorial
p = a + A q
q = A1 (p a).
4.3
97
4.3
1
(p eA)2 + e.
2m
(4.15)
k
p2x
+ (v0 t x)2 .
2m 2
98
AS EQUAC
OES
DE HAMILTON
4.3
y
x
v0 t
L
= m(v0 y)
y = v0 + py /m.
A nova Hamiltoniana ca
H (y, py ) = py y L =
p2y
k
+ y 2 + v0 p y
2m 2
4.4
99
100
4.4
AS EQUAC
OES
DE HAMILTON
4.5
Notac
ao simpl
etica
/q1
q1
..
..
.
/qn
qn
(4.16)
=
=
.
,
/p1
p1
.
..
..
.
/pn
pn
Vemos que o gradiente de H, H, corresponde basicamente ao lado direito das equacoes de Hamilton (4.13). No entanto, qi esta associado `a uma
derivada em relacao `a pi e vice-versa. Alem disso, uma das equacoes tem um
sinal negativo. Para dar conta desses fatos denimos a matriz
(
)
0 1
J=
(4.17)
1 0
onde cada um dos elementos acima e um bloco n n.
0
0 . . . 0 +1 0 . . .
0
0 ... 0
0 +1 . . .
0
0 ... 0
0
0 ...
0
0 ... 0
0
0 ...
J =
1 0 . . . 0
0
0 ...
0 1 . . . 0
0
0 ...
0
0 ... 0
0
0 ...
0
0 . . . 1 0
0 ...
Explicitamente:
0
0
+1
.
0
0
0
J 2 = 1,
JJ T = 1.
(4.18)
(4.19)
4.5
4.5
101
L=
pi qi H(q, p, t)
i=1
pi qi H(q, p, t) dt = 0.
(4.20)
t1
i=1
=0
dt qi
qi
Para f =
n
i=1
d
dt
f
pi
f
= 0.
pi
pi qi H(q, p, t) obtemos
H
d
(pi ) +
=0
dt
qi
pi =
d
H
(0) qi +
=0
dt
pi
qi =
H
qi
H
pi
102
AS EQUAC
OES
DE HAMILTON
4.5
dF
F
F
dt = F |tt21 =
qi +
pi = 0.
dt
q
p
i
i
t1
i
t1
t1
PROPRIEDADES DA AC
AO
4.6
103
4.6
Propriedades da Ac
ao
t2
S(q1 , t1 ; q2 , t2 ) =
L(q, q,
t)dt.
t1
104
AS EQUAC
OES
DE HAMILTON
4.6
q
q
q2+ 2
q2
q(t2)
q
q q(t)
q1
q1+ q
q(t1)
t1+ t1 t1
t2 t2+t2
Figura 4.3: Duas trajetorias classicas: q(t) com q(t1 ) = q1 e q(t2 ) = q2 (linha
cheia, azul) e q(t), com q(t1 + t1 ) = q1 + q1 e q(t2 + t2 ) = q2 + t2 (linha
tracejada, vermelho).
e nao curvas arbitrarias, e
S S(q1 + q1 , t1 + t1 ; q2 + q2 , t2 + t2 ) S(q1 , t1 ; q2 , t2 )
=
=
t2 +t2
t1 +t1
t1
t1 +t1
L(
q , q , t)dt
+
Ldt
t2
t1
t2
t1
+
Ldt
L(q, q,
t)dt
t2 +t2
t2
Ldt
t2
t1
Ldt
= L(
onde L
q , q , t). Na primeira e terceira integrais o intervalo de integracao
e innitesimal. Na segunda, que tem os mesmos limites de integracao que a
quarta, podemos expandir q em torno de q. O resultado e:
1 )t1 + L(t
2 )t2 +
S = L(t
= L(t1 )t1 + L(t2 )t2 +
t2 [ L
t1
q +
q
t2 [ L
t1
d
dt
L
q
q
L
q
]
dt
)]
qdt +
t2
L
q
q
t1
(4.21)
Novamente trocamos L(ti )ti por L(ti )ti . Como a trajetoria satisfaz as
equacoes de Lagrange, a integral se anula. Usando ainda a denicao de
PROPRIEDADES DA AC
AO
4.7
105
(4.22)
= [L(t)
t2
pq]t|
t1
pq|tt21
H(t)t|tt21
pq|tt21
= +H(t1 )
S
t2
= H(t2 ).
106
4.7
AS EQUAC
OES
DE HAMILTON
4.7
O princpio de Maupertuis
t1
S =
pq dt H(t2 t1 ).
t1
pq dt = S = 0
(4.24)
t1
4.8
ESPAC
O DE FASES E SUPERFICIE DE ENERGIA
107
t
A quantidade S = t12 pq dt e chamada de ac
ao reduzida e foi a acao considerada inicialmente por Maupertuis, Euler e Lagrange. A equacao (4.24) e
conhecida historicamente como princpio de Maupertuis e diz que a acao
reduzida e um extremo se considerarmos curvas Q(t) com Q(t1 ) = q1 e
L(Q(t), Q(t))
4.8
q1
..
.
q
= n
p1
.
..
pn
e as equacoes de movimento sao tratadas mais naturalmente na sua forma
simpletica
= J H
conforme descrito na secao 4.4.
Como as equacoes de Hamilton sao de primeira ordem no tempo, o teorema de unicidade de Cauchy-Lipschitz garante que por cada ponto de F 2n
passa uma e apenas uma trajetoria. Trajetorias classicas nunca se cruzam
no espaco de fases. De fato, para um conjunto de 2n equacoes diferenciais
de primeira ordem precisamos fornecer 2n condicoes iniciais. Tratando cada
ponto do espaco de fases como uma condicao inicial, podemos imaginar a
108
AS EQUAC
OES
DE HAMILTON
4.8
H
= p/m
p
p =
H
= m 2 q.
q
p0
m
sin (t)
4.8
ESPAC
O DE FASES E SUPERFICIE DE ENERGIA
109
F2
E
2mE
2E
m 2
1
cos (t)
q0
sin (t)
m
,
.
A=
0 =
m sin (t) cos (t)
p0
A matriz A e periodica, A(t) = A(t + 2/) e propaga a condicao inicial
0 . Como a energia e a mesma em todo ponto da orbita temos
p2
m 2 q 2
p2
m 2 q02
+
= 0 +
E
2m
2
2m
2
ou ainda
p2
q2
+
=1
2mE 2E/m 2
110
AS EQUAC
OES
DE HAMILTON
4.8
F2
0.1
2
8
16
24
q
Figura 4.5: Espaco de fases F 2 e algumas superfcies de energia (valor de
E indicado) para o oscilador harmonico unidimensional com = = 1 e
m = 1/2.
H(q, p) =
p2
m 2 q 2 q 4
+
+
.
2m
2
4
H
p
= p/m
= m 2 q q 3 .
p = H
q
Como H e positiva (soma de quadrados), para um dado
valor H = E
aposicao e o momento cam limitados aos valores |p| < 2mE e q 2 <
m2 4 /2 + 4E/ m 2 /. No entanto, a superfcie de energia nao e mais
uma elipse, a nao ser para energias E << m2 4 /. A gura 4.5 mostra
algumas superfcies de energia para = = 1 e m = 1/2.
Exemplo 4.8.3 O oscilador anarmonico puro. Seja
p2
+ q 2k
2m
onde k e inteiro maior ou igual `a 1. O movimento e claramente periodico, pois
a superfcie de energia e limitada (novamente H e uma soma de quadrados).
H(q, p) =
ESPAC
O DE FASES E SUPERFICIE DE ENERGIA
4.8
111
t=
m
2
q(t)
q0
dx
(E x2k )
Para calcular o perodo temos que integrar sobre toda a volta. Como o problema e simetrico basta integrar de q0 = 0 ate qmax = (E/)1/2k e multiplicar
o resultado por 4:
1/2k
m (E/)
dx
(E) = 4
.
2E 0
(1 x2k /E)
Fazendo a substituicao u = x(E/)1/2k obtemos
1k
1
(E) = 2 2mIk E 2k 2k
onde
Ik =
0
du
1 u2k
p2
mga(cos 1)
2ma2
112
AS EQUAC
OES
DE HAMILTON
4.8
4
3
F2
2
1
0.1
1
2
3
4
H
p
= p /ma2
p = H
= mga sin
m
1 2
(p1 + p22 ) + (12 q12 + 22 q22 ).
2m
2
A solucao geral pode ser novamente escrita na forma simpletica como (t) =
ESPAC
O DE FASES E SUPERFICIE DE ENERGIA
4.8
cos (1 t)
0
0
cos (2 t)
A(t) =
m1 sin (1 t) 0
1
m1
sin (1 t) 0
1
m2
cos (1 t)
m2 sin (2 t) 0
113
sin (2 t)
cos (2 t)
p21
p2
q12
q22
+ 2 +
+
2mE 2mE 2E/m12 2E/m22
p22
2m
m22 q22
2
114
AS EQUAC
OES
DE HAMILTON
4.9
2mE 1
2mE 2
q1
2E1
m12
2E 2
m22
q2
SEC
OES
DE POINCARE
4.9
115
q2
E
p
1
q1
4.9
Sec
oes de Poincar
e
116
AS EQUAC
OES
DE HAMILTON
4.9
0 = (q10 , q20 = 0, p10 , p20 ) tal que H(0 ) = E. Ao propagar esse ponto, a
coordenada q2 (t) em geral deixara de ser zero e o vnculo q2 = 0 deixara de
ser satisfeito. No entanto, se esperarmos um tempo sucientemente longo,
e provavel que em um instante futuro t = t1 , q2 (t1 ) = 0 novamente. Dessa
forma, o conjunto 1 = (q1 (t1 ), q2 (t1 ) = 0, p1 (t1 ), p2 (t1 )) voltou `a superfcie
de Poincare. Criamos assim uma dinamica discreta, chamada de Mapa de
Poincare, que leva pontos de P a ela mesma.
Falta apenas um detalhe para concluir a construcao do mapa: em primeiro
lugar notamos que basta considerar os valores dos pontos q1 e p1 sobre a
superfcie de Poincare, pois q2 = 0 e p2 pode ser obtido a partir de H = E.
No entanto, como em geral H e quadratica em p2 , e conveniente considerar
apenas os pontos que voltam `a q2 = 0 com momento conjugado p2 de mesmo
sinal que p20 . Assim, se p20 > 0, so consideramos os pontos com q2 = 0 se
p2 > 0.
O mapa de Poincare P leva um ponto 0 = (q10 , p10 ) P ao ponto
1 = (q11 , p11 ) P , propagado pela dinamica Hamiltoniana: 1 = P(0 ).
Conseguimos desta forma uma representacao bidimensional da dinamica. O
preco a pagar e nao termos mais acesso `a trajetoria toda, mas apenas `a sua
posicao a instantes discretos, como se uma luz estroboscopica estivesse piscando. Em geral nao e possvel obter uma expressao analtica para P, sendo
necessario integrar as equacoes de movimento numericamente e anotar os valores de q1 e p1 toda vez que q2 = 0 e p2 > 0. Obviamente a escolha do vnculo
q2 = 0 foi arbitraria e outras sao possveis, dependendo da conveniencia do
problema.
Como ilustracao, construiremos o mapa de Poincare explicitamente para
o oscilador harmonico bidimensional. Fixando q20 = 0 e supondo que p20 > 0
temos (veja a secao anterior)
q2 (t) =
p20
m2
sin (2 t)
EXERCICIOS
4.10
117
para cima (de forma que p2 > 0), teremos um ponto na secao de Poincare.
No instante do primeiro retorno os valores de q1 e p1 cam
1
sin
(2)
q
q11
q
cos (2)
10
10
m
P
=
Se for um n
umero racional, da forma r/s com r e s inteiros, entao a
trajetoria sera periodica e ira atravessar a superfcie de Poincare s vezes. Isso
e claro, pois o argumento dos senos e cossenos em Pk e 2kr/s que ca igual
a 2r para k = s, de forma que Ps = 1. Olhando para a gura 4.8 vemos
que os pontos carao sobre a elipse denida por
2
p21
m12 q12
p2
m12 q10
+
= 10 +
E1
2m
2
2m
2
4.10
Exerccios
118
AS EQUAC
OES
DE HAMILTON
4.10
EXERCICIOS
4.10
119
]2
m [
q) + GM m
q + (
2
q
=
onde
z . Obtenha a Hamiltoniana.
5. Partindo da funcao de Lagrange, use a teoria de transformacoes de Legendre para construir uma formulacao onde as variaveis independentes
sejam qi e pi . Chamando de G(q,
p,
t) a nova Hamiltoniana, encontre
as equacoes de movimento em termos de G.
6. Mostre que a acao para o oscilador harmonico e dada por
S(q1 , q2 , t) =
]
m [ 2
(q1 + q22 ) cos (t) 2q1 q2
2 sin(t)
120
AS EQUAC
OES
DE HAMILTON
4.10
Captulo 5
Transformac
oes Can
onicas
No formalismo Lagrangeano, qualquer escolha de coordenadas generalizadas
pode ser utilizada para descrever o movimento de um sistema. As equacoes
de Lagrange mantem sua forma original
( )
d L
L
=0
(5.1)
dt qi
qi
para as coordenadas q = (q1 , q2 , ..., qn ) e para qualquer outro conjunto
sk = sk (q1 , q2 , ..., qn ) se a transformacao for inversvel:
(
)
d L
L
= 0.
(5.2)
dt s i
si
No formalismo Hamiltoniano isso nao e sempre verdade, pois os momentos pk estao atrelados `a escolha das coordenadas pela denicao pk = L/ qk .
Podemos entao nos perguntar quando a transformacao do conjunto de coordenadas canonicas qk , pk para um novo conjunto Qk , Pk , preserva as equacoes
de Hamilton, isto e, supondo que
qk =
H
pk
pk =
H
,
qk
(5.3)
122
TRANSFORMAC
OES
CANONICAS
5.1
K
Pk =
,
Qk
(5.5)
(5.6)
Q k =
K
Pk
k (P ) = const
5.1
Func
oes Geratrizes
Uma maneira pratica e elegante de construir transformacoes canonicas e explorando uma liberdade oferecida pelo princpio variacional de Hamilton [5].
Lembramos que as equacoes de Hamilton podem ser obtidas impondo-se que
]
t2 [
n
pk qk H(q, p, t) dt = 0.
(5.8)
t1
k=1
dt
t1
FUNC
OES
GERATRIZES
5.1
123
Pk Q k K(Q, P, t) dt = 0.
(5.10)
t1
k=1
Pk Q k K(Q, P, t) =
k=1
pk qk H(q, p, t).
(5.11)
k=1
Essa solucao, no entanto, e trivial, pois implica a transformacao identidade, onde Qk = qk , Pk = pk e K = H. Uma possibilidade um pouco mais
geral e impor que os integrandos sejam apenas proporcionais, i.e.,
]
[ n
n
pk qk H(q, p, t) .
(5.12)
Pk Q k K(Q, P, t) =
k=1
k=1
Pk = pk
(5.13)
com = .
Finalmente temos o caso mais geral onde usamos a liberdade dada pela
equacao (5.9):
[ n
]
n
dF1 (q, Q, t)
pk qk H(q, p, t)
Pk Q k K(Q, P, t) =
. (5.14)
dt
k=1
k=1
ja que tanto as coordenadas originais quanto as novas devem ser xas para
que as equacoes de Hamilton sejam obtidas. De fato, integrando dos dois
lados de t1 a t2 e fazendo a variacao da acao temos
2 ,Q2 ,t2 )
Q2
( nk=1 Pk Q k K)dt = ( nk=1 pk qk H)dt F1 (qQ
2
2 ,Q2 ,t2 )
F1 (qq
q2 +
2
124
TRANSFORMAC
OES
CANONICAS
5.1
Impondo que a variacao da acao nas coordenadas originais seja nula quando
q1 = q2 = 0 obtemos
n
F1 (q2 , Q2 , t2 )
F1 (q1 , Q1 , t1 )
(
Pk Q k K)dt =
Q2 +
Q1 ,
Q
Q
2
1
k=1
o que mostra que a variacao da acao nas novas coordenadas tambem sera
nula quando Q1 = Q2 = 0.
Como a constante multiplicativa apenas muda a escala das coordenadas
e momentos, vamos xar = 1 e considerar apenas as conseq
uencias da
funcao F1 (q, Q, t) na mudanca de variaveis. Escrevendo a derivada total
explicitamente obtemos
n
Pk Q k K(Q, P, t) =
pk qk H(q, p, t)
k=1
k=1
n (
F1
k=1
)
F1
F1
qk +
Qk +
.
qk
Qk
t
F1
qk
Pk =
F1
Qk
(5.15)
F1
.
t
K
Pk =
.
Qk
(5.16)
FUNC
OES
GERATRIZES
5.1
125
F1
=Q
q
P =
F1
= q.
Q
(5.17)
qk pk H(q, p, t) dt = 0.
(5.18)
t1
k=1
com pk (t1 ) = pk (t2 ) = 0. Essa forma alternativa do princpio de Hamilton e analoga `a forma original com a troca p q e q p e o leitor
pode facilmente vericar que ele leva `as mesmas equacoes de movimento de
Hamilton.
Voltando `as transformacoes canonicas, podemos agora combinar essas
diferentes formas do principio variacional. Por exemplo, podemos impor que
n
k=1
pk qk H(q, p, t) =
dF2 (q, P, t)
.
Qk Pk K(Q, P, t) +
dt
k=1
(5.19)
126
TRANSFORMAC
OES
CANONICAS
5.1
F2
Pk
(5.20)
F2
.
t
Invertendo a escolha acima e fazendo pk (t1 ) = pk (t2 ) = 0 para as
variaveis originais e Qk (t1 ) = Qk (t2 ) = 0 para as novas coordenadas obtemos
n
n
dF3 (p, Q, t)
qk pk H(q, p, t) =
Pk Q k K(Q, P, t) +
(5.21)
dt
k=1
k=1
K(Q, P, t) = H(q(Q, P, t), p(Q, P, t), t) +
que resulta em
qk =
F3
pk
Pk =
F3
Qk
(5.22)
F3
.
t
Finalmente, escolhendo os momentos xos tanto nas variaveis originais
quanto nas novas obtemos
n
n
dF4 (p, P, t)
Qk Pk K(Q, P, t) +
qk pk H(q, p, t) =
(5.23)
dt
k=1
k=1
K(Q, P, t) = H(q(Q, P, t), p(Q, P, t), t) +
que resulta em
qk =
Qk =
F4
pk
F4
Pk
(5.24)
F4
.
t
FUNC
OES
GERATRIZES
5.2
127
As funcoes geratrizes F1 (q, Q, t), F2 (q, P, t), F3 (p, Q, t) e F4 (p, P, t) formam as quatro maneiras fundamentais de se produzir transformacoes canonicas.
A nomenclatura com os ndices de 1 a 4 foi introduzida por Goldstein e
tornou-se tradicional. Em sistemas com mais de um grau de liberdade essas quatro formas podem ainda ser combinadas. Para n=2, por exemplo,
podemos utilizar a forma 1 para q1 e p1 e a forma 2 para q2 e p2 :
dF (q1 , q2 , Q1 , P2 , t)
p1 q1 + p2 q2 H(q, p, t) = P1 Q 1 Q2 P2 K(Q, P, t) +
dt
cujas equacoes cam
p1 =
F
q1
P1 =
p2 =
F
Q1
K=H+
F
q2
Q2 =
F
P2
(5.25)
F
.
t
F1 (q, Q, t)
pk = F1 /qk
Pk = F1 /Qk
K = H + F1 /t
F2 (q, P, t)
pk = F2 /qk
Qk = F2 /Pk
K = H + F2 /t
Pk = F3 /Qk
K = H + F3 /t
Qk = F4 /Pk
K = H + F4 /t
F3 (p, Q, t) qk = F3 /pk
F4 (p, P, t)
qk = F4 /pk
128
5.2
TRANSFORMAC
OES
CANONICAS
5.2
Exemplos de Transforma
c
oes Can
onicas
Q = F2 /P = q
P = F1 /Q = q
Transformac
oes pontuais: F2 (q, P ) = f (q)P
p = F2 /q = P f /q
Q = F2 /P = f (q)
Evoluc
ao temporal innitesimal: F2 (q, P ) = qP + H(q, P )
p
= P + H(q, P )/q
Q = q + H(q, P )/P.
Como a transformacao e proxima da identidade, podemos substituir P por
p na Hamiltoniana, gerando um erro da ordem de 2 na transformacao:
p
5.2
EXEMPLOS DE TRANSFORMAC
OES
CANONICAS
129
p(t2 ) = S/q(t2 )
p = S/q.
O fato de que a evolucao temporal ocorre de traz para frente sera reinterpretado adiante quando estudarmos a equacao de Liouville.
Vari
aveis de ac
ao e
angulo para o oscilador harm
onico
Seguindo a motivacao inicial para misturar coordenadas e momentos em
uma mudanca de variaveis, procuramos aqui uma transformacao de (q, p)
para (Q, P ) tal que K = K(P ) para o oscilador harmonico. Como
p2
m 2 q 2
+
,
2m
2
H(q, p) =
q=
f (P )
sin Q,
m
1 2
f (P ).
2m
F1
q
mq 2
1
.
2 sin2 Q
F1 (q, Q) =
mq 2
2
cot Q
130
TRANSFORMAC
OES
CANONICAS
5.3
2P
q = m
sin Q
p=
2P m cos Q.
2E
m 2
q=
p=
sin (Q0 + t)
com
P =
F1
.
Q
F2
=Q
P
SIMPLETICA
FORMULAC
AO
5.3
5.3
131
Formulac
ao Simpl
etica
O uso do principio variacional de Hamilton nos permite construir transformacoes canonicas a partir de funcoes geratrizes arbitrarias envolvendo
sempre uma das variaveis originais (q ou p) e uma das novas (Q ou P). No
entanto, dada uma transformacao, como saber se ela e canonica diretamente?
A resposta a essa pergunta nos levara ao conceito de Colchetes de Poisson
[5, 15, 16].
Seja entao
Qi = Qi (q, p)
Pi = Pi (q, p)
i = 1, 2, . . . , n
(5.26)
.
qk
pk
qk pk
pk qk
(5.27)
+
qk Ql pk
Pl pk
pk Ql pk
Pl pk
[
]
[
]
K Qi Ql Qi Ql
K Qi Pl Qi Pl
=
.
Ql qk pk
pk qk
Pl qk pk
pk qk
Analogamente obtemos
[
]
[
]
P
Q
P
Q
K
P
P
P
P
K
l
l
l
l
i
l
i
l
.
Pi =
Ql qk pk
pk qk
Pl qk pk pk qk
(5.29)
(5.30)
(5.31)
132
TRANSFORMAC
OES
CANONICAS
5.3
F G
F G
.
(5.32)
{F, G}q,p =
qk pk pk qk
k=1
Note a semelhanca entre os colchetes de Poisson das novas variaveis e
os comutadores entre os operadores de posicao e momento da mecanica
quantica.
Toda essa manipulacao algebrica pode ser refeita de forma compacta e
elegante usando a formulacao simpletica, introduzida na secao 4.4. Vamos
fazer isso agora de forma geral, permitindo que a transformacao dependa
tambem do tempo. Sejam (veja a equacao (4.16))
( )
(
)
q
Q
=
=
(5.33)
p
P
vetores de dimensao 2n no espaco de fases. A transformacao canonica e
dada por = (, t) e chamaremos de Mij = i /j a matriz jacobiana da
transformacao. As equacoes de Hamilton nas variaveis originais sao dadas
por = JH/ onde a matriz J e o gradiente sao dados por (veja (4.17))
)
(
)
(
0 1
/q
J=
.
(5.34)
=
1 0
/p
(5.35)
(5.36)
(5.37)
= (M )kj
.
(5.38)
k
j k j k
j
j
SIMPLETICA
FORMULAC
AO
5.3
133
(5.39)
(5.40)
As matrizes que satisfazem a equacao (5.40) sao ditas simpleticas e formam um grupo, chamado de grupo simpletico ou grupo das transformacoes
canonicas. Alem disso, temos uma equacao para a correcao A na Hamiltoniana caso a transformacao dependa explicitamente do tempo:
J
=
.
(5.41)
Note que a equacao (5.40) e equivalente `as relacoes (5.31), pois o colchetes
de Poisson tambem pode ser escrito na notacao simpletica como
{F, G} =
F T G
J
(5.42)
onde o vetor `a esquerda e transposto, vetor linha (quando for possvel omitiremos o smbolo T para simplicar a notacao). Para F = k e G = l
teremos, usando a notacao de Einstein,
k T
l
T
T
{k , l } =
Jmn
= Mmk
Jmn Mln = Mkm Jmn Mnl
m
n
Note ainda que
{, } = J
(5.43)
Q
A
=
P
t
(5.44)
F (q, P, t)
|q=q(Q,P,t)
t
(5.45)
134
TRANSFORMAC
OES
CANONICAS
5.4
ou ainda
F (q, P, t)
= A(Q(q, P, t), P, t).
t
(5.46)
+
=0
(5.47)
qt
Q q
q t
qt
Da mesma forma, derivando (5.46) em relacao a P e usando (5.44) temos
2F
A Q A
=
+
P t
Q P
P
Q
2F
P Q
=
+
t
P t
t P
(5.48)
Essas equacoes sao as versoes diferenciais das relacoes que denem transformacoes canonicas com a funcao geratriz do tipo F2 . De fato, partindo
de
F2
F2
p=
Q=
(5.49)
q
P
e derivando cada uma dessas equacoes em relacao ao tempo com Q = Q(q, p, t),
P = P (q, p, t) e tomando q e p como variaveis independentes obtemos
2F
2 F P
0=
+
qt qP t
Q
2F
2 F P
=
+
t
P t P 2 t
Q P
2F
+
=0
q t
qt
(5.50)
Q
Q P
2F
=
+
.
t
P t
P t
(5.51)
que sao as equacoes (5.47) e (5.48). Vemos entao que F e a funcao geratriz
da transformacao e que a nova Hamiltoniana deve ser acrescida da derivada
parcial de F em relacao ao tempo.
Exemplo Considere F2 (q, P, t) = qP + P 2 t/2. A transformacao canonica e
dada por P = p e Q = q + pt. As equacoes (5.44) resultam
P
A
=
=0
Q
t
A
Q
=
= p = P.
P
t
O GRUPO SIMPLETICO
5.5
5.4
135
O Grupo Simpl
etico
M JM T = J
N=
(5.52)
N JN = J
portanto,
OJOT = N M J(N M )T = N M JM T N T = N JN T = J.
(5.53)
(5.54)
onde usamos a equacao (5.40) multiplicada por (M 1 )T pela direita dos dois
lados na u
ltima passagem. Vemos entao que a transformacao inversa tambem
e canonica. Como a identidade e obviamente simpletica, temos todas as
propriedades basicas de um grupo.
5.5
Transformac
oes Innitesimais e a Identidade de Jacobi
136
TRANSFORMAC
OES
CANONICAS
5.5
qi Pi + G(q, P, t).
(5.55)
i=1
F2
qi
pi =
(5.56)
Qi =
ou
F2
Pi
= qi +
G(q,P,t)
Pi
Pi = pi G(q,p,t)
+ O(2 )
qi
(5.57)
Qi = qi +
G(q,p,t)
Pi
+ O( ).
(5.58)
2G
i j
(5.59)
M = 1 + J
onde
2G
2
ij
2G
J
2
(5.60)
e M JM T = J + O(2 ).
Vamos agora usar a ideia de transformacoes innitesimais para demonstrar a Identidade de Jacobi. Seja u() uma funcao das variaveis canonicas e
= + uma transformacao canonica innitesimal gerada por F2 = qP +C.
Entao
u = u( + ) u() =
u C
u
= J
= {u, C}.
(5.61)
EQUAC
OES
DE MOVIMENTO E LEIS DE CONSERVAC
AO
5.6
137
(5.62)
(5.63)
5.6
Equac
oes de Movimento e Leis de Conservac
ao
(5.64)
138
TRANSFORMAC
OES
CANONICAS
5.6
t
t
t
(5.65)
H
pk
pk = {pk , H} =
H
qk
(5.66)
H
H
J
=J
.
(5.67)
Para u = H,
dH
H
H
= {H, H} +
=
.
(5.68)
dt
t
t
Finalmente, se u e uma constante do movimento, de forma que sua
derivada total em relacao ao tempo e zero, entao
u
= {H, u}.
t
(5.69)
5.6
EQUAC
OES
DE MOVIMENTO E LEIS DE CONSERVAC
AO
139
t2
{{, H}, H}
2
]
+ . . . u0
(5.70)
e{,H}t u0 L(u0 ).
O operador
L = e{,H}t
e conhecido como Liouvilliano. Note a semelhanca entre a evolucao temporal
classica da funcao u e a evolucao temporal quantica de uma funcao de onda,
dada por |(t) = eiHt/~ |(0).
Exemplo 5.6.3 Vamos achar a solucao de um problema simples usando o
operador de Liouville. Seja H = p2 /2m + gq. Entao vemos que
{q, H} = {q, p2 /2m} = p/m
{{q, H}, H} = {p/m, H} = {p/m, gq} = g/m.
Como o segundo colchetes deu constante, os colchetes de ordem superior se
anulam e a serie e nita. Da mesma forma
{p, H} = {p, gq} = g
140
TRANSFORMAC
OES
CANONICAS
5.7
5.7
Invariantes Can
onicos
5.7.1
Os Colchetes de Poisson
u T v
J
(5.71)
(5.72)
INVARIANTES CANONICOS
5.7
t
141
t
t
p,P
t
q,Q
5.7.2
O invariante de Poincar
e-Cartan
Considere uma transformacao canonica gerada por uma funcao do tipo F1 (q, Q, t)
[8, 3]. Calculando a diferencial de F1 obtemos, com a convencao de Einstein,
dF1 =
F1
F1
F1
dqk +
dQk +
dt
qk
Qk
t
142
TRANSFORMAC
OES
CANONICAS
5.7
ou
(5.73)
I
(pk dqk Hdt) =
(5.74)
Portanto, a integral
I
S=
(p dq Hdt)
(5.75)
e um invariante canonico para qualquer curva fechada no espaco de fases estendido (q, p, t). Note que quando parametrizamos a curva com o parametro
[0, 1], o invariante pode ser escrito como
)
1(
t
q
S=
H(q( ), p( ))
d
(5.76)
p( )
0
Veremos agora algumas aplicacoes desse invariante.
(1) Se a transformacao canonica for independente do tempo, F/t = 0 e a
equacao (5.74) se reduz a
I
I
pk dqk =
Pk dQk .
(5.77)
INVARIANTES CANONICOS
5.7
143
q
p
Figura 5.2: Tubo de trajetorias formado pela propagacao das condicoes iniciais sobre a curva fechada .
temporal da curva 0 tera o mesmo valor. Na verdade e possvel mostrar
que a integral sera a mesma para qualquer curva que envolva o tubo de
trajetorias e sera nula para qualquer curva que possa ser reduzida a um
ponto por deformacoes contnuas sobre a superfcie do tubo. Para mostrar
esse resultado notamos primeiramente que a integral sobre uma curva que
envolve uma area fechada do tubo pode ser quebrada em pequenas integrais
de linha sobre quadradinhos nessa superfcie, como mostra a gura 5.3a.
As integrais nas partes internas dos quadrados se anulam, pois sao sempre
percorridas duas vezes, uma vez em cada direcao. Esse quadradinhos podem
ser construdos da seguinte forma: na curva original 0 marcamos pontos
espacados de d . Cada um desses pontos e propagado gerando um conjunto
de linhas (suas trajetorias). A cada passo de tempo dt desenhamos a curva
t , gerando um outro conjunto de curvas que envolvem o tubo. As trajetorias
e as curvas t geram um reticulado sobre o tubo, como ilustrado na gura
5.3b.
Vamos mostrar que a integral (5.75) em uma curva fechada sobre o tubo
que pode ser contrada a um ponto e nula. Para isso basta mostrar que a
integral sobre cada pequeno quadradinho fechado e nula (gura 5.3c). Pela
sua construcao, o vetor representando o lado do quadrado na direcao da
trajetoria e (q,
p,
1)dt, e na direcao perpendicular, (q , p , t0 )d , onde usamos
a linha para indicar derivadas em relacao `a , e o ponto para derivadas em
relacao `a t. Note que o valor da variavel tempo no canto inferior esquerdo
e t0 ( ) + t, enquanto que no canto superior esquerdo e t0 ( + d ) + t =
t0 ( ) + t + t0 ( )d + t0 ( )d 2 /2. A gura 5.3(c) mostra o valor aproximado
TRANSFORMAC
OES
CANONICAS
144
5.7
(b)
(a)
q
p
dt
(c)
q + q d
p + p d
t0 + t + t 0 d
.
.
q + q dt + q d
p + p dt + p d
t 0 + t + dt + t0 d
q
p
T1
x 2
T2
q
p
t0+ t
(d)
x
1
.
.
q + q dt
p + p dt
t 0 + t + dt
Figura 5.3: Tubo de trajetorias formado pela propagacao das condicoes iniciais sobre a curva fechada .
de q, p e t nos quatro vertices. Ao fazer a integral de linha ao longo dos lados
vamos avaliar p e H(q, p) no ponto medio do lado. O calculo da integral para
cada um dos lados, numerados de 1 a 4 na gura, deve ser feito com cuidado,
mantendo termos ate ordem 2 em dt e d :
S1 = (p + pdt/2)(
qdt
+ qdt2 /2) H(q + qdt/2,
p + pdt/2)dt
2
2
2
2
= pqdt
+ pq(dt)
/2 + p
q dt /2 Hdt (H/q)q(dt)
/2 (H/p)p(dt)
/2
2
= pqdt
+ pq(dt)
/2 + p
q dt2 /2 Hdt
onde usamos as equacoes de Hamilton para cancelar os dois termos.
S2 = (p + pdt
+ p d /2)(q d + q d 2 /2)
H(q + qdt
+ q d /2, p + pdt
+ p d /2)(t0 d + t0 d 2 /2)
2
= pq d + q pdtd
INVARIANTES CANONICOS
5.7
145
+ p d )(qdt
qdt2 /2)
H(q + qdt/2
+ q d, p + pdt/2
+ p d )(dt)
2
2
= pqdt
p
q dt /2 + Hdt pq(dt)
/2 pq
dtd
e
S4 = (p + p d /2)(q d q d 2 /2)
H(q + q d /2, p + p d /2)(t0 d t0 d 2 /2)
= pq d pq d 2 /2 + Ht0 d + Ht0 d 2 /2
(q p + pq
t0 qp
t0 )(d )2 /2.
Finalmente, a integral no circuito completo e obtida somando as quatro
contribuicoes, que se cancelam exatamente ate ordem 2. Se o n
umero de
particoes temporais e N e de particoes em e M , o erro acumulado no
calculo da integral sobre os N M quadradinhos e N M O(3) que vai a zero
quando dt e d vao `a zero. Isso mostra que a integral sobre a curva fechada
de fato e nula. Na gura 5.3(a) a ilustracao mostra N = 3 e M = 2. Note que
se tivessemos feito o calculo em primeira ordem apenas o erro seria N M O(2)
que ca nito no limite dt e d indo `a zero, invalidando a prova. Por exemplo, N M dtd = (N dt)(M d ) t. Da a importancia em fazer o calculo ate
ordem 2.
Vamos agora imaginar uma curva qualquer sobre o tubo. Construmos
uma superfcie fazendo uma pequena abertura em 0 e levando as trajetorias nas fronteiras da abertura ate , como mostra a gura 5.3d. A
superfcie e um tubo aberto limitado pelas curvas 0 , T1 , e T2 . Como a
integral total e nula e as integrais sobre T1 e T2 se cancelam, a integral sobre
0 tem que ser igual `a integral sobre , demonstrando o teorema.
Um caso particular do teorema ocorre para curvas onde t( ) = t0 = const.
Para curvas 1 no plano t = t1 > t0 teremos dt = 0 ao longo das curvas iniciais
e nais e a equacao (5.75) se reduz `a
I
I
pk dqk =
pk dqk .
(5.78)
0
146
TRANSFORMAC
OES
CANONICAS
5.8
5.8
O teorema de Liouville
(5.80)
(5.81)
5.8
O TEOREMA DE LIOUVILLE
147
p
V(0)
V(t)
Dt
D0
q
Figura 5.4: Propagacao de volumes pela evolucao temporal.
Integrando sobre sobre um volume nito V vemos que
d =
d
V
(5.82)
S
qi
pf =
S
.
qf
(5.83)
F1
q
P =
F1
Q
(5.84)
V (t) =
d
(5.85)
Dt
148
TRANSFORMAC
OES
CANONICAS
5.8
D0
Dt
V(0)
V(t)
pa
qa
qb
qa+p t
a
q b +p t
b
5.8
O TEOREMA DE LIOUVILLE
149
(5.89)
(5.90)
(5.91)
ou ainda
Assim, a densidade no ponto (q, p) no instante t e mesma densidade do ponto
inicial (q0 , p0 ) no instante inicial t = 0.
Exemplo 5.8.1 Evolucao temporal de uma distribuicao Gaussiana para a
partcula livre. A distribuicao inicial normalizada e
{
}
(q q)2 (p p)2
1
exp
(5.92)
D(q, p, 0) =
2ab
2a2
2b2
150
TRANSFORMAC
OES
CANONICAS
5.8
.
2ab
2a2
2b2
(5.93)
(5.95)
{
}
1
(p p)2
D(p, t) =
exp
.
2b2
2b
(5.96)
5.9
151
Exemplo 5.8.2 Evolucao temporal de uma distribuicao Gaussiana para o oscilador harmonico. Seguindo o mesmo procedimento anterior e facil mostrar
que
}
{
1
(q cos t p sin t/m q)2 (mq sin t + p cos t p)2
.
D(q, p, t) =
exp
2ab
2a2
2b2
Distribuic
oes Estacion
arias
Quando o sistema esta em equilbrio estatstico, D/t = 0 e, portanto,
{D, H} = 0. Nesse caso a distribuicao deve ser independente do tempo.
Caso H seja a u
nica constante de movimento do problema, entao D so pode
depender de H.
Exemplo 1 Distribuicao microcanonica
D(q, p) = (E H(q, p)).
(5.97)
2 /2
(5.98)
5.9
(5.99)
i = 1, 2, . . . , n.
(5.100)
V (t) =
dx
D(t)
(5.101)
152
TRANSFORMAC
OES
CANONICAS
5.10
onde dx = dx1 dx2 . . . dxn . Para tempos curtos podemos resolver as equacoes
de movimento e obter
xi (t) = xi0 + tfi (x0 ).
(5.102)
Como no caso Hamiltoniano, fazemos agora uma mudanca de variaveis x y
denida por
xi = yi + tfi (y).
(5.103)
Por construcao essa transformacao leva D(t) em D(0) e
V (t) =
J(y, t)dy
(5.104)
D(0)
(5.105)
fi
i=1
yi
+ O(t2 ) 1 + t f + O(t2 ).
V (t) =
(1 + t f )dy = V (0) + t
D(0)
f dy.
(5.106)
(5.107)
D(0)
Como t e pequeno
dV
V (t) V (0)
=
=
dt
t
f dy.
(5.108)
D(0)
5.10
5.10
O TEOREMA DE RECORRENCIA
DE POINCARE
153
O teorema de recorr
encia de Poincar
e
(5.109)
TRANSFORMAC
OES
CANONICAS
154
5.10
(a)
(b)
m
g U
g
x
gU
gU
1
0
0
1
m1
g
k1
11
00
g U
(5.110)
(5.111)
para todo > 0 (gura 5.7a). Aqui faz o papel da vizinhaca U do ponto
x. Seja agora f = g n . Sob a acao de f o ponto x e levado em f (x) que e tao
proximo de x quanto se queira (gura 5.7b). Entao, dado qualquer ponto
y sobre o crculo podemos armar que a orbita de x passa arbitrariamente
proxima de y. Em outras palavras, provamos que todas as orbitas s
ao densas
no crculo. Usaremos esse resultado no exemplo 2 abaixo.
Exemplo 2 Dados os n
umeros inteiros da forma 2n para n = 0, 1, 2, . . ., considere a sequencia formada pelo primeiro dgito de cada um desses n
umeros:
1, 2, 4, 8, 1, 3, 6, 1, 2, . . ..
O TEOREMA DE RECORRENCIA
DE POINCARE
5.10
(b)
(a)
x
x
gn x
155
fx
gx
g 2x
y
k
f x
156
TRANSFORMAC
OES
CANONICAS
5.11
70368744177664.
Exemplo 3 Considere uma camara c
ubica de lado L e um gas com N
partculas que, inicialmente, esta connado `a metade da camara, que esta
separada da outra metade por uma particao. Em t = 0 abrimos a particao e
deixamos o gas expandir. De acordo com o teorema de recorrencia, depois de
algum tempo todas as partculas deverao retornar `a metade inicial. Porque
esse efeito nunca e observado? A resposta e que o tempo necessario para
que isso ocorra e muito grande. Podemos fazer uma estimativa desse tempo
de retorno em termos de volumes no espaco de fases. Seja uma unidade
de tempo tpica para que uma vizinhanca 0 do estado inicial se propague
para de forma que nao haja superposicao com 0 . O n
umero maximo
de passos de tamanho que podem ser dados sem que n intercepte com
algum m anterior e dado pela razao entre os volumes do espaco de fases e
da vizinhanca: V ()/V (0 ). Como a energia do gas e conservada,
N
n=1
EXERCICIOS
5.11
5.11
157
Exerccios
P1 = p1 2p2
P2 = 2q1 q2
2P
q=
sin Q,
m
p=
2P m cos Q
P =
p iaq
2ia
158
TRANSFORMAC
OES
CANONICAS
5.11
p1 aq1
q2
F2 = q 1 q 2
mkr
r
Captulo 6
Integrabilidade
A teoria de transformacoes canonicas sugere que podemos reduzir a solucao
das equacoes de Hamilton ao problema de encontrar uma mudanca de variaveis
que torne a dinamica trivial. Uma possibilidade, como ja mencionamos, consiste em procurar uma transformacao independente do tempo que leve as
variaveis originais (q, p) a (Q, P ) de forma que a nova hamiltoniana dependa
apenas dos novos momentos P , i.e., H(q(Q, P ), p(Q, P )) = K(P ). Uma vez
encontradas tais variaveis obtemos
Pi = K = 0
Qi
(6.1)
Q i =
K
Pi
i (P )
(6.2)
p(t) = p(Q(t), P0 )
sao obtidas diretamente das equacoes da transformacao canonica. Como
veremos, existe uma certa liberdade na denicao das variaveis Q e P . Uma
escolha particular leva `as variaveis de acao e angulo, como veremos adiante.
Uma outra maneira de tornamos as equacoes de movimento triviais e
buscando uma transformacao canonica dependente do tempo, gerada, por
exemplo, por uma funcao do tipo F2 (q, P, t), que torne a nova hamiltoniana
identicamente nula:
F
0.
(6.3)
K(Q, P ) = H(q(Q, P, t), p(Q, P, t)) +
t
159
160
6.1
INTEGRABILIDADE
Pi
K
= Q
=0
i
(6.4)
Q i =
K
Pi
=0
6.1
A equac
ao de Hamilton-Jacobi
S
=0
t
pi =
S
qi
Qi =
S
.
Pi
(6.5)
DE HAMILTON-JACOBI
EQUAC
AO
6.1
161
S(q, , t)
qi
(6.7)
Qi i =
S(q, , t)
i
i = i (q0 , p0 )
pi0 = pi (, , 0)
Veja que nao e necessario identicarmos as constantes i diretamente com
os novos momentos Pi . Poderamos te-las escolhido como funcoes independentes dos Pi , i = i (P ). Isso modicaria a transformacao canonica, mas
nao alteraria signicativamente os resultados.
Exemplo 6.1.1 - A partcula livre
A equacao de Hamilton-Jacobi nesse caso e
( )2
1
S
S
+
= 0.
2m q
t
(6.9)
S(q, , t) = 2m q t
(6.11)
162
6.1
INTEGRABILIDADE
onde a constante aditiva foi descartada por ser irrelevante. Usando S nas
equacoes que denem a transformacao canonica obtemos
S
= 2m
q
S
m
Q==
=
q t.
2
p=
(6.12)
2
p0
q(t) =
( + t) = q0 + t
(6.13)
m
m
p(t) = p0 .
m 2
sin u =
q
2
ou
e o resultado e
W =
(6.16)
(6.17)
(6.18)
DE HAMILTON-JACOBI
EQUAC
AO
6.2
163
Para escrever explicitamente as equacoes da transformacao canonica precisaremos calcular u/ e u/q. Os resultados podem ser obtidos derivando
os dois lados da equacao (6.17) em relacao a e a q respectivamente. Obtemos
u
m 2 1
1
u
= tan u
e
=
.
(6.19)
2
q
2 cos u
Entao temos:
S
W
Q ==
=
t
(
)
1
tan u
2
2
= (u + sin u cos u) + (1 + cos u sin u)
t . (6.20)
2
1
u
1
[u + sin u cos u] cos2 u tan u t = t
2
q(t) =
sin ( + t).
m 2
A equacao para p resulta em
S
W
du
p =
=
= (1 + cos2 u sin2 u)
q
q
dq
.
2
m
1
=
cos2 u
= 2m cos u
2 cos u
Usando o resultado que encontramos para u obtemos
(6.21)
(6.22)
(6.23)
m
m
m 2 q 2
S(q, , t) = arcsin
q +
q 1
t
(6.24)
2
2
2
p20
m 2 q02
=
+
2m
2
1 q0
tan =
.
2 p0
(6.25)
(6.26)
164
6.2
6.3
INTEGRABILIDADE
Soluc
ao formal da equac
ao de HamiltonJacobi
(6.27)
S(q0 , , 0) = 2m q0
(6.29)
p20
t = t.
2m
0
Substituindo na eq.(6.28) e usando que q = q0 + p0 t/m obtemos
S(q, , t) = 2m q0 + t = 2m (q pm0 t) + t
L dt =
2m q 2t + t =
(6.30)
2m q t.
Fica como exerccio para o leitor vericar a equacao (6.28) para o oscilador
harmonico.
6.3
6.3
165
W
) = .
q
(6.32)
(6.33)
W
W
=
Pi
i
(6.34)
K
= Q
=0
i
Q i =
K
Pi
Pi = i
i ()
Qi = Qi0 + i ()t.
(6.35)
(6.36)
166
6.4
INTEGRABILIDADE
t( )
0( )
p= S
t
qt
p= S
0
q0
q0
qt
Figura 6.1: Ilustracao das superfcies geradas pela equacao de HamiltonJacobi dependente do tempo.
ou
W =
6.4
p dq.
(6.37)
Interpreta
c
ao geom
etrica e condic
oes de
exist
encia
S(q, , t)
= pi (q, , t)
qi
(6.38)
GEOMETRICA
INTERPRETAC
AO
6.4
167
(6.39)
S
W
=
(q, )
q
q
(6.40)
vemos que a superfcie () nao muda com o tempo. Assim, () deve ser
uma superfcie invariante pelo uxo de H, de forma que pontos (q0 , p0 ) sobre
ela sejam propagados para pontos (qt , pt ) ainda sobre a mesma superfcie.
Para sistemas com um u
nico grau de liberdade a u
nica superfcie invariante
com dimensao um e a propria superfcie de energia. Nesse caso, de fato temos
que
(
)2
1
W
+ V (q) =
(6.41)
2m q
e
W
p=
= 2m( V (q))
(6.42)
q
que corresponde `a superfcie de energia com E = . A gura 6.2 ilustra a
superfcie () = E para potenciais onde o movimento e connado.
Em sistemas com n > 1 graus de liberdade a superfcie de energia E
ainda e invariante pelo uxo. No entanto, a dimensao dessa superfcie e
dim(E ) = 2n 1, que e maior do que n se n > 1. Para conseguirmos
superfcies invariantes de dimensao menor sao necessarios outros vnculos,
i.e., outras constantes do movimento que diminuam a dimensao da superfcie
invariante. Precisamos exatamente de n 1 outras constantes. Caso essas
constantes nao existam, a separacao de variaveis dada pela eq.(6.39) nao
produz uma solucao geral para a funcao W . Esse e basicamente o conte
udo
do teorema de Arnold-Liouville que discutiremos adiante.
Para nalizar essa secao voltamos ao exemplo do oscilador harmonico.
Vimos na secao 6.1 que
(
)
m
m 2 q 2
m 2
q +
q 1
.
(6.43)
W (q, ) = arcsin
2
2
2
168
6.5
INTEGRABILIDADE
q0
qt
W
p=
= 2mP
q
e
Q=
W
1
= arcsin
1
(
m 2 q 2
2P
m 2
2P
(6.44)
)
q
(6.45)
q=
p=
2P
m 2
sin (Q)
(6.46)
m 2 q 2
p2
+
= P = K.
2m
2
(6.47)
LIMITE SEMICLASSICO
6.5
6.5
169
O limite semicl
assico da equac
ao de Schr
odinger
~2 2
+ V (q).
(6.48)
i~
=
t
2m q 2
Se V = 0 existem solucoes do tipo p (q, t) = Aei(pqEt)/~ onde E = p2 /2m.
Se o comprimento de onda de De Broglie h/p e pequeno em relacao `as dimensoes onde V (q) varia apreciavelmente, entao esperamos que, localmente,
se comporte como se a partcula fosse livre. Escrevemos entao
i
(6.49)
onde A e sao reais e A(q, 0) A0 (q) e (q, 0) 0 (q) sao supostas conhecidas. Em outras palavras, dada a funcao de onda inicial queremos obter
sua evolucao temporal. Substituindo na equacao de Schrodinger obtemos
i
i
A
A
= e ~ (q,t) H(q, p)e ~ (q,t) A.
t
t
Para calcular o lado direito vemos que
i~
(a)
[
p, f (q)] = i~ f
q
(b)
[
p, ei(q,t)/~ ] =
(c)
ei(q,t)/~ p ei(q,t)/~ = p +
(d)
i(q,t)/~
(6.50)
i(q,t)/~
e
q
i(q,t)/~
p e
(6.51)
(
= p +
)n
e portanto obtemos:
i~
A
= H(q, p +
)A
t
t
q
1
=
2m
i~ +
q
q
)2
A + V (q)A
~2 2 A
i~ 2
i~ A
1
=
A
+
2
2
2m q
2m q
m q q
2m
)2
A + V (q)A
(6.52)
170
6.5
INTEGRABILIDADE
~2 2 A
A + V (q)A
+A
= 0.
(6.53)
2
2m q
2m q
t
Desprezando o terceiro termo, que e de ordem ~2 em relacao aos outros,
podemos cancelar a amplitude A e camos com
( )2
1
+ V (q) +
=0
(6.54)
2m q
t
)
H q,
+
=0
(6.55)
q
t
que e a equacao de Hamilton-Jacobi. Note que o termo que foi desprezado
~2 1 2 A
pode ainda ser adicionado ao potencial fazendo-se V (q) V (q) 2m
,
A q 2
que e o potencial quantico da teoria de Bohm, que depende da amplitude
da funcao de onda.
A parte imaginaria da equacao resulta exatamente em:
ou
A
1 2
1 A
=
A
.
t
2m q 2
m q q
(6.56)
1 2
1
=
.
2
t
m q
m q q
(6.57)
= v
t
q
q
ou
(6.58)
+ ( v) = 0
(6.59)
t q
que e a equacao da continuidade. O calculo em 3-D resulta analogamente
em /t + (v ) = 0.
Podemos agora resolver as equacoes (6.55) e (6.59). Para a primeira
sabemos que (veja a secao 6.2)
q,t
(q, t) = 0 (q0 , 0) +
L dt.
(6.60)
q0 ,0
LIMITE SEMICLASSICO
6.5
171
t
0
q0
q0+ dq
q + dq
dq0 1/2
.
|A(q, t)| = |A(q0 , 0)|
dq
(6.61)
(6.62)
Para sistemas com um grau de liberdade podemos obter uma expressao ainda
mais simples. Como a energia se conserva escrevemos
dq0
dq
2
2
=
(E V (q)) = p(q)/m
e
=
(E V (q0 )) = p(q0 )/m
dt
m
dt
m
(6.63)
ou, dividindo uma pela outra
p(q0 )
dq0
=
dq
p(q)
(6.64)
172
INTEGRABILIDADE
6.6
(6.65)
S
p(q) =
= 2m(E V (q))
(6.67)
q
dene a superfcie invariante E = (q, p(q)), que e a superfcie de energia, e
S(q) = p(q)dq.
(6.68)
Como temos duas solucoes, os estados estacionarios cam dados por
]
i
i
eiEt/~ [
E (q, t) =
C1 e+ ~ p(q)dq + C2 e ~ p(q)dq
p(q)
(6.69)
6.6
6.6
TEOREMA DE ARNOLD-LIOUVILLE
173
F1 F2
i=1
qi pi
F1 F2
= 0.
pi qi
Fi
TEOREMA (Arnold-Liouville)
Se existirem n funcoes Fi (), F 2n , independentes e em involucao
entao:
1 A superfcie n-dimensional Mf , denida por
174
6.6
INTEGRABILIDADE
Mf = { t.q. Fi () = fi ,
i = 1, 2, . . . , n}
6.6
TEOREMA DE ARNOLD-LIOUVILLE
175
p
5
4
3
2
1
Fi
()
p1
..
.
Fi
p ()
n
Gi () =
F
i ()
q1
..
.
Fi
qn ()
176
6.6
INTEGRABILIDADE
Mf
gj
s
gti
= G{Fi ,Fj } () = J
{Fi , Fj }.
(6.72)
(6.73)
6.6
TEOREMA DE ARNOLD-LIOUVILLE
(a)
177
(b) 11111111
00000000
00000000
11111111
00000
11111
t2
11111111
00000000
00000
11111
00000000
11111111
00000
11111
00000000
11111111
00000
11111
00000000
11111111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
=
00000
11111
00000
11111
00000
11111
00000
11111
=
00000
11111
00000
11111
00000
11111
00000
11111
000000000
111111111
e^2
00000
11111
000000000
111111111
00000
11111
000000000
111111111
00000
11111
000000000
111111111
00000
11111
000000000
111111111
000000000
111111111
e^1
t1
6.6
INTEGRABILIDADE
178
=
=
6.6
TEOREMA DE ARNOLD-LIOUVILLE
179
t2
e2
e1
t1
180
INTEGRABILIDADE
6.7
6.7
Vari
aveis de Ac
ao e Angulo
E ANGULO
VARIAVEIS
DE AC
AO
6.7
181
Vef
r
y
p
r1
r2
r1
r2
(a)
(b)
t2
t2
11
00
00
11
2
00
11
e2
0
1
0
0
1
11
00
1
0
1
0
1
0
0
1
e1 0
1
0
1
1
0
0
1
1
0
1
0
11
00
00
11
t1
1
0
1
0
0
1
00
02 11
11
00
e21
1
0
0
1
11
00
00
11
0
1
0
0
1
1
0
0
1
1
0
0
1
e1 0
1
00
0 11
1
00 11
00
11
t1
1 00
0
11
Figura 6.10: (a) Grupo estacionario para um potencial central generico; (b)
Caso particular do potencial de Kepler.
182
6.7
INTEGRABILIDADE
a melhor possvel. Como vimos as funcoes Fk geram uxos que nao estao
necessariamente ao longo dos circuitos irredutveis k . A ideia entao e denir
um novo conjunto de momentos Ik que sao funcoes dos Fk : Ik = Ik (F ). Como
os F sao constantes, os I tambem serao. O que dene os Is e a imposicao
que suas variaveis conjugadas sao os angulos k que variam de zero a 2 ao
longo dos circuitos k . As variaveis (I, ) sao chamadas de variaveis de ac
ao
e angulo. Vamos ver como denir a variavel I em sistemas com apenas um
grau de liberdade e depois estenderemos o calculo para um n
umero arbitrario
de graus [5, 3].
6.7.1
Um grau de liberdade
S
q
S
I
(6.74)
com as condicoes
(1)
(2)
I = I(E)
H
ME
d = 2.
E ANGULO
VARIAVEIS
DE AC
AO
6.7
183
que nada mais e do que a area no plano p-q envolvida pela superfcie de
energia. Derivando em relacao a I obtemos
I
I
I
I
A(I)
p
S
=
dq =
dq =
dq = d 2.
(6.77)
I
I
q I
q
Integrando resulta em A(I) = 2I ou
1
I=
2
I
pdq.
(6.78)
(6.79)
S(q, I) =
p(q, E(I))dq.
(6.80)
6.7.2
V
arios graus de liberdade
n
S(q, I) =
pk (q, I)dqk p dq
(6.81)
k=1
184
6.7
INTEGRABILIDADE
Ak
=
Ij
i
=
I
k
pi
dqi =
Ij
i
j
dqi =
qi
I
i
I
k
S
dqi
qi Ij
(6.83)
I
dj 2j,k
k
6.7.3
Exemplos
O oscilador harm
onico 1-D
E ANGULO
VARIAVEIS
DE AC
AO
6.7
185
2E
E
S(q, I) =
cos2 d = [ + sin 2/2] .
S
1
2
p=
= I(1 + cos 2)
= 2I cos
= 2I cos ;
q
q
2I cos
(
)
S
sin
sin 2
sin 2
2
=
= +
+I(1+cos 2)
= +
2I cos
= .
I
2
I
2
2I cos
O resultado da transformacao canonica e
p = 2I cos
q = 2I/ sin
e a evolucao temporal e
p=
2I0 cos (0 + t)
186
INTEGRABILIDADE
6.7
onde I0 = E/.
O oscilador harm
onico 2-D
Nesse caso a Hamiltoniana e soma de duas partes nao interagentes, H =
H1 + H2 = p21 /2 + 12 q12 /2 + p22 /2 + 22 q22 /2. Como H1 e H2 sao funcoes
independentes e em involucao, o sistema e integravel. A energia total E se
reparte em E1 e E2 e cada parcela e conservada. Nesse caso e conveniente
escolher H1 e H2 como funcoes Fi , e nao a Hamiltoniana total. Os valores
de E1 e E2 denem a superfcie Mf e, nessa superfcie, os valores assumidos
por cada variavel cam limitados aos intervalos
[
]
2Ei
2Ei
qi
,+
i
i
e
[
]
pi 2Ei , + 2Ei
E ANGULO
VARIAVEIS
DE AC
AO
6.7
(a)
q2
187
q2
(b)
E2
q1
(c)
(d)
E1
q1
q1
188
6.7
INTEGRABILIDADE
(a)
(b)
t2
1 00
0
11
00
11
2
00
11
00
11
11
1 00
0
11 00
00
11
11 00
2
0
11
00
1 00
0
11
00 11
11
11 00
00
t1
p2r
p2
GM m
+ 2
2 2r
r
2
pr dr =
2
rmax
rmin
GM
2(E + GM /r) I2 /r2 = I +
2E
6.8
SUPER-INTEGRABILIDADE
189
6.8
M 2 3 G2
.
(Ir + I )3
Super-integrabilidade
Vimos que um sistema com n graus de liberdade e integravel se tiver n constantes do movimento independentes e em involucao. Podemos nos perguntar
o que acontece se um sistema Hamiltoniano tiver mais do que as n constantes
necessarias. Dois exemplos importantes de sistemas desse tipo com n = 2
sao o oscilador harmonico isotropico e o problema de Kepler. A terceira
constante de movimento e o momento angular no primeiro caso e o vetor de
Laplace-Runge-Lenz no segundo. A conseq
uencia desta constante extra e que
a variedade Mf ca unidimensional e o movimento e sempre periodico. Veremos que o conjunto de tres constantes, apesar de independentes, nao estao
em involucao. Sistemas nessa categoria sao chamados de super-integr
aveis.
6.8.1
O vetor de Laplace-Runge-Lenz
Vamos mostrar que o problema gravitacional plano de dois corpos tem tres
constantes de movimento [5]. Duas delas sao a energia total e o momento
angular. Vamos supor um caso geral de forca central onde F = f (r)r/r.
Entao
r
p = f (r)
r
e
f (r)
f (r)
[r (r r )] =
[(r r )r r2 r ].
p L =
r
r
Usando 2r r = d(r r)/dt = d(r2 )/dt = 2rr e o fato de L ser constante
podemos escrever
]
[
rr
d
d (r)
2 r
(p L) = f (r)r
2 = f (r)r2
.
dt
r r
dt r
190
6.9
INTEGRABILIDADE
d (
r)
p L K
= 0.
dt
r
O vetor
r
r
e portanto uma constante de movimento e e conhecido como vetor de LaplaceRunge-Lenz. Como o movimento e plano e perpendicular a L, vemos que
A L = 0, o que mostra que A esta no plano da orbita. Podemos entao
escolher a direcao xa de A para medir o angulo orbital . Nesse caso
A = p L K
A r = Ar cos = r (p L) Kr.
Como r (p L) = L (r p) = L L = L2 , vemos que Ar cos = L2 Kr,
que ainda pode ser re-escrito como
(
)
1
K
A
= 2 1+
cos
r
L
K
que e a equacao da orbita (veja o captulo 1). Podemos entao identicar
A = K, onde e a excentricidade da elipse. Como A esta na direcao de
= 0, onde 1/r e maximo e r e mnimo, conclumos que o vetor de LaplaceRunge-Lenz aponta para o ponto mais baixo da
orbita (peri
elio no
caso do Sol) e tem m
odulo A = k.
A existencia desta terceira constante de movimento torna o problema
de Kepler super-integravel e faz com que todas as suas orbitas de energia
negativa sejam periodicas.
6.9
O teorema de Bertrand
6.9
O TEOREMA DE BERTRAND
191
L2
V (r) = U (r) +
2r2
L = mr2 .
Temos que separar a prova em dois casos: (A) n = 1, 2, . . . e Kn > 0
(para que o movimento seja limitado); (B) n = 1, 2, . . . e Kn < 0. O caso
n = 0 corresponde `a partcula livre e e trivial.
O potencial efetivo V (r) tem um u
nico mnimo dado por r0n+2 = L2 /(nKn )
que corresponde `a orbita circular de perodo = 2r02 /L e energia E0 =
V (r0 ). Para orbitas com energia proxima de E0 podemos expandir V (r)
em torno de r0 . Seja entao E = E0 + e r proximo de r0 . A equacao de
conservacao de energia ca
E0 + =
ou
=
V (r0 )
r 2
+ E0 +
(r r0 )2
2
2
r 2 V (r0 )
+
(r r0 )2
2
2
192
6.9
INTEGRABILIDADE
os perodos, chamada de n
umero de rotacao, e
W
=
r
V (r0 )r04
.
L
W = n+2
que e independente de Kn e de L. Esse n
umero certamente e racional para
n = 2 (W=2) e n = 1 (W=1). No entanto, essa analise mostra que as
orbitas vizinhas `a circular ainda serao fechadas se n = 7, 14, 23 etc. Vamos entao mostrar que, nesses casos, as orbitas com energia alta nao sao
periodicas.
Das equacoes de movimento para r e podemos derivar uma equacao
para a orbita, r = r(). Por simplicidade vamos considerar apenas o caso
Kn > 0 e, portanto, n > 0. Partimos de
dr
2
r =
= 1/
(E V )
dt
d
L
=
= 2
dt
r
e portanto
d
L/r2
=
dr
2(E V )
ou, integrando sobre um perodo radial,
rmax
= 2
rmin
L/r2
2(E V )
EXERCICIOS
6.10
193
1 rmax
L
=
=
.
2
W
2
rmin r 2(E V )
Como procuramos situacoes onde todas as orbitas sejam fechadas, independente da energia, vamos tomar E . Os pontos de retorno sao solucoes
de
L
E=
+ Kn r n
2r2
2
1/2
e sao dados aproximadamente por
rmax e rmin (L /2E) . Fazendo
a mudanca de variaveis x = L/( 2Er) obtemos
1 1
dx
1
W =
0
1 x2 Axn /E 1+n/2
dx
1 1
1
1
W =
= .
2
0
2
1x
No entanto, se todas as orbitas do potencial U = Kn rn sao periodicas, W
deve ser o mesmo para todas as energias.
Entao o valor W = 2 para altas
energias deve ser o mesmo que W = n + 2 para baixas energias, o que
ocorre apenas para n = 2. Uma analise similar para o caso Kn < 0 fornece
apenas o valor n = 1.
6.10
Exerccios
= 0.
2. Uma partcula com energia total positiva move-se em uma dimesao sob
a acao do potencial V (x) = F |x| onde F e uma constante positiva.
Use variaveis de angulo e acao para determinar o perodo em funcao da
energia. Qual o espectro de energias que resulta da aplicacao da regra
de quantizacao de Bohr-Sommerfeld?
194
6.10
INTEGRABILIDADE
eB
px +
y
2
)2
1
+
2m
eB
py
x
2
)2
.
I12 I22
+
.
2
2
EXERCICIOS
6.10
195
= q1 q2 (12 22 ).
196
INTEGRABILIDADE
6.10
Captulo 7
Estabilidade de Pontos de
Equilbrio e Orbitas
Peri
odicas
Nos proximos captulos estudaremos o efeito de pequenas perturbacoes em
sistemas Hamiltonianos integraveis. Veremos que perturbacoes tpicas provocam o aparecimento de orbitas periodicas isoladas na superfcie de energia,
sendo algumas delas estaveis e outras instaveis. As orbitas instaveis sao
responsaveis pelo aparecimento de movimento caotico em suas vizinhancas.
Neste captulo vamos apresentar o conceito de estabilidade linear de pontos de equilbrio e de orbitas periodicas. Essas u
ltimas serao tratadas como
pontos xos nos mapas de Poincare.
7.1
198
7.1
ESTABILIDADE
H
H 2
H 2
+
q +
p
p0 q0 p0
p20
(7.3)
H
H 2
H 2
p = p =
p
q0
q02
q0 p0
ou, em forma matricial,
Hqp
Hpp
q
q
q
A
p
p
Hqq Hpq
p
(7.4)
(7.5)
= det H .
(7.6)
Como a matriz A e real, se for um autovalor complexo e v seu autovetor, Av = v, entao tomando o complexo conjugado dessa equacao obtemos
Av = v . Isso mostra que tambem e autovalor de A com autovetor v .
Essa analise mostra que existem apenas duas possibilidades:
e real e e o segundo autovalor. Nesse caso det H < 0.
7.1
199
v1 (t) = v10 et
(7.7)
v 2 = Av2 = v2
v2 (t) = v20 e
(7.8)
1 v10q et + 2 v20q et
q(t)
t
t
1 v10p e + 2 v20p e
p(t)
v10q v20q
v10p v20p
et
et
(7.9)
V0 S(t)
Dessa expressao vemos que em t = 0
(0) = V0
= V01 (0).
(7.10)
200
7.1
ESTABILIDADE
(a)
11
00
00
11
(b)
11
00
00
11
v(t) = v0 eit .
(7.12)
(7.13)
7.1
201
v(t) + v (t)
v0 eit + v0 eit
=
= Re(v0 ) cos t Im(v0 ) sin t
2
2
1 [u+q (0) cos t uq (0) sin t] + 2 [u+q (0) sin t + uq (0) cos t]
q(t)
=
1 [u+p (0) cos t up (0) sin t)] + 2 [u+p (0) sin t + up (0) cos t)]
p(t)
cos t
sin t
sin t cos t
U0 R(t)
(7.15)
Desta equacao segue que (0) = U0 e portanto
(t) = U0 R(t)U01 (0).
(7.16)
7.1.1
Exemplo
q2 q4
p2
+k + .
2
2
4
202
7.1
ESTABILIDADE
p = kq q 3 0
e resultam em:
(a) q = p = 0
(b) p = 0 q = k
se k < 0.
0 1
.
A=
k 0
1
1
.
v+ =
1+k
i k
e v = v+
. Os vetores reais u+ e u sao
1
1
u+ =
1+k
0
u =
k
1+k
1
1 0
k
0
1
k+1
U0 =
U01 =
1+k
k
0
k
0 1
e, usando a equacao (7.16) obtemos
q(t)
cos ( kt)
sin ( kt)/ k
q(0)
p(t)
p(0)
k sin ( kt)
cos ( kt)
7.2
203
O leitor pode vericar que q(t)2 + k 1 p(t)2 = constante, o que mostra que
as orbitas vizinhas cam sobre elipses com semi-eixos ao longo dos eixos q e p.
Quando k < 0 a origem
passa a ser instavel e os dois novos pontos de
equilbrio p = 0 q = k bifurcam da origem. O leitor pode conrmar
que
esse
pontos
s
a
o
est
a
veis.
Na
origem
os
autovalores
cam
k =
1
1
1
1
.
v1 =
v2 =
1 + |k|
1
+
|k|
|k|
|k|
As matrizes V0 e V01 cam
1
1
1
V0 =
1 + |k|
|k| |k|
V01
|k| 1
|k| + 1
|k|
|k| 1
cosh ( |k|t)
q(t)
sinh ( |k|t)/ |k|
q(0)
=
p(t)
p(0)
|k| sinh ( |k|t)
cosh ( |k|t)
Note que v1 v2 = (1 |k|)/(1 + |k|) e os autovetores nao sao ortogonais.
Para |k| pequeno eles sao quase paralelos, cando ortogonais para k = 1
e (anti)paralelos de novo no limite |k| . Para uma discussao mais
detalhada veja as referencias [22, 23].
7.2
204
7.2
ESTABILIDADE
(7.17)
Note que essa solucao e analoga `as solucoes (7.7) e (7.12). Diagonalizando
A = JH0 diagonalizamos tambem M . Se e autovalor de A, entao et sera
autovalor de M e o comportamento de dependera dos autovalores de A
serem reais ou complexos.
A matriz M (t) e chamada de matriz tangente e e uma matriz simpletica,
i.e., M T JM = J. Para mostrarmos essa propriedade notamos primeiramente
que ela e satisfeita em t = 0, pois M (0) = 1. Vamos entao mostrar que
d(M T JM )/dt = 0. Com isso M T JM deve ser independente do tempo e
igual ao seu valor em t = 0, i.e., J. Para calcular a derivada de M em
relacao ao tempo fazemos
d
M = eJH0 t = JH0 M.
dt
(7.18)
Como H0 e simetrica e J T = J,
M T = M T H0 J T = M T H0 J.
(7.19)
Assim temos:
)
d ( T
M JM = M T JM + M T J M = M T H0 JJM + M T JJH0 M = 0.
dt
Finalmente temos as seguintes propriedades sobre os autovalores de M :
(1) Se e autovalor de M , entao tambem e. Isso segue do fato que M
e real. De fato, tomando o complexo conjugado da equacao de autovalores
M v = v obtemos M v = v .
(2) Se e autovalor de M , entao 1 tambem e. Isso segue do fato de M
ser simpletica. Escrevendo a equacao de autovalores na forma 1 v = M 1 v
e notando que M 1 = J 1 M T J temos 1 v = J 1 M T Jv ou M T (Jv) =
7.3
205
7.3
206
7.3
ESTABILIDADE
p
C
B
A
C
Fq (q0 + , p0 )
Fq (q0 , p0 )
Fqq (q0 , p0 )
Fqq
=
+
A +
B =
Fp (q0 + , p0 )
Fp (q0 , p0 )
Fpq (q0 , p0 )
Fpq
e, da mesma forma,
C =
Fq (q0 , p0 + )
= A +
Fp (q0 , p0 + )
Fqp
Fpp
Fqq
Fqp
= B A =
= C A =
Fpq
Fpp
de modo que
Fqq Fqp
A = | | =
Fpq Fpp
A det [F (0 )].
(7.21)
7.3
207
q
Fqq Fqp
q
p
Fpq Fpp
p
A estabilidade de 0 e determinada pelos autovalores da matriz Jacobiana
calculada no ponto xo. A equacao de autovalores resulta
2 T r[F (0 )] + 1 = 0.
(7.22)
(7.23)
1 = e
1 = e
= ei
ponto xo estavel.
208
7.4
ESTABILIDADE
xn mod 1
(7.26)
yn+1 = xn + 2yn ;
yn mod 1.
Mapa de Meyer
xn+1 = xn pn
(7.27)
pn+1 = pn + + (xn pn )2 .
Mapa do Padeiro
7.4
Variedades Est
aveis e Inst
aveis
A analise que zemos na secao 7.1 do comportamento dinamico nas vizinhancas de um ponto de equilbrio instavel mostra a existencia de duas direcoes
7.4
VARIEDADES ESTAVEIS
E INSTAVEIS
209
210
7.5
ESTABILIDADE
Ws
Wu
Wu
Ws
7.5
Exerccios
p2
+ q(1 aq 2 );
2
a > 0.
EXERCICIOS
7.5
211
212
ESTABILIDADE
7.5
Captulo 8
Teoria de Perturba
c
ao
Como vimos no captulo 6, sistemas integraveis sao, de certa forma, triviais. Isso ocorre porque existem coordenadas canonicas especiais, de acao e
angulo, nas quais o movimento e linear. Embora a construcao explcita dessa
transformacao canonica possa ser difcil, pois podem aparecer integrais complicadas que tem que ser resolvidas, o teorema de Arnold-Liouville garante
sua existencia. Mas sera que todo sistema Hamiltoniano e integravel? Infelizmente a resposta e nao. Na verdade os sistemas integraveis com mais
de um grau de liberdade sao raros e qualquer perturbacao generica pode destruir as constantes de movimento tornando o sistema nao-integravel. Em
outras palavras, sistemas integraveis sao estruturalmente instaveis. O objetivo deste captulo e estudar o efeito de pequenas perturbacoes em sistemas
integraveis. Seguiremos de perto a apresentacao da referencia [24]. Outras
fontes importantes sao [25, 26, 27]
8.1
Um grau de liberdade
(8.1)
= 0 + t;
= H0 /I.
(8.2)
214
TEORIA DE PERTURBAC
AO
8.1
Como estamos nos restringindo aqui a sistemas com apenas um grau de liberdade, ele e sempre integravel, e tal transformacao deve existir para todo .
No entanto, trataremos o problema de forma perturbativa apenas, pois estenderemos o tratamento para mais graus de liberdade na proxima secao.
Seja S(J, ) a funcao geratriz (do tipo F2 ) dessa transformacao. Como
para << 1 a transformacao deve ser proxima da identidade, podemos
escrever
S(J, ) = J + S1 (J, ) + 2 S2 (J, ) + . . . .
(8.3)
A funcao S1 sera escolhida de forma a eliminar a dependencia angular da
nova Hamiltoniana. As equacoes da transformacao sao
I=
S(J, )
S1 (J, )
=J +
+ O(2 )
(8.4)
S(J, )
S1 (J, )
=+
+ O(2 ).
(8.5)
J
J
Podemos resolver essas equacoes para as coordenadas originais em termos
das novas em primeira ordem em :
=
I =J +
S1 (J, )
+ O(2 )
S1 (J, )
+ O(2 ).
J
Substituindo essa transformacao na Hamiltoniana obtemos
=
(8.6)
(8.7)
(8.8)
]
[
S1
+ H1 (J, ) + O(2 )
= H0 (J) + (J)
8.1
UM GRAU DE LIBERDADE
215
(8.9)
(8.10)
n=
H1 (J, ) =
n=
Substituindo em K1 obtemos
K1 =
(8.11)
n=
H1n (J)
se n = 0
i
n(J)
S1n (J) =
0
se n = 0
(8.12)
= H0 (J) + H1
S(J, ) = J +
H1n (J)
i
ein
n(J)
n=0
(8.14)
o que resolve o problema ate primeira ordem em . Para fechar essa secao
notamos que existe uma maneira bem mais direta de se obter a funcao geratriz
S1 sem ter que fazer a expansao de H1 em serie de Fourier. Para isso notamos
de (8.8) que
S1
S1
1 + H1
+ H1
+H
(8.15)
K1 =
216
TEORIA DE PERTURBAC
AO
8.1
onde separamos H1 em seu termo medio mais o resto, que e a parte depen 1 ou,
dente de . Como vimos que K1 = H1 , entao S1 / = H
1
1 d.
S1 =
H
(8.16)
8.1.1
Exemplo: o p
endulo simples
(8.17)
p2
+ mgl( 2 /2 4 /24) + O( 6 ).
2ml2
(8.18)
Os termos
quadraticos caracterizam um oscilador harmonico H0 de freq
uencia
p = 2mglI/ cos
= 2I/mgl sin .
(8.19)
Substituindo em H obtemos, ate ordem 4,
H = I
I2
sin4 H0 + H1 .
6ml2
(8.20)
8.1
UM GRAU DE LIBERDADE
217
V()
1.0
0.5
0.0
-8
-6
-4
-2
218
TEORIA DE PERTURBAC
AO
8.1
I2
(3 4 cos 2 + cos 4)
48ml2
]
I2 [
2i
2i
4i
4i
6
4(e
+
e
)
+
(e
+
e
)
.
=
96ml2
(8.21)
3J 2
.
48ml2
(8.22)
A freq
uencia das oscilacoes agora depende de J:
=
K
J
=
.
J
8ml2
(8.23)
iH1,2 2i
iH1,4 4i
(e e2i ) +
(e e4i )
2
4
H1,2
H1,4
=
sin 2 +
sin 4
2
=
J2
(sin 4 8 sin 2)
192ml2
(8.24)
8.2
219
S1
J2
=J+
(cos 4 4 cos 2)
48ml2
(8.25)
S1
J
=
(sin 4 8 sin 2)
=
J
96ml2
onde J(t) = J0 e (t) = 0 +t. Para obter a evolucao temporal nas variaveis
originais, basta substituir I(t) e (t) na transformacao (8.19).
8.2
8.2.1
1
p2
+ m 2 q 2 + q 4 /4
2m 2
I2
sin4 .
m2 2
3 I
H
= = +
4 m2 2
I
que
e a freq
uencia do movimento perturbado. Note que depende de I,
2
2 2
2
+ O(2 )
I(E)
=
8 m2 4
220
TEORIA DE PERTURBAC
AO
8.2
8.2
221
I1
2 1
I1
11
1 11 4
10
5
q
9
12 7
2
7 10
2 12 5
38
2 1
222
8.2.2
TEORIA DE PERTURBAC
AO
8.2
O Caso n
ao-ressonante
(8.26)
k = 0 + k t;
k = H0 /Ik .
(8.27)
(8.28)
S(J, )
S1 (J, )
= Jk +
+ O(2 )
k
k
(8.29)
k =
S1 (J, )
S(J, )
= k +
+ O(2 ).
Jk
Jk
(8.30)
S1 (J, )
+ O(2 )
k
(8.31)
k = k
S1 (J, )
+ O(2 ).
Jk
(8.32)
8.2
223
H0 S1
k=1
[
= H0 (J) +
Jk k
n (
k=1
]
+ O(2 ) + [H1 (J, ) + O()]
S1
k (J)
k
+ H1 (J, ) + O(2 )
[
]
S1
= H0 (J) +
+ H1 (J, ) + O(2 )
(8.34)
(8.35)
n=
H1 (J, ) =
n=
(8.36)
n=
(8.37)
224
TEORIA DE PERTURBAC
AO
8.2
H1n (J)
se n = 0
i
n (J)
S1n (J) =
(8.38)
0
se n = 0
cancela todos os termos de K1 , menos o termo de H1n com n = 0. O resultado
e
2
n
1
K1 (J) = H10 (J) =
H1 (J, )dk H1 .
(8.39)
2
0
k=1
Dessa forma obtemos, como no caso unidimensional,
K(J)
= H0 (J) + H1
S(J, ) = J +
H1n (J)
i
ein
n
(J)
n=0
(8.40)
.
(8.41)
2
n1
O caso nao ressonante corresponde a = 1 /2 irracional. No entanto,
sabemos que qualquer irracional pode ser aproximado tao bem quanto se
queira por um racional, i.e., existem inteiros r e s tal que |1 /2 r/s| <
para qualquer . Assim, conforme somamos sobre n1 e n2 , o denominador
em (8.38) pode car arbitrariamente pequeno e a serie pode nao convergir. A
convergencia dependera dos coecientes de Fourier (n1 , n2 ) de H1 irem a zero
mais rapido do que a aproximacao de pelo racional n2 /n1 correspondente. A
demonstracao da convergencia e dada pelo teorema KAM que discutiremos
no proximo captulo. Note que, alem da questao de convergencia da serie
8.2
225
8.2.3
O Caso ressonante
Vamos nos restringir agora a sistemas com dois graus de liberdade para simplicar os calculos e a interpretacao dos resultados. Supomos entao que
estamos interessados na dinamica perturbada na vizinhanca de um toro para
o qual = 1 /2 = r/s com r e s inteiros e primos entre si. Esse toro e
chamado de toro ressonante. Entao vemos que n1 1 + n2 2 se anula nao so
para n1 = n2 = 0 mas tambem para n1 = ps e n2 = pr para qualquer
valor inteiro de p, positivo ou negativo. Vamos excluir o caso p = 0, pois
este corresponde a n1 = n2 = 0 que sera levado em conta separadamente. A
escolha que zemos para S1n em (8.38) deve entao ser modicada.
Vamos reescrever a expressao de K1 na forma
K1 =
(8.42)
n=
e separar a soma sobre n = (n1 , n2 ) em tres partes: (a) (n1 , n2 ) = (0, 0), (b)
(n1 , n2 ) = p(s, r) np , com p = . . . , 2, 1, 1, 2, . . . e (c) outros valores de
n. Com isso obtemos
p=0
H1n (J)
se n = 0 e n = np
i
n (J)
S1n (J) =
.
(8.44)
0
se n = 0 ou n = np
Essa escolha permite eliminar a terceira parcela da Hamiltoniana K1 , mas
nao permite a eliminacao da dependencia angular:
K1 = H100 +
H1,ps,pr eip(s1 r2 ) .
(8.45)
p=0
226
TEORIA DE PERTURBAC
AO
8.2
Veremos agora que a forma dessa Hamiltoniana esta relacionada ao aparecimento de ilhas ressonantes (cercadas de regioes caoticas) em sistemas perturbados. Para isso notamos primeiramente que, como K1 e real, temos
2p cos [p(s1 r2 ) + p ].
(8.46)
p=1
e sua inversa e
J1 = J1 /s
J2 = J2 + rJ1 /s
1 = s1 r2
2 = 2
(8.48)
J1 = sJ1
J2 = J2 rJ1
.
1 = 1 /r + r2 /s
2 = 2
(8.49)
cos [p1 ].
2p (J)
(8.50)
p=1
(8.51)
8.2
227
Como J2 e constante e 2 nao aparece, reduzimos o problema a um movimento unidimensional. Na verdade, como 2 2 = 0, o movimento no
plano (1 , J1 ) e apenas uma projecao do movimento global onde 2 tambem
depende do tempo. Se marcarmos os valores de (1 , J1 ) cada vez que 2
passar por 0 (ou 2), teremos um mapa de Poincare.
Os pontos de equilbrio (1 , J1 ) de K no plano (1 , J1 ), que correspondem
a orbitas periodicas do sistema, sao dados por:
K
H0
H100
1
= + + 2 cos 1 = 0
J1
J1
J1
J1
(8.52)
K
= 21 (J1 ) sin 1 = 0.
1
O valor de J2 e constante e calculado sobre o toro ressonante.
Temos entao dois pontos de equilbrio em 1 = 0 e 1 = , como no problema do pendulo. Uma u
ltima simplicacao nos permite olhar o movimento
apenas nas vizinhancas dos pontos de equilbrio. Para isso expandimos K
em torno de J1 ate segunda ordem em J1 = J1 J1 . A expansao de H0
tem o termo de ordem zero, que e constante e pode ser esquecido, e os termos
de primeira e segunda ordem. Para H100 e 1 apenas calculamos sua ordem
zero, pois eles tem um multiplicando. Acontece que o termo de ordem um
de H0 da zero:
H0 J1 H0 J2
H0
=
+
J1 J1
J2 J1
J1
(8.53)
= 1 s + 2 (r) = 0.
Assim obtemos uma Hamiltoniana efetiva dada simplesmente por
K =
G
(J1 )2 F cos 1 .
2
(8.54)
4F/G
H1,s,r . A largura da ressonancia diminui entao
e J1 =
com a raiz quadrada do parametro perturbativo e tambem com a ordem da
ressonancia, que deve cair exponencialmente rapido.
228
TEORIA DE PERTURBAC
AO
8.2
Figura 8.4: Mapa standard para (a) k=0.01; (b) k=0.2; (c) k=0.5 e (d) k=1.0
8.2
229
n+1 = n + In+1 .
(8.55)
Como esse mapa preserva areas, ele pode ser pensado como a secao de
Poincare de um sistema Hamiltoniano perturbado. O parametro perturbativo e K. Para K = 0 a acao I permanece constante, enquanto o angulo
salta sempre de um valor constante que depende de I. Para I = 0 todos
os pontos sao pontos xos do mapa. A linha I = /3 1 corresponde a
um toro ressonante, pois os pontos sao orbitas periodicas de perodo 3. O
mesmo ocorre em I = /2 1.57 onde estao orbitas de perodo 2 e, em geral
em I = r/s, onde cam orbitas de perodo s.
Na gura 8.4 mostramos varias trajetorias do mapa para quatro valores
do parametro K. Cada trajetoria, correspondendo a uma condicao inicial
diferente, e representada com uma cor diferente. Proximo de I = 0 abre-se
imediatamente uma ilha grande. Isso ocorre porque, para I 0 qualquer
valor de K e signicativo. Olhando o graco para K = 1 podemos distinguir
claramente duas cadeias de ilhas perto de I = 3 e I = 3 e tres cadeias perto
de I = 1.5 e I = 1.5. Outras cadeias com mais ilhas podem ser observadas,
porem com menor amplitude.
8.2.4
Estruturas fractais
A teoria de perturbacao que desenvolvemos preve que o movimento nas vizinhancas de um toro racional e modicado de forma qualitativa. O conjunto
de orbitas periodicas que cobria o toro e substitudo por uma cadeia de ilhas
que possui geralmente apenas duas orbitas periodicas: uma estavel no centro
da ilha e outra instavel nos seus extremos. Proximo do ponto estavel podemos expandir o cosseno como zemos no exemplo do pendulo. Reescrevemos
230
TEORIA DE PERTURBAC
AO
8.2
J1 = 2L1 1 /G cos 1
1 = 2L1 1 /F sin 1
(8.57)
onde 1 = F G, obtemos
K =
K = 1 L1
21 L21
sin4 1 + O(2 , 6 ).
6F
(8.58)
21 L21
+ O(2 ) K0 + 2 K2 (L, ) =
16F
(8.59)
EXERCICIOS
8.3
231
L2
L2
16 L2
e novamente podem haver ressonancias, i.e., valores de L1 e L2 para os quais
w1 /w2 e um n
umero racional. Nessas regioes a dependencia angular de K2
nao pode ser totalmente eliminada por teoria de perturbacao e pequenas
ilhas aparecerao onde haveria um toro secundario racional. Dentro dessas
pequenas ilhas o processo se repete em ordem mais alta de : pequenos toros
terciarios circundam o ponto central da ilha, etc.
O resultado e uma estrutura fractal de ilhas dentro de ilhas. A largura
dessas ilhas diminui nao apenas com , mas tambem com a ordem da ressonancia e cam exponencialmente pequenas conforme adentramos a estrutura fractal. A gura 8.5 mostra um ampliacao do mapa standard onde a
estrutura secundaria de ilhas e visvel.
Outra caracterstica importante desses sistemas perturbados e a persistencia de alguns toros para perturbacoes pequenas (veja por exemplo a
gura 8.4 para K pequeno). Isso indica que a serie perturbativa deve convergir para alguns toros irracionais. Vemos tambem a existencia de movimento
aparentemente aleatorio para perturbacoes maiores, trataremos esses assuntos no proximo captulo.
8.3
Exerccios
232
TEORIA DE PERTURBAC
AO
8.3
Captulo 9
O Teorema KAM
As duas questoes de convergencia da serie perturbativa levantadas no nal
da secao 8.2.2 do captulo anterior foram tratadas pelo matematico russo
Andrey Kolmogorov (1903-1987) em 1954 e, mais tarde, extendidas e tornadas rigorosas pelo seu aluno ucraniano Vladimir Arnold (1937-) em 1963
(para sistemas Hamiltonianos) e pelo alemao J
urgen Moser (1928-1999) em
1962 (para mapas). O resultado e conhecido hoje como Teorema KAM. A
demonstracao desse teorema pode ser encontrada, por exemplo, no livro Ergodic Problems of Classical Mechanics de Arnold e Avez [18], no apendice
34, e e bastante complexa e sosticada. Em vez de tentar esbocar uma prova
simplicada, o que provavelmente nao e possvel, vamos ilustrar os problemas de convergencia das series (8.28) e (8.34) atraves do estudo de dois
problemas muito simples ligados `a questao de encontrar os zeros de funcoes
a uma variavel real. Alem disso, como vimos no captulo anterior, o efeito
da perturbacao depende fortemente da razao entres as freq
uencias do movimento nao perturbado. Veremos portanto algumas propriedades basicas dos
n
umeros irracionais e de suas aproximacoes por racionais. Depois dessas
discussoes preliminares vamos enunciar o teorema KAM e discutir algumas
aplicacoes simples em astronomia. Essa discussao seguira de perto a apresentacao de M. Berry em [28].
9.1
O m
etodo superconvergente de Newton
234
O TEOREMA KAM
9.1
1 (n)
f (
x) = f (x0 + (
x x0 )) =
f (x0 )(
x x0 )n 0
n!
n=0
1 f (2)
1 f (3)
f (0)
2
3
(
x
x
)
+
(
x
x
)
+
.
.
.
=
.
0
0
2! f (1)
3! f (1)
f (1)
9.2
O METODO
SUPERCONVERGENTE DE NEWTON
235
f (xn )
f (xn1 + n )
=
.
f (xn )
f (xn1 + n )
1 f (xn1 ) 2
.
2 f (xn1 ) n
Dessa forma, conquanto que o zero de f (x) nao seja uma tangencia (onde
f (x) = 0) a seq
uencia de distancias e: 1 = , 2 = O(2 ), 3 = O(4 ),
8
4 = O( ), etc. A convergencia e, portanto, muito mais rapida do que a
serie usual dada pela equacao (9.1).
Esse e um dos procedimentos utilizados por Kolmogorov para demonstrar
o teorema KAM. Mostra-se em primeiro lugar a convergencia da serie de
Fourier para S1 , equacao (8.28), para certos toros nao-perturbados iniciais,
i.e., para certos valores das variaveis de acao I. Com isso consegue-se um
novo conjunto de variaveis J(1) e (1) , diferindo das originais em ordem , de
tal forma que, em primeira ordem na perturbacao, os J(1) sao constantes.
Em seguida, reescreve-se a Hamiltoniana em termos dessas novas variaveis
de forma que a dependencia em (1) e da ordem 2 . Busca-se entao um novo
conjunto de coordenadas J(2) e (2) , diferindo de J(1) e (1) em ordem 2 e
mostra-se a convergencia da serie S1 associada, e assim por diante. A cada
passo a dependencia das variaveis de angulo no parametro e o quadrado da
dependencia anterior.
No entanto, para que tudo isso funcione, temos que mostrar quando as
series para S1 convergem. Novamente ilustraremos o procedimento de forma
bastante simples.
236
9.2
O TEOREMA KAM
f(x)
g(x)
x0
9.2
Perturbac
oes singulares
Vamos voltar ao problema do calculo dos zeros de uma funcao suave. Vamos
supor que podemos escrever a funcao como F (x) = f (x) + g(x) de tal forma
que sabemos onde estao os zeros de f (x). Para simplicar as coisas vamos
supor que f (x) = x x0 . Se g(x) for tambem uma funcao bem comportada o
calculo dos zeros de f nao apresentara surpresas. Suponha, no entanto, que
g(x) tenha uma singularidade em x = y, proximo de x0 . Como um exemplo
concreto considere
F (x) = (x x0 ) +
xy
com y > x0 , conforme ilustrado na gura 9.1.
Como F (x) e muito simples, podemos calcular a posicao de seus zeros explicitamente. Impondo F (x) = 0 encontramos a seguinte equacao do segundo
grau:
x2 x(x0 + y) + (yx0 + ) = 0.
A condicao para existencia de solucoes reais e que
(x0 y)2 4 0.
A gura 9.2 mostra o comportamento de F (x) para < 0, = 0 e > 0.
Entao, xando a distancia = y x0 , entre o zero nao perturbado e a posicao
PERTURBAC
OES
SINGULARES
9.3
> 0
= 0
< 0
f(x)
x0
f(x)
x0
237
x0
f(x)
y
x
238
9.3
9.3
O TEOREMA KAM
Frac
oes contnuas
d0 d1
,
10
d0 d1 d2
,
100
d0 d1 d2 d3
, . . . , etc.
1000
Nessa seq
uencia, o erro cometido, i.e., a distancia entre o n
umero irracional
e sua aproximacao racional, e dado por
r 1
(9.2)
< .
s
s
Para o n
umero = 3.14159265 . . . e r/s = 3141/1000, o erro e menor do que
1/1000, pois esta na quarta casa decimal.
Existe, no entanto, uma outra maneira de gerar aproximacoes racionais
para n
umeros irracionais que e bem mais eciente. Nesse metodo, conhecido
como fracoes contnuas, o n
umero e escrito na forma
1
= a0 +
a1 +
a2 +
1
a3 + . . .
FRAC
OES
CONTINUAS
9.3
239
k=0
ak = [ ]
= ( ak)
k=k+1
=3+
7+
15 +
1+
1
292 + . . . .
Exemplo 9.3.2 O n
umero e:
1
e=2+
1+
2+
1+
1+
1
4 + ....
240
9.3
O TEOREMA KAM
rn
= a0 +
sn
(9.3)
a1 +
a2 +
1
an
e a aproximacao de ordem n 1. De fato, podemos mostrar por inducao que
... +
rn = an rn1 + rn2
(9.4)
sn = an sn1 + sn2
onde r0 = a0 , s0 = 1, r1 1 e s1 0. Note que, para n > 1, sn > sn1 .
Exerccio: Demonstre essa relacao.
Soluc
ao: e facil ver que (9.4) vale para 0 e 1 . Supomos entao que ela seja
valida para n e mostramos que vale tambem para n+1 . Usamos agora o
fato que a expansao de n+1 como uma seria do tipo (9.3) ca identica `a serie
de n se zermos an + 1/an+1 a
n . Assim, escrevendo n+1 = rn /
sn temos
que
rn = a
n rn1 + rn2
sn = a
n sn1 + sn2 .
Substituindo a
n = (an an+1 + 1)/an+1 e re-arranjando os termos obtemos
rn =
1
[a r
an+1 n+1 n
+ rn1 ]
sn =
1
[a s
an+1 n+1 n
+ sn1 ].
FRAC
OES
CONTINUAS
9.3
241
(1)n+1
.
sn sn1
(9.5)
Essa equacao mostra que os aproximantes racionais de rn /sn sao alternadamente maiores e menores do que , como ilustra a gura 9.4. Alem disso, essa
relacao mostra que ou n < < n+1 (por exemplo, para n = 2 na gura) ou
n+1 < < n (como para n = 3 na gura). No primeiro caso vale a relacao
0 < n < n+1 n . No segundo caso vale n+1 n < n < 0, de
forma que sempre e verdadeira a desigualdade
| n | < |n+1 n | =
1
1
< 2.
sn sn+1
sn
(9.6)
242
9.3
O TEOREMA KAM
5+1
=
= 1.6180339 . . . .
2
(9.7)
F1 = F0 = 1
9.4
O TEOREMA KAM
243
9.4
O teorema KAM
Considere um sistema integravel com dois graus de liberdade com Hamilto 1 (I1 , I2 ) independente das
niana H0 (I1 , I2 ) e uma perturbacao da forma H
variaveis angulares 1 e 2 . Cada superfcie de energia de H0 e composta por
uma famlia de toros, e cada toro e caracterizado pela razao 0 = 10 /20
entre as freq
uencias de rotacao nas direcoes dos angulos 1 e 2 respectivamente.
244
O TEOREMA KAM
9.4
freq
uencias e0 = 2 e, para cada valor de , buscar o toro de H com o
mesmo = 2. Se esse toro existir
para um intervalo nito de variacao
de , dizemos que o toro com 0 = 2 foi preservado pela perturbacao, ou
sobreviveu `a perturbacao, pois existia em H0 e continua existindo em H.
Neste caso particular onde tanto H0 quanto H sao integraveis, todos os toros
sobrevivem `a perturbacao.
Considere agora uma perturbacao generica H1 (I1 , I2 , 1 , 2 ) como zemos no captulo 8. O sistema perturbado H = H0 +H1 nao e mais integravel
e nao e mais possvel saber a priori quais toros sobrevivem `a perturbacao
(se e que algum toro sobrevive) e quais sao destrudos. O teorema KAM
diz respeito a essa questao e prova que a serie perturbativa, desenvolvida
com a tecnica superconvergente `a la Newton, converge para toros irracionais
cuja razao de freq
uencias seja sucientemente irracional para que a seguinte
relacao seja satisfeita:
1 r K()
>
(9.8)
2 s
s2.5
para todos r e s inteiros e onde K() e independente de r e s e vai a zero
quando vai a zero.
Toros com razao de freq
uencias transcendentais, por exemplo, nao satisfazem essa relacao e sao os primeiros a serem destrudos. Vamos assumir
que todos os toros que nao satisfazem essa relacao sao destrudos. Isso inclui
todos os toros racionais com 0 = r/s e uma pequena vizinhanca deles, onde
1 r K()
<
.
(9.9)
2 s
s2.5
Vamos entao estimar qual a fracao dos toros que sobrevivem `a perturbacao.
Ora, como os n
umeros racionais sao densos nos reais e temos que retirar
9.5
O TEOREMA KAM
1
5
1
4
1
3
2
5
1
2
2
3
245
3
4
K()
s=1
s2.5
(s 1) <
K()
s=1
s2.5
s=
K()
s=1
s1.5
2.6K().
Como K() vai a zero quando vai a zero, para pequenas perturbacoes quase
todos os toros irracionais sobrevivem!
O resultado nal e que, no sistema perturbado, apesar de nao haver duas
constantes de movimento, a maioria das orbitas continuam sobre toros. Aquelas que nao estao sobre toros formam um conjunto pequeno mas nito, distribudo no espaco de fases entre os toros que caram.
O fator K/s2.5 nas equacoes (9.8) e (9.9) de fato e da forma K/s onde
> 2 depende de H0 . Quanto maior o valor de menores as vizinhancas
removidas proximas aos toros racionais e mais resistente a Hamiltoniana `a
perturbacoes. Por outro lado, se e muito pequeno, qualquer perturbacao
leva `a destruicao de uma fracao consideravel dos toros.
O teorema KAM nao diz nada sobre o que acontece na regiao do espaco de
fases onde nao ha mais toros. Voltaremos a esse ponto no proximo captulo.
246
9.5
O TEOREMA KAM
r
rB
M
x
x
9.5
9.5.1
Aplicac
oes em astronomia
O problema de tr
es corpos em um plano
Vamos considerar aqui uma versao bastante restrita do problema gravitacional de tres corpos que, apesar de simplicada, e u
til para certos problemas
de astronomia. Para xar ideias podemos pensar que os tres corpos sao o
Sol, J
upiter e um pequeno asteroide. As massas desse tres corpos, que denominaremos genericamente de A, B e C, sao, respectivamente, M , m e ,
com M >> m >> .
Como e muito pequena, podemos assumir que o movimento do sistema
A-B nao e afetado por C e suas orbitas sao conhecidas. Para tornar tudo
mais simples vamos supor que A ca parado na origem (pois M >> m) e
que B esta em orbita circular de raio rB e freq
uencia angular . Queremos
estudar o movimento de C sob a inuencia de A e B assumindo que tudo
acontece no plano orbital do sistema A-B, conforme ilustrado na gura 9.8.
A Lagrangeana para o corpo C no referencial x-y de A e dada por
1
GM
Gm
L = r2 +
+
2
r
|r rB (t)|
APLICAC
OES
EM ASTRONOMIA
9.5
247
H =
+
2
2 2r2
r
r2 + rB
2rrB cos
(9.10)
H0 + H1
onde /m e o parametro perturbativo. A Hamiltoniana H0 descreve a
interacao de C com A e e certamente integravel. As constantes de movimento
sao a energia e p . A interacao entre C e B, H1 , quebra a integrabilidade
pois depende de .
Para aplicar o teorema KAM a esse problema precisamos primeiramente
facil ver que
escrever H0 em termos de suas variaveis de acao e angulo. E
2
1
p d = p .
I =
2 0
A variavel de acao Ir e dada por
1
Ir =
2
1
pr dr =
2
GM
2 E + I +
r
I2
dr.
r2
248
9.5
O TEOREMA KAM
G2 M 2 3
I .
2(Ir + I )2
(9.11)
As freq
uencias do movimento nao-perturbado sao
0 = + C
(9.12)
0r = C
onde
C =
G2 M 2 3
(Ir + I )3
(9.13)
e a freq
uencia de Kepler de C em torno de A no sistema inercial. A razao
entre as freq
uencias e
0
=1
.
(9.14)
0r
C
9.5.2
Falhas no cintur
ao de aster
oides
9.5
APLICAC
OES
EM ASTRONOMIA
249
9.5.3
Falhas nos an
eis de Saturno
Existem varias teorias sobre a origem dos aneis de Saturno. Uma delas,
proposta por Edouard Roche no seculo 19, diz que eles se formaram devido
250
9.5
O TEOREMA KAM
m
2a m
2a
R
M
`a desintegracao, devido aos efeitos de mare, de uma lua que orbitava nessa
regiao. Uma variante dessa teoria diz que a lua foi atingida por um grande
cometa e se despedacou. Uma terceira hipotese e a de que as partculas
dos aneis sao restos da nuvem de poeira original que formou Saturno. Essa
u
ltima hipotese parece nao muito aceita, pois ha indicacoes que os aneis
sejam recentes.
A teoria de Roche e interessante do ponto de vista mecanico e vamos
apresenta-la aqui rapidamente. A gura 9.10 mostra um planeta de massa
M e um satelite de massa 2m que dividimos cticiamente em duas metades
de raio a. As duas metades sentem forcas gravitacionais diferentes, pois uma
delas esta ligeiramente mais afastada do planeta que a outra. Esse gradiente
de atracao provoca uma tensao repulsiva entre elas, chamada de efeito de
mare. Por outro lado, as duas metades estao tambem conectadas pela atracao
gravitacional m
utua. A desintegracao acontece quando a repulsao da mare
vence a atracao entre as duas metades.
A forca atrativa entre as duas metades e
Fat =
Gm2
.
4a2
EXERCICIOS
9.6
251
2
(R + r + a)
(R + r + 3a)2
[
)2 ]
(
GM m
2a
=
1 1+
(R + r + a)2
R+r+a
Fmare =
4GM ma
4GM ma
.
3
(R + r + a)
r3
9.6
Exerccios
1. Expanda os n
umeros abaixo em fracoes contnuas ate terceira ordem e
calcule o erro entre a aproximacao racional e o n
umero dado.
(a)
(b) 2
(c) e
252
9.6
O TEOREMA KAM
x=
1+
2+
1+
1
2...
x=
1+
k+
1+
1
k...
Captulo 10
Caos Hamiltoniano
O teorema KAM nao diz nada sobre o comportamento das trajetorias nas
regioes proximas aos toros racionais, onde a teoria de perturbacao nao converge. A dinamica nessas regioes e extremamente rica e complexa e sera
o assunto deste captulo. Vamos inicialmente demonstrar o teorema de
Poincare-Birkho, que mostra a persistencia de algumas orbitas periodicas
onde haviam toros racionais. O teorema ainda arma que metade dessas
orbitas periodicas sao instaveis. Veremos que isso leva ao aparecimento dos
chamados emaranhados homoclnicos que, por sua vez, estao associados a
movimentos caoticos. Esse captulo esta baseado nas referencias [28, 19, 24].
10.1
O mapa de torc
ao
254
10.1
CAOS HAMILTONIANO
Q1 = 2I1 sin 1
P1 = 2I1 cos 1
Q2 =
2I2 sin 2
P2 =
2I2 cos 2 .
1 = 10 + 1 t
I2 = I20
2 = 2 t
P1 (t1 ) =
cos (2)
sin (2)
Q10
Q11
=
(10.1)
sin (2) cos (2)
P10
P11
ou, em notacao simpletica
1 = P0 ()0 .
(10.2)
O MAPA DE TORC
AO
10.1
255
P1
I >I
I
Q1
I< I
Figura 10.1: Mapa de torcao T0 = P0s . Pontos sobre I sao pontos xos do
mapa. Pontos sobre crculos externos `a I rodam no sentido anti-horario e
pontos sobre crculos internos rodam no sentido horario, gerando uma torcao
no espaco de fases.
do toro inicial sobre a superfcie de energia. Como a energia esta xa, podemos rotular os toros pela variavel de acao I1 , pois I2 = I2 (E, I1 ) (veja a secao
8.2.1). Vamos supor que d/dI1 = 0 e, por conveniencia, que > 0.
Iterando a equacao (10.2) geramos os pontos sobre a secao de Poincare
correspondente `a condicao inicial 0 :
k = [P0 ()]k 0 = P0 (k)0 .
(10.3)
O n
umero de rotacao varia continuamente com I1 . Considere entao um
toro I1 = I1 tal que
(I1 ) = r/s com r e s inteiros. Entao, todo 10
sobre esse toro corresponde a uma orbita periodica que intercepta a secao
de Poincare em s pontos distintos. Isso e evidente, pois 2s = 2r e,
portanto, P (s) = 1. Fica claro tambem que os pontos rodam r vezes em
torno da origem ao completarem a orbita. Todos os pontos do crculo de raio
Q21 + P12 = 2I1 sao orbitas periodicas do mapa de Poincare com perodo s. O
perodo real, no espaco de fases, e = s(2/2 ) = r(2/1 ).
A periodicidade s das orbitas do toro I1 nos leva naturalmente a denir
o mapa de torc
ao T0 () = P0s () = P0 (s). Sob a acao de T0 , todos os
pontos sobre o toro I1 sao pontos xos. A razao do nome torcao cara clara
em breve.
256
CAOS HAMILTONIANO
10.2
10.2
O teorema de Poincar
e-Birkho
O TEOREMA DE POINCARE-BIRKHOFF
10.2
257
P1
I >I
I
R
Q1
I< I
258
10.3
CAOS HAMILTONIANO
P1
(a)
T ( R)
(b)
P1
Wu
A1
R
B1
B1
B2
A2
A1
Q1
Ws
Ws
Wu
B2
Ws
Wu
Q1
Ws
A2
Wu
Figura 10.3: (a) Curvas R (vermelho) e T (R ) (verde). Os pontos de interseccao sao pontos xos de T , sendo metade instaveis A1 e A2 e metade
estaveis, B1 e B2 . (b) Curvas invariantes nas vizinhancas dos pontos xos
estaveis e instaveis.
10.3
10.3
O EMARANHADO HOMOCLINICO
259
O emaranhado homoclnico
260
CAOS HAMILTONIANO
10.3
Figura 10.4: Curvas invariantes nas vizinhancas dos pontos xos estaveis e
instaveis para o caso s = 5.
estavel da secao.
O cruzamento das variedades Ws e Wu em pontos isolados da secao de
Poincare tem conseq
uencias dramaticas para a dinamica. Para entendermos
como isso acontece, vamos mostrar primeiro que nem Ws nem Wu podem
se auto-interceptar. De fato, suponha que Ws cruze consigo mesma como
ilustrado na gura 10.5(a). Se x representa o ponto de interseccao e y e z
representam pontos vizinhos, entao, supondo que a dinamica e contnua e
suave: (i) T x, T y e T z devem ser proximos uns dos outros e (ii) o arco de
Ws entre y e z deve ser mapeado em outro arco contnuo ligando T y e T z.
O leitor pode se convencer facilmente que essas duas condicoes nao podem
ser satisfeitas simultaneamente.
Vamos agora considerar o cruzamento da variedade estavel Ws de um
dado ponto xo com a variedade instavel Wu de outro ponto xo vizinho
correspondente `a mesma orbita periodica, como ilustrado na gura 10.5(b).
Essa gura pode ser simplicada se a re-desenharmos nas variaveis J e
introduzidas na secao 8.2.3. Nessas variaveis focalizamos apenas em um r
pontos xos estaveis que aparecem na secao de Poincare. Como varia de +
`a , os pontos xos instaveis, que cam em = representam o mesmo
tem a topologia de um cilindro, periodico em
ponto. O espaco de fases J Sobre o cilindro vemos apenas um ponto xo estavel e um
e extenso em J.
O EMARANHADO HOMOCLINICO
10.3
(a)
261
(b)
Ws
Wu
Ws
T z
T x T y
Wu
x y
262
10.4
CAOS HAMILTONIANO
T h
Ws
T3h
T h
h
Wu
As
Figura 10.6: (a) Interseccao de Ws com Wu nas variaveis auxiliares J e .
variedades sao mostradas partindo do mesmo ponto xo e cruzando no ponto
homoclnico h. Sucessivas evolucoes temporais pelo mapa T sao mostradas.
As areas achuradas sao todas iguais. (b) Emaranhado homoclnico no mapa
de Meyer.
que uma orbita generica nessa regiao tambem tenha comportamento bastante
complexo. Mostraremos nas proximas secoes que ele e de fato caotico.
10.4
10.4
263
1
0
0
1
11
00
00
11
11
00
00
11
11
00
1
0
264
10.4
CAOS HAMILTONIANO
como Mapa de Ferradura, e que dois conjuntos de pontos da faixa azul voltam
sobre ela. Esses conjuntos sao identicados pelas regioes de interseccao entre
as faixas, ressaltados em vermelho.
Para simplicar a notacao vamos chamar P Tn+k . Dessa forma, P leva
a regiao azul na laranja diretamente. Note que a faixa azul e primeiramente
contrada e depois esticada na direcao contraria. A gura 10.9(a) mostra
onde as regioes de interseccao vermelhas sobre a parte laranja encontravamse na parte amarela, antes de ser esticada. A mesma gura mostra ainda onde
essas duas regioes estavam sobre a faixa azul (duas nas faixas vermelhas).
Isso tudo e simplicado e ampliado na gura 10.9(b): a regiao azul e levada
na laranja de tal forma que suas duas sub-faixas escuras sao levadas de volta
`a regiao azul nas sub-faixas vermelhas.
A conclusao dessa sequencia de guras e a seguinte: o mapa P e tal
que cada regiao inicial contem duas sub-faixas horizontais que sao levadas
de volta `a mesma regiao inicial na forma de duas sub-faixas verticais. O
restante das orbitas vai terminar fora dessa regiao inicial.
Vamos agora nos xar apenas nesses dois sub-conjuntos de pontos, marcados como faixas azul escuras horizontais, cujas orbitas retornam ao retangulo
azul claro pela aplicacao de P . Chamando o retangulo azul claro de A, as
faixas de H0 e H1 e as faixas verticais vermelhas de V0 e V1 temos que
P (H0 ) = V0 A
P (H1 ) = V1 A.
10.4
265
00000000000000
11111111111111
1111111111111
0000000000000
00000000000000
11111111111111
0000000000000
1111111111111
00000000000000
11111111111111
h
0000000000000
1111111111111
000
111
00000000000000
11111111111111
0000000000000
1111111111111
D 111
000
00000000000000
11111111111111
0000000000000
1111111111111
000
111
00000000000000
11111111111111
0000000000000
1111111111111
00000000000000
11111111111111
0000000000000
1111111111111
0000000000000
1111111111111
T D
TkD
11111111111111111111
00000000000000000000
00000000000000000000
11111111111111111111
A
000
111
0000
1111
00000000000000000000
11111111111111111111
000000000000000000000
111111111111111111111
000
111
0000
1111
00000000000000000000
11111111111111111111
000000000000000000000
111111111111111111111
000
111
0000
1111
00000000000000000000
11111111111111111111
000000000000000000000
111111111111111111111
000
111
0000
1111
00000000000000000000
11111111111111111111
000000000000000000000
111111111111111111111
00000000000000000000
11111111111111111111
00000000000000000000
11111111111111111111
T A
00000000000000000000
11111111111111111111
00000000000000000000
11111111111111111111
00000000000000000000
11111111111111111111
00000000000000000000
11111111111111111111
00000000000000000000
11111111111111111111
n+k
Figura 10.8: (a) Dinamica na vizinhanca dos pontos xos: uma pequena
regiao D e levada na regiao laranja contendo o ponto homoclnico h depois
de um certo n
umero k passos do mapa. Se mapeada para tras no tempo a
regiao amarela vai na azul depois de n passos. (b) A regiao azul e levada na
laranja depois de k + n passos do mapa, interceptando-a duas vezes.
00000000000000
11111111111111
1111111111111
0000000000000
00000000000000
11111111111111
0000000000000
1111111111111
h
00000000000000
11111111111111
0000000000000
1111111111111
000
111
00000000000000
11111111111111
0000000000000
1111111111111
D 111
000
00000000000000
11111111111111
0000000000000
1111111111111
000
111
00000000000000
11111111111111
0000000000000
1111111111111
00000000000000
11111111111111
0000000000000
1111111111111
0000000000000
1111111111111
TD
T D
Figura 10.9: (a) Dinamica na vizinhanca dos pontos xos: as duas regioes
vermelhas da faixa laranja interceptam a azul (so uma e visvel, pois a outra
esta debaixo da regiao amarela) sao mostradas onde estavam originalmente
no quadrado amarelo e tambem na faixa azul. (b) Simplicacao da dinamica:
a regiao azul e levada na laranja de tal forma que suas duas sub-faixas escuras
sao levadas de volta `a regiao azul nas sub-faixas vermelhas.
266
10.4
CAOS HAMILTONIANO
V0
V1
H0
H 00
H01
H1
H10
H11
V00 V01
V10 V11
10.4
267
. . . b3 b2 b1 b0 .a0 a1 a2 . . .
. . . b3 b2 b1 b0 a0 .a1 a2 . . .
Isso ca claro quando notamos que P (x) esta sobre a mesma orbita que
x, portanto sua sequencia futura deve ser a mesma. Por outro lado, como
pontos sobre Hi sao levados `a Vi , se a0 = 0 (x estava em H0 ) agora o ponto
esta em V0 e o primeiro digito da sequencia `a esquerda deve ser 0. O mesmo
vale se a0 = 1.
A dinamica de pontos sobre consiste simplesmente em deslocar o ponto
na sequencia de zeros e uns associada `a orbita. Dessa forma temos as
seguintes consequencias:
(a) podemos pensar nas orbitas de como sequencias aleatorias de caras
e coroas.
(b) duas orbitas onde os primeiros M coecientes a sejam iguais e que
diram nos coecientes seguintes tem orbitas semelhantes por M iteracoes
do mapa P , mas depois separam-se uma da outra. Isso mostra que essas
268
CAOS HAMILTONIANO
10.4
Captulo 11
Simetrias e Meios Contnuos
Neste captulo vamos voltar ao tema das leis de conservacao e sua associacao com as simetrias. Formularemos inicialmente uma relacao direta entre
as simetrias da Lagrangeana e suas respectivas grandezas conservadas sem
alusao explcita `as coordenadas cclicas. Em seguida discutiremos brevemente
o limite onde o n
umero de graus de liberdade vai a innito, passando da descricao de um sistema de partculas a um sistema de campos. Discutiremos
tambem brevemente as leis de conservacao nesse caso. A apresentacao segue
as referencias [5, 16].
11.1
A formulacao Lagrangeana da mecanica evidencia suas grandezas conservadas atraves das variaveis cclicas, i.e., das variaveis que nao aparecem explicitamente na Lagrangeana. Assim, se um sistema e descrito por L(q, q,
t),
onde q = (q1 , q2 , . . . , qn ), e qk nao aparece, entao
d
dt
L
qk
)
=
L
=0
qk
270
11.1
um potencial central:
L=
)
m( 2
m( 2
x + y 2 V ( x2 + y 2 ) =
r + r2 2 V (r).
2
2
(11.1)
x = x cos + y sin
x = x cos y sin
. (11.2)
y = x sin + y cos
y = x sin + y cos
facil vericar que x2 + y 2 = x 2 + y 2 e x 2 + y 2 = x 2 + y 2 . Denindo
E
coordenadas polares no sistema linha por x = r cos e y = r sin vemos
que r = r, = e
)
m ( 2
L=
r + r2 2 V (r )
(11.3)
2
e de fato identica nos dois sistemas de coordenadas.
Apesar da simplicidade e de sua interpretacao imediata, as grandezas
conservadas so aparecem de forma explicita se escolhermos o sistema de coordenadas apropriado. Em coordenadas cartesianas x, y nao ha variaveis
cclicas e a conservacao do momento angular esta escondida. Vamos entao
mostrar o seguinte resultado que generaliza a regra relativa a coordenadas
cclicas:
Se a Lagrangeana L(q, q)
descrevendo um sistema autonomo e invariante
pela transformacao q qs = hs (q), onde s e um par
ametro real e contnuo
0
tal que h (q) = q e a identidade, entao existem uma constante de movimento
dada por
n
L d [ s ]
.
(11.4)
I(q, q)
=
h (q)
qi ds i
s=0
i=1
Prova: Se q(t) e solucao das equacoes de Lagrange, entao, como L e invariante por hs , qs (t) = hs (q(t)) tambem e solucao, pois q e qs satisfazem `as
mesmas equacoes de movimento.
SIMETRIAS E LEIS DE CONSERVAC
AO
11.1
271
(11.5)
qi
(
qs , q s )
qis L
q
+
(
qs , q s ) is = 0.
s
qi
s
q
s
s
i
i
i
i
i
i
onde usamos (11.6) na u
ltima passagem. Como
(
)
q is
d qis
=
s
dt s
(11.6)
(11.7)
(11.8)
vemos que aparece uma derivada total no tempo quando passamos todos os
termos para o lado esquerdo:
[
]
[ qis d ( L ) d ( qis ) L ]
d L qis
+
=
= 0.
(11.9)
s
dt
dt
s
dt
s
i
i
i
i
i
O termo entre colchetes e, portanto, uma constante de movimento. Essa
constante aparece para qualquer valor de s. No entanto, e mais pratico usala diretamente para s = 0. Nesse caso a derivada de L no primeiro termo
pode ser calculada na solucao original (pois qi0 (t) = qi (t)) e basta conhecer
a transformacao qs = hs (q).
272
11.2
i = 1, 2, . . . , n
(o ndice i se refere `as partculas, nao aos graus de liberdade, que sao 3n
nesse caso) e
rsi
= ex .
s
A constante de movimento e o momento linear do sistema na direcao x:
I=
(mi r i ) ex =
i=1
mi x i = Px .
i=1
I=
(mi r i ) (ri ez ) = ez
(mi r i ri ) = Lz .
i=1
i=1
11.2
11.2
a
k
m
i1
273
i+1
i+2
m 2 ka
a
2a i
2
i+1 i
a
)2 ]
(11.10)
aLi .
= 0.
(11.11)
a
a2
a2
Podemos agora apreciar a introducao de a nas equacoes: no limite em que
a 0 a cadeia se transforma em uma barra elastica contnua e m/a que
e a densidade linear de massa. Nesse limite as pequenas molas devem car
cada vez mais duras, pois as partculas nao podem se mover em grandes
274
11.3
L=
Ldx
(11.12)
onde
L=
2 Y 2
2
2
(11.13)
11.3
Generalizac
ao para campos em 1-D
11.3
275
2 [ L
2 [ L
d
dt
d
dx
]
dxdt
)]
dxdt +
dx L
|tt21 +
L
x2
dt
|x1
= 0.
(11.15)
dt
dx
2
L= 2
~
m2 c2 2 .
c
t
x
O campo satisfaz a equacao de movimento = c2 m2 c4 /~2 , que e conhecida como equacao de Klein-Gordon. Podemos resolver essa equacao buscando os modos normais do campo. Escrevendo (x, t) = 0 exp i(Et + px)/~
vemos que os parametros E e p nao podem ser independentes, mas devem
satisfazer a relacao relativstica E 2 = p2 c2 + m2 c4 . Esse tipo de Lagrangeana
e chamada de Lagrangeana livre, pois nao ha interacao do campo com elementos externos. O u
ltimo termo, quadratico no campo, e chamado de termo
de massa. Essa equacao descreve uma partcula relativstica de spin zero.
Nota sobre o c
alculo de derivadas. Como o campo depende agora de
x e de t, as derivadas totais e parciais podem gerar alguma confusao. Em
primeiro lugar notamos que x e t sao variaveis independentes: nao existe
x/t. Entao, para o campo (x, t), d/dx e o mesmo que /x, o mesmo
valendo para o tempo, d/dt = /t. A densidade Lagrangeana, por outro
lado, pode depender de , ,
, x e t e portanto
L
dL
=
dt
t
dL
L
=
.
dx
x
276
11.5
De fato,
dL
L
L
L
L
=
+
+ +
.
dt
11.4
M
ultiplos campos em 3-D
x1 = x
x2 = y
x3 = z
(11.16)
(11.18)
L
i,
L
=0
i
(11.19)
11.5
Correntes conservadas
No caso de um sistema de partculas vimos que se a Lagrangeana nao depender explicitamente do tempo, entao a energia se conserva. Vamos rever esse
11.5
CORRENTES CONSERVADAS
277
h(q, q)
=
qi L =
pi qi L
qi
i
i
e conservada.
No caso de campos o processo e identico. No entanto, como estaremos
trabalhando com uma densidade Lagrangeana, esperamos encontrar leis de
conservacao locais. Por exemplo, a densidade de energia nao deve ser constante em todos os pontos, mas deve uir de tal forma a satisfazer uma
equacao de continuidade: se nao houver fontes externas a variacao de energia em um ponto deve se dar apenas em funcao do uxo de energia para
pontos vizinhos, sem que haja criacao ou perda global de energia.
Vamos entao derivar a densidade Lagrangeana em funcao de x onde o
ndice pode ser qualquer componente de 0 a 3:
dL
L
L
L
=
i, +
i, +
dx
i
i,
x
d
=
dx
L
i,
)
i, +
L
L
i, +
i,
x
[
]
L
L
d
i, +
=
dx i,
x
(11.20)
278
11.5
[
]
d
L
L
i, L, =
(11.21)
dx i,
x
onde e xo e e i sao somados. Denindo o tensor de energia-tensao
ou ainda
T =
L
i, L,
i,
(11.22)
(11.23)
Note que essa equacao pode valer para = 0 e = 1, por exemplo, e nao
para = 2 ou = 3, caso a Lagrangeana nao dependa de x e t mas dependa
de y e z.
Para entender o signicado dessas equacoes de conservacao vamos olhar
a equacao relativa a = 0. Nesse caso temos
T0 0 =
L
i L
i
(11.24)
(11.25)
(11.27)
Ap
endice A
Mudanca de vari
aveis em
integrais multidimensionais
Considere a integral multidimensional da funcao f (x1 , x2 , . . . , xn ) f (x)
sobre uma regiao D
f (x1 , x2 , . . . , xn )dS =
f (x1 , x2 , . . . , xn )S
(A.1)
D
f (x)S =
F (y)S.
(A.2)
Vamos agora relacionar S, o elemento de volume no espaco original, com
S , que e o elemento de volume correspondente no espaco y. Comecamos
considerando o espaco y (veja a gura abaixo), onde
S = y1 y2 . . . yn .
(A.3)
280
APENDICE
A
x2
y2
C
dy 2
A
v2
v1
A
dy1
x1
v11
v21
...
vn1
v12
v22
...
vn2
...
...
...
...
v1n
v2n
...
vnn
(A.4)
(
v1 =
e, em geral,
(
vk =
xn
x1 x2
,
,...,
y1 y1
y1
x1 x2
xn
,
,...,
yk yk
yk
)
dy1
(A.5)
dyk .
(A.6)
MUDANC
A DE VARIAVEIS
EM INTEGRAIS MULTIDIMENSIONAIS
n
. . . x
y2
dy1 dy2 . . . dyn
... ...
x1
. . . yn
...
xn
y1
281
(A.7)
f (x)S =
F (y)I(y)S
(A.8)
ou
f (x)dS =
F (y)I(y)dS .
(A.9)
282
APENDICE
A
Ap
endice B
Comutador dos Campos
Vetoriais
O conjunto dos vetores GFi (x) = JFi (x) formam n campos vetoriais sobre o
espaco de fases F e, em particular, sobre Mf . Usaremos a notacao x = (q, p).
Vamos mostrar aqui que
[GFi , GFj ](x) GFi GFj (x) GFj GFi (x) = G[Fi ,Fj ] (x).
(B.1)
Fj /p
Fj /q
Fi 2 Fj
Fi 2 Fj
q p2
p pq
2
2
Fi Fj
Fi Fj
+
q pq
p q 2
283
(B.2)
284
APENDICE
B
Analogamente obtemos
GF j
Fj 2 Fi Fj 2 Fi
q p2 p pq
GFi (x) =
Fj 2 Fi
Fj 2 Fi
+
q pq
p q 2
(B.3)
{F , F }
p i j
{Fi , Fj }
q
(B.4)
Assim, se as funcoes estao em involucao, {Fi , Fj } = 0, os campos vetoriais
correspondentes comutam, [GFi , GFj ] = 0.
Ap
endice C
Comutac
ao dos Fluxos em Mf
Mostraremos aqui que se os campos vetoriais Gi (x) e Gj (x) comutam, entao
seus uxos git (x) e gjs (x) tambem comutam. Em primeiro lugar consideramos
t e s innitesimais. Nesse caso
git (x) = x + tJFi (x) = x + tGi (x).
(C.1)
(C.2)
gjs (x
286
APENDICE
C
Os u
ltimos termos dessas expressoes podem ser calculados:
[
]
Fj
Fj
F
(q
+
s
,
p
s
)
i
p
q
p
Gi (x + sGj (x)) =
[
]
F
F
q
Fi (q + s pj , p s qj )
(C.4)
(C.5)
(C.7)
se {Fi , Fj } = 0.
Consideremos agora a propagacao por tempos nitos, como ilustrado na
gura C1. Vamos de x para y pelo caminho C1 andando N passos na direcao
de tamanho com o uxo de F2 (de tal forma que N = t2 ) e depois M
passos com F1 (tal que M = t1 ): g1M g2N (x). Depois fazemos o inverso pelo
caminho C2 : g2N g1M (x).
Para deformarmos C1 em C2 temos que fazer N M operacoes innitesimais, como ilustrado na gura C2 para N = M = 2. A cada passo mudamos
o percurso em apenas um quadradinho elementar. O erro que aparece devido `a nao comutatividade dos uxos e de ordem 3 para cada uma dessas
mudancas. O erro total acumulado e
N M 3 = (N ) (M ) = t1 t2 0.
Portanto os uxos comutam tambem para tempos nitos.
(C.8)
DOS FLUXOS EM MF
COMUTAC
AO
287
t2
y
C1
C2
t1
288
APENDICE
C
Ap
endice D
Vari
aveis de ac
ao e
angulo para
o problema de Kepler
No captulo 9 consideramos o problema de tres corpos movendo-se em um
plano. Assumimos que o corpo principal tem massa M >> m >> , onde
o corpo de massa e um corpo de teste e m faz o papel de perturbar sua
orbita. Como M >> , vamos supor que M esta xo na origem e, neste
apendice, vamos esquecer de m. A Hamiltoniana para o problema de Kepler
com M no centro e orbitando em sua volta e dada por
H=
1 2
1 2
GM
pr +
p p
.
2
2
2r
r
(D.1)
290
APENDICE
D
y
r
+i
+i
+i
+ + +
+
+i
z.
z
=
ei/2 e f (z) =
0
0
E ANGULO
VARIAVEIS
DE AC
AO
PARA O PROBLEMA DE KEPLER
(a)
+i
+i
+i
+i
(b)
+i
+ + + +
z0 z1 i
(c)
291
zz1
z0
zz0
z1z
z1
(z z0 )(z1 z) e detalhe
B B 2 AC
r =
A
sao os pontos de retorno radiais e u = 1/r . O polo na origem e de primeira
ordem. O no innito, u = 0, de segunda.
A integral sera feita ao longo do contorno ilustrado na gura D.3. Observe
que quando vamos de r para r+ o momento radial pr e positivo e tomamos
o sinal positivo da raiz. Na volta, de r+ para r , pr < 0 e tomamos o sinal
negativo da raiz. O contorno deve ser pensado como envolvendo o resto do
plano complexo, para evitar a linha de corte. Assim, incluiremos o resduo
na origem, com fase +i, e o resduo no innito, com fase i:
Ir = 2i{(+i) |resduo em 0| + (i) |resduo em| }
(D.6)
292
APENDICE
D
+i
+ + + +
r+ r
2
C, com C = I . Se nao tivessemos feito a analise de sinais nao saberamos
se isso e +iI /2 ou iI /2. Mas isso ja esta decidido em (D.6) e so
precisamos de modulo, I .
O polo no innito, ou na origem de u, e de segunda ordem. Escrevendo
1
o integrando em (D.5) na forma h(u)/u2 o resduo e h (0) = 2
C(u+ +
u )/
u+ u = B/(2 A). Novamente so precisamos do modulo que e
B/(2 A).
Substituindo de (D.6) obtemos
GM 2
Ir = I + B/ A = I +
.
2(E + I )
(D.7)
G2 M 2 3
I .
2(Ir + I )2
(D.8)
Bibliograa
[1] James Gleick. Isaac Newton, uma biograa. Companhia das Letras, SP,
2004.
[2] Isaac Newton. The Principia, Traduzido para o ingles por Andrew
Motte. Prometheus Books, NY, 1995.
[3] V. I. Arnold. Mathematical Methods of Classical Mechanics. Springer,
1989
[4] Keith R. Symon. Mechanics. Reading, Mass., Addison-Wesley Pub. Co.,
1971
[5] Herbert Goldstein, Charles P. Poole, John L. Safko. Classical mechanics.
Pearson Educ, 2001
[6] Stephen T. Thornton, Jerry B. Marion. Classical dynamics of particles
and systems. Belmont, Calif.: Brooks/Cole, 2004
[7] Wolfgang Yourgrau, Satanley Mandelstam. Variational Principles in
Dynamics and Quantum Theory. Dover Publications Inc., 1979
[8] Conelius Lanczos. The Variational Principles of Mechanics. Dover Publications Inc., 1986
[9] Max Born, Emil Wolf. Principles of Optics. Cambridge University Press,
1999.
[10] Alain Brizard. An Introduction to Lagrangian Mechanics. World Scientic, 2008.
[11] Keith Moatt. Eulers disk and its nite-time singularity. Brief Communication, Nature 404 (2000) 833 (see also Nature 408, 540).
293
294
BIBLIOGRAFIA
BIBLIOGRAFIA
295