The stability of the zero solution of a system of first-order
linear functional differential equations with nonconstant delay is considered.
Sufficient conditions for stability, uniform stability, asymptotic stability, and
uniform asymptotic stability are established.
1. Introduction
We begin with a classical result for the linear system
x′=A(t)x,
where A is an n×n matrix function defined and continuous on [0,∞). By CB[0,∞), we will denote the set of bounded functions defined and continuous on [0,∞) and by |·| the Euclidean norm.
In 1930, Perron first formulated the following definition being named after him.
Definition 1.1 (see [1]).
System (L1) is said to satisfy Perron's condition (P1) if, for any given vector function f∈CB[0,∞), the solution x(t) of
x′=A(t)x+f(t),x(0)=0
is bounded.
The following theorem by Bellman [2] is well known.
Theorem 1.2 (see [2]).
If (P1) holds and |A(t)|≤M1 for some positive number M1, then the zero solution of (L1) is uniformly asymptotically stable.
The proof is accomplished by making use of the basic properties of a fundamental matrix, the Banach-Steinhaus theorem, and the adjoint system
x′=-AT(t)x,
where AT denotes the transpose of A.
It is shown by an example in [3] that Theorem 1.2 may not be valid if the function f appearing in (N1) is replaced by a constant vector. However, such a theorem is later obtained in [4] under a Perron-like condition.
Theorem 1.2 is extended by Halanay [5] to linear delay systems of the form
x′(t)=A(t)x(t)+B(t)x(t-τ),
where A, B are n×n matrix functions defined and continuous on [0,∞) and τ is a positive real number.
Definition 1.3.
System (L2) is said to satisfy Perron's condition (P2) if for any given vector function f∈CB[0,∞), the solution x(t) of
x′(t)=A(t)x(t)+B(t)x(t-τ)+f(t)
satisfying x(t)=0, t≤0, is bounded.
Theorem 1.4 (see [5]).
If (P2) holds, |A(t)|≤M1, and |B(t)|≤M2 for some positive numbers M1 and M2, then the zero solution of (L2) is uniformly asymptotically stable.
The method used to prove Theorem 1.4 is similar to Bellman's except that the adjoint system
y′(t)=-AT(t)y(t)-BT(t+τ)y(t+τ)
is not constructed with respect to an inner product but the functionalF(x,y)(t)=∫tt+τyT(s)B(s)x(s-τ)ds+xT(t)y(t).
For some extensions to impulsive differential equations, we refer the reader in particular to [6, 7].
In this paper, we consider the more general linear delay system
x′(t)=A(t)x(t)+B(t)x(g(t)),
where A and B are n×n matrix functions defined and continuous on [0,∞) and g is a continuously differentiable increasing function defined on [0,∞) satisfying g(t)<t and g′(t)≤1. We set h:=g-1. Obviously, h∈C1[0,∞) and increases on [0,∞) and h(t)>t.
Perron's condition takes the following form.
Definition 1.5.
System (1.4) is said to satisfy Perron's condition (P) if, for any given vector function f∈CB[0,∞), the solution x(t) of
x′(t)=A(t)x(t)+B(t)x(g(t))+f(t)
satisfying x(t)=0, t≤0 is bounded.
A natural question is whether the zero solution of (1.4) is uniformly asymptotically stable under Perron's condition (P). It turns out that the answer depends on the delay function g.
The paper is organized as follows. In Section 2, we only state our results; the proofs are included in Section 5. We define an adjoint system and give a variation of parameters formula in Section 3 to be needed in proving the main results. Section 4 contains also some lemmas concerning Perron's condition and a relation useful for changing the order of integration.
2. Stability Theorems
The conclusion obtained by Bellman and Halanay for systems (L1) and (L2), respectively, is quite strong. We are only able to prove the stability of the zero solution for more general equation (1.4) under Perron's condition. To get uniform stability or asymptotic stability or uniform asymptotic stability, we impose restrictions on the delay function.
For our purpose, we denote
h*(t):=h(t)-t,t≥0,g*(t,t0):=supr∈[h(t0),t]{r-g(r)},t,t0≥0.
Theorem 2.1.
Let (P) hold. If there are positive numbers M1 and M2 such that
|A(t)|≤M1,|B(t)|≤M2∀t≥0,
then the zero solution of (1.4) is stable.
Theorem 2.2.
Let (P) hold. If (2.2) is satisfied and if there exists a positive real number M3 such that
h*(t)≤M3∀t≥0,
then the zero solution of (1.4) is uniformly stable.
Theorem 2.3.
Let (P) hold. If (2.2) and
limsupt→∞g*(t,t0)t-t0=0for eacht0≥0
are satisfied, then the zero solution of (1.4) is asymptotically stable.
Theorem 2.4.
Let (P) hold. If (2.2), (2.3), and
limsupt→∞g*(t,t0)t-t0=0uniformlyfort0≥0
are satisfied, then the zero solution of (1.4) is uniformly asymptotically stable.
Remark 2.5.
Note that if g(t)=t-τ, then h(t)=t+τ and hence the conditions (2.3), (2.4), and (2.5) are automatically satisfied. In this case, all theorems become equivalent, that is, the zero solution is uniformly asymptotically stable. Thus, the results obtained by Bellman and Halanay are recovered.
3. Variation of Parameters Formula
To establish a variation of parameters formula to represent the solutions of (1.5), one needs an adjoint system. The following lemma helps to define the adjoint of (1.4).
Lemma 3.1.
Let x(t) be a solution of (1.4). If y(t) is a solution of
y′(t)=-AT(t)y(t)-BT(h(t))y(h(t))h′(t),
then
ddtF(x(t),y(t))=0,
where
F(x,y)(t)=∫th(t)yT(s)B(s)x(g(s))ds+xT(t)y(t).
Proof.
Verify directly.
Definition 3.2.
The system (3.1) is said to be adjoint to system (1.4).
It is easy to see that the adjoint of system (3.1) is system (1.4); thus the systems are mutually adjoint to each other.
Lemma 3.3.
Let Y(t,s) be a matrix solution of (3.1) for t<s satisfying Y(s,s)=I and Y(t,s)=0 for t>s. Then x(t) is a solution of (1.5) if and only if
x(t)=YT(s,t)x(s)+∫g(s)sYT(h(β),t)B(h(β))x(β)h′(β)dβ+∫stYT(β,t)f(β)dβ.
Proof.
Replacing t by β in (1.5) and then integrating the resulting equation multiplied by YT(β,t) over β∈[s,t], we have
∫stYT(β,t)A(β)x(β)dβ+∫stYT(β,t)B(β)x(g(β))dβ+∫stYT(β,t)f(β)dβ=∫stYT(β,t)x′(β)dβ=x(t)-YT(s,t)x(s)-∫st[∂∂βYT(β,t)]x(β)dβ=x(t)-YT(s,t)x(s)+∫st[YT(β,t)A(β)+YT(h(β),t)B(h(β))h′(β)]x(β)dβ=x(t)-YT(s,t)x(s)+∫stYT(β,t)A(β)x(β)dβ+∫h(s)h(t)YT(β,t)B(β)x(g(β))dβ.
Comparing both sides and using
∫th(t)YT(β,t)B(β)x(g(β))dβ=0,
which is true in view of Y(β,t)=0 for β>t, we get
x(t)=YT(s,t)x(s)-∫h(s)sYT(β,t)B(β)x(g(β))dβ+∫stYT(β,t)f(β)dβ
and hence
x(t)=YT(s,t)x(s)+∫g(s)sYT(h(β),t)B(h(β))x(β)h′(β)dβ+∫stYT(β,t)f(β)dβ.
It is not difficult to see from (3.4) that if X(t,s) is a matrix solution of (1.4) for t>s satisfying X(s,s)=I and X(t,s)=0 for t<s, then
X(t,s)=YT(s,t).
Using this relation in Lemma 3.3 leads to the following variation of parameters formula.
Lemma 3.4.
Let X(t,s) be a matrix solution of (1.4) for t>s satisfying X(s,s)=I and X(t,s)=0 for t<s. Then x(t) is a solution of (1.5) if and only if
x(t)=X(t,s)x(s)+∫g(s)sX(t,h(β))B(h(β))x(β)h′(β)dβ+∫stX(t,β)f(β)dβ.
4. Auxiliary ResultsLemma 4.1.
If (P) holds, then there is a positive number K1 such that
∫0t|X(t,s)|ds≤K1∀t>0.
Proof.
The proof follows as in [5]. We provide only the steps for the reader's convenience.
Define
(Sf)(t)=∫0tX(t,β)f(β)dβ,f∈CB[0,∞),Sk(f)=∫0tkX(tk,β)f(β)dβ,f∈CB[0,∞),
for each rational number tk, k∈ℕ.
In view of (P), the family of continuous linear operators {Sk} from CB[0,∞) to CB[0,∞) is pointwise-bounded. For the space of bounded continuous functions CB[0,∞), the usual sup norm ∥·∥ is used.
By the Banach-Steinhaus theorem, the family is uniformly bounded. Thus, there is a positive number M such that ∥Sk(f)∥≤M∥f∥ for every f∈CB[0,∞).
As the rational numbers are dense in the real numbers, for each t there is tk such that tk→t as k→∞ and so
|∫0tX(t,β)f(β)dβ|≤M‖f‖∀f∈CB[0,∞).
The final step involves choosing a sequence of functions and using a limiting process.
Lemma 4.2.
If (2.2) and (4.1) are true, then there is a positive number K2 such that
|Y(s,t)|≤K2∀0≤s<t.
Proof.
From (3.1), we have
Y(s,t)=I+∫stAT(β)Y(β,t)dβ+∫stBT(h(β))Y(h(β),t)h′(β)dβ.
Hence, by using (4.1), we see that for all 0≤s<t,
|Y(s,t)|≤1+M1K1+M2K1=:K2.
Lemma 4.3.
Let G(r,t) be a continuous function satisfying G(r,t)=0 for r>t. Then
∫t0t[∫sh(s)G(r,t)dr]ds=∫h(t0)t(r-g(r))G(r,t)dr+∫t0h(t0)(r-t0)G(r,t)dr.
5. Proofs of Theorems
Let t0≥0 be given. For a given continuous vector function ϕ defined on [g(t0),t0], let x(t)=x(t,t0,ϕ) denote the solution of (1.4) satisfying
x(t)=ϕ(t),t≤t0.
As usual,
‖ϕ‖g=supt∈[g(t0),t0]|ϕ(t)|.
Proof of Theorem 2.1.
From Lemma 3.3, we may write
x(t)=YT(t0,t)ϕ(t0)+∫g(t0)t0YT(h(β),t)B(h(β))ϕ(β)h′(β)dβ.
In view of Lemma 4.2, it follows that
|x(t)|≤(K2+(h(t0)-t0)K2M2)‖ϕ‖g.
Hence, the zero solution is stable.
Proof of Theorem 2.2.
Using (2.3) in (5.4), we get
|x(t)|≤K3‖ϕ‖g,K3=K2+K2M2M3,
from which the uniform stability follows.
Proof of Theorem 2.3.
By Theorem 2.1, the zero solution is stable. We need to show the attractivity property.
From Lemma 3.3, for s≥t0, we can write
x(t,t0,ϕ)=YT(s,t)x(s,t0,ϕ)+∫g(s)sG(h(β),t)x(β,t0,ϕ)h′(β)dβ,
where
G(s,t)=YT(s,t)B(s).
Integrating with respect to s from t0 to t, we have
(t-t0)x(t,t0,ϕ)=∫t0t[YT(s,t)x(s,t0,ϕ)+∫sh(s)G(r,t)x(g(r),t0,ϕ)dr]ds.
We change the order of integration by employing Lemma 4.3. After some rearrangements, we obtain
(t-t0)x(t,t0,ϕ)=∫t0tYT(s,t)x(s,t0,ϕ)ds+∫h(t0)t(s-g(s))G(s,t)x(g(s),t0,ϕ)ds+∫t0h(t0)(s-t0)G(s,t)x(g(s),t0,ϕ)ds.
It follows that
(t-t0)|x(t,t0,ϕ)|≤K1K3‖ϕ‖g+g*(t,t0)M2K1‖ϕ‖g+h*(t0)M2K1‖ϕ‖g.
In view of condition (2.4), we see from (5.10) that
limt→∞|x(t,t0,ϕ)|=0.
Proof of Theorem 2.4.
By Theorem 2.2, the zero solution is uniformly stable. From (5.10) and (2.3), we have
(t-t0)|x(t,t0,ϕ)|≤K1K3‖ϕ‖g+g*(t,t0)M2K1‖ϕ‖g+M3M2K1‖ϕ‖g.
Using condition (2.4) in the above inequality, we see that the zero solution is uniformly asymptotically stable as t→∞.
Acknowledgments
This research was supported by Grant P201/11/0768 of the Czech Grant Agency (Prague), by the Council of Czech Government MSM 0021630503 and MSM 00216 30519, and by Grant FEKT-S-11-2-921 of Faculty of Electrical Engineering and Communication, Brno University of Technology.
PerronO.Die stabilitätsfrage bei differentialgleichungen193032170372810.1007/BF011946621545194BellmanR.On an application of a Banach-Steinhaus theorem to the study of the boundedness of solutions of non-linear differential and difference equations194849515522002619810.2307/1969041ZBL0031.39902KlochJ.An illustrative example for the Perron condition197835111140460810ReissigR.A Perron-like stability criterion for linear systems1980341535910.1007/BF01224929575550ZBL0414.34055HalanayA.1966New York, NY, USAAcademic Pressxii+5280216103AkhmetM. U.AlzabutJ.ZaferA.Perron's theorem for linear impulsive differential equations with distributed delay20061931204218222871510.1016/j.cam.2005.06.004ZBL1101.34065AnokhinA.BerezanskyL.BravermanE.Exponential stability of linear delay impulsive differential equations19951933923941134104910.1006/jmaa.1995.1275ZBL0837.34076