Construir un hamiltoniano rotacional basado en un lagrangiano de forma general

Me han dicho que se podría construir un hamiltoniano rotacional basado en un lagrangiano de forma general: L = L ( Ω ) . Al introducir los ángulos de Euler, se podría reescribir el lagrangiano en términos de los ángulos de Euler y sus derivados: L = L ( mi , mi ˙ ) . La velocidad angular se expresa en términos de ángulos de Euler de la siguiente manera:

Ω = [ pecado ( θ ) pecado ( ψ ) porque ( ψ ) 0 pecado ( θ ) porque ( ψ ) pecado ( ψ ) 0 porque ( θ ) 0 1 ] [ ϕ ˙ θ ˙ ψ ˙ ] .
(Vector [ ϕ θ ψ ] se denota por mi . ) El gran problema que encontré es que la velocidad angular depende del vector de velocidad general ( mi ˙ ) de forma lineal (por operador lineal METRO ( mi ) cuya matriz se presenta arriba), por lo que el impulso general pag mi = L mi ˙ no es una función explícita del vector de velocidad general ( mi ˙ ). Es decir, el teorema de Donkin o la transformada de Legendre no se pueden aplicar porque los componentes generales de velocidad no se pueden escribir explícitamente como funciones de mi y pag mi .

Una vez tomé una clase de álgebras de Lie donde el enfoque era la rotación de cuerpos rígidos en SO(3), y desarrollamos versiones discretas de las ecuaciones de Hamilton usando técnicas variacionales directamente para cada problema; Luego hicimos simulaciones por computadora con estos, obteniendo un grado de estabilidad muy alto. El propósito de la clase era estudiar técnicas adecuadas para cálculos orbitales. Utilizamos matrices de rotación de actitud como elemento de trabajo; estas son matrices sesgadas simétricas que forman un álgebra de Lie en so(3). La clase estuvo muy involucrada y genial.
Peter Diehr, y ¿qué utilidad tiene aquí el hamiltoniano de tiempo discreto?
Pasamos de lagrangiano a hamiltoniano; el método era diferente al tuyo, pero no recuerdo ningún impedimento teórico. Pero el lagrangiano se expresó de otra manera.

Respuestas (1)

El Lagrangiano es de hecho una ecuación de Ω , sin embargo, en general será una función cuadrática de Ω , ya que la energía cinética de rotación estaría dada por

1 2 Ω T I   Ω
Esto le daría los momentos generalizados deseados en función de los vectores de velocidad generales, ya que las entradas diagonales del tensor del momento de inercia no deben ser cero, lo que garantiza que los términos de velocidad cuadrados aparecerán en el Lagrangiano. La forma exacta del Lagrangiano dependerá del objeto que gira y de su momento de inercia.

Las notas de David Tong repasan el caso de un Lagrangiano rotacional en términos de ángulos de Euler para un trompo simétrico con bastante lucidez. Del lagrangiano explícito es fácil ver que 2 L mi ˙ 2 es distinto de cero, lo que permite la aplicación de la Transformada de Legendre.