Integrales de trayectoria de Srednicki: Amplitud de transición de estado fundamental a estado fundamental en presencia de una perturbación

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,

H = H 0 + H 1 ,

dónde H 0 es la parte exactamente solucionable y H 1 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:

(6.21) 0 | 0 F , h = D pag D q Exp [ i d t ( pag q ˙ ( 1 i ϵ ) H 0 + F q + h pag ] .

En presencia de la perurbación, la amplitud ahora viene dada por:

ingrese la descripción de la imagen aquí

Preguntas:

1) Para obtener la ecuación ( 6.22 ) , ¿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 H 0 ¿también? ¿Cuál es la distinción?

Nota: El factor de ( 1 i ϵ ) ha sido reprimido en ( 6.22 ) .

Respuestas (1)

  1. 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. METRO .

  2. Si por simplicidad escribimos las coordenadas del espacio de fase colectivamente como z I := { q i ; pag i } ; las fuentes como j I := { F i ; h i } ; y la acción

    (A) S [ z ]   =   S 0 [ z ] + S 1 [ z ] , S 0 [ z ]   =   R d t ( pag i q ˙ i H 0 ) , S 1 [ z ]   =   R d t   H 1 ;
    entonces podemos escribir formalmente las ecs. (6.21) y (6.22) como
    (6.21) Z [ j ]   =   D z   mi i S 0 [ z ] Exp { i S 1 [ z ] } Exp { i R d t   j I z I }   =   D z   mi i S 0 [ z ] Exp { i S 1 [ i d d j ] } Exp { i R d t   j I z I } (6.22)   =   Exp { i S 1 [ i d d j ] } D z   mi i S 0 [ z ] Exp { i R d t   j I z I } .
    En el último paso sacamos un factor (que no depende de la variable integral funcional z I ) fuera de la integral funcional.

  3. 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

    (B) F ( i j ) mi i j I z I   =   F ( z ) mi i j I z I ,
    que es válido para funciones agradables adecuadas F . Alternativamente, el paso puede ser visto como una generalización de
    (C) i d d j I ( t ) Exp { i R d t   j j ( t ) z j ( t ) }   =   z I ( t ) Exp { i R d t   j j ( t ) z j ( t ) } .
    Consulte también esta publicación Phys.SE relacionada.