Skip to content

Advertisement

Boundary Value Problems
Boundary Value Problems Cover Image
  • Research
  • Open Access

The stability analysis of a system with two delays

Boundary Value Problems20182018:106

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

©  The Author(s) 2018

  • Received: 15 December 2017
  • Accepted: 19 June 2018
  • Published:

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.

Keywords

  • Stability analysis
  • Delay differential equations
  • Multiple delays

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.

Declarations

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.

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.

Competing interests

The authors declare that they have no competing interests.

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.

Authors’ Affiliations

(1)
Department of Management Information Systems, Istanbul Medipol University, Istanbul, Turkey
(2)
Department of Mathematics, Kocaeli University, Izmit, Turkey

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) View ArticleGoogle 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) View ArticleGoogle Scholar
  8. Ghergu, M., Radulescu, V.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012) MATHGoogle 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) MathSciNetMATHGoogle Scholar
  14. Bielczyk, N., Forys, U., Platkowski, T.: Dynamical models of dyadic interactions with delay. J. Math. Sociol. 37, 223–249 (2013) MathSciNetView ArticleMATHGoogle Scholar
  15. Nussbaum, R.: Differential delay equations with two time lags. Mem. Am. Math. Soc. 16, 205 (1978) MathSciNetMATHGoogle 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) MathSciNetMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) View ArticleGoogle 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) MathSciNetGoogle 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) MathSciNetMATHGoogle Scholar
  22. Grace, S.: Oscillation criteria for third order nonlinear delay differential equations with damping. Opusc. Math. 35(4), 485–497 (2015) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) View ArticleMATHGoogle 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) MATHGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement