1. 引言
脉冲微分方程理论被广泛应用于种群动力学、生物系统、最优控制问题以及金融系统等领域。含有脉冲的发展方程具有的共同特征是,在发展过程的某些时刻都经历了状态的突然变化,因此具有更丰富的应用背景,事实上,脉冲与各种发展方程都密切相关。因此,要精确地描述和分析发展系统就很有必要考虑脉冲问题。周期运动是自然科学中常见且非常重要的现象。脉冲周期系统是研究周期演化过程中状态发生突变的动力学模型。在过去的几十年里,关于有限维和无穷维空间中脉冲周期系统解的存在性问题的研究得到了许多重要的结果[1]-[7]。
最近,Alvarez等[8]通过研究著名的Mathieu方程
的任意解
的性质
引入了
-周期函数的概念。显然,当
和
时,
-周期函数分别为标准的
周期函数和
-反周期函数。2018年,Li等[9]研究了脉冲方程
的
-周期解,其中A、B是矩阵。2020年,Agaoglou等[10]利用
-周期函数的概念研究了复Banach空间中半线性发展方程
-周期解的存在唯一性。接着,Liu等[11]研究了一类新的
-周期非瞬时脉冲微分方程,利用不动点定理证明了该类方程
-周期解的存在唯一性。2022年,Feckan等[12]研究了脉冲方程
-周期解的存在唯一性。受以上文献的启发,本文研究了如下脉冲微分方程的
-周期mild解。
(1.1)
其中,A是稠定闭线性算子,生成X中的C0半群
。B是有界线性算子,
,且f满足
。
和
分别表示
在
处的左右极限。此外,假设
,为了方便讨论方程(1.1),我们给出如下基本假设:
(H1)A是稠定闭线性算子,生成X中的C0半群
,B是有界线性算子,且满足
;
(H2)
,满足
,
,
,其中
代表区间
上脉冲点的个数;
(H3)
,即
存在,其中
表示线性算子的谱,E是单位算子;
(H4) 存在常数
,使得
,
,
;
(H5)
是紧半群。
2. 预备知识
设X是Banach空间,其范数为
。再引进一个Banach空间
,其范数为
。
定义2.1[13]若X为Banach空间,
表示X中线性有界算子全体构成的Banach空间。假设
满足:
1)
;
2) 对
,
。
则称
为X中的线性算子半群。
若1)和2)满足,且对
,有
,则称
为X中的强连续半群,也称为C0-半群。
若1)和2)满足,且有
,则称
为X中的一致连续半群。
引理2.2[13]设
为X中的强连续半群,则存在常数
和
,使得:
定义2.3[8]对所有的
,如果
,则称函数
是
-周期的,其中
,
。
设
,则
表示所有分段连续的
-周期函数的集合。
引理2.4[10]
当且仅当:
(2.1)
引理2.5设(H1)和(H2)成立。齐次线性脉冲方程初值问题:
(2.2)
有一个解
当且仅当:
证明对任意的
,
,方程(2.2)的解
为:
对任意的
,
接下来,主要考虑非齐次线性脉冲发展方程:
(2.3)
-周期mild解的存在性,其中
是
-周期函数。
引理2.6[12]设(H1)~(H3)成立。非齐次脉冲发展方程(2.3)
-周期mild解
,其表达式为:
(2.4)
其中,
是Green函数,其定义为:
(2.5)
引理2.7[12]设(H1)~(H3)成立。对任意的
,有如下不等式成立:
引理2.8[12]设(H1)~(H3)成立。对任意的
,有如下不等式成立:
引理2.9[14](Schauder不动点定理)设X为Banach空间,B为X中的有界凸比子集。若算子为
为全连续算子,则算子L在X中至少存在一个不动点。
3. 主要定理
定理3.1设(H1)~(H5)成立。如果
,则半线性脉冲发展方程(1.1)有一个
-周期mild解
。
证明令
,
。在
上定义如下算子
如下:
(3.1)
首先证明
。对任意的
和
,由引理2.7和2.8,有:
所以
。
下证
是连续的。
设
是
中的柯西列,且
。记
,
。
由f的连续性可得,
。
由(3.1)式,有:
因此,
是连续的。
最后证明
是相对紧的。由
,易见
是一致有界的。下证
是等度连续算子。
对任意的
和
,有:
由(2.5)式,
如果
,有:
由半群
的紧性知,
。
如果
,则A:
再由半群
的紧性可知,
。
所以,对任意的
都满足:
,
。(3.2)
这意味着当
时,
。因此,算子
是等度连续算子。
在
上作算子
如下:
,
.
令
,
,
,由条件(H5),
是相对紧的。
所以,对任意的
有:
由(3.2)式,当
时,
,所以K在X中相对紧。根据Arzela-Ascoli定理,K在
上相对紧,所以
是全连续算子。由Schauder不动点定理半线性脉冲发展方程,(1.1)至少有一个
-周期mild解。
4. 结论
本文讨论了Banach空间中一类半线性脉冲发展方程
-周期解的存在性,首先给出了非齐次脉冲发展方程
-周期mild解的表达形式,其次在紧半群情形下利用Schauder不动点定理证明了系统(1.1)
-周期mild解的存在性。