一类半线性脉冲发展方程 ( ω , c ) -周期解的存在性
Existence of ( ω , c ) -Periodic Solutions for a Class of Semilinear Impulsive Evolution Equations
摘要:文章用算子半群理论和Schauder不动点定理证明了Banach空间中一类半线性脉冲发展方程{x′(t)=Ax(t)+f(t,x(t)),t∈R+,t≠τi,i∈Ν:={1,2,⋯},Δx|t=τi=x(τi+)−x(τi−)=Bx(τi−)+ci,(ω,c)-周期mild解的存在性。其中, A是稠定闭线性算子,生成 X中的C0半群T(t)(t≥0), B是有界线性算子,f∈C(R+×X,X),且 f满足f(t+ω,cx)=cf(t,x)。x(τi−)和x(τi+)分别表示x(t)在t=τi处的左右极限。
Abstract:The existence of(ω,c)-periodic mild solutions for a class of semilinear impulsive evolution equations in Banach space is proved by operator semigroup theory and Schauder fixed point theorem in this paper.{x′(t)=Ax(t)+f(t,x(t)),t∈R+,t≠τi,i∈Ν:={1,2,⋯},Δx|t=τi=x(τi+)−x(τi−)=Bx(τi−)+ci,Where Ais a coherently closed linear operator that generates aC0semigroupT(t)(t≥0)in X, Bis the bounded operator,f∈C(R+×X,X), and fsatisfiesf(t+ω,cx)=cf(t,x),x(τi−)andx(τi+)represent the left and right limits ofx(t)att=τi.
文章引用:郭红玉. 一类半线性脉冲发展方程 ( ω , c ) -周期解的存在性[J]. 理论数学, 2024, 14(7): 23-29. https://doi.org/10.12677/pm.2024.147267

1. 引言

脉冲微分方程理论被广泛应用于种群动力学、生物系统、最优控制问题以及金融系统等领域。含有脉冲的发展方程具有的共同特征是,在发展过程的某些时刻都经历了状态的突然变化,因此具有更丰富的应用背景,事实上,脉冲与各种发展方程都密切相关。因此,要精确地描述和分析发展系统就很有必要考虑脉冲问题。周期运动是自然科学中常见且非常重要的现象。脉冲周期系统是研究周期演化过程中状态发生突变的动力学模型。在过去的几十年里,关于有限维和无穷维空间中脉冲周期系统解的存在性问题的研究得到了许多重要的结果[1]-[7]

最近,Alvarez等[8]通过研究著名的Mathieu方程 x + a x = 2 q cos ( 2 t ) x 的任意解 x ( t ) 的性质 x ( + ω ) = c x ( ) 引入了 ( ω , c ) -周期函数的概念。显然,当 c = 1 c = 1 时, ( ω , c ) -周期函数分别为标准的 ω 周期函数和 ω -反周期函数。2018年,Li等[9]研究了脉冲方程 { x ( t ) = A x + f ( t , x ) , t τ i , i Ν : = { 1 , 2 , } Δ x | t = τ i = x ( τ i + ) x ( τ i ) = B x ( τ i ) + c i ( ω , c ) -周期解,其中AB是矩阵。2020年,Agaoglou等[10]利用 ( ω , c ) -周期函数的概念研究了复Banach空间中半线性发展方程 x = A x + f ( t , x ) ( ω , c ) -周期解的存在唯一性。接着,Liu等[11]研究了一类新的 ( ω , c ) -周期非瞬时脉冲微分方程,利用不动点定理证明了该类方程 ( ω , c ) -周期解的存在唯一性。2022年,Feckan等[12]研究了脉冲方程 ( ω , T ) -周期解的存在唯一性。受以上文献的启发,本文研究了如下脉冲微分方程的 ( ω , c ) -周期mild解。

{ x ( t ) = A x ( t ) + f ( t , x ( t ) ) , t R + , t τ i , i Ν : = { 1 , 2 , } , Δ x | t = τ i = x ( τ i + ) x ( τ i ) = B x ( τ i ) + c i , (1.1)

其中,A是稠定闭线性算子,生成X中的C0半群 T ( t ) ( t 0 ) B是有界线性算子, f C ( R + × X , X ) ,且f满足 f ( t + ω , c x ) = c f ( t , x ) x ( τ i ) x ( τ i + ) 分别表示 x ( t ) t = τ i 处的左右极限。此外,假设 x ( τ i ) = x ( τ i ) ,为了方便讨论方程(1.1),我们给出如下基本假设:

(H1)A是稠定闭线性算子,生成X中的C0半群 T ( t ) ( t 0 ) B是有界线性算子,且满足 T ( t ) B = B T ( t )

(H2) c i , τ i > 0 ,满足 c i + m = c i τ i + m = τ i + ω i Ν ,其中 m i ( 0 , ω ) 代表区间 [ 0 , ω ] 上脉冲点的个数;

(H3) c σ ( T ( ω ) ( E + B ) m ) ,即 ( c E ( T ( ω ) ( E + B ) m ) ) 1 存在,其中 σ ( ) 表示线性算子的谱,E是单位算子;

(H4) 存在常数 μ , ν 0 ,使得 f ( t , x ) μ + ν x t R + x X

(H5) T ( t ) ( t 0 ) 是紧半群。

2. 预备知识

X是Banach空间,其范数为 。再引进一个Banach空间 { x : R + X : x C ( ( t i , t i + 1 ] , X ) , x ( t i ) = x ( t i ) , i Ν , x ( t i + ) } ,其范数为 x P C = sup t R + x ( t )

定义2.1[13]X为Banach空间, B ( X ) 表示X中线性有界算子全体构成的Banach空间。假设 T ( t ) : [ 0 , ] B ( X ) 满足:

1) T ( 0 ) = I

2) 对 t , s 0 T ( t + s ) = T ( t ) T ( s )

则称 T ( t ) t 0 X中的线性算子半群。

若1)和2)满足,且对 x X ,有 lim h 0 + T ( h ) x = x ,则称 T ( t ) t 0 X中的强连续半群,也称为C0-半群。

若1)和2)满足,且有 lim t 0 + T ( t ) I = 0 ,则称 T ( t ) t 0 X中的一致连续半群。

引理2.2[13] T ( t ) t 0 X中的强连续半群,则存在常数 ω 0 M 1 ,使得:

T ( t ) M e ω t , ( t 0 ) .

定义2.3[8]对所有的 t R + ,如果 f ( t + ω ) = c f ( t ) ,则称函数 f : R + X ( ω , c ) -周期的,其中 c R \ { 0 } ω > 0

Φ ω , c = { x : x P C ( R + , X ) , c x ( ) = x ( + ω ) } ,则 Φ ω , c 表示所有分段连续的 ( ω , c ) -周期函数的集合。

引理2.4[10] x Φ ω , c 当且仅当:

x ( ω ) = c x ( 0 ) . (2.1)

引理2.5设(H1)和(H2)成立。齐次线性脉冲方程初值问题:

{ x ( t ) = A x , t R + , t τ i , i Ν , Δ x | t = τ i = B x , x ( 0 ) = x 0 (2.2)

有一个解 x Φ ω , c 当且仅当:

( c E T ( ω ) ( E + B ) m ) x 0 = 0.

证明对任意的 t [ 0 , ) \ ξ ξ = { τ i } i N ,方程(2.2)的解 x P C ( R + , X ) 为:

x ( t ) = T ( t ) ( E + B ) i ( 0 , t ) x 0 , t 0.

对任意的 t [ 0 , ) \ ξ

x ( t + ω ) = c x ( t ) T ( t + ω ) ( E + B ) i ( 0 , t + ω ) x 0 = c T ( t ) ( E + B ) i ( 0 , t ) x 0 T ( t ) T ( ω ) ( E + B ) i ( 0 , t ) ( E + B ) i ( t , t + ω ) x 0 = c T ( t ) ( E + B ) i ( 0 , t ) x 0 T ( ω ) ( E + B ) i ( t , t + ω ) x 0 = c x 0 ( c E T ( ω ) ( E + B ) m ) x 0 = 0

接下来,主要考虑非齐次线性脉冲发展方程:

{ x ( t ) = A x + g ( t ) , t R + , t τ i , i Ν , Δ x | t = τ i = B x + c i (2.3)

( ω , c ) -周期mild解的存在性,其中 g C ( R + , X ) ( ω , c ) -周期函数。

引理2.6[12]设(H1)~(H3)成立。非齐次脉冲发展方程(2.3) ( ω , c ) -周期mild解 x Ω : = P C ( [ 0 , ω ] , X ) ,其表达式为:

x ( t ) = 0 ω G ( t , τ ) g ( τ ) d τ + i = 1 m G ( t , τ i ) c i , (2.4)

其中, G ( t , τ ) 是Green函数,其定义为:

G ( t , τ ) = { ( T ( t ) ( E + B ) i ( 0 , t ) ( c E T ( ω ) ( E + B ) m ) 1 T ( ω t ) ( E + B ) i ( t , ω ) + E ) T ( t τ ) ( E + B ) i ( τ , t ) , 0 < τ < t , T ( t ) ( E + B ) i ( 0 , t ) ( c E T ( ω ) ( E + B ) m ) 1 T ( ω τ ) ( E + B ) i ( t , ω ) , t τ < ω . (2.5)

引理2.7[12]设(H1)~(H3)成立。对任意的 t [ 0 , ω ] ,有如下不等式成立:

i = 1 m G ( t , τ i ) c i M η = { M max { ( E + B ) 2 m , 1 } e η ω ( ( c E T ( ω ) ( E + B ) m ) 1 M + 1 ) 1 < i < m e η ( ω τ i ) c i , η > 0 , M max { ( E + B ) 2 m , 1 } ( ( c E T ( ω ) ( E + B ) m ) 1 M + 1 ) 1 < i < m c i , η 0.

引理2.8[12]设(H1)~(H3)成立。对任意的 t [ 0 , ω ] ,有如下不等式成立:

0 ω G ( t , τ ) d τ N η = { { M max { ( E + B ) 2 m , 1 } ( c E T ( ω ) ( E + B ) m ) 1 e η ω + max { ( E + B ) m , 1 } } M e η ω 1 η , η 0 , { M max { ( E + B ) 2 m , 1 } ( c E T ( ω ) ( E + B ) m ) 1 + max { ( E + B ) m , 1 } } M ω , η = 0.

引理2.9[14](Schauder不动点定理)设X为Banach空间,BX中的有界凸比子集。若算子为 L : B B 为全连续算子,则算子LX中至少存在一个不动点。

3. 主要定理

定理3.1设(H1)~(H5)成立。如果 0 < v N η < 1 ,则半线性脉冲发展方程(1.1)有一个 ( ω , c ) -周期mild解 x Φ ω , c

证明 B r = { x Ω | x P C r } r = μ N η + M η 1 v N η 。在 B r 上定义如下算子 Λ 如下:

( Λ x ) ( t ) = 0 ω G ( t , τ ) f ( τ , x ( τ ) ) d τ + i = 1 m G ( t , τ i ) c i , (3.1)

首先证明 Λ ( B r ) B r 。对任意的 x B r t [ 0 , ω ] ,由引理2.7和2.8,有:

( Λ x ) ( t ) 0 ω G ( t , τ ) f ( τ , x ( τ ) ) d τ + i = 1 m G ( t , τ i ) c i μ 0 ω G ( t , τ ) d τ + ν 0 ω G ( t , τ ) x ( τ ) d τ + i = 1 m G ( t , τ i ) c i μ N η + ν N η x P C + M η = r ,

所以 Λ ( B r ) B r

下证 Λ 是连续的。

x n B r 中的柯西列,且 x n x ( n ) 。记 f n = f ( , x n ( ) ) f = f ( , x ( ) )

f的连续性可得, f n f ( n )

由(3.1)式,有:

( Λ x n ) ( t ) ( Λ x ) ( t ) 0 ω G ( t , τ ) f ( τ , x n ( τ ) ) f ( τ , x ( τ ) ) d τ 0 ω G ( t , τ ) d τ f n f M η f n f 0.

因此, Λ 是连续的。

最后证明 Λ ( B r ) 是相对紧的。由 Λ ( B r ) B r ,易见 Λ ( B r ) 是一致有界的。下证 Λ 是等度连续算子。

对任意的 0 < t 1 < t 2 ω x B r ,有:

( Λ x ) ( t 2 ) ( Λ x ) ( t 1 ) 0 ω G ( t 2 , τ ) G ( t 1 , τ ) f ( τ , x ( τ ) ) d τ + i = 1 m G ( t 2 , τ i ) G ( t 1 , τ i ) c i ( μ + ν x P C ) 0 ω G ( t 2 , τ ) G ( t 1 , τ ) d τ + i = 1 m G ( t 2 , τ i ) G ( t 1 , τ i ) c i .

由(2.5)式,

G ( t 2 , τ ) G ( t 1 , τ ) = { T ( t 2 ) ( E + B ) i ( 0 , t 2 ) ( c E T ( ω ) ( E + B ) m ) 1 T ( ω τ ) ( E + B ) i ( τ , ω ) + T ( t 2 τ ) ( E + B ) i ( τ , t 2 ) T ( t 1 ) ( E + B ) i ( 0 , t 1 ) ( c E T ( ω ) ( E + B ) m ) 1 × T ( ω τ ) ( E + B ) i ( τ , ω ) T ( t 1 τ ) ( E + B ) i ( τ , t 1 ) , 0 < τ < t 1 < t 2 , T ( t 2 ) ( E + B ) i ( 0 , t 2 ) ( c E T ( ω ) ( E + B ) m ) 1 T ( ω τ ) ( E + B ) i ( τ , ω ) T ( t 1 ) ( E + B ) i ( 0 , t 1 ) ( c E T ( ω ) ( E + B ) m ) 1 T ( ω τ ) ( E + B ) i ( τ , ω ) , t 1 < t 2 < τ < ω .

如果 0 < τ < t 1 < t 2 ,有:

G ( t 2 , τ ) G ( t 1 , τ ) T ( t 2 ) T ( t 1 ) ( E + B ) 2 m ( c E T ( ω ) ( E + B ) m ) 1 M e η ( ω τ ) + T ( t 2 τ ) T ( t 1 τ ) ( E + B ) m .

由半群 T ( t ) ( t 0 ) 的紧性知, G ( t 2 , τ ) G ( t 1 , τ ) 0 ( t 2 t 1 0 )

如果 t 1 < t 2 < τ < ω ,则A:

G ( t 2 , τ ) G ( t 1 , τ ) T ( t 2 ) T ( t 1 ) ( E + B ) 2 m ( c E T ( ω ) ( E + B ) m ) 1 M e η ( ω τ ) .

再由半群 T ( t ) ( t 0 ) 的紧性可知, G ( t 2 , τ ) G ( t 1 , τ ) 0 ( t 2 t 1 0 )

所以,对任意的 0 < t 1 < t 2 < ω 都满足:

G ( t 2 , τ ) G ( t 1 , τ ) 0 t 2 t 1 0 (3.2)

这意味着当 t 2 t 1 0 时, ( Λ x ) ( t 2 ) ( Λ x ) ( t 1 ) 0 。因此,算子 Λ 是等度连续算子。

B r 上作算子 Λ ε 如下:

( Λ ε x ) ( t ) = T ( ε ) ( 0 ω G ( t ε , τ ) f ( τ , x ( τ ) ) d τ + i = 1 m G ( t ε , τ i ) c i ) , t [ 0 , ω ] .

K = { ( Λ x ) ( t ) : t [ 0 , ω ] } K ε = { ( Λ ε x ) ( t ) : t [ 0 , ω ] } 0 < ε < ω ,由条件(H5), K ε 是相对紧的。

所以,对任意的 x B r 有:

( Λ x ) ( t ) ( Λ ε x ) ( t ) 0 ω G ( t , τ ) G ( t ε , τ ) f ( τ , x ( τ ) ) d τ + i = 1 m G ( t , τ i ) G ( t ε , τ i ) c i ( μ + ν r ) 0 ω G ( t , τ ) G ( t ε , τ ) d τ + i = 1 m G ( t , τ i ) G ( t ε , τ i ) c i

由(3.2)式,当 ε 0 时, ( Λ x ) ( t ) ( Λ ε x ) ( t ) 0 ,所以KX中相对紧。根据Arzela-Ascoli定理,K P C ( [ 0 , ω ] , X ) 上相对紧,所以 Λ 是全连续算子。由Schauder不动点定理半线性脉冲发展方程,(1.1)至少有一个 ( ω , c ) -周期mild解。

4. 结论

本文讨论了Banach空间中一类半线性脉冲发展方程 ( ω , c ) -周期解的存在性,首先给出了非齐次脉冲发展方程 ( ω , c ) -周期mild解的表达形式,其次在紧半群情形下利用Schauder不动点定理证明了系统(1.1) ( ω , c ) -周期mild解的存在性。

参考文献

[1] Bainov, D.D. and Simeonov, P.S. (1993) Impulsive Differential Equations: Periodic Solutions and Applications. Longman Scientific & Technical.
[2] Cooke, C.H. and Kroll, J. (2002) The Existence of Periodic Solutions to Certain Impulsive Differential Equations.Computers & Mathematics with Applications, 44, 667-676.
https://doi.org/10.1016/s0898-1221(02)00181-5
[3] Li, X., Bohner, M. and Wang, C.-K. (2015) Impulsive Differential Equations: Periodic Solutions and Applications.Automatica, 52, 173-178.
https://doi.org/10.1016/j.automatica.2014.11.009
[4] Liang, J., Liu, J.H. and Xiao, T.-J. (2011) Periodic Solutions of Delay Impulsive Differential Equations.NonlinearAnalysis:Theory,Methods & Applications, 74, 6835-6842.
https://doi.org/10.1016/j.na.2011.07.008
[5] Bainov, D.D. and Simeonov, P.S. (1995) Theory of Impulsive Differential Equations. World Scientific.
[6] Ahmed, N.U., Teo, K.L. and Hou, S.H. (2003) Nonlinear Impulsive Systems on Infinite Dimensional Spaces.Nonlinear Analysis:Theory,Methods & Applications, 54, 907-925.
https://doi.org/10.1016/s0362-546x(03)00117-2
[7] Fečkan, M., Ma, R. and Thompson, B. (2007) Forced Symmetric Oscillations.Bulletin of the Belgian MathematicalSociety-Simon Stevin, 14, 73-85.
https://doi.org/10.36045/bbms/1172852245
[8] Alvarez, E., Gómez, A. and Pinto, M. (2018)-Periodic Functions and Mild Solutions to Abstract Fractional Integro-Differential Equations.Electronic Journal of Qualitative Theory of Differential Equations, No. 16, 1-8.
https://doi.org/10.14232/ejqtde.2018.1.16
[9] Li, M., Wang, J.-R. and Feckan, M. (2018)-Periodic Solutions for Impulsive Differential Systems.Communications in Mathematical Analysis, 21, 35-46.
[10] Agaoglou, M., Panagiotidou, A.P. and Fečkan, M. (2020) Existence and Uniqueness of-Periodic Solutions of Semilinear Evolution Equations.International Journal of Dynamical Systems and Differential Equations, 10, 149-166.
https://doi.org/10.1504/ijdsde.2020.10027757
[11] Liu, K., Wang, J.-R., O’Regan, D. and Fečkan, M. (2020) A New Class of-Periodic Non-Instantaneous Impulsive Differential Equations.Mediterranean Journal of Mathematics, 17, Article No. 155.
https://doi.org/10.1007/s00009-020-01574-8
[12] Fečkan, M., Liu, K. and Wang, J. (2022)-Periodic Solutions of Impulsive Evolution Equations.Evolution Equations & Control Theory, 11, 415-437.
https://doi.org/10.3934/eect.2021006
[13] Pazy, A. (1983) Semigroups of Liear Operators and Applications to Partial Differential Equations. Springer.
https://doi.org/10.1007/978-1-4612-5561-1
[14] 郭大钧. 非线性泛函分析[M]. 第2版. 济南: 山东科学技术出版社, 2001.

为你推荐



Baidu
map