# A generalized Gronwall inequality and its application to fractional neutral evolution inclusions

## Abstract

This paper deals with the fractional neutral evolution differential inclusions. The existence results are established by using the fractional power of operators and a fixed point theorem for multivalued map. Moreover, we present a new generalized Gronwall inequality with singularity, which is an important tool in the proof of solvability.

## 1 Introduction

In recent years, the theory of fractional differential equations is an important area of investigation for its wide applicability in the fields of physics, engineering, and economics. For more details, we refer to the monographs of Oldham and Spanier [1], Miller and Ross [2] and Podlubny [3] and papers [4â€“10].

This paper deals with the fractional neutral evolution inclusions of the form

$$\textstyle\begin{cases} D^{q}(x(t)-g(t,x_{t}) )\in-Ax(t)+F(t,x_{t}), &t\in [0,b],\\ x(t)=\phi(t),& t\in[-\tau,0], \end{cases}$$
(1.1)

where $$D^{q}$$ represents the Caputo fractional derivative of order $$0< q<1$$, $$b>0$$, âˆ’A is the infinitesimal generator of an analytic semigroup $$\{T(t)\}_{t\geq0}$$ on a Banach space X, $$F:[0,b]\times C([-\tau,0],X)\rightarrow{\mathcal {P}}(X)$$ is a multivalued map with nonempty, bounded, convex, and closed values, $${\mathcal {P}}(X)$$ is the family of all nonempty subsets of X, $$g:[0,b]\times C([-\tau,0],X)\rightarrow X$$ is a given function to be introduced later, and $$\phi\in C([-\tau,0],X)$$, $$\tau>0$$. For any $$x\in C([-\tau,b],X)$$ and any $$t\in [0,b]$$, define $$x_{t}(\varsigma)$$ by $$x_{t}(\varsigma)=x(t+\varsigma)$$ for $$\varsigma\in[-\tau,0]$$, where $$x_{t}(\cdot)$$ represents the history of the state from time $$t-\tau$$ up to the present time t.

Neutral fractional differential systems arise in many areas of applied mathematics and have received much attention recently. For some applications and recent results, we refer to [11â€“14] and the references therein. Very recently, Wang and Zhou [15] studied the existence and controllability results for fractional evolution differential inclusions involving the Caputo derivative in Banach spaces. Yan [16] investigated the controllability of fractional-order functional integro-differential inclusions with infinite delay in Banach spaces. We remark that the existence or the controllability results in these mentioned papers are obtained under strong assumptions on the nonlinear parts f and F in equations and inclusions, respectively. The purpose of this paper is to release the limitation on the nonlinear term. For this purpose, we first present a new generalized Gronwall inequality with singularity, which is effective in dealing with fractional neutral evolution systems.

The remainder of the paper is arranged as follows. In SectionÂ 2, we give some basic definitions and preliminary results. A new generalized Gronwall inequality is proved in SectionÂ 3. SectionÂ 4 is devoted to the existence result of mild solutions for problem (1.1). An example is presented in SectionÂ 5 to illustrate our main theorem.

## 2 Preliminaries

Let $$(X, |\cdot|)$$ be a Banach space, and $$J\subset{\mathbf {R}}$$. Then $$C(J,X)$$ is the Banach space consisting of all continuous functions from J into X equipped with the norm $$\|y\| _{J}=\sup\{|y(t)|:t\in J\}$$, and $$B(X)$$ denotes the Banach space of all bounded linear operators from X into X with the norm

$$\|T\|=\sup \bigl\{ \bigl|T(y) \bigr|:|y|=1 \bigr\} ,$$

where $$T\in B(X)$$ and $$y\in X$$.

For $$1\leq p\leq\infty$$, define the norm of a measurable function $$m: J\rightarrow{\mathbf {R}}$$ by

$$\|m\|_{L^{p} J}= \textstyle\begin{cases} (\int_{J}|m(t)|^{p} \,dt)^{\frac{1}{p}}, & 1\leq p< \infty,\\ \inf_{\mu(\overline{J})=0}\{\sup_{t\in J-\overline{J}}|m(t)|\}, & p=\infty, \end{cases}$$

where $$\mu(\overline{J})$$ is the Lebesgue measure on JÌ…. Denote by $$L^{p}(J,{\mathbf {R}})$$ the Banach space of all Lebesgue-measurable functions $$m: J\rightarrow\mathbf{R}$$ with the norm satisfying $$\|\cdot\|_{L^{p}J}<\infty$$.

### Lemma 2.1

(HÃ¶lder inequality)

Let $$r, p\geq 1$$ and $$\frac{1}{r}+\frac{1}{p}=1$$. If $$l\in L^{r}(J,{\mathbf {R}})$$ and $$m\in L^{p}(J,{\mathbf {R}})$$, then $$lm\in L^{1}(J,{\mathbf {R}})$$ and $$\|lm\| _{L^{1}J}\leq\|l\|_{L^{r}J}\|m\|_{L^{p}J}$$.

### Lemma 2.2

(Bochner theorem)

A measurable function $$x: J\rightarrow X$$ is Bochner-integrable if $$|x|$$ is Lebesgue-integrable.

Let âˆ’A be the infinitesimal generator of an analytic semigroup $$\{T(t)\}_{t\geq0}$$ of uniformly bounded linear operators on X. Let $$0\in\rho(A)$$, where $$\rho(A)$$ is the resolvent set of A. Then we can define the fractional power $$A^{\alpha}$$ for $$0<\alpha\leq1$$ as a closed linear operator on the domain $$D(A^{\alpha})$$. We have the following known results:

(i) There is $$M\geq1$$ such that

$$M:=\sup_{t\in[0,+\infty)} \bigl\| T(t) \bigr\| \leq\infty.$$
(2.1)

(ii) For any $$\alpha\in(0,1]$$, there exists a positive constant $$C_{\alpha}$$ such that

$$\bigl\| A^{\alpha}T(t) \bigr\| \leq\frac{C_{\alpha}}{t^{\alpha}}, \quad 0< t\leq b.$$
(2.2)

For details on fractional powers of closed operators, we refer to [17].

### Definition 2.3

([3])

The Riemann-Liouville fractional integral of order $$\alpha\in\mathbf{R}^{+}$$ of $$f:{\mathbf {R}}^{+}\rightarrow X$$ is defined by

$$I_{0}^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}f(s)\,ds,\quad t>0,$$

where Î“ is the gamma function.

### Definition 2.4

([3])

The Caputo fractional derivative of order $$0<\alpha<1$$ of $$f\in C^{1}([0,\infty), X)$$ is defined by

$$D^{\alpha}f(t)=\frac{1}{\Gamma(1-\alpha)} \int_{0}^{t}(t-s)^{-\alpha}f'(s) \,ds, \quad t>0.$$

Next, we present some basic definitions and results on multivalued maps. See [18] for more details.

Let $$(X,d)$$ be a metric space, and $${\mathcal{P}}(X)$$ be the family for all nonempty subsets of X. We give the following notation:

\begin{aligned}& {\mathcal{P}}_{cl}(X)= \bigl\{ Y\in{\mathcal{P}}(X): Y \mbox{ is closed} \bigr\} , \qquad {\mathcal{P}}_{bd}(X)= \bigl\{ Y\in{ \mathcal{P}}(X): Y \mbox{ is bounded} \bigr\} , \\& {\mathcal{P}}_{cv}(X)= \bigl\{ Y\in{\mathcal{P}}(X): Y \mbox{is convex} \bigr\} , \qquad{\mathcal{P}}_{cp}(X)= \bigl\{ Y\in{ \mathcal{P}}(X): Y \mbox{ is compact} \bigr\} . \end{aligned}

A multivalued map $$F:X\rightarrow{\mathcal{P}} (X)$$ is convex (closed) valued if $$F(x)$$ is convex (closed) for all $$x\in X$$; F is bounded on bounded sets if $$F(B)=U_{x\in B}F(x)$$ is bounded in X for all $$B\in{\mathcal{P}}_{bd}(X)$$, that is, $$\sup_{x\in B}\{\sup\{|y|:y\in F(x)\}\}<\infty$$; F is said to be upper semi-continuous (u.s.c. for short) on X if for each $$x_{0}\in X$$, the set $$F(x_{0})$$ is a nonempty, closed subset of X and if for each open set $${\mathcal{U}}$$ of X containing $$F(x_{0})$$, there is an open neighborhood $$\mathcal{V}$$ of $$x_{0}$$ such that $$F({\mathcal{V}})\subset\mathcal{U}$$; and F is completely continuous if $$F(B)$$ is relatively compact for every $$B\in{\mathcal{P}}_{bd}(X)$$.

If a multivalued map F is completely continuous and has nonempty compact values, then F is u.s.c. if and only if F has a closed graph, that is, $$x_{n}\rightarrow x_{\ast}$$, $$y_{n}\rightarrow y_{\ast}$$, $$y_{n}\in F(x_{n})$$ imply $$y_{\ast}\in F(x_{\ast})$$.

Consider $$H_{d}:{\mathcal {P}}(X)\times{\mathcal {P}}(X)\rightarrow{\mathbf {R}}^{+}\cup\{\infty\}$$ given by

$$H_{d}(A,B)=\max \Bigl\{ \sup_{x\in A}d(x,B), \sup _{y\in B}d(A,y) \Bigr\} ,$$

where $$d(A,y)=\inf_{x\in A}d(x,y)$$, $$d(x,B)=\inf_{y\in B}d(x,y)$$. Then $$({\mathcal {P}}_{bd,cl}(X),H_{d})$$ is a metric space, and $$({\mathcal {P}}_{cl}(X),H_{d})$$ is a generalized metric space (see [19]).

### Definition 2.5

([20])

A multivalued operator $${\mathcal {N}}: X\rightarrow {\mathcal {P}}_{cl}(X)$$

1. (i)

is a contraction if and only if there exists $$0<\gamma<1$$ such that, for each $$x, y\in X$$,

$$H_{d} \bigl({\mathcal {N}}(x),{\mathcal {N}}(y) \bigr)\leq\gamma d(x,y);$$
2. (ii)

has a fixed point if there exists $$x\in X$$ such that $$x\in {\mathcal {N}}(x)$$.

### Theorem 2.6

([20])

Let J be a compact interval, and X be a Banach space. Let the map $$F: J\times C(J,X)\rightarrow {\mathcal{P}}_{bd,cl,cv}(X)$$, $$(t,u)\mapsto F(t,u)$$, be measurable with respect to t for each $$u\in X$$ and upper semicontinuous with respect to u for each $$t\in J$$. Moreover, suppose that for each fixed $$u\in C(J,X)$$, the set

$${\mathcal {N}}_{F,u}= \bigl\{ f\in L^{1}(J, X):f(t)\in F(t,u) \textit{ for a.e. } t\in J \bigr\}$$

is nonempty. Also, let $$\mathcal{T}$$ be a linear continuous mapping from $$L^{1}(J,X)$$ to $$C(J, X)$$. Then the operator

$${\mathcal {T}}\circ{\mathcal {N}}_{F}:C(J,X)\rightarrow{\mathcal {P}}_{bd,cl,cv} \bigl(C(J,X) \bigr),\qquad u\rightarrow({\mathcal {T}}\circ{ \mathcal {N}}_{F}) (u)={\mathcal {T}}({\mathcal {N}}_{F,u}),$$

is a closed graph operator in $$C(J,X)\times C(J,X)$$.

The main tool in our approach is the following fixed point theorem.

### Theorem 2.7

([21, 22])

Let X be a Banach space, and $${ \mathcal {A}}:X\rightarrow{\mathcal {P}}_{cl,cv,bd}(X)$$ and $${\mathcal {B}}:X\rightarrow {\mathcal {P}}_{cp,cv}(X)$$ be two multivalued operators satisfying

1. (a)

$$\mathcal{A}$$ is a contraction, and

2. (b)

$$\mathcal{B}$$ is upper semicontinuous and completely continuous.

Then, either

1. (i)

the operator inclusion $$\lambda x\in{\mathcal {A}}x+{\mathcal {B}} x$$ has a solution for $$\lambda=1$$, or

2. (ii)

the set $$U=\{u\in X|u\in\lambda{ \mathcal {A}}u+\lambda{\mathcal {B}}u, 0<\lambda<1\}$$ is unbounded.

## 3 A generalized Gronwall inequality

In this section, we establish a generalized Gronwall inequality, which is important in proving the existence result. The proof is based on an iteration argument.

### Lemma 3.1

([23])

For $$x\geq1$$, we have

$$\biggl(\frac{x}{e} \biggr)^{x}\sqrt{2\pi x} \biggl(1+ \frac{1}{12x} \biggr)< \Gamma (x+1)< \biggl(\frac{x}{e} \biggr)^{x}\sqrt{2\pi x} \biggl(1+\frac{1}{12x-0.5} \biggr).$$

### Theorem 3.2

Suppose that $$\alpha,\beta>0$$, $$a(t)$$ is a nonnegative function locally integrable on $$\mathbf{R}^{+}$$, $$g(t)$$ and $$h(t)$$ are nonnegative, nondecreasing continuous functions defined on $$\mathbf{R}^{+}$$, and $$u(t)$$ is a nonnegative and locally integrable function on $$\mathbf{R}^{+}$$ such that

$$u(t)\leq a(t)+g(t) \int_{0}^{t}(t-s)^{\alpha-1}u(s)\,ds+h(t) \int_{0}^{t}(t-s)^{\beta -1}u(s)\,ds,\quad t\in \mathbf{R}^{+}.$$

Then, for each constant $$b\geq0$$, $$t\in[0,b]$$, we have

$$u(t)\leq a(t)+ \int_{0}^{t}\sum_{n=1}^{\infty} \sum_{k=0}^{n}C_{n}^{k} \frac {(g(t)\Gamma(\alpha))^{k}(h(t)\Gamma(\beta))^{n-k}}{\Gamma(k\alpha +(n-k)\beta)} (t-s)^{k\alpha+(n-k)\beta-1}a(s)\,ds.$$
(3.1)

### Proof

Let $$B\psi(t)=g(t)\int_{0}^{t}(t-s)^{\alpha-1}\psi(s)\,ds+h(t)\int _{0}^{t}(t-s)^{\beta-1}\psi(s)\,ds$$ for locally integrable functions Ïˆ. Then

$$u(t)\leq a(t)+Bu(t).$$

By iteration we have

$$u(t)\leq\sum_{k=0}^{n-1}B^{k}a(t)+B^{n}u(t).$$

Next, we shall prove the following two statements:

1. (i)

$$B^{n} u(t)\leq\int_{0}^{t}\sum_{k=0}^{n}C_{n}^{k}\frac{(g(t)\Gamma (\alpha))^{k}(h(t)\Gamma(\beta))^{n-k}}{\Gamma(k\alpha+(n-k)\beta)} (t-s)^{k\alpha+(n-k)\beta-1}u(s)\,ds$$.

2. (ii)

For each $$t\in[0,b]$$, $$\lim_{n\rightarrow\infty}B^{n} u(t)=0$$, and $$\sum_{n=1}^{\infty}B^{n}a(t)$$ is convergent.

Proof of (i). From the definition of B we have (i) is true for $$n=1$$. Assume that (i) is true for some $$n=m$$. Then, for $$n=m+1$$,

\begin{aligned} B^{m+1}u(t) =&B \bigl(B^{m} u(t) \bigr) \\ =&g(t) \int_{0}^{t}(t-s)^{\alpha-1}B^{m} u(s) \,ds+h(t) \int_{0}^{t}(t-s)^{\beta-1}B^{m} u(s) \,ds \\ \leq& g(t) \int_{0}^{t}(t-s)^{\alpha-1} \int_{0}^{s}\sum_{k=0}^{m}C_{m}^{k} \frac {(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m-k}}{\Gamma(k\alpha+(m-k)\beta)} \\ &{}\times (s-s_{1})^{k\alpha+(m-k)\beta-1}u(s_{1}) \,ds_{1}\,ds \\ &{}+h(t) \int_{0}^{t}(t-s)^{\beta-1} \int_{0}^{s}\sum_{k=0}^{m}C_{m}^{k} \frac {(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m-k}}{\Gamma(k\alpha+(m-k)\beta)} \\ &{}\times(s-s_{1})^{k\alpha+(m-k)\beta-1}u(s_{1})\,ds_{1} \,ds. \end{aligned}

By interchanging the order of integration and by the equality $$C_{m}^{n}+C_{m}^{n+1}=C_{m+1}^{n+1}$$ we have

\begin{aligned} &B^{m+1}u(t) \\ &\quad\leq \int_{0}^{t} g(t) u(s_{1}) \int_{s_{1}}^{t}\sum_{k=0}^{m}C_{m}^{k} \frac {(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m-k}}{\Gamma(k\alpha+(m-k)\beta)} (t-s)^{\alpha-1}(s-s_{1})^{k\alpha+(m-k)\beta-1}\,ds \,ds_{1} \\ &\qquad{}+ \int_{0}^{t} h(t) u(s_{1}) \int_{s_{1}}^{t}\sum_{k=0}^{m}C_{m}^{k} \frac {(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m-k}}{\Gamma(k\alpha+(m-k)\beta)} \\ &\qquad{}\times (t-s)^{\beta-1}(s-s_{1})^{k\alpha+(m-k)\beta-1}\,ds \,ds_{1} \\ &\quad= \int_{0}^{t}\sum_{k=0}^{m}C_{m}^{k} \frac{(g(t)\Gamma(\alpha))^{k+1}(h(t) \Gamma(\beta))^{m-k}}{\Gamma((k+1)\alpha+(m-k)\beta )}u(s_{1}) (t-s_{1})^{(k+1)\alpha+(m-k)\beta-1} \,ds_{1} \\ &\qquad{}+ \int_{0}^{t}\sum_{k=0}^{m}C_{m}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m+1-k}}{\Gamma(k\alpha+(m+1-k)\beta )}u(s_{1}) (t-s_{1})^{k\alpha+(m+1-k)\beta-1} \,ds_{1} \\ &\quad= \int_{0}^{t}\sum_{k=0}^{m+1}C_{m+1}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t) \Gamma(\beta))^{m-k}}{\Gamma(k\alpha+(m-k)\beta)}u(s_{1}) (t-s_{1})^{k\alpha +(m-k)\beta-1} \,ds_{1}. \end{aligned}

Therefore, by induction we get that (i) is true.

Proof of (ii). First, there exists $$N_{1}>0$$ such that for $$n>N_{1}$$, we have

$$k\alpha+(n-k)\beta-1>0 \quad\mbox{for } k=0,1,2,\ldots,n.$$

Take arbitrary $$b>0$$. Then, for $$n>N_{1}$$, $$k=0,1,\ldots,n$$, we have

$$(t-s)^{k\alpha+(n-k)\beta-1}\leq b^{k\alpha+(n-k)\beta-1}, \quad t\in[0,b], s\in[0,t].$$

By LemmaÂ 3.1, for $$n>N_{1}$$, we have

\begin{aligned} &\sum_{k=0}^{n}C_{n}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t)\Gamma(\beta ))^{n-k}}{\Gamma(k\alpha+(n-k)\beta)} b^{k\alpha+(n-k)\beta-1} \\ &\quad\leq \sum_{k=0}^{n}C_{n}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t)\Gamma(\beta ))^{n-k}}{ (\frac{k\alpha+(n-k)\beta-1}{e} )^{k\alpha+(n-k)\beta-1}\sqrt{2\pi(k\alpha+(n-k)\beta-1)}}b^{k\alpha +(n-k)\beta-1} \\ &\quad\leq\sum_{k=0}^{n}C_{n}^{k} \biggl[\frac{g(T)\Gamma(\alpha)b^{\alpha}}{ (\frac{k\alpha+(n-k)\beta-1}{e} )^{\alpha}} \biggr]^{k} \biggl[\frac{h(T)\Gamma(\beta)b^{\beta}}{ (\frac{k\alpha+(n-k)\beta -1}{e} )^{\beta}} \biggr]^{n-k} \\ &\qquad{}\times\frac{e}{ b(k\alpha+(n-k)\beta-1)\sqrt{2\pi(k\alpha+(n-k)\beta-1)}}. \end{aligned}

Choosing constants $$c_{1}, c_{2}>0$$ satisfying $$0< c_{1}+c_{2}<1$$, we can easily get that there is an integer constant $$N>N_{1}$$ such that, for $$n>N$$, $$k=0,1,2,\ldots,n$$,

\begin{aligned}& \frac{g(T)\Gamma(\alpha)b^{\alpha}}{ (\frac{k\alpha+(n-k)\beta -1}{e} )^{\alpha}}< c_{1},\qquad \frac{h(T)\Gamma(\beta)b^{\beta}}{ (\frac{k\alpha+(n-k)\beta -1}{e} )^{\beta}}< c_{2}, \\& \frac{e}{b(k\alpha+(n-k)\beta-1)\sqrt{2\pi(k\alpha+(n-k)\beta-1)}}< 1. \end{aligned}

Therefore, for $$n>N$$ and $$t\in[0,b]$$, we have

\begin{aligned} \lim_{n\rightarrow\infty}B^{n} u(t) \leq&\lim_{n\rightarrow\infty} \int _{0}^{t}\sum_{k=0}^{n}C_{n}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t)\Gamma(\beta))^{n-k}}{\Gamma(k\alpha +(n-k)\beta)} (t-s)^{k\alpha+(n-k)\beta-1}u(s)\,ds \\ \leq&\lim_{n\rightarrow\infty} \int_{0}^{t}\sum_{k=0}^{n}C_{n}^{k} \frac{(g(t)\Gamma(\alpha))^{k}(h(t)\Gamma(\beta))^{n-k}}{\Gamma(k\alpha +(n-k)\beta)} b^{k\alpha+(n-k)\beta-1}u(s)\,ds \\ \leq&\lim_{n\rightarrow\infty}\sum_{k=0}^{n}C_{n}^{k}c_{1}^{k}c_{2}^{n-k} \int_{0}^{b}u(s)\,ds \\ =& \lim_{n\rightarrow\infty}(c_{1}+c_{2})^{n} \int_{0}^{b}u(s)\,ds \\ =&0. \end{aligned}

Similarly, we can prove that for $$n>N$$ and $$t\in[0,b]$$,

\begin{aligned} \sum_{n=1}^{\infty}B^{n} a(t) =&\sum _{n=1}^{N}B^{n} a(t)+\sum _{n=N+1}^{\infty}B^{n} a(t) \\ \leq&\sum_{n=1}^{N}B^{n} a(t)+ \sum_{n=N+1}^{\infty}(c_{1}+c_{2})^{n} \int_{0}^{b}a(s)\,ds \\ \leq&\infty. \end{aligned}

Proof of (ii) is completed.

As a consequence of (i) and (ii), we complete the proof of TheoremÂ 3.2.â€ƒâ–¡

### Remark 3.3

If $$h(t)\equiv0$$, then (3.1) becomes

$$u(t)\leq a(t)+ \int_{0}^{t}\sum_{n=1}^{\infty} \frac{(g(t)\Gamma(\alpha ))^{n}}{\Gamma(n\alpha)} (t-s)^{n\alpha-1}a(s)\,ds,$$

which is TheoremÂ 1 in monograph [24].

## 4 Existence result

According to [14], we introduce the definition of the mild solution to problem (1.1).

### Definition 4.1

A continuous function $$x:[-\tau,b]\rightarrow X$$ is a mild solution of problem (1.1) if $$x(t)=\phi(t)$$ on $$[-\tau,0]$$ and there exists $$f\in L^{1}([0,b],X)$$ such that $$f(t)\in F(t,x(t))$$ for a.e. $$t\in[0,b]$$ and

\begin{aligned} x(t) =&\frak{S}_{q}(t) \bigl[\phi(0)-g(0,\phi) \bigr]+g(t,x_{t})+ \int _{0}^{t}(t-s)^{q-1}A \frak{T}_{q}(t-s)g(s,x_{s})\,ds \\ &{} + \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds, \end{aligned}

where

\begin{aligned}& \frak{S}_{q}(t)= \int_{0}^{\infty}\xi_{q}(\theta)T \bigl(t^{q}\theta \bigr)\,d\theta,\qquad \frak{T}_{q}(t)=q \int_{0}^{\infty}\theta\xi_{q}(\theta)T \bigl(t^{q}\theta \bigr)\,d\theta, \\& \xi_{q}(\theta)=\frac{1}{q}\theta^{-1-\frac{1}{q}} \Psi_{q} \bigl(\theta^{-\frac{1}{q}} \bigr), \\& \Psi_{q}(\theta)=\frac{1}{\pi}\sum_{n=1}^{\infty}(-1)^{n-1} \theta^{-qn-1} \frac{\Gamma(nq+1)}{n!}\sin(n\pi q), \quad\theta\in{\mathbf {R}}^{+}. \end{aligned}

### Remark 4.2

([25])

The function $$\xi_{q}(\theta)$$ is a probability density function defined on $$\mathbf{R}^{+}$$, and

$$\int_{0}^{\infty}\theta^{v} \xi_{q}(\theta)\,d\theta= \int_{0}^{\infty}\frac{1}{\theta^{qv}}\Psi_{q}( \theta)\,d\theta=\frac{\Gamma(1+v)}{\Gamma (1+qv)}.$$

### Lemma 4.3

([14])

The operators $$\frak{S}_{q}$$ and $$\frak{T}_{q}$$ have the following properties:

1. (i)

For any fixed $$t\geq0$$, $$\frak{S}_{q}$$ and $$\frak{T}_{q}$$ are linear and bounded operators, that is, for any $$x\in X$$,

$$\bigl|\frak{S}_{q}(t)x \bigr|\leq M|x|, \qquad \bigl|\frak{T}_{q}(t)x \bigr| \leq \frac{qM}{\Gamma(1+q)}|x|.$$
2. (ii)

$$\{\frak{S}_{q}(t)\}_{t\geq0}$$ and $$\{\frak{T}_{q}(t)\}_{t\geq 0}$$ are strongly continuous.

3. (iii)

If $$T(t)$$ is compact for $$t>0$$, then $$\frak{S}_{q}(t)$$ and $$\frak{T}_{q}(t)$$ are also compact operators for $$t>0$$.

4. (iv)

For any $$x\in X$$, $$\beta\in(0,1)$$, and $$\eta\in(0,1]$$, we have

$$A\frak{T}_{q}(t)x=A^{1-\beta}\frak{T}_{q}(t)A^{\beta}x, \quad 0\leq t\leq b,$$

and

$$\bigl\| A^{\eta}\frak{T}_{q}(t) \bigr\| \leq\frac{qC_{\eta}\Gamma(2-\eta)}{t^{q\eta}\Gamma(1+q(1-\eta))},\quad 0< t \leq b.$$

Let us list the following hypotheses:

(H1) $$T(t)$$ is compact operator for every $$t>0$$.

(H2) The multivalued map $$F:[0,b]\times C([-\tau,0],X)\rightarrow {\mathcal{P}}_{b,cl,cv}(X)$$ satisfies the following conditions:

1. (i)

For each $$t\in[0,b]$$, $$F(t,\cdot)$$ is upper semicontinuous, for each $$x \in C([-\tau,0],X)$$, $$F(\cdot,x)$$ is measurable, and the set $$N_{F,x}=\{f\in L^{1}([0,b],X): f(t)\in F(t,x), \mbox{for a.e. } t\in [0,b]\}$$ is not empty.

2. (ii)

For each $$x\in C([-\tau,0],X)$$, there exist $$m\in L^{1/q_{1}}([0,b],{\mathbf {R}}^{+})$$ and $$r\in C([0,b],{\mathbf {R}}^{+})$$ such that

$$\sup \bigl\{ \bigl|f(t) \bigr|: f(t)\in F(t, x) \bigr\} \leq m(t)+r(t)\|x \|_{[-\tau,0]} \quad \mbox{for a.e. } t\in [0,b],$$

where $$q_{1}\in[0,q)$$.

(H3) There exists a constant $$\beta\in(0,1)$$ such that $$g\in D(A^{\beta})$$, $$A^{\beta}g$$ is continuous, and

1. (i)

there exists a positive constant L such that

$$\bigl|A^{\beta}g(t_{1},x_{1})-A^{\beta}g(t_{2}, x_{2}) \bigr|\leq L \bigl(|t_{1}-t_{2}|+ \|x_{1}-x_{2}\| _{[-\tau,0]} \bigr)$$

for $$0< t_{1},t_{2}< b$$, $$x_{1},x_{2}\in C([-\tau,0],X)$$, and

2. (ii)

there exist positive constants $$L_{1}$$, $$L_{2}$$ such that

$$\bigl|A^{\beta}g(t,x) \bigr|\leq L_{1}\|x\|_{[-\tau,0]}+L_{2}$$

for any $$x\in C([-\tau,0],X)$$.

### Theorem 4.4

Assume that hypotheses (H1)-(H3) are satisfied. Then problem (1.1) has one mild solution, provided that

$$L_{0}=L \biggl( \bigl\| A^{-\beta} \bigr\| +\frac{b^{q\beta}C_{1-\beta}\Gamma(1+\beta )}{\beta\Gamma(1+q\beta)} \biggr)< 1, \quad \bigl\| A^{-\beta} \bigr\| L_{1}< 1.$$
(4.1)

### Proof

Transform problem (1.1) into a fixed point problem. Consider the multivalued operator $$\Phi:C([-\tau ,b],X)\rightarrow { \mathcal {P}}(C([-\tau,b],X))$$ where Î¦x is defined as the set of $$\rho\in C([-\tau,b],X)$$ such that

$$\rho(t)= \textstyle\begin{cases} \phi(t), & t\in[-\tau,0],\\ \frak{S}_{q}(t)[\phi(0)-g(0,\phi)]+g(t,x_{t}) +\int_{0}^{t}(t-s)^{q-1}A\frak{T}_{q}(t-s)g(s,x_{s})\,ds\\ \quad{}+\int_{0}^{t}(t-s)^{q-1}\frak{T}_{q}(t-s)f(s)\,ds, & t\in[0,b], \end{cases}$$

where $$f\in N_{F,x}=\{f\in L^{1}([0,b], X):f(t)\in F(t,x_{t}) \mbox{ for a.e. } t\in[0,b]\}$$. We know that the fixed point of Î¦ is the mild solution of problem (1.1). Consider the operators $${\mathcal {A}}: C([-\tau,b],X)\rightarrow C([-\tau,b],X)$$ and $${\mathcal {B}}:C([-\tau,b],X) \rightarrow { \mathcal {P}}(C([-\tau,b],X))$$ defined by

$$({\mathcal {A}}x) (t)= \textstyle\begin{cases} \phi(t), & t\in[-\tau,0],\\ \frak{S}_{q}(t)[\phi(0)-g(0,\phi)]+g(t,x_{t})\\ \quad{}+\int_{0}^{t}(t-s)^{q-1}A\frak {T}_{q}(t-s)g(s,x_{s})\,ds, & t\in[0,b], \end{cases}$$

and

$${\mathcal {B}}x= \left \{\rho\in C \bigl([-\tau,b],X \bigr): \rho(t)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0, & t\in[-\tau,0],\\ \int_{0}^{t}(t-s)^{q-1}\frak{T}_{q}(t-s)f(s)\,ds,& f\in N_{F,x}, t\in[0,b] \end{array}\displaystyle \right . \right \}.$$

It is clear that $$\Phi={\mathcal {A}}+{\mathcal {B}}$$. Mild solutions of problem (1.1) are converted to the fixed points of $$x\in{\mathcal {A}}x+{\mathcal {B}}x$$. We shall show that the operators $${\mathcal {A}}$$ and $${\mathcal {B}}$$ satisfy the conditions of TheoremÂ 2.7 by the following steps.

Step 1. $${\mathcal {A}}$$ is a contraction.

Let $$x, y\in C([-\tau,b],X)$$. Then, for each $$t\in[0,b]$$, from condition (H3) we have that

\begin{aligned} \bigl|({\mathcal {A}}x) (t)-({\mathcal {A}}y) (t)\bigr| =& \biggl|g(t,x_{t})+ \int _{0}^{t}(t-s)^{q-1}A \frak{T}_{q}(t-s)g(s,x_{s})\,ds \\ &{}-g(t,y_{t})- \int_{0}^{t}(t-s)^{q-1}A \frak{T}_{q}(t-s)g(s,y_{s})\,ds \biggr| \\ \leq&\bigl|g(t,x_{t})-g(t,y_{t})\bigr|+ \biggl| \int_{0}^{t}(t-s)^{q-1}A\frak {T}_{q}(t-s) \bigl(g(s,x_{s})-g(t,y_{s}) \bigr) \,ds \biggr| \\ \leq& L \bigl\| A^{-\beta}\bigr\| \|x_{t}-y_{t} \|_{[-\tau,0]}\\ &{}+L \int_{0}^{t}(t-s)^{q-1}\bigl\| A^{1-\beta} \frak {T}_{q}(t-s)\bigr\| \|x_{s}-y_{s} \|_{[-\tau,0]}\,ds \\ \leq& L \biggl(\bigl\| A^{-\beta}\bigr\| +\frac{qC_{1-\beta}\Gamma(1+\beta)}{\Gamma (1+q\beta)} \int_{0}^{t}(t-s)^{q\beta-1}\,ds \biggr) \sup _{0\leq s\leq t}\|x_{s}-y_{s}\|_{[-\tau,0]} \\ \leq& L \biggl(\bigl\| A^{-\beta}\bigr\| +\frac{b^{q\beta}C_{1-\beta}\Gamma(1+\beta )}{\beta\Gamma(1+q\beta)} \biggr) \|x-y \|_{[-\tau,b]} \\ =&L_{0}\|x-y\|_{[-\tau,b]}. \end{aligned}

Therefore,

$$\|{\mathcal {A}}x-{\mathcal {A}}y\|_{[-\tau,b]}\leq L_{0}\|x-y \|_{[-\tau,b]},$$

so that $${\mathcal {A}}$$ is a contraction since $$L_{0}<1$$.

Step 2. $${\mathcal {B}}x$$ is convex for each $$x\in C([-\tau,b],X)$$.

Indeed, if $$\rho_{1}$$ and $$\rho_{2}$$ belong to $${\mathcal {B}}x$$, then there exist $$f_{1}, f_{2}\in N_{F,x}$$ such that for each $$t\in [0,b]$$, we have

\begin{aligned} \rho_{i}(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f_{i}(s)\,ds, \quad i=1, 2. \end{aligned}

Let $$0\leq\lambda\leq1$$. Then for each $$t\in[0,b]$$, we have

\begin{aligned} \bigl(\lambda\rho_{1}+(1-\lambda)\rho_{2} \bigr) (t) = \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s) \bigl(\lambda f_{1}(s)+(1-\lambda) f_{2}(s) \bigr)\,ds. \end{aligned}

Since $$N_{F,x}$$ is convex, we have $$\lambda\rho_{1}+(1-\lambda)\rho_{2}\in {\mathcal {B}}x$$.

Step 3. $${\mathcal {B}}$$ sends bounded sets to bounded sets in $$C([-\tau,b],X)$$.

It suffices to prove that there exists a constant $$l>0$$ such that for each $$\rho\in{\mathcal {B}}x$$, $$x\in B_{k_{0}}=\{x\in C([-\tau,b],X),\|x\|_{[-\tau,b]}\leq k_{0}\}$$, we have $$\|\rho\|_{[-\tau,b]}\leq l$$.

Let $$\rho\in{\mathcal {B}}x$$. Then there exists $$f\in N_{F,x}$$ such that for $$t\in[0,b]$$, we have

\begin{aligned} \rho(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds. \end{aligned}

Then, for $$t\in[0,b]$$, we have

$$\bigl|\rho(t)\bigr|= \biggl| \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds \biggr| \leq\frac{q M}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}\bigl|f(s)\bigr|\,ds.$$
(4.2)

From (H2), for $$t\in[0,b]$$, we have

\begin{aligned} \int_{0}^{t}(t-s)^{q-1}\bigl|f(s)\bigr|\,ds \leq& \biggl( \int_{0}^{t}(t-s)^{\frac{q-1}{1-q_{1}}}\,ds \biggr)^{1-q_{1}}\|m\|_{L^{\frac {1}{q_{1}}}[0,t]}+\overline{r}k_{0} \int_{0}^{t}(t-s)^{q-1}\,ds \\ \leq& \frac{M_{1}}{(1+a)^{1-q_{1}}}b^{(1+a)(1-q_{1})}+\frac{\overline {r}k_{0}b^{q}}{q}, \end{aligned}
(4.3)

where $$a=\frac{q-1}{1-q_{1}}\in(-1,0)$$, $$M_{1}=\|m\|_{L^{\frac {1}{q_{1}}}[0,b]}$$, and $$\overline{r}=\sup\{r(t),t\in[0,b]\}$$.

Then from (4.2) and (4.3) we get that

\begin{aligned} \|\rho\|_{[-\tau,b]} \leq& \|\rho\|_{[-\tau,0]}+\|\rho\|_{[0,b]} \\ \leq&0+\frac{q M}{\Gamma(1+q)} \biggl[\frac {M_{1}}{(1+a)^{1-q_{1}}}b^{(1+a)(1-q_{1})}+ \frac{\overline{r}k_{0}b^{q}}{q} \biggr] \\ :=& l. \end{aligned}

Step 4. $${\mathcal {B}}$$ maps bounded sets to equicontinuous sets of $$C([-\tau,b],X)$$.

Let $$t_{1}, t_{2}\in[0,b]$$, $$t_{1}< t_{2}$$, and let $$B_{k_{0}}=\{x\in C([-\tau ,b],X),\|x\|_{[-\tau,b]}\leq k_{0}\}$$ be a bounded set of $$C([-\tau,b],X)$$. For each $$x\in B_{k_{0}}$$ and $$\rho\in {\mathcal {B}}x$$, there exists $$f\in N_{F,x}$$ such that

\begin{aligned} \rho(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds. \end{aligned}

Then,

\begin{aligned} \bigl|\rho(t_{2})-\rho(t_{1})\bigr| =& \biggl| \int_{0}^{t_{2}}(t_{2}-s)^{q-1} \frak{T}_{q}(t_{2}-s)f(s)\,ds - \int_{0}^{t_{1}}(t_{1}-s)^{q-1} \frak{T}_{q}(t_{1}-s)f(s)\,ds \biggr| \\ \leq& \biggl| \int_{t_{1}}^{t_{2}}(t_{2}-s)^{q-1} \frak{T}_{q}(t_{2}-s)f(s)\,ds \biggr| \\ &{}+ \biggl| \int_{0}^{t_{1}} \bigl[(t_{2}-s)^{q-1}-(t_{1}-s)^{q-1} \bigr]\frak {T}_{q}(t_{2}-s)f(s)\,ds \biggr| \\ &{}+ \biggl| \int_{0}^{t_{1}}(t_{1}-s)^{q-1} \bigl[\frak{T}_{q}(t_{2}-s)-\frak {T}_{q}(t_{1}-s) \bigr]f(s)\,ds \biggr| \\ =& I_{1}+I_{2}+I_{3}, \end{aligned}

where

\begin{aligned}& I_{1}= \biggl| \int_{t_{1}}^{t_{2}}(t_{2}-s)^{q-1} \frak {T}_{q}(t_{2}-s)f(s)\,ds \biggr|, \\& I_{2}= \biggl| \int_{0}^{t_{1}} \bigl[(t_{2}-s)^{q-1}-(t_{1}-s)^{q-1} \bigr]\frak {T}_{q}(t_{2}-s)f(s)\,ds \biggr|, \\& I_{3} = \biggl| \int_{0}^{t_{1}}(t_{1}-s)^{q-1} \bigl[\frak{T}_{q}(t_{2}-s)-\frak {T}_{q}(t_{1}-s) \bigr]f(s)\,ds \biggr|. \end{aligned}

By using a similar argument as that used in (4.3), we can conclude that

\begin{aligned}& I_{1}\leq \frac{q M}{\Gamma (1+q)} \biggl(\frac{M_{1}}{(1+a)^{1-q_{1}}}(t_{2}-t_{1})^{(1+a)(1-q_{1})}+ \frac {\overline{r}k_{0}(t_{2}-t_{1})^{q}}{q} \biggr), \\& \begin{aligned}[b] I_{2}\leq{}& \frac{q M}{\Gamma(1+q)} \biggl[ \biggl( \int _{0}^{t_{1}} \bigl((t_{1}-s)^{q-1}-(t_{2}-s)^{q-1} \bigr)^{\frac{1}{1-q_{1}}}\,ds \biggr)^{1-q_{1}}\|m\|_{L^{\frac{1}{q_{1}}}[0,t_{1}]} \\ &{}+\overline{r}k_{0} \int_{0}^{t_{1}}(t_{1}-s)^{q-1}-(t_{2}-s)^{q-1} \,ds \biggr] \\ \leq{}&\frac{qM}{\Gamma (1+q)} \biggl[ M_{1} \biggl( \int _{0}^{t_{1}} \bigl((t_{1}-s)^{a}-(t_{2}-s)^{a} \bigr)\,ds \biggr)^{1-q_{1}} \\ &{} +\overline{r}k_{0} \biggl(\frac{(t_{2}-t_{1})^{q}}{q}-\frac{t_{2}^{q}}{q}+ \frac {t_{1}^{q}}{q} \biggr) \biggr] \\ ={}&\frac{qM}{\Gamma (1+q)} \biggl(\frac {M_{1}}{(1+a)^{1-q_{1}}} \bigl(t_{1}^{1+a}-t_{2}^{1+a}+(t_{2}-t_{1})^{1+a} \bigr)^{1-q_{1}} +\frac{\overline{r}k_{0}}{q} \bigl((t_{2}-t_{1})^{q}-t_{2}^{q}+t_{1}^{q} \bigr) \biggr) \\ \leq{}&\frac{MM_{0}}{\Gamma(1+q)} \biggl( \frac{M_{1}}{(1+a)^{1-q_{1}}}(t_{2}-t_{1})^{(1+a)(1-q_{1})}+ \frac{\overline {r}k_{0}}{q}(t_{2}-t_{1})^{q} \biggr). \end{aligned} \end{aligned}

Hence, $$\lim_{t_{2}\rightarrow t_{1}}I_{1}=0$$ and $$\lim_{t_{2}\rightarrow t_{1}}I_{2}=0$$ independently of $$x\in B_{k_{0}}$$.

On the other hand,

\begin{aligned} I_{3} \leq \int_{0}^{t_{1}}(t_{1}-s)^{q-1}\bigl\| \frak{T}_{q}(t_{2}-s)-\frak{T}_{q}(t_{1}-s) \bigr\| \bigl|f(s)\bigr|\,ds. \end{aligned}

Hypothesis (H1) and LemmaÂ 4.3 imply that $$\frak{T}_{q} (t)$$ is continuous for $$t>0$$. Then we get that $$I_{3}$$ tends to 0 independently of $$x\in B_{k_{0}}$$ as $$t_{2}\rightarrow t_{1}$$.

Consequently, $$|\rho(t_{2})-\rho(t_{1})|\rightarrow0$$ independently of $$x\in B_{k_{0}}$$ as $$t_{2}\rightarrow t_{1}$$, which means that $${\mathcal {B}} (B_{k_{0}})$$ is equicontinuous.

Step 5. For each $$t\in[0,b]$$, $$V(t)=\{({\mathcal {B}}x)(t), x\in B_{k_{0}}\}$$ is relatively compact in X.

Obviously, $$V(0)=\{0\}$$ is relatively compact in X. Let $$0< t\leq b$$ be fixed. For $$x\in B_{k_{0}}$$ and $$\rho\in{\mathcal {B}} x$$, there exists $$f\in N_{F,x}$$ such that

\begin{aligned} \rho(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds. \end{aligned}

For arbitrary $$\epsilon\in(0,t)$$ and $$\delta>0$$, define the operator $$\Pi_{\epsilon,\delta}$$ on $$B_{k_{0}}$$ by

\begin{aligned} (\Pi_{\epsilon,\delta}x) (t) =& q \int_{0}^{t-\epsilon} \int_{\delta }^{\infty}\theta(t-s)^{q-1} \xi_{q}(\theta)T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \\ =&q \int_{0}^{t-\epsilon} \int_{\delta}^{\infty}\theta(t-s)^{q-1}\xi _{q}(\theta)T \bigl(\epsilon^{q}\delta \bigr)T \bigl((t-s)^{q}\theta-\epsilon^{q}\delta \bigr) f(s)\,d \theta \,ds \\ =&T \bigl(\epsilon^{q}\delta \bigr)q \int_{0}^{t-\epsilon} \int_{\delta}^{\infty }\theta(t-s)^{q-1} \xi_{q}(\theta)T \bigl((t-s)^{q}\theta-\epsilon^{q} \delta \bigr)f(s)\,d\theta \,ds. \end{aligned}

According to the compactness of $$T(t)$$, $$t>0$$, we get that the set $$V_{\epsilon,\delta}(t)=\{(\Pi_{\epsilon,\delta}x)(t),x\in B_{k_{0}} \}$$ is relatively compact in X for all $$\epsilon\in(0,t)$$ and $$\delta>0$$. Moreover, for every $$x\in B_{k_{0}}$$, we have

\begin{aligned} &\bigl|({\mathcal {B}} x) (t)-(\Pi_{\epsilon,\delta}x) (t)\bigr| \\ &\quad= \biggl| q \int_{0}^{t} \int_{0}^{\delta}\theta(t-s)^{q-1} \xi_{q}(\theta )T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \\ &\qquad{}+q \int_{0}^{t} \int_{\delta}^{\infty}\theta(t-s)^{q-1} \xi_{q}(\theta )T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \\ &\qquad{}-q \int_{0}^{t-\epsilon} \int_{\delta}^{\infty}\theta(t-s)^{q-1}\xi _{q}(\theta)T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \biggr| \\ &\quad\leq q \biggl| \int_{0}^{t} \int_{0}^{\delta}\theta(t-s)^{q-1} \xi_{q}(\theta )T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \biggr| \\ &\qquad{}+q \biggl| \int_{t-\epsilon}^{t} \int_{\delta}^{\infty}\theta (t-s)^{q-1} \xi_{q}(\theta)T \bigl((t-s)^{q}\theta \bigr) f(s)\,d\theta \,ds \biggr| \\ &\quad\leq qM \int_{0}^{t}(t-s)^{q-1}\bigl|f(s)\bigr|\,ds \int_{0}^{\delta}\theta \xi_{q}(\theta)\,d \theta\\ &\qquad{}+qM \int_{t-\epsilon}^{t}(t-s)^{q-1}\bigl|f(s)\bigr|\,ds \int_{0}^{\infty}\theta \xi_{q}(\theta)\,d \theta. \end{aligned}

In view of (4.3), we have

\begin{aligned} &\bigl|({\mathcal {B}} x) (t)-(\Pi_{\epsilon,\delta}x) (t)\bigr| \\ &\quad\leq qM \int_{0}^{\delta}\theta \xi_{q}(\theta)\,d \theta \biggl(\frac {M_{1}}{(1+a)^{1-q_{1}}}b^{(1+a)(1-q_{1})}+\frac{\overline{r}k_{0}b^{q}}{q} \biggr) \\ &\qquad{}+\frac{qM}{\Gamma(1+q)} \biggl[ \biggl( \int_{t-\epsilon}^{t} (t-s)^{\frac{q-1}{1-q_{1}}}\,ds \biggr)^{1-q_{1}}\|m\|_{L^{\frac {1}{q_{1}}}[t-\epsilon,t]}+\overline{r}k_{0} \int_{t-\epsilon}^{t} (t-s)^{q-1}\,ds \biggr] \\ &\quad\leq qM \int_{0}^{\delta}\theta \xi_{q}(\theta)\,d \theta \biggl(\frac {M_{1}}{(1+a)^{1-q_{1}}}b^{(1+a)(1-q_{1})}+\frac{\overline{r}k_{0}b^{q}}{q} \biggr) \\ &\qquad{}+\frac{qM}{\Gamma(1+q)} \biggl(\frac{M_{1}}{(1+a)^{1-q_{1}}}\epsilon ^{(1+a)(1-q_{1})}+ \frac{\overline{r}k_{0}\epsilon^{q}}{q} \biggr). \end{aligned}

From $$\lim_{\delta\rightarrow0}\int_{0}^{\delta}\theta\xi_{q}(\theta )\,d\theta=0$$ we conclude that there exist relatively compact sets arbitrarily approximating the sets $$V(t)$$, $$t>0$$. Hence, the sets $$V(t)$$ are relatively compact in X for all $$t>0$$.

Step 6. $${\mathcal {B}}$$ has a closed graph.

Let $$x^{n}\rightarrow x^{\ast}$$, $$\rho_{n}\in{\mathcal {B}}x^{n}$$, and $$\rho_{n}\rightarrow\rho_{\ast}$$ as $$n\rightarrow\infty$$. We shall prove that $$\rho_{\ast}\in {\mathcal {B}} x^{\ast}$$. Since $$\rho_{n}\in{\mathcal {B}} x^{n}$$, there exists $$f_{n}\in N_{F,x^{n}}$$ such that

$$\rho_{n}(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f_{n}(s)\,ds,\quad t\in [0,b].$$

We need to prove that there exists $$f_{\ast}\in N_{F,x^{\ast}}$$ such that

$$\rho_{\ast}(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f_{\ast}(s)\,ds,\quad t\in[0,b].$$

Consider the continuous operator $${\mathcal {T}}: L^{1}([0,b],X)\rightarrow C([0,b],X)$$ defined by

$$( {\mathcal {T}}f) (t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds.$$

We can easily obtain that $$\mathcal{T}$$ is continuous. On the other hand,

\begin{aligned} \bigl|\rho_{n}(t)-\rho_{\ast}(t)\bigr|\leq\|\rho_{n}- \rho_{\ast}\|\rightarrow0\quad \mbox{as } n\rightarrow\infty. \end{aligned}

From TheoremÂ 2.6 it follows that $${\mathcal {T}}\circ N_{F}$$ is a closed graph operator. Moreover, we have that

$$\rho_{n}\in {\mathcal {T}}(N_{F,x^{n}}).$$

Since $$x_{n}\rightarrow x^{\ast}$$, by TheoremÂ 2.6 there exists $$f_{\ast}\in N_{F,x^{\ast}}$$ such that

$$\rho_{\ast}(t)= \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f_{\ast}(s)\,ds, \quad t\in[0,b].$$

This implies that $$\rho_{\ast}\in{\mathcal {B}} x^{\ast}$$.

Therefore, the multivalued map $${\mathcal {B}}$$ is completely continuous and u.s.c. with convex closed values.

Step 7. The set $$U=\{u\in C([-\tau,0],X)|u\in\lambda{ \mathcal {A}}u+\lambda{\mathcal {B}}u, 0<\lambda<1\}$$ is bounded.

Let $$x\in U$$, then $$x\in\lambda\Phi x$$ for some $$0<\lambda< 1$$. Thus, there exists $$f\in N_{F,x}$$ such that for $$t\in[0,b]$$,

\begin{aligned} x(t) =&\lambda \biggl(\frak{S}_{q}(t) \bigl[\phi(0)-g(0,\phi) \bigr]+g(t,x_{t}) + \int_{0}^{t}(t-s)^{q-1}A \frak{T}_{q}(t-s)g(s,x_{s})\,ds \\ &{}+ \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds \biggr). \end{aligned}

By (H2) and (H3), for each $$t\in[0,b]$$, we have

\begin{aligned} \bigl|x(t)\bigr| =&\lambda \biggl|\frak{S}_{q}(t) \bigl[\phi(0)-g(0,\phi) \bigr]+g(t,x_{t}) + \int_{0}^{t}(t-s)^{q-1}A \frak{T}_{q}(t-s)g(s,x_{s})\,ds \\ &{}+ \int_{0}^{t}(t-s)^{q-1} \frak{T}_{q}(t-s)f(s)\,ds \biggr| \\ \leq& \bigl\| \frak{S}_{q}(t)\bigr\| \bigl|\phi(0)-g(0,\phi)\bigr|+\bigl\| A^{-\beta} \bigr\| \bigl|A^{\beta}g(t,x_{t})\bigr| \\ &{}+ \int_{0}^{t}(t-s)^{q-1}\bigl\| A^{1-\beta} \frak{T}_{q}(t-s)\bigr\| \bigl|A^{\beta}g(s,x_{s})\bigr|\,ds\\ &{}+ \int_{0}^{t}(t-s)^{q-1}\bigl\| \frak{T}_{q}(t-s)\bigr\| \bigl|f(s)\bigr|\,ds \\ \leq& M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr) +\bigl\| A^{-\beta}\bigr\| \bigl(L_{1} \|x_{t}\|_{[-\tau,0]}+L_{2}\bigr) \\ &{}+ \int_{0}^{t}(t-s)^{q-1} \frac{qC_{1-\beta}\Gamma(1+\beta )}{(t-s)^{q(1-\beta)}\Gamma(1+q\beta)}\bigl(L_{1}\|x_{s}\|_{[-\tau,0]}+L_{2}\bigr) \,ds \\ &{}+\frac{qM}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}\bigl|f(s)\bigr|\,ds \\ \leq&M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr) +\bigl\| A^{-\beta}\bigr\| \bigl(L_{1} \|x_{t}\|_{[-\tau ,0]}+L_{2}\bigr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t}(t-s)^{q\beta-1}\|x_{s} \|_{[-\tau,0]}\,ds \\ &{}+\frac{qL_{2}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t}(t-s)^{q\beta-1}\,ds \\ &{}+\frac{qM}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}m(s)\,ds+ \frac{qM}{\Gamma (1+q)} \int_{0}^{t}(t-s)^{q-1}r(s) \|x_{s}\|_{[-\tau,0]}\,ds \\ \leq&M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr) +\bigl\| A^{-\beta}\bigr\| \bigl(L_{1} \|x_{t}\|_{[-\tau ,0]}+L_{2}\bigr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t}(t-s)^{q\beta-1}\|x_{s} \|_{[-\tau,0]}\,ds +\frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta )} \\ &{}+\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})}+\frac {qM\overline{r}}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}\|x_{s} \|_{[-\tau,0]}\,ds. \end{aligned}

Consider the function

$$\mu(t)=\max \bigl\{ \bigl|x(s)\bigr|:s\in[-\tau,t] \bigr\} ,\quad t\in[0,b].$$

Let $$t^{\ast}\in[-\tau,t]$$ be such that $$\mu(t)=|x(t^{\ast})|$$. If $$t^{\ast}\in[0,t]$$, then for $$t\in[0,b]$$, we have

\begin{aligned} \mu(t) \leq& M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr) +\bigl\| A^{-\beta}\bigr\| \bigl(L_{1}\mu(t)+L_{2} \bigr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t^{\ast}} \bigl(t^{\ast}-s \bigr)^{q\beta-1}\mu(s)\,ds +\frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta )} \\ &{}+\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})}+\frac {qM\overline{r}}{\Gamma(1+q)} \int_{0}^{t^{\ast}} \bigl(t^{\ast}-s \bigr)^{q-1}\mu(s)\,ds. \end{aligned}

Since $$\mu(t)$$ is nondecreasing, for $$t^{\ast}\in[0,t]$$, we have

\begin{aligned} \int_{0}^{t^{\ast}} \bigl(t^{\ast}-s \bigr)^{q-1}\mu(s)\,ds&= \int_{0}^{t^{\ast}}s^{q-1}\mu \bigl(t^{\ast}-s \bigr)\,ds\\ &\leq \int_{0}^{t}s^{q-1}\mu(t-s)\,ds= \int_{0}^{t}(t-s)^{q-1}\mu(s)\,ds. \end{aligned}

Therefore,

\begin{aligned} \mu(t) \leq& M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr) +\bigl\| A^{-\beta}\bigr\| \bigl(L_{1}\mu(t)+L_{2} \bigr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t}(t-s)^{q\beta-1}\mu(s)\,ds + \frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta )} \\ &{}+\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})}+\frac {qM\overline{r}}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}\mu(s)\,ds. \end{aligned}

If $$t^{\ast}\in[-\tau,0]$$, then $$\mu(t)=\|\phi\|_{[-\tau,0]}$$.

Therefore,

\begin{aligned} \mu(t) \leq&\|\phi\|_{[-\tau,0]}+ M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr)+ \bigl\| A^{-\beta }\bigr\| \bigl(L_{1}\mu(t)+L_{2} \bigr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{\Gamma(1+q\beta)} \int _{0}^{t}(t-s)^{q\beta-1}\mu(s)\,ds + \frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta)} \\ &{}+\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})}+\frac {qM\overline{r}}{\Gamma(1+q)} \int_{0}^{t}(t-s)^{q-1}\mu(s)\,ds. \end{aligned}

From $$\|A^{-\beta}\|L_{1}<1$$ we get that

\begin{aligned} \mu(t) \leq&\frac{1}{1-\|A^{-\beta}\|L_{1}} \biggl(\|\phi\|_{[-\tau,0]}+ M \bigl(\bigl| \phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr)+L_{2}\bigl\| A^{-\beta}\bigr\| \\ &{}+\frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta)} +\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})} \biggr) \\ &{}+\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{(1-\|A^{-\beta}\|L_{1})\Gamma (1+q\beta)} \int_{0}^{t}(t-s)^{q\beta-1}\mu(s)\,ds \\ &{}+\frac{qM\overline{r}}{(1-\|A^{-\beta}\|L_{1})\Gamma(1+q)} \int _{0}^{t}(t-s)^{q-1}\mu(s)\,ds \\ =& \overline{C}+\overline{G} \int_{0}^{t}(t-s)^{q\beta-1}u(s)\,ds+\overline {K} \int_{0}^{t}(t-s)^{q-1}u(s)\,ds, \end{aligned}

where

\begin{aligned}& \begin{aligned}[b] \overline{C}={}&\frac{1}{1-\|A^{-\beta}\|L_{1}} \biggl(\|\phi \|_{[-\tau ,0]}+ M \bigl(\bigl|\phi(0)\bigr|+\bigl|g(0,\phi)\bigr| \bigr)+L_{2} \bigl\| A^{-\beta}\bigr\| \\ &{}+\frac{L_{2}C_{1-\beta}b^{q\beta}\Gamma(1+\beta)}{\beta\Gamma(1+q\beta)} +\frac{qMM_{1}}{(1+a)^{1-q_{1}}\Gamma(1+q)}b^{(1+a)(1-q_{1})} \biggr), \end{aligned} \\& \overline{G}=\frac{qL_{1}C_{1-\beta}\Gamma(1+\beta)}{(1-\|A^{-\beta}\| L_{1})\Gamma(1+q\beta)}, \qquad \overline{K}=\frac{qM\overline{r}}{(1-\|A^{-\beta}\|L_{1})\Gamma(1+q)}. \end{aligned}

Then by TheoremÂ 3.2 we have

\begin{aligned} \mu(t) \leq& \overline{C}+ \int_{0}^{t}\sum_{n=1}^{\infty} \sum_{k=0}^{n}C_{n}^{k} \frac{(\overline{G}\Gamma(q\beta))^{k}(\overline{K}\Gamma (q))^{n-k}}{\Gamma(kq\beta+(n-k)q)} (t-s)^{kq\beta+(n-k)q-1}\overline{C}\,ds \\ \leq& \overline{C}+\overline{C}\sum_{n=1}^{\infty} \sum_{k=0}^{n} C_{n}^{k} \frac{(\overline{G}\Gamma(q\beta))^{k}(\overline{K}\Gamma (q))^{n-k}b^{kq\beta+(n-k)q}}{(kq\beta+(n-k)q)\Gamma(kq\beta+(n-k)q)}. \end{aligned}

Therefore, we obtain that

$$\|x\|_{[-\tau,b]}=\mu(b)\leq\overline{C}+\overline{C}\sum _{n=1}^{\infty }\sum_{k=0}^{n}C_{n}^{k} \frac{(\overline{G}\Gamma(q\beta))^{k}(\overline{K}\Gamma (q))^{n-k}b^{kq\beta+(n-k)q}}{ (kq\beta+(n-k)q)\Gamma(kq\beta+(n-k)q)}.$$

This shows that U is bounded.

As a result of TheoremÂ 2.7, we obtain that Î¦ has a fixed point, which is the mild solution of system (1.1). This completes the proof.â€ƒâ–¡

## 5 An example

As an application, we consider the following fractional differential inclusions:

$$\textstyle\begin{cases} \frac{\partial^{q}}{\partial t^{q}} [u(t,z)-\int_{0}^{\pi}U(z,y)u_{t}(\varsigma,y)\,dy]\\ \quad\in\frac{\partial^{2}}{\partial z^{2}} u(t,z)+G(t,u_{t}(\varsigma,z)), & z\in[0,\pi], t\in[0,b], \\ u(t,0)=u(t,\pi)=0, & t\in[0,b],\\ u(\varsigma,z)=\phi(\varsigma,z), & z\in[0,\pi], \varsigma\in[-\tau ,0], \end{cases}$$
(5.1)

where $$0< q<1$$, $$b>0$$, the function $$U(z,y)$$, $$z,y\in[0,\pi]$$ satisfies some conditions, $$G: [0,b]\times C([-\tau,0],{\mathbf {R}})\rightarrow {\mathcal {P}}(C([-\tau,0],{\mathbf {R}}))$$ satisfies assumptions (H2), and $$u_{t}(\varsigma, z)=u(t+\varsigma,z)$$, $$t\in[0,b]$$, $$\varsigma \in [-\tau,0]$$.

Consider $$X=L^{2}([0,\pi];\mathbf{R})$$ and the operator $$A: X\rightarrow X$$ defined by $$A w=-w''$$ with the domain

$$D(A)= \bigl\{ w\in X, w,w' \mbox{ are absolutely continuous}, w''\in X, w(0)=w(1)=0 \bigr\} .$$

Then âˆ’A generates a strongly continuous semigroup $$\{T(t)\}_{t\geq 0}$$, which is compact, analytic, and self-adjoint. Furthermore, âˆ’A has a discrete spectrum: the eigenvalues are $$-n^{2}$$, $$n\in{\mathbf {N}}$$, with the corresponding normalized eigenvectors $$v_{n}(z)=(\frac{2}{\pi})^{\frac{1}{2}}\sin(nz)$$. We have the next three properties.

1. (i)

For each $$w\in X$$, $$T(t)w=\sum_{n=1}^{\infty}e^{-n^{2} t}\langle w,v_{n}\rangle v_{n}$$. In particular, $$T(\cdot)$$ is uniformly stable, and $$\|T(t)\|\leq e^{t}$$.

2. (ii)

For each $$w\in X$$, $$A^{-\frac{1}{2}}w=\sum_{n=1}^{\infty}\frac {1}{n}\langle w,v_{n}\rangle v_{n}$$, and $$\|A^{-\frac{1}{2}}\|=1$$.

3. (iii)

The operator $$A^{\frac{1}{2}}$$ is given by

$$A^{\frac{1}{2}}w=\sum_{n=1}^{\infty}n\langle w,v_{n}\rangle v_{n}$$

on the space $$D(A^{\frac{1}{2}})=\{w(\cdot)\in X, \sum_{n=1}^{\infty }n\langle w,v_{n}\rangle v_{n}\in X\}$$.

Then the operator A satisfies (2.1), (2.2), and (H1).

Hence, system (5.1) can be reformulated as

$$\textstyle\begin{cases} D^{q}(x(t)-g(t,x_{t}) )\in-Ax(t)+F(t,x_{t}), & t\in [0,b],\\ x(t)=\phi(t), & t\in [-\tau,0], \end{cases}$$

where $$x(t)(z)=u(t,z)$$, $$F(t,x_{t})(z)=G(t,u_{t}(\theta,z))$$, $$g(t,x_{t})(z)=\int_{0}^{\pi}U(z,y)u_{t}(\theta,y)\,dy$$, and $$\phi(t)z=\phi(t,z)$$.

The following conditions are also assumed to be true.

1. (i)

The function $$U(z,y)$$, $$z,y\in[0,\pi]$$ is measurable, and

$$\int_{0}^{\pi}\int_{0}^{\pi}U^{2}(z,y)\,dy\,dz< \infty.$$
2. (ii)

The function $$\frac{\partial^{2}}{\partial z^{2}}U(z,y)$$ is measurable, $$U(0,y)=U(\pi,y)=0$$, and

$$\biggl( \int_{0}^{\pi}\int_{0}^{\pi}\biggl(\frac{\partial^{2}}{\partial z^{2}}U(z,y) \biggr)^{2} \biggr)^{\frac{1}{2}}< \infty.$$

From [14] we have that condition (H3) of TheoremÂ 4.4 holds with $$\beta =\frac{1}{2}$$.

Take $$q=\frac{1}{2}$$ and assume that F satisfies (H2). According to TheoremÂ 4.4, problem (5.1) admits a mild solution, provided that (4.1) holds.

## References

1. Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)

2. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)

3. Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999)

4. Delbosco, D, Rodino, L: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 204, 609-625 (1996)

5. Aizicovici, S, Mckibben, M: Existence results for a class of abstract nonlocal Cauchy problems. Nonlinear Anal. 39, 649-668 (2000)

6. Diethelm, K, Ford, NJ: Analysis of fractional differential equations. J. Math. Anal. Appl. 265, 229-248 (2002)

7. Eidelman, SD, Kochubei, AN: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199, 211-255 (2004)

8. Daftardar-Gejji, V, Jafari, H: Analysis of a system of nonautonomous fractional differential equations involving Caputo derivatives. J. Math. Anal. Appl. 328, 1026-1033 (2007)

9. Chang, YK, Nieto, JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 49, 605-609 (2009)

10. Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973-1033 (2010)

11. Zhou, Y, Jiao, F, Li, J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 71, 3249-3256 (2009)

12. Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)

13. Dos Santos, JPC, Arjunan, MM, Cuevas, C: Existence results for fractional neutral integro-differential equations with state-dependent delay. Comput. Math. Appl. 62, 1275-1283 (2011)

14. Zhou, Y, Feng, J: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063-1077 (2010)

15. Wang, J, Zhou, Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal. 12, 3642-3653 (2011)

16. Yan, Z: Controllability of fractional-order partial neutral functional integrodifferential inclusions with infinite delay. J.Â Franklin Inst. 348, 2156-2178 (2011)

17. Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)

18. Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)

19. Kisielewicz, M: Differential Inclusions and Optimal Control. Kluwer Academic, Dordrecht (1991)

20. Lasota, A, Opial, Z: An application of the Kakutani-Ky-Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., SÃ©r. Sci. Math. Astron. Phys. 13, 781-786 (1965)

21. Dhage, BC: Multi-valued mappings and fixed points I. Nonlinear Funct. Anal. Appl. 10, 359-378 (2005)

22. Dhage, BC: Multi-valued mappings and fixed points II. Tamkang J. Math. 37, 27-46 (2006)

23. Wang, F, Zhao, Y: A two-sided inequality of gamma function. J. Math. Res. Expo. 27, 667-670 (2007)

24. Ye, H, Gao, J, Ding, Y: A generalized Gronwall inequality and its application to a fractional differential equation. J.Â Math. Anal. Appl. 328, 1075-1081 (2007)

25. Mainardi, F, Paradisi, P, Gorenflo, R: Probability distributions generated by fractional diffusion equations. In: Kertesz, J, Kondor, I (eds.) Econophysics: An Emerging Science. Kluwer Academic, Dordrecht (2000)

## Acknowledgements

This work was supported by Natural Science Foundation of Anhui Province (1508085MA10) and Open Project of Laboratory of Intelligent Information Processing of Suzhou University (2014YKF38).

## Author information

Authors

### Corresponding author

Correspondence to Zufeng Zhang.

### Competing interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Zhang, Z., Wei, Z. A generalized Gronwall inequality and its application to fractional neutral evolution inclusions. J Inequal Appl 2016, 45 (2016). https://doi.org/10.1186/s13660-016-0991-6