TOPICS
Search

Laplacian


The Laplacian for a scalar function phi is a scalar differential operator. In an orthogonal coordinate system it is defined by

 del ^2phi=1/(h_1h_2h_3)[partial/(partialu_1)((h_2h_3)/(h_1)partial/(partialu_1))+partial/(partialu_2)((h_1h_3)/(h_2)partial/(partialu_2))+partial/(partialu_3)((h_1h_2)/(h_3)partial/(partialu_3))]phi,
(1)

where the h_i are the scale factors of the coordinate system (Weinberg 1972, p. 109; Arfken 1985, p. 92).

Note that the operator del ^2 is commonly written as Delta by mathematicians (Krantz 1999, p. 16).

The operator A=-del ^2 is often used in spectral problems. On a nonempty bounded region with smooth boundary, this sign convention gives positive eigenvalues for Dirichlet boundary conditions and nonnegative eigenvalues for Neumann boundary conditions. The latter include lambda=0, corresponding to constant eigenfunctions. Weyl's law describes the asymptotic growth of these eigenvalues, while the heat trace encodes geometric information such as volume and boundary measure (Vassilevich 2003, Ivrii 2016).

The Laplacian is extremely important in mechanics, electromagnetics, wave theory, and quantum mechanics, and appears in Laplace's equation

 del ^2phi=0,
(2)

the Helmholtz differential equation

 del ^2psi+k^2psi=0,
(3)

the wave equation

 del ^2psi=1/(v^2)(partial^2psi)/(partialt^2),
(4)

and the Schrödinger equation

 ih(partialPsi(x,y,z,t))/(partialt)=[-(h^2)/(2m)del ^2+V(x)]Psi(x,y,z,t).
(5)

The analogous operator obtained by generalizing from three dimensions to four-dimensional spacetime is denoted  square ^2 and is known as the d'Alembertian. A version of the Laplacian that operates on vector functions is known as the vector Laplacian, and a tensor Laplacian can be similarly defined. The square of the Laplacian (del ^2)^2=del ^4 is known as the biharmonic operator.

The following table gives the form of the Laplacian in several common coordinate systems.

For a C4 function psi, the finite difference approximation for small h>0 is

 del ^2psi(x,y,z) approx 1/(h^2)[psi(x+h,y,z)+psi(x-h,y,z)+psi(x,y+h,z)+psi(x,y-h,z)+psi(x,y,z+h)+psi(x,y,z-h)-6psi(x,y,z)].
(6)

For a pure radial function g(r),

del ^2g(r)=del ·[del g(r)]
(7)
=del ·[(partialg(r))/(partialr)r^^+1/r(partialg(r))/(partialtheta)theta^^+1/(rsintheta)(partialg(r))/(partialphi)phi^^]
(8)
=del ·(r^^(dg)/(dr)).
(9)

Using the vector derivative identity

 del ·(fA)=f(del ·A)+(del f)·A,
(10)

so

del ^2g(r)=del ·[del g(r)]
(11)
=(dg)/(dr)del ·r^^+del ((dg)/(dr))·r^^
(12)
=2/r(dg)/(dr)+(d^2g)/(dr^2).
(13)

Therefore, for a radial power law,

del ^2r^n=2/rnr^(n-1)+n(n-1)r^(n-2)
(14)
=[2n+n(n-1)]r^(n-2)
(15)
=n(n+1)r^(n-2).
(16)

For a real m×n matrix A and a row vector x in R^m with xA!=0, an identity satisfied by the Laplacian with respect to x is

 del ^2||xA||=(||A||_(HS)^2||xA||^2-||(xA)A^T||^2)/(||xA||^3),
(17)

where ||A||_(HS) is the Hilbert-Schmidt norm and A^T is the transpose of A. The vector norms are Euclidean norms.

For the inverse distance function 1/r in R^3, where r=||r-r^'||, the classical Laplacian vanishes away from r^'. On a sphere S_R of radius R>0 centered at r^', the outward flux is

 int_(S_R)del (1/r)·da=-1/(R^2)4piR^2=-4pi.
(18)

The singularity at r^' prevents applying the classical divergence theorem across that point. In the sense of generalized functions,

 del ^2(1/(||r-r^'||))=-4pidelta^3(r-r^'),
(19)

where delta^3 is the three-dimensional delta function (Hunter 2014, pp. 33-34).

On a bounded domain, the eigenvalues of -Delta with zero boundary values are its Dirichlet eigenvalues. Their multiplicities depend on the geometry of the domain, with sharp restrictions for convex domains and arbitrary finite multiplicity patterns on smooth star-shaped domains in dimensions at least three (Chen et al. 2026).


See also

Antilaplacian, Biharmonic Operator, d'Alembertian, Fractional Laplacian, Heat Trace, Helmholtz Differential Equation, Laplace's Equation, Laplacian Matrix, Schrödinger Equation, Tensor Laplacian, Vector Laplacian, Wave Equation, Weyl's Law

Explore with Wolfram|Alpha

References

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, 1985.Chen, Z.; Long, C.-G.; and Zhang, S. "Arbitrary Dirichlet Eigenvalue Multiplicities on Smooth Star-Shaped Euclidean Domains." 29 Oct 2026. https://arxiv.org/abs/2610.39794.Hunter, J. K. Notes on Partial Differential Equations. June 18, 2014. https://www.math.ucdavis.edu/~hunter/pdes/pde_notes.pdf.Ivrii, V. "100 Years of Weyl's Law." Bull. Math. Sci. 6, 379-452, 2016. https://doi.org/10.1007/s13373-016-0089-y.Krantz, S. G. Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 16, 1999.Moon, P. and Spencer, D. E. Field Theory Handbook, Including Coordinate Systems, Differential Equations, and Their Solutions, 2nd ed. New York: Springer-Verlag, 1988.Vassilevich, D. V. "Heat Kernel Expansion: User's Manual." Phys. Rep. 388, 279-360, 2003. https://doi.org/10.1016/j.physrep.2003.09.002.Weinberg, S. Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. New York: Wiley, 1972.

Referenced on Wolfram|Alpha

Laplacian

Cite this as:

Weisstein, Eric W. "Laplacian." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Laplacian.html

Subject classifications