1. 引言
自上世纪70年代以来,关于发展方程指数渐近行为的研究获得了大量学者的关注,若干重要公开问题的解决,使其成为了微分系统定性理论的一个热点领域,促进了相关理论的快速发展与完善 [1] - [6] 。众所周知,作为强连续算子半群、演化族等概念的推广,斜积半流已成为微分动力系统定性理论研究的一个重要工具 [7] - [13] ,且这一概念已被用于研究航天控制、流体力学等方面的问题。如文献 [7] 与 [8] 基于Datko-Pazy技术分别得到了刻画线性斜积半流一致指数稳定的平均型特征与Datko型特征。由于一致渐近行为的条件太强,基于遍历理论的知识,研究微分系统的非一致渐近行为有着重要意义。如文献 [9] 与 [10] 利用Lyapunov范数分别获取了线性斜积半流在非一致视角下指数稳定与二分的若干充要条件;文献 [13] 基于Lyapunov范数建立了Banach空间上刻画线性斜积半流非一致指数膨胀的若干连续与离散形式的Datko型定理,同时建立了线性斜积半流非一致指数膨胀性与Lyapunov算子方程之间的联系。
受文献 [8] 与 [9] 的启发,本文将运用适当的范数技术获得线性斜半流非一致指数渐近行为的系列Datko型与平均型特征,所得结果将指数稳定性理论中一些结果推广到了更一般的非一致情形。
2. 预备知识
设X是一个Banach空间,
是一个度量空间,
表示从X到自身的有界线性算子的全体,I为恒等算子,集合
表示满足
及
的单调不减函数
的全体。
定义2.1 [10] 若映射
,
满足
(i)
;
(ii)
;
(iii)
在
上连续,
则称
为
上的线性连续半流。
定义2.2 [10] 设
为
上的线性连续半流,若映射
,
满足
(i)
;
(ii) 对每个
及
,
连续;
(iii)
;
(iv)
及
使得对
有
,
则称
为强连续上闭链。
基于定义2.1与2.2,称
为定义在
上的线性斜积半流,其中
(1)
下面我们引入Lyapunov范数记号:
(2)
注2.1 [10]
,有
。
定义2.3 [10] 若存在常数
使得对
,有
(3)
则称
称为非一致指数稳定的。
定义2.4 若存在常数
使得对
,有
(4)
则称
称为非一致指数膨胀的。
引理2.1 [10]
是非一致指数稳定的的充要条件为存在
和
,使得对
,
满足
(5)
引理2.2
是非一致指数膨胀的充要条件为存在
和
,使得对
,
,
满足
(6)
3. 主要结论
定理3.1
是非一致指数稳定的充要条件为存在
以及
使得对
,
,有
(7)
证 必要性。取
即可,其中
见定义2.3。
充分性。采用反证法。若
不是非一致指数稳定的,则由引理2.1可得,对任意
和
,存在
,以及
,
使得对
有
(8)
从而借助式(7),对所有的
有
即
对
和
成立。现将c固定,令
,则
,进而矛盾,故
是非一致指数稳定的。
注3.1 定理3.1可视作文献 [9] 中的定理3在非一致情形下的推广。
定理3.2 若单调不减函数
满足
,且对
,
,有
(9)
则
是非一致指数稳定的。
证 若
不是非一致指数稳定的,则由引理2.1可得,对任意
和
,存在
以及
,
使得对所有的
有式(8)成立。由此根据式(9)可得,对所有的
有
故由L’Hospital法则可得
从而矛盾。故结论成立。
注3.2 定理3.2可视作文献 [9] 中的定理2在非一致情形下的推广。
定理3.3
是非一致指数稳定的充要条件为存在
,以及
满足
,使得对
,
,有
(10)
证 必要性显然。令
即可,其中
见定义2.3。
充分性。若
不是非一致指数稳定的,则由引理2.1可得,对
和
,
及
使得对
有
结合式(10),有
即
对
和
成立。现将c固定,令
,则
,进而矛盾,故
是非一致指数稳定的。
注3.3 定理3.3可视作文献 [8] 中的定理2.1在非一致情形下的推广。
定理3.4 若对任一
,
为双射,则
是非一致指数膨胀的充要条件为存在
及
使得对
,有
(11)
证 必要性。取
即可,其中
见定义2.4。
充分性。若
不是非一致指数膨胀的,则由引理2.2可得,对任意
和
,存在
以及
,
使得对
有
(12)
从而借助式(11),对所有的
有
即
对
和
成立。现将固定c,令
,则
,进而矛盾,故
是非一致指数膨胀的。
注3.4 定理3.4可视作文献 [9] 中的定理3在非一致膨胀情形下的变形。
定理3.5 若对任一
,
为双射,单调不减函数
满足
若对
,
,有
(13)
则
是非一致指数膨胀的。
证 若
不是非一致指数膨胀的,由引理2.2可知对任意
和
,存在
以及
,
使得对所有的
有式(21)成立。由此结合式(13)可得,对所有的T > 0有
故由L’Hospital法则可得
从而矛盾。故
是非一致指数膨胀的。
注3.5 定理3.5可视作文献 [9] 中的定理2在非一致膨胀情形下的变形。
定理3.6 若对任一
,
为双射,则
是非一致指数膨胀的充要条件为存在
,以及
满足
,使得对
,
,有
(14)
证必要性显然,令
即可,其中
见定义2.4。
充分性。若
不是非一致指数膨胀的,由引理2.2可知对任意
和
,存在
以及
使得对所有的
有
(15)
结合式(14),有
这意味着,
对
和
成立。现将c固定,令
,则
,进而矛盾,故
是非一致指数膨胀的。
注3.6 定理3.6可视作文献 [8] 中的定理2.3在非一致情形下的推广。
定理3.7
是非一致指数膨胀的充要条件为存在
,以及
满足
,使得对
,
,有
(16)
证 必要性。取
,即可,其中详见定义2.4。
充分性。若
不是非一致指数膨胀的,由引理2.2可知对任意
和
,存在
以及
使得对所有的
有式(15)成立。那么结合式(16),有
这意味着,
对
和
成立。现将c固定,并令
,则有
,从而矛盾,故
是非一致指数膨胀。
注3.6 定理3.7可视作文献 [8] 中的定理2.4在非一致情形下的推广。
4. 总结与展望
本文主要研究了Banach空间上线性斜积半流非一致指数渐近行为的Datko型特征以及平均型特征。具体来讲,得到了2个Datko型刻画(定理3.1与定理3.4)与5个平均型刻画(定理3.2、定理3.3、定理3.5、定理3.6、定理3.7),所得结果将部分一致情形下的结论推广到了非一致情形。后期我们将进一步研究线性斜积半流的其他非一致渐近行为,如非一致多项式稳定、膨胀、二分、三分等。
基金项目
湖北汽车工业学院大学生创新创业训练计划项目(No. DC2022096)。