Derivación de (2.45) en Peskin y Schroeder

Tengo problemas para entender el paso.

[ π ( X , t ) , d 3 y   ( 1 2 π ( y , t ) 2 + 1 2 ϕ ( y , t ) ( 2 + metro 2 ) ϕ ( y , t ) ) ]
= d 3 y   ( i d ( 3 ) ( X y ) ( 2 + metro 2 ) ϕ ( y , t ) )

He intentado usar las relaciones

[ ϕ ( X , t ) , π ( y , t ) ] = i d ( 3 ) ( X y )
y
[ A , B C ] = [ A , B ] C + B [ A , C ] ,
pero tropezar
[ π ( X , t ) , ( 2 + metro 2 ) ϕ ( y , t ) ] ,
que no sé cómo evaluar.

Cualquier ayuda sería apreciada.

Sí, y ya que estás en eso, sería útil un título más descriptivo.
Me parece que se sigue directamente de las relaciones de conmutación de tiempo igual para ϕ y π
¿Has intentado ir al espacio de Fourier (que elimina estos derivados desagradables;))?
Operador de Nabla con un término de masa que puede tratarse como un operador L que actúa solo sobre las coordenadas y y no actúa sobre las coordenadas x. Por lo tanto, conmuta con cualquier función de (x, t), es decir, puede sacar el operador del conmutador. Piensa en esto como derivadas parciales que actúan sobre la función a de (x,y,t).

Respuestas (2)

Esto es realmente sencillo, una vez que te acostumbras a la notación. (¿No odias cuando la gente dice eso?)

[ π ( X , t ) , ( 2 + metro 2 ) ϕ ( y , t ) ] ,

Aquí debes recordar que 2 actúa sobre el ϕ ( y , t ) sólo así π puede pasar directamente a través de este operador de onda. Ahora, cuando evalúes el conmutador, terminarás con algo como ϕ ( y , t ) ( 2 + metro 2 ) d ( 3 ) ( X y ) , después de lo cual usa "autoadjunto" de 2 (realmente, integración por partes), para hacer que el operador de onda actúe en el primer ϕ . Es posible que deba volver a etiquetar las variables después.

i t π = [ π , d 3 X 1 2 π 2 + 1 2 ϕ ( ) ϕ ]
= [ π , d 3 X 1 2 ϕ ( ) ϕ ]
= 1 2 d 3 X [ π , ϕ ( ) ϕ ]
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + ϕ [ π , ( ) ϕ ]
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + ϕ [ π , ( ) ] ϕ + ϕ ( ) [ π , ϕ ]
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + { ϕ π ( ) ϕ ϕ ( ) π ϕ + ϕ ( ) π ϕ ϕ ( ) ϕ π }
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + { ϕ π ( ) ϕ ϕ ( ) ϕ π }
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + { π ϕ ( ) ϕ ϕ π ( ) ϕ }
= 1 2 d 3 X [ π , ϕ ] ( ) ϕ + [ π , ϕ ] ( ) ϕ
= d 3 X [ π , ϕ ] ( ) ϕ
= d 3 X [ ϕ , π ] ( ) ϕ
= d 3 X i d ( ) ϕ
= i ( ) ϕ
No estoy seguro acerca de la parte central, pero he usado algunas propiedades: (2.44), (2.20), (2.30) y, por supuesto, la identidad del conmutador. Pero no creo que esa sea la forma correcta de probar esto. (Yo también estoy luchando)