## Qualitative Analysis of Differential, Difference Equations, and Dynamic Equations on Time Scales

View this Special IssueResearch Article | Open Access

Alexander Domoshnitsky, Roman Shklyar, Mikhail Gitman, Valery Stolbov, "Positivity of Fundamental Matrix and Exponential Stability of Delay Differential System", *Abstract and Applied Analysis*, vol. 2014, Article ID 490816, 9 pages, 2014. https://doi.org/10.1155/2014/490816

# Positivity of Fundamental Matrix and Exponential Stability of Delay Differential System

**Academic Editor:**Yuriy Rogovchenko

#### Abstract

The classical Wazewski theorem established that nonpositivity of all nondiagonal elements is necessary and sufficient for nonnegativity of the fundamental (Cauchy) matrix and consequently for applicability of the Chaplygin approach of approximate integration for system of linear ordinary differential equations Results on nonnegativity of the Cauchy matrix for system of delay differential equations which were based on nonpositivity of all diagonal elements, were presented in the previous works. Then examples, which demonstrated that nonpositivity of nondiagonal coefficients is not necessary for systems of delay equations, were found. In this paper first sufficient results about nonnegativity of the Cauchy matrix of the delay system without this assumption are proven. A necessary condition of nonnegativity of the Cauchy matrix is proposed. On the basis of these results on nonnegativity of the Cauchy matrix, necessary and sufficient conditions of the exponential stability of the delay system are obtained.

#### 1. Introduction

Consider the system where are measurable essentially bounded functions and are measurable functions such that for , .

Tchaplygin [1] proposed the method of approximate integration which was based on the following fact: from the inequalities it follows that

Many works, started with the known paper by Luzin [2], were devoted to the various aspects of Tchaplygin’s approximate method of integration. The well-known monograph [3] opened the series of books developing monotone methods which were based on this property. Note the monograph [4], where the monotone technique was used for analysis of existence, uniqueness, and estimates of solutions to various boundary value problems for systems of functional differential equations.

The general solution of system (1) with the initial functions (2) can be represented in the following form: where , , and is called the Cauchy matrix of system (1). Note that, for every fixed , the matrix is the fundamental matrix of system (1) such that ( is the unit matrix) [5]; that is, the th column of the Cauchy matrix for every fixed as a function of is the solution of the system satisfying the initial condition , where and for . Nonnegativity of all entries of the Cauchy matrix is equivalent to the property (3) ⇒ (4).

As a particular case of (1), the system of ordinary differential equations can be considered.

The classical Wazewski theorem claims [6] that the condition is necessary and sufficient for nonnegativity of all elements of the Cauchy matrix and consequently of the property (3)⇒(4) for system of ordinary differential equations (7) with continuous coefficients. Sufficient conditions of nonnegativity of all elements of the Cauchy matrix for system of delay equations (1) were first obtained and used for the study of the exponential stability in the paper [7].

It should be noted here that the classical monotone technique in the theory of boundary value problems for nonlinear differential systems is based on monotonicity of corresponding operators acting on spaces of corresponding vector-functions; that is, the operators act in corresponding cones. These operators are obtained as a result of regularization procedures reducing the boundary value problems to equivalent integral equations [3–5, 8, 9]. The monotonicity of such operators is obtained on the basis of positivity of entries of Cauchy or Green’s matrices of corresponding boundary value problems.

The problem of the exponential stability of delay differential systems is one of the most important applications of results on positivity of the Cauchy matrix .

*Definition 1. *One says that the Cauchy matrix of system (1) satisfies the exponential estimate if there exist constants and such that
It is known [5] that in the case of bounded delays () the exponential estimate of the Cauchy matrix is equivalent to the uniform exponential stability.

The technique of the use of positivity of in the exponential stability was proposed in the papers [7, 10], where necessary and sufficient conditions of the exponential stability for systems, possessing positivity of the Cauchy matrix, were obtained.

Theorem A (see [7]). *Let all delays be bounded and let the coefficients be constants, for , , for , . Then the following two conditions (a) and (b) are equivalent. *(a)*The Cauchy matrix of system (1) satisfies the exponential estimate (9).*(b)*All the components of the unique solution of the linear algebraic system
**are positive.*

For the case of variable coefficients and without the assumption for , , , the following assertion was obtained.

Theorem B (see [10]). *Assume that the following conditions (1)–(3) are fulfilled.**All the delays are bounded for , .**The inequalities
where for , are true.**There exist positive and such that
**Then the Cauchy matrix of system (1) satisfies the exponential estimate (9).*

*Remark 2 (see [10]). *If we choose , in condition (3), we obtain the following simple inequalities:

In other terminologies reducing a delay system to an equivalent system of integral equations and estimating its norm can be found in the paper [11]. Then the idea of a regularization, leading to analysis of vector integral equations with positive operators, was proposed in the papers [12, 13]. A development of this approach can be found in [14, 15]. In all results of this sort we can find an assumption about dominant main diagonal.

It seems that condition (8) is necessary also for delay system (1). That is why the following development of Tchaplygin’s idea was presented in the paper [16].

Let be either 1 or 2. In [16] the following problem is formulated: when from the conditions it does follow that for a corresponding fixed the component of the solution vector the inequality is satisfied. This property is a weakening of property (3) ⇒ (4) and leads to essentially less hard than condition (8) limitations on the given system. From the formula of solution’s representation it follows that this property is reduced to sign-constancy of all elements standing only in the th row of the Cauchy matrix. This idea was developed in [14, 17] and used for the study of the exponential stability in [16, 18] without assumption about the dominant main diagonal.

Example, where one of the nondiagonal coefficients but all entries of the Cauchy matrix are nonnegative, was constructed first in [17] on the finite interval and in [19] on semiaxis. The cases when (8) is a necessary condition for nonnegativity of all entries of the Cauchy matrix were discussed in [19].

In the second paragraph of this paper we obtain sufficient conditions of nonnegativity of all entries of the Cauchy matrix in the case of existence of nondiagonal positive coefficient and obtain new necessary condition for this nonnegativity. On this basis, we obtain necessary and sufficient conditions of the exponential stability in Section 3, which generalize Theorems A and B in this case. In Section 4, various examples are proposed. They demonstrate that obtained results allow us to make conclusions about nonnegativity of the Cauchy matrix and the exponential stability in cases for which the results of [7, 10, 14, 17, 19] cannot be used.

#### 2. Positivity of the Cauchy Matrix in the Case of One Positive Nondiagonal Coefficient

As usual we say that an operator is positive if for every nonnegative we get nonnegative ( and are corresponding function spaces). Nonnegativity of vector functions we understand as nonnegativity of all the components . Before formulations of the main assertions of this paragraph, note that positivity of the Cauchy operator (see formula of solution’s representation (5)) follows from nonnegativity of all entries of the Cauchy matrix . We say that the Cauchy matrix is not positive if there exist a point and an entry , such that . The Cauchy operator is not positive, if there exist points such that .

Consider the following auxiliary system: where Denote by the Cauchy matrix of system (17).

Theorem 3. *Let the conditions (1), (2), and (3) be fulfilled:** for , , ,**condition (2) of Theorem B is true,**the inequalities
where and
for every , are true.**Then the Cauchy matrix of system (1) is nonnegative for .*

*Remark 4. *Instead of inequality (11) in condition (2) of Theorem 3 we can require that the Cauchy functions of scalar first order diagonal equations
with initial functions defined by (18) are positive. Inequalities (11) imply [20] that for .

*Proof. *Let us use the transform , where is the Cauchy operator of system (17), which is defined by the equality
with the Cauchy matrix of system (17). We obtain
where the operator is defined by the equality
where for .

Condition (3) in Theorem 3 implies that the operator defined by equality (25) is positive. On every finite interval the spectral radius of this operator is equal to zero [5]. Then the operator is positive and all components of the solution-vector are nonnegative for every vector with nonnegative components. We have proven that the Cauchy operator of system (1) defined by the equalities
where is the Cauchy matrix of system (1), is positive. It follows from (26) and nonnegativity of the Cauchy matrix of system (17) that and consequently all entries of the Cauchy matrix are nonnegative.

*Remark 5. *Note that, in the case and , we actually require in Theorem 3 that to obtain positivity of the Cauchy matrix . This inequality on delays is essential. Theorem 6 demonstrates that, in the case of the opposite inequality , condition (8) is actually a necessary one.

Assume that is a nondecreasing function () and define as an exact upper limit of the set of such for which .

Theorem 6. *Let the following conditions be fulfilled: **the Cauchy functions of all diagonal equations (22) with the initial functions defined by (18) are positive for ;** are nondecreasing functions for ;**there exist an interval , a coefficient with , and a positive constant such that , and , for all , , in the interval .**Then, *(a)*the fundamental matrix of system (1) cannot be nonnegative in the triangle ;*(b)*if , then the Cauchy operator cannot be positive.*

*Proof. *Without loss of generality we can assume that ; that is, in . Consider now the first column of the Cauchy matrix . This column is the solution of system (6), satisfying the condition . We assume that such that . Consider now the th component of this solution-vector. It satisfies the following:
and the condition . According to condition (3) in Theorem 3, we have for . It is clear that , for , and there exists an interval such that
The representation of solution of scalar equation (27) with the initial condition leads us to
Thus we obtain that for .

This completes the proof of Theorem 6.

*Example 7. *Consider the following system with one constant delay:

If for , , such that , then, under the conditions of Theorem 6, cannot be nonnegative.

In the case of constant coefficients and under the condition for all , implying positivity of the Cauchy functions of diagonal equations (22), and the assumption that are nondecreasing for , the condition for all , , is necessary and sufficient for nonnegativity of .

Let us demonstrate that the assertion (a) of Theorem 6 can be true, but the assertion (b) is not true.

*Example 8. *Consider the following system:
For every we have , where is the unit matrix. For , we have , but the operator does not “feel” this and is positive.

#### 3. About Exponential Stability of Delay Systems

Now let us study the exponential stability of system (1) on the basis of positivity of its Cauchy matrix .

Let us assume that , and extend the coefficients and delays on the interval , where as follows: for , , for , for , .

Consider the following auxiliary system: where are measurable essentially bounded functions , .

Theorem 9. *Let , , let all conditions of Theorem 3 be fulfilled on , let all delays be bounded, and let there exist a constant-vector with all positive components such that
**Then the Cauchy matrix of system (1) satisfies the exponential estimate (9). If , then the following estimate is true:
*

*Proof. *The vector-function satisfies the following system:
and the initial conditions . The solution representation formula (5) allows us to write for this initial value problem
where . Theorem 3 implies nonnegativity of all entries of the Cauchy matrix. From nonnegativity of all entries of the Cauchy matrix and all components of the vector , it follows that, for every bounded right hand side , the solution is bounded. From this fact and Theorem 3.4 of paragraph 5.3 of [5] the exponential estimate (9) of the Cauchy matrix follows. The Cauchy matrices of system (1) and (32) coincide for .

The positivity of and and (36) imply the inequality (34).

Theorem 10. *Let all coefficients be constants, let all delays be bounded (), and let conditions of Theorem 3 be fulfilled on . Then the Cauchy matrix of system (1) satisfies the exponential estimate if and only if all components of the solution of the algebraic system
**
are positive.*

*Proof. *The sufficiency follows from Theorem 9. To prove necessity we note that the constant vector is the solution of the following system:
satisfying the condition . Writing the representation of its solution, we get
All entries of the matrix are nonnegative, according to Theorem 3, and for according to the results of paragraph 16 of [14]. Now from the exponential estimate of the Cauchy matrix, it follows that all components are positive for .

*Remark 11. *In the case of nonnegativity and the exponential estimate of the Cauchy matrix , it follows that

Consider the following system:
where are measurable functions, , are measurable essentially bounded functions for .

Theorem 12. *Let for system (1) all conditions of Theorem 9 be fulfilled, and let all delays , for be bounded and
**Then the Cauchy matrix of system (41) satisfies the exponential estimate (9).*

*Proof. *Theorem 3 implies that the Cauchy matrix of system (1) is nonnegative. Theorem 9 implies that satisfies the exponential estimate and its entries satisfy the following inequalities:
We can write system (41) in the following equivalent form:
where the operator ( is the space of continuous -vector-functions) is defined by the following equality:

The exponential estimate of the Cauchy matrix implies that is bounded. Condition (42) implies the estimate of the norm . Thus for every bounded right hand side the solution of system (41) is bounded. This, according to Theorem 3.4 [5], implies the exponential estimate (9) of the Cauchy matrix of system (41).

#### 4. Examples

*Example 13. *Let us consider the following delay system:

The Wazewski condition (8) about nonpositivity of for is not fulfilled since for . Consequently Theorem A does not work here. Conditions (1) and (2) of Theorem B are fulfilled, but (3) is not true. Of course, condition (13) is not fulfilled. We cannot make conclusions about nonnegativity of the Cauchy matrix and its exponential estimate based on Theorems A and B and all other previous results. Let us use the results obtained in our paper.

Consider the following auxiliary system:

The Cauchy matrix of this auxiliary system is denoted by . It can be found that

We see that condition (20) is,
true. According to Theorem 3, all elements of the Cauchy matrix are nonnegative for . System (37) in this case is of the following form:
Positivity of all components of its solution is necessary and sufficient for the exponential estimate (9) of the Cauchy matrix of the delay system (46) according to Theorem 10. The solution of the algebraic system (50) is the following: , , and . This implies the exponential estimate of the Cauchy matrix of the delay system. We get also (see Remark 11) that

*Example 14. *The same comments can be done also for the delay system of 4 equations:

In this case the auxiliary system can be written as follows:

We denote by the Cauchy matrix of this auxiliary system. It can be found that

Condition (20),
is fulfilled. According to Theorem 3, all elements of the Cauchy matrix are nonnegative for . System (37) in this case is of the following form:
Its solution is , , , and , and we get the exponential estimate of the Cauchy matrix of the delay system (52) and the following equalities:

*Example 15. *The same comments can be noted for the delay system of 5 equations:

Auxiliary system (17) can be written as follows:

The Cauchy matrix of this auxiliary system is denoted by . It can be found that