Soportes de Poisson y componentes de momento angular

Relacionado: paréntesis de Poisson de momento angular

Cuando los corchetes de Poisson se enseñan como parte de un curso de Mecánica analítica, comúnmente se muestran ejemplos que anticipan resultados analógicos en QM. Uno de esos ejemplos, que muestra el libro que estoy usando ([1]), es que dado que los componentes del vector de momento angular L obedecer la relación

(1) [ L i , L j ] = ϵ i j k L k ,

obviamente no obedecen las relaciones de variables canónicas [ pag i , pag j ] = 0 y por lo tanto no hay dos componentes de L pueden servir como variables canónicas al mismo tiempo. Luego pasa a demostrar que L 2 viaja con L i , por lo que este par se puede utilizar como variables canónicas. Un resultado análogo es la tarifa QM estándar sobre las relaciones de conmutación y la observación.

Parece que he encontrado un contraejemplo. Si escribimos El hamiltoniano para una partícula libre, partiendo del Lagrangiano en coordenadas esféricas ( r , θ , ϕ ) , terminamos con

H = pag r 2 2 metro + pag θ 2 2 metro r 2 + pag ϕ 2 2 metro r 2 pecado 2 ( θ )

con momentos generalizados

pag r = metro r ˙ , pag θ = metro r 2 θ ˙ , pag ϕ = metro ( r pecado ( θ ) ) 2 ϕ ˙

Es fácil ver a partir de la definición que

pag ϕ = L z y pag θ = L X .
Esto parece un contraejemplo. No llegué a este hamiltoniano a través de una transformación canónica, pero es un hamiltoniano "legal" y dos de las variables/momentos canónicos son dos componentes de L , contradiciendo la afirmación anterior.

Como dilema adicional, el libro muestra que los corchetes de Poisson son invariantes canónicas, es decir, conservados bajo transformaciones canónicas, pero cuando calculé [ L X , L z ] en coordenadas cartesianas, obtuve el resultado [ L X , L z ] L y como (1) sugiere, y cuando calculé [ L X , L z ] en el espacio de fase de coordenadas esféricas obtuve el resultado [ pag θ , pag ϕ ] = 0 como esperaría de un par de variables canónicas ...

Estos resultados parecen contradecirse entre sí. ¿Cuál es la explicación?

[1] Hamill, Patrick. "Guía del estudiante de lagrangianos y hamiltonianos", p.130.

Pista: La identificación correcta es pag ϕ = L z y pag θ 2 = L 2 L z 2 pecado 2 θ .

Respuestas (1)

Gracias @Qmechanics, la pista fue todo lo que necesitó.

El error en OP proviene de calcular mal el vector de momento angular.

Cuando el movimiento está restringido a un plano perpendicular a uno de los ejes de coordenadas cartesianas (digamos z ), el vector de momento angular tiene una componente distinta de cero solo en la dirección perpendicular al plano ( z ). Su magnitud es L z = metro r 2 θ ˙ .

Sin embargo, cuando nos movemos al espacio 3d, es incorrecto calcular cada componente de L individualmente, como si el movimiento estuviera restringido a un plano "a la vez". En su lugar, tienes que hacer el cálculo general:

r = ( r pecado ( θ ) porque ( φ ) , r pecado ( θ ) pecado ( φ ) , r porque ( θ ) ) r ˙ = ( r φ ˙ pecado ( θ ) pecado ( φ ) + θ ˙ r porque ( θ ) porque ( φ ) + r ˙ pecado ( θ ) porque ( φ ) , r ˙ pecado ( θ ) pecado ( φ ) + r φ ˙ pecado ( θ ) porque ( φ ) + θ ˙ r porque ( θ ) pecado ( φ ) , r ˙ porque ( θ ) θ ˙ r pecado ( θ ) ) L = r × ( metro r ˙ )
El resultado es un poco peludo, pero se nota que L X metro r 2 θ ˙ y por lo tanto OP declaración de que L X = pag θ Es falso.

Afortunadamente, L 2 (un escalar) tiene una forma amigable:

L 2 = metro 2 r 4 ( φ . 2 pecado 2 ( θ ) + θ . 2 )
Entonces, la identidad señalada por @Qmechanic es fácil de probar:

( pag θ ) 2 = L 2 L z 2 pecado 2 ( θ )

Por lo tanto, en el Hamiltoniano dado en OP los dos momentos conjugados no son componentes de L (solo p_\phi lo es), por lo que las relaciones de conmutación derivadas para los componentes de L no se viola. Los dos momentos pag θ , pag ϕ son sin embargo variables canónicas y por lo tanto obedecen a las relaciones canónicas de conmutación:

[ pag θ , pag ϕ ] = 0
como deberían.