Advances in Applied Mathematics
Vol. 12  No. 06 ( 2023 ), Article ID: 66662 , 7 pages
10.12677/AAM.2023.126263

线性斜积半流非一致指数渐近行为的若干刻画

汪婷*,刘紫依,岳田

湖北汽车工业学院数理与光电工程学院,湖北 十堰

收稿日期:2023年5月5日;录用日期:2023年5月28日;发布日期:2023年6月6日

摘要

本文主要研究Banach空间上线性斜积半流非一致指数渐近行为的Datko型特征以及平均型特征。借助Lyapunov范数技术得到了线性斜积半流满足非一致指数稳定与膨胀的若干充要条件。所得结果推广了微分系统稳定性理论中一些已有结果。

关键词

线性斜积半流,稳定性,膨胀性

Some Characterizations of Nonuniform Exponential Asymptotic Behaviors for Linear Skew-Product Semiflows

Ting Wang*, Ziyi Liu, Tian Yue

School of Mathematics, Physics and Optoelectronic Engineering, Hubei University of Automotive Technology, Shiyan Hubei

Received: May 5th, 2023; accepted: May 28th, 2023; published: Jun. 6th, 2023

ABSTRACT

The aim of this paper is to study the Datko’s characterization for the nonuniform exponential stability and the nonuniform exponential expansiveness of linear skew-product semiflows in Banach spaces, respectively. The necessary and sufficient conditions for the nonuniform exponential asymptotic behaviors are obtained via Lyapunov norms. The obtained conclusions are generalizations of the well-known results in stability theory.

Keywords:Linear Skew-Product Semiflows, Stability, Expansiveness

Copyright © 2023 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

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空间, Θ 是一个度量空间, B ( X ) 表示从X到自身的有界线性算子的全体,I为恒等算子,集合 F 表示满足 f ( 0 ) = 0 f ( t ) > 0 ( t > 0 ) 的单调不减函数 f : R + R + 的全体。

定义2.1 [10] 若映射 σ : Θ × R + Θ ( θ , t ) σ ( θ , t ) 满足

(i) σ ( θ , 0 ) = θ , θ Θ

(ii) σ ( θ , t + s ) = σ ( σ ( θ , s ) , t ) , t , s 0 , θ Θ

(iii) ( θ , t ) σ ( θ , t ) Θ × R + 上连续,

则称 σ Θ 上的线性连续半流。

定义2.2 [10] 设 σ Θ 上的线性连续半流,若映射 Φ : Θ × R + B ( X ) ( θ , t ) Φ ( θ , t ) 满足

(i) Φ ( θ , 0 ) = I , θ Θ

(ii) 对每个 θ Θ x X Φ ( θ , . ) x 连续;

(iii) Φ ( θ , t + s ) = Φ ( σ ( θ , t ) , s ) Φ ( θ , t ) , t , s 0 , θ Θ

(iv) ω R M : Θ R + 使得对 t 0 , θ Θ Φ ( θ , t ) M ( θ ) e ω t

则称 Φ 为强连续上闭链。

基于定义2.1与2.2,称 π = ( Φ , σ ) 为定义在 ε = X × Θ 上的线性斜积半流,其中

π : X × Θ × R + X × Θ , ( x , θ , t ) π ( x , θ , t ) = ( Φ ( θ , t ) x , σ ( θ , t ) ) . (1)

下面我们引入Lyapunov范数记号:

x θ = sup t 0 e ω t Φ ( θ , t ) x , θ Θ , x X , (2)

注2.1 [10] θ Θ , x X , t 0 ,有 Φ ( θ , t ) x σ ( θ , t ) e ω t x θ

定义2.3 [10] 若存在常数 N , v > 0 使得对 θ Θ , x X , t 0 ,有

Φ ( θ , t ) x σ ( θ , t ) N e v t x θ (3)

则称 π = ( Φ , σ ) 称为非一致指数稳定的。

定义2.4 若存在常数 N , v > 0 使得对 θ Θ , x X , t 0 ,有

Φ ( θ , t ) x σ ( θ , t ) N e v t x θ , (4)

则称 π = ( Φ , σ ) 称为非一致指数膨胀的。

引理2.1 [10] π = ( Φ , σ ) 是非一致指数稳定的的充要条件为存在 c ( 0 , 1 ) T > 0 ,使得对 θ Θ , x X t θ , x ( 0 , T ] 满足

Φ ( θ , t θ , x ) x σ ( θ , t θ , x ) c x θ . (5)

引理2.2 π = ( Φ , σ ) 是非一致指数膨胀的充要条件为存在 c > 1 T > 0 ,使得对 θ Θ x X t θ , x ( 0 , T ] 满足

Φ ( θ , t θ , x ) x σ ( θ , t θ , x ) c x θ . (6)

3. 主要结论

定理3.1 π = ( Φ , σ ) 是非一致指数稳定的充要条件为存在 K > 0 以及 f F 使得对 θ Θ x X ,有

0 f ( Φ ( θ , τ ) x σ ( θ , T ) ) d τ K f ( x θ ) . (7)

证 必要性。取 f ( t ) = t , K = N / v 即可,其中 N , v 见定义2.3。

充分性。采用反证法。若 π = ( Φ , σ ) 不是非一致指数稳定的,则由引理2.1可得,对任意 c ( 0 , 1 ) T > 0 ,存在 θ Θ ,以及 x 0 X x 0 θ 0 = 1 使得对 τ ( 0 , T ]

Φ ( θ , τ ) x 0 σ ( θ 0 , τ ) > c x 0 θ 0 = c . (8)

从而借助式(7),对所有的 T > 0

K f ( 1 ) 0 f ( Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d τ 0 T f ( Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d τ 0 f ( c ) d τ = T f ( c ) .

T f ( c ) f ( 1 ) K c ( 0 , 1 ) T > 0 成立。现将c固定,令 T ,则 K ,进而矛盾,故 π = ( Φ , σ ) 是非一致指数稳定的。

注3.1 定理3.1可视作文献 [9] 中的定理3在非一致情形下的推广。

定理3.2 若单调不减函数 φ , ψ : R + R + 满足 lim t φ ( t ) = lim t ψ ( t ) = ,且对 θ Θ x X ,有

sup t > 0 1 t 0 t φ ( ψ ( τ ) Φ ( θ , τ ) x σ ( θ , τ ) ) d τ < . (9)

π = ( Φ , σ ) 是非一致指数稳定的。

证 若 π = ( Φ , σ ) 不是非一致指数稳定的,则由引理2.1可得,对任意 c ( 0 , 1 ) T > 0 ,存在 θ 0 Θ 以及 x 0 X x 0 θ 0 = 1 使得对所有的 τ ( 0 , T ) 有式(8)成立。由此根据式(9)可得,对所有的 T > 0

ρ : = sup t > 0 1 t 0 t φ ( ψ ( τ ) Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d τ sup t ( 0 , T ] 1 t 0 t φ ( c φ ( τ ) ) d τ 1 T 0 T φ ( c φ ( τ ) ) d τ .

故由L’Hospital法则可得

ρ lim T 1 T 0 T φ ( c φ ( τ ) ) d T = lim T φ ( c φ ( τ ) ) = ,

从而矛盾。故结论成立。

注3.2 定理3.2可视作文献 [9] 中的定理2在非一致情形下的推广。

定理3.3 π = ( Φ , σ ) 是非一致指数稳定的充要条件为存在 K , p > 0 ,以及 φ : R + R + 满足 lim t φ ( t ) = ,使得对 θ Θ x X ,有

sup t > 0 φ ( t ) t 0 t Φ ( θ , τ ) x σ ( θ , τ ) p d T K x θ p . (10)

证 必要性显然。令 φ ( t ) = t , K = N P v p 即可,其中 N , v 见定义2.3。

充分性。若 π = ( Φ , σ ) 不是非一致指数稳定的,则由引理2.1可得,对 c ( 0 , 1 ) T > 0 θ 0 Θ x 0 X 使得对 τ ( 0 , T )

Φ ( θ , τ ) x σ ( θ 0 , τ ) > c x θ 0 .

结合式(10),有

c p x 0 θ 0 p φ ( T ) < φ ( T ) T 0 T Φ ( θ , τ ) x σ ( θ , τ ) p d T K x θ 0 P .

c p φ ( T ) < K c ( 0 , 1 ) T > 0 成立。现将c固定,令 T ,则 K c p ,进而矛盾,故 π = ( Φ , σ ) 是非一致指数稳定的。

注3.3 定理3.3可视作文献 [8] 中的定理2.1在非一致情形下的推广。

定理3.4 若对任一 ( θ , t ) Θ × R + Φ ( θ , t ) 为双射,则 π = ( Φ , σ ) 是非一致指数膨胀的充要条件为存在 K > 0 f F 使得对 θ Θ ,有

0 f ( 1 Φ ( θ , τ ) x σ ( θ , τ ) ) d T K f ( 1 x θ ) . (11)

证 必要性。取 f ( t ) = t , K = 1 N v 即可,其中 N , v 见定义2.4。

充分性。若 π = ( Φ , σ ) 不是非一致指数膨胀的,则由引理2.2可得,对任意 c < 1 T > 0 ,存在 θ 0 Θ 以及 x 0 X x 0 θ 0 = 1 使得对 τ ( 0 , T )

Φ ( θ , τ ) x σ ( θ 0 , τ ) < c x θ 0 . (12)

从而借助式(11),对所有的 T > 0

K f ( 1 ) 0 f ( 1 Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d T 0 T f ( 1 Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d T 0 T f ( 1 c ) d τ = T f ( 1 c ) .

T f ( c 1 ) f ( 1 ) K c < 1 T > 0 成立。现将固定c,令 T ,则 K ,进而矛盾,故 π = ( Φ , σ ) 是非一致指数膨胀的。

注3.4 定理3.4可视作文献 [9] 中的定理3在非一致膨胀情形下的变形。

定理3.5 若对任一 ( θ , t ) Θ × R + Φ ( θ , t ) 为双射,单调不减函数 φ , ψ : R + R + 满足 lim t φ ( t ) = lim t ψ ( t ) = 若对 θ Θ x X \ { 0 } ,有

sup t > 0 1 t 0 t φ ( ψ ( τ ) Φ ( θ , τ ) x σ ( θ , τ ) ) d τ < (13)

π = ( Φ , σ ) 是非一致指数膨胀的。

证 若 π = ( Φ , σ ) 不是非一致指数膨胀的,由引理2.2可知对任意 c > 1 T > 0 ,存在 θ 0 Θ 以及 x 0 X x 0 θ 0 = 1 使得对所有的 τ ( 0 , T ] 有式(21)成立。由此结合式(13)可得,对所有的T > 0有

ρ : = sup t > 0 1 t 0 t φ ( ψ ( τ ) Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) ) d τ sup t ( 0 , T ] 1 t 0 t φ ( ψ ( τ ) c ) d τ 1 T 0 T φ ( ψ ( τ ) c ) d τ

故由L’Hospital法则可得

ρ lim T 1 T 0 T φ ( ψ ( τ ) c ) d τ = lim T φ ( ψ ( T ) c ) =

从而矛盾。故 π = ( Φ , σ ) 是非一致指数膨胀的。

注3.5 定理3.5可视作文献 [9] 中的定理2在非一致膨胀情形下的变形。

定理3.6 若对任一 ( θ , t ) Θ × R + Φ ( θ , t ) 为双射,则 π = ( Φ , σ ) 是非一致指数膨胀的充要条件为存在 K , p > 0 ,以及 φ : R + R + 满足 lim t φ ( t ) = ,使得对 θ Θ x X \ { 0 } ,有

sup t > 0 φ ( t ) t 0 t d τ Φ ( θ , τ ) x σ ( θ , τ ) p K x θ p (14)

证必要性显然,令 φ ( t ) = t , K = 1 v p N p 即可,其中 N , υ 见定义2.4。

充分性。若 π = ( Φ , σ ) 不是非一致指数膨胀的,由引理2.2可知对任意 c > 1 T > 0 ,存在 θ 0 Θ 以及 x 0 X \ { 0 } 使得对所有的 τ ( 0 , T ]

Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) < c x 0 θ 0 (15)

结合式(14),有

φ ( T ) c p x 0 θ 0 p φ ( T ) T 0 T d τ Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) p K x 0 θ 0 p

这意味着, φ ( T ) < K c p c > 1 T > 0 成立。现将c固定,令 T ,则 K c p ,进而矛盾,故 π = ( Φ , σ ) 是非一致指数膨胀的。

注3.6 定理3.6可视作文献 [8] 中的定理2.3在非一致情形下的推广。

定理3.7 π = ( Φ , σ ) 是非一致指数膨胀的充要条件为存在 K , p > 0 ,以及 φ : ( 0 , ) ( 0 , ) 满足 lim t φ ( t ) = 0 ,使得对 θ Θ x X ,有

K x θ p inf t > 0 φ ( t ) t 0 t Φ ( θ , τ ) x σ ( θ , τ ) p d τ . (16)

证 必要性。取 φ ( t ) = t e v p t 1 , K = N p v p ,即可,其中详见定义2.4。

充分性。若 π = ( Φ , σ ) 不是非一致指数膨胀的,由引理2.2可知对任意 c > 1 T > 0 ,存在 θ 0 Θ 以及 x 0 X 使得对所有的 τ ( 0 , T ] 有式(15)成立。那么结合式(16),有

K x 0 θ 0 p φ ( T ) T 0 T Φ ( θ 0 , τ ) x 0 σ ( θ 0 , τ ) p d τ < φ ( T ) c p x 0 θ 0 p

这意味着, K < φ ( T ) c p c > 1 T > 0 成立。现将c固定,并令 T ,则有 K c p 0 ,从而矛盾,故 π = ( Φ , σ ) 是非一致指数膨胀。

注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)。

文章引用

汪 婷,刘紫依,岳 田. 线性斜积半流非一致指数渐近行为的若干刻画
Some Characterizations of Nonuniform Exponential Asymptotic Behaviors for Linear Skew-Product Semi?ows[J]. 应用数学进展, 2023, 12(06): 2623-2629. https://doi.org/10.12677/AAM.2023.126263

参考文献

  1. 1. Datko, R. (1970) Extending a Theorem of A. M. Liapunov to Hilbert Spaces. Journal of Mathematical Analysis and Ap-plications, 32, 610-616. https://doi.org/10.1016/0022-247X(70)90283-0

  2. 2. Pazy, A. (1972) On the Applicability of Lyapunov’s Theorem in Hilbert Space. SIAM Journal on Mathematical Analysis, 3, 291-294. https://doi.org/10.1137/0503028

  3. 3. Datko, R. (1972) Uniform Asymptotic Stability of Evolutionary Processes in Banach Space. SIAM Journal on Mathematical Analysis, 3, 428-445. https://doi.org/10.1137/0503042

  4. 4. Minh, N.V., Rabiger, F. and Schnaubelt, R. (1998) Exponential Stability, Exponential Expansiveness and Exponential Dichot-omy of Evolution Equations on the Half-Line. Integral Equations and Operator Theory, 32, 332-353. https://doi.org/10.1007/BF01203774

  5. 5. Buse, C. and Niculescu, C.P. (2011) An Ergodic Characterization of Uniformly Exponentially Stable Evolution Families. Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, 52, 33-40.

  6. 6. Muresan, M., Preda, C. and Preda, P. (2017) Individual Stability and Instability for Evolu-tionary Processes. Acta Mathematica Hungarica, 151, 16-23. https://doi.org/10.1007/s10474-017-0754-y

  7. 7. 岳田, 宋晓秋. Banach空间中GC(0,e)类广义发展算子的一致指数不稳定性[J]. 中山大学学报(自然科学版), 2018, 57(5): 150-154.

  8. 8. 董夙慧, 岳田, 吴媛媛, 等. 线性斜积半流指数渐近行为的平均定理[J]. 四川师范大学学报(自然科学版), 2018, 41(6): 753-756.

  9. 9. 岳田, 宋晓秋. 线性斜积半流的一致指数稳定性的若干刻画[J]. 浙江大学学报(理学版), 2018, 45(5): 545-548.

  10. 10. Preda, C., Preda, P. and Bataran, F. (2015) An Extension of a Theorem of R. Datko to the Case of (non)uniform Exponential Stability of Linear Skew-Product Semiflows. Journal of Mathematical Analysis and Applications, 425, 1148-1154. https://doi.org/10.1016/j.jmaa.2015.01.014

  11. 11. Preda, C. and Onofrei, O.R. (2018) Nonuniform Exponential Di-chotomy for Linear Skew-Product Semiflows Oversemiflows. Semigroup Forum, 96, 241-252. https://doi.org/10.1007/s00233-017-9868-3

  12. 12. Preda, C., Preda, P. and Onofrei, O.R. (2019) Individual Expo-nential Stability for Linear Skew-Products Semiflows over a Semiflow. Periodica Mathematica Hungarica, 79, 168-176. https://doi.org/10.1007/s10998-019-00289-y

  13. 13. 岳田, 宋晓秋. 线性斜积半流非一致指数膨胀性的Datko-Pazy型定理[J]. 华东师范大学学报(自然科学版), 2020(6): 30-37.

期刊菜单