Determinar si las constantes de movimiento son independientes

Digamos, en la mecánica hamiltoniana, conocemos dos constantes de movimiento, A y B . Se puede probar que la cantidad [ A , B ] es también una constante de movimiento, donde [ A , B ] denota los corchetes de Poisson de A y B .

Como ejemplo, considere el hamiltoniano:

H = 1 2 pag R 2 + pag ϕ 2 2 R 2 + A R .

El mismo H obviamente es una constante de movimiento. Además, podemos demostrar que la cantidad pag ϕ y la cantidad C , dada por:

C = pag R pag ϕ pecado ϕ + pag ϕ 2 R porque ϕ + A porque ϕ .

son ambas constantes de movimiento. Sin embargo, ¿cómo sabemos si [ pag φ , C ] es otra constante de movimiento independiente? O más generalmente, ¿cómo sabemos, entre las 4 constantes de los movimientos (H, pag ϕ , C , [ pag φ , C ] ), ¿cuántos de ellos son independientes?

Respuestas (2)

Recogiendo el cheque mencionado en la respuesta de JG:

  1. Para 2 norte espacio de fase dimensional, hay como máximo 2 norte constantes de movimiento independientes .

  2. Del mismo modo, hay como máximo 2 norte 1 integrales de movimiento independientes , ya que por definición no se permite que dependan explícitamente del tiempo t .

  3. De manera más general, dado norte integrales de movimiento I 1 , , I norte de las variables del espacio de fase z 1 , , z 2 norte , el número de integrales independientes de movimiento en el punto z viene dado por el rango de la matriz rectangular

    ( I k ( z ) z ) 1 k norte , 1 2 norte .
    Véase también, por ejemplo, esta publicación de Phys.SE. El caso de OP tiene norte = 2 .

  4. Ejemplo de OP: la variable angular ϕ es una variable cíclica por lo que pag ϕ es una integral de movimiento. el hamiltoniano

    H   :=   pag r 2 2 + pag ϕ 2 2 r 2 + A r   =   pag r 2 2 + W 2 2 A 2 pag ϕ 2 , W   :=   pag ϕ r + A pag ϕ ,
    es una integral de movimiento diferente de pag ϕ (debido a la pag r & W dependencia). Se puede comprobar que la familia de 1 parámetro
    B ( α )   :=   pag r pecado ( ϕ + α ) + W porque ( ϕ + α )
    es una integral de movimiento diferente de pag ϕ y H (debido a la ϕ dependencia). Sin embargo, cualquier B ( α ) puede escribirse en términos de B ( 0 ) y B ( π / 2 ) a través de las fórmulas de adición para seno y coseno. Y B ( π / 2 ) no es independiente, ya que
    B ( 0 ) 2 + B ( π / 2 ) 2   =   2 H + A pag ϕ 2 .
    Así que la familia de 1 parámetro B ( α ) contiene sólo una nueva integral de movimiento. En conjunto, el sistema es máximamente superintegrable con 3 integrales de movimiento independientes. La integral de movimiento de OP es C := pag ϕ B ( 0 ) .

¿Qué pasa con el caso específico mencionado en la pregunta, donde he generado 4 constantes de movimiento (3 de ellas las conozco y la cuarta la he generado a partir de los corchetes de Poisson)? Seguro que hay un máximo de 3 constantes independientes de movimientos (2n-1, como mencionaste), pero ¿cómo sé exactamente cuántas de ellas son independientes?
Actualicé la respuesta.
En realidad, ¿puedo hacerlo mediante inspección? ¿Tengo razón en que las 4 constantes de movimiento que he enumerado anteriormente en realidad contienen 3 constantes de movimiento independientes?

La técnica estándar es contar las simetrías y, si parece que hemos encontrado demasiadas cargas conservadas, verificar la dependencia lineal (o en algunos casos, otras relaciones) entre ellas. Consulte el Apéndice D de mi tesis para ver un ejemplo. Y a veces dos corrientes conservadas dan la misma carga, debido a que su diferencia se integra a cero; véase el Apéndice E del mismo para un ejemplo.

¿Qué pasa con el caso, digamos, me dan 4 expresiones complicadas de constantes de movimiento y no puedo verificar la dependencia lineal ni dar una interpretación física (por ejemplo, verificar si dan la misma carga)? ¿Existe una forma general (quizás a prueba de balas) de determinar si esas 4 constantes de movimiento son independientes?
PD: Las 4 constantes de movimiento a las que me refiero son las mencionadas en la pregunta.
@delickcrow123 Desde ϕ es cíclico, considere el caso especial pag ϕ = 0 .
En realidad, ¿puedo hacerlo mediante inspección? ¿Tengo razón en que las 4 constantes de movimiento que he enumerado anteriormente en realidad contienen 3 constantes de movimiento independientes?