跳到主要内容

一类中立型泛函微分系统的周期解

摘要

本文分析了线性差分算子的一些性质A类: C类 T型 C类 T型 ,[A类x个](t吨)=x个(t吨)V(V)(t吨)x个(t吨τ)然后,利用Mawhin的重合度理论,研究了一类具有非恒定矩阵的中立型微分系统。得到了周期性存在的一些新结果。值得注意的是V(V)(t吨)不再是一个常量矩阵,这与以往的相应工作不同。

1引言

中性函数方程(简称NFDEs)领域在实践中取得了重大突破;它不再只是一个专家的领域。在许多实际系统中,系统模型由NFDE描述,其中模型依赖于状态和状态导数的延迟。中性系统的实例包括人口生态学、热交换、力学和经济学;参见[1]–[4]. 特别是,许多作者对非功能性DEs溶液的周期性和稳定性等定性分析进行了广泛的研究。我们参考[5]–[12]最近关于中立型方程的周期性和稳定性的一些工作。

在过去的几年里,具有时滞的各类中立型系统的稳定性越来越受到许多作者的关注。对于中立型时滞系统,人们提出了许多充分条件来保证其渐近稳定性。我们只提到一些作者的作品[13]–[15]. 众所周知,中立型方程和中立型系统周期解的存在性是一个非常基本和重要的问题,它起着类似于稳定性的作用。因此,寻求产生的周期中立系统具有周期解的条件是合理的。在这方面取得了很大进展,许多标准是基于不同的方法制定的。然而,目前还没有文献研究具有非常数矩阵的中立型系统周期解的存在性。此外,据我们所知,现有的大多数结果都涉及标量NFED或具有常数矩阵的中性系统。例如,在文献中[16]–[20]基于Mawhin的延拓定理,研究了几种类型的标量中性方程:

d日 2 d日 t吨 2 ( u个 ( t吨 ) k个 u个 ( t吨 τ ) ) = (f) ( u个 ( t吨 ) ) u个 ( t吨 ) + α ( t吨 ) ( u个 ( t吨 ) ) + j个 = 1 n个 β j个 ( t吨 ) ( u个 ( t吨 γ j个 ( t吨 ) ) ) + 第页 ( t吨 ) , d日 N个 d日 t吨 = N个 ( t吨 ) [ α ( t吨 ) β ( t吨 ) N个 ( t吨 ) j个 = 1 n个 b条 j个 ( t吨 ) N个 ( t吨 σ j个 ( t吨 ) ) = 1 c(c) ( t吨 ) N个 ( t吨 τ ( t吨 ) ) ] , d日 N个 d日 t吨 = N个 ( t吨 ) [ 第页 ( t吨 ) j个 = 1 n个 α j个 ( t吨 ) 自然对数 N个 ( t吨 σ j个 ( t吨 ) ) = 1 b条 ( t吨 ) d日 d日 t吨 自然对数 ( t吨 τ ( t吨 ) ) ] , x个 ( t吨 ) + α x个 ( t吨 τ ) = (f) ( t吨 , x个 ( t吨 ) ) , ( u个 ( t吨 ) + B类 u个 ( t吨 τ ) ) = 1 ( t吨 , u个 ( t吨 ) ) 2 ( t吨 , u个 ( t吨 τ 1 ) ) + 第页 ( t吨 ) .

对于中性系统,我们注意到Lu和Ge[21]研究了以下系统:

d日 2 d日 t吨 2 ( x个 ( t吨 ) C类 x个 ( t吨 τ ˜ ) ) + d日 d日 t吨 毕业生F类 ( x个 ( t吨 ) ) +毕业生 ( x个 ( t吨 τ ( t吨 ) ) ) =第页(t吨).

但是C类是一个常对称矩阵。本文的目的是研究具有非常形式矩阵的非线性中立型系统周期解的存在性

d日 2 d日 t吨 2 ( x个 ( t吨 ) C类 ( t吨 ) x个 ( t吨 τ ) ) + d日 d日 t吨 毕业生F类 ( x个 ( t吨 ) ) +毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) =第页(t吨),
(1.1)

哪里x个 n个 ,C类(t吨)=诊断( c(c) 1 (t吨), c(c) 2 (t吨),, c(c) n个 (t吨)),C类(t吨+T型)=C类(t吨);F类(x个) C类 2 ( n个 ,),(x个) C类 1 ( n个 ,);第页(, n个 ),第页(t吨+T型)=第页(t吨);γC类(,),γ(t吨+T型)=γ(t吨);T型,以及τ是给定的常数T型>0.

在本文中,我们使用了一些符号:

  1. (1)

    n个 ={1,2,,n个};= ( 1 , 2 , , n个 ) T型 n个 ,||= ( = 1 n个 | | 2 ) 1 2 ;

  2. (2)

    C类 T型 ={x个:x个C类(, n个 ),x个(t吨+T型)=x个(t吨),t吨}符合规范

    | φ | 0 = 最大值 t吨 [ 0 , T型 ] | φ ( t吨 ) | ,φ C类 T型 ;
  1. (3)

    C类 T型 1 ={x个:x个 C类 1 (, n个 ),x个(t吨+T型)=x个(t吨),t吨}符合规范

    φ= 最大值 t吨 [ 0 , T型 ] { | φ | 0 , | φ | 0 } ,φ C类 T型 1 .

显然, C类 T型 C类 T型 1 是Banach空间。

2主要引理

引理2.1

[22]

如果|c(c)(t吨)|1,然后操作员 A类 1 具有连续逆 A类 1 1 C类 T型 ,令人满意的

( 1 ) [ A类 1 1 (f) ] ( t吨 ) = { (f) ( t吨 ) + j个 = 1 = 1 j个 c(c) ( t吨 ( 1 ) τ ) (f) ( t吨 j个 τ ) , c(c) 0 < 1 , (f) C类 T型 , (f) ( t吨 + τ ) c(c) ( t吨 + τ ) j个 = 1 = 1 j个 + 1 1 c(c) ( t吨 + τ ) (f) ( t吨 + j个 τ + τ ) , σ > 1 , (f) C类 T型 , ( 2 ) 0 T型 | [ A类 1 1 (f) ] ( t吨 ) | d日 t吨 { 1 1 c(c) 0 0 T型 | (f) ( t吨 ) | d日 t吨 , c(c) 0 < 1 , (f) C类 T型 , 1 σ 1 0 T型 | (f) ( t吨 ) | d日 t吨 , σ > 1 , (f) C类 T型 , ( ) A类 1 1 (f) 0 { | (f) | 0 1 c(c) 0 , c(c) 0 < 1 , (f) C类 T型 , | (f) | 0 σ 1 , σ > 1 , (f) C类 T型 .

在这里

c(c) 0 = 最大值 t吨 [ 0 , T型 ] | c(c) ( t吨 ) | ,σ= 最小值 t吨 [ 0 , T型 ] | c(c) ( t吨 ) | .

A类: C类 T型 C类 T型 ,[A类](t吨)=x个(t吨)V(V)(t吨)x个(t吨τ),

哪里t吨,V(V)(t吨) C类 T型 1 是实对称矩阵.

我们将给出A类.

引理2.2

假设 λ 1 (t吨), λ 2 (t吨),, λ n个 (t吨)是的特征值V(V)(t吨).然后是操作员A类具有连续逆 A类 1 C类 T型 ,令人满意的

( 1 ) 0 T型 | [ A类 1 (f) ] ( t吨 ) | d日 t吨 { ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 0 T型 | (f) ( t吨 ) | d日 t吨 , λ , L(左) < 1 , (f) C类 T型 , ( = 1 n个 1 ( 1 λ , ) 2 ) 1 2 0 T型 | (f) ( t吨 ) | d日 t吨 , λ , > 1 , (f) C类 T型 , ( 2 ) | [ A类 1 (f) ] | 0 { ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 | (f) | 0 , λ , L(左) < 1 , (f) C类 T型 , ( = 1 n个 1 ( 1 λ , ) 2 ) 1 2 | (f) | 0 , λ , > 1 , (f) C类 T型 ,

哪里

λ , L(左) = 最大值 t吨 [ 0 , T型 ] | λ ( t吨 ) | , λ , = 最小值 t吨 [ 0 , T型 ] | λ ( t吨 ) | , n个 .

证明

  1. (1)

    V(V)(t吨)是实对称矩阵,存在正交矩阵U型(t吨)这样的话

    U型(t吨)V(V)(t吨) U型 T型 (t吨)= E类 λ (t吨)=诊断 ( λ 1 ( t吨 ) , λ 2 ( t吨 ) , , λ n个 ( t吨 ) ) .

考虑一下这个系统

x个(t吨)V(V)(t吨)x个(t吨τ)=(f)(t吨),

其中我们与

(t吨) E类 λ (t吨)(t吨τ)= (f) ˜ (t吨),
(2.1)

哪里 (f) ˜ (t吨)=U型(t吨)(f)(t吨),(t吨)=U型(t吨)x个(t吨)另一方面,系统(2.1)中向量的分量为

(t吨) λ (t吨) (t吨τ)= (f) ˜ (t吨), n个 .

根据引理2.1,我们有

(t吨)={ (f) ˜ ( t吨 ) + j个 = 1 k个 = 1 j个 λ ( t吨 ( k个 1 ) τ ) (f) ˜ ( t吨 j个 τ ) , λ , L(左) < 1 , (f) ˜ ( t吨 + τ ) λ ( t吨 + τ ) j个 = 1 k个 = 1 j个 + 1 1 λ ( t吨 + k个 τ ) (f) ˜ ( t吨 + j个 τ + τ ) , λ , > 1 .
(2.2)

因此, A类 1 存在并且

A类 1 : C类 T型 C类 T型 , A类 1 (f)(t吨)=x个(t吨)= U型 T型 (t吨)(t吨),t吨[0,T型].
(2.3)

什么时候? λ , L(左) <1,通过(2.2)我们得到

| ( t吨 ) | 最大值 t吨 [ 0 , T型 ] | (f) ˜ ( t吨 ) | 1 λ , L(左) , ,

,

最大值 t吨 [ 0 , T型 ] | ( t吨 ) | 最大值 t吨 [ 0 , T型 ] | (f) ˜ ( t吨 ) | 1 λ , L(左) , .

因此,通过(2.3),我们得到

| A类 1 (f) | 0 = 最大值 t吨 [ 0 , T型 ] | U型 T型 ( t吨 ) ( t吨 ) | = 最大值 t吨 [ 0 , T型 ] | ( t吨 ) | = 最大值 t吨 [ 0 , T型 ] ( = 1 n个 2 ( t吨 ) ) 1 2 ( = 1 n个 最大值 t吨 [ 0 , T型 ] 2 ( t吨 ) ) 1 2 ( = 1 n个 最大值 t吨 [ 0 , T型 ] | (f) ˜ ( t吨 ) | 2 ( 1 λ , L(左) ) 2 ) 1 2 ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 | (f) ˜ | 0 = ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 | U型 (f) | 0 = ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 | (f) | 0 .

显然,

0 T型 | A类 1 (f) ( t吨 ) | d日t吨 ( = 1 n个 1 ( 1 λ , L(左) ) 2 ) 1 2 0 T型 | (f) ( t吨 ) | d日t吨.
  1. (2)

    与上述证明类似,当 λ , >1,我们得到

    | A类 1 (f) | 0 ( = 1 n个 1 ( 1 λ , ) 2 ) 1 2 | (f) | 0 , 0 T型 | A类 1 (f) ( t吨 ) | d日 t吨 ( = 1 n个 1 ( 1 λ , ) 2 ) 1 2 0 T型 | (f) ( t吨 ) | d日 t吨 .

 □

X(X)Y(Y)是两个Banach空间,并且设L(左):D类(L(左))X(X)Y(Y)是一个线性算子,一个索引为零的Fredholm算子(意味着ImL(左)已关闭Y(Y)昏暗的克尔L(左)=法典委员会伊姆河L(左)<+). 如果L(左)是索引为零的Fredholm运算符,则存在连续投影仪P(P):X(X)X(X),:Y(Y)Y(Y)这样的话伊姆河P(P)=克尔L(左),伊姆河L(左)=克尔=伊姆河(),以及 L(左) D类 ( L(左) ) 克尔 P(P) :(P(P))X(X)伊姆河L(左)是可逆的。表示方式 K(K) 第页 的倒数 L(左) P(P) .

设Ω是X(X),一张地图N个: Ω ¯ Y(Y)称为L紧凑型 Ω ¯ 如果N个( Ω ¯ )有界且运算符 K(K) 第页 ()N个( Ω ¯ )相对紧凑。我们首先给出著名的Mawhin延拓定理。

引理2.3

[23]

假设 X(X) Y(Y) 是两个巴纳赫空间和L(左):D类(L(左))X(X)Y(Y)是索引为零的Fredholm运算符.此外,ΩX(X)是一个开有界集,并且N个: Ω ¯ Y(Y)是L-压缩 Ω ¯ .如果以下所有条件都成立:

  1. (1)

    L(左)x个λN个x个,x个ΩD类(L(左)),λ(0,1),

  2. (2)

    N个x个伊姆河L(左),x个Ω克尔L(左),

  3. (3)

    {N个,Ω克尔L(左),0}0,

然后是方程式L(左)x个=N个x个有关于的解决方案 Ω ¯ D类(L(左)).

3主要成果

定理3.1

假设 0 T型 第页(t吨)d日t吨=0,φ(t吨)是的非零周期解(3.1)存在一个常数M(M)>0这样的话

(H)1): n个 , x个 在集合中有界 1 ( 2 ),哪里

1 = { x个 : x个 = ( x个 1 , x个 2 , , x个 n个 ) n个 , x个 ( , M(M) ] , x个 j个 , j个 n个 { } } , 2 = { x个 : x个 = ( x个 1 , x个 2 , , x个 n个 ) n个 , x个 [ M(M) , ) , x个 j个 , j个 n个 { } } .

(H)2): x个 x个 >0(<0),无论何时| x个 |>M(M), n个 .

(H)):假设 μ 1 , μ 2 ,, μ n个 是的特征值 2 F类 ( v(v) ) x个 2 ,v(v) n个 ,存在一个常数 λ F类 0这样的话

最大值 { | μ 1 | , | μ 2 | , , | μ n个 | } λ F类 .

然后是系统(1.1)至少有一个 T型-周期解,如果 λ 0 , < 1 2 ( σ 0 , >1),( λ 2 , T型n个+n个 λ 1 , n个 )T型+ λ 0 , <1,τ=T型,Z轴,哪里

λ 0 , = 最大值 t吨 [ 0 , T型 ] { | c(c) ( t吨 ) | , n个 } , λ 1 , = 最大值 t吨 [ 0 , T型 ] { | c(c) ( t吨 ) | , n个 } , λ 2 , = 最大值 t吨 [ 0 , T型 ] { | c(c) ( t吨 ) | , n个 } , σ 0 , = 最小值 t吨 [ 0 , T型 ] { | c(c) ( t吨 ) | , n个 } .

证明

定义

A类 : C类 T型 C类 T型 , [ A类 x个 ] ( t吨 ) = x个 ( t吨 ) C类 ( t吨 ) x个 ( t吨 τ ) , t吨 , N个 : C类 T型 1 C类 T型 , ( N个 x个 ) ( t吨 ) = d日 d日 t吨 毕业生 F类 ( x个 ( t吨 ) ) 毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) + 第页 ( t吨 ) , L(左) : D类 ( L(左) ) C类 T型 C类 T型 1 , L(左) x个 = ( A类 x个 ) ,

哪里D类(L(左))={x个:x个 C类 T型 1 , x个 C类(, n个 )}然后系统(1.1)服从算子方程L(左)x个=N个x个.我们有 ( x个 ( t吨 ) C类 ( t吨 ) x个 ( t吨 τ ) ) =0,x个克尔L(左).然后

x个(t吨)C类(t吨)x个(t吨τ)= c(c) ˜ 1 t吨+ c(c) ˜ 2 ,

哪里 c(c) ˜ 1 , c(c) ˜ 2 n个 .自x个(t吨)C类(t吨)x个(t吨τ) C类 T型 ,我们有 c(c) ˜ 1 =0.让φ(t吨)C类(, n个 )是的非零周期解

x个(t吨)C类(t吨)x个(t吨τ)=,
(3.1)

然后 | φ ( t吨 ) | 2 >0 0 T型 φ 2 (t吨)d日t吨0,其中是单位矩阵。我们得到

克尔L(左)= { 0 φ ( t吨 ) : 0 } ,伊姆河L(左)= { : C类 T型 , 0 T型 ( ) d日 = 0 } .

显然,我L(左)已关闭 C类 T型 昏暗的克尔L(左)=尾标伊姆河L(左)=n个.所以L(左)是索引为零的Fredholm运算符。定义连续投影仪P(P),:

P(P): C类 T型 克尔L(左),(P(P)x个)(t吨)= 0 T型 x个 ( t吨 ) φ ( t吨 ) d日 t吨 0 T型 φ 2 d日 t吨 φ(t吨)

: C类 T型 C类 T型 /伊姆河L(左),= 1 T型 0 T型 ()d日.

L(左) P(P) =L(左) | D类 ( L(左) ) 克尔 P(P) :D类(L(左))克尔P(P)伊姆河L(左),

然后

L(左) P(P) 1 = K(K) P(P) :伊姆河L(左)D类(L(左))克尔P(P).

伊姆河L(左) C类 T型 D类(L(左))克尔P(P) C类 T型 1 , K(K) P(P) 是嵌入运算符。因此 K(K) P(P) 在Im中是一个完全连续的操作符L(左)。根据N个,大家都知道N个( Ω ¯ )限定于 Ω ¯ 因此,非线性算子N个L-compact是否打开 Ω ¯ 。我们通过三个步骤完成证明。

第1步.让 Ω 1 ={x个D类(L(左)) C类 T型 1 :L(左)x个=λN个x个,λ(0,1)}。我们证明了这一点 Ω 1 是有界集。我们有L(左)x个=λN个x个x个 Ω 1 ,,

d日 2 d日 t吨 2 ( x个 ( t吨 ) C类 ( t吨 ) x个 ( t吨 τ ) ) +λ d日 d日 t吨 毕业生F类 ( x个 ( t吨 ) ) +λ毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) =λ第页(t吨).
(3.2)

将(3.2)的两侧整合到[0,T型],我们有

0 T型 毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) d日t吨=0,

, n个 ,

0 T型 ( x个 ( t吨 γ ( t吨 ) ) ) x个 d日t吨=0.
(3.3)

x个 被限定在 1

x个 x个 >0,无论何时| x个 |>M(M).
(3.4)

E类 1 = { t吨 : t吨 [ 0 , T型 ] , x个 ( t吨 γ ( t吨 ) ) M(M) } , E类 2 = { t吨 : t吨 [ 0 , T型 ] , x个 ( t吨 γ ( t吨 ) ) > M(M) } .

假设(H1),如果 x个 M(M),存在一个常量 M(M) 1 >0这样的话| x个 | M(M) 1 从(3.3)和(3.4)中,我们得到

E类 2 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | d日t吨= E类 2 ( x个 ( t吨 γ ( t吨 ) ) ) x个 d日t吨 E类 1 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | d日t吨 M(M) 1 T型.

因此

0 T型 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | d日t吨= E类 1 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | d日t吨+ E类 2 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | d日t吨2 M(M) 1 T型,

,

0 T型 | 毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) | d日 t吨 = 0 T型 [ = 1 n个 ( ( x个 ( t吨 γ ( t吨 ) ) ) x个 ) 2 ] 1 2 d日 t吨 0 T型 [ = 1 n个 | ( x个 ( t吨 γ ( t吨 ) ) ) x个 | ] d日 t吨 2 n个 M(M) 1 T型 .
(3.5)

我们声称存在一个点 t吨 1 这样的话

| x个 ( t吨 1 ) | M(M).
(3.6)

事实上,对于t吨[0,T型],我们有 x个 (t吨γ(t吨))>M(M)到(3.4),我们已经 0 T型 ( x个 ( t吨 γ ( t吨 ) ) ) x个 d日t吨>0这是一个矛盾;见(3.3)。所以一定有一点ξ[0,T型]这样的话

x个 ( ξ λ ( ξ ) ) M(M).
(3.7)

与上述证明类似,必须有一点η[0,T型]这样的话

x个 ( η γ ( η ) ) M(M).
(3.8)
  1. (1)

    如果 x个 (ξγ(ξ))M(M),截至(3.7),我们已经

    | x个 ( ξ λ ( ξ ) ) | M(M).

t吨 1 =ξγ(ξ)这证明了(3.6)。

  1. (2)

    如果 x个 (ξγ(ξ))<M(M)(3.8)和事实 x个 (t吨)持续打开,有一点 t吨 1 之间ξγ(ξ)ηγ(η)这样的话| x个 ( t吨 1 )|M(M)这也证明了(3.6)。 t吨 1 =k个π+ t吨 2 ,k个Z轴, t吨 2 [0,T型].然后| x个 ( t吨 1 )|=| x个 ( t吨 2 )|M(M)。因此我们得到

    | x个 ( t吨 ) | = 最大值 t吨 [ 0 , T型 ] | x个 ( t吨 2 ) + t吨 2 t吨 x个 ( ) d日 | | x个 ( t吨 2 ) | + 0 T型 | x个 ( ) | d日 M(M) + 0 T型 | x个 ( ) | d日 , | x个 | 0 n个 ( M(M) + 0 T型 | x个 ( ) | d日 ) n个 ( M(M) + T型 1 2 ( 0 T型 | x个 ( ) | 2 d日 ) 1 2 ) .

将系统(3.2)的两侧乘以 x个 T型 (t吨)并将它们整合在一起[0,T型],与结合τ=T型,截至(3.9),我们已经

0 T型 | x个 ( t吨 ) | 2 d日 t吨 + λ 2 , 0 T型 | x个 ( t吨 ) | 2 d日 t吨 + n个 λ 1 , | x个 | 0 0 T型 | x个 ( t吨 ) | d日 t吨 + λ 0 , 0 T型 | x个 ( t吨 ) | 2 d日 t吨 + λ 0 T型 x个 T型 ( t吨 ) 毕业生 ( x个 ( t吨 γ ( t吨 ) ) d日 t吨 λ 0 T型 x个 T型 ( t吨 ) 第页 ( t吨 ) d日 t吨 0 ,

,

( 1 λ 0 , ) 0 T型 | x个 ( t吨 ) | 2 d日 t吨 λ 2 , T型 n个 ( M(M) + 0 T型 | x个 ( t吨 ) | d日 t吨 ) 2 + n个 λ 1 , n个 ( M(M) + 0 T型 | x个 ( t吨 ) | d日 t吨 ) 0 T型 | x个 ( t吨 ) | d日 t吨 + ( | 第页 | 0 + 2 n个 M(M) 1 ) T型 ( M(M) + 0 T型 | x个 ( t吨 ) | d日 t吨 ) = ( λ 2 , T型 n个 + n个 λ 1 , n个 ) ( 0 T型 | x个 ( t吨 ) | d日 t吨 ) 2 + ( 2 λ 2 , T型 n个 M(M) + n个 λ 1 , n个 M(M) + | 第页 | 0 T型 + 2 n个 M(M) 1 T型 ) 0 T型 | x个 ( t吨 ) | d日 t吨 + λ 2 , T型 n个 M(M) 2 + ( | 第页 | 0 + 2 n个 M(M) 1 ) T型 M(M) ( 2 λ 2 , T型 n个 + n个 λ 1 , n个 ) T型 0 T型 | x个 ( t吨 ) | 2 d日 t吨 + ( 2 λ 2 , T型 n个 M(M) + n个 λ 1 , n个 M(M) + | 第页 | 0 T型 + 2 n个 M(M) 1 T型 ) T型 1 2 × ( 0 T型 | x个 ( t吨 ) | 2 d日 t吨 ) 1 2 + λ 2 , T型 n个 M(M) 2 + ( | 第页 | 0 + 2 n个 M(M) 1 ) T型 M(M) .
(3.9)

从(3.9)和( λ 2 , T型n个+n个 λ 1 , n个 )T型+ λ 0 , <1,有一个常数 M(M) 2 >0这样的话

0 T型 | x个 ( t吨 ) | 2 d日t吨 M(M) 2 .
(3.10)

考虑到(3.9)和(3.10),我们得到

| x个 | 0 n个 ( M(M) + T型 1 2 M(M) 2 1 2 ) := M(M) .
(3.11)

从引理2.2, ( A类 x个 ( t吨 ) ) =A类 x个 (t吨)2 C类 (t吨) x个 (t吨τ) C类 (t吨)x个(t吨τ)和(3.2),如果 λ 0 , < 1 2 ,我们有

x个 ( t吨 ) + A类 1 [ λ d日 d日 t吨 毕业生 F类 ( x个 ( t吨 ) ) + λ 毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) ] = A类 1 [ 2 C类 ( t吨 ) x个 ( t吨 τ ) + C类 ( t吨 ) x个 ( t吨 τ ) + A类 1 ( λ 第页 ( t吨 ) ) ] , 0 T型 | x个 ( t吨 ) | d日 t吨 ( = 1 n个 1 ( 1 λ 0 , ) 2 ) 1 2 0 T型 | x个 ( t吨 ) | d日 t吨 × ( 0 T型 | 2 F类 ( x个 ( t吨 ) x个 2 | | x个 ( t吨 ) | d日 t吨 + 0 T型 | 毕业生 ( x个 ( t吨 γ ( t吨 ) ) ) | d日 t吨 0 T型 | x个 ( t吨 ) | d日 t吨 + 2 T型 λ 1 , 0 T型 | x个 ( t吨 ) | d日 t吨 + T型 λ 2 , | x个 | 0 + T型 | 第页 | 0 ) .
(3.12)

根据假设(H)和(3.10)-(3.12),我们得到

0 T型 | x个 ( t吨 ) | d日 t吨 ( = 1 n个 1 ( 1 λ 0 , ) 2 ) 1 2 ( λ F类 T型 1 2 M(M) 2 1 2 + 2 n个 M(M) 1 T型 + 2 T型 λ 1 , T型 1 2 M(M) 2 1 2 + T型 λ 2 , M(M) + T型 | 第页 | 0 ) .

所以存在一个常数 M(M) 4 >0这样的话

0 T型 | x个 ( t吨 ) | d日t吨 M(M) 4 .
(3.13)

x个(t吨) C类 T型 1 , 0 T型 x个 (t吨)d日t吨=0,有一个常量向量α n个 这样的话 x个 (α)=0; 然后通过(3.13)我们得到

| x个 ( t吨 ) | 0 T型 | x个 ( t吨 ) | d日t吨 M(M) 4 .

因此

| x个 | 0 M(M) 4 .

步骤2.让Ω{x个克尔L(左):N个x个=0},我们将证明 Ω 2 是一个有界集合。我们有x个(t吨)= 0 φ(t吨), 0 x个 Ω 2 ; 然后

0 T型 毕业生 ( 0 φ ( t吨 γ ( t吨 ) ) ) d日t吨= 0 T型 毕业生 ( 0 φ ( t吨 ) ) d日t吨=0.
(3.14)

什么时候? λ 0 , < 1 2 , n个 ,我们有

φ ( t吨 ) = A类 1 ( 1 ) = 1 + j个 = 1 k个 = 1 j个 c(c) ( t吨 ( k个 1 ) τ ) 1 j个 = 1 k个 = 1 j个 λ 0 , = 1 λ 0 , 1 λ 0 , = 1 2 λ 0 , 1 λ 0 , : = δ > 0 .

那么我们有

| φ ( t吨 ) | n个 δ.

因此

0 M(M) n个 δ .

否则,如果,t吨[0,T型],| 0 φ(t吨)|>M(M),然后根据假设(H2),我们有

( 0 φ ( t吨 ) ) x个 >0(<0), n个 ,

这是一个矛盾;见(3.14)。什么时候? σ 0 , >1, n个 ,我们有

φ ( t吨 ) = A类 1 ( 1 ) = 1 c(c) ( t吨 + τ ) j个 = 1 k个 = 1 j个 1 c(c) ( t吨 + k个 τ ) 1 λ , j个 = 1 k个 = 1 j个 + 1 1 λ 0 , = 1 λ , 1 : = γ < 0 .

那么我们有

| φ ( t吨 ) | n个 |γ|.

因此

0 M(M) n个 | γ | .

否则,如果t吨[0,T型],| 0 φ(t吨)|>M(M),然后根据假设(H2),我们有

( 0 φ ( t吨 ) ) x个 >0(<0), n个 ,

这是一个矛盾;见(3.14)。因此 Ω 2 是有界集。

步骤3.让Ω={x个 C类 T型 1 : | x个 | 0 <n个 M(M) 2 +1, | x个 | 0 <n个 M(M) 4 +1},然后 Ω 1 Ω 2 Ω,(x个,λ)Ω×(0,1),根据上述证明,L(左)x个λN个x个感到满意。显然,引理2.3的条件(2)也满足。现在我们证明引理2.3的条件(3)是满足的。我们有| x个 0 |= | 0 φ | 0 , 0 , x个 0 Ω克尔L(左)。至少存在一个 n个 这样的话| x个 0 |>M(M).何时 x个 0 >M(M),取同伦

H(H)(x个,μ)=μx个+(1μ)N个x个,x个 Ω ¯ 克尔L(左),μ[0,1].

然后,通过使用假设(H2),我们有H(H)(x个,μ)0.何时 x个 0 <M(M),取同伦

H(H)(x个,μ)=μx个(1μ)N个x个,x个 Ω ¯ 克尔L(左),μ[0,1].

我们也有H(H)(x个,μ)0然后根据度理论,

{ N个 , Ω 克尔 L(左) , 0 } = { H(H) ( , 0 ) , Ω 克尔 L(左) , 0 } = { H(H) ( , 1 ) , Ω 克尔 L(左) , 0 } = { , Ω 克尔 L(左) , 0 } 0 .

应用引理2.3,我们得出结论。□

备注3.1

什么时候? 1 2 λ 0 , <1 σ 0 , <1系统(1.1)的周期解不存在。我们希望有兴趣对此问题进行进一步研究。

作为应用程序,我们考虑以下系统:

d日 2 d日 t吨 2 ( x个 ( t吨 ) C类 ( t吨 ) x个 ( t吨 4 π ) ) + d日 d日 t吨 毕业生F类 ( x个 ( t吨 ) ) +毕业生 ( x个 ( t吨 5 余弦 t吨 ) ) =第页(t吨),
(3.15)

哪里

x个 ( t吨 ) = ( x个 1 ( t吨 ) , x个 2 ( t吨 ) ) T型 , τ = 4 π , γ ( t吨 ) = 5 余弦 t吨 , C类 ( t吨 ) = 诊断 ( t吨 1 , 000 , 余弦 t吨 1 , 000 ) , F类 ( x个 ) = 1 2 π ( x个 1 2 + 2 x个 1 x个 2 + x个 2 2 + 2 x个 1 + x个 2 + 1 ) , ( x个 ) = 1 2 π ( x个 1 + x个 2 ) , 第页 ( t吨 ) = ( t吨 , 余弦 t吨 ) T型 .

显然,系统(3.15)是系统(1.1)的特殊情况。显然,

毕业生(x个)= 1 2 π ( x个 1 , x个 2 ) T型 , 2 F类 ( v(v) ) x个 2 = ( 1 π 1 π 1 π 1 π ) .

此处假设(H1)-(H)2)都很满意。此外,

T型 = 2 π , λ 0 , = λ 1 , = λ 2 , = 1 1 , 000 , n个 = 2 , ( λ 2 , T型 n个 + n个 λ 1 , n个 ) T型 + λ 0 , 0.0976 < 1 .

通过使用定理3.1,当 λ 0 , < 1 2 ,我们知道系统(3.15)至少有一个2π-周期解。

工具书类

  1. 匡毅:时滞微分方程及其在种群动力学中的应用.纽约学术出版社;1993

    谷歌学者 

  2. 黑尔J:泛函微分方程理论纽约施普林格;1997

    谷歌学者 

  3. Kolmannovskii V,Myshkis A公司:泛函微分方程理论与应用简介Kluwer学术,伦敦;1999

     谷歌学者 

  4. Xu S,Lam J,Zou Y:关于不确定中立型系统时滞相关鲁棒稳定性条件的进一步结果。国际J鲁棒非线性控制2005, 15: 233-246. 10.1002/rnc.983

    第条 数学科学网 谷歌学者 

  5. Babram MA,Ezzinbi K:中立型泛函微分方程的周期解。数学杂志。分析。申请。1996, 204: 898-909. 2006年10月10日/jmaa.1996.0475

    第条 数学科学网 谷歌学者 

  6. Cordunenu C:带因果算子的中立型泛函微分方程解的存在性。J.差异。埃克。2000, 168: 93-101. 2006年10月10日/jdeq.2000.3879

    第条 数学科学网 谷歌学者 

  7. 翁P,梁M:造血模型周期解的存在性和行为。数学。申请。1995, 8: 434-439.

    数学科学网 谷歌学者 

  8. Chen FD:具有反馈控制的中立型Lotka-Volterra系统的正周期解。申请。数学。计算。2005, 162: 1279-1302. 2016年10月10日/j.amc.2004.03.009

    第条 数学科学网 谷歌学者 

  9. Beretta E,Solimano F,Takeuchi Y:利用红细胞吞噬作用给药的数学模型。数学杂志。生物。1996, 35: 1-19. 10.1007/s002850050039

    第条 数学科学网 谷歌学者 

  10. Rabah R,Sklyar GM,Rezoeneko AV:希尔伯特空间中性型系统的稳定性分析。J.差异。埃克。2005, 214: 391-428. 2016年10月10日/j.jde.2004.08.001

    第条 数学科学网 谷歌学者 

  11. 沈J,刘毅,李杰:带脉冲的非线性中立型微分方程解的渐近性。数学杂志。分析。申请。2007, 332: 179-189. 2016年10月10日/j.jmaa.2006.09.078

    第条 数学科学网 谷歌学者 

  12. Wang K:具有多个偏差自变量的中立型泛函微分系统周期解的全局吸引性。数学。方法应用。科学。2011, 34: 1308-1316. 10.1002/月1437

    第条 数学科学网 谷歌学者 

  13. Fridman E:线性时滞和中立型系统稳定性的新Lyapunov-Krasovskii泛函。系统。控制信函。2004, 40: 1087-1092.

    谷歌学者 

  14. Han Q:关于具有时变离散时滞和范数不确定性的中立型系统的鲁棒稳定性。Automatica公司2001, 42: 313-322.

    谷歌学者 

  15. 何毅,佘杰,刘刚:混合时滞不确定中立型系统的时滞相关鲁棒稳定性准则。系统。控制信函。2004, 51: 57-65. 10.1016/S0167-6911(03)00207-X

    第条 数学科学网 谷歌学者 

  16. Lu S,Ren J,Ge W:一类二阶中立型泛函微分方程的周期解问题。申请。分析。2003, 82: 411-426. 10.1080/0003681031000103013

    第条 数学科学网 谷歌学者 

  17. Lu S:关于具有多个偏差变元的中立型泛函微分方程正周期解的存在性。数学杂志。分析。申请。2003, 280: 321-333. 10.1016/S0022-247X(03)00049-0

    第条 数学科学网 谷歌学者 

  18. Lu S,Ge W:具有多重时滞的中立型对数总体模型正周期解的存在性。J.计算。申请。数学。2004, 166: 371-383. 2016年10月10日/j.cam.2003.08.033

    第条 数学科学网 谷歌学者 

  19. Serra E:一些中立型非线性微分方程的周期解。非线性分析。1991, 17: 139-151. 10.1016/0362-546X(91)90217-O

    第条 数学科学网 谷歌学者 

  20. Liu B,Huang L:一类一阶中立型泛函微分方程周期解的存在唯一性。数学杂志。分析。申请。2006, 322: 121-132. 2016年10月10日/j.jmaa.2005.08.069

    第条 数学科学网 谷歌学者 

  21. Lu S,Ge W:一类二阶周期解的存在性n个-维中立型泛函微分系统。数学学报。罪。英语。序列号。2003, 46: 601-610.

    数学科学网 谷歌学者 

  22. Du B,Ge W,Lu S:变参数广义Liénard中立型方程的周期解。非线性分析。2009, 70: 2387-2394. 10.1016/j.na.2008.03.021

    第条 数学科学网 谷歌学者 

  23. Gaines R、Mawhin J:重合度与非线性微分方程施普林格,柏林;1977

    谷歌学者 

下载参考资料

致谢

作者感谢这位匿名裁判对本文提出的宝贵建议。这项工作得到了国家自然科学基金(11171085)的资助。

作者信息

作者和附属机构

作者

通讯作者

与的通信何志敏.

其他信息

竞争性利益

作者声明,他们没有相互竞争的利益。

作者的贡献

ZM在本研究中完成了所有证明步骤,并撰写了论文。BD提出了许多好的想法,使本文成为可能,并帮助改进了手稿。所有作者阅读并批准了最终手稿。

权利和权限

开放式访问本文根据Creative Commons Attribution 4.0 International License的条款分发(https://creativecommons.org/licenses/by/4.0)允许以任何媒体或格式使用、复制、改编、分发和复制,只要您对原始作者和来源给予适当的信任,提供知识共享许可的链接,并指出是否进行了更改。

转载和许可

关于这篇文章

检查更新。通过CrossMark验证货币和真实性

引用这篇文章

He,Z.M.,Du,B.一类中立型泛函微分系统的周期解。边界值问题 2014, 151 (2014). https://doi.org/10.1186/s13661-014-0151-1

下载引文

  • 收到:

  • 认可的:

  • 出版:

  • 内政部:https://doi.org/10.1186/s13661-014-0151-1

关键词