Escolar Documentos
Profissional Documentos
Cultura Documentos
i
ii Prefacio
Prefacio i
1 Formalismo lagrangeano 1
1.1 Coordenadas generalizadas e vnculos . . . . . . . . . . . . . . 2
1.2 Princpio de DAlembert . . . . . . . . . . . . . . . . . . . . . 3
1.3 Equacoes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . 4
1.3.1 Forcas derivando de um potencial . . . . . . . . . . . . 6
1.4 Princpio de mnima acao . . . . . . . . . . . . . . . . . . . . 7
1.5 Sistemas com vnculos nao-holonomicos . . . . . . . . . . . . . 10
1.5.1 Exemplo: partcula deslizando sem atrito sobre um disco 12
1.6 O problema de Kepler . . . . . . . . . . . . . . . . . . . . . . 13
1.7 Pequenas oscilacoes . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Movimento de um corpo rgido . . . . . . . . . . . . . . . . . . 19
1.9 Formulacao relativstica . . . . . . . . . . . . . . . . . . . . . 25
1.10 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
iii
iv Sumario
3 Simetrias e invariantes 45
3.1 Teorema de Nother . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Aplicacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2.1 Oscilador harmonico . . . . . . . . . . . . . . . . . . . 49
3.2.2 O campo eletromagnetico . . . . . . . . . . . . . . . . 52
3.2.3 A equacao de Schrodinger . . . . . . . . . . . . . . . . 54
3.3 Simetrias da acao e simetrias das equacoes de movimento . . . 56
3.4 Grupos de simetria a um parametro . . . . . . . . . . . . . . . 60
3.5 Simetrias e invariantes das equacoes de movimento . . . . . . 62
3.5.1 Exemplo: partcula livre irradiando . . . . . . . . . . . 64
3.6 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
ix
x Lista de Figuras
Formalismo lagrangeano
Toda a dinamica classica de corpos materiais e resumida atraves das tres leis
basicas de Newton. Elas podem ser enunciadas da seguinte maneira:
1
2 Captulo 1. Formalismo lagrangeano
resultados que delas decorrem. Cabe sempre lembrar que o enunciado mais
geral possvel das leis da Mecanica Classica e o que acabamos de fazer, e
que certas restricoes sao sempre necessarias para se obter formulacoes mais
elegantes e possantes do ponto de vista formal.
Uma caracterstica importante das leis de Newton e que elas sao invari-
antes em forma pelas transformacoes de Galileu, a saber, pelas mudancas de
sistema de referencia inercial: se r e o vetor posicao de uma partcula num
sistema e r0 em outro, eles sao ligados por uma relacao do tipo r0 = r vt,
que denominamos de transformacao de Galileu. O princpio de relatividade
de Galileu pode entao ser enunciado como segue:
i (x, t) = 0; i = 1, . . . , M, (1.1)
(1.1). Para tal, vamos partir da segunda lei de Newton, que nos da para as
partculas que compoem o sistema:
Fi pi = 0; i = 1, . . . , 3N. (1.3)
(a) V (x, t)
Fi = , (1.15)
xi
V (q, t)
Qi = , (1.16)
qi
onde V (q, t) V (x(q), t). Nesse caso, dizemos que as forcas derivam do
potencial V . Substituindo (1.16) em (1.14) temos finalmente as equacoes de
Euler-Lagrange:
d L L
= 0; i = 1, . . . , n, (1.17)
dt qi qi
onde
LT V (1.18)
d V (q, q, t) V (q, q, t)
Qi = . (1.19)
dt qi qi
Z t2
S= L(q, q, t) dt. (1.20)
t1
S = 0, (1.21)
da trajetoria na forma
qi0 (t) = qi (t) + i (t). (1.22)
S = S 0 S, (1.23)
O ultimo termo do lado direito de (1.27) se anula pois, por hipotese, os pontos
inicial e final sao mantidos fixos pela variacao, ou seja,
ou seja, as variacoes das acoes sao iguais e portanto, se S e estavel com relacao
a uma dada trajetoria, S 0 tambem o sera, e vice versa. Assim ambas as
10 Captulo 1. Formalismo lagrangeano
que implica
Z t2 n Z t2
" # Z t2 X
n
X V d V
T dt = i dt = Qi i dt, (1.34)
t1 i=1 t1 qi dt qi t1 i=1
uma variacao virtual se anula, entao a eq. (1.34) e verdadeira, assim como o
princpio de mnima acao.
Dito isso, passemos ao caso em que tenhamos um numero m de condicoes
de vnculo da forma
k = 0; k = 1, . . . , m, (1.35)
Comparando (1.39) com (1.14) vemos que as forcas de vnculo sao dadas por
m
X
(v)
Qi = k aki , (1.41)
k=1
dr = 0. (1.43)
1.6. O problema de Kepler 13
r mr2 + mg cos = ,
mr2 mgr sen = 0,
r = 0. (1.44)
1
E = mr2 2 + mgr cos . (1.45)
2
3 1
mgr cos = E + r. (1.46)
2 2
dr
vr = r,
dt
d
v = r r, (1.48)
dt
1
T = m(r2 + r2 2 ). (1.49)
2
V (r) = . (1.50)
r
No caso de uma forca atrativa temos que < 0, e para uma forca repulsiva
> 0.
Obtemos entao a lagrangeana
1
L = T V = m(r2 + r2 2 ) , (1.51)
2 r
mr mr2 = 0, (1.52)
r2
d
(mr2 ) = 0. (1.53)
dt
1.6. O problema de Kepler 15
ou seja, por uma adequada escolha de eixo com relacao ao qual e medido,
podemos escrever que
L/r + m/L
= arccos q . (1.65)
2 2
2mE + m /L2
xk = Ak eit , (1.72)
Para que (1.73) possua uma solucao nao trivial para Aj e necessario que a
matriz dos coeficientes tenha determinante nulo:
Q + 2 Q = 0, (1.77)
x3 x'2
CM
x'1
r' x'3
R
r
x2
x1
v = V + r0 , (1.79)
1 1X N h i
T = MV 2 + mi 2 ri2 0 ( r0i )2 , (1.85)
2 2 i=1
P
onde M = i mi e a massa total do sistema. Definimos entao o tensor de
inercia I do corpo rgido de tal maneira que
X N
X h i
I = mi 2 ri2 0 ( r0i )2 , (1.86)
i=1
22 Captulo 1. Formalismo lagrangeano
5
Para um vetor A qualquer e sempre possvel escreve-lo em termos de componentes
cartesianas: A = (A1 , A2 , A3 ). As coordenadas da partcula i com relacao ao centro de
massa sao entao representadas por xi = (x1,i , x2,i , x3,i ).
6
O smbolo de Levi-Civita e definido da seguinte maneira: = 1 se () e uma
permutacao mpar de (123), = 1 se () e uma permutacao par de (123) e = 0
nos demais casos.
1.8. Movimento de um corpo rgido 23
dos angulos de Euler projetando , e nos eixos x01 , x02 e x03 , o que nos da
ds2 = dx dx , (1.99)
dx0 = S dx ,
dx = (S 1 ) dx0 , (1.100)
A energia cinetica T e definida como nula no repouso e tal que sua variacao
seja igual ao trabalho realizado pela forca F sobre a partcula:
dT = F dx. (1.106)
= v 2 dm + mv dv
m0 m0 v
= 2 2 2 3/2
v 3 dv + q dv
c (1 v /c ) 1 v 2 /c2
m0 v
= dv, (1.107)
(1 v 2 /c2 )3/2
m0 c2
T =q m0 c2 , (1.108)
1 v 2 /c2
pi = mv i ; i = 1, 2, 3,
p4 = E/c, (1.110)
dpi
= Fi ; i = 1, 2, 3,
dt
dp4 Fv
= , (1.111)
dt c
que ainda nao e a forma covariante que buscamos. Para obte-la, introduzimos
o intervalo de tempo proprio associado a uma partcula por
q
d = 1 v 2 /c2 dt, (1.112)
1.9. Formulacao relativstica 29
i Fi
FM =q ,
1 v 2 /c2
4 Fv
FM = q . (1.114)
c 1 v 2 /c2
d L L d m0 v i V
= q + = 0, (1.116)
dt v i xi dt 1 v 2 /c2 xi
30 Captulo 1. Formalismo lagrangeano
ou ainda
dp
= F, (1.117)
dt
como desejado.
1.10 Exerccios
1. Considere uma forca F que deriva de um potencial generalizado V (r, v)
e que atua sobre uma partcula, onde r e o vetor posicao com relacao
a um dado sistema de referencia e v a velocidade da partcula. Mostre
que as componentes de F definidas por Fi = V /qi +d(V / qi )/dt se
transformam como um vetor por uma mudanca de coordenadas qi qi0
qualquer. As Fi s sao componentes contravariantes ou covariantes?
33
34 Captulo 2. Sistemas com infinitos graus de liberdade - Campos
Um funcional F [f (x)] e dito linear em f (x) se existir uma n-upla (x) tal
que Z
F [f (x)] =
(x) f (x) dx. (2.3)
RN
Dizemos entao que um funcional contnuo F em f (x) e diferenciavel em f (x)
se o funcional
d
lim
F [f (x) + (x)] (2.4)
0 d
existe para qualquer (x) contnuo3 e e linear em (x), o que nos permite
escrever que
Z
d F
lim F [f (x) + (x)] = N (x) dx, (2.5)
0 d R f (x)
onde F/f (x) e a derivada funcional de F em f (x).
De especial interesse fsico sao os campos ditos locais, cuja lagrangeana pode
ser escrita na forma Z
L= L(, x , , x) dx, (2.7)
RN
onde L e denominada de densidade lagrangeana e x representa as diferen-
tes derivadas de com relacao as coordenadas espaciais. As equacoes de
movimento podem ser obtidas diretamente de L como mostraremos mais
adiante.
As equacoes de Euler-Lagrange para uma teoria de campo podem ser
deduzidas do princpio variacional:
Z t2
L(, , t) dt = 0. (2.8)
t1
Esse princpio de mnima acao para um campo diz que a evolucao de e tal
que a integral em (2.8) e estavel por uma variacao + do campo,
com infinitesimal e qualquer satisfazendo (x, t1 ) = (x, t2 ) = 0. Para
mostrar que de fato (2.6) decorre de (2.8) usamos a definicao (2.5) da derivada
funcional para escrever
Z t2 Z t2
L( + , + , t) dt L(, , t) dt
t1 t1
Z t2 Z " #
L L
= N (x, t) + (x, t) dxdt
t1 R
Z t2 Z " #
L d L
= (x, t) dxdt = 0. (2.9)
t1 RN dt
Essa equacao e valida para (x, t) qualquer, e consequentemente obtemos
justamente as equacoes de Euler-Lagrange (2.6).
Vale a pena observar aqui que o princpio variacional na forma (2.8) pode
ser reobtida a partir dessa formulacao5 . Fazendo uma integracao por partes
obtemos que
Z " #
L d L
S = (x) d4 x. (2.14)
M0 (x) dx , (x)
Como a variacao (x) e arbitraria, obtemos as seguintes equacoes de movi-
mento:
d L L
= 0, (2.15)
dx , (x)
onde as derivadas totais com relacao a x devem ser calculadas levando em
conta a dependencia de e , nessas variaveis. Portanto, se pudermos achar
uma densidade lagrangeana escalar L que gere as equacoes de movimento
corretas atraves de (2.15), entao essas mesmas equacoes podem ser deduzidas
de um princpio variacional dado por (2.10) e (2.12). Por outro lado, para
uma densidade lagrangeana escalar, as equacoes obtidas a partir de (2.15)
serao explicitamente covariantes por uma transformacao de Lorentz. Note-se
tambem que se definirmos a lagrangeana por
Z
L= L d3 x, (2.16)
R3
as mesmas equacoes de movimento sao obtidas a partir de (2.6). A diferenca
essencial entre as formas equivalentes (2.6) e (2.15) esta no fato que na ultima
a covariancia e explcita enquanto que na primeira nao.
Como para o caso discreto, a densidade lagrangeana L nao e univoca-
mente definida. Para uma dada densidade lagrangeana L, obtemos uma
outra equivalente a partir de um vetor f = f (x, ) por
d
L0 = L + f . (2.17)
dx
5
Na expressao (2.8) as variacoes de se anulam para t = t1 e t = t2 . Em (2.12) ela
se anula sobre a fronteira de qualquer regiao conexa M 0 . O caso anterior e recuperado
quando M 0 e a regiao entre os dois hiperplanos definidos por t = t1 e t = t2 .
2.4. Aplicacoes 39
2.4 Aplicacoes
2.4.1 Campo eletromagnetico
O campo eletrico E e o campo magnetico B na presenca de uma densidade de
carga (x, t) e de um fluxo de carga j(x, t) obedecem as equacoes de Maxwell:
E=
, (2.19)
0
B
E= , (2.20)
t
B = 0, (2.21)
j 1 E
B= 2 + 2 , (2.22)
c 0 c t
6
Gauge Transformation em ingles
40 Captulo 2. Sistemas com infinitos graus de liberdade - Campos
B = A. (2.24)
Por sua vez, a equacao (2.20) em conjunto com (2.24) garante a existencia
de um campo escalar (x, t) tal que
A
E= . (2.25)
t
2 A= , (2.26)
t 0
2A j
c2 2 A + c2 ( A) + + 2 = . (2.27)
t t 0
Neste ponto notemos que A e nao sao univocamente definidos. De fato,
uma transformacao da forma
A0 = A + (x, t),
0 = (x, t), (2.28)
t
2.4. Aplicacoes 41
Ai = Axi , i = 1, 2, 3;
A0 = . (2.31)
2.5 Exerccios
1. Obtenha a equacao de campo para a seguinte lagrangeana:
!3
Z
1 a b 2
L= + dx, (2.42)
2 x t 6 x 2 x2
Simetrias e invariantes
45
46 Captulo 3. Simetrias e invariantes
x0 = x + (, x), (3.3)
L0 (x0 , k0 , k,
0
) dn x0 = L(x , k , k, ) dn x. (3.5)
1
As transformacoes (3.3), (3.4) sao denominadas de geometricas, pois so dependem
das componentes de e das variaveis independentes x . Podemos utilizar tambem trans-
formacoes nao-geometricas, que dependem tambem das derivadas de , que leva entao a
uma generalizacao do teorema de Nother [Sarlet,1981].
3.1. Teorema de Nother 47
df0
0
L(x0 , k0 , k, 0
) = L0 (x0 , k0 , k, )+ , (3.6)
dx0
L(x , k , k, )
" !#
L L L dk d
+ + k + k,
x k k, dx dx
" # !
df d
= L(x , k , k, ) + 1 , (3.12)
dx dx
ou ainda, apos rearranjarmos os termos:
df
DL = , (3.13)
dx
onde o operador D e definido por
!
dk d d
D + k + k, + . (3.14)
x k dx dx k, dx
A equacao (3.13) e uma condicao suficiente, mas nao necessaria, para que
a transformacao dada por (3.3) e (3.4) seja uma transformacao de simetria
do sistema. Ela nao e necessaria pois para deduzirmos (3.13) impusemos
que a integral de acao fosse invariante por essa transformacao, o que nao e
necessariamente o caso. De fato, como veremos mais adiante, podemos ter
transformacoes que mantenham invariantes as equacoes de movimento, mas
nao a acao. Quando a acao for invariante por uma transformacao falare-
mos de simetrias noetherianas e caso contrario, falaremos de simetrias nao-
noetherianas.
Uma vez determinada uma transformacao de simetria satisfazendo (3.13)
e o correspondente vetor f (x , k ), podemos utiliza-la para determinar uma
constante de movimento do sistema, como passamos a mostrar. Partimos da
equacao (3.13), e usando a identidade
d L L L
L + k, + k,, , (3.15)
dx x k k,
3.2. Aplicacoes 49
chegamos a relacao
" #
d L
L + (k k, )
dx k,
" #
L d L df
+ (k k, ) = . (3.16)
k dx k, dx
Obtemos entao, para um sistema cuja dinamica e determinada pelas equacoes
de Euler-Lagrange, a seguinte lei de conservacao:
d
G = 0, (3.17)
dx
onde a grandeza conservada G e dada por
L
G (x , k , k, ) = L + (k k, ) f . (3.18)
k,
As equacoes (3.13) e (3.17) sao a formulacao do teorema de Noether: toda
transformacao de simetria definida por (3.3) e (3.4), que mantem a acao in-
variante, e portanto satisfaz (3.13), corresponde uma quantidade conservada
G (x , k , k, ) dada por (3.18). Como exemplos de aplicacao veremos na
proxima secao o oscilador harmonico, o campo eletromagnetico e a equacao
de Schrodinger.
3.2 Aplicacoes
3.2.1 Oscilador harmonico
Tomemos uma partcula de massa m = 1 sob a acao de uma forca da forma
F = q, onde q e a distancia a um ponto fixo O. Supondo que os vnculos
que agem sobre ela a forcem a se deslocar sobre uma reta passando por O, sua
energia cinetica e dada por T = q 2 /2 e sua energia potencial por V = q 2 /2.
A lagrangeana do sistema e portanto
1
L = (q 2 q 2 ). (3.19)
2
50 Captulo 3. Simetrias e invariantes
t0 = t + (q, t),
q 0 = q + (q, t). (3.20)
= g1 (t), (3.26)
onde g1 (t) deve ainda ser determinada. Usando (3.26) em (3.23) obtemos
para a forma:
1
= g1 (t)q + g2 (t), (3.27)
2
3.2. Aplicacoes 51
onde g2 (t) tambem e uma funcao arbitraria. Usando agora (3.26) e (3.27)
em (3.24) e (3.25) podemos escrever que
1 f
g1 (t)q + g2 (t) = , (3.28)
2 q
e tambem que
f
g1 (t)q 2 g2 (t)q = . (3.29)
t
A equacao (3.28) nos da para f a seguinte expressao:
1
f (q, t) = g1 (t)q 2 + g2 (t)q + g3 (t), (3.30)
4
1 ...
g2 (t)q g1 (t)q 2 = g 1 (t)q 2 + g2 (t)q + g3 (t), (3.31)
4
...
g 1= 4g1 ,
g2 = g2 ,
g3 = 0, (3.32)
A unica grandeza conservada com sentido fsico mais direto e G(3) , que e
proporcional a energia total do sistema E = T + V . As demais grandezas
conservadas (ou integrais primeiras) sao funcoes das condicoes iniciais e per-
mitem obter diretamente a solucao da equacao de movimento.
x0 = x + (A , x ),
A0 = A + (A , x ). (3.36)
x0 = x + a
A0 = A ,
f = 0, (3.38)
(r, t) h2 2
ih = (r, t) + V (r, t)(r, t), (3.44)
t 2m
com r designando o vetor posicao. Para simplificar, tomemos o caso a uma
dimensao:
(x, t) h2 2 (x, t)
ih = + V (x, t)(x, t). (3.45)
t 2m x2
A densidade lagrangeana para essa equacao e obtida considerando e seu
complexo conjugado como variaveis independentes:
h2
L = ih + ih V . (3.46)
2m x x
A condicao de simetria da acao (3.13) se escreve como
f1 f2
DL = + , (3.47)
x t
onde !
dk d d
D = + k + k, + , (3.48)
x k dx dx dx
com a identificacao:
1 x , 1 , 2 ,
2 t , x1 x, x2 t. (3.49)
3.2. Aplicacoes 55
1 = 0, 2 = c (constante),
1 = 2 = 0, f1 = f2 = 0, (3.50)
que nos da
D=c
. (3.51)
t
A grandeza conservada possui duas componentes, obtidas de (3.18) (fazendo
c = 1 sem perda de generalidade):
" #
h2
G1 = + , (3.52)
2m t x t x
e
h2
G2 = V , (3.53)
2m x x
que obedecem a lei de conservacao
G1 G2
+ = 0, (3.54)
x t
que por sua vez expressa a conservacao da energia total do sistema. Isso pode
ser verificado integrando (3.54) em uma regiao do espaco e depois fazendo
um integracao por partes.
1 = c (constante), 2 = 0,
1 = 2 = 0, f1 = f2 = 0, (3.55)
56 Captulo 3. Simetrias e invariantes
que nos da
D=c . (3.56)
x
As componentes da grandeza conservada podem ser obtidas analogamente
ao caso anterior (vide exerccio 6).
q + q = 0. (3.57)
q 0 = q + (q, t),
t0 = t + (q, t). (3.58)
dq 0 dq 0 dt
q 0 = = = (q + t + q q)(1 t q q)
dt0 dt dt0
= q + [t + q q t q q q 2 ], (3.59)
2
A generalizacao para campos e obtida considerando simetrias que dependem apenas
dos proprios campos e das variaveis independentes.
3.3. Simetrias da acao e simetrias das equacoes de movimento 57
tt + 2qt q + qq q 2 q q tt q 2qt q 2
+2t q qq q 3 + 3q q q + = 0. (3.62)
Notemos que (3.62) e uma equacao polinomial em q, o que nos permite igualar
a zero separadamente os coeficientes das potencias de q:
qq = 0, (3.63)
qq 2qt = 0, (3.64)
tt + 3q q 2qt = 0, (3.65)
tt q q + 2t q + = 0. (3.66)
e
g2 (t) = c6 sen 2t c5 cos 2t + c8 . (3.81)
q 0 = q + (q, q, t),
t0 = t + (q, q, t). (3.84)
x1 = q,
x2 = q, (3.85)
x1 = x2 ,
x2 = x1 . (3.86)
xi = fi (x1 , . . . , xn ); i = 1, . . . , n. (3.87)
n
!
X
0
g(x ) = 1 + i g(x). (3.89)
i=1 xi
n !
X
0
g(x ) = exp i g(x), (3.90)
i=1 xi
n
X
G(x) = i , (3.91)
i=1 xi
ou equivalentemente
[F, G] F G GF = 0, (3.97)
LG F = [F, G] = 0. (3.99)
3.5. Simetrias e invariantes das equacoes de movimento 63
t0 = t + (x, t) (3.107)
que implica
x0 = (x + x x + t ) (1 x x t )
h i
= x + x x + t x x2 t x , (3.108)
h
x0 = x + xx x2 + xt x + x x + xt x + tt
i
xx x3 xt x2 2x xx xt x2 tt x t x
(1 x x t )
h
= x + xx x2 + 2xt x + x x + tt xx x3
i
2xt x2 3x xx 2t x , (3.109)
...0 ...
h
x = x + xxx x3 + 3xxt x2 + 3xx xx + 3xtt x
+3xt x + ttt xxx x4 3xxt x3
6xx x2 x 3xtt x2 9xt xx 3x x2
... ...
4x x x 3t x ttt x 3tt x] . (3.110)
3.5. Simetrias e invariantes das equacoes de movimento 65
...0
x = kx0 . (3.111)
xx = 0, (3.113)
x = 0, (3.116)
xxx = 0, (3.117)
que por sua vez e uma equacao linear em x, e pode ser decomposta em
...
f 2 (t) = k f2 (t), (3.126)
e
...
f 3 (t) = k f3 (t). (3.127)
Ja (3.120) nos da
...
3f2 (t) f 1 (t) 2k f2 (t) + 2k f1 (t) = 0. (3.128)
... k2
f 1 (t) = f1 (t), (3.131)
3
3.5. Simetrias e invariantes das equacoes de movimento 67
kt k 2 c7 kt/3 k 2 c8 kt/3
3c1 e + 3c2 e + e
3 3
2 kt/ 3 2 kt/ 3
c7 k e + c8 k e = 0, (3.133)
que implica
c1 = c2 = c7 = c8 = 0, (3.134)
e assim temos uma algebra a cinco elementos dados pela solucao geral das
equacoes de simetria (3.113-3.121):
= c9 , (3.135)
= c3 x + c4 ekt + c5 t + c6 , (3.136)
que por sua vez nos dao os seguintes geradores infinitesimais de simetria:
U1 = ; U2 = x ; U3 = ekt ;
t x x
U4 = t ; U5 = . (3.137)
x x
Para aplicar o metodo descrito na secao anterior, vamos reescrever a
equacao (3.105) na forma de uma sistema equivalente de primeira ordem,
introduzindo as novas variaveis x1 = x, x2 = x, x3 = x. Como os geradores de
simetria envolvem explicitamente o tempo, introduzimos mais uma variavel
x4 = t. Assim obtemos o sistema
x1 = x1 ,
68 Captulo 3. Simetrias e invariantes
x2 = x3 ,
x3 = kx3 ,
x4 = 1, (3.138)
cujos geradores de simetria podem ser obtidos por extensao direta de (3.137)
acrescentando as componentes associadas as variacoes de x2 e x3 em (3.108)
e (3.109):
G1 = , G2 = , G 3 = x4 + ,
x4 x1 x1 x2
G4 = f (x4 ) + f 0 (x4 ) + f 00 (x4 ) ,
x1 x2 x3
G5 = x1 + x2 + x3 , (3.139)
x1 x2 x3
onde f (x4 ) = exp(kx4 ).
Tomemos entao {G1 , G2 , G3 , G4 } como conjunto de geradores linearmente
independentes. A matriz ji em (3.102) e dada por
0 0 0 1
1 0 0 0
= , (3.140)
x4 1 0 0
f (x4 ) f 0 (x4 ) f 00 (x4 ) 0
cuja inversa e
0 1 0 0
0 x4 1 0
= , (3.141)
0 g1 g2 g3
1 0 0 0
onde
f 0 x4 f x4 1
g1 = 00
= 2,
f k k
0
f 1
g2 = 00 = ,
f k
kx4
1 e
g3 = 00 = . (3.142)
f k2
3.6. Exerccios 69
J1 = 1,
J2 = x2 x3 x4 + g1 kx3 ,
J3 = x3 + g2 kx3 = 0,
J4 = g3 kx3 , (3.143)
3.6 Exerccios
1. Obtenha todas as simetrias de Nother, e as correspondentes grandezas
conservadas, de um pendulo conico, considerando pequenas amplitudes
na equacao de movimento. Interprete fisicamente as grandezas conser-
vadas.
Formalismo canonico e
equacoes de Hamilton
L
pi = . (4.1)
qi
71
72 Captulo 4. Formalismo canonico e equacoes de Hamilton
onde
f
ui . (4.3)
xi
Definimos entao uma nova funcao g(u1 , x2 ) por
dg = df x1 du1 u1 dx1
= u2 dx2 x1 du1 , (4.5)
como deve ser para uma funcao apenas de u1 e x2 . Na verdade, (4.5) demons-
tra que apesar de usarmos f , que e funcao de x1 e x2 , na definicao de g, esta
ultima so depende de u1 e x2 . Temos entao as seguintes relacoes entre as
variaveis:
g
u2 = , (4.6)
x2
4.1. Momentos generalizados e transformacao de Legendre 73
g
x1 =
. (4.7)
u1
A transformacao (4.5) e denominada transformacao de Legendre.
Tomando entao a lagrangeana L(q, q, t) e calculando sua diferencial total:
" #
X L L L
dL = dqi + dqi + dt , (4.8)
i qi qi t
podemos definir uma nova funcao H(q, p, t) por
X
H(q, p, t) = qi pi L(q, q, t), (4.9)
i
J = Det K 6= 0, (4.15)
H = T + V, (4.20)
R
qi = ; i = s + 1, . . . , n, (4.28)
pi
R
pi = ; i = 1, . . . , n, (4.29)
qi
R
pi = ; i = 1, . . . , s. (4.30)
qi
4.3. Equacoes de Routh 77
p = mr2 , (4.33)
onde
p2
Vef = + 2, (4.36)
r 2mr
o que reduz nosso problema a uma dimensao, cuja solucao foi obtida no
captulo 1.
S = 0. (4.38)
S + Et = 0. (4.45)
80 Captulo 4. Formalismo canonico e equacoes de Hamilton
e portanto
S0 = 0, (4.47)
que corresponde a equacao de uma linha reta (a menor distancia entre dois
pontos). O princpio de Maupertuis, expresso por (4.56), permite obter
equacoes para a orbita do sistema em termos das coordenadas apenas.
L
i = , (4.58)
i
e em consequencia
H
= , (4.61)
H
= , (4.62)
que sao as equacoes de Hamilton em termos dos campos e dos respectivos
momentos conjugados.
2
Usando a definicao de derivada funcional, temos para um funcional A[] que
A[]
A[ + ] = A[] + + O(2 ).
4.6. Sistemas contnuos - Campos 83
L
i (x) = , (4.64)
(x)
Z
H= H d3 x, (4.65)
onde
H = L. (4.66)
L L
dH = d d dx, (4.67)
x
H = , L. (4.72)
4.7 Exerccios
1. Consideremos um sistema a n graus de liberdade, descrito pela hamil-
toniana H(q1 , . . . , qn , p1 , . . . , pn , t), onde t e o tempo. Mostre como
obter uma nova hamiltoniana, descrevendo o mesmo sistema, que seja
independente do tempo (defina uma novo momento pn+1 = t e procure
a coordenada correspondente de tal forma que as novas equacoes de
Hamilton se identifiquem com as anteriores).
Transformacoes canonicas e
formalismo simpletico
L0 X L qj X qj
Pi = = = pj , (5.3)
Qi j qj Qi j Qi
87
88 Captulo 5. Transformacoes canonicas e formalismo simpletico
Como as duas situacoes descrevem o mesmo sistema, as acoes nos dois casos
devem ser iguais a menos de uma constante aditiva. A outra possibilidade
5.1. Transformacoes canonicas 89
seria de que as acoes fossem proporcionais, o que pode ser evitado fazendo
uma transformacao de escala nas coordenadas da forma
Q0i = Qi , (5.6)
Pi0 = Pi , (5.7)
1. F e funcao de q e Q:
F
Pi = , (5.12)
Qi
F
H0 = H + . (5.13)
t
Essa forma e particularmente util quando conseguimos expressar os
momentos p e P em termos das coordenadas q e Q. Vemos tambem
que quando F nao depende do tempo, as hamiltonias sao iguais.
Neste caso introduzimos uma nova funcao geradora F2 dada pela trans-
formacao de Legendre de F :
X
F2 (q, P, t) = F (q, Q, t) + Pi Qi . (5.14)
i
X X
dF2 = pi dqi + Qi dPi + (H 0 H)dt, (5.15)
i i
e consequentemente
F2
pi = , (5.16)
qi
F2
Qi = , (5.17)
Pi
F2
H0 = H + . (5.18)
t
Este caso se aplica quando pudermos obter Q e p em funcao de q e P .
A funcao F2 e tambem chamada de funcao geradora.
e portanto
F3
qi = , (5.21)
pi
F3
Pi = , (5.22)
Qi
F3
H0 = H + . (5.23)
t
Este caso e util quando conhecemos a expressao q e P em funcao de Q
e p.
que implica
X X
dF4 = qi dpi + Qi dPi + [H 0 H] dt, (5.25)
i i
de modo que
F4
qi = , (5.26)
pi
92 Captulo 5. Transformacoes canonicas e formalismo simpletico
F4
Qi = , (5.27)
Pi
F4
H0 = H + . (5.28)
t
X qj F
pj = , (5.31)
j Pi Pi
X qi F
H0 = H pi + . (5.32)
i t t
5.2. Condicoes de integrabilidade das transformacoes canonicas 93
[Qi , Pk ] = ik , (5.37)
{Qi , Pk } = ik , (5.41)
que sao as condicoes necessarias e suficientes para que exista uma funcao
geradora F , ou seja, para que a transformacao q, p Q, P seja canonica.
Notamos que em (5.40) e (5.41) os parentesis de Poisson sao calculados com
relacao as coordenadas iniciais qi , pi .
O parentesis de Poisson e definido em termos de um sistema de coorde-
nadas canonicas no espaco de fase. No entanto, podemos mostrar que ele e
invariante por uma transformacao canonica. Para mostrar isso vamos usar o
argumento de Landau e Lifchitz, por sua simplicidade e elegancia: primeira-
mente, notemos que o tempo entra apenas como um parametro nas trans-
formacoes canonicas, de modo que se provarmos a invariancia do parentesis
de Poisson para funcoes f e g independentes do tempo, entao o mesmo sera
igualmente valido para funcoes dependentes do tempo. Suponhamos entao
que g e a funcao de Hamilton de algum sistema fictcio. A derivada total de
f e dada nesse caso por {f, g}. Como essa derivada nao depende da escolha
de coordenadas canonicas no espaco de fase, o mesmo e verdade para {f, g}.
i = qi , (5.42)
i+n = pi , (5.43)
5.3. Notacao simpletica 95
0 = f (), (5.51)
0 = + (). (5.52)
A condicao (5.48) para que (5.52) seja canonica nos da que (sempre retendo
termos ate ordem ):
" #" #
+ + = , (5.53)
2
Por conectada continuamente entendemos que existe um subgrupo a um parametro,
do qual a transfromacao em questao e a identidade fazem parte.
5.4. Transformacoes canonicas infinitesimais 97
que implica
+ = 0. (5.54)
Multiplicando ambos os lados da equacao (5.54) por e somand em e
obtemos finalmente:
( ) ( ) = 0. (5.55)
A equacao (5.55) implica que existe uma funcao () tal que3
= , (5.56)
que permite reescrever (5.52) na forma
0 = + { , }. (5.57)
(0 , 0) = 0 . (5.59)
((0 , 1 ), 2 ) = (0 , 1 + 2 ). (5.60)
3
O lado esquerdo da eq. (5.55) e analoga ao rotacional de um vetor, este ultimo sendo
assim igual ao gradiente de uma funcao.
98 Captulo 5. Transformacoes canonicas e formalismo simpletico
d
= { , } = . (5.61)
d 0 0
Essa forma e particularmente util pois podemos encontrar uma solucao formal
para cada condicao inicial:
2
(0 , ) = 0 + {0 , } + {{0 , }, } + (5.62)
2!
f d
f (0 ) = f ((0 , )) =
d
= {f (0 ), (0 )}. (5.64)
f () = f (0 ) = f (0 ) + {f (0 ), (0 )}
2
+ {{f (0 ), (0 )}, (0 )} + (5.65)
2!
(0 )
G (0 ) = (0 )
= . (5.66)
5.4. Transformacoes canonicas infinitesimais 99
= (0 , ) = eG (0 ) 0 . (5.67)
f () = f (eG (0 ) 0 ) = eG (0 ) f (0 ). (5.68)
e portanto
J = 1, (5.76)
VD = VD0 . (5.77)
e portanto
f ((t), t) = f (0 , 0), (5.81)
102 Captulo 5. Transformacoes canonicas e formalismo simpletico
5.6 Exerccios
1. Demonstre a relacao (5.39).
103
104 Captulo 6. Sistemas hamiltonianos com vnculos
m (q, p, t) = 0; m = 1, . . . , N, (6.2)
N
X XN
H m
pi = um {pi , H + um m }, (6.8)
qi m=1 qi m=1
4. a equacao (6.10) nao se reduz a nenhum dos casos acima e uma nova
condicao de vnculo e obtida, sendo denotada por (q, p) 0 e denom-
inada de vnculo secundario.
r (q, p) 0; r = 1, . . . , M. (6.11)
(q, p) 0; = 1, . . . , K, (6.12)
(a, p) 0; = K + 1, . . . , N + M. (6.13)
Essas combinacoes devem ser tais que as funcoes sao linearmente inde-
pendentes, de tal forma que podemos escrever:
NX
+M
m = cm , (6.14)
=1
e portanto
N
X NX
+M
um m = v , (6.15)
m=1 =1
6.1. Formalismo de Dirac 107
onde
X
v = um cm . (6.16)
m
A equacao de evolucao para uma funcao dinamica qualquer e entao obtida
de (6.9) e (6.15):
NX+M
df f
{f, H + v } + . (6.17)
dt =1 t
Usando as condicoes de consistencia para os vnculos obtemos o seguinte
sistema de equacoes:
NX
+M
{ , H} + { , }v
=1
K
X NX
+M
{ , H} + { , }v + { , }v 0. (6.18)
=1 =K+1
o que faz com que a matriz hessiana em (6.1) seja identicamente nula. Os
vnculos primarios sao obtidos de (6.30):
2
X
i = pi ij qj ; i = 1, 2. (6.31)
j=1
0
Htot = Htot + {Htot , }
K
X K
X
= Htot + {H, } + { v , c }. (6.44)
=1 =1
e
K
X
{ , } = d , (6.46)
=1
onde consideramos apenas termos em primeira ordem nos vnculos, pois ter-
mos de ordem superior resultam em termos fracamente nulos em (6.40).
Obtemos entao que
K
X K
X
0 b +
Htot = Htot + d v c . (6.47)
=1 ,=1
0; = 1, . . . , K, (6.49)
O formalismo de Dirac para sistemas com vnculos pode ser extendido direta-
mente aos sistemas contnuos. As funcoes de vnculo passam a ser funcionais
das componentes do campo e dos momentos canonicamente conjugados
. O parentesis de Dirac construido em termos de um conjunto { } de
vnculos de segunda classe se escreve como
XZ
C (x1 , x2 ){ (x2 ), (x3 )}dn x2 = (x1 x3 ), (6.52)
e
0 (x) = 0. (6.57)
= {, H} {, H}
Z
H 3 0 H
d x = 0, (6.60)
A0 (x0 ) 0 (x0 ) A0 (x)
onde
Z
H = H ud3 x. (6.61)
onde fizemos uma integracao por partes e supusemos que i (x) se anula no
infinito. Em (6.62) a notacao f, significa a derivada de f com relacao a x .
Temos entao que
3
H 1X 1
= i,i (x). (6.63)
A0 (x) 2 i=1 2
dF F
{Htot , F } + , (6.66)
dt t
0 0,
Htot
A0 {A0 , Htot } = v1 ,
0
Htot
i {i , Htot } = ( B)i = Ei ,
Ai
Htot
Ai {Ai , Htot } = i + A0,i v2,i = Ai v2.i , (6.68)
i
onde o ultimo termo do integrando foi obtido apos uma integracao por partes.
Os termos contendo a funcao arbitraria A0 geram assim transformacoes
canonicas infinitesimais, que sao as transformacoes de calibre infinitesimais.
6.6. Exerccios 117
6.6 Exerccios
1. A equacao de Dirac e dada por
i + m = 0, (6.70)
x
onde = 0, . . . , 3 e sao as matrizes de Dirac definidas por
1 0 0 0 0 0 0 1
0 1 0 0 0 0 1 0
0 = , 1 = ,
0 0 1 0 0 1 0 0
0 0 0 1 1 0 0 0
0 0 0 i 0 0 1 0
0 0 i 0 0 1
0 0
2 = , 3 = , (6.71)
0 i 0 0 1 0 0 0
i 0 0 0 0 1 0 0
i i
L = + m, (6.73)
2 x 2 x
onde = 0 com = (0 , 1 , 2 , 3 ) o adjunto de . Na deducao
das equacoes de movimento e sao considerados como indepen-
dentes.
Formalismo de Hamilton-Jacobi
S
H0 = H + = 0. (7.1)
t
S
pi = , (7.2)
qi
1
Poderiamos supor que S dependesse de outras variaveis em vez de q e P . A escolha
feita aqui e uma mera questao de conveniencia.
119
120 Captulo 7. Formalismo de Hamilton-Jacobi
S
Qi =, (7.3)
Pi
de modo que a equacao (7.1) se escreve como
S S
H(q, , t) + = 0, (7.4)
q t
que nessa forma e a equacao de Hamilton-Jacobi. Toda solucao de (7.4) sera
uma funcao geradora satisfazendo (7.1). A solucao geral de (7.4) tem que
envolver n + 1 constantes arbitrarias, Uma delas sendo necessariamente uma
constante aditiva (pois apenas as derivadas de S aparecem na equacao). A
solucao geral tem a forma:
Pi = ci . (7.6)
Todo o metodo se resume entao a obter uma solucao geral das equacoes de
Hamilton-Jacobi (7.4).
O sentido fsico de S e obtido calculando sua derivada com relacao ao
tempo:
" #
dS X S S S
= Pi + qi +
dt i Pi qi t
X
= pi qi H = L. (7.7)
i
S = F cn+1 t, (7.21)
Pi = 0, (7.26)
H H
Qi = = = i1 , (7.27)
Pi ci
cujas solucoes sao
Pi = ci , (7.28)
Q1 = t + Q1 (0), (7.29)
Qi = Qi (0), i 6= 1. (7.30)
px = mx,
py = my,
pz = mz. (7.39)
= r + z, (7.41)
= r z, (7.42)
2 p2 + p2 1 p2
H= + + V (, ). (7.51)
m + 2 m
Como a hamiltoniana e independente do tempo, a funcao geradora S e da
forma S = F c1 t, com c1 uma constante, e a equacao de Hamilton-Jacobi
se reduz a
!2 !2 !2
2
F F +
1 F
H= + + V (, ) = c1 .
m( + ) 2m
(7.52)
7.3. Aplicacao: Campo central e forca externa constante 127
F1 = c2 . (7.55)
H 0
Qi = constante, (7.62)
Pi
H 0
Pi = = 0. (7.63)
Qi
Para que isso seja possvel, e necessario (e suficiente) que exista uma trans-
formacao canonica tal que Pi = Gi (q, p, t).
Para tal, procuremos uma funcao geradora S, funcao dos qi s, Pi s e do
tempo, tal que
S
pi = , (7.64)
qi
S
Qi = , (7.65)
Pi
2
Um sistema e dito integravel por quadraturas quando existe uma mudanca de variaveis
tais que sua solucao possa ser obtida por uma integracao direta (quadratura).
7.4. Teorema de Liouville sobre sistemas integraveis 129
S
H0 = H + . (7.66)
t
Expressando pi em funcao de Pi e qi e usando (7.64), vemos que S e da forma3
n Z qi
X
S= pi (q, P )dqi , (7.67)
i=1 ci
{Gi , Gj } = 0, i, j = 1, . . . , n. (7.68)
{Pi , Qj } = ij , (7.69)
{Qi , Qj } = 0, (7.70)
Vamos usar essa propriedade do toro para definir as variaveis de acao por
1 I
Ii = p dq, (7.77)
2 i
1 I S
Ii = dq. (7.78)
2 i q
i ao longo de um circuito j 5
F
i = = F = 2Ij = 2ij . (7.80)
Ii Ii Ii
H
Ii = = 0, (7.81)
i
H
i = = i , (7.82)
Ii
onde os i s sao frequencias angulares constantes. A trajetoria sobre o toro
e dada por
i (t) = i t + i (0). (7.83)
i ni
= , (7.84)
j nj
Estatstica ser valida, e necessario que nao existam toros invariantes nos
espaco de fase, para que o estado do sistema possa se deslocar livremente
sobre a hipersuperfcie de energia constante.
7.5.1 Exemplos
Oscilador harmonico
A hamiltoniana e dada por (7.9). Neste caso precisamos apenas uma cons-
tante de movimento, que e fornecida pela propria hamiltoniana:
p2 kq 2
E = H(q, p) = + = constante. (7.85)
2m 2
Em cada ponto do espaco de fase passa um toro invariante, definido pela
elipse (7.85). A variavel de acao e dada por
1 I
I= p dq. (7.86)
2
Sendo todo o toro M a propria elipse, o unico percurso irredutvel se
confunde com M e I e igual a area da elipse dividida por 2, o que nos da
1 q q
I= 2mE 2E/k = E m/k. (7.87)
2
A hamiltoniana se escreve entao como
q
H = I k/m, (7.88)
H = I. (7.90)
7.5. Toros invariantes e variaveis angulo-acao 135
H = 1 I1 + 2 I2 . (7.97)
Vemos entao que para o oscilador isotropico (k1 = k2 ), todas as orbitas sao
fechadas, quaisquer que sejam os valores de I1 e I2 .
136 Captulo 7. Formalismo de Hamilton-Jacobi
Captulo 8
137
138 Captulo 8. Teoria de perturbacoes e caos hamiltoniano
Apesar das variaveis I, serem canonicas, elas nao sao variaveis angulo-
acao para o sistema perturbado. Vamos entao tentar obter uma trans-
formacao canonica entre as variaveis I, e novas variaveis I 0 , 0 tais que
H(I, ) = H(I 0 ), fazendo com que o sistema perturbado seja tambem in-
tegravel. Tomemos uma funcao geradora da forma S(I 0 , ), e a respectiva
transformacao canonica:
S
, Ii = (8.2)
i
S
i0 = 0 . (8.3)
Ii
O proximo passo consiste em supor que S pode ser escrita como uma serie
de potencias em , o termo de ordem zero correspondendo a transformacao
identidade:
n
X
S= i Ii0 + S1 + 2 S2 + . . . , (8.4)
i=1
H(I 0 ) = H0 (I 0 ). (8.6)
que nos da
" #
i X i (I 0 ) S1 H1 mi H1,m (I 0 )
S2,m (I) = + . (8.13)
m 0 (I 0 ) i,j Ij0 j Ii0 m 0 (I 0 )
com " #
2
1X p2i
H0 (p, x) = + Ki x2i , (8.15)
2 i=1 mi
1
H1 (x) = (x1 x2 )2 . (8.16)
2
Como vimos no captulo anterior, as variaveis de acao para H0 sao dadas
por (7.93) e (7.94):
Ei
Ii = , (8.17)
i
q
onde i = Ki /mi , enquanto que as variaveis de angulo sao obtidas atraves
da funcao geradora que e solucao (7.22):
2 Z q
X 2 Z q
X
F = (2Ei Ki x2i )mi dxi = (2Ii i Ki x2i )mi dxi . (8.18)
i=1 i=1
onde
1 q q 2
H1 (I, ) = 2I1 sen1 2I2 sen2 . (8.22)
2
Podemos calcular a transformada de Fourier de H1 como
1 Z
Hn (I) Hn1 ,n2 (I) = H1 (I, )ein d1 d2
2
1 Z
= H1 (I, )ein1 1 ein2 2 d1 d2 , (8.23)
2
que pode ser calculada explicitamente usando (8.22). Os coeficientes de
Fourier da transformacao geradora sao dados, na ordem 1 , por
iH1,n1 ,n2 (I1 , I2 )
S1,n1 ,n2 = , (8.24)
n1 1 + n2 2
quando as frequencias 1 e 2 sao incomensuraveis.
zi = xi iyi , (8.28)
zi = i yi ii yi = ii zi , (8.29)
yi = yi (, ) = i + . . . , (8.32)
i = i + ii , (8.38)
i = i ii . (8.39)
10.0
0.0
-10.0 4.0
- 0.0 4.0
10.0
0.0
10.0
0.0
10.0
0.0
10.0
0.0
10.0
0.0
10.0
0.0
10.0
0.0
Figura 8.9: Mapa de Poincare para o sistema na eq. (8.49) e = 0.18. Aqui
retivemos apenas os toros que correspondem aos tres toros mais internos da
figura 8.2.
8.5. Teorema de Poincare-Birkhoff 153
2.0
0.0
- 2.0 1.0
- 0.0 1.0
Falta ainda responder o que acontece com um toro assim que ele e destrudo
por uma perturbacao. A figura 8.5 nos da um ideia da resposta, que e
expressa pelo teorema de Poincare-Birkhoff. desse ponto. Para podermos
enuncia-lo, precisamos antes discutir alguns aspectos matematicos ligados a
mapas discretos (como o caso do mapa de Poincare). Um mapa geral pode
ser escrito como
x = F (x), (8.50)
xn = x + xn . (8.51)
154 Captulo 8. Teoria de perturbacoes e caos hamiltoniano
Fi
Fij . (8.53)
xj
3
E importante salientar aqui que nem todo sistema nao-integravel e caotico.
Uma melhor discussao da nocao de integrabilidade e encontrada nas referencias
[Flaschka,1991] e [Goriely,2001]
156 Captulo 8. Teoria de perturbacoes e caos hamiltoniano
a b c
K=0.1 K=0.2
6.0 6.0
4.0 4.0
p p
2.0 2.0
0.0 0.0
0.0 2.0 4.0 6.0 0.0 2.0 4.0 6.0
K=0.4 K=0.6
6.0 6.0
4.0 4.0
p p
2.0 2.0
0.0 0.0
0.0 2.0 4.0 6.0 0.0 2.0 4.0 6.0
K=0.8 K=0.8
6.0
2.70
4.0
2.60
p p
2.50
2.0
2.40
0.0 2.30
0.0 2.0 4.0 6.0 1.0 1.5 2.0 2.5
k=1,0 k=1,2
6.0 6.0
4.0 4.0
2.0 2.0
0.0 0.0
0.0 2.0 4.0 6.0 0.0 2.0 4.0 6.0
k=2,0 k=2,0
6.0
4.9
4.7
4.5
4.0
4.3
4.1
2.0
3.9
3.7
0.0 3.5
0.0 2.0 4.0 6.0 3.5 4.0 4.5 5.0
k=3,0 k=4,0
6.0 6.0
4.0 4.0
2.0 2.0
0.0 0.0
0.0 2.0 4.0 6.0 0.0 2.0 4.0 6.0
k=5,0 k=8,0
6.0 6.0
4.0 4.0
2.0 2.0
0.0 0.0
0.0 2.0 4.0 6.0 0.0 2.0 4.0 6.0
toro resta e todas as trajetorias sao caoticas. Para essa situacao uma unica
condicao inicial gera pontos que preenchem densamente o plano (, p).
A demonstracao do teorema de Poincare-Birkhoff e mais simples quando
consideramos mapas que, como o de Chirikov, conservam a area. Considere-
mos assim um mapa cujas intersecoes dos toros invariantes com a superfcie
de secao sejam crculos concentricos. Essa situacao pode sempre ser obtida
por uma mudanca apropriada de coordenadas na superfcie (que preserve as
areas) e que leve as intersecoes dos toros em crculos. O mapa M assim
164 Captulo 8. Teoria de perturbacoes e caos hamiltoniano
rn+1 = rn ,
n+1 = n + R(rn ) mod 2, (8.61)
rn+1 = rn + F1 (rn , n ),
n+1 = n + R(rn ) + F2 (rn , n ), (8.62)
~r(j)
-r(j)
Figura 8.18: Curva r e a curva que e a sua imagem pelo mapa Mq ().
perturbado Mq (). Assim entre esses dois crculos de raios r1 e r2 existe uma
curva fechada, definida por r() sobre a qual o valor de nao e alterado
sob Mq (), que altera apenas radialmente os pontos sobre ela. A figura 8.18
mostra tal curva e a obtida pela atuacao de Mq () sobre ela. Como a area no
interior de cada curva e a mesma, elas devem necessariamente se interceptar
em um numero par de pontos que sao pontos fixos do mapa Mq (). Assim
cada um desses pontos faz parte de uma orbita de perodo q do mapa M()
e teremos entao um multiplo de q desses pontos. Para determinar a estabil-
idade desses pontos fixos consideramos pontos em sua vizinhana lembrando
que quando r > r() eles sao girados no sentido horario e se r < r() no
sentido anti-horario, como indicado na figura. Conclumos que metade deles
sao elpticos e a outra metade hiperbolicos.
166 Captulo 8. Teoria de perturbacoes e caos hamiltoniano
Apendice A
167
168 Apendice A. Espacos metricos e campos tensoriais
e assim
n
X x0i j
a0i = j
a. (A.7)
j=1 x
Notemos que tanto o vetor a como suas componente ai sao funcoes das coor-
denadas do ponto p. Assim podemos encarar a(x1 , . . . , xn ) como uma funcao
que associa um vetor a cada ponto de A, recebendo nesse caso a denominacao
de campo vetorial.
Definida a nocao de campo vetorial, introduzimos a de forma linear como
uma aplicacao linear de Vp em R, ou seja, se F e uma forma linear e a, b Vp
entao temos para todo , R que
e em particular
n ! n
!
X X
i i
F (a) F a = aF . (A.9)
i=1 xi i=1 xi
Assim basta conhecer como a forma atua na base de Vp para saber como ela
atua em um vetor qualquer. O espaco de todas as formas lineares em Vp
e denotado por Vp , que denominamos de espaco dual de Vp , e e um espaco
vetorial de mesma dimensao n. Para mostrar isso, notemos que F (a) pode
ser escrito como uma funcao das componentes de a, funcao essa homogenea
de primeira ordem nas componentes, o que nos permite escrever que:
n
X
F (a) = f (a1 , . . . , an ) = fi a i , (A.10)
i=1
170 Apendice A. Espacos metricos e campos tensoriais
F fi , (A.12)
o que garante que Vp e um espaco vetorial. Falta provar que sua dimensao e
n. Para tal, definimos as formas i Vp , i = 1, . . . , n, tais que
!
i = ji , (A.13)
xj
pois !
n
X n
X n
X
i j i
F (a) = fi (a) = fi a = fi a i , (A.15)
i=1 i,j,=1 xi i=1
que reproduz a relacao (A.10). Para provar que os i sao linearmente inde-
pendentes, basta mostrar que a relacao
n
X
i i = 0, (A.16)
i=1
que pode ser obtida a partir das leis de transformacao de ai e bi e do fato que
T (a1 , . . . , am |b1 , . . . , bl ) e um escalar (numero real independente do sistema
de coordenadas). O tensor metrico de componentes ij e um tensor 0 2, e
seu tensor dual de componentes ij um tensor 2 0. Ja o delta de Kronecker
ji e um tensor 1 1.
Apendice B
B.1 Grupo
i) se a, b, c G entao a (b c) = (a b) c;
Se, alem dos tres axiomas acima, a lei de composicao for comutativa, ou
seja, se a b = b a para todo a, b G, dizemos que G e um grupo comutativo
ou abeliano.
173
174 Apendice B. Grupos e algebras de Lie
i) A1 A2 D;
ii) A1 A2 D;
iii) S D.
(x1 , . . . , xn ) = Vs 1 1 n
Vr (y , . . . , y ), (B.2)
ou
(y 1 , . . . , y n ) = Vr 1 1 n
Vs (x , . . . , x ). (B.3)
ir = fi (p , q ). (B.4)
i = hi (, ). (B.12)
178 Apendice B. Grupos e algebras de Lie
i = hi (, ). (B.13)
3
e de (B.14) decorre que
X hj (, ) X f []
i Ij f [] = f [] f [] = i , (B.16)
i,j i = i i
X f []
Sij Ij f [] = , (B.17)
j i
com
hj (, )
Sij = , (B.18)
i =
que e um sistema de equacoes diferenciais de primeira ordem para f [], com
a condicao inicial
f []|=0 = f [0]. (B.19)
3
Como g() correponde neste caso a uma transformacao infinitesimal, de parametros
i , sua inversa e dada pelos parametros i , ou seja, i = .
B.5. Algebra de Lie 179
2f 2f
= . (B.20)
i j j i
Sij = ij , (B.23)
Pode-se mostrar tambem que dois grupos que possuem o mesmo conjunto de
constantes de estrutura sao isomorfos.
Os geradores infinitesimais Ii geram um espaco vetorial de dimensao m.
Podemos entao escolher uma outra base nesse espaco formada por m vetores
Ii linearmente independentes, para os quais temos:
X
Ii = Mij Ij , (B.26)
j
e
X
Ii = Mij1 Ij . (B.27)
j
X X
1
Mil1 Mjk (Il Ik Ik Il ) = Cijk Mkl1 Il , (B.28)
k,l kl
ou ainda
X
Il Ik Ik Il = 1
Mli Mkj Cijk Mkp Ip , (B.29)
i,j,k,p
X
Clqp = 1
Mli Mqj Cijk Mkp . (B.30)
i,j,k
LV U = [V, U ]. (B.36)
Vimos entao que para todo campo existe sempre um sistema de coorde-
nada no qual a congruencia gerada pelo campo e uma das linhas de coor-
denadas. No caso de termos n campos Vi em um espaco n-dimensional, a
condicao para que exista um sistema de coordenadas xi tal que
Ui = , (B.37)
xi
e que os n campos comutem entre si, i. e.
[Ui , Uj ] = 0, (B.38)
Caos: exemplos e
caractersticas principais
O primeiro ponto a ser observado e que nao existe uma definicao unica do
termo caos na literatura, e por essa razao, procuraremos esclarece-la atraves
de alguns exemplos classicos. Tendo assim adquirido alguma intuicao sobre
o significado do termo, discutiremos as principais caractersticas do compor-
tamento caotico. Mais adiante, nas demais secoes, veremos como quantificar
certas propriedades do sistema que indicam se este e ou nao caotico.
183
184 Apendice C. Caos: exemplos e caractersticas principais
d2 r
= F(r, v, t), (C.1)
dt2
x = p(x y)
y = xz + rx y
z = xy bz, (C.3)
x = y = z = 0, (C.4)
186 Apendice C. Caos: exemplos e caractersticas principais
e
q
x = y = b(r 1), z = r 1. (C.5)
z(t)
300
250
200
150
100
50
t
0 2 4 6 8 10 12
z(t)
250
200
150
100
50
0 2 4 6 8 10 12
t
z(t)
200
180
160
140
120
100
80
40 60
20 40
20
0 0
20
x(t) 20
40
60
40 y(t)
z(t)
180
160
140
120
100
80
60
40 60
20 40
20
0 0
20
x(t) 20
40
60
40
y(t)
x(t)
20
10
t
2 4 6 8 10
10
20
0.5
0 10 n
0.6
0.5
0 10
n
x
0.75
0.7
0.65
0.6
0.55
0.5
0 2 4 6 8 10 12 14 16 18 20 22 24 n
x
0.8
0.7
0.6
0.5
0 2 4 6 8 10 12 14 16 18 20 22 24
n
0.90
0.80
0.70
0.60
3.2 3.4 3.6 3.8
0.95
0.90
0.85
0.80
3.50 3.60 3.70 3.80 3.90
0.92
0.90
0.88
0.86
0.84
3.50 3.55 3.60 3.65
0.900
0.895
0.890
0.885
0.880
3.560 3.570 3.580
C.5 Fractais
Dissemos que os atratores para o sistema de Lorenz e para o mapa logstico
sao fractais, entes geometricos de dimensao nao-inteira. Para falarmos de
dimensoes fracionarios, de onde o nome fractal, precisamos de uma gene-
ralizacao da nocao de dimensao, que de a dimensao correta para objetos
de dimensao inteira, e que possa ser aplicada aos fractais. Diferentes pos-
sibilidades existem e vamos apresentar aqui uma das mais simples. A di-
mensao de capacidade e definida da seguinte maneira: tomemos um conjunto
de caixas de lado L (linhas, quadrados, cubos, etc. segundo a dimensao do
espaco) empilhadas de tal maneira que contenham totalmente o objeto cuja
dimensao queremos calcular. Tomemos entao o numero mnimo de tais caixas
necessarias para conter o objeto, denotado por N (L). A dimensao D do ob-
jeto e entao definida por
1
Na verdade, esse teorema de Osedelec vale se existir uma medida ergodica e in-
variante para o sistema, e a menos de uma conjunto de condicoes iniciais de medida
nula [Oseledec,1969].
200 Apendice C. Caos: exemplos e caractersticas principais
Apendice D
Analise de Painleve
201
202 Apendice D. Analise de Painleve
xi = fi (x); i = 1, . . . , n, (D.1)
x1 = h(x1 ), (D.2)
dwi
= Fi (w1 , . . . , wn , z); i = 1, . . . , n. (D.5)
dz
204 Apendice D. Analise de Painleve
D.2.2 Ressonancias
A serie (D.6) deve conter n constantes arbitrarias para ser uma candidata a
solucao geral do sistema (D.5). Uma delas e a posicao z0 da singularidade,
sendo assim necessarias outras n 1 dessas constantes. Elas devem apare-
cer nos termos de ordem superior da serie que sao compensados pelos ter-
mos dominantes, para quaisquer valores dos seus coeficientes. As potencias
na serie em que esses termos aparecem sao denominadas de ressonancias.
Para perceber melhor como tais constantes aparecem, escrevemos a parte
da solucao que e relevante quando consideramos os termos dominantes do
sistema para cada ramo:
Para que (D.8) tenha uma solucao nao-trivial e assim um dos i s permaneca
arbitrario, devemos ter que
(m)
onde a notacao usada significa que Ri depende de todos coeficientes ai (k)
com k n 1. Para resolver essa hierarquia de equacoes procedemos da
seguinte maneira. Ordenamos as ressonancias por ordem crescente: r1 r2
. . . rs com s n (lembrando que podem existir razes com multiplicidade).
Consideramos entao a equacao para m = 1, que determina ai (1). Procedemos
assim para os valores seguintes de k ate m = r1 1. Para m = r1 , temos
uma ressonancia e Det Q(r1 ) = 0. Para que (D.11) possua uma solucao
(com ao menos uma das componente ai (r1 ) arbitraria), a seguinte condicao
de consistencia deve ser satisfeita:
onde Q(k) e obtida de Q substituindo sua k-esima coluna pelo vetor R(k) de
(m)
componentes Ri . Temos entao duas possibilidades:
Vamos considerar o caso em que as massas sao iguais a um. Isso nao constitui
uma restricao pois equivale a fazermos a transformacao canonica qi , pi
mi qi , pi / mi , e a redefinir os parametros da seguinte maneira: ki ki /mi
e /m1 m2 . Para o presente caso e mais conveniente escrevermos as
equacoes de movimento como um sistema de segunda ordem:
q1 + k1 q1 + 2q1 q22 = 0,
q2 + k2 q2 + 2q12 q2 = 0. (D.14)
x = x x2 + xy,
y = y + xy y 2 . (D.19)
x = x2 ,
y = xy, (D.20)
D.3. Exemplos de aplicacao 211
x = xy,
y = y 2 . (D.21)
x = x2 + xy,
y = xy y 2 , (D.22)
1. !
r+1 0
Q= . (D.25)
1 r
As ressonancias sao obtidas resolvendo (D.9), e sao dadas por r = 1 e
r = 0. Dessa forma, o coeficiente a2 (0) do termo dominante e arbitrario.
2. !
r 0
Q= . (D.26)
1 r+1
As ressonancias sao novamente r = 1 e r = 0 e a1 (0) permanece
arbitrario.
3.
!
a1 (2a1 a2 + r 1) a1 a2
Q= , (D.27)
a1 a2 a2 (2a2 a1 + r 1)
(1 + )(1 + )
r= . (D.28)
1
Como r deve ser inteiro, o par (, ) deve assumir um dos seguintes pares de
valores: (1, 2), (1, 3), (1, 5), (2, 2), (2, 5), (3, 3), (0, n) ou (n, 2 n), para n
inteiro, e os pares obtidos permutando e . A ressonancia pode ser obtida
em cada caso usando (D.28).
O ultimo passo consiste entao em verificar as condicoes nas ressonancias,
de forma que tenhamos o numero correto de constantes arbitrarias na solucao,
duas no presente caso. Para que o sistema seja integravel a condicao de
consistencia (D.12) deve ser satisfeita nas ressonancias. Obtemos entao para
cada um dos casos, respectivamente:
D.4. Exerccios 213
D.4 Exerccios
1. Faca a analise de Painleve para o sistema (D.19) no caso = = 1.
(, ) Condicao na ressonancia
(1, 2) = , 3/2, 4, 8/7, 13/7
(1, 3) = . 2, 5
(1, 5) = , 3, 7
(2, 2) = , 2
(3, 3) = ,
Apendice E
O pacote SADE
> with(sade):
Warning, the protected names norm and trace have been redefined
and unprotected
215
216 Apendice E. O pacote SADE
1
Um quasi-polinomio e uma generalizacao dos polinomios com potencias arbitrarias
reais, ou mesmo complexas. Evidentemente o devido cuidado deve ser tomado com relacao
a sobre qual espaco tais funcoes sao definidas.
E.2. Simetrias, tensores e constantes de movimento 217
{2 b ( t x) y 2 b ( t y) x, 2 b ( t x) z 2 b ( t z) x,
a
b ( t x)2 b ( t y)2 b ( t z)2 + 2 , 2 b ( t y) z + 2 b ( t z) y}
x + y2 + z2
A sada e um conjunto contendo as correspondentes constantes de movi-
mento.
2
Tambem chamado na literatura de polinomio de Darboux.
E.2. Simetrias, tensores e constantes de movimento 219
sao:
x = x(xe y f z g + cy + z),
y = y(xe y f z g + az + x),
z = z(xe y f z g + bx + y). (E.12)
" c bc 1
z ( 1+b cc ) y ( 1+b cc ) (c y b b x + z) c x( 1+b cc )
,
1 + bc c
#
1
{e = 0, g = 0, f = 1, a = }
bc
> invariantes[6];
222 Apendice E. O pacote SADE
y (xa + 1)
[ , {b = 1, c = 0, f = 0, g = 1, a = e}]
y + xa z a
2
[{( x 2 q10(x, t)) + ( t q10(x, t))}, [
1 1 1
u q16 x2 u q14 x u q16 t + u q19 + q10(x, t),
8 2 4
1 1 1
x q16 t + x q17 + q14 t + q15 , q16 t2 + q17 t + q18 ], {}]
2 2 2
A sada e uma lista de tres elementos. O primeiro e um conjunto com as
equacoes que porventura o algoritmo de solucao nao foi capaz de resolver.
No caso da equacao de difusao de calor, e sabido que os geradores de sime-
tria envolvem uma funcao arbitraria, que e solucao da propria equacao de
partida, a funcao q10 (x, t) na sada. Todas as constantes e funcoes arbitrarias
(ou satisfazendo um conjunto de equacoes) sao denotadas pelo smbolo q e
E.2. Simetrias, tensores e constantes de movimento 223
onde
1 q . (E.17)
y y1 yp
O tensor T e dito invariante com relacao ao sistema de Lotka-Volterra (E.4)
caso sua derivada de Lie com relacao a V seja nula:
LV T = 0 . (E.18)
que implica
N
X N
X N
X
(LV Cl ) Tl + C l L V Tl = Cl Tl = 0 . (E.24)
l=2 l=2 l=2
Cl = 0 , (E.25)
x1 = x1 x1 (x1 + x2 + x3 ),
x2 = x2 x2 (x1 + x2 + x3 ),
x3 = x3 x3 (x1 + x2 + x3 ), (E.26)
226 Apendice E. O pacote SADE
> algsys(equations,variables,parameters):
Para obter o sistema determinante dos tensores polinomiais semi-invariantes
utilizamos o comando tensordeteq(grau,q,p), onde grau e o grau do polinomio
semi-invariante de tipo q-p. A seguinte entrada no Maple permite calcular
os tensores semi-invariantes lineares de tipo 1 0, ou seja, vetores semi-
invariantes:
> eq:=tensordeteq(1,0,1):nops(eq);
40
onde obtivemos um sistema com 40 equacoes, que sao resolvidas usando a
rotina quasisolve:
> aa:=take_out(aa,{alpha=0,beta=0}):nops(aa);
53
onde eliminamos as solucoes tais que = = 0. Os correspondentes tensores
invariantes sao obtidos com a rotina invariant tensor:
> bb:=invariant_tensor(aa):
> nops(eval(bb));
40
Como exemplo tomemos o primeiro elemento da lista bb:
> bb[1];
E.2. Simetrias, tensores e constantes de movimento 227
" #
x3 tt1 x2 tt3 x3 x3 tt1 x2 tt3 x3
[ , 0, , { = 1, = 1}]
x1 tt1 x1 tt3 x1 tt1 x1 tt3
onde tt1, tt2 e tt3 sao constantes arbitrarias que aparecem no expoentes.
Note-se que o resultado ja esta expresso nas variaveis originais e nao nas
variaveis quasi-monomiais (E.3). As constante de movimento obtidas a partir
de (E.22) sao determinadas pela rotina geom meth inv:
> cc:=geom_meth_inv(bb):
> nops(cc);
94
Ou seja, obtivemos no total 94 constantes de movimento para o sistema
de May-Leonard (includas as triviais e as redundancias eventuais), para
diferentes condicoes sobre os parametros. Tomemos alguns exemplos:
> cc[1..4];
x = ax bxy,
y = cy dxy. (E.29)
O pacote PAINLEVE
Ao longo dessas etapas certas restricoes sobre os valores dos parametros livres
do sistemas podem se fazer necessarias para que a condicoes do teste se-
jam satisfeitas. A segunda etapa e a unica que nao pode ser inteiramente
realizada pelo computador, pois muitas vezes envolve equacoes no conjunto
dos inteiros, para as quais nao existe algoritmo generico de solucao. As
solucoes dessas equacoes devem ser apresentadas pelo usuario para que a
229
230 Apendice F. O pacote PAINLEVE
> with(painleve):
> eqs:=[diff(x(t),t)-x(t)*(-x(t)+alpha*y(t)+lambda),
> diff(y(t),t)-y(t)*(beta*x(t)-y(t)+mu)]:
> uuu:=lead_order(eqs,[x,y],t,{alpha,beta,mu,lambda});
> ccc:=resonances(uuu,[x,y],t,{alpha,beta,mu,lambda});
1
ccc := {[[ C1 t , ], [1, 0], {}],
t
1+ 1+ +1++
[[ , ], [1, ], {{ = 1, = 1}}],
( 1) t ( 1) t 1
1
[[ , C1 t ], [1, 0], {}]}
t
Para explicar a sada consideramos o elemento ccc[2]: o primeiro elemento
tem o mesmo sentido que na entrada (a forma explcita dos termos domi-
nantes), o segundo elemento nos da a lista contendo as ressonancias (com-
pare com a eq. D.28) e por sua vez o terceiro termo nos da eventuais valores
dos parametros para os quais o resultado nao vale. No nosso exemplo, o caso
= = 1 deve ser analisado separadamente.
No presente ponto devemos informar ao pacote quais as solucoes da
equacao
1 + + +
= inteiro. (F.1)
1
Suas solucoes estao listadas no apendice D. Vamos mostrar como completar
a analise de Painleve para a solucao = n, = n 2, com n inteiro,
verificando se existem constantes arbitrarias em numero suficiente na solucao,
e quais as condicoes sobre os parametros para que isso ocorra:
> ppp:=arbitrary_const(ccc[2],
> eqs,[x,y],t,{mu,lambda},{alpha=n,beta=-n-2});
ppp := {{ = }}
232 Apendice F. O pacote PAINLEVE
O pacote SIMPLETIC
(t + t) = et{H, }
(t)
X
= (t{H, }) (t). (G.1)
n=0
233
234 Apendice G. O pacote SIMPLETIC
H - Hamiltoniana do sistema.
H = p2 + q 3 + qp. (G.2)
> with(simpletic):
> simpletic(p^2+q^3+q*p,[q],[p],[0.0,1.0],
> 3,0.01,10.0,0.1,[p]);
235
0.5 1 1.5 2
0
10
Legend
p
Caso omitamos a lista gr, a rotina retorna os valores numericos dos elementos
de q e p, na ordem, separados por intervalos de tempo t, na forma de uma
lista de listas. Cada uma dessas listas contem o valor do tempo e das variaveis
em q e p:
> simpletic(p^2+q^2,[q],[p],[0.0,1.0],
> 3,0.1,10.0,1.0);
> simpletic(p1^2+q1^2+p2^2+q2^2+0.1*q1^2*q2^2,
> [q1,q2],[p1,p2],[0.0,0.2,1.0,-1.0],
> 3,0.01,1000.0,0.1,poincare);
0.5
0.5
1
Referencias bibliograficas
237
238 Referencias bibliograficas
241
242 INDICE REMISSIVO
densidade equacoes
hamiltoniana, 83 de Hamilton, 73
85, 86 ante, 84
linear, 35 mento
involucao, 129
gerador
Kepler, problema de, 13, 77
de simetria, 61, 62, 222
de um grupo de Lie, 177 lagrangeana, 6
de uma transformacao canonica, degenerada, 41, 103
98 efetiva, 77
graus de liberdade, 3 equivalente, 9
grupo, 173 relativstica, 29
244 INDICE REMISSIVO
vnculo, 3
de primeira classe, 106
de segunda classe, 106
em lagrangeanas degeneradas,