En las Integrales de Trayectoria, ¿lagrangianas o hamiltonianas son fundamentales?

Al estudiar integrales de trayectoria me surgió una pregunta... ¿Qué presentación es más fundamental para calcular el propagador?

¿El basado en el hamiltoniano (espacio de fase)?

k ( B | A ) = D [ pags ] D [ q ] Exp { i d t [ pags q ˙ H ( pags , q ) ] }

o el que se basa en el lagrangiano (espacio configuracional)?

k ( B | A ) = D [ q ] Exp { i d t L }

Al leer la tesis de Feynman, vemos que afirma que "[...] se ha elaborado un método para formular un análogo cuántico de sistemas para los que no existe un hamiltoniano, sino un principio de acción mínima. Es una descripción de este método que constituye esta tesis". Parece tomar la forma lagrangiana como más fundamental.

Otros autores, como Hatfield o Swanson, parecen tomar la forma del espacio fase como más fundamental. Ellos ven la otra forma como un caso especial donde el pags la dependencia es cuadrática.

Entonces, esta es mi pregunta.
¿Cuál es más confiable? ¿Hay algún ejemplo en el que se privilegia una vista?

La formulación hamiltoniana es más fundamental. Sin embargo, con un hamiltoniano simple como H = pags 2 2 metro + V ( q ) , si haces la integración en pags , encontrará fácilmente la formulación lagrangiana
¿Por qué hamiltoniano es más fundamental? ¿Hay algún ejemplo en el que, siguiendo el lagragiano, encontremos la respuesta incorrecta? ¿Y la tesis de Feynman? ¿Dónde parece describir un ejemplo con forma no hamiltoniana?
Ya en un nivel clásico, tendrás problema con hamiltonianos como H = pags 2 2 metro + λ pags q . Las ecuaciones de Hamilton darán pags ˙ / metro + λ pags = 0 . Este tipo de relación no se puede obtener a partir de las ecuaciones de Euler-Lagrange.
@Trimok no puede? Lo siento si estoy confundiendo algo... pero el hamiltoniano particular que muestras parece comportarse bien en una transformación legendre... el momento es pags = metro ( q ˙ λ q ) (sin restricciones aquí) y el lagrangiano es simplemente L = metro 2 q ˙ 2 + metro 2 λ 2 q 2 λ metro q q ˙ . Euler-lagrange nos da q ¨ λ 2 q = 0 que es exactamente lo mismo obtenido por las ecuaciones canónicas (si sustituimos pags ).
Tienes razón...: también verifiqué que, para este hamiltoniano en particular, las dos formulaciones son equivalentes en el nivel clásico. Ahora, el impulso canónico pags = metro ( q ˙ λ q ) es, físicamente, muy "especial"..

Respuestas (1)

Comentarios a la pregunta (v2):

1) La correspondencia entre las teorías lagrangiana (L) y hamiltoniana (H) está plagada de sutilezas. Algunas herramientas generales para transformaciones singulares de Legendre están disponibles, como el análisis de Dirac-Bergmann, el método de Faddeev-Jackiw, etc. de teorías (como, por ejemplo, Yang-mills, Cherns-Simons, GR, etc.), donde ambos lados de la correspondencia LH han sido elaborados.

2) En general, las integrales de trayectoria no se comprenden bien más allá de una expansión perturbativa en torno a una teoría libre de Gauss, por lo que para reflexionar sobre qué sucede si los momentos pags no son cuadráticos, es sólo parte de un problema mayor.

3) Una diferencia fundamental entre las teorías lagrangianas y hamiltonianas es que existe formalmente una elección canónica de la medida integral de la trayectoria en las teorías hamiltonianas, mientras que la medida integral de la trayectoria lagrangiana tradicionalmente es solo factores fijos invariantes de calibre de módulo. En ese sentido, la formulación hamiltoniana es más fundamental.

En detalle, si asumimos que el espacio de fases, una teoría hamiltoniana está equipada con una forma simpléctica de dos formas

(1) ω   =   1 2 d z yo   ω yo j d z j ,

hay un factor de medida canónico

(2) ρ   =   PAGS F ( ω yo j )

dada por el (super) Pfaffian , al menos para integrales de dimensión finita, que en circunstancias favorables se pueden generalizar a dimensiones infinitas. Este factor de medida ρ es solo 1 en las coordenadas de Darboux ( q 1 , , q norte , pags 1 , , pags norte ) con ω = d pags i d q i .

Con respecto al Lagrangiano-Hamiltoniano, lo que dijiste sobre la medida me aclaró las cosas. De todos modos, al analizar las diferencias de los enfoques, sería bueno calcular otras integrales de trayectoria... Acerca de las integrales de trayectoria no gaussianas... ¿Conoce algún esfuerzo para calcular casos en los que los momentos no son cuadráticos? ¿O hay alguna prohibición fundamental?