Advances in Applied Mathematics
Vol.07 No.05(2018), Article ID:24958,9
pages
10.12677/AAM.2018.75062
Finite Spectrum of a Class of Fourth Order Boundary Value Problems on Time Scales
Juan Wang, Jijun Ao*
College of Sciences, Inner Mongolia University of Technology, Hohhot Inner Mongolia
Received: Apr. 26th, 2018; accepted: May 12th, 2018; published: May 21st, 2018
ABSTRACT
The spectral analysis of a class of fourth order boundary value problems with self-adjoint boundary conditions on time scales is investigated. By partitioning the bounded time scale and making the coefficients of the fourth order Sturm-Liouville equation satisfy certain conditions on the adjacent subintervals, the finite eigenvalue results are obtained.
Keywords:Fourth Order Boundary Value Problems, Time Scales, Finite Spectrum
一类时标上四阶边值问题的有限谱
王娟,敖继军*
内蒙古工业大学理学院,内蒙古 呼和浩特
收稿日期:2018年4月26日;录用日期:2018年5月12日;发布日期:2018年5月21日
摘 要
本文讨论了一类时标上四阶边值问题在自共轭边界条件下的谱问题。通过分割时标,并且使得四阶Sturm-Liouville方程的系数函数在相邻子区间上满足特定的条件,从而得出具有有限谱的结论。
关键词 :四阶边值问题,时标,有限谱
Copyright © 2018 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
经典的Sturm-Liouville (S-L)理论中通常谱都是无穷的,即有无穷多个谱点。1964年,Atkinson提出了二阶的S-L问题在某些条件下可能存在有限谱 [1] 。2001年Kong,Wu和Zettl通过构造的方法证实了Atkinson论断的合理性 [2] ,由此展开了有限谱问题(也称为Atkinson类型)的研究。近十几年来,Volkmer,Zettl,Kong,敖继军,孙炯等学者在S-L问题的有限谱理论方面做了许多开拓性的研究,并在该领域内得到了很多创新性的研究成果 [3] [4] [5] [6] 。2009年,Kong等人在文献 [3] 中研究了一类与S-L方程在实分离型和实耦合型自共轭边界条件下的有限谱问题等价的矩阵特征值问题,给出了矩阵表示的结论;2011年,敖继军等在文献 [4] 中研究了二阶带有转移条件的S-L问题的有限谱,得出S-L问题的有限特征值在自伴边界条件下分布在实轴上,在非自伴边界条件情形下分布在复平面上的结论,之后又在文献 [5] 中给出四阶边值问题带有一般的自共轭边界条件的有限谱结论;2012年,Kong在文献 [6] 中研究了一类用两组谱来重构具有有限谱的S-L问题的逆问题等等。
时标也称为时间标度或测度链,这一概念由德国数学家Stefan Hilger于1988年在他的博士论文中首次提出。时标理论可以将离散系统和连续系统结合起来,以便更好的研究两类不同系统之间的本质差异,并且能够运用于实际问题中两者共存的情形,避免研究的重复性。时标上边值问题的研究是近年来一个新的研究热点。一些学者将时标理论运用到算子谱理论的研究和完善中,并且得到了一些相应的结论 [7] [8] [9] [10] 。研究内容包括时标上S-L问题在带有不同边界条件情形下特征值的存在性 [7] [8] ,时标上高阶自共轭微分方程带有自共轭边界条件的形式,相应格林函数的对称性与其在取定时标上的特殊形式 [9] ,以及二阶耗散S-L问题的完备性 [10] 等。
对于时标上边值问题的有限谱,2013年,赵娜在文献 [11] 中考虑了时标上的S-L方程
,在系数函数满足条件
的情形下,仿照文献 [4] 的研究方法,分别讨论了分离型和耦合型S-L问题的有限特征值问题,给出了特征值不等式,并且将结论推广到较一般的时标上。
本文考虑一类时标
上的四阶S-L方程:
(1.1)
其中系数函数满足条件
(1.2)
具有自共轭边界条件形如:
(1.3)
其中
表示四阶复矩阵组成的集合。
众所周知,四阶边值问题自共轭边界条件(1.3)中,矩阵
满足
,其中
为四阶单位辛矩阵,
。
本文在文献 [11] 的基础上,考虑时标上四阶边值问题的有限谱。采用文献 [5] 的方法,分割时标
,使得系数函数在相邻小区间上满足特定的条件,从而构造出一类时标上具有有限谱的四阶边值问题,并且在一般的自共轭边界条件下得出有限谱的结论。
2. 预备知识
为了得出主要结论,在本节中我们给出一些时标上的相关概念,以及证明主要结论所需的部分引理。
定义2.1. [11] 设
是一个时标。
,定义前跳算子σ为:;后跳算子ρ为:,其中
。
定义2.2. [11]
若
,且
,则称
为右稠密(rd)的;若
,且
,则称
为左稠密(ld)的;若
,则称
为右分散(rs)的;若
,则称
为左分散(ls)的。步长函数
。
函数
为rd连续的,是指它在左稠密的点处极限存在,右稠密的点处连续,rd连续的函数记为
;函数
为prd连续的,是指它在左稠密的点处极限存在,在除有限个右稠密的点处均为连续的,prd连续的函数记为
。
定义2.3. [9] 记
,b为
的最大值且为左分散的,否则
。假设
是一个函数,令
。定义
(假设其存在):任意
,存在一个t的邻域
,使得对所有
有:
则称函数
是函数f在t点的
导数。
定义2.4. [9] 令
是一个函数,
。如果存在一个函数
,使得对所有
有
,则F是f的
积分,并且由以下公式给出:
同样可定义函数f的
导数和
积分,由于本文研究过程中未用到,故此处不再罗列。
引理 2.1. 方程(1.1)等价于以下形式:
(2.1)
其中
,
。这里
,
,
,
。
证明:该引理的证明由文献 [9] 第7节和直接计算可得。
引理2.2. [11]
,n × n函数矩阵
,且
,
为可逆阵,则初始值问题
存在惟一解
。
证明:该引理的证明参见文献 [12] 中2.2部分。
设
,
为方程(2.1)满足初始条件
的基解矩阵,
(2.2)
引理2.3. [5] 设(1.2)成立,且
,
是方程(2.1)满足初始条件
的基解矩阵,则
是S-L问题(1.1),(1.3)的特征值,当且仅当判断函数
,且判断函数可以写为
(2.3)
其中
都是由矩阵A和B确定的常数。
证明:该引理通过直接计算可得。
定义2.1. 四阶边值问题(1.1),(1.3)称为是退化的,如果在(2.3)中,对一切的
,都有
,或者对每一个
,有
。
3. 时标上四阶边值问题的有限谱
假设方程(1.1)定义在时标上,
。对给定的正整数m和n,将时标
做如下分割:
(3.1)
使得系数函数满足以下条件:
(3.2)
(3.3)
由(3.1)~(3.3),令
(3.4)
那么我们可以得到主基解矩阵的结构并构造迭代矩阵:
引理3.1. 令(3.1)~(3.4)成立。设
是方程(2.1)满足初始条件
,
的基解矩阵,令
(3.5)
(3.6)
那么,对于
,有
(3.7)
为了更加简洁,我们令
。
。进而得到如下递推公式
。
证明:由于本文讨论的时标
,则在区间[a, b]和[d, e]上有
,
,所以时标上的积分退化为经典的勒贝格积分,主基解矩阵退化为
主基解矩阵的证明与文献 [5] 中引理3类似。
引理3.2. 令(3.1)~(3.4)成立。设
是方程(2.1)满足初始条件
的基解矩阵,令
(3.8)
(3.9)
那么,对于
,有
(3.10)
为了更加简洁,我们令
。则
。进而得到如下递推公式
。
证明:该引理的证明与引理3.1类似。
注3.1. 引理3.1和引理3.2中,为了便于区分,部分自变量t使用x来表示。
下面我们根据间断点之间的关系得出连接矩阵。
引理3.3. 令(3.1)~(3.4)成立。
由引理3.1和引理3.2给出,则
(3.11)
其中
,且
证明:由定义2.3和方程(2.1)可知
(3.12)
由(1.1),(3.12)计算可得
其中
同理可得
其中
又因为
则
(3.13)
又因为
,由引理2.2以及(3.13)可知
。
推论 3.1. 令
,对基解矩阵
我们有
其中Hij取决于
,
,
,
,和端点b,c,d,e。
是关于λ的函数,其所含λ的次数分别小于
,
或
。例如
,所以
中λ的次数小于
。
下面我们可以得出本文的主要结论。考察时标上四阶边值问题(1.1),(1.3),则可得以下定理。
定理3.1. 设
,令(3.1)~(3.4)成立。则时标上四阶边值问题(1.1),(1.3)至多有
个特征值。
证明:因为
,其中
。由引理2.3和推论3.1可知判断函数 δ(λ)是关于λ的多项式。我们用
来表示
中λ的次数,则基解矩阵
中λ的次数可以写成以下矩阵
(3.14)
由引理2.3和(3.14)知,δ(λ)中λ最高次数为
。由代数基本定理知δ(λ)至多有
个根,即时标上四阶边值问题(1.1),(1.3)至多有
个特征值。
注3.2. 本文我们只研究了时标上四阶对称S-L方程其中的一种,其他的情形可以用类似的方法研究并得到相应的有限谱结论,只是计算过程有所不同。
基金项目
本文由国家自然科学基金(11661059, 11301259),内蒙古自然科学基金(2017JQ07)资助。
文章引用
王 娟,敖继军. 一类时标上四阶边值问题的有限谱
Finite Spectrum of a Class of Fourth Order Boundary Value Problems on Time Scales[J]. 应用数学进展, 2018, 07(05): 510-518. https://doi.org/10.12677/AAM.2018.75062
参考文献
- 1. Atkinson, F.V. (1964) Discrete and Continuous Boundary Problems. Academic Press, New York/London.
- 2. Kong, Q., Wu, H. and Zettl, A. (2001) Sturm-Liouville Problems with Finite Spectrum. Journal of Mathematical Analysis and Applications, 263, 748-762.
https://doi.org/10.1006/jmaa.2001.7661
- 3. Kong. Q., Volkmer, H. and Zettl, A. (2009) Matrix Representations of Sturm-Liouville Problems with Finite Spectrum. Results in Mathematicas, 54, 103-116.
https://doi.org/10.1007/s00025-009-0371-3
- 4. Ao, J.J., Sun, J. and Zhang, M.Z. (2011) The Finite Spectrum of Sturm-Liouville Problems with Transmission Conditions. Applied Mathematics and Computation, 218, 1166-1173.
https://doi.org/10.1016/j.amc.2011.05.033
- 5. Ao, J.J., Bo, F.Z. and Sun, J. (2014) Fourth Order Boundary Value Problems with Finite Spectrum. Applied Mathematics and Computation, 244, 952-958.
https://doi.org/10.1016/j.amc.2014.07.054
- 6. Kong, Q. and Zettl, A. (2012) Inverse Sturm-Liouville Problems with Finite Spectrum. Journal of Mathematical Analysis and Applications, 386, 1-9.
https://doi.org/10.1016/j.jmaa.2011.06.083
- 7. Agarwal, R., Bohner, M. and Wong, P. (1999) Sturm-Liouville Eigenvalue Problems on Time Scales. Applied Mathematics and Computation, 99, 153-166.
https://doi.org/10.1016/S0096-3003(98)00004-6
- 8. Zhang, C. and Yang, D. (2010) Eigenvalues of Second-Order Linear Equations with Coupled Boundary Conditions on Time Scales. Applied Mathematics and Computation, 33, 1-21.
https://doi.org/10.1007/s12190-009-0270-5
- 9. Anderson, D., Guseinov, G. and Hoffacker, J. (2006) Higher-Order Self-Adjoint Boundary-Value Problems on Time Scales. Journal of Computational and Applied Mathematics, 194, 309-342.
https://doi.org/10.1016/j.cam.2005.07.020
- 10. Tuna, H. (2016) Completeness Theorem for the Dissipative Sturm-Liouville Operator on Bounded Time Scales. Indian Journal of Pure and Applied Mathematics, 47, 535-544.
https://doi.org/10.1007/s13226-016-0196-1
- 11. 赵娜. 时标上Sturm-Liouville问题的有限谱[J]. 山东大学学报(理学版), 2013, 48(3): 96-102.
- 12. Bohner, M. and Peterson, A. (2001) Dynamic Equations on Time Scales. Birkhäuser, Boston.
https://doi.org/10.1007/978-1-4612-0201-1
NOTES
*通讯作者。