- Research
- Open access
- Published:

# New oscillation theorems for second order quasi-linear difference equations with sub-linear neutral term

*Advances in Difference Equations*
**volumeÂ 2018**, ArticleÂ number:Â 472 (2018)

## Abstract

In this paper, the authors obtain some new sufficient conditions for the oscillation of all solutions of the second order neutral difference equation

where \(z_{n} = x_{n} + p_{n}x_{n - k}^{\alpha} \). The established results extend, unify and improve some of the results reported in the literature. Examples are provided to illustrate the importance of the main results.

## 1 Introduction

Consider a quasi-linear neutral delay difference equation of the form

where \(z_{n} = x_{n} + p_{n} x_{n - k}^{\alpha} \), and \(\mathbb{N} ( n_{0} ) = \{ n_{0},n_{0} + 1, \ldots \}\), \(n_{0}\) is a non-negative integer, subject to the following conditions:

- (H
_{1}): -
\(\{ a_{n} \}\) is a positive real sequence such that \(\sum_{n = n_{0}}^{\infty} \frac{1}{a_{n}^{1/\beta}} = \infty\);

- (H
_{2}): -
\(\{ p_{n} \}\) and \(\{ q_{n} \}\) are positive real sequences for all \(n \in \mathbb{N} ( n_{0} )\) and \(p_{n} \to 0\) as \(n \to \infty\);

- (H
_{3}): -
*k*and*â„“*are positive integers; - (H
_{4}): -
\(\alpha \in (0,1],\beta\) and

*Î³*are ratio of odd positive integers.

Let \(\theta = \max \{ k,\ell \}\). 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 \in \mathbb{N} ( n_{0} )\). As usual, a nontrivial solution of Eq.Â (1.1) is said to be oscillatory if the terms of the sequence are neither eventually positive nor eventually negative and nonoscillatory otherwise.

Neutral type equations arise in a number of important applications in natural sciences and technology; see [7, 13]. Hence, in recent years there has been great interest in studying the oscillation of such type of equations. From the review of literature, one can see that many oscillation results are available for the equation when \(\alpha = 1\); see [1, 2, 5, 8,9,10,11, 14, 15, 18, 20], and the references cited therein. Also few results available for the oscillation of Eq.Â (1.1) while \(\beta = 1\); see [4, 12, 17, 19, 21, 22]. And as far as the authors knowledge there are no results available in the literature for the oscillatory behavior of Eq.Â (1.1).

Our purpose in this paper is to establish some new oscillation criteria for Eq.Â (1.1) which includes many of the known results as special cases when \(\alpha = 1\) or \(\alpha = 1\) and \(\beta = 1\) in Eq.Â (1.1). Further the methods used in this paper improve and extend some of the known results that are reported in the literature [3, 8,9,10,11,12, 14, 15, 17,18,19,20,21] and this is almost illustrated via examples.

## 2 Oscillation results

In this section, we obtain sufficient conditions for the oscillation of all solutions of Eq.Â (1.1). Due to the assumptions and the form of our equation, we need only to give proofs for the case of eventually positive solution since the proofs for eventually negative solutions would be similar.

For convenience, for any real positive sequence \(\{ \mu_{n} \}\) which is decreasing to zero, we set

and

for \(n\ge n_{1}\), where \(n_{1} \in \mathbb{N} ( n_{0} )\) is large enough.

### Lemma 2.1

*Let*
\(\{ x_{n} \}\)
*be a positive solution of Eq*.Â (1.1) *for all*
\(n \in \mathbb{N} ( n_{0} )\). *Then there exists a*
\(n_{1} \in \mathbb{N} ( n_{0} )\)
*such that for all n*\(\ge n_{1}\)

### Proof

The proof of the lemma can be found in [3] and hence details are omitted.â€ƒâ–¡

### Lemma 2.2

*Let*
\(\{ x_{n} \}\)
*be a positive solution of Eq*.Â (1.1) *for all*
\(n \in \mathbb{N} ( n_{0} )\)
*and suppose Eq*.Â (2.1) *holds*. *Then there exists a*
\(n_{1} \in \mathbb{N} ( n_{0} )\)
*such that*

*and*

### Proof

From (2.1), we see that \(a_{n}^{1/\beta} \Delta z_{n}\) is decreasing and therefore

Further, from the last in equality, we have

and so \(\frac{z_{n}}{R_{n}}\) is decreasing for all \(n \ge n_{1}\). This proof is now complete.â€ƒâ–¡

### Lemma 2.3

*Assume that*, *for large*
*n*, \(( p_{n}, p_{n + 1},\ldots, p_{n + k - 1} ) \ne 0\). *Then*

*has an eventually positive solution if and only if the corresponding inequality*

*has an eventually positive solution*.

### Proof

The proof of the lemma can be found in [21] and hence details are omitted.â€ƒâ–¡

### Lemma 2.4

*If*
\(0 < \alpha < 1, \ell\)
*is a positive integer and*
\(\{ p_{n}\}\)
*is a positive real sequence with*
\(\sum_{n = n_{0}}^{\infty} p_{n} = \infty\), *then every solution of eqution*
\(\Delta x_{n} + p_{n}x_{n - \ell}^{\alpha} = 0\), *is oscillatory*.

### Lemma 2.5

*If*
\(\alpha > 1\). *If there exists a*
\(\lambda> \frac{1}{l} \ln \alpha\)
*such that*
\(\lim_{n \to \infty} \inf [ p_{n}\exp ( - e^{\lambda n} ) ] > 0\), *then every solution of eqution*
\(\Delta x_{n} + p_{n}x_{n - \ell}^{\alpha} = 0\)
*is oscillatory*.

The proof of the Lemmas 2.4 and 2.5 can be found in [16] and hence details are omitted.

Next we state and prove some new oscillation results for Eq.Â (1.1).

### Theorem 2.1

*Let*
\(\gamma \ge \beta\)
*be holds*. *Assume that there exists a positive real sequence*
\(\{ \mu_{n} \}\)
*tending to zero such that*
\(B_{n} > 0\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If the first order 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) for all \(n \in \mathbb{N} ( n_{0} )\). Then there exists a \(n_{1} \in \mathbb{N} ( n_{0} )\) such that \(x_{n} > 0,x_{n - k} > 0\) and \(x_{n - \ell} > 0\) for all \(n \ge n_{1}\). By Lemma 2.1, the sequence \(\{ z_{n} \}\) satisfies conditions (2.1) for all \(n \ge n_{1}\). From the definition of \(z_{n}\) we have

Since \(\{ z_{n} \}\) is increasing and \(\{ \mu_{n} \}\) is positive, decreasing and tending to zero, we have \(z_{n} \ge \mu_{n}\) for all \(n \ge n_{1}\). Using this and \(0 < \alpha \le 1\) in (2.5), one obtains

which together with Eq.Â (1.1)

Now a simple computation shows that

By the discrete mean value theorem [1, Theorem 1.7.2], we have

where we have used \(a_{n}^{\frac{1}{\beta}} \Delta z_{n}\) is positive and decreasing. Now from (2.6), (2.7) and (2.8), one obtains

where we have used \(a_{n}^{\frac{1}{\beta}} \Delta z_{n}\) is positive and decreasing. From Lemma 2.2 we have

Substituting (2.10) in (2.9), we obtain

Since \(\gamma \ge \beta\), we have \(z_{n}^{\gamma - \beta} \ge \mu_{n}^{\gamma - \beta} \) for all \(n \ge n_{1}\), and using this in (2.11), one obtains

Using (2.11) in (2.6), and in view of (2.1), one can see that \(w_{n} = a_{n} ( \Delta z_{n} )^{\beta} \) is a positive solution of the first order delay difference inequality

But by Lemma 2.3, the associated difference equation

also has a positive solution, which is a contradiction. Hence we complete the proof.â€ƒâ–¡

### Corollary 2.2

*Let all conditions of Theorem*
2.1
*hold with*
\(\gamma = \beta\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If*

*then every solution of Eq*.Â (1.1) *is oscillatory*.

### Proof

The proof follows from Theorem 2.1 and Theorem 7.6.1 of [6].â€ƒâ–¡

### Corollary 2.3

*Let all conditions of Theorem*
2.1
*hold with*
\(\gamma > \beta\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If*
\(\ell > k\)
*and there exists a*
\(\lambda > \frac{1}{\ell - k}\ln \frac{\gamma}{\beta} \)
*such that*

*Then every solution of Eq*.Â (1.1) *is oscillatory*.

### Proof

The proof follows from Theorem 2.1 and Lemma 2.5.â€ƒâ–¡

### Theorem 2.4

*Let*
\(\gamma < \beta\)
*be holds*. *Assume that there exists a positive decreasing real sequence*
\(\{ \mu_{n} \}\)
*tending to zero such that*
\(B_{n} > 0\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If for all*
\(N \ge n_{0}\),

*for any constant*
\(M > 0\), *then every solution of Eq*.Â (1.1) *is oscillatory*.

### Proof

Assume that Eq.Â (1.1) has a positive solution such that there exists a \(n_{1} \in \mathbb{N} ( n_{0} )\) with \(x_{n} > 0,x_{n - k} > 0\) and \(x_{n - \ell} > 0\) for all \(n \ge n_{1}\). Proceeding as in the proof of Theorem 2.1 we have

Since \(z_{n}/R_{n}\) is decreasing, there exists a constant \(M > 0\) such that \(z_{n}/R_{n} \le M\) for all \(n \ge n_{1}\), and from \(\gamma < \beta\), we have \(z_{n - \ell}^{\gamma - \beta} \ge M^{\gamma - \beta} R_{n - \ell}^{\gamma - \beta} \) for all \(n \ge n_{1}\). Using this inequality in (2.16), we obtain

Using the last inequality in (2.6) and set \(w_{n} = a_{n} ( \Delta z_{n} )^{\beta} > 0\), we have

But by Lemma 2.3, the associated difference equation

also has a positive solution. But Lemma 2.4 and condition (2.15) imply that Eq.Â (2.17) is oscillatory. This contradiction completes the proof.â€ƒâ–¡

In the following by employing the Riccati substitution technique, we obtain new oscillation criteria for Eq.Â (1.1).

### Theorem 2.5

*Let*
\(\gamma \ge \beta\)
*hold*. *Assume that there exists a positive decreasing real sequence*
\(\{ \mu_{n} \}\)
*tending to zero*, *such that*
\(B_{n} > 0\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If there exists a positive*, *nondecreasing a real sequence*
\(\{ \rho_{n} \}\)
*such that*

*for sufficiently large*
\(N > n_{1}\), *then every solution of Eq*.Â (1.1) *is oscillatory*.

### Proof

Let \(\{ x_{n} \}\) be a positive solution of Eq.Â (1.1) for all \(n \in \mathbb{N} ( n_{0} )\). Then there exists a \(n_{1} \in \mathbb{N} ( n_{0} )\) such that \(x_{n} > 0,x_{n - k} > 0\) and \(x_{n - \ell} > 0\) for all \(n \ge n_{1}\). Then, by Lemma 2.1, \(z_{n}\) satisfies conditions (2.1) for all \(n \ge n_{1}\). Define the Riccati transformation by

Then \(w_{n} > 0\), for all \(n \ge n_{1}\), and

By the discrete mean value theorem, we have

where we have used \(z_{n}\) is positive and increasing. Using (2.21) in (2.20), we obtain

where we have used \(a_{n}^{1 / \beta} \Delta z_{n}\) is positive and decreasing. Using (2.19) in the last inequality, we obtain

From (2.3) we have

or

and using this in (2.21) yields

where we have used \(\gamma \ge \beta\) and \(z_{n} \ge \mu_{n}\), for all \(n \ge n_{1}\). Letting \(A = \frac{\Delta \rho_{n}}{\rho_{n + 1}}\) and \(B = \frac{\beta \rho_{n}}{\rho_{n + 1}^{1 + \frac{1}{\beta}} a_{n}^{\frac{1}{\beta}}} \) and using the inequality given in Lemma 2.6 of [15], it follows from (2.23) that

Let \(N \ge n_{1}\) be sufficiently large and summing (2.24) from *N* to *n*, we obtain

which contradicts (2.18). This completes the proof.â€ƒâ–¡

### Theorem 2.6

*Let*
\(\gamma < \beta\)
*be holds*. *Assume that there exists a positive*, *nondecreasing real sequence*
\(\{ \mu_{n} \}\)
*tending to zero*, *such that*
\(B_{n} > 0\)
*for all*
\(n \in \mathbb{N} ( n_{0} )\). *If there exists a positive*, *nondecreasing real sequence*
\(\{ \rho_{n} \}\)
*such that*, *for some sufficiently large*
\(N \ge n_{1}\),

*for any constant*
\(M > 0\), *then every solution of Eq*.Â (1.1) *is oscillatory*.

### Proof

The proof is similar to that of Theorem 2.5 except the inequality (2.23) is replaced by

where we have used \(\frac{z_{n}}{R_{n}} \le M\), for all \(n \ge n_{1}\) and \(\gamma < \beta\), and hence the details are omitted. This completes the proof.â€ƒâ–¡

## 3 Examples

In this section, we present three examples to illustrate the main results.

### Example 3.1

Consider the second order neutral difference equation

where \(z_{n} = x_{n} + \frac{1}{2n^{\frac{2}{3}}}x_{n - 2}^{\frac{1}{3}}\) and \(q_{0} > 0\). Comparing with Eq.Â (1.1), we have \(a_{n} = 1\), \(p_{n} = \frac{1}{2n^{\frac{2}{3}}}\), \(q_{n} = \frac{q_{0}}{n^{3}}\), \(\ell = 1, k = 2, \alpha = \frac{1}{3}\), and \(\beta = \gamma = 3\). A simple calculation yields \(R_{n} = n - 1\). By choosing \(\mu_{n} = \frac{1}{n^{\frac{2}{3}}}\), we see that \(Q_{n} = \frac{q_{0}}{8n^{3}}\) and \(\overline{R}_{n} = ( n - 1 ) + \frac{q_{0}}{96n^{2}}(n^{2} - 5n + 8)(n^{2} - 5n + 4)\). The condition (2.13) becomes

and therefore by Corollary 2.2, we see that every solution of Eq.Â (3.1) is oscillatory.

### Example 3.2

Consider the second order neutral difference equation

where \(z_{n} = x_{n} + \frac{1}{3n^{\frac{2}{3}}}x_{n - 2}^{\frac{1}{3}}\) and \(q_{0} > 0\). Compared with Eq.Â (1.1), we have \(a_{n} = 1\), \(p_{n} = \frac{1}{3n^{\frac{2}{3}}}\), \(q_{n} = \frac{q_{0}}{n}\), \(\ell = 1,k = 2, \alpha = \frac{1}{3},\beta = 3\) and \(\gamma = 5\). Simple calculation shows that \(R_{n} = n - 1\). By choosing \(\mu_{n} = \frac{1}{n^{\frac{2}{3}}}\), we see that \(Q_{n} = \frac{32q_{0}}{243n}\) and \(C_{n} = \frac{n - 2}{n - 1}\). By taking \(\rho_{n} = n^{2}\), the condition (2.18) becomes

and hence by Theorem 2.5, every solution of Eq.Â (3.2) is oscillatory.

### Example 3.3

Consider the second order neutral difference equation

where \(z_{n} = x_{n} + \frac{p_{0}}{n^{\frac{2}{3}}}x_{n - 2}^{\frac{1}{3}}\), and \(p_{0} \in [0,1)\) and \(q_{0} > 0\). Comparing with Eq.Â (1.1), we have \(a_{n} = 1\), \(p_{n} = \frac{p_{0}}{n^{2/3}}\), \(q_{n} = \frac{q_{0}}{n},\ell = 1, k = 2, \alpha = \frac{1}{3}, \beta = 3\), and \(\gamma = 1\). Simple calculation shows that \(R_{n} = n - 1\). By taking \(\mu_{n} = \frac{1}{n}\), we have \(Q_{n} = \frac{q_{0}}{n} ( 1 - p_{0} )\). The condition (2.14) becomes

and hence by Theorem 2.4, every solution of Eq.Â (3.3) is oscillatory.

## 4 Conclusion

In this paper, by using a Riccati type transformation and the discrete mean value theorem we have established some new oscillation criteria for more general second order neutral difference equations. The obtained results include similar results to the ones established for second order difference equations with linear neutral terms or nonlinear neutral terms reported in the literature. Further none of the results in the papers [3,4,5, 8,9,10,11,12, 14, 15, 17,18,19,20,21,22] can be applied to Eqs.Â (3.1) to (3.3) to yield any conclusion.

## References

Agarwal, R.P.: Difference Equations and Inequalities. Marcel Dekker, New York (2000)

Agarwal, R.P., Bohner, M., Grace, S.R., Oâ€™Regan, D.: Discrete Oscillation Theory. Hindawi Publ. Corp., New York (2005)

Chang, J.: Kamenev-type oscillation criteria for delay difference equations. Acta Math. Sci.

**27**, 574â€“580 (2007)Dharuman, C., Thandapani, E.: Oscillation of solutions of nonlinear difference equations with a superlinear neutral term. Nonauton. Dyn. Syst.

**5**, 52â€“58 (2018)Elizabeth, S., Graef, J.R., Sundaram, P., Thandapani, E.: Classifying nonoscillatory solutions and oscillation of a neutral difference equation. J. Differ. Equ. Appl.

**11**, 605â€“618 (2005)Gyori, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendan Press, Oxford (1991)

Hale, J.K.: Theory of Functional Differential Equations. Springer, New York (1997)

Jiang, J.: Oscillatory criteria for second order quasilinear neutral delay difference equations. Appl. Math. Comput.

**125**, 287â€“293 (2002)Jiang, J.: Oscillation of second order nonlinear neutral delay difference equations. Appl. Math. Comput.

**146**, 791â€“801 (2003)Li, H.J., Yeh, C.C.: Oscillation criteria for second order neutral delay difference equations. Comput. Math. Appl.

**36**, 123â€“132 (1998)Li, W.T., Saker, S.H.: Oscillation of second order sub linear neutral delay difference equations. Appl. Math. Comput.

**146**, 543â€“551 (2003)Liu, X.: Oscillation of solutions of neutral difference equations with a nonlinear neutral term. Comput. Math. Appl.

**52**, 439â€“448 (2006)Mac Donald, N.: Biological Delay Systems: Linear Stability Theory. Cambridge University Press, Cambridge (1989)

Saker, S.H.: New oscillation criteria for second order nonlinear neutral delay difference equations. Appl. Math. Comput.

**142**, 99â€“111 (2003)Sun, Y.G., Saker, S.H.: Oscillation for second order nonlinear neutral delay difference equation. Appl. Math. Comput.

**163**, 909â€“918 (2005)Tang, X.H., Liu, Y.J.: Oscillation for nonlinear delay difference equations. Tamkang J. Math.

**32**, 275â€“280 (2001)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)Tripathy, A.K.: On the oscillation of second order nonlinear neutral delay difference equations. Electron. J. Qual. Theory Differ. Equ.

**2008**, 11 (2008)Vidhya, K.S., Dharuman, C., Graef, J.R., Thandapani, E.: Oscillation of second order difference equations with a sublinear neutral term. J. Math. Appl.

**40**, 59â€“67 (2017)Wang, D.M., Xu, Z.T.: Oscillation of second order quasilinear neutral delay difference equations. Acta Math. Appl. Sin.

**27**, 93â€“104 (2011)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 (2014)Zhang, Z., Chen, J., Zhang, C.: Oscillation of solutions for second order nonlinear difference equations with nonlinear neutral term. Comput. Math. Appl.

**41**, 1487â€“1491 (2001)

### Acknowledgements

The authors thank the referee for carefully reading the manuscript and suggesting very useful comments which improve the content of the paper.

### Availability of data and materials

Not Applicable.

## Funding

Not Applicable.

## Author information

### Authors and Affiliations

### Contributions

The authors have equally made the contributions. All 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

Nazreen Banu, M., Mehar Banu, S. New oscillation theorems for second order quasi-linear difference equations with sub-linear neutral term.
*Adv Differ Equ* **2018**, 472 (2018). https://doi.org/10.1186/s13662-018-1932-0

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-018-1932-0