My Professor in QFT did a move which I cannot follow:
Given the state ˆϕ|0⟩=∫d3p(2π)32Epa†pe−ipμxμ|0⟩, he wanted to show that this state is an eigenstate of the position operator. Therefore he applied the position operator in the momentum representation which is ˆXμ=i∂∂pμ.
Then a miracle for me appears as he interchanges the derivative and the integral hat hence gets ˆXμˆϕ|0⟩=ˆXμ∫d3p(2π)32Epa†pe−ipμxμ=i∂∂pμ∫d3p(2π)32Epa†pe−ipμxμ=xμˆϕ|0⟩.
I cannot see why he is allowed to interchange the integral and the derivative.
Answer
Here is the answer (I will not consider the constants on the denominator of your Fourier transform for simplicity, however they are there ;-) ). When you write the operator ˆϕ you have to be careful. I will drop the hats, because it will be clearer I think (maybe here the hat stands for an operator and not for the fourier transform). Your operator is not in the momentum representation, since you have the integration over p. That operator depends on x, and can be written as ϕ(x).
Denote the fourier transform by F. It is a unitary transformation on L2, so when acting on an operator A of that space it is often written as FAF−1. Because, by unitarity, ⟨ψ1,Aψ2⟩=⟨Fψ1,FAψ2⟩=⟨Fψ1,(FAF−1)Fψ2⟩. Thus the correct writing is that the position operator in the fourier transform representation is the derivative w.r.t. p: FXμF−1=+i∂/∂pμ. In the same spirit, your operator ϕ(x) becomes in the Fourier transform, and acting on the vacuum (to follow your notation, the momentum vacuum |0⟩=F|0x⟩, while |0x⟩ is the position vacuum): Fϕ(x)|0x⟩=a†p|0⟩. Therefore: Xμϕ(x)|0x⟩=F−1(FXμF−1)(Fϕ(x)F−1)|0⟩=iF−1∂∂pμa†p|0⟩=i∫dpeipνxν∂∂pμa†p|0⟩. Now if you "integrate by parts" on the last term (in the sense of distributions) you get: Xμϕ(x)|0x⟩=−i∫dp(∂∂pμeipνxν)a†p|0⟩=xμϕ(x)|0x⟩.
No comments:
Post a Comment