1. 引言
差分方程常出现在不同领域的数学模型中,如生物学,生态学,物理学等 [2]。许多的学者进行了这方面的研究,得到了一些重要的结论。学者们根据不同的边界条件对离散问题进行研究,如分离边界条件 [3] [4],耦合边界条件 [5] 以及含谱参数的边界条件 [6] [7]。一般讨论三个方面的问题,一是特征值的数目,二是特征值的分布,三是特征函数的振荡性。
在2014年,高承华考虑了在Neumann边界条件下的二阶离散问题,得到该问题的特征值个数以及特征函数的变号次数 [8]。在2016年高承华等人在边界条件含有谱参数的一次多项式的条件下,考虑了二阶离散Sturm-Liouville问题,在满足条件 ( − 1 ) i δ i ≤ 0 ( δ i = a i d i − b i c i )时,得到结论:该问题特征值的存在性,特征值的个数以及特征函数的振荡性 [9]。
接着在2018年高承华等人考虑了由二阶离散Sturm-Liouville方程和边界条件含有谱参数的二次多项式构成的问题,通过分析法得到在一定条件下该问题的特征值以及相应特征函数的性质 [1]。
本文是文献 [1] [9] 的继续,研究了Sturm-Liouville方程
− ∇ ( p ( t ) Δ y ( t ) ) + q ( t ) y ( t ) = λ r ( t ) y ( t ) , t ∈ [ 1 , T ] ℤ (1)
在边界条件
b 0 y ( 0 ) = b 1 Δ y ( 0 ) , (2)
( c 0 + c 1 λ + c 2 λ 2 + c 3 λ 3 ) y ( T + 1 ) = λ 3 ∇ y ( T + 1 ) , (3)
下算子的谱,得到了比较好的结论。
2. 两个基础函数
我们构造满足问题(1)和(2)的解,当
y ( 0 ) = b 1 , Δ y ( 0 ) = b 0 ,
时,(1)的一组解为
y ( 1 , λ ) , y ( 2 , λ ) , ⋯ , y ( T + 1 , λ ) 。
对于 t ≥ 1 ,当 b 0 + b 1 ≠ 0 时, y ( t , λ ) 是关于 λ 的一元 t − 1 次多项式。当 b 0 + b 1 = 0 时, y ( t , λ ) 是关于 λ 的一元 t − 2 次多项式。本文中,我们仅考虑 b 0 + b 1 ≠ 0 的情况,当 b 0 + b 1 = 0 时,可用类似的方法。与此同时,我们做如下假设:
(A1) 当 t ∈ [ 0 , T ] ℤ 时, p ( t ) > 0 ;当 t ∈ [ 1 , T ] ℤ 时, r ( t ) > 0 ;
(A2) b 0 + b 1 ≠ 0 ;
(A3) c 0 < 0 , c 2 < 0 且。
根据文献 [3], [9] 以及 [10],我们知道由(1) (2)及边界条件构成的问题有T个实根,令, ()表示上述问题的特征值。由(1) (2)及边界条件构成的问题有T个实根,令()表示该问题的特征值。为方便,我们记,,以及。
第一个函数
令
。
引理2.1有如下性质
(i)有个分支,表示为(),且()与轴相交于。
(ii) 在区间内,是严格单调递减的,其中。
(iii) 对于,当时,,当时,,当时,。
第二个函数
为方便,记,,我们有如下的引理成立。
引理2.2 若条件(A3)成立,则与各有一个实根,且根互不相同。
引理2.3 ( [9],引理2.4)假设(A1)和(A2)成立,如果,其中,则问题(1)和(2) 的解在上变号k次。
由引理2.2可知,有一个三重根,有一个根,令的根为,再令
,。
我们知道,求由(1) (2) (3)构成的问题的特征值即为求解的根,因此,我们需要知道的性质。由于,故是的垂直渐近线。,故是的一个零点。因此的图像被分为两段,令表示左分支,令表示右分支,且
根据条件(A3),有,故当与时,是单调增函数,且有
,,。
3. 主要结论
假设与的第K个分支相交,与的第L个分支相交,有
由的性质,可知,当时,;当时,。
定理3.1 假设(A1)~(A3)成立。当时,问题(1)~(3)有个实的特征值,这些特征值以及相应的特征函数满足如下的性质:
(a) 当时,特征值满足如下的不等式
(4)
当时,;当时,。特征值所对应的特征函数在区间上变号k次。
(b) 当时,特征值满足如下的不等式
(5)
当时,;当时,。特征值所对应的特征函数有:当时,在区间上变号k次;当时,在区间上变号次。
证明:(a) 由于以及,可知与没有交点。当时,如果,则与在轴的下半部分相交,有,如果,则;当时,有与在轴的下半部分相交,有;当时,如果时,有与在轴的上半部分相交,有,如果时,有;当时,与在轴的上半部分相交,有故不等式(4)成立。
(b) 由于以及,可知与的图像没有交点,当时,与在轴的上半部分相交,即;当时,如果时,有与在轴的上半部相交,与在轴的下半部分相交,有,如果时,有;当时,有与在轴的下半部分相交,有;当时,如果时,有与在轴的上半部分相交,有,如果时,有;当时,与在轴的上半部分相交,有故不等式(5)成立。
定理3.2 假设(A1)~(A3)成立。当时,问题(1)~(3)有T个实的特征值,这些特征值以及相应的特征函数满足如下的性质:
(6)
(7)
证明:(a) 由于以及,可知与没有交点且与的图像没有交点。
(b) 由于以及,可知和均与的图像没有交点。当时,知与均没有交点,与的图像没有交点。
其余分支与相交的情况同定理3.1,故不等式(6)和(7)成立。
定理3.3 假设(A1)~(A3)成立。当时,问题(1)~(3)有个实的特征值,这些特征值以及相应的特征函数满足如下的性质:
(8)
(9)
特征值所对应的特征函数在区间上变号k次。
证明:(a) 因为以及,可知与的图像没有交点。当时,与在轴的上半部分相交,即;当时,如果时,有与在轴的上半部相交,与在轴的下半部分相交,有,如果时,有;当时,有与在轴的下半部分相交,有;当时,如果时,有与在轴的上半部分相交,有,如果时,有;当时,与在轴的上半部分相交,有故不等式(8)成立。
(b) 因为以及,可知与没有交点,与每一个分支均有一个交点,且在轴的上半部分相交,即,故不等式(9)成立。
定理3.4 假设(A1)~(A3)成立。当时,问题(1)~(3)有个实的特征值,这些特征值以及相应的特征函数满足如下的性质:
(a)当时,特征值满足如下的不等式
(10)
(11)
当时,。特征值所对应的特征函数在区间上变号k次。
证明:(a) 由以及,可知与没有交点。当时,与在轴的下半部分相交,即;当时,如果,有,如果时,则;当时,与在轴的上半部分相交,即;当时,如果时,有与在轴的上半部相交,与在轴的下半部分相交,有,如果时,有;当时,则与在轴的下半部分相交,故有。故不等式(10)成立。
(b) 由于,故与没有交点。当时,与在轴的下半部分相交,有;当时,如果,则有,如果时,则;当时,与在轴的上半部分相交,有故不等式(11)成立。
4. 例子
我们给出一个满足条件的例子。
例 考虑如下的问题
, (12)
,. (13)
根据文献 [6] 的证明方法,我们将问题(12)以及边界条件(13)转换为矩阵形式,有
,
则的根为问题(12)~(13)的特征值,通过计算可知该问题满足条件(A1)~(A3)。我们知道即为,有三个实根,以及。
我们给出问题(12)以及Dirichlet边界条件的特征值,将问题转换为矩阵形式为
其特征值为,以及。
另外我们给出问题(12)以及Neumann边界条件的特征值,将问题转换为矩阵形式为
因此三个边界条件的特征值之间有如下的不等式:
我们知道,以及,则,,故上述不等式满足不等式(6)。
下面证明特征函数的变号次数。
不失一般性,我们假设,则该问题的特征函数为,其中即有
(14)
根据(14)我们知道在区间上,变号k次,与定理3.2(a)的结论相同。
基金项目
国家自然科学基金项目(11661059),内蒙古自然科学基金项目(2017MS(LH)0103)资助。
NOTES
*通讯作者。
参考文献