Skip to main content

The stability analysis of a system with two delays

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.

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:

$$\begin{aligned}& x'(t) = \alpha_{1}x(t) + \beta_{1}y(t) + \theta_{1}y(t - r_{1}), \end{aligned}$$
(1)
$$\begin{aligned}& y'(t) = \alpha_{2}x(t) + \beta_{2}y(t) + \theta_{2}y(t - r_{2}), \end{aligned}$$
(2)

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

$$g(\lambda) = \lambda^{2} - (\alpha_{1} + \beta_{2})\lambda+ (\alpha _{1} - \lambda) \theta_{2}e^{ - \lambda r_{2}} - \alpha_{2}\theta_{1}e^{ - \lambda r_{1}} + \alpha_{1}\beta_{2} - \alpha_{2} \beta_{1} = 0, $$

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

$$ g(\lambda,k_{1},k_{2})=0, $$
(3)

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

$$\begin{aligned}& U(b,k_{1},k_{2}): = \operatorname{Re} g(ib,k_{1},k_{2}) = k_{1}P_{1}(b) + k_{2}Q_{1}(b) + R_{1}(b) = 0, \end{aligned}$$
(4)
$$\begin{aligned}& V(b,k_{1},k_{2}): = \operatorname{Im} g(ib,k_{1},k_{2}) = k_{1}P_{2}(b) + k_{2}Q_{2}(b) + R_{2}(b) = 0, \end{aligned}$$
(5)

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

$$k_{1} = k_{1}(b), \qquad k_{2} = k_{2}(b) , $$

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

$$ N = m + ( - 1)^{m}\sum_{k = 1}^{r} ( - 1)^{k + 1} \operatorname{sgn} V(\rho_{k}), $$
(6)

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

$$ N = m + \frac{1}{2} + ( - 1)^{m}\Biggl[\frac{1}{2}( - 1)^{s}\operatorname{sgn} U(0) + \sum_{k = 1}^{s - 1} ( - 1)^{k} \operatorname{sgn} U(\sigma_{k}) \Biggr], $$
(7)

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:

$$S_{r} = \bigl\{ (k_{1},k_{2})\mid \text{the system is asymptotically stable for } r = (r_{1},r_{2}, \ldots,r_{n})\bigr\} , $$

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:

$$S_{\infty} = \bigl\{ (k_{1},k_{2})\mid \text{the system is asymptotically stable for } \forall r_{i} \in IR^{ +} \bigr\} , $$

where \(r_{i}\), \(i = 1,2, \ldots,n\), denote the values of the delays of the equation.

Methodology

The method evolves as follows:

  1. (i)

    Find a parametric equation of D-curves of the system.

  2. (ii)

    Construct the graph of the D-curves. (In this paper, D-curves are obtained by means of MATLAB.)

  3. (iii)

    Select specific points in the regions whose boundaries are the D-curves.

  4. (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.

  5. (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

$$ g(\lambda) = \lambda^{2} - (\alpha_{1} + \beta_{2})\lambda+ (\alpha _{1} - \lambda) \theta_{2}e^{ - \lambda r_{2}} - \alpha_{2}\theta_{1}e^{ - \lambda r_{1}} + \alpha_{1}\beta_{2} - \alpha_{2} \beta_{1} = 0, $$
(8)

corresponding to system (1)ā€“(2), has a zero root, then we have

$$ (\theta_{2} + \beta_{2})\alpha_{1} = ( \theta_{1} + \beta_{1})\alpha_{2}. $$
(9)

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

$$\begin{aligned}& U = - b^{2} - \theta_{2}b\sin(br_{2}) + \alpha_{1}\theta_{2}\cos(br_{2}) - \alpha_{2}\theta_{1}\cos(br_{1}) + \alpha_{1}\beta_{2} - \alpha_{2} \beta_{1} = 0, \end{aligned}$$
(10)
$$\begin{aligned}& V = - \alpha_{1}b - \beta_{2}b - \theta_{2}b \cos(br_{2}) - \alpha_{1}\theta_{2} \sin(br_{2}) + \alpha_{2}\theta_{1} \sin(br_{1}) = 0. \end{aligned}$$
(11)

From equations (10)ā€“(11), D-curves are obtained as follows:

$$\begin{aligned}& \alpha_{1}(b) = \frac{\theta_{1}\theta_{2}b\cos(b(r_{1} - r_{2})) + \theta_{1} b^{2}\sin(br_{1}) + \theta_{1}\beta_{2}b\cos(br_{1}) + \theta_{2}\beta_{1}b\cos(br_{2}) + \beta_{1}\beta_{2}b}{\theta_{1}\theta_{2}\sin(b(r_{1} - r_{2})) + \theta_{1} \beta_{2}\sin(br_{1}) - \theta_{2}\beta_{1}\sin(br_{2}) - \theta_{1}b\cos(br_{1}) - \beta_{1}b}, \end{aligned}$$
(12)
$$\begin{aligned}& \alpha_{2}(b) = \frac{b^{3} + (\theta_{2}^{2} + \beta_{2}^{2})b + 2\theta_{2}\beta_{2}b\cos(br_{2}) + 2\theta_{2}b^{2}\sin (br_{2})}{\theta_{1}\theta_{2}\sin(b(r_{1} - r_{2})) + \theta_{1} \beta_{2}\sin(br_{1}) - \theta_{2}\beta_{1}\sin(br_{2}) - \theta _{1}b\cos (br_{1}) - \beta_{1}b} \end{aligned}$$
(13)

as b tends to 0, we obtain the cusp point

$$\begin{aligned}& p_{1}: = \lim_{b \to0}\alpha_{1}(b) = - \frac{(\theta_{1} + \beta_{1})(\theta_{2} + \beta_{2})}{\theta_{1} + \beta_{1} - \theta_{1}r_{1}(\theta_{2} + \beta_{2}) + \theta_{2}r_{2}(\theta_{1} + \beta_{1})}, \\& p_{2}: = \lim_{b \to0}\alpha_{2}(b) = - \frac{(\theta_{2} + \beta_{2})^{2}}{\theta_{1} + \beta_{1} - \theta_{1}r_{1}(\theta_{2} + \beta_{2}) + \theta_{2}r_{2}(\theta_{1} + \beta_{1})}. \end{aligned}$$

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\).

FigureĀ 1
figure 1

The D-curves and stability region of system (1)ā€“(2) 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

$$x^{2} + 2Ax\sin(xr) \ge x^{2} \ge0. $$

On the other hand, when \(\sin(xr) < 0\), we obtain the following inequality:

$$ x^{2} + 2Ax\sin(xr) \ge x^{2} + \frac{1}{r\mu} x\sin(xr). $$
(14)

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

$$\mu< - \frac{\sin(y)}{y}, $$

which contradicts the definition of Ī¼.

Consequently, the desired inequality

$$x^{2} + 2Ax\sin(xr) \ge0\quad\mbox{for } \forall x \ge0 $$

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:

$$ \alpha_{2}(b) = - \frac{b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) + 2\theta_{2}b\sin(br)}{\theta_{1}\cos(br) + \beta_{1}}. $$
(15)

(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

$$\theta_{2}^{2} + \beta_{2}^{2} + 2 \theta_{2}\beta_{2}\cos(br) \ge \theta_{2}^{2} + \beta_{2}^{2} - 2\theta_{2}\beta_{2} = (\theta_{2} - \beta_{2})^{2} \ge0 $$

holds and if \(\theta_{2}\beta_{2} < 0\), then

$$\theta_{2}^{2} + \beta_{2}^{2} + 2 \theta_{2}\beta_{2}\cos(br) > \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2} = (\theta_{2} + \beta_{2})^{2} > 0 $$

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

$$\lim_{b \to0}\alpha_{2}(b) = - \frac{(\theta_{2} + \beta_{2})^{2}}{\theta_{1} + \beta_{1}}, $$

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

$$\begin{aligned} \begin{aligned} b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) + 2\theta_{2}b \sin(br) &\ge b^{2} + \theta_{2}^{2} + \beta_{2}^{2} - 2\theta_{2}\beta_{2} - 2 \theta_{2}b \\ &= (b + \theta)^{2} + \beta_{2}^{2} - 2 \theta_{2}\beta_{2} \ge0 \end{aligned} \end{aligned}$$

holds.

(ii) If \(0 \le2\theta_{2} \le- \beta_{2}\), then

$$\begin{aligned} b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) + 2\theta_{2}b \sin(br) \ge& b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2} - 2 \theta_{2}b \\ =& (b - \theta)^{2} + \beta_{2}^{2} + 2 \theta_{2}\beta_{2} \ge0 \end{aligned}$$

holds.

(iii) If \(0 \le- 2\theta_{2} \le\beta_{2}\), then

$$\begin{aligned} b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) + 2\theta_{2}b \sin(br) \ge& b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2} + 2 \theta_{2}b \\ =& (b + \theta)^{2} + \beta_{2}^{2} + 2 \theta_{2}\beta_{2} \ge0 \end{aligned}$$

holds.

(iv) If \(\beta_{2} \le2\theta_{2} \le0\), then

$$\begin{aligned} b^{2} + \theta_{2}^{2} + \beta_{2}^{2} + 2\theta_{2}\beta_{2}\cos(br) + 2\theta_{2}b \sin(br) \ge& b^{2} + \theta_{2}^{2} + \beta_{2}^{2} - 2\theta_{2}\beta_{2} + 2 \theta_{2}b \\ =& (b + \theta)^{2} + \beta_{2}^{2} - 2 \theta_{2}\beta_{2} \ge0 \end{aligned}$$

holds.ā€ƒā–”

Theorem 5

We suppose that the conditions of LemmaĀ 2 or LemmaĀ 3 hold and if

$$ \left . \textstyle\begin{array}{l} (\theta_{2} + \beta_{2})\alpha_{1} < (\theta_{1} + \beta_{1})\alpha_{2}, \\ \alpha_{2} > 0 \end{array}\displaystyle \right \} $$
(16)

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

$$ \left . \textstyle\begin{array}{l} (\theta_{2} + \beta_{2})\alpha_{1} > (\theta_{1} + \beta_{1})\alpha_{2}, \\ \alpha_{2} > 0 \end{array}\displaystyle \right \} $$
(17)

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:

$$\begin{aligned}& \beta_{1}(b) = - \frac{b^{3} + \theta_{2} b^{2}\sin(br_{2}) + \alpha_{2}\theta_{1}(b\cos(br_{1}) - \alpha_{1}\sin(br_{1})) + \alpha_{1}^{2}(b + \theta_{2}\sin(br_{2}))}{b\alpha_{2}}, \end{aligned}$$
(18)
$$\begin{aligned}& \beta_{2}(b) = - \frac{\alpha_{1}b + \theta_{2}b\cos(br_{2}) + \alpha_{1}\theta_{2}\sin(br_{2}) - \alpha_{2}\theta_{1}\sin (br_{1})}{b} \end{aligned}$$
(19)

as b tends to 0, we obtain the cusp point

$$\begin{aligned}& p_{1}: = \lim_{b \to0}\beta_{1}(b) = - \frac{\alpha_{1}^{2}(1 + \theta_{2}r_{2}) + \alpha_{2}\theta_{1}(1 - \alpha_{1}r_{1})}{\alpha_{2}}, \\& p_{2}: = \lim_{b \to0}\beta_{2}(b) = - \alpha_{1}(1 + \theta_{2}r_{2}) - \theta_{2} + \alpha_{2}\theta_{1}r_{1}. \end{aligned}$$

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\).

FigureĀ 2
figure 2

The D-curves and stability region of system (1)ā€“(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:

$$\begin{aligned}& m = \textstyle\begin{cases} - \alpha_{1} - \vert \theta_{2} \vert + \mu\alpha_{1}\theta_{2}r_{2} + \alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} < 0, \alpha_{2}\theta_{1} < 0, \\ - \alpha_{1} - \vert \theta_{2} \vert + \mu\alpha_{1}\theta _{2}r_{2} - \mu\alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} < 0, \alpha_{2}\theta_{1} > 0, \\ - \alpha_{1} - \vert \theta_{2} \vert - \alpha_{1}\theta_{2}r_{2} + \alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} > 0, \alpha_{2}\theta_{1} < 0, \\ - \alpha_{1} - \vert \theta_{2} \vert - \alpha_{1}\theta_{2}r_{2} - \mu \alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} > 0, \alpha_{2}\theta_{1} > 0, \end{cases}\displaystyle \end{aligned}$$
(20)
$$\begin{aligned}& M = \textstyle\begin{cases} - \alpha_{1} + \vert \theta_{2} \vert - \alpha_{1}\theta_{2}r_{2} - \mu\alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} < 0, \alpha_{2}\theta_{1} < 0, \\ - \alpha_{1} + \vert \theta_{2} \vert - \alpha_{1}\theta_{2}r_{2} + \alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} < 0, \alpha_{2}\theta_{1} > 0, \\ - \alpha_{1} + \vert \theta_{2} \vert + \mu\alpha_{1}\theta _{2}r_{2} - \mu\alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} > 0, \alpha_{2}\theta_{1} < 0, \\ - \alpha_{1} + \vert \theta_{2} \vert + \mu\alpha_{1}\theta _{2}r_{2} + \alpha_{2}\theta_{1}r_{1} & \mbox{if } \alpha_{1}\theta_{2} > 0, \alpha_{2}\theta_{1} > 0. \end{cases}\displaystyle \end{aligned}$$
(21)

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:

$$\begin{aligned} (\mathrm{A}1) &\quad M < \beta_{2} < \frac{\alpha_{2}\theta_{1} - \alpha_{1}\theta_{2} + \alpha_{2}\beta_{1}}{\alpha_{1}}; \\ (\mathrm{A}2) &\quad M < \beta_{2}\quad\textit{and}\quad \frac{\alpha_{2}\theta_{1} - \alpha_{1}\theta_{2} + \alpha_{2}\beta_{1}}{\alpha_{1}} < \beta_{2}; \\ (\mathrm{A}3) &\quad \beta_{2} < m\quad\textit{and}\quad \beta_{2} < \frac{\alpha_{2}\theta _{1} - \alpha_{1}\theta_{2} + \alpha_{2}\beta_{1}}{\alpha_{1}}; \end{aligned}$$

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

$$\beta_{1}(b) < - \frac{\alpha_{2}\theta_{1}\cos(br_{1}) + \alpha_{1}^{2}}{\alpha_{2}} - \frac{\alpha_{1}^{2}\theta_{2}\sin (br_{2})}{b\alpha_{2}} + \frac{\theta_{1}\alpha_{1}\sin(br_{1})}{b}, $$

holds for \(\forall b \in IR\). If N is defined as follows:

$$N = \textstyle\begin{cases} \frac{\alpha_{2} \vert \theta_{1} \vert + \alpha_{1}^{2} + \mu\alpha_{1}^{2}\theta_{2}r_{2}}{\alpha_{2}} + \theta_{1}\alpha_{1}r_{1} & \mbox{if }\theta_{1}\alpha_{1} > 0, \\ \frac{\alpha_{2} \vert \theta_{1} \vert + \alpha_{1}^{2} + \mu \alpha_{1}^{2}\theta_{2}r_{2}}{\alpha_{2}} - \mu\theta_{1}\alpha_{1}r_{1} & \mbox{if }\theta_{1}\alpha_{1} < 0, \end{cases} $$

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

  1. Gorecki, H.: Analysis and Synthesis of Controlled Systems with Delay. Mashinostroenie, Moscow (1974)

    Google ScholarĀ 

  2. Pletnev, G.P.: Automatic Control and Protection of Heatenergetic Designs of Electric Stations. Energia, Moscow (1970)

    Google ScholarĀ 

  3. Draljuk, B.N., Sinaiskii, G.V.: Systems of Control for Plants with Transport Delays. Energia, Moscow (1969)

    Google ScholarĀ 

  4. Sheridan, T.B., Ferrell, W.R.: Manā€“Machine Systems: Information, Control and Decision Models of Human Performance. MIT Press, Cambridge (1974)

    Google ScholarĀ 

  5. 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)

    Google ScholarĀ 

  6. 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)

    ChapterĀ  Google ScholarĀ 

  7. 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)

    ChapterĀ  Google ScholarĀ 

  8. Ghergu, M., Radulescu, V.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)

    MATHĀ  Google ScholarĀ 

  9. Shigin, E.K.: Classification of dynamical models of control objects of chemical technological processes. Autom. Remote Control 6, 145ā€“162 (1968)

    Google ScholarĀ 

  10. Gorelik, G.: To the theory of feedback with delay. J. Tech. Phys. 9(5), 450ā€“454 (1939)

    Google ScholarĀ 

  11. Azjan, J.M., Migulin, V.V.: About auto-oscillation in systems with delayed feedback. Radiotek. Elektron. 1(4), 418ā€“430 (1956)

    Google ScholarĀ 

  12. Kobrinskii, N.E., Kusā€™min, V.I.: Accuracy of Economic-Mathematical Models. Finansy and Statistica, Moscow (1981)

    Google ScholarĀ 

  13. Bielczyk, N., Bodnar, M., Forys, U.: Delay can stabilize: love affairs dynamics. Appl. Math. Comput. 219, 3923ā€“3937 (2012)

    MathSciNetĀ  MATHĀ  Google ScholarĀ 

  14. Bielczyk, N., Forys, U., Platkowski, T.: Dynamical models of dyadic interactions with delay. J. Math. Sociol. 37, 223ā€“249 (2013)

    ArticleĀ  MathSciNetĀ  MATHĀ  Google ScholarĀ 

  15. Nussbaum, R.: Differential delay equations with two time lags. Mem. Am. Math. Soc. 16, 205 (1978)

    MathSciNetĀ  MATHĀ  Google ScholarĀ 

  16. 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)

    MathSciNetĀ  MATHĀ  Google ScholarĀ 

  17. Hale, J.K., Huang, W.: Global geometry of the stable regions for two delay differential equations. J. Math. Anal. Appl. 178, 344ā€“362 (1993)

    ArticleĀ  MathSciNetĀ  MATHĀ  Google ScholarĀ 

  18. 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)

    ArticleĀ  MathSciNetĀ  MATHĀ  Google ScholarĀ 

  19. Mohammad, A.P., Mohammad, A.N.: Stability map of multiple time delayed fractional order systems. Int. J. Control. Autom. Syst. 12, 37ā€“43 (2014)

    ArticleĀ  Google ScholarĀ 

  20. Josef, R., Zdeněk, Š.: Stability of a functional differential system with a finite number of delays. Abstr. Appl. Anal. 2013, Article ID 853134 (2013)

    MathSciNetĀ  Google ScholarĀ 

  21. 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)

    MathSciNetĀ  MATHĀ  Google ScholarĀ 

  22. Grace, S.: Oscillation criteria for third order nonlinear delay differential equations with damping. Opusc. Math. 35(4), 485ā€“497 (2015)

    ArticleĀ  MathSciNetĀ  MATHĀ  Google ScholarĀ 

  23. ƖztĆ¼rk, O., Akın, E.: On nonoscillatory solutions of two dimensional nonlinear delay dynamical systems. Opusc. Math. 36(5), 651ā€“669 (2016)

    ArticleĀ  MathSciNetĀ  MATHĀ  Google ScholarĀ 

  24. Neimark, J.I.: D-subdivision and spaces of quasi-polynomials. Prikl. Mat. Meh. 13, 349ā€“380 (1949) (in Russian)

    Google ScholarĀ 

  25. 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)

    Google ScholarĀ 

  26. Elsgolts, L.E., Norkin, S.B.: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Academic Press, London (1973)

    Google ScholarĀ 

  27. Insperger, T., StƩpƔn, G.: Semi-Discretization Stability and Engineering Applications for Time-Delay Systems. Springer, New York (2011)

    BookĀ  MATHĀ  Google ScholarĀ 

  28. Kolmanovskii, V.B., Nosov, V.R.: Stability of Functional Differential Equations. Academic Press, London (1986)

    Google ScholarĀ 

  29. Krall, A.M.: Stability Techniques for Continuous Linear Systems. Gordon & Breach, New York (1967)

    Google ScholarĀ 

  30. Stepan, G.: Retarded Dynamical Systems. Longman, Harlow (1989)

    MATHĀ  Google ScholarĀ 

Download references

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

Authors

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

Correspondence to SertaƧ Erman.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-018-1024-9

Keywords