216

Revista Brasileira de Ensino de F

sica, vol. 21, no. 1, Mar
co, 1999

Mec^anica Classica Moderna (W.F. Wreszinski, EDUSP,

1997) - Conteudo e Modicac~oes Previstas
W. F. Wreszinski
Instituto de F
sica, Universidade S~
ao Paulo

Recebido em 1998

O livro Mec^anica Classica Moderna (W.F. Wreszinski, EDUSP, 1997) trata os assuntos pertinentes a
mec^anica classica em nvel de pos-graduaca~o - transformac~oes can^onicas (captulo que inclui os princpios
variacionais, equac~oes de Hamilton-Jacobi, variaveis de
^angulo-ac~ao, sistemas integraveis e simetrias e o teorema de Liouville-Arnold) e a teoria classica de perturbac~oes (captulo que inclui o teorema da media,
teoria de perturbac~oes independente do tempo e introduc~ao ao problema de pequenos denominadores, e
o teorema adiabatico) de forma a enfatizar o ponto
de vista geometrico (Arnold). Esta tambem includa
uma discuss~ao da estabilidade de sistemas Hamiltonianos, em particular a estabilidade estrutural dos pontos hiperbolicos, tendo em vista aplicac~oes posteriores a
din^amica caotica. As aplicaco~es ao problema de Kepler
tambem visam uma preparac~ao ao estudo ou problema
restrito de tr^es corpos, e a teoria KAM, discutida nos
captulos seguintes.
Os captulos seguintes s~ao adequados tanto a um
curso de topicos, como a um curso intensivo de um
semestre, deixando alguns topicos de lado como sistemas dissipativos. A ideia e introduzir o aluno ao teorema KAM e problemas correlatos (incluindo pontos
homoclnicos e o teorema de Birkho-Smale e din^amica
simbolica), alguns aspectos estocasticos do movimento
determinstico (incluindo atratores estranhos e medi-

das fractais), e a transic~ao a estocasticidade global

(incluindo brevssima introduc~ao a teoria de AubryMather) atraves de modelos \soluveis" ou os mais simples possveis, que preservem ainda a maioria das caractersticas estruturais da teoria. Em uma segunda
edic~ao, faramos algumas modicac~oes importantes:
discutiramos \quando e uma trajetoria um mnimo da
ac~ao" de forma diferente (veja a seguir) e para o teorema KAM usaramos o trabalho de C. Chande e H.
R. Jauslin - A Version of Thirring's Approach to the
KAM Theorem for Quadratic Hamiltonians with Degenerate Twist - a aparecer no J. Math. Phys., ainda mais
claro e mais simples que o modelo de Thirring usado.
Alem disso, discutiramos melhor o modelo de ChirikovTaylor e a teoria de de Aubry-Mather, seguindo algumas notas de J. Moser.
Finalmente, tentaramos eliminar os inumeros erros
de impress~ao, que resistiram a todos os nossos esforcos.

Quando e uma trajetoria classica um mnimo da

aca~o ?
R

A aca~o classica e S = Sq(t) = 0T L(q; q)dt

_ calculada ao longo da trajetoria q(t) com Lagrangiana L, e
com a especicac~ao adicional de que q(0) = a; q(T) = b:
Seja (t) uma func~ao sobre [0; T ] com (0) = (T ) = O
e considere a expans~ao de S segundo uma trajetoria xa
q(t):

c
S  (q + ) = S  (q) + 


Z T  2
2
2
2
@L

@
L
@
L
@
L
2
2
_ + @q2 
@ q_ _ + @q  dt + 2j 0 @ q_2 _ + @ @q@ q_ 
0
2
dt + :::  S  + S  + 2j  2 S  + :::

T  @L

217

W. F. Wreszinski

A propriedade de extremo, expressa por S  = 0, e

uma integrac~ao por partes em S  conduz as equac~oes
@L
de Euler-Lagrange dtd @L
@ q_ , @q = 0:
Entretanto, para ter alguma informac~ao sobre propriedades de minimizac~ao, e necessario considerar derivadas de ordem superior, comecando por  2 S  :
Uma condic~ao necessaria para q(t) ser um mnimo
de S  e que a forma quadratica  2 S  seja positiva denida. Considere a func~ao

Como isso e verdade 8 e para arbitrariamente pequeno, obtemos a condic~ao de Legendre

temos

(1)

Cnn(t)

n(t) = T2 sin nt

T
X
n22 , !2 C 2
 2 S  = 12 m
n
2
n1 T

(2)

!T < 

(3)

e a ac~ao Lagrangiana sera mnima desde que

1  C2
n n
2
n
implica em resolver o problema de Sturm-Liouville associado, que e ,mn + @@x2 L2 n = n n):
Voltemos ao caso do oscilador harm^onico e ao
calculo da sua ac~ao Lagrangiana. Partindo da soluc~ao
geral
2S =

temos

x0 = a
x1 = x0 cos!T + bsin!T

dt(_ 2 , !2 2 )

n1

x = acos!t + bsin!t

L = 12 mx_ 2 , 12 m!2 x2
 2 S  = m2

JUGADO ou PONTO FOCAL. (Em geral, o problema

de achar os n tais que

2
2

= 0(2)  _  = 0() _
= 0(1)( ! 0)

@2L
@ q_2
que e uma condic~ao necessaria.
No caso do Lagrangiano

=

O valor limite T = =!, que corresponde ao semiperodo do movimento, e chamado de PONTO CON-

A contribuic~ao dominante a  2 S  vem de _ 2 , pois

Z

como (O) = (T) = 0

c
cos!T
Seja b = x1 ,sinx0!T
Ent~ao

L = 12 m(x_ 2 , !2 x2) = 12 m!2 ((b2 , a2 )cos2!t , 2absin2!t):

S =

Z
0

Ldt = 12 m!((b2 , a2)sin2!T + 2abcos2!T , 1)):

d
Apos algumas operac~oes

, 2x1x0
S  = m! (x1 + x0)cos!T
2sin!T
2

(4)

Para !T << 1; S  tende a ac~ao de uma partcula

livre,

218

Revista Brasileira de Ensino de F

sica, vol. 21, no. 1, Mar
co, 1999

x0)
m (x1 ,
2T :
Para T = 2x1x0=(x21 +x20 )1 S  passa por zero, e para
!T ! , S  ! ,1. Observe que, para um sistema geral, considerando as trajetorias tais que x(0) = x0 = a;,
rotuladas pelos momentos p : x(p; t), x(p; 0) = a, 8p;
e se quisermos considerar a maneira como extremos
proximos desviam um do outro, obtemos uma equac~ao
caracterstica (equac~ao de Jacobi). Considere a quantidade
2

t)
J(p; t) = @x(p;
@p

(5)

A diferenca entre duas trajetorias e

x(p + ; t) , x(p; t) = J(p; t) + O(2)

Como x(p; t) satisfaz a



d @L , @L = 0
dt @x
@x
derivamos (6) com respeito a p:


(6)

d @ 2 L J_ + d @ 2 L , @ 2 L J = 0
dt @ x_ 2
dt @x@ x_
@x2
que e a equac~ao de Jacobi. Temos
J(p; 0) = 0

(7)

(8)

e, como mx(p;
_ 0) = p;
@ x(p;
_ 0) = 1 ) @J(p; 0) = 1
@p
m
@t
m
Pontos conjugados ocorrem quando

(9)

J(p; T ) = 0
(10)
e implicam em reconverg^encia no ponto b, conforme a
gura; por isso b e denominado ponto focal. Em mais
de uma dimens~ao denindo Jik (p; t) = @x@p(p;t) ; vem o
analogo det Jik (p; T ) = 0 quando xi (T) e um ponto focal, e pode-se mostrar que eles s~ao partes de superfcies
geometricas denominadas superfcies causticas.
i

Quando os pontos extremais variam ligeiramente a

ac~ao S(b;
T; a) tambem variara ligeiramente, e p(0) =


@S
, @a b; T (porque?).
@2S
Temos D  J1 = @p
dimens~oes
@b = , @a@b (emh mais
i
o analogo e D = det Jik,1 (p; t) = det @a@ 2@bS : Em um
ponto focal D e innito e J = 0. Assim, muitas trajetorias ter~ao recon udo em b (exerccio). Finalmente,
usando (4), v^e-se que os pontos focais correspondem a
meios- perodos e, tambem, por (2), vemos que esses
pontos correspondem a 1 (T) = 0 (instabilidade da 2a.
variaca~o).
E interessante observar que a exist^encia de pontos
focais n~ao e o unico motivo de exist^encia de diversas trajetorias classicas ligando dois pontos dados em um dado
intervalo de tempo. No caso de potenciais rgidos i.e.,
que tendem ao innito quando x ! 1 rapidamente,
isso tende a ocorrer devido a \multiplas re ex~oes".
Para o poco de potencial com paredes rgidas em
x = 0 e x = a temos o exerccio: mostrar que as ac~oes
para as trajetorias com numero par de re ex~oes nas
paredes s~ao dadas por


+ 2na2 (n 2 Z)
S(x; t; y; 0) = m x , y 2t
e com numero mpar
2
S(x; t; y; 0) = m(x , y2t+ 2na) ) (n 2 Z)
onde m e a massa da partcula.
Sabemos que a soluca~o da equac~ao de HamiltonJacobi e unica. Entretanto, a ac~ao Lagrangiana
tambem satisfaz a uma equac~ao de Hamilton-Jacobi,
cuja soluca~o, em geral, n~ao e unica (!), por se relacionar a um problema de contorno diferente. A exist^encia
de pontos focais ja demonstra esse fato. Um outro aspecto interessante e o seguinte: para que potenciais lisos
ocorre o mesmo fen^omenos visto acima com as duas paredes (em x = 0 e x = a)? Esse fen^omeno foi estudado
por Ph. Chocquard - Traitement Semi Classique des
Forces Generales daus la Representation de Feynman Helv. Phys. Acta 28, 89-157 (1955).
Na ac~ao Lagrangiana gura o problema de contorno
i

~q = ~q(~q1 ; t1; ~q2; t2; t):

Considere o oscilador anarm^onico dado pelo Hamiltoniano

219

W. F. Wreszinski

Podemos tambem achar as soluc~oes pelo Ansatz

p2 + 1 q4
H = 2m
4
com > 0. A equac~ao de Hamilton-Jacobi para esse
oscilador e

S  (1; 2) = F(1; 2:E) , E(t2 , t1)

@S  + 1 @S  2 + 1 q4 = 0
@tt 2m @q
4
O sistema sendo conservativo, t e variavel cclica e


com

F (q; q0; E) = dx 2m E , 14 x4
q0

Z q
@F
m
1
=
t = 2 dx
1
4
E , 4 x @E
q0
Quanto a ac~ao Lagrangiana S  (1; 2)
R2
L(~q(1; 2; t); ~q(1; 2; t)):dt ela e soluc~ao de
1

@S 


@S  2

1
@t2 + 2m @q2



1 @S 
, @S
+
@t1 2m @q1


 = 0 (En) + nT (En) =
r
q2
dx
m
q
+ n m2 q dx
= 2
1
q1
En , 4 x4
En , 41 x4
e a ac~ao reduzida de Maupertuis ca

+ 14 q4 = 0

2

que substitui E = E(p0 ; q0) = 2pm0 + 14 q04 : A multiplicidade possvel de soluc~oes aparece aqui. Dado  = t2 , t1
assim como q1 e q2, a energia E n~ao e xada pelas
condico~es iniciais como em S, mas e necessario resolver a equac~ao anterior  = (q1; q2; E), encontrando
E = E(q1; q2; ):
Damo-nos conta de que podemos ligar q1 a q2 em
um tempo dado, adaptando a energia de forma a executar um numero crescente, de re ex~oes intermediarias
nos pontos de retorno onde V = E. A multiplicidade
de soluc~oes e devida ao fato de que o perodo T do
movimento depende da energia (exerccio!). Assim, ha
quatro famlias de trajetorias conforme a gura. Para
a famlia caracterizada por n perodos alem do movimento direto de q1 a q2, temos

p20 + 1 q4
E = E(p0 ; q0) = 2m
4 0
A energia estando xada pelas condic~oes iniciais,
temos em seguida
r

+ 14 q14 = 0

c
q




I
Fn = dx 2m En , 41 x4 + n dx 2m En , 41 x4
q0
com ac~ao Lagrangiana nal.
Z

Sn = S0 (1; 2) + n

Z q
2
m
1
dx
t2 , t1 = 2
1
E
,
x4
q1
4

onde F e a aca~o reduzida de Maupertuis. De fato, para

F resulta


1 dF 2 + 1 q4 = E
2m dq
4
Z

S  , S0 = F (E; q) , Et

de onde

q2

dx 2m E , 41 x4 , E(t2 , t1 )
q1
com a condic~ao
=

dx 2m En , 41 x4 , TEn

220

Revista Brasileira de Ensino de F

sica, vol. 21, no. 1, Mar
co, 1999

Essa multiplicidade esta excluda no caso harm^onico

(potencial \mole") porque o perodo do movimento independe da energia: la a multiplicidade de soluc~oes so
ocorre para intervalos de tempo correspondentes aos
multiplos do meio-perodo (pontos focais).