Pregunta sobre el término de superficie en el problema QFT

Estoy tratando de seguir la solución del siguiente problema (Srednicki 39.2):

Para mostrar que:

j z b s ( pag z ^ ) | 0 = 1 2   s   b s ( pag z ^ )   | 0 ,
dónde j z es el momento angular en el z dirección, b s es el operador de creación del campo de Dirac, y s es el índice de espín (tomando los valores +1 y -1). Este problema muestra un caso particular: los valores propios de espín del estado correspondientes a una sola partícula que viaja en el z dirección son +1/2 y -1/2.

Usando la expresión del conmutador:

[ Ψ ( X ) , METRO m v ] = i ( X m v X v m ) Ψ ( X ) + S m v Ψ ( X )

dónde METRO m v son los generadores infinitesimales del grupo de Lorentz y j z = METRO 12 , utilizando también el hecho de que:

j z | 0 = 0 j z b s ( pag z ^ ) | 0 = [ j z , b s ( pag z ^ ) ] | 0

y usando finalmente la expresión del operador de creación en términos de los campos, llegamos a la siguiente expresión:

j z b s ( pag z ) | 0 = d 3 X   mi i pag X 3 i ( X 1 2 X 2 1 ) Ψ ¯ ( X ) γ 0 tu s ( pag ) | 0 + d 3 X   mi i pag X 3 Ψ ¯ ( X ) S 12 γ 0 tu s ( pag ) | 0

Ahora, el procedimiento estándar (que yo sepa) es mostrar que la primera integral se anula porque es equivalente a un "término de superficie" evaluado en el infinito, donde las condiciones de contorno asumidas para los campos son tales que se anulan en el infinito. suficientemente rapido. No tengo ningún problema en seguir el procedimiento a partir de este punto. Mi problema es precisamente con el "término superficial".

Puedo elaborar la primera integral un poco más. Notando que la exponencial es constante para el operador diferencial entre paréntesis, y que también γ 0 y tu s son constantes para este operador, podemos escribir:

i d 3 X   ( X 1 2 X 2 1 ) ( Ψ ¯ ( X ) γ 0   mi i pag X 3 )   tu s ( pag )   | 0

¿Cómo pasar de esto a demostrar que esta integral es en realidad un término superficial y por lo tanto se anula?. ¿Tenemos que usar aquí algún tipo de teorema de Stokes?.

Probablemente sea una pregunta muy simple, pero estoy atascado en este punto. Simplemente no lo veo. Espero que alguien pueda ayudarme.

Respuestas (1)

El hecho de que su integral sea un término de superficie se debe al teorema de Stokes:

d 3 X   ( X 1 2 X 2 1 ) ( Ψ ¯ ( X ) γ 0   mi i pag X 3 ) = d 3 X   2 ( X 1 Ψ ¯ ( X ) γ 0   mi i pag X 3 ) ( 1 2 ) = d X 1 d X 3 ( d X 2 2 ( X 1 Ψ ¯ ( X ) γ 0   mi i pag X 3 ) ) ( 1 2 ) = d X 1 d X 3 ( X 1 Ψ ¯ ( X ) γ 0   mi i pag X 3 | X 2 = X 2 = ) ( 1 2 )
la notación ( 1 2 ) indica el mismo término nuevamente con todos los índices 1 y 2 intercambiados. Puede ver en este caso que el teorema de Stoke (o el teorema de la divergencia) simplemente se reduce al teorema fundamental del cálculo que usa para calcular el X 2 -integral.

Ahora, tienes que usar el (usual) argumento de que los campos que consideras (aquí Ψ ¯ ( X ) ) desaparecen en el infinito espacial, en particular en X 2 = ± . La razón de esta suposición se analiza, por ejemplo, aquí .