Laplace operator

 ( Differential Operators ) 

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a Scalar field on Euclidean space. It is usually denoted by the symbols $\backslash nabla\backslash cdot\backslash nabla$, $\backslash nabla^2$ (where $\backslash nabla$ is the Del), or $\backslash Delta$. In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian of a function at a point measures by how much the average value of over small spheres or balls centered at deviates from .

The Laplace operator is named after the French mathematician Pierre-Simon de Laplace (1749–1827), who first applied the operator to the study of celestial mechanics: the Laplacian of the gravitational potential due to a given mass density distribution is a constant multiple of that density distribution. Solutions of Laplace's equation are called harmonic functions and represent the possible gravitational potentials in regions of vacuum.

The Laplacian occurs in many differential equations describing physical phenomena. Poisson's equation describes electric and gravitational potentials; the diffusion equation describes heat equation and fluid mechanics; the wave equation describes wave equation; and the Schrödinger equation describes the wave function in quantum mechanics. In image processing and computer vision, the Laplacian operator has been used for various tasks, such as blob detection and edge detection. The Laplacian is the simplest elliptic operator and is at the core of Hodge theory as well as the results of de Rham cohomology.

---

Definition The Laplace operator is a second-order differential operator in the n-dimensional Euclidean space, defined as the divergence ($\backslash nabla\; \backslash cdot$) of the gradient ($\backslash nabla\; f$). Thus if $f$ is a derivative real-valued function, then the Laplacian of $f$ is the real-valued function defined by:

where the latter notations derive from formally writing: $$\backslash nabla\; =\; \backslash left\; (\; \backslash frac\{\backslash partial\; \}\{\backslash partial\; x\_1\}\; ,\; \backslash ldots\; ,\; \backslash frac\{\backslash partial\; \}\{\backslash partial\; x\_n\}\; \backslash right\; ).$$ Explicitly, the Laplacian of is thus the sum of all the unmixed second partial derivatives in the Cartesian coordinates :

As a second-order differential operator, the Laplace operator maps functions to functions for . It is a linear operator , or more generally, an operator for any open set .

Alternatively, the Laplace operator can be defined as:

$$\backslash nabla^2\; f(\backslash vec\{x\})\; =\; \backslash lim\_\{R\; \backslash rightarrow\; 0\}\; \backslash frac\{2n\}\{R^2\}\; (f\_\{shell\_R\}\; -\; f(\backslash vec\{x\}))\; =\; \backslash lim\_\{R\; \backslash rightarrow\; 0\}\; \backslash frac\{2n\}\{A\_\{n-1\}\; R^\{1+n\}\}\; \backslash int\_\{shell\_R\}\; f(\backslash vec\{r\})\; -\; f(\backslash vec\{x\})\; d\; r^\{n-1\}$$

where $n$ is the dimension of the space, $f\_\{shell\_R\}$ is the average value of $f$ on the surface of an n-sphere of radius $R$, $\backslash int\_\{shell\_R\}\; f(\backslash vec\{r\})\; d\; r^\{n-1\}$ is the surface integral over an n-sphere of radius $R$, and $A\_\{n-1\}$ is the hypervolume of the boundary of a unit n-sphere.

---

Analytic and geometric Laplacians There are two conflicting conventions as to how the Laplace operator is defined:

• The "analytic" Laplacian, which could be characterized in $\backslash R^n$ as

$$\backslash Delta=\backslash nabla^2=\backslash sum\_\{j=1\}^n\backslash Big(\backslash frac\{\backslash partial\}\{\backslash partial\; x\_j\}\backslash Big)^2,$$ which is negative-definite in the sense that for any Smoothness compactly supported function $\backslash varphi\backslash in\; C^\backslash infty\_c(\backslash R^n)$ which is not identically zero);

• The "geometric", positive-definite Laplacian defined by

$$\backslash Delta=-\backslash nabla^2=-\backslash sum\_\{j=1\}^n\backslash Big(\backslash frac\{\backslash partial\}\{\backslash partial\; x\_j\}\backslash Big)^2.$$

---

Motivation

---

Diffusion In the physics theory of diffusion, the Laplace operator arises naturally in the mathematical description of equilibrium. Specifically, if is the density at equilibrium of some quantity such as a chemical concentration, then the net flux of through the boundary (also called ) of any smooth region is zero, provided there is no source or sink within : $$\backslash int\_\{S\}\; \backslash nabla\; u\; \backslash cdot\; \backslash mathbf\{n\}\backslash ,\; dS\; =\; 0,$$ where is the outward unit normal to the boundary of . By the divergence theorem, $$\backslash int\_V\; \backslash operatorname\{div\}\; \backslash nabla\; u\backslash ,\; dV\; =\; \backslash int\_\{S\}\; \backslash nabla\; u\; \backslash cdot\; \backslash mathbf\{n\}\backslash ,\; dS\; =\; 0.$$

Since this holds for all smooth regions , one can show that it implies: $$\backslash operatorname\{div\}\; \backslash nabla\; u\; =\; \backslash Delta\; u\; =\; 0.$$ The left-hand side of this equation is the Laplace operator, and the entire equation is known as Laplace's equation. Solutions of the Laplace equation, i.e. functions whose Laplacian is identically zero, thus represent possible equilibrium densities under diffusion.

The Laplace operator itself has a physical interpretation for non-equilibrium diffusion as the extent to which a point represents a source or sink of chemical concentration, in a sense made precise by the diffusion equation. This interpretation of the Laplacian is also explained by the following fact about averages.

---

Averages Given a twice continuously differentiable function $f\; :\; \backslash R^n\; \backslash to\; \backslash R$ and a point $p\backslash in\backslash R^n$, the average value of $f$ over the ball with radius $h$ centered at $p$ is: $$\backslash overline\{f\}\_B(p,h)=f(p)+\backslash frac\{\backslash Delta\; f(p)\}\{2(n+2)\}\; h^2\; +o(h^2)\; \backslash quad\backslash text\{for\}\backslash ;\backslash ;\; h\backslash to\; 0$$

Similarly, the average value of $f$ over the sphere (the boundary of a ball) with radius $h$ centered at $p$ is: $$\backslash overline\{f\}\_S(p,h)=f(p)+\backslash frac\{\backslash Delta\; f(p)\}\{2n\}\; h^2\; +o(h^2)\; \backslash quad\backslash text\{for\}\backslash ;\backslash ;\; h\backslash to\; 0.$$

---

Density associated with a potential If denotes the electrostatic potential associated to a charge distribution , then the charge distribution itself is given by the negative of the Laplacian of : $$q\; =\; -\backslash varepsilon\_0\; \backslash Delta\backslash varphi,$$ where is the electric constant.

This is a consequence of Gauss's law. Indeed, if is any smooth region with boundary , then by Gauss's law the flux of the electrostatic field across the boundary is proportional to the charge enclosed: $$\backslash int\_\{\backslash partial\; V\}\; \backslash mathbf\{E\}\backslash cdot\; \backslash mathbf\{n\}\backslash ,\; dS\; =\; \backslash int\_V\; \backslash operatorname\{div\}\backslash mathbf\{E\}\backslash ,dV=\backslash frac1\{\backslash varepsilon\_0\}\backslash int\_V\; q\backslash ,dV.$$ where the first equality is due to the divergence theorem. Since the electrostatic field is the (negative) gradient of the potential, this gives: $$-\backslash int\_V\; \backslash operatorname\{div\}(\backslash operatorname\{grad\}\backslash varphi)\backslash ,dV\; =\; \backslash frac1\{\backslash varepsilon\_0\}\; \backslash int\_V\; q\backslash ,dV.$$

Since this holds for all regions , we must have $$\backslash operatorname\{div\}(\backslash operatorname\{grad\}\backslash varphi)\; =\; -\backslash frac\; 1\; \{\backslash varepsilon\_0\}q$$

The same approach implies that the negative of the Laplacian of the gravitational potential is the mass distribution. Often the charge (or mass) distribution are given, and the associated potential is unknown. Finding the potential function subject to suitable boundary conditions is equivalent to solving Poisson's equation.

---

Energy minimization Another motivation for the Laplacian appearing in physics is that solutions to in a region are functions that make the Dirichlet energy functional stationary point: $$E(f)\; =\; \backslash frac\{1\}\{2\}\; \backslash int\_U\; \backslash lVert\; \backslash nabla\; f\; \backslash rVert^2\; \backslash ,dx.$$

To see this, suppose is a function, and is a function that vanishes on the boundary of . Then: $$\backslash left.\; \backslash frac\{d\}\{d\backslash varepsilon\}\backslash right|\_\{\backslash varepsilon\; =\; 0\}\; E(f+\backslash varepsilon\; u)\; =\; \backslash int\_U\; \backslash nabla\; f\; \backslash cdot\; \backslash nabla\; u\; \backslash ,\; dx\; =\; -\backslash int\_U\; u\; \backslash ,\; \backslash Delta\; f\backslash ,\; dx$$

where the last equality follows using Green's first identity. This calculation shows that if , then is stationary around . Conversely, if is stationary around , then by the fundamental lemma of calculus of variations.

---

Coordinate expressions

---

Two dimensions The Laplace operator in two dimensions is given by:

In Cartesian coordinates, $$\backslash Delta\; f\; =\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; x^2\}\; +\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; y^2\}$$ where and are the standard Cartesian coordinates of the -plane.

In polar coordinates, where represents the radial distance and the angle.

---

Three dimensions In three dimensions, it is common to work with the Laplacian in a variety of different coordinate systems.

In Cartesian coordinates, $$\backslash Delta\; f\; =\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; x^2\}\; +\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; y^2\}\; +\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; z^2\}.$$

In cylindrical coordinates, $$\backslash Delta\; f\; =\; \backslash frac\{1\}\{\backslash rho\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; \backslash rho\}\; \backslash left(\backslash rho\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; \backslash rho\}\; \backslash right)\; +\; \backslash frac\{1\}\{\backslash rho^2\}\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; \backslash varphi^2\}\; +\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; z^2\; \},$$ where $\backslash rho$ represents the radial distance, the azimuth angle and the height.

In spherical coordinates: $$\backslash Delta\; f\; =\; \backslash frac\{1\}\{r^2\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; r\}\; \backslash left(r^2\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; r\}\; \backslash right)\; +\; \backslash frac\{1\}\{r^2\; \backslash sin\; \backslash theta\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; \backslash theta\}\; \backslash left(\backslash sin\; \backslash theta\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; \backslash theta\}\; \backslash right)\; +\; \backslash frac\{1\}\{r^2\; \backslash sin^2\; \backslash theta\}\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; \backslash varphi^2\},$$ or $$\backslash Delta\; f\; =\; \backslash frac\{1\}\{r\}\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; r^2\}\; (r\; f)\; +\; \backslash frac\{1\}\{r^2\; \backslash sin\; \backslash theta\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; \backslash theta\}\; \backslash left(\backslash sin\; \backslash theta\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; \backslash theta\}\; \backslash right)\; +\; \backslash frac\{1\}\{r^2\; \backslash sin^2\; \backslash theta\}\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; \backslash varphi^2\},$$ by expanding the first and second term, these expressions read $$\backslash Delta\; f\; =\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; r^2\}\; +\; \backslash frac\{2\}\{r\}\backslash frac\{\backslash partial\; f\}\{\backslash partial\; r\}+\backslash frac\{1\}\{r^2\; \backslash sin\; \backslash theta\}\; \backslash left(\backslash cos\; \backslash theta\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; \backslash theta\}\; +\; \backslash sin\; \backslash theta\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; \backslash theta^2\}\; \backslash right)\; +\; \backslash frac\{1\}\{r^2\; \backslash sin^2\; \backslash theta\}\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; \backslash varphi^2\},$$

where represents the azimuthal angle and the zenith angle or colatitude. In particular, the above is equivalent to

$\backslash Delta\; f\; =\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; r^2\}\; +\; \backslash frac\{2\}\{r\}\backslash frac\{\backslash partial\; f\}\{\backslash partial\; r\}\; +\; \backslash frac\{1\}\{r^2\}\backslash Delta\_\{S^2\}\; f\; ,$

where $\backslash Delta\_\{S^2\}f$ is the Laplace-Beltrami operator on the unit sphere.

In general curvilinear coordinates (): $$\backslash Delta\; =\; \backslash nabla\; \backslash xi^m\; \backslash cdot\; \backslash nabla\; \backslash xi^n\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; \backslash xi^m\; \backslash ,\; \backslash partial\; \backslash xi^n\}\; +\; \backslash nabla^2\; \backslash xi^m\; \backslash frac\{\backslash partial\}\{\backslash partial\; \backslash xi^m\; \}\; =\; g^\{mn\}\; \backslash left(\backslash frac\{\backslash partial^2\}\{\backslash partial\backslash xi^m\; \backslash ,\; \backslash partial\backslash xi^n\}\; -\; \backslash Gamma^\{l\}\_\{mn\}\backslash frac\{\backslash partial\}\{\backslash partial\backslash xi^l\}\; \backslash right),$$

where summation over the repeated indices is implied,

is the inverse [[metric tensor]] and   are the Christoffel symbols for the selected coordinates.
     

---

dimensions In arbitrary curvilinear coordinates in dimensions (), we can write the Laplacian in terms of the inverse metric tensor, $g^\{ij\}$: $$\backslash Delta\; =\; \backslash frac\; 1\{\backslash sqrt\{\backslash det\; g\}\}\backslash frac\{\backslash partial\}\{\backslash partial\backslash xi^i\}\; \backslash left(\; \backslash sqrt\{\backslash det\; g\}\; \backslash ,g^\{ij\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; \backslash xi^j\}\backslash right)\; ,$$ from the Voss-Hermann Weyl formulaArchived at Ghostarchive and the target="_blank" rel="nofollow"> Wayback Machine: for the divergence.

In spherical coordinates in dimensions, with the parametrization with representing a positive real radius and an element of the unit sphere , $$\backslash Delta\; f\; =\; \backslash frac\{\backslash partial^2\; f\}\{\backslash partial\; r^2\}\; +\; \backslash frac\{N-1\}\{r\}\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; r\}\; +\; \backslash frac\{1\}\{r^2\}\; \backslash Delta\_\{S^\{N-1\}\}\; f$$ where is the Laplace–Beltrami operator on the -sphere, known as the spherical Laplacian. The two radial derivative terms can be equivalently rewritten as: $$\backslash frac\{1\}\{r^\{N-1\}\}\; \backslash frac\{\backslash partial\}\{\backslash partial\; r\}\; \backslash left(r^\{N-1\}\; \backslash frac\{\backslash partial\; f\}\{\backslash partial\; r\}\; \backslash right).$$

As a consequence, the spherical Laplacian of a function defined on can be computed as the ordinary Laplacian of the function extended to so that it is constant along rays, i.e., homogeneous of degree zero.

---

Euclidean invariance The Laplacian is invariant under all Euclidean transformations: and translations. In two dimensions, for example, this means that: $$\backslash Delta\; (\; f(x\backslash cos\backslash theta\; -\; y\backslash sin\backslash theta\; +\; a,\; x\backslash sin\backslash theta\; +\; y\backslash cos\backslash theta\; +\; b))\; =\; (\backslash Delta\; f)(x\backslash cos\backslash theta\; -\; y\backslash sin\backslash theta\; +\; a,\; x\backslash sin\backslash theta\; +\; y\backslash cos\backslash theta\; +\; b)$$ for all θ, a, and b. In arbitrary dimensions, $$\backslash Delta\; (f\backslash circ\backslash rho)\; =(\backslash Delta\; f)\backslash circ\; \backslash rho$$ whenever ρ is a rotation, and likewise: $$\backslash Delta\; (f\backslash circ\backslash tau)\; =(\backslash Delta\; f)\backslash circ\; \backslash tau$$ whenever τ is a translation. (More generally, this remains true when ρ is an orthogonal transformation such as a reflection.)

In fact, the algebra of all scalar linear differential operators, with constant coefficients, that commute with all Euclidean transformations, is the polynomial algebra generated by the Laplace operator.

---

Spectral theory The spectral theory of the Laplace operator consists of all for which there is a corresponding eigenfunction with: $$-\backslash Delta\; f\; =\; \backslash lambda\; f.$$

This is known as the Helmholtz equation.

If is a bounded domain in , then the eigenfunctions of the Laplacian are an orthonormal basis for the Hilbert space . This result essentially follows from the spectral theorem on compact operator self-adjoint operators, applied to the inverse of the Laplacian (which is compact, by the Poincaré inequality and the Rellich–Kondrachov theorem). It can also be shown that the eigenfunctions are infinitely differentiable functions. More generally, these results hold for the Laplace–Beltrami operator on any compact Riemannian manifold with boundary, or indeed for the Dirichlet eigenvalue problem of any elliptic operator with smooth coefficients on a bounded domain. When is the N-sphere, the eigenfunctions of the Laplacian are the spherical harmonics.

---

Vector Laplacian The vector Laplace operator, also denoted by $\backslash nabla^2$, is a differential operator defined over a vector field. The vector Laplacian is similar to the scalar Laplacian; whereas the scalar Laplacian applies to a scalar field and returns a scalar quantity, the vector Laplacian applies to a vector field, returning a vector quantity. When computed in orthonormal Cartesian coordinates, the returned vector field is equal to the vector field of the scalar Laplacian applied to each vector component.

The vector Laplacian of a vector field $\backslash mathbf\{A\}$ is defined as $$\backslash nabla^2\; \backslash mathbf\{A\}\; =\; \backslash nabla(\backslash nabla\; \backslash cdot\; \backslash mathbf\{A\})\; -\; \backslash nabla\; \backslash times\; (\backslash nabla\; \backslash times\; \backslash mathbf\{A\}).$$ This definition can be seen as the Helmholtz decomposition of the vector Laplacian.

In Cartesian coordinates, this reduces to the much simpler expression $$\backslash nabla^2\; \backslash mathbf\{A\}\; =\; (\backslash nabla^2\; A\_x,\; \backslash nabla^2\; A\_y,\; \backslash nabla^2\; A\_z),$$ where $A\_x$, $A\_y$, and $A\_z$ are the components of the vector field $\backslash mathbf\{A\}$, and $\backslash nabla^2$ just on the left of each vector field component is the (scalar) Laplace operator. This can be seen to be a special case of Lagrange's formula; see Vector triple product.

For expressions of the vector Laplacian in other coordinate systems see Del in cylindrical and spherical coordinates.

---

Generalization The Laplacian of any tensor field $\backslash mathbf\{T\}$ ("tensor" includes scalar and vector) is defined as the divergence of the gradient of the tensor: $$\backslash nabla\; ^2\backslash mathbf\{T\}\; =\; (\backslash nabla\; \backslash cdot\; \backslash nabla)\; \backslash mathbf\{T\}.$$

For the special case where $\backslash mathbf\{T\}$ is a scalar (a tensor of degree zero), the Laplacian takes on the familiar form.

If $\backslash mathbf\{T\}$ is a vector (a tensor of first degree), the gradient is a covariant derivative which results in a tensor of second degree, and the divergence of this is again a vector. The formula for the vector Laplacian above may be used to avoid tensor math and may be shown to be equivalent to the divergence of the Jacobian matrix shown below for the gradient of a vector:

And, in the same manner, a dot product, which evaluates to a vector, of a vector by the gradient of another vector (a tensor of 2nd degree) can be seen as a product of matrices: This identity is a coordinate dependent result, and is not general.

---

Use in physics An example of the usage of the vector Laplacian is the Navier-Stokes equations for a Newtonian fluid incompressible flow: $$\backslash rho\; \backslash left(\backslash frac\{\backslash partial\; \backslash mathbf\{v\}\}\{\backslash partial\; t\}+\; (\; \backslash mathbf\{v\}\; \backslash cdot\; \backslash nabla\; )\; \backslash mathbf\{v\}\backslash right)=\backslash rho\; \backslash mathbf\{f\}-\backslash nabla\; p\; +\backslash mu\backslash left(\backslash nabla\; ^2\; \backslash mathbf\{v\}\backslash right),$$ where the term with the vector Laplacian of the velocity field $\backslash mu\backslash left(\backslash nabla\; ^2\; \backslash mathbf\{v\}\backslash right)$ represents the viscosity stresses in the fluid.

Another example is the wave equation for the electric field that can be derived from Maxwell's equations in the absence of charges and currents: $$\backslash nabla^2\; \backslash mathbf\{E\}\; -\; \backslash mu\_0\; \backslash epsilon\_0\; \backslash frac\{\backslash partial^2\; \backslash mathbf\{E\}\}\{\backslash partial\; t^2\}\; =\; 0.$$

This equation can also be written as: $$\backslash Box\backslash ,\; \backslash mathbf\{E\}\; =\; 0,$$ where $$\backslash Box\backslash equiv\backslash frac\{1\}\{c^2\}\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; t^2\}-\backslash nabla^2,$$ is the D'Alembertian, used in the Klein–Gordon equation.

---

Some properties First of all, we say that a smooth function $u\; \backslash colon\; \backslash Omega\; \backslash subset\; \backslash mathbb\; R^N\; \backslash to\; \backslash mathbb\; R$ is superharmonic whenever $-\backslash Delta\; u\; \backslash geq\; 0$.

Let $u\; \backslash colon\; \backslash Omega\; \backslash to\; \backslash mathbb\; R$ be a smooth function, and let $K\; \backslash subset\; \backslash Omega$ be a connected compact set. If $u$ is superharmonic, then, for every $x\; \backslash in\; K$, we have $$u(x)\; \backslash geq\; \backslash inf\_\backslash Omega\; u\; +\; c\backslash lVert\; u\; \backslash rVert\_\{L^1(K)\}\; \backslash ;,$$ for some constant $c\; >\; 0$ depending on $\backslash Omega$ and $K$.

---

Generalizations A version of the Laplacian can be defined wherever the Dirichlet energy makes sense, which is the theory of . For spaces with additional structure, one can give more explicit descriptions of the Laplacian, as follows.

---

Laplace–Beltrami operator The Laplacian also can be generalized to an elliptic operator called the Laplace–Beltrami operator defined on a Riemannian manifold. The Laplace–Beltrami operator, when applied to a function, is the trace () of the function's Hessian matrix: $$\backslash Delta\; f\; =\; \backslash operatorname\{tr\}\backslash big(H(f)\backslash big)$$ where the trace is taken with respect to the inverse of the metric tensor. The Laplace–Beltrami operator also can be generalized to an operator (also called the Laplace–Beltrami operator) which operates on , by a similar formula.

Another generalization of the Laplace operator that is available on pseudo-Riemannian manifolds uses the exterior derivative, in terms of which the "geometer's Laplacian" is expressed as $$\backslash Delta\; f\; =\; \backslash delta\; d\; f\; .$$

Here is the codifferential, which can also be expressed in terms of the Hodge star and the exterior derivative. This operator differs in sign from the "analyst's Laplacian" defined above. More generally, the "Hodge" Laplacian is defined on differential forms by $$\backslash Delta\; \backslash alpha\; =\; \backslash delta\; d\; \backslash alpha\; +\; d\; \backslash delta\; \backslash alpha\; .$$

This is known as the Laplace–de Rham operator, which is related to the Laplace–Beltrami operator by the Weitzenböck identity.

---

D'Alembertian The Laplacian can be generalized in certain ways to non-Euclidean spaces, where it may be elliptic, hyperbolic, or ultrahyperbolic.

In Minkowski space the Laplace–Beltrami operator becomes the D'Alembert operator $\backslash Box$ or D'Alembertian: $$\backslash square\; =\; \backslash frac\{1\}\{c^2\}\backslash frac\{\backslash partial^2\}\{\backslash partial\; t^2\}\; -\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; x^2\}\; -\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; y^2\}\; -\; \backslash frac\{\backslash partial^2\}\{\backslash partial\; z^2\}.$$

It is the generalization of the Laplace operator in the sense that it is the differential operator which is invariant under the isometry group of the underlying space and it reduces to the Laplace operator if restricted to time-independent functions. The overall sign of the metric here is chosen such that the spatial parts of the operator admit a negative sign, which is the usual convention in high-energy particle physics. The D'Alembert operator is also known as the wave operator because it is the differential operator appearing in the , and it is also part of the Klein–Gordon equation, which reduces to the wave equation in the massless case.

The additional factor of in the metric is needed in physics if space and time are measured in different units; a similar factor would be required if, for example, the direction were measured in meters while the direction were measured in centimeters. Indeed, theoretical physicists usually work in units such that in order to simplify the equation.

The d'Alembert operator generalizes to a hyperbolic operator on pseudo-Riemannian manifolds.

---

See also

• Laplace–Beltrami operator, generalization to submanifolds in Euclidean space and Riemannian and pseudo-Riemannian manifold.
• The Laplacian in differential geometry.
• The discrete Laplace operator is a finite-difference analog of the continuous Laplacian, defined on graphs and grids.
• The Laplacian is a common operator in image processing and computer vision (see the Laplacian of Gaussian, blob detection, and scale space).
• The list of formulas in Riemannian geometry contains expressions for the Laplacian in terms of Christoffel symbols.
• Weyl's lemma (Laplace equation).
• Earnshaw's theorem which shows that stable static gravitational, electrostatic or magnetic suspension is impossible.
• Del in cylindrical and spherical coordinates.
• Other situations in which a Laplacian is defined are: analysis on fractals, time scale calculus and discrete exterior calculus.

---

Notes

• The Feynman Lectures on Physics Vol. II Ch. 12: Electrostatic Analogs
• .
• .

---

Further reading

• The Laplacian - Richard Fitzpatrick 2006

---

External links

• Laplacian in polar coordinates derivation
• Laplace equations on the fractal cubes and Casimir effect

Post Comment