Skip to content
• Research
• Open Access

# A generalized Volterra–Fredholm integral inequality and its applications to fractional differential equations

Advances in Difference Equations20182018:91

https://doi.org/10.1186/s13662-018-1548-4

• Received: 18 January 2018
• Accepted: 7 March 2018
• Published:

## Abstract

In this paper, we derive a new generalized Volterra–Fredholm integral inequality and use it to study the dependence of solutions on the initial data for a class of fractional differential equations with Fredholm integral operators.

## Keywords

• Volterra and Fredholm integral operators
• Integral inequality
• Fractional differential equations

## 1 Introduction

Integral inequalities provide a pivotal tool in studying boundedness, well-posedness of the solutions to differential equations and other properties, for example, see . In view of extensive applications of integral inequalities, many researchers  have contributed to the development of this important area of research. In 1919, Gronwall  proved a remarkable inequality which has been widely used and attracted considerable attention. We state it as follows.

### Theorem A

If
$$u(t)\leqslant h(t)+ \int_{0}^{t}k(\zeta)u(\zeta)\,d\zeta,\quad t \in[0,T),$$
where k and h are continuous functions on $$[0,T)$$, $$T\leqslant +\infty$$, and $$k(t)$$ is a nonnegative function on $$[0,T)$$, then $$u(t)$$ satisfies
$$u(t)\leqslant h(t)+ \int_{0}^{t}h(s)k(s)\exp \biggl( \int_{s}^{t}k(\zeta)\, d\zeta \biggr)\,ds,\quad t \in[0,T).$$
If, in addition, $$h(t)$$ is a nondecreasing function on $$[0,T)$$, then $$u(t)\leqslant h(t)\exp (\int_{0}^{t} k(\zeta)\,d\zeta )$$, $$t\in[0,T)$$.

In 2007, Ye et al.  considered a generalized Volterra integral inequality with weakly singular kernel, which is described as follows.

### Theorem B

Let $$a(t)$$ be a locally integrable nonnegative function on $$[0,T)$$ ($$T\leqslant+\infty$$), and $$g(t)$$ be a nonnegative and nondecreasing continuous function on $$[0,T)$$ with $$g(t)\leqslant M$$ (M is a constant), and let $$u(t)$$ be a locally integrable nonnegative function on $$[0,T)$$ such that
$$u(t)\leqslant a(t)+g(t) \int_{0}^{t}(t-s)^{\beta-1}u(s)\,ds,\quad \beta>0.$$
Then $$u(t)$$ satisfies
$$u(t)\leqslant a(t)+ \int_{0}^{t} \Biggl[\sum _{n=1}^{\infty}\frac {(g(t)\Gamma(\beta))^{n}}{\Gamma(n\beta)}(t-s)^{n\beta-1}a(s) \Biggr]\,ds,\quad t\in[0,T).$$

For details and recent development of fractional integro-differential equations with Fredholm integral operators, for instance, see . However, the bounds provided by the available inequalities in analyzing the dependence of solutions on the initial data for fractional differential equations involving Fredholm integral operators are not adequate. So it is natural to seek new inequalities to obtain the accurate bounds. In this paper, we establish a generalized Volterra–Fredholm integral inequality with weakly singular kernel and show its usefulness by applying it to the study of dependence of solutions on the initial data for a class of fractional differential equations involving Fredholm integral operators.

## 2 Preliminaries

In this section, we recall some basic definitions and useful results .

Throughout this paper, let $$[0,T]$$ denote a finite interval and $$C^{m}([0,T],\mathbb{R})$$ be the Banach space of m-times continuously differentiable functions from $$[0,T]$$ into $$\mathbb{R}$$. In particular, $$C^{0}([0,T],\mathbb{R})$$, written as $$C([0,T],\mathbb{R})$$, is the Banach space of continuous functions from $$[0,T]$$ into $$\mathbb{R}$$ equipped with the maximum norm $$\|x\|=\max_{0\leqslant t\leqslant T}|x(t)|$$.

### Definition 2.1

Let $$[a,b]$$ be a finite interval. The left Riemann–Liouville integral $$({\mathcal{I}_{a^{+}}^{\alpha}}x)(t)$$ of order $$\alpha>0$$ is defined by
$$\bigl({\mathcal{I}_{a^{+}}^{\alpha}}x \bigr) (t)= \frac{1}{\Gamma(\alpha)} \int ^{t}_{a}(t-\zeta)^{\alpha-1}x(\zeta)\,d \zeta, \quad t>a,$$
(2.1)
where $$\Gamma(\cdot)$$ is the gamma function.

### Definition 2.2

Let $$[a,b]$$ be a finite interval, $$m<\alpha\leqslant m+1$$, $$m\in \mathbb{N}$$, and $$x\in C^{m+1}([a,b])$$. The Caputo fractional derivative of order α is defined by
$$\bigl({}^{c}D^{\alpha}_{a^{+}}x \bigr) (t)= \frac{1}{\Gamma(m+1-\alpha)} \int _{a}^{t}(t-\zeta)^{m-\alpha} \frac{d^{m+1}x(\zeta)}{d\zeta^{m+1}}\, d\zeta, \quad t>a.$$
(2.2)

### Definition 2.3

The two-parameter Mittag–Leffler function is defined by
$$E_{\beta,\gamma}(z)=\sum_{k=0}^{\infty}\frac{z^{k}}{\Gamma(\beta k+\gamma)} ,\quad \beta, \gamma>0, z\in\mathbb{R}.$$

In particular, when $$\gamma=1$$, it becomes the one-parameter Mittag–Leffler function, i.e., $$E_{\beta, 1}(z)=E_{\beta}(z)$$.

Now we state a known result, which plays a key role in proving the main result. We do not provide its proof as it is a special case of Lemma 2.3 in .

### Lemma 2.1

Let $$v, w\in C([0, T], \mathbb{R}^{n})$$, $$f\in C([0,T]\times\mathbb {R}^{n},\mathbb{R}^{n})$$ be such that $$f(t, x)$$ is nondecreasing with respect to the second argument for each t on $$[0,T]$$ and that
\begin{aligned} \mathrm{(i)} &\quad v(t)\leqslant v(0)+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-\zeta)^{\alpha-1}f \bigl(\zeta ,v( \zeta) \bigr)\,d\zeta, \\ \mathrm{(ii)}&\quad w(t)\geqslant w(0)+\frac{1}{\Gamma(\alpha)} \int^{t}_{0}(t-\zeta)^{\alpha-1}f \bigl(\zeta ,w( \zeta) \bigr)\,d\zeta.\end{aligned}
If $$v(0)\leqslant w(0)$$, then $$v(t)\leqslant w(t)$$ on $$t\in[0,T]$$.

## 3 A generalized Volterra–Fredholm integral inequality

In this section, we present a generalized Volterra–Fredholm integral inequality with weakly singular kernel.

### Theorem 3.1

Let $$\alpha, \lambda, \mu>0$$, and $$g(t)$$ be a continuously differentiable nonnegative function on $$[a,b]$$ with $$a\leqslant b\leqslant+\infty$$. In addition, assume that $$u(t)$$ is integrable and nonnegative on $$[a,b)$$ such that
$$u(t)\leqslant\frac{\lambda}{\Gamma(\alpha)} \int_{a}^{t}(t-\zeta )^{\alpha-1}u(\zeta)\,d \zeta+\mu \int_{a}^{b}u(\zeta)\,d\zeta+g(t)$$
(3.1)
for each $$t \in[a, b)$$. If $$0\leqslant\mu(b-a)E_{\alpha,2}(\lambda(b-a)^{\alpha})<1$$, then
\begin{aligned}[b] u(t)\leqslant {}&E_{\alpha}\bigl( \lambda(t-a)^{\alpha}\bigr)u_{0}+g(t)-E_{\alpha } \bigl( \lambda(t-a)^{\alpha}\bigr)g(a) \\ &+\lambda \int_{a}^{t}(t-\zeta)^{\alpha -1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta,\end{aligned}
(3.2)
where
\begin{aligned} u_{0}\leqslant{}& \biggl(\mu \int_{a}^{b}g(\zeta)\,d\zeta-\mu(b-a)E_{\alpha ,2} \bigl(\lambda(b-a)^{\alpha}\bigr)g(a) \\ &+ \mu\lambda \int_{a}^{b}(b-\zeta)^{\alpha}E_{\alpha,\alpha+1} \bigl(\lambda (b-\zeta)^{\alpha}\bigr)g(\zeta)\,d \zeta+g(a) \biggr) \\ & \big/ \bigl(1-\mu(b-a)E_{\alpha ,2} \bigl(\lambda(b-a)^{\alpha}\bigr) \bigr).\end{aligned}

### Proof

Let
$$v(t)=\frac{\lambda}{\Gamma(\alpha)} \int_{a}^{t}(t-\zeta)^{\alpha -1}u(\zeta)\,d \zeta+\mu \int_{a}^{b}u(\zeta)\,d\zeta+g(t),\quad t\in[a,b].$$
(3.3)
Taking the Caputo derivative of order α on the two sides of equation (3.3), we can obtain
$$\bigl({}^{c}D^{\alpha}_{a^{+}}v \bigr) (t)= \lambda u(t)+ \bigl({}^{c}D^{\alpha}_{a^{+}}g \bigr) (t).$$
(3.4)
Combining (3.1) and (3.3), we get
$$\bigl({}^{c}D^{\alpha}_{a^{+}}v \bigr) (t) \leqslant\lambda v(t)+ \bigl({}^{c}D^{\alpha}_{a^{+}}g \bigr) (t).$$
(3.5)
According to Lemma 2.1, we have
$$v(t)\leqslant E_{\alpha}\bigl(\lambda(t-a)^{\alpha}\bigr)v(a)+ \int_{a}^{t}(t-\zeta )^{\alpha-1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr) \bigl({}^{c}D^{\alpha}_{a^{+}}g \bigr) (\zeta)\,d\zeta.$$
(3.6)
Note that the second term on the right-hand of inequality (3.6) can be simplified as follows:
$$\begin{gathered} \int_{a}^{t}(t-\zeta)^{\alpha-1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta )^{\alpha}\bigr) \bigl({}^{c}D^{\alpha}_{a^{+}}g \bigr) (\zeta)\,d\zeta \\ \quad=\frac{1}{\Gamma(1-\alpha)} \int_{a}^{t}g^{\prime}(s)\,ds \int _{s}^{t}(t-\zeta)^{\alpha-1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr) (\zeta-s)^{-\alpha}\,d\zeta \\ \quad=\sum_{k=0}^{\infty}\frac{\lambda^{k}}{\Gamma(k\alpha+1)} \int _{a}^{t}(t-s)^{k\alpha}g^{\prime}(s) \,ds \\ \quad= \int_{a}^{t}g^{\prime}(s)\,ds+\sum _{k=1}^{\infty}\frac{\lambda ^{k}}{\Gamma(k\alpha+1)} \int_{a}^{t}(t-s)^{k\alpha}g^{\prime}(s) \,ds \\ \quad=g(t)-g(a)-\sum_{k=1}^{\infty}\frac{\lambda^{k}(t-a)^{k\alpha }}{\Gamma(k\alpha+1)}g(a) +\sum_{k=1}^{\infty}\frac{\lambda^{k}}{\Gamma(k\alpha)} \int _{a}^{t}(t-s)^{k\alpha-1}g(s)\,ds \\ \quad=g(t)-E_{\alpha} \bigl(\lambda(t-a)^{\alpha}\bigr)g(a)+\lambda \int _{a}^{t}(t-\zeta)^{\alpha-1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta.\end{gathered}$$
Then inequality (3.6) takes the form
$$v(t)\leqslant E_{\alpha}\bigl(\lambda(t-a)^{\alpha}\bigr)v(a)+g(t)-E_{\alpha } \bigl(\lambda(t-a)^{\alpha}\bigr)g(a)+ \lambda \int_{a}^{t}(t-\zeta)^{\alpha -1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta.$$
Then, from (3.1), we have
\begin{aligned}[b]u(t)\leqslant{}& E_{\alpha}\bigl( \lambda(t-a)^{\alpha}\bigr)v(a)+g(t)-E_{\alpha } \bigl( \lambda(t-a)^{\alpha}\bigr)g(a) \\ &+ \lambda \int_{a}^{t}(t-\zeta)^{\alpha -1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta.\end{aligned}
(3.7)
From (3.3), notice that
$$v(a)=\mu \int_{a}^{b}u(\zeta)\,d\zeta+g(a).$$
(3.8)
Thus, from (3.7), we have the following estimate:
\begin{aligned} v(a)&=\mu \int_{a}^{b}u(\zeta)\,d\zeta+g(a) \\ &\leqslant\mu \int_{a}^{b} \biggl(E_{\alpha}\bigl(\lambda( \zeta-a)^{\alpha}\bigr)v(a)+g(\zeta)-E_{\alpha} \bigl(\lambda( \zeta-a)^{\alpha}\bigr)g(a) \\ &\quad+\lambda \int_{a}^{\zeta}(\zeta-s)^{\alpha-1}E_{\alpha,\alpha } \bigl(\lambda(\zeta-s)^{\alpha}\bigr)g(s)\,ds \biggr)\,d\zeta+g(a) \\ &=\mu(b-a)E_{\alpha,2} \bigl(\lambda(b-a)^{\alpha}\bigr)v(a)+\mu \int _{a}^{b}g(\zeta)\,d\zeta-\mu(b-a)E_{\alpha,2} \bigl(\lambda(b-a)^{\alpha}\bigr)g(a) \\ &\quad+\mu\lambda \int_{a}^{b}(b-\zeta)^{\alpha}E_{\alpha,\alpha+1} \bigl(\lambda (b-\zeta)^{\alpha}\bigr)g(\zeta)\,d \zeta+g(a). \end{aligned}
Obviously, for $$0\leqslant\mu(b-a)E_{\alpha,2}(\lambda(b-a)^{\alpha})<1$$, we obtain
\begin{aligned} v(a)\leqslant{}&\biggl(\mu \int_{a}^{b}g(\zeta)\,d\zeta-\mu(b-a)E_{\alpha ,2} \bigl(\lambda(b-a)^{\alpha}\bigr)g(a) \\ &+ \mu\lambda \int_{a}^{b}(b-\zeta)^{\alpha}E_{\alpha,\alpha+1}\bigl(\lambda (b-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta+g(a) \biggr) \\ & \big/\bigl(1-\mu(b-a)E_{\alpha ,2}\bigl(\lambda(b-a)^{\alpha}\bigr)\bigr). \end{aligned}
The proof is completed. □

### Remark 3.1

Now we consider a special case of Theorem 3.1 with $$\mu=0$$, that is, $$u(t)$$ satisfies the following relation:
$$u(t)\leqslant\frac{\lambda}{\Gamma(\alpha)} \int_{a}^{t}(t-\zeta )^{\alpha-1}u(\zeta)\,d \zeta+g(t) \quad\text{for each } t \in[a, b).$$
Then, according to Theorem 3.1, $$u_{0}\leqslant g(a)$$ and
\begin{aligned} u(t)&\leqslant E_{\alpha}\bigl(\lambda(t-a)^{\alpha}\bigr)g(a)+g(t)-E_{\alpha}\bigl(\lambda(t-a)^{\alpha}\bigr)g(a)\\ &\quad+ \lambda \int_{a}^{t}(t-\zeta)^{\alpha -1}E_{\alpha,\alpha} \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta \\ &=g(t)+\lambda \int_{a}^{t}(t-\zeta)^{\alpha-1}E_{\alpha,\alpha } \bigl(\lambda(t-\zeta)^{\alpha}\bigr)g(\zeta)\,d\zeta.\end{aligned}
Here, we emphasize that the inequality obtained in Theorem 3.1 coincides with the inequality in .

## 4 Applications

In this section, we show the utility of our main result in investigating the dependence of solutions on the initial condition of fractional differential equations with Fredholm integral operators. Precisely we consider the following initial value problem of Caputo fractional differential equations:
$${}^{c}D^{\alpha}_{0^{+}}x(t)=f \biggl(t, x(t), \int_{0}^{T}g \bigl(t,s,x(\cdot) \bigr)\, ds \biggr),\quad x(0)=x_{0}\in\mathbb{R}^{n},$$
(4.1)
where $$0<\alpha<1$$, $$t\in J=[0,T]$$, $$f\in C([0,T]\times\mathbb {R}^{n}\times\mathbb{R}^{n},\mathbb{R}^{n})$$, $$g\in C([0,T]\times [0,T]\times C([0,T],\mathbb{R}^{n}),\mathbb{R}^{n})$$, and $${}^{c}D^{\alpha}_{0^{+}}$$ denotes the Caputo fractional derivative.
It is easy to show that problem (4.1) is equivalent to the following integral equation:
$$x(t)=x_{0}+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta)^{\alpha -1}f \biggl(\zeta, x(\zeta), \int_{0}^{T}g \bigl(\zeta,s,x(\cdot) \bigr)\,ds \biggr)\, d\zeta.$$
(4.2)

In order to show that problem (4.1) is well posed, we assume the following condition.

### Condition 4.1

There exist nonnegative constants $$L_{1}$$, $$L_{2}$$, $$L_{3}$$ such that
$$\begin{gathered} \big\| f(t, u_{1}, v_{1})-f(t, u_{2}, v_{2})\big\| \leqslant L_{1}\|u_{1}-u_{2} \|+L_{2}\| v_{1}-v_{2}\|, \\ \big\| g(t,s,w_{1})-g(t,s,w_{2})\big\| \leqslant L_{3} \|w_{1}-w_{2}\|_{t}\end{gathered}$$
for $$t, s\in J$$, $$u_{i}, v_{i}\in\mathbb{R}^{n}$$, $$w_{i}\in C([0,T],\mathbb {R}^{n})$$ ($$i=1,2$$). In the sequel, $$\|x\|_{t}$$ stands for $$\max_{0\leqslant s\leqslant t}\|x(s)\|$$, where $$\|\cdot\|$$ is 2-norm in $$\mathbb{R}^{n}$$.

Now, we prove the existence and uniqueness of solutions for the initial value problem (4.1).

### Theorem 4.1

Assume that Condition 4.1 holds and that there exists $$\lambda >0$$ such that
$$\biggl[\frac{L_{1}}{\lambda^{\alpha}} +\frac{L_{2}L_{3}T^{\alpha}}{\lambda\Gamma(\alpha+1)} \bigl(e^{\lambda T}-1 \bigr) \biggr]< 1.$$
(4.3)
Then the iteration sequence $$\{x^{(k)}\}$$ defined by
$$x^{(k+1)}(t)=x_{0}+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta)^{\alpha -1}f \biggl(t, x^{(k)}(t), \int_{0}^{T}g \bigl(t,s,x^{(k)}(\cdot) \bigr) \,ds \biggr)$$
(4.4)
converges to a unique solution of problem (4.1).

### Proof

To investigate the convergence of the iteration sequence, let us introduce the weighted norm $$\|x\|_{\lambda,T}=\max_{t\in[0,T]}e^{-\lambda t}\|x(t)\|$$, where $$\lambda>0$$.

Denote the right-hand side of equation (4.2) by $$(\Phi x)(t)$$. Then, using Condition 4.1 for $$x, \overline{x}\in C^{1}(0,T)$$, we obtain
\begin{aligned}[b] e^{-\lambda t}\big\| (\Phi x) (t)-(\Phi \overline{x}) (t)\big\| \leqslant{}& \frac {L_{1}e^{-\lambda t}}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta)^{\alpha -1}e^{\lambda\zeta}e^{-\lambda\zeta} \big\| x(\zeta)-\overline{x}(\zeta )\big\| \,d\zeta \\ &+\frac{L_{2}L_{3}e^{-\lambda t}}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta )^{\alpha-1} \int_{0}^{T}e^{\lambda s}e^{-\lambda s}\big\| x(s)- \overline {x}(s)\big\| \,ds\,d\zeta \\ \leqslant{}&\frac{L_{1}e^{-\lambda t}}{\Gamma(\alpha)}\|x-\overline {x}\|_{\lambda,t} \int_{0}^{t}(t-\zeta)^{\alpha-1}e^{\lambda\zeta} \, d\zeta \\ &+\frac{L_{2}L_{3}e^{-\lambda t}}{\Gamma(\alpha)}\|x-\overline{x}\| _{\lambda,T} \int_{0}^{t}(t-\zeta)^{\alpha-1} \int_{0}^{T}e^{\lambda s}\,ds\, d\zeta. \end{aligned}
(4.5)
By the definition of gamma function, we have the estimate
$$\int_{0}^{t}(t-\zeta)^{\alpha-1}e^{\lambda\zeta} \,d\zeta\leqslant \lambda^{-\alpha}e^{\lambda t}\Gamma(\alpha).$$
(4.6)
Using (4.6) in (4.5), we get
$$\|\Phi x-\Phi\overline{x}\|_{\lambda,T} \leqslant \biggl(\frac{L_{1}}{\lambda^{\alpha}} + \frac{L_{2}L_{3}T^{\alpha}}{\lambda\Gamma(\alpha+1)} \bigl(e^{\lambda T}-1 \bigr) \biggr)\|x-\overline{x} \|_{\lambda,T}.$$
This completes the proof. □

### Remark 4.1

In case g is a constant function on $$[0,T]$$, the iteration sequence $$\{x^{(k)}\}$$ produced by (4.4) converges to a unique solution of (4.1) provided that the parameter λ is large enough. Alternatively, we can say that the weighted norm technique does not work well for Fredholm type equation as in the Volterra case.

### Theorem 4.2

Assume that Condition 4.1 is satisfied. In addition, suppose that x and y are two solutions of the initial value problems (4.1) with $$x(0)=x_{0}$$, $$y(0)=y_{0}$$, $$x_{0}, y_{0} \in\mathbb{R}^{n}$$.

If
$$0< \frac{L_{2}L_{3}T^{\alpha+1}E_{\alpha,2}(L_{1}T^{\alpha})}{\Gamma(\alpha+1)}< 1,$$
(4.7)
then the following inequality holds for $$t\in[0,T]$$:
$$\big\| x(t)-y(t)\big\| \leqslant \bigl(E_{\alpha} \bigl(L_{1}t^{\alpha}\bigr)Q+1+L_{1}t^{\alpha}E_{\alpha,\alpha+1} \bigl(L_{1}t^{\alpha}\bigr) \bigr)\|x_{0}-y_{0}\|,$$
(4.8)
where
$$Q\leqslant\frac{L_{2}L_{3}T^{\alpha+1} +L_{1}L_{2}L_{3}T^{2\alpha+1}E_{\alpha,\alpha+2}(L_{1}T^{\alpha})}{\Gamma (\alpha+1)-L_{2}L_{3}T^{\alpha+1}E_{\alpha,2}(L_{1}T^{\alpha})}.$$
(4.9)

### Proof

Since x and y are solutions to the initial value problem (4.1) with initial data $$x(0)=x_{0}$$, $$y(0)=y_{0}$$, therefore
\begin{aligned}& x(t)=x_{0}+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta)^{\alpha -1}f \biggl(\zeta, x(\zeta), \int_{0}^{T}g \bigl(\zeta,s,x(\cdot) \bigr)\,ds \biggr)\,d\zeta, \end{aligned}
(4.10)
\begin{aligned}& y(t)=y_{0}+\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\zeta)^{\alpha -1}f \biggl(\zeta, y(\zeta), \int_{0}^{T}g \bigl(\zeta,s,y(\cdot) \bigr)\,ds \biggr)\,d\zeta. \end{aligned}
(4.11)
Subtracting (4.10) from (4.11) and using Condition 4.1, we obtain
$$u(t)\leqslant\|x_{0}-y_{0}\|+ \frac{L_{1}}{\Gamma(\alpha)} \int _{0}^{t}(t-\zeta)^{\alpha-1}u(\zeta)\,d \zeta +\frac{L_{2}L_{3}T^{\alpha}}{\Gamma(\alpha+1)} \int_{0}^{T}u(s)\,ds,$$
(4.12)
where $$u(t)=\|x(t)-y(t)\|$$. A direct application of Theorem 3.1 to (4.12) yields the desired conclusion. This completes the proof. □

## Declarations

### Acknowledgements

The work is supported by the National Natural Science Foundation of China (11501436) and Young Talent Fund of University Association for Science and Technology in Shaanxi, China (20170701).

Not applicable.

Not applicable.

### Authors’ contributions

Both the authors, BA and XLD, contributed equally to each part of this work. All authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

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, Xi’an Polytechnic University, Xi’an, China
(2)
Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Faculty of Science, King Abdulaziz University, Jeddah, Saudi Arabia

## References

Advertisement 