The Laplacian for a scalar function

is a scalar differential
operator 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,](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uBvbi9Za8F8kR61eKLob1u29T5bXUClvApvNTFh36FaQSs3DSvN6lyVz6xumTYGI-qib8-H4NvJnfvX71V01UzFyhg_mrflwjCRJnr-cGdrpcrh9sU4x0c6CHPx4hYPAGLRg7WY3_sKGjxDKHdo_nJ=s0-d) |
(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
![ih(partialPsi(x,y,z,t))/(partialt)=[-(h^2)/(2m)del ^2+V(x)]Psi(x,y,z,t).](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vvz4FzJzLJl2cxRv7MSP01u4uqyPqf_-OYgZfqbSrPJ00q4ZjQ_EzBY7PuUWD4_sYVrAqo9PosLSqxWvOAbVFzDn7q_W8rLnQPMQ0PjkNmNyRV6N4_kZ15h77rZ2a53R0MuDETBN4UpKS_8GuBe6-H=s0-d) |
(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 | ![1/(uv(u^2+v^2))[partial/(partialu)(uv(partialf)/(partialu))+partial/(partialv)(uv(partialf)/(partialv))]+1/(u^2v^2)(partial^2f)/(partialtheta^2)](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t2IqtL5ZTIpDH17ZiwI0DevMPuNWo2kTXsiaZsbqR44dmLWPrWanaH5Md_AtbViQjFLL9VvigsLOQbs3lHyVARJKDkdpKruPCKaJLBSh5muxk8Z_XOfw30-xH8IvoMr4ADTK955OPl=s0-d) |
parabolic
cylindrical coordinates |  |
spherical coordinates |  |
The finite difference form is
![del ^2psi(x,y,z)=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)].](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vSBPdvhDNCDloYjHM_ppgqLk_Zka1ccQOzC3Xpf8VBf39fiwGxkGtMWK63GY8nbTvwciPb2yio-qcaRiGTpYTju0fn_Vft-BCPGKA24WBC1jmNY57xOmodNb83CucboCUUSd6CAqZGaOzCB07ULY-d=s0-d) |
(6)
|
For a pure radial function

,
Using the vector derivative identity
 |
(10)
|
so
Therefore, for a radial power law,
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
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.