Prueba de identidad Ward-Takahashi en Peskin y Schroeder, página 311

Estoy estudiando la derivación de la identidad de Ward Takahashi usando Peskin y Schroeder (Número de página 311) Lo que entiendo de sus declaraciones es lo siguiente, para un cambio de variables

(9.100) ψ ( X ) ( 1 + i mi α ( X ) ) ψ ( X ) .
La densidad lagrangiana QED se transforma en
(9.101) L L mi m α ψ ¯ γ m ψ .
Estuve de acuerdo con sus declaraciones hasta aquí. Luego dice

"Esta transformación conduce a la siguiente identidad para la integral funcional sobre dos campos de fermiones

(9.102) 0 = D ψ ¯ D ψ D A mi i d 4 X L { i d 4 X m α ( X ) [ j m ( X ) ψ ( X 1 ) ψ ¯ ( X 2 ) ] + ( i mi α ( X 1 ) ψ ( X 1 ) ) ψ ¯ ( X 2 ) + ψ ( X 1 ) ( i mi α ( X 2 ) ψ ¯ ( X 2 ) ) }
con j m = mi ψ ¯ γ m ψ . [...] Dividiendo esta ecuación por Z da
(9.103) i m 0 | T j m ( X ) ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 = i mi d ( X X 1 ) 0 | ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 + i mi d ( X X 2 ) 0 | ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 .
Para poner esta ecuación en una forma más familiar, calcule su transformada de Fourier integrando
(9.104) d 4 X mi i k X d 4 X 1 mi i q X 1 d 4 X 1 mi i pag X 2 .
Entonces las amplitudes anteriores convertidas como
(9.105) i k m METRO m ( k ; pag ; q ) = i mi METRO 0 ( pag ; q k ) + i mi METRO 0 ( pag + k ; q ) .
Esta es exactamente la identidad Ward-Takahashi para dos fermiones externos".

mis preguntas son

  1. ¿Cómo consiguió

    (9.102) 0 = D ψ ¯ D ψ D A mi i d 4 X L { i d 4 X m α ( X ) [ j m ( X ) ψ ( X 1 ) ψ ¯ ( X 2 ) ] + ( i mi α ( X 1 ) ψ ( X 1 ) ) ψ ¯ ( X 2 ) + ψ ( X 1 ) ( i mi α ( X 2 ) ψ ¯ ( X 2 ) ) }   ?

  2. Al dividir esta ecuación por Z da

    (9.103) i m 0 | T j m ( X ) ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 = i mi d ( X X 1 ) 0 | ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 + i mi d ( X X 2 ) 0 | ψ ( X 1 ) ψ ¯ ( X 2 ) | 0 ,
    ¿Cómo consiguió esto?

  3. Al tomar la transformada de Fourier, ¿por qué toma ( k , q , pag ) como el conjunto de momento en exponencial en lugar de ( k , q , pag ) ? Por favor, ayúdame a tener una intuición.

¿ Entiendes la derivación de las ecuaciones de Schwinger-Dyson ?
Lo leí de Peskin y Shroeder, lo entiendo con algunos rasguños en alguna parte, vendré con dudas sobre eso más tarde @ Q Mechanical

Respuestas (1)

  1. Necesitas tomar la integral funcional estándar D [ ψ , ψ ¯ , A ] mi i d 4 X L [ ψ , ψ ¯ , A ] ( ψ ψ ¯ ) y expandir tanto los campos como el lagrangiano. Utilizando el hecho de que la medida funcional D y la integral como un todo son invariantes, tendrás un término que es el mismo que el no expandido (de ahí el 0 = . . . ) y otros términos que son los que puedes ver en el libro.

  2. La definición de la función de correlación en términos de la integral funcional se puede dar como la integral de los campos (es decir, la derivada de Z [ j ] valorado en j = 0 ), dividido por Z [ 0 ] . Consulte las páginas anteriores del libro para ver ejemplos de esto.

  3. No estoy seguro de lo que quieres decir. ¿Por qué debería haber elegido q ¿en cambio?

1) Este cambio en el lagrangiano no afecta la generación funcional y, por lo tanto, las funciones de correlación, ¿esto sucede por qué? @Mauro Giliberti
@ROBINRAJ porque ambos ψ y su transformacion ψ son soluciones de la misma ecuación de movimiento, y dan cuenta de la misma funcional generatriz. D [ ψ , ψ ¯ , A ] mi i d 4 X L [ ψ , ψ ¯ , A ] ( ψ ψ ¯ ) = D [ ψ , ψ ¯ , A ] mi i d 4 X L [ ψ , ψ ¯ , A ] ( ψ ψ ¯ ) y usando el hecho de que la medida funcional no cambia, obtienes la ecuación anterior.
¿Es esto cierto para las transformaciones no infinitesimales? @ Mauro Giliberti
Por qué el autor toma el vacío que no interactúa ( | 0 ) en lugar de interactuar con el vacío ( | Ω ) @Mauro Giliberti
@ROBINRAJ es cierto para cada transformación de calibre, es la definición de transformación de calibre en sí misma. Habla de estados de vacío que no interactúan porque así es como se define la función generadora en términos de la función de correlación. Además, los comentarios no son para una discusión extensa: si tiene más preguntas, debe escribirlas como publicaciones separadas.
El autor toma el vacío interactivo para definir la función de correlación. ¿Puede consultar la ecuación número 9.18 y 9.81 de Peskin y Shroeder @Mauro Giliberti?