Classical Field Theory and Lagrangian Density

The transition from describing particles to describing continuous fields marks a cornerstone of modern physics, underlying everything from electromagnetism to quantum field theory and general relativity. At the heart of this framework is the Lagrangian density, a powerful tool that extends the principles of classical mechanics to systems with infinite degrees of freedom. By applying the principle of least action to this density, we can systematically derive the dynamical equations that govern how fields evolve and interact in space and time.

From Particles to Fields: The Continuum Limit

In discrete particle mechanics, a system is described by generalized coordinates $q_i(t)$. Its dynamics are determined by a Lagrangian $L(q_i,{\dot{q}}_i,t)$, which is the difference between kinetic and potential energy. The action is the time integral of this Lagrangian: $S=\int Ldt$. To describe a continuous field—like the temperature in a room or the electromagnetic potential throughout space—we must generalize this idea. The field $\varphi (\mathbf{x},t)$ is a function defined at every point in spacetime, representing an infinite number of degrees of freedom.

The key step is to replace the discrete index $i$ with the continuous spatial coordinate $\mathbf{x}$. Instead of a Lagrangian, we define a Lagrangian density $\mathcal{L}$. This density is a function of the field, its first derivatives, and possibly spacetime coordinates: $\mathcal{L}(\varphi ,{\partial }_{\mu }\varphi ,x^{\mu })$. The action $S$ is then the integral of this density over all spacetime: $$S=\int \mathcal{L}(\varphi ,{\partial }_{\mu }\varphi ,x^{\mu })d^{4}x,$$ where $d^{4}x=dtdxdydz$. The Lagrangian density contains all the information about the field's dynamics, encoding its "kinetic" terms (involving derivatives) and interaction potentials in a local manner.

The Action Principle and Field Equations

The fundamental postulate of field theory is that the physical field configuration is the one that makes the action $S$ stationary (usually a minimum) under small variations. This is the principle of least action. We consider a small variation of the field, $\varphi (x)\to \varphi (x)+\delta \varphi (x)$, which vanishes at the boundaries of the integration region. The change in action is: $$\delta S=\int \left[\frac{\partial \mathcal{L}}{\partial \varphi }\delta \varphi +\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}\delta ({\partial }_{\mu }\varphi )\right]d^{4}x.$$ Since $\delta ({\partial }_{\mu }\varphi )={\partial }_{\mu }(\delta \varphi )$, we can integrate the second term by parts. After applying the divergence theorem and noting the boundary terms vanish, we obtain the condition for a stationary action: $$\delta S=\int \left[\frac{\partial \mathcal{L}}{\partial \varphi }-{\partial }_{\mu }\left(\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}\right)\right]\delta \varphi d^{4}x=0.$$

Because the variation $\delta \varphi$ is arbitrary, the integrand itself must be zero everywhere. This yields the Euler-Lagrange equation for a field: $$\frac{\partial \mathcal{L}}{\partial \varphi }-{\partial }_{\mu }\left(\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}\right)=0.$$ This is the fundamental equation of motion for the field $\varphi$, analogous to Newton's second law for particles. For fields with multiple components, you get one such equation for each independent field.

Symmetries and Conservation Laws: Noether's Theorem

A profound consequence of the Lagrangian formulation is Noether's theorem for fields, which states that every continuous symmetry of the action implies a conserved quantity. A symmetry means the action $S$ is invariant under a specific transformation of the fields and coordinates. The transformations can be internal (changing the field itself) or spacetime (changing the coordinates).

Consider an infinitesimal transformation of the form $x^{\mu }\to x^{\prime \mu }=x^{\mu }+\delta x^{\mu }$ and $\varphi (x)\to {\varphi }^{\prime }(x^{\prime })=\varphi (x)+\Delta \varphi (x)$. Noether's theorem provides a systematic way to derive the conserved current $j^{\mu }$ associated with this symmetry. The derivation shows that if the Lagrangian density changes by a total divergence, $\delta \mathcal{L}={\partial }_{\mu }{F}^{\mu }$, then there exists a conserved current: $$j^{\mu }=\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}\Delta \varphi -\left(\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}{\partial }_{\nu }\varphi -{\delta }_{\nu }^{\mu }\mathcal{L}\right)\delta x^{\nu }-F^{\mu }.$$ The conservation law is expressed as ${\partial }_{\mu }{j}^{\mu }=0$. The spatial integral of the time-component $j^0$ gives a conserved charge $Q=\int j^0{d}^{3}x$, with $\frac{dQ}{dt}=0$.

The Energy-Momentum Tensor

One of the most important applications of Noether's theorem is for spacetime translation symmetry. If the laws of physics are the same everywhere (spatial translations) and every when (time translations), the action is invariant under $x^{\mu }\to x^{\mu }+a^{\mu }$, where $a^{\mu }$ is a constant four-vector. This symmetry leads to the conservation of energy and momentum.

The conserved current in this case is a tensor, the canonical energy-momentum tensor $T_{\nu }^{\mu }$. It is defined (up to potential improvements) as: $$T_{\nu }^{\mu }=\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}{\partial }_{\nu }\varphi -{\delta }_{\nu }^{\mu }\mathcal{L}.$$ The conservation law is ${\partial }_{\mu }{T}^{\mu \nu }=0$. The component $T^{00}$ is the energy density, $T^{0i}$ is the momentum density, and their spatial integrals give the conserved total energy and momentum of the field configuration. This tensor is fundamental for coupling fields to gravity in general relativity, though the symmetric, gauge-invariant stress-energy tensor is often the physically relevant quantity.

Applications: Scalar Fields and Electromagnetism

The power of this formalism becomes clear through concrete examples. For a real scalar field $\varphi$, the simplest Lagrangian density is that of the Klein-Gordon field: $$\mathcal{L}=\frac{1}{2}({\partial }_{\mu }\varphi )({\partial }^{\mu }\varphi )-\frac{1}{2}{m}^2{\varphi }^2.$$ The first term is the "kinetic" part, and the second is the "potential" or mass term. Applying the Euler-Lagrange equation yields the Klein-Gordon equation: ${\partial }_{\mu }{\partial }^{\mu }\varphi +m^2\varphi =0$, or $(\square +m^2)\varphi =0$.

For electromagnetism, the field is the four-potential $A_{\mu }=(\varphi ,\mathbf{A})$. The Lagrangian density is built from the field strength tensor $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$: $${\mathcal{L}}_{\text{EM}}=-\frac{1}{4}{F}_{\mu \nu }{F}^{\mu \nu }.$$ This density is gauge-invariant and Lorentz invariant. Applying the Euler-Lagrange equations with respect to $A_{\nu }$ gives two of Maxwell's equations in covariant form: ${\partial }_{\mu }{F}^{\mu \nu }=0$. The other two Maxwell equations (${\partial }_{\alpha }{F}_{\beta \gamma }+{\partial }_{\beta }{F}_{\gamma \alpha }+{\partial }_{\gamma }{F}_{\alpha \beta }=0$) are automatically satisfied by the definition of $F_{\mu \nu }$ in terms of the potential. The energy-momentum tensor for the electromagnetic field, derived from this $\mathcal{L}$, correctly describes the density and flow of electromagnetic energy and momentum.

Common Pitfalls

1. Confusing total and partial derivatives. In the Euler-Lagrange equation, ${\partial }_{\mu }$ is a partial derivative acting only on the explicit spacetime dependence. The term $\partial \mathcal{L}/\partial \varphi$ is a functional derivative holding ${\partial }_{\mu }\varphi$ fixed, not a total derivative. Mistaking these can lead to incorrect equations of motion.

• Correction: Always treat $\varphi$ and ${\partial }_{\mu }\varphi$ as independent variables when taking the partial derivatives in $\frac{\partial \mathcal{L}}{\partial \varphi }$ and $\frac{\partial \mathcal{L}}{\partial ({\partial }_{\mu }\varphi )}$.

1. Neglecting boundary terms in Noether's derivation. The conservation law ${\partial }_{\mu }{j}^{\mu }=0$ only holds if the boundary terms from the variation and the integration by parts vanish. In infinite space with fields decaying at infinity, this is safe. For finite volumes or specific boundary conditions, these terms must be examined carefully.

• Correction: Always state your boundary conditions explicitly. The global conservation of charge $Q$ requires the flux of the spatial current $\mathbf{j}$ through the boundary to be zero.

1. Misidentifying the physical energy-momentum tensor. The canonical tensor $T^{\mu \nu }$ derived directly from Noether's theorem for translations is not always symmetric or gauge-invariant (e.g., in electromagnetism). The physically measurable tensor that couples to gravity is the symmetric, Belinfante-Rosenfeld stress-energy tensor.

• Correction: Understand that the canonical tensor is the starting point. For physical interpretation, especially in general relativity, you often need to symmetrize it or derive it from varying the action with respect to the metric.

Summary

• The Lagrangian density $\mathcal{L}$ is the fundamental object in classical field theory, with the action $S$ being its integral over spacetime.
• The principle of least action, applied to field variations, leads directly to the Euler-Lagrange field equations, which govern the dynamics of the field.
• Noether's theorem establishes a direct link between continuous symmetries of the action and conserved currents, with ${\partial }_{\mu }{j}^{\mu }=0$ leading to a time-independent charge $Q$.
• Spacetime translation symmetry yields the conserved energy-momentum tensor $T^{\mu \nu }$, which encodes the density and flux of energy and momentum for the field.
• This formalism elegantly describes both scalar fields (via the Klein-Gordon Lagrangian) and electromagnetism (via the Maxwell Lagrangian), producing their respective field equations from a unified variational principle.