Some new fractional difference inequalities of Gronwall-Bellman type

Abstract

Abstract

The purpose of the present paper is to establish some important fractional difference inequalities of Gronwall-Bellman type that have a wide range of applications in the study of fractional difference equations.

MSC

39A10, 39A99

Introduction

Fractional calculus has gained importance during the past three decades due to its applicability in diverse fields of science and engineering[1]. The notions of fractional calculus may be traced back to the works of Euler, but the idea of fractional difference is very recent.

Diaz and Osler[2] defined the fractional difference by the rather natural approach of allowing the index of differencing, in the standard expression for the n th difference, to be any real or complex number. Later, Hirota[3] defined the fractional order difference operator ∇^α, where α is any real number, using Taylor’s series. Nagai[4] adopted another definition for fractional difference by modifying Hirota’s[3] definition. Recently, Deekshitulu and Jagan Mohan[5] modified the definition of Nagai[4] and discussed some basic inequalities, comparison theorems, and qualitative properties of the solutions of fractional difference equations[5–10].

Discrete inequalities involving sequences of real numbers, which may be considered as discrete analogues of the Gronwall-Bellman inequality, have been extensively used in the analysis of finite difference equations. In the year 1973, Pachpatte[11] established the following remarkable inequality:

Theorem 1

Let u(n), b(n), and c(n) be nonnegative real valued functions defined on${\mathbb{N}}_0^{+}$and c ≥ 0 is a constant. If, for$n\in {\mathbb{N}}_0^{+}$,

$$u\left(n\right)\le c+\sum _{j=0}^{n-1}b\left(j\right)\left[u\left(j\right)+\sum _{k=0}^{j-1}c\left(k\right)u\left(k\right)\right],$$

then

$$u\left(n\right)\le c\left[1+\sum _{j=0}^{n-1}b\left(j\right)\prod _{k=0}^{j-1}[1+b(j)+c(j\left)\right]\right].$$

Throughout the present paper, we use the following notations[12]:$\mathbb{N}$ is the set of natural numbers including zero and$\mathbb{Z}$ is the set of integers.${\mathbb{N}}_a^{+}=\{a,a+1,a+2,\dots \}$ for$a\in \mathbb{Z}$. Let u(n) be a real valued function defined on${\mathbb{N}}_0^{+}$. Then, for all$n_1,n_2\in {\mathbb{N}}_0^{+}$, and n₁ > n₂,${\sum }_{j=n_1}^{n_2}u\left(j\right)=0$ and${\prod }_{j=n_1}^{n_2}u\left(j\right)=1$, i.e., empty sums and products are taken to be 0 and 1, respectively. If n and n + 1 are in${\mathbb{N}}_0^{+}$, the backward difference operator ∇ is defined as ∇u(n) = u(n) − u(n − 1).

Now, we introduce some basic definitions and results concerning nabla discrete fractional calculus. The extended binomial coefficient$\left(\genfrac{}{}{0ex}{}{a}{n}\right)$, ($a\in \mathbb{R}$,$n\in \mathbb{Z}$), is defined by[4]:

$$\left(\genfrac{}{}{0ex}{}{a}{n}\right)=\left\{\begin{array}{c}\frac{\mathrm{\Gamma }(a+1)}{\mathrm{\Gamma }(a-n+1)\mathrm{\Gamma }(n+1)}\mathit{\text{n}}>0\hfill \\ 1\mathit{\text{n}}=0\hfill \\ 0\mathit{\text{n}}<0.\hfill \end{array}\right.$$

In 2003, Nagai[4] gave the following definition for the fractional order difference operator:

Definition 1

Let

$$\alpha \in \mathbb{R}$$

and m be an integer such that m − 1 < α ≤ m. The difference operator ∇ of order α, with step length ϵ, is defined as

$$\begin{array}{l}{\nabla }^{\alpha }u\left(n\right)=\left\{\begin{array}{cc}{\nabla }^{\alpha -m}\left[{\nabla }^{m}u\right(n\left)\right]={ϵ}^{m-\alpha }\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{\alpha -m}{j}\right){(-1)}^j{\nabla }^{m}u(n-j)\hfill & \alpha >0\hfill \\ u\left(n\right)\hfill & \alpha =0\hfill \\ {ϵ}^{-\alpha }\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{\alpha }{j}\right){(-1)}^{j}u(n-j)\hfill & \alpha <0.\hfill \end{array}\right.\hfill \end{array}$$

The above definition of ∇^αu(n) given by Nagai[4] contains the ∇ operator and the term (−1)^j inside the summation index, and hence, it becomes difficult to study the properties of the solution. Deekshitulu and Jagan Mohan[5] modified the above definition for α ∈ (0, 1) as follows:

Definition 2

The fractional sum operator of order α($\alpha \in \mathbb{R}$) is defined as

$$\begin{array}{ll}{\nabla }^{-\alpha }u\left(n\right)\hfill & =\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{j+\alpha -1}{j}\right)u(n-j)\hfill \\ =\sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)u\left(j\right),\hfill \end{array}$$

(1)

and the fractional difference operator of order α($\alpha \in \mathbb{R}$ and 0 < α < 1) is defined as

$$\begin{array}{ll}{\nabla }^{\alpha }u\left(n\right)\hfill & =\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{j-\alpha }{j}\right)\nabla u(n-j)\hfill \\ =\sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j-\alpha -1}{n-j}\right)u\left(j\right)-\left(\genfrac{}{}{0ex}{}{n-\alpha -1}{n-1}\right)u\left(0\right).\hfill \end{array}$$

(2)

Remark 1

If we take α = 1in (2), using the definition of the generalized binomial coefficient, we have

$$\begin{array}{lcr}\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{j-1}{j}\right)\nabla u(n-j)\hfill & =\hfill & \left(\genfrac{}{}{0ex}{}{-1}{0}\right)\nabla u\left(n\right)+\sum _{j=1}^{n-1}\left(\genfrac{}{}{0ex}{}{j-1}{j}\right)\nabla u(n-j)\hfill \\ =\hfill & \left(\genfrac{}{}{0ex}{}{-1}{0}\right)\nabla u\left(n\right)+\sum _{j=1}^{n-1}\left(\genfrac{}{}{0ex}{}{j-1}{-1}\right)\nabla u(n-j)\hfill \\ =\hfill & \nabla u\left(n\right).\hfill \end{array}$$

Gray and Zhang[13] gave the following definition:

Definition 3

For any complex numbers α and β,

$$\begin{array}{l}{\left(\alpha \right)}_{\beta }=\left\{\begin{array}{ll}\frac{\mathrm{\Gamma }(\alpha +\beta )}{\mathrm{\Gamma }\left(\alpha \right)}\hfill & \text{when}\alpha \text{and}\alpha +\beta \text{are neither zero}\hfill \\ \text{nor negative integers}\hfill \\ 1\hfill & \text{when}\alpha =\beta =0\hfill \\ 0\hfill & \text{when}\alpha =0\text{and}\beta \text{is neither zero}\hfill \\ \text{nor a negative integer}\hfill \\ \text{undefined}\hfill & \text{otherwise.}\hfill \end{array}\right.\hfill \end{array}$$

Remark 2

For any complex numbers α and β, when α, β, and α + β are neither zero nor negative integers,

$$\begin{array}{l}{(\alpha +\beta )}_n=\sum _{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right){\left(\alpha \right)}_{n-k}{\left(\beta \right)}_k\hfill \end{array}$$

for any positive integer n.

Theorem 2

Let u(n) and v(n) be real valued functions defined on

$${\mathbb{N}}_0^{+}$$

and α,

$$\beta \in \mathbb{R}$$

such that 0 < α, β, α + β < 1 and c, d are constants. Then,

• 1. ∇^α[ cu(n) + dv(n)] = c∇^α u(n) + d∇^α v(n).

• 2. ∇^−α∇^α u(n) = u(n) − u(0).

• 3. ∇^α u(0) = 0 and ∇^α u(1) = u(1) − u(0) = ∇u(1).

Proof

• 2 Consider

  $$\begin{array}{lcr}{\nabla }^{-\alpha }{\nabla }^{\alpha }u\left(n\right)\hfill & =\hfill & {\nabla }^{-\alpha }\left[{\nabla }^{\alpha }u\left(n\right)\right]\hfill \\ =\hfill & \sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right){\nabla }^{\alpha }u\left(j\right)\hfill \\ =\hfill & \sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)\left[\sum _{k=0}^{j-1}\left(\genfrac{}{}{0ex}{}{k-\alpha }{k}\right)\nabla u(j-k)\right]\hfill \\ =\hfill & \sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)\left[\sum _{i=1}^j\left(\genfrac{}{}{0ex}{}{j-i-\alpha }{j-i}\right)\nabla u\left(i\right)\right]\hfill \end{array}$$
  $$\begin{array}{lc}=\hfill & \sum _{j=1}^n\sum _{i=1}^j\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)\left(\genfrac{}{}{0ex}{}{j-i-\alpha }{j-i}\right)\nabla u\left(i\right)\hfill \\ =\hfill & \sum _{i=1}^n\sum _{j=i}^n\frac{\mathrm{\Gamma }(n-j+\alpha )}{\mathrm{\Gamma }(n-j+1)\mathrm{\Gamma }\left(\alpha \right)}\frac{\mathrm{\Gamma }(j-i-\alpha +1)}{\mathrm{\Gamma }(j-i+1)\mathrm{\Gamma }(-\alpha +1)}\nabla u\left(i\right)\hfill \\ =\hfill & \sum _{i=1}^n\sum _{j=0}^{n-i}\frac{\mathrm{\Gamma }(n-j-i+\alpha )}{\mathrm{\Gamma }(n-j-i+1)\mathrm{\Gamma }\left(\alpha \right)}\frac{\mathrm{\Gamma }(j-\alpha +1)}{\mathrm{\Gamma }(j+1)\mathrm{\Gamma }(-\alpha +1)}\nabla u\left(i\right)\hfill \\ =\hfill & \sum _{i=1}^n\frac{\nabla u\left(i\right)}{\mathrm{\Gamma }(n-i+1)}\sum _{j=0}^{n-i}\frac{\mathrm{\Gamma }(n-i+1)}{\mathrm{\Gamma }(n-i-j+1)\mathrm{\Gamma }(j+1)}\hfill \\ \times \frac{\mathrm{\Gamma }(n-i-j+\alpha )}{\mathrm{\Gamma }\left(\alpha \right)}\frac{\mathrm{\Gamma }(j-\alpha +1)}{\mathrm{\Gamma }(-\alpha +1)}\hfill \\ =\hfill & \sum _{i=1}^n\frac{\nabla u\left(i\right)}{\mathrm{\Gamma }(n-i+1)}\sum _{j=0}^{n-i}\left(\genfrac{}{}{0ex}{}{n-i}{j}\right){\left(\alpha \right)}_{n-i-j}{(-\alpha +1)}_j\hfill \\ =\hfill & \sum _{i=1}^n\frac{\nabla u\left(i\right)}{\mathrm{\Gamma }(n-i+1)}{\left(1\right)}_{n-i}\hfill \\ =\hfill & \sum _{i=1}^n\frac{\mathrm{\Gamma }(n-i+1)}{\mathrm{\Gamma }(n-i+1)\mathrm{\Gamma }\left(1\right)}\nabla u\left(i\right)=u\left(n\right)-u\left(0\right).\hfill \end{array}$$

The proofs of 1 and 3 are clear from Definition 2. □

Definition 4

Let$f(n,r):{\mathbb{N}}_0^{+}\times \mathbb{R}\to \mathbb{R}$. Then, a nonlinear difference equation of order α, 0 < α < 1, together with an initial condition is of the form

$${\nabla }^{\alpha }u(n+1)=f(n,u(n\left)\right),u\left(0\right)=u_0.$$

(3)

Now, we consider (1) and replace u(n)by ∇^αu(n), and we have

$$\begin{array}{lcr}{\nabla }^{-\alpha }\left[{\nabla }^{\alpha }u\right(n\left)\right]\hfill & =\hfill & \sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)\left[{\nabla }^{\alpha }u\right(j\left)\right]\hfill \\ \text{or}u\left(n\right)-u\left(0\right)\hfill & =\hfill & \sum _{j=1}^n\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)\left[{\nabla }^{\alpha }u\right(j\left)\right]\hfill \\ \text{or}u\left(n\right)\hfill & =\hfill & u_0+\sum _{j=0}^{n-1}\left(\genfrac{}{}{0ex}{}{n-j+\alpha -2}{n-j-1}\right)\left[{\nabla }^{\alpha }u\right(j+1\left)\right]\hfill \\ \text{or}u\left(n\right)\hfill & =\hfill & u_0+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)f(j,u(j\left)\right),\hfill \end{array}$$

(4)

where

$$B(n,\alpha ;j)=\left(\genfrac{}{}{0ex}{}{n-j+\alpha -1}{n-j}\right)$$

for 0 ≤ j ≤ n. The above recurrence relation shows the existence of the solution of (3).

Recently, the authors have established the following fractional discrete Gronwall-Bellman-type inequality[10]:

Theorem 3

Let u(n), a(n), and b(n) be nonnegative real valued functions defined on

$${\mathbb{N}}_0^{+}$$

. If, for$n\in {\mathbb{N}}_0^{+}$,

$${\nabla }^{\alpha }u(n+1)\le a\left(n\right)u\left(n\right)+b\left(n\right),$$

(5)

then

$$\begin{array}{ll}u\left(n\right)\le \hfill & u\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)a\left(j\right)\right]\hfill \\ \times \sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)a\left(k\right)\right].\hfill \end{array}$$

Main Results

In this section, we shall establish some new fractional order difference inequalities of Gronwall-Bellman type analogous to the inequality (Theorem 1) given by Pachpatte[11]. Let u(n), b(n), c(n), p(n), and q(n) be nonnegative real valued functions defined on

$${\mathbb{N}}_0^{+}$$

and u(0) ≥ 0 be a constant.

Theorem 4

If a(n) is a positive, monotonic, and nondecreasing real valued function defined on${\mathbb{N}}_0^{+}$and

$$\begin{array}{ll}u\left(n\right)\le a\left(n\right)\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\hfill \\ \times \left[u\left(j\right)+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)u\left(k\right)\right]\hfill \end{array}$$

(6)

for$n\in {\mathbb{N}}_0^{+}$, then

$$\begin{array}{ll}u\left(n\right)\le a\left(n\right)\hfill & \left[1+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\right.\hfill \\ \left.\times \prod _{k=0}^{j-1}\left[1+B(j-1,\alpha ;k)\left[b\right(k)+c(k\left)\right]\right]\right]\hfill \end{array}$$

(7)

for$n\in {\mathbb{N}}_0^{+}$.

Proof

Since a(n) is a positive, monotonic, and nondecreasing real valued function, from (6), we observe that

$$\begin{array}{lcr}\frac{u\left(n\right)}{a\left(n\right)}\hfill & \le 1\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\hfill \\ \times \left[\frac{u\left(j\right)}{a\left(n\right)}+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)\frac{u\left(k\right)}{a\left(n\right)}\right]\hfill \\ \le 1\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\hfill \\ \times \left[\frac{u\left(j\right)}{a\left(j\right)}+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)\frac{u\left(k\right)}{a\left(k\right)}\right].\hfill \end{array}$$

(8)

Define a function

$$\begin{array}{ll}z\left(n\right)=1\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)\hfill \\ \times \left[\frac{u\left(j\right)}{a\left(j\right)}+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)\frac{u\left(k\right)}{a\left(k\right)}\right].\hfill \end{array}$$

Then, z(0) = 1,$\frac{u\left(n\right)}{a\left(n\right)}\le z\left(n\right)$, and using (4), we get

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\hfill & =b\left(n\right)\left[\frac{u\left(n\right)}{a\left(n\right)}+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)c\left(k\right)\frac{u\left(k\right)}{a\left(k\right)}\right]\hfill \\ \le b\left(n\right)\left[z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)c\left(k\right)z\left(k\right)\right].\hfill \end{array}$$

(9)

Let

$$v\left(n\right)=z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)c\left(k\right)z\left(k\right).$$

(10)

Then, v(0) = z(0) = 1, z(n) ≤ v(n), and ∇^αv(n + 1) = ∇^αz(n + 1) + c(n)z(n) ≤ [b(n) + c(n)]v(n). Now, an application of Theorem 3 yields

$$v\left(n\right)\le \prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[b\right(j)+c(j\left)\right]\right].$$

(11)

Then, from (9) and (11), we have

$${\nabla }^{\alpha }z(n+1)\le b\left(n\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[b\right(j)+c(j\left)\right]\right].$$

(12)

Now, again by application of Theorem 3, we get

$$\begin{array}{ll}z\left(n\right)\le \hfill & z\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)\hfill \\ \times \left[b\left(j\right)\prod _{k=0}^{j-1}\left[1+B(j-1,\alpha ;k)\left[b\right(k)+c(k\left)\right]\right]\right].\hfill \end{array}$$

(13)

Using (13) in$\frac{u\left(n\right)}{a\left(n\right)}\le z\left(n\right)$, we get the required inequality (7). □

Theorem 5

If a(n) is a nonnegative function defined on${\mathbb{N}}_0^{+}$and for$n\in {\mathbb{N}}_0^{+}$,

$$\begin{array}{ll}u\left(n\right)\le \hfill & u\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\hfill \\ \times \left[u\left(j\right)+b\left(j\right)+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)u\left(k\right)\right],\hfill \end{array}$$

(14)

then

$$\begin{array}{lcr}u\left(n\right)\hfill & \le \hfill & u\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\left[b\right(j)+A(j\left)\right],\hfill \end{array}$$

(15)

where

$$\begin{array}{ll}A\left(n\right)=\hfill & u\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)+c(j\left)\right]\right]\hfill \\ \times \sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)b\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)+c(k\left)\right]\right].\hfill \end{array}$$

(16)

Proof

Define a function

$$\begin{array}{ll}z\left(n\right)=\hfill & u\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\hfill \\ \times \left[u\left(j\right)+b\left(j\right)+\sum _{k=0}^{j-1}B(j-1,\alpha ;k)c\left(k\right)u\left(k\right)\right].\hfill \end{array}$$

Then, z(0) = u(0), u(n) ≤ z(n), and

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\le \hfill & a\left(n\right)b\left(n\right)\hfill \\ +a\left(n\right)\left[z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)c\left(k\right)z\left(k\right)\right].\hfill \end{array}$$

(17)

Let

$$v\left(n\right)=z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)c\left(k\right)z\left(k\right).$$

(18)

Then, v(0) = z(0), z(n) ≤ v(n), and ∇^αv(n + 1) = ∇^αz(n + 1) + c(n)z(n) ≤ a(n)b(n) + [ a(n) + c(n)] v(n). Now, an application of Theorem 3 yields

$$\begin{array}{lcr}v\left(n\right)\hfill & \le \hfill & v\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)+c(j\left)\right]\right]\hfill \\ +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)b\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)+c(k\left)\right]\right]=A\left(n\right)\hfill \end{array}$$

(19)

Then, from (17) and (19), we have

$$\begin{array}{l}{\nabla }^{\alpha }z(n+1)\le a\left(n\right)\left[b\right(n)+A(n\left)\right].\hfill \end{array}$$

(20)

Now, again by application of Theorem 3, we get

$$z\left(n\right)\le z\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\left[b\right(j)+A(j\left)\right].$$

(21)

Using (21) in u(n) ≤ z(n), we get the required inequality (15). □

Theorem 6

Let a(n) be a nonnegative real valued function defined on${\mathbb{N}}_0^{+}$. Suppose the following inequality holds for all$n\in {\mathbb{N}}_0^{+}$:

$$\begin{array}{ll}u\left(n\right)\le u\left(0\right)\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\left[\sum _{k=0}^{j-1}B(j-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \left.\times \left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)u\left(l\right)\right]\right].\hfill \end{array}$$

(22)

If [ 1 − B(n − 1,α;j)a(j)] ≥ 0 and [1 + B(n − 1,α;j)[a(j) − b(j)]] ≥ 0 for all 0 ≤ j ≤ (n − 1), then, for$n\in {\mathbb{N}}_0^{+}$,

$$\begin{array}{ll}u\left(n\right)\le u\left(0\right)\hfill & \left[\prod _{j=0}^{n-1}\left[1-B(n-1,\alpha ;j)a\left(j\right)\right]\right.\hfill \\ \times \sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)C\left(j\right)\hfill \\ \left.\times \prod _{k=j+1}^{n-1}\left[1-B(n-1,\alpha ;k)a\left(k\right)\right]\right],\hfill \end{array}$$

(23)

where

$$B\left(n\right)=\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)+b(j)+c(j\left)\right]\right]$$

(24)

and

$$\begin{array}{ll}C\left(n\right)=\hfill & \prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)-b(j\left)\right]\right]\hfill \\ \times \sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)B\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)-b(k\left)\right]\right].\hfill \end{array}$$

(25)

Proof

Define a function

$$\begin{array}{ll}z\left(n\right)=u\left(0\right)\hfill & +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\left[\sum _{k=0}^{j-1}B(j-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \times \left.\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)u\left(l\right)\right]\right].\hfill \end{array}$$

Then, z(0) = u(0), u(n) ≤ z(n), and

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\le a\left(n\right)\hfill & \left[\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \left.\times \left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)z\left(l\right)\right]\right].\hfill \end{array}$$

(26)

Adding a(n)z(n) to both sides of the above inequality, we have

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\hfill & +a\left(n\right)z\left(n\right)\hfill \\ \le a\left(n\right)\left[z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \times \left.\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)z\left(l\right)\right]\right].\hfill \end{array}$$

(27)

Let

$$v\left(n\right)=z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)z\left(l\right)\right].$$

(28)

Then, v(0) = z(0), z(n) ≤ v(n), and

$${\nabla }^{\alpha }v(n+1)={\nabla }^{\alpha }z(n+1)+b\left(n\right)\sum _{l=0}^{n-1}B(n-1,\alpha ;l)c\left(l\right)z\left(l\right).$$

(29)

Using the facts that ∇^αz(n + 1) ≤ a(n)v(n) and z(n) ≤ v(n), we get

$${\nabla }^{\alpha }v(n+1)\le a\left(n\right)v\left(n\right)+b\left(n\right)\sum _{l=0}^{n-1}B(n-1,\alpha ;l)c\left(l\right)z\left(l\right).$$

(30)

Adding b(n)v(n) to both sides of the above inequality, we have

$$\begin{array}{ll}{\nabla }^{\alpha }v(n+1)\hfill & +b\left(n\right)v\left(n\right)\le a\left(n\right)v\left(n\right)\hfill \\ +b\left(n\right)\left[v\left(n\right)+\sum _{l=0}^{n-1}B(n-1,\alpha ;l)c\left(l\right)z\left(l\right)\right].\hfill \end{array}$$

(31)

Let

$$w\left(n\right)=v\left(n\right)+\sum _{l=0}^{n-1}B(n-1,\alpha ;l)c\left(l\right)z\left(l\right).$$

(32)

Then, w(0) = v(0), v(n) ≤ w(n), and

$${\nabla }^{\alpha }w(n+1)\le {\nabla }^{\alpha }v(n+1)+c\left(n\right)w\left(n\right).$$

(33)

Now, from (30) and (31), we have

$${\nabla }^{\alpha }v(n+1)\le {\nabla }^{\alpha }v(n+1)+b\left(n\right)v\left(n\right)\le \left[a\right(n)+b(n\left)\right]w\left(n\right).$$

(34)

Using (34) in (33), we get

$${\nabla }^{\alpha }w(n+1)\le \left[a\right(n)+b(n)+c(n\left)\right]w\left(n\right).$$

(35)

Now, an application of Theorem 3 yields

$$\begin{array}{ll}w\left(n\right)\hfill & \le w\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)+b(j)+c(j\left)\right]\right]\hfill \\ =w\left(0\right)B\left(n\right).\hfill \end{array}$$

(36)

Then, from (31) and (35), we have

$${\nabla }^{\alpha }v(n+1)\le \left[a\right(n)-b(n\left)\right]v\left(n\right)+w\left(0\right)b\left(n\right)B\left(n\right).$$

Now, again by application of Theorem 3, we get

$$\begin{array}{lcr}v\left(n\right)\hfill & \le \hfill & v\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)-b(j\left)\right]\right]\hfill \\ +w\left(0\right)\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)B\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)-b(k\left)\right]\right]\hfill \\ =\hfill & v\left(0\right)C\left(n\right).\hfill \end{array}$$

(37)

Then, from (27) and (37), we get

$$\begin{array}{l}{\nabla }^{\alpha }z(n+1)\le -a\left(n\right)z\left(n\right)+v\left(0\right)a\left(n\right)C\left(n\right).\hfill \end{array}$$

Now, again by application of Theorem 3, we get

$$\begin{array}{ll}z\left(n\right)\le \hfill & z\left(0\right)\prod _{j=0}^{n-1}\left[1-B(n-1,\alpha ;j)a\left(j\right)\right]\hfill \\ +v\left(0\right)\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)C\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1-B(n-1,\alpha ;k)a\left(k\right)\right].\hfill \end{array}$$

(38)

Using (38) in u(n) ≤ z(n), we get the required inequality (23). □

Theorem 7

Let a(n) be a nonnegative real valued function defined on${\mathbb{N}}_0^{+}$. Suppose the following inequality holds for all$n\in {\mathbb{N}}_0^{+}$:

$$\begin{array}{ll}u\left(n\right)\le \hfill & u\left(0\right)+\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\left[\sum _{k=0}^{j-1}B(j-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \left.\times \left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)\left[c\right(l\left)u\right(l)+p(l\left)\right]\right]\right].\hfill \end{array}$$

(39)

If [ 1 − B(n − 1,α;j)a(j) ] ≥ 0 and [1 + B(n − 1,α;j)[ a(j) − b(j)] ] ≥ 0 for all 0 ≤ j ≤ (n − 1), then, for$n\in {\mathbb{N}}_0^{+}$,

$$\begin{array}{ll}u\left(n\right)\le \hfill & u\left(0\right)\prod _{j=0}^{n-1}\left[1-B(n-1,\alpha ;j)a\left(j\right)\right]\hfill \\ +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)E\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1-B(n-1,\alpha ;k)a\left(k\right)\right],\hfill \end{array}$$

(40)

where

$$\begin{array}{ll}D\left(n\right)=\hfill & u\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)+b(j)+c(j\left)\right]\right]\hfill \\ +\sum _{j=0}^{n-1}p\left(j\right)\prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)+b(k)+c(k\left)\right]\right]\hfill \end{array}$$

(41)

and

$$\begin{array}{lcr}E\left(n\right)\hfill & =\hfill & u\left(0\right)\prod _{j=0}^{n-1}\left[1+B(n-1,\alpha ;j)\left[a\right(j)-b(j\left)\right]\right]\hfill \\ +\sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)D\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)-b(k\left)\right]\right].\hfill \end{array}$$

(42)

Theorem 8

Let a(n) be a nonnegative real valued function defined on${\mathbb{N}}_0^{+}$. Suppose the following inequality holds for all$n\in {\mathbb{N}}_0^{+}$:

$$\begin{array}{ll}u\left(n\right)\le \hfill & p\left(n\right)+q\left(n\right)\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\hfill \\ \times \left[\sum _{k=0}^{j-1}B(j-1,\alpha ;k)b\left(k\right)\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)u\left(l\right)\right]\right].\hfill \end{array}$$

(43)

If [ 1 − B(n − 1,α;j)a(j) ] ≥ 0 and [1 + B(n − 1,α;j)[ a(j) − b(j)] ] ≥ 0 for all 0 ≤ j ≤ (n − 1), then, for$n\in {\mathbb{N}}_0^{+}$,

$$\begin{array}{ll}u\left(n\right)\le p\left(n\right)+q\left(n\right)\hfill & \left[\sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)G\left(j\right)\right.\hfill \\ \left.\times \prod _{k=j+1}^{n-1}\left[1-B(n-1,\alpha ;k)a\left(k\right)\right]\right],\hfill \end{array}$$

(44)

where

$$\begin{array}{ll}F\left(n\right)=\hfill & \sum _{j=0}^{n-1}B(n-1,\alpha ;j)\left[c\right(j\left)p\right(j\left)\right]\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)+b(k)+c(k\left)q\right(k\left)\right]\right]\hfill \end{array}$$

(45)

and

$$\begin{array}{ll}G\left(n\right)=\hfill & \sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)F\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)-b(k\left)\right]\right].\hfill \end{array}$$

(46)

Proof

Define a function z(n)by

$$\begin{array}{ll}z\left(n\right)=\hfill & \sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)\hfill \\ \times \left[\sum _{k=0}^{j-1}B(j-1,\alpha ;k)b\left(k\right)\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)c\left(l\right)u\left(l\right)\right]\right].\hfill \end{array}$$

(47)

Then, z(0) = 0, u(n) ≤ p(n) + q(n)z(n), and using the same argument as in the proof of Theorem 6, we obtain

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\le a\left(n\right)\hfill & \left[\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \left.\times \left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right]\right]\right].\hfill \end{array}$$

(48)

Adding a(n)z(n) to both sides of the above inequality, we have

$$\begin{array}{ll}{\nabla }^{\alpha }z(n+1)\hfill & +a\left(n\right)z\left(n\right)\hfill \\ \le a\left(n\right)\left[z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\right.\hfill \\ \times \left.\left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right]\right]\right].\hfill \end{array}$$

(49)

Let

$$\begin{array}{ll}v\left(n\right)=\hfill & z\left(n\right)+\sum _{k=0}^{n-1}B(n-1,\alpha ;k)b\left(k\right)\hfill \\ \times \left[\sum _{l=0}^{k-1}B(k-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right]\right].\hfill \end{array}$$

(50)

Then, v(0) = z(0), z(n) ≤ v(n), and

$$\begin{array}{ll}{\nabla }^{\alpha }v(n+1)=\hfill & {\nabla }^{\alpha }z(n+1)\hfill \\ +b\left(n\right)\sum _{l=0}^{n-1}B(n-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right].\hfill \end{array}$$

(51)

Using the facts that ∇^αz(n + 1) ≤ a(n)v(n) and z(n) ≤ v(n), we get

$$\begin{array}{ll}{\nabla }^{\alpha }v(n+1)\le \hfill & a\left(n\right)v\left(n\right)\hfill \\ +b\left(n\right)\sum _{l=0}^{n-1}B(n-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right].\hfill \end{array}$$

(52)

Adding b(n)v(n) to both sides of the above inequality, we have

$$\begin{array}{ll}{\nabla }^{\alpha }v(n+1)\hfill & +b\left(n\right)v\left(n\right)\le a\left(n\right)v\left(n\right)\hfill \\ +b\left(n\right)\left[v\left(n\right)+\sum _{l=0}^{n-1}B(n-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right]\right].\hfill \end{array}$$

(53)

Let

$$w\left(n\right)=v\left(n\right)+\sum _{l=0}^{n-1}B(n-1,\alpha ;l)\left[c\right(l\left)p\right(l)+c(l\left)q\right(l\left)z\right(l\left)\right].$$

(54)

Then, w(0) = v(0), v(n) ≤ w(n), and

$${\nabla }^{\alpha }w(n+1)\le {\nabla }^{\alpha }v(n+1)+\left[c\right(n\left)p\right(n)+c(n\left)q\right(n\left)w\right(n\left)\right].$$

(55)

Now, from (53) and (54), we have

$${\nabla }^{\alpha }v(n+1)\le {\nabla }^{\alpha }v(n+1)+b\left(n\right)v\left(n\right)\le \left[a\right(n)+b(n\left)\right]w\left(n\right).$$

(56)

Using (56) in (55), we get

$${\nabla }^{\alpha }w(n+1)\le \left[a\right(n)+b(n)+c(n\left)q\right(n\left)\right]w\left(n\right)+c\left(n\right)p\left(n\right).$$

(57)

Now, an application of Theorem 3 yields

$$\begin{array}{ll}w\left(n\right)\hfill & \le \sum _{j=0}^{n-1}B(n-1,\alpha ;j)\left[c\right(j\left)p\right(j\left)\right]\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)+b(k)+c(k\left)q\right(k\left)\right]\right]\hfill \\ =F\left(n\right).\hfill \end{array}$$

(58)

Then, from (53) and (58), we have

$${\nabla }^{\alpha }v(n+1)\le \left[a\right(n)-b(n\left)\right]v\left(n\right)+b\left(n\right)F\left(n\right).$$

Now, again by application of Theorem 3, we get

$$\begin{array}{ll}v\left(n\right)\le \hfill & \sum _{j=0}^{n-1}B(n-1,\alpha ;j)b\left(j\right)F\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1+B(n-1,\alpha ;k)\left[a\right(k)-b(k\left)\right]\right]=G\left(n\right).\hfill \end{array}$$

(59)

Then, from (49) and (59), we get

$${\nabla }^{\alpha }z(n+1)\le -a\left(n\right)z\left(n\right)+a\left(n\right)G\left(n\right).$$

Now, again by application of Theorem 3, we get

$$\begin{array}{ll}z\left(n\right)\le \hfill & \sum _{j=0}^{n-1}B(n-1,\alpha ;j)a\left(j\right)G\left(j\right)\hfill \\ \times \prod _{k=j+1}^{n-1}\left[1-B(n-1,\alpha ;k)a\left(k\right)\right].\hfill \end{array}$$

(60)

Using (60) in u(n)≤p(n) + q(n)z(n), we get the required inequality (44). □

Conclusions

In this paper, some new Gronwall-Bellman-type fractional difference inequalities are established which provide explicit bounds for the solutions of fractional difference equations.