Partial Variable Stability for a Class of Nonlinear Systems with Time Delay

Abstract

This article first gives a new class of integral inequalities. Then, as an application, the nonlinear neutral differential system with multiple delays is considered, and the trivial solution of the nonlinear neutral system with multiple delays is obtained. Uniform asymptotic Lipschitz stability. Obviously, the above system is a generalization of the traditional differential system. The purpose of this paper is to study the dual stability of neutral differential equations with delays, including equal asymptotically Lipschitz stability and uniformly asymptotic Lipschitz stability. The author uses the method of integral inequality to establish a double stability criterion. As a result, the local stability of differential equations is widely used in theory and practice, such as dynamic systems and control systems.

Share and Cite:

Huo, R. and Wang, X. (2020) Partial Variable Stability for a Class of Nonlinear Systems with Time Delay. Applied Mathematics, 11, 377-388. doi: 10.4236/am.2020.115027.

1. Introduction

In 1892, Lyapunov, a Russian mathematician, mechanician and physicist, proposed the notion of the stability of motion. He gave the general research methods in his doctoral dissertation “The general problem of the stability of motion” [1], in which he established the foundation of the stability theory. When studying nonlinear systems, especially studying dynamic systems or control systems, we cannot study the stability of all variables because of the technology difficulties, the limitation of practical conditions, or it is not necessary to study all variables considering the actual need. As a result, studying the partial stability of differential equations becomes more important. In addition, the partial stability is widely used in science and technology. For instance the absolute stability of famous Lurie adjusting systems can be changed into a problem of partial stability. In a word, it is of practical significance to study the partial stability of differential equations.

Since Bellman created a class of integral inequalities in 1958, integral inequalities have been greatly developed. The main results are:

In 1960, Li Yuesheng gave the following inequality in [2]:

u ( t ) u 0 + 0 t g ( s ) u ( s ) d s + 0 t f ( s ) u α ( s ) d s

In 2005, Sligeng discussed the following inequality in [3]:

u 1 ( t ) k 1 + 0 t h 1 ( s ) u 1 ( s ) d s + 0 t h 2 ( s ) u 2 ( s ) e μ s d s + 0 t h ¯ 1 ( s ) u 1 α ( s ) e ( α 1 ) μ s d s + 0 t h ¯ 2 ( s ) u 2 α ( s ) e μ s d s

u 2 ( t ) k 2 + 0 t h 3 ( s ) u 1 ( s ) e μ s d s + 0 t h 4 ( s ) u 2 ( s ) d s + 0 t h ¯ 3 ( s ) u 1 α ( s ) e α μ s d s + 0 t h ¯ 4 ( s ) u 2 α ( s ) d s

In 2009, the author discussed a new class of inequalities in [4].

Vorotnikov, V.I. [5] [6] considered the following system

{ d y d t = A ( t ) y + B ( t ) z + Y ( t , y , z ) d z d t = C ( t ) y + D ( t ) z + Z ( t , y , z )

and studied the double stability as y + z 0 and Y ( t , y , z ) + Z ( t , y , z ) y + z 0 .

In 2002, Wang Feng used the differential inequality of delay in article [7] to study the following delay system:

{ d y d t = A ( t ) y + B ( t ) z + Y ( t , y , z , y ( t τ ) , z ( t τ ) ) d z d t = C ( t ) y + D ( t ) z + Z ( t , y , z , y ( t τ ) , z ( t τ ) )

In 2006, Siligeng used the integral inequality extended in [3] in [8] to discuss the double stability of the following system to some variables:

{ d y d t = A ( t ) y + f 1 ( t , y , z ) d z d t = B ( t ) z + f 2 ( t , y , z )

In this paper the author consider a new class of the nonlinearly perturbed differential systems with time-delay

{ d y d t = B ( t ) y + C ( t ) z + Y ( s , y ( s ) , z ( s ) , 0 t h 1 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s ) d z d t = D ( t ) y + E ( t ) z + Z ( s , y ( s ) , z ( s ) , 0 t h 2 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s )

It is obvious that the above system is a generalization of the systems in [5] [6] [7] [8].

The aim of this paper is to investigate the double stability of neutural differential equations, including Uniform stability and Uniform Lipschitz stability. The author uses the method of differential inequalities with time-delay and integral inequalities to establish double stability criteria.

2. Preliminaries

Consider the following system:

d x d t = f ( t , x ( t ) , x ( t τ ) , x ˙ ( t τ ) ) (1)

where x R n , y = c o l ( x 1 , x 2 , , x m ) , z = c o l ( x m + 1 , x m + 2 , , x n ) , x = c o l ( y , z ) , f ( t , 0 , 0 ) 0 , τ is a nonnegative constant. Let ϕ ( t ) be a continuous function, for t E t 0 = [ t 0 τ , t 0 ] .

Definition 1 [9] [10] [11] The trivial solution of system (1) has uniform stability and exponential asymptotic stability with respect to y if, for ε > 0 , t 0 I , δ ( ε ) > 0 , and λ > 0 , when ϕ < δ (for t E t 0 ), such that

y ( t ; t 0 , ϕ ) + y ˙ ( t ; t 0 , ϕ ) < ε exp ( λ ( t t 0 ) ) , t t 0 .

Definition 2 [9] [10] [11] The trivial solution of system (1) has Lipschitz stability with respect to y if, there exists constants M ( t 0 ) > 0 and δ ( t 0 ) > 0 , when φ + φ ˙ < δ (for t E t 0 ), such that

y ( t ; t 0 , ϕ ) + y ˙ ( t ; t 0 , ϕ ) M ( t 0 ) ( ϕ + ϕ ˙ ) , t t 0 0.

Definition 3 [9] [10] [11] The trivial solution of system (1) has equi-exponential Lipschitz asymptotic stability with respect to y if, there exists λ > 0 , K ( t 0 ) > 0 and δ ( t 0 ) > 0 , when φ + φ ˙ < δ (for t E t 0 ), such that

y ( t ; t 0 , ϕ ) + y ˙ ( t ; t 0 , ϕ ) K ( t 0 ) ( ϕ + ϕ ˙ ) exp ( λ ( t t 0 ) ) , t t 0 0.

Definition 4 [9] [10] [11] The trivial solution of system (1) has uniform exponential Lipschitz asymptotic stability with respect to y if, K and δ > 0 in definition 3 are ndependent of t 0 .

Lemma 1 [4] The following conditions are established on t t 0 :

i) k 1 , k 2 , μ are non-negative constants;

ii) 1)

u 1 ( t ) k 1 + t 0 t a ( s ) u 1 ( s ) d s + t 0 t b ( s ) u 2 ( s ) e μ ( s t 0 ) d s + t 0 t i = 1 I c i ( s ) u 1 α i + 1 ( s ) e α i μ ( s t 0 ) d s + t 0 t i = 1 I d i ( s ) u 2 α i + 1 ( s ) e μ ( s t 0 ) d s + t 0 t j = 1 J e j ( s ) t 0 s f j ( τ ) u 1 ( τ ) d τ d s + t 0 t j = 1 J g j ( s ) [ t 0 s h j ( τ ) u 2 ( τ ) e μ ( τ t 0 ) d τ ] d s + t 0 t k = 1 K o k ( s ) t 0 s p k ( τ ) u 1 β k + 1 ( τ ) e β k μ ( τ t 0 ) d τ d s

+ t 0 t k = 1 K q k ( s ) t 0 s r k ( τ ) u 2 β k + 1 ( τ ) e μ ( τ t 0 ) d τ d s + t 0 t i = 1 I c i ( s ) u 1 α i ( s ) e α i μ ( s t 0 ) t 0 s l = 1 L v l ( θ ) t 0 θ w l ( τ ) u 1 ( τ ) d τ d θ d s + t 0 t i = 1 I d i ( s ) u 2 α i ( s ) t 0 s l = 1 L x l ( θ ) t 0 θ y l ( τ ) u 2 ( τ ) e μ ( τ t 0 ) d τ d θ d s + t 0 t i = 1 I c i ( s ) u 1 α i ( s ) e α i μ ( s t 0 ) t 0 s m = 1 M A m ( θ ) t 0 θ B m ( τ ) u 1 γ m + 1 ( τ ) e γ m μ ( τ t 0 ) d τ d θ d s + t 0 t i = 1 I d i ( s ) u 2 α i ( s ) t 0 s m = 1 M D m ( θ ) t 0 θ E m ( τ ) u 2 γ m + 1 ( τ ) e μ ( τ t 0 ) d τ d θ d s

2)

u 2 ( t ) k 2 + t 0 t a ¯ ( s ) u 1 ( s ) e μ ( s t 0 ) d s + t 0 t b ¯ ( s ) u 2 ( s ) d s + t 0 t i = 1 I c ¯ i ( s ) u 1 α i + 1 ( s ) e ( α i + 1 ) μ ( s t 0 ) d s + t 0 t i = 1 I d ¯ i ( s ) u 2 α i + 1 ( s ) d s + t 0 t j = 1 J e ¯ j ( s ) t 0 s f ¯ j ( τ ) u 1 ( τ ) e μ ( τ t 0 ) d τ d s + t 0 t j = 1 J g ¯ j ( s ) [ t 0 s h ¯ j ( τ ) u 2 ( τ ) d τ ] d s + t 0 t k = 1 K o ¯ k ( s ) t 0 s p ¯ k ( τ ) u 1 β k + 1 ( τ ) e ( β k + 1 ) μ ( τ t 0 ) d τ d s

+ t 0 t k = 1 K q ¯ k ( s ) t 0 s r ¯ k ( τ ) u 2 β k + 1 ( τ ) d τ d s + t 0 t i = 1 I c ¯ i ( s ) u 1 α i ( s ) e α i μ ( s t 0 ) t 0 s l = 1 L v ¯ l ( θ ) t 0 θ w ¯ l ( τ ) u 1 ( τ ) e μ ( τ t 0 ) d τ d θ d s + t 0 t i = 1 I d ¯ i ( s ) u 2 α i ( s ) t 0 s l = 1 L x ¯ l ( θ ) t 0 θ y ¯ l ( τ ) u 2 ( τ ) d τ d θ d s + t 0 t i = 1 I c ¯ i ( s ) u 1 α i ( s ) e α i μ ( s t 0 ) t 0 s m = 1 M A ¯ m ( θ ) t 0 θ B ¯ m ( τ ) u 1 γ m + 1 ( τ ) e ( γ m + 1 ) μ ( τ t 0 ) d τ d θ d s + t 0 t i = 1 I d ¯ i ( s ) u 2 α i ( s ) t 0 s m = 1 M D ¯ m ( θ ) t 0 θ E ¯ m ( τ ) u 2 γ m + 1 ( τ ) d τ d θ d s

where: u 1 ( t ) , u 2 ( t ) , a ( t ) , a ¯ ( t ) , b ( t ) , b ¯ ( t ) , c i ( t ) , c ¯ i ( t ) , d i ( t ) , d ¯ i ( t ) ( i = 1 , 2 , , I ) , e j ( t ) , e ¯ j ( t ) , f j ( t ) , f ¯ j ( t ) , g j ( t ) , g ¯ j ( t ) , h j ( t ) , h ¯ j ( t ) ( j = 1 , 2 , , J ) , o k ( t ) , o ¯ k ( t ) , p k ( t ) , p ¯ k ( t ) , q k ( t ) , q ¯ k ( t ) , r k ( t ) , r ¯ k ( t ) ( k = 1 , 2 , , K ) , v l ( t ) , v ¯ l ( t ) , w l ( t ) , w ¯ l ( t ) , x l ( t ) , x ¯ l ( t ) , y l ( t ) , y ¯ l ( t ) ( l = 1 , 2 , , L ) , A m ( t ) , A ¯ m ( t ) , B m ( t ) , B ¯ m ( t ) , D m ( t ) , D ¯ m ( t ) , E m ( t ) , E ¯ m ( t ) ( m = 1 , 2 , , M ) are non-negative continuous function on R + , and: α i ( i = 1 , 2 , , I ) , β k ( k = 1 , 2 , , K ) , γ m ( m = 1 , 2 , , M ) are all constants greater than 1, and 1 α 1 α 2 α I , 1 β 1 β 2 β K , 1 γ 1 γ 2 γ M set: α ¯ = max ( α I , β K , γ M ) , α _ = min ( α 1 , β 1 , γ 1 )

iii) let: k = k 1 + k 2

F ( t ) = max { a ( t ) + a ¯ ( t ) , b ( t ) + b ¯ ( t ) } , G i ( t ) = max { c i ( t ) + c ¯ i ( t ) , d i ( t ) + d ¯ i ( t ) } ,

e ¯ ¯ j ( t ) = max { e j ( t ) , e ¯ j ( t ) } , g ¯ ¯ j ( t ) = max { g j ( t ) , g ¯ j ( t ) } ,

H j ( t ) = max { e ¯ ¯ j ( t ) , g ¯ ¯ j ( t ) } , N j ( t ) = max { f j ( t ) + f ¯ j ( t ) , h j ( t ) + h ¯ j ( t ) } ,

o ¯ ¯ k ( t ) = max { o k ( t ) , o ¯ k ( t ) } , q ¯ ¯ k ( t ) = max { q k ( t ) , q ¯ k ( t ) } ,

Q k ( t ) = max { o ¯ ¯ k ( t ) , q ¯ ¯ k ( t ) } , R k ( t ) = max { p k ( t ) + p ¯ k ( t ) , r k ( t ) + r ¯ k ( t ) } ,

v ¯ ¯ l ( t ) = max { v l ( t ) , v ¯ l ( t ) } , x ¯ ¯ l ( t ) = max { x l ( t ) , x ¯ l ( t ) } ,

T l ( t ) = max { v ¯ ¯ l ( t ) , x ¯ ¯ l ( t ) } , W l ( t ) = max { w l ( t ) + w ¯ l ( t ) , y l ( t ) + y ¯ l ( t ) } ,

A ¯ ¯ m ( t ) = max { A m ( t ) , A ¯ m ( t ) } , D ¯ ¯ m ( t ) = max { D m ( t ) , D ¯ m ( t ) } ,

Y m ( t ) = max { A ¯ ¯ m ( t ) , D ¯ ¯ m ( t ) } , Z m ( t ) = max { B m ( t ) + B ¯ m ( t ) , E m ( t ) + E ¯ m ( t ) } ,

iv) Let:

Δ ( t ) = F ( t ) + i = 1 I G i ( t ) + j = 1 J H j ( t ) t 0 t N j ( s ) d s + 2 k = 1 K Q k ( t ) t 0 t R k ( s ) d s + i = 1 I G i ( t ) t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ d s + i = 1 I G i ( t ) t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Φ ( t ) = i = 1 I G i ( t ) + k = 1 K Q k ( t ) t 0 t R k ( s ) d s + i = 1 I G i ( t ) t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ d s + 2 i = 1 I G i ( t ) t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Γ ( t ) = t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Λ 1 ( t ) = 1 α ¯ c α ¯ t 0 t [ Φ ( τ ) + Γ ( τ ) ] exp ( α ¯ t 0 τ Δ ( σ ) d σ ) d τ

Π ( t ) = F ( t ) + j = 1 J H j ( t ) t 0 t N j ( t ) d t

Θ ( t ) = i = 1 I G i ( t ) Щ α i α _ + k = 1 K Q k ( t ) t 0 t R k ( s ) Щ β k α _ d s + i = 1 I G i ( t ) Щ α i α _ t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ

Σ ( t ) = m = 1 M Y m ( t ) t 0 t Z m ( s ) Щ γ m α _ d s

Λ 2 ( t ) = 1 α _ c α _ t 0 t [ Θ ( τ ) + Σ ( τ ) ] exp ( α _ t 0 τ Π ( σ ) d σ ) d τ

And t 0 + Δ ( s ) d s < + ,

Λ 1 ( t ) > 0 , [ 1 ( α ¯ 1 ) c α ¯ t 0 t Φ ( s ) Λ 1 1 α ¯ ( s ) exp ( α ¯ t 0 s Δ ( τ ) d τ ) d s ] > 0

Λ 2 ( t ) > 0 , [ 1 ( α _ 1 ) c α _ t 0 t Θ ( s ) Λ 2 1 α _ ( s ) exp ( α _ t 0 s Σ ( τ ) d τ ) d s ] > 0

v) Assume:

Ω ( t ) k exp ( t 0 t Π ( s ) d s ) [ 1 ( α _ 1 ) k α _ t 0 t Θ ( s ) Λ 2 1 α _ ( s ) exp ( α _ t 0 s Π ( τ ) d τ ) d s ] 1 α _ 1 then: u 1 ( t ) Ω ( t ) e μ ( t t 0 ) , u 2 ( t ) Ω ( t ) .

3. Main Results

Consider the following system

{ d y d t = B ( t ) y + C ( t ) z + Y ( s , y ( s ) , z ( s ) , 0 t h 1 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s ) d z d t = D ( t ) y + E ( t ) z + Z ( s , y ( s ) , z ( s ) , 0 t h 2 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s ) (2)

where τ 0 is a constant, initial condition is:

x ( t ) = ϕ ( t ) , x ˙ ( t ) = ϕ ˙ ( t ) , t 0 τ t t 0 ,

B ( t ) is an m × m matrix, Y ( s , y ( s ) , z ( s ) , 0 t h 1 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s ) is an m × 1 matrix, Z ( s , y ( s ) , z ( s ) , 0 t h 2 ( s , y ( s ) , z ( s ) , y ( s τ ) , z ˙ ( s τ ) ) d s ) is an ( n m ) × 1 matrix, they are all continuous for t I and satisfy the condition of existence and uniqueness theorem.

Set Y ( t , s ) and Z ( t , s ) satisfied:

{ Y ( t , s ) t = B ( t ) Y ( t , s ) Y ( s , s ) = I ,

{ Z ( t , s ) t = E ( t ) Z ( t , s ) Z ( s , s ) = I

Theorem If (2) satisfies the following conditions:

i) Y ( t , s ) m 1 e λ ( t s ) , Z ( t , s ) m 2 ;

ii) Y ( t , y , z , y ( t τ ) , z ( t τ ) , 0 t h 1 ( s , y , z , y ( s τ ) , z ˙ ( s τ ) ) d s ) a ( t ) ( y ( t δ ( t ) ) + y ˙ ( t δ ( t ) ) ) + b ( t ) ( z ( t δ ( t ) ) + z ˙ ( t δ ( t ) ) ) e ε ( t t 0 ) + i = 1 I c i ( t ) ( y ( t δ ( t ) ) α i + 1 + y ˙ ( t δ ( t ) ) α i + 1 ) e α i ε ( t t 0 ) + i = 1 I d i ( t ) ( z ( t δ ( t ) ) α i + 1 + z ˙ ( t δ ( t ) ) α i + 1 ) e ε ( t t 0 )

+ j = 1 J e j ( t ) t 0 t f j ( s ) ( y ( s δ ( s ) ) + y ˙ ( s δ ( s ) ) ) d s + j = 1 J g j ( t ) t 0 t h j ( s ) ( z ( s δ ( s ) ) + z ˙ ( s δ ( s ) ) ) e ε ( s t 0 ) d s + k = 1 K o k ( t ) t 0 t p k ( s ) ( y ( s δ ( s ) ) β k + 1 + y ˙ ( s δ ( s ) ) β k + 1 ) e β k ε ( s t 0 ) d s + k = 1 K q k ( t ) t 0 t r k ( s ) ( z ( s δ ( s ) ) β k + 1 + z ˙ ( s δ ( s ) ) β k + 1 ) e ε ( s t 1 ) d s

+ i = 1 I c i ( t ) ( y ( t δ ( t ) ) α i + y ˙ ( t δ ( t ) ) α i ) e α i ε ( t t 0 ) t 0 t l = 1 L v l ( s ) t 0 s w l ( θ ) ( y ( θ δ ( θ ) ) + y ˙ ( θ δ ( θ ) ) ) d θ d s + i = 1 I d i ( t ) ( z ( t δ ( t ) ) α i + z ˙ ( t δ ( t ) ) α i ) t 0 t l = 1 L x l ( s ) t 0 s y l ( θ ) ( z ( θ δ ( θ ) ) + z ˙ ( θ δ ( θ ) ) ) e ε ( θ t 0 ) d θ d s

+ i = 1 I c i ( t ) ( y ( t δ ( t ) ) α i + y ˙ ( t δ ( t ) ) α i ) e α i ε ( t t 0 ) t 0 t m = 1 M A m ( s ) t 0 s B m ( θ ) ( y ( θ δ ( θ ) ) γ m + 1 + y ˙ ( θ δ ( θ ) ) γ m + 1 ) e γ m ε ( θ t 0 ) d θ d s + i = 1 I d i ( t ) ( z ( t δ ( t ) ) α i + z ˙ ( t δ ( t ) ) α i ) t 0 t m = 1 M D m ( s ) t 0 s E m ( θ ) ( z ( θ δ ( θ ) ) γ m + 1 + z ˙ ( θ δ ( θ ) ) γ m + 1 ) e ε ( θ t 0 ) d θ d s

iv) Z ( t , y , z , y ( t τ ) , z ( t τ ) , 0 t h 2 ( s , y , z , y ( s τ ) , z ˙ ( s τ ) ) d s ) a ¯ ( t ) ( y ( t δ ( t ) ) + y ˙ ( t δ ( t ) ) ) e ε ( t t 0 ) + b ¯ ( t ) ( z ( t δ ( t ) ) + z ˙ ( t δ ( t ) ) ) + i = 1 I c ¯ i ( t ) ( y ( t δ ( t ) ) α i + 1 + y ˙ ( t δ ( t ) ) α i + 1 ) e ( α i + 1 ) ε ( t t 0 ) + i = 1 I d ¯ i ( t ) ( z ( t δ ( t ) ) α i + 1 + z ˙ ( t δ ( t ) ) α i + 1 )

+ j = 1 J e ¯ j ( t ) t 0 t f ¯ j ( s ) ( y ( s δ ( s ) ) + y ˙ ( s δ ( s ) ) ) e ε ( s t 0 ) d s + j = 1 J g ¯ j ( t ) t 0 t h ¯ j ( s ) ( z ( s δ ( s ) ) + z ˙ ( s δ ( s ) ) ) d s + k = 1 K o ¯ k ( t ) t 0 t p ¯ k ( s ) ( y ( s δ ( s ) ) β k + 1 + y ˙ ( s δ ( s ) ) β k + 1 ) e ( β k + 1 ) ε ( s t 0 ) d s + k = 1 K q ¯ k ( t ) t 0 t r ¯ k ( s ) ( z ( s δ ( s ) ) β k + 1 + z ˙ ( s δ ( s ) ) β k + 1 ) d s

+ i = 1 I c ¯ i ( t ) ( y ( t δ ( t ) ) α i + y ˙ ( t δ ( t ) ) α i ) e α i ε ( t t 0 ) t 0 t l = 1 L v l ( s ) t 0 s w l ( θ ) ( y ( θ δ ( θ ) ) + y ˙ ( θ δ ( θ ) ) ) e ε ( θ t 0 ) d θ d s + i = 1 I d ¯ i ( t ) ( z ( t δ ( t ) ) α i + z ˙ ( t δ ( t ) ) α i ) t 0 t l = 1 L x ¯ l ( s ) t 0 s y ¯ l ( θ ) ( z ( θ δ ( θ ) ) + z ˙ ( θ δ ( θ ) ) ) d θ d s

+ i = 1 I c ¯ i ( t ) ( y ( t δ ( t ) ) α i + y ˙ ( t δ ( t ) ) α i ) e α i ε ( t t 0 ) t 0 t m = 1 M A ¯ m ( s ) t 0 s B ¯ m ( θ ) ( y ( θ δ ( θ ) ) γ m + 1 + y ˙ ( θ δ ( θ ) ) γ m + 1 ) e ( γ m + 1 ) ε ( θ t 0 ) d θ d s + i = 1 I d ¯ i ( t ) ( z ( t δ ( t ) ) α i + z ˙ ( t δ ( t ) ) α i ) t 0 t m = 1 M D ¯ m ( s ) t 0 s E ¯ m ( θ ) ( z ( θ δ ( θ ) ) γ m + 1 + z ˙ ( θ δ ( θ ) ) γ m + 1 ) d θ d s

where: a ( t ) , a ¯ ( t ) , b ( t ) , b ¯ ( t ) , c i ( t ) , c ¯ i ( t ) , d i ( t ) , d ¯ i ( t ) ( i = 1 , 2 , , I ) ,

e j ( t ) , e ¯ j ( t ) , f j ( t ) , f ¯ j ( t ) , g j ( t ) , g ¯ j ( t ) , h j ( t ) , h ¯ j ( t ) ( j = 1 , 2 , , J ) ,

o k ( t ) , o ¯ k ( t ) , p k ( t ) , p ¯ k ( t ) , q k ( t ) , q ¯ k ( t ) , r k ( t ) , r ¯ k ( t ) ( k = 1 , 2 , , K ) ,

v l ( t ) , v ¯ l ( t ) , w l ( t ) , w ¯ l ( t ) , x l ( t ) , x ¯ l ( t ) , y l ( t ) , y ¯ l ( t ) ( l = 1 , 2 , , L ) ,

A m ( t ) , A ¯ m ( t ) , B m ( t ) , B ¯ m ( t ) , D m ( t ) , D ¯ m ( t ) , E m ( t ) , E ¯ m ( t ) ( m = 1 , 2 , , M ) are non-negative continuous monotonic non-increasing functions on R + , and: α i ( i = 1 , 2 , , I ) , β k ( k = 1 , 2 , , K ) , γ m ( m = 1 , 2 , , M ) are all constants greater than 1, 1 α 1 α 2 α I , 1 β 1 β 2 β K , 1 γ 1 γ 2 γ M let: α ¯ = max ( α I , β K , γ M ) , α _ = min ( α 1 , β 1 , γ 1 )

iv) Set:

Δ ( t ) = F ( t ) + i = 1 I G i ( t ) + j = 1 J H j ( t ) t 0 t N j ( s ) d s + 2 k = 1 K Q k ( t ) t 0 t R k ( s ) d s + i = 1 I G i ( t ) t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ d s + i = 1 I G i ( t ) t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Φ ( t ) = i = 1 I G i ( t ) + k = 1 K Q k ( t ) t 0 t R k ( s ) d s + i = 1 I G i ( t ) t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ d s + 2 i = 1 I G i ( t ) t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Γ ( t ) = t 0 t m = 1 M Y m ( s ) t 0 s Z m ( σ ) d σ d s

Λ 1 ( t ) = 1 α ¯ c α ¯ t 0 t [ Φ ( τ ) + Γ ( τ ) ] exp ( α ¯ t 0 τ Δ ( σ ) d σ ) d τ

Π ( t ) = F ( t ) + j = 1 J H j ( t ) t 0 t N j ( t ) d t

Θ ( t ) = i = 1 I G i ( t ) Щ α i α _ + k = 1 K Q k ( t ) t 0 t R k ( s ) Щ β k α _ d s + i = 1 I G i ( t ) Щ α i α _ t 0 t l = 1 L T l ( s ) t 0 s W l ( σ ) d σ

Σ ( t ) = m = 1 M Y m ( t ) t 0 t Z m ( s ) Щ γ m α _ d s

Λ 2 ( t ) = 1 α _ c α _ t 0 t [ Θ ( τ ) + Σ ( τ ) ] exp ( α _ t 0 τ Π ( σ ) d σ ) d τ

and t 0 + Δ ( s ) d s < + ,

Λ 1 ( t ) > 0 , [ 1 ( α ¯ 1 ) c α ¯ t 0 t Φ ( s ) Λ 1 1 α ¯ ( s ) exp ( α ¯ t 0 s Δ ( τ ) d τ ) d s ] > 0

Λ 2 ( t ) > 0 , [ 1 ( α _ 1 ) c α _ t 0 t Θ ( s ) Λ 2 1 α _ ( s ) exp ( α _ t 0 s Σ ( τ ) d τ ) d s ] > 0

v) Set:

Ω ( t ) = k exp ( 0 t Π ( s ) d s ) [ 1 ( α _ 1 ) k α _ 0 t Θ ( s ) Λ 2 1 α _ ( s ) exp ( α _ 0 s Π ( τ ) d τ ) d s ] 1 α _ 1 then:

1) when λ > ε , the trivial solution of (2) is L S , G E q E L A S with respect to y;

2) when λ = ε , the trivial solution of (2) is, G U E L A S with respect to.

Proof Apply constant variation method to system (2), it can be deduced that:

y ( t ) = Y ( t , t 0 ) y 0 + t 0 t Y ( t , s ) F 1 ( s , x ( s δ ( s ) ) , t 0 s h 1 ( τ , x ( τ δ ( τ ) ) ) d τ ) d s (3)

z ( t ) = Z ( t , t 0 ) z 0 + t 0 t Z ( t , s ) F 2 ( s , x ( s δ ( s ) ) , t 0 s h 2 ( τ , x ( τ δ ( τ ) ) ) d τ ) d s (4)

By the condition of the theory, available from (3):

(5)

however, set

u 1 ( t ) = ( y ( t ) + y ˙ ( t ) ) e λ ( t t 0 ) , u 2 ( t ) = z ( t ) + z ˙ ( t )

φ 1 ( 1 ) = sup δ t 0 φ 1 ( t ) , φ 2 ( 1 ) = sup δ t 0 φ 1 ( t ) α i + 1

φ 3 ( 1 ) = sup δ t 0 φ 1 ( t ) β k + 1 , φ 4 ( 1 ) = sup δ t 0 φ 1 ( t ) γ m + 1

φ ( 1 ) = max { φ 1 ( 1 ) , φ 2 ( 1 ) , φ 3 ( 1 ) , φ 4 ( 1 ) , φ 2 ( 1 ) φ 4 ( 1 ) }

φ 1 ( 2 ) = sup δ t 0 φ 2 ( t ) , φ 2 ( 2 ) = sup δ t 0 φ 2 ( t ) α i + 1

φ 3 ( 2 ) = sup δ t 0 φ 2 ( t ) β k + 1 , φ 4 ( 2 ) = sup δ t 0 φ 2 ( t ) γ m + 1

φ ( 2 ) = max { φ 1 ( 2 ) , φ 2 ( 2 ) , φ 3 ( 2 ) , φ 4 ( 2 ) , φ 2 ( 2 ) φ 4 ( 2 ) }

Set:

u 1 ( t ) = { max { φ 1 ( 1 ) , max ( u ( ξ ) ) } , 0 ξ t φ 1 ( 1 ) , δ t 0

u 2 ( t ) = { max { φ 1 ( 2 ) , max ( u ( ξ ) ) } , 0 ξ t φ 1 ( 2 ) , δ t 0

Obviously, u 1 ( t ) , u 2 ( t ) are monotonous, and defined by, u 1 ( t ) , u 2 ( t ) , we have

u 1 ( t δ ( t ) ) φ 1 ( 1 ) ,

u 2 ( t δ ( t ) ) φ 1 ( 2 )

So substituting (5) into (2) gives:

u 1 ( t ) φ ( 1 ) + M 2 t 0 t a ( s ) u 1 ( s ) d s + M 2 t 0 t b ( s ) u 2 ( s ) e ( λ ε ) ( s t 0 ) d s + M 2 t 0 t i = 1 I c i ( s ) u 1 ( s ) α i + 1 e α i ( λ ε ) ( s t 0 ) d s + M 2 t 0 t i = 1 I d i ( s ) u 2 ( s ) α i + 1 e ( λ ε ) ( θ t 0 ) d s + M 2 t 0 t j = 1 J e j ( s ) t 0 s f j ( θ ) u 1 ( θ ) d θ d s + M 2 t 0 t j = 1 J g j ( s ) t 0 s h j ( θ ) u 2 ( θ ) e ( λ ε ) ( θ t 0 ) d θ d s + M 2 t 0 t k = 1 K o k ( s ) t 0 s p k ( θ ) u 1 ( θ ) β k + 1 e β k ( λ ε ) ( θ t 0 ) d θ d s

+ M 2 t 0 t k = 1 K q k ( s ) t 0 s r k ( θ ) u 2 ( θ ) β k + 1 e ( λ ε ) ( θ t 0 ) d θ d s + M 2 t 0 t i = 1 I c i ( s ) u 1 ( s ) α i e α i ( λ ε ) ( s t 0 ) t 0 s l = 1 L v l ( σ ) t 0 σ w l ( θ ) u 1 ( θ ) d θ d σ d s + M 2 t 0 t i = 1 I d i ( s ) u 2 ( s ) α i t 0 s l = 1 L x l ( σ ) t 0 σ y l ( θ ) u 2 ( θ ) e ( λ ε ) ( θ t 0 ) d θ d σ d s + M 2 t 0 t i = 1 I c i ( s ) u 2 ( s ) α i e α i ( λ ε ) ( s t 0 ) t 0 s m = 1 M A m ( σ ) t 0 σ B m ( θ ) u 1 ( θ ) γ m + 1 e γ m ( λ ε ) ( θ t 0 ) d θ d σ d s + M 2 t 0 t i = 1 I d i ( s ) u 2 ( s ) α i t 0 s m = 1 M D m ( σ ) t 0 σ E m ( θ ) u 2 ( θ ) γ m + 1 e ( λ ε ) ( θ t 0 ) d θ d σ d s

Similarly available:

where M 2 = max { M 1 , M 1 α i + 1 , M 1 β k + 1 , M 1 γ m + 1 , M 1 α i + γ m + 1 } .

So it can be obtained from Lemma: u 1 ( t ) k e ( λ ε ) ( t t 0 ) Ω ( t ) , u 2 ( t ) k Ω ( t ) here k = e λ t 0 ϕ , ϕ = max ( φ ( 1 ) , φ ( 2 ) ) , Ω ( t ) As the lemma states, then:

y ( t ) + y ˙ ( t ) M 3 φ e ε ( t t 0 ) ( λ > ε ) , y ( t ) + y ˙ ( t ) M 4 φ e ε ( t t 0 ) ( λ = ε )

z ( t ) + z ˙ ( t ) M 5 φ (6)

here: M 3 = e ( λ ε ) t 0 Ω ( t ) ; M 4 = Ω ( t ) ; M 5 = e λ t 0 Ω ( t ) .

Notice the theorem conditions, we have M 1 is a constant that has nothing to do with t 0 , M 2 and M 3 are constants that has nothing to do with t 0 .

Therefore, when λ > ε , (6) means the trivial solution of (2) is L S , G E q E L A S with respect to y; when λ = ε , (6) means the trivial solution of (2) is L S , G U E L A S with respect to y.

Note: The differential system discussed in this paper is the time-differential form of the ordinary differential system in [5] [6]. The time-differential system in [7] is generalized to a neutral system, and the Lipschitz stability in [8] is further extended to equi-exponential Lipschitz asymptotic stability and uniform exponential Lipschitz asymptotic stability and added global results

4. Conclusion

In this paper, we use the method of integral inequalities to establish double stability criteria. As a result, studying the partial stability of differential equations becomes more important. In addition, the partial stability of differential equations is widely used in science and technology.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Lyapunov, A.M. (1892) The General Problem of the Stability of Motion. Doctor dissertation, University of Moscow, Moscow.
[2] Li, Y.S. (1960) Basic Inequalities and Uniqueness of Solutions of Differential Equations. Journal of Jilin University, 1, 7-12.
[3] Si, L.G. (2005) A Note on a Class of Integral Inequalities. Journal of Inner Mongolia Normal University, 34, 127-128.
[4] Huo, R., Wang, X.L. and Si, L.G. (2009) A Generalization of a Class of Integral Inequality. Journal of Inner Mongolia Agricultral University (Natural Science Edition), 30, 267-273.
[5] Vorotnikov, V.I. (1999) On the Theory of Lyapunov Stablity in Critical Cases. Dokl. Akad. Nank., 367, 481-484.
[6] Vorotnikov, V.I. (1999) On Problems of Stablity with Respect to Some of the Variables. Prikl. Mat. Meth., 63, 736-745.
https://doi.org/10.1016/S0021-8928(99)00088-X
[7] Wang, F. (2002) Stability of Differential Equations on Some Variables. Inner Mongolia Normal University, Hohhot.
[8] Si, L.G. (2006) The Stability of a Class of Nonlinear Differential Systems with Respect to Partial Variables. Journal of Inner Mongolia Normal University, 35, 1-6.
[9] Si, L.G. (1974) The Boundness and Stablity of Solutions for Nonlinear Neutral Differential Systems with Variable Delay. Acta Mathematica Sinica, 17, 197-204.
[10] Zhang, Y. (1994) K-Stablity of Nonlinear System with Time-Delay. Scientia Sinica Mathematica, 37, 247-255.
[11] Si, L.G. (2001) Differential Inequality and Differential Quation with Time-Delay, Inner Mongolia People’s Press, Hohhot.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.