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)?
o el que se basa en el lagrangiano (espacio configuracional)?
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 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?
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 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
hay un factor de medida canónico
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 con .
Trimok
Erich
Trimok
Erich
Trimok