景海斌 鄧全才 岳崇山
(1.河北建筑工程學(xué)院,河北張家口075000;2.河北北方學(xué)院理學(xué)院,河北 張家口075000)
其中p(t)=p1(t)+ip2(t)≠0,q(t)=q1(t)+iq2(t)是復(fù)值函數(shù),w(t)是一個(gè)權(quán)函數(shù),并在[0,+∞)上幾乎處處大于在[0,+∞)上局部可積,λ∈? 是一個(gè)譜參數(shù).為表達(dá)方便,記早在1910年H.Weyl就對(duì)方程(1)為實(shí)系數(shù)的情形進(jìn)行了討論,并給出了方程的一個(gè)分類(lèi):極限點(diǎn)型和極限圓型.若對(duì)任何λ∈?,方程(1)的任一解y∈,則稱方程為極限圓型,否則為極限點(diǎn)型.之后出現(xiàn)了許多關(guān)于極限點(diǎn)和極限圓的判別準(zhǔn)則(如[1,p1552-1560]).對(duì)于復(fù)系數(shù)情況的討論開(kāi)始于Sims的研究(見(jiàn)[2]),之后B.M.Brown等人給出了方程(1)的Sims分類(lèi):極限點(diǎn)1型、極限點(diǎn)2型和極限圓型(見(jiàn)[3,定理2.1]).本文將給出方程(1)為極限點(diǎn)1型的判別準(zhǔn)則.
由此可定義半平面
這里 δλ是 λ 到邊界 ? ∧θ,K的距離.易證對(duì)(θ,K)∈ (θ,K),有
下面給出復(fù)系數(shù)奇異 Sturm-Liouville方程(1)的Sims分類(lèi)(見(jiàn)[3,定理2.1]),對(duì)λ ∈∧θ,K,方程(1)有三種情形可能出現(xiàn):
1)(1)存在唯一的解滿足(3),并且它也唯一屬于,此時(shí)稱方程(1)在∧θ,K上屬于極限點(diǎn)1型;
2)(1)存在唯一的解滿足(3),但所有的解屬于,此時(shí)稱方程(1)在∧θ,K上屬于極限點(diǎn)2型;
3)(1)的所有解均滿足(3),從而也都屬于,此時(shí)稱方程(1)在∧θ,K上屬于極限圓型.
注1 此分類(lèi)與半平面∧θ,K有關(guān),但利用常數(shù)變異法易證,若對(duì)某個(gè)λ0∈?,(1)的所有解均屬于,則對(duì)任意λ∈?,(1)的所有解均屬于,即極限點(diǎn)1型不依賴于∧θ,K.
為給出本文的主要結(jié)果,需用到下面的引理.
引理 設(shè)(θ,K)∈S(θ,K),則對(duì) λ ∈∧θ,K,方程(1)至少有一個(gè)非零解y(t,λ)滿足當(dāng)t≥N時(shí),有|pˉyy'|>l,其中N,l為大于零的常數(shù).(見(jiàn)[4],引理2)
定理1 若存在常數(shù)k1,使得p1(q1-k1w)≥0,p1≠0,且,則方程(1)是極限點(diǎn)1型的.
證明 不妨設(shè)p1>0,令K0=k1+ik2,取θ=0,則由條件可知Re[rp(t)eiθ]=rp1≥0,Re{[q(t)-K0w(t)]eiθ}=q1-k1w≥0,故(0,K0)∈S(θ,K),即0∈A(θ).設(shè)y=y(t,λ)為滿足的方程(1)的非零解,下證y?.
若不然,假設(shè)y∈L2w,由引理知|pˉyy'|>l>0(t≥N),再由Schwartz不等式,當(dāng)t→∞時(shí)有
對(duì)以上等式兩邊從0→t積分并取實(shí)部,再由式及定理?xiàng)l件可得
故由(4),(5)式知,存在0<d<1,使得
兩邊從N→t積分,再由Schwartz不等式得
這與(4)式矛盾,故y?,而由注1知極限點(diǎn)1型不依賴于∧θ,K,故(1)為極限點(diǎn)1型.當(dāng)p1<0的情形,取θ=π,運(yùn)用完全相同的方法可證明結(jié)論的正確性.
注2對(duì)于方程(1)為實(shí)系數(shù)的情況,當(dāng)p(t)≡1,w≡1,若q有下界,則方程(1)必為極限點(diǎn)型(見(jiàn)[5,定理10.1.4]),故此定理包括了實(shí)系數(shù)的相應(yīng)判別準(zhǔn)則.
定理1 是通過(guò)系數(shù)p(t),q(t)的實(shí)部給出判別準(zhǔn)則的,類(lèi)似可得利用p(t),q(t)的虛部也可得到相應(yīng)結(jié)論.
定理2 若存在常數(shù)k2,使得,則方程(1)是極限點(diǎn)1型的.
證明 本定理也分p2>0和p2<0兩種情況證明,并分別取運(yùn)用和定理1類(lèi)似的方法可證明本定理.
例 考慮方程-y"+(t2+1+it3)y=λy,t∈[0,+∞).
這里p(t)=w(t)≡1,q(t)=t2+1+it3,取k1=1,有p1(q1-k1w)=t2≥ 0,t∈[0,+∞).且,因此由定理1可知此方程為極限點(diǎn)1型.
[1]Dunford and J.T.Schwartz.Linear operators(II)[M].New York:Wiley-interscience,1963
[2]A.R.Sims.Secondary conditions for linear diffeRential operators of the second order[J].J.Math.Mech.,1957,6:247~285
[3]B.M.Brown,D.K.R .McCormack,W.D.Evans and M.Plum.On the spectrum of second-order diffeRential operators with complex coefficients[J].Proc.R.Soc.Lond.Ser.,1999,A(455):1235 ~1257
[4]景海斌,綦建剛,岳崇山.復(fù)系數(shù)奇異Sturm-Liouville方程的極限點(diǎn)和極限圓分類(lèi)[J].數(shù)學(xué)物理學(xué)報(bào),2010,30A(6):1534~1541
[5]E.Hille.LectuRes on ordinary diffeRential equations[M].London:Addison-Weyl,1969