Ecuación de Hamilton-Jacobi con un Lagrangiano de segundo orden

La ecuación de Hamilton-Jacobi es:

H ( q , S q , t ) + S t   =   0 ,
dónde S es la función principal de Hamilton .

Si tomamos un segundo orden L tal que

L = L ( { q j , q ˙ j , q ¨ j } , t ) ,
cambia la ecuación de Hamilton-Jacobi, o siempre podríamos considerar que S t = H ?

¿Qué definición de "Hamiltoniano" estás usando para Lagrangianos de orden superior? Hay varios (por ejemplo, el de Ostrogradsky) que son similares, pero no iguales.
umm si es cierto considerar que ∂S/∂t=−H, definiría mi hamiltoniano de \delta S (que es igual a L \delta t), entonces H será =∑jp\dot{q}+∑ j ∂S/∂\dot{q} \ddot{q}−L (todos tendrán índice j)
@ACuriousMind, ¿puedo escribir esto? Nunca he trabajado con una L de orden superior.
El punto es: ¿qué espacio es ese nuevo H ¿viviendo en? En la configuración de primer orden, cambiamos del paquete de tangente de Lagrange con coordenadas ( q , q ˙ ) al hamiltoniano fase espacio/paquete cotangente con coordenadas ( q , pag ) . Pero aquí no puedes simplemente transformar Legendre q ˙ , necesitas manejar de alguna manera el q ¨ dependencia. Hay diferentes esquemas para eso, lo que lleva a diferentes nociones del hamiltoniano final, por lo que no está exactamente claro lo que quiere hacer aquí.
Lo que he escrito en mi comentario es absolutamente incorrecto :) ¡Lo siento! Así que he decidido usar el hamiltoniano de Ostogradsky. Pero todavía no sé si la ecuación de Hamilton-jacobi sigue siendo cierta de todos modos.

Respuestas (1)

I) Suprimamos la dependencia temporal explícita t de la notación siguiente. Sea dado un Lagrangiano de segundo orden

(1) L ( q , v , a ) ;

dónde q i son posiciones, v i son velocidades, a i son aceleraciones, y donde i { 1 , , norte } .

II) Nos gustaría encontrar la formulación hamiltoniana de Ostrogradsky correspondiente . Supongamos, por simplicidad, que la arpillera

(2) H i j   =   2 L a i a j

es invertible 1 Entonces el hamiltoniano de Ostrogradsky se define como

(3) H ( q , PAG )   :=   pag i v i + sorber a ( π i a i L ( q , v , a ) ) ,

donde hemos introducido la notación colectiva

(4) q I   =   { q i ; v i } , PAG I   =   { pag i ; π i } , I     { 1 , , 2 norte } .

III) En el espíritu de mi respuesta Phys.SE aquí , presentamos un Lagrangiano extendido 2

(5) L mi ( q , q ˙ , PAG , a )   :=   pag i ( q ˙ i v i ) + π i ( v ˙ i a i ) + L ( q , v , a )

Si nos integramos PAG I , v i y a i en el Lagrangiano extendido (5), recuperamos el Lagrangiano mismo

(6) L ( q , q ˙ , q ¨ ) .

Si solo nos integramos a i en el Lagrangiano extendido (5), obtenemos el Lagrangiano Hamiltoniano de Ostrogradsky

(7) L H ( q , q ˙ , PAG )   :=   PAG I q ˙ I H ( q , PAG ) .

Esto implica que las ecuaciones de Euler-Lagrange (EL) de orden superior de (5) son equivalentes a las ecuaciones estándar de Hamilton en q I y PAG I ! En otras palabras, en el caso no singular (2), ¡podemos reutilizar la teoría estándar de Hamilton-Jacobi (HJ) para este caso! La única diferencia es que el espacio de fase (4) es el doble de grande.

--

1 Si la matriz hessiana es singular, aparecerán restricciones y, como resultado, la formulación hamiltoniana y la teoría de Hamilton-Jacobi se modificarán.

2 Si variamos el Lagrangiano extendido (5) wrt. a a i y v i , obtenemos los momentos de Ostrogradsky

(8) π i     L a i ,
y
(9) pag i     L v i π ˙ i     L v i d d t L a i ,
respectivamente. [El signo significa ecuaciones de movimiento de módulo de igualdad.]