# Interpreting the Klein-Gordon Annihilation Operator Expression

I can derive $$a(k) = \int d^3 x e^{ik_{\mu} x^{\mu}} (\omega_{\vec{k}} \psi + i \pi)$$ for a free real scalar Klein-Gordon field in three ways mathematically: the usual Fourier transform way in Peskin/Srednicki, an awesome direct $$a = \frac{1}{2}(2a) = \dots$$ way (exercise!), and as a by-product of a clever way of mode-expanding the Hamiltonian, but I can't qualitatively tell you why $$a(k) = \int d^3 x e^{ik_{\mu} x^{\mu}} (\omega_{\vec{k}} \psi + i \pi)$$ should be the answer we'll get before doing any mathematical derivations. Good books, like Zee, will sometimes give two or three derivations of the same thing after all:

Thus, in chapter VI.1, instead of deriving Einstein’s field equation as a true Confucian scholar would, I try to get to it as quickly as possible by a method I dub “winging it southern California style.” Similarly, in chapter VI.2, I get to cosmology as quickly as possible.

Zee - Gravity, Intro.

How would you interpret $$a(k)$$, $$\psi$$ & $$\pi$$ in such a way so as to make the above expression, & similarly for the creation operator, in the real and complex case, obvious - without sweeping the problem under the rug by referring to the analogous expression for quantum harmonic oscillators which should also be explainable with such a description?

Attempt:

What I see so far is pretty interesting, it's not as elementary as I'd like but it's really nice nonetheless: There seems to be a deep link between the $$U(1)$$ phase invariance symmetry of the expected value of wave functions $$\langle g|f\rangle \rightarrow \langle g'|f' \rangle = \langle g|e^{-i\theta} e^{i\theta} |f\rangle = \langle g|f\rangle$$

and the fact that the Klein-Gordon action under a $$U(1)$$ Noether symmetry produces the Lorentz invariant conserved current $$j_{\mu} = \mathrm{i} (\psi^* \partial_{\mu} \psi - \psi \partial_{\mu} \psi^*)=\mathrm{i} \psi^* \overleftrightarrow{\partial_{\mu}} \psi$$ so that, with a hint of genius, we are somehow motivated to define $$\langle g|f\rangle$$ explicitly for functions satisfying Klein-Gordon via $$\langle g|f \rangle= \int_{\mathbb{R}^3} \mathrm{d}^3 \vec{x} \mathrm{i} g^* \overleftrightarrow{\partial_0} f$$ (seeing it in books before, it seemed like a trick with no reasoning) so that the projection of the wave function onto the $$k$$'th frequency gives the $$a(k)$$ coefficient.

Thus it seems that, for a function $$f$$ satisfying Klein-Gordon, since a wave of charge (time-component of current vector) $$-k_0$$ is represented by $$e^{-ik_{\mu} x^{\mu}}$$, the amount of $$f$$ of charge $$k$$ would be found by analyzing $$\langle e^{-i k_{\mu} x^{\mu}}|f\rangle = a(k).$$

This seems very haphazard, but indicative. Of course we need an inner product to define a Hilbert space but using this method to get it seems a bit out there, if cool.

Could anybody give an answer that a) completely wings it to explain $$a(k)$$ easily, then b) cleans up my attempt?

• Why do you think you "should" know the answer before computing it? Commented Jul 12, 2016 at 11:17
• I believe the whole concept of the question is not about knowing the answer a priori but about being able to interpret it. There is a suggestion in the question itself that I found very interesting since this definition of the "inner" product for the KG field troubled me to: from where do we conclude and why that it should be like this. Commented Jul 17, 2016 at 8:41
• Began by hoping just for a trick to remember the expression by understanding the terms, then it linked itself with the inner product and now the inner product is very important, kind of fascinating it popped out & why it was chosen, but also just remembering this expression in a vacuum matters too. This physicsoverflow.org/36703 has an interesting commutator delta function explanation I don't really understand but it's a step closer! Commented Jul 20, 2016 at 0:07
• How is the action invariant under U(1)? The form of the Lagrangian density changes under the transformation does it not? Commented Aug 17, 2017 at 19:23
• $a(k)$ and $a(k)^\dagger$ defined correspondingly satisfy their standard commutation relations as a consequence of the canonical commutation relations of $\psi$ and $\pi$.... Commented Nov 15, 2017 at 7:13

For a quantum harmonic oscillator the creation operator is something like $a = x + ip$ and these operators are coming from the potential and kinetic energy terms in the classical Hamiltonian. It makes sense that the energy created or annihilated of the quanta related to these energy terms. The connection to the Klein-Gordon operators is evident from the way QFT are contructed by assigning harmonic oscillators to each point in space.