非线性含参系统无穷多正周期解的存在性

2021-09-22 04:07:40杨伟
吉林大学学报(理学版) 2021年5期
关键词:定义系统

杨 伟

(西北师范大学 数学与统计学院, 兰州 730070)

0 引 言

一阶微分方程周期边值问题在生物医学、 经济学、 工程和物理学等领域应用广泛. 例如, 超音速流中飞行器壁板的气动弹性稳定性问题, 常微分方程组下的中等收入陷阱问题, 医学中处理心脏舒张问题常用的Carathéodory方程模型[1]

y′(t)=ay(t)+f(t),

(1)

以及生物学中研究种群捕食关系的Lotka-Volterra模型[2]

(2)

等. 其中关于单个方程周期边值问题正解的存在性研究目前已有许多成果[3-7]. 例如, Chen等[3]研究了一阶周期边值问题

(3)

定理1[3]假设下列条件成立:

2) 存在χ≫0, 使得p∶=a+χ≻0;

3)f∈C([0,T]×[0,∞),[0,∞)),f(t,u)≥-χ(t)u.

但关于系统周期边值问题正解的存在性研究目前文献报道较少[8-9]: Precup[8]研究了一阶非线性微分方程系统

(4)

定理2[8]假设存在αi,βi>0且αi≠βi(i=1,2), 使得

B1ωΓ1≤α1,A1ωγ1≥β1,

B2ωΓ2≤α2,A2ωγ2≥β2,

则问题(4)至少存在一个正周期解, 其中Ai,Bi,Γi(i=1,2)的表达式参见文献[4].

(5)

无穷多正周期解的存在性.本文总假设:

(H1)a,b: [0,1]→[0,∞)是连续函数且在[0,1]的任意子区间上不恒为零;

(H2)f,g: [0,1]×[0,∞)×[0,∞)→[0,∞)是连续函数.

为方便, 定义

z∶=(u,v)T, ‖z‖=‖u‖∞+‖v‖∞,

w∶=(f,g)T, ‖w‖1=‖f‖1+‖g‖1,

其中

设G(t,s)为非线性含参系统(5)对应的Green函数, 定义

1 预备知识

1) ‖Tu‖≥‖u‖,u∈K∩∂Ω1, ‖Tu‖≤‖u‖,u∈K∩∂Ω2;

2) ‖Tu‖≤‖u‖,u∈K∩∂Ω1, ‖Tu‖≥‖u‖,u∈K∩∂Ω2.

定义1[11]假设B是一个n×n常数矩阵, 定义矩阵指数eB为下列矩阵级数之和:

(6)

其中E为n阶单位矩阵,Bm是矩阵B的m次幂, 这里规定B0=E, 0!=1.

注1定义1的级数对所有的B都是收敛的.

注2对定义1中任意矩阵B, eB存在, 且

(eB)-1=e-B.

(7)

引理2[11]假设x=(x1,x2,…,xn),B是n阶常数矩阵, 则齐次线性微分方程组x′=Bx的基解矩阵为Φ(t)=eBt且Φ(0)=E.

引理4假设条件(H1),(H2)成立, 则非线性含参系统(5)等价于积分方程

(8)

其中

(9)

证明: 系统(5)可表示为

z′(t)+A(t)z(t)=λw(t,z(t)),

(10)

(11)

对式(11)关于0到t积分, 可得

对式(11)关于t到1积分, 可得

由u(0)=u(1)可得

从而

证毕.

定义Banach空间X如下: 设X={z(·)∈C([0,1],[0,∞)×[0,∞)):z(0)=z(1)}, 并设

是X中的锥.定义算子Tλ:K→X, 则

(12)

引理5假设……

登录APP查看全文

猜你喜欢
定义系统
Smartflower POP 一体式光伏系统
工业设计(2022年8期)2022-09-09 07:43:20
WJ-700无人机系统
永远不要用“起点”定义自己
海峡姐妹(2020年9期)2021-01-04 01:35:44
ZC系列无人机遥感系统
北京测绘(2020年12期)2020-12-29 01:33:58
定义“风格”
基于PowerPC+FPGA显示系统
半沸制皂系统(下)
连通与提升系统的最后一块拼图 Audiolab 傲立 M-DAC mini
成功的定义
山东青年(2016年1期)2016-02-28 14:25:25
修辞学的重大定义
当代修辞学(2014年3期)2014-01-21 02:30:44