La teoría cuántica de campos de Srednicki menciona lo siguiente al final de la unidad sobre integrales de trayectoria en mecánica cuántica no relativista:
Suponga que el hamiltoniano total es de la forma,
dónde es la parte exactamente solucionable y se trata como una perturbación.
Sin la presencia de la perturbación, la amplitud de transición de estado fundamental a estado fundamental en presencia de fuerzas externas/fuentes clásicas es:
En presencia de la perurbación, la amplitud ahora viene dada por:
Preguntas:
1) Para obtener la ecuación , ¿cómo podemos sacar la exponencial dentro de la integral, hacer las manipulaciones necesarias y luego sacar la exponencial fuera de la integral? Esto me parece muy ad-hoc. ¿Cómo y cuándo sabemos que estos pasos son válidos? ¿No requiere esto una justificación del análisis matemático?
2) Más importante aún, no obtengo el primer término que involucra al hamiltoniano perturbador. ¿Por qué tenemos derivadas funcionales en su argumento? ¿Cómo resultó ser? ¿Por qué no tenemos derivadas funcionales similares en el argumento de ¿también? ¿Cuál es la distinción?
Nota: El factor de ha sido reprimido en .
En primer lugar, tenga en cuenta que una definición general matemáticamente rigurosa de integrales funcionales es un problema abierto bien conocido en matemáticas. Una ruta es tratar de construir la integral funcional como un límite continuo apropiado de un modelo de celosía sobre un espacio-tiempo discretizado. .
Si por simplicidad escribimos las coordenadas del espacio de fase colectivamente como ; las fuentes como ; y la acción
La razón de la aparición de las derivadas funcionales tiene que ver con infinitos grados de libertad en la teoría de campos. Los derivados funcionales son un gran tema en sí mismos. Aquí solo mencionaremos que las derivadas funcionales se convierten en derivadas parciales si vamos a un modelo discretizado/lattice. Por ejemplo, en el paso de la ec. (6.21) a la ecuación. (6.22) se utiliza una generalización funcional de la fórmula elemental