All Russian Mathematical Portal

7/5/2020 On estimates of solutions to systems of differential equations of neutral type with periodic coefficients
Page 1
Math-Net.Ru
All Russian mathematical portal
GV Demidenko, II Matveeva, On estimates of solutions to systems of differential

equations of neutral type with periodic coefficients, Sibirsk. Mat. Zh., 2014,
Volume 55, Number 5, 1059-1077
Use of the all-Russian mathematical portal Math-Net.Ru implies that you have read and agreed to these terms
of use
http://www.mathnet.ru/eng/agreement
Download details:
IP: 41.101.21.73
July 5, 2020, 13:14:00
https://translate.googleusercontent.com/translate_f 1/24
Page 2
Siberian Mathematical Journal

September October, 2014. Volume 55, No. 5
UDC 517.929.4
ON EVALUATION OF DECISIONS
DIFFERENTIAL SYSTEMS
EQUATIONS OF NEUTRAL TYPE
WITH PERIODIC COEFFICIENTS
G.V. Demidenko, I.I. Matveeva
Annotation. Systems of differential equations of neutral

type with periodic coefficients. The conditions of exponential
general stability of the zero solution. New estimates are obtained that characterize
the decay rate of solutions at infinity.
Key words: differential equation with retarded argument,

periodic coefficients, exponential stability, A
Punov Krasovsky, evaluation decisions.
Dedicated to Yu. G. Reshetnyak
1. Introduction
The paper considers systems of differential equations with

a argument of the following form:
d
(1.1)
dt (y (t) + Dy (t - τ)) = A (t) y (t) + B (t) y (t - τ), t> 0,
where d n × n constant matrix, A (t), B (t) n × n matrix

with continuous T-periodic elements, i.e.
A (t + T) ≡ A (t), B (t + T) ≡ B (t),
τ> 0 is the delay parameter. For D \ = 0, systems of the form (1.1) are called
neutral type systems [1]. Our goal is the study of exponential
stability of solutions and obtaining estimates of solutions on the semi-axis {t> 0}, character
terizing exponential decay as t → ∞.
Currently, there are a very large number of works on the theory of stable
solutions of autonomous differential equations with delay
argument (see, for example, the bibliography in [2–4]). Unlike standalone
equations the problem of stability of solutions of non-autonomous equations less
studied. The main studies in this direction are carried out for linear
This work was supported by the Russian Foundation for Basic Research
(project No. 13–01–00329) and the Siberian Branch of the Russian Academy of Sciences (interdisciplinary
outdoor project No. 80).
c from 2014 Demidenko G.V., Matveeva I.I.
Page 3
1060 G.V. Demidenko, I.I. Matveeva
differential equations with retarded argument with periodically

mi coefficients
d
(1.2)
dty (t) = A (t) y (t) + B (t) y (t - τ), t> 0.
Fundamentals of the theory of stability of solutions of linear differential equations
with a lagging argument with periodic coefficients are embedded in
[5-10]. The main approach in these studies is the development of theory
Floquet and the use of the monodromy operator. This approach also applies.
in studying the stability of solutions of linear differential equations
with a delayed argument of a neutral type with periodic coefficients
cients (1.1). Further development of Floquet theory for systems of equations with
a delayed argument is stated, for example, in [11–13].
In addition to the indicated approach to the problem of stability of solutions of systems of
yes (1.1), (1.2) are developed in the literature: the method of generating functions (see,
for example, [14, 15]), the method of monotone operators (see, for example, [16, 17]),
the method of Lyapunov Krasovsky functionals (see, for example, [18,19]). Note
that the latter method is also used in the study of the asymptotic stability
sustainability of solutions of some classes of non-autonomous linear systems [20–22].
It should be noted that in practice it is often difficult to verify the substance of
conditions for the asymptotic stability of solutions of non-autonomous systems
differential equations with retarded argument. Difficulties
also disappear when obtaining asymptotic estimates of solutions as t → ∞
and in the development of algorithms for the numerical study of asymptotic
stability of solutions of systems (1.1), (1.2).
In order to cope with these difficulties, the authors of [23, 24] proposed
to use when studying the asymptotic stability of solutions of the system
(1.2) the modified Lyapunov functional of Krasovsky following
Yes:
∫t
v (t, y) = (H (t) y (t), y (t)) + (K (t - s) y (s), y (s)) ds, (1.3)
t−τ
Where
H (t) = H ∗ (t) ∈ C 1 [0, T], H (t) = H (t + T)> 0, (1.4)
d
K (s) = K ∗ (s) ∈ C 1 [0, τ], K (s)> 0, (1.5)
dsK (s) <0, s ∈ [0, τ].
In the case where the T-periodic matrix A (t) is such that the zero solution
systems of ordinary differential equations
d
x = A (t) x, t> 0,
dt
asymptotically stable; functional (1.3) can be easily constructed using
asymptotic stability criterion from the authors [25]. Valid-
but, according to this criterion, the following boundary-value problem for differential
Lyapunov equation
{d
dt
H + HA (t) + A ∗ (t) H = −Q (t), t ∈ [0, T],
(1.6)
H (0) = H (T)> 0,
uniquely solvable for any continuous matrix Q (t). Moreover, if

Q (t) = Q ∗ (t)> 0, then H (t) = H ∗ (t)> 0 on the whole interval [0, T]. Continue
Page 4
On estimates of solutions of systems of differential equations 1061
matrix H (t) in a T-periodic manner on the entire semi-axis {t> 0} and we will use it
use in functional (1.3), since conditions (1.4) are satisfied. Then in
by virtue of [23, 24], the solutions of system (1.2) are asymptotically stable if
is a matrix K (s) satisfying conditions (1.5) and such that it is positive
composite matrix defined
−Q (t) + K (0) H (t) B (t)

C (t) = - ( > 0, t ∈ [0, T]. (1.7)
B ∗ (t) H (t) −K (τ))
Note that this is equivalent to the inequality
K (0) + H (t) B (t) (K (τ)) −1 B ∗ (t) H (t) <Q (t), t ∈ [0, T].
Obviously, for a wide class of T-periodic matrices B (t), the matrix K (s)
can be searched in the form
K (s) = α (s) K 0 , K 0 = K ∗ 0 > 0, where α (s)> 0, α ′ (s) <0, s ∈ [0, τ].
We can take, for example, α (s) = α 1 e −α 2 s , α 1 , α 2 > 0.

If condition (1.7) is satisfied using functional (1.3) for the first time,
estimates were obtained for the solutions of the initial problem
{d
dt y (t) = A (t) y (t) + B (t) y (t - τ), t> 0,
y (t) = ϕ (t), t ∈ [−τ, 0], ϕ (t) ∈ C ([- τ, 0]), y (+0) = ϕ (0),
of the following form:
∫ 0t ε (ξ) dξ v (0, ϕ),

ǁY (t) ǁ 2 ≤ h −1 (1.8)
min (t) exp −
Where
c min (t)
ε (t) = min {
ǁH (t) ǁ, k},
h min (t)> 0 and c min (t)> 0 are the minimum eigenvalues of the matrices H (t) and
C (t), respectively, k> 0 is the maximum number such that
d
dsK (s) + kK (s) ≤ 0, s ∈ [0, τ].
This estimate implies the exponential stability of the solutions of system (1.2).
Note that estimate (1.8) is an analogue of the Kerin inequality [26] for
solutions of systems of ordinary differential equations with constants
coefficients.
Using functional (1.3) also allowed us to study the asymptotic
stability of the zero solution of nonlinear differential systems
equations
d
dty (t) = A (t) y (t) + B (t) y (t - τ) + F (t, y (t), y (t - τ)), t> 0.
In particular, estimates were obtained that characterize the exponential
the stabilization rate of solutions at infinity, attraction sets are described
zero solution (see, for example, [23, 24, 27]).
To study the stability of solutions of linear systems of neutral type
with constant coefficients
d
(1.9)
dt (y (t) + Dy (t - τ)) = Ay (t) + By (t - τ), t> 0,
Page 5
in the work of the first author [28], it was proposed to use a generalization of the functional
Lyapunov Krasovsky in the following form:
∫ t
(H (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds, (1.10)

t−τ
where H = H ∗ > 0, K (s) = K ∗ (s)> 0. Using this functional

in the case ǁDǁ <1, the conditions of asymptotic stability and estimates are obtained
solutions of system (1.9), which are analogues of the Kerin estimate [26]. Of these
estimates it follows that all solutions decrease at an exponential rate, when
In this case, the decrease rate substantially depends on the matrix D.
Note that estimates are obtained without information on the roots of the quasivalence
det (A + e −λτ B - λI - λe −λτ D) = 0.
In [29], an analogue of such estimates was obtained for solutions of system (1.9) in
case when the spectrum of the matrix D lies in the unit disk {λ ∈ C: | λ | <1}.
A somewhat different type of estimation of solutions to systems of neutral type (1.9) contains
harvested in [30, 31].
Using modified Lyapunov functionals Krasovsko-
th form (1.3) and (1.10) when obtaining analogues of the Kerin inequality leads to
the idea of using functionality
∫ t
V (t, y) = (H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds

t−τ
(1.11)
to study the stability of solutions of systems of differential equations
neutral type with periodic coefficients (1.1). In this ra-
bot, based on the previous results and using the functional (1.11), we
We study the exponential stability of the solutions of system (1.1). The main
the results are stated in § 2. In Theorem 1 we indicate the conditions of exponential
the social stability of the zero solution (1.1). In Theorems 2–4, we establish
estimates characterizing the rate of exponential decay of solutions for
t → ∞.
2. The main results
We assume that all eigenvalues of the matrix D belong to

are pressed to the unit disk {λ ∈ C: | λ | <1}.
Theorem 1. Suppose that there exist matrices
H (t) = H ∗ (t) ∈ C 1 [0, T], K (s) = K ∗ (s) ∈ C 1 [0, τ]
such that
d
H (0) = H (T)> 0, K (s)> 0,
dsK (s) <0, s ∈ [0, τ].
If the matrix
C 11 (t) C 12 (t)
C (t) = ( ,
C ∗ 12 (t) C 22 (t))
Page 6
Where
d
C 11 (t) = -
dtH (t) - H (t) A (t) - A ∗ (t) H (t) - K (0),
d
C 12 (t) = -
dtH (t) D - H (t) B (t) - A ∗ (t) H (t) D,
d
C 22 (t) = −D ∗
dtH (t) D - D ∗ H (t) B (t) - B ∗ (t) H (t) D + K (τ),
positive definite for t ∈ [0, T], then the zero solution to system (1.1) is ex-
potentially stable.
Consider the initial problem for system (1.1):
d
dt (y (t) + Dy (t - τ)) = A (t) y (t) + B (t) y (t - τ), t> 0, (2.1)
y (t) = ϕ (t), t ∈ [−τ, 0], y (+0) = ϕ (0),
where ϕ (t) ∈ C 1 [−τ, 0] is a given vector function. We will look for a solution in the class
functions y (t) ∈ C [−τ, ∞) such that y (t) ∈ C 1 [(k - 1) τ, kτ], k = 0, 1, 2, ....
It is well known that the solution of the initial problem (2.1) in this class of functions
exists and is unique.
Under the assumption that the conditions of Theorem 1 are satisfied, we establish below
estimates of the solutions of the initial problem (2.1), characterizing the speed of the exponential
decrease as t → ∞.
To state the results, we introduce a number of notation. If the matrix
H (t) satisfies the conditions of Theorem 1, then
d
H (t) + H (t) A (t) + A ∗ (t) H (t) <−K (0),
dt
i.e., H (t) is a solution to a boundary value problem of the form (1.6). Then, as noted
In the introduction, it follows from the results of the authors of [25] that H (t)> 0 on
the whole segment [0, T]. We extend this matrix in a T-periodic manner to the whole
axis {t ≥ 0}, keeping the same notation. Using this matrix H (t) and
matrix K (s) satisfying the conditions of Theorem 1, we consider the functional
(1.11) and define
∫ 0
V (0, ϕ) = (H (0) (ϕ (0) + Dϕ (−τ)), (ϕ (0) + Dϕ (−τ))) + (K (−s) ϕ (s), ϕ (s)) ds.
−τ
(2.2)
Denote
d
P (t) = -
dtH (t) - H (t) A (t) - A ∗ (t) H (t) - K (0)
- (H (t) A (t) D + K (0) D - H (t) B (t)) [K (τ) - D ∗ K (0) D] −1
× (H (t) A (t) D + K (0) D - H (t) B (t)) ∗ .
As will be shown in §3, the T-periodic matrix P (t) is positive definite

divided. Denote the minimum eigenvalue of the matrix P (t) by
p min (t)> 0, the minimum eigenvalue of the matrix H (t) through h min (t)>
0. Let k> 0 be a maximum number such that
d
(2.3)
dsK (s) + kK (s) ≤ 0, s ∈ [0, τ].
Page 7
Denote
γ (t) = min {p min (t), kǁH (t) ǁ}, (2.4)
= max ǁΦ (t) ǁ, α = max , (2.5)

t∈ [−τ, 0]
t∈ [0, T] √V (0,hϕ)
min (t)
γ (t)
β (t) = , β + = max β (t), β - = min β (t). (2.6)
2ǁH (t) ǁ t∈ [0, T] t∈ [0, T]
We pass to the statement of the statements. By analogy with the argument,

carried out in [28], we distinguish three cases. Since the spectrum of the matrix D for
belongs to the unit disk {λ ∈ C: | λ | <1}, then ǁD j ǁ → 0 as j → ∞. Let be
l minimal natural number such that ǁD l ǁ <1. Depending on
quantities ǁD l ǁ below in Theorems 2–4 we establish estimates of solutions if
ǁD l ǁ <e −lβ + τ , e −lβ + τ ≤ ǁD l ǁ ≤ e −lβ - τ , e −lβ - τ <ǁD l ǁ <1
respectively, where β + and β - are defined in (2.6).
Theorem 2. Suppose that there exist matrices H (t) and K (s) satisfying
creating the conditions of Theorem 1. Let
ǁD l ǁ <e −lβ + τ . (2.7)
Then, to solve the initial problem (2.1), we have the estimate
l−1
∑
ǁY (t) ǁ ≤ [α (1 - ǁD l ǁe lβ + τ ) −1 ǁD j ǁe jβ + τ
j=0
∫ t0
- β (ξ) dξ
+ max {ǁDǁe β + τ , ..., ǁD l ǁe lβ + τ }] e , t> 0, (2.8)
where α, β (t), β + , defined in (2.5), (2.6).
e −lβ + τ ≤ ǁ D l ǁ ≤ e −lβ - τ .
l−1
t ∑
ǁY (t) ǁ ≤ [α (1 + ǁD j ǁe jβ + τ
lτ)
j=0
∫ t0
- ˜β (ξ) dξ
+ max {1, ǁDǁe β + τ , ..., ǁD l − 1 ǁe (l − 1) β + τ }] e , t> 0, (2.9)
where α, β (t), β + , β - , defined in (2.5), (2.6),
1
˜β (t) = min {β (t), - (2.10)
lτln ǁD l ǁ}.
Page 8
e −lβ - τ <ǁD l ǁ <1. (2.11)
l−1
∑
ǁY (t) ǁ ≤ [αǁD l ǁe lβ - τ (ǁD l ǁe lβ - τ - 1) −1 ǁD j ǁe jβ - τ
j=0
+ ǁD l ǁ
1
t
l −1 max {1, ǁDǁ, ..., ǁD l − 1 ǁ}] exp (
lτln ǁD l ǁ), t> 0, (2.12)
where α, β - , defined in (2.5), (2.6).
In § 3 we first prove Theorems 2–4. It follows directly from them

statement of Theorem 1.
3. Proof of the main results
First, we prove several auxiliary lemmas that will be used.

when proving the main statements.
Lemma 1. Let
Q 11 (t) Q 12 (t)
Q (t) = (
Q 21 (t) Q 22 (t))
Hermitian matrix of size 2n × 2n with continuous elements, positive
but defined for t ∈ [0, T]. Then the identity holds
〈Q (t) (z 1
〈[S 11 (t) - S 12 (t) S −1
z 2 ), (z 1 z 2 )〉 ≡ 22 (t) S 21 (t)] (z 1 + Dz 2 ), (z 1 + Dz 2 )〉
+ 〈S 22 (t) (S −1
22 (t) S 21 (t) (z 1 + Dz 2 ) + z 2 ), (S −1 22 (t) S 21 (t) (z 1 + Dz 2 ) + z 2 )〉, z 1 , z 2 ∈ C n ,
(3.1)
where d an arbitrary constant matrix of size n × n,
S 11 (t) = Q 11 (t), S 12 (t) = Q 12 (t) - Q 11 (t) D,
S 21 (t) = Q 21 (t) - D ∗ Q 11 (t), S 22 (t) = Q 22 (t) + D ∗ Q 11 (t) D - Q 21 (t) D - D ∗ Q 12 (t),
moreover, the matrices S 11 (t) - S 12 (t) S −1

22 (t) S 21 (t), S 22 (t) are positive definite
for t ∈ [0, T].
Evidence. Obviously
(z 1 + Dz 2 ) = (ID
z1
z2 0 I) ( z 2 ).
From here
〈Q (t) (z 1 ), (z 1 + Dz 2 )〉
0 I −D z 1 + Dz 2
z 2 ), (z 1 z 2 )〉 ≡ 〈(I −D ∗ I) Q (t) ( 0 I) ( z2 z2
), (z 1 + Dz 2 )〉, (3.2)
z 1 + Dz 2
≡ 〈S (t) (
z2 z2
Page 9
Where
S 11 (t) S 12 (t)
S (t) = ( , S 11 (t) = Q 11 (t), S 12 (t) = Q 12 (t) - Q 11 (t) D,
S 21 (t) S 22 (t))
S 21 (t) = Q 21 (t) - D ∗ Q 11 (t), S 22 (t) = Q 22 (t) + D ∗ Q 11 (t) D - Q 21 (t) D - D ∗ Q 12 (t).

Obviously, the matrix S (t) is positive definite for t ∈ [0, T] if and only
then when the matrix Q (t) is positive definite for t ∈ [0, T]. Not difficult
verify that
)
IS 12 (t) S −1
S (t) ≡ ( 22 (t)
0 I
S 11 (t) - S 12 (t) S −1 0 I 0
×( 22 (t) S 21 (t) .
0 S 22 (t)) ( S −1
22 (t) S 21 (t) I)
Therefore, the matrix S (t) is positive definite for t ∈ [0, T] then and
only when the matrices S 11 (t) - S 12 (t) S −1
22 (t) S 21 (t), S 22 (t) is positive
are defined for t ∈ [0, T]. By the transformations performed above, we have
〈S (t) (z 1 + Dz 2 ), (z 1 + Dz 2 )〉
z2 z2
≡ 〈[S 11 (t) - S 12 (t) S −1
22 (t) S 21 (t)] (z 1 + Dz 2 ), (z 1 + Dz 2 )〉
+ 〈S 22 (t) (S −1
22 (t) S 21 (t) (z 1 + Dz 2 ) + z 2 ), (S −1 22 (t) S 21 (t) (z 1 + Dz 2 ) + z 2 )〉.
From this, by virtue of (3.2), we obtain (3.1).
Lemma 1 is proved.
In the following lemma, we derive an estimate for solving the initial problem (2.1),
which is preliminary and will be used substantially
upon receipt of the main results.
Lemma 2. Suppose that there exist matrices H (t) and K (s) satisfying
creating the conditions of Theorem 1. Then, to solve the initial problem (2.1)
an assessment takes place
∫ t
(H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds

t−τ
∫ 0t
γ (ξ)
≤ V (0, ϕ) exp −
ǁH (ξ) ǁdξ , t> 0, (3.3)
where V (0, ϕ), γ (t) are defined in (2.2), (2.4), respectively.
Evidence. In the proof we follow the scheme from [23, 24, 28].
Let y (t) be a solution to the initial problem (2.1). Using the matrices H (t) and K (s),
the above, we consider the Lyapunov Krasovsky functional (1.11) on
decision. Differentiating it, we get
d d
dtV (t, y) ≡ 〈 dtH (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))〉
+ (H (t) (A (t) y (t) + B (t) y (t - τ)), (y (t) + Dy (t - τ)))
+ (H (t) (y (t) + Dy (t - τ)), (A (t) y (t) + B (t) y (t - τ)))
Page 10
∫ t 〈DdtK (t - s) y (s), y (s)〉 ds.

+ (K (0) y (t), y (t)) - (K (τ) y (t - τ), y (t - τ)) +
t−τ
Using the matrix C (t) defined in Theorem 1, we have
∫ t 〈DdtK (t - s) y (s), y (s)〉 ds.

d y (t) y (t)
+
dtV (t, y) ≡ - 〈C (t) ( y (t - τ)), ( y (t - τ))〉
t−τ
(3.4)
By the proved Lemma 1, we can write
〈C (t) (y (t)
y (t)
y (t - τ)), ( y (t - τ))〉
≡ 〈[S 11 (t) −S 12 (t) S −1
22 S 21 (t)] (y (t) + Dy (t − τ)), (y (t) + Dy (t − τ))) + (S 22 z (t), z (t)〉,
Where
d
S 11 (t) = -
dtH (t) - H (t) A (t) - A ∗ (t) H (t) - K (0),
S 12 (t) = H (t) A (t) D + K (0) D (t) - H (t) B (t), S 21 (t) = S ∗ 12 (t),
S 22 = K (τ) - D ∗ K (0) D, z (t) = S −1

22 S 21 (t) (y (t) + Dy (t - τ)) + y (t - τ).
From here we get
〈C (t) (y (t)
y (t)
y (t - τ)), ( y (t - τ))〉
≡ (P (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (Rz (t), z (t)),
Where
d
P (t) = -
dtH (t) - H (t) A (t) - A ∗ (t) H (t) - K (0)
- (H (t) A (t) D + K (0) D - H (t) B (t)) [K (τ) - D ∗ K (0) D] −1
× (H (t) A (t) D + K (0) D - H (t) B (t)) ∗ ,
R = K (τ) - D ∗ K (0) D
positive definite matrices,
z (t) = R −1 (H (t) A (t) D + K (0) D - H (t) B (t)) ∗ (y (t) + Dy (t - τ)) + y (t - τ).
Hence,
〈C (t) (y (t)
y (t)
≥ (P (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ)))
y (t - τ)), ( y (t - τ))〉
≥ p min (t) ǁy (t) + Dy (t - τ) ǁ 2 ,
where p min (t)> 0 is the minimum eigenvalue of the matrix P (t). Using
matrix H (t), we have
〈C (t) (y (t)
y (t) p min (t)
≥ (H (t) (y (t) + Dy (t − τ)), (y (t) + Dy (t − τ))).
y (t - τ)), ( y (t - τ))〉 ǁH (t) ǁ
Page 11
By virtue of (3.4), we obtain
d p min (t)
(H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ)))
dtV (t, y) ≤ - ǁH (t) ǁ
∫ t 〈DdtK (t - s) y (s), y (s)〉 ds.
+
t−τ
Using condition (2.3), we have
d p min (t)
(H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ)))
dtV (t, y) ≤ - ǁH (t) ǁ
∫ t
-k (K (t - s) y (s), y (s)) ds.

t−τ
Then, by the definition of functional (1.11)
d γ (t)
V (t, y),
dtV (t, y) ≤ - ǁH (t) ǁ
where γ (t) = min {p min (t), kǁH (t) ǁ}. From this differential inequality follows
blowing score
∫ 0t
γ (ξ)
V (t, y) ≤ V (0, ϕ) exp −
ǁH (ξ) ǁdξ ,
which, taking into account the definition of functional (1.11), gives (3.3).
Lemma 2 is proved.
The following statement follows directly from Lemma 2.
Lemma 3. Let the conditions of Theorem 1 be satisfied. Then, to solve

of the initial problem (2.1) we have the estimate
∫ 0t
V (0, ϕ) γ (ξ)
ǁY (t) + Dy (t - τ) ǁ ≤ √ (3.5)
h min (t) exp − 2ǁH (ξ) ǁdξ , t> 0,
where V (0, ϕ), γ (t) are defined in (2.2), (2.4), respectively, h min (t)> 0 mini-
the minimum eigenvalue of the matrix H (t).
Based on the result obtained, below we obtain estimates of the solutions
of the initial problem (2.1) on the intervals t ∈ [kτ, (k + 1) τ), k = 0, 1, ....
Lemma 4. Let the conditions of Theorem 1 be satisfied. Then, to solve
of the initial problem (2.1) on each interval t ∈ [kτ, (k + 1) τ), k = 0, 1, ..., has
place rating
∫0
t − jτ
∑k - β (ξ) dξ
ǁY (t) ǁ ≤ α ǁD j ǁe + ǁD k + 1 ǁ, (3.6)
j=0
where α, β (t), defined in (2.5), (2.6).

Evidence. Obviously, by virtue of (3.5), for t ∈ [0, τ), taking into account
of relations (2.5), (2.6) we have
∫ t0 ∫ t0
- β (ξ) dξ - β (ξ) dξ
ǁY (t) ǁ ≤ αe + ǁDy (t - τ) ǁ ≤ αe + ǁDǁ,
Page 12
which gives the required inequality (3.6) for k = 0.

Let t ∈ [τ, 2τ). By virtue of (3.5), taking into account the notation (2.5), (2.6), we have
∫ t0
- β (ξ) dξ
ǁY (t) ǁ ≤ αe + ǁDy (t - τ) ǁ
∫ t0
- β (ξ) dξ
≤ αe + ǁDy (t - τ) + D 2 y (t - 2τ) ǁ + ǁD 2 y (t - 2τ) ǁ
∫0t
- β (ξ) dξ
≤ αe + ǁDǁ ǁy (t - τ) + Dy (t - 2τ) ǁ + ǁD 2 ǁ ǁy (t - 2τ) ǁ
∫ t0 ∫
t−τ
0
- β (ξ) dξ - β (ξ) dξ
≤ αe + αǁDǁe + ǁD 2 ǁ,
which gives the required inequality (3.6) for k = 1.
Let t ∈ [kτ, (k + 1) τ). It is easy to write out a chain of inequalities
∫ t0
- β (ξ) dξ
ǁY (t) ǁ ≤ αe + ǁDy (t - τ) ǁ
∫0
t
- β (ξ) dξ
≤ αe + ǁDy (t - τ) + D 2 y (t - 2τ) ǁ + ǁD 2 y (t - 2τ) + D 3 y (t - 3τ) ǁ + ...
+ ǁD k y (t - kτ) + D k + 1 y (t - (k + 1) τ) ǁ + ǁD k + 1 y (t - (k + 1) τ) ǁ
∫ t0
- β (ξ) dξ
≤ αe + ǁDǁ ǁy (t− τ) + Dy (t - 2τ) ǁ + ǁD 2 ǁ ǁy (t - 2τ) + Dy (t - 3τ) ǁ + ...
+ ǁD k ǁ ǁy (t - kτ) + Dy (t - (k + 1) τ) ǁ + ǁD k + 1 ǁ ǁy (t - (k + 1) τ) ǁ.
By virtue of (3.5), we obtain
∫ t0 ∫
t − τ0 ∫
t − 2τ0
- β (ξ) dξ - β (ξ) dξ - β (ξ) dξ

ǁY (t) ǁ ≤ αe + αǁDǁe + αǁD 2 ǁe + ...
∫
t − kτ
0
- β (ξ) dξ
+ αǁD k ǁe + ǁD k + 1 ǁ,
which gives the required inequality (3.6).
Lemma 4 is proved.
We proceed directly to obtaining estimates for the solutions of the initial

problems (2.1) on the whole half-line {t> 0}.
Proof of Theorem 2. Using (3.6) to solve the initial
of problem (2.1) on each interval t ∈ [kτ, (k + 1) τ), k = 0, 1, ..., we can write
inequality
∫t ∫ t0 ∫ t0
∑k β (ξ) dξ
β (ξ) dξ ] e- β (ξ) dξ
ǁY (t) ǁ ≤ [α ǁD j ǁe
t − jτ
+ ǁD k + 1 ǁe
j=0
]e- ∫ t0
∑k β (ξ) dξ
≤ [α ǁD j ǁe jβ + τ + ǁD k + 1 ǁe (k + 1) β + τ ,
j=0
where β + is defined in (2.6). Hence, taking into account condition (2.7) on ǁD l ǁ, for the solution
of the initial problem (2.1) on the whole half-line {t> 0} we obtain the estimate
∫ t0
∑∞ - β (ξ) dξ
ǁY (t) ǁ ≤ [α ǁD j ǁe jβ + τ + max {ǁDǁe β + τ , ..., ǁD l ǁe lβ + τ }] e . (3.7)
j=0
Page 13
∑
∞
Consider a series
j=0ǁ D j ǁe jβ + τ . Obviously
∑∞ l−1
∑ 2l − 1
∑ 3l − 1
∑
ǁD j ǁe jβ + τ = ǁD j ǁe jβ + τ + ǁD j ǁe jβ + τ + ǁD j ǁe jβ + τ + ....
j=0 j=0 j=l j = 2l
Hence,
∑∞ l−1
∑ l−1
∑
ǁD j ǁe jβ + τ ≤ ǁD j ǁe jβ + τ + ǁD l ǁe lβ + τ ǁD j ǁe jβ + τ
j=0 j=0 j=0
l−1
∑
+ (ǁD l ǁe lβ + τ ) 2 ǁD j ǁe jβ + τ + ...
j=0
l−1
∑
= (1 + ǁD l ǁe lβ + τ + (ǁD l ǁe lβ + τ ) 2 + ...) ǁD j ǁe jβ + τ .
j=0
Hence, since by condition (2.7) ǁD l ǁe lβ + τ <1, we have
∑∞ l−1
∑
ǁD j ǁe jβ + τ ≤ (1 - ǁD l ǁe lβ + τ ) −1 ǁD j ǁe jβ + τ .
j=0 j=0
Using this inequality, from (3.7) we obtain the required estimate (2.8).
Theorem 2 is proved.
Proof of Theorem 3. First, we carry out the proof in the case

more often l = 1. From estimate (3.6) for solving the initial problem (2.1) on each
interval t ∈ [kτ, (k + 1) τ), k = 0, 1, ..., we have
t − jτ
∫t ∫0
∑k
1
β (ξ) dξ
τ ln D dξ−
ǁY (t) ǁ ≤ α e
t − jτ
+ ǁD k + 1 ǁ. (3.8)
j=0
By the definition of the function ˜β (t) in (2.10) for functions in the exponent
exponential, inequalities are true
t − jτ
∫ t ∫0 ∫ 0t
1
˜β (ξ) dξ.
β (ξ) dξ ≤ -
τln ǁDǁ dξ -
t − jτ
Therefore, from (3.8) we obtain
∫ t0
- ˜β (ξ) dξ
ǁY (t) ǁ ≤ α (k + 1) e + ǁD k + 1 ǁ.
Hence, on each interval t ∈ [kτ, (k + 1) τ), k = 0, 1, ..., we have
∫ t0 ∫ t0
- ˜β (ξ) dξ - ˜β (ξ) dξ
t t
ǁY (t) ǁ ≤ α (1 + e + ǁDǁ k + 1 = α (1 + e + e (k + 1) ln D
τ) τ)
∫ t0
- ˜β (ξ) dξ
t
≤ α (1 + e +et τ ln D .
τ)
Page 14
By the definition of the function ˜β (t), we obtain
∫ t0 ∫ t0
- ˜β (ξ) dξ - ˜β (ξ) dξ
t
ǁY (t) ǁ ≤ α (1 + e +e ,
τ)
which gives the required inequality (2.9) in the case l = 1.

Let l ≥ 2. As proved in Lemma 4, to solve the initial problem (2.1)
on each interval t ∈ [kτ, (k + 1) τ), k = 0, 1, ..., estimate (3.6) holds.
First, we consider the case when l ≤ k ≤ 2l - 1. We denote the first term by
defined in (3.6) by I 1 (t) and rewrite it as follows:
∫0
t − jτ t − jτ
∫0
l−1
∑ - β (ξ) dξ ∑k - β (ξ) dξ
I 1 (t) = α ǁD j ǁe +α ǁD j ǁe
j=0 j=l
∫ t
∫ t0 t − jτ
∫0
l−1
∑ β (ξ) dξ - β (ξ) dξ ∑k - β (ξ) dξ
=α ǁD j ǁe
t − jτ
e +α ǁD j ǁe .
j=0 j=l
In view of the definition of β + in (2.6), we have
∫ t0 ∫0
t − jτ
l−1
∑ - β (ξ) dξ ∑k - β (ξ) dξ
I 1 (t) ≤ α ǁD j ǁe jβ + τ e +α ǁD j ǁe
j=0 j=l
t− (l + j) τ
∫ t0 ∫0
l−1 k−l
∑ - β (ξ) dξ ∑ - β (ξ) dξ
≤α ǁD j ǁe jβ + τ e +α ǁD l ǁǁD j ǁe
j=0 j=0
∫0
t ∫
t − lτ
∫0
t − lτ
l−1 k−l
∑ - β (ξ) dξ ∑ β (ξ) dξ - β (ξ) dξ
=α ǁD j ǁe jβ + τ e +α ǁD j ǁe
t− (l + j) τ
ǁD l ǁe
j=0 j=0
∫ t0 ∫
t − lτ
0
l−1 k−l
∑ - β (ξ) dξ ∑ - β (ξ) dξ
≤α ǁD j ǁe jβ + τ e +α ǁD j ǁe jβ + τ ǁD l ǁe .
j=0 j=0
Using the definition of the function ˜β (t) in (2.10), we obtain
∫
t − lτ
0 ∫t ∫
t − lτ
0 ∫ t0
1
- β (ξ) dξ dξ− β (ξ) dξ - ˜β (ξ) dξ
lτ ln D l
ǁD l ǁe =e t − lτ
≤e .
Hence,
∫ t0 ∫ t0
l−1 k−l
∑ - β (ξ) dξ ∑ - ˜β (ξ) dξ
I 1 (t) ≤ α ǁD j ǁe jβ + τ e +α ǁD j ǁe jβ + τ e .
j=0 j=0
Since l ≤ k ≤ 2l - 1, we have 1 ≤ t
lτ <2. Then
∫ t0
l−1 ˜β (ξ) dξ
t ∑ -
I 1 (t) ≤ α (1 + ǁD j ǁe jβ + τ e . (3.9)
lτ)
j=0
Consider the second term in estimate (3.6) for t ∈ [kτ, (k + 1) τ):
I 2 (t) = ǁD k + 1 ǁ.
Page 15
If l ≤ k ≤ 2l - 2, then
∫t
1
dξ
lτ ln D l
I 2 (t) ≤ ǁD l ǁ ǁD k + 1 − l ǁ = e ǁD k + 1 − l ǁ
t − lτ
∫ t ∫
t − lτ0
∫
t − lτ
0
1
dξ− β (ξ) dξ β (ξ) dξ
lτ ln D l
=e t − lτ
e ǁD k + 1 − l ǁ.
Hence, by the definitions of β + in (2.6) and ˜β (t) in (2.10), we obtain
∫ t0 ∫ t0
- ˜β (ξ) dξ - ˜β (ξ) dξ
I 2 (t) ≤ e e (t − lτ) β + ǁD k + 1 − l ǁ ≤ e e (k + 1 − l) β + τ ǁ D k + 1 − l ǁ.
Hence,
∫ t0
- ˜β (ξ) dξ
I 2 (t) ≤ max {ǁDǁe β + τ , ..., ǁD l − 1 ǁe (l − 1) β + τ } e . (3.10)
If k = 2l - 1, then (2l - 1) τ ≤ t <2lτ. Then obviously
∫ t0 ∫ t0
1
dξ - ˜β (ξ) dξ
t lτ ln D l
I 2 (t) ≤ ǁD l ǁ 2 = e 2 ln D l ≤e lτ ln D l =e ≤e .
In view of estimate (3.10) for l ≤ k ≤ 2l - 1 for the second term in (3.6) we have
inequality
∫ t0
- ˜β (ξ) dξ
I 2 (t) ≤ max {1, ǁDǁe β + τ , ..., ǁDǁ l − 1 e (l − 1) β + τ } e . (3.11)
Estimates (3.9) and (3.11) give the required inequality (2.9) for l ≥ 2 for
t ∈ [kτ, (k + 1) τ), l ≤ k ≤ 2l - 1. Note that obtaining estimate (2.9) for
0 ≤ k ≤ l - 1 is straightforward.
We pass to the case ml ≤ k ≤ (m + 1) l − 1, m = 2,3, .... First we consider
the first term I 1 (t) in (3.6) and rewrite it as follows:
∫t ∫ t0 ∫0
t − jτ
l−1 2l − 1
∑ β (ξ) dξ - β (ξ) dξ ∑ - β (ξ) dξ
I 1 (t) = α ǁD j ǁe
t − jτ
e +α ǁD j ǁe + ...
j=0 j=l
∫0
t − jτ
∫0
t − jτ
ml − 1
∑ - β (ξ) dξ ∑k - β (ξ) dξ
+α ǁD j ǁe +α ǁD j ǁe .
j = (m − 1) l j = ml
In view of the definition of β + in (2.6), we have
t− (l + j) τ
∫ t0 ∫0
l−1 l−1
∑ - β (ξ) dξ ∑ - β (ξ) dξ
I 1 (t) ≤ α ǁD j ǁe jβ + τ e +α ǁD l ǁ ǁD j ǁe + ...
j=0 j=0
t - ((m − 1) l + j) τ t− (ml + j) τ
∫ 0 ∫0
l−1 k − ml
∑ - β (ξ) dξ ∑ - β (ξ) dξ
+α ǁD l ǁ m − 1 ǁD j ǁe +α ǁD l ǁ m ǁD j ǁe .
j=0 j=0
∫ t0 ∫
t − lτ
∫0
t − lτ
l−1 l−1
∑ - β (ξ) dξ ∑ β (ξ) dξ - β (ξ) dξ
=α ǁD j ǁe jβ + τ e +α ǁD j ǁe
t− (l + j) τ
ǁD l ǁe + ...
j=0 j=0
Page 16
t− (m − 1) lτ
∫ ∫0
t− (m − 1) lτ
l−1
∑ β (ξ) dξ - β (ξ) dξ
+α ǁD j ǁe
t - ((m − 1) l + j) τ
ǁD l ǁ m − 1 e
j=0
∫
t − mlτ
∫0
t − mlτ
k − ml
∑ β (ξ) dξ - β (ξ) dξ
+α ǁD j ǁe
t− (ml + j) τ
ǁD l ǁ m e
j=0
∫ t0 ∫
t − lτ
0
l−1 l−1
∑ - β (ξ) dξ ∑ - β (ξ) dξ
≤α ǁD j ǁe jβ + τ e +α ǁD j ǁe jβ + τ ǁD l ǁe + ...
j=0 j=0
t− (m − 1) lτ
∫ 0
l−1
∑ - β (ξ) dξ
+α ǁD j ǁe jβ + τ ǁD l ǁ m − 1 e
j=0
∫0
t − mlτ
k − ml
∑ - β (ξ) dξ
+α ǁD j ǁe jβ + τ ǁD l ǁ m e .
j=0
As above, using the definition of the function ˜β (t) in (2.10), for i = 1, ..., m
tea
∫0
t − ilτ ∫t ∫0
t − ilτ
∫ t0
1
- β (ξ) dξ dξ− β (ξ) dξ - ˜β (ξ) dξ
lτ ln D l
ǁD l ǁ i e =e t − ilτ
≤e .
Hence,
∫ t0
l−1
∑ - ˜β (ξ) dξ
I 1 (t) ≤ α (1 + m) ǁD j ǁe jβ + τ e .
j=0
Since ml ≤ k ≤ (m + 1) l - 1, then m ≤ t
lτ <m + 1. Then
l−1 ∫ t 0 ˜β (ξ) dξ
t ∑ -
I 1 (t) ≤ α (1 + ǁD j ǁe jβ + τ e . (3.12)
lτ)
j=0
Consider the second term I 2 (t) in the estimate (3.6) for t ∈ [kτ, (k + 1) τ). If a
ml ≤ k ≤ (m + 1) l - 2, then
∫t t − mlτ
∫0 t − mlτ
∫0
1
dξ− β (ξ) dξ β (ξ) dξ
lτ ln D l
I 2 (t) ≤ ǁD l ǁ m ǁD k + 1 − ml ǁ = e e ǁD k + 1 − ml ǁ
t − mlτ
∫ t0 ∫ t0
- ˜β (ξ) dξ - ˜β (ξ) dξ
≤e e (t − mlτ) β + ǁD k + 1 − ml ǁ ≤ e e (k + 1 − ml) β + τ ǁ D k + 1 − ml ǁ.
Hence,
∫ t0
- ˜β (ξ) dξ
I 2 (t) ≤ max {ǁDǁe β + τ , ..., ǁD l − 1 ǁe (l − 1) β + τ } e . (3.13)
If k = (m + 1) l - 1, then ((m + 1) l - 1) τ ≤ t <(m + 1) lτ. Then obviously
∫ t0
- ˜β (ξ) dξ
t
I 2 (t) ≤ ǁD l ǁ m + 1 = e (m + 1) ln D l ≤e lτ ln D l ≤e .
Page 17
In view of estimate (3.13) for ml ≤ k ≤ (m + 1) l − 1 for the second term in (3.6)

we have the inequality
∫ t0
- ˜β (ξ) dξ
I 2 (t) ≤ max {1, ǁDǁe β + τ , ..., ǁD l − 1 ǁe (l − 1) β + τ } e . (3.14)
Since m is arbitrary, estimates (3.12) and (3.14) yield the required inequality
(2.9) in the case l ≥ 2 for all t> 0.
Proof of Theorem 4. Using inequality (3.6) proved

in Lemma 4, to solve the initial problem (2.1) on each interval t ∈
[kτ, (k + 1) τ), k = 0, 1, ..., we can write the estimate
∑k
ǁY (t) ǁ ≤ α ǁD j ǁe −β - (t − jτ) + ǁD k + 1 ǁ, (3.15)
j=0
where β is defined in (2.6).

First, we consider the first term in (3.15). Obviously, for 0 ≤ k ≤ l − 1
∑k l−1
∑
ǁD j ǁe jβ - τ ≤ ǁD j ǁe jβ - τ .
j=0 j=0
Let l ≤ k ≤ 2l - 1. Then
∑k l−1
∑ ∑k
ǁD j ǁe jβ - τ = ǁD j ǁe jβ - τ + ǁD j ǁe jβ - τ
j=0 j=0 j=l
l−1 k−l
∑ ∑
≤ ǁD j ǁe jβ - τ + ǁD l ǁe lβ - τ ǁD j ǁe jβ - τ
j=0 j=0
l−1
∑
≤ ǁD l ǁe lβ - τ [1 + (ǁD l ǁe lβ - τ ) −1 ] ǁD j ǁe jβ - τ .
j=0
Let ml ≤ k ≤ (m + 1) l - 1, m = 2,3, .... Obviously,
∑k l−1
∑
ǁD j ǁe jβ - τ ≤ ǁD j ǁe jβ - τ
j=0 j=0
l−1 k − ml
∑ ∑
+ ǁD l ǁe lβ - τ ǁD j ǁe jβ - τ + ··· + ǁD ml ǁe mlβ - τ ǁD j ǁe jβ - τ
j=0 j=0
l−1
∑
≤ [1 + ǁD l ǁe lβ - τ + ··· + ǁD l ǁ m e mlβ - τ ] ǁD j ǁe jβ - τ .
j=0
Hence,
∑k
ǁD j ǁe jβ - τ ≤ ǁD l ǁ m e mlβ - τ
j=0
l−1
∑
× [1 + (ǁD l ǁe lβ - τ ) −1 + ··· + (ǁD l ǁe lβ - τ ) −m ] ǁD j ǁe jβ - τ
j=0
Page 18
l−1
∑
≤ ǁD l ǁ m e mlβ - τ [1 + (ǁD l ǁe lβ - τ ) −1 + ··· + (ǁD l ǁe lβ - τ ) −m + ...] ǁD j ǁe jβ - τ .
j=0
Since ǁD l ǁe lβ - τ > 1 according to condition (2.11), we have
∑k l−1
∑
ǁD j ǁe jβ - τ ≤ ǁD l ǁ m e mlβ - τ [1 - (ǁD l ǁe lβ - τ ) −1 ] −1 ǁD j ǁe jβ - τ .
j=0 j=0
Given that mlτ ≤ t <(m + 1) lτ, we obtain
∑k l−1
∑
ǁD j ǁe −β - (t − jτ) ≤ ǁD l ǁ m e −β - (t − mlτ) [1 - (ǁD l ǁe lβ - τ ) −1 ] −1 ǁD j ǁe jβ - τ
j=0 j=0
l−1
t ∑
≤ ǁD l ǁ lτ [1 - (ǁD l ǁe lβ - τ ) −1 ] −1 ǁD j ǁe jβ - τ .
j=0
Thus, for the first term in (3.15) for any k we arrive at

assessment
∑k
α ǁD j ǁe −β - (t − jτ) ≤ α [1 - (ǁD l ǁe lβ - τ ) −1 ] −1
j=0
l−1 (tlτ ln ǁD l ǁ). (3.16)

∑
×( ǁD j ǁe jβ - τ ) exp
j=0
Consider the second term in (3.15). Obviously, for 0 ≤ k ≤ l - 2
ǁD k + 1 ǁ ≤ max {ǁDǁ, ..., ǁD l − 1 ǁ}.
Let ml - 1 ≤ k ≤ (m + 1) l - 2, m = 1, 2, .... Then
ǁD k + 1 ǁ≤ǁD l ǁ m ǁD k + 1 − ml ǁ≤ǁD l ǁ m max {1, ǁDǁ, ..., ǁD l − 1 ǁ}.
Since ǁD l ǁ <1 and t <((m + 1) l - 1) τ, then
t− (l − 1) τ 1 t
ǁD l ǁ m ≤ ǁD l ǁ lτ = ǁD l ǁ l −1 exp (
lτln ǁD l ǁ).
Then, since m is arbitrary, we have
1 t
ǁD k + 1 ǁ≤ǁD l ǁ l −1 max {1, ǁDǁ, ..., ǁD l − 1 ǁ} exp (
lτln ǁD l ǁ)
for any k. Taking into account the estimate (3.16) for the first term in (3.15), the
we go to inequality (2.12).
Proof of Theorem 1. From the estimates (2.8), (2.9), (2.12), we have established
null in Theorems 2–4, the exponential stability of the zero solution follows
system (1.1) under the conditions of Theorem 1.
Page 19
LITERATURE
1. Elsgolts L. E., Norkin S. B. Introduction to the theory of differential equations with

slanting argument. M .: Nauka, 1971.
2. Kolmanovskii VB, Myshkis AD Introduction to the theory and applications of functional-
differential equations. Dordrecht: Kluwer Acad. Publ., 1999. (Math. Appl .; V. 463).
3. Gu K., Kharitonov VL, Chen J. Stability of time-delay systems. Control engineering. Boston:
Birkhäuser, 2003.
4. Korenevsky D. G. The destabilizing effect of parametric white noise in continuous
discontinuous and discrete dynamic systems: authorization. per. with Ukrainian Kiev: Academperi
Odika, 2008.
5. Halanay A. The theory of stability of linear periodic systems with delay //
Acad Repub. Popul. Roum., Rev. Math. Pures Appl. 1961. V. 6, N 4. P. 633–653.
6. Hahn W. On difference differential equations with periodic coefficients // J. Math. Anal. Appl.
1961. V. 3, N 1. P. 70–101.
7. Stokes AP A Floquet theory for functional differential equations // Proc. Nat. Acad Sci.
USA 1962. V. 48, N 8. P. 1330-1334.
8. Zverkin A. M. Differential-difference equations with periodic coefficients
entami // Bellman R., Cook K. L. Differential-difference equations. M .: World,
1967. S. 498-535.
9. Shimanov S. N. Stability of linear systems with periodic coefficients and
delay. Sverdlovsk: Publishing House Ural. University, 1983.
10. Hale J. Theory of functional differential equations. M .: Mir, 1984.
11. Germanovich O. P. Linear periodic equations of neutral type and their applications
zheniya. L .: Publishing house Leningra. University, 1986.
12. Komlenko Yu. V., Tonkov E. L. Lyapunov Floquet representation for differential
equations with aftereffect // Izv. universities. Maths. 1995. No. 10. P. 40–45.
13. Dolgiy Yu. F. Stability of periodic differential-difference equations.
Yekaterinburg: Publishing House Ural. University, 1996.
14. Shilman S. V. The method of generating functions in the theory of dynamical systems. M .: Science,
1978.
15. Malygina VV, “On the stability of equations with periodic parameters,” Funct.
national differential equations. Perm, 1987. S. 41–43.
16. Azbelev N. V., Maksimov V. P., Rakhmatullina L. F. Introduction to the theory of functional
but-differential equations. M .: Nauka, 1991.
17. Berezansky L. M. The development of the W-method of N. V. Azbelev in stability problems
linear functional differential equations // Differents. equal
Niya. 1986.Vol. 22, No. 5. P. 739–750.
18. Kolmanovsky V. B., Nosov V. R. Stability and periodic regimes of regulated
systems with aftereffect. M .: Nauka, 1981.
19. Dolgiy Yu. F., Kim A. V. On the method of Lyapunov functionals for systems with aftereffect
eat // Differents. equations. 1991.Vol. 27, No. 8. P. 1313–1318.
20. Aleksenko N. V., Romanovsky R. K. The method of Lyapunov functionals for linear differential
of differential-difference systems with almost periodic coefficients // Dif-
renz. equations. 2001.Vol. 37, No. 2. P. 147–153.
21. Romanovsky R. K., Trotsenko G. A. Method of Lyapunov functionals for linear differential
neutral difference systems with almost periodic coefficients
cents // Sib. mat. journal 2003. V. 44, No. 2. P. 444–453.
22. Khusainov D. Ya., Kozhametov AT, Convergence of solutions of non-autonomous systems of neutral
type // Izv. universities. Maths. 2006. No 1. S. 68–72.
23. Demidenko G. V., Matveeva I. I. Asymptotic properties of solutions of differential
equations with delayed argument // Vestn. NSU. Ser. mathematics, mechanics,
Informatics. 2005. V. 5, No. 3. P. 20–28.
24. Demidenko G. V., Matveeva I. I. Stability of solutions of differential equations
with retarded argument and periodic coefficients in linear terms //
Sib. mat. journal 2007.V. 48, No. 5. P. 1025-1040.
25. Demidenko G. V., Matveeva I. I. On the stability of solutions of linear systems with period
coefficients // Sib. mat. journal 2001.V. 42, No. 2. P. 332–348.
26. Daletsky Yu. L., Krein MG. Stability of solutions of differential equations in
Banach space. M .: Nauka, 1970.
Page 20
27. Matveeva I. I. Estimates for solutions of a class of nonlinear differential systems

equations with delayed argument // Sib. journal industry mathematics. 2013.V. 16,
No. 3. P. 122–132.
28. Demidenko GV Stability of solutions to linear differential equations of neutral type // J.
Anal. Appl. 2009. V. 7, N 3. P. 119-130.
29. Demidenko G. V., Vodopyanov E. S., Skvortsova M. A. Estimates for the solutions of linear differential
potential equations of neutral type with several deviations of the argument //
Sib. journal industry mathematics. 2013.Vol. 16, No. 3. P. 53–60.
30. Kharitonov V., Mondié S., Collado J. Exponential estimates for neutral time-delay systems:
an LMI approach // IEEE Trans. Automat. Control 2005. V. 50, N 5. P. 666-670.
31. Baštinec J., Diblík J., Khusainov D.Ya., Ryvolová A. Exponential stability and estimation
of solutions of linear differential systems of neutral type with constant coefficients // Bound.
Value Probl. 2010, Art. ID 956121, 20 pp.
The article was received on March 14, 2014.
Demidenko Gennady Vladimirovich, Matveeva Inessa Izotovna

Institute of Mathematics S. L. Sobolev SB RAS,
Akademika Koptyug ave., 4, Novosibirsk 630090;
Novosibirsk state University
st. Pirogova, 2, Novosibirsk 630090
demidenk@math.nsc.ru, matveeva@math.nsc.ru

All Russian Mathematical Portal

Uploaded by

Copyright:

Available Formats

You might also like

All Russian Mathematical Portal

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

All Russian Mathematical Portal

Uploaded by

Copyright:

Available Formats

7/5/2020 On estimates of solutions to systems of differential equations of neutral type with periodic coefficients

GV Demidenko, II Matveeva, On estimates of solutions to systems of differential

Siberian Mathematical Journal

Annotation. Systems of differential equations of neutral

Key words: differential equation with retarded argument,

Dedicated to Yu. G. Reshetnyak

The paper considers systems of differential equations with

where d n × n constant matrix, A (t), B (t) n × n matrix

c from 2014 Demidenko G.V., Matveeva I.I.

1060 G.V. Demidenko, I.I. Matveeva

differential equations with retarded argument with periodically

uniquely solvable for any continuous matrix Q (t). Moreover, if

On estimates of solutions of systems of differential equations 1061

−Q (t) + K (0) H (t) B (t)

Note that this is equivalent to the inequality

K (s) = α (s) K 0 , K 0 = K ∗ 0 > 0, where α (s)> 0, α ′ (s) <0, s ∈ [0, τ].

We can take, for example, α (s) = α 1 e −α 2 s , α 1 , α 2 > 0.

∫ 0t ε (ξ) dξ v (0, ϕ),

1062 G.V. Demidenko, I.I. Matveeva

(H (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds, (1.10)

where H = H ∗ > 0, K (s) = K ∗ (s)> 0. Using this functional

det (A + e −λτ B - λI - λe −λτ D) = 0.

V (t, y) = (H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds

2. The main results

We assume that all eigenvalues of the matrix D belong to

Theorem 1. Suppose that there exist matrices

H (t) = H ∗ (t) ∈ C 1 [0, T], K (s) = K ∗ (s) ∈ C 1 [0, τ]

On estimates of solutions of systems of differential equations 1063

As will be shown in §3, the T-periodic matrix P (t) is positive definite

1064 G.V. Demidenko, I.I. Matveeva

= max ǁΦ (t) ǁ, α = max , (2.5)

We pass to the statement of the statements. By analogy with the argument,

ǁD l ǁ <e −lβ + τ , e −lβ + τ ≤ ǁD l ǁ ≤ e −lβ - τ , e −lβ - τ <ǁD l ǁ <1

respectively, where β + and β - are defined in (2.6).

ǁD l ǁ <e −lβ + τ . (2.7)

Then, to solve the initial problem (2.1), we have the estimate

where α, β (t), β + , defined in (2.5), (2.6).

Then, to solve the initial problem (2.1), we have the estimate

+ max {1, ǁDǁe β + τ , ..., ǁD l − 1 ǁe (l − 1) β + τ }] e , t> 0, (2.9)

where α, β (t), β + , β - , defined in (2.5), (2.6),

On estimates of solutions of systems of differential equations 1065

e −lβ - τ <ǁD l ǁ <1. (2.11)

Then, to solve the initial problem (2.1), we have the estimate

where α, β - , defined in (2.5), (2.6).

In § 3 we first prove Theorems 2–4. It follows directly from them

3. Proof of the main results

First, we prove several auxiliary lemmas that will be used.

where d an arbitrary constant matrix of size n × n,

S 11 (t) = Q 11 (t), S 12 (t) = Q 12 (t) - Q 11 (t) D,

S 21 (t) = Q 21 (t) - D ∗ Q 11 (t), S 22 (t) = Q 22 (t) + D ∗ Q 11 (t) D - Q 21 (t) D - D ∗ Q 12 (t),

moreover, the matrices S 11 (t) - S 12 (t) S −1

1066 G.V. Demidenko, I.I. Matveeva

S 21 (t) = Q 21 (t) - D ∗ Q 11 (t), S 22 (t) = Q 22 (t) + D ∗ Q 11 (t) D - Q 21 (t) D - D ∗ Q 12 (t).

(H (t) (y (t) + Dy (t - τ)), (y (t) + Dy (t - τ))) + (K (t - s) y (s), y (s)) ds

where V (0, ϕ), γ (t) are defined in (2.2), (2.4), respectively.

On estimates of solutions of systems of differential equations 1067

∫ t 〈DdtK (t - s) y (s), y (s)〉 ds.