Abstract
This paper presents new results of stability analysis for a linear system with two delays. We attempt to determine the asymptotic stability regions of the system in a parameter space by using D-partition method. Moreover, some stability and instability conditions in terms of coefficient inequalities have been obtained for the system.
Similar content being viewed by others
1 Introduction
While modeling by using ordinary differential equations, the delay in the system is always ignored. However, even a small amount of delay may cause large changes in the system solution. Therefore, the use of delay differential equations is more realistic when any encountered problems are modeled.
For a long time, many problems in the fields of engineering [1–4], biology [5–8], chemistry [9], physics [10, 11], economy [12], psychology [13, 14], etc. have been modeled by delay differential equations.
In this paper, we consider the problem of stability of zero stationary solution of the following system:
where the coefficients \(\alpha_{1}\), \(\alpha_{2}\), \(\beta_{1}\), \(\beta_{2}\), \(\theta_{1}\), and \(\theta_{2}\) are real and \(r_{1}\), \(r_{2}\) are positive real delays. To shorten the notation, we will write stability/instability of the system instead of stability/instability of zero solution of the system. Some similar systems were investigated by many researchers, see, for example, the work by Nussbaum [15]. Another interesting study of a similar system was conducted by Ruan and Wei [16]. Hale and Huang [17] gave a very thorough characterization of the boundary of the stability region in the delay parameter space. Gu et al. [18] provided a detailed study on the stability crossing curves for more general systems. Mohammad and Mohammad [19] presented a novel method to study the stability map of linear fractional order systems with multiple delays. Josef and Zdeněk [20] utilized the method of complexification and the method of Lyapunov–Krasovskii functional to study asymptotic behavior of a differential system with a finite number of non-constant delays. Additionally, the existence of positive periodic solutions for a fourth-order nonlinear neutral differential equation with variable delay was studied by Ardjouni et al. [21]. Grace [22] established the results for oscillation of a third-order nonlinear delay differential equation. Öztürk and Akın [23] investigated nonoscillatory solutions of two-dimensional systems of first-order delay dynamic equations.
We attempt to determine the stability regions of the system in a parameter space by using D-partition method [24] which is explained in Sect. 2.
2 D-partition method
The method originated from paper [24]. This method consists in obtaining a “partition” of the parameter space in several regions, so that each region is bounded by a hyper surface which corresponds to the case when at least one root lies on the imaginary axis. Furthermore, for all the parameters lying in a given region, the corresponding characteristic equation has the same number of roots with positive real parts [25]. Following theorems and definitions and more details on them can be found in references [26–28] and [29].
In order to analyze the stability of the system, the characteristic equation of the system is obtained. The characteristic roots \(\lambda_{j}\), \(j = 1,2, \ldots \) , of equations (1)–(2) are obtained by solving the characteristic equation
where \(\lambda_{j}\) is a complex number. If the characteristic roots have negative real parts, i.e., \(\operatorname{Re} (\lambda_{j}) < 0\) for all \(j =1,2,\ldots\) , then the solution of the system is asymptotically stable; and if at least one of the characteristic roots has positive real parts, i.e., \(\operatorname{Re} (\lambda_{j}) > 0\) for some \(j =1,2,\ldots\) , then the solution of the system is unstable.
The characteristic equation above is a special case of the general characteristic equation
where g depends linearly on \(k_{1}\) and \(k_{2}\) which could be any two of the parameters \(\alpha_{1}\), \(\alpha_{2}\), \(\beta_{1}\), \(\beta_{2}\), \(\theta_{1}\), \(\theta_{2}\).
The roots \(\lambda= ib\) are called critical roots of the characteristic equation since stability regions of the system are determined by the analysis of the system at critical roots.
Substitute a pure imaginary number \(\lambda= ib\) in (3) of a system linearly depending on two parameters \(k_{1}\) and \(k_{2}\). Equating the real and imaginary parts to zero, we have
where \(P_{1}\), \(P_{2}\), \(R_{1}\), \(R_{2}\), \(Q_{1}\), and \(Q_{2}\) are differentiable functions. Note that, for some values of b, the function \(g(\lambda,k_{1},k_{2})\) becomes a real-valued function. Then, for these values of b, the solutions of characteristic equation \(g(ib,k_{1},k_{2})\)=0 are called singular solutions.
It is well known that the solution of system (4)–(5) exists under the assumption \(P_{1}(b)Q_{2}(b) - P_{2}(b)Q_{2}(b) \ne0\).
Definition 1
The parametric curves
which are obtained by solving equations (4)–(5) and singular solutions, are called D-curves [29].
Theorem 1
The D-curves divide the complex plane up into a finite number of regions [29].
Theorem 2
The characteristic equation \(g(\lambda)\) has a root on the imaginary axis if and only if \((k_{1},k_{2})\) is on the D-curves [29].
Theorem 3
In each region, determined by the D-curves in the \((k_{1},k_{2})\) plane, \(g(\lambda)\) has the same number of roots with positive real parts [29].
For every region \(u_{k}\) of the D-partition, bounded by D-curves, it is possible to assign a number k which is the number of roots with positive real parts of the characteristic equation defined by the points of this region. Among the regions of this decomposition are also found regions \(u_{0}\) (if they exist) on which the characteristic equation does not have any root with positive real part. On these regions, the solutions are asymptotically stable. The determination of these numbers for the individual domains is not an easy task. One technique is analysis of sign of partial derivative along the D-curves. Alternatively, without calculating partial derivatives, the following Stepan’s formulas [30] can also be used to determine the number of roots with positive real parts.
Theorem 4
Assume that the characteristic equation \(g(\lambda)\) of the n dimensional system has no zeros on the imaginary axis. If n is even, i.e., \(n = 2m\) with m being an integer, then the number of unstable exponents is
where \(\rho_{1} \geq\cdots\geq\rho_{r} > 0\) are the positive real zeros of \(U(b)\). If the n is odd, i.e., \(n = 2m + 1\) with m being an integer, then the number of unstable exponents is
where \(\sigma_{1} \geq\cdots\geq\sigma_{s} = 0\) are the nonnegative real zeros of \(V(b)\) [30].
Since the delay terms have a direct effect on the solution of the characteristic equation, the delay differential equations with the same coefficients but different delay terms \(r_{1},r_{2}, \ldots,r_{n}\) may have different stability regions.
The following definitions are given for the delay differential equations with delay terms \(r_{1},r_{2}, \ldots,r_{n}\).
Definition 2
The system the stability of which depends on the delay terms is called delay-dependent stable system.
Let the delay-dependent stable region be defined as follows:
where \(r_{1},r_{2}, \ldots,r_{n}\) denote the values of the delays of the delay differential equation.
Definition 3
The system for which the stability is preserved for every value of delay terms is called delay independent stable.
Let the delay independent stable region be defined in the following form:
where \(r_{i}\), \(i = 1,2, \ldots,n\), denote the values of the delays of the equation.
Methodology
The method evolves as follows:
-
(i)
Find a parametric equation of D-curves of the system.
-
(ii)
Construct the graph of the D-curves. (In this paper, D-curves are obtained by means of MATLAB.)
-
(iii)
Select specific points in the regions whose boundaries are the D-curves.
-
(iv)
Determine the number of roots with positive real parts for the specific points by using Theorem 4 and generalize them to the relevant regions.
-
(v)
Denote the region, on which the number of roots with positive real parts is k for a chosen specific point, by \(u_{k}\).
3 Stability regions and main results
In this section, system (1)–(2) is studied for two different cases in two different spaces. One of these cases is \(r_{1} = r_{2} = r\) for which the characteristic equation becomes much simpler. In other case, \(r_{1} \ne r_{2}\) state, which constitutes the main part of our analysis.
3.1 \((\alpha_{1} - \alpha_{2})\) parameter space
In this subsection, we determine the conditions under which the system is unstable. Moreover, the regions on which the characteristic equation has roots with the same number of positive real parts are shown for fixed delay values.
In order to find the stability region of system (1)–(2) in the parameter space, the D-partition method is applied. If the characteristic equation
corresponding to system (1)–(2), has a zero root, then we have
This straight line is one of the lines forming the boundary of the D-partition. Substituting \(\lambda= ib\) in characteristic equation (8) and equating the real and imaginary parts to zero, we have
From equations (10)–(11), D-curves are obtained as follows:
as b tends to 0, we obtain the cusp point
As the next step, these results are illustrated for various values of parameters. The curves (12)–(13) and the straight line (9) form the D-partition shown in Fig. 1 for \(\beta_{1} = 1.4\), \(\beta_{2} = 0.4\), \(\theta_{1} = 1.25\), \(\theta_{2} = 1\), \(r_{1} = 1\) and \(r_{2} = 0.25, 0.5, 1, 1.5, 1.8\).
Lemma 1
If \(0 \le2A \le\frac{1}{r\mu} \), then \(x^{2} + 2Ax\sin (xr) \ge0\) for \(\forall x \in IR\), where r is a positive real number and \(\mu= \sup(\frac{ - \sin x}{x}) \approx0.218\).
Proof
Since \(f(x) = x^{2} + 2Ax\sin(xr)\) is an even function, it is sufficient to show only for \(\forall x \ge0\). When \(\sin(xr) \ge0\), we obtain
On the other hand, when \(\sin(xr) < 0\), we obtain the following inequality:
Suppose that \(x^{2} + \frac{1}{r\mu} x\sin(xr) < 0\) for \(\forall x \in IR^{ +} \) when \(\sin(xr) < 0\). By taking \(x = \frac{y}{r}\) on the left-hand side of inequality (14), we have
which contradicts the definition of μ.
Consequently, the desired inequality
is obtained. □
Lemma 2
Let μ be defined as in Lemma 1. If \(r_{1} = r_{2} = r\), \(\beta_{2}\theta_{1} = \theta_{2}\beta_{1}\), \(\vert \theta_{1} \vert < \beta_{1}\), and \(0 \le2\theta_{2} \le\frac{1}{r\mu} \), then \(\alpha_{2}(b) \le0\) for \(\forall b \in IR\).
Proof
Under the conditions of the theorem, for \(\forall b \in IR - \{ 0\}\), equality (13) can be rewritten as follows:
(i) If \(\vert \theta_{1} \vert < \beta_{1}\) for \(\forall b \in IR\), then inequality \(\theta_{1}\cos(br) + \beta_{1} > 0\) holds.
(ii) If \(\theta_{2}\beta_{2} \ge0\), then
holds and if \(\theta_{2}\beta_{2} < 0\), then
holds. As a result, \(\theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) > 0\) holds for \(\forall b \in IR\).
(iii) If \(0 \le\theta_{2} \le\frac{1}{r\mu} \), then it follows from Lemma 1 that \(b^{2} + 2\theta_{2}b\sin(br) \ge0\) holds for \(\forall b \in IR\).
It follows from (i), (ii), and (iii) that \(\alpha_{2}(b) \le 0\) for all \(\forall b \in\Re- \{ 0\}\). Moreover, we have
which is negative when \(\vert \theta_{1} \vert < \beta_{1}\). □
Lemma 3
If \(r_{1} = r_{2} = r\), \(\beta_{2}\theta_{1} = \theta_{2}\beta_{1}\), \(\vert \theta_{1} \vert < \beta_{1}\), and \(2 \vert \theta_{2} \vert \le \vert \beta_{2} \vert \), then \(\alpha_{2}(b) \le 0\) for \(\forall b \in IR\).
Proof
It follows from the proof of Lemma 2 that the denominator of equality (15) is positive. Now let us investigate the following cases for the numerator of equality (15). Since the numerator of equality (15) is an even function of b, it is sufficient to show for \(\forall b \ge0\).
(i) If \(0 \le2\theta_{2} \le\beta_{2}\), then
holds.
(ii) If \(0 \le2\theta_{2} \le- \beta_{2}\), then
holds.
(iii) If \(0 \le- 2\theta_{2} \le\beta_{2}\), then
holds.
(iv) If \(\beta_{2} \le2\theta_{2} \le0\), then
holds. □
Theorem 5
We suppose that the conditions of Lemma 2 or Lemma 3 hold and if
are satisfied, then the characteristic equation of system (1)–(2) has only one root with positive real part.
Proof
It follows from Lemma 2 or Lemma 3 that D-curves of system (1)–(2) are located outside of the region which is determined by inequality system (16) in \((\alpha_{1} - \alpha_{2})\) parameter space. Suppose that there were two points within the region (16) with different numbers of roots with positive real parts. Then along any arc within that region connecting the points there must be a point where some of the roots of the characteristic equation lie on the imaginary axis. This point must lie on the D-curves, giving a contradiction. As a result, the number of roots of the characteristic equation with positive real parts does not change in the region (16). In other words, if the system is unstable for specific values of the parameters which satisfy the conditions of the theorem, the instability of the system has been shown. Using Stepan’s formula (6) with \(\beta_{1} = \beta_{2} = 1.2\), \(\theta_{1} = \theta_{2} = 1\), \(r_{1} = r_{2} = 1\), \(\alpha_{1} = 0.1\), \(\alpha_{2} = 1\) values, it is obtained that the characteristic equation of the system has one root with a positive real part. □
Theorem 6
We suppose that the conditions of Lemma 2 or Lemma 3 hold and if
are satisfied, then the characteristic equation of system (1)–(2) has two roots with positive real parts.
Proof
The proof follows the lines of the proof of Theorem 5. □
It follows from Theorems 5 and 6 that since the region on which \(\alpha_{2} > 0\) has no curves but straight line (9), the stability of the system does not change. Moreover, the straight line (9) splits this region into two subregions on which the characteristic equation of the system has either one or two roots with positive real parts. As a result, the system is unstable under the assumption of Theorems 5 and 6.
3.2 \((\beta_{1} - \beta_{2})\) parameter space
From equation (10)–(11), D-curves are obtained in \((\beta_{1} - \beta_{2})\) parameter space as follows:
as b tends to 0, we obtain the cusp point
The curves (18)–(19) and the straight line (9) that form the D-partition are shown in Fig. 2 for \(\alpha_{1} = 0.2\), \(\alpha_{2} = 0.2\), \(\theta_{1} = 1.25\), \(\theta_{2} = 1\), \(r_{1} = 1\), \(r_{2} = 0.25, 0.5, 1, 1.5, 2\) and for \(r_{1} = 0.25, 1, 1.5, 2, 3\), \(r_{2} = 1\).
Proposition 1
There exist real numbers m and M such that \(m < \beta_{2}(b) < M\) for \(\forall b \in IR\).
Proof
Let \(\mu= \sup(\frac{ - \sin x}{x})\). If m and M are defined as follows:
Then it is clearly obtained that \(m < \beta_{2}(b) < M\) for \(\forall b \in IR\). □
Theorem 7
If \(\frac{\alpha_{2}\theta_{1} - \alpha_{1}\theta _{2} + \alpha_{2}\beta_{1}}{\alpha_{1}} < \beta_{2} < m\) is satisfied, then system (1)–(2) is stable.
Proof
From equation (9) and Proposition 1, the region which is determined by \(\frac{\alpha_{2}\theta_{1} - \alpha_{1}\theta_{2} + \alpha_{2}\beta_{1}}{\alpha_{1}} < \beta_{2} < m\) does not include D-curves in (\(\beta_{1} - \beta_{2}\)) parameter space.
In order to prove that on each region the characteristic equation of the system has the same number of roots with positive real parts, let us suppose that in a region there were two points for which the numbers of roots with positive real parts are different. Then along any arc within that region connecting these points there must be a point where some of the roots of the characteristic equation lie on the imaginary axis. This point must lie on the D-curves, giving a contradiction. As a result, the number of roots of the characteristic equation with positive real part does not change in the region. Thus, it is sufficient to show that it is stable for specific values which satisfy the condition of the theorem. Using Stepan’s formula (6) with \(\alpha_{1} = 0.2\), \(\alpha_{2} = 0.2\), \(\beta_{1} = - 5\), \(\beta_{2} = - 2\), \(\theta_{1} = 1.25\), \(\theta_{2} = 1\), \(r_{1} = 1\), \(r_{2} = 2\), it is shown that the characteristic equation of the system has no root with apositive real part, which implies the stability of the system (1)–(2). □
Theorem 8
Suppose that one of the following conditions holds:
then system (1)–(2) is unstable.
Proof
The proof is similar to the proof of Theorem 7. Figure 2 can be used to find the specific values that satisfy the conditions. □
Proposition 2
Let \(\mu= \sup(\frac{ - \sin x}{x})\). If \(0 \le \theta_{2} \le\frac{1}{r_{2}\mu} \) and \(\alpha_{2} > 0\), then there exists a real number N such that \(\beta_{1}(b) < N\) for \(\forall b \in IR\).
Proof
It follows from Lemma 1 and equation (18) that
holds for \(\forall b \in IR\). If N is defined as follows:
then it is obtained that \(\beta_{1}(b) < N\) for \(\forall b \in IR\). □
Theorem 9
System (1)–(2) is unstable if \(N < \beta_{1}\) holds.
Proof
The proof is similar to the proof of Theorem 7. Figure 2 can be used to find the specific values that satisfy the conditions. □
4 Conclusion
It shown that the delay plays an important role on the stability of the system for both cases. The stability region gets either expanded or contracted in one direction as the delay increases. Having examined the stability locally, we found that a certain range of delays gain stability. However, this is not a common result for all values of coefficients of the system. In Fig. 2, increasing delay \(r_{1}\) does not change stability considerably.
In Theorems 5–9, new conditions in terms of coefficients are obtained for stability and instability of the system. These conditions are derived by exploiting D-partition method.
In the future work, we will develop the conditions of theorems as figures imply.
References
Gorecki, H.: Analysis and Synthesis of Controlled Systems with Delay. Mashinostroenie, Moscow (1974)
Pletnev, G.P.: Automatic Control and Protection of Heatenergetic Designs of Electric Stations. Energia, Moscow (1970)
Draljuk, B.N., Sinaiskii, G.V.: Systems of Control for Plants with Transport Delays. Energia, Moscow (1969)
Sheridan, T.B., Ferrell, W.R.: Man–Machine Systems: Information, Control and Decision Models of Human Performance. MIT Press, Cambridge (1974)
Bailey, H.R., Reeve, E.B.: Mathematical models describing the distribution of I-131-albumin in man. J. Lab. Clin. Med. 60, 923–943 (1962)
Belykh, L.N., Marchuk, G.I.: Chronic forms of a disease and their treatment according to mathematical immune response models. In: Modelling and Optimization of Complex System. Lecture Notes in Control and Information Sci., vol. 18, pp. 79–86 (1979)
Cooke, K.L., Yorke, J.A.: Equations modelling population growth, economic growth and gonorrhea epidemiology. In: Ordinary Differential Equations, pp. 35–55. Academic Press, New York (1972)
Ghergu, M., Radulescu, V.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)
Shigin, E.K.: Classification of dynamical models of control objects of chemical technological processes. Autom. Remote Control 6, 145–162 (1968)
Gorelik, G.: To the theory of feedback with delay. J. Tech. Phys. 9(5), 450–454 (1939)
Azjan, J.M., Migulin, V.V.: About auto-oscillation in systems with delayed feedback. Radiotek. Elektron. 1(4), 418–430 (1956)
Kobrinskii, N.E., Kus’min, V.I.: Accuracy of Economic-Mathematical Models. Finansy and Statistica, Moscow (1981)
Bielczyk, N., Bodnar, M., Forys, U.: Delay can stabilize: love affairs dynamics. Appl. Math. Comput. 219, 3923–3937 (2012)
Bielczyk, N., Forys, U., Platkowski, T.: Dynamical models of dyadic interactions with delay. J. Math. Sociol. 37, 223–249 (2013)
Nussbaum, R.: Differential delay equations with two time lags. Mem. Am. Math. Soc. 16, 205 (1978)
Ruan, S., Wei, J.: On the zeros of transcendental functions with applications to stability of delay differential equations with two delays. Dyn. Contin. Discrete Impuls. Syst. 10, 863–874 (2003)
Hale, J.K., Huang, W.: Global geometry of the stable regions for two delay differential equations. J. Math. Anal. Appl. 178, 344–362 (1993)
Gu, K., Niculescu, S.I., Chen, J.: On stability crossing curves for general systems with two delays. J. Math. Anal. Appl. 311, 231–253 (2005)
Mohammad, A.P., Mohammad, A.N.: Stability map of multiple time delayed fractional order systems. Int. J. Control. Autom. Syst. 12, 37–43 (2014)
Josef, R., Zdeněk, Š.: Stability of a functional differential system with a finite number of delays. Abstr. Appl. Anal. 2013, Article ID 853134 (2013)
Ardjouni, A., Rezaiguia, A., Djoudi, A.: Existence of positive periodic solutions for fourth-order nonlinear neutral differential equations with variable delay. Adv. Nonlinear Anal. 3(3), 157–163 (2014)
Grace, S.: Oscillation criteria for third order nonlinear delay differential equations with damping. Opusc. Math. 35(4), 485–497 (2015)
Öztürk, O., Akın, E.: On nonoscillatory solutions of two dimensional nonlinear delay dynamical systems. Opusc. Math. 36(5), 651–669 (2016)
Neimark, J.I.: D-subdivision and spaces of quasi-polynomials. Prikl. Mat. Meh. 13, 349–380 (1949) (in Russian)
Niculescu, S.I., Verriest, E.I., Dugard, L., Dion, J.M.: Stability and robust stability of time-delay systems: a guided tour. In: Stability and Control of Time-Delay Systems. Lecture Notes in Control and Information Sciences, pp. 2–71. Springer, New York (1998)
Elsgolts, L.E., Norkin, S.B.: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Academic Press, London (1973)
Insperger, T., Stépán, G.: Semi-Discretization Stability and Engineering Applications for Time-Delay Systems. Springer, New York (2011)
Kolmanovskii, V.B., Nosov, V.R.: Stability of Functional Differential Equations. Academic Press, London (1986)
Krall, A.M.: Stability Techniques for Continuous Linear Systems. Gordon & Breach, New York (1967)
Stepan, G.: Retarded Dynamical Systems. Longman, Harlow (1989)
Acknowledgements
The authors are grateful to the reviewer for valuable comments that improved the manuscript.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read, checked, and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Erman, S., Sevindir, H.K. & Demir, A. The stability analysis of a system with two delays. Bound Value Probl 2018, 106 (2018). https://doi.org/10.1186/s13661-018-1024-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1024-9