La partición funcional para el campo escalar libre es
Z= ∫D φmiyo ∫d4X [ -12φ (∂2+metro2) ϕ + Jφ ].(1)
Para evaluar esta integral funcional, generalmente la comparamos con el caso discreto
∫∞− ∞∫∞− ∞. . .∫∞− ∞dq1dq2. . . dqnortemi( yo / 2 ) q⋅ A ⋅ q+ yo J⋅q _=(( 2 pii)nortedetalle [ A ])12mi− ( yo / 2 ) J⋅A− 1⋅J _,
dónde
A− 1
es la inversa de la matriz
A
. Ahora, por analogía, generalmente tomamos el resultado de la ecuación (1) como
Z= Cmi− ( 1 / 2 ) ∫∫d4Xd4yj( x ) re ( x - y) J( y),(2)
dónde
re ( x − y)
se dice que es el inverso del operador
− (∂2+metro2)
(Creo que debería ser
− (∂2X+metro2) d( x − y)
en un sentido más riguroso). A saber,
∫d4y− (∂2X+metro2) d( x − y) D ( y− z) = − (∂2X+metro2) re ( x - z) = d( x − z) ,(3)
un análogo de
AijA− 1jk=dik
en el caso discreto.
Pero ahora tengo una pregunta. Como no existe un único inverso del operador− (∂2X+metro2) d( x − y)
(recuerde que necesitamos condiciones de contorno adicionales para obtener una solución específica a la ecuación (3), vea mi otra pregunta aquí ), entonces, ¿qué función de Greenre ( x − y)
debe usarse en la ecuación (2)?
¿Y cuál es el significado físico de que elegimos la función de Green?
re ( x − y) = ∫d4k( 2 pi)4miyo k ( x − y)k2−metro2,(4)
donde descuido el
yo ϵ
? Aparentemente, podemos en principio agregar cualquier función
gramo( x − y)
a la ecuación (4) siempre
− (∂2X+metro2) g( x − z) = 0.