Advances in Applied Mathematics
Vol.
11
No.
11
(
2022
), Article ID:
57556
,
11
pages
10.12677/AAM.2022.1111808
一类三阶变参数中立型奇性微分方程 周期正解的存在性
李盼盼
河南理工大学数学与信息科学学院,河南 焦作
收稿日期:2022年10月3日;录用日期:2022年10月27日;发布日期:2022年11月7日
![](//html.hanspub.org/file/15-2622886x1_hanspub.png?20140201010551048)
摘要
本文利用Leray-Schauder型不动点定理和中立型算子的性质,我们证明了三阶变参数中立型奇性微分方程T-周期正解的存在性,其非线性项可以满足次线性、半线性和超线性条件。
关键词
中立型算子,周期正解,Leray-Schauder型不动点定理,奇性,变参数
![](//html.hanspub.org/file/15-2622886x2_hanspub.png?20140201010551048)
Existence of Positive Periodic Solutions for a Third-Order Neutral Singular Differential Equation with Time-Dependent Parameter
Panpan Li
School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo Henan
Received: Oct. 3rd, 2022; accepted: Oct. 27th, 2022; published: Nov. 7th, 2022
![](//html.hanspub.org/file/15-2622886x3_hanspub.png?20140201010551048)
ABSTRACT
By using the fixed point theorem of Leray-Schauder type and the properties of neutral operators, we prove that the existence of positive T-periodic solutions for a third-order neutral singular differential equation with time-dependent parameter, the nonlinear term may satisfy sub-linearity, semi-linearity and super-linearity conditions.
Keywords:Neutral Operators, Positive Periodic Solutions, Fixed Point Theorem of Leray-Schauder Type, Singularity, Time-Dependent Parameter
![](//html.hanspub.org/file/15-2622886x4_hanspub.png?20140201010551048)
Copyright © 2022 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
![](//html.hanspub.org/file/15-2622886x6_hanspub.png?20140201010551048)
1. 引言
在本文中,我们考虑了三阶变参数中立型奇性微分方程
(1.1)
至少存在一个T-周期正解,其中
,,, 和
是T-周期函数且T是正常数,
是T-周期函数,非线性项
是一个L2-Carathéodory函数且关于t是T-周期的,
在原点具有排斥型奇性,即
,关于t一致。
中立型微分方程大多来源于自然科学和工程领域,可用于描述许多自然现象,并已广泛应用于物理学、生物学、生态学等诸多领域。例如,造血模型 [1],Nicholson绿头苍蝇模型 [2] 等都是中立型微分方程。由于中立项的出现,与传统的常微分方程相比,研究中立型微分方程更具有难度,并且中立型微分方程能更加精确地描述客观事物的发展规律。近年来,中立型奇性微分方程的研究引起了许多学者的广泛关注。在2006年,李志祥和王晓 [3] 证明了下列一阶中立型微分方程
(1.2)
T-周期正解的存在性,其中c为常数且
,。利用Krasnoselskii
不动点定理,他们得到了方程(1.2) T-周期正解的存在性,其非线性项
满足次线性和超线性条件。在2009年,张荣森、任景莉和韩卫卫 [4] 研究了下列二阶中立型微分方程
(1.3)
T-周期正解的存在性,其中
。利用Krasnoselskii不动点定理和限制非线性项
,他们得到了方程(1.3) T-周期正解的存在性,其非线性项
满足次线性条件。在2019年,吕丽莎和程志波 [5] 研究了下列二阶变参数中立型微分方程
(1.4)
T-周期正解的存在性,其中
,此处
,。利用Leray-Schauder型不动点定理,结合中立型算子
的性质,他们得到了在超线性条件下方程(1.4)T-周期正解的存在性,其非线性项
满足次线性、半线性和超线性条件。
关于一阶和二阶中立型微分方程T-周期正解的存在性已经有了大量工作(见 [3] - [11]),但对三阶中立型微分方程的研究相对较少。同时,由于中立项的存在,许多理论难以应用,对中立型微分方程T-周期正解存在性的研究具有一定的难度,并且方程(1.1)在零点处具有排斥型奇性。本
文利用Leray-Schauder型不动点定理,我们证明了当
时方程(1.1) T-周期正解的存在性,其非线性项
满足次线性、半线性和超线性条件。
2. 预备知识
本文中,我们定义
其范数记为
。显然,
是一个Banach空间。定义
和
首先,我们给出Leray-Schauder型不动点定理,这将用于我们下面的证明中。
引理2.1 (见 [12],定理 5)令
是一个Banach空间,假设
是X上以0为球心,r为半径的开球(或闭球)。若算子
满足以下条件:
(a) A一个压缩算子;
(b) B是一个全连续算子。
那么
(i) 存在
使得
成立;或者
(ii) 存在
和
使得
成立。
接下来,我们考虑非齐次线性微分方程
(2.1)
其中
。方程(2.1)可转化为
(2.2)
则方程(2.2)存在唯一一个T-周期解
其中
是方程(2.2) 的格林函数。
下面我们考虑格林函数
的符号和中立型算子
的性质。
引理2.2 (见 [13],引理2.1)方程(2.1)存在唯一一个T-周期解
其中
根据引理2.2,我们定义
显然,
。
引理2.3 (见 [13],引理4.2) 若
,则对任意
,有
。进一步,我们得到
。
引理2.4 (见 [14],引理 2.1)若对任意
,有
,则算子A在
上存在一个逆算子
满足
1)
,对任意
且
;
2)
,对任意
且
。
3. 主要结论
在本节,我们证明对任意
,当
时方程(1.1)存在T-周期正解。
定理 3.1假设对任意
,有
且
成立。进一步,存在常数
使得
下列条件成立:
(H1) 存在连续函数
使得对任意
和
,有
;
(H2) 存在连续正函数
,非负函数
和
使得对任意
和
,有
其中
非增,
在
上非减;
(H3) 下列不等式成立
其中
, 且
。
则方程(1.1)至少存在一个T-周期正解u且
。
证明:首先,令
,根据引理2.4,便有
。由此方程(1.1)可转化为
(3.1)
其中
。因此方程(3.1) 可写为
(3.2)
定义算子T和
为
因此,方程(3.2)的解可写成
.
由于对任意
,有
且
(见 [4],引理3.2),利用引理2.4,得
(3.3)
从而有
定义算子
为
. (3.4)
不难看出,若
成立,则
是方程(3.2)唯一的T-周期正解。更进一步,根据( [9],引理3.2)和
,有
(3.5)
再定义算子A和
为
从上面的论述可知,方程(1.1)的T-周期正解的存在性等价于下列算子方程
(3.6)
在
上周期正解的存在性。
接下来,因为(H2)成立,我们选择
使得
,而且
其中
和
在定理3.1中已定义。令
,固定
,考虑下列方程簇
(3.7)
其中
,且
下面我们证明方程(3.7)对每一个
存在一个T-周期正解。
定义
,由于当
时,非线性项
,则当
时u是奇点,于是对任意
,我们得到
或者
。不失一般性,考虑
且符合方程(1.1)中u的定义,所以我们有
。
令
显然,
在
中是有界闭凸子集。对任意
和
,有
和
这表示
和
是T-周期的。对任意的
,有
根据对任意
,由
,可知A是压缩算子。显然,B是全连续算子(见 [8],定理 3.1)。
另一方面,我们证明对任意
,方程(3.6)中的任何解u必须满足
。利用反证法,假设对任意的
,存在方程(3.6)中的任何解u满足
。由(3.5)可得
根据
可得
由于
,则
结合(3.3),(3.5),条件(H2)和(H3),有
所以,
是矛盾的。因此,利用引理2.1可得到
在
中存在一个不动点,记为
,则我们有
(3.8)
存在一个T-周期正解
且
。
最后,我们考虑
有一个一致正下界,即存在常数
,与
无关,使得
根据条件(H1)可知存在连续函数
使得对任意
和
,有
。由此有
其中
,,于是得到
。
接下来,我们证明
是有界序列。因为
是方程(3.8)的T-周期正解,所以
(3.10)
根据方程(3.10)和Hölder不等式,有
(3.11)
其中
。
因为
,所以存在一点
,使得
,则
(3.12)
通过简单的计算,有
结合(3.12),
和上述等式,可得
(3.13)
其中
。
由
和(3.13),可得
在
上是一致有界和等度连续的。从而,应用Arzela-Ascoli定理,得到
存在子序列
在
上一致收敛到函数
。根据
和
, 满足下列算子方程
令
,得
.
因此,u是方程(1.1)的T-周期正解且满足
。
推论 3.1假设对任意
,有
且
成立。若非线性项
满足以下条件:
(F1) 对任意的
,存在连续函数
和
,, 使得
,对任意
且
。
(i) 若
,则方程(1.1)至少存在一个T-周期正解。
(ii) 若
,则对任意
,方程(1.1)至少存在一个T-周期正解,其中
和
。
证明:应用定理3.1。取
则条件(H1)和(H2)成立。当
时,有
则条件(H3)成立。从而,对任意
方程(1.1)至少存在一个T-周期正解。注意到若
,有
;若
,有
。因此得到(i)和(ii)。
例 3.1考虑下列方程
(3.14)
对比方程(3.14)和方程(1.1),我们有
,,,,,,,,。显然,
和
成立。另外,
,,,,,不难看出条件(F1)成立。根据推论3.1,方程(3.14)至少存在一个
-周期正解。
注3.1本文利用Leray-Schauder型不动点定理和中立型算子的性质,我们证明了对任意
,当
时方程(1.1) T-周期正解的存在性。本文中
的范围仅仅是
,当
或
时,我们还未得出方程(1.1)存在T-周期正解的相应结论。
文章引用
李盼盼. 一类三阶变参数中立型奇性微分方程周期正解的存在性
Existence of Positive Periodic Solutions for a Third-Order Neutral Singular Differential Equation with Time-Dependent Parameter[J]. 应用数学进展, 2022, 11(11): 7636-7646. https://doi.org/10.12677/AAM.2022.1111808
参考文献
- 1. Wu, J. and Wang, Z. (2007) Two Periodic Solutions of Second-Order Neutral Functional Differential Equations. Journal of Mathematical Analysis and Applications, 329, 677-689. https://doi.org/10.1016/j.jmaa.2006.06.084
- 2. Lv, L. and Cheng, Z. (2019) Positive Periodic Solution to Superlinear Neutral Differential Equation with Time-De- pendentpa-rameter. Applied Mathematics Letters, 98, 271-277. https://doi.org/10.1016/j.aml.2019.06.024
- 3. Li, Z. and Wang, X. (2006) Existence of Positive Periodic Solutions for Neutral Functional Differential Equations. Electronic Journal of Differential Equations, 34, 1-8.
- 4. Cheung, W., Ren, J. and Han, W. (2009) Positive Periodic Solution of Sec-ond-Order Neutral Functional Differential Equations. Nonlinear Analysis, 71, 3948-3955. https://doi.org/10.1016/j.na.2009.02.064
- 5. Sun, J. and Liu, Y. (2005) Multiple Positive Solutions of Singular Third-Order Periodic Boundary Value Problem. Acta Mathematica Scientia, 25, 81-88. https://doi.org/10.1016/S0252-9602(17)30263-1
- 6. Candan, T. (2016) Existence of Positive Periodic Solutions of First Order Neutral Differential Equations with Variable Coefficients. Applied Mathematics Letters, 52, 142-148. https://doi.org/10.1016/j.aml.2015.08.014
- 7. Candan, T. (2018) Existence of Positive Periodic Solution of Sec-ond-Order Neutral Differential Equations. Turkish Journal of Mathematics, 42, 797-806. https://doi.org/10.3906/mat-1704-41
- 8. Cheng, Z. and Li, F. (2018) Positive Periodic Solutions for a Kind of Second-Order Neutral Differential Equations with Variable Coefficient and Delay. Mediterranean Journal of Mathemat-ics, 15, 19.
https://doi.org/10.1007/s00009-018-1184-y
- 9. Cheng, Z., Li, F. and Yao, S. (2019) Positive Solutions for Sec-ond-Order Neutral Differential Equations with Time- Dependent Deviating Arguments. Filomat, 33, 3627-3638. https://doi.org/10.2298/FIL1912627C
- 10. Han, W. and Ren, J. (2009) Some Results on Second-Order Neutral Functional Differential Equations with Infinite Distributed Delay. Nonlinear Analysis, 70, 1393-1406. https://doi.org/10.1016/j.na.2008.02.018
- 11. Xin, Y., Han, X. and Cheng, Z. (2017) Multiplicity Results of Fourth-Order Singular Nonlinear Differential Equation with Aparameter. Journal of Applied Analysis & Computation, 7, 455-477. https://doi.org/10.11948/2017029
- 12. Dhage, B.C. and O’Regan, D. (2000) A Fixed Point Theorem in Banach Algebras with Applications to Functional Integral Equations. Functional Differential Equation, 7, 259-267.
- 13. Wang, H. (2010) Positive Periodic Solutions of Singular Systems with a Parameter. Journal of Differen-tial Equations, 249, 2986-3002. https://doi.org/10.1016/j.jde.2010.08.027
- 14. Du, B., Guo, L., Ge, W. and Lu, S. (2009) Periodic Solutions for Generalized Liénard Neutral Equation with Variable Parameter. Nonlinear Analysis, 70, 2387-2394. https://doi.org/10.1016/j.na.2008.03.021