 Research
 Open Access
 Published:
On the oscillation of higher order nonlinear neutral difference equations
Advances in Difference Equations volume 2019, Article number: 275 (2019)
Abstract
In this paper, we shall investigate some oscillation criteria for the solutions of mthorder nonlinear neutral difference equation where \(m\geq 1\). The results presented here complement some of the known results reported in the literature. Examples are included to illustrate the importance of the main results.
Introduction
In this paper, we are concerned with the following higher order neutral difference equation:
where \(m\geq 1\) and Δ is the forward difference operator defined by
Throughout this paper, we assume the following conditions to hold:

(H1)
\(\{q (n ) \}\) is a realvalued sequence with \(q (n )\geq 0,n\in N\) and \(\{q (n ) \}\) is not identically zero.

(H2)
\(\{p (n ) \}\) is a realvalued sequence with \(0 \leq p (n )<1,n\in N\).

(H3)
\(\{\tau (n ) \}\) and \(\{\sigma (n ) \}\) are nondecreasing sequences such that \(\tau (n )< n\) with \(\lim_{n\rightarrow +\infty }\tau (n )=+\infty \) and \(\sigma (n )< n\) with \(\lim_{n\rightarrow +\infty }\sigma (n )=+\infty \).

(H4)
\(f:R\rightarrow R\) is a nondecreasing continuous function such that \(xf (x )>0\) for \(x\neq 0\) and
$$\begin{aligned} f (xy )\geq f (xy )\geq f (x )f (y ). \end{aligned}$$(1.2)
The factorial expression is defined as \((r )^{ (s )}= \prod_{i=0}^{s1} (ri )\) with \((r ) ^{ (0 )}=1\) for all \(r\in R= (\infty , \infty )\) and s, a nonnegative integer.
Let \(N_{0}\) be a fixed nonnegative integer. By a solution of equation (1.1), we mean a nontrivial real sequence \(\{x (n ) \}\) which is defined for all \(n\geq \min_{i\geq 0} \{\tau (i ),\sigma (i ) \}\) and satisfies equation (1.1) for \(n\geq N_{0}\). A solution \(\{x (n ) \}\) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise it is called nonoscillatory. A difference equation is said to be oscillatory if all of its solutions are oscillatory. Otherwise, it is nonoscillatory.
In recent years, the oscillation behavior of neutral difference equations has been studied vigorously, for example, see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26] and the references cited therein. This is because of the fact that neutral difference equations find various applications in some variational problems, in natural science and technology.
Agarwal et al. [5] considered the \(m{th}\) order neutral difference equation
and discussed some oscillation theorems for (1.3), when m is odd, for which every solution of (1.3) either oscillates or tends to zero as \(n\rightarrow \infty \).
In [4], Agarwal and Grace considered the higher order difference equation
and obtained some sufficient conditions for the oscillation of all solutions of (1.4).
Yasar Bolat et al. [9] have taken even order nonlinear neutral difference equation
and established some criteria for oscillation of bounded solutions only.
Therefore, it is to be noted that, to the best of our knowledge, there is no paper for higher order nonlinear neutral difference equations which ensures that all the solutions are oscillatory when m is odd. Following this notion, our aim in this paper is to provide sufficient conditions which ensure that all solutions of (1.1) are oscillatory.
To obtain our results, we shall need the following lemma.
Lemma 1.1
(see [1])
Let \(x (n )\) be defined for \(n\geq n_{0}\in N\) and \(x (n )>0\) with \(\Delta ^{n} x (n )\) of constant sign for \(n\geq n_{0}\) and not identically zero. Then there exists an integer l, \(0\leq l\leq m\), with \((m+l )\) odd for \(\Delta ^{m} x (n )\leq 0\) and \((m+l )\) even for \(\Delta ^{m} x (n )\geq 0\) eventually such that

(i)
\(l \leq m1\) implies \((1 )^{l+k}\Delta ^{k} x (n )>0\) for all \(n\geq n_{0}\), \(l \leq k\leq m1\).

(ii)
\(l \geq 1\) implies \(\Delta ^{k} x (n )>0\) for all large \(n\geq n_{0}\), \(1 \leq k\leq l1\).
Main results
To obtain the main results, we shall use the following notations.
For all large \(n\geq n_{0}>0\), let
for some nondecreasing function \(\eta (n )\) with \(\sigma (n )<\eta (n )\leq n, n\geq n_{0}\).
Then we shall discuss the following theorems.
Theorem 2.1
Assume that conditions (H1)–(H4) hold and
Let m be odd. If all the second order equations
for \(n\geq n_{0}\) are oscillatory and if there exists a nondecreasing sequence \(\{\eta (n ) \}\) with \(\sigma (n )< \eta (n )\leq n, n\geq n_{0}\) such that the first order difference equation
is oscillatory, then every solution of equation (1.1) oscillates.
Theorem 2.2
Assume that conditions (H1)–(H4) and (2.1) hold. Let m be even. If all the second order equations (2.2), \(j\in \{1,3,\ldots,m3 \}\) and
for \(n\geq n_{0}\) are oscillatory, then every solution of equation (1.1) oscillates.
Proofs of Theorems 2.1 and 2.2
Let \(\{x (n ) \}\) be a nonoscillatory solution of (1.1). Without loss of generality, assume that \(x (n )>0, x (\tau (n ) )>0, x (\sigma (n ) )>0\) for all \(n\geq n_{0}\geq 0\).
Let
Then (1.1) becomes
From Lemma 1.1, it is easy to check
Also, from (2.5), we have \(\Delta ^{m} z (n )\leq 0\) eventually.
So, \(z (n )\) satisfies Lemma 1.1 for some \(l\in \{1,2,\ldots,m3 \}\) and \((l+m )\) odd. Also, by Lemma 1.1, \(\Delta z (n )>0\). Since \(z (n )\) is increasing, we have
That is,
Now the following three cases are considered: \(l\in \{1,2,\ldots,m3 \}, l=m1, l=0\).
Case (i): \(l\in \{1,2,\ldots,m3 \}\). From discrete Taylor’s formula, we have
for \(s \geq n\geq n_{1}\). Using Lemma 1.1 in (2.8), we obtain
Summing up equation (1.1) from r to \(u1\) and letting \(u\rightarrow \infty \), we have
Substituting (2.10) in (2.9), we have
Using (2.7) and (1.2) in (2.11), we get
From (2.10), we can see that
Hence from (2.1), we get
Consider the equality
with \(l\in \{1,2,\ldots,m1 \}\) and \((l+m )\) is odd.
Now from the above, there exists an integer \(n\geq n _{3}\geq n_{2}\) such that
and
Then we can find an integer \(N\geq n_{3}\) such that
Using (2.16) in (2.12), we have
That is,
Let \(y (n )=\Delta ^{l1}z (n )\).
Then \(y (n )>0\) for \(n\geq N\) and the above inequality becomes
Thus the last inequality has an eventually positive solution. By a wellknown result in [14, p. 186, Corollary 7.6.1], we can see that the equation
also has an eventually positive solution, which contradicts our assumption.
Case (ii): \(l=m1\). Substituting \(l=m1\) in inequality (2.16), we get
From (1.1), (1.2), (2.7), and the above inequality, we have
Set \(u (n )=\Delta ^{m2}z (n )>0\) for \(n\geq n_{1}\).
Then the above inequality becomes
That is,
which has an eventually positive solution. Thus we get a contradiction as in Case (i).
Case (iii): \(l=0\). In this case, m is odd. From discrete Taylor’s formula, we have
Considering Lemma 1.1 with \(l=0\) and using this in the above equation, we get
Then we can find an integer \(n_{2}\geq n_{1}\) and a nondecreasing function \(\eta (n )\) with \(\sigma (n )<\eta (n )\leq n\) such that
From (1.1), (1.2), (2.7), and (2.17), we have
Let \(v (n )= \Delta ^{m1} z (\eta (n ) )\). Then \(v (n )>0\) for \(n\geq n_{2}\), and the above inequality becomes
for which an eventually positive solution exists. By a wellknown result in [14, p. 186, Corollary 7.6.1], we have equation (2.3) also has an eventually positive solution, which contradicts our assumption. This completes the proof. □
Example 2.3
Consider the third order difference equation
Here, \(0\leq p (n )=\frac{1}{2}<1\), \(q (n )=4n\), \(\tau (n )=n1< n\), \(\sigma (n )=n2< n\), and \(f (u )=\frac{u}{n}\).
Also,
We can easily see that all the conditions of Theorem 2.1 are satisfied, and hence all the solutions of equation (E1) are oscillatory.
One of such solutions is \(x (n )= (1 )^{n}\).
Example 2.4
Consider the second order difference equation
Here, \(0\leq p (n )=\frac{1}{4}<1\), \(q (n )= \frac{5n+3}{n1}\), \(\tau (n )=n2< n\), \(\sigma (n )=n1< n\), and \(f (u )=u\).
Also,
We check that all the conditions of Theorem 2.2 are satisfied. In fact, \(x (n )=n (1 )^{n}\) is an oscillatory solution of (E2).
Next we shall present the following theorems.
Theorem 2.5
Assume that conditions (H1)–(H4) and (2.1) hold. Let m be odd. If
for \(j\in \{2,4,\ldots,m1 \}\) and if there exists a nondecreasing sequence \(\{\eta (n ) \}\) with \(\sigma (n )<\eta (n )\leq n, n\geq n_{0}\) such that equation (2.3) is oscillatory, then every solution of equation (1.1) oscillates.
Theorem 2.6
Assume that conditions (H1)–(H4) and (2.1) hold. Let m be even. If condition (2.18), \(j\in \{1,3,\ldots,m3 \}\) holds for all large n and if
then all the solutions of (1.1) are oscillatory.
Proofs of Theorems 2.5 and 2.6
Assume that \(\{x (n ) \}\) is a nonoscillatory solution of (1.1). Without loss of generality, assume that \(x (n )>0, x (\tau (n ) )>0, x (\sigma (n ) )>0\) for all \(n\geq n_{0}\geq 0\).
Let
Proceeding as in the proof of Theorems 2.1 and 2.2, we get the following three cases: \(l\in \{1,2,\ldots,m3 \}, l=m1, l=0\).
Case (i): \(l\in \{1,2,\ldots,m3 \}\). From discrete Taylor’s formula, we have
for \(s \geq n\). Using (1.2), (2.7), (2.10), and Lemma 1.1 in (2.20), we obtain
From (2.15), there exist \(n_{2}\geq n_{1}\) and a positive constant \(c>0\) such that
and
Using (2.22) and (2.23) in (2.21), we get
which contradicts (2.18).
Case (ii): \(l=m1\). Summing up equation (1.1) from r to \(u1\) and letting \(u\rightarrow \infty \), we have
Using (2.22) and (2.23) in (2.24), we get a contradiction to (2.19).
Case (iii): \(l=0\). The proof for this case is similar to the proof of Case (iii) in Theorems 2.1 and 2.2 and is hence omitted. This completes the proof. □
Example 2.7
Consider the first order difference equation
Here, \(0\leq p (n )=\frac{3}{4}<1\), \(q (n )= \frac{1}{2}\), \(\tau (n )=n1< n\), \(\sigma (n )=n2< n\), and \(f (u )=u\).
We can find that all the hypotheses of Theorem 2.5 are fulfilled. Also, equation (E3) has an oscillatory solution given by \(x (n )=\frac{ (1 )^{n}}{2}\).
Example 2.8
Consider the fourth order difference equation
Here, \(0\leq p (n )=\frac{1}{2}<1\), \(q (n )=8 (n+2 )\), \(\tau (n )=n1< n\), \(\sigma (n )=n1< n\), and \(f (u )=\frac{u}{n+2}\).
It is noted that all the conditions of Theorem 2.6 are satisfied. Also, we can find an oscillatory solution given by \(x (n )= (1 ) ^{n}\) for equation (E4).
Conclusion
In this paper, by using discrete Taylor’s formula, the summing averaging technique, and the comparison method, the oscillatory behavior of every solution of equation (1.1) is discussed in Theorems 2.1 and 2.2, Theorems 2.5 and 2.6. Here, some sufficient conditions are proved. These sufficient conditions, which are new, extend and complement some of the known results in the literature. Also, the examples reveal the illustration of the proved results.
References
 1.
Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods and Applications, 2nd edn. New York (2000)
 2.
Agarwal, R.P., Bohner, M., Grace, S.R., O’Regan, D.: Discrete Oscillation Theory. CMIA Book Series, vol. 1
 3.
Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic Publishers, Dordrecht (2000)
 4.
Agarwal, R.P., Grace, S.R., O’Regan, D.: On the oscillation of higher order difference equations. Soochow J. Math. 31(2), 245–259 (2005)
 5.
Agarwal, R.P., Thandapani, E., Wong, P.J.Y.: Oscillations of higher order neutral difference equations. Appl. Math. Lett. 10(1), 71–78 (1997)
 6.
Agarwal, R.P., Wong, P.J.Y.: Advanced Topics in Difference Equations. Kluwer Academic Publishers, Dordrecht (1997)
 7.
Bohner, M., Grace, S.R., Sager, I., Tunc, E.: Oscillation of thirdorder nonlinear damped delay differential equations. Appl. Math. Comput. 278, 21–32 (2016)
 8.
Bolat, Y., Akin, O.: Oscillatory behaviour of a higher order nonlinear neutral type functional difference equation with oscillating coefficients. Appl. Math. Lett. 17, 1073–1078 (2004)
 9.
Bolat, Y., Akin, O., Yildirim, H.: Oscillation criteria for a certain even order neutral difference equation with an oscillating coefficient. Appl. Math. Lett. 22, 590–594 (2009)
 10.
Grace, S.R., Graef, J.R., Panigrahi, S., Tunc, E.: On the oscillatory behavior of even order neutral delay dynamic equations on timescales. Electron. J. Qual. Theory Differ. Equ. 2012, 96 (2012)
 11.
Grace, S.R., Graef, J.R., Tunc, E.: On the oscillation of certain third order nonlinear dynamic equations with a nonlinear damping term. Math. Slovaca 67(2), 501–508 (2017)
 12.
Graef, J.R., Grace, S.R., Tunc, E.: Oscillation of evenorder advanced functional differential equations. Publ. Math. (Debr.) 93(3–4), 445–455 (2018)
 13.
Graef, J.R., Grace, S.R., Tunc, E.: Oscillatory behavior of evenorder nonlinear differential equations with a sublinear neutral term. Opusc. Math. 39(1), 39–47 (2019)
 14.
Gyori, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendon Press, Oxford (1991)
 15.
Kaleeswari, S., Selvaraj, B., Thiyagarajan, M.: A new creation of mask from difference operator to image analysis. J. Theor. Appl. Inf. Technol. 69(1), 211–218 (2014)
 16.
Kaleeswari, S., Selvaraj, B., Thiyagarajan, M.: Removing noise through a nonlinear difference operator. Int. J. Appl. Eng. Res. 9(21), 5100–5105 (2014)
 17.
Kelley, W.G., Peterson, A.C.: Difference Equations an Introduction with Applications. Academic Press, Boston (1991)
 18.
Ladas, G., Philos, C.G., Sficas, Y.G.: Sharp conditions for the oscillation of delay difference equations. J. Appl. Math. Simul. 2, 101–111 (1989)
 19.
Luo, Z., Shen, J.: New results for oscillation of delay difference equations. Comput. Math. Appl. 41, 553–561 (2001)
 20.
Selvaraj, B., Gomathi Jawahar, G.: New oscillation criteria for first order neutral delay difference equations. Bull. Pure Appl. Sci. 30E, 103–108 (2011)
 21.
Selvaraj, B., Kaleeswari, S.: Oscillation of solutions of certain fifth order difference equations. J. Comput. Math. Sci. 3(6), 653–663 (2012)
 22.
Selvaraj, B., Kaleeswari, S.: Oscillation of solutions of certain nonlinear difference equations. Prog. Nonlinear Dyn. Chaos 1, 34–38 (2013)
 23.
Selvaraj, B., Kaleeswari, S.: Oscillation theorems for certain fourth order nonlinear difference equations. Int. J. Math. Res. 5(3), 299–312 (2013)
 24.
Selvaraj, B., Kaleeswari, S.: Oscillation of solutions of second order nonlinear difference equations. Bull. Pure Appl. Sci. 32E, 107–117 (2013)
 25.
Selvaraj, B., Mohankumar, P., Ananthan, V.: Oscillatory and nonoscillatory behavior of neutral delay difference equations. Int. J. Nonlinear Sci. 13(4), 472–474 (2012)
 26.
Thandapani, E., Selvaraj, B.: Existence and asymptotic behavior of non oscillatory solutions of certain nonlinear difference equations. Far East J. Math. Sci.: FJMS 14(1), 9–25 (2004)
Acknowledgements
The author would like to thank the referees for the helpful suggestions to improve the presentation of the paper.
Funding
This research work is not supported by any funding agencies.
Author information
Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Correspondence to S. Kaleeswari.
Ethics declarations
Competing interests
The author has declared that no competing interests exist.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Higher order
 Neutral difference equations
 Nonlinear
 Oscillation