婁珍珍 ,李靈曉

(1.凱里學(xué)院數(shù)理系,貴州凱里 556000;2.河南科技大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,河南洛陽 471003)

0 前言

對(duì)于常型常微分算子的特征值問題的討論,已經(jīng)知道可以轉(zhuǎn)化為一個(gè)整函數(shù)零點(diǎn)的討論[1-5]。本文研究了2×2 Sturm-Liouville周期邊界條件問題,闡明了特征值的秩與其相應(yīng)函數(shù)零點(diǎn)重?cái)?shù)是相一致的,該結(jié)論的給出對(duì)于特征展開定理和跡公式的計(jì)算有著重要的意義。

1 問題的提出

記

考慮下面周期邊界條件下的特征值問題:

設(shè)φi=(φ1,φ2)T,(i=1,2,3,4)是4個(gè)滿足式(1)中第1式的解,分別在x=0處滿足

顯然,Wronsky行列式W[ф1(x),ф2(x),ф3(x),ф4(x)]=1,4個(gè)解線性無關(guān),可以構(gòu)造一個(gè)基礎(chǔ)解系。設(shè)

是特征函數(shù),則y(x)一定滿足式(1)中第2式的邊界條件,即

此式可依次寫成以下齊次線性組:

由方程組有非零解知,系數(shù)行列式為零。記

命題1 記

(i)λ0為問題(1)的特征值的充分必要條件是ω(λ0)=0。

(ii)R(λ0)+R(Ω(λ0))=4。

命題2 設(shè)Ψi(x,λ)(i=1,2,3,4)是4個(gè)滿足方程(1)第1式的解,記為

記ai=(ai1,ai2,ai3,ai4)T,i=1,2,3,4,其中ai≠0,如果ω(λ0)=0,且ΩTai=0,則(i)Ψi(x,λ0)是問題(1)的特征函數(shù),且滿足

其中,i=1,2,3,4;j=1,2。

(ii)式(5)中極大線性無關(guān)組中的個(gè)數(shù)為R(A)。

由Lagrange恒等式及文獻(xiàn)[6]可得:

引理1 設(shè)Ψi(x,λ0)是式(5)所給的特征函數(shù)(i=1,2,3,4),λ0是特征值,簡(jiǎn)記Ψi(x,λ0)為Ψi;記一元函數(shù)Ψ(π,λ)在λ=λ0處的取值為:

其中,i=1,2,3,4;j=1,2;k=1,2。記兩矢量函數(shù)ψ,ф內(nèi)積為 ＜ψ,ф＞,其定義為:

可得到16個(gè)恒等式,矩陣形式如下:

2 問題的解決

定理1 設(shè)λ0為問題(1)的特征值,其秩記為R(λ0),則R(λ0)=r(r=1,2,3,4)的充分必要條件是ω(i)(λ0)=0(i=0,1,…,r-1),且ω(r)(λ0)≠0。其中“(i)”代表ω(λ)=0關(guān)于λ的i次導(dǎo)數(shù)。

證明 由命題2的結(jié)論(2),以下按r=4證明定理的結(jié)論。

(i)R(A)=4,λ0對(duì)應(yīng)4個(gè)特征函數(shù)Ψi(x,λ0),r=1,2,3,4。

(ii)R(A)=3,ω(λ0)=ω(λ0)=ω(λ0)=0,ω(3)(λ0)≠0。

R(A)=2,ω(λ0)=ω(λ0)=0,ω(λ0)≠0。 R(A)=1,ω(λ0)=0,ω(λ0)≠0。

類似(i)的步驟可證明以上結(jié)論,因篇幅有限,本文不再贅述。

[1] 呂勝關(guān),閆照東.一個(gè)三點(diǎn)邊值的Sturm-Liouville問題的跡公式[J].鄭州大學(xué)學(xué)報(bào):自然科學(xué)版,2001,33(2):1-5.

[2] 李靈曉,蘇婷.一個(gè)帶三點(diǎn)邊條件的特征值問題的跡公式[J].河南科技大學(xué)學(xué)報(bào):自然科學(xué)版,2006,27(3):79-82.

[3] 楊瀟,王永剛.一個(gè)帶三點(diǎn)邊條件的非線性特征值問題[J].信陽師范學(xué)院學(xué)報(bào):自然科學(xué)版,2009,22(4):489-492.

[4] 趙曉花,李靈曉.一個(gè)四階微分算子的非線性特征值問題[J].河南科技大學(xué)學(xué)報(bào):自然科學(xué)版,2007,28(4):78-80.

[5] 李祖平,李靈曉.一個(gè)帶周期邊界條件的非線性特征值問題[J].河南科技大學(xué)學(xué)報(bào):自然科學(xué)版,2006,27(1):72-74.

[6] 李夢(mèng)如,鄭瑩.周期邊界條件下四階常微分算子特征值的秩[J].鄭州大學(xué)學(xué)報(bào):理學(xué)版,2004,36(4):1-5.

[7] 北京大學(xué)數(shù)學(xué)系幾何與代數(shù)教研室代數(shù)小組.高等代數(shù)[M].北京:高等教育出版社,1992.

[8] 曹之江.常微分算子[M].上海:上?？萍汲霭嫔?1985.

[9] 曹策問.特征值理論講義[Z].鄭州:鄭州大學(xué)數(shù)學(xué)系,1980.

[10] 納依瑪克M A.線性微分算子[M].北京:科學(xué)出版社,1984.