边界和转移条件中带有谱参数的Sturm-Liouville问题特征值的渐近估计

包黎艳 ,  郝晓玲

内蒙古大学学报(自然科学版) ›› 2025, Vol. 56 ›› Issue (06) : 569 -575.

PDF (451KB)
内蒙古大学学报(自然科学版) ›› 2025, Vol. 56 ›› Issue (06) : 569 -575. DOI: 10.13484/j.nmgdxxbzk.20250601

边界和转移条件中带有谱参数的Sturm-Liouville问题特征值的渐近估计

作者信息 +

Asymptotic Behavior for the Sturm-Liouville Problem with Eigenparameter-Dependent Boundary Conditions and Transmission Conditions

Author information +
文章历史 +
PDF (461K)

摘要

研究了一类边界条件二次依赖谱参数且转移条件中带有谱参数的二阶不连续Sturm-Liouville问题。首先,结合边界条件和转移条件,定义了问题的基本解,并进一步构造了判别函数。最后,利用复分析理论得到了该问题的特征值的渐近估计式。

Abstract

A class of second-order discontinuous Sturm-Liouville problem with eigenparameter-dependent boundary conditions and transmission conditions containing spectral parameters is studied. By combining the boundary conditions and transmission conditions, the fundamental solution of the problem is defined, and further, a discriminant function is constructed. Finally, using the theory of complex analysis, an asymptotic estimation formula for the eigenvalues of the problem is obtained.

关键词

Sturm-Liouville问题 / 特征值的渐近式 / 谱参数 / 边界条件 / 转移条件

Key words

Sturm-Liouville problem / asymptotic behavior of eigenvalue / eigenparameter / boundary condition / transmission condition

引用本文

引用格式 ▾
包黎艳,郝晓玲. 边界和转移条件中带有谱参数的Sturm-Liouville问题特征值的渐近估计[J]. 内蒙古大学学报(自然科学版), 2025, 56(06): 569-575 DOI:10.13484/j.nmgdxxbzk.20250601

登录浏览全文

4963

注册一个新账户 忘记密码

Sturm-Liouville(S-L)理论因其重要性而闻名,特别是在数学物理领域。多年来,许多数学家对S-L问题进行研究,并取得了丰硕成果1-8,特别是正则S-L问题9-11。鉴于现代技术和工程以及物理研究的需要,比如在光的衍射和医学等领域的广泛应用,带转移条件的S-L问题成为近年来研究的一个重要课题。Mukhtarov等12-15研究了带转移条件的不连续边值问题及其在抛物型方程初边值问题中的应用。Titeux等16还研究了一些在力学中出现的转移条件问题(薄层板的热传导问题)。Akdoĝan等17-20研究了谱参数不仅出现在微分方程中,而且出现在边界条件和转移条件下的不连续S-L问题。具有特征参数的边界条件问题因为可以解决更多的数理问题,已受到众多学者的关注。例如,Fulton21早在1977年就研究了边界条件带有谱参数的S-L问题,并给出了特征值和特征函数的估计。2005年,Mukhtarov等22研究了一类不连续的S-L问题,推广了不连续S-L问题的一些方法和结果,引入了一个特殊的希尔伯特空间,使用与之前研究类似的方式来解释自伴算子的本征值问题。Binding等23研究了边界条件包含谱参数多项式的S-L问题,提供了本征值和本征函数的渐近估计。本文研究了一类二阶不连续S-L问题,其边界条件是有谱参数的二次多项式且转移条件中带有谱参数,得到了该问题的基本解、判别式和特征值的渐近估计式。

1 预备知识

研究以下二阶不连续S-L问题:

-y+qy=λy

边界条件为

L1(y):=y(a)cosα-y'(a)sinα=0
L2(y):=y'(b)y(b)=a2λ2+a1λ+a0

间断点x=c处的转移条件为

L3(y):=y(c+0)-y(c-0)=0
L4(y):=γ2y'(c+0)-γ1y'(c-0)+(λδ1+δ2)y(c)=0

其中,x[a,c)(c,b]λ是谱参数;q(x)x[a,c)(c,b]上是实值连续函数,左右极限存在且有限;q(±c)=limx±cq(x)a0,a1,a2均为实数,a20。假设γ1,γ2,δ1>0γ1=γ2,并且令f(λ)=a2λ2+a1λ+a0

定义方程(1)的两个基本解为

ϕ(x,λ)=ϕ1(x,λ),x[a,c)ϕ2(x,λ),x(c,b]χ(x,λ)=χ1(x,λ),x[a,c)χ2(x,λ),x(c,b]

ϕ1(x,λ)满足初始条件ϕ1(a,λ)ϕ1'(a,λ)=sinαcosα,并且是方程(1)在区间[a,c)上的解,显然ϕ1(x,λ)满足边界条件(2)。用转移条件(4)和(5)定义ϕ2(x,λ),满足初始条件ϕ2(c+0)ϕ2'(c+0)=ϕ1(c-0)γ1γ2ϕ1'(c-0)-(λδ1+δ2)γ2ϕ1(c-0),且是方程(1)在区间(c,b]上的解,定义χ1(x,λ)χ2(x,λ)为满足条件χ2(b,λ)χ2'(b,λ)=1a2λ2+a1λ+a0χ1(c-0)χ1'(c-0)=χ2(c+0)γ2γ1χ2'(c+0)+(λδ1+δ2)γ1χ2(c+0)的解。

引理 1ω1(λ)=γ2γ1ω2(λ)

证明 考虑朗斯基行列式ωi(λ)=W(ϕi,χi;λ)=ϕiχi'-ϕi'χi,i=1,2,在区间[a,c)(c,b]上是关于λ的整函数,代入每一个初始条件中就可以得到W(ϕ2,χ2;c+0)=γ1γ2W(ϕ1,χ1;c-0),因此对于每一个λC,都有ω1(λ)=γ2γ1ω2(λ)成立。

接下来,定义判别函数ω(λ):=ω1(λ)=γ2γ1ω2(λ)

定理 1λ0是S-L问题(1)—(5)特征值的充要条件是ω(λ0)=0。

证明λ0ω(λ)的零点,ω(λ0)=0,则x[a,c)W(ϕ1(x,λ0),χ1(x,λ0))=0,ϕ1(x,λ0)χ1(x,λ0)线性相关,此时存在k10,使得χ1(x,λ0)=k1ϕ1(x,λ0)ϕ1(a,λ)ϕ1'(a,λ)=sinαcosα可知,sinαχ1'(0,λ)-cosαχ1(0,λ)=k1(sinαcosα-cosα sinα)=0,因此χ(x,λ)满足边界条件(3)。

从上述讨论可知,χ(x,λ)满足式(2)—(5),因此χ(x,λ0)是特征值λ0对应的特征函数。反之,若λ0是特征值,令y0(x,λ0)是对应的特征函数,假设ω(λ0)0,那么ϕ1χ1,ϕ2χ2线性无关,令

y0(x,λ0)=c1ϕ1(x,λ0)+c2χ1(x,λ0),x[-1,0)c3ϕ2(x,λ0)+c4χ2(x,λ0),x(0,1]

其中,至少有一个常数ci(i=1,2,3,4)不为零,根据y0(x)的定义和转移条件(4)可知,y0(c+)=c3ϕ2(c,λ0)+c4χ2(c,λ0)=c3ϕ1(c,λ0)+c4χ1(c,λ0)y0(c+)=y0(c-)=c1ϕ1(c,λ0)+c2χ1(c,λ0),则(c3-c1)ϕ1(c,λ0)+(c4-c2)χ1(c,λ0)=0同理可得(c3-c1)γ1γ2ϕ1'(c,λ)+(c4-c2)γ1γ2χ1'(c,λ)=0,则

100γ1γ2(c3-c1)ϕ1(c,λ0)+(c4-c2)χ1(c,λ0)=0(c3-c1)ϕ1'(0,λ)+(c4-c2)χ1'(0,λ)=0=0

所以c3=c1,c4=c2。通过边界条件(2)和(3)以及前两个初始条件可知,L1(y0(x))=c2ω1(λ0)=0,因为ω1(λ0)0,所以c2=c4=0,用类似方法可得L2(y0(x))=c3ω2(λ0)=0c3=c1=0,故c1=c2=c3=c4=0,这与所设是矛盾的,因此ω(λ0)=0

从以上定理可知,S-L问题的特征值与判别函数的零点是一致的。

2 特征值的渐近式

首先给出基本解的渐近式。

定理 2λ=s2,s=σ+ik,则下面的积分方程成立:

ϕ1(x,λ)=sinαcossx+cosαsinsxs+1s0xsin[s(x-t)]q(t)ϕ(t,λ)dt
ϕ1'(x,λ)=-ssinαsinsx+cosαcossx+0xcos[s(x-t)]q(t)ϕ(t,λ)dt
ϕ2(x,λ)=Acoss(x-c)+Bssins(x-c)+1scxsin[s(x-t)]q(t)ϕ2(t,λ)dt
ϕ2'(x,λ)=-Assin(x-c)+Bcoss(x-c)+cxcos[s(x-t)]q(t)ϕ2(t,λ)dt

其中,A=ϕ1(c-0)B=γ1γ2ϕ1'(c-0)-(λδ1+δ2)γ2ϕ1(c-0)

证明 由常数变异法可知

ϕ1(x,λ)=c1cossx+c2sinsxs+1saxsin[s(x-t)]q(t)ϕ1(t,λ)dt

由初始条件知ϕ1(x,λ)=sinα=c1,ϕ1'(x,λ)=cosα=c2,代入上式可得式(6)。同理,

ϕ2(x,λ)=c3cossx+c4sinsxs+1scxsin[s(x-t)]q(t)ϕ1(t,λ)dt

ϕ2(c+0)=ϕ1(c-0),ϕ2'(c+0)=γ1γ2ϕ1'(c-0)-(λδ1+δ2)γ2ϕ1(c-0)代入上式可得

c3=Acossc-Bssinsc c4=Bcossc+Assinsc

整理可得式(8),对式(6)式(8)分别进行求导,即可得证。

定理 3λ=s2,s=σ+ikλ,下面的渐近式

ϕ1(x,λ)=sinαcossx+O(s-1ekx)ϕ1'(x,λ)=-ssinαsinsx+O(ekx)    

ax<c上一致成立,

ϕ2(x,λ)=sinαcossccoss(x-c)-γ1γ2sinαsinscsins(x-c)+O(s-1ek(x-c))ϕ2'(x,λ)=-ssinαcosscsins(x-c)-γ1sγ2sinαsinsccoss(x-c)+O(ek(x-c))

c<xb上一致成立。

证明ϕ1(x,λ)=ekxF(x,λ), u(λ)=maxax<cF(x,λ),

F(x,λ)=sinαcossx+cosαsinsxse-kx+1saxsins(x-t)e-k(x-t)q(t)F(t,λ)dt

cossxekxsinsxekx可得,u(λ)sinα+cosαs+1saxq(t)u(λ)dt,当s>2acq(t)dt时,有

u(λ)sinα+cosαs/1-1sacq(t)dt<M

M是与λ无关的常数,将ϕ1(x,λ)=ekxF(x,λ)代入式(6),有ϕ1(x,λ)=sinαcossx+O(s-1ekx),求导可得ϕ1'

下证ϕ2(x,λ)。将A,B以及

ϕ1(c-0)=sinαcossc+cosαsinscs+1sacsin[s(c-t)]q(t)ϕ1(t,λ)dt
ϕ1'(c-0)=-ssinαsinsc+cosαcossc+accos[s(c-t)]q(t)ϕ1(t,λ)dt

代入式(8)ϕ2(x,λ)=A1+A2+A3+A4,其中

A1=sinαcossccoss(x-c)-γ1γ2sinαsinscsins(x-c)
A2=cosαsinscscoss(x-c)+1scos(x-c)acsin[s(c-t)]q(t)ϕ1(t,λ)dt
A3=λδ1+δ2γ2ssinαcossc+cosαsinscssins(x-c)      +λδ1+δ2γ21s2sins(x-c)acsin[s(c-t)]q(t)ϕ1(t,λ)dt,
A4=γ1γ2cosαcosscssins(x-c)+γ1γ21ssins(x-c)accos[s(c-t)]q(t)ϕ1(t,λ)dt
+1scxsin[s(x-t)]q(t)ϕ2(t,λ)dt,

ϕ2(x,λ)=ek(x-c)v(λ),v(λ)=i=14vi(λ),vi(λ)=maxc<xbAi(x,λ),Q1=acq(t)dtQ2=cxq(t)dt,由coss(x-c)ek(x-c)sins(x-c)ek(x-c)得,A1sinαcossc+γ1γ2sinαsinscM1,则v1(λ)<M1A2cosαsinscs+1sacq(t)v2(λ)dt,则

v2(λ)cosαsinscs/1-1sQ1<M2
A3λδ1+δ2γ2ssinαcossc+cosαsinscs+λδ1+δ2γ21s2acq(t)v3(λ)dt

v3(λ)λδ1+δ2γ2ssinαcossc+cosαsinscs/1-λδ1+δ2γ21s2Q1<M3
A4γ1γ2cosαcosscs+γ1γ21sacq(t)v4(λ)dt+1scxq(t)v4(λ)dt

v4(λ)γ1γ2cosαcosscs/1-γ1γ21sQ1-1sQ2<M4,

因此,v(λ)<M1+M2+M3+M4R,即ϕ2(x,λ)=O(ek(x-c))。同理,A2+A3+A4=O(s-1ek(x-c)),因此,ϕ2(x,λ)=sinαcossccoss(x-c)-γ1γ2sinαsinscsins(x-c)+O(s-1ek(x-c)),求导后可得ϕ2'(x,λ)

接下来,通过以下两个定理得到特征值的渐近估计式。

定理 4λ=s2,s=σ+ikω2(λ)渐近估计式为

ω2(λ)=s4a2sinαcossccossb-c-γ1γ2sinαsinscsinsb-c+O(s3ek)

证明

χ2(b,λ)χ2'(b,λ)=1a2λ2+a1λ+a0,χ1(c-0)χ1'(c-0)=χ2(c+0)γ2γ1χ2'(c+0)+(λδ1+δ2)γ1χ2(c+0)

代入ω2(λ)的表达式可知,ω2(λ)=ϕ2(b,λ)χ2'(b,λ)-ϕ2'(b,λ)χ2(b,λ)=ϕ2(b,λ)(a2λ2+a1λ+a0)-ϕ2'=(a2λ2+a1λ+a0)sinαcossccoss(b-c)-γ1γ2sinαsinscsins(b-c)+ssinαcosscsins(b-c)+γ1sγ2sinαsinsccoss(b-c)+(a2λ2+a1λ+a0)O(s-1ek(x-c))+O(ek(x-c)),所以ω2(λ)λ2=(a2+a1s2+a0s4)sinαcossccoss(b-c)-γ1γ2sinαsinscsins(b-c)+γ1γ2ssinαsinsccoss(b-c)+1s3sinαcosscsins(b-c)+O(ek(x-c))。其中,(a1s2+a0s4)sinαsinsccoss(b-c)-γ1γ2sinαsinscsins(b-c)+γ1γ2ssinαsinsccoss(b-c)+ 1s3sinαcosscsins(b-c)γ1γ2+1a1s-2+γ1γ2+1a0s-4+γ1γ2+1s-3sinαek。因此

ω2(λ)λ2=a2sinαcossccossb-c-γ1γ2sinαsinscsinsb-c+Os-1ek,sinα0,ω2(λ)=s4a2sinαcossccossb-c-γ1γ2sinαsinscsinsb-c+Os3ek,sinα0

定理 5 S-L问题(1)—(5)的特征值λn=sn2,n=0,1,2...的渐近估计式为

sn=πb(n-32)+O(1n),sinα0

证明 下面只证明sinα0的情形,其他情形可以使用类似的方法。记ω2(s)=ω0(s)+a(s),则ω0(s)=s4a2sinαcossccoss(b-c)-sinαsinscsins(b-c)因为ω0(s)>a(s),根据儒歇定理可知,ω2(s)ω0(s)有相同的零点。令λ0λ1...λnω2(s)的零点,因为sn=πb(n-32)+δn,可得w2(s)s3=(πb(n-32)+δn)(sinαcos[(n-32)π+bδn])+α(λn)=0,由于α(λn)有界,δn<πb(n-32),有sinδnb=αn(λn)/sinα[πb(n-32)+δn]因此,

sinδnb=O(1n)δn=O(1n)sn=πb(n-32)+O(1n)

参考文献

[1]

LI KSUN JHAO X Let al.Spectral analysis for discontinuous non-self-adjoint singular Dirac operators with eigenparameter dependent boundary condition[J].Journal of Mathematical Analysis and Applications2017453(1):304-316.

[2]

CAI J MZHENG Z W.A singular Sturm-Liouville problem with limit circle endpoints and eigenparameter dependent boundary conditions[J].Discrete Dynamics in Nature and Society20172017(1):9673846.

[3]

KADAKAL MMUKHTAROV O S.Eigenvalues and eigenfunctions of Sturm-Liouville problem with two point discontinuities containing eigenparameter-dependent boundary conditions[J].Scientia Magna20106(4):33-48.

[4]

MUKHTAROV O SKADAKAL M.On a Sturm-Liouville type problem with discontinuous in two points[J].Far East Journal of Applied Mathematics200519(3):337-352.

[5]

NAIMARK M A.Linear differential operators:Part Ⅱ[M].Harrap:London,1968.

[6]

TOKMAGAMBETOV NTOREBEK B T.Greens formula for integro-differential operators[J].Journal of Mathematical Analysis and Applications2018468(1):473-479.

[7]

甄国华,姚斯琴,李润梅.一类不连续不定Sturm-Liouville算子的自共轭性[J].内蒙古大学学报(自然科学版)202455(4):337-344.

[8]

周乐,郝晓玲.一类Hilfer分数阶微分方程的平方可积解[J].内蒙古大学学报(自然科学版)202455(3):225-231.

[9]

ZETTL A.Sturm-Liouville theory[M].Providence,RI:American Mathematical Society,2005.

[10]

YANG Q XWANG W YZHANG X Y.Asymptotic behavior of a regular Sturm-Liouville problem[J].内蒙古大学学报(自然科学版)200839(1):7-12.

[11]

杨秋霞,王万义,张新艳.一类右定Sturm-Liouville算子特征的渐近分析[J].内蒙古大学学报(自然科学版)200738(6):610-615.

[12]

MUKHTAROV O S.Discontinuous boundary-value problem with spectral parameter in boundary conditions[J].Turkish Journal of Mathematics199418(2):183-192.

[13]

MUKHTAROV O SDEMIR H.Coerciveness of the discontinuous initial-boundary value problem for parabolic equations[J].Israel Journal of Mathematics1999114(1):239-252.

[14]

MUKHTAROV O SKANDEMIR MKURUOLU N.Distribution of eigenvalues for the discontinunous boundary value problem with functional manypoint conditions[J].Israel Journal of Mathematics2002129(1):143-156.

[15]

TUNÇ EMUKHTAROV O S.Fundamental solutions and eigenvalues of one boundary-value problem with transmission conditions[J].Applied Mathematics and Computation2004157(2):347-355.

[16]

TITEUX IYAKUBOV Y.Completeness of root functions for thermal conduction in a strip with piecewise continuous coefficients[J].Mathematical Models and Methods in Applied Sciences19977(7):1035-1050.

[17]

AKDOĜAN ZDEMIRCI MMUKHTAROV O S.Discontinuous Sturm-Liouville problem with eigenparameter dependent boundary and transmission conditions[J].Acta Applicandae Mathematica200586(3):329-344.

[18]

DEMIRCI MAKDOĜAN ZMUKHTAROV O S.Asymptotic behavior of eigenvalues and eigenfunctions of one discontinuous boundary-value problem[J].International Journal of Computational Cognition20042(3):101-113.

[19]

AKDOĜAN ZDEMIRCI MMUKHTAROV O S.Sturm-Liouville problems with eigendependent boundary and transmissions conditions[J].Acta Mathematica Scientia200525(4):731-740.

[20]

AKDOĜAN ZDEMIRCI MMUKHTAROV O S.Normalized eigenfunctions of discontinuous Sturm-Liouville type problem with transmission conditions[J].Applications Mathematical Sciences20071(52):2573-2591.

[21]

FULTON C T.Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions [J].Proceedings of the Royal Society of Edinburgh Section A:Mathematics197777(3/4):293-308.

[22]

MUKHTAROV O SKADAKAL M.Some spectral properties of one Sturm-Liouville type problem with discontinuous weight[J].Siberian Mathematical Journal200546(4):681-694.

[23]

BINDING PBROWE PWATSON B.Equivalence of inverse Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter[J].Joumal of Mathematical Analysis and Applications2004291(1):246-261.

基金资助

国家自然科学基金项目(12361027)

AI Summary AI Mindmap
PDF (451KB)

87

访问

0

被引

详细

导航
相关文章

AI思维导图

/