Mecánica

Clásica

Conferencia 11-2
Transformaciones Canónicas
(Capítulo 9 - Goldstein)
Lo que hicimos la última vez
„ Transformaciones canónicas PQ − K + dF = p q − H
i . i i i
„ El formalismo de Hamiltonian es dt
invariante bajo transformaciones canónicas y de escala
„ Las funciones generadoras definen transformaciones canónicas
„ Hay cuatro tipos básicos de funciones generadoras
F1 (q, Q, t ) F2 (q, P, t ) F3 ( p, Q, t ) F4 ( p, P, t )
„ Todas ellas son prácticamente equivalentes
„ Fueron usadas para simplificar un oscillator armónico
„ Se vio la invariancia del área del espacio de fase (plano de fase)
 Cuatro Generadores Básicos

Tipo de Generador Ecs. de Transformación Caso Trivial

∂F1 ∂F1 Qi = pi
F1 (q, Q, t ) pi = Pi = − F1 = qi Qi
∂qi ∂Qi Pi = −qi
∂F2 ∂F2 Qi = qi
F2 (q, P, t ) − Qi Pi pi = Qi = F2 = qi Pi
∂qi ∂Pi Pi = pi
∂F3 ∂F3 Qi = −qi
F3 ( p, Q, t ) + qi pi qi = − Pi = − F3 = pi Qi
∂pi ∂Qi Pi = − pi
∂F4 ∂F4 Qi = pi
F4 ( p, P, t ) + qi pi − Qi Pi qi = − Qi = F4 = pi Pi
∂pi ∂Pi Pi = −qi
Metas para hoy
„ Profundizaremos en las Transformaciones Canónicas (TC)
„ Transformación Canónica Infinitesimal (TCI)
„ Cambios muy pequeños en q y p

„ Definir el generador G para una TCI

„ Condiciones Directas para la Transformación Canónica

„ Condiciones necesarias y suficientes para cualquier TC

„ Bracket de Poisson
„ Invariancia bajo cualquier Transformación Canónica

„ Conexión a la Transformación Canónica Infinitesimal

TC Infinitesimal
„ Considérese una TC en la cual q, p son cambiadas por
cantidades pequeñas (infinitesimales)
Qi = qi + δ qi Pi = pi + δ pi Transformación Canónica
Infinitesimal (TCI)
„ La TCI es próxima a la transf. identidad
„ La función generadora sería F2 (q, P, t ) = qi Pi + ε G (q, P, t )
Generador TC Identidad Pequeña

∂F2 ∂G ∂F2 ∂G
Mirar la tabla
pi = = Pi + ε Qi = = qi + ε
de generadores ∂qi ∂qi ∂Pi ∂Pi

Puesto que ε es ∂G ∂G ∂G ∂G
δ qi = ε ≈ε δ pi = −ε ≈ −ε
infinitesimal ∂Pi ∂pi ∂qi ∂Qi
Generador de la TCI
„ Una TCI es generada por F2 (q, P, t ) = qi Pi + ε G (q, P, t )
∂G ∂G
Qi = qi + ε Pi = pi − ε
∂Pi ∂qi
„ G se denomina el generador de la TCI
„ Puesto que la TC es infinitesimal, G puede ser expresado en
términos de q o Q, p o P, de forma intercambiable
∂G ∂G
„ Por ejemplo: G = G (q, p, t ) Qi = qi + ε Pi = pi − ε
∂pi ∂qi
Hamiltoniana
„ Considérese G = H (q, p, t )
∂H ∂H
δ qi = ε = ε qi δ pi = −ε = ε p i
∂pi ∂qi
„ ¿A qué se parece ε ? ÆTiempo infinitesimal δt
δ qi = qiδ t δ pi = p iδ t

„ La Hamiltoniana es el generador de la transformación de

tiempo infinitesimal
„ En MQ, se aprende que el Hamiltoniano es el operador que
representa la evolución temporal
Condiciones Directas (CD)
„ Considérese una Transformación Canónica restringida
„ El generador no tiene dependencia de t
∂F
=0 K (Q, P) = H (q, p) La Hamiltoniana
∂t es inalterada

„ Q y P depende sólo de q y p
Qi = Qi (q, p ) Pi = Pi (q, p)
Ecuaciones
 ∂Qi ∂Qi ∂Qi ∂H ∂Qi ∂H de Hamilton
Qi = qj +
 pj =
 −
∂q j ∂p j ∂q j ∂p j ∂p j ∂q j

 ∂Pi ∂Pi ∂Pi ∂H ∂Pi ∂H

Pi = q j + p j = −
∂q j ∂p j ∂q j ∂p j ∂p j ∂q j
 Condiciones Directas
„ Por otro lado, las ecs. de Hamilton se expresan
 ∂H ∂H ∂q j ∂H ∂p j  ∂Qi ∂H ∂Qi ∂H
Qi = = + Qi = −
∂Pi ∂q j ∂Pi ∂p j ∂Pi ∂q j ∂p j ∂p j ∂q j

 ∂H ∂H ∂q j ∂H ∂p j  ∂Pi ∂H ∂Pi ∂H
Pi = − =− − Pi = −
∂Qi ∂q j ∂Qi ∂p j ∂Qi ∂q j ∂p j ∂p j ∂q j

⎛ ∂Qi ⎞ ⎛ ∂p j ⎞ ⎛ ∂Qi ⎞ ⎛ ∂q j ⎞
Condiciones ⎜⎜ ⎟⎟ = ⎜ ⎟ ⎜⎜ ⎟⎟ = − ⎜ ⎟
∂q ∂
⎝ j ⎠ q , p ⎝ i ⎠Q , P
P ∂p
⎝ j ⎠q, p ∂
⎝ i ⎠Q , P
P
Directas
para una Transfor-
⎛ ∂Pi ⎞ ⎛ ∂p j ⎞ ⎛ ∂Pi ⎞ ⎛ ∂q j ⎞
⎟⎟ = − ⎜ ⎟⎟ = ⎜
mación Canónica
⎜⎜ ⎟ ⎜⎜ ⎟
⎝ ∂q j ⎠q , p ⎝ ∂Qi ⎠Q , P ⎝ ∂p j ⎠q , p ⎝ ∂Qi ⎠Q , P
Condiciones Directas
⎛ ∂Qi ⎞ ⎛ ∂p j ⎞ ⎛ ∂Qi ⎞ ⎛ ∂q j ⎞
⎜⎜ ⎟⎟ = ⎜ ⎟ ⎜⎜ ⎟⎟ = − ⎜ ⎟
⎝ ∂q j ⎠ q , p ⎝ ∂Pi ⎠Q , P ⎝ ∂p j ⎠ q , p ⎝ ∂Pi ⎠Q , P
⎛ ∂Pi ⎞ ⎛ ∂p j ⎞ ⎛ ∂Pi ⎞ ⎛ ∂q j ⎞
⎜⎜ ⎟⎟ = − ⎜ ⎟ ⎜⎜ ⎟⎟ = ⎜ ⎟
⎝ ∂q j ⎠q , p ∂
⎝ i ⎠Q , P
Q ⎝ ∂p j ∂
⎠ q , p ⎝ i ⎠Q , P
Q

„ Las Condiciones Directas son necesarias y suficientes para

que una transformación independiente del tiempo sea canónica
„ Se las puede usar para probar una TC
„ En efecto, esto se aplica a todas las Transformaciones Canónicas
 ∂G ∂G
TC Infinitesimal δ qi = ε
∂Pi
≈ε
∂pi
∂G ∂G
δ pi = −ε ≈ −ε
„ ¿Una TCI satisface las CD? ∂qi ∂Qi

∂Qi ∂ (qi + δ qi ) ∂ 2G ∂p j ∂ ( Pj − δ p j ) ∂ 2G
= = δ ij + ε = = δ ij + ε
∂q j ∂q j ∂Pi ∂q j ∂Pi ∂Pi ∂Pi ∂q j
∂Qi ∂ (qi + δ qi ) ∂ 2G ∂q j ∂ (Q j − δ q j ) ∂ 2G
= =ε = = −ε
∂p j ∂p j ∂Pi ∂p j ∂Pi ∂Pi ∂Pi ∂p j
∂Pi ∂ ( pi + δ pi ) ∂ 2G ∂p j ∂ ( Pj − δ p j ) ∂ 2G
= = −ε = =ε
∂q j ∂q j ∂Qi ∂q j ∂Qi ∂Qi ∂Qi ∂q j
∂Pi ∂ ( pi + δ pi ) ∂ 2G ∂q j ∂ (Q j − δ q j ) ∂ 2G
= = δ ij − ε = = δ ij − ε
∂p j ∂p j ∂Qi ∂p j ∂Qi ∂Qi ∂Qi ∂p j

¡Si!
TCs Sucesivas
„ Dos TCs sucesivas hacen una TC
 dF1  dF2  −K
i i −K +
PQ = pi qi − H Yi X i − M + = PQ
i i
dt dt
 d ( F1 + F2 )
Yi X i − M + = pi qi − H Cierto para TCs sin restricción
dt
„ Las Condiciones Directas pueden también ser “asociadas”, p.e.,
⎛ ∂Qi ⎞ ⎛ ∂p j ⎞ ⎛ ∂X i ⎞ ⎛ ∂Pj ⎞
⎜⎜ ⎟⎟ = ⎜ ⎟ ⎜⎜ ⎟⎟ = ⎜ ⎟
⎝ ∂q j ⎠ q , p ⎝ ∂Pi ⎠Q , P ⎝ ∂Q j ⎠Q , P ⎝ ∂Yi ⎠ X ,Y
⎛ ∂X i ⎞ ⎛ ∂p j ⎞
⎜⎜ ⎟⎟ = ⎜ ⎟ Fácil probar
∂ ∂
⎝ j ⎠ q , p ⎝ i ⎠ X ,Y
q Y
TC no restringida
„ Ahora consideramos una TC dependiente del tiempo general
∂F
Qi = Qi (q, p, t ) Pi = Pi (q, p, t ) K=H+
∂t
„ Hagámoslo en dos pasos
q, p Q(q, p, t0 ), P(q, p, t0 ) Q(q, p, t ), P(q, p, t )

TC independiente del tiempo TC de tiempo solamente

Tiempo fijo

„ El primer paso es independiente de t Æ Satisface las CDs

„ Debemos demostrar que el segundo paso satisface las CDs
TC no restringida
„ Concéntrese en una TC de tiempo Q(t0 ), P(t0 ) Q(t ), P(t )
„ Dividir t – t0 en intervalos de tiempo infinitesimales dt
Q(t0 ), P(t0 ) Q(t0 + dt ), P(t0 + dt ) Q(t ), P(t )
„ Cada paso es una TCI Æ Satisface las Condiciones Directas
„ “Integrando” nos da lo que necesitamos

Todas las Transformaciones Canónicas satisfacen

las Condiciones Directas y vice versa
„ La prueba fue posible porque una TC de tiempo únicamente es una
transformación continua, parameterizada por t
Bracket de Poisson (BP)
„ Para u y v expresadas en términos de q y p
∂u ∂v ∂u ∂v
[u, v ]q , p ≡ − Bracket de Poisson
∂qi ∂pi ∂pi ∂qi
„ Esta construcción extraña tiene muchas características útiles
„ El bracket de Poisson es análogo al conmutador en Mecánica Cuántica
1 1
[u, v ] ≡ (uv − vu ) para dos operadores u y v
i= i=
„ Comencemos con algunas reglas básicas
Identidades de Bracket de Poisson
∂u ∂v ∂u ∂v
[u, v ]q , p ≡ −
„ Para las cantidades u, v, w y ∂qi ∂pi ∂pi ∂qi
las constantes a, b
[u, u ] = 0 [u , v] = −[v, u ]
Todas son fáciles de probar
[au + bv, w] = a[u , w] + b[v, w]

[uv, w] = [u , w]v + u[v, w] Identidad de Jacobi

[u ,[v, w]] + [v,[ w, u ]] + [ w,[u, v]] = 0

Brackets de Poisson Fundamentales
„ Considérese los Brackets de Poisson de q y p
∂q j ∂qk ∂q j ∂qk
[q j , qk ] = − =0 [ p j , pk ] = 0
∂qi ∂pi ∂pi ∂qi
∂q j ∂pk ∂q j ∂pk
[q j , pk ] = − = δ jk [ p j , qk ] = −δ jk
∂qi ∂pi ∂pi ∂qi

„ Son denominados Brackets de Poisson Fundamentales

„ Ahora consideramos una Transformación Canónica
q, p → Q, P
„ ¿Qué les sucede a los Brackets de Poisson Fundamentales?
BP Fundamentales y TC
∂Q j ∂Qk ∂Q j ∂Qk ∂Q j ∂qi ∂Q j ∂pi ∂Q j
[Q j , Qk ]q , p = − =− − =− =0
∂qi ∂pi ∂pi ∂qi ∂qi ∂Pk ∂pi ∂Pk ∂Pk
∂Pj ∂Pk ∂Pj ∂Pk ∂Pj ∂qi ∂Pj ∂pi ∂Pj
[ Pj , Pk ]q , p = − = + = =0
∂qi ∂pi ∂pi ∂qi ∂qi ∂Qk ∂pi ∂Qk ∂Qk
∂Q j ∂Pk ∂Q j ∂Pk ∂Q j ∂qi ∂Q j ∂pi ∂Q j
[Q j , Pk ]q , p = − = + = = δ jk
∂qi ∂pi ∂pi ∂qi ∂qi ∂Qk ∂pi ∂Qk ∂Qk
[ Pj , Qk ]q , p = −[Qk , Pj ] = −δ jk Las CD son usadas aquí

„ Los Brackets de Poisson Fundamentales son invariantes bajo CT

 Bracket de Poisson y TC
„ ¿Qué le ocurre al Bracket de Poisson bajo una TC?
„ Para una TC independiente del tiempo
∂u ∂v ∂u ∂v
[u, v ]Q, P ≡ −
∂Qi ∂Pi ∂Pi ∂Qi
⎛ ∂u ∂q j ∂u ∂p j ⎞ ⎛ ∂v ∂qk ∂v ∂pk ⎞ ⎛ ∂u ∂q j ∂u ∂p j ⎞ ⎛ ∂v ∂qk ∂v ∂pk ⎞
=⎜ + ⎟⎜ + ⎟ − ⎜ ∂q ∂P + ∂p ∂P ⎟ ⎜ ∂q ∂Q + ∂p ∂Q ⎟
∂
⎝ j i
q ∂Q ∂p j
∂Qi ⎠⎝
∂q k
∂Pi
∂p k
∂Pi ⎠ ⎝ j i j i ⎠⎝ k i k i ⎠

∂u ∂v ∂u ∂v ∂u ∂v ∂u ∂v
= [q j , qk ]Q , P + [q j , pk ]Q , P + [ p j , qk ]Q , P + [ p j , pk ]Q , P
∂q j ∂qk ∂q j ∂pk ∂p j ∂qk ∂p j ∂pk
∂u ∂v ∂u ∂v
= δ jk − δ jk
∂q j ∂pk ∂p j ∂qk

= [u , v ]q , p Los BP son invariantes bajo una TC

Invariancia del Bracket de Poisson
„ Los Brackets de Poisson son invariantes canónicos
„ Cierto para cualquier Transformación Canónica
„ Goldstein demuestra esto usando aproximación “simpléctica”

„ No tenemos que especificar q, p en cada Bracket de Poisson

[u, v ]q , p [u , v ]
TCI y Bracket de Poisson
„ Una TCI puede ser expresada elegantemente con un BP
∂G ∂G
„ Para un generador G, Qi = qi + ε Pi = pi − ε
∂pi ∂qi
„ Por otro lado
⎛ ∂qi ∂G ∂qi ∂G ⎞ ∂G
ε [qi , G ] = ε ⎜ − =ε = δ qi
⎜ ∂q ∂p ∂p ∂q ⎟⎟ ∂pi
⎝ j j j j ⎠

⎛ ∂pi ∂G ∂pi ∂G ⎞ ∂G
ε [ pi , G ] = ε ⎜ − = −ε = δ pi
⎜ ∂q ∂p ∂p ∂q ⎟⎟ ∂qi
⎝ j j j j ⎠

„ Podemos generalizar más allá…

TCI y Bracket de Poisson
„ Para una función arbitraria u(q,p,t), la TCI hace
∂u ∂u ∂u
u ⎯⎯
TCI
⎯→u + δ u = u + δ qi + δ pi + δ t
∂qi ∂pi ∂t
∂u ∂G ∂u ∂G ∂u
=u+ ε − ε + δt
∂qi ∂pi ∂pi ∂qi ∂t
∂u
= u + ε [u, G ] + δ t
∂t
∂u
„ Es decir δ u = ε [u , G ] + δ t
∂t
Transf. de Tiempo Infinitesimal
„ La Hamiltoniana genera la transf. de tiempo infinitesimal
„ Aplicando la regla del Bracket de Poisson
∂u du ∂u
δ u = δ t[u, H ] + δ t = [u, H ] +
∂t dt ∂t
„ ¿Ha visto usted esto en Mecánica Cuántica?
∂u
„ Si u es una constante de movimiento, [u , H ] + =0
∂t
∂u
„ Es decir [H , u] = u es una const. de movimiento
∂t
Transf. de Tiempo Infinitesimal
„ Si u no depende explícitamente del tiempo,
du ∂u
= [u, H ] + = [u , H ]
dt ∂t
„ Probar esto en q y p
∂q ∂H ∂qi ∂H ∂H
qi = [qi , H ] = i − =
∂q j ∂p j ∂p j ∂q j ∂pi ¡Ecuaciones
∂pi ∂H ∂pi ∂H ∂H de Hamilton!
p i = [ pi , H ] = − =−
∂q j ∂p j ∂p j ∂q j ∂qi
Dos Puntos de Vista
„ La transf. canónica permite que un sistema sea descrito
por múltiples conjuntos de coordenadas/momentos
„ El mismo sistema físico es expresado en diferentes espacios de fase
p P

q Q
„ Esta es la vista estática – El sistema mismo no es afectado
¿Hay una vista dinámica?
Vista Dinámica de una TC
„ Un sistema evoluciona con el tiempo q(t0 ), p(t0 ) q (t ), p(t )
„ En cualquier instante, q y p satisface las ecuaciones de Hamilton
„ ¡La evolución temporal debe ser una Transformación Canónica!
p

Este movimiento
es una TC

q
„ Vista estática = El sistema de coordenadas está cambiando
„ Vista dinámica = El sistema físico está en movimiento
TC de Tiempo Infinitesimal
„ TC infinitesimal q (t ), p(t ) q (t + dt ), p(t + dt )
„ Sabemos que el generador = Hamiltoniana
∂u
du = dt[u , H ] + dt q = [q, H ] p = [ p, H ]
∂t

La Hamiltoniana
hamiltoniana es el generador
is the generator del movimiento
of the system’
delithsistema
time con el tiempo
„ Integrándola con el tiempo debería darnos la TC “finita”, que torna
las condiciones iniciales q(t0), p(t0) en la configuración
q(t), p(t) del sistema en un tiempo arbitrario
„ Esta es una nueva forma de “resolver” el problema
Estática vs. Dinámica
„ Dos modos de examinar la misma cosa
„ El sistema está moviéndose en un espacio de fase fijo
„ Ecuaciones de Hamilton Æ Se integran para obtener q(t), p(t)

„ El sistema está fijo y el espacio de fase está transformándose

„ TCI dada por el BP Æ Se integra para obtener una TC para un t finito

„ Las ecuaciones de movimiento son idénticas

„ Integrando se encontrarán exactamente las mismas ecuaciones
Conservación
∂u
„ Considérese una TCI generada por G δ u = ε [u , G ] + δ t
∂t
„ Supóngase que G se conserva y que
no tiene dependencia explícita de t [G, H ] = 0
„ ¿Cómo cambia H (sin dependencia de t) por la TCI?
∂H Si una TCI no afecta la
δ H = ε [H , G] + δt = 0 Hamiltoniana, su generador
∂t se conserva

„ Si una transformación no afecta H

Æ Existe simetría del sistema
Æ El generador de la transformación se conserva
Conservación del Momento
„ El ejemplo más simple:
„ ¿Cuál es la TCI generada por el momento pi?
δ q j = ε [q j , pi ] = εδ ij δ p j = ε [ p j , pi ] = 0
„ Ese es un cambio en qi por ε Æ traslación espacial
„ Si la Hamiltoniana es inalterada por tal cambio, entonces [ H , pi ] = 0
Æ El momento pi se conserva
„ Esto no está restringido al momento lineal
La Hamiltoniana El generador
es inalterada por de la TCI es p
[ H , p] = 0
un cambio de una el momento se conserva
coordenada q conjugado p
Momento Angular
„ Consideremos un caso específico: Momento angular
„ Elegir el sistema x-y-z, con z siendo el eje de rotación
„ Las posiciones de las n partículas dadas por ( xi , yi , zi )

„ Rotar todas las partículas CCW alrededor del eje z por d θ

xi′ = xi − yi dθ yi′ = yi + xi dθ
„ Los momentos son rotados también ( x′, y′) dθ
pix′ = pix − piy dθ piy′ = piy + pix dθ ( x, y )
„ El generador es G = xi piy − yi pix
∂G ∂G
dθ [ xi , G ] = dθ = − yi dθ dθ [ pix , G ] = −dθ = − piy dθ
∂pix ∂xi
etc.
 Momento Angular
„ El generador G = xi piy − yi pix es obviamente Lz = ( ri × pi ) z
„ Es decir, la componente z del momento angular total
„ El generador para rotación en torno a un eje dado por un vector unitario n
sería
G = L ⋅n

„ Ahora conocemos los generadores de 3 TCI importantes

„ La Hamiltoniana genera desplazamiento en el tiempo
„ El momento lineal genera desplazamiento en el espacio
„ El momento angular genera rotación en el espacio
Integración de TCI
„ Podemos “integrar” TCI para obtener TC finitas. Esto es
„ ¿Cómo integramos δ u = ε [u, G ] ?
du
„ Primero, reescribámosla como du = dα [u, G ] = [u , G ]
dα
„Deseamos la solución u(α) como una función
de α, con la condición inicial u(0) = u0
„La expansión de u(α ) en serie de Taylor alrededor de α = 0

du α 2 d 2u α 3 d 3u
u (α ) = u0 + α + + +"
dα 0 2! dα 0 3! dα 0
2 3

Esto es [u,G]0 ¿Qué podemos hacer con esto?

 Integración de CTI
du d
„ Puesto que = [u, G ] es cierta para toda u, entonces = [, G ]
dα dα
„ Ahora aplicando este operador repetidamente

d 2u d d ju
= [u , G ] = [[u , G ], G ] = ["[[u , G ], G ]," , G ]
dα 2
dα dα j

„ Volviendo a la expansión de Taylor,

du α 2 d 2u α 3 d 3u
u (α ) = u0 + α + + +"
dα 0 2! dα 0 3! dα 0
2 3

α2 α3
= u0 + α [u, G ]0 + [[u , G ], G ]0 + [[[u , G ], G ], G ]0 + "
2! 3!
„ Ahora tenemos una solución formal – Pero, ¿funciona?
TC de Rotación
„ Integremos la TCI para la rotación alrededor del eje z
„ Dejemos caer el índice de partícula i G = xp y − ypx
„ El parámetro α es θ en este caso
„ Veamos como cambia x con θ
θ2 θ3
x(θ ) = x0 + θ [ x, G ]0 + [[ x, G ], G ]0 + [[[ x, G ], G ], G ]0 + "
2! 3!
„ Evaluar los Brackets de Poisson
[ x, G ] = − y [[ x, G ], G ] = − x [[[ x, G ], G ], G ] = y
[[[[ x, G ], G ], G ], G ] = x Repita después esto

„ ¿A dónde nos lleva esto?

TC de Rotación
θ2 θ3
x(θ ) = x0 + θ [ x, G ]0 + [[ x, G ], G ]0 + [[[ x, G ], G ], G ]0 + "
2! 3!
θ2 θ3 θ4
= x0 − θ y0 − x0 + y0 + x0 − "
2! 3! 4!
⎛ θ2 θ4 ⎞ ⎛ θ3 θ5 ⎞
= x0 ⎜1 − + − " ⎟ − y0 ⎜θ − + − " ⎟
⎝ 2! 4! ⎠ ⎝ 3! 5! ⎠
= x0 cos θ − y0 sin θ
„ De modo semejante
θ2 θ3
y (θ ) = y0 + θ [ y, G ]0 + [[ y, G ], G ]0 + [[[ y, G ], G ], G ]0 + "
2! 3!
= y0 cos θ + x0 sin θ
Caída Libre
z
„ Un objeto está cayendo bajo la gravedad
p2
„ La Hamiltoniana es H = + mgz
2m
„ Integrando la TCI de tiempo (TCIdT)
t2 t3
z (t ) = z0 + t[ z , H ]0 + [[ z , H ], H ]0 + [[[ z , H ], H ], H ]0 + "
2! 3!
p
[ z, H ] = [[ z , H ], H ] = − g [[[ z , H ], H ], H ] = 0
m
p0 g
z (t ) = z0 + t − t2 Es más fácil de lo que parecía
m 2
Rotación infinitesimal
„ La TCI para rotación es generada por G = L ⋅ n
„ Ya hemos tratado las rotaciones infinitesimales (Conferencia 8)
„ La rotación infinitesimal dθ alrededor de n mueve un vector r como
dr = ndθ × r
„ Compare las dos expresiones
dr = dθ [r, L ⋅ n] = ndθ × r [r, L ⋅ n] = n × r
„ La ecuación [r, L ⋅ n] = n × r se satisface para cualquier r que rota
junto con el sistema
„ Varias reglas útiles pueden ser derivadas a partir de ésta
Productos Escalares [r, L ⋅ n] = n × r

„ Considere un producto escalar a ⋅ b de dos vectores

„ Intente rotarlo [a ⋅ b, L ⋅ n] = a ⋅ [b, L ⋅ n] + b ⋅ [a, L ⋅ n]
= a ⋅ (n × b) + b ⋅ (n × a)
= a ⋅ (n × b) + a ⋅ (b × n)
=0
„ Obvio: el producto escalar no cambia por rotación
„ Obvio también: la longitud de todo vector se conserva
Momento Angular
„ Probar con L misma [ L, L ⋅ n ] = n × L
„ Las componentes x-y-z son

[ Lx , Lx ] = 0 [ Lx , Ly ] = Lz [ Lx , Lz ] = − Ly
[ Ly , Lx ] = − Lz [ Ly , Ly ] = 0 [ Ly , Lz ] = Lx [ Li , L j ] = ε ijk Lk
[ Lz , Lx ] = Ly [ Lz , Ly ] = − Lx [ Lz , Lz ] = 0

„ Estas relaciones son bien conocidas en Mecánica Cuántica

„ Ellas nos dicen dos cosas bastante interesantes…
Momento Angular
„ Imagínese dos cantidades conservadas A y B
[ A, H ] = [ B, H ] = 0
„ ¿Cómo cambia [A,B] con el tiempo?
[[ A, B], H ] = −[[ B, H ], A] − [[ H , A], B] = 0
Identidad de Jacobi

„ El bracket de Poisson de dos cantidades conservadas se conserva

„ Ahora considere [ Li , L j ] = ε ijk Lk
„ Si 2 componentes de L se conservan, la 3era componente se conserva
Æ El vector total L se conserva
Momento Angular
„ ¿Recuerda los Brackets de Poisson Fundamentales?
[qi , q j ] = [ pi , p j ] = 0 [qi , p j ] = −[ pi , q j ] = δ ij
Los BP de 2 momentos canónicos es 0

„ Ahora sabemos [ Li , L j ] = ε ijk Lk

„ Los brackets de Poisson entre Lx, Ly, L, son diferentes de cero
Sólo 1 de las 3 componentes del momento angular
puede ser un momento canónico
„ Por otro lado, [ L2 , Li ] = 0 , así |L| puede ser un momento canónico

„ MQ: Se puede medir |L| y, por ejemplo, Lz simultáneamente, pero

no Lx ni Ly, etc.
Volumen de Fase
„ Vista estática: La TC mueve un punto en un espacio de fase hacia un
punto en otro espacio de fase
„ Vista dinámica: La TC mueve un punto en un espacio de fase hacia
otro punto en el mismo espacio
„ Si se considera un conjunto de puntos, la TC mueve un volumen
hacia otro volumen, por ejemplo
p P

dp ¿Cómo cambia el área?

dq
q Q
Volumen de Fase
„ Es fácil calcular la Jacobiana para 1-dimensión
⎡∂Q ∂q ∂Q ∂p ⎤
dQdP = M dqdp donde M = ⎢ ⎥
⎣ ∂P ∂q ∂P ∂ p ⎦
∂Q ∂P ∂P ∂Q
M = − = [Q, P] = 1 dQdP = dqdp
∂q ∂p ∂q ∂p
„ Es decir, el volumen en el espacio de fase 1-D es invariante

„ Esto es cierto para n dimensiones

„ Goldstein lo prueba usando aproximación simpléctica

El volumen en el Espacio de Fase es un Invariante Canónico

Oscilador Armónico
„ Hemos visto en el ejemplo del oscilador
p P
2mE
2E E
mω 2 ω

2π Q
2π E
„ Un ciclo describe la misma área en ambos espacios
ω
„ Esa es la vista estática
Vista Dinámica
„ Considérese muchas partículas moviéndose independientemente
„ Por ejemplo, moléculas de gas ideal en una caja
„ Ellas obedecen la misma ec. mov. independientemente
„ Pueden ser representadas por puntos múltiples en un
espacio de fase
„ Ellas se mueven con el tiempo Æ TC
p p

Tiempo

q q
Dinámica del Gas Ideal
„ Imagine gas ideal en un cilindro con pistón movible
„ Cada molécula tiene su propia posición
y momento ÆLlenan un cierto volumen
en el espacio de fase
„ ¿Qué sucede cuando lo comprimimos?
p Momento extra
p Æ ¡El gas se calienta!

Compresión
lenta

q q
Teorema de Liouville
„ El volumen de fase ocupado por un grupo de partículas
(conjunto, en mecánica estadística) se conserva
„ Así, la densidad en el espacio de fase permanece constante con
el tiempo
„ Conocido como el teorema de Liouville
„ Esto sigue siendo cierto cuando hay un número
suficientemente grande de partículas de modo que la
distribución puede ser considerada continua
Resumen
⎛ ∂ Qi ⎞ ⎛ ∂p j ⎞ ⎛ ∂ Qi ⎞ ⎛ ∂q j ⎞
„ Condiciones Directas ⎜⎜ ⎟⎟ = ⎜ ⎟ ⎜⎜ ⎟⎟ = − ⎜ ⎟
⎝ ∂q j ⎠q, p ⎝ ∂ Pi ⎠Q ,P ⎝ ∂p j ⎠q, p ⎝ ∂ Pi ⎠Q ,P
„ Necesarias y suficientes
⎛ ∂ Pi ⎞ ⎛ ∂p j ⎞ ⎛ ∂ Pi ⎞ ⎛ ∂q j ⎞
para una Transf. Canónica ⎜⎜ ⎟⎟ = − ⎜ ⎟ ⎜⎜ ⎟⎟ = ⎜ ⎟
⎝ ∂q j ⎠q, p ⎝ ∂ Q i ⎠Q ,P ⎝ ∂p j ⎠q, p ⎝ ∂ Q i ⎠Q ,P
„ TC Infinitesimal
∂u ∂v ∂u ∂v
„ Bracket de Poisson [u , v ] ≡ −
∂qi ∂pi ∂pi ∂qi
„ Invariante Canónico
„ BP Fundamental [qi , q j ] = [ pi , p j ] = 0 [qi , p j ] = −[ pi , q j ] = δ ij
∂u
„ TCI expresada por δ u = ε [u , G ] + δ t
∂t
„ Transf. de tiempo infinitesimal generada por la Hamiltoniana
Resumen
„ Se introdujo la vista dinámica de la Transformación Canónica
„ La Hamiltoniana es el generador del movimiento con el tiempo
„ Simetría del sistema Æ La Hamiltoniana es inalterada por el
generador Æ El generador se conserva
„ Cómo integrar transformaciones infinitesimales
α2 α3
u (α ) = u0 + α [u , G ]0 + [[u , G ], G ]0 + [[[u , G ], G ], G ]0 + "
2! 3!
„ Se discutió la rotación infinitesimal [r, L ⋅ n] = n × r
„ Momento angular Æ Mecánica Cuántica
„ Invariancia del volumen de fase
„ Teorema de Liouville Æ Mecánica Estadística