对于标量函数 ,拉普拉斯算子是一个标量微分算子,定义为:
(1)
|
其中 是坐标系的尺度因子 (Weinberg 1972, p. 109; Arfken 1985, p. 92)。
请注意,算子 通常被数学家写作 (Krantz 1999, p. 16)。
拉普拉斯算子在力学、电磁学、波动理论和量子力学中极其重要,并出现在拉普拉斯方程中
(2)
|
(3)
|
(4)
|
(5)
|
通过将三维推广到四维时空获得的类似算子表示为 ,被称为达朗贝尔算符。拉普拉斯算子作用于向量函数的一个版本被称为向量拉普拉斯算子,张量拉普拉斯算子也可以类似地定义。拉普拉斯算子的平方 被称为双调和算子。
也可以定义向量拉普拉斯算子,以及它到张量拉普拉斯算子的推广。
下表给出了拉普拉斯算子在几种常见坐标系中的形式。
有限差分形式为:
(6)
|
对于纯径向函数 ,
(7)
| |||
(8)
| |||
(9)
|
使用向量导数恒等式
(10)
|
因此
(11)
| |||
(12)
| |||
(13)
|
因此,对于径向幂定律,
(14)
| |||
(15)
| |||
(16)
|
拉普拉斯算子满足的恒等式是
(17)
|
其中 是希尔伯特-施密特范数, 是行向量, 是 的转置。
为了计算反距离函数 的拉普拉斯算子,其中 ,并将拉普拉斯算子在一个体积上积分,
(18)
|
这等于
(19)
| |||
(20)
| |||
(21)
| |||
(22)
| |||
(23)
|
其中积分是在一个半径为 的小球体上进行的。现在,对于 和 ,积分变为 0。类似地,对于 和 ,积分变为 。因此,
(24)
|
其中 是狄拉克δ函数。