Definition

On a (M,g)(M,g), the scalar wave equation for a smooth real- or complex-valued field ϕ\phi is

gϕ=0,\Box_g\phi=0,

where g\Box_g is the . The inhomogeneous equation is gϕ=f\Box_g\phi=f for a prescribed source ff.

Flat-spacetime form

On , this convention gives

t2ϕj=1n1xj2ϕ=0.\partial_t^2\phi-\sum_{j=1}^{n-1}\partial_{x_j}^2\phi=0.

Plane waves eiωt+ikxe^{-i\omega t+i k\cdot x} solve the equation precisely when ω2=k2\omega^2=|k|^2, so their frequency covector is null.

Initial-value formulation

The wave equation is an initial-value problem rather than an elliptic boundary-value problem. The precise global existence, uniqueness, and finite-propagation statement is the .

Variants

For a field valued in a vector bundle, the scalar operator is replaced by a . Adding a mass term produces the . Nonlinear wave equations add terms depending nonlinearly on ϕ\phi or its derivatives and require separate well-posedness analysis.

References
  1. Christian Bär, Nicolas Ginoux, and Frank Pfäffle, Wave Equations on Lorentzian Manifolds and Quantization, European Mathematical Society, 2007. Publisher record. Relevant: Chapter 3.
  2. Lars Hörmander, Lectures on Nonlinear Hyperbolic Differential Equations, Springer, 1997. Publisher record. Relevant: Chapters 1–2.