advanced23 min studyLesson 42 in Physics

Classical fields, initial data, and waves

Derive the Klein–Gordon equation and distinguish phase velocity, group velocity, energy, and causal initial-value evolution.

On this page

What you’ll understand

  • Derive a field equation and its canonical energy from one action.
  • Read a relativistic dispersion relation without confusing phase velocity with signaling.
  • Explain what initial data and stability mean for a free field.

Before a field becomes an operator, it is a dynamical system with infinitely many coupled degrees of freedom. The free real scalar field is the simplest useful model: it has no spin indices, but already exposes locality, relativity, dispersion, and the role of initial conditions. We will use it as a controlled laboratory, not as a claim that every physical field is a scalar.

One sign convention, several consequences

Use ℏ=c=1\hbar=c=1, three spatial dimensions, and η=diag⁡(1,−1,−1,−1)\eta=\operatorname{diag}(1,-1,-1,-1). A real scalar transforms without an internal spacetime index. Its kinetic term is a time-derivative square minus spatial-gradient squares. A positive m2m^2 gives a restoring term. Keeping these signs together is essential: copying a formula from a mostly-plus convention without changing its partners can turn a stable oscillator into an apparent instability.

Vary the action and integrate by parts to obtain the Klein–Gordon equation. The canonical momentum is the time derivative of the field. A Legendre transform gives a Hamiltonian density built from three nonnegative terms when m2≥0m^2\geq0. This checks the physical interpretation of our signs. The field amplitude is not a single-particle probability wavefunction; its classical energy, rather than an integral of its squared magnitude, is the immediate conserved quantity here.

L=12(∂tϕ)2−12∣∇ϕ∣2−12m2ϕ2,(∂t2−∇2+m2)ϕ=0\mathcal L=\frac12(\partial_t\phi)^2-\frac12|\nabla\phi|^2-\frac12m^2\phi^2,\qquad (\partial_t^2-\nabla^2+m^2)\phi=0
The mass parameter is measured in inverse length or inverse time in natural units. This is the free real scalar equation in Minkowski spacetime.↔ Scroll wide equations horizontally.

Modes are oscillators labeled by momentum

Insert a plane wave e−iωt+ik⋅xe^{-i\omega t+i\mathbf k\cdot\mathbf x} into the equation. Spatial derivatives turn into momentum factors and leave an ordinary oscillator equation for each Fourier mode. The positive-frequency branch obeys ωk=k2+m2\omega_{\mathbf k}=\sqrt{\mathbf k^2+m^2}. Reality requires the negative-frequency part to be the complex conjugate of the positive-frequency part, so the two pieces cannot be independently assigned arbitrary classical amplitudes.

A narrow wave packet has a peak moving approximately at the group velocity dω/dkd\omega/dk. A crest moves at the phase velocity ω/k\omega/k, which exceeds one for a massive mode. That is not superluminal communication: an infinite sinusoid has no localized beginning or independently addressable message. Front propagation and the domain of dependence are determined by the hyperbolic differential equation, whose characteristic speed is one in our units.

ωk2=k2+m2,vph=ωkk,vg=dωkdk=kk2+m2≤1\omega_k^2=k^2+m^2,\qquad v_{\mathrm{ph}}=\frac{\omega_k}{k},\qquad v_g=\frac{d\omega_k}{dk}=\frac{k}{\sqrt{k^2+m^2}}\leq1
The one-dimensional derivatives describe a packet concentrated near positive wave number k. Group velocity describes a suitably narrow packet; arbitrary reshaping is more subtle.↔ Scroll wide equations horizontally.

Initial conditions are part of the prediction

A second-order time equation needs both ϕ(0,x)\phi(0,\mathbf x) and ϕ˙(0,x)\dot\phi(0,\mathbf x). Specifying only the initial shape leaves the direction and speed of its evolution undetermined. For appropriate regular initial data, the free equation evolves uniquely, and disturbances propagate within the light cone. Boundary conditions also matter in a box: periodic walls give discrete momenta, whereas reflecting conditions produce standing-wave bases with a different spectrum.

The energy density is H=12[ϕ˙2+∣∇ϕ∣2+m2ϕ2]\mathcal H=\tfrac12[\dot\phi^2+|\nabla\phi|^2+m^2\phi^2]. For a closed region with suitable boundaries, its integral stays constant. If a potential has negative curvature around the chosen background, long-wavelength perturbations may grow exponentially; that diagnoses an unstable background, not an ordinary particle outrunning light. Nonlinear terms can stabilize a different background, which is why one should inspect the expansion point before interpreting a mass parameter.

A massive wave packet

A narrow one-dimensional packet is centered at k=3k=3 with m=4m=4. Find its frequency, phase velocity, and group velocity, and interpret a travel distance of six length units.

  1. The dispersion relation gives ω=32+42=5\omega=\sqrt{3^2+4^2}=5. All quantities use the same natural-unit energy scale, so the velocity ratios are dimensionless.

  2. The phase velocity is 5/35/3, while the group velocity is 3/53/5. A labeled crest and the envelope peak therefore describe different geometrical features of the packet.

  3. Ignoring spreading for a sufficiently narrow packet over this interval, the envelope takes 6/(3/5)=106/(3/5)=10 time units. A causal front cannot arrive before six. Predicting the precise packet shape would require its full momentum distribution, not only its central momentum.

The result

The peak travels subluminally even though phase crests move faster than one. No signal velocity follows from the phase ratio alone.

Explore the model

Interactive lab

Interactive lab · oscillator

The spatially uniform scalar mode

Set damping ratio ζ to zero and vary the natural frequency ω₀. The unit-amplitude oscillator with zero initial velocity then matches the spatially uniform free scalar solution with m = ω₀. Pause and step to compare its changing kinetic and restoring contributions.

The spatially uniform scalar modeUnit mass, x(0) = 1 and v(0) = 0. The analytic solution includes underdamped, critically damped and overdamped cases; time is measured in seconds. Current readings: Displacement x(t): 1; Velocity v(t): 0; Regime: underdamped. All parameters are adjustable with the labeled controls below.02.557.510−1.15−0.5700.571.15Time · sDisplacementunderdamped
Displacement x(t)Current time
Displacement x(t)
1
Velocity v(t)
0
Regime
underdamped
t = 0 s

Unit mass, x(0) = 1 and v(0) = 0. The analytic solution includes underdamped, critically damped and overdamped cases; time is measured in seconds. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forOnly the undamped uniform-mode analogy matches the closed free scalar equation. Nonzero damping is a phenomenological extension; this lab does not simulate spatial packets, their dispersion, or their causal fronts.

Check your understanding

What extra information is needed after specifying a free scalar field’s initial shape?

Try it yourself

A spatially uniform field starts at ϕ(0)=a\phi(0)=a with ϕ˙(0)=0\dot\phi(0)=0, and m>0m>0. Solve its free evolution and check its energy density.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Spatial gradients vanish, leaving one harmonic oscillator.

Compare with the solution

The solution is ϕ(t)=acos⁡(mt)\phi(t)=a\cos(mt). Its kinetic density is m2a2sin⁡2(mt)/2m^2a^2\sin^2(mt)/2 and its potential density is m2a2cos⁡2(mt)/2m^2a^2\cos^2(mt)/2. Their sum is the constant m2a2/2m^2a^2/2. This is an energy density; the total energy in infinite space would diverge for a nonzero spatially uniform amplitude.

Take it with you

  • A free field becomes a set of oscillators after a Fourier transform.
  • Phase velocity, packet group velocity, and causal front speed answer different questions.
  • Initial data, boundaries, and the chosen background are required to interpret a field equation.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.