1. 引言
奇性微分方程在众多科学技术领域都发挥着重要的作用,近年来在电子束模型、边界层理论、玻色–爱因斯坦凝聚体与光信号传输等多种学科中拥有广泛应用,其中部分应用事例可详见 [1]。对奇性微分方程的研究最早可追溯到1987年,Lazer和Solimini [2] 讨论了下列两类奇性微分方程
(1.1)
周期正解的存在性,其中
是一个周期函数,
是正常数。利用截断函数和上下解方法,他们证明了方程(1.1)周期正解的存在性。并给出如果
称其为吸引型奇性,如果
称其为排斥型奇性;如果
称其为弱奇性,如果
称其为强奇性。
受此影响,越来越多的学者投入到奇性微分方程周期正解的研究当中,并取得很好的成果 [3] - [10]。其中主要的研究方法有:Schauder不动点定理 [3] [4] [5]、Leray-Schauder选择原理 [6] [7] [8]、Krasnoselskiĭ’s-Guo不动点定理 [7] [8]、拓扑度理论 [9] [10] 等。
一开始,奇性微分方程的研究主要是针对二阶的奇性微分方程,正如上面提到的参考文献,而对三阶微分方程的研究却较少涉及。近年来国内外学者发表了一些关于三阶奇性微分方程的结果 [11] - [16]。2006年,储继峰和周中成在 [13] 中利用Leray-Schauder选择原理和锥压缩锥拉伸不动点定理,考虑下列三阶奇性微分方程
(1.2)
周期解存在性问题,其中
是正常数,非线性项
在
时有排斥型奇性。他们证明了在
时方程(1.2)存在周期正解。随后,李永祥 [14] 研究了下列三阶奇性微分方程
(1.3)
周期正解的存在性,其中非线性项
是关于t的周期函数且在
时有排
斥型奇性。通过应用锥中不动点定理,李永祥证明了方程(1.3)至少存在一个周期正解。
以上所提及的结论主要是关于排斥型三阶奇性微分方程周期正解的研究。那么如果方程是具有不定奇性的三阶微分方程呢?运用之前的方法显然不能直接适用。进而,如何证明这类具有不定奇性的三阶微分方程周期正解存在性的研究,也是值得思考的。为了回答这个问题,本文讨论了以下一类具有不定奇性的三阶微分方程
(1.4)
周期正解的存在性,其中M是正常数,
且对任意
有
。本文的理论证明主要依赖第二部分介绍的格林函数的性质以及Krasnoselskiĭ’s-Guo不动点定理。文章的最后给出一个例子来验证定理的适用性。
2. 预备知识
本节中,我们介绍以下几个引理将用于证明方程(1.4)周期正解的存在性。
引理2.1. (Krasnoselskiĭ's-Guo不动点定理 [17]) 令X是一个Banach空间,并且K是X中的一个锥。假设
是X的开子集并且
。此外假设
是一个全连续算子使得
(i) 对
,有
;并且对
,有
,
或
(ii) 对
,有
;并且对
,有
,
则Q在
中有不动点。
接下来,考虑三阶非齐次线性微分方程
(2.1)
其中
,M为正常数。在2011年,任景莉等 [18] 讨论了格林函数
的符号,得出下列结论。
引理2.2. (见 [18]) 方程(2.1)存在唯一的T-周期解,即
其中
我们给出以下定义
(2.2)
显然,我们有
。
引理2.3. (见 [18]) 如果
,则对任意
,有
。进一步,我们得到
。
定义
其中
,其范数定义为
。显而易见,K是
中的一个锥。
最后,为了方便,对于任意给定的T-周期函数
,我们定义
3. 主要结论
在本节中,我们将利用格林函数的相关性质和Krasnoselskiĭ’s-Guo不动点定理,得到下面的结论。
定理2.1假设
且对任意
有
。更进一步,假设
和
(3.1)
成立,则方程(1.4)至少有一个T-周期正解。
证明:定义算子Q为
很容易证明方程(1.4)的一个T-周期解就是算子方程
的不动点。并且由引理2.3,我们可以得
到对于任意的
,有
。
定义两个开集
其中
是两个常数且由(3.1)有
首先,证明
。事实上,对任意的
,有
因为
,我们可得到
(3.2)
由(2.2)和(3.2),可以得到
从而证明了
。因此,利用Arzela-Ascoli定理,易知
是一个
全连续算子。
接下来,我们证明
(3.3)
事实上,对任意的
,有
且
由(2.2)和对任意
,有
,可以得到
显然,我们可以选择适当大的
使
成立。因此,可以得到
,即(3.3)成立。
最后,我们证明
(3.4)
事实上,对任意的
,显然
且
从(2.2)得到
其中
。因此,(3.4)成立。
从引理2.1可知,Q有一个不动点
。显然,这个不动点就是方程(1.4)的T-周期正解且
。
推论2.1由(2.2),易见A和
是关于M和T的函数。事实上,充分条件(3.1)可表达为
通过下面的例子来阐明我们的定理。
例2.1考虑下面具有不定奇性的三阶微分方程
(3.5)
其中
和
由
,通过简单的计算,我们很容易验证
和
因此,通过定理2.1,我们能得到方程(3.5)至少有一个
-周期解。
NOTES
*通讯作者。