王全勝

(荊楚理工學(xué)院 數(shù)理學(xué)院，湖北 荊門 448000)

雙曲空間中的拉普拉斯算子

王全勝

(荊楚理工學(xué)院 數(shù)理學(xué)院，湖北 荊門 448000)

拉普拉斯算子是黎曼流形上一類重要的微分算子，流形上很多問題的研究都與拉普拉斯算子有關(guān)。文章得到了不同雙曲空間模型中拉普拉斯算子的計(jì)算公式，利用這些計(jì)算公式，通過計(jì)算具體函數(shù)的拉普拉斯，可以直觀地看到拉普拉斯算子與度量密切是相關(guān)的。

拉普拉斯算子；雙曲空間；黎曼度量

0 引言

拉普拉斯算子是黎曼流形上一類重要的微分算子，流形上很多問題的研究都與拉普拉斯算子有關(guān)(如流形的譜問題)，因而掌握拉普拉斯算子的計(jì)算方法是重要的。設(shè)M是一個(gè)n維的黎曼流形，g,△分別是M上的黎曼度量(度量也可用ds2表示)和拉普拉斯算子，當(dāng)M的截曲率是常數(shù)時(shí)，這樣的黎曼流形被稱為空間形式。常見的空間形式有三種，而雙曲空間形式(一般稱為雙曲空間)是其中一種，其截曲率為-1?？臻g形式是黎曼流形中很重要的模型，是學(xué)習(xí)黎曼流形的基礎(chǔ)。而相對于另外兩種空間形式歐氏空間和單位球來說，對雙曲空間的理解就要困難一些。而在本文中，我們的目的就是要得到雙曲空間中拉普拉斯算子的具體表述形式。但黎曼流形的度量并不是唯一的，而拉普拉斯算子與度量又密切相關(guān)，要完全給出雙曲空間上拉普拉斯算子的表述形式非常困難。因此，在本文中，我們將先給出雙曲空間的一些常見度量，然后給出這些度量下拉普拉斯算子的表述形式。下文先介紹一些與本文研究問題相關(guān)的知識(shí)。

1 預(yù)備知識(shí)

對于黎曼流形上的拉普拉斯算子，通常的定義的方法是先梯度后散度，即是由梯度算子和散度算子的一種復(fù)合算子。以下簡要介紹這幾種算子，具體細(xì)節(jié)可參看文獻(xiàn)[1-2]。

(1)

設(shè)n維雙曲空間Hn是n+1維歐氏空間Rn+1的浸入子流形，在文獻(xiàn)[3]中，給出下述基本型：

H={(1,x2,…,xn+1):xn+1>0}

關(guān)于這三種基本型的度量分別為：

(2)

(3)

(4)

接下來，我們將給出在這三種度量下雙曲空間的拉普拉斯算子的表述形式。

2 主要結(jié)果及其證明

在文獻(xiàn)[4]中，作者給出了一類乘積流形上的拉普拉斯算子的具體表達(dá)式。在本節(jié)中，我們將導(dǎo)出在第1節(jié)給出的三種度量下雙曲空間的拉普拉斯算子的表述形式。關(guān)于雙曲空間的具體內(nèi)容可參看文獻(xiàn)[5]。

定理1 設(shè)雙曲空間中，三種度量對應(yīng)的拉普拉斯算子分別為ΔH,ΔI,ΔJ，則其分別為：

證明由式(2)可知，在第一種度量下，有：

再由式(1)，可知

同樣由式(2)可知，在第二種度量下，有：

同樣由式(1)，可知

作與前兩種情形類似的計(jì)算，可知在第三種度量下，有：

gij=δij,i,j=1,…,n;gn+1,n+1=-1

再由式(1)，可知

至此，定理1得證。

3 計(jì)算實(shí)例

下文給出一個(gè)拉普拉斯的計(jì)算實(shí)例。利用上文給出的拉普拉斯算子的計(jì)算公式，計(jì)算最后一個(gè)坐標(biāo)函數(shù)xn+1的拉普拉斯算子。

例1 由定理1直接計(jì)算可得：

ΔHxn+1=(2-n)xn+1,

ΔKxn+1=0。

由上面的例子可以看到，拉普拉斯算子的計(jì)算和度量是密切相關(guān)的。

[1] 陳維桓,李興校.黎曼流形[M].北京:北京大學(xué)出版社,2002.

[2] Petersen P.Riemannian geometry[M].2nd ed.New York:Springer,2006.

[3] Cannon J W.Hyperbolic geometry[J].Flavors of Geometry,1997(31):59-111.

[4] 王全勝.乘積流形R×N上的拉普拉斯算子[J].科技創(chuàng)新導(dǎo)報(bào),2013(27):208.

[5] Anderson J W.Hyperbolic geometry[M].2nd ed.London:Springer,2006.

2014-04-02

王全勝(1973-)，男，湖北公安人，荊楚理工學(xué)院講師，碩士。研究方向：函數(shù)分析與幾何分析。

O189.3

A

1008-4657(2014)04-0076-03

寸曉非]