d'Alembert operator

In special relativity, electromagnetism and wave theory, the d'Alembert operator (denoted by a box: $◻$), also called the d'Alembertian, wave operator, box operator or sometimes quabla operator (cf. nabla symbol) is the Laplace operator of Minkowski space. The operator is named after French mathematician and physicist Jean le Rond d'Alembert.

In Minkowski space, in standard coordinates Template:Math, it has the form

$\begin{array}{cc}◻& ={\partial }^{\mu }{\partial }_{\mu }={\eta }^{\mu \nu }{\partial }_{\nu }{\partial }_{\mu }=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-\frac{{\partial }^2}{\partial x^2}-\frac{{\partial }^2}{\partial y^2}-\frac{{\partial }^2}{\partial z^2}\\ & =\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-{\mathrm{\nabla }}^2=\frac{1}{c^2}\frac{{\partial }^2}{\partial t^2}-\mathrm{\Delta }.\end{array}$

Here ${\mathrm{\nabla }}^2:=\mathrm{\Delta }$ is the 3-dimensional Laplacian and Template:Math is the inverse Minkowski metric with

${\eta }_{00}=1$, ${\eta }_{11}={\eta }_{22}={\eta }_{33}=-1$, ${\eta }_{\mu \nu }=0$ for $\mu \ne \nu$.

Note that the Template:Math and Template:Math summation indices range from 0 to 3: see Einstein notation.

(Some authors alternatively use the negative metric signature of Template:Nowrap, with ${\eta }_{00}=-1,{\eta }_{11}={\eta }_{22}={\eta }_{33}=1$.)

Lorentz transformations leave the Minkowski metric invariant, so the d'Alembertian yields a Lorentz scalar. The above coordinate expressions remain valid for the standard coordinates in every inertial frame.

The box symbol and alternate notations

There are a variety of notations for the d'Alembertian. The most common are the box symbol $◻$ (Unicode: Template:Unichar) whose four sides represent the four dimensions of space-time and the box-squared symbol ${◻}^2$ which emphasizes the scalar property through the squared term (much like the Laplacian). In keeping with the triangular notation for the Laplacian, sometimes ${\mathrm{\Delta }}_M$ is used.

Another way to write the d'Alembertian in flat standard coordinates is ${\partial }^2$. This notation is used extensively in quantum field theory, where partial derivatives are usually indexed, so the lack of an index with the squared partial derivative signals the presence of the d'Alembertian.

Sometimes the box symbol is used to represent the four-dimensional Levi-Civita covariant derivative. The symbol $\mathrm{\nabla }$ is then used to represent the space derivatives, but this is coordinate chart dependent.

Applications

The wave equation for small vibrations is of the form

${◻}_{c}u(x,t)\equiv u_{tt}-c^2{u}_{xx}=0,$

where Template:Math is the displacement.

The wave equation for the electromagnetic field in vacuum is

$◻A^{\mu }=0$

where Template:Math is the electromagnetic four-potential in Lorenz gauge.

The Klein–Gordon equation has the form

$(◻+\frac{m^2{c}^2}{{\hslash }^2})\psi =0.$

Green's function

The Green's function, $G(\tilde{x}-{\tilde{x}}^{\prime })$, for the d'Alembertian is defined by the equation

$◻G(\tilde{x}-{\tilde{x}}^{\prime })=\delta (\tilde{x}-{\tilde{x}}^{\prime })$

where $\delta (\tilde{x}-{\tilde{x}}^{\prime })$ is the multidimensional Dirac delta function and $\tilde{x}$ and ${\tilde{x}}^{\prime }$ are two points in Minkowski space.

A special solution is given by the retarded Green's function which corresponds to signal propagation only forward in time

$G(\overrightarrow{r},t)=\frac{1}{4\pi r}\mathrm{\Theta }(t)\delta (t-\frac{r}{c})$

where $\mathrm{\Theta }$ is the Heaviside step function.

See also

• Four-gradient
• d'Alembert's formula
• Klein–Gordon equation
• Relativistic heat conduction
• Ricci calculus
• Wave equation

External links

• Template:Springer
• Template:Cite wikisource, originally printed in Rendiconti del Circolo Matematico di Palermo.
• Template:MathWorld