多調(diào)和算子組主次譜間隙的估計

黃振明

(蘇州市職業(yè)大學(xué) 數(shù)理部, 江蘇 蘇州215104)

眾所周知，Riemann流形上最基本的橢圓型算子是拉普拉斯算子Δ，也稱調(diào)和算子，如果流形是緊致的，則Δ有離散譜，其所有離散譜構(gòu)成的集合蘊含了流形的重要的幾何和拓?fù)湫畔?。國?nèi)外眾多學(xué)者運用算子法和分析法等多種方法，對調(diào)和算子Δ[1-2]、雙調(diào)和算子Δ2[3-5]和多調(diào)和算子Δn[6-7]的離散譜問題進(jìn)行了全面深入的研究，并推廣討論了一些由Δ構(gòu)成的算子組的譜問題[8-9]，得到了相應(yīng)問題譜的近似值或估計不等式，他們更感興趣的是推出不受區(qū)域度量限制的譜的萬有不等式。最近，筆者在文獻(xiàn)[8]中討論了如下一類偏微分算子組的譜問題：

(1)

(2)

將問題(1)中的方程個數(shù)和左右算子階數(shù)進(jìn)行推廣，討論問題(1)的一般情形，即下列多調(diào)和算子組的廣義譜問題：

(3)

其中，常數(shù)ai≥0(i=1,2,…,l)。因為相鄰兩譜的差具有很強的實際意義，例如在物理學(xué)中描述原子、分子等微觀粒子運動狀態(tài)的方程中，相鄰譜的差就對應(yīng)了粒子由一種能級狀態(tài)躍遷到鄰近另一種狀態(tài)時所吸收或釋放的能量。所以，對相鄰兩譜，尤其是前兩個譜的間隙估計受到了國內(nèi)外多位學(xué)者的重視[10-12]，本文也僅探討問題(3)的主、次譜間隙的估計，運用變分原理[13]，對滿足s>r≥1,l≥2的任意整數(shù)得到了估計問題(3)主次譜間隙的一個上界不等式，主要成果如下：

定理1問題(3)的主、次譜λ1和λ2的間隙有如下的萬有估計①：

(4)

注①: 特別地，當(dāng)s=l=2,ai=0(i=1,2),r=1時，估計結(jié)論式(4)恰好就成為了式(2)，即文獻(xiàn)[8]中定理1的等價形式。

1 預(yù)備知識

(5)

假設(shè)問題(5)的主譜λ1對應(yīng)的主特征向量為u，滿足正規(guī)化條件：

(6)

這里，?表示梯度算子，利用式(5)、分部積分、邊界條件和式(6)，有：

(7)

(8)

利用φk的定義、式(5)和簡單的計算可得：

Rs(-Δ)φk+Aφk=(xk-ck)Rs(-Δ)u-2BRs-1(-Δ)uxk+(xk-ck)Au=xkλ1(-Δ)ru-2BRs-1(-Δ)uxk-ckλ1(-Δ)ru，

這里，B=diag[s,s+1,…,s+l-1]，再利用測試函數(shù)φk與u的廣義正交性，有：

(9)

另一方面，利用分部積分，有：

(10)

從式 (9) 和 (10)，可得 ：

(11)

2 定理的證明

引理1 設(shè)u是問題(5)對應(yīng)主譜λ1的特征向量，則：

這里，C=diag[c1,c2,…,cl],ci≥0(i=1,2,…,l),j=r+1,r+2,…,s。

證明: (a) 首先，用數(shù)學(xué)歸納法證明在齊次邊界條件下，方程(-Δ)s+i-1vi+aivi=λ(-Δ)rvi對應(yīng)主譜λ1的特征函數(shù)vi滿足下列估計式：

(12)

當(dāng)ki=r+1時，由分部積分公式、Schwarz不等式和式(6)，有：

此時，式(12)成立。假設(shè)ki=r+n≤s+i-3時，式(12)成立，則當(dāng)ki=r+n+1時，利用分部積分、Schwarz不等式和假設(shè)前提，有：

化簡上式，得：

即ki=r+n+1時，式(12)也成立，于是式(12)得證。其次，反復(fù)運用式(12)和(7)，有：

(13)

于是：

引理1(a)得證。

(b)利用式(6)、分部積分、Schwarz不等式和(13) (其中，取ki=r+1,i=1,2,…,l)，有：

引理1(b)證畢。

引理2設(shè)u是問題(5)對應(yīng)主譜λ1的特征向量，則：

(j=1,2,…,s-1)

證明: (a) 利用分部積分和Δ的定義，有：

上述D=diag[c1,-c2,…,(-1)l-1cl]，于是引理2(a)得證。

(b)類似地，

引理2(b)得證。

證明: 運用分部積分，有：

移項得：

于是，根據(jù)引理1(b) ，有：

引理3得證。

證明: 運用分部積分，有：

這里F=diag[s-1,s,…,s+l-2]，上式移項后，有：

利用引理2(a)和引理1(a)，有：

引理4成立。

引理5 測試函數(shù)φk和主譜λ1滿足下列不等式：

證明: 利用φk的定義和分部積分，有：

上式移項求和，并利用引理2(b)和式(6)可得：

(14)

利用式(14)、Schwarz不等式、引理2(b)和式(13)，有：

(15)

根據(jù)式(14)和(15)，引理5成立。

定理1的證明: 在式(11)中將k從1到m求和，有：

將上式代入式(8)，可得：

(16)

從引理5，可得：

(17)

于是，將引理3、4中的估計結(jié)論和式(17)同時代入式(16)，化簡即得定理1中的式(4)。

3 結(jié)語

自然界、工程技術(shù)中許多的復(fù)雜問題都可歸結(jié)為高階微分系統(tǒng)的譜問題，在有關(guān)調(diào)和算子譜估計等問題的研究基礎(chǔ)上，推廣討論了高階調(diào)和算子組的譜問題，借助變分原理，得到了估計主次譜間隙的一個上界不等式，結(jié)果顯示，參考文獻(xiàn)[8]中討論的問題僅是本文問題的特殊情形，因此，本研究結(jié)論在微分算子的譜理論以及物理等學(xué)科中有著更廣的應(yīng)用價值。