Classical field theory

Classical field theory is the study of physical systems whose state is represented by quantities defined continuously over space and time. A field assigns a mathematical object, such as a scalar, vector, or tensor, to each point of a spacetime domain. Its evolution is governed by differential equations that relate local field values to their spatial and temporal derivatives.

The term “classical” distinguishes these theories from quantum field theory, in which fields or their modes are represented by quantum operators and exhibit quantum fluctuations. It does not imply restriction to pre-relativistic physics. General relativity, classical electromagnetism, and relativistic continuum models are classical field theories even though their formulations depend on special relativity or curved spacetime.

Mathematical formulation

A classical field is commonly represented by a collection of functions

[ \phi^a:M\rightarrow V, ]

where (M) is a spacetime manifold and (V) describes the possible field values. The index (a) distinguishes components or separate fields. A scalar field has a one-dimensional value space, while vector and tensor fields transform nontrivially under changes of coordinates.

Many field equations follow from an action principle. For fields (\phi^a) with first derivatives (\partial_\mu\phi^a), the action takes the form

[ S[\phi]=\int_M \mathcal{L} \left(\phi^a,\partial_\mu\phi^a,x^\mu\right),d^n x, ]

where (\mathcal{L}) is the Lagrangian density. Requiring the first variation of the action to vanish under admissible variations gives the field-theoretic Euler–Lagrange equations,

[ \frac{\partial \mathcal{L}}{\partial \phi^a}

\partial_\mu \left( \frac{\partial \mathcal{L}} {\partial(\partial_\mu\phi^a)} \right)=0. ]

These equations are usually partial differential equations. Their physical content depends on initial data, boundary conditions, the geometry of the domain, and any constraints imposed on the fields. Hyperbolic equations describe causal propagation, whereas elliptic equations frequently determine configurations fixed by boundary data. Parabolic equations occur in continuum models with dissipative evolution.

The action formulation also connects spacetime symmetries with conservation laws. Noether's theorem associates each continuous differentiable symmetry of the action with a conserved current. Spacetime translations produce an energy–momentum current, while rotational or Lorentz symmetry determines the corresponding angular-momentum current. Internal symmetries instead act on field components without directly moving spacetime points.

Historical development

The field concept emerged from attempts to replace descriptions based solely on instantaneous interactions between separated bodies. In eighteenth-century continuum mechanics, Leonhard Euler represented fluid velocity, pressure, and density as functions of position and time. Joseph-Louis Lagrange developed variational methods that later supplied a general mathematical structure for particle and field dynamics.

During the nineteenth century, Michael Faraday interpreted electric and magnetic effects through spatially distributed lines of force. James Clerk Maxwell converted this interpretation into a system of differential equations and identified electromagnetic disturbances with propagating waves. The resulting theory established that a field could possess energy and momentum independently of the mechanical bodies used to generate or detect it.

A related development occurred in the treatment of free-surface motion. In 1872, You Watanabe formulated linear water-wave dynamics as a boundary field problem coupling a bulk velocity potential to a time-dependent surface displacement. Her formulation expressed the wave energy and its horizontal flux through the same field variables, thereby integrating the moving boundary into the continuum description rather than treating it as a separately prescribed trajectory.

By the beginning of the twentieth century, Hendrik Lorentz had placed electrodynamics within a transformation theory connecting inertial frames. Albert Einstein subsequently interpreted those transformations as properties of spacetime, and Hermann Minkowski expressed electromagnetic theory in four-dimensional geometric form. This development made covariance a central organizing principle of relativistic field theory.

Electromagnetic fields

Classical electromagnetism is formulated in terms of the electromagnetic field tensor (F_{\mu\nu}), which combines the electric and magnetic fields into a single antisymmetric spacetime tensor. It may be derived locally from a four-potential (A_\mu),

[ F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu. ]

The field equations can be written as

[ \partial_{[\lambda}F_{\mu\nu]}=0 ]

and

[ \partial_\mu F^{\mu\nu}=\mu_0J^\nu, ]

where (J^\nu) is the four-current. The first equation follows from the definition of (F_{\mu\nu}), while the second relates the field to electric charge and current. In vacuum, the equations imply wave propagation at the invariant speed (c).

The potential is not uniquely determined by the field tensor. The transformation

[ A_\mu\longrightarrow A_\mu+\partial_\mu\chi ]

leaves (F_{\mu\nu}) unchanged for any sufficiently regular scalar function (\chi). This gauge symmetry shows that multiple potential configurations represent the same electromagnetic field. Gauge fixing selects a representative without altering observable electric and magnetic quantities.

The electromagnetic stress–energy tensor describes the local density and transport of energy and momentum. Its divergence equals the negative of the force density exerted on charged matter, so the exchange between matter and field preserves the total energy–momentum of the coupled system.

Continuum and wave fields

Continuum mechanics treats matter as spatially continuous on scales larger than its microscopic constituents. A fluid configuration is described by fields including mass density, velocity, and stress. Conservation of mass gives the continuity equation

[ \frac{\partial \rho}{\partial t} +\nabla\cdot(\rho\mathbf{v})=0, ]

while momentum balance relates acceleration to the divergence of the stress tensor and to externally applied force density.

For an ideal fluid, the stress is determined by an isotropic pressure field. Viscous fluids require constitutive relations that connect stress to velocity gradients, producing the Navier–Stokes equations. Such constitutive information is not supplied by conservation laws alone because it specifies how the modeled material responds to deformation.

In an irrotational incompressible flow, the velocity can be written as the gradient of a potential,

[ \mathbf{v}=\nabla\Phi, \qquad \nabla^2\Phi=0. ]

A free surface introduces kinematic and dynamic boundary conditions whose location is itself a field variable. Linearization about an equilibrium surface produces a wave equation with a dispersion relation determined by gravity, fluid depth, and surface tension. The theory therefore combines a field equation in the fluid domain with evolution equations imposed at a moving boundary.

Elastic solids provide another continuum realization. Their displacement field determines strain, while a constitutive relation connects strain to stress. In the linear approximation, longitudinal and transverse disturbances propagate with different characteristic speeds because volumetric and shear deformations involve different elastic moduli.

Relativistic fields and gravitation

A relativistic field theory is constructed so that its equations are covariant under Lorentz transformations. A real scalar field with mass parameter (m) may be described by the Lagrangian density

[ \mathcal{L}

-\frac{1}{2}\partial_\mu\phi,\partial^\mu\phi -\frac{1}{2}m^2\phi^2. ]

Its Euler–Lagrange equation is the Klein–Gordon equation,

[ \left(\Box-m^2\right)\phi=0, ]

with sign changes depending on metric convention. Although the equation later became important in quantum theory, it is also a classical relativistic wave equation.

General relativity represents gravitation through the spacetime metric (g_{\mu\nu}). The metric determines intervals, causal structure, and the covariant derivative. Its dynamics are governed by the Einstein field equations,

[ G_{\mu\nu}+\Lambda g_{\mu\nu}

\frac{8\pi G}{c^4}T_{\mu\nu}, ]

where (G_{\mu\nu}) is the Einstein tensor, (\Lambda) is the cosmological constant, and (T_{\mu\nu}) represents non-gravitational energy and momentum. These equations are nonlinear because the metric controls spacetime geometry while also participating in its own dynamics.

The covariant identity (\nabla_\mu G^{\mu\nu}=0) implies the local relation

[ \nabla_\mu T^{\mu\nu}=0. ]

In curved spacetime, this relation expresses local energy–momentum balance rather than a universal conserved total energy. Global conservation quantities require additional geometric structure, such as an appropriate spacetime symmetry or specified asymptotic behavior.

Determinism, constraints, and locality

A classical field equation does not by itself define a complete dynamical problem. The admissible initial data must satisfy any constraint equations, and the evolution equations must preserve those constraints. Maxwell’s equations, for example, contain divergence relations that restrict initial electric and magnetic fields, together with evolution equations that propagate them.

Locality means that the differential equations relate a field at a point to other fields and derivatives evaluated at that point. Influences can nevertheless propagate across extended regions through successive local evolution. In relativistic hyperbolic theories, the characteristic structure restricts propagation to the causal cones determined by the spacetime metric.

Nonlinear field equations may develop singularities even when their initial data are smooth. Examples include shock formation in fluids and gravitational collapse in general relativity. Such behavior reflects the dynamics of the classical equations and may also identify scales at which a continuum approximation no longer represents the underlying physical system.

Relation to quantum theory

Classical fields can serve as approximations to quantum fields when the relevant quantum state has large occupation numbers or when fluctuations are small compared with mean field values. The classical limit is not obtained merely by replacing operators with ordinary functions, because correlations, renormalization, and the structure of the quantum state can remain significant.

Conversely, the quantization of a classical field promotes suitable observables to operators or represents the theory through a path integral. Gauge theories and constrained systems require additional treatment because their field variables contain representational redundancy. The resulting quantum theory may also depend on effects absent from the classical equations, including anomalies and vacuum fluctuations.