Skip to main content

Theory and Modern Applications

Oscillation of a nonlinear impulsive differential equation system with piecewise constant argument

Abstract

We deal with a nonlinear impulsive differential equation system with piecewise constant argument. We prove the existence and uniqueness of a solution. Moreover, we obtain sufficient conditions for the oscillation of the solution.

1 Introduction

In this paper, we consider a nonlinear impulsive differential equations system with piecewise constant argument of the form

$$\begin{aligned} &\textstyle\begin{cases} x'(t)=-a(t)x(t)-x([t-1])f(y([t]))+{ h }_{ 1 }(x([t])), \\ y'(t)=-b(t)y(t)-y([t-1])g(x([t]))+{ h }_{ 2 }(y([t])), \end{cases}\displaystyle t\neq n \in\mathbb{Z^{+}}, t>0, \end{aligned}$$
(1)
$$\begin{aligned} & \textstyle\begin{cases} \Delta x(n)=x({ n }^{ + })-x({ n }^{ - })={ c }_{ n }x({ n }), \\ \Delta y(n)=y({ n }^{ + })-y({ n }^{ - })={ d }_{ n }y({ n }), \end{cases}\displaystyle n\in\mathbb{Z^{+}}, \end{aligned}$$
(2)

with the initial conditions

$$ x(-1)=x_{-1},\qquad x(0)=x_{0},\qquad y(-1)=y_{-1},\qquad y(0)=y_{0}, $$
(3)

where \(a, b: ( 0,\infty ) \rightarrow\mathbb{R}\) are continuous functions, \(f,g,h_{1}, h_{2}\in C(\mathbb{R},\mathbb{R})\), \(c_{n}\) and \(d_{n}\) are sequences of real numbers such that \(c_{n}\neq1\) and \(d_{n}\neq1\) for all \(n\ge1\), \(\Delta u(n)=u(n^{+})-u(n^{-})\), \(u({ n }^{ + })=\lim_{ t\rightarrow{ n }^{ + } } u(t)\), \(u({ n }^{ - })=\lim_{ t\rightarrow{ n }^{ - } } u(t)\), \([\cdot]\) denotes the greatest integer function, and \(x_{-1},x_{0},y_{-1},y_{0}\) are given real numbers.

Differential equations with piecewise constant arguments (DEPCA) exist in a widely expanded areas such as biomedicine, chemistry, mechanical engineering, physics, and so on. To the best of our knowledge, the first mathematical model that includes a piecewise constant argument was proposed by Busenberg and Cooke [1]. They investigated the following system describing the disease dynamics for \(n=1,2,\dots\):

$$\begin{aligned} & \frac {dI^{n}}{dt}(t)=-c(t)I^{n}(t)+k(t)S^{n}(t)I^{n}(t), \\ &\frac {dS^{n}}{dt}(t)=-c(t)S^{n}(t)-k(t)S^{n}(t)I^{n}(t),\quad n< t\le n+1, \end{aligned}$$

whereas

$$I^{(1)}(1)=I_{0},\qquad S^{(1)}(1)=S_{0}, $$

where c is the death rate, and k is the horizontal transmission factor. Then, oscillation and stability of DEPCA have been studied by many authors (see [2–6] and the references therein). In 1994, Dai and Singh [7] studied the oscillatory motion of spring-mass systems subject to piecewise constant forces of the form \(f(x([t]))\) or \(f([t])\). Later, they improved analytical and numerical methods for solving linear and nonlinear vibration problems and showed that a function \(f([N(t)]/N)\) is a good approximation to the given continuous function \(f(t)\) if N is sufficiently large [8]. This method was also used to find numerical solutions of a nonlinear Froude pendulum and the oscillatory behavior of the pendulum [9]. On the other hand, in 1994, the case of studying discontinuous solutions of differential equations with piecewise continuous arguments has been proposed as an open problem by Wiener [10]. Due to this open problem, linear impulsive differential equations with piecewise constant arguments have been dealt with in [11–13]. Moreover, cellular neural networks with piecewise constant argument have been investigated in [14–16]. In [14], the existence and attractivity of the following cellular neural network with piecewise constant argument was studied:

$$\frac{dx_{i}(t)}{dt}=-a_{i} \bigl([t] \bigr)x_{i}(t)+\sum _{ j=1 }^{ n }{ \bigl\{ { c }_{ ij } \bigl( [ t ] \bigr) { g }_{ j } \bigl( { x }_{ j } \bigl( [ t ] \bigr) \bigr) \bigr\} } +{ d }_{ i } \bigl( [ t ] \bigr), $$

where \([\cdot]\) is the greatest integer function. Recently, Chiu [17] considered the following neural network:

$$\begin{aligned} &\frac{ d{ x }_{ i }(t) }{ dt } =-{ { a }_{ i } }(t)x_{ i }(t)+\sum _{ j=1 }^{ n }{ \biggl\{ { { b }_{ ij }(t){ f }_{ j } \bigl({ x }_{ j }(t) \bigr)+c }_{ ij } ( t ) { g }_{ j } \biggl( { x }_{ j } \biggl( 2 \biggl[ \frac { t+1 }{ 2 } \biggr] \biggr) \biggr) \biggr\} } +{ d }_{ i } ( t ), \\ &\quad t\neq2k-1, \\ &\Delta{ x }_{ i }{ | }_{ t=2k-1 }={ J }_{ k } \bigl({ x }_{ i } \bigl(2k-{ 1 }^{ - } \bigr) \bigr),\quad i=1,2,\ldots,n, k\in \mathbb{N}. \end{aligned}$$

Although nonlinear differential equations with piecewise constant arguments have many applications in real-world problems, there are only a few papers on the oscillation of nonlinear differential equations with piecewise constant arguments [18–20]. So, we study oscillation of system (1)–(2).

In Sect. 2, we prove the existence and uniqueness of the solutions, Sect. 3 consists of our main results. Moreover, we give some examples to illustrate our results.

2 Existence of solutions

In this section, we obtain the solution of (1)–(3) in terms of the corresponding difference equations system.

Definition 1

A pair of functions \((x(t),y(t))\) is said to be a solution of (1)–(2) if it satisfies the following conditions:

  1. (i)

    \(x:\mathbb{R}^{ + }\cup \{ -1 \}\rightarrow\mathbb{R}\) and \(y:\mathbb{R}^{ + }\cup \{ -1 \}\rightarrow\mathbb{R}\) are continuous with a possible exception at the points \([t]\in[0,\infty)\),

  2. (ii)

    \(x(t)\) and \(y(t)\) are right continuous and have left-hand limits at the points \([t]\in[0,\infty)\),

  3. (iii)

    \(x(t)\) and \(y(t)\) are differentiable and satisfy (1) for any \(t\in\mathbb{R}^{ + }\) with a possible exception at the points \([t]\in[0,\infty)\) where one-sided derivatives exist,

  4. (iv)

    \((x(n), y(n))\) satisfies (2) for \(n\in\mathbb{Z^{+}}\).

Theorem 1

If \(c_{n}\neq1\) and \(d_{n}\neq1\) for all \(n\ge1\) then the initial value problem (1)–(3) has a unique solution \((x(t),y(t))\) on \([0,\infty)\cup \{ -1 \}\), which can be formulated on the interval \(n\le t< n+1, n\in\mathbb{N}= \{ 0,1,2,\ldots, \}\), as

$$ \textstyle\begin{cases} x(t)=\exp{(-\int_{n}^{t}{ a(u)\,du } )} \{ x(n)\\ \phantom{ x(t)=}{}+ [ -x( n-1)f(y(n)) + { h }_{1 }(x(n)) ] \int_{n}^{t}{\exp{(\int_{n}^{s}{ a(u)\,du } )}\,ds} \}, \\ y(t)=\exp{(-\int_{n}^{t}{ b(u)\,du } )} \{ y(n)+ [ -y( n-1)g(x(n)) \\ \phantom{y(t)=}{} +{ h }_{2 }(y(n)) ] \int_{n}^{t}{\exp{(\int_{n}^{s}{ b(u)\,du } )}\,ds} \}, \end{cases} $$
(4)

where \((x(n),y(n))\) is the unique solution of the difference equations system

$$ \textstyle\begin{cases} x(n+1)= \frac{1}{1-c_{n+1}}\exp{(-\int_{n}^{n+1}{ a(u)\,du } )} \{ x(n)+ [ -x( n-1)f(y(n)) \\ \phantom{x(n+1)=} {} + { h }_{1 }(x(n)) ] \int _{n}^{n+1}{\exp{(\int_{n}^{s}{ a(u)\,du } )}\,ds} \}, \\ y(n+1)= \frac{1}{1-d_{n+1}}\exp{(-\int_{n}^{n+1}{ b(u)\,du } )} \{ y(n)+ [ -y( n-1)g(x(n)) \\\phantom{y(n+1)=}{} +{ h }_{2 }(y(n)) ] \int_{n}^{n+1}{\exp{(\int_{n}^{s}{ b(u)\,du } )}\,ds} \} \end{cases} $$
(5)

for \(n\ge0\) with initial conditions (3).

Proof

Let \((x_{n}(t),y_{n}(t))\equiv(x(t),y(t))\) be a solution of (1)–(2) on \(n\le t< n+1\). So, system (1) can be rewritten in the form

$$ \textstyle\begin{cases} x'(t)+a(t)x(t)=-x(n-1)f(y(n))+{ h }_{ 1 }(x(n)), \\ y'(t)+b(t)y(t)=-y(n-1)g(x(n))+{ h }_{ 2 }(y(n)). \end{cases} $$
(6)

From (6), for \(n\le t< n+1\), we get

$$ \textstyle\begin{cases} x_{n}(t)=\exp{(-\int_{n}^{t}{ a(u)\,du } )} \{ x(n)+ [ -x( n-1)f(y(n)) \\\phantom{x_{n}(t)=}{} + { h }_{1 }(x(n)) ] \int_{n}^{t}{\exp{(\int_{n}^{s}{ a(u)\,du } )}\,ds} \}, \\ y_{n}(t)=\exp{(-\int_{n}^{t}{ b(u)\,du } )} \{ y(n)+ [ -y( n-1)g(x(n)) \\ \phantom{y_{n}(t)=}{} +{ h }_{2 }(y(n)) ] \int_{n}^{t}{\exp{(\int_{n}^{s}{ b(u)\,du } )}\,ds} \}. \end{cases} $$
(7)

On the other hand, for \(n-1\le t< n\), we have

$$ \textstyle\begin{cases} x_{n-1}(t)=\exp{(-\int_{n-1}^{t}{ a(u)\,du } )} \{ x(n-1)+ [ -x( n-2)f(y(n-1)) \\\phantom{x_{n-1}(t)=}{} + { h }_{1 }(x(n-1)) ] \int_{n-1}^{t}{\exp{(\int_{n-1}^{s}{ a(u)\,du } )}\,ds} \}, \\ y_{n-1}(t)=\exp{(-\int_{n-1}^{t}{ b(u)\,du } )} \{ y(n-1)+ [ -y( n-2)g(x(n-1))\\ \phantom{y_{n-1}(t)=}{} +{ h }_{2 }(y(n-1)) ] \int _{n-1}^{t}{\exp{(\int_{n-1}^{s}{ b(u)\,du } )}\,ds} \}. \end{cases} $$
(8)

Using impulse conditions (2), from (7) and (8) we obtain difference equations system (5).

Considering initial conditions (3), the solution of system (5) is obtained uniquely. Thus, the solution of (1)–(3) is obtained as (4). □

3 Oscillatory solutions

Definition 2

A function \(x(t)\) defined on \([0,\infty)\) is called oscillatory if there exist two real-valued sequences \(\{t_{n} \}_{n\ge0}\), \(\{t_{n}^{\prime} \}_{n\ge0}\subset[0,\infty)\) such that \(t_{n}\rightarrow+\infty\), \(t_{n}^{\prime}\rightarrow+\infty\) as \(n\rightarrow+\infty\) and \(x(t_{n})\leq0\leq x(t_{n}^{\prime})\) for \(n\ge N\), where N is sufficiently large. Otherwise, \(x(t)\) is called nonoscillatory.

Remark 1

According to Definition 2, a piecewise continuous function \(x:[0,\infty )\rightarrow \mathbb{R}\) can be oscillatory even if \(x(t)\neq0 \) for all \(t\in[0,\infty) \).

Definition 3

A sequence \({ \{ { y }_{ n } \} }_{ n\ge-1 }\) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is called nonoscillatory.

Definition 4

The solution of problem (1)–(3) is called oscillatory if each components is oscillatory.

The following result is clear.

Corollary 1

If the solution \((x(n),y(n)), n\ge-1\), of the difference equation system (5) with initial conditions (3) is oscillatory, then the solution \((x(t),y(t))\) of (1)–(3) is also oscillatory.

Remark 2

If \(c_{n}>1\) and \(d_{n}>1\) for all \(n\in\mathbb{Z^{+}}\), then from the impulse conditions (2) it is clear that the solution \((x(t),y(t))\) of problem (1)–(3) is already oscillatory.

Theorem 2

Assume that there exist \(M_{1}>0\) and \(M_{2}>0\) such that \(f(u)\ge M_{1}\) and \(g(u)\ge M_{2}\) for all \(u \in\mathbb{R}, uh_{1}(u)<0\) and \(uh_{2}(u)<0\) for \(u \neq0\), and \(c_{n}<1\) and \(d_{n}<1\) for \(n\in \mathbb{Z^{+}}\). If the following conditions are satisfied, then all solutions of system (5) are oscillatory:

$$\begin{aligned} & \limsup_{n\to\infty}(1-c_{n}) \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ a(u)\,du } \biggr)}\,ds}> \frac{1}{M_{1}}, \end{aligned}$$
(9)
$$\begin{aligned} & \limsup_{n\to\infty}(1-d_{n}) \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ b(u)\,du } \biggr)}\,ds}> \frac{1}{M_{2}}. \end{aligned}$$
(10)

Proof

Let \((x(n),y(n))\) be a solution of (5). Suppose that \(x(n)>0, x(n-1)>0\), and \(x(n-2)>0\) for \(n>N\), where N is sufficiently large. From the first equation of (5) we have

$$\begin{aligned} (1-c_{n})\exp \biggl({ \int_{n-1}^{n}{a(u)\,du}} \biggr) x(n)={}&x(n-1)+ \bigl[-x(n-2)f \bigl(y(n-1) \bigr) \\ &{}+h_{1} \bigl(x(n-1) \bigr) \bigr] \int _{n-1}^{n}{\exp{ \biggl( \int_{n-1}^{s}{ a(u)\,du } \biggr)}\,ds} \\ < {}&x(n-1). \end{aligned}$$

Multiplying both sides of this inequality by \(-f(y(n))\int_{n}^{n+1}{\exp{(\int _{n}^{s}{ a(u)\,du } )}\,ds}<0\) and adding \(x(n)+h_{1}(x(n))\int _{n}^{n+1}{\exp{(\int_{n}^{s}{ a(u)\,du } )}\,ds}\), we obtain from (5) that

$$\begin{aligned} & {-}(1-c_{n})\exp{ \biggl( \int_{n-1}^{n}{ a(u)\,du } \biggr)}x(n)f \bigl(y(n) \bigr) \int _{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)}\,ds}+x(n) \\ &\qquad{}+h_{1} \bigl(x(n) \bigr) \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)}\,ds} \\ &\quad >(1-c_{n+1})x(n+1)\exp \biggl({ \int_{n}^{n+1}{a(u)\,du}} \biggr)>0. \end{aligned}$$
(11)

Since \(x(n)>0, n>N\), and \(h_{1}(x(n))<0\), from (11) we get

$$1>(1-c_{n})f \bigl(y(n) \bigr) \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ a(u)\,du } \biggr)}\,ds}. $$

So, we have

$$ \frac{1}{M_{1}}\ge\limsup_{n\to\infty}(1-c_{n}) \int_{n}^{n+1}{\exp{ \biggl( \int _{n-1}^{s}{ a(u)\,du } \biggr)}\,ds}, $$
(12)

which contradicts (9).

If \(x(n)<0, x(n-1)<0\), and \(x(n-2)<0\) for \(n>N\), then we obtain the same contradiction. So the component \(x(n)\) of the solution \((x(n),y(n))\) is oscillatory. Similarly, we can show that the component \(y(n)\) is oscillatory under condition (10). Hence, the proof is complete. □

Corollary 2

Under the hypotheses of Theorem 2, all solutions of system (1)–(2) are oscillatory.

Theorem 3

Assume that there exist constants \(K_{1}, K_{2}, M_{1}, M_{2}>0\) such that \(f(u)\ge M_{1}, g(u)\ge M_{2}\) for all \(u\in\mathbb{R}\), \(c_{n}\le1-K_{1}, d_{n}\le1-K_{2}\) for \(n\in\mathbb{N}\), and \(u{ h }_{ 1 }(u)<0, u{ h }_{ 2 }(u)<0\) for \(u\neq0\). Suppose that the following conditions are satisfied:

$$\begin{aligned} & \frac{1}{4K_{1}M_{1}}< \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}< \infty, \end{aligned}$$
(13)
$$\begin{aligned} & \frac{1}{4K_{2}M_{2}}< \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ b(u)\,du } \biggr)}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ b(u)\,du } \biggr)\,ds}}< \infty. \end{aligned}$$
(14)

Then all solutions of (5) are oscillatory.

Proof

Let \((x(n),y(n))\) be a solution of (5). We need to show that under condition (13), \(x(n)\) is oscillatory. Assume that \(x(n)>0, x(n-1)>0\) for \(n>N\), where N is sufficiently large. From the first equation of (5) we obtain that

$$\begin{aligned} 1={}& (1-c_{n+1})\frac{x(n+1)}{x(n)}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)} \\ &{}+ \frac{x(n-1)}{x(n)}f \bigl(y(n) \bigr) \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}} \\ &{}- \frac{h_{1}(x(n))}{x(n)} \int_{n}^{n+1}{\exp{ \biggl( \int _{n}^{s}{ a(u)\,du } \biggr)\,ds}}. \end{aligned}$$

Let \(v_{n}= \frac{x(n)}{x(n-1)}\). Since \(v(n)>0, \liminf_{n\to\infty }v_{n}\ge0\) and

$$ 1\ge(1-c_{n+1})v_{n+1}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)}+ \frac {1}{v_{n}}M_{1} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}. $$
(15)

So, we need to consider two cases.

Case 1. Let \(\liminf_{n\to\infty}v_{n}=v=+ \infty\). Then, from (15) we get

$$\begin{aligned} 1\ge{}& \liminf_{n\to\infty}(1-c_{n+1})\liminf _{n\to\infty}v_{n+1}\liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)} \\ &{}+ M_{1}\liminf_{n\to\infty}\frac{1}{v_{n}}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}, \end{aligned}$$

which is a contradiction. So, we consider the second case.

Case 2. Let \(\liminf_{n\to\infty}v_{n}<\infty\). If the first equation of (5) is divided by \(x(n-1)\), then we have

$$\begin{aligned} \frac{x(n)}{x(n-1)}={}& (1-c_{n+1})\frac{x(n+1)}{x(n-1)}\exp{ \biggl( \int _{n}^{n+1}{ a(u)\,du } \biggr)} \\ &{}+ f \bigl(y(n) \bigr) \int_{n}^{n+1}{\exp{ \biggl( \int _{n}^{s}{ a(u)\,du } \biggr)\,ds}} \\ &{}- \frac{h_{1}(x(n))}{x(n-1)} \int _{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds,}} \end{aligned}$$

and then we obtain that

$$ v_{n}\ge(1-c_{n+1})v_{n}v_{n+1} \exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)}+M_{1} \int _{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}. $$
(16)

Taking the inferior limit on both sides of inequality (16), we get

$$\begin{aligned} v \ge{}& v^{2}\liminf_{n\to\infty}(1-c_{n+1}) \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)} \\ &{}+ M_{1}\liminf_{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}. \end{aligned}$$

Let \(\liminf_{n\to\infty}\exp{(\int_{n}^{n+1}{ a(u)\,du })}=A\) and \(\liminf_{n\to\infty}\int_{n}^{n+1}{\exp{(\int_{n}^{s}{ a(u)\,du })\,ds}}=B\). Then the last inequality can be rewritten as

$$ v\ge\liminf_{n \to\infty}(1-c_{n+1})v^{2}A+M_{1}B. $$
(17)

Now we consider two subcases:

  1. (i)

    If \(\liminf_{n\to\infty}(1-c_{n+1})=\infty\), then we have a contradiction from (17).

  2. (ii)

    Assume that \(0< K_{1}\le\liminf_{n\to\infty}(1-c_{n+1})<\infty\). Then from (17) we have

    $$AK_{1}v^{2}-v+M_{1}B\le0 $$

    or

    $$AK_{1} \biggl[ \biggl(v-\frac{1}{2K_{1}A} \biggr)^{2}+ \frac{4M_{1}BK_{1}A-1}{4K_{1}^{2}A^{2}} \biggr]\le0. $$

    Since \(A>0\) and \(K_{1}>0\), we have

    $$\frac{4M_{1}BK_{1}A-1}{4K_{1}^{2}A^{2}}\le0, $$

    which contradicts condition (13).

In the case of \(x(n)<0, x(n-1)<0\) for sufficiently large \(n>N\), the proof is similar, and we obtain the same contradiction.

On the other hand, if we assume rgar \(y(n)\) is a nonoscillatory sequence, then we have a contradiction to condition (14). Hence, \((x(n),y(n))\) is an oscillatory solution of system (5). □

Corollary 3

Under the hypothesis of Theorem 3, all solutions of system (1)–(2) are oscillatory.

Remark 3

In the case of \(a(t)\equiv a\) and \(b(t)\equiv b\), conditions (9) and (10) are reduced to the following forms, respectively:

$$\begin{aligned} &\limsup_{n\to\infty}(1-c_{n})>\frac{ae^{-a}}{M_{1}(e^{a}-1)}, \\ &\limsup_{n\to\infty}(1-d_{n})>\frac{be^{-b}}{M_{2}(e^{b}-1)}. \end{aligned}$$

Remark 4

In the case of \(a(t)\equiv a\) and \(b(t)\equiv b\), conditions (13) and (14) are reduced to the following conditions, respectively:

$$\begin{aligned} &\frac{1}{4K_{1}M_{1}}< \frac{e^{a}(e^{a}-1)}{a}, \\ &\frac{1}{4K_{2}M_{2}}< \frac{e^{b}(e^{b}-1)}{b}. \end{aligned}$$

If \(c_{n}\equiv d_{n}\equiv0\), \(n\in\mathbb{Z^{+}}\), then we have the nonimpulsive equation system

$$ \textstyle\begin{cases} x'(t)=-a(t)x(t)-x([t-1])f(y([t]))+{ h }_{ 1 }(x([t])), \\ y'(t)=-b(t)y(t)-y([t-1])g(x([t]))+{ h }_{ 2 }(y([t])), \end{cases}\displaystyle t>0. $$
(18)

In this case, the following results are clear.

Corollary 4

Assume that there exist \(M_{1}>0\) and \(M_{2}>0\) such that \(f(u)\ge M_{1}\) and \(g(u)\ge M_{2}\) for all \(u \in\mathbb{R}\), and \(uh_{1}(u)<0\) and \(uh_{2}(u)<0\) for \(u \neq0\). Suppose that the following conditions are satisfied:

$$\begin{aligned} &\limsup_{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ a(u)\,du } \biggr)}\,ds}> \frac{1}{M_{1}}, \\ &\limsup_{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ b(u)\,du } \biggr)}\,ds}> \frac{1}{M_{2}}. \end{aligned}$$

Then all solutions of system (18) are oscillatory.

Corollary 5

Assume that there exist the constants \(M_{1}, M_{2}>0\) such that \(f(u)\ge M_{1}, g(u)\ge M_{2}\) for all \(u\in\mathbb{R}\), \(0< K_{1}\leq1\), \(0< K_{2}\leq1\), and \(u{ h }_{ 1 }(u)<0\) and \(u{ h }_{ 2 }(u)<0\) for \(u\neq0\). Suppose that the following conditions are satisfied:

$$\begin{aligned} \frac{1}{4K_{1}M_{1}}&< \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}\\ &< \infty, \\ \frac{1}{4K_{2}M_{2}}&< \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ b(u)\,du } \biggr)}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ b(u)\,du } \biggr)\,ds}}\\ &< \infty. \end{aligned}$$

Then all solutions of (18) are oscillatory.

Now, let us consider following nonlinear differential equation:

$$ \textstyle\begin{cases} x'(t)=-a(t)x(t)-x([t-1])f(x([t]))+h(x([t])), \\ \Delta x(n)=c_{n} x(n),\quad n= 1, 2,\dots, \end{cases}\displaystyle t\neq n, t>0, $$
(19)

which is investigated in [18] with \(h(u) \equiv0\).

Corollary 6

Assume that there exists \(M>0\) such that \(f(u)\geq M\) for \(u \in\mathbb {R}\), \(uh(u)<0\) for \(u\neq0\), and \(c_{n} <1\) for \(n \in\mathbb{Z}^{+}\). If

$$\limsup_{n\to\infty} (1-c_{n}) \int_{n}^{n+1}{\exp{ \biggl( \int_{n-1}^{s}{ a(u)\,du } \biggr)}\,ds}> \frac{1}{M}, $$

then all solutions of equation (19) are oscillatory.

Corollary 7

Assume that there exist \(M, K>0\) such that \(f(u)\geq M\) for \(u \in \mathbb{R}\), \(c_{n} \le1-K\) for \(n \in\mathbb{Z}^{+}\), and \(uh(u)<0\) for \(u \neq0\). If

$$\frac{1}{4KM}< \liminf_{n\to\infty}\exp{ \biggl( \int_{n}^{n+1}{ a(u)\,du } \biggr)}\liminf _{n\to\infty} \int_{n}^{n+1}{\exp{ \biggl( \int_{n}^{s}{ a(u)\,du } \biggr)\,ds}}< \infty, $$

then all solutions of equation (19) are oscillatory.

Remark 5

It is clear that the problem considered in this paper is more general than the problem investigated in [18]. When \(h(t) \equiv0\), Corollaries 6 and 7 coincide with Corollaries 1 and 3 in [18], respectively.

Here we give two numerical examples to illustrate our results. Mathematica® software is used to get the figures.

Example 1

Let us consider the following nonlinear impulsive differential equations system with piecewise constant argument and variable coefficient:

$$\begin{aligned} & \textstyle\begin{cases} x'(t)=- \frac{2}{t}x(t)-x([t-1])(\mathrm {e}^{-y([t])}+2)-\sqrt[ 3 ]{ x([t]) }, \\ y'(t)=- \frac {2t}{t^{2}+1}y(t)-y([t-1])(x^{2}([t])+2)-\sqrt[5 ]{ y([t]) }, \end{cases}\displaystyle t\neq n, t>0, \end{aligned}$$
(20)
$$\begin{aligned} & \textstyle\begin{cases} \Delta x(n)= \frac{(-1)^{n}}{2}x({ n }), \\ \Delta y(n)= \frac{(-1)^{n}}{3}y({ n }), \end{cases}\displaystyle n \in\mathbb{Z^{+}}. \end{aligned}$$
(21)

It is clear that \(a(t)= \frac{2}{t}\), \(f(u)=\exp(-u)+2\), \(h_{1}(u)=-u^{1/3}\), and \(b(t)= \frac{2t}{t^{2}+1}\), \(g(u)=u^{2}+2\), \(h_{2}(u)=-u^{1/5}\) satisfy all hypotheses of Theorems 2 and 3. Then all solutions of system (20)–(21) are oscillatory. The solution \((x_{n}(t),y_{n}(t))\) of system (20)–(21) with initial conditions \(x(-1)=0, x(0)=0.01, y(-1)=0, y(0)=-0.01\) is shown in Fig. 1.

Figure 1
figure 1

Oscillatory solutions of the system (20)–(21) with the initial conditions \(x(-1)=0, x(0)=0.01, y(-1)=0, y(0)=-0.01\)

Example 2

Consider the following system:

$$\begin{aligned} &\textstyle\begin{cases} x'(t)=-(\ln2)x(t)-x([t-1])(y^{2}([t])+1)-x^{3}([t]), \\ y'(t)=-(\ln3)y(t)-y([t-1])(x^{4}([t])+1)- y([t]), \end{cases}\displaystyle t\neq n, t>0, \end{aligned}$$
(22)
$$\begin{aligned} &\textstyle\begin{cases} \Delta x(n)= \frac{1}{2^{n}}x({ n }), \\ \Delta y(n)= \frac{1}{3^{n}}y({ n }), \end{cases}\displaystyle n=\mathbb{Z^{+}}. \end{aligned}$$
(23)

Since all hypotheses of Theorem 2 are satisfied for \(a(t)=\ln2\), \(f(u)=u^{2}+1\), \(h_{1}(u)=-u^{3}\) and \(b(t)= \ln3 \), \(g(u)=u^{4}+1\), \(h_{2}(u)=-u\), all solutions of system (22)–(23) are oscillatory. The solution \((x_{n}(t),y_{n}(t))\) of system (22)–(23) with the initial conditions \(x(-1)=0, x(0)=1, y(-1)=0, y(0)=-0.5\) is shown in Fig. 2.

Figure 2
figure 2

Oscillatory solutions of system (22)–(23) with the initial conditions \(x(-1)=0, x(0)=1, y(-1)=0, y(0)=-0.5\)

References

  1. Busenberg, S., Cooke, K.L.: Models of vertically transmitted diseases with sequential-continuous dynamics. In: Nonlinear Phenomena in Mathematical Sciences, pp. 179–187 (1982)

    Chapter  Google Scholar 

  2. Cooke, K.L., Wiener, J.: Retarded differential equations with piecewise constant delays. J. Math. Anal. Appl. 99(1), 265–297 (1984). https://doi.org/10.1016/0022-247X(84)90248-8

    Article  MathSciNet  MATH  Google Scholar 

  3. Aftabizadeh, A.R., Wiener, J.: Oscillatory properties of first order linear functional differential equations. Appl. Anal. 20(3–4), 165–187 (1985). https://doi.org/10.1080/00036818508839568

    Article  MathSciNet  MATH  Google Scholar 

  4. Aftabizadeh, A.R., Wiener, J., Xu, J.-M.: Oscillatory and periodic solutions of delay differential equations with piecewise constant argument. Proc. Am. Math. Soc. 99(4), 673–679 (1987). https://doi.org/10.2307/2046474

    Article  MathSciNet  MATH  Google Scholar 

  5. Wiener, J., Aftabizadeh, A.R.: Differential equations alternately of retarded and advanced type. J. Math. Anal. Appl. 129(1), 243–255 (1988). https://doi.org/10.1016/0022-247X(88)90246-6

    Article  MathSciNet  MATH  Google Scholar 

  6. Shen, J.H., Stavroulakis, I.P.: Oscillatory and nonoscillatory delay equations with piecewise constant argument. J. Math. Anal. Appl. 248(2), 385–401 (2000). https://doi.org/10.1006/jmaa.2000.6908

    Article  MathSciNet  MATH  Google Scholar 

  7. Dai, L., Singh, M.C.: On oscillatory motion of spring-mass systems subjected to piecewise constant forces. J. Sound Vib. 173(2), 217–231 (1994). https://doi.org/10.1006/jsvi.1994.1227

    Article  MATH  Google Scholar 

  8. Dai, L., Singh, M.C.: An analytical and numerical method for solving linear and nonlinear vibration problems. Int. J. Solids Struct. 34(21), 2709–2731 (1997). https://doi.org/10.1016/S0020-7683(96)00169-2

    Article  MathSciNet  MATH  Google Scholar 

  9. Dai, L., Singh, M.C.: Periodic, quasiperiodic and chaotic behavior of a driven Froude pendulum. Int. J. Non-Linear Mech. 33(6), 947–965 (1998). https://doi.org/10.1016/S0020-7462(97)00054-1

    Article  MathSciNet  MATH  Google Scholar 

  10. Wiener, J.: Generalized Solutions of Functional Differential Equations. World Scientific, Singapore (1994)

    Google Scholar 

  11. Bereketoglu, H., Seyhan, G., Ogun, A.: Advanced impulsive differential equations with piecewise constant arguments. Math. Model. Anal. 15(2), 175–187 (2010). https://doi.org/10.3846/1392-6292.2010.15.175-187

    Article  MathSciNet  MATH  Google Scholar 

  12. Karakoc, F., Bereketoglu, H., Seyhan, G.: Oscillatory and periodic solutions of impulsive differential equations with piecewise constant argument. Acta Appl. Math. 110(1), 499–510 (2010). https://doi.org/10.1007/s10440-009-9458-9

    Article  MathSciNet  MATH  Google Scholar 

  13. Chiu, K.-S.: On generalized impulsive piecewise constant delay differential equations. Sci. China Math. 58(9), 1981–2002 (2015). https://doi.org/10.1007/s11425-015-5010-8

    Article  MathSciNet  MATH  Google Scholar 

  14. Huang, Z., Wang, X., Gao, F.: The existence and global attractivity of almost periodic sequence solution of discrete-time neural networks. Phys. Lett. A 350(3–4), 182–191 (2006). https://doi.org/10.1016/j.physleta.2005.10.022

    Article  MATH  Google Scholar 

  15. Pinto, M., Robledo, G.: Existence and stability of almost periodic solutions in impulsive neural network models. Appl. Math. Comput. 217(8), 4167–4177 (2010). https://doi.org/10.1016/j.amc.2010.10.033

    MathSciNet  MATH  Google Scholar 

  16. Chiu, K.-S., Pinto, M., Jeng, J.-C.: Existence and global convergence of periodic solutions in recurrent neural network models with a general piecewise alternately advanced and retarded argument. Acta Appl. Math. 133(1), 133–152 (2014). https://doi.org/10.1007/s10440-013-9863-y

    Article  MathSciNet  MATH  Google Scholar 

  17. Chiu, K.-S.: Exponential stability and periodic solutions of impulsive neural network models with piecewise constant argument. Acta Appl. Math. 151(1), 199–226 (2017). https://doi.org/10.1007/s10440-017-0108-3

    Article  MathSciNet  MATH  Google Scholar 

  18. Karakoc, F., Ogun Unal, A., Bereketoglu, H.: Oscillation of nonlinear impulsive differential equations with piecewise constant arguments. Electron. J. Qual. Theory Differ. Equ. 2013, 49 (2013). https://doi.org/10.14232/ejqtde.2013.1.49

    Article  MathSciNet  MATH  Google Scholar 

  19. Gopalsamy, K., Kulenovic, M.R.S., Ladas, G., Aftabizadeh, A.R.: On a logistic equation with piecewise constant arguments. Differ. Integral Equ. 4(1), 215–223 (1991)

    MathSciNet  MATH  Google Scholar 

  20. Karakoc, F.: Asymptotic behaviour of a population model with piecewise constant argument. Appl. Math. Lett. 70, 7–13 (2017). https://doi.org/10.1016/j.aml.2017.02.014

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank reviewers for their insightful and valuable comments.

Author information

Authors and Affiliations

Authors

Contributions

The main idea of this paper was proposed by FK. The manuscript prepared initially and all steps of the proof are performed by FK, AU, and HB. All authors have read and approved the final manuscript.

Corresponding author

Correspondence to Arzu Unal.

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

Karakoc, F., Unal, A. & Bereketoglu, H. Oscillation of a nonlinear impulsive differential equation system with piecewise constant argument. Adv Differ Equ 2018, 99 (2018). https://doi.org/10.1186/s13662-018-1556-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1556-4

MSC

Keywords