 Research
 Open Access
 Published:
Oscillation of second order difference equation with several superlinear neutral terms
Advances in Difference Equations volume 2018, Article number: 345 (2018)
Abstract
In this article,we present some new sufficient conditions for the oscillation of all solutions of a second order difference equation with several superlinear neutral terms. The results obtained here extend or complement some of the known results reported in the literature. Examples illustrating the importance of the main results are included.
1 Introduction
This paper deals with the oscillatory behavior of solutions of second order difference equation with several superlinear neutral terms of the form
where \(z(n) = x(n) + \sum_{i = 1}^{m} p_{i}(n)x^{\alpha_{i}}(n  k _{i})\), subject to the following conditions:
 \((H_{1})\) :

\(\alpha_{i} \ge 1\) for \(i = 1, 2,\ldots, m\) and β are ratios of odd positive integers;
 \((H_{2})\) :

\(\{ a(n)\}\), \(\{ q(n)\}\), and \(\{ p_{i}(n)\}\) for \(i = 1, 2,\ldots, m\) are positive real sequences for \(n \ge n_{0}\);
 \((H_{3})\) :

ℓ and \(k_{i}\) (\(i = 1, 2,\ldots, m\)) are positive integers.
Let \(\theta = \max \{ \ell , k_{1},k_{2},\ldots, k_{m}\}\). By a solution of Eq. (1.1) we mean a real sequence \(\{ x(n)\}\) defined for \(n \ge n_{0}  \theta \) and satisfying Eq. (1.1) for all \(n \ge n_{0}\). We consider only those solutions \(\{ x(n)\}\) of Eq. (1.1) which satisfy \(\sup \{ \vert x(n) \vert :n \ge N\} > 0\) for all \(n \ge N\), and assume that Eq. (1.1) possesses such solutions. As usual, a solution of Eq. (1.1) is called oscillatory if it is neither eventually positive nor eventually negative; otherwise it is called nonoscillatory. If all the solutions are oscillatory, then the equation itself is called oscillatory.
In the past few years there has been an increasing interest in studying the oscillatory behavior of difference equations with linear neutral terms, see [1, 3, 7, 9, 10, 12, 13, 15, 16] and the references contained therein. As indicated by Hale [4], MacDonald [8], and others, neutral equations having a nonlinearity in the neutral arise in many applications in population dynamics, in the study of vibrating masses attached to an elastic bar, electic networks containing lossless transmission lines as in highspeed computers, and in the solutions of variational problems with time delays.
In view of the above discussion, in this paper we choose to examine the oscillatory behavior of such type of difference equations because similar properties for difference equations with linear neutral term received great attention of the researchers. The oscillatory behavior of second order difference equations with sublinear neutral term, that is, \(x^{\alpha } (n  k)\) with \(0 < \alpha < 1\), was studied in [2, 6, 14, 17, 18], and therefore in this paper we investigate the oscillatory properties of solutions of Eq. (1.1) with superlinear neutral terms, that is, \(x^{\alpha_{i}}(n  k_{i})\) with \(\alpha_{i} > 1\) for \(i = 1,2,\ldots,m\).
In [7], the author considered equation of the form
and studied its oscillatory behavior. In [5], the authors considered equation of the form
where \(\alpha > 1\) and \(\beta > 0\) and discussed the oscillatory behavior of solutions.
Recently, in [9, 15], the authors considered Eq. (1.1) with \(\alpha_{i} = 1\) for all \(i = 1, 2,\ldots, m\) and investigated the oscillatory behavior of all solutions in the two cases
and
Motivated by the above observations, in this paper, we have obtained some new sufficient conditions for the oscillation of all solutions of Eq. (1.1) by using a Riccati type transformation, a summation averaging technique, and a comparison method. Thus the results obtained in this paper are new and extend those reported in [5, 9, 10, 15–18]. Examples are provided to illustrate the importance of the main results.
2 Oscillation results
In this section, we obtain sufficient conditions for the oscillation of all solutions of Eq. (1.1). Due to the form of our equation, we only need to give proofs for the case of eventually positive nonoscillatory solutions since the proofs for negative nonoscillatory solutions would be similar.
We begin with the following lemma.
Lemma 2.1
Let \((H_{1})\)–\((H_{3})\) and condition (1.4) hold. If \(\{ x(n)\}\) is a positive solution of Eq. (1.1), then the corresponding function \(\{ z(n)\}\) satisfies
eventually.
Proof
The proof is similar to that of Lemma 1 of [18] and hence the details are omitted. □
Lemma 2.2
Let \(\{ x(n)\}\) be an eventually positive solution of Eq. (1.1), and suppose (2.1) holds. Then there is an integer \(N \ge n_{0}\) such that
where \(P(n) = \sum_{i = 1}^{m} M^{\alpha_{i}  1}p_{i}(n)R^{\alpha _{i}  1}(n)\) and \(R(n) = \sum_{s = N}^{n  1} \frac{1}{a(s)}\) for all \(n \ge N\) and for every constant \(M > 0\).
Proof
From \((H_{2})\) and the definition of \(z(n)\), we have \(z(n) \ge x(n)\) for all \(n \ge n_{1} \ge n_{0}\). Further, from (2.1), we have
and hence \(\Delta ( \frac{z(n)}{R(n)} ) < 0\) for all \(n \ge n_{1}\). That is, \(\frac{z(n)}{R(n)}\) is decreasing for all \(n \ge n_{1}\). Now
where we have used \(z(n)\) is increasing and \(\frac{z(n)}{R(n)} \le M\) for all \(n \ge N \ge n_{1}\). □
Lemma 2.3
Let \((H_{1})\)–\((H_{3})\) and condition (1.5) hold. If \(\{ x(n)\}\) is a positive solution of Eq. (1.1), then the corresponding sequence \(\{ z(n)\}\) satisfies one of the following two cases for all sufficiently large n:

(1)
\(z(n) > 0\), \(\Delta z(n) > 0\), \(\Delta (a(n)\Delta z(n)) < 0\),

(2)
\(z(n) > 0\), \(\Delta z(n) < 0\), \(\Delta (a(n)\Delta z(n)) < 0\).
Proof
The proof is similar to that of Lemma 2.1 of [15] and hence the details are omitted. □
Lemma 2.4
Let \(\{ x(n)\}\) be a positive solution of Eq. (1.1) and the corresponding function \(\{ z(n)\}\) satisfies Case (2) of Lemma 2.3. Then there exists an integer \(N \ge n_{0}\) such that
where
and
and for all constants \(K > 0\).
Proof
From \((H_{2})\) and the definition of \(z(n)\), we have \(z(n) \ge x(n)\) for all \(n \ge n_{1} \ge n_{0}\). Further, from Case (2) of Lemma 2.3, we have
Summing the last inequality from n to j, we obtain
and then letting \(j \to \infty \), we obtain
Hence \(\Delta ( \frac{z(n)}{A(n)} ) \ge 0\) for all \(n \ge n_{1}\), and therefore \(\frac{z(n)}{A(n)}\) is increasing for all \(n \ge n_{1}\). From the definition of \(z(n)\), we have
where we have used \(\frac{z(n)}{A(n)} \ge K\) and \(\alpha_{i} > 1\) for \(i = 1, 2,\ldots, m\) and for all \(n \ge N\). □
We begin with the following oscillation result.
Theorem 2.1
Assume that \((H_{1})\)–\((H_{3})\) and (1.4) hold. If \((1  P(n + 1  \ell )) > 0\) for all \(n \ge N \ge n_{0}\) and
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
Let \(\{ x(n)\}\) be a positive solution of Eq. (1.1), say \(x(n) > 0\), \(x(n  k_{i}) > 0\) and \(x(n + 1  \ell ) > 0\) for \(i = 1, 2,\ldots, m\) and for all \(n \ge n_{1} \ge n_{0}\). From the definition \(z(n)\), we have \(z(n) > 0\) for all \(n \ge N \ge n_{1}\), where N is chosen so that (2.1) holds for all \(n \ge N\). From Lemma 2.2 and Eq. (1.1), we have
Summing the last inequality from N to n, we obtain
Since \(z(n) \ge M > 0\), the last inequality contradicts (2.5) as \(n \to \infty \). This completes the proof. □
In the next theorem, we reduce the oscillation of Eq. (1.1) to that of a first order delay difference equation.
Theorem 2.2
Assume that \((H_{1})\)–\((H_{3})\) and (1.4) hold. If \((1  P(n + 1  \ell )) > 0\) for all \(n \ge n_{0}\) and the delay difference equation
is oscillatory, then every solution of Eq. (1.1) is oscillatory.
Proof
Let \(\{ x(n)\}\) be a positive solution of Eq. (1.1), say \(x(n) > 0\), \(x(n  k_{i}) > 0\) and \(x(n + 1  \ell ) > 0\) for \(i = 1, 2,\ldots, m\) and for all \(n \ge n_{1} \ge n_{0}\). Proceeding as in the proof of Theorem 2.1, we obtain (2.6). Now, using \(z(n) \ge R(n)a(n) \Delta z(n)\), we have
for \(n \ge N \ge n_{1}\). Set \(w(n) = a(n)\Delta z(n)\). Then \(\{ w(n)\}\) is a positive solution of the inequality
It follows from Lemma 2.7 of [16] that the corresponding Eq. (2.7) also has a positive solution, which is a contradiction. The proof is now complete. □
Remark 2.1
Employing sufficient conditions for the oscillation of all solutions of Eq. (2.7) for different values of β, one can obtain easily verifiable criteria for the oscillation of all solutions of Eq. (1.1).
Corollary 2.1
Assume \((H_{1})\)–\((H_{3})\) and (1.4) hold. If \(\beta = 1\), \(\ell \ge 2\) and
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
Condition (2.8) and Theorem 7.5.1 of [3] imply oscillation of Eq. (2.7). The assertion now follows from Theorem 2.2. This completes the proof. □
Corollary 2.2
Assume \((H_{1})\)–\((H_{3})\) and (1.4) hold. If \(\beta < 1\), \(\ell \ge 2\) and
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
Condition (2.9) and Theorem 1 of [11] imply oscillation of Eq. (2.7). The assertion now follows from Theorem 2.2, and this completes the proof. □
Corollary 2.3
Assume that \((H_{1})\)–\((H_{3})\) and (1.4) hold. If \(\beta > 1\), \(\ell \ge 2\), and there exists \(\lambda > \frac{1}{\ell  1}\ln \beta \) such that
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
Condition (2.10) and Theorem 2 of [11] imply oscillation of Eq. (2.7). The assertion now follows from Theorem 2.2. This completes the proof. □
Our next results are for the case where (1.5) holds in place of (1.4). We will also need the condition
for all \(n \ge N \ge n_{0}\).
Theorem 2.3
Let \(\beta > 1\), and \((H_{1})\)–\((H_{3})\), (1.5) and (2.11) hold. If there exists a positive nondecreasing real function \(\{ \rho (n)\}\) such that
and
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
Let \(\{ x(n)\}\) be a positive solution of Eq. (1.1) such that \(x(n) > 0\), \(x(n  k_{i}) > 0\) and \(x(n + 1  \ell ) > 0\) for \(i = 1, 2,\ldots, m\) and for all \(n \ge n_{1} \ge n_{0}\). From the definition of \(z(n)\), we have \(z(n) > 0\) for all \(n \ge N \ge n_{1}\), where N is chosen so that two cases of Lemma 2.3 hold for all \(n \ge N\). We shall show that in each case we are led to a contradiction.
Case (1) From the proof of Theorem 2.1, we see that (2.6) holds. Since \(z(n)\) is increasing and \(A(n)\) is decreasing and tending zero, we have \(z(n) \ge A(n)\) for all \(n \ge N\). Using this in (2.6), we obtain
for all \(n \ge N\) since \(\beta > 1\). Define
Then \(w(n) > 0\) for all \(n \ge N\), and using (2.14), we obtain
Applying the completing the square and then summing the resulting inequality, we obtain
Letting \(n \to \infty \) in the above inequality, we get a contradiction with (2.12).
Case (2) From Eqs. (1.1) and (2.4), we have
Summing the last inequality from N to \(n  1\), we obtain
Summing again the last inequality, we get
Since \(\frac{z(n)}{A(n)}\) is increasing, there exists a constant \(M > 0\) such that \(\frac{z(n)}{A(n)} \ge M\) for all \(n \ge N\). Using this in (2.15) and letting \(n \to \infty \), we obtain a contradiction with (2.13). This completes the proof. □
Theorem 2.4
Let \(\beta = 1\), and \((H_{1})\)–\((H_{3})\), (1.5) and (2.11) hold. If there exists a positive nondecreasing function \(\{ \rho (n)\}\) such that
and
hold, then every solution of Eq. (1.1) is oscillatory.
Proof
The proof is similar to that of Theorem 2.3, and hence it is omitted. □
Theorem 2.5
Let \(0 < \beta < 1\), and \((H_{1})\)–\((H_{3})\), (1.5) and (2.11) hold. If conditions (2.9) and (2.13) hold, then every solution of Eq. (1.1) is oscillatory.
Proof
The proof follows from Corollary 2.2 and Theorem 2.3, and hence the details are omitted. □
3 Examples
In this section, we present some examples to illustrate the main results.
Example 3.1
Consider the second order neutral difference equation
Here \(a(n) = \frac{1}{n + 1}\), \(p_{1}(n) = \frac{1}{n^{5}}\), \(p_{2}(n) = \frac{1}{n ^{9}}\), \(q(n) = n^{2}\), \(\alpha_{1} = 3\), \(\alpha_{2} = 5\), \(\beta = \frac{5}{3}\), \(k_{1} = 2\), \(k_{2} = 1\), and \(\ell = 2\). Now \(R(n) = ( \frac{n^{2} + n  2}{2} ) \), \(P(n) = \frac{M^{2}}{n^{5}} ( \frac{n ^{2} + n  2}{2} ) ^{2} + \frac{M^{4}}{n^{9}} ( \frac{n^{2} + n  2}{2} ) ^{4}\), and \((1  P(n)) \ge 1  \frac{M^{2}}{4n}  \frac{M ^{4}}{16n} > 0\) for all \(n \ge N\) where N is sufficiently large. Further condition (2.5) becomes
Hence all the conditions of Theorem 2.1 are satisfied, and therefore every solution of Eq. (3.1) is oscillatory.
Example 3.2
Consider the second order neutral difference equation
Here \(a(n) = 1\), \(p_{1}(n) = \frac{1}{2^{n}}\), \(p_{2}(n) = \frac{1}{3^{n}}\), \(q(n) = 3^{n}\), \(\alpha_{1} = \frac{7}{3}\), \(\alpha_{2} = 3\), \(\beta = \frac{1}{3}\), \(k_{1} = 1\), \(k_{2} = 2\), and \(\ell = 2\). Now \(R(n) = n\), \(P(n) = \frac{M^{\frac{4}{3}}}{2^{n}}n^{\frac{4}{3}} + \frac{M^{2}}{3^{n}}n^{2}\), and \((1  P(n)) \ge ( 1  \frac{(M ^{\frac{4}{3}} + M^{2})}{3^{n}}n^{2} ) > 0\) for \(n \ge N\) where N is sufficiently large. Further condition (2.9) becomes
Hence all the conditions of Corollary 2.2 are satisfied, and therefore every solution of Eq. (3.2) is oscillatory.
Example 3.3
Consider the second order neutral difference equation
Here \(a(n) = n(n + 1)\), \(p_{1}(n) = \frac{1}{n^{3}}\), \(p_{2}(n) = \frac{1}{n ^{4}}\), \(q(n) = n^{3}\), \(\alpha_{1} = \frac{5}{3}\), \(\alpha_{2} = \frac{7}{3}\), \(\beta = 3\), \(k_{1} = 1\), \(k_{2} = 2\), and \(\ell = 2\). Now \(R(n) = \frac{n  1}{n}\) and \(A(n) = \frac{1}{n}\). Then
and
where N is sufficiently large. By choosing \(\rho (n) = 1\), we see that condition (2.12) becomes
Also condition (2.13) becomes
Hence all the conditions of Theorem 2.3 are satisfied, and therefore every solution of Eq. (3.3) is oscillatory.
4 Conclusions
In this paper, by using the Riccati transformation, the summation averaging technique and a new comparison theorem, we prove some suffcient conditions which are new, extend and complement some of the results established in [2, 5, 6, 9, 10, 12–18] either for the case \(m = 1\) or for the case \(\alpha_{i}= 1\) for \(i = 1,2,3,\ldots,m\). In particular, the results presented in [9, 15] cannot be applied to Eqs. (3.1) to (3.3) since \(\alpha_{1} \ne 1\) and \(\alpha_{2} \ne 1\). Further condition (2.11) is somewhat restrictive, and it implies that we must have \(\{p_{i}(n)\} \rightarrow 0\) as \(n \rightarrow \infty \) for \(i = 1,2,\ldots,m\). It would be good to obtain a result that did not require this added condition.
References
Agarwal, R.P., Bohner, M., Grace, S.R., O’Regan, D.: Discrete Oscillation Theory. Hindawi Pub. Corp., New York (2005)
Dharuman, C., Graef, J.R., Thandapani, E., Vidhyaa, K.S.: Oscillation of second order difference equation with a sublinear neutral term. J. Math. Appl. 40, 59–67 (2017)
Gyori, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendon, Oxford (1991)
Hale, J.K.: Theory of Functional Differential Equations. Springer, New York (1977)
Kamaraj, B., Vasuki, R.: Oscillation of second order difference equation with a superlinear neutral term. J. Adv. Math. Comput. Sci. 23, 1–10 (2017)
Kamaraj, B., Vasuki, R.: Some oscillation results for second order difference equation with a sublinear neutral term. Pac.Asian J. Math. 4, 100–109 (2017)
Liu, X.: Oscillation of solutions of neutral difference equations with nonlinear term. Comput. Math. Appl. 52, 439–448 (2006)
MacDonald, N.: Biological Delay Systems: Linear Stability Theory. Cambridge University Press, Cambridge (1989)
Selvarangam, S., Rupadevi, S.A., Thandapani, E.: Oscillation theorems for second order quasilinear difference equations with linear neutral terms. Transylv. J. Math. Mech. 9, 63–72 (2017)
Sun, Y.G., Saker, S.H.: Oscillation of second order nonlinear neutral delay differene equaitons. Appl. Math. Comput. 163, 909–918 (2005)
Tang, X.H., Liu, Y.: Oscillation for nonlinear delay difference equations. Tamkang J. Math. 32, 275–280 (2001)
Thandapani, E., Mahalingam, K.: Necessary and sufficient conditions for oscillation of second order neutral difference equation. Tamkang J. Math. 34, 137–145 (2003)
Thandapani, E., Mahalingam, K., Graef, J.R.: Oscillatory and asymptotic behavior of second order neutral type difference equations. Int. J. Pure Appl. Math. 6, 217–230 (2003)
Thandapani, E., Pandian, S., Balasubramanian, R.K.: Oscillation of solutions of nonlinear neutral difference equations with nonlinear neutral term. Far East J. Appl. Math. 15, 47–62 (2004)
Thandapani, E., Seghar, D., Selvarangam, S.: Oscillation of second order quasilinear difference equations with several neutral terms. Transylv. J. Math. Mech. 7, 67–74 (2015)
Thandapani, E., Selvarangam, S.: Oscillation theorems of second order quasilinear neutral difference equations. J. Math. Comput. Sci. 2, 866–879 (2012)
Yildiz, M.K., Ogunmez, H.: Oscillation results of higher order nonlinear neutral delay difference equations with a nonlinear neutral term. Hacet. J. Math. Stat. 43, 809–814 (2004)
Zhang, Z., Chen, J., Zhang, C.: Oscillation of solutions for second order nonlinear difference equations with nonlinear neutral term. Comput. Math. Appl. 41, 1487–1494 (2001)
Acknowledgements
The authors are grateful to the anonymous referee for his suggestions, which have greatly improved the presentation of the paper.
Funding
This research work is not supported by any funding agencies.
Author information
Authors and Affiliations
Contributions
Both the authors have made equal contribution. Both the authors read and approved the final manuscript.
Corresponding author
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.
About this article
Cite this article
Banu, S.M., Nalini, S. Oscillation of second order difference equation with several superlinear neutral terms. Adv Differ Equ 2018, 345 (2018). https://doi.org/10.1186/s1366201818065
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201818065
MSC
 39A11
Keywords
 Second order
 Difference equation
 Superlinear neutral terms
 Oscillation