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
The question for today
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 , three spatial dimensions, and . A real scalar transforms without an internal spacetime index. Its kinetic term is a time-derivative square minus spatial-gradient squares. A positive 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 . 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.
Modes are oscillators labeled by momentum
Insert a plane wave into the equation. Spatial derivatives turn into momentum factors and leave an ordinary oscillator equation for each Fourier mode. The positive-frequency branch obeys . 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 . A crest moves at the phase velocity , 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.
Initial conditions are part of the prediction
A second-order time equation needs both and . 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 . 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.
Work it through
A massive wave packet
A narrow one-dimensional packet is centered at with . Find its frequency, phase velocity, and group velocity, and interpret a travel distance of six length units.
The dispersion relation gives . All quantities use the same natural-unit energy scale, so the velocity ratios are dimensionless.
The phase velocity is , while the group velocity is . A labeled crest and the envelope peak therefore describe different geometrical features of the packet.
Ignoring spreading for a sufficiently narrow packet over this interval, the envelope takes 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 peak travels subluminally even though phase crests move faster than one. No signal velocity follows from the phase ratio alone.
The living notebook
Explore the model
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.
- Displacement x(t)
- 1
- Velocity v(t)
- 0
- Regime
- underdamped
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.
Pause & reason
Check your understanding
Your turn
Try it yourself
A spatially uniform field starts at with , and . 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 . Its kinetic density is and its potential density is . Their sum is the constant . This is an energy density; the total energy in infinite space would diverge for a nonzero spatially uniform amplitude.
Keep the idea
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.