18.01.2015 Views

Quantum Field Theory I

Quantum Field Theory I

Quantum Field Theory I

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

2.2. CANONICAL QUANTIZATION 67<br />

Quasilocalized states<br />

So far, the quantum field have played a role of merely an auxiliary quantity,<br />

appearingin the processofthe canonicalquantization. The creationand annihilation<br />

operators look more ”physical”, since they create or annihilate physically<br />

well defined states (of course, only to the extent to which we consider the states<br />

with the sharp momentum being well defined). Nevertheless the fields will appear<br />

again and again, so after a while one becomes so accustomed to them, that<br />

one tends to consider them to be quite natural objects. Here we want to stress<br />

that besides this psychological reason there is also a good physical reason why<br />

the quantum fields really deserve to be considered ”physical”.<br />

Let us consider the Fourier transform of the creation operator<br />

∫<br />

a + d 3 ∫<br />

p<br />

(x) =<br />

(2π) 3e−i⃗p.⃗x a + ⃗p (t) = d 3 p<br />

(2π) 3eipx a + ⃗p<br />

Actingonthevacuumstateoneobtainsa + (x)|0〉 = ∫ d 3 p<br />

e ipx √ 1 |⃗p〉, which<br />

(2π) 3 2ω−⃗p<br />

is thesuperposition(ofnormalizedmomentumeigenstates)correspondingtothe<br />

state of the particle localized at the point x. This would be a nice object to<br />

deal with, was there not for the unpleasant fact that it is not covariant. The<br />

state localized at the point x is in general not Lorentz transformed 21 to the<br />

state localized at the point Λx. Indeed<br />

∫<br />

a + (x)|0〉 →<br />

d 3 p 1<br />

(2π) 3 √ e ipx |Λp〉<br />

2ω⃗p<br />

andthis isingeneralnotequaltoa + (Λx)|0〉. Theproblemisthe non-invariance<br />

of d 3 p/ √ 2ω ⃗p . Were it invariant, the substitution p → Λ −1 p would do the job.<br />

Now let us consider ϕ(x)|0〉 = ∫ d 3 p 1<br />

(2π) 3 2E p<br />

e ipx |p〉 where E p = ω ⃗p = p 0<br />

∫<br />

ϕ(x)|0〉 →<br />

∫<br />

=<br />

d 3 ∫<br />

p 1<br />

(2π) 3 e ipx |Λp〉 p→Λ−1 p d 3 Λ −1 p 1<br />

=<br />

2E p (2π) 3 e ∣ i(Λ−1 p)x ΛΛ −1 p 〉<br />

2E Λ −1 p<br />

d 3 p<br />

(2π) 3 1<br />

2E p<br />

e i(Λ−1 p)(Λ −1 Λx) |p〉 =<br />

∫<br />

d 3 p 1<br />

(2π) 3 e ip(Λx) |p〉 = ϕ(Λx)|0〉<br />

2E p<br />

so this object is covariant in a well defined sense. On the other hand, the state<br />

ϕ(x)|0〉 is well localized, since<br />

∫<br />

〈0|a(x ′ d 3 p 1<br />

)ϕ(x)|0〉 = 〈0|<br />

(2π) 3 √ e ip(x−x′) |0〉<br />

2ω⃗p<br />

and this integral decreases rapidly for |⃗x−⃗x ′ | greater than the Compton wavelength<br />

of the particle /mc, i.e.1/m. (Exercise: convince yourself about this.<br />

Hint: use Mathematica or something similar.)<br />

Conclusion: ϕ(x)|0〉 is a reasonable relativistic generalization of a state of<br />

a localized particle. Together with the rest of the world, we will treat ϕ(x)|0〉<br />

as a handy compromise between covariance and localizability.<br />

21 We are trying to avoid the natural notation a + (x)|0〉 = |x〉 here, since the symbol |x〉 is<br />

reserved for a different quantity in Peskin-Schroeder. Anyway, we want to use it at least in<br />

this footnote, to stress that in this notation |x〉 ↛ |Λx〉 in spite of what intuition may suggest.<br />

This fact emphasizes a need for proof of the transformation |p〉 ↛ |Λp〉 which is intuitively<br />

equally ”clear”.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!