¿Ayuda a comprender qué significa el hamiltoniano para la acción en comparación con las ecuaciones de Euler-Lagrange para el lagrangiano?

Considere el Lagrangiano para un oscilador armónico simple

L ( X , X ˙ ) = 1 2 metro X ˙ 2 1 2 k X 2
obviamente tenemos
L X = k X L X ˙ = metro X ˙ d d t ( L X ˙ ) = metro X ¨
Así que esto satisface el Euler-Lagrange en que conocemos un F = metro a y por lo tanto la fuerza de un resorte debe seguir esta ley también, dándonos
d d t ( L X ˙ ) L X = 0 metro X ¨ + k X = 0
Ahora hagamos la versión hamiltoniana. Aquí es donde tengo un problema. Obtenemos el hamiltoniano mediante la transformación de Legendre y obtenemos
H ( X , pag ) = 1 2 pag 2 metro + 1 2 k X 2
Ahora, según lo que entiendo, las ecuaciones de movimiento deberían ser
H X = k X = pag ˙ H pag = pag metro = X ˙
Pero no veo qué me dice esto sobre la relación entre la ley de Newton y la ley de Hooke. Para el Lagrangiano, cuando conecto la información relevante, obtengo una relación que muestra explícitamente la acción
S [ X ] = a b L ( t , X , X ˙ ) d t
que satisfaga la ecuación EL como condición necesaria para S [ X ] tener un extremo para la función dada X ( t ) .


Mi pregunta:

¿Cómo hacen esto las ecuaciones de Hamilton? Cuando observo las "ecuaciones de movimiento" del hamiltoniano, no veo cómo me dicen nada sobre la acción. ¡Pero deberían! Ese es su propósito, al igual que sus análogos lagrangianos.


La única manera que veo para hacerlo es hacer algo como

d d t ( metro H pag ) = metro d d t X ˙ = metro X ¨
y luego organizarlos algo como
d d t ( metro H pag ) + H X = 0 metro X ¨ + k X = 0
Pero nunca he visto a nadie hacer esto en los libros introductorios, así que siento que debo estar malinterpretando lo que significa el hamiltoniano en relación con la acción.

Hm... bueno, ¿por qué esperarías que las ecuaciones de Hamilton tuvieran algo que ver con la acción? (No es que esté diciendo que no)
@DavidZ Pensé que el propósito de la acción era, en efecto, permitirnos identificar el camino más corto entre dos puntos al mostrar que la acción es estacionaria, es decir, no cambia con una pequeña variación. Según tengo entendido, por eso tenemos el Lagrangiano en primer lugar. Si el sistema satisface la ecuación EL, entonces pasa una de las condiciones necesarias para que la acción tenga un extremo. En muchos casos, esto parece ser las propias ecuaciones de movimiento. Entonces supuse que el hamiltoniano estaba relacionado con la acción, ya que la acción parece muy importante para el formalismo lagrangiano.
@DavidZ La respuesta que recibí habría respondido mi pregunta. Pero ahora no estoy seguro de qué significa el hamiltoniano para la acción. Así que supongo que esperaré y veré si alguien más responde y responde esa pregunta directamente. Me gustaría una declaración formal de lo que significa el hamiltoniano para la acción. Tengo una buena en mi libro Calculus of Variations de IM Gelfand, ‎SV Fomin for the Lagrangian.

Respuestas (4)

Sé que llego tarde a la fiesta, pero déjame mostrarte que las mecánicas lagrangiana y hamiltoniana son compatibles mediante la sustitución directa de la lagrangiana en las ecuaciones de Hamilton.

El hamiltoniano es, en términos del lagrangiano,

H ( pag , q ) = pag q ˙ ( pag , q ) L ( q , q ˙ ( pag , q ) )
Ahora tomamos la primera ecuación de Hamilton y la reemplazamos
q ˙ = H pag = q ˙ + pag q ˙ pag L q ˙ q ˙ pag
Lo que implica
pag = L q ˙
Ahora tomamos la segunda ecuación hamiltoniana y la reemplazamos
pag ˙ = H q = pag q ˙ q L q L q ˙ q ˙ q
Usando la primera ecuación hamiltoniana, vemos que el último término cancela al primero. entonces obtenemos
pag ˙ = L q
Entonces podemos combinar las dos ecuaciones y obtener
L q d d t L q ˙ = 0
que es simplemente la ecuación de Euler-Lagrange.

Por tanto, las mecánicas hamiltoniana y lagrangiana son equivalentes.

OP pide en el título (v1) ayuda para comprender qué significa el hamiltoniano para la acción en comparación con las ecuaciones de Euler-Lagrange para el lagrangiano.

Parece relevante en este contexto señalar que existe un principio de acción tanto para el formalismo lagrangiano como para el hamiltoniano.

  1. Por un lado, el principio de acción estacionario para la acción lagrangiana

    (L1) S [ q ]   :=   d t   L ( q , q ˙ , t )
    en el formalismo lagrangiano conduce a las ecuaciones de movimiento de Lagrange (eom) 1
    (L2) d d t L q ˙ i     L q i .

  2. Por otro lado, el principio de acción estacionario para la acción hamiltoniana

    S H [ q , pag ]   :=   d t   L H ( q , q ˙ , pag , t ) ,
    (H1) L H ( q , q ˙ , pag , t )   :=   pag i q ˙ i H ( q , pag , t ) ,
    en el formalismo hamiltoniano conduce al eom de Hamilton
    (H2) q ˙ i     H pag i , pag ˙ i     H q i .

--

1 Aquí el símbolo significa igualdad módulo eom.

gracias por abordar este tema en particular. Entonces, déjame ver si entiendo: para encontrar la acción hamiltoniana, tomo la transformada de Legendre del hamiltoniano. Pero pensé que esto era una involución. Así que como si T es la transformación de Legendre que produce H de L , entonces T T debería ceder L de nuevo. Pero eso no es lo que tienes. Tienes L H ( q , q ˙ , pag , t ) . ¿Por qué? habría pensado que sería L ( q , q ˙ , t ) de nuevo. ¿No es esa la definición de una involución? Además, ¿por qué la acción hamiltoniana depende entonces de q , pag pero no las otras dos variables?
1. Si hemos derivado la condición q ˙ i = F i ( q , pag , t ) de la transformación de Legendre, entonces el hamiltoniano lagrangiano y el lagrangiano toman el mismo valor
L H ( q , F ( q , pag , t ) , pag , t )   =   L ( q , F ( q , pag , t ) , t )
en esta condición. La transformación de Legendre se aborda con más detalle, por ejemplo, en esta publicación de Phys.SE. 2. Una acción nunca depende de las variables de puntos, consulte, por ejemplo, esta publicación de Phys.SE.

Empezando con

H X = k X = pag ˙ H pag = pag metro = X ˙

Se toma la derivada temporal de ambos lados de la segunda ecuación.

d d t ( pag metro ) = d d t X ˙

donación

pag ˙ metro = X ¨

Sustituyendo de la primera ecuación de Hamilton

k X metro = X ¨

dando finalmente

k X = metro X ¨

Observa que de la segunda ecuación se obtiene pag = metro X ˙ , de modo que al sustituir en el primero se obtiene k X = metro X ¨ .