Laplace Operator

Get Laplace Operator essential facts below. View Videos or join the Laplace Operator discussion. Add Laplace Operator to your PopFlock.com topic list for future reference or share this resource on social media.

## Definition

## Motivation

### Diffusion

### Density associated with a potential

### Energy minimization

## Coordinate expressions

### Two dimensions

### Three dimensions

*N* dimensions

## Euclidean invariance

## Spectral theory

## Generalizations

### Laplace-Beltrami operator

### D'Alembertian

## See also

## Notes

## References

## External links

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Laplace Operator

It has been suggested that Vector Laplacian be merged into this article. (Discuss) Proposed since December 2019. |

In mathematics, the **Laplace operator** or **Laplacian** is a differential operator given by the divergence of the gradient of a function on Euclidean space. It is usually denoted by the symbols ?·?, ?^{2} (where ? is the nabla operator). The Laplacian ?·?*f*(*p*) of a function *f* at a point *p*, is (up to a factor) the rate at which the average value of *f* over spheres centered at *p* deviates from *f*(*p*) as the radius of the sphere shrinks towards 0. 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.

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, where the operator gives a constant multiple of the mass density when it is applied to the gravitational potential due to the mass distribution with that given density. Solutions of the equation ?·?*f* = 0, now called Laplace's equation, are the so-called harmonic functions, and represent the possible gravitational fields in regions of vacuum.

The Laplacian occurs in differential equations that describe many physical phenomena, such as electric and gravitational potentials, the diffusion equation for heat and fluid flow, wave propagation, and quantum mechanics. The Laplacian represents the flux density of the gradient flow of a function. For instance, the net rate at which a chemical dissolved in a fluid moves toward or away from some point is proportional to the Laplacian of the chemical concentration at that point; expressed symbolically, the resulting equation is the diffusion equation. For these reasons, it is extensively used in the sciences for modelling all kinds of physical phenomena. The Laplacian is the simplest elliptic operator, and is at the core of Hodge theory as well as the results of de Rham cohomology. In image processing and computer vision, the Laplacian operator has been used for various tasks such as blob and edge detection.

The Laplace operator is a second order differential operator in the *n*-dimensional Euclidean space, defined as the divergence (?·) of the gradient (?*f *). Thus if *f* is a twice-differentiable real-valued function, then the Laplacian of *f* is defined by

where the latter notations derive from formally writing

Equivalently, the Laplacian of *f* is the sum of all the *unmixed* second partial derivatives in the Cartesian coordinates *x _{i}*:

As a second-order differential operator, the Laplace operator maps *C ^{k}* functions to

In the physical theory of diffusion, the Laplace operator (via Laplace's equation) arises naturally in the mathematical description of equilibrium.^{[1]} Specifically, if *u* is the density at equilibrium of some quantity such as a chemical concentration, then the net flux of *u* through the boundary of any smooth region *V* is zero, provided there is no source or sink within *V*:

where **n** is the outward unit normal to the boundary of *V*. By the divergence theorem,

Since this holds for all smooth regions *V*, it can be shown that this implies

The left-hand side of this equation is the Laplace operator. 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.

If *?* denotes the electrostatic potential associated to a charge distribution *q*, then the charge distribution itself is given by the negative of the Laplacian of *?*:

where *?*_{0} is the electric constant.

This is a consequence of Gauss's law. Indeed, if *V* is any smooth region, then by Gauss's law the flux of the electrostatic field **E** is proportional to the charge enclosed:

where the first equality is due to the divergence theorem. Since the electrostatic field is the (negative) gradient of the potential, this now gives

So, since this holds for all regions *V*, we must have

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.

Another motivation for the Laplacian appearing in physics is that solutions to ?*f* = 0 in a region *U* are functions that make the Dirichlet energy functional stationary:

To see this, suppose *f* : *U* -> R is a function, and *u* : U -> R is a function that vanishes on the
boundary of *U*. Then

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

The Laplace operator in two dimensions is given by:

where *x* and *y* are the standard Cartesian coordinates of the *xy*-plane.

where *r* represents the radial distance and *?* the angle.

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

where *r* represents the radial distance, *?* the azimuth angle and *z* the height.

where *?* represents the azimuthal angle and *?* the zenith angle or co-latitude.

In general **curvilinear coordinates** (*?*^{1}, *?*^{2}, *?*^{3}):

where summation over the repeated indices is implied,
*g ^{mn}* is the inverse metric tensor and ?

In arbitrary curvilinear coordinates in *N* dimensions (*?*^{1},..., *? ^{N}*), we can write the Laplacian in terms of the inverse metric tensor, :

- ,

from the Voss- Weyl formula^{[2]} for the divergence.

In **spherical coordinates in N dimensions**, with the parametrization

where ?_{SN-1} is the Laplace-Beltrami operator on the (*N* - 1)-sphere, known as the spherical Laplacian. The two radial derivative terms can be equivalently rewritten as

As a consequence, the spherical Laplacian of a function defined on *S*^{N-1} ? R^{N} can be computed as the ordinary Laplacian of the function extended to R^{N}\{0} so that it is constant along rays, i.e., homogeneous of degree zero.

The Laplacian is invariant under all Euclidean transformations: rotations and translations. In two dimensions, for example, this means that

for all θ, *a*, and *b*. In arbitrary dimensions,

whenever ρ is a rotation, and likewise

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.

The spectrum of the Laplace operator consists of all eigenvalues *?* for which there is a corresponding eigenfunction *f* with

This is known as the Helmholtz equation.

If ? is a bounded domain in R^{n} then the eigenfunctions of the Laplacian are an orthonormal basis for the Hilbert space *L*^{2}(?). This result essentially follows from the spectral theorem on compact self-adjoint operators, applied to the inverse of the Laplacian (which is compact, by the Poincaré inequality and the Rellich-Kondrachov theorem).^{[3]} It can also be shown that the eigenfunctions are infinitely differentiable functions.^{[4]} 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 well-known spherical harmonics.

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

The Laplacian also can be generalized to an elliptic operator called the **Laplace-Beltrami operator** defined on a Riemannian manifold. The d'Alembert operator generalizes to a hyperbolic operator on pseudo-Riemannian manifolds. The Laplace-Beltrami operator, when applied to a function, is the trace (tr) of the function's Hessian:

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 tensor fields, 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

Here *?* is the codifferential, which can also be expressed using the Hodge dual. Note that this operator differs in sign from the "analyst's Laplacian" defined above, a point which must always be kept in mind when reading papers in global analysis. More generally, the "Hodge" Laplacian is defined on differential forms *?* by

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

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

In the Minkowski space the Laplace-Beltrami operator becomes the D'Alembert operator ? or D'Alembertian:

It is the generalisation 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. Note that 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 wave equations and it is also part of the Klein-Gordon equation, which reduces to the wave equation in the massless case.

The additional factor of *c* 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 *x* direction were measured in meters while the *y* direction were measured in centimeters. Indeed, theoretical physicists usually work in units such that *c* = 1 in order to simplify the equation.

- The vector Laplacian operator, a generalization of the Laplacian to vector fields.
- 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 detector, 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.

**^**Evans 1998, §2.2**^**Grinfeld, Pavel. "The Voss-Weyl Formula". Retrieved 2018.**^**Gilbarg & Trudinger 2001, Theorem 8.6**^**Gilbarg & Trudinger 2001, Corollary 8.11

- Evans, L. (1998),
*Partial Differential Equations*, American Mathematical Society, ISBN 978-0-8218-0772-9 - Feynman, R.; Leighton, R; Sands, M. (1970), "Chapter 12: Electrostatic Analogs",
*The Feynman Lectures on Physics*,**2**, Addison-Wesley-Longman - Gilbarg, D.; Trudinger, N. (2001),
*Elliptic Partial Differential Equations of Second Order*, Springer, ISBN 978-3-540-41160-4. - Schey, H. M. (1996),
*Div, Grad, Curl, and All That*, W. W. Norton, ISBN 978-0-393-96997-9.

- Hazewinkel, Michiel, ed. (2001) [1994], "Laplace operator",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4 - Weisstein, Eric W. "Laplacian".
*MathWorld*. - How Laplace Would Hide a Goat: The New Science of Magic Windows
- Laplacian in polar coordinates derivation

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists