The Laplacian for a scalar function is a scalar differential operator defined by
(1)
|
where the are the scale factors of the coordinate system (Weinberg 1972, p. 109; Arfken 1985, p. 92).
Note that the operator is commonly written as by mathematicians (Krantz 1999, p. 16).
The Laplacian is extremely important in mechanics, electromagnetics, wave theory, and quantum mechanics, and appears in Laplace's equation
(2)
|
the Helmholtz differential equation
(3)
|
the wave equation
(4)
|
and the Schrödinger equation
(5)
|
The analogous operator obtained by generalizing from three dimensions to four-dimensional spacetime is denoted 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 is known as the biharmonic operator.
A vector Laplacian can also be defined, as can its generalization to a tensor Laplacian.
The following table gives the form of the Laplacian in several common coordinate systems.
coordinate system | |
Cartesian coordinates | |
cylindrical coordinates | |
parabolic coordinates | |
parabolic cylindrical coordinates | |
spherical coordinates |
The finite difference form is
(6)
|
For a pure radial function ,
(7)
| |||
(8)
| |||
(9)
|
Using the vector derivative identity
(10)
|
so
(11)
| |||
(12)
| |||
(13)
|
Therefore, for a radial power law,
(14)
| |||
(15)
| |||
(16)
|
An identity satisfied by the Laplacian is
(17)
|
where is the Hilbert-Schmidt norm, is a row vector, and is the transpose of .
To compute the Laplacian of the inverse distance function , where , and integrate the Laplacian over a volume,
(18)
|
This is equal to
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
|
where the integration is over a small sphere of radius . Now, for and , the integral becomes 0. Similarly, for and , the integral becomes . Therefore,
(24)
|
where is the delta function.