Você está na página 1de 24

UNIVERSIDADE FEDERAL DO CEAR

A
Campus Cariri
Coordena cao 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 Introducao 3
2 Calculo Variacional 4
3 O Formalismo Lagrangiano 10
4 O Formalismo Hamiltoniano 13
5 Exemplos 18
6 Parenteses de Poisson 23
2
1 Introducao
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 formulac oes sao de grande importancia pois possibili-
tam uma transicao natural da Mecanica Classica para Mecanica Quantica. Alem do
mais quando estendidas para o contnuo, onde surgem os campos, estas formulac oes
oferecem a linguagem basica e unicadora para a construcao das teorias fsicas como
o eletromagnetismo, a relatividade geral, teoria de campos etc.
3
2 Calculo Variacional
Inicialmente vamos apresentar de forma breve as noc oes 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 func ao de
varias vari aveis g : D R
m
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 func oes sucientemente comportadas.
Assim os pontos(elementos) de F sao func oes, como por exemplo q : [t
1
; t
2
] R
n
que a cada t [t
1
; t
2
] associa q(t) (q
1
(t), ..., q
n
(t)) R
n
.
Na formalismo lagrangiano, como veremos, a dinamica de um sistema fsico e de-
scrita em termos de um funcional A, chamado ac ao do sistema, o qual esta denido
sobre funcoes q que representam as possveis trajetorias deste sistema no espaco de
conguracoes.
Funcionais
Neste contexto os funcionais de interesse sao usualmente dados por integrais. Por
exemplo: considere um espaco de func oes sucientemente diferenciaveis, digamos
F = {q : [t
1
; t
2
] R
n
| q diferenciavel C
k
},
e dena o funcional A : F R por
A[q] =
_
t
2
t
1
n

i=1
q
i
(t)[ q
i
(t)]
2
dt
4
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 denido e, entao, A e de fato um funcional. Note que o valor
do funcional A no ponto(func ao ou curva de R
n
) q, denotado por A[q], depende em
geral nao apenas de um valor especco q(t) (de q em um certo t) mas de todos os
valores da func ao q.
Especicamente os funcionais que descrevem os sistemas mecanicos sao da forma
A[q] =
_
t
2
t
1
L(q(t), q(t), t) dt (2-1)
onde L(q, q, t) L(q
1
, ...q
n
, q
1
, ... q
n
, 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 considerac ao.
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 dire-
cionais ou derivadas de Gateaux (as derivadas parciais sao derivadas direcionais par-
ticulares) 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 desempen-
ham para funcoes de varias variaveis (Gelfand-Fomin, Calculus of Variations, Dover
inic., 2000, pg. 27). Vejamos o conceito de derivada funcional e a noc ao de ponto
crtico (ou estacionario) de um funcional.
Lembremos que no caso de uma funcao g : D R
m
R a derivada direcional de g
no ponto x = (x
1
, ..., x
m
) D relativamente ao vetor v = (v
1
, ..., v
m
) R
m
, e denotada
5
e denida por

v
g(x) = lim
0
g(x + v) g(x)

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

v
g(x) = lim
0
G() G(0)

=
dG()
d

=0
=
d
d
[g(x + v)]

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

v
g(x) = lim
0
g(x + v) g(x)

=
d
d
[g(x + v)]

=0
. (2-2)
Um fato importante e que se x = (x
1
, ..., x
m
) 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 R
m
.
No caso de um funcional A : F R, como o da forma (2-1), vale uma denic ao
analoga: a derivada (direcional) do funcional A no pontoq : [t
1
; t
2
] R
n
relati-
vamente ao vetor : [t
1
; t
2
] R
n
e designada por

A[q] = lim
0
A[q + ] A[q]

=
d
d
{A[q + ]}

=0
. (2-3)
A curva q : [t
1
; t
2
] R
n
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 func oes
sucientemente diferenciaveis que descrevem curvas conectando os mesmos pontos
extremos,
F = {q : [t
1
; t
2
] R
n
| q(t
1
), q(t
2
) xos},
6
considere o funcional A : F R,
A[q] =
_
t
2
t
1
L(q(t), q(t), t) dt (2-4)
onde L(q, q, t) L(q
1
, ...q
n
, q
1
, ... q
n
, t) e uma func ao diferenciavel a valores numericos.
Dentre todas as curvasq conectando os pontos q(t
1
) = (q
1
(t
1
), ..., q
n
(t
1
)) e q(t
2
) =
(q
1
(t
2
), ..., q
n
(t
2
)) 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 Equacoes de Euler
Vamos primeiramente calcular a derivada do funcional dado pela equac ao (2-4), usando
a denic ao (2-3) que acabamos de apresentar:

A[q] =
d
d
{A[q + ]}

=0
=
d
d
__
t
2
t
1
L(q + , q + , t) dt
_

=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.
Denotando Q = q + e q + =

Q, temos

A[q] =
_
t
2
t
1

i
_
L
Q
i
Q
i

+
L


Q
i


Q
i

_
=0
dt =
=
_
t
2
t
1

i
_
L
q
i

i
+
L
q
i

i
_
dt
Realizando uma integracao por partes e usando o teorema fundamental do calculo
7
temos

A[q] =
_
t
2
t
1

i
_
L
q
i

d
dt
L
q
i
_

i
dt +

i
_
L
q
i

t
2

L
q
i

t
1
_
.
Lembremos que a denicao de derivada do funcional envolve a expressao A[q +], de
modo que, por consistencia, q + deve residir no espaco F das func oes que descrevem
curvas conectando os extremos xos q(t
1
) e q(t
2
); logo
q(t
1
) + (t
1
) = q(t
1
) = (t
1
) = 0,
q(t
2
) + (t
2
) = q(t
2
) = (t
2
) = 0.
A estao os s admissveis: eles devem ser tais que (t
1
) = (t
2
) = 0. Assim

A[q] =
_
t
2
t
1

i
_
L
q
i

d
dt
L
q
i
_

i
dt.
Se a curva q(t)que liga q(t
1
) `a q(t
2
) torna estacionario o valor de A entao

A[q] =
_
t
2
t
1

i
_
L
q
i

d
dt
L
q
i
_

i
dt = 0,
para todo vetor admissvel (tal que (t
1
) = (t
2
) = 0). Mas como e bastante
arbitrario isto nos leva a suspeitar que
d
dt
_
L
q
i
_

L
q
i
= 0, i = 1, ..., n;
esta conclusao e na verdade consequencia do lema mostrado a seguir.
Lema: Se f : [t
1
; t
2
] R e contnua e
_
t
2
t
1
f(t)(t)dt = 0
para qualquer : [t
1
; t
2
] R contnua satisfazendo (t
1
) = (t
2
) = 0 ent ao f(t) = 0
para todo t [t
1
; t
2
].
8
Prova do Lema: Suponha que f e nao nula, digamos f() > 0 em um certo [t
1
; t
2
]
(o caso f() < 0e provado de forma inteiramente analoga). Entao, pela continuidade
de f, esta funcao e extritamente positiva nalgum intervalo [a; b] [t
1
; t
2
] tal que
[a; b]. Vamos tomar : [t
1
; t
2
] R denida para todo t [t
1
; t
2
] da seguinte
maneira: (t) = (t a)(b t) se t [a; b] e (t) = 0 se t / [a; b]. Esta funcao e
contnua e (t
1
) = (t
2
) = 0. Para ela temos
_
t
2
t
1
f(t)(t)dt =
_
b
a
f(t)(t a)(b t)dt > 0,
que contradiz a hipotese. Logo f(t) = 0 para todo t [t
1
; t
2
].
A conclusao e que se q minimiza ou maximiza ou, em geral, torna estacionario o valor
do funcional A ent ao q deve ser solucao das equacoes
d
dt
_
L
q
i
_

L
q
i
= 0, i = 1, ..., n, (2-5)
que sao chamadas de equacoes de Euler e constituem um sistema de n equacoes difer-
enciais de segunda ordem em geral acopladas. Para que a solucao q seja bem denida
consideramos usualmente 2n condicoes de contorno que xam q(t
1
) e q(t
2
).
9
3 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
{r
a
}
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
(x
a
, y
a
, z
a
), a = 1, ..., N, podemos selecionar 3NK 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 (q
1
, ..., q
n
)},
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 especco.
Princpio de Hamilton e Equacoes de Euler-Lagrange
Uma congurac ao (ou estado) do sistema e denido por um conjunto de valores que
suas coordenadas generalizadas (q
1
, ..., q
n
) podem assumir. Uma tal congurac ao e
imaginada como sendo representada por um ponto q = (q
1
, ..., q
n
) no chamado espaco
de conguracoes do sistema. A medida que o tempo t vai passando o sistema pode
10
evoluirou se moverde uma congurac ao q(t
1
) = (q
1
(t
1
), ..., q
n
(t
1
)) para outra con-
guracao q(t
2
) = (q
1
(t
2
), ..., q
n
(t
2
)).
O problema geral da mecanica passa ser formulado nos seguintes termos: dentre
todas as trajetorias ligando q(t
1
) `a q(t
2
) no espaco de congurac oes 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) = (q
1
(t), ..., q
n
(t)) que descreve o movi-
mento do sistema da conguracao q(t
1
) para a congurac ao q(t
2
) e tal que o funcional
acao do sistema,
A[q] =
_
t
2
t
1
L(q, q, t)dt,
assume um valor mnimo (mais geralmente, estacionario). Aqui a funcao L(q, q, t) e
uma func ao 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 considerac ao.
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 conguracoes, a qual torna estacionario o valor do funcional ac ao deste
sistema, deve ser solucao das equacoes de Euler,
d
dt
_
L
q
i
_

L
q
i
= 0, i = 1, ..., n, (3-6)
com as condic oes de contorno que xam os pontos extremos q(t
1
) e q(t
2
). 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).
Conexao com o Formalismo Newtoniano
Considere uma partcula de massa m sujeita a uma forca derivada de um potencial,

F = V . Adotando (q
1
, q
2
, q
3
) (x, y, z) (x
1
, x
2
, x
3
) temos
L(x
1
, x
2
) =
1
2
m
3

i=1
x
i
V (x
1
, x
2
, x
3
).
Pelas equac oes de Euler-Lagrange temos, para cada j = 1, 2, 3,
d
dt
_
L
x
j
_

L
x
j
=
d
dt
(m x
j
) +
V
x
j
= 0
m

r = V =

F
que e a equac ao de movimento newtoniana.
12
4 O Formalismo Hamiltoniano
Preliminares. O Momento Canonico 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
q
i
_

L
q
i
= 0, i = 1, ..., n.
Note que se a lagrangiana L nao depender explicitamente de uma coordenada q
j
(chamada coordenada cclica), embora dependa de q
j
para nao modicar 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
q
j
_
= 0 =
L
q
j
= const. de movim.
A quantidade L/ q
i
recebe uma denominac ao especial, mesmo que nao se conserve,
ou seja, mesmo que q
i
esteja explicita em L (ou, que q
i
nao seja cclica). Tal quantidade
e denominada momento generalizado canonico conjugado `a coordenada q
i
e denotada
como
p
i
=
L
q
i
. (4-7)
Por outro lado se L nao depender explicitamente do tempo (tempo cclico!) temos
L/t = 0 e, entao, levando em conta as equac oes de Euler-Lagrange,
dL
dt
=

j
_
L
q
j
q
j
+
L
q
j
q
j
_
=

j
_
d
dt
_
L
q
j
_
q
j
+
L
q
j
q
j
_
=

j
d
dt
_
L
q
j
q
j
_
,
13
de modo que, considerando a denicao de momento canonico,
d
dt
_

j
L
q
j
q
j
L
_
= 0 =
=

j
L
q
j
q
j
L =

j
p
j
q
j
L = const. de movim.
A quantidade

j
p
j
q
j
L, independente de se conservar ou nao (L sem dependencia
ou com dependencia explcita de t ), e chamada hamiltoniana do sistema:
H =

j
p
j
q
j
L. (4-8)
A hamiltoniana se identica 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
2

j
a
ij
(q) q
i
q
j
V (q)
1
2

ij
a
ij
q
i
q
j
V (q).
De fato
H =

i
L
q
i
q
i
L =

i
q
i
1
2

jl
a
jl

q
i
( q
j
q
l
) L =
=
1
2

i
q
i
_

l
a
il
q
l
+

j
a
ji
q
j
_
L =
=

ij
a
ij
q
i
q
j

_
1
2

ij
a
ij
q
i
q
j
V
_

H =
1
2

ij
a
ij
q
i
q
j
+ V = T + V,
que e a energia total do sistema.
14
As Equacoes de Hamilton
Retomemos a hamiltoniana de um sistema
H =

j
p
j
q
j
L, (4-9)
onde
p
j
=
L
q
j
f
j
(q, q, t).
Se admitirmos que as funcoes f
j
podem ser invertidas para fornecer os q
j
como funcoes
de (q, p, t) entao a hamiltoniana passa a ter q, p e t como vari aveis independentes ao
inves de q, q e t:
H(p, q, t) =

j
p
j
q
j
(q, p, t) L(q, q(q, p, t), t).
Isto pode ser vericado tambem tomando diretamente a diferencial de H na expressao
(4-9):
dH =

j
( q
j
dp
j
+ p
j
d q
j
) dL =
=

j
_
q
j
dp
j
+ p
j
d q
j

L
q
j
dq
j

L
q
j
d q
j
_

L
t
dt =
=

j
_
q
j
dp
j
+
_
p
j

L
q
j
_
d q
j

L
q
j
dq
j
_

L
t
dt
e com a denicao de momento canonico (4-7) obtemos
dH =

j
q
j
dp
j

j
L
q
j
dq
j

L
t
dt
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 movi-
mento (3-6) mas apenas a denicao de momento p
j
de modo que H e funcao de (p, q, t)
independentemente do princpio de Hamilton e, portanto, esta denida como func ao
15
ate em pontos que nao constituem a trajetoria seguida pelo sistema. Mas se consider-
armos somente os pontos da trajetoria seguida pelo sistema entao, pelas equacoes de
Euler-Lagrange (3-6), temos
dH =

j
q
j
dp
j

j
d
dt
_
L
q
j
_
dq
j

L
t
dt
dH =

j
q
j
dp
j

j
p
j
dq
j

L
t
dt.
Por outro lado, sendo H(p, q, t), temos
dH =

j
H
p
j
dp
j
+

j
H
q
j
dq
j
+
H
t
dt.
Comparando estas duas ultimas equacoes
q
j
=
H
p
j
, (4-10)
p
j
=
H
q
j
, (4-11)

L
t
=
H
t
. (4-12)
A terceira destas equacoes e uma consequencia da denicao de H:
H
t
=

t
_

j
p
j
q
j
(q, q, t) L(q, q(p, q, t), t)
_
=
=

j
_
p
j
q
t

L
q
j
q
j
t
_

L
t
;
tendo em vista a denic ao de momento canonico (4-7), obtemos portanto
H
t
=
L
t
.
As duas outras equacoes, (4-10) e (4-11),
q
j
=
H
p
j
,
16
p
j
=
H
q
j
, j = 1, ..., n,
sao as equac oes de Hamilton que correspondem as equac oes de movimento no formal-
ismo hamiltoniano para o sistema em considerac ao. 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 soluc ao geral, digamos
p
j
= p
j
(t; C
1
, ..., C
n
),
q
j
= q
j
(t; D
1
, ..., D
n
),
envolve 2n constantes de integrac ao, as quais podem ser determinadas univocamente
mediante condicoes iniciais, como p(t
0
) = P e q(t
0
) = Q.
O quadro abaixo compara paralelamente os formalismos lagrangiano e hamiltoniano:
(gura)
17
5 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
ds
2
= c
2
dt
2
dr
2
.
em que c e a velocidade da luz no vacuo. A ac ao da partcula livre relativstica pode
ser proporcional a integral de qualquer potencia de ds. Vamos, por simplicidade,
considerar a acao na forma
A =
_
ds =
_

c
2
dt
2
dr
2
=
_
_
1
v
2
c
2
dt,
onde e uma constante a ser determinada e v = dr/dt. Aqui podemos identicar a
lagrangiana da partcula por
L = c
_
1
v
2
c
2
_
1/2
.
No limite nao-relativstico, v c, temos
L c
_
1
1
2
v
2
c
2
_
= c
1
2

c
v
2
.
O primeiro termo desta equac ao e uma constante, que nao altera as equac oes de
movimento pois estas sao obtidas por derivac ao de L. O segundo termo (1/2)(/c)v
2
deve deve ser identicado com a energia cinetica nao relativstica +(1/2)mv
2
(m e a
massa de repouso da partcula); ent ao = mc. Logo
L = c
_
1
v
2
c
2
= mc
2
_
1
v
2
c
2
.
18
Daqui podemos obter quantidades importantes como o momento relativstico e a en-
ergia relativstica da partcula. Vejamos primeiro o momento relativstico. Notando
que v
2
=

3
j=1
x
2
j
temos
p
i
=
L
x
i
= mc
2

x
i
_
1

j
x
2
j
c
2
_
1/2
= mc
2
1
2
_
1

j
x
2
j
c
2
_
1/2
(2 x
i
)
c
2

p
i
=
m x
i
_
1 v
2
/c
2
i = 1, 2, 3 = p =
m
_
1 v
2
/c
2
v.
A energia desta partcula e identicada com a sua hamiltoniana (note que a lagrangiana
desta partcula nao depende explicitamente do tempo e, ent ao, a sua hamiltoniana e
uma constante de movimento). Temos:
H = p v L =
mv
2
_
1 v
2
/c
2
+ mc
_
1
v
2
c
2

H =
mc
2
_
1 v
2
/c
2
.
Partcula Carregada num Campo Eletromagnetico
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 e

B. Para isto precisamos saber qual a funcao energia potencial V que fornece a
forca de Lorentz sobre a partcula,

F = e
_

E +
v
c


B
_
(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 equac oes
de Euler -Lagrange (3-6), temos
d
dt
_
T
q
j
_

T
q
j
=
d
dt
_
V
q
j
_

V
q
j
,
19
em que a expressao do lado direito dene a forca generalizada:
Q
i
=
d
dt
_
V
q
j
_

V
q
j
. (5-13)
A ideia e a seguinte: escrever a expressao da forca de Lorentz

F em termos dos
potenciais eletromagneticos, mediante

E =


1
c


A
t
,

B =


A,
e ent ao colocar

F numa forma que permita compara-la com a expressao da forca gen-
eralizada Q
j
e da identicar o potencial V . Vamos proceder desta forma. Inicialmente
temos:

F = e
_

E +
v
c


B
_
= e
_


1
c


A
t
+
v
c
(


A)
_
.
Vamos manipular o termo v (


A) usando a identidade vetorial

(a

b) = (a

)

b + (

b

)a +a (

b) +

b (

a)
pondo a =

A e

b = v e tendo em vista que r e v representam vari aveis independentes,


temos

A v) = (

A

)v + (v

)

A +

A (

v) +v (


A) =
=

(

A v) = (v

)

A +v (


A)
v (


A) =

(

A v) (v

)

A.
Com isto temos

F = e
_


1
c


A
t
+
v
c
(


A)
_
= e
_


1
c


A
t
+
1
c
[

A v) (v

)

A]
_
20
=

F = e
_

_

1
c

A v
_

1
c
_
(v

)

A +


A
t
__
=
= e
_

_

1
c

A v
_

1
c
d

A
dt
_
=
= e
_

_

1
c

A v
_

1
c
d
dt
[

v
(

A v)]
_
.
Mas

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

F = e
_

_

1
c

A v
_
+
d
dt
_

v
_

1
c

A v
___
,
ou seja,

F =
_
d
dt

v
__
e
e
c

A v
__

_
e
e
c

A v
_
_
. (5-14)
Finalmente comparando esta expressao com a da forca generalizada (5-13), podemos
identicar
V (r, v, t) = e(r, t)
e
c

A(r, t) v,
isto e,
V (r,

r, t) = e(r, t)
e
c

A(r, t)

r.
Dessa forma a lagrangiana da partcula em consideracao (nao relativstica) e
L(r,

r, t) =
1
2
m

r
2
e(r, t) +
e
c

A(r, t)

r.
O momento canonico e dado por
p
i
=
L
x
i
= m x
i
+
e
c
A
i
(r, t), i = 1, 2, 3,
ou
p = mv +
e
c

A
que, como podemos ver, nao e simplesmente mv: parte do momento canonico ca no
potencial magnetico!
21
A correspondente hamiltoniana e
H = p v L =
_
p +
e
c

A
_
v
1
2
mv
2
+ e
e
c

A v =
=
1
2
mv
2
+ e =
1
2m
(mv)
2
+ e
H =
1
2m
_
p
e
c

A
_
+ e.
22
6 Parenteses de Poisson
Uma forma conveniente de analizar a evolu cao temporal de uma vari avel dinamica
F(p, q, t) referente a um sistema e atraves dos chamados parenteses de Poisson, denidos
a seguir. Primeiro vamos tomar a derivada total de F com respeito ao tempo, temos
dF
dt
=

j
_
F
p
j
p
j
+
F
q
j
q
j
_
+
F
t
.
Para acompanhar como F evoluidurante o movimento do sistema usamos as equac oes
de movimento hamiltonianas, de modo que
dF
dt
=

j
_
F
p
j
_

H
q
j
_
+
F
q
j
H
p
j
_
+
F
t
=
=

j
_
F
q
j
H
p
j

F
p
j
H
q
j
_
+
F
t
ou
dF
dt
= {F, H} +
F
t
(6-15)
onde
{F, H} =

j
_
F
q
j
H
p
j

F
p
j
H
q
j
_
que e chamado parentese de Poisson entre F e H.
A equac ao (6-15) nos diz que a hamiltoniana do sistema governaa evoluc ao da
vari avel dinamica F. Mais ainda, esta equac ao contem as equac oes hamiltonianas
de movimento pois, como p = (p
1
, ..., p
n
) e q = (q
1
, ..., q
n
) constituem coordenadas
independentes, ent ao
q
i
= {q
i
, H} =

j
_
q
i
q
j
H
p
j

q
i
p
j
H
q
j
_
=
H
p
i
,
23
p
i
= {p
i
, H} =

j
_
p
i
q
j
H
p
j

p
i
p
j
H
q
j
_
=
H
q
i
.
Note que, fazendo F = H na equacao (6-15), obtemos
dH
dt
= {H, H} +
H
t
=
H
t
.
reconrmando 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 Mecanica Quantica: Para nalizar vale salientar que o proced-
imento quantiza cao canonica, introduzido por Dirac, e inspirado nos parenteses de
Poisson fazendo substituicoes apropriadas de vari aveis dinamicas por operadores e dos
parenteses de Poisson por comutadores.
24