Open Access

Sufficient conditions for oscillation of a nonlinear fractional nabla difference system

SpringerPlus20165:1178

https://doi.org/10.1186/s40064-016-2820-2

Received: 8 April 2016

Accepted: 12 July 2016

Published: 26 July 2016

Abstract

In this paper, we study the oscillation of nonlinear fractional nabla difference equations of the form
$$ \left\{ \begin{array}{ll}\nabla _a^{\alpha }x(t)+q(t)f(x(t))=g(t), &{}\quad t\in {\mathbb {N}}_{a+1},\\ \nabla _a^{-(1-\alpha )}x(t)|_{t=a}=c, \end{array}\right. $$
where c and α are constants, \(0<\alpha <1,\nabla _a^{\alpha }\) is the Riemann–Liouville fractional nabla difference operator of order \(\alpha , a\ge 0\) is a real number, and \({\mathbb {N}}_{a+1}=\{a+1,a+2,\ldots \}\). Some sufficient conditions for oscillation are established.

Keywords

OscillationNonlinear fractional nabla difference equationDiscrete fractional calculus

Mathematics Subject Classification

26A3339A1239A21

Background

It is well known that discrete fractional calculus is a very new area. In 1988, Miller and Ross (1989) firstly introduced the definitions of non-integer order differences and sums. Since then, several authors started to study the theory of fractional difference equations. Especially, some excellent results have been established in recent years. For example, we refer the reader to Atici and Eloe (2007, 2009a, 2009b, 2011, 2012), Abdeljawad and Atici (2012), Atici and Wu (2014), Goodrich (2011, 2012), Anastassiou (2010, 2011), Čermák et al. (2015), Dassios and Baleanu (2013, 2015), Dassios et al. (2014), Hein et al. (2011), Abdeljawad (2011, 2013a, b), Alzabut and Abdeljawad (2014), Kang et al. (2014), Diblík (2015), Kisalar et al. (2015), Erbe et al. (2016), Li (2016) and the references therein.

The oscillation theory is an important part of the qualitative theory of fractional difference equations. However, to the best of our knowledge, few papers (Alzabut and Abdeljawad 2014; Kisalar et al. 2015; Li 2016) are known regarding the oscillatory behavior of fractional difference equations.

In Alzabut and Abdeljawad (2014), Alzabut and Abdeljawad considered the oscillation for nonlinear fractional difference equation of the form
$$ \left\{ \begin{array}{lll} \nabla _{a(q)-1}^{q}x(t)+f_1(t,x(t))=r(t)+f_2(t,x(t)), &{}\quad t\in {\mathbb {N}}_{a(q)}, \\ \nabla _{a(q)-1}^{-(1-q)}x(t)|_{t=a(q)}=x(a(q))=c, &{}\quad c\in {\mathbb {R}}, \end{array}\right. \quad \quad \quad \quad \quad \quad (E1) $$
where \({\mathbb {N}}_{a(q)}=\{a(q)+1,a(q)+2,\ldots \}, \ a(q)=a+m-1, \ m=[q]+1, m-1<q<m, \ m\in {\mathbb {N}}, r:{\mathbb {N}}_{a(q)}\rightarrow {\mathbb {R}}, f_i:{\mathbb {N}}_{a(q)}\times {\mathbb {R}}\rightarrow {\mathbb {R}}, (i=1,2), \nabla _{a(q)}^q\) is the Riemann–Liouville fractional nabla difference operator of order q of x, and \(\nabla _{a(q)}^{-q}\) is q-th fractional sum operator.
In Kisalar et al. (2015), Kisalar et al. studied oscillatory behavior of the higher order fractional nonlinear difference equations of the form
$$ \left\{ \begin{array}{lll} \Delta ^{\alpha }x(t)+f_1(t,x(t+\alpha ))=v(t)+f_2(t,x(t+\alpha )), &{}\quad t\in {\mathbb {N}}_{0}, \ m-1<\alpha \le m, \\ \Delta ^{\alpha -k}x(t)|_{t=0}=x_k, &{}\quad k=1,2,\ldots ,m-1, \end{array}\right. \quad \quad (E2) $$
where \(\Delta ^{\alpha }\) is a Riemann–Liouville fractional delta difference operator of order α, \(m-1<\alpha \le m,m\ge 1\) is an integer, \( f_i: [0,\infty )\times {\mathbb {R}} \rightarrow {\mathbb {R}}, (i=1,2)\) and v are continuous with respect to t and \(x,{\mathbb {N}}_a = \{a, a+1, a+2, \ldots \}\).
In Li (2016), Li established the oscillation of forced fractional difference equations with damping term of the form
$$ (1+p(t))\Delta (\Delta ^{\alpha }x(t))+p(t)\Delta ^{\alpha }x(t)+f(t,x(t))=g(t), \quad t\in {\mathbb {N}}_0, \qquad \qquad \qquad \qquad (E3) $$
with initial condition \(\Delta ^{\alpha -1}x(t)|_{t=0}=x_0, \) where \( 0<\alpha <1 \) is a constant, \(\Delta ^{\alpha }x\) is the Riemann–Liouville fractional delta difference operator of order α of x, and \({\mathbb {N}}_0=\{0,1,2,\ldots \}\).
In Atici and Eloe (2012), Atici and Eloe considered the following initial value problem for a nonlinear fractional difference equation
$$ \left\{ \begin{array}{lll} \nabla _{a}^{\nu }x(t)=f(t,x(t)), &{}\quad \text{ for }\ \ t=a+1,a+2,\ldots , \\ \nabla _{a}^{-(1-\nu )}x(t)|_{t=a}=x(a)=c, \end{array}\right. \qquad \qquad \qquad \qquad \qquad (E4)$$
where \(0<\nu \le 1\) and a is any real number. The authors obtained that x(t) is a solution of (E4) if and only if
$$ x(t)=\frac{(t-a+1)^{\overline{\nu -1}}}{\Gamma (\nu )}x(a)+\nabla _{a+1}^{-\nu }f(t,x(t)). $$
Motivated by the papers (Atici and Eloe 2012; Alzabut and Abdeljawad 2014; Kisalar et al. 2015; Li 2016), in this paper, we investigate the oscillation of a nonlinear fractional nabla difference system of the form
$$ \left\{ \begin{array}{ll} \nabla _a^{\alpha }x(t)+q(t)f(x(t))=g(t), &{}\quad t\in {\mathbb {N}}_{a+1}, \\ \nabla _a^{-(1-\alpha )}x(t)|_{t=a}=c,\end{array}\right. $$
(1)
where c and α are constants, \(0<\alpha <1,\nabla _a^{\alpha }\) is the Riemann–Liouville fractional nabla difference operator of order \(\alpha ,a\ge 0\) is a real number, and \({\mathbb {N}}_{a+1}=\{a+1,a+2,\ldots \}\).

In this paper, we always assume that

(A) \(f:{\mathbb {R}}\rightarrow {\mathbb {R}}\), and \(xf(x)>0\) for \(x\ne 0,g:{\mathbb {N}}_{a+1}\rightarrow {\mathbb {R}}\), and \(q(t)\ge 0,t\in {\mathbb {N}}_{a+1}\).

A solution x(t) of the system (1) is said to be oscillatory if it is neither eventually positive nor eventually negative, otherwise it is nonoscillatory.

Preliminaries

In this section, we collect some basic definitions and lemmas that will be important to us in what follows. For an excellent introduction to the discrete fractional calculus, we refer the reader to papers (Atici and Eloe 2009a, 2012; Abdeljawad and Atici 2012; Anastassiou 2010, 2011; Abdeljawad 2011, 2013b).

Definition 1

(Atici and Eloe 2012) Let \(\nu >0\). The \(\nu \)-th fractional sum f is defined by
$$ \nabla _a^{-\nu }f(t)=\frac{1}{\Gamma (\nu )}\sum _{s=a}^{t}(t-s+1)^{\overline{\nu -1}}f(s), $$
(2)
for \(t\in {\mathbb {N}}_a=\{a,a+1,a+2,\ldots \}\), where \(\Gamma \) is the gamma function, and
$$ t^{\overline{\nu }}=\frac{\Gamma (t+\nu )}{\Gamma (t)}. $$
(3)

Definition 2

(Atici and Eloe 2012) Let \(\mu >0\) and \(m-1<\mu <m\), where m denotes a positive integer. Set \(\nu =m-\mu \). The \(\mu \)-th fractional nabla difference is defined as
$$ \nabla _a^{\mu }f(t)=\nabla _a^{m-\nu }f(t)=\nabla _a^m\nabla _a^{-\nu }f(t).$$
(4)

Lemma 3

(Atici and Eloe 2012) Let f be a real-valued function defined on \({\mathbb {N}}_a\), and let \(\mu ,\nu >0\). Then
$$ \nabla _a^{-\nu }[\nabla _a^{-\mu }f(t)]=\nabla _a^{-(\mu +\nu )}f(t)=\nabla _a^{-\mu }\left[ \nabla _a^{-\nu }f(t)\right] , $$
(5)
and
$$ \nabla _{a+1}^{-\nu }\nabla f(t)=\nabla \nabla _a^{-\nu }f(t)-\frac{(t-a+1)^{\overline{\nu -1}}}{\Gamma (\nu )}f(a). $$
(6)

Lemma 4

(Atici and Eloe 2012) For every \(t\in {\mathbb {N}}_a\),
$$ \nabla _a^{-\nu }(t-a+1)^{\overline{\mu }}=\frac{\Gamma (\mu +1)}{\Gamma (\mu +\nu +1)}(t-a+1)^{\overline{\nu +\mu }}. $$
(7)

Lemma 5

Let
$$ E(t)=\sum _{s=a}^{t}(t-s+1)^{\overline{-\alpha }}x(s), \quad t\in {\mathbb {N}}_a. $$
(8)
Then
$$ \nabla E(t)=\Gamma (1-\alpha )\nabla _a^{\alpha }x(t). $$
(9)

Proof

Using Definition 1, it follows from (8) that
$$ \begin{aligned} E(t)&=\sum _{s=a}^{t}(t-s+1)^{\overline{-\alpha }}x(s)=\sum _{s=a}^{t}(t-s+1)^{\overline{(1-\alpha )-1}}x(s)\\ &=\Gamma (1-\alpha )\nabla _a^{-(1-\alpha )}x(t).\end{aligned} $$
(10)
Using Definition 2, it follows from (10) that
$$ \nabla E(t)=\Gamma (1-\alpha )\nabla \nabla _a^{-(1-\alpha )}x(t)=\Gamma (1-\alpha )\nabla _a^{\alpha }x(t). $$
The proof of Lemma 5 is complete.

Lemma 6

Let \(a\ge 0\) and \(0<\alpha <1\) be real number, \(u,v:{\mathbb {N}}_a\rightarrow {\mathbb {R}}\). If
$$ u(t)\le v(t), \quad t\in {\mathbb {N}}_a, $$
(11)
then
$$ \nabla _a^{-\alpha }u(t)\le \nabla _a^{-\alpha }v(t). $$
(12)

Proof

It follows from (11) that
$$ (t-s+1)^{\overline{\alpha -1}}u(s)\le (t-s+1)^{\overline{\alpha -1}}v(s) \quad \text{ for } \ \ s=a,a+1,\ldots ,t. $$
(13)
Summing both sides of (13) from a to t, we have
$$ \sum _{s=a}^t(t-s+1)^{\overline{\alpha -1}}u(s)\le \sum _{s=a}^t(t-s+1)^{\overline{\alpha -1}}v(s). $$
(14)
Using Definition 1, from (14) we easily obtain (12). This completes the proof of Lemma 6.

Main results

In this section, we establish the oscillation results of system (1).

Theorem 7

Assume that
$$ \liminf _{t\rightarrow \infty }\left\{ (t-a)^{1-\alpha }\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}}g(s)\right\} =-\infty ,$$
(15)
and
$$ \limsup _{t\rightarrow \infty }\left\{ (t-a)^{1-\alpha }\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}}g(s)\right\} =+\infty . $$
(16)
Then every solution x(t) of the system (1) is oscillatory.

Proof

Suppose to the contrary that there is a nonoscillatory solution x(t) of system (1). It is obvious that there exists \(t_0\in {\mathbb {N}}_{a+1}\) such that \(x(t)>0\) or \(x(t)<0, \ t\ge t_0.\)

Case 1

\(x(t)>0, \ t\ge t_0.\) Noting the assumption (A), from the system (1) , we have
$$ \nabla _a^{\alpha }x(t)=-q(t)f(x(t))+g(t)\le g(t). $$
(17)
Using Lemma 6, from (17), we have
$$\nabla _{a+1}^{-\alpha }\nabla _a^{\alpha }x(t)\le \nabla _{a+1}^{-\alpha }g(t). $$
(18)
Using Definition 2, Lemma 3 in the left-hand side of (18) and noting the initial condition of system (1) , we obtain
$$\begin{aligned} \nabla _{a+1}^{-\alpha }\nabla _a^{\alpha }x(t) &=\nabla _{a+1}^{-\alpha }\nabla \nabla _a^{-(1-\alpha )}x(t)\\ &=\nabla \nabla _a^{-\alpha }\nabla _a^{-(1-\alpha )}x(t) -\frac{(t-a+1)^{\overline{\alpha -1}}}{\Gamma (\alpha )} \nabla _a^{-(1-\alpha )}x(a)\\ &=x(t)-\frac{c}{\Gamma (\alpha )}(t-a+1)^{\overline{\alpha -1}}. \end{aligned}$$
(19)
Using Definition 1, it follows from the right-hand side of (18) that
$$ \nabla _{a+1}^{-\alpha }g(t) =\frac{1}{\Gamma (\alpha )}\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}}g(s). $$
(20)
Combining (18)–(20), we have
$$ x(t)\le \frac{c}{\Gamma (\alpha )}(t-a+1)^{\overline{\alpha -1}}+\frac{1}{\Gamma (\alpha )}\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}} g(s). $$
(21)
It follows from (21) that
$$\begin{aligned} \Gamma (\alpha )(t-a)^{1-\alpha }x(t)&\le c(t-a+1)^{\overline{\alpha -1}}(t-a)^{1-\alpha }\\ &\quad +(t-a)^{1-\alpha }\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}} g(t).\end{aligned}$$
(22)
By using the Stirling’s formula (Alzabut and Abdeljawad 2014)
$$ \lim _{t\rightarrow \infty }\frac{\Gamma (t)t^{\varepsilon }}{\Gamma (t+\varepsilon )}=1, \quad \varepsilon >0, $$
we obtain
$$\begin{aligned} &\lim _{t\rightarrow \infty }(t-a)^{1-\alpha }(t-a+1)^{\overline{\alpha -1}}\\ &\quad =\lim _{t\rightarrow \infty }(t-a)^{1-\alpha } \frac{\Gamma (t-a+1+\alpha -1)}{\Gamma (t-a+1)}\\ &\quad =\lim _{t\rightarrow \infty }(t-a)^{1-\alpha }\frac{\Gamma (t-a+\alpha )}{(t-a)\Gamma (t-a)}\\ &\quad =\lim _{t\rightarrow \infty }\frac{\Gamma (t-a+\alpha )}{(t-a)^{\alpha }\Gamma (t-a)}\\ &\quad =1. \end{aligned}$$
(23)
Noting (23) and taking \(t\rightarrow \infty \) in (22), we have
$$ \liminf _{t\rightarrow \infty }\left\{ (t-a)^{1-\alpha }x(t)\right\} \le -\infty , $$
(24)
which contradicts with \(x(t)>0\).

Case 2

\(x(t)<0, \ t\ge t_0.\) Noting the assumption (A), from the system (1) , we have
$$ \nabla _a^{\alpha }x(t)=-q(t)f(x(t))+g(t)\ge g(t). $$
By Lemma 6, from (24), we obtain
$$\nabla _{a+1}^{-\alpha }\nabla _a^{\alpha }x(t)\ge \nabla _{a+1}^{-\alpha }g(t). $$
(25)
Using the procedure of Case 1, it follows from (25) that
$$\begin{aligned} \Gamma (\alpha )(t-a)^{1-\alpha }x(t)&\ge c(t-a+1)^{\overline{\alpha -1}}(t-a)^{1-\alpha }\\ &\quad +(t-a)^{1-\alpha }\sum _{s=a+1}^{t}(t-s+1)^{\overline{\alpha -1}} g(t).\end{aligned}$$
(26)
Noting (23) and taking \(t\rightarrow \infty \) in (26), we have
$$ \limsup _{t\rightarrow \infty }\left\{ (t-a)^{1-\alpha }x(t)\right\} \ge +\infty , $$
which contradicts with \(x(t)<0\). This completes the proof of Theorem 7.

Theorem 8

Assume that there exists \(t_0\in {\mathbb {N}}_{a+1}\) such that
$$ \liminf _{t\rightarrow \infty }\left\{ \sum _{s=t_0+1}^{t}g(s)\right\} =-\infty , $$
(27)
and
$$\limsup _{t\rightarrow \infty }\left\{ \sum _{s=t_0+1}^{t}g(s)\right\} =+\infty . $$
(28)
Then every solution x(t) of the system (1) is oscillatory.

Proof

Suppose to the contrary that there is a nonoscillatory solution x(t) of system (1). It is obvious that there exists \(t_0\in {\mathbb {N}}_{a+1}\) such that \(x(t)>0\) or \(x(t)<0, \ t\ge t_0.\)

Case 1

\(x(t)>0, \ t\ge t_0.\) As in the proof of Theorem 7, we obtain (17). Using Lemma 5, it follows from (17) that
$$\nabla E(t)\le \Gamma (1-\alpha )g(t). $$
(29)
Summing both sides of (29) from \(t_0+1\) to t, we have
$$ E(t)\le E(t_0)+\Gamma (1-\alpha )\sum _{s=t_0+1}^{t} g(t).$$
(30)
Letting \(t\rightarrow \infty \) in (30), we obtain
$$\liminf _{t\rightarrow \infty }E(t)=-\infty , $$
which contradicts with \(E(t)>0\).

Case 2

\(x(t)<0, \ t\ge t_0.\) As in the proof of Theorem 7, we obtain (24). Then, using the above mentioned method, we easily obtain a contradiction. This completes the proof of Theorem 8.

Remarks

In our Definition 1, the fractional sum in (2) starts at a. In Abdeljawad and Atici (2012), Abdeljawad and Atici introduced the following fractional sum.

Let \(\nu >0\). The \(\nu \)-th fractional sum f is defined by
$$ \widetilde{\nabla }_a^{-\nu }f(t) =\frac{1}{\Gamma (\nu )}\sum _{s=a+1}^{t}(t-s+1)^{\overline{\nu -1}}f(s), \quad t\in {\mathbb {N}}_{a+1}.$$
(31)
Obviously, the fractional sum in (31) starts at \(a+1\). In Abdeljawad and Atici (2012), the authors established the relation between the operators \(\nabla _a^{-\nu }\) and \(\widetilde{\nabla }_a^{-\nu }\) and considered the following initial value problem for a nonlinear fractional difference equation
$$ \left\{ \begin{array}{lll} \nabla _{a-1}^{\alpha }x(t)=f(t,x(t)), &{}\quad \text{ for } \ \ t=a+1,a+2,\ldots ,\\ \widetilde{\nabla }_{a-1}^{-(1-\alpha )}x(t)|_{t=a}=x(a)=c, \end{array}\right. \quad \qquad \qquad \qquad (E5) $$
where \(0<\alpha <1\) and a is any real number. The authors obtained that x(t) is a solution of (E5) if and only if
$$ x(t)=\frac{(t-a+1)^{\overline{\alpha -1}}}{\Gamma (\alpha )}x(a)+\widetilde{\nabla }_a^{-\alpha }f(t,x(t)).$$
Using the idea in Abdeljawad and Atici (2012), we can try to investigate the oscillation of the following nonlinear fractional nabla difference system
$$\left\{ \begin{array}{ll} \nabla _{a-1}^{\alpha }x(t)+q(t)f(x(t))=g(t), &{}\quad t\in {\mathbb {N}}_a,\\ \widetilde{\nabla }_{a-1}^{-(1-\alpha )}x(t)|_{t=a}=c.\end{array}\right. \qquad \qquad \qquad \qquad\qquad (E6) $$

Examples

In this section, we give some examples to illustrate our main results.

Example 9

Consider the following fractional nabla difference system
$$ \left\{ \begin{array}{ll} \nabla _1^{\frac{1}{2}}x(t)+\frac{\left( t-\frac{\sqrt{\pi }}{2}\right) \Gamma (t)}{\Gamma \left( t+\frac{1}{2}\right) }x(t)=t, &{}\quad t\in {\mathbb {N}}_2,\\ \nabla _1^{-\frac{1}{2}}x(t)\Big |_{t=1}=\frac{\sqrt{\pi }}{2}.\end{array} \right. $$
(32)
Here \(a=1,\alpha =\frac{1}{2}, q(t)=\frac{(t-\frac{\sqrt{\pi }}{2})\Gamma (t)}{\Gamma (t+\frac{1}{2})}, \ f(x(t))=x(t), \ g(t)=t\). It is easy to see that
$$ (t-1)^{\frac{1}{2}}\sum _{s=2}^{t}(t-s+1)^{\overline{-\frac{1}{2}}}g(s) =(t-1)^{\frac{1}{2}}\sum _{s=2}^{t}(t-s+1)^{\overline{-\frac{1}{2}}}s>0, \quad t\in {\mathbb {N}}_2. $$
(33)
Therefore, from (33), we obtain that the condition (15) of Theorem 7 does not hold. Indeed, using Lemma 4 and Definition 1, by careful calculation, we find that \(x(t)=t^{\overline{\frac{1}{2}}}>0\) is a nonoscillatory solution of system (32).

Example 10

Consider the following fractional nabla difference system
$$ \left\{ \begin{array}{ll}\nabla _1^{\frac{1}{3}}x(t)+\frac{t^2\Gamma (t)}{\Gamma \left( t+\frac{1}{3}\right) }x(t)=t^2+\frac{1}{3}\Gamma \left( \frac{1}{3}\right) , &{}\quad t\in {\mathbb {N}}_2,\\ \nabla _1^{-\frac{2}{3}}x(t)\Big |_{t=1}=\frac{1}{3}\Gamma \left( \frac{1}{3}\right) .\end{array} \right. $$
(34)
Here \(a=1,\alpha =\frac{1}{3}, \ q(t)=\frac{t^2\Gamma (t)}{\Gamma (t+\frac{1}{3})}, \ f(x(t))=x(t), \ g(t)=t^2+\frac{1}{3}\Gamma \left( \frac{1}{3}\right) \). Obviously, for \(t_0\in {\mathbb {N}}_2,\)
$$\sum _{s=t_0+1}^{t}g(s)=\sum _{s=t_0+1}^{t}\left( s^2+\frac{1}{3}\Gamma \left( \frac{1}{3}\right) \right) >0, $$
(35)
which shows that the condition (27) of Theorem 8 does not hold. In fact, we can verify that \(x(t)=t^{\overline{\frac{1}{3}}}>0\) is a nonoscillatory solution of system (34).

Example 11

Consider the following fractional nabla difference system
$$ \left\{ \begin{array}{ll}\nabla _1^{\frac{1}{2}}x(t)+\frac{3t}{\Gamma \left( t+\frac{1}{4}\right) }x(t)=(-1)^te^t-(-1)^{t-1}e^{t-1}, &{}\quad t\in {\mathbb {N}}_2,\\ \nabla _1^{-\frac{1}{2}}x(t)\Big |_{t=1}=c_1, &{}\quad (c_1 \text{ is } \text{ a } \text{ constant }).\end{array} \right. $$
(36)
Here \(a=1,\alpha =\frac{1}{2}, \ q(t)=\frac{3t}{\Gamma (t+\frac{1}{4})} \ f(x(t))=x(t), \ g(t)=(-1)^te^t-(-1)^{t-1}e^{t-1}\). We easily see that
$$ \sum _{s=t_0+1}^tg(s)=(-1)^te^t-(-1)^{t_0}e^{t_0}, \quad t_0\in {\mathbb {N}}_2. $$
Therefore,
$$ \liminf _{t\rightarrow \infty }\left\{ \sum _{s=t_0+1}^{t}g(s)\right\} =\liminf _{t\rightarrow \infty }\left\{ (-1)^te^t-(-1)^{t_0}e^{t_0}\right\} =-\infty , $$
(37)
and
$$ \limsup _{t\rightarrow \infty }\left\{ \sum _{s=t_0+1}^{t}g(s)\right\} =\limsup _{t\rightarrow \infty }\left\{ (-1)^te^t-(-1)^{t_0}e^{t_0}\right\} =+\infty , $$
(38)
which show that the conditions in Theorem 8 are satisfied. By Theorem 8, every solution x(t) of the system (36) is oscillatory.

Conclusions

This paper provides some oscillation criteria for solutions of a nonlinear fractional nabla difference system by using the basic theories of discrete fractional calculus. The main results are given in Theorems 7 and 8. In the end of this paper, we give three examples. Examples 9 and 10 show that the assumptions of the main results can not be dropped.

Declarations

Authors' contributions

WNL and WS contributed equally to the writing of this paper. Both authors read and approved the final manuscript.

Acknowlegements

This work is supported by the National Natural Science Foundation of China (10971018). The authors thank the referees very much for their valuable comments and suggestions on this paper.

Competing interests

The authors declare that they have no competing interests.

Open AccessThis 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.

Authors’ Affiliations

(1)
Department of Mathematics, Binzhou University

References

  1. Abdeljawad T (2013a) Dual identities in fractional difference calculus within Riemann. Adv Differ Equ. 2013:36. doi:10.1186/1687-1847-2013-36
  2. Abdeljawad T (2013b) On delta and nabla Caputo fractional differences and dual identities. Discrete Dyn Nat Soc. 2013:406910. doi:10.1155/2013/406910
  3. Abdeljawad T (2011) On Riemann and Caputo fractional differences. Comput Math Appl 62:1602–1611View ArticleGoogle Scholar
  4. Abdeljawad T, Atici FM (2012) On the definitions of nabla fractional differences. Abstr Appl Anal. 2012:406757. doi:10.1155/2012/406757
  5. Alzabut JO, Abdeljawad T (2014) Sufficient conditions for the oscillation of nonlinear fractional difference equations. J Fract Calc Appl 5:177–187Google Scholar
  6. Anastassiou GA (2010) Nabla discrete fractional calculus and nabla inequalities. Math Comput Model 51:562–571View ArticleGoogle Scholar
  7. Anastassiou GA (2011) Right nabla discrete fractional calculus. Int J Differ Equ 6(2):91–104Google Scholar
  8. Atici FM, Eloe PW (2007) A transform method in discrete fractional calculus. Int J Differ Equ 2(2):165–176Google Scholar
  9. Atici FM, Eloe PW (2009) Discrete fractional calculus with the nabla operator. Electron J Qual Theory Differ Equ Spec Ed I 3:1–12View ArticleGoogle Scholar
  10. Atici FM, Eloe PW (2009) Initial value problems in discrete fractional calculus. Proc Am Math Soc 137:981–989View ArticleGoogle Scholar
  11. Atici FM, Eloe PW (2011) Linear systems of fractional nabla difference equations. Rocky mountain. J Math 41:353–370Google Scholar
  12. Atici FM, Eloe PW (2012) Gronwall’s inequality on discrete fractional calculus. Comput Math Appl 64:3193–3200View ArticleGoogle Scholar
  13. Atici FM, Wu F (2014) Existence of solutions for nonlinear fractional difference equations with initial conditions. Dyn Syst Appl 23:265–276Google Scholar
  14. Čermák J, Győri I, Nechvátal L (2015) On explicit stability conditions for a linear fractional difference system. Fract Calc Appl Anal 18:651–672Google Scholar
  15. Dassios IK, Baleanu DI (2013) On a singular system of fractional nabla difference equations with boundary conditions. Bound Value Probl. 2013:148. doi:10.1186/1687-2770-2013-148
  16. Dassios IK, Baleanu DI, Kalogeropoulos GI (2014) On non-homogeneous singular systems of fractional nabla difference equations. Appl Math Comput 227:112–131Google Scholar
  17. Dassios IK, Baleanu DI (2015) Duality of singular linear systems of fractional nabla difference equations. Appl Math Model 39:4180–4195View ArticleGoogle Scholar
  18. Diblík J, Fec̆kan M, Pospíšil M (2015) Nonexistence of periodic solutions and \(S\)-asymptotically periodic solutions in fractional difference equations. Appl Math Comput 257:230–240Google Scholar
  19. Erbe L, Goodrich CS, Jia B, Peterson A (2016) Survey of the qualitative properties of fractional difference operators: monotonicity, convexity, and asymptotic behavior of solutions. Adv Differ Equ. 2016:43. doi:10.1186/s13662-016-0760-3
  20. Goodrich CS (2011) Existence of a positive solution to a system of discrete fractional boundary value problems. Appl Math Comput 217:4740–4753Google Scholar
  21. Goodrich CS (2012) On a discrete fractional three-point boundary value problem. J Differ Equ Appl 18:397–415View ArticleGoogle Scholar
  22. Hein J, McCarthy Z, Gaswick N, McKain B, Hill K (2011) Laplace transforms for the nabla-difference operator. Panam Math J 21(3):79–97Google Scholar
  23. Kang S, Li Y, Chen H (2014) Positive solutions to boundary value problems of fractional difference equation with nonlocal conditions. Adv Differ Equ. 2014:7. doi:10.1186/1687-1847-2014-7
  24. Kisalar S, Yildiz MK, Aktoprak E (2015) Oscillation of higher order fractional nonlinear difference equations. Int J Differ Equ 10(2):201–212Google Scholar
  25. Li WN (2016) Oscillation results for certain forced fractional difference equations with damping term. Adv Differ Equ. 2016:70. doi:10.1186/s13662-016-0798-2
  26. Miller KS, Ross B (1989) Fractional difference calculus. In: Proceedings of the international symposium on univalent functions, fractional calculus and their applications. Nihon University, Koriyama, Japan, May 1988, pp 139–152. Ellis Horwood Ser Math Appl, Horwood, ChichesterGoogle Scholar

Copyright

© The Author(s) 2016