鄧義華，肖 娟，李元旦

(衡陽師范學(xué)院數(shù)學(xué)與計算科學(xué)系，湖南 衡陽 421008)

假設(shè)(M,g)是Rieman流形，f是(M,g)上的光滑函數(shù)，那么在(M,g)上有一類重要的Witten-Laplacian算子, 其定義為

Δf=Δ-▽f▽

Witten-Laplacian算子有時也被稱為帶權(quán)Laplacian 算子或f-Laplacian算子。目前，這類算子已經(jīng)得到了許多方面的研究。比如，Chen和Brighton等[1-2]討論了f調(diào)和函數(shù)的性質(zhì)，得到了這類調(diào)和函數(shù)的一些梯度估計。Dung等[3-4]利用f-Laplacian 算子的第一特征值λ1刻畫了f調(diào)和函數(shù)的性質(zhì)以及流形(M,g)的度量性質(zhì)。Chen等[5-6]得到了Witten-Laplacian算子特征值的一個比較定理。利用該比較定理，F(xiàn)utaki等[7]討論了當Ric+Hessφ≥Kg時φ-Laplacian 算子第一特征值λ1的下界估計問題，在此基礎(chǔ)上得到了一類緊致Rieman流形直徑下界的一個比較好的下界估計。

假設(shè)a，b，d，k都是常數(shù)并且d>0，k>0，Ω是Rn上的有界開區(qū)域，那么可以在Ω和區(qū)間(-d,d)上分別定義以下函數(shù)

v(x)=ax+b，x∈(-d,d)

顯然w和v都是光滑函數(shù)。由于開區(qū)域Ω和開區(qū)間(-d,d)都可以看成是Rieman流形，所以我們可以分別在Ω和(-d,d)上考慮w-Laplacian算子Δw=Δ-kx▽和v-Laplacian算子Δv=Δ-a▽。受前面所提這些參考文獻的啟發(fā)，本文將進一步討論以上兩類Witten-Laplacian算子Dirichlet邊值問題的第一特征值。通過直接計算不難得到Ric+Hessw=-kg以及Ric+Hessv=0，所以本文相當于針對兩種特殊情況K=-k<0和K=0討論文[7]中的一些問題。這時，我們認為本文的結(jié)論應(yīng)該比文[7]中的定理1.1更好。

1 w-Laplacian 算子Dirichlet邊值問題第一特征值的下界估計

假設(shè)Ω是Rn上的有界開區(qū)域，在Ω上定義如下光滑函數(shù)

在本節(jié)，我們將討論w-Laplacian算子Δw=Δ-kx▽的如下Dirichlet邊值問題的第一特征值的估計問題

(1)

如果k=0, 那么問題(1)就是通常的Laplacian算子Δ的特征值問題。對Laplacian算子的第一特征值進行估計已經(jīng)有了很長的歷史，目前在這方面已經(jīng)取得了很多好的研究成果[8-10]。特別是，在文[8]中已經(jīng)得到了當流形的Ricci曲率Ric≥0時Laplacian算子第一特征值λ1(Δ)的如下最佳下界估計

(2)

其中d為Ω的直徑。當k≠0時，研究問題(1)的特征值一般是用所謂的加權(quán)體積測度e-wdx, 如引言中的大部分參考文獻都是這樣。但是，運用通常的體積測度dx研究(1)的特征值目前似乎還很少有這方面的工作。根據(jù)文[3-4]，我們知道f-Laplacian 算子Dirichlet邊值問題的第一特征值可以用下面的式子來刻畫

因此，考慮問題(1)的第一特征值λ1時，我們不妨假設(shè)u是Ω上的正函數(shù)。為了得到問題(1)的第一特征值下界的更好估計，我們將借用文[7]中的一些方法。為此，我們?nèi)稳〕?shù)α>1，然后將問題(1)中的方程兩邊同時乘以uα-1并進行積分得

(3)

根據(jù)散度定理以及問題(1)中的邊界條件得到

從而有

(4)

將式(4)代入式(3), 然后運用分部積分法，可以得到

(5)

假設(shè)uα=h2，那么4|▽h|2=α2uα-2|▽u|2, 所以根據(jù)式(5)不難得到

于是

(6)

根據(jù)式(2)以及式(5)可得

(7)

定理1 特征值問題(1)的第一特征值λ1滿足下面的不等式

2 v-Laplacian算子Dirichlet邊值問題第一特征值的準確值

假設(shè)a，b，d都是常數(shù)并且d>0，v(x)=ax+b，x∈(-d,d)。在本節(jié)，我們主要討論v-Laplacian算子Δv=Δ-a▽的Dirichlet邊值問題第一特征值的準確值。為此，我們假設(shè)該邊值問題的第一特征值為λ1，相應(yīng)的特征函數(shù)為u。那么，我們有

(8)

證明由二階常系數(shù)線性齊次常微分方程的理論可知，當a2>4λ1時問題(8)中的方程的通解為

u=C1ek1x+C2ek2x

(9)

其中

將問題(8)中的邊界條件代入式(9), 我們不難發(fā)現(xiàn)C1=C2=0。所以在這種情況下問題(8)沒有非零解。同理可得，當a2=4λ1時問題(8)也沒有非零解。所以只有當a2<4λ1時問題(8)才有非零解，這時問題(8)中的方程的通解為

(10)

將問題(8)中的邊界條件代入式(10)得

(11)

(12)

注定理2說明

[1] CHEN L, CHEN W Y. Gradient estimates for positive smoothf-harmonic functions [J]. Acta Math Sci, 2010, 30B: 1614-1618.

[2] BRIGHTON K. A Liouville-type theorem for smooth metric measure spaces [J]. J Geom Anal, 2013, 23: 562-570.

[3] DUNG N T, SUNG C J A. Smooth metric measure spaces with weighted Poincaré inequality [J]. Math Z, 2013, 273: 613-632.

[4] DUNG N T. A splitting theorem on smooth metric measure spaces [J]. Arch Math, 2012, 99: 179-187.

[5] CHEN M F, WANG F Y. Application of coupling method to the first eigenvalue on manifolds [J]. Sci Sinica Ser A, 1984, 37: 1-14.

[6] CHEN M F, WANG F Y. General formula for lower bound of the first eigenvalue on Riemannian manifolds [J]. Sci Sinica Ser A, 1997, 40: 384-394.

[7] FUTAKI A, LI H Z, LI X D. On the first eigenvalue of the Witten-Laplacian and the diameter of compact shrinking solitons [J]. Ann Glob Anal Geom, 2013, 44: 105-114.

[8] ZHONG J Q, YANG H C. On the estimate of the first eigenvalue of a compact Riemannian manifold [J]. Sci Sinica Ser A, 1984, 27(12): 1265-1273.

[9] LI P, YAU S T. Estimates of eigenvalues of a compact Riemannian manifold [J]. Proc Symp Pure Math, 1980, 36: 205-239.

[10] WANG Q L, XIA C Y. Isoperimetric bounds for the first eigenvalue of the Laplacian [J]. Z Angew Math Phys, 2010, 61: 171-175.