Abstract
In this paper, a kind of half-linear impulsive delay differential equations with damping is studied. By employing a generalized Riccati technique and the impulsive differential inequality, we derive several oscillation criteria which are either new or improve several recent results in the literature. In addition, we provide several examples to illustrate the use of our results.
Similar content being viewed by others
1 Introduction
Impulsive differential equations are used to simulate processes and phenomena observed in control theory, physics, chemistry, population dynamics, biotechnologies, industrial robotics, etc., and therefore their qualitative properties are important. The phenomenon of oscillations is observed in ecology, physics, economic, etc. In [1], Chen and Feng showed a few examples and indicated that some of the oscillations did favor the stability of system, but some might destroy the balance of the system. Oscillatory properties are so important for the balance of the system that there are now quite a few results on oscillatory properties of their solutions since recent years [1–15]. In particular, Agarwal et al. in [14, 15] discussed oscillation theory of differential equations and nonoscillation theory of functional differential equations with applications. Chen and Feng in [1] investigated oscillations of second order nonlinear impulsive differential equation by impulsive differential inequality. From then on, the authors in [3–7] generalized and improved the results of [1]. Furthermore, in [8–13], the delay effect to impulsive equations is considered and some interesting results of oscillations are obtained. Those papers have only considered first or second order differential equations (delay differential equations) with impulses. Recently, some scholars have been attracted by the problems of the oscillations of higher order differential equations and higher order impulsive differential equations and made relative advances therein in [16–26]. For example, Grace et al. in [22, 23] first studied oscillations of higher order nonlinear dynamic equations on time scales and got some interesting and exciting results. Pan et al. in [18] considered even order nonlinear differential equations with impulses of the form
where n is positive integer and \(0\leq t_{0}< t_{1}<\cdots <t_{k}<\cdots\) such that \(\lim_{k\rightarrow\infty }t_{k}=\infty\). They obtained sufficient conditions which guaranteed oscillation of every solution of (1). Wen et al. in [19] considered even order nonlinear differential equations with impulses of the form
where n is a positive integer and \(0\leq t_{0}< t_{1}<\cdots <t_{k}<\cdots\) such that \(\lim_{k\rightarrow\infty }t_{k}=\infty\), \(p ( t ) >0\). They generalized and improved the results in [16–18]. Pan in [20] considered nonlinear impulsive differential equations with damping of the form
where n is a positive integer and \(0\leq t_{0}< t_{1}<\cdots <t_{k}<\cdots\) such that \(\lim_{k\rightarrow\infty }t_{k}=\infty\). He obtained sufficient conditions which guaranteed the oscillation of every solution of (3).
References devoted to the study of the oscillations of higher order impulsive differential equations are [18–20]. Impulsive delay differential equations may be used for the mathematical simulation of processes which are characterized by the fact that their state changes by jumps and by the dependence of the process on its history at each moment of time. Those equations can more precisely describe the real processes of a system than impulsive differential equations. Therefore, it is necessary to consider both impulsive effect and delay effect on the oscillation of a differential equation. Many useful results on oscillation and nonoscillation of first order or second order impulsive delay differential equations have been obtained in [8–13], but references devoted to the study of the oscillations of higher order impulsive delay differential equations are relatively scarce.
This paper is motivated by several recent studies [14–26] of such higher order equations. Using impulsive differential inequality and the Riccati transformation, we study the oscillatory properties of even order half-linear impulsive delay differential equation with damping of the form
where
\(\phi: [ t_{0}-\tau,t_{0} ] \rightarrow R\) has at most finite discontinuous points of the first kind and is left-continuous at these points. \(\alpha>0\), \(\tau>0\), \(0\leq t_{0}< t_{1}<\cdots <t_{k}<\cdots\) such that \(\lim_{k\rightarrow\infty}t_{k}=\infty\), \(x^{ ( 0 ) }(t)=x(t)\), n is a positive integer.
Definition 1
A function \(x:[ t_{0}-\tau,t_{0}+\gamma ) \rightarrow R \) (\(\gamma>0 \)) is said to be a solution of (4) on \([ t_{0}-\tau,t_{0}+\gamma ) \) starting from \(( t,\phi ,x_{0}^{ ( 0 ) },x_{0}^{ ( 1 ) },\ldots,x_{0}^{ ( 2n-1 ) } ) \) if
-
(i)
\(x^{ ( i ) } ( t ) \) is continuous on \([ t_{0},t_{0}+\gamma ) \setminus \{ t_{k},k\in N \}\), \(i=0,1,\ldots,2n-1\),
-
(ii)
\(x ( t ) =\phi ( t )\), \(t\in [ t_{0}-\tau,t_{0} ]\), \(x^{ ( i ) } ( t_{0}^{+} ) =x_{0}^{ ( i ) }\), \(i=0,1,\ldots,2n-1\),
-
(iii)
\(x ( t ) \) satisfies the first equality of (4) on \([ t_{0},t_{0}+\gamma ) \setminus \{ t_{k},k\in N \} \),
-
(iv)
\(x^{ ( i ) } ( t ) \) has two-side limits and left-continuous at points \(t_{k}\), \(x^{ ( i ) } ( t_{k} ) \) satisfies the second equality of (4), \(i=0,1,\ldots,2n-1\), \(k=1,2,\ldots \) .
Remark 1
Let \(x_{0} ( t ) =x ( t ), x_{1} ( t ) =x^{\prime } ( t ) ,\ldots,x_{2n-1} ( t ) =x^{ ( 2n-1 ) } ( t ) \). Then (4) can be changed into a differential system with impulses. By the same method in [21], one can get sufficient conditions that can guarantee the solution of (4) exists on \([ t_{0},\infty ) \). In the following, we always assume the solution of (4) exists on \([ t_{0},\infty ) \).
Definition 2
A solution of (4) is said to be nonoscillatory if it is eventually positive or eventually negative. Otherwise, it is said to be oscillatory.
In this paper, we investigate the oscillatory properties of (4). We first obtain two theorems to ensure every solution of (4) is oscillatory. The results extend and improve the earlier publications. Next, we obtain three corollaries by Theorem 1 and Theorem 2, and provide examples to show that although even order nonlinear delay differential equations without impulses may have nonoscillatory solutions, adding impulses may lead to oscillatory solutions. That is, impulses may change the oscillatory behavior of an equation.
2 Main results
We will establish oscillatory results based on combinations of the following conditions:
-
(A)
\(r (t )>0 \) and \(r (t )\), \(q (t )\) are both continuous on \([ t_{0}-\tau,\infty ) \), \(f ( t,u,v ) \) is continuous on \([ t_{0}-\tau,\infty ) \times ( -\infty,\infty ) \times ( -\infty,\infty )\), \(uf ( t,u,v ) >0\) (\(uv>0\)), and \(f ( t,u,v ) /\varphi ( v ) \geqslant p ( t )\) (\(v\neq0\)), where \(p ( t ) \) is positive and continuous on \([ t_{0}-\tau,\infty ) \) and for any \(t\geq t_{0}\), \(p ( t ) \) is not always equal to 0 on \([ t,\infty ) \), φ is differentiable on \(( -\infty,\infty ) \) such that \(x\varphi ( x ) >0\) (\(x\neq0\)), \(\varphi^{\prime } ( x ) \geq0\).
-
(B)
For \(k=1,2,\ldots \) , \(g_{k}^{ [ i ] } ( x ) \) are continuous on \(( -\infty,\infty ) \) and there exist positive numbers \(a_{k}^{ [ i ] }\), \(b_{k}^{ [ i ] }\) such that
$$a_{k}^{ [ i ] }\leq g_{k}^{ [ i ] } ( x ) /x\leq b_{k}^{ [ i ] }, \quad i=0,1,2,\ldots,2n-1. $$ -
(C)
For \(i=1,2,\ldots,2n-2\),
$$\int_{t_{0}}^{\infty}\prod_{t_{0}< t_{k}< s} \frac{a_{k}^{ [ i ] }}{b_{k}^{ [ i-1 ] }}\,ds=\infty $$and
$$\int_{t_{0}}^{\infty}\frac{1}{r^{\frac{1}{\alpha}} ( s ) }\prod _{t_{0}< t_{k}< s}\frac{a_{k}^{ [ 2n-1 ] }}{b_{k}^{ [ 2n-2 ] }}\,ds=\infty. $$ -
(D)
\(\int_{t_{0}}^{\infty}\prod_{t_{0}< t_{k}< s}\frac{a_{k}^{ [ 2n-1 ] }}{b_{k}^{ [ 2n-2 ] }}\exp ( -\int_{t_{0}}^{s} \frac{r^{{\prime}} ( v ) +q ( v ) }{\alpha r ( v ) }\,dv )\,ds=\infty\).
The main results of the paper are as follows.
Theorem 1
Assume that the conditions (A), (B), (C), and (D) hold. Suppose further that \(a_{k}^{ [ 0 ] }\geq1\) and
where
and \(t_{0,w}=t_{k}\) or \(t_{k}+\tau \) (\(t_{1}=t_{0,1}< t_{0,2}<\cdots <t_{0,w}<t_{0,w+1}<\cdots\)), then every solution of (4) is oscillatory.
Theorem 2
Assume that the conditions (A), (B), (C), and (D) hold and that \(\varphi ( ab ) \geq\varphi ( a ) \varphi ( b ) \) for \(ab>0\). Furthermore suppose that
where
and \(t_{0,w}=t_{k}\) or \(t_{k}+\tau \) (\(t_{1}=t_{0,1}< t_{0,2}<\cdots <t_{0,w}<t_{0,w+1}<\cdots \)), then every solution of (4) is oscillatory.
Remark 2
When \(\alpha=1\) and not considering the delay effect, (4) reduces to (3). Our Theorem 1 and Theorem 2 generalize and contain results in [20]. When \(\alpha=1\), \(q ( t ) =0\) and not considering a delay effect, (4) reduces to (2). Our Theorem 1 and Theorem 2 are extensions of Theorem 1, Theorem 2 of [19], respectively.
3 Corollaries and examples
Corollary 1
Assume that the conditions (A), (B), (C), and (D) hold. Furthermore suppose that \(a_{k}^{ [ 0 ] }\geq 1,b_{k}^{ [ 2n-1 ] }\leq1\) and
then every solution of (4) is oscillatory.
Proof
By \(a_{k}^{ [ 0 ] }\geq1\), \(b_{k}^{ [ 2n-1 ] }\leq1\), we know that \(\frac{1}{\theta_{0,w}}\geq1\). Therefore
letting \(t\rightarrow\infty\), it follows from (9), (10) that (5) holds. By Theorem 1, we see that all solutions of (4) are oscillatory. □
Corollary 2
Assume that the conditions (A), (B), (C), and (D) hold and that there exists a constant \(\delta>0\) such that
If
then every solution of (4) is oscillatory.
Proof
By \(a_{k}^{ [ 0 ] }\geq1\), \(\frac{1}{ ( b_{k}^{ [ 2n-1 ] } ) ^{\alpha}}\geq ( \frac {t_{k+1}}{t_{k}} ) ^{\delta}\), then for \(t\in ( t_{w},t_{w+1} ] \), we have
letting \(t\rightarrow\infty\), it follows from (12), (13) that (5) hold. By Theorem 1, we see that all solutions of (4) are oscillatory. □
Corollary 3
Assume that the conditions (A), (B), (C), and (D) hold and that \(\varphi ( ab ) \geq\varphi ( a ) \varphi ( b ) \) for \(ab>0\). If there exists a constant \(\delta>0\) such that
and
then every solution of (4) is oscillatory.
Corollary 3 can be deduced from Theorem 2. The proof is similar to that of Corollary 2 and it is omitted.
Example 1
Consider the equation
where \(a_{k}^{ [ 0 ] }=b_{k}^{ [ 0 ] }=1\), \(a_{k}^{ [ i ] }=b_{k}^{ [ i ] }=\frac{k}{k+1}\), \(i=1,2,\ldots ,2n-1\); \(q ( t ) =-\frac{1}{t}\), \(p ( t ) =\frac{1}{t^{2}}\), \(r ( t ) =1\), \(t_{0}=\frac{1}{2}\), \(t_{k}=k\), \(\tau=\frac{1}{2}\), \(\alpha =2\), \(\varphi ( x ) =x\). It is easy to see that the conditions (A), (B), (C), and (D) hold. Since \(\frac{1}{ ( b_{k}^{ [ 2n-1 ] } ) ^{2}}= ( \frac{k+1}{k} ) ^{2}= ( \frac{t_{k+1}}{t_{k}} ) ^{2}\), we may let \(\delta=2\), furthermore,
By Corollary 2, every solution of (16) is oscillatory.
Example 2
Consider the equation
where \(a_{k}^{ [ 0 ] }=b_{k}^{ [ 0 ] }=\frac {k+1}{k}\), \(a_{k}^{ [ i ] }=b_{k}^{ [ i ] }=1\), \(i=1,2,\ldots ,2n-1\); \(q ( t ) =-1\), \(p ( t ) =\frac{1}{t^{2}}\), \(r ( t ) =t\), \(t_{0}=\frac{1}{2}\), \(t_{k}=k\), \(\tau=\frac{1}{2}\), \(t_{k+1}-t_{k}=1>\frac {1}{2}=\tau\), \(\varphi ( x ) =x^{3}\). It is easy to see that the conditions (A), (B), (C), and (D) hold. Since \(\frac{\varphi ( a_{k}^{ [ 0 ] } ) }{ ( b_{k}^{ [ 2n-1 ] } ) ^{\alpha }}= ( \frac{k+1}{k} ) ^{3}= ( \frac{t_{k+1}}{t_{k}} ) ^{3}\), we may let \(\delta=3\), furthermore
By Corollary 3, every solution of (17) is oscillatory.
Example 3
Consider the equation
where \(a_{k}^{ [ 0 ] }=b_{k}^{ [ 0 ] }=\frac {k+1}{k}\), \(a_{k}^{ [ i ] }=b_{k}^{ [ i ] }=1\), \(i=1,2,3\); \(r ( t ) =t^{2}\), \(q ( t ) =0\), \(p ( t ) =\frac{27}{64}t^{-4} ( t-\frac{1}{2} ) ^{-\frac{7}{2}}\), \(t_{0}=\frac{1}{2}\), \(t_{k}=k\), \(\tau=\frac{1}{2}\), \(t_{k+1}-t_{k}=1>\frac{1}{2}=\tau\), \(\alpha =2\), \(\varphi ( x ) =x^{7}\). It is easy to see that the conditions (A), (B), (C), and (D) hold. Since \(\frac{\varphi ( a_{k}^{ [ 0 ] } ) }{ ( b_{k}^{ [ 2n-1 ] } ) ^{\alpha }}= ( \frac{k+1}{k} ) ^{7}= ( \frac{t_{k+1}}{t_{k}} ) ^{7}\), we may let \(\delta=7\), furthermore
By Corollary 3, every solution of (18) is oscillatory. But the delay differential equation
has a nonnegative solution \(x=\sqrt{t}\). This example shows that impulses play an important role in the oscillatory behavior of equations under perturbing impulses.
4 Preparatory lemmas
To prove Theorem 1 and Theorem 2, we need the following lemmas.
Lemma 1
(Lakshmikantham et al. [2])
Assume that
- (H0):
-
\(m\in PC^{\prime} ( R^{+},R ) \) and \(m ( t ) \) is left-continuous at \(t_{k}\), \(k=1,2,\ldots \) .
- (H1):
-
For \(t_{k}\), \(k=1,2,\ldots \) and \(t\geq t_{0}\),
$$\begin{aligned}& m^{\prime} ( t ) \leq p ( t ) m ( t ) +q ( t ) ,\quad t\neq t_{k},\\& m \bigl( t_{k}^{+} \bigr) \leq d_{k}m ( t_{k} ) +b_{k}, \end{aligned}$$
where \(p,q\in PC ( R^{+},R )\), \(d_{k}\geq0\) and \(b_{k}\) are real constants. Then for \(t\geq t_{0}\),
Lemma 2
Suppose that the conditions (A), (B), and (C) hold and \(x ( t ) \) is a solution of (4). We have the following statements:
-
(a)
If there exists some \(T\geq t_{0}\) such that \(x^{ ( 2n-1 ) } ( t ) >0\) and \(( r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha-1}x^{ ( 2n-1 ) } ( t ) ) ^{\prime}\geq0\) for \(t\geq T\), then there exists some \(T_{1}\geq T\) such that \(x^{ ( 2n-2 ) } ( t ) >0\) for \(t\geq T_{1}\).
-
(b)
If there exist \(i\in \{ 1,2,\ldots,2n-2 \} \) and some \(T\geq t_{0} \) such that \(x^{ ( i ) } ( t ) >0\) and \(x^{ ( i+1 ) } ( t ) \geq0\) for \(t\geq T\), then there exists some \(T_{1}\geq T\) such that \(x^{ ( i-1 ) } ( t ) >0\) for \(t\geq T_{1}\).
Proof
(a) Without loss of generality, we may assume that \(T=t_{0}\), \(x^{ ( 2n-1 ) } ( t ) >0\) and \(( r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha -1}x^{ ( 2n-1 ) } ( t ) ) ^{\prime}\geq0\) for \(t\geq t_{0}\). We first prove that there exists some j such that \(x^{ ( 2n-2 ) } ( t_{j} ) >0\) for \(t_{j}\geq t_{0}\). If this is not true, then for any \(t_{k}>t_{0}\), we have \(x^{ ( 2n-2 ) } ( t_{k} ) \leq0\). Since \(x^{ ( 2n-2 ) } ( t ) \) is increasing on intervals of the form \(( t_{k},t_{k+1} ] \), we see that \(x^{ ( 2n-2 ) } ( t ) \leq0\) for \(t\geq t_{0}\). Since \(r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha -1}x^{ ( 2n-1 ) } ( t ) \) is increasing on intervals of the form \(( t_{k},t_{k+1} ] \), we see that for \(( t_{1},t_{2} ] \),
that is,
In particular,
Similarly, for \(( t_{2},t_{3} ] \), we have
By induction, we know that
From the condition (B), we have
Set \(m ( t ) =-x^{ ( 2n-2 ) } ( t ) \). Then from (20) and (21), we see that
and
It follows from Lemma 1 that
That is,
Note that \(a_{k}^{ [ i ] }>0\), \(b_{k}^{ [ i ] }>0\), and the second equality of the condition (B) holds. Thus we get \(x^{ ( 2n-2 ) } ( t ) >0\) for all sufficiently large t. The relation \(x^{ ( 2n-2 ) } ( t ) \leq0\) leads to a contradiction. So there exists some j such that \(t_{j}>T\) and \(x^{ ( 2n-2 ) } ( t_{j} ) >0\). Since \(x^{ ( 2n-2 ) } ( t ) \) is increasing on \(( t_{j+\lambda-1},t_{j+\lambda} ] \), \(\lambda =1,2,\ldots\) , for \(( t_{j},t_{j+1} ] \), we have
Similarly, for \(( t_{j+1},t_{j+2} ] \),
We can easily prove that, for any positive integer \(\lambda\geq2\) and \(t\in ( t_{j+\lambda},t_{j+\lambda+1} ] \),
Thus \(x^{ ( 2n-2 ) } ( t ) >0\) for \(t\geq t_{j}\). So there exists \(T_{1}\geq T\) such that \(x^{ ( 2n-2 ) } ( t ) >0\) for \(t\geq T_{1}\). The proof of (a) is complete.
(b) Assume that for any \(t_{k}>T\), we have \(x^{ ( i-1 ) } ( t_{k} ) \leq0\). By \(x^{ ( i ) } ( t ) >0\), \(x^{ ( i+1 ) } ( t ) \geq0\), \(t\in ( t_{k},t_{k+1} ] \), we see that \(x^{ ( i ) } ( t ) \) is nondecreasing on \(( t_{k},t_{k+1} ] \). For \(t\in ( t_{1},t_{2} ] \), we have
In particular,
Similarly, for \(t\in ( t_{2},t_{3} ] \), we have
By induction, we know that
From the condition (ii), we have
Set \(u ( t ) =-x^{ ( i-1 ) } ( t ) \). Then from (23) and (24), we see that
and
It follows from Lemma 1 that
That is,
Note that \(a_{k}^{ [ i ] }>0\), \(b_{k}^{ [ i ] }>0\), and the first equality of the condition (B) holds. Thus we get \(x^{ ( i-1 ) } ( t ) >0\) for all sufficiently large t. The relation \(x^{ ( i-1 ) } ( t ) \leq0\) leads to a contradiction. So there exists some j such that \(t_{j}>T\) and \(x^{ ( i-1 ) } ( t_{j} ) >0\). Then
Since \(x^{ ( i ) } ( t ) >0\), we see that \(x^{ ( i-1 ) } ( t ) \) is increasing on \(( t_{j+m-1},t_{j+m} ]\), \(m=1,2,\ldots\) . For \(( t_{j},t_{j+1} ] \), we have
In particular,
Similarly, for \(( t_{j+1},t_{j+2} ] \), we have
By induction, for \(( t_{j+m-1},t_{j+m} ] \), we have \(x^{ ( i-1 ) } ( t ) >0\). So when \(t\geq t_{j+1}\), we have
Summing up the above discussion, we know that there exists some \(T_{1}\geq T\) such that
The proof of Lemma 2 is complete. □
Remark 3
We may prove in a similar manner the following statements:
- (a′):
-
If we replace the condition (a) in Lemma 2 ‘\(x^{ ( 2n-1 ) } ( t ) >0\) and \(( r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha-1} x^{ ( 2n-1 ) } ( t ) ) ^{\prime}\geq0\) for \(t\geq T\)’ with ‘\(x^{ ( 2n-1 ) } ( t ) <0\) and \(( r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha -1}x^{ ( 2n-1 ) } ( t ) ) ^{\prime}\leq0\) for \(t\geq T\)’, under the conditions (A), (B), and (C), then there exists some \(T_{1}\geq T\) such that \(x^{ ( 2n-2 ) } ( t ) <0\) for \(t\geq T_{1}\).
- (b′):
-
If we replace the condition (b) in Lemma 2 ‘\(x^{ ( i ) } ( t ) >0\) and \(x^{ ( i+1 ) } ( t ) \geq0\) for \(t\geq T\)’ with ‘\(x^{ ( i ) } ( t ) <0\) and \(x^{ ( i+1 ) } ( t ) \leq0\) for \(t\geq T\)’ under the conditions (A), (B), and (C), then there exists some \(T_{1}\geq T\) such that \(x^{ ( i-1 ) } ( t ) <0\) for \(t\geq T_{1}\).
Lemma 3
Let \(x=x ( t ) \) be a solution of (4) and suppose that the conditions (A), (B), and (C) hold.
-
(a)
If there exists some \(T\geq t_{0}\) such that \(x ( t ) >0\) and \(( r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha-1}x^{ ( 2n-1 ) } ( t ) ) ^{\prime }<0\) for \(t\geq T\), then \(x^{ ( 2n-1 ) } ( t ) >0\) for all sufficiently large t.
-
(b)
If there exist \(i\in \{ 1,2,\ldots,2n-1 \} \) and some \(T\geq t_{0}\) such that \(x ( t ) >0\) and \(x^{ ( i ) } ( t ) <0\) for \(t\geq T\), then \(x^{ ( i-1 ) } ( t ) >0\) for all sufficiently large t.
Proof
(a) We first prove that \(x^{ ( 2n-1 ) } ( t ) >0\) for any \(t_{k}\geq T\). If this is not true, then there exists some \(t_{j}\geq T\) such that \(x^{ ( 2n-1 ) } ( t_{j} ) \leq0\). Since \(r ( t ) >0\) and \(r ( t ) \vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha-1}x^{ ( 2n-1 ) } ( t ) \) is strictly decreasing on \(( t_{j+m-1},t_{j+m} ] \) for \(m=1,2,\ldots \) and for \(t\in ( t_{j},t_{j+1} ] \), we have
Let \(\beta=r ( t_{j} ) \vert x^{ ( 2n-1 ) } ( t_{j} ) \vert ^{\alpha-1}x^{ ( 2n-1 ) } ( t_{j} ) <0\), we have
Similarly, for \(t\in ( t_{j+1},t_{j+2} ] \), we have
We can easily prove that, for any positive integer \(n\geq1\) and \(t\in ( t_{j+n},t_{j+n+1} ] \), we have
Hence, \(x^{ ( 2n-1 ) } ( t ) <0\) for \(t\geq t_{j+1}\). By the result (a′) of Remark 2, for sufficiently large t, we have \(x^{ ( 2n-2 ) } ( t ) <0\). Using the result (b′) of Remark 2 repeatedly, for all sufficiently large t, we get \(x ( t ) <0\). This is contrary with \(x ( t ) >0\) for \(t\geq T\). Hence, we have \(x^{ ( 2n-1 ) } ( t_{k} ) >0\) for any \(t_{k}\geq T\). So we get \(x^{ ( 2n-1 ) } ( t ) >0\) for all sufficiently large t.
(b) We first prove that \(x^{ ( i-1 ) } ( t_{k} ) >0\) for any \(t_{k}\geq T\). If this is not true, then there exists some \(t_{j}\geq T\) such that \(x^{ ( i-1 ) } ( t_{j} ) <0\). Since \(x^{ ( i-1 ) } ( t ) \) is strictly monotony decreasing on \(( t_{j+n},t_{j+n+1} ] \) for \(n=0,1,2,\ldots \) and for \(t\in ( t_{j},t_{j+1} ] \), we have
Similarly, for \(t\in ( t_{j+1},t_{j+2} ] \), we have
We can easily prove that, for any positive integer \(n\geq2\) and \(t\in ( t_{j+n},t_{j+n+1} ] \), we have
Hence, \(x^{ ( i-1 ) } ( t ) <0\) for \(t\geq t_{j+1}\). By the result (b′) of Remark 2, for sufficiently large t, we have \(x^{ ( i-2 ) } ( t ) <0\). Similarly, by using the result (b′) of Remark 2 again, we can conclude that for all sufficiently large t, \(x ( t ) <0\). That is contrary with \(x ( t ) >0\) for \(t\geq T\). Hence, we have \(x^{ ( i-1 ) } ( t_{k} ) >0\) for any \(t_{k}\geq T\). So we get \(x^{ ( i-1 ) } ( t ) >0\) for all sufficiently large t. The proof of Lemma 3 is complete. □
Lemma 4
Let \(x=x ( t ) \) be a solution of (4). Suppose that \(T\geq t_{0}\) and \(x ( t ) >0\) for \(t\geq T\). If the conditions (A), (B), (C), and (D) hold, then there exist some \(T^{{\prime }}\geq T\) and \(l\in \{ 1,3,\ldots,2n-1 \} \) such that for \(t\geq T^{{\prime}}\),
Proof
Let \(x ( t ) >0\) for \(t\geq T\). We first prove that \(x^{ ( 2n-1 ) } ( t_{k} ) >0\) for any \(t_{k}\geq T\). If this is not true, then there exists some \(t_{j}\geq T\) such that \(x^{ ( 2n-1 ) } ( t_{j} ) \leq0\). By (4) and the condition (A), for \(t\in ( t_{j+m-1},t_{j+m} ]\), \(m=1,2,\ldots\) , we have
that is,
Let \(s ( t ) =\vert x^{ ( 2n-1 ) } ( t ) \vert ^{\alpha-1}x^{ ( 2n-1 ) } ( t ) \exp\int_{t_{j}}^{t} \frac{r^{{\prime}} ( s ) +q ( s ) }{r ( s ) }\,ds\), we have \(s^{\prime} ( t ) \leq0\), \(s ( t ) \) is monotonically decreasing on \(( t_{j+m-1},t_{j+m} ]\), \(m=1,2,\ldots\) .
For \(t\in ( t_{j},t_{j+1} ] \), we have
particularly, we have
Similarly, for \(t\in ( t_{j+1},t_{j+2} ] \), we have
By induction, for \(t\in ( t_{j+m-1},t_{j+m} ]\), \(m=1,2,\ldots\) , we obtain
Since \(s ( t ) \leq0\), \(s^{\prime} ( t ) \leq0\), \(s ( t ) \) is not always equal to 0 on any interval \([ t,\infty ) \), we have \(s ( t ) <0\) for sufficiently large t, therefore, we get \(x^{ ( 2n-1 ) } ( t ) <0\) for sufficiently large t, without loss of generality, we may let \(x^{ ( 2n-1 ) } ( t ) <0\) for \(t\geq t_{j}\). Let \(s ( t_{j} ) =-\gamma^{\alpha} \) (\(\gamma>0 \)), using (28), we have
By the above equality, we obtain
Noting that \(x^{ ( 2n-1 ) } ( t ) <0\) for \(t\geq t_{j}\), we can get
That is,
by Lemma 3, we have \(x^{ ( 2n-2 ) } ( t ) >0\) for sufficiently large t, without loss of generality, let \(x^{ ( 2n-2 ) } ( t ) >0\), \(t\geq t_{j}\). In view of the condition (B), we have
By (29) and (30), applying Lemma 1, we obtain
letting \(t\rightarrow\infty\), applying (31) and the condition (D), we get \(x^{ ( 2n-2 ) } ( t ) <0\), which is contracted with \(x^{ ( 2n-2 ) } ( t ) >0\), \(t\geq t_{j}\). So we have \(x^{ ( 2n-1 ) } ( t_{k} ) >0\) for any \(t_{k}\geq T\). Since \(x^{ ( 2n-1 ) } ( t ) >0\) for \(t\geq t_{j}\), here, without loss of generality, we may let \(x^{ ( 2n-1 ) } ( t ) >0\) for \(t\geq t_{0}\). Then \(x^{ ( 2n-2 ) } ( t ) \) is strictly increasing on \(( t_{k},t_{k+1} ] \). If for any \(t_{k}\), \(x^{ ( 2n-2 ) } ( t_{k} ) <0\), then \(x^{ ( 2n-2 ) } ( t ) <0\) for \(t\geq T_{1}\). If there exists some \(t_{j}\) such that \(x^{ ( 2n-2 ) } ( t_{j} ) \geq0\), since \(x^{ ( 2n-2 ) } ( t ) \) is strictly monotony increasing and \(a_{k}^{ [ 2n-2 ] }>0\), then \(x^{ ( 2n-2 ) } ( t ) >0\) for \(t>t_{j}\). Thus there exists \(T_{2}\geq T_{1}\) such that \(x^{ ( 2n-2 ) } ( t ) >0\) for \(t\geq T_{2}\). So one of the following statements holds:
- (A1):
-
\(x^{ ( 2n-1 ) } ( t ) >0\), \(x^{ ( 2n-2 ) } ( t ) >0\), \(t\geq T_{2}\);
- (B1):
-
\(x^{ ( 2n-1 ) } ( t ) >0\), \(x^{ ( 2n-2 ) } ( t ) <0\), \(t\geq T_{2}\).
If (A1) holds, by the result (b) of Lemma 2, \(x^{ ( 2n-3 ) } ( t ) >0\) for all sufficiently large t. Using the result (b) of Lemma 2 repeatedly, for all sufficiently large t, we can conclude that
If (B1) holds, by Lemma 3, we have for all sufficiently large t. Similarly, there exists some \(T_{3}\geq T_{2}\) such that one of the following statements holds:
- (A2):
-
\(x^{ ( 2n-3 ) } ( t ) >0\), \(x^{ ( 2n-4 ) } ( t ) >0\), \(t\geq T_{3}\);
- (B2):
-
\(x^{ ( 2n-3 ) } ( t ) >0\), \(x^{ ( 2n-4 ) } ( t ) <0\), \(t\geq T_{3}\).
Repeating the discussion above, we can see eventually that there exist some \(T^{{\prime}}\geq T\) and \(l\in \{ 1,3,\ldots,2n-1 \} \) such that for \(t\geq T^{{\prime}}\),
The proof is complete. □
Remark 4
We may prove in a similar manner the following statements.
If we replace the condition in Lemma 4 ‘\(x ( t ) >0\) for \(t\geq T\) ’ with ‘\(x ( t ) <0\) for \(t\geq T\)’, and under the conditions (A), (B), (C), and (D), then there exist some \(T^{{\prime }}\geq T\) and \(l\in \{ 1,3,\ldots,2n-1 \} \) such that, for \(t\geq T^{{\prime}}\),
5 Proofs of main theorems
We now turn to the proofs of Theorem 1 and Theorem 2.
Proof of Theorem 1
If (4) has a nonoscillatory solution \(x=x ( t ) \), without loss of generality, let \(x ( t ) >0\) (\(t\geq t_{0}\)). By Lemma 4, there exist \(T\geq t_{0}\) and an integer \(l\in \{ 1,3,\ldots,2n-1 \} \) such that for \(t\geq T\),
Let
We see that \(u ( t_{k}^{+} ) \geq0\) (\(k=1,2,\ldots\)), \(u ( t ) >0\) for \(t\geq T\). By (4), (33), and the condition (A), we get
It follows from the conditions (B), \(a_{k}^{ ( 0 ) }\geq1\), and \(\varphi^{{\prime}} ( x ) \geq0\) that
So we get
where \(t_{0,w}=t_{k}\) or \(t_{k}+\tau \) (\(t_{1}=t_{0,1}< t_{0,2}<\cdots <t_{0,w}<t_{0,w+1}<\cdots\)) and \(\theta_{0,w}\) is defined by (6). Applying Lemma 1, we obtain
It is easy to see from (5) and (38) that \(u ( t ) <0\) for sufficiently large t. This is contrary to \(u ( t ) >0\) for \(t\geq T\). Thus every solution of (4) is oscillatory. The proof of Theorem 1 is complete. □
Proof of Theorem 2
If (4) has a nonoscillatory solution \(x=x ( t ) \), without loss of generality, let \(x ( t ) >0\) (\(t\geq t_{0} \)). By Lemma 4, there exists \(T\geq t_{0}\) and an integer \(l\in \{ 1,3,\ldots,2n-1 \} \) such that for \(t\geq T\),
Let \(u ( t ) \) be defined by (34), then \(u ( t_{k}^{+} ) \geq0\) (\(k=1,2,\ldots\)), \(u ( t ) >0\) for \(t\geq T\).
By (4), and the condition (A), we also can get
It follows from the conditions (B), \(\varphi ( ab ) \geq \varphi ( a ) \varphi ( b ) \) (\(ab>0 \)), and \(\varphi^{{\prime}} ( x ) \geq0\) that
So we have
where \(t_{0,w}=t_{k}\) or \(t_{k}+\tau\) (\(t_{1}=t_{0,1}< t_{0,2}<\cdots <t_{0,w}<t_{0,w+1}<\cdots \)) and \(\mu_{0,w}\) is defined by (8). Applying Lemma 1, we obtain
It is easy to see from (7) and (42) that \(u ( t ) <0\) for sufficiently large t. This is contrary to \(u ( t ) >0\) for \(t\geq T\). Thus every solution of (4) is oscillatory. The proof of Theorem 2 is complete. □
References
Chen, Y, Feng, W: Oscillations of second order nonlinear ODE with impulses. J. Math. Anal. Appl. 210, 150-169 (1997)
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Wang, G: Oscillations of second order differential equations with impulses. Ann. Differ. Equ. 14, 295-306 (1998)
Peng, M, Ge, W: Oscillation criteria for second-order nonlinear differential equations with impulses. Comput. Math. Appl. 39, 217-225 (2000)
Luo, J, Debnath, L: Oscillation of second order nonlinear ODE with impulses. J. Math. Anal. Appl. 240, 105-114 (1999)
He, Z, Ge, W: Oscillations of second-order nonlinear impulsive ordinary differential equations. Comput. Appl. Math. 158, 397-406 (2003)
Liu, X, Xu, Z: Oscillations of a forced super-linear second order differential equation with impulses. Comput. Math. Appl. 53, 1740-1749 (2007)
Gopalsamy, K, Zhang, B: On delay differential equations with impulses. J. Math. Anal. Appl. 139, 110-122 (1989)
Bainov, DD, Domashlak, YI, Simeonov, PS: On the oscillation properties of first-order impulsive differential equations with deviating arguments. Isr. J. Math. 98, 167-187 (1997)
Zhang, Y, Zhao, A, Yan, J: Oscillatory criteria for impulsive delay differential equations. J. Math. Anal. Appl. 205, 461-470 (1997)
Bainov, DD, Dimitrova, M: Oscillation of sub-linear impulsive equations with constant delay. Appl. Anal. 64, 57-67 (1997)
Berezansky, L, Braverman, E: On oscillation of a second order impulsive linear delay differential equations. J. Math. Anal. Appl. 233, 276-300 (1999)
Feng, W, Chen, Y: Oscillations of second order functional differential equations with impulses. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 9, 367-376 (2002)
Agarwal, RP, Grace, SR, O’Regan, D: Oscillation Theory for Dynamic Equations. Taylor & Francis, London (2003)
Agarwal, RP, Berezansky, L, Braverman, E, Domoshnitsky, A: Nonoscillation Theory of Functional Differential Equations with Applications. Springer, New York (2012)
Zhang, C, Yang, J: Oscillations of higher order ordinary differential equation with impulses. Ann. Differ. Equ. 21, 616-628 (2005)
Zhang, C, Feng, W: Oscillations of higher order nonlinear ODE with impulses. Electron. J. Differ. Equ. 2006, 18 (2006)
Pan, L, Wang, G, Cheng, S: Oscillations of even order nonlinear differential equations with impulses. Funkc. Ekvacioj 50, 117-131 (2007)
Wen, K, Wang, G, Cheng, S: Oscillations of a higher order nonlinear differential equations with impulses. Demonstr. Math. 3, 575-603 (2010)
Pan, L: Oscillations of higher order nonlinear impulsive differential equations with damping. Appl. Math. J. Chin. Univ. Ser. A 22, 35-42 (2007) (in Chinese)
Wen, L, Chen, Y: Razumikhin type theorems for functional differential equation with impulses. Dyn. Contin. Discrete Impuls. Syst. 6, 389-400 (1999)
Grace, SR, Pinelas, S, Agarwal, RP: Oscillation criteria for nth order nonlinear dynamic equations on time-scales. J. Indian Math. Soc. 80, 79-85 (2013)
Grace, SR, Agarwal, RP, Zafer, A: Oscillation of higher order nonlinear dynamic equations on time scales. Adv. Differ. Equ. 2012, 67 (2012). doi:10.1186/1687-1847-2012-67
Agarwal, RP, Karakoc, F: A survey on oscillation of impulsive delay differential equations. Comput. Math. Appl. 60, 1648-1685 (2010)
Li, X, Bohner, M: An impulsive delay differential inequality and applications. Comput. Math. Appl. 64, 1875-1881 (2012)
Agarwal, RP, Karakoc, F, Zafer, A: A survey on oscillation of impulsive ordinary differential equations. Adv. Differ. Equ. 2010, 354841 (2010). doi:10.1155/2010/354841
Acknowledgements
The authors wish to express their sincere thanks to the anonymous referees and the handling editor for many constructive comments leading to the improved version of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed to each part of this work equally and read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wen, K., Wang, G. & Pan, L. Oscillations of even order half-linear impulsive delay differential equations with damping. J Inequal Appl 2015, 261 (2015). https://doi.org/10.1186/s13660-015-0791-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0791-4