1. 引言
微分方程边值问题是微分方程理论中较为重要的研究方向。众所周知,三阶微分方程起源于应用数学和物理学的各个不同领域中,其应用范围十分广泛。例如,带有固定或变化横截面的屈曲梁的挠度、三层梁、电磁波、地球引力吹积的涨潮、工程力学等。因此,对于三阶微分方程边值问题的研究理论已然相当成熟,如文献 [1] [2]。正是基于热传导和边界在滑杆上的弦振动问题,因此对于微分方程边值问题 [3] 有限谱的研究逐渐受到很多学者的青睐,例如对于Sturm-Liouville问题有限谱 [4] [5] [6] [7],带有转移条件的Sturm-Liouville问题有限谱 [8] [9] [10] [11],以及边界条件中含有谱参数的Sturm-Liouville有限谱问题的研究。且阶数已从二阶增加到四阶、六阶,甚至2n阶 [12] [13] [14] [15],正因为都是偶数阶,所以可以很自然的推广到高阶偶数阶问题上去。但是对于奇数阶具有有限谱的微分方程边值问题的研究仍然是比较困难的,随着Ao等人对于两类具有有限谱的三阶微分方程边值问题的提出 [16],使得三阶微分方程边值问题的有限谱理论成为解决实际问题的关键。理论上三阶微分方程边值问题是否具有有限谱,它的转移条件是否对于其特征值个数会产生影响,对这些问题的探讨都是非常有必要的。
目前,学者们对于偶数阶微分方程边值问题是否具有有限谱的研究做出了大量的杰出工作,如文献 [17] [18] [19]。值得一提的是,2017年,Ao研究了下述两类具有有限谱的三阶边值问题
对于每一个正整数m,该问题至多有
个特征值,他们运用的主要工具有判断函数的迭代、代数学基本定理等。
受以上杰出工作的启发,本文主要考虑下述一类具有n个转移条件的三阶边值问题的有限谱
其中
,
,
,
,
,
,
,
,
。此处
为谱参数,且系数满足最小条件
(4)
其中
表示在J上Lebesgue可积的复值函数构成的集合。条件(4)是方程(1)所有初值问题在
上具有唯一解的充要条件,参见 [20]。在本文中,设(4)恒成立,我们将证明问题(1)~(3)仍然具有有限谱。
2. 预备知识及说明
令
,则与方程
等价的系统表示为:
(5)
可写成如下矩阵形式
(6)
定义1:方程在J的子区间上的平凡解是指在子区间上y及其拟导数
都为零的解y。
引理1:设
为系统(5)满足初始条件
的基解矩阵,则
是问题(1)~(3)的特征值当且仅当
(7)
特别地:
(8)
其中
仅仅是依赖于矩阵
的常数。
证明:引理第一部分的证明见文献 [16],式(8)直接计算可得。 □
定义2:若对所有的
,或对任意的
,则称问题(1)~(3) (或等价问题(4) (2) (3))为退化的。
3. 具有n个转移条件的三阶边值问题的有限谱
在这一部分中我们设对于区间J有如下分割
(9)
对于某些正整数
,当
时,我们有
(10)
而
时,则有
(11)
引理2:设(9)~(11)成立,对于每一个
。
为系统(5)满足初始条件
的基解矩阵;
为系统(5)满足初始条件
(此处
)的基解矩阵,则有
1)
(12)
(13)
其中
一般地,对于
,
(14)
2)
(15)
(16)
其中
更一般地,对于
,
(17)
证明:由(5)可知在r恒等于零的子区间v是常数,而在
恒等于零的子区间上z是常数。通过反复应用(5),即可得出结论。 □
引理3:设(9)~(11)成立,对于每一个
,
为系统(5)满足初始条件
的基解矩阵;
为系统(5)满足初始条件
(此处
)的基解矩阵,则有
其中
证明:证明方法与文献 [21] 中引理3.3类似,具体参见文献 [21] 和 [22]。□
引理4:设(9)~(11)成立,对于每一个
,
为系统(5)满足初始条件
的基解矩阵;
为系统(5)满足初始条件
(此处
)的基解矩阵。对于
则有如下结果
其中
证明:由引理2可知
其中
由于
故
其中
重复上述方法,我们得到
其中
且
故
因此
(18)
重复上述方法,可得
(19)
结合引理3可知
综合(18)和(19),结论得证。 □
定理3:设
,
,且(9)~(11)成立,则问题(1)~(3)至多有
个特征值。
证明:由引理1可知
再由引理4可知,
关于
的次数都
,而
,
关于
的次数都为
,由代数学基本定理可知,
时,至多有
个特征值。其它情况判断函数
关于
的次数必定小于或等于
。定理得证。 □
参考文献