拉普拉斯-贝尔特拉米算子

✍ dations ◷ 2025-07-06 08:46:48 #微分算子,黎曼几何

在微分几何中,拉普拉斯算子可以推广为定义在曲面,或更一般地黎曼流形与伪黎曼流形上,函数的算子。这个更一般的算子叫做拉普拉斯-贝尔特拉米算子(Laplace–Beltrami operator)。与拉普拉斯算子一样,拉普拉斯–贝尔特拉米算子定义为梯度的散度。这个算子作为共变导数的散度,可以延拓到张量上的算子。或者,利用散度与外导数,这个算子可以推广到微分形式上的算子,所得的算子称为拉普拉斯-德拉姆算子(Laplace–de Rham operator)。

就像拉普拉斯算子一样,定义拉普拉斯-贝尔特拉米算子为梯度的散度。为了写出这个算子的一个公式,首先需写出流形上的散度与梯度。

g {\displaystyle g} 的散度可以定义为

这里 L X {\displaystyle L_{X}} 的李导数。在局部坐标中,我们得到

这里(下面同样如此)使用了爱因斯坦求和约定,所以上式其实是一个关于 的和式。一个数量函数 的梯度利用流形上内积 , {\displaystyle \langle \cdot ,\cdot \rangle } 点的切空间中所有向量 v x {\displaystyle v_{x}} 是函数 的外导数;它是变量 v x {\displaystyle v_{x}} 的拉普拉斯–贝尔特拉米算子在局部坐标中公式为

这里 g i j {\displaystyle g^{ij}} 与 -div 伴随:

这里最后一个等式利用了斯托克斯定理。另外注意拉普拉斯–贝尔特拉米算子是负的且对称:

对函数 与 。因此,许多作者定义拉普拉斯–贝尔特拉米算子时添一个减号,将其变成正的。

拉普拉斯–贝尔特拉米算子也可利用与列维-奇维塔联络相伴的迭代共变导数的迹写出来。从这个观点来看,设 i 是切向量场的一个基(不必由坐标系诱导)。则一个函数 的黑塞矩阵是一个 2-张量,分量由

给出。容易看出有张量性变换,因为对每个变量 ij 都是线性的。则拉普拉斯–贝尔特拉米算子是黑塞矩阵关于度量的迹:

在抽象指标记号中,此算子经常写成

需要理解清楚的是这个迹其实就是黑塞张量的迹。

更一般地,我们可以在微分流形的外代数上定义一个拉普拉斯微分算子。在黎曼流形上它是一个椭圆型算子,而在洛伦兹流形上是双曲型的。拉普拉斯–德拉姆算子定义为

这里 d 是外导数而 δ 是余微分。当作用在数量函数上,余微分可以定义为 δ = − {\displaystyle *} -形式的阶数有关的一个符号。

可以证明拉普拉斯–德拉姆算子作用在数量函数 上时与前面的拉普拉斯–贝尔特拉米算子定义相同;细节参见证明。注意拉普拉斯–德拉姆算子事实上是负拉普拉斯–贝尔特拉米算子;这个符号来自定义余微分的习惯。不幸的是,两者都用 Δ 表示,经常成为混乱之源。

给定数量函数 与 ,以及一个实数 ,拉普拉斯–德拉姆算子有如下性质:

利用与列维-奇维塔联络相伴的共变导数,拉普拉斯–贝尔特拉米算子可推广到伪黎曼流形上任意张量。这个推广的算子可以作用在反对称张量上。但所得的算子与拉普拉斯–德拉姆算子给出的不同:两者通过外森比克恒等式相关。

拉普拉斯–贝尔特拉米算子许多特例可以明白地写出来。

球面拉普拉斯算子是带截面曲率为 1 的典范度量 -1 维球面上的拉普拉斯–贝尔特拉米算子。通常将其视为等距嵌入 R 中,作为以原点为中心的单位球面。则对 S n 1 {\displaystyle S^{n-1}} (/||) 是函数 次数为零的齐次延拓到 R,而 Δ 是周围欧几里得空间的拉普拉斯算子。具体地,这由欧几里得拉普拉斯算子在球极坐标下熟知的公式所蕴含:

更一般地,利用法丛可进行类似的技巧,定义任何黎曼流形作为等距嵌入欧几里得空间中的超平面上的拉普拉斯–贝尔特拉米算子。

我们也可以给出球面上拉普拉斯–贝尔特拉米算子在法坐标系中一个内蕴描述。设 (,) 是球面上关于球面上特定点 (北极)的球坐标,这就是关于 的测地极坐标。这里 表示从 出发沿着单位速度测地线的纬度, 是表示 S n 1 {\displaystyle S^{n-1}} - 1 球面上的拉普拉斯算子。

相关

  • 鲁霍拉·霍梅尼赛义德鲁霍拉·穆斯塔法维·穆萨维·霍梅尼(波斯语:سید روحاللّه مصطفوی موسوی خمینی‬‎,转写:Sayyid Rūhollāh Musavi Khomeinī  发音 帮助·
  • 段玉裁段玉裁(1735年-1815年10月10日),字若膺,号茂堂,晚年又号砚北居士,长塘湖居士,侨吴老人。江苏金坛人。清朝语言学家,训诂家、经学家。雍正十三年乙卯(1735年),出生于江苏省金坛县西门外大
  • 阿留申人阿留申人(阿留申语:Unangan/Unanga)是居住于美国阿拉斯加、阿留申群岛和俄罗斯堪察加半岛上的原住民族,但如今人数很少。也分布在加拿大魁北克一带,他们语言与因纽特语有关。但他
  • 文成县文成县在中国浙江省东南部,是温州市下辖五县之一,温州著名的侨乡。位于浙江省南部,地理坐标为东经119°46’~ 120°15’,北纬27°34’~ 27°59’,中心为北纬27°47′,东经120°05′
  • 共同防御条约《美韩共同防御条约》(韩语:대한민국과 미합중국간의 상호방위조약)是1953年美国同韩国缔结的军事同盟条约。根据此条约,韩美任何一方在亚太地区受到攻击,另一方都给予军事援助。
  • 悉尼奥运会第二十七届夏季奥林匹克运动会(英语:the Games of the XXVII Olympiad,法语:les Jeux de la XXVIIe Olympiade),于2000年9月15日至10月1日在澳大利亚悉尼举行,此乃奥运史上,继1956年
  • 塔霍湖塔霍湖(英语:Lake Tahoe)是一个位于美国加利福尼亚州和内华达州边界上的湖泊,在内华达州首府卡森城以西约10英里,海拔1,897米的地方。它是北美最大的高山湖泊。深501米,是美国第二
  • 1957年安德烈亚诺夫群岛大地震1957年安德烈亚诺夫群岛大地震在1957年3月9日发生,震中位于美国阿拉斯加的安德烈亚诺夫群岛以南,座标51°30′N 175°42′W / 51.500°N 175.700°W / 51.500; -175.700,面波震
  • 林肯国家森林林肯国家森林(英语:Lincoln National Forest)是美国国家森林局管辖的国家森林,位于新墨西哥州南部,最早于1902年总统令的缘故建立,前身为林肯森林保护区。森林面积1,103,897英亩(4,
  • 萨门-夏利斯国家森林萨门-夏利斯国家森林(英语:Salmon-Challis National Forest)位于美国爱达荷州的中东部地区,面积4,235,940英亩(17,142.2平方千米),是美国本土(不含阿拉斯加)中最大的国家森林之一,林内