郝瑞雪，魏毅强

(太原理工大学 数学学院，太原 030024)

ZHANG et al[1]在2007年研究了下列非线性非自治Riemann-Liouville型分数阶时滞系统(1)

式中：0<α<1，φ(t)是[-r,0)的连续函数，A0，A1是常数矩阵；r是正常数。该文献主要研究系统(1)解的存在唯一性，并且运用广义Gronwall不等式推论证明该系统具有有限时间稳定性。但该文在有限时间稳定性的概念定义上，以及证明过程中都存在较严重的问题。

MIHAILO et al[2]在2008年纠正了文献[1]的错误，研究了线性自治分数阶时滞微分系统与带有控制变量的非自治系统具有有限时间稳定性。

EL-SAYED et al[3]在2009年将问题推广到变系数的情形，研究了下列线性非自治Riemann-Liouville型分数阶时滞系统(2)：

(2)

使得解的存在唯一性的证明得以完成。

WANG et al[4]在2015年研究了下列非自治非线性Caputo型分数阶时滞微分系统(3)在非局部初值条件下解的存在唯一性

(3)

式中：0<α<1；A0，A1是常数矩阵。文中有关时滞项的处理方式及Gronwall不等式的灵活应用对同类型问题的研究有可借鉴之处。

本文在前人研究的基础上，将问题推广到下列非局部非自治Riemann-Liouville型分数阶时滞微分系统(4)：

(4)

1 预备知识

定义1[5]设函数x∈L[a,b],ρ∈R+,记

定义2[5]设函数x∈L[a,b],ρ∈R+,m=[ρ]+1,记

称为x(t)的ρ阶Riemann-Liouville型导数。

引理1[5]ρ∈R+,m=[ρ]+1,υ∈C1[0,1],u∈Cm[0,1],Im-ρu∈Am[0,1],则有

1) ∀r,s>0,则IrIsυ(t)=Ir+sυ(t).

2)DρIρυ(t)=υ(t).

u(0).

引理2[6](广义Gronwall不等式)假设g(t)是非负非减的连续函数,0≤t0,a(t),u(t)是[0,T)的非负局部可积函数且

则有

定义3[5]设n>0,记

称为n阶Mittag-Leffler函数。特别地,E1(z)=ez.

定义4[7]齐次方程

满足初始条件x(t)=ψ(t),-τ≤t≤0,关于[δ,ε,t0,J],δ<ε是有限时间稳定的当且仅当

‖ψ‖<δ.

那么

‖x‖<ε.

其中t0是初始时间,J=[t0,t0+T],J⊂R.

把有限时间稳定性的概念推广到非线性系统中，定义如下。

定义5 设∀i,t>0,fi(t,0,0,L,0)=0,称非线性非自治时滞系统(4)是有限时间稳定的,当且仅当‖Φ‖<δ,且‖f‖<α,则有‖x‖<ε.

为了讨论方便,引出几个今后使用的条件：

2 主要结论

定理1 在H1的假设条件下，在C[-r,T]空间内系统(4)与下列系统(5)等价。其中C[-r,T]空间表示[-r,T]上的连续空间。

(5)

证明：当t∈(0,T]时,系统(4)的第一个式子由Riemann-Liouville型导数的定义可得：

对等号两边同时积分并由系统(4)中的条件I(1-ρ)xi(t)|t=0=0可得：

对等号两边求ρ阶积分得:

对等号两边再求一阶导数即得:

反过来,对系统(5)中的第一个式子等号两边先求(1-ρ)阶积分,再求一阶导数可得：