3
$\begingroup$

I am trying to work through Peskin and Schröder and am a little stuck in Chapter 4 (section 4.2), when he first treats interacting fields. The subject is the quartic interaction in Klein-Gordon Theory. He claims that: "At any fixed time, we can of course expand the field (in the interacting theory) as before (in the free theory) in terms of ladder operators." I don't see why this should be possible in general. His argument for the ladder operators and the expansion in plane waves in the case of the free theory was that from the Klein-Gordon equation we get Fourier modes independently satisfying harmonic oscillator equations. However as far as I can see, once I add an interacting term I don't get these equations anymore. Thanks for your help.

$\endgroup$
2
$\begingroup$

You are always free to define $$ a_{\boldsymbol k}\equiv \int\mathrm d\boldsymbol x\ \mathrm e^{ikx}(\omega_{\boldsymbol k}\phi(x)+i\pi(x)) \tag{1} $$ where $\pi=\dot\phi(x)$. If you take the time derivative of this definition, you get $$ \dot a_{\boldsymbol k}= \int\mathrm d x\ \mathrm e^{ikx}(\partial^2+m^2)\phi(x) \tag{2} $$ which is non-zero for an interacting field. Therefore, $a=a(t)$, where $t$ is the time slice you chose in $(1)$; in other words, our definition of $a$ is not in general independent of the time slice, so $a$ depends parametrically on the value of $t$ at that slice.

Now, inverting the Fourier transform in $(1)$, you get $$ \phi(x)=\int\frac{\mathrm d\boldsymbol k}{(2\pi)^32\omega_{\boldsymbol k}}\ \mathrm e^{-ikx}a_{\boldsymbol k}(t)+\text{h.c.} $$ which is essentially P&S's statement. Note that, in general, this statemenet is mostly devoid of any practical meaning; its just a trivial consequence of the inversion theorem of the Fourier transform.

$\endgroup$
  • 1
    $\begingroup$ Thanks a lot. So as I understand it now, the ladder operators have changed. If I now want to impose the commutation relations on the ladder operators can I do it at all times simulatoneously. Or do I have to pick one time say t1, impose the commutation relations at t1 and than find the commutation relations at all other times by acting with the time evolution operator? $\endgroup$ – QuantumStudent Feb 7 '17 at 17:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.