1 Introduction

In this paper, we are concerned with the following higher order neutral difference equation:

$$\begin{aligned} \Delta ^{m} \bigl[x (n )+p (n )x \bigl(\tau (n ) \bigr) \bigr]+q (n )f \bigl(x \bigl(\sigma (n ) \bigr) \bigr)=0,\quad n\in N= \{0,1,\ldots \}, \end{aligned}$$
(1.1)

where \(m\geq 1\) and Δ is the forward difference operator defined by

$$\begin{aligned} \Delta x (n )=x (n+1 )-x (n ). \end{aligned}$$

Throughout this paper, we assume the following conditions to hold:

  1. (H1)

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

  2. (H2)

    \(\{p (n ) \}\) is a real-valued sequence with \(0 \leq p (n )<1,n\in N\).

  3. (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 \).

  4. (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}^{s-1} (r-i )\) 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 non-oscillatory. A difference equation is said to be oscillatory if all of its solutions are oscillatory. Otherwise, it is non-oscillatory.

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

$$\begin{aligned} \Delta ^{m} [y_{n}+p_{n}y_{n-k} ]+q_{n}f (y_{n-l} )=0 \end{aligned}$$
(1.3)

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

$$\begin{aligned} \Delta \bigl(\Delta ^{m-1} x (n ) \bigr)^{\alpha }+q (n )x^{\alpha } (n-\tau )=0 \end{aligned}$$
(1.4)

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

$$\begin{aligned} \Delta ^{m} \bigl[y (k )+p (k )y \bigl(\tau (k ) \bigr) \bigr]+q (k ) y \bigl(\sigma (k ) \bigr)=0, \end{aligned}$$
(1.5)

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

  1. (i)

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

  2. (ii)

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

2 Main results

To obtain the main results, we shall use the following notations.

For all large \(n\geq n_{0}>0\), let

$$\begin{aligned} &R_{j} (n )= f \biggl(\frac{ (\sigma (n )-m+j ) ^{ (j-i )}}{j!} \biggr) \sum_{r=n}^{\infty }\frac{ (r-n+m-j-3 ) ^{ (m-j-3 )}}{ (m-j-3 )!} \\ & \phantom{R_{j} (n )= }{}\times\Biggl(\sum_{j=r}^{\infty }q (j ) \Biggr)f \bigl(1-p \bigl(\sigma (r ) \bigr) \bigr), \quad j\in \{1,2,\ldots,m-3 \}, \\ &R_{m-1} (n )=q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \biggl( \frac{ (\sigma (n )-1 ) ^{ (m-2 )}}{ (m-1 )!} \biggr), \\ &R_{0} (n )=q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \Biggl( \sum_{r=\sigma (n )}^{\eta (n )}\frac{ (r-\sigma (n )+m-2 )^{ (m-2 )}}{ (m-2 )!} \Biggr) \end{aligned}$$

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

$$\begin{aligned} \sum_{n=n_{0}}^{\infty } \Biggl(\sum _{j=n}^{\infty }q (j ) \Biggr) \bigl(\sigma (n ) \bigr)^{ (m-2 )}=\infty . \end{aligned}$$
(2.1)

Let m be odd. If all the second order equations

$$\begin{aligned} \Delta ^{2} y (n )+R_{j} (n )f \bigl(y \bigl(\sigma (n ) \bigr) \bigr)=0, \quad j\in \{2,4,\ldots,m-1 \} \end{aligned}$$
(2.2)

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

$$\begin{aligned} \Delta v (n )+R_{0} (n )f \bigl(v \bigl(\eta (n ) \bigr) \bigr)=0 \end{aligned}$$
(2.3)

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,m-3 \}\) and

$$\begin{aligned} \Delta ^{2} u (n )+R_{m-1} (n )f \bigl(u \bigl(\sigma (n ) \bigr) \bigr)=0, \end{aligned}$$
(2.4)

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 non-oscillatory 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

$$\begin{aligned} z (n )=x (n )+p (n )x \bigl(\tau (n ) \bigr) \geq x (n )>0. \end{aligned}$$

Then (1.1) becomes

$$\begin{aligned} \Delta ^{m} z (n )=-q (n )f \bigl(x \bigl(\sigma (n ) \bigr) \bigr) \leq 0\quad \text{for } n\geq n_{1}\geq n_{0}. \end{aligned}$$
(2.5)

From Lemma 1.1, it is easy to check

$$\begin{aligned} \Delta ^{m-1} z (n )>0 \quad\text{for } n \geq n_{1}. \end{aligned}$$
(2.6)

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,m-3 \}\) and \((l+m )\) odd. Also, by Lemma 1.1, \(\Delta z (n )>0\). Since \(z (n )\) is increasing, we have

$$\begin{aligned} \bigl(1-p (n ) \bigr)z (n ) & \leq z (n )-p (n )z \bigl( \tau (n ) \bigr) \\ & =x (n )-p (n )p \bigl(\tau (n ) \bigr)x \bigl(\tau \bigl(\tau (n ) \bigr) \bigr) \\ & \leq x (n )\quad \text{for } n\geq n_{1}. \end{aligned}$$

That is,

$$\begin{aligned} \bigl(1-p (n ) \bigr)z (n )\leq x (n ) \quad\text{for } n\geq n_{1}. \end{aligned}$$
(2.7)

Now the following three cases are considered: \(l\in \{1,2,\ldots,m-3 \}, l=m-1, l=0\).

Case (i): \(l\in \{1,2,\ldots,m-3 \}\). From discrete Taylor’s formula, we have

$$\begin{aligned} -\Delta ^{l+1}z (n ) = {}& \sum _{j=l+1}^{m-2}\frac{ (s-n+j-l-2 ) ^{ (j-l-1 )}}{ (j-l-1 )!} (-1 )^{j-l} \Delta ^{j} z (s ) \\ &{} + (-1 )^{m-l-3}\sum_{r=n}^{s-1} \frac{ (r-n+m-l-3 ) ^{ (m-l-3 )}}{ (m-l-3 )!}\Delta ^{m-1} z (r ) \end{aligned}$$
(2.8)

for \(s \geq n\geq n_{1}\). Using Lemma 1.1 in (2.8), we obtain

$$\begin{aligned} -\Delta ^{l+1}z (n ) \geq \sum_{r=n}^{\infty } \frac{ (r-n+m-l-3 ) ^{ (m-l-3 )}}{ (m-l-3 )!}\Delta ^{m-1} z (r ). \end{aligned}$$
(2.9)

Summing up equation (1.1) from r to \(u-1\) and letting \(u\rightarrow \infty \), we have

$$\begin{aligned} \Delta ^{m-1} z (r )\geq \sum_{j=r}^{\infty }q (j )f \bigl(x \bigl(\sigma (r ) \bigr) \bigr) \quad\text{for } n\geq n_{2}\geq n_{1}. \end{aligned}$$
(2.10)

Substituting (2.10) in (2.9), we have

$$\begin{aligned} -\Delta ^{l+1}z (n ) \geq \sum_{r=n}^{\infty } \frac{ (r-n+m-l-3 ) ^{ (m-l-3 )}}{ (m-l-3 )!} \Biggl(\sum_{j=r}^{ \infty }q (j ) \Biggr)f \bigl(x \bigl(\sigma (r ) \bigr) \bigr). \end{aligned}$$
(2.11)

Using (2.7) and (1.2) in (2.11), we get

$$\begin{aligned} -\Delta ^{l+1}z (n ) \geq{} & \sum _{r=n}^{\infty }\frac{ (r-n+m-l-3 ) ^{ (m-l-3 )}}{ (m-l-3 )!} \\ & {}\times\Biggl(\sum_{j=r}^{\infty }q (j ) \Biggr) f \bigl(1-p \bigl(\sigma (r ) \bigr) \bigr)f \bigl(z \bigl(\sigma (r ) \bigr) \bigr). \end{aligned}$$
(2.12)

From (2.10), we can see that

$$\begin{aligned} (n )^{ (m-l-1 )}\Delta ^{m-1}z (n ) &\geq (n )^{ (m-l-1 )} \Biggl(\sum_{j=n}^{\infty }q (j ) \Biggr)x \bigl(\sigma (n ) \bigr) \\ & \geq (n )^{ (m-l-1 )} \Biggl(\sum_{j=n}^{ \infty }q (j ) \Biggr) \bigl(\sigma (n ) \bigr) ^{ (l-1 )} \\ & \geq \sum_{j=n}^{\infty }q (j ) \bigl(\sigma (n ) \bigr) ^{ (m-l-2 )}. \end{aligned}$$

Hence from (2.1), we get

$$\begin{aligned} \sum^{\infty } (s )^{ (m-l-1 )}\Delta ^{m-1}z (s )=\infty . \end{aligned}$$
(2.13)

Consider the equality

$$\begin{aligned} & \sum_{j=l-1}^{m-2} (-1 )^{ (j+l+1 )}\frac{ (n-m+j+1 )^{ (j-l+1 )}}{ (j-l+1 )!} \Delta ^{j} z (n ) \\ &\quad = \sum_{j=l-1}^{m-2} (-1 )^{ (j+l+1 )} \frac{ (n_{2} )^{ (j-l+1 )}}{ (j-l+1 )!} \Delta ^{j} z (n_{1}+m-j-2 ) \\ & \qquad{}+ (-1 )^{m+l-1}\sum_{s=n_{2}}^{m-2} (s ) ^{ (m-l-1 )}\Delta ^{m-1}z (s ) \end{aligned}$$

with \(l\in \{1,2,\ldots,m-1 \}\) and \((l+m )\) is odd.

Now from the above, there exists an integer \(n\geq n _{3}\geq n_{2}\) such that

$$\begin{aligned} \Delta ^{l-1}z (n )\geq (n-m+l+1 )\Delta ^{l} z (n ) \end{aligned}$$
(2.14)

and

$$\begin{aligned} z (n )\geq \frac{ (n-m+l )^{ (l-1 )}}{l!}\Delta ^{l-1} z (n ). \end{aligned}$$
(2.15)

Then we can find an integer \(N\geq n_{3}\) such that

$$\begin{aligned} z \bigl(\sigma (n ) \bigr)\geq \frac{ (\sigma (n )-m+l ) ^{ (l-1 )}}{l!}\Delta ^{l-1} z \bigl( \sigma (n ) \bigr)\quad \text{for } n\geq N. \end{aligned}$$
(2.16)

Using (2.16) in (2.12), we have

$$\begin{aligned} -\Delta ^{l+1}z (n ) \geq {}& \sum _{r=n}^{\infty }\frac{ (r-n+m-l-3 ) ^{ (m-l-3 )}}{ (m-l-3 )!} \Biggl(\sum _{j=r}^{ \infty }q (j ) \Biggr) f \bigl(1-p \bigl(\sigma (r ) \bigr) \bigr) \\ &{}\times f \biggl(\frac{ (\sigma (n )-m+l )^{ (l-1 )}}{l!} \biggr)f \bigl(\Delta ^{l-1} z \bigl( \sigma (n ) \bigr) \bigr). \end{aligned}$$

That is,

$$\begin{aligned} -\Delta ^{l+1}z (n ) \geq R_{l} (n )f \bigl(\Delta ^{l-1} z \bigl(\sigma (n ) \bigr) \bigr). \end{aligned}$$

Let \(y (n )=\Delta ^{l-1}z (n )\).

Then \(y (n )>0\) for \(n\geq N\) and the above inequality becomes

$$\begin{aligned} \Delta ^{2} y (n )+R_{l} (n )f \bigl(y \bigl(\sigma (n ) \bigr) \bigr)\leq 0 \quad\text{for } n\geq N. \end{aligned}$$

Thus the last inequality has an eventually positive solution. By a well-known result in [14, p. 186, Corollary 7.6.1], we can see that the equation

$$\begin{aligned} \Delta ^{2} y (n )+R_{l} (n )f \bigl(y \bigl(\sigma (n ) \bigr) \bigr)= 0 \quad\text{for } n \geq N \end{aligned}$$

also has an eventually positive solution, which contradicts our assumption.

Case (ii): \(l=m-1\). Substituting \(l=m-1\) in inequality (2.16), we get

$$\begin{aligned} z \bigl(\sigma (n ) \bigr)\geq \frac{ (\sigma (n )-1 ) ^{ (m-2 )}}{ (m-1 )!}\Delta ^{m-2} z \bigl( \sigma (n ) \bigr). \end{aligned}$$

From (1.1), (1.2), (2.7), and the above inequality, we have

$$\begin{aligned} -\Delta \bigl(\Delta ^{m-1} z (n ) \bigr) & = q (n )f \bigl(x \bigl(\sigma (n ) \bigr) \bigr) \\ & \geq q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \bigl(z \bigl(\sigma (n ) \bigr) \bigr) \\ & \geq q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \biggl( \frac{ (\sigma (n )-1 )^{ (m-2 )}}{ (m-1 )!} \biggr)f \bigl(\Delta ^{m-2} z \bigl(\sigma (n ) \bigr) \bigr) \\ & = R_{m-1} (n )f \bigl(\Delta ^{m-2} z \bigl(\sigma (n ) \bigr) \bigr). \end{aligned}$$

Set \(u (n )=\Delta ^{m-2}z (n )>0\) for \(n\geq n_{1}\).

Then the above inequality becomes

$$\begin{aligned} -\Delta \bigl(\Delta u (n ) \bigr)\geq R_{m-1} (n )f \bigl(u \bigl( \sigma (n ) \bigr) \bigr). \end{aligned}$$

That is,

$$\begin{aligned} \Delta ^{2} u (n )+ R_{m-1} (n )f \bigl(u \bigl(\sigma (n ) \bigr) \bigr)\leq 0, \end{aligned}$$

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

$$\begin{aligned} z (n ) = {}& \sum_{j=0}^{m-2} \frac{ (s-n+j-1 ) ^{ (j )}}{j!} (-1 )^{j}\Delta ^{j} z (s ) \\ &{} + \sum_{r=n}^{s-1}\frac{ (r-n+m-2 )^{ (m-2 )}}{ (m-2 )!}\Delta ^{m-1} z (r ) \quad\text{for } s\geq n. \end{aligned}$$

Considering Lemma 1.1 with \(l=0\) and using this in the above equation, we get

$$\begin{aligned} z (n )\geq \sum_{r=n}^{s-1}\frac{ (r-n+m-2 ) ^{ (m-2 )}}{ (m-2 )!} \Delta ^{m-1} z (r ) \quad\text{for } n\geq n_{1}\geq n _{0}. \end{aligned}$$

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

$$\begin{aligned} z \bigl(\sigma (n ) \bigr)\geq \sum_{r=\sigma (n )}^{\eta (n )} \frac{ (r- \sigma (n )+m-2 )^{ (m-2 )}}{ (m-2 )!} \Delta ^{m-1} z \bigl(\eta (n ) \bigr)\quad \text{for } n\geq n_{2}\geq n_{1}. \end{aligned}$$
(2.17)

From (1.1), (1.2), (2.7), and (2.17), we have

$$\begin{aligned} -\Delta \bigl(\Delta ^{m-1} z (n ) \bigr) ={}& q (n )f \bigl(x \bigl(\sigma (n ) \bigr) \bigr) \\ \geq{} &q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \bigl(z \bigl(\sigma (n ) \bigr) \bigr) \\ \geq{} & q (n )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \Biggl(\sum _{r=\sigma (n )}^{\eta (n )}\frac{ (r-\sigma (n )+m-2 )^{ (m-2 )}}{ (m-2 )!} \Biggr) \\ &{} \times f \bigl(\Delta ^{m-1} z \bigl(\eta (n ) \bigr) \bigr) \\ ={}& R_{0} (n )f \bigl(\Delta ^{m-1} z \bigl(\eta (n ) \bigr) \bigr). \end{aligned}$$

Let \(v (n )= \Delta ^{m-1} z (\eta (n ) )\). Then \(v (n )>0\) for \(n\geq n_{2}\), and the above inequality becomes

$$\begin{aligned} \Delta v (n )+ R_{0} (n )f \bigl(v \bigl(\sigma (n ) \bigr) \bigr) \leq 0, \end{aligned}$$

for which an eventually positive solution exists. By a well-known 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

$$\begin{aligned} \Delta ^{3} \biggl[x (n )+\frac{1}{2}x (n-1 ) \biggr]+ 4x (n-2 )=0. \end{aligned}$$
(E1)

Here, \(0\leq p (n )=\frac{1}{2}<1\), \(q (n )=4n\), \(\tau (n )=n-1< n\), \(\sigma (n )=n-2< n\), and \(f (u )=\frac{u}{n}\).

Also,

$$\begin{aligned} \sum_{n=n_{0}}^{\infty } \Biggl(\sum _{j=n}^{\infty }q (j ) \Biggr) \bigl(\sigma (n ) \bigr)^{ (m-2 )}= \sum_{n=n_{0}}^{\infty } \Biggl(\sum_{j=n}^{\infty }4j \Biggr) (n-2 )= \infty . \end{aligned}$$

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

$$\begin{aligned} \Delta ^{2} \biggl[x (n )+\frac{1}{4}x (n-2 ) \biggr]+ \frac{5n+3}{n-1}x (n-1 )=0. \end{aligned}$$
(E2)

Here, \(0\leq p (n )=\frac{1}{4}<1\), \(q (n )= \frac{5n+3}{n-1}\), \(\tau (n )=n-2< n\), \(\sigma (n )=n-1< n\), and \(f (u )=u\).

Also,

$$\begin{aligned} \sum_{n=n_{0}}^{\infty } \Biggl(\sum _{j=n}^{\infty }q (j ) \Biggr) \bigl(\sigma (n ) \bigr)^{ (m-2 )}= \sum_{n=n_{0}}^{\infty } \Biggl(\sum_{j=n}^{\infty }\frac{5j+3}{j-1} \Biggr)= \infty . \end{aligned}$$

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

$$\begin{aligned} &f \biggl(\frac{ (\sigma (n )-m+j )^{ (j-i )}}{j!} \biggr) \sum _{r=n_{0}}^{\infty }\frac{ (r-n+m-j-2 )^{ (m-j-2 )}}{ (m-j-2 )!} \\ &\quad {}\times\Biggl(\sum_{j=r}^{\infty }q (j ) \Biggr)f \bigl(1-p \bigl(\sigma (r ) \bigr) \bigr)=\infty \end{aligned}$$
(2.18)

for \(j\in \{2,4,\ldots,m-1 \}\) 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,m-3 \}\) holds for all large n and if

$$\begin{aligned} f \biggl(\frac{ (\sigma (n ) )^{ (m-2 )}}{ (m-1 )!} \biggr)f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr) \Biggl(\sum_{r=n_{0}}^{\infty }q (r ) \Biggr)=\infty , \end{aligned}$$
(2.19)

then all the solutions of (1.1) are oscillatory.

Proofs of Theorems 2.5 and 2.6

Assume that \(\{x (n ) \}\) is a non-oscillatory 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

$$\begin{aligned} z (n )=x (n )+p (n )x \bigl(\tau (n ) \bigr) \geq x (n )>0. \end{aligned}$$

Proceeding as in the proof of Theorems 2.1 and 2.2, we get the following three cases: \(l\in \{1,2,\ldots,m-3 \}, l=m-1, l=0\).

Case (i): \(l\in \{1,2,\ldots,m-3 \}\). From discrete Taylor’s formula, we have

$$\begin{aligned} \Delta ^{l}z (n ) ={} & \sum _{j=l}^{m-2}\frac{ (s-n+j-l-2 ) ^{ (j-l )}}{ (j-l )!} (-1 )^{j-l} \Delta ^{j} z (s ) \\ &{} + (-1 )^{m-l-1}\sum_{r=n}^{s-1} \frac{ (r-n+m-l-2 ) ^{ (m-l-2 )}}{ (m-l-2 )!}\Delta ^{m-1} z (r ) \end{aligned}$$
(2.20)

for \(s \geq n\). Using (1.2), (2.7), (2.10), and Lemma 1.1 in (2.20), we obtain

$$\begin{aligned} \Delta ^{l}z (n )\geq{} & \sum _{r=n}^{\infty }\frac{ (r-n+m-l-2 ) ^{ (m-l-2 )}}{ (m-l-2 )!} \Biggl(\sum _{j=r}^{ \infty }q (j ) \Biggr) \\ &{}\times f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \bigl(z \bigl(\sigma (n ) \bigr) \bigr). \end{aligned}$$
(2.21)

From (2.15), there exist \(n_{2}\geq n_{1}\) and a positive constant \(c>0\) such that

$$\begin{aligned} z \bigl(\sigma (n ) \bigr)\geq \frac{ (\sigma (n )-m+l ) ^{ (l-1 )}}{l!}\Delta ^{l-1} z \bigl( \sigma (n ) \bigr) \quad\text{for } n\geq n_{2} \end{aligned}$$
(2.22)

and

$$\begin{aligned} \Delta ^{l-1} z \bigl(\sigma (n ) \bigr)\geq c \quad\text{for } n\geq n_{2}. \end{aligned}$$
(2.23)

Using (2.22) and (2.23) in (2.21), we get

$$\begin{aligned} \infty > \Delta ^{l}z (n_{2} )\geq {}& \sum_{r=n_{2}}^{\infty } \frac{ (r-n+m-l-2 )^{ (m-l-2 )}}{ (m-l-2 )!} \\ & {}\times\Biggl(\sum_{j=r}^{\infty }q (j ) \Biggr)f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f (c )f \biggl(\frac{ (\sigma (n )-m+l )^{ (l-1 )}}{l!} \biggr), \end{aligned}$$

which contradicts (2.18).

Case (ii): \(l=m-1\). Summing up equation (1.1) from r to \(u-1\) and letting \(u\rightarrow \infty \), we have

$$\begin{aligned} \Delta ^{m-1} z (r )\geq \sum_{j=r}^{\infty }q (j )f \bigl(1-p \bigl(\sigma (n ) \bigr) \bigr)f \bigl(z \bigl(\sigma (n ) \bigr) \bigr)\quad \text{for } n\geq n_{1}\geq n_{0}. \end{aligned}$$
(2.24)

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

$$\begin{aligned} \Delta \biggl[x (n )+\frac{3}{4}x (n-1 ) \biggr]+ \frac{1}{2}x (n-2 )=0. \end{aligned}$$
(E3)

Here, \(0\leq p (n )=\frac{3}{4}<1\), \(q (n )= \frac{1}{2}\), \(\tau (n )=n-1< n\), \(\sigma (n )=n-2< 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

$$\begin{aligned} \Delta ^{4} \biggl[x (n )+\frac{1}{2}x (n-1 ) \biggr]+ 8 (n+2 )x (n-1 )=0. \end{aligned}$$
(E4)

Here, \(0\leq p (n )=\frac{1}{2}<1\), \(q (n )=8 (n+2 )\), \(\tau (n )=n-1< n\), \(\sigma (n )=n-1< 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).

3 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.