在
微分几何中,
拉普拉斯算子可以推广为定义在
曲面,或更一般地
黎曼流形与
伪黎曼流形上,函数的
算子。这个更一般的算子叫做拉普拉斯-贝尔特拉米算子(Laplace–Beltrami operator)。与拉普拉斯算子一样,拉普拉斯–贝尔特拉米算子定义为
梯度的
散度。这个算子作为
共变导数的散度,可以延拓到张量上的算子。或者,利用散度与
外导数,这个算子可以推广到
微分形式上的算子,所得的算子称为拉普拉斯-德拉姆算子(Laplace–de Rham operator)。
定义
就像
拉普拉斯算子一样,定义拉普拉斯-贝尔特拉米算子为
梯度的
散度。为了写出这个算子的一个公式,首先需写出流形上的散度与梯度。
设g表示流形上的(伪)-
度量张量,我们发现在
局部坐标中
体积形式由
给出,这里 是局部坐标系基向量
的对偶基1-形式,而 是楔积。这里 是度量张量
行列式的
绝对值。流形上一个
向量场X的散度可以定义为
这里 是沿着向量场X的
李导数。在局部坐标中,我们得到
这里(下面同样如此)使用了
爱因斯坦求和约定,所以上式其实是一个关于i的和式。一个数量函数f的梯度利用流形上
内积可定义为
对位于流形在x点的
切空间中所有向量 成立。这里df是函数f的
外导数;它是变量 的一个函数。在局部坐标中有
综上,对一个数量函数f的拉普拉斯–贝尔特拉米算子在局部坐标中公式为
这里 是度量张量 g之逆的分量,所以 ,这里 为
克罗内克函数。
注意到如上定义中,只对数量函数 有效。我们欲将对函数的
拉普拉斯算子,延拓到
微分形式上;为此,我们必须回到拉普拉斯–德拉姆算子,将在下一节定义。可以证明拉普拉斯–贝尔特拉米算子在
欧几里得空间退化通常的拉普拉斯算子,利用乘积法则与
链式法则将其重写为
当|g|=1,比如笛卡儿坐标下的
欧几里得空间,容易得到
这就是通常的
拉普拉斯算子。利用
符号为 (+++-) 的闵可夫斯基度量,得到达朗贝尔算子。在局部参数化 中,拉普拉斯–贝尔特拉米算子利用度量张量与
克里斯托费尔符号可表示如下:
注意到通过使用
球坐标与
圆柱坐标的度量张量,我们类似地可重新得到拉普拉斯算子在球坐标与圆柱坐标下的表达式。拉普拉斯–贝尔特拉米算子不仅在弯曲空间中存在,而且在曲线坐标系下的通常平坦空间中也存在。
(证明)
这里最后一个等式利用了
斯托克斯定理。另外注意拉普拉斯–贝尔特拉米算子是负的且对称:
对函数f与h。因此,许多作者定义拉普拉斯–贝尔特拉米算子时添一个减号,将其变成正的。
利用共变导数
拉普拉斯–贝尔特拉米算子也可利用与
列维-奇维塔联络相伴的迭代
共变导数的
迹写出来。从这个观点来看,设Xi是切向量场的一个基(不必由坐标系诱导)。则一个函数f的
黑塞矩阵是一个 2-张量,分量由
给出。容易看出有张量性变换,因为对每个变量Xi与Xj都是线性的。则拉普拉斯–贝尔特拉米算子是黑塞矩阵关于度量的迹:
需要理解清楚的是这个迹其实就是黑塞张量的迹。
拉普拉斯-德拉姆算子
定义
更一般地,我们可以在
微分流形的
外代数上定义一个拉普拉斯
微分算子。在黎曼流形上它是一个椭圆型算子,而在
洛伦兹流形上是双曲型的。拉普拉斯–德拉姆算子定义为
这里 d 是
外导数而 δ 是余微分。当作用在数量函数上,余微分可以定义为 δ = −,这里* 是霍奇星算子;更一般地,余微分可能包含与所作用的k-形式的阶数有关的一个符号。
可以证明拉普拉斯–德拉姆算子作用在数量函数f上时与前面的拉普拉斯–贝尔特拉米算子定义相同;细节参见
证明。注意拉普拉斯–德拉姆算子事实上是负拉普拉斯–贝尔特拉米算子;这个符号来自定义余微分的习惯。不幸的是,两者都用 Δ 表示,经常成为混乱之源。
性质
给定数量函数f与h,以及一个实数a,拉普拉斯–德拉姆算子有如下性质:
(证明)
张量上的拉普拉斯算子
利用与列维-奇维塔联络相伴的
共变导数,拉普拉斯–贝尔特拉米算子可推广到伪黎曼流形上任意
张量。这个推广的算子可以作用在反对称张量上。但所得的算子与拉普拉斯–德拉姆算子给出的不同:两者通过外森比克恒等式相关。
例子
拉普拉斯–贝尔特拉米算子许多特例可以明白地写出来。
球面
拉普拉斯算子是带
截面曲率为 1 的典范度量n-1 维球面上的拉普拉斯–贝尔特拉米算子。通常将其视为等距嵌入R中,作为以原点为中心的单位球面。则对S上一个函数f,其球面拉普拉斯算子定义为
这里f(x/|x|) 是函数f次数为零的齐次延拓到R,而 Δ 是周围欧几里得空间的拉普拉斯算子。具体地,这由欧几里得拉普拉斯算子在球极坐标下熟知的公式所蕴含:
更一般地,利用
法丛可进行类似的技巧,定义任何黎曼流形作为等距嵌入
欧几里得空间中的超平面上的拉普拉斯–贝尔特拉米算子。
我们也可以给出球面上拉普拉斯–贝尔特拉米算子在
法坐标系中一个内蕴描述。设 (t,ξ) 是球面上关于球面上特定点p(北极)的球坐标,这就是关于p的测地极坐标。这里t表示从p出发沿着单位速度测地线的
纬度,ξ是表示S中测地线的方向的一个参数。则球面
拉普拉斯算子具有如下形式
这里是通常n- 1 球面上的拉普拉斯算子。
相关条目