Amplitud de transición de vacío a vacío usando integral funcional

La amplitud de transición de vacío a vacío para una partícula libre con fuente j es dado por

Z 0 [ j ] = D ϕ mi X pag { i [ 1 2 ϕ ( + metro 2 i ϵ ) ϕ ϕ j ] d 4 X }
Dejar PAG = + metro 2 i ϵ , entonces el integrando en el exponente es básicamente una forma cuadrática en términos de ϕ . Si completamos el cuadrado y usamos el producto interior definido para campos reales por
( F , gramo ) = d 4 X F gramo ,
entonces tendremos (poniendo ϕ ¯ = PAG 1 j )
Z 0 [ j ] = D ϕ mi X pag { [ i 2 ( ϕ ϕ ¯ , PAG ( ϕ ϕ ¯ ) ) + i 2 ( ϕ ¯ , j ) i ( j , ϕ ¯ ) ] } = 1 d mi t ( i PAG ) D ϕ mi X pag {   i 2 ( PAG 1 j , j ) i ( j , PAG 1 j ) } = 1 d mi t ( i PAG ) D ϕ mi X pag {   i 2 j PAG 1 j d 4 X } ,
que obviamente es diferente del resultado correcto que se muestra en Ryder. La diferencia es la integración que sigue al término determinante. Para su referencia, este término debe ser
D ϕ mi X pag { i 2 j ( X ) Δ F ( X y ) j ( y ) d 4 X d 4 y } ,
dónde Δ F es el propagador de Feynman. Entonces, ¿alguien podría ayudar a depurar mi derivación, muy apreciado?

Respuestas (2)

Tu relación (solución) ϕ ¯ = PAG 1 j es una relación integral de hecho donde PAG 1 es una función de Green o el propagador de Feynman. Tienes que escribir los argumentos correctamente y obtendrás el resultado correcto.

Estoy consciente de PAG 1 es en realidad un propagador de Feynman, pero todavía no veo cómo se produce la integración. ¿Podría ser más específico? gracias
Vladímir tiene razón. Intenta pensar en ϕ y j como vectores con un índice continuo X y entonces PAG y PAG 1 son matrices indexadas por X y y . Para que esto funcione, la versión funcional de PAG es en realidad PAG ( X , y ) = ( + metro 2 i ϵ ) d 4 ( X , y ) dónde d es la función delta de Dirac.
no veo porque PAG se puede poner para ser esta forma. ¿Podría proporcionar más detalles si no le importa?

En realidad, lo que obtuve es equivalente a la forma dada en Ryder, tenemos

PAG Δ F ( X ) = d 4 ( X )
, entonces
Δ F ( X ) = PAG 1 d 4 ( X )
, de la que también tenemos
Δ F ( X y ) = PAG 1 d 4 ( X y )
, dónde PAG 1 no se verá afectado ya que es un operador de diferenciación con respecto a X . En consecuencia, podemos extraer PAG 1 de la expresión anterior por integrar con respecto a y . La forma final entonces puede ser puesta como
{ j ( X ) Δ F ( X y ) d y } j ( X ) d X
o
j ( X ) Δ F ( X y ) j ( y ) d X d y
donde este último es exactamente igual al de Ryder.