劉常凱,張茂柱
(泰山學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院,山東泰安 271021)
邊界條件中含有特征參數(shù)的Sturm-Liouville問題許多作者做了大量的研究(如參考文獻(xiàn)[1-5]等),這些文章主要討論正則情形.對于奇異情形時(shí)兩邊界條件均含參數(shù)的Sturm-Liouville問題有較少的研究.本文考慮奇異Sturm-Liouville問題
參數(shù)邊界條件為
構(gòu)造新的Hilbert空間H=L2(a,b)⊕C2,?F,G∈H,F(xiàn)=(f(x),f1,f2)T,G=(g(x),g1,g2)T,定義H上的內(nèi)積為
構(gòu)造算子A為
引理1[6]
引理2[6]
定理1 算子A的定義域D(A)在H中稠.
證明:設(shè)F=(f(x),f1,f2)T∈H,且F⊥D(A),下證F=0.假設(shè)U=(u(x),u1,u2)T,u(x)∈C0∞(a, b),則U∈D(A),并且F⊥U,即,因此f(x)在L2(a,b)中正交于C0∞(a,b),故f(x)在區(qū)間(a,b)內(nèi)幾乎處處為0.假設(shè)V=(v(x),v1,0)T∈D(A),則.由于v1可以任意選取,故f1=0.同時(shí)f2=0.
定理2 算子A為H中的對稱算子.
證明:對?F,G∈H有
又因?yàn)閡,v是實(shí)的,且[u,v](a)=1.由引理1得
同理,[f,u](b)[v,g](b)-[f,v](b)[u,g](b)=-[f,g](b).所以,(AF,G)-(F,AG)=0.
定理3 算子A為H中的自伴算子,并且算子A的特征值即為問題(1.1)-(1.3)的特征值.
證明:只需證明若對任何的F=(f(x),f1,f2)T∈D(A)有(AF,G)=(F,W)成立,則
G∈D(A)且AG=W,其中G=(g(x),g1,g2)T,W=(w(x),w1,w2)T∈H,即
(1)g,g'∈ACloc(a,b),lg∈L2(a,b),lg=w;
(2)g1=a1[g,u](a),g2=a2[g,u](b);
(3)-b1[g,u](a)+[g,v](a)=w1,-b2[g,u](b)+[g,v](b)=w2.
事實(shí)上,對任意的f(x)∈C∞0(a,b),F(xiàn)=(f(x),0,0)T∈D(A),由(AF,G)=(F,W)得到由標(biāo)準(zhǔn)的Sturm-Liouville理論(1)成立.下證(2)、(3)成立.由(AF,G)=(F,W)可得
由引理2,存在f使得[f,u](a)=0,[f,v](a)=1,[f,u](b)=[f,v](b)=0.
由引理1結(jié)合上式可得g1=a1[g,u](a).同理也存在f使得
[f,u](a)=1,[f,v](a)=0,[f,u](b)=[f,v](b)=0.
由引理1結(jié)合g1=a1[g,u](a)可得-b1[g,u](a)+[g,v](a)=w1.同理可證(2)(3)的其余部分成立.
[1]Johann Walter.Regular eigenvalue problemswith eigenvalue parameter in the boundary conditions[J].Math.Z.,1973,(133):301-312.
[2]C.T.Fulton.Two-piont boundary value problems with eigenvalue parameter contained in the boundary conditions[J].Proc.Roy.Soc.Edinburgh,1977,(77A):293-308.
[3]P.A.Binding,P.J.Browne,K.Seddighi.Sturm-Liouville problems with eigenparameter dependent boundary conditions[J].Proc.Edinburgh.Math.Soc.,1993,37(2):57-72.
[4]P.A.Binding,P.J.Browne,B.A.Watson.Equivalence of inverse Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter[J].J.Math.Anal.Appl.,2004,(291):246-261.
[5]Jussi Behrndt,Carsten Trunk.Sturm-Liouville operatorswith indefinite weight functions and eigenvalue depending boundary conditions[J].J.Differential Equations,2006,(222):297–324.
[6]A.Zettl.Sturm–Liouville Theory[J].American Mathematical Society,Mathematical Surveys and Monographs,2005,(121).