UNIVERSIDADE FEDERAL DO CEARA

Campus Cariri
Coordenacao de Engenharia Civil

Pontos Tematicos de Fsica

Formalismos Lagrangiano e Hamiltoniano

Wilson Hugo C. Freire

Juazeiro do Norte - CE
Fevereiro de 2008

Conte
udo
1 Introduc
ao

2 C
alculo Variacional

3 O Formalismo Lagrangiano

10

4 O Formalismo Hamiltoniano

13

5 Exemplos

18

6 Par
enteses de Poisson

23

Introduc
ao

Vamos apresentar as formulacoes lagrangiana e hamiltoniana da Mecanica Classica, as

quais sao concisamente fundamentadas em um princpio variacional, designado como
princpio de Hamilton. Estas formulacoes sao de grande importancia pois possibilitam uma transicao natural da Mecanica Classica para Mecanica Quantica. Alem do
mais quando estendidas para o contnuo, onde surgem os campos, estas formulacoes
oferecem a linguagem basica e unificadora para a construcao das teorias fsicas como
o eletromagnetismo, a relatividade geral, teoria de campos etc.

C
alculo Variacional

Inicialmente vamos apresentar de forma breve as nocoes matematicas apropriadas para

desenvolver o formalismo lagrangiano. Estas nocoes fazem parte do chamado Calculo
Variacional que, a grosso modo, e o Calculo Diferencial de funcionais. Dessa forma
enquanto o Calculo Diferencial usual trata, por exemplo, do problema de determinar
pontos de maximo ou de mnimo local (ou, em geral, pontos crticos) de uma funcao de
varias variaveis g : D Rm R, o Calculo Variacional permite determinar pontos
de maximo ou de mnimo (ou, em geral, pontos estacionarios) de um dado funcional
A : F R, onde F e um espaco vetorial de funcoes suficientemente comportadas.
Assim os pontos(elementos) de F sao funcoes, como por exemplo q : [t1 ; t2 ] Rn
que a cada t [t1 ; t2 ] associa q(t) (q1 (t), ..., qn (t)) Rn .
Na formalismo lagrangiano, como veremos, a dinamica de um sistema fsico e descrita em termos de um funcional A, chamado acao do sistema, o qual esta definido
sobre funcoes q que representam as possveis trajetorias deste sistema no espaco de
configuracoes.
Funcionais
Neste contexto os funcionais de interesse sao usualmente dados por integrais. Por
exemplo: considere um espaco de funcoes suficientemente diferenciaveis, digamos
F = {q : [t1 ; t2 ] Rn | q diferenciavel C k },
e defina o funcional A : F R por
Z

t2

A[q] =
t1

n
X
i=1

qi (t)[qi (t)]2 dt

onde q = dq/dt e a derivada de q. Note que para cada q no espaco F temos que A[q]
e um n
umero real bem definido e, entao, A e de fato um funcional. Note que o valor
do funcional A no ponto(funcao ou curva de Rn ) q, denotado por A[q], depende em
geral nao apenas de um valor especfico q(t) (de q em um certo t) mas de todos os
valores da funcao q.
Especificamente os funcionais que descrevem os sistemas mecanicos sao da forma
Z

t2

A[q] =

L(q(t), q(t),

t) dt

(2-1)

t1

onde L(q, q,
t) L(q1 , ...qn , q1 , ...qn , t) e uma funcao diferenciavel a valores numericos
(em R). No contexto da mecanica, como veremos mais adiante, L e a lagrangiana do
sistema em consideracao.
Derivada Funcional
O conceito chave no Calculo Diferencial de funcoes e o de derivada; no contexto das
funcoes de varias variaveis surgem as derivadas parciais e, em geral, as derivadas direcionais ou derivadas de Gateaux (as derivadas parciais sao derivadas direcionais particulares) alem do conceito mais forte de diferenciabilidade (de Frechet). No Calculo
Variacional ha o conceito de derivada de um funcional (derivada funcional), o qual
desempenha para os funcionais o mesmo papel que as derivadas direcionais desempenham para funcoes de varias variaveis (Gelfand-Fomin, Calculus of Variations, Dover
inic., 2000, pg. 27). Vejamos o conceito de derivada funcional e a nocao de ponto
crtico (ou estacionario) de um funcional.
Lembremos que no caso de uma funcao g : D Rm R a derivada direcional de g
no ponto x = (x1 , ..., xm ) D relativamente ao vetor v = (v1 , ..., vm ) Rm , e denotada
5

e definida por
g(x + v) g(x)
70

v g(x) = lim

desde que o limite exista. Equivalentemente, pondo G() g(x + v), temos

G() G(0)
dG()
d
.
v g(x) = lim
=
=
[g(x
+
v)]

70

d =0
d
=0
? Em resumo, a derivada direcional de g e dada por

g(x + v) g(x)
d
v g(x) = lim
= [g(x + v)] .
70

d
=0

(2-2)

? Um fato importante e que se x = (x1 , ..., xm ) D e um ponto crtico ou estacionario

(por exemplo, de maximo ou de mnimo) de g entao esta derivada se anula, v g(x) = 0,
qualquer que seja v em Rm .
F No caso de um funcional A : F R, como o da forma (2-1), vale uma definicao
analoga: a derivada (direcional) do funcional A no pontoq : [t1 ; t2 ] Rn relativamente ao vetor : [t1 ; t2 ] Rn e designada por

d
A[q + ] A[q]
A[q] = lim
= {A[q + ]} .
70

d
=0

(2-3)

F A curva q : [t1 ; t2 ] Rn que torna estacionario (maximo ou mnimo, por exemplo)

o valor do funcional A deve ser tal que A[q] = 0 para qualquer vetor admissvel
(explicaremos o termo admissvelmais adiante).
O problema geral que nos interessa aqui e o seguinte: Dado um espaco de funcoes
suficientemente diferenciaveis que descrevem curvas conectando os mesmos pontos
extremos,
F = {q : [t1 ; t2 ] Rn | q(t1 ), q(t2 ) fixos},
6

considere o funcional A : F R,
Z

t2

A[q] =

L(q(t), q(t),

t) dt

(2-4)

t1

onde L(q, q,
t) L(q1 , ...qn , q1 , ...qn , t) e uma funcao diferenciavel a valores numericos.
Dentre todas as curvasq conectando os pontos q(t1 ) = (q1 (t1 ), ..., qn (t1 )) e q(t2 ) =
(q1 (t2 ), ..., qn (t2 )) qual delas maximiza ou minimiza (ou, em geral, torna estacionario)
o valor do funcional A.
Para encontrar esta curva ou, pelo menos, caracteriza-la matematicamente de alguma
maneira, vamos a seguir calcular a derivada funcional A[q] e, na sequencia, faze-la
igual a zero. O resultado, como veremos a seguir, sera constitudo pelas chamadas
equacoes de Euler do Calculo Variacional.
As Equac
oes de Euler
Vamos primeiramente calcular a derivada do funcional dado pela equacao (2-4), usando
a definicao (2-3) que acabamos de apresentar:

Z t2

d
d
A[q] = {A[q + ]}
=
L(q + , q + ,
t) dt .
d
d
t1
=0
=0
Tendo em vista que esta derivada e relativa a e que a integral e com respeito a t
podemos derivar sob o sinal de integracao e, em seguinda, aplicar a regra da cadeia.
temos
Denotando Q = q + e q + = Q,
Z

t2

A[q] =

t1

i
t2

=
t1

L Q i
L Qi
+
Qi
Q i

)
dt =
=0

L
i +
i dt
qi
qi

X L
i

Realizando uma integracao por partes e usando o teorema fundamental do calculo

7

temos
Z

t2

A[q] =
t1

X L
i

d L

qi dt qi

i dt +

!
L
L
i
i
.
qi t2
qi t1

Lembremos que a definicao de derivada do funcional envolve a expressao A[q + ], de

modo que, por consistencia, q + deve residir no espaco F das funcoes que descrevem
curvas conectando os extremos fixos q(t1 ) e q(t2 ); logo
q(t1 ) + (t1 ) = q(t1 ) = (t1 ) = 0,
q(t2 ) + (t2 ) = q(t2 ) = (t2 ) = 0.
A estao os s admissveis: eles devem ser tais que (t1 ) = (t2 ) = 0. Assim
Z

X L

t2

A[q] =
t1

d L

qi dt qi

i dt.

Se a curva q(t)que liga q(t1 ) `a q(t2 ) torna estacionario o valor de A entao

Z

t2

A[q] =

X L

t1

d L

qi dt qi

i dt = 0,

para todo vetor admissvel (tal que (t1 ) = (t2 ) = 0). Mas como e bastante
arbitrario isto nos leva a suspeitar que
d
dt

L
qi

L
= 0, i = 1, ..., n;
qi

esta conclusao e na verdade consequencia do lema mostrado a seguir.

Lema: Se f : [t1 ; t2 ] R e contnua e
Z

t2

f (t)(t)dt = 0
t1

para qualquer : [t1 ; t2 ] R contnua satisfazendo (t1 ) = (t2 ) = 0 entao f (t) = 0

para todo t [t1 ; t2 ].
8

Prova do Lema: Suponha que f e nao nula, digamos f () > 0 em um certo [t1 ; t2 ]
(o caso f () < 0e provado de forma inteiramente analoga). Entao, pela continuidade
de f , esta funcao e extritamente positiva nalgum intervalo [a; b] [t1 ; t2 ] tal que
[a; b]. Vamos tomar : [t1 ; t2 ] R definida para todo t [t1 ; t2 ] da seguinte
maneira: (t) = (t a)(b t) se t [a; b] e (t) = 0 se t
/ [a; b]. Esta funcao e
contnua e (t1 ) = (t2 ) = 0. Para ela temos
Z

t2

f (t)(t)dt =
t1

f (t)(t a)(b t)dt > 0,

a

que contradiz a hipotese. Logo f (t) = 0 para todo t [t1 ; t2 ].

A conclusao e que se q minimiza ou maximiza ou, em geral, torna estacionario o valor
do funcional A entao q deve ser solucao das equacoes
d
dt

L
qi

L
= 0, i = 1, ..., n,
qi

(2-5)

que sao chamadas de equacoes de Euler e constituem um sistema de n equacoes diferenciais de segunda ordem em geral acopladas. Para que a solucao q seja bem definida
consideramos usualmente 2n condicoes de contorno que fixam q(t1 ) e q(t2 ).

O Formalismo Lagrangiano

Coordenadas Generalizadas
Em geral, os sistemas fsicos estao sujeitos a condicoes denominadas vnculos os quais
restringem o n
umero de coordenadas necessarias para descrever o movimento destes
sistemas. Se considerarmos um sistema de N partculas cujo movimento e descrito por
{~ra }a=1,...,N e se este sistema esta submetido a K vnculos, K < 3N , equacionados por

(~r, t) = 0, = 1, ..., K,

os quais sao chamados vnculos holonomicos, podemos notar que das 3N coordenadas
(xa , ya , za ), a = 1, ..., N , podemos selecionar 3N K n coordenadas independentes (o
n
umero n e chamado n
umero de graus de liberdade). Mais ainda, o uso de coordenadas
cartesianas nao e obrigatorio: Podemos escolher n = 3N K coordenadas, digamos

{q (q1 , ..., qn )},

que possibilite descrever completamente o movimento do sistema. Tais coordenadas

sao englobadas sob o nome de coordenadas generalizadas e uma escolha conveniente
de tais coordenadas depende de cada problema especfico.
Princpio de Hamilton e Equac
oes de Euler-Lagrange
Uma configuracao (ou estado) do sistema e definido por um conjunto de valores que
suas coordenadas generalizadas (q1 , ..., qn ) podem assumir. Uma tal configuracao e
imaginada como sendo representada por um ponto q = (q1 , ..., qn ) no chamado espaco
de configuracoes do sistema. A medida que o tempo t vai passando o sistema pode
10

evoluirou se moverde uma configuracao q(t1 ) = (q1 (t1 ), ..., qn (t1 )) para outra configuracao q(t2 ) = (q1 (t2 ), ..., qn (t2 )).
O problema geral da mecanica passa ser formulado nos seguintes termos: dentre
todas as trajetorias ligando q(t1 ) `a q(t2 ) no espaco de configuracoes do sistema, qual
e aquela que o sistema segue. O guia para resposta e o Princpio de Hamilton:
Princpio de Hamilton: A trajetoria q(t) = (q1 (t), ..., qn (t)) que descreve o movimento do sistema da configuracao q(t1 ) para a configuracao q(t2 ) e tal que o funcional
acao do sistema,
Z

t2

A[q] =

L(q, q,
t)dt,
t1

assume um valor mnimo (mais geralmente, estacionario). Aqui a funcao L(q, q,

t) e
uma funcao que caracteriza o sistema, chamada lagrangiana deste sistema, a qual e
usualmente dada por
L=T V
onde T e a energia cinetica e V e a energia potencial do sistema em consideracao.
Estamos nos referindo a um sistema que admitam uma funcao energia potencial V ,
por exemplo um sistema conservativo.
Pelo que vimos anteriormente, a trajetoria q(t)que mapeiao movimento do sistema
no espaco das configuracoes, a qual torna estacionario o valor do funcional acao deste
sistema, deve ser solucao das equacoes de Euler,
d
dt

L
qi

L
= 0, i = 1, ..., n,
qi

(3-6)

com as condicoes de contorno que fixam os pontos extremos q(t1 ) e q(t2 ). Estas
equacoes passaram entao a se chamar equacoes de Euler-Lagrange (o nome Euler esta
11

ligado ao Calculo Variacional e o nome Lagrange ao problema geral correspondente

na Mecanica que ora estamos tratando, de onde se originou o formalismo lagrangiano
aqui apresentado).
Conex
ao com o Formalismo Newtoniano
Considere uma partcula de massa m sujeita a uma forca derivada de um potencial,
F~ = V . Adotando (q1 , q2 , q3 ) (x, y, z) (x1 , x2 , x3 ) temos
3

X
1
x i V (x1 , x2 , x3 ).
L(x1 , x2 ) = m
2
i=1
Pelas equacoes de Euler-Lagrange temos, para cada j = 1, 2, 3,
d
dt

L
x j

d
V
L
= (mx j ) +
=0
xj
dt
xj

m~r = V = F~
que e a equacao de movimento newtoniana.

12

O Formalismo Hamiltoniano

Preliminares. O Momento Can

onico e a Hamiltoniana
Ainda no contexto do formalismo lagrangiano, temos que para um sistema mecanico
com n graus de liberdade descrito pela lagrangiana L(q, q,
t) as equacoes de movimento
sao as equacoes de Euler-Lagrange (3-6):
d
dt

L
qi

L
= 0, i = 1, ..., n.
qi

Note que se a lagrangiana L nao depender explicitamente de uma coordenada qj

(chamada coordenada cclica), embora dependa de qj para nao modificar o n
umero
de graus de liberdade, entao a correspondente equacao de movimento nos fornece uma
quantidade conservada durante o movimento do sistema:
d
dt

L
qj

= 0 =

L
= const. de movim.
qj

A quantidade L/ qi recebe uma denominacao especial, mesmo que nao se conserve,

ou seja, mesmo que qi esteja explicita em L (ou, que qi nao seja cclica). Tal quantidade
e denominada momento generalizado canonico conjugado `a coordenada qi e denotada
como
pi =

L
.
qi

(4-7)

Por outro lado se L nao depender explicitamente do tempo (tempo cclico!) temos
L/t = 0 e, entao, levando em conta as equacoes de Euler-Lagrange,
dL X
=
dt
j

L
L
qj +
qj
qj
qj

X d L
L
d L
=
qj +
qj =
qj ,
dt qj
qj
dt qj
j
j
13

de modo que, considerando a definicao de momento canonico,

d
dt
=
A quantidade

P
j

!
X L
qj L = 0 =

j
j

X L
X
qj L =
pj qj L = const. de movim.
qj
j
j

pj qj L, independente de se conservar ou nao (L sem dependencia

ou com dependencia explcita de t ), e chamada hamiltoniana do sistema:

H=

pj qj L.

(4-8)

A hamiltoniana se identifica com a energia total do sistema se supormos que a energia

cinetica e quadratica nas velocidades generalizadas e o potencial depende apenas das
coordenadas generalizadas:
L=

1 XX
1X
aij (q)qi qj V (q)
aij qi qj V (q).
2 i j
2 ij

De fato
H=

X L

X 1X

qi
ajl
(qj ql ) L =

i
i
i
i
jl

!
X
X
1X
=
qi
ail ql +
aji qj L =
2 i
j
l

!
X
1X
=
aij qi qj
aij qi qj V

2 ij
ij
qi L =

H=

1X
aij qi qj + V = T + V,
2 ij

que e a energia total do sistema.

14

As Equac
oes de Hamilton
Retomemos a hamiltoniana de um sistema
H=

pj qj L,

(4-9)

onde
pj =

L
fj (q, q,
t).
qj

Se admitirmos que as funcoes fj podem ser invertidas para fornecer os qj como funcoes
de (q, p, t) entao a hamiltoniana passa a ter q, p e t como variaveis independentes ao
inves de q, q e t:
H(p, q, t) =

pj qj (q, p, t) L(q, q(q,

p, t), t).

Isto pode ser verificado tambem tomando diretamente a diferencial de H na expressao

(4-9):
dH =

X
(qj dpj + pj dqj ) dL =
j

X
L
L
L
=
qj dpj + pj dqj
dq j
dqj
dt =
q

t
j
j
j

X
L
L
L
dqj
dq j
dt
=
qj dpj + pj
qj
qj
t
j
e com a definicao de momento canonico (4-7) obtemos
dH =

qj dpj

X L
L
dq j
dt
qj
t
j

o que nos indica que H = H(p, q, t).

Vale salientar que para se chegar a este resultado nao se usou as equacoes de movimento (3-6) mas apenas a definicao de momento pj de modo que H e funcao de (p, q, t)
independentemente do princpio de Hamilton e, portanto, esta definida como funcao
15

ate em pontos que nao constituem a trajetoria seguida pelo sistema. Mas se considerarmos somente os pontos da trajetoria seguida pelo sistema entao, pelas equacoes de
Euler-Lagrange (3-6), temos
dH =

X
j

X d L
L
qj dpj
dq j
dt
dt qj
t
j

dH =

qj dpj

pj dq j

L
dt.
t

Por outro lado, sendo H(p, q, t), temos

dH =

X H
j

pj

dpj +

X H
j

qj

dq j +

H
dt.
t

Comparando estas duas u

ltimas equacoes
qj =

H
,
pj

(4-10)

pj =

H
,
qj

(4-11)

L
H
=
.
t
t

A terceira destas equacoes e uma consequencia da definicao de H:

"
#
H
X
=
pj qj (q, q,
t) L(q, q(p,
q, t), t) =
t
t j

X q
L qj
L
=
pj

;
t

t
t
j
j
tendo em vista a definicao de momento canonico (4-7), obtemos portanto
H
L
= .
t
t
As duas outras equacoes, (4-10) e (4-11),
qj =

H
,
pj

16

(4-12)

pj =

H
, j = 1, ..., n,
qj

sao as equacoes de Hamilton que correspondem as equacoes de movimento no formalismo hamiltoniano para o sistema em consideracao. Neste formalismo os estados do
sistema sao representados por pontos (p, q) no chamado espaco de fases deste sistema.
Note que as equacoes hamiltonianas formam um sistema de 2n equacoes diferenciais
de primeira ordem em (p, q) de modo que sua solucao geral, digamos
pj = pj (t; C1 , ..., Cn ),
qj = qj (t; D1 , ..., Dn ),
envolve 2n constantes de integracao, as quais podem ser determinadas univocamente
mediante condicoes iniciais, como p(t0 ) = P e q(t0 ) = Q.
O quadro abaixo compara paralelamente os formalismos lagrangiano e hamiltoniano:
(figura)

17

Exemplos

Partcula Livre Relativstica

Vamos construir a lagrangiana de uma partcula livre relativstica. Uma quantidade
invariante de Lorentz envolvendo diretamente as coordenadas do espaco-tempo (de
Minkowiski, sem gravidade) e a metrica descrita pelo elemento de linha
ds2 = c2 dt2 d~r2 .
em que c e a velocidade da luz no vacuo. A acao da partcula livre relativstica pode
ser proporcional a integral de qualquer potencia de ds. Vamos, por simplicidade,
considerar a acao na forma
Z
A=

ds =

Z r
c2 dt2 d~r2 =

v2
dt,
c2

onde e uma constante a ser determinada e ~v = d~r/dt. Aqui podemos identificar a

lagrangiana da partcula por

v2
L = c 1 2
c

1/2
.

No limite nao-relativstico, v c, temos

1 v2
L c 1 2
2c

= c

1 2
v .
2c

O primeiro termo desta equacao e uma constante, que nao altera as equacoes de
movimento pois estas sao obtidas por derivacao de L. O segundo termo (1/2)(/c)v 2
deve deve ser identificado com a energia cinetica nao relativstica +(1/2)mv 2 (m e a
massa de repouso da partcula); entao = mc. Logo
r
L = c

v2
1 2 = mc2
c
18

r
1

v2
.
c2

Daqui podemos obter quantidades importantes como o momento relativstico e a energia relativstica da partcula. Vejamos primeiro o momento relativstico. Notando
que v 2 =

P3
j=1

x 2j temos

"

P 2 #1/2
P 2 !1/2
x

j
1
L

(2xi )
j
j
jx
pi =
= mc2
1
= mc2
1

2
2
x i
x i
c
2
c
c2
mx i

pi = p

1 v 2 /c2

i = 1, 2, 3 = p~ = p

1 v 2 /c2

~v .

A energia desta partcula e identificada com a sua hamiltoniana (note que a lagrangiana
desta partcula nao depende explicitamente do tempo e, entao, a sua hamiltoniana e
uma constante de movimento). Temos:
r

mv 2

H = p~ ~v L = p

1 v 2 /c2

+ mc

mc2

H=p

1 v 2 /c2

v2
c2

Partcula Carregada num Campo Eletromagn

etico
Vamos encontrar a lagrangiana e a hamiltoniana para uma partcula com carga e
movendo-se em uma regiao onde ha um campo eletromagnetico, descrito pelos vetores
~ e B.
~ Para isto precisamos saber qual a funcao energia potencial V que fornece a
E
forca de Lorentz sobre a partcula,

~ + ~v B
~
F~ = e E
c

(unidades gaussianas),

que e uma forca dependente da velocidade! No formalismo lagrangiano este potencial

e obtido de forma natural da maneira descrita a seguir. Pondo L = T V nas equacoes
de Euler -Lagrange (3-6), temos
d
dt

T
qj

T
d

=
qj
dt
19

V
qj

V
,
qj

em que a expressao do lado direito define a forca generalizada:

d
Qi =
dt

V
qj

V
.
qj

(5-13)

A ideia e a seguinte: escrever a expressao da forca de Lorentz F~ em termos dos

potenciais eletromagneticos, mediante
~
~ =
~ 1 A ,
E
c t
~ =
~ A,
~
B
e entao colocar F~ numa forma que permita compara-la com a expressao da forca generalizada Qj e da identificar o potencial V . Vamos proceder desta forma. Inicialmente
temos:

~ + ~v B
~
F~ = e E
c

"

#
~ ~v

A
1
~
~ A)
~ .
= e
+ (
c t
c

~ A)
~ usando a identidade vetorial
Vamos manipular o termo ~v (
~ a ~b) = (~a )
~ ~b + (~b )~
~ a + ~a (
~ ~b) + ~b (
~ ~a)
(~
~ e ~b = ~v e tendo em vista que ~r e ~v representam variaveis independentes,
pondo ~a = A
temos
~ A
~ ~v ) = (A
~ )~
~ v + (~v )
~ A
~+A
~ (
~ ~v ) + ~v (
~ A)
~ =
(
~ A
~ ~v ) = (~v )
~ A
~ + ~v (
~ A)
~
= (
~ A)
~ = (
~ A
~ ~v ) (~v )
~ A.
~
~v (
Com isto temos
"

#
(
)
~ ~v
~ 1
1
1

A
~
~ A)
~ = e
~
~ A
~ ~v ) (~v )
~ A]
~
F~ = e
+ (
+ [(
c t
c
c t
c
20

"
#)

~
1
1

A
~ A
~ ~v
~ A
~+
= F~ = e
(~v )
=
c
c
t
(
)

~
1
1
d
A
~ A
~ ~v
= e
=
c
c dt

1
1
d
~ A
~ ~v
~ v (A
~ ~v )] .
= e
[
c
c dt

~ v = 0 pois = (~r, t), da

Mas

1~
d ~
1~
~
~
F = e A ~v +
v A ~v
,
c
dt
c
ou seja,

F~ =

e ~ i ~
e~
d ~ h
v e A ~v e A ~v
.
dt
c
c

(5-14)

Finalmente comparando esta expressao com a da forca generalizada (5-13), podemos

identificar
e~
V (~r, ~v , t) = e(~r, t) A(~
r, t) ~v ,
c
isto e,
e~
V (~r, ~r, t) = e(~r, t) A(~
r, t) ~r.
c
Dessa forma a lagrangiana da partcula em consideracao (nao relativstica) e
1
e~
r, t) ~r.
L(~r, ~r, t) = m~r 2 e(~r, t) + A(~
2
c
O momento canonico e dado por
pi =

L
e
= mx i + Ai (~r, t), i = 1, 2, 3,
x i
c

ou
e~
p~ = m~v + A
c
que, como podemos ver, nao e simplesmente m~v : parte do momento canonico fica no
potencial magnetico!
21

A correspondente hamiltoniana e

e ~
1
e~
H = p~ ~v L = p~ + A
~v m~v 2 + e A
~v =
c
2
c
1
1
= m~v 2 + e =
(m~v )2 + e
2
2m

H=

e ~
1
p~ A
+ e.
2m
c

22

Par
enteses de Poisson

Uma forma conveniente de analizar a evolucao temporal de uma variavel dinamica

F (p, q, t) referente a um sistema e atraves dos chamados parenteses de Poisson, definidos
a seguir. Primeiro vamos tomar a derivada total de F com respeito ao tempo, temos

X F
F
F
dF
=
pj +
qj +
.
dt
p
q
t
j
j
j
Para acompanhar como F evoluidurante o movimento do sistema usamos as equacoes
de movimento hamiltonianas, de modo que
X F H F H F
dF
=

+
+
=
dt
pj
qj
qj pj
t
j

X F H
F H
F
=

+
qj pj
pj qj
t
j
ou
dF
F
= {F, H} +
dt
t

(6-15)

onde

X F H
F H
{F, H} =

q
p
pj qj
j
j
j
que e chamado parentese de Poisson entre F e H.
A equacao (6-15) nos diz que a hamiltoniana do sistema governaa evolucao da
variavel dinamica F . Mais ainda, esta equacao contem as equacoes hamiltonianas
de movimento pois, como p = (p1 , ..., pn ) e q = (q1 , ..., qn ) constituem coordenadas
independentes, entao

qi = {qi , H} =

X qi H
j

qi H

qj pj
pj qj
23

H
,
pi

pi = {pi , H} =

X pi H
j

pi H

qj pj
pj qj

H
.
qi

Note que, fazendo F = H na equacao (6-15), obtemos

dH
H
H
= {H, H} +
=
.
dt
t
t
reconfirmando que se a hamiltoniana H nao depende explicitamente do tempo (o que
equivale a ocorrer o mesmo com a lagrangiana, pois H/t = L/t) entao ela e
uma constante de movimento. De uma forma geral, se {F, H} = 0 e F nao depende
explicitamente do tempo entao, pela (6-15), F e uma constante de movimento.
Uma Ponte para Mec
anica Qu
antica: Para finalizar vale salientar que o procedimento quantizacao canonica, introduzido por Dirac, e inspirado nos parenteses de
Poisson fazendo substituicoes apropriadas de variaveis dinamicas por operadores e dos
parenteses de Poisson por comutadores.

24