Skip to main content

Oscillation results for difference equations with oscillating coefficients

Abstract

Sufficient conditions which guarantee the oscillation of all solutions of difference equations with oscillating coefficients and several deviating arguments are presented. The corresponding difference equations of both retarded and advanced type are studied. Examples illustrating the results are also given.

Introduction

In the present paper, we study the oscillatory behavior of the solutions of the difference equation

figurea

and the (dual) advanced difference equation

figureb

where \(m\in\mathbb{N}\), \(\{ p_{i} ( n ) \} _{n\in \mathbb{N}_{0}}\), \(1\leq i\leq m\), are real sequences with oscillating terms, \(\{\tau_{i}(n) \} _{n\in\mathbb{N}_{0}}\), \(1\leq i\leq m\), are sequences of integers such that

$$ \tau_{i}(n)\leq n-1,\quad n\in\mathbb{N}_{0}, \quad\mbox{and}\quad \lim _{n\rightarrow\infty}\tau _{i}(n)=\infty,\quad 1\leq i\leq m , $$
(1.1)

and \(\{\sigma_{i}(n) \} _{n\in \mathbb{N}}\), \(1\leq i\leq m\), are sequences of integers such that

$$ \sigma_{i}(n)\geq n+1,\quad n\in\mathbb{N}, 1\leq i\leq m. $$
(1.2)

Here, as usual, Δ denotes the forward difference operator \(\Delta x(n)=x(n+1)-x(n)\) and denotes the backward difference operator \(\nabla x(n)=x(n)-x(n-1)\).

By a solution of (ER), we mean a sequence of real numbers \(\{x(n) \} _{n\geq-w}\) which satisfies (ER) for all \(n\in\mathbb{N}_{0}\). Here,

$$ w=-\min_{n\geq0} \bigl\{ \tau_{i}(n):1\leq i\leq m \bigr\} . $$

It is clear that, for each choice of real numbers \(c_{-w}, c_{-w+1},\ldots, c_{-1}, c_{0}\), there exists a unique solution \(\{ x(n) \} _{n\geq-w}\) of (ER) which satisfies the initial conditions \(x(-w)=c_{-w}, x(-w+1)=c_{-w+1},\ldots, x(-1)=c_{-1}, x(0)=c_{0}\).

By a solution of (EA), we mean a sequence of real numbers \(\{ x(n) \} _{n\in\mathbb{N}_{0}}\) which satisfies (EA) for all \(n\in\mathbb{N}\).

A solution \(\{ x(n) \} _{n\geq-w}\) (\(\{ x(n) \} _{n\in\mathbb{N}_{0}} \)) of (ER) ((EA)) is called oscillatory, if the terms \(x(n)\) of the sequence are neither eventually positive nor eventually negative. Otherwise, the solution is said to be non-oscillatory.

In the last few decades, the oscillatory behavior of all solutions of difference equations has been extensively studied when the coefficients \(p_{i}(n)\) are nonnegative. However, for the general case when \(p_{i}(n)\) are allowed to oscillate, it is difficult to study the oscillation of (ER) ((EA)), since the difference \(\Delta x(n)\) (\(\nabla x(n) \)) of any non-oscillatory solution of (ER) ((EA)) is always oscillatory. Therefore, the results on oscillation of difference and differential equations with oscillating coefficients are relatively scarce. Thus, a small number of paper are dealing with this case. See, for example, [117] and the references cited therein.

For (ER) and (EA) with oscillating coefficients, Bohner et al. [2, 3] established the following theorems.

Theorem 1.1

([2, Theorem 2.4])

Assume that (1.1) holds and that the sequences \(\{\tau _{i}(n) \}_{n\in\mathbb{N}_{0}}\) are increasing for all \(i\in \{1,\ldots,m \}\). Suppose also that for each \(i\in \{ 1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \}_{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\) and

$$ p_{k}(n)\geq0,\quad n\in A=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[\tau\bigl(\tau \bigl(n_{i}(j)\bigr)\bigr),n_{i}(j) \bigr]\cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1\leq k\leq m , $$
(1.3)

where

$$ \tau(n)=\max_{1\leq i\leq m}\tau_{i}(n),\quad n\in \mathbb{N}_{0}. $$
(1.4)

If, moreover,

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=\tau (n(j))}^{n(j)}p_{i}(q)>1, $$
(1.5)

where \(n(j)=\min \{ n_{i}(j):1\leq i\leq m \}\), then all solutions of (ER) oscillate.

Theorem 1.2

([2, Theorem 3.4])

Assume that (1.2) holds and that the sequences \(\{\sigma _{i}(n) \}_{n\in\mathbb{N}}\) are increasing for all \(i\in \{ 1,\ldots,m \}\). Suppose also that for each \(i\in \{ 1,\ldots ,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\) and

$$ p_{k}(n)\geq0,\quad n\in B=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ n_{i}(j),\sigma\bigl( \sigma \bigl(n_{i}(j)\bigr)\bigr) \bigr] \cap\mathbb{N} \biggr\} \neq \emptyset,\quad 1\leq k\leq m, $$
(1.6)

where

$$ \sigma(n)=\min_{1\leq i\leq m}\sigma_{i}(n),\quad n \in\mathbb{N}. $$
(1.7)

If, moreover,

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=n(j)}^{\sigma (n(j))}p_{i}(q)>1, $$
(1.8)

where \(n(j)=\max \{n_{i}(j):1\leq i\leq m \}\), then all solutions of (EA) oscillate.

Theorem 1.3

([3, Theorem 2.1])

Assume that (1.1) holds and that the sequences \(\{\tau _{i}(n) \}_{n\in\mathbb{N}_{0}}\) are increasing for all \(i\in \{1,\ldots,m \}\). Suppose also that for each \(i\in \{ 1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in C=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[\tau_{i}\bigl(\tau _{i}\bigl(n_{i}(j)\bigr)\bigr),n_{i}(j) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset, \quad 1\leq k\leq m , $$
(1.9)

and

$$ \limsup_{n\rightarrow\infty}\sum_{i=1}^{m}p_{i}(n)>0, \quad\textit{for all } n\in C. $$
(1.10)

If, moreover,

$$ \liminf_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=\tau _{i}(n_{i}(j))}^{n_{i}(j)-1}p_{i}(q)> \frac{1}{e}, $$
(1.11)

then all solutions of (ER) oscillate.

Theorem 1.4

([3, Theorem 3.1])

Assume that (1.2) holds and that the sequences \(\{\sigma _{i}(n) \}_{n\in\mathbb{N}}\) are increasing for all \(i\in \{ 1,\ldots,m \}\). Suppose also that for each \(i\in \{1,\ldots ,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in D=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ n_{i}(j), \sigma_{i}\bigl(\sigma _{i}\bigl(n_{i}(j)\bigr) \bigr) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1\leq k\leq m , $$
(1.12)

and

$$ \limsup_{n\rightarrow\infty}\sum_{i=1}^{m}p_{i}(n)>0 \quad\textit{for all } n\in D. $$
(1.13)

If, moreover,

$$ \liminf_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=n_{i}(j)+1}^{\sigma _{i}(n_{i}(j))}p_{i}(q)> \frac{1}{e}, $$
(1.14)

then all solutions of (EA) oscillate.

Recently, Berezansky et al. [1] and Chatzarakis et al. [4] established the following theorems.

Theorem 1.5

([1, Theorem 8] and [4, Theorem 2.1])

Assume that (1.1) holds and the sequences \(\{\tau_{i}(n) \}_{n\in\mathbb{N}_{0}}\) are increasing for all \(i\in \{ 1,\ldots,m \}\) and the sequence τ is defined by (1.4). Suppose also that for each \(i\in \{ 1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow \infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in A=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[\tau\bigl(\tau \bigl(n_{i}(j)\bigr)\bigr),n_{i}(j) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1\leq k\leq m. $$

Set

$$ \alpha:=\liminf_{j\rightarrow\infty}\sum _{i=1}^{m}\sum_{q=\tau (n(j))}^{n(j)-1}p_{i}(q), $$
(1.15)

where \(n(j)=\min \{ n_{i}(j):1\leq i\leq m \}\).

If \(0<\alpha\leq1/2\), and

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=\tau (n(j))}^{n(j)}p_{i}(q)>1- \frac{\alpha^{2}}{4 ( 1-\alpha )}, $$
(1.16)

or

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=\tau (n(j))}^{n(j)}p_{i}(q)>1- \frac{1}{2} ( 1-\alpha-\sqrt{1-2\alpha} ), $$
(1.17)

then all solutions of (ER) oscillate.

Theorem 1.6

([1, Theorem 9] and [4, Theorem 3.1])

Assume (1.2) holds and the sequences \(\{\sigma_{i}(n) \}_{n\in\mathbb{N}}\) are increasing for all \(i\in \{1,\ldots ,m \}\) and the sequence σ is defined by (1.7). Suppose also that for each \(i\in \{1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in B=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ n_{i}(j), \sigma \bigl(\sigma \bigl(n_{i}(j)\bigr)\bigr) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1\leq k\leq m. $$

Set

$$ \alpha:=\liminf_{j\rightarrow\infty}\sum _{i=1}^{m}\sum_{q=n(j)+1}^{\sigma ( n(j) ) }p_{i}(q), $$
(1.18)

where \(n(j)=\max \{ n_{i}(j):1\leq i\leq m \}\).

If \(0<\alpha\leq1/2\), and

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=n(j)}^{\sigma (n(j))}p_{i}(q)>1- \frac{\alpha^{2}}{4 ( 1-\alpha )}, $$
(1.19)

or

$$ \limsup_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=n(j)}^{\sigma (n(j))}p_{i}(q)>1- \frac{1}{2} ( 1-\alpha-\sqrt{1-2\alpha} ), $$
(1.20)

then all solutions of (EA) oscillate.

The authors study further (ER) and (EA) and derive new sufficient oscillation conditions. These conditions are the analogues of the oscillation conditions for the corresponding difference equations with positive coefficients, which were studied by Chatzarakis et al. [5]. Examples illustrate cases when the results of the paper imply oscillation while previously known results fail.

Oscillation criteria

Retarded difference equations

We present new sufficient conditions for the oscillation of all solutions of (ER), under the assumption that the sequences \(\tau_{i}\) are increasing for all \(i\in \{ 1,\ldots,m \}\).

Theorem 2.1

Assume that (1.1) holds, the sequences \(\{\tau_{i}(n) \}_{n\in\mathbb{N}_{0}}\) are increasing for all \(i\in \{1,\ldots ,m \}\) and the sequence τ is defined by (1.4). Suppose also that for each \(i\in \{1,\ldots,m \}\) there exists a sequence \(\{n_{i}(j) \}_{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)>0,\quad n\in A=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ \tau\bigl(\tau \bigl(n_{i}(j) \bigr)\bigr),n_{i}(j) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1 \leq k\leq m , $$

with

$$ \liminf_{n\rightarrow\infty} \bigl\{ p_{k}(n):n\in A \bigr\} >0,\quad 1\leq k\leq m. $$
(2.1)

If, moreover,

$$ \Biggl[\prod _{i=1}^{m} \Biggl(\sum _{\ell=1}^{m}\liminf_{j\rightarrow \infty}\sum _{k=\tau_{\ell}(n(j))}^{n(j)-1}p_{i}(k) \Biggr) \Biggr] ^{1/m}> \frac{1}{e}, $$
(2.2)

where \(n(j)=\min \{ n_{i}(j):1\leq i\leq m \} \), then all solutions of (ER) oscillate.

Proof

Assume, for the sake of contradiction, that \(\{ x(n) \} _{n\geq-w}\) is an eventually positive solution of (ER). Then there exists \(j_{0}\in\mathbb{N}\) such that

$$\begin{aligned}& p_{k}(n)>0\quad \mbox{for all } n\in\bigcap _{i=1}^{m} \bigl[\tau\bigl(\tau \bigl(n_{i}(j_{0})\bigr) \bigr),n_{i}(j_{0}) \bigr] \cap\mathbb{N},\quad 1\leq k\leq m, \\& x\bigl(\tau_{k}(n)\bigr)>0 \quad\mbox{for all } n\in\bigcap _{i=1}^{m} \bigl[ \tau \bigl(\tau\bigl(n_{i}(j_{0}) \bigr)\bigr),n_{i}(j_{0}) \bigr] \cap\mathbb{N},\quad 1\leq k\leq m. \end{aligned}$$

Therefore, by (ER) we have

$$ x(n+1)-x(n)=-\sum_{i=1}^{m}p_{i}(n) x\bigl(\tau_{i}(n)\bigr)< 0, $$

for every \(n\in\bigcap _{i=1}^{m} [\tau(\tau (n_{i}(j_{0}))),n_{i}(j_{0}) ] \cap\mathbb{N}\). This guarantees that the sequence x is strictly decreasing on \(\bigcap _{i=1}^{m} [\tau(\tau(n_{i}(j_{0}))),n_{i}(j_{0}) ]\cap\mathbb{N}\).

Set

$$ n(j_{0})=\min \bigl\{ n_{i}(j_{0}):1\leq i\leq m \bigr\} $$

and

$$ z_{i}\bigl(n(j_{0})\bigr)= \frac{x(\tau_{i}(n(j_{0})))}{x(n(j_{0}))},\quad 1\leq i\leq m , $$
(2.3)

with

$$ \varphi_{i}=\liminf_{j_{0}\rightarrow\infty}z_{i} \bigl(n(j_{0})\bigr),\quad 1\leq i\leq m. $$
(2.4)

It is obvious that

$$ z_{i}\bigl(n(j_{0})\bigr)>1 \quad\mbox{and}\quad \varphi_{i}\geq1 \quad\mbox{for } i=1,2,\ldots,m. $$

Dividing both sides of (ER) by \(x(n(j_{0}))\), we obtain

$$ \frac{\Delta x(n(j_{0}))}{x(n(j_{0}))}+\sum_{i=1}^{m}p_{i} \bigl(n(j_{0})\bigr) \frac{x(\tau_{i}(n(j_{0})))}{x(n(j_{0}))}=0, $$

or

$$ \frac{\Delta x(n(j_{0}))}{x(n(j_{0}))} +\sum_{i=1}^{m}p_{i} \bigl(n(j_{0})\bigr)z_{i}\bigl(n(j_{0})\bigr)=0. $$
(2.5)

Summing up (2.5) from \(\tau_{\rho}(n(j_{0}))\) to \(n(j_{0})-1\) for \(\rho =1,2,\ldots,m\), we find

$$ \sum_{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1} \frac{\Delta x(j)}{x(j)} +\sum_{i=1}^{m}\sum _{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1}p_{i}(j)z_{i}(j)=0. $$
(2.6)

But

$$\begin{aligned} \sum_{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1}\frac{\Delta x(j)}{x(j)} =&\sum _{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1} \biggl( \frac{x(j+1)}{x(j)} -1 \biggr) \\ \geq&\sum_{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1} \biggl( 1+\ln \frac{x(j+1) }{x(j)}-1 \biggr) =\ln\frac{x(n(j_{0}))}{x ( \tau_{\rho }(n(j_{0})) )}, \end{aligned}$$

or

$$ \sum_{j=\tau_{\rho}(n(j_{0}))}^{n(j_{0})-1} \frac{\Delta x(j)}{x(j)}\geq -\ln z_{\rho}\bigl(n(j_{0})\bigr). $$
(2.7)

Combining (2.6) and (2.7), we obtain

$$ -\ln z_{\rho}\bigl(n(j_{0})\bigr)+\sum _{i=1}^{m}\sum_{j=\tau_{\rho }(n(j_{0}))}^{n(j_{0})-1}p_{i}(j)z_{i}(j) \leq0, $$

or

$$ \ln z_{\rho}\bigl(n(j_{0})\bigr)\geq\sum _{i=1}^{m}\sum_{j=\tau_{\rho }(n(j_{0}))}^{n(j_{0})-1}p_{i}(j)z_{i}(j),\quad \rho=1,2,\ldots,m. $$
(2.8)

Now we will show that \(\varphi_{i}<\infty\) for \(i=1,2,\ldots,m\). Indeed, assume that \(\varphi_{i}=\infty\) for some i, \(i=1,2,\ldots,m\). By using (2.5) we have

$$ \frac{x(n(j_{0})+1)}{x(n(j_{0}))}-1+ \sum_{i=1}^{m}p_{i} \bigl(n(j_{0})\bigr)z_{i}\bigl(n(j_{0})\bigr)=0, $$

or

$$ \frac{x(n(j_{0})+1)}{x(n(j_{0}))} +\sum_{i=1}^{m}p_{i} \bigl(n(j_{0})\bigr)z_{i}\bigl(n(j_{0})\bigr)=1. $$

Consequently,

$$ \liminf_{j_{0}\rightarrow\infty} \Biggl[ \frac{x(n(j_{0})+1)}{x(n(j_{0}))} +\sum _{i=1}^{m}p_{i}\bigl(n(j_{0}) \bigr)z_{i}\bigl(n(j_{0})\bigr) \Biggr] =1 $$

and therefore

$$ \liminf_{j_{0}\rightarrow\infty}\frac{x(n(j_{0})+1)}{x(n(j_{0}))} +\sum _{i=1}^{m}\liminf_{j_{0}\rightarrow\infty} \bigl( p_{i}\bigl(n(j_{0})\bigr)z_{i} \bigl(n(j_{0})\bigr) \bigr) \leq1, $$

or

$$ \liminf_{j_{0}\rightarrow\infty}\frac{x(n(j_{0})+1)}{x(n(j_{0}))} +\sum _{i=1}^{m}\liminf_{j_{0}\rightarrow\infty }p_{i}(n(j_{0}) \liminf_{j_{0}\rightarrow\infty}z_{i}\bigl(n(j_{0})\bigr) \leq1. $$

In view of (2.1) and taking into account the fact that \(\varphi _{i}=\infty\) for some i, the above inequality is false. Hence \(\varphi_{i}<\infty\) for \(i=1,2,\ldots,m\).

Taking the limit inferiors on both sides of the above inequalities (2.8), we obtain

$$ \ln\varphi_{\rho}\geq\sum_{i=1}^{m} \varphi_{i} \Biggl( \liminf_{j_{0}\rightarrow\infty}\sum _{k=\tau_{\rho }(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr),\quad \rho=1,2, \ldots,m , $$
(2.9)

and by adding we find

$$ \sum_{i=1}^{m}\ln\varphi_{i}\geq \sum_{i=1}^{m}\varphi_{i} \Biggl( \sum_{j=1}^{m}\liminf_{j_{0}\rightarrow\infty} \sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr). $$

Set

$$ f ( \varphi_{1},\varphi_{2},\ldots,\varphi_{m} ) \equiv \sum_{i=1}^{m}\ln\varphi_{i}- \sum_{i=1}^{m}\varphi_{i} \Biggl( \sum_{j=1}^{m}\liminf_{j_{0}\rightarrow\infty} \sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr). $$

Clearly

$$ f ( \varphi_{1},\varphi_{2},\ldots,\varphi_{m} ) \geq0 \quad\mbox{for all } \varphi_{1},\varphi_{2},\ldots, \varphi_{m}\geq1. $$

Since

$$ \frac{\partial f}{\partial\varphi_{i}}=\frac{1}{\varphi_{i}} -\sum_{j=1}^{m} \liminf_{j_{0}\rightarrow\infty}\sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k)=0, $$

for

$$ \varphi_{i}=\frac{1}{\sum_{j=1}^{m}\liminf_{j_{0}\rightarrow\infty }\sum_{k=\tau_{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k)},\quad i=1,2,\ldots,m, $$

the function f has a maximum at the critical point

$$ \biggl( \frac{1}{\sum_{j=1}^{m}\liminf_{j_{0}\rightarrow\infty}\sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{1}(k)},\ldots,\frac{1}{\sum_{j=1}^{m} \liminf_{j_{0}\rightarrow\infty}\sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{m}(k)} \biggr) $$

because the quadratic form

$$ \sum_{i,j=1}^{m}\frac{\partial^{2}f}{\partial\varphi_{i}\,\partial \varphi _{j}} \alpha_{i}\alpha_{j}=-\sum_{i=1}^{m} \frac{\alpha _{i}^{2}}{\varphi _{i}^{2}}< 0. $$

Since \(f ( \varphi_{1},\varphi_{2},\ldots,\varphi_{m} ) \geq0\), the maximum of f at the critical point should be nonnegative. That is,

$$ \sum_{i=1}^{m} \Biggl[ -\ln \Biggl( \sum _{j=1}^{m}\liminf_{j_{0}\rightarrow \infty}\sum _{k=\tau_{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \Biggr] -m\geq0, $$

i.e.,

$$ \max_{\varphi_{i}\geq1}f ( \varphi_{1},\varphi_{2}, \ldots ,\varphi _{m} ) =-\ln\prod _{i=1}^{m} \Biggl( \sum_{j=1}^{m}\liminf _{j_{0}\rightarrow\infty}\sum_{k=\tau _{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) -m. $$

Hence

$$ \prod _{i=1}^{m} \Biggl( \sum _{j=1}^{m}\liminf_{j_{0}\rightarrow \infty }\sum _{k=\tau_{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \leq \frac{1}{e^{m}}, $$

or

$$ \Biggl[ \prod _{i=1}^{m} \Biggl( \sum _{j=1}^{m}\liminf_{j_{0}\rightarrow \infty}\sum _{k=\tau_{j}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \Biggr] ^{1/m}\leq\frac{1}{e}, $$

which contradicts (2.2).

The proof of the theorem is complete. □

Theorem 2.2

Assume that (1.1) holds, the sequences \(\{\tau_{i}(n) \}_{n\in\mathbb{N}_{0}}\) are increasing for all \(i\in \{1,\ldots ,m \}\) and the sequence τ is defined by (1.4). Suppose also that for each \(i\in \{ 1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)>0,\quad n\in A=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ \tau\bigl(\tau \bigl(n_{i}(j) \bigr)\bigr),n_{i}(j) \bigr] \cap\mathbb{N} \biggr\} \neq\emptyset,\quad 1 \leq k\leq m , $$

with

$$ \liminf_{n\rightarrow\infty} \bigl\{ p_{k}(n):n\in A \bigr\} >0,\quad 1 \leq k\leq m. $$

If, moreover,

$$\begin{aligned} &\frac{1}{m}\sum_{i=1}^{m} \liminf_{j\rightarrow\infty}\sum_{k=\tau _{i}(n(j))}^{n(j)-1}p_{i}(k) \\ &\quad{}+ \frac{2}{m}\mathop{\sum_{i< \ell}}_{i,\ell =1 }^{m} \Biggl( \liminf_{j\rightarrow\infty}\sum_{k=\tau_{\ell }(n(j))}^{n(j)-1}p_{i}(k) \times\liminf_{j\rightarrow\infty}\sum_{k=\tau _{i}(n(j))}^{n(j)-1}p_{\ell}(k) \Biggr) ^{1/2}>\frac{1}{e}, \end{aligned}$$
(2.10)

where \(n(j)=\min \{ n_{i}(j):1\leq i\leq m \}\), then all solutions of (ER) oscillate.

Proof

Assume, for the sake of contradiction, that \(\{ x(n) \} _{n\geq-w}\) is an eventually positive solution of (ER). Then there exists \(j_{0}\in\mathbb{N}\) such that

$$\begin{aligned}& p_{k}(n)>0 \quad\mbox{for all } n\in\bigcap _{i=1}^{m} \bigl[\tau\bigl(\tau \bigl(n_{i}(j_{0})\bigr) \bigr),n_{i}(j_{0}) \bigr] \cap\mathbb{N}, \quad 1\leq k\leq m, \\& x\bigl(\tau_{k}(n)\bigr)>0\quad\mbox{for all }n\in\bigcap _{i=1}^{m} \bigl[ \tau \bigl(\tau\bigl(n_{i}(j_{0}) \bigr)\bigr),n_{i}(j_{0}) \bigr] \cap\mathbb{N},\quad 1\leq k\leq m. \end{aligned}$$

Therefore, by (ER) we have

$$ x(n+1)-x(n)=-\sum_{i=1}^{m}p_{i}(n) x\bigl(\tau_{i}(n)\bigr)< 0, $$

for every \(n\in\bigcap _{i=1}^{m} [ \tau(\tau (n_{i}(j_{0}))),n_{i}(j_{0}) ] \cap\mathbb{N}\). This guarantees that the sequence x is strictly decreasing on \(\bigcap _{i=1}^{m} [ \tau(\tau(n_{i}(j_{0}))),n_{i}(j_{0}) ] \cap\mathbb{N}\).

Taking into account the fact that \(\varphi_{i}<\infty\) for \(i=1,2,\ldots ,m \) (see Theorem 2.1), by using (2.9) and the fact that

$$ \frac{1}{e}>\frac{\ln\varphi_{\rho}}{\varphi_{\rho}},\quad \rho =1,2,\ldots,m, $$

we obtain

$$ \frac{1}{e}>\sum_{i=1}^{m} \Biggl( \liminf_{j_{0}\rightarrow\infty }\sum_{k=\tau_{\ell}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \frac {\varphi _{i}}{\varphi_{\ell}},\quad \ell=1,2,\ldots,m. $$

Adding these inequalities we have

$$\begin{aligned} \frac{m}{e} \geq&\sum_{i=1}^{m} \Biggl( \liminf_{j_{0}\rightarrow\infty }\sum_{k=\tau_{i}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \\ &{}+\mathop{\sum_{i< \ell}}_{i,\ell=1}^{m} \Biggl[ \Biggl( \liminf _{j_{0}\rightarrow\infty}\sum_{k=\tau_{\ell }(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \frac{\varphi_{i}}{\varphi _{\ell} }+ \Biggl( \liminf_{j_{0}\rightarrow\infty}\sum _{k=\tau _{i}(n(j_{0}))}^{n(j_{0})-1}p_{\ell}(k) \Biggr) \frac{\varphi_{\ell}}{ \varphi_{i}} \Biggr] \\ \geq&\sum_{i=1}^{m} \Biggl( \liminf _{j_{0}\rightarrow\infty}\sum_{k=\tau _{i}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \\ &{}+2\mathop{\sum_{i<\ell}}_{i,\ell=1}^{m} \Biggl[ \Biggl( \liminf _{j_{0}\rightarrow\infty}\sum_{k=\tau_{\ell }(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \Biggr) \times \Biggl( \liminf_{j_{0}\rightarrow\infty}\sum _{k=\tau _{i}(n(j_{0}))}^{n(j_{0})-1}p_{\ell}(k) \Biggr) \Biggr] ^{1/2}, \end{aligned}$$

or

$$ \sum_{i=1}^{m}\liminf_{j_{0}\rightarrow\infty} \sum_{k=\tau _{i}(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) +2\mathop{\sum_{i< l}}_{i,l=1}^{m} \sqrt{\liminf _{j_{0}\rightarrow\infty}\sum_{k=\tau_{\ell }(n(j_{0}))}^{n(j_{0})-1}p_{i}(k) \times\liminf_{j_{0}\rightarrow\infty }\sum_{k=\tau_{i}(n(j_{0}))}^{n(j_{0})-1}p_{\ell}(k)} \leq\frac{m}{e}, $$

which contradicts (2.10).

The proof of the theorem is complete. □

A slight modification in the proofs of Theorem 2.1 or Theorem 2.2 leads to the following result about retarded difference inequalities.

Theorem 2.3

Assume that all conditions of Theorem  2.1 or Theorem  2.2 hold. Then

  1. (i)

    the difference inequality

    $$ \Delta x(n)+\sum_{i=1}^{m}p_{i}(n)x \bigl(\tau_{i}(n)\bigr)\leq0,\quad n\in\mathbb{N}_{0}, $$

    has no eventually positive solutions;

  2. (ii)

    the difference inequality

    $$ \Delta x(n)+\sum_{i=1}^{m}p_{i}(n)x \bigl(\tau_{i}(n)\bigr)\geq0, \quad n\in\mathbb{N}_{0}, $$

has no eventually negative solutions.

Advanced difference equations

Similar oscillation theorems for the (dual) advanced difference equation (EA) can be derived easily. The proofs of these theorems are omitted, since they follow a similar procedure as in Section 2.1.

Theorem 2.4

Assume that (1.2) holds, the sequences \(\{\sigma _{i}(n) \} _{n\in\mathbb{N}}\) are increasing for all \(i\in \{ 1,\ldots,m \}\) and the sequence σ is defined by (1.7). Suppose also that for each \(i\in \{ 1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in B=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ n_{i}(j),\sigma\bigl( \sigma \bigl(n_{i}(j)\bigr)\bigr) \bigr] \cap\mathbb{N} \biggr\} \neq \emptyset,\quad 1\leq k\leq m, $$

with

$$ \liminf_{n\rightarrow\infty} \bigl\{ p_{k}(n):n\in B \bigr\} >0,\quad 1\leq k\leq m. $$
(2.11)

If, moreover,

$$ \Biggl[ \prod _{i=1}^{m} \Biggl( \sum _{\ell=1}^{m}\liminf_{j\rightarrow \infty}\sum _{k=n(j)+1}^{\sigma_{\ell}(n(j))}p_{i}(k) \Biggr) \Biggr] ^{1/m}>\frac{1}{e}, $$
(2.12)

where \(n(j)=\max \{ n_{i}(j):1\leq i\leq m \}\), then all solutions of (EA) oscillate.

Theorem 2.5

Assume that (1.2) holds, the sequences \(\{\sigma _{i}(n) \}_{n\in\mathbb{N}}\) are increasing for all \(i\in \{ 1,\ldots,m \}\) and the sequence σ is defined by (1.7). Suppose also that for each \(i\in \{1,\ldots,m \}\) there exists a sequence \(\{ n_{i}(j) \} _{j\in\mathbb{N}}\) such that \(\lim_{j\rightarrow\infty}n_{i}(j)=\infty\),

$$ p_{k}(n)\geq0,\quad n\in B=\bigcap _{i=1}^{m} \biggl\{ \bigcup _{j\in\mathbb{N}} \bigl[ n_{i}(j),\sigma\bigl( \sigma \bigl(n_{i}(j)\bigr)\bigr) \bigr] \cap\mathbb{N} \biggr\} \neq \emptyset,\quad 1\leq k\leq m, $$

with

$$ \liminf_{n\rightarrow\infty} \bigl\{ p_{k}(n):n\in B \bigr\} >0,\quad 1 \leq k\leq m. $$

If, moreover,

$$\begin{aligned} &\frac{1}{m}\sum_{i=1}^{m} \liminf_{j\rightarrow\infty }\sum_{k=n(j)+1}^{\sigma_{i}(n(j))}p_{i}(k) \\ &\quad{}+ \frac{2}{m}\mathop{\sum_{i< \ell}}_{i,\ell=1}^{m} \Biggl( \liminf_{j\rightarrow\infty }\sum_{k=n(j)+1}^{\sigma_{\ell}(n(j))}p_{i}(k) \times\liminf_{j\rightarrow \infty}\sum_{k=n(j)+1}^{\sigma_{i}(n(j))}p_{\ell}(k) \Biggr) ^{1/2}>\frac{1}{e}, \end{aligned}$$
(2.13)

where \(n(j)=\max \{ n_{i}(j):1\leq i\leq m \}\), then all solutions of (EA) oscillate.

A slight modification in the proofs of Theorems 2.4 or Theorem 2.5 leads to the following result about advanced difference inequalities.

Theorem 2.6

Assume that all conditions of Theorem  2.4 or Theorem  2.5 hold. Then

  1. (i)

    the difference inequality

    $$ \nabla x(n)-\sum_{i=1}^{m}p_{i}(n)x \bigl(\sigma_{i}(n)\bigr)\geq0,\quad n\in\mathbb{N}, $$

    has no eventually positive solutions;

  2. (ii)

    the difference inequality

    $$ \nabla x(n)-\sum_{i=1}^{m}p_{i}(n)x \bigl(\sigma_{i}(n)\bigr)\leq0,\quad n\in\mathbb{N}, $$

    has no eventually negative solutions.

Special cases

In the case where \(p_{i}\), \(i=1,2,\ldots,m\), are oscillating real constants and \(\tau_{i}\) are constant retarded arguments of the form \(\tau _{i}(n)=n-k_{i}\), (\(\sigma_{i}\) are constant advanced arguments of the form \(\sigma_{i}(n)=n+k_{i}\)), \(k_{i}\in\mathbb{N}\), \(i=1,2,\ldots,m\), (ER) ((EA)) takes the form

$$ \Delta x(n)+\sum_{i=1}^{m}p_{i}x(n-k_{i})=0,\quad n\in\mathbb{N}_{0} \qquad\Biggl( \nabla x(n)-\sum _{i=1}^{m}p_{i}x(n+k_{i})=0,\quad n \in\mathbb{N} \Biggr) . $$
(E)

For this equation, as a consequence of Theorem 2.1 (Theorem 2.4) and Theorem 2.2 (Theorem 2.5), we have the following corollary.

Corollary 2.1

Assume that

$$ \Biggl[ \prod _{i=1}^{m}p_{i} \Biggr] ^{1/m} \Biggl( \sum_{i=1}^{m}k_{i} \Biggr) >\frac{1}{e}, $$
(2.14)

or

$$ \frac{1}{m} \Biggl( \sum_{i=1}^{m} \sqrt{p_{i}k_{i}} \Biggr) ^{2}>\frac{1}{e}. $$
(2.15)

Then all solutions of (E) oscillate.

Examples

The following two examples illustrate that the conditions for oscillations (2.14) and (2.15) are independent. They are chosen in such a way that only one of them is satisfied. Also, in Example 3.1, Theorem 1.1 [2], Theorem 1.3 [3] and Theorem 1.5 [1, 4] do not imply oscillation, and neither do Theorem 1.2 [2], Theorem 1.4 [3] and Theorem 1.6 [1, 4] in Example 3.2. According to conditions (2.14) and (2.15) oscillation is established in Example 3.1 and Example 3.2, respectively.

Example 3.1

Consider the retarded difference equation

$$ \Delta x(n)+p_{1}(n)x(n-1)+p_{2}(n)x(n-2)=0,\quad n\in\mathbb{N}_{0}, $$
(3.1)

where \(p_{1}(n)\) and \(p_{2}(n)\) are oscillating coefficients, as shown in Figure 1.

Figure 1
figure1

Coefficients of Example 3.1 .

In view of (1.4), it is obvious that \(\tau(n)=n-1\). Observe that for

$$ n_{1}(j)=12j+5,\quad j\in\mathbb{N}, $$

we have \(p_{1}(n)>0\) for every \(n\in A\), where

$$ A=\bigcup _{j\in\mathbb{N}} \bigl[ \tau\bigl(\tau \bigl(n_{1}(j) \bigr)\bigr),n_{1}(j) \bigr] \cap\mathbb{N} =\bigcup _{j\in\mathbb{N}} [ 12j+3,12j+5 ] \cap\mathbb{N}. $$

Also, for

$$ n_{2}(j)=12j+4,\quad j\in\mathbb{N}, $$

we have \(p_{2}(n)>0\) for every \(n\in B\), where

$$ B=\bigcup _{j\in\mathbb{N}} \bigl[ \tau\bigl(\tau \bigl(n_{2}(j) \bigr)\bigr),n_{2}(j) \bigr] \cap\mathbb{N}=\bigcup _{j\in\mathbb {N}} [ 12j+2,12j+4 ] \cap\mathbb{N}. $$

Therefore

$$ p_{1}(n)>0\quad\mbox{and}\quad p_{2}(n)>0 \quad\mbox{for all } n\in A\cap B=\bigcup _{j\in\mathbb{N}} [ 12j+3,12j+4 ] \cap\mathbb {N}\neq\emptyset, $$

that is, (1.3) is satisfied. Moreover, the computation immediately implies that

$$ \Biggl[ \prod _{i=1}^{2}p_{i} \Biggr] ^{1/2} \Biggl( \sum_{i=1}^{2}k_{i} \Biggr) =\sqrt{\frac{17}{100}\cdot\frac {89}{1{,}000}}\cdot ( 1+2 ) \simeq0.369012194>\frac{1}{e}, $$

that is, condition (2.14) of Corollary 2.1 is satisfied and therefore all solutions of (3.1) oscillate. Observe, however, that

$$ \frac{1}{2} \Biggl( \sum_{i=1}^{2} \sqrt{p_{i}k_{i}} \Biggr) ^{2}= \frac {1}{2} \biggl( \sqrt{\frac{17}{100}\cdot1}+\sqrt{ \frac{89}{1{,}000}\cdot2} \biggr) ^{2}\simeq0.347954016< \frac{1}{e}, $$

that is, condition (2.15) of Corollary 2.1 is not satisfied.

Also,

$$\begin{aligned}& n(j)=\min \bigl\{ n_{i}(j):1\leq i\leq2 \bigr\} =12j+4,\quad j\in \mathbb{N}, \\& \begin{aligned}[b] \alpha&=\liminf_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=\tau (n(j))}^{n(j)-1}p_{i}(q) \\ &=\liminf_{j\rightarrow\infty} \Biggl[ \sum_{q=12j+3}^{12j+3}p_{1}(q)+ \sum_{q=12j+3}^{12j+3}p_{2}(q) \Biggr] = \frac{17}{100}+\frac{89}{1{,}000}=0.259, \end{aligned}\\& \begin{aligned}[b] &\limsup_{j\rightarrow\infty}\sum_{i=1}^{2} \sum_{q=\tau (n(j))}^{n(j)}p_{i}(q)\\ &\quad=\limsup_{j\rightarrow\infty} \Biggl[ \sum_{q=12j+3}^{12j+4}p_{1}(q)+ \sum_{q=12j+3}^{12j+4}p_{2}(q) \Biggr] =2 \cdot\frac{17}{100}+2\cdot \frac{89 }{1{,}000}=0.518. \end{aligned} \end{aligned}$$

Observe that

$$\begin{aligned}& 0.518< 1, \\& 0.518<1-\frac{\alpha^{2}}{4 ( 1-\alpha ) }\simeq0.977368083, \\& 0.518<1-\frac{1}{2} ( 1-\alpha-\sqrt{1-2\alpha} ) \simeq 0.976631099. \end{aligned}$$

Therefore the conditions (1.5), (1.16), and (1.17) are not satisfied.

On the other hand, \(p_{1}(n)>0\) for every \(n\in A^{\prime}=A\) and \(p_{2}(n)>0\) for every \(n\in B^{\prime}\), where

$$ B^{\prime}=\bigcup _{j\in\mathbb{N}} \bigl[ \tau_{2} \bigl(\tau _{2}\bigl(n_{2}(j)\bigr)\bigr),n_{2}(j) \bigr] \cap\mathbb{N}=\bigcup _{j\in \mathbb{N}} [ 12j,12j+4 ] \cap\mathbb{N}. $$

Hence

$$ p_{1}(n)>0\quad\mbox{and}\quad p_{2}(n)>0\quad\mbox{for all }n\in A^{\prime}\cap B^{\prime}=A\cap B\neq\emptyset, $$

that is, condition (1.9) is satisfied. In view of this, we have

$$\begin{aligned} \liminf_{j\rightarrow\infty}\sum_{i=1}^{2} \sum_{q=\tau _{i}(n_{i}(j))}^{n_{i}(j)-1}p_{i}(q) =&\liminf _{j\rightarrow\infty } \Biggl[ \sum_{q=12j+4}^{12j+4}p_{1}(q)+ \sum_{q=12j+2}^{12j+3}p_{2}(q) \Biggr] \\ =&\frac{17}{100}+2\cdot\frac{89}{1{,}000}=0.348< \frac{1}{e}, \end{aligned}$$

that is, condition (1.11) is not satisfied.

Example 3.2

Consider the advanced difference equation

$$ \nabla x(n)-p_{1}(n)x(n+1)-p_{2}(n)x(n+2)=0, \quad n\in \mathbb{N}, $$
(3.2)

where \(p_{1}(n)\) and \(p_{2}(n)\) are oscillating coefficients, as shown in Figure 2.

Figure 2
figure2

Coefficients of Example 3.2 .

In view of (1.7), it is obvious that \(\sigma(n)=n+1\). Observe that for

$$ n_{1}(j)=16j+3,\quad j\in\mathbb{N}, $$

we have \(p_{1}(n)>0\) for every \(n\in A\), where

$$ A=\bigcup _{j\in\mathbb{N}} \bigl[ n_{1}(j),\sigma\bigl(\sigma \bigl(n_{1}(j)\bigr)\bigr) \bigr] \cap\mathbb{N}=\bigcup _{j\in\mathbb{N}} [ 16j+3,16j+5 ] \cap\mathbb{N}. $$

Also, for

$$ n_{2}(j)=16j+1,\quad j\in\mathbb{N}, $$

we have \(p_{2}(n)>0\) for every \(n\in B\), where

$$ B=\bigcup _{j\in\mathbb{N}} \bigl[ n_{2}(j),\sigma\bigl(\sigma \bigl(n_{2}(j)\bigr)\bigr) \bigr] \cap\mathbb{N}=\bigcup _{j\in\mathbb{N}} [ 16j+1,16j+3 ] \cap\mathbb{N}. $$

Therefore

$$ p_{1}(n)>0 \quad\mbox{and} \quad p_{2}(n)>0 \quad\mbox{for all } n\in A\cap B= \{ 16j+3 \} \neq\emptyset, $$

that is, (1.6) is satisfied. Moreover, the computation immediately implies that

$$ \frac{1}{2} \Biggl( \sum_{i=1}^{2} \sqrt{p_{i}k_{i}} \Biggr) ^{2}= \frac {1}{2} \biggl( \sqrt{\frac{87}{1{,}000}\cdot1}+\sqrt{ \frac{16}{100}\cdot2} \biggr) ^{2}\simeq0.370353228> \frac{1}{e}, $$

that is, condition (2.15) of Corollary 2.1 is satisfied and therefore all solutions of (3.2) oscillate. Observe, however, that

$$ \Biggl[ \prod _{i=1}^{2}p_{i} \Biggr] ^{1/2} \Biggl( \sum_{i=1}^{2}k_{i} \Biggr) =\sqrt{\frac{87}{1{,}000}\cdot\frac {16}{100}}\cdot ( 1+2 ) \simeq0.353949148< \frac{1}{e}, $$

that is, condition (2.14) of Corollary 2.1 is not satisfied.

Observe that

$$ n(j)=\max \bigl\{ n_{i}(j):1\leq i\leq2 \bigr\} =16j+3,\quad j\in \mathbb{N}. $$

Now

$$\begin{aligned} \alpha =&\liminf_{j\rightarrow\infty }\sum_{i=1}^{2} \sum_{q=n(j)+1}^{\sigma ( n(j) ) }p_{i}(q) \\ =&\liminf_{j\rightarrow\infty} \Biggl[ \sum_{q=16j+4}^{16j+4}p_{1}(q)+ \sum_{q=16j+4}^{16j+4}p_{2}(q) \Biggr] = \frac{87}{1{,}000}+\frac{16}{100}=0.247. \end{aligned}$$

Also

$$\begin{aligned} &\limsup_{j\rightarrow\infty}\sum_{i=1}^{2} \sum_{q=n(j)}^{\sigma (n(j))}p_{i}(q) \\ &\quad=\limsup_{j\rightarrow\infty} \Biggl[ \sum_{q=16j+3}^{16j+4}p_{1}(q)+ \sum_{q=16j+3}^{16j+4}p_{2}(q) \Biggr] =2 \cdot\frac{87}{1{,}000}+2\cdot \frac{16 }{100}=0.494. \end{aligned}$$

Observe that

$$\begin{aligned}& 0.494< 1, \\& 0.494<1-\frac{\alpha^{2}}{4 ( 1-\alpha ) }\simeq0.979744687, \\& 0.494<1-\frac{1}{2} ( 1-\alpha-\sqrt{1-2\alpha} ) \simeq 0.979168384. \end{aligned}$$

Therefore the conditions (1.8), (1.19), and (1.20) are not satisfied.

On the other hand, \(p_{1}(n)>0\) for every \(n\in A^{\prime}=A\) and \(p_{2}(n)>0\) for every \(n\in B^{\prime}\), where

$$ B^{\prime}=\bigcup _{j\in\mathbb{N}} \bigl[ n_{2}(j), \sigma _{2}\bigl(\sigma_{2}\bigl(n_{2}(j)\bigr) \bigr) \bigr] \cap\mathbb{N}=\bigcup _{j\in \mathbb{N}} [ 16j+1,16j+5 ] \cap \mathbb{N}. $$

Therefore

$$ p_{1}(n)>0\quad\mbox{and}\quad p_{2}(n)>0\quad\mbox{for all }n\in A^{\prime}\cap B^{\prime}=\bigcup _{j\in\mathbb{N}} [ 16j+3,16j+5 ] \neq\emptyset, $$

that is, condition (1.12) is satisfied. In view of this, we have

$$\begin{aligned} &\liminf_{j\rightarrow\infty}\sum_{i=1}^{m} \sum_{q=n_{i}(j)+1}^{\sigma _{i}(n_{i}(j))}p_{i}(q) \\ &\quad=\liminf_{j\rightarrow\infty} \Biggl[ \sum_{q=16j+4}^{16j+4}p_{1}(q)+ \sum_{q=16j+2}^{16j+3}p_{2}(q) \Biggr] = \frac{87}{1{,}000}+\frac{113}{1{,}000}+ \frac{16}{100}=0.36< \frac{1}{e}, \end{aligned}$$

that is, condition (1.14) is not satisfied.

References

  1. 1.

    Berezansky, L, Chatzarakis, GE, Domoshnitsky, A, Stavroulakis, IP: Oscillations of difference equations with several oscillating coefficients. Abstr. Appl. Anal. 2014, Article ID 392097 (2014)

    Article  MathSciNet  Google Scholar 

  2. 2.

    Bohner, M, Chatzarakis, GE, Stavroulakis, IP: Qualitative behavior of solutions of difference equations with several oscillating coefficients. Arab. J. Math. 3, 1-13 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  3. 3.

    Bohner, M, Chatzarakis, GE, Stavroulakis, IP: Oscillation in difference equations with deviating arguments and variable coefficients. Bull. Korean Math. Soc. 52(1), 159-172 (2015)

    Article  Google Scholar 

  4. 4.

    Chatzarakis, GE, Lafci, M, Stavroulakis, IP: Oscillation results for difference equations with several oscillating coefficients. Appl. Math. Comput. 251, 81-91 (2015)

    Article  MathSciNet  Google Scholar 

  5. 5.

    Chatzarakis, GE, Péics, H, Stavroulakis, IP: Oscillation in difference equations with deviating arguments and variable coefficients. Abstr. Appl. Anal. 2014, Article ID 902616 (2014)

    Article  Google Scholar 

  6. 6.

    Fukagai, N, Kusano, T: Oscillation theory of first order functional-differential equations with deviating arguments. Ann. Mat. Pura Appl. 136, 95-117 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  7. 7.

    Grammatikopoulos, MK, Koplatadze, R, Stavroulakis, IP: On the oscillation of solutions of first-order differential equations with retarded arguments. Georgian Math. J. 10, 63-76 (2003)

    MATH  MathSciNet  Google Scholar 

  8. 8.

    Kulenovic, MR, Grammatikopoulos, MK: First order functional differential inequalities with oscillating coefficients. Nonlinear Anal. 8, 1043-1054 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  9. 9.

    Ladas, G, Sficas, G, Stavroulakis, IP: Functional-differential inequalities and equations with oscillating coefficients. In: Trends in Theory and Practice of Nonlinear Differential Equations. Lecture Notes in Pure and Appl. Math., vol. 90, pp. 277-284. Dekker, New York (1984)

    Google Scholar 

  10. 10.

    Ladas, G, Stavroulakis, IP: Oscillations caused by several retarded and advanced arguments. J. Differ. Equ. 44, 134-152 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  11. 11.

    Li, X, Zhu, D, Wang, H: Oscillation for advanced differential equations with oscillating coefficients. Int. J. Math. Math. Sci. 33, 2109-2118 (2003)

    Article  MathSciNet  Google Scholar 

  12. 12.

    Qian, C, Ladas, G, Yan, J: Oscillation of difference equations with oscillating coefficients. Rad. Mat. 8, 55-65 (1992)

    MathSciNet  Google Scholar 

  13. 13.

    Tang, XH, Cheng, SS: An oscillation criterion for linear difference equations with oscillating coefficients. J. Comput. Appl. Math. 132, 319-329 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  14. 14.

    Xianhua, T: Oscillation of first order delay differential equations with oscillating coefficients. Appl. Math. J. Chin. Univ. Ser. B 15, 252-258 (2000)

    Article  MATH  Google Scholar 

  15. 15.

    Yan, W, Yan, J: Comparison and oscillation results for delay difference equations with oscillating coefficients. Int. J. Math. Math. Sci. 19, 171-176 (1996)

    Article  MATH  Google Scholar 

  16. 16.

    Yu, JS, Tang, XH: Sufficient conditions for the oscillation of linear delay difference equations with oscillating coefficients. J. Math. Anal. Appl. 250, 735-742 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  17. 17.

    Yu, JS, Zhang, BG, Qian, XZ: Oscillations of delay difference equations with oscillating coefficients. J. Math. Anal. Appl. 177, 432-444 (1993)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The research of Hajnalka Péics is supported by the Serbian Ministry of Science, Technology and Development for Scientific Research Grant no. III44006.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Hajnalka Péics.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

This paper is the result of the joint efforts of all the authors. All authors read and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Chatzarakis, G.E., Péics, H., Pinelas, S. et al. Oscillation results for difference equations with oscillating coefficients. Adv Differ Equ 2015, 53 (2015). https://doi.org/10.1186/s13662-015-0391-0

Download citation

Keywords

  • Real Number
  • Difference Equation
  • Slight Modification
  • Difference Operator
  • Oscillatory Behavior