the d'Alembertian
/ dah-lahm-BEHR-see-an /
The Laplacian (the divergence of the gradient) is the natural second-derivative operator of static, space-only problems. When time joins space on an equal footing, its relativistic counterpart is the d'Alembertian — the Lorentz-invariant wave operator whose vanishing on a field is exactly the statement 'this field propagates as a wave at the speed of light'.
The d'Alembertian is the contraction of the four-gradient with itself: box = partial_mu partial^mu = (1/c^2) partial^2/partial t^2 - nabla^2 (signature +,-,-,-; some authors define it with the opposite overall sign). It is a Lorentz scalar operator — the same form in every inertial frame. The free wave equation is box phi = 0, i.e. (1/c^2) partial^2 phi/partial t^2 = nabla^2 phi, whose solutions travel at c. With a source it becomes box phi = (rho/epsilon_0)-type equations; adding a mass term gives the Klein-Gordon equation (box + (mc/hbar)^2) phi = 0.
The d'Alembertian is where wave physics and relativity meet. Maxwell's equations in Lorenz gauge collapse to box A^mu = mu_0 J^mu — each component of the four-potential obeys a sourced wave equation — making the electromagnetic wave and its speed c manifest. Its Green's function is the retarded potential, encoding that fields propagate outward on the light cone. Caveat: the sign convention follows the metric signature, so box appears as either (1/c^2) partial_t^2 - nabla^2 or nabla^2 - (1/c^2) partial_t^2 in different books; fix your signature first. The symbol is a 'box' precisely because it is the spacetime (4D) analog of the Laplacian.
Substituting a plane wave exp(i(k·x - omega t)) into box phi = 0 gives -(omega^2/c^2) + |k|^2 = 0, i.e. omega = c|k| — the light-cone/massless dispersion relation, all four-dimensionally consistent.
The d'Alembertian encodes the 'waves move at c' dispersion relation in one operator.
Do not confuse the d'Alembertian (which has the minus sign, hence hyperbolic, wave-like solutions on the light cone) with a 4D Laplacian (all plus signs, elliptic). The indefinite Minkowski signature is what makes it a wave operator rather than a smoothing operator.