Open Access

A generalized q-fractional Gronwall inequality and its applications to nonlinear delay q-fractional difference systems

Journal of Inequalities and Applications20162016:240

https://doi.org/10.1186/s13660-016-1181-2

Received: 25 August 2016

Accepted: 20 September 2016

Published: 29 September 2016

Abstract

In this paper, we state and prove a new discrete q-fractional version of the Gronwall inequality. Based on this result, a particular version expressed by means of the q-Mittag-Leffler function is provided. To apply the proposed results, we prove the uniqueness and obtain an estimate for the solutions of nonlinear delay Caputo q-fractional difference system. We examine our results by providing a numerical example.

Keywords

generalized q-fractional Gronwall inequality delay q-fractional difference system uniqueness of solution estimate for the solution

MSC

26A33 39A11

1 Background

The study of q-difference equations has gained intensive interest in the last years. It has been shown that these types of equations have numerous applications in diverse fields and thus have evolved into multidisciplinary subjects [110]. For more details on q-calculus, we refer the reader to the remarkable monograph [11]. On the other hand, the fractional differential equations have recently received considerable attention in the last two decades. Indeed, many researchers have investigated these types of equations due to their significant applications in various fields of science and engineering; see for instance the monographs [1214] and the references therein.

The corresponding theory of fractional difference equations is considered to be at its first stages of progress; we suggest [1526] whose authors have taken the lead to promote and develop this theory. The q-fractional calculus and differential equations have been recently studied in many papers; we recommend the monograph [27] and the papers cited therein. For the q-fractional difference equations which serve as a bridge between fractional difference equations and q-difference equations there have appeared some papers which study the qualitative properties of solutions [15, 2733]. However, less attention has been paid to these types of equations in the literature.

The differential and integral inequalities, which are considered as an effective tools for studying solutions properties, have also been under consideration. Due to its benefit in the determination of uniqueness, boundedness and stability of solutions, in particular, the Gronwall inequality has been a main target for many researchers. There have appeared several versions for the Gronwall inequality in the literature; we list here those results which concern with fractional differential or difference equations [3439].

For \(0< q<1\), we define the time scale \(\mathbb{T}_{q}=\{q^{n}:n \in \mathbb{Z}\}\cup \{0\} \), where \(\mathbb{Z}\) is the set of integers. For \(a=q^{n_{0}}\) and \(n_{0} \in \mathbb{Z}\), we denote \(\mathbb{T}_{a}=[a,\infty)_{q}=\{q^{-i}a:i=0,1,2,\ldots\}\). In [40], which is probably the first paper in this subject, the current authors have established a discrete q-fractional version of the Gronwall inequality. Indeed, they obtained the theorem given below.

Theorem 1

[40]

Let \(\alpha>0\), u and μ be nonnegative real valued functions such that \(0 \le \mu(t)<\frac{1}{t^{\alpha}(1-q)^{\alpha}}\) for all \(t \in \mathbb{T}_{a}\) (in particular if \(0 \le \mu(t)<\frac{1}{ (1-q)^{\alpha}}\)) and
$$u(t)\le u(a)+{}_{q}\nabla^{-\alpha}_{a}u(t)\mu(t). $$
Then
$$u(t)\le u(a)\sum_{k=0}^{\infty} {}_{q}E_{\mu}^{k}1, $$
where \({}_{q}E^{k}_{\mu}1=\frac{\mu^{k}(t-a)_{q}^{k \alpha}}{\Gamma_{q}(k \alpha+1)}\).

Based on the result of Theorem 1, the following particular estimate which is expressed by means of the q-Mittag-Leffler function was also concluded.

Theorem 2

[40]

Let \(0 \le \delta(t) <\frac{1}{(1-q)}\) for all \(t \in \mathbb{T}_{a}\). If
$$u(t)\le u(a)+ \int_{a}^{t}\delta(s) u(s)\nabla_{q} s, $$
then
$$u(t)\le u(a)e_{q}(t,a), $$
where \(e_{q}(t,a)= {}_{q}E_{1}(1,t-a)\) is the nabla q-exponential function for the time scale \(\mathbb{T}_{q}\).
To apply these results, the authors considered the following discrete q-fractional initial value problem:
$$\begin{aligned} \left \{ \textstyle\begin{array}{ll} {}_{q}C_{a}^{\alpha} x(t)= f(t,x(t)),&\quad 0 < \alpha \le 1, a \in \mathbb{T}_{q},t \in \mathbb{T}_{a},\\ x(a)=\gamma. \end{array}\displaystyle \right . \end{aligned}$$
(1)
Here \({}_{q}C_{a}^{\alpha}\) means the Caputo fractional difference of order α and \(f(t,y)\) fulfills a Lipschitz condition for all t and y. The uniqueness of solutions as well as the dependence on the initial data were proved.

The purpose of our manuscript is to extend the results in Theorem 1 and Theorem 2 and obtain a new discrete q-fractional version of the Gronwall inequality valid for nonlinear systems containing delay arguments. As an application, we will prove the uniqueness and obtain an estimate for the solutions of nonlinear delay Caputo q-fractional difference systems. We examine our results by presenting a numerical example.

2 Auxiliary assertions

Before starting, we provide some basic nabla notations, definitions, and lemmas that will be used in the sequel. Let \(f:\mathbb{T}_{q}\rightarrow \mathbb{R}\). We define the nabla q-derivative of f by
$$ \nabla_{q} f(t)=\frac{f(t)-f(qt)}{(1-q)t},\quad t \in \mathbb{T}_{q}-\{0\}. $$
(2)
The nabla q-integral of f has the following form:
$$ \int_{0}^{t} f(s)\nabla_{q} s=(1-q)t\sum _{i=0}^{\infty}q^{i}f \bigl(tq^{i} \bigr) $$
(3)
and for \(0\leq a \in \mathbb{T}_{q}\)
$$\int_{a}^{t} f(s)\nabla_{q} s= \int_{0}^{t} f(s)\nabla_{q} s - \int_{0}^{a} f(s)\nabla_{q} s. $$
The definition of the q-factorial function for \(n\in \mathbb{N}\) is given by
$$ (t-s)_{q}^{n}=\prod _{i=0}^{n-1} \bigl(t-q^{i}s \bigr). $$
(4)
In the case α is a nonpositive integer, the q-factorial function is defined by
$$ (t-s)_{q}^{\alpha}=t^{\alpha}\prod _{i=0}^{\infty}\frac{1- \frac{s}{t} q^{i}}{ 1- \frac{s}{t} q^{i+\alpha}}. $$
(5)
Below we present some of the properties of q-factorial functions within the following lemma.

Lemma 1

[28]

For \(\alpha,\gamma,\beta \in \mathbb{R}\), we have
  1. (i)

    \((t-s)_{q}^{\beta+\gamma}=(t-s)_{q}^{\beta}(t-q^{\beta}s)_{q}^{\gamma}\).

     
  2. (ii)

    \((at-as)_{q}^{\beta}=a^{\beta}(t-s)_{q}^{\beta}\).

     
  3. (iii)
    The nabla q-derivative of the q-factorial function with respect to t is
    $$\nabla_{q} (t-s)_{q}^{\alpha}=\frac{1-q^{\alpha}}{1-q}(t-s)_{q}^{\alpha-1}. $$
     
  4. (iv)
    The nabla q-derivative of the q-factorial function with respect to s is
    $$\nabla_{q} (t-s)_{q}^{\alpha}=- \frac{1-q^{\alpha}}{1-q}(t-qs)_{q}^{\alpha-1}. $$
     
For a function \(f:\mathbb{T}_{q}\rightarrow \mathbb{R}\), the left q-fractional integral \(_{q}\nabla_{a}^{-\alpha}\) of order \(\alpha\neq 0,-1,-2,\ldots\) and starting at \(0 < a \in \mathbb{T}_{q}\) is defined by
$$ _{q}\nabla^{-\alpha}_{a} f(t)= \frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-qs)_{q}^{\alpha-1}f(s) \nabla_{q}s, $$
(6)
where
$$ \Gamma_{q}(\alpha+1)=\frac{1-q^{\alpha}}{1-q} \Gamma_{q}(\alpha),\quad \Gamma_{q}(1)=1, \alpha >0. $$
(7)
One should note that the left q-fractional integral \({}_{q}\nabla^{-\alpha}_{a}\) maps functions defined on \(\mathbb{T}_{q}\) to functions defined on \(\mathbb{T}_{q}\).

Definition 1

[32]

Let \(0<\alpha \notin \mathbb{N}\). Then the Caputo left q-fractional derivative of order α of a function f defined on \(\mathbb{T}_{q}\) is defined by
$$ _{q}C_{a}^{\alpha}f(t)\triangleq {}_{q}\nabla_{a} ^{-(n-\alpha)}\nabla_{q} ^{n}f(t)=\frac{1}{\Gamma_{q}(n-\alpha)} \int_{a}^{t}(t-qs)_{q}^{n-\alpha-1} \nabla_{q}^{n}f(s)\nabla_{q} s, $$
(8)
where \(n=[\alpha]+1\). In the case \(\alpha \in \mathbb{N}\), we may write \(_{q}C_{a}^{\alpha}f(t)\triangleq \nabla_{q}^{n} f(t)\). The (left) Riemann q-fractional derivative is defined by \(({}_{q}\nabla_{a}^{\alpha}f)(t)=(\nabla_{q} {}_{q}\nabla_{a} ^{-(n-\alpha)}f)(t)\).
In virtue of [32], the Riemann and Caputo q-fractional derivatives are related by
$$ \bigl({}_{q}C_{a}^{\alpha}f \bigr) (t)= \bigl({}_{q}\nabla_{a}^{\alpha}f \bigr) (t)- \frac{(t-a)_{q}^{-\alpha}}{\Gamma_{q}(1-\alpha)}f(a). $$
(9)

Lemma 2

[32]

Let \(\alpha>0\) and f be defined in a suitable domain. Thus
$$ _{q}\nabla^{-\alpha}_{a} {}_{q}C_{a}^{\alpha}f(t)=f(t)-\sum _{k=0}^{n-1}\frac{(t-a)_{q}^{k}}{\Gamma_{q}(k+1)}\nabla_{q}^{k}f(a) $$
(10)
and if \(0<\alpha\leq1\) we have
$$ _{q}\nabla^{-\alpha}_{a} {}_{q}C_{a}^{\alpha}f(t)= f(t)-f(a). $$
(11)
The following identity plays a crucial role in solving the linear q-fractional equations:
$$ _{q}\nabla^{-\alpha}_{a} (x-a)_{q}^{\mu}=\frac{\Gamma_{q}(\mu+1)}{\Gamma_{q}(\alpha+\mu+1)}(x-a)_{q}^{\mu+\alpha}\quad (0< a< x< b), $$
(12)
where \(\alpha \in \mathbb{R}^{+}\) and \(\mu \in (-1,\infty)\). The q-analog of the Mittag-Leffler function with double index \((\alpha,\beta)\) is introduced in [32]. It was defined as follows.

Definition 2

[32]

For \(z ,z_{0}\in \mathbf{C}\) and \(\mathfrak{R}(\alpha)> 0\), the q-Mittag-Leffler function is defined by
$$ _{q}E_{\alpha,\beta}(\lambda,z-z_{0})=\sum _{k=0}^{\infty}\lambda^{k} \frac{(z-z_{0})_{q}^{\alpha k}}{\Gamma_{q}(\alpha k+\beta)}. $$
(13)
In the case \(\beta=1\), we utilize \({}_{q}E_{\alpha}(\lambda,z-z_{0}):={}_{q}E_{\alpha,1}(\lambda,z-z_{0})\).

Example 1

[32]

Let \(0<\alpha\leq 1\) and consider the left Caputo q-fractional difference equation
$$ {}_{q}C^{\alpha}_{a} y(t)= \lambda y(t)+f(t),\quad y(a)=a_{0}, t\in T_{q}. $$
(14)
The solution of (14) is given by
$$y(t)=a_{0} {}_{q}E_{\alpha}(\lambda,t-a)+ \int_{a}^{t} (t-qs)_{q}^{\alpha-1}{}_{q}E_{\alpha,\alpha} \bigl(\lambda,t-q^{\alpha}s\bigr) f(s)\nabla_{q} s. $$
If instead we use the modified q-Mittag-Leffler function
$${}_{q}e_{\alpha, \beta}(\lambda,z-z_{0})=\sum _{k=0}^{\infty}\lambda^{k} \frac{(z-z_{0})_{q}^{\alpha k+(\beta-1)}}{\Gamma_{q}(\alpha k+\beta)}, $$
then the solution representation becomes
$$y(t)=a_{0} {}_{q}e_{\alpha}(\lambda,t-a)+ \int_{a}^{t} {}_{q}e_{\alpha,\alpha} ( \lambda,t-q s) f(s)\nabla_{q} s. $$

Remark 1

[32]

If we set \(\alpha=1\), \(\lambda=1\), \(a=0\), and \(f(t)=0\) in (14), we obtain a q-exponential formula \(e_{q}(t)= \sum_{k=0}^{\infty}\frac{t^{k}}{\Gamma_{q}(k+1)}\) on the time scale \(T_{q}\), where \(\Gamma_{q}(k+1)=[k]_{q}!=[1]_{q}[2]_{q}\cdots[k]_{q}\) with \([r]_{q}=\frac{1-q^{r}}{1-q}\). We recall that \(e_{q}(t)=E_{q}((1-q)t)\), where \(E_{q}(t)\) denoted a special case of the basic hypergeometric series, namely
$$E_{q}(t)={}_{1}\phi_{0}(0;q,t)=\prod _{n=0}^{\infty}\bigl(1-q^{n}t \bigr)^{-1}=\sum_{n=0}^{\infty}\frac{t^{n}}{(q)_{n}}, $$
where \((q)_{n}=(1-q)(1-q^{2})\cdots(1-q^{n})\) denotes the q-Pochhammer symbol.

3 A generalized q-Gronwall inequality

We state and prove the generalized q-Gronwall inequality.

Theorem 3

Let \(\alpha>0\), \(u(t)\), \(v(t)\) be nonnegative functions and \(w(t)\) be nonnegative and nondecreasing function for \(t \in [a,\infty)_{q}=\{q^{-i}a:i=0,1,2,\ldots\}\), \(a=q^{n_{0}}\) for some \(n_{0} \in \mathbb{Z}\) such that \(w(t) \le M \) where M is a constant. If
$$ u(t)\le v(t)+w(t){}_{q}\nabla_{a}^{-\alpha}u(t), $$
(15)
then
$$ u(t)\le v(t)+\sum_{k=1}^{\infty} \bigl(w(t)\Gamma_{q}(\alpha) \bigr)^{k}{}_{q} \nabla_{a}^{-k\alpha}v(t). $$
(16)

Proof

Define
$$B\phi(t)=w(t) \int_{a}^{t}(t-qs)_{q}^{\alpha-1} \phi(s)\nabla_{q}s,\quad t \in \mathbb{T}_{a} . $$
It follows that
$$u(t)\le v(t)+Bu(t), $$
which implies that \(u(t)\le \sum_{k=0}^{n-1}B^{k}v(t)+B^{n}u(t)\). We claim that
$$ B^{n}u(t)\le \int_{a}^{t}\frac{ (w(t)\Gamma_{q}(\alpha) )^{n}}{\Gamma_{q}(n\alpha)}(t-qs)_{q}^{n\alpha-1}u(s) \nabla_{q}s $$
(17)
and \(B^{n}u(t)\to 0\) as \(n \to \infty\) for \(t \in \mathbb{T}_{a}\). It is easy to see that (17) is valid for \(n=1\). Assume that it is true for \(n=k\), that is,
$$B^{k}u(t)\le \int_{a}^{t}\frac{ (w(t)\Gamma_{q}(\alpha) )^{k}}{\Gamma_{q}(k\alpha)}(t-qs)_{q}^{k\alpha-1}u(s) \nabla_{q}s. $$
If \(n=k+1\), then
$$\begin{aligned} B^{k+1}u(t) =& B \bigl(B^{k}u(t) \bigr)\le w^{k+1}(t) \int_{a}^{t}(t-qs)_{q}^{\alpha-1} \int_{a}^{s}\frac{ (\Gamma_{q}(\alpha) )^{k}}{\Gamma_{q}(k\alpha)}(s-qr)_{q}^{k\alpha-1}u(r) \nabla_{q}r \nabla_{q}s \\ =& w^{k+1}(t) \int_{a}^{t} \int_{r}^{t}\frac{ (\Gamma_{q}(\alpha) )^{k}}{\Gamma_{q}(k\alpha)}(t-qs)_{q}^{\alpha-1}(s-qr)_{q}^{k\alpha-1}u(r) \nabla_{q} s \nabla_{r} \\ =& \frac{(w(t)\Gamma_{q}(\alpha))^{k+1}}{\Gamma_{q}(k\alpha)} \int_{a}^{t} \biggl[ \frac{1}{\Gamma_{q}(\alpha)} \int_{r}^{t}(t-qs)_{q}^{\alpha-1}(s-qr)^{k\alpha-1} \nabla_{q}s \biggr] u(r) \nabla_{q}r \\ =& \frac{ (w(t)\Gamma_{q}(\alpha) )^{k+1}}{\Gamma_{q}(k\alpha)} \int_{a}^{t}{}_{q}\nabla_{qr}^{-\alpha}(s-qr)_{q}^{k\alpha-1}u(r) \nabla_{q}r, \end{aligned}$$
where \({}_{q}\nabla_{qr}^{-\alpha}u(t)=\frac{1}{\Gamma_{q}(\alpha)}\int_{qr}^{t}(t-qs)_{q}^{\alpha-1}u(s)\) has been used. It follows from (12) that
$$\begin{aligned} B^{k+1}u(t) \le& \frac{ (w(t)\Gamma_{q}(\alpha) )^{k+1}}{\Gamma_{q}(k\alpha)} \int_{a}^{t}(s-qr)_{q}^{(k+1)\alpha-1} \frac{\Gamma_{q}(k\alpha)}{\Gamma_{q}((k+1)\alpha)}u(r)\nabla_{q} r \\ =& \int_{a}^{t}\frac{ (w(t)\Gamma_{q}(\alpha) )^{k+1}}{\Gamma_{q}((k+1)\alpha)}(s-qr)_{q}^{(k+1)\alpha-1}u(r) \nabla_{q} r. \end{aligned}$$
Therefore, equation (17) is obtained. Furthermore and because the denominator goes to infinity faster than the numerator in the below inequality, one can conclude that
$$B^{n}u(t)\le \int_{a}^{t}\frac{ (M\Gamma_{q}(\alpha) )^{n}}{\Gamma_{q}(n\alpha)}(t-qs)_{q}^{n\alpha-1}u(s) \nabla_{q}s\to 0\quad \mbox{as } n \to \infty, t \in [a, \infty)_{q}. $$
To complete the proof, we let \(n \to \infty\) in
$$u(t)\le \sum_{k=0}^{n-1}B^{k}v(t)+B^{n}u(t)=v(t)+ \sum_{k=1}^{n-1}B^{k}v(t)+B^{n}u(t) $$
to obtain
$$u(t)\le v(t)+\sum_{k=1}^{\infty}B^{k}v(t). $$
With the help of the semigroup property \({}_{q}\nabla_{a}^{-\alpha} {}_{q}\nabla_{a}^{-\mu}={}_{q}\nabla_{a}^{-(\alpha+\mu)}\) and the definition of B we get (16). This completes the proof. □

The following immediate consequence of the above theorem plays a key role in our subsequent analysis.

Corollary 1

Under the hypotheses of Theorem 3, assume further that \(v(t)\) is a nondecreasing function for \(t \in \mathbb{T}_{a}\), then
$$ u(t) \le v(t){}_{q}E_{\alpha} \bigl(w(t) \Gamma_{q}(\alpha),t-a \bigr), \quad t \in \mathbb{T}_{a}. $$
(18)

Proof

From (16) and the assumption that \(v(t)\) is a nondecreasing function for \(t \in \mathbb{T}_{a}\), we may write
$$u(t) \le v(t) \Biggl[1+\sum_{k=1}^{\infty} \int_{a}^{t}\frac{ (w(t)\Gamma_{q}(\alpha) )^{k}}{\Gamma_{q}(k \alpha)}(t-q s)_{q}^{k \alpha-1} \nabla_{q} s \Biggr] $$
or
$$u(t)\le v(t) \Biggl[1+\sum_{k=1}^{\infty} {}_{q}\nabla_{a}^{-k \alpha} \bigl(w(t) \Gamma_{q}(\alpha) \bigr)^{k} \Biggr]. $$
Then, with the help of (12) it follows that
$$\begin{aligned} u(t) \le & v(t) \Biggl[1+\sum_{k=1}^{\infty} \bigl(w(t)\Gamma_{q}(\alpha) \bigr)^{k} {}_{q} \nabla_{a}^{-k \alpha} 1 \Biggr] \\ =& v(t) \Biggl[1+\sum_{k=1}^{\infty} \bigl(w(t)\Gamma_{q}(\alpha) \bigr)^{k} \frac{(t-a)_{q}^{k \alpha}}{\Gamma_{q}(k \alpha+1)} \Biggr] \\ =& v(t)\sum_{k=0}^{\infty}\frac{ (w(t)\Gamma_{q}(\alpha) )^{k} (t-a)_{q}^{k \alpha}}{\Gamma_{q}(k \alpha+1)}= v(t) {}_{q}E_{\alpha} \bigl(w(t)\Gamma_{q}( \alpha),t-a \bigr). \end{aligned}$$
The proof is complete. □

4 Applications to nonlinear delay q-fractional difference systems

Let \(\mathbb{R}^{m}\) be the m-dimensional Euclidean space and define \(\mathbb{I}_{\tau}=\{\tau a,q^{-1}\tau a,q^{-2}\tau a,\ldots,a\}\), \(\mathbb{N}_{0}=\{0,1,2,3, \ldots\}\) and \(\mathbb{T}_{\tau a}=[\tau a,\infty)_{q}=\{\tau a,q^{-1}\tau a,q^{-2}\tau a,\ldots\}\) where \(\tau=q^{d} \in \mathbb{T}_{q}\), \(d \in \mathbb{N}_{0} \) and \(\mathbb{I}_{\tau}=\{a\}\) with \(d=0\) is the non-delay case. We obtain our first application by proving the uniqueness of the solution for the system:
$$ \left \{ \textstyle\begin{array}{ll} {}_{q}C_{a}^{\alpha}x(t)=A_{0}x(t)+A_{1}x(\tau t)+f(t,x(t),x(\tau t)),& \quad t \in [a,\infty)_{q},\\ x(t)=\varphi(t),& \quad t \in \mathbb{I}_{\tau}, \end{array}\displaystyle \right . $$
(19)
where \({}_{q}C_{a}^{\alpha}\) denotes the Caputo fractional difference of order \(\alpha \in (0,1)\), the state vector \(x: \mathbb{T}_{\tau a} \to \mathbb{R}^{m}\), the constant matrices \(A_{0}\) and \(A_{1}\) are of appropriate dimensions, the nonlinearity \(f:\mathbb{T}_{\tau a} \times \mathbb{R}^{m} \times \mathbb{R}^{m} \to \mathbb{R}^{m}\) and the initial function \(\varphi:\mathbb{I}_{\tau} \to \mathbb{R}^{m}\). Let \(\vert \cdot \vert\) be any Euclidean norm and \(\Vert \cdot \Vert\) be the matrix norm induced by this vector. Let \(D=D(\mathbb{N}_{0}\times \mathbb{R}^{m} \times \mathbb{R}^{m},\mathbb{R}^{m})\) be the set of all bounded functions (sequences). Clearly, the space D is a Banach space induced by the norm \(\Vert z \Vert_{D}:= \sup_{ t \in \mathbb{I}_{\tau} }z(t)\).
We make use of the following assumptions:
  1. (H.1)
    \(f \in D(\mathbb{T}_{q}\times \mathbb{R}^{m} \times \mathbb{R}^{m},\mathbb{R}^{m})\) is a Lipschitz-type function. That is, there exists a positive constant \(L_{1}>0\) such that
    $$\bigl\| f\bigl(t,x(t),x(\tau t)\bigr)-f\bigl(t,y(t),y(\tau t)\bigr) \bigr\| \le L_{1} \bigl( \bigl\| x(t)-y(t)\bigr\| +\bigl\| x(t-\tau)-y(\tau t)\bigr\| \bigr), $$
    for \(t \in [a,\infty)_{q}\).
     
  2. (H.2)

    There exists a positive constant \(L_{2}\) such that \(\| f(t,x(t),x(\tau t))\| \le L_{2}\).

     
The first result in this section provides a representation for the solutions of system (19) that will be useful in the subsequent analysis.

Theorem 4

\(x: \mathbb{T}_{\tau a} \to \mathbb{R}^{m}\) is a solution of system (19) if and only if
$$ \left \{ \textstyle\begin{array}{l} x(t)=\varphi(a)+\frac{1}{\Gamma_{q}(\alpha)}\sum_{s=1}^{t} (t-qs )_{q}^{\alpha-1} [A_{0}x(s)+A_{1}x(\tau s)+f(s,x(s),x(\tau s)) ],\\ \hphantom{x(t)=\varphi(t), \,\quad} t \in [a,\infty)_{q},\\ x(t)=\varphi(t),\quad t \in \mathbb{I}_{\tau}. \end{array}\displaystyle \right . $$
(20)

Proof

For \(t \in \mathbb{I}_{\tau}\), it is clear that \(x(t)=\varphi(t)\) is the solution of (19). For \(t \in \mathbb{T}_{a}\), we apply \({}_{q}\nabla_{a}^{\alpha}\) on both sides of equation (20) to obtain
$${}_{q}\nabla_{a}^{\alpha}x(t)=\varphi(a) \frac{t^{-\alpha}}{\Gamma_{q}(1-\alpha)}+A_{0}x(t)+A_{1}x(\tau t)+f\bigl(t,x(t),x( \tau t)\bigr), $$
where \(({}_{q}\nabla_{a}^{\alpha}{}_{q}\nabla_{a}^{-\alpha} u)(t)=u(t) \) have been used. By using equation (9), we end up with the desired form
$${}_{q}C_{t}^{\alpha}x(t)=A_{0}x(t)+A_{1}x( \tau t)+f\bigl(t,x(t),x(\tau t)\bigr), \quad t \in [a,\infty)_{q}. $$
From system (19), we can see that \(x(t)=\varphi(t)\) for \(t \in \mathbb{I}_{\tau}\). For \(t \in [a,\infty)_{q}\), we apply \({}_{q}\nabla_{a}^{-\alpha}\) on both sides of equation (19) to get
$${}_{q}\nabla_{a}^{-\alpha}\bigl[{}_{q}C_{a}^{\alpha}x(t) \bigr]=\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bigl[A_{0}x(s)+A_{1}x(\tau s)+f\bigl(s,x(s),x(\tau s) \bigr)\nabla_{q} s \bigr]. $$
In view of equation (11), one can easily see that
$$x(t)=\varphi(a)+\frac{1}{\Gamma_{q}(\alpha)}\sum_{s=1}^{t} (t-qs )_{q}^{\alpha-1} \bigl[A_{0}x(s)+A_{1}x( \tau s)+f\bigl(s,x(s),x(\tau s)\bigr) \bigr]. $$
 □

Next we state and prove the uniqueness theorem.

Theorem 5

Let condition (H.1) hold. If \(x(t)\) and \(y(t)\) are two solutions for the system (19), then \(x(t)=y(t)\).

Proof

Let x and y be two solutions of system (19). Denote z by \(z(t)=x(t)-y(t)\). Then one can easily figure out that \(z(t)=0\) for \(t \in \mathbb{I}_{\tau}\). This implies that system (19) has a unique solution for \(t \in \mathbb{I}_{\tau}\).

For \(t \in \mathbb{T}_{a}\), however, we have
$$z(t)=\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-qs)_{q} )_{q}^{\alpha-1} \bigl[A_{0}z(s)+A_{1}z(\tau s)+f\bigl(s,x(s),x(\tau s)\bigr)-f\bigl(s,y(s),y(\tau s)\bigr) \bigr] \nabla_{q}s. $$
If \(t \in \mathbb{I}_{\tau^{-1}}=\{a,q^{-1}\tau,\ldots,\tau^{-1} a\}\), then \(z(\tau t)=0\). Therefore,
$$ z(t)=\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-qs )_{q}^{\alpha-1} \bigl[A_{0}z(s)+f \bigl(s,x(s),x(\tau s) \bigr)-f \bigl(s,y(s),y(\tau s) \bigr) \bigr]\nabla_{q}s. $$
(21)
This implies
$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \le& \frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-qs )_{q}^{\alpha-1} \bigl[\Vert A_{0} \Vert \bigl\Vert z(s) \bigr\Vert + \bigl\Vert f \bigl(s,x(s),x(\tau s) \bigr)-f \bigl(s,y(s),y(\tau s) \bigr) \bigr\Vert \bigr]\nabla_{q}s \\ \le& \frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bigl[\Vert A_{0} \Vert \bigl\Vert z(s) \bigr\Vert + L_{1} \bigl( \bigl\| x(t)-y(t)\bigr\| +\bigl\| x(\tau t)-y(\tau t)\bigr\| \bigr) \bigr]\nabla_{q}s \\ =& \frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bigl[ \bigl(\Vert A_{0} \Vert+L_{1}\bigr) \bigl\Vert z(s) \bigr\Vert +L_{1} \bigl\| z(\tau s) \bigr\| \bigr] \nabla_{q} s \\ =& \frac{\Vert A_{0} \Vert+L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bigl\| z(s) \bigr\| \nabla_{q}s. \end{aligned}$$
(22)
By applying the result of Corollary 1, we have
$$ \bigl\Vert z(t) \bigr\Vert \le 0\cdot {}_{q}E_{\alpha} \bigl[ \bigl(\Vert A_{0} \Vert+L_{1}\bigr)\Gamma_{q}( \alpha), t \bigr], $$
(23)
which implies that \(x(t)=y(t)\) for \(t \in \mathbb{I}_{\tau^{-1}}\).
For \(t \in [\tau^{-1}a,\infty)_{q}\), we get
$$\begin{aligned} z(t) =&\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- qs )_{q}^{\alpha-1} \bigl[A_{0}z(s)+f \bigl(s,x(s),x(\tau s) \bigr)-f \bigl(s,y(s),y(\tau s) \bigr) \bigr]\nabla_{q} s \\ &{}+\frac{1}{\Gamma_{q}(\alpha)}\sum_{a}^{t} (t-q s )_{q}^{\alpha-1}A_{1}z(\tau s) \nabla_{q} s. \end{aligned}$$
(24)
It follows that
$$\begin{aligned} \bigl\| z(t) \bigr\| \le&\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- q s )_{q}^{\alpha-1} \bigl[\|A_{0}\| \bigl\| z(s)\bigr\| +\bigl\| f \bigl(s,x(s),x(\tau s) \bigr)-f \bigl(s,y(s),y(\tau s) \bigr)\bigr\| \bigr] \nabla_{q} s \\ &{}+\frac{\| A_{1} \|}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- q s )_{q}^{\alpha-1} \bigl\| z(\tau s)\bigr\| \nabla_{q} s \\ \le& \frac{\|A_{0}\|+L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- q s )_{q}^{\alpha-1} \bigl\| z(s)\bigr\| \nabla_{q} s+\frac{\| A_{1} \|+L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- q s )_{q}^{\alpha-1} \bigl\| z(\tau s)\bigr\| \nabla_{q} s. \end{aligned}$$
Let \(\bar{z}(t)=\sup_{\theta \in \mathbb{I}_{\tau}}\| z(\theta t) \|\), then we get
$$\begin{aligned} \bar{z}(t) \le& \frac{\|A_{0}\|+L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bar{z}(s)\nabla_{q}s+\frac{\| A_{1} \|+L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bar{z}(s)\nabla_{q}s \\ \le& \frac{\|A_{0}\|+\|A_{1}\|+2L_{1}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\overline{\alpha-1}} \bar{z}(s)\nabla_{q}s. \end{aligned}$$
(25)
By applying the result of Corollary 1, we obtain
$$ \bigl\Vert z(t) \bigr\Vert \le \bar{z}(t) \le 0\cdot {}_{q}E_{\alpha} \bigl[ \bigl( \|A_{0}\|+\|A_{0}\|+2L_{1} \bigr) \Gamma_{q}(\alpha), t \bigr]. $$
(26)
Hence, we end up with \(x(t)=y(t)\) for \(t \in \mathbb{T}_{\tau a}=[\tau a,\infty)_{q}\). □

In the following theorem, we provide an estimate for the solution of system (19).

Theorem 6

Let condition (H.2) hold. Then the following estimate for the solution \(x(t)\) of system (19) is valid:
$$ \bigl\Vert x(t) \bigr\Vert \le \biggl[ \Vert \varphi \Vert + \frac{L_{2}+ \Vert \varphi \Vert (\|A_{0}\|+\|A_{1}\| )}{\Gamma_{q}(\alpha+1)} (t-a)_{q}^{\alpha} \biggr] {}_{q}E_{\alpha} \bigl[ \bigl( \|A_{0}\|+ \|A_{1}\| \bigr)\Gamma_{q}(\alpha), t \bigr]. $$
(27)

Proof

For \(t \in \mathbb{T}_{a}=[a,\infty)_{q}\), the solution of system (19) has the form
$$ x(t)=\varphi(a)+\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-s )_{q}^{\alpha-1} \bigl[A_{0}x(s)+A_{1}x(\tau s)+f \bigl(s,x(s),x(\tau s) \bigr) \bigr]\nabla_{q} s. $$
(28)
It follows that
$$\begin{aligned} \bigl\| x(t) \bigr\| \le& \bigl\| \varphi(0)\bigr\| +\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-s )_{q}^{\alpha-1} \bigl\| A_{0}x(s)+A_{1}x(\tau s)+f \bigl(s,x(s),x(\tau s) \bigr) \bigr\| \nabla_{q}s \\ \le& \| \varphi\|+\frac{\|A_{0}\|}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-s )_{q}^{\alpha-1} \bigl\| x(s)\bigr\| \nabla_{q}s+ \frac{\|A_{1}\|}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t- qs )_{q}^{\alpha-1} \bigl\| x(\tau s)\bigr\| \nabla_{q}s \\ &{}+\frac{1}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \bigl\| f \bigl(s,x(s),x(\tau s) \bigr)\bigr\| \nabla_{q}s. \end{aligned}$$
By the assumption (H.2), the above inequality can be rewritten as
$$\begin{aligned} \bigl\| x(t) \bigr\| \le& \| \varphi\|+\frac{\|A_{0}\|+\|A_{1}\|}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-qs )_{q}^{\alpha-1} \Bigl[\sup_{\theta \in \mathbb{I}_{\tau}}\bigl\| x(\theta s)\bigr\| +\| \varphi \| \Bigr] \nabla_{q}s \\ &{}+\frac{L_{2}}{\Gamma_{q}(\alpha)} \int_{a}^{t} (t-q s )_{q}^{\alpha-1} \nabla_{q}s \end{aligned}$$
(29)
$$\begin{aligned} =&\| \varphi\|+\frac{L_{2}+ \Vert \varphi \Vert (\|A_{0}\|+\|A_{1}\| )}{\Gamma_{q}(\alpha+1)}(t-a)_{q}^{\alpha} \\ &{}+\frac{\|A_{0}\|+\|A_{1}\|}{\Gamma_{q}(\alpha)} \int_{z}^{t} (t-q s )_{q}^{\alpha-1} \sup_{\theta \in \mathbb{I}_{\tau}}\bigl\| x(s \theta)\bigr\| \nabla_{q}s, \end{aligned}$$
(30)
where the power rule (12) has been used. Let \(v(t)=\| \varphi\|+\frac{L_{2}+ \Vert \varphi \Vert (\|A_{0}\|+\|A_{1}\| )}{\Gamma_{q}(\alpha+1)}(t-a)_{q}^{\alpha}\), then v is a nondecreasing function. Therefore, Corollary 1 implies that
$$ \bigl\Vert x(t) \bigr\Vert \le \sup_{\theta \in \mathbb {I}_{\tau}}\bigl\| x(\theta s)\bigr\| \le v(t) {}_{q}E_{\alpha} \bigl[ \bigl( \|A_{0}\|+ \|A_{1}\| \bigr)\Gamma_{q}(\alpha), t \bigr]. $$
(31)
Hence, the solution x of (19) satisfies the estimate
$$ \bigl\Vert x(t) \bigr\Vert \le \biggl[ \Vert \varphi \Vert + \frac{L_{2}+ \Vert \varphi \Vert (\|A_{0}\|+\|A_{1}\| )}{\Gamma_{q}(\alpha+1)} (t-a)_{q}^{\alpha} \biggr] {}_{q} E_{\alpha} \bigl[ \bigl( \|A_{0}\|+\|A_{1}\| \bigr) \Gamma_{q}(\alpha), t \bigr]. $$
(32)
The proof is complete. □

Example 2

Consider the nonlinear delay fractional difference equation of the form
$$ ^{q}C_{a}^{\frac{1}{2}}x(t)=2x(t)+3x(\tau t)-\sin x(t)+3\sin x(\tau t), \quad t \in \mathbb{T}_{a}=[a, \infty)_{q} , $$
(33)
with the initial function \(x(t)=\cos 2t\), \(t \in \mathbb{I}_{\tau}\). Clearly, equation (33) is a scalar equation and \(A_{0}=2\) and \(A_{1}=3\). The nonlinearity has the form \(f(t,x(t),x(\tau t))=-\sin x(t)+3\sin x(\tau t)\). Therefore, we have
$$\begin{aligned} &{\bigl\| f \bigl(t,x(t),x(\tau t) \bigr)-f \bigl(t,y(t),y(\tau t) \bigr) \bigr\| } \\ &{\quad= \bigl\| {-}\sin x(t)+3\sin x(\tau t) +\sin y(t)-3\sin y(\tau t) \bigr\| } \\ &{\quad\le 3 \bigl( \bigl\| \sin x(t) -\sin y(t) \bigr\| + \bigl\| \sin x(\tau t) -\sin y( \tau t) \bigr\| \bigr).} \end{aligned}$$
Thus, condition (H.1) holds with \(L_{1}=3\). By the consequence of Theorem 4, equation (33) has a unique solution. Moreover,
$$\bigl\| f\bigl(t,x(t),x(\tau t)\bigr) \bigr\| = \bigl\| -\sin x(t)+3\sin x(\tau t) \bigr\| \le 4, $$
which implies that condition (H.2) is satisfied with \(L_{2}=4\). By Theorem 6, the solution has the estimate
$$\bigl\| x(t) \bigr\| \le \biggl[1+\frac{9}{\Gamma_{q}(\frac{3}{2})} (t-a)_{q}^{\frac{1}{2}} \biggr] \sum_{k=0}^{\infty}\frac{(5\Gamma_{q}(\frac{1}{2}))^{k}(t-a)_{q}^{\frac{k}{2}}}{\Gamma_{q}(\frac{k}{2}+1)}. $$

Remark 2

The following features can be concluded:
  1. 1.

    The delay term in system (19) can be considered as a function \(\tau:\mathbb{T}_{q}\rightarrow [a-\tau,\infty) \subset \mathbb{R}\) so that the solution will be defined on the interval \([a-\tau,\infty) \). In this article our delay function acts from \([a,\infty)_{q}\) to \([\tau a,\infty)_{q}\subset \mathbb{T}_{q}\).

     
  2. 2.

    Solving equation (33) is not an easy task. However, getting a bound for the solution could be considered as a substantial step forward.

     
  3. 3.

    Clearly, equation (33) cannot be dealt with using the results of Theorem 1 and Theorem 2. Therefore, the results of this paper are essentially new and have their own merits.

     

5 Conclusion

The Gronwall inequality has an important role in many differential and integral equations. The recent years have witnessed the appearance of an increasing number of generalized Gronwall inequalities which have been addressed to overcome difficulties encountered in differential equations. To the best of the authors’ knowledge, however, there is no paper that has dealt with a generalized q-fractional Gronwall inequality. In this paper, we extend our previous work and establish a new generalized version of discrete q-fractional Gronwall inequality. The new established Gronwall inequality is designed to deal with delay q-fractional difference systems. Therefore, we set an initial value problem involving a nonlinear delay Caputo q-fractional difference system. We proved the uniqueness and found an estimate for the solutions of this problem.

Declarations

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
Department of Mathematics and Physical Sciences, Prince Sultan University
(2)
Department of Mathematics, Çankaya University
(3)
Institute of Space Sciences

References

  1. Finkelstein, R, Marcus, E: Transformation theory of the q-oscillator. J. Math. Phys. 36(6), 2652-2672 (1995) MathSciNetMATHView ArticleGoogle Scholar
  2. Finkelstein, RJ: The q-Coulomb problem. J. Math. Phys. 37(6), 2628-2636 (1996) MathSciNetMATHView ArticleGoogle Scholar
  3. Floreanini, R, Vinet, L: Automorphisms of the q-oscillator algebra and basic orthogonal polynomials. Phys. Lett. A 180(6), 393-401 (1993) MathSciNetView ArticleGoogle Scholar
  4. Floreanini, R, Vinet, L: Symmetries of the q-difference heat equation. Lett. Math. Phys. 32(1), 37-44 (1994) MathSciNetMATHView ArticleGoogle Scholar
  5. Floreanini, R, Vinet, L: Quantum symmetries of q-difference equations. J. Math. Phys. 36(6), 3134-3156 (1995) MathSciNetMATHView ArticleGoogle Scholar
  6. Freund, PGO, Zabrodin, AV: The spectral problem for the q-Knizhnik-Zamolodchikov equation and continuous q-Jacobi polynomials. Commun. Math. Phys. 173(1), 17-42 (1995) MathSciNetMATHView ArticleGoogle Scholar
  7. Marin, M: On existence and uniqueness in thermoelasticity of micropolar bodies. C. R. Acad. Sci. Paris, Ser. II 321(12), 475-480 (1995) MATHGoogle Scholar
  8. Marin, M, Marinescu, C: Thermoelasticity of initially stressed bodies, asymptotic equipartition of energies. Int. J. Eng. Sci. 36(1), 73-86 (1998) MathSciNetMATHView ArticleGoogle Scholar
  9. Han, G-N, Zeng, J: On a q-sequence that generalizes the median Genocchi numbers. Ann. Sci. Math. Qué. 23(1), 63-72 (1999) MathSciNetMATHGoogle Scholar
  10. Marin, M: Lagrange identity method for microstretch thermoelastic materials. J. Math. Anal. Appl. 363(1), 275-286 (2010) MathSciNetMATHView ArticleGoogle Scholar
  11. Ernst, T: A Comprehensive Treatment of q-Calculus. Birkhäuser, Basel (2012) MATHView ArticleGoogle Scholar
  12. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993) MATHGoogle Scholar
  13. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999) MATHGoogle Scholar
  14. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) MATHView ArticleGoogle Scholar
  15. Jarad, F, Abdeljawad, T, Baleanu, D: Stability of q-fractional non-autonomous systems. Nonlinear Anal., Real World Appl. 14(1), 780-784 (2013) MathSciNetMATHView ArticleGoogle Scholar
  16. Abdeljawad, T, Jarad, F, Baleanu, D: A semigroup-like property for discrete Mittag-Leffler functions. Adv. Differ. Equ. 2012, Article ID 72 (2012) MathSciNetMATHView ArticleGoogle Scholar
  17. Bastos, NRO, Ferreira, RAC, Torres, DFM: Necessary optimality conditions for fractional difference problems of the calculus of variations. Discrete Contin. Dyn. Syst., Ser. A 29(2), 417-437 (2011) MathSciNetMATHView ArticleGoogle Scholar
  18. Bastos, NRO, Ferreira, RAC, Torres, DFM: Discrete time variational problems. Signal Process. 91(3), 513-524 (2011) MATHView ArticleGoogle Scholar
  19. Atici, FM, Şengül, S: Modeling with fractional difference equations. J. Math. Anal. Appl. 369(1), 1-9 (2010) MathSciNetMATHView ArticleGoogle Scholar
  20. Atici, FM, Eloe, PW: A transform method in discrete fractional calculus. Int. J. Difference Equ. 2(2), 165-176 (2007) MathSciNetGoogle Scholar
  21. Atici, FM, Eloe, PW: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 137(3), 981-989 (2009) MathSciNetMATHView ArticleGoogle Scholar
  22. Goodrich, CS: Continuity of solutions to discrete fractional initial value problems. Comput. Math. Appl. 59(11), 3489-3499 (2010) MathSciNetMATHView ArticleGoogle Scholar
  23. Goodrich, CS: Solutions to a discrete right-focal fractional boundary value problem. Int. J. Difference Equ. 5(2), 195-216 (2010) MathSciNetGoogle Scholar
  24. Anastassiou, GA: Nabla discrete fractional calculus and nabla inequalities. Math. Comput. Model. 51(5-6), 562-571 (2010) MathSciNetMATHView ArticleGoogle Scholar
  25. Cheng, J-F, Chu, Y-M: Fractional difference equations with real variable. Abstr. Appl. Anal. 2012, Article ID 918529 (2012) MathSciNetMATHGoogle Scholar
  26. Cheng, JF, Wu, GC: Solutions of fractional difference equations of order \((2, q)\). Acta Math. Sin. 55(3), 469-480 (2012) MathSciNetMATHGoogle Scholar
  27. Annaby, MH, Mansour, ZS: q-fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Heidelberg (2012) MATHGoogle Scholar
  28. Atici, FM, Eloe, PW: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14(3), 333-344 (2007) MathSciNetMATHView ArticleGoogle Scholar
  29. Rajkovic, PM, Marinkovi, SD, Stankovi, MS: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311-323 (2007) MathSciNetView ArticleGoogle Scholar
  30. Mansour, ZSI: Linear sequential q-difference equations of fractional order. Fract. Calc. Appl. Anal. 12(2), 159-178 (2009) MathSciNetMATHGoogle Scholar
  31. Zhao, Y, Chen, H, Zhang, Q: Existence results for fractional q-difference equations with nonlocal q-integral boundary conditions. Adv. Differ. Equ. 2013, Article ID 48 (2013) MathSciNetView ArticleGoogle Scholar
  32. Abdeljawad, T, Baleanu, D: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4682-4688 (2011) MathSciNetMATHView ArticleGoogle Scholar
  33. Abdeljawad, T, Benli, B, Baleanu, D: A generalized q-Mittag-Leffler function by Caputo fractional linear equations. Abstr. Appl. Anal. 2012, Article ID 546062 (2012) MathSciNetMATHGoogle Scholar
  34. Ye, H, Gao, J, Ding, Y: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328(2), 1075-1081 (2007) MathSciNetMATHView ArticleGoogle Scholar
  35. Ma, Q-H, Pecari, J: Some new explicit bounds for weakly singular integral inequalities with applications to fractional differential and integral equations. J. Math. Anal. Appl. 341(2), 894-905 (2008) MathSciNetView ArticleGoogle Scholar
  36. Furati, KM, Tatar, N-E: Inequalities for fractional differential equations. Math. Inequal. Appl. 12(2), 279-293 (2009) MathSciNetMATHGoogle Scholar
  37. Kong, Q-X, Ding, X-L: A new fractional integral inequality with singularity and its application. Abstr. Appl. Anal. 2012, Article ID 937908 (2012) MathSciNetMATHGoogle Scholar
  38. Atici, FM, Eloe, PW: Gronwall’s inequality on discrete fractional calculus. Comput. Math. Appl. 64(10), 3193-3200 (2012) MathSciNetMATHView ArticleGoogle Scholar
  39. Lin, S-Y: Generalized Gronwall inequalities and their applications to fractional differential equations. J. Inequal. Appl. 2013, Article ID 549 (2013) MathSciNetMATHView ArticleGoogle Scholar
  40. Abdeljawad, T, Alzabut, J: The q-fractional analogue for Gronwall-type inequality. J. Funct. Spaces Appl. 2013, Article ID 543839 (2013) MathSciNetMATHView ArticleGoogle Scholar

Copyright

© Abdeljawad et al. 2016