# The Lagrangian in Scalar Field Theory

This is perhaps a naive question, but why do we write down the Lagrangian

$$\mathcal{L}=\frac{1}{2}\eta^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi - \frac{1}{2}m^2\phi^2$$

as the simplest Lagrangian for a real scalar field? This is by no means obvious to me! After all it gives rise to a kinetic energy term (fine), some specific unmotivated potential energy (less fine) and a gradient energy (even less obvious).

Is there some principle by which we know to study this Lagrangian? Is it just that $\mathcal{L}$ gives rise to a nice equation (the Klein-Gordon equation), which we can interpret in an appealing way? This reason seems somehow hollow!

I've heard people mention causality as a motivation, but I can't see how that ties in. Could someone provide me with some intuition?

-

The standard motivation, as QuantumDot explained, is to reproduce the energy momentum relation of relativity from the scalar field. But there is an independent argument for this which comes from statistical mechanics.

Consider a statistical mechanical partition function for a field defined on a very fine lattice. In general, the equilibrium will only allow local fluctuations, so that the field will have a probability distribution at any lattice point which is locally independent of the fluctuations at any other distant lattice point. In this case, you can look at the lattice on coarse distance scales, and define an average field $\phi$ over many lattice spacing,s and write the partition function as a product of independent partition functions at each point of the coarse lattice:

$$Z = \prod \int e^{V(\phi)} d\phi$$

And since the coarse lattice field is the average of the fine lattice field, you know from the central limit theorem that the distribution will be Gaussian:

$$Z = \int e^{\int {1\over 2}m^2 \phi^2} D\phi$$

The last line is a path integral, a partition-function-like sum over all cofigurations, and the identity that guarantees that it reproduces independent local fluctuations is just the same thing that tells you that two independent systems have a partition function that multiplies (or a free energy which adds up).

This sort of thing is very boring, and it is the typical situation in statistical or quantum fields--- totally local independent fluctuations, what is often called an ultra-local field. This is not something which we would observe as a dynamical thing, since we live at scales much bigger than any graininess scale.

So consider what would happen if we tune the fluctuations to be large. This requires fine-tuning the effective Gaussian fluctuation parameter $m^2$ to 0. This is not particularly hard to imagine, because you use the central limit theorem to get the $m^2$ behavior--- you can imagine that the microscopic potential is really of the form $m^2 \phi^2 + \lambda\phi^4$, and then if you fine tune the $m^2$ to be a special value, you will change the stability of the $\phi=0$ point. This is a critical point in statistical mechanics.

Now if you look at long distances, you expect that the free energy of field configurations on a coarse grained lattice should go like:

$$\int F(\nabla\phi, \phi)$$

Where you expand out only the most important derivative terms. If you write it as a series, assuming $\phi\rightarrow -\phi$ symmetry:

$$\int |\nabla \phi |^2 + t \phi^2 + \lambda \phi^4 + g \phi^6 + h |\nabla^2\phi|^2$$

Then you can convince yourself that under rescaling, keeping the coefficient of the first term fixed, only the first 3 terms matter in dimension 4 or less. This is saying that if you normalize the field fluctuations so that the leading derivative correlation coefficient determines the scale of the field, only the quadratic and quartic term are renormalizable, only these contribute to long-distance correlations.

The Feynman path integral justifies why this sort of reasoning has anything to do with quantum mechanics. Any bosonic field theory with a time-reversal invariant action analytically continues to a statistical field, and this statistical field is a long-wavelength limit of some short-distance thing. The classification of the possible theories is then by the generalization of the central limit theorem that tells you that the ultralocal field is the most common case.

For chiral fermions and gauge fields, you don't even need fine-tuning of a parameter to have a fluctuating limit. The gauge fields keep a fluctuating limit by gauge invariance, and the chiral fermions by the fact that they can't make a mass without pairing up. These are the ingredients of the standard model.

The justification for the Lagrangians in field theory ultimately come from renormalizability, but this is difficult because a rigorous theory is lacking. One can justify them also by asking for a theory where you have a finite number of fundamental particles of given spin and mass, which for spin 0 reproduces the non-interacting ($\lambda=0$) version of this argument. This is a somewhat complementary argument because unitrarity imposes stronger constraints on the form of the quantum Lagrangian than just being renormalizable, so it is good to know both chains of reasoning.

-

This is the canonical example of a relativistic field theory used to introduce the subject to students. One of the features to take away from this model is follows: Write down the Euler-Lagrange equation of motion

$$\frac{\partial\mathcal{L}}{\partial\phi}-\partial_\mu\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}=0$$ giving $$-m^2\phi-\partial_\mu\partial^\mu\phi=0$$ which can be written: $$\big(\frac{\partial^2}{\partial t^2}-\nabla^2+m^2\big)\phi=0$$ Now, if you move to Fourier space, $\phi\sim\int(dk)\,\phi_k\,e^{i\omega t-i\vec{k}.\vec{x}}+c.c.$, you will find $$\int(dk)(-\omega^2+\vec k^2+m^2)\,\phi_ke^{i\omega t-i\vec{k}.\vec{x}}+c.c.=0,$$ or equivalently, each mode satisfies the following relation between the frequency and wavenumber: $$\omega^2=\vec k^2+m^2.$$ Upon the identification of the frequency with energy $\omega\rightarrow E$ and wavenumber with momentum $\vec k\rightarrow \vec p$, you find that each mode satisfies the relativistic kinematic energy momentum relationship: $$E^2=\vec p^2+m^2.$$ This is the starting point for the construction of a relativistic theory of quantum fields.

-