¿Cuál es la razón del signo menos adicional en (□x−m2)GF(x,y)=−δ(4)(x−y)(◻x−m2)GF(x,y)=−δ(4) )(x−y)(\Box_x - m^2)G_\mathrm{F}(x,y) = - \delta^{(4)}(xy)?

El propagador de Feynman viene dado por el valor esperado de dos operadores de campo (escalares) ordenados en el tiempo (evaluados en el vacío):

GRAMO F ( X , y ) 0 | T ( ϕ ^ ( X ) ϕ ^ ( y ) ) | 0

Esta es una función de Green para el operador de Klein-Gordon en el sentido de que

( ( X 0 ) 2 + X 2 metro 2 ) GRAMO F ( X , y ) = d ( 4 ) ( X y )
Véase, por ejemplo, la Ecuación (6.2.17) en el Volumen 1 de Weinberg.

Normalmente, los matemáticos definen una función de Green genérica GRAMO para un operador L ^ como uno que satisface;

L ^ GRAMO ( X ; y ) = + d ( X y )
Tenga en cuenta la diferencia en el signo menos.

Mi pregunta es, ¿por qué los físicos tienen un signo menos adicional para la función de Green que siempre usan? ¿Es solo una convención que se popularizó o hay una razón práctica?

El signo menos no siempre está ahí. Depende de las convenciones. No tiene importancia física y no cambia los resultados medibles, siempre y cuando seas constante.

Respuestas (1)

La lógica detrás de la convención es que en d = 1 , donde solo hay una dimensión de tiempo, la ecuación diferencial parcial (pde) se reduce a F = metro a . De hecho, la pde con la ecuación de onda se puede ver como una F = metro a , dónde metro a = ϕ ¨ , la densidad de fuerza interna viene dada por 2 ϕ metro 2 ϕ , y la densidad de fuerza externa viene dada por d ( 4 ) ( X y ) . Entonces, esta convención de signos es lo mismo que decir que las fuerzas externas se dirigen en forma paralela a las aceleraciones que causan. La convención de signos opuestos está permitida, por supuesto, si mantiene todo consistente, como señala @AccidentalFourierTransform.