具有连续时滞的微分方程的概周期解_严建明
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
* 对系统 (1 ) 作如下变换 x ( ) , i=0, 1, 2.则系统 (1 ) 可化为如下等价系统: t ) =ln (x ( ) i t i
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
*
* 觶( x t ) =a0 (t ) -b0 (t ) e 0
x1 (t )
*
-c1 (t ) -c2 (t )
乙 k(s)e
-τ 1
0
ds-
(t ) e β1
x0 (t ) x (t ) -x (t ) +D1 (t )乙 -1 e x (t )
2 1 * 1 * *
*
→
) (7
1 +α (t ) e
) x2 (t+s
*
x2 (t )
*
乙
M
0
-τ
k2 (s ) e
严建明:具有连续时滞的微分方程的概周期解
· 29 ·
) >0, 则系统 (1 ) 在[-τ, ∞ ) 上存在唯一解 x (t, 准 ) , 且对于 t∈[0, +∞ ) 有x (t, 准 ) >0, 我们称此解为系统 (1 ) 的 且准 (0 正解.因此, 在本文下面的研究中, 我们总假定 准∈C+, 准 (0 ) >0 定义
0 0 1 -τ 0 0 0 1 1 0 1 1 1 1 1 1 -τ 0 1 1 1 2 1 1
(x(t ) ) -x(t ) ) +D (t 乙 k(s)x(t+s)ds 乙 ) u (t ) β (t ) -b (t ) u (t ) -c (t ) 乙 k (s ) u (t+s ) dsa (t 觶 (t u ) =u (t )乙 )乙 1+α (t ) u (t 觶2 x (t ) =x2 (t ) a2 (t ) -b2 (t ) x2 (t ) -c2 (t )
x (t ) -x (t ) ds+D2 (t )乙 -1 e
1 2
*
*
→
(8 )
定理
设系统 (1 ) 满足以上给定的条件 (2 ) (3 ) , 且还满足
L D β +β α M1 βB L D2 βB b0 > b1 > 1 + 0 1 + + βB , , b2 > + , L 2 m m m m L 1+α m m1 乙 燮 1+α m L
0
觶0 (t ) -b0 (t ) x0 (t ) -c0 (t ) x (t ) =x0 (t ) a0
0
1
-τ 0
0
0
1
1
0
1
1
1
1
1
1
-τ 0
1
1
1
2
1
) (1
1
觶2 x (t ) =x2 (t ) a2 (t ) -b2 (t ) x2 (t ) -c2 (t )
乙
) -x (t )乙 x (t )乙 +D (t 乙 k(s)x(t+s)ds 乙
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
考虑系统 (1 ) 的乘积系统 觶0 (t ) -b0 (t ) x0 (t ) -c0 (t ) x (t ) =x0 (t ) a0 t ) x (t ) 乙 乙 k(s)x(t+s)ds- 1β+( )乙 α (t ) x (t ) x (t ) β (t 觶 (t ) -b (t ) x (t ) -c (t ) 乙 k (s ) x (t+s ) dsa (t x (x (t ) ) =x (t )乙 +D (t ) ) -x (t ) )乙 1+α (t ) x (t
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
t ) x (t ) 乙 乙 k(s)x(t+s)ds- 1β+( )乙 α (t ) x (t ) x (t ) β (t ) -x (t )乙 x (t 觶 (t ) -b (t ) x (t ) -c (t ) 乙 k (s ) x (t+s ) dsa (t x ) =x (t )乙 +D (t )乙 )乙 1+α (t ) x (t
L L L L L L L L L L L L L L
max 叟 <+∞ a0 , a1 , a2 , b0 , b1 , b2 , c0 , c1 , c2 , α , β1 , β2 , D1 , D2 叟
M M M M M M M M M M M M M M
) (3
在本文中, 我们采用如下记号和概念. x1, x2 ) ∈R+ = 叟 .如果 x∈IntR+ , 记 x= (x0, 则记 x>0.基于生态学意义, 我们只在 IntR + 上 x∈R3∶xi叟0, 2 叟 i=0, 1, (1 ) 进行研究. 对系统 C+=C 0]; R+) 表示定义在[-τ, 0]上具有范数‖准‖= max 准 ) 的 ([-τ, · 代表欧几里德范数 (s )(其中 准∈C+,
t 叟0 t 叟0
i=0, 1, 2. 乙 k(s)ds=1,
-τ i
0
(2 )
, f M=sup ( .本文我们假定方程 (1 ) 的系数满足下列条件: f t ) f t ) 记 f L=inf ( min 叟 >0, a0 , a1 , a2 , b0 , b1 , b2 , c0 , c1 , c2 , α , β1 , β2 , D1 , D2 叟
x0 (t )
-c0 (t )
乙 k(s)e
-τ 0
0
x0 (t+s )
*
ds-
(t ) e β0
x1 (t ) x1 (t )
*
*
1 +α (t ) e
) x1 (t+s
*
觶 (t x ) =a1 (t ) -b1 (t ) e
* 1 * 觶( x t ) =a2 (t ) -b2 (t ) e 2
关键词:连续时滞; 中图分类号:O175
DOI:10.16074/j.cnki.cn43-1394/z.2017.05.006
在种群动力学的研究中, 生物种群的持续生存是数学生态学中捕食与竞争理论及其相关课题的 众所周知, 一个重要而广泛的、 且受到人们非常关注的课题.1965 年, Holling 在实验的基础上, 对不同的物种, 提出了三种
3 3 3 -τ<θ<0
(5 )
(6 )
这里 f∶R×C→R 连续, C=C 燮 对于 φ∈C, 定义范数为‖φ‖= sup φ 这里 誗 为 R 中的范数. , [-τ, 0], R → (θ ), 令 CH* = 燮 , SH* = 燮 . φ∈C ‖φ‖<H* 燮 x∈R3 |x|<H* 燮 满 f∶R×CH* →R3 对 φ 关于 t 是一致概周期的,若存在连续函数 V∶R+×SH* ×SH* →R+, 这里总是假设 0<H*<+∞, 足如下条件: (Ⅰ ) a (|x-y| ) 燮V (t, x, y ) 燮b (|x-y| ) , 其中 a (s ) , b (s ) ∈CIP, b (0 ) =0; (Ⅱ )V 其中 L>0 是常数, (t, x, y ) ∈R+×SH* ×SH* ; | , (|x1-x2|+|y1-y2) (t, x1, y1 ) y2 ) 燮L -V (t, x2, ) 存在连续非减函数 p (s ) , 当 s>0 时, 有p (s ) >s, 使得当 (Ⅲ p >V (t+θ, φ (0 ) , ψ (0 ) ) , θ∈[-τ, 0] (V (t, x1, y1 ) ) (t, φ (0 ) , ψ (0 ) ) 燮-cV (t, φ (0 ) , ψ (0 ) ) , c<0 是常数. 时有 D+V 如果系统 (5 ) 的每一个解满足‖ξ (t ) ‖燮-cV (t, φ (0 ) , ψ (0 ) ) , t叟T0, 那么系统 (5 ) 必存在一致渐近稳定的概 周期解, 进而如果 ( f t, φ ) 关于 t 是 ω 周期的, 则系统 (5 ) 存在一个周期解, 且是全局渐近稳定的.
s∈[-τ, 0] 3 3 3 3
非负连续函数构成的 Banach 空间.因此, 如果我们选 C+为系统 (1 ) 的初始函数空间, 易知对坌准= (准0, 准1, 准2 ) ∈C+
收稿日期:2016-09-21 作者简介:严建明,1974 年生,男,湖南益阳人,讲师,研究方向:微分方程.
第 36 卷第 5 期
0 0 0 0 0 0 -τ 0 2 2 2 1 2 0 1 -τ 0 0 0 1
乙
(t ) -b1 (t ) u1 (t ) -c1 (t ) 觶1 u (t ) =u1 (t ) a1
2
t ) u (t ) (u (t ) +D (t ) ) -u (t ) 乙 k(s)u(t+s)ds- 1β+( )乙 α (t ) u (t 觶 (t u +D (t (u(t ) =u (t )乙 ) ) -u(t ) ) ) -b (t ) u (t ) -c (t ) 乙 k (s ) u (t+s ) ds 乙 a (t
2] 不同的功能性反应函数.对具有 Holling I、 II、 III 类功能性反应的系统, 许多学者进行了深入研究[1, .由于概周期
现象在实际问题中经常可见, 以周期现象作为特例, 它是比周期现象更广泛的现象。 对于 Lotka-Volterra 系统的 概周期解的定性性质 (概周期解的存在唯一性和一致渐近稳定性 ) 的研究工作目前相对还较少[3-6].而对于同时具 有连续时滞、 扩散、 HollingⅡ类功能性反应的 Lotka-Volterra 型竞争系统的研究非常少.本文研究如下的具有连 续时滞、 扩散、 HollingⅡ类功能性反应的非自治竞争模型:
-τ 2 2 2 1 2
其中 a( , b( , c( (i=0, 1, 2 ) , α (t ) , β( (i=0, 1 ) , D( (i=1, 2 ) 是连续的严格正的 ω 周期函数.x0 和 x1 ) ) ) ) ) i t i t i t i t i t 分别表示两个竞争种群 A 和 B 在斑块 1 中的密度, ) 是种群 B 在斑块 2 中的密度.D( (i=1, 2 ) 表示种群 B 在斑 i t ) 块之间的扩散系数.k( (i=0, 1, 2 ) 是分段连续函数, 并且 i t
3
(4 )
Βιβλιοθήκη Baidu
使得系统 (1 ) 满足初始条件 (4 ) 的每一个解最终都进入并滞留在集合 如果存在有界紧集 D奂IntR+ ,
D 中, 则称系统 (1 ) 是一致持久的. 对于给定 0<δ<η<+∞, 记 C+[δ, η]= 燮 . 准 (θ ) ∈C+∶δ燮准 (θ ) 燮η, θ∈[-τ, 0] 燮 ∈C+.则 x (1 ) , 记x (t ) =x (0, 准 ) (t ) 是过 (0, 准 ) 的解, 其中初值函数 准 (t ) =燮 (t ) 是 对于系统 ) ) )燮 准( , 准( , 准( 0 θ 1 θ 2 θ 唯一的, 且x (t ) >0, t∈[0, T ) , 这里[0, T ) 是系统 (1 ) 的解的最大存在区间, 这样的解叫做系统 (1 ) 的正解. , b , c (i=0, 1, 2 ) , α (t ) , β( (i=0, 1 ) , D( (i=1, 2 ) 是连续的严格正的概周期函数. ( ) ( ) ( ) ) ) 系统 (1 ) 的系数 a i t i t i t i t i t 引理 1[7] 考虑泛函微分方程 觶 x (t ) =( f t, x) t 及乘积系统 觶 觶 x y (t ) =( f t, x) (t ) =( f t, y) t , t
第 36 卷第 5 期 2 0 1 7 年5 月
怀化学院学报 JOURNAL OF HUAIHUA UNIVERSITY
Vol.36.No.5 May, 2017
具有连续时滞的微分方程的概周期解
严建明
( 湖南财政经济学院 基础课部, 湖南 长沙 410205 ) 摘 要:结合运用 Liapunov 泛函数, 研究 Lotka-Volterra 系统的概周期解的存在唯一性和一致渐近稳定性. 竞争系统; Liapunov 泛函; 概周期解 文献标识码:A 文章编号:1671-9743 ( 2017 ) 05-0028-04
β1
M
M
M
M
M
· 30 ·
M M M
怀化学院学报
2017 年 5 月
其中 β 是某一常数, B=M1b0 +Mb1 +Mb2 , 则系统 (1 ) 在 Ω 中存在唯一的概周期解, 此解是全局渐近稳定的. 更进一步, 若系统 (1 ) 的右端关于 t 是 ω- 周期的, 则系统 (1 ) 存在一个 ω- 周期解. 证明
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
*
* 觶( x t ) =a0 (t ) -b0 (t ) e 0
x1 (t )
*
-c1 (t ) -c2 (t )
乙 k(s)e
-τ 1
0
ds-
(t ) e β1
x0 (t ) x (t ) -x (t ) +D1 (t )乙 -1 e x (t )
2 1 * 1 * *
*
→
) (7
1 +α (t ) e
) x2 (t+s
*
x2 (t )
*
乙
M
0
-τ
k2 (s ) e
严建明:具有连续时滞的微分方程的概周期解
· 29 ·
) >0, 则系统 (1 ) 在[-τ, ∞ ) 上存在唯一解 x (t, 准 ) , 且对于 t∈[0, +∞ ) 有x (t, 准 ) >0, 我们称此解为系统 (1 ) 的 且准 (0 正解.因此, 在本文下面的研究中, 我们总假定 准∈C+, 准 (0 ) >0 定义
0 0 1 -τ 0 0 0 1 1 0 1 1 1 1 1 1 -τ 0 1 1 1 2 1 1
(x(t ) ) -x(t ) ) +D (t 乙 k(s)x(t+s)ds 乙 ) u (t ) β (t ) -b (t ) u (t ) -c (t ) 乙 k (s ) u (t+s ) dsa (t 觶 (t u ) =u (t )乙 )乙 1+α (t ) u (t 觶2 x (t ) =x2 (t ) a2 (t ) -b2 (t ) x2 (t ) -c2 (t )
x (t ) -x (t ) ds+D2 (t )乙 -1 e
1 2
*
*
→
(8 )
定理
设系统 (1 ) 满足以上给定的条件 (2 ) (3 ) , 且还满足
L D β +β α M1 βB L D2 βB b0 > b1 > 1 + 0 1 + + βB , , b2 > + , L 2 m m m m L 1+α m m1 乙 燮 1+α m L
0
觶0 (t ) -b0 (t ) x0 (t ) -c0 (t ) x (t ) =x0 (t ) a0
0
1
-τ 0
0
0
1
1
0
1
1
1
1
1
1
-τ 0
1
1
1
2
1
) (1
1
觶2 x (t ) =x2 (t ) a2 (t ) -b2 (t ) x2 (t ) -c2 (t )
乙
) -x (t )乙 x (t )乙 +D (t 乙 k(s)x(t+s)ds 乙
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
考虑系统 (1 ) 的乘积系统 觶0 (t ) -b0 (t ) x0 (t ) -c0 (t ) x (t ) =x0 (t ) a0 t ) x (t ) 乙 乙 k(s)x(t+s)ds- 1β+( )乙 α (t ) x (t ) x (t ) β (t 觶 (t ) -b (t ) x (t ) -c (t ) 乙 k (s ) x (t+s ) dsa (t x (x (t ) ) =x (t )乙 +D (t ) ) -x (t ) )乙 1+α (t ) x (t
乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙 乙
t ) x (t ) 乙 乙 k(s)x(t+s)ds- 1β+( )乙 α (t ) x (t ) x (t ) β (t ) -x (t )乙 x (t 觶 (t ) -b (t ) x (t ) -c (t ) 乙 k (s ) x (t+s ) dsa (t x ) =x (t )乙 +D (t )乙 )乙 1+α (t ) x (t
L L L L L L L L L L L L L L
max 叟 <+∞ a0 , a1 , a2 , b0 , b1 , b2 , c0 , c1 , c2 , α , β1 , β2 , D1 , D2 叟
M M M M M M M M M M M M M M
) (3
在本文中, 我们采用如下记号和概念. x1, x2 ) ∈R+ = 叟 .如果 x∈IntR+ , 记 x= (x0, 则记 x>0.基于生态学意义, 我们只在 IntR + 上 x∈R3∶xi叟0, 2 叟 i=0, 1, (1 ) 进行研究. 对系统 C+=C 0]; R+) 表示定义在[-τ, 0]上具有范数‖准‖= max 准 ) 的 ([-τ, · 代表欧几里德范数 (s )(其中 准∈C+,
t 叟0 t 叟0
i=0, 1, 2. 乙 k(s)ds=1,
-τ i
0
(2 )
, f M=sup ( .本文我们假定方程 (1 ) 的系数满足下列条件: f t ) f t ) 记 f L=inf ( min 叟 >0, a0 , a1 , a2 , b0 , b1 , b2 , c0 , c1 , c2 , α , β1 , β2 , D1 , D2 叟
x0 (t )
-c0 (t )
乙 k(s)e
-τ 0
0
x0 (t+s )
*
ds-
(t ) e β0
x1 (t ) x1 (t )
*
*
1 +α (t ) e
) x1 (t+s
*
觶 (t x ) =a1 (t ) -b1 (t ) e
* 1 * 觶( x t ) =a2 (t ) -b2 (t ) e 2
关键词:连续时滞; 中图分类号:O175
DOI:10.16074/j.cnki.cn43-1394/z.2017.05.006
在种群动力学的研究中, 生物种群的持续生存是数学生态学中捕食与竞争理论及其相关课题的 众所周知, 一个重要而广泛的、 且受到人们非常关注的课题.1965 年, Holling 在实验的基础上, 对不同的物种, 提出了三种
3 3 3 -τ<θ<0
(5 )
(6 )
这里 f∶R×C→R 连续, C=C 燮 对于 φ∈C, 定义范数为‖φ‖= sup φ 这里 誗 为 R 中的范数. , [-τ, 0], R → (θ ), 令 CH* = 燮 , SH* = 燮 . φ∈C ‖φ‖<H* 燮 x∈R3 |x|<H* 燮 满 f∶R×CH* →R3 对 φ 关于 t 是一致概周期的,若存在连续函数 V∶R+×SH* ×SH* →R+, 这里总是假设 0<H*<+∞, 足如下条件: (Ⅰ ) a (|x-y| ) 燮V (t, x, y ) 燮b (|x-y| ) , 其中 a (s ) , b (s ) ∈CIP, b (0 ) =0; (Ⅱ )V 其中 L>0 是常数, (t, x, y ) ∈R+×SH* ×SH* ; | , (|x1-x2|+|y1-y2) (t, x1, y1 ) y2 ) 燮L -V (t, x2, ) 存在连续非减函数 p (s ) , 当 s>0 时, 有p (s ) >s, 使得当 (Ⅲ p >V (t+θ, φ (0 ) , ψ (0 ) ) , θ∈[-τ, 0] (V (t, x1, y1 ) ) (t, φ (0 ) , ψ (0 ) ) 燮-cV (t, φ (0 ) , ψ (0 ) ) , c<0 是常数. 时有 D+V 如果系统 (5 ) 的每一个解满足‖ξ (t ) ‖燮-cV (t, φ (0 ) , ψ (0 ) ) , t叟T0, 那么系统 (5 ) 必存在一致渐近稳定的概 周期解, 进而如果 ( f t, φ ) 关于 t 是 ω 周期的, 则系统 (5 ) 存在一个周期解, 且是全局渐近稳定的.
s∈[-τ, 0] 3 3 3 3
非负连续函数构成的 Banach 空间.因此, 如果我们选 C+为系统 (1 ) 的初始函数空间, 易知对坌准= (准0, 准1, 准2 ) ∈C+
收稿日期:2016-09-21 作者简介:严建明,1974 年生,男,湖南益阳人,讲师,研究方向:微分方程.
第 36 卷第 5 期
0 0 0 0 0 0 -τ 0 2 2 2 1 2 0 1 -τ 0 0 0 1
乙
(t ) -b1 (t ) u1 (t ) -c1 (t ) 觶1 u (t ) =u1 (t ) a1
2
t ) u (t ) (u (t ) +D (t ) ) -u (t ) 乙 k(s)u(t+s)ds- 1β+( )乙 α (t ) u (t 觶 (t u +D (t (u(t ) =u (t )乙 ) ) -u(t ) ) ) -b (t ) u (t ) -c (t ) 乙 k (s ) u (t+s ) ds 乙 a (t
2] 不同的功能性反应函数.对具有 Holling I、 II、 III 类功能性反应的系统, 许多学者进行了深入研究[1, .由于概周期
现象在实际问题中经常可见, 以周期现象作为特例, 它是比周期现象更广泛的现象。 对于 Lotka-Volterra 系统的 概周期解的定性性质 (概周期解的存在唯一性和一致渐近稳定性 ) 的研究工作目前相对还较少[3-6].而对于同时具 有连续时滞、 扩散、 HollingⅡ类功能性反应的 Lotka-Volterra 型竞争系统的研究非常少.本文研究如下的具有连 续时滞、 扩散、 HollingⅡ类功能性反应的非自治竞争模型:
-τ 2 2 2 1 2
其中 a( , b( , c( (i=0, 1, 2 ) , α (t ) , β( (i=0, 1 ) , D( (i=1, 2 ) 是连续的严格正的 ω 周期函数.x0 和 x1 ) ) ) ) ) i t i t i t i t i t 分别表示两个竞争种群 A 和 B 在斑块 1 中的密度, ) 是种群 B 在斑块 2 中的密度.D( (i=1, 2 ) 表示种群 B 在斑 i t ) 块之间的扩散系数.k( (i=0, 1, 2 ) 是分段连续函数, 并且 i t
3
(4 )
Βιβλιοθήκη Baidu
使得系统 (1 ) 满足初始条件 (4 ) 的每一个解最终都进入并滞留在集合 如果存在有界紧集 D奂IntR+ ,
D 中, 则称系统 (1 ) 是一致持久的. 对于给定 0<δ<η<+∞, 记 C+[δ, η]= 燮 . 准 (θ ) ∈C+∶δ燮准 (θ ) 燮η, θ∈[-τ, 0] 燮 ∈C+.则 x (1 ) , 记x (t ) =x (0, 准 ) (t ) 是过 (0, 准 ) 的解, 其中初值函数 准 (t ) =燮 (t ) 是 对于系统 ) ) )燮 准( , 准( , 准( 0 θ 1 θ 2 θ 唯一的, 且x (t ) >0, t∈[0, T ) , 这里[0, T ) 是系统 (1 ) 的解的最大存在区间, 这样的解叫做系统 (1 ) 的正解. , b , c (i=0, 1, 2 ) , α (t ) , β( (i=0, 1 ) , D( (i=1, 2 ) 是连续的严格正的概周期函数. ( ) ( ) ( ) ) ) 系统 (1 ) 的系数 a i t i t i t i t i t 引理 1[7] 考虑泛函微分方程 觶 x (t ) =( f t, x) t 及乘积系统 觶 觶 x y (t ) =( f t, x) (t ) =( f t, y) t , t
第 36 卷第 5 期 2 0 1 7 年5 月
怀化学院学报 JOURNAL OF HUAIHUA UNIVERSITY
Vol.36.No.5 May, 2017
具有连续时滞的微分方程的概周期解
严建明
( 湖南财政经济学院 基础课部, 湖南 长沙 410205 ) 摘 要:结合运用 Liapunov 泛函数, 研究 Lotka-Volterra 系统的概周期解的存在唯一性和一致渐近稳定性. 竞争系统; Liapunov 泛函; 概周期解 文献标识码:A 文章编号:1671-9743 ( 2017 ) 05-0028-04
β1
M
M
M
M
M
· 30 ·
M M M
怀化学院学报
2017 年 5 月
其中 β 是某一常数, B=M1b0 +Mb1 +Mb2 , 则系统 (1 ) 在 Ω 中存在唯一的概周期解, 此解是全局渐近稳定的. 更进一步, 若系统 (1 ) 的右端关于 t 是 ω- 周期的, 则系统 (1 ) 存在一个 ω- 周期解. 证明