Free Scalar Field Theory

This section will introduce the free scalar field theory, i.e. stage 1 mentioned in the sketch. Our main goal here is to derive the generating functional of the free scalar field.

First we need a vacuum state as the initial and final state — just like the start and end point in path integral of Quantum Mechanics. However, the vacuum is not so straight-forward in Quantum Field Theory. We hereby define the vacuum state \(|\Omega\rangle\) as the configuration of field with the lowest possible energy, which is the general starting point of the term vacuum.

Note

In canonical quantization, there is an annihilation operator \(a\) and thus the vacuum state can be defined as \(a|\Omega\rangle=0\). However, now we do not have any operators. Therefore, we define the state using the property it needs to satisfy.

Now, we express the probability of the free field from vacuum state to vacuum state in terms of path integral. The probability should be unity since there are no interactions. Therefore

\[W = \langle\Omega|\Omega\rangle = \mathcal{N}\int\mathcal{D}\varphi\exp\{-\frac{1}{2}\mathrm{i}\int\varphi(\partial^2\!\!-\!m^2)\varphi\} = 1\]

where we now know the normalization factor \(\mathcal{N}\). We hope that you still remember the Lagrangian for scalar field (If you don’t, go and review this). The scalar field is real here, and it won’t be miserable to generalize this into complex situation.

This formulation does not tell us anything except for a normalization factor, since it is trivial — from vacuum to vacuum with no interaction. Now, we want to add some interactions. To achieve this, we introduce an auxiliary potential \(J\) and the Lagrangian becomes

\[\mathcal{L} = -\varphi(\partial^2\!\!-\!m^2)\varphi + J\varphi\]

and the path integral becomes

\[W[J] = \langle\Omega|\Omega\rangle|_J = \mathcal{N}\int\mathcal{D}\varphi\exp\{-\frac{1}{2}\mathrm{i}\int\varphi(\partial^2\!\!-\!m^2)\varphi-2J\varphi\}\]

Now, we perform the path integral. As what we have done in Quantum Mechanics, expand the path integral according to the classical path. The classical path \(\varphi_0\) satisfies

\[(\partial^2\!\!-\!m^2)\varphi_0 = J,\ \ \text{i.e.}\ \ \varphi_0 = \int \Delta_F J\]

where \(\Delta_F\) is the Green’s function satisfying

\[(\partial^2\!\!-\!m^2)\Delta_F(x;x') = -\delta(x;x')\]

Warning

Please be very careful about the minus sign in the right hand side of the above equation!

Consequently, we perform translation \(\varphi\mapsto\varphi + \varphi_0\). In path integral, a definite path \(\varphi_0\) acts just like a constant (expand the path integral according to the definition and you will see why). A brief calculation will give

\[\begin{split}W[J] &= \exp\{-\frac{1}{2}\mathrm{i}\int J\Delta_F J\}\cdot \mathcal{N}\int\mathcal{D}\varphi\exp\{-\frac{1}{2}\mathrm{i}\int\varphi(\partial^2\!\!-\!m^2)\varphi\}\\ &= \exp\{-\frac{1}{2}\mathrm{i}\int J\Delta_F J\}\end{split}\]

Since this is the case of free field, we rewrite the conclusion as

\[W_0[J] = \exp\{-\frac{1}{2}\mathrm{i}\int J\Delta_F J\}\]

which is the desired result as it is in the sketch.

Note

In the following context, the generating functional is always assumed to be normalised, and we will neglect the normalization factor.