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.
Similar content being viewed by others
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
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
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
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
(ii) For any \(\alpha\in(0,1]\), there exists a positive constant \(C_{\alpha}\) such that
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
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
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:
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
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)\)
-
(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); $$ -
(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
is nonempty. Also, let \(\mathcal{T}\) be a linear continuous mapping from \(L^{1}(J,X)\) to \(C(J, X)\). Then the operator
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
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
-
(a)
\(\mathcal{A}\) is a contraction, and
-
(b)
\(\mathcal{B}\) is upper semicontinuous and completely continuous.
Then, either
-
(i)
the operator inclusion \(\lambda x\in{\mathcal {A}}x+{\mathcal {B}} x\) has a solution for \(\lambda=1\), or
-
(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
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
Then, for each constant \(b\geq0\), \(t\in[0,b]\), we have
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
By iteration we have
Next, we shall prove the following two statements:
-
(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\).
-
(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\),
By interchanging the order of integration and by the equality \(C_{m}^{n}+C_{m}^{n+1}=C_{m+1}^{n+1}\) we have
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
Take arbitrary \(b>0\). Then, for \(n>N_{1}\), \(k=0,1,\ldots,n\), we have
By Lemma 3.1, for \(n>N_{1}\), we have
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\),
Therefore, for \(n>N\) and \(t\in[0,b]\), we have
Similarly, we can prove that for \(n>N\) and \(t\in[0,b]\),
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
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
where
Remark 4.2
([25])
The function \(\xi_{q}(\theta)\) is a probability density function defined on \(\mathbf{R}^{+}\), and
Lemma 4.3
([14])
The operators \(\frak{S}_{q}\) and \(\frak{T}_{q}\) have the following properties:
-
(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|. $$ -
(ii)
\(\{\frak{S}_{q}(t)\}_{t\geq0}\) and \(\{\frak{T}_{q}(t)\}_{t\geq 0}\) are strongly continuous.
-
(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\).
-
(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:
-
(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.
-
(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
-
(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
-
(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
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
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
and
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
Therefore,
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
Let \(0\leq\lambda\leq1\). Then for each \(t\in[0,b]\), we have
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
Then, for \(t\in[0,b]\), we have
From (H2), for \(t\in[0,b]\), we have
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
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
Then,
where
By using a similar argument as that used in (4.3), we can conclude that
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,
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
For arbitrary \(\epsilon\in(0,t)\) and \(\delta>0\), define the operator \(\Pi_{\epsilon,\delta}\) on \(B_{k_{0}}\) by
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
In view of (4.3), we have
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
We need to prove that there exists \(f_{\ast}\in N_{F,x^{\ast}}\) such that
Consider the continuous operator \({\mathcal {T}}: L^{1}([0,b],X)\rightarrow C([0,b],X)\) defined by
We can easily obtain that \(\mathcal{T}\) is continuous. On the other hand,
From Theorem 2.6 it follows that \({\mathcal {T}}\circ N_{F}\) is a closed graph operator. Moreover, we have that
Since \(x_{n}\rightarrow x^{\ast}\), by Theorem 2.6 there exists \(f_{\ast}\in N_{F,x^{\ast}}\) such that
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]\),
By (H2) and (H3), for each \(t\in[0,b]\), we have
Consider the function
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
Since \(\mu(t)\) is nondecreasing, for \(t^{\ast}\in[0,t]\), we have
Therefore,
If \(t^{\ast}\in[-\tau,0]\), then \(\mu(t)=\|\phi\|_{[-\tau,0]}\).
Therefore,
From \(\|A^{-\beta}\|L_{1}<1\) we get that
where
Then by Theorem 3.2 we have
Therefore, we obtain that
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:
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
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.
-
(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}\).
-
(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\).
-
(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
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.
-
(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. $$ -
(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
Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999)
Delbosco, D, Rodino, L: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 204, 609-625 (1996)
Aizicovici, S, Mckibben, M: Existence results for a class of abstract nonlocal Cauchy problems. Nonlinear Anal. 39, 649-668 (2000)
Diethelm, K, Ford, NJ: Analysis of fractional differential equations. J. Math. Anal. Appl. 265, 229-248 (2002)
Eidelman, SD, Kochubei, AN: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199, 211-255 (2004)
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)
Chang, YK, Nieto, JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 49, 605-609 (2009)
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)
Zhou, Y, Jiao, F, Li, J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal. 71, 3249-3256 (2009)
Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010)
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)
Zhou, Y, Feng, J: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063-1077 (2010)
Wang, J, Zhou, Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal. 12, 3642-3653 (2011)
Yan, Z: Controllability of fractional-order partial neutral functional integrodifferential inclusions with infinite delay. J. Franklin Inst. 348, 2156-2178 (2011)
Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Kisielewicz, M: Differential Inclusions and Optimal Control. Kluwer Academic, Dordrecht (1991)
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)
Dhage, BC: Multi-valued mappings and fixed points I. Nonlinear Funct. Anal. Appl. 10, 359-378 (2005)
Dhage, BC: Multi-valued mappings and fixed points II. Tamkang J. Math. 37, 27-46 (2006)
Wang, F, Zhao, Y: A two-sided inequality of gamma function. J. Math. Res. Expo. 27, 667-670 (2007)
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)
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 and Affiliations
Corresponding author
Additional information
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
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.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-0991-6