Abstract and Applied Analysis
Volume 2015 (2015), Article ID 768345, 6 pages
http://dx.doi.org/10.1155/2015/768345

Research Article

Boundary Criteria for the Stability of Delay Differential-Algebraic Equations

Leping Sun and Yuhao Cong

College of Mathematics and Sciences, Shanghai Normal University, Shanghai 200234, China

Received 19 October 2014; Revised 17 April 2015; Accepted 24 April 2015

Academic Editor: Valery Y. Glizer

Copyright © 2015 Leping Sun and Yuhao Cong. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper is concerned with the asymptotic stability of delay differential-algebraic equations. Two stability criteria described by evaluating a corresponding harmonic analytical function on the boundary of a certain region are presented. Stability regions are also presented so as to show the method geometrically. Our results are not reported.

1. Introduction

Functional differential equations have a wide range of applications in science and engineering. Perhaps the most natural type of functional differential equation is a “delay differential equation,” that is, differential equations with dependence on the past state. One type of past dependence is that it is carried out through the state variable but not through its derivative. Then the equation can be expressed as delay differential equation (DDE). Delay differential-algebraic equations (DDAEs), which have both delay and algebraic constraints, arise frequently in circuit simulation and power system, due to, for example, interconnects for computer chips and transmission lines, and in chemical process simulation when modeling pipe flows.

The criteria for the stability of DDAE can be classified into two categories according to their dependence upon the size of delays. The criteria that do not include information on delays are referred to as the delay independent criteria, while those carrying the information on delays are called the delay dependent criteria.

In this paper we are concerned with the asymptotic stability of a system of DDAEs:

where are constant real matrices, is singular, and stands for a constant delay. We will study delay independent criteria as well as delay dependent criteria for the above system. Our stability criteria only require the evaluation of a real function on the boundary of a certain region in the complex plane. The region is given as the intersection of a rectangle and a circle both specified with the system.

We will first introduce zeros of analytical function in a bounded region and the logarithmic norm of a matrix. Then the stability criteria of DDAEs are presented.

2. Preliminary

As a preliminary, we will introduce theorems of complex-variable functions. Let denote a bounded region of the complex plane. and represent the boundary and the closure of , respectively. That is, :

is an arbitrary analytical function for . Here , , , and . The following two theorems give sufficient conditions for nonexistence of zeros of . The two theorems only require the evaluation on the boundary of harmonic analytical functions each corresponding to . Hence, they are called boundary criteria.

Theorem 1 (see [1]). If for any , the real part in (2) does not vanish, then for any .

Theorem 2 (see [1]). Assume that, for any , there exists real constant satisfying . Then , for any .

Theorem 2 is an extension of Theorem 1. The following four lemmas are important to our results.

Lemma 3 (see [2]). Let and . If the inequality holds, then the inequality is valid. Here the order relation of matrices of the same dimensions should be interpreted componentwise. stands for the matrix whose component is replaced by the modulus of the corresponding component of , and means the spectral radius of .

For a complex matrix , let be the logarithmic norm of :

depends on the chosen matrix norm. Let denote the matrix norm of subordinate to a certain vector norm. In order to specify the norm, the notation is used. And the notation is also adopted to denote the logarithmic norm associated with .

Lemma 4 (see [2]). For each eigenvalue of a matrix , the inequality

holds.

Lemma 5 (see [3]). Let , be rectangular matrices with , and let be an matrix; then

is nonsingular if and only if is nonsingular. In this case, one has

Lemma 6 (see [3]). Let be a norm defined on with and satisfy . Then is nonsingular and satisfies

3. Delay Independent Stability of DDAEs

Now we deal with the asymptotic stability of DDAEs,

where are constant real matrices, is singular, and stands for a constant delay. According to [4], the system is solvable if and only if the matrix pencil is regular, that is, not identically singular for any . Thus, for the system to be asymptotically stable, is required to be nonsingular since; otherwise, will be a singular value of the matrix pencil.

For the stability of system (8), we investigate its characteristic equation:

When and letting , then the above characteristic equation may be written as

If , matrix is nonsingular, so (10) may be written as

and (11) also may be written as

where . By the above assumption, is valid.

The following lemma is well known.

Lemma 7 (see [5]). If the real parts of all the characteristic roots of (11) are less than zero, then system (8) is asymptotically stable; that is, solution of (8) satisfies as .

The following is a sufficient condition for the stability of (8).

Lemma 8. Let . If the condition

holds, system (8) is asymptotically stable.

Proof. Assume that the condition of the lemma is satisfied and that system (8) is unstable. There is a characteristic root of (11) with positive real part. Note that the characteristic root is an eigenvalue of the matrix . By Lemma 5, we have the following inequalities:

Applying the properties of the logarithmic norm and Lemmas 5 and 6, we have

This however contradicts the condition; hence, the proof is completed.

From the above lemma, if is not satisfied, system (8) may be stable or unstable. By Lemma 5, we have the following inequalities:

A derivation similar to that of Lemma 8 leads to

So according to Lemma 8, if is not valid, there are two situations when the condition of Lemma 8 fails. The following theorem gives two regions from two situations including all the roots of (11) with nonnegative real parts.

Theorem 9. Let . Suppose that there exists a root of (11) whose real part is nonnegative.
(i) If one has the estimation

then the inequalities

hold (see Scheme 1).
(ii) If one has the estimation

defining a positive number satisfying

then the inequalities

are valid, where (see Scheme 2).

Scheme 1

Scheme 2

Proof. (i) A similar reduction to that of Lemma 8 yields

Noting that the imaginary part of an eigenvalue of a matrix is equal to the real part of an eigenvalue of , we have the second inequality.
(ii) By Lemma 5,

It leads to

Let . Inequality (24) implies

where the truth of the last inequality is attained from the following.
Set and ; then , where

So , which means

Hence, taking (25) into consideration, we have

Iteration

and the monotonicity

ensure that the limit of the series is equal to , where is positive number satisfying

Therefore, the first inequality holds. In a similar manner we can get the second inequality.

There is also another possible region including roots with nonnegative real parts which is illustrated in the following theorem.

Theorem 10. Let . If is a characteristic root of (12) with nonnegative real part, then the inequality

holds.

Proof. By the assumption above, there exists an integer such that

This implies the inequality

It is obvious that

Therefore, due to Lemma 4, we have the conclusion.

In fact the region is a circle centered at the origin (see Scheme 3).

Scheme 3

4. Boundary Criteria for DDAEs

Let

By virtue of Lemma 8, if , system (8) is asymptotically stable. If , system (8) may be stable or unstable. We consider the stability of (8) when .

Let and . We define the following quantities according to the sign of (see Theorem 9).

(i) If , then we put

(ii) If , then we put

where is a root of the equation

Under the above notations we turn our attention to the following three kinds of bounded regions in the -plane.

Definition 11. Let , , , and denote the segments , , , and , respectively. Furthermore, and let be the rectangular region surrounded by .

Definition 12. Let . Let denote the circular region with radius centered at the origin of the plane of :

Definition 13. Let represent the intersection . The boundary of is denoted by and .

A necessary and sufficient condition for the delay-independent stability of system (8) is presented in [6]. The following two theorems give criteria for the delay-dependent stability of system (8). We apply Theorems 1 and 2 to prove them, respectively.

Theorem 14. If for any , the real part in (12) does not vanish, then system (8) is asymptotically stable.

Proof. Assume that the condition is satisfied and that system (8) is unstable, this means the existence of a characteristic root of (12) with nonnegative real part. According to Lemma 8, it suffices to prove for . Applying Theorems 9 and 10 and Definition 13, it is sufficient to consider . From the assumption of this theorem and statement of Theorem 9, this contradicts with for . Hence, for and the proof is completed.

Due to Theorem 2, we can further extend the above result as follows.

Theorem 15. Assume that, for any , there exists a real constant satisfying

Then system (8) is asymptotically stable.

The proof is analogous to Theorem 14. Two kinds of region considered in Definition 13 and Theorems 14 and 15 are as in Scheme 4.

Scheme 4

5. Conclusions

We give two criteria for the delay-dependent stability of linear delay system (8). Theorems 9 and 10 show that the unstable characteristic roots of system (8) are located in some specified bounded region in the complex plane, while Theorems 14 and 15 show that it is sufficient to check certain conditions on its boundary to exclude the possibility of such roots from the region. Theorems 1 and 2 provide general and simple criteria for nonexistence of zeros of an analytic function in any boundary region.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The research is supported by Shanghai Natural Science Foundation (Grant no. 15ZR1431200).

References

G.-D. Hu and G.-D. Hu, “Stability of discrete-delay systems: boundary criteria,” Applied Mathematics and Computation, vol. 80, no. 2-3, pp. 95–104, 1996.

C. A. Desoer and M. Vidyasagar, Feedback Systems: Input-Output Properties, Academic Press, New York, NY, USA, 1997.

G. H. Golub and C. F. van Loan, Matrix Computations, Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, Md, USA, 3rd edition, 1996.

W. Zhu and L. R. Petzold, “Asymptotic stability of linear delay differential-algebraic equations and numerical methods,” Applied Numerical Mathematics, vol. 24, no. 2-3, pp. 247–264, 1997.

J. X. Kuang and H. J. Tian, “The asymptotic behaviour of theoretical and numerical solutions for the differential equations with several delay terms,” Journal of Shanghai Teachers University (Natural Sciences), vol. 23, pp. 1–9, 1994.

Q. Lin and J. X. Kuang, “On the LD-stability of the nonlinear systems in MDBMs,” Joural of Shanghai Teachers University (Natural Sciences), vol. 25, no. 4, 1996.