Abstract
In this paper, we are concerned with the following fractional functional differential equations with nonlocal initial conditions in Banach space
By virtue of the theory of measure of noncompactness associated with Darbo’s fixed point theorem, upon making some suitable assumptions, some existence results of mild solutions are obtained. Moreover the results obtained are utilized to study the existence of solutions to fractional parabolic equations as an illustrative example to show the practical usefulness of the analytical results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
In this paper, we are concerned with the nonlocal initial value problem
where A is the infinitesimal generator of a strongly continuous semigroup of bounded linear operators T(t) in a separable Banach space X,
are given X-valued functions. The fractional derivative is understood in the Riemann–Liouville sense. The aim of this paper is to study the existence of mild solutions for the fractional functional differential Eq. (1.1) in a separable Banach space. The technique used here is the measure of noncompactness associated with Darbo’s fixed point theorem.
The fractional derivative is understood in the Riemann–Liouville sense. The origin of fractional calculus goes back to Newton and Leibnitz in the seventieth century. One observes that fractional order can be very complex in viewpoint of mathematics and they have recently proved to be valuable in various fields of science and engineering. In fact, one can find numerous applications in electrochemistry, electromagnetism, viscoelasticity, biology and hydrogeology. For example space-fractional diffusion equations have been used in groundwater hydrology to model the transport of passive tracers carried by fluid flow in a porous medium [1, 2] or to model activator–inhibitor dynamics with anomalous diffusion [3]. For details, see [4–7] and the references therein.
Differential equations of fractional order have appeared in many branches of physics and technical sciences [8, 9]. It has seen considerable development in the last decade, see [3–29] and the references therein. Recently, the existence and uniqueness problem for various fractional differential equations were considered by Ahmad [10], Bhaskarc[11], Lakshmikantham and Leela[12] et al. The nonlocal Cauchy problem was considered by Anguraj, Karthikeyan and N’Guérékata [13], and the importance of nonlocal initial conditions in different fields has been discussed in [6, 7] and the references therein.
The nonlocal problem (1.1) was motivated by physical problems. Indeed, the nonlocal initial condition \(x(0)=\phi +g(x)\) can be applied in physics with better effect than the classical initial condition \(x(0)=\phi \). For this reason, the problem (1.1) has gotten considerable attention in recent years, see [30–32] and the references therein. See also [33–35] and the references therein for recent generalizations of problem (1.1) to various kinds of differential equations.
To the best of our knowledge, the existence of mild solutions for the fractional functional differential Eq. (1.1) with nonlocal initial conditions using the theory of measure of noncompactness is a subject that has not been treated in the literature. Our purpose in this paper is to establish some results concerning the existence of mild solutions for equations that can be modeled in the form (1.1) by virtue of the theory of measure of noncompactness associated with Darbo’s fixed point theorem. Upon making some appropriate assumptions, some sufficient conditions for the existence of mild solutions for the fractional functional differential Eq. (1.1) are given. It is worthwhile mentioning that the cases of T(t) or f compact and of f Lipschitz are special cases of our conditions. Also we hope that the concept of measure of noncompactness considered here may be a stimulant for further investigations concerning solutions of fractional differential equations of other types.
The rest of this paper is organized as follows. In "Notations, definitions and auxiliary facts" section, we give some notations, definitions and auxiliary facts. "Main results" section contains the main results of this paper with two existence theorems. An example is given to illustrate our results in "Applications" section.
Notations, definitions and auxiliary facts
Let \((X,\Vert \cdot \Vert )\) be a real separable Banach space. Denote by \(C([0, T], X)\) the space of X-valued continuous functions on [0,T] and by \(L^{p}([0, T], X)\) the space of \(X\)-valued measurable functions on \([0, T]\) with
provided with norm
Let r be a given positive real number, if \(x: [-r, T]\rightarrow X\), define \(x_{t}\in C([-r,0],X)\) by
and denote
We need some basic definitions and properties of the fractional calculus theory which are used further in this paper.
Definition 2.1
[36] The fractional integral of order \(\alpha >0\) with the lower limit \(t_{0}\) for a function \(f\) is defined as
provided the right-hand side is pointwise defined on \([t_{0}, \infty )\), where \(f\) is an abstract continuous function and \(\Gamma (\alpha )\) is the Gamma function [36].
Definition 2.2
[36] Riemann–Liouville derivative of order α > 0 with the lower limit t 0 for a function \(f: [t_{0}, \infty ) \rightarrow \mathbb {R}\) can be written as
The first and maybe the most important property of Riemann–Liouville fractional derivative is that for t > t 0 and α > 0, we have
which means that Riemann–Liouville fractional differentiation operator is a left inverse to the Riemann–Liouville fractional integration operator of the same order \(\alpha \).
Let Y be a Banach space, for bounded set \(B\subset Y\), the Hausdorff’s measure of noncompactness \(\chi _{Y}\) is defined by
In this paper, we denote \(\chi \) by the Hausdorff’s measure of noncompactness of X and denote \(\chi _{p}\) by the Hausdorff’s measure of noncompactness of \(L^{p}([0, T], X)\). To discuss the problem in this paper, we need the following lemmas.
Lemma 2.1
[37] Let \(B, C\subset Y\) be bounded, the following properties are satisfied
-
(1)
\(B\) is precompact if and only if \(\chi _{Y}(B)=0\);
-
(2)
\(\chi _{Y}(B)=\chi _{Y}(\overline{B})=\chi _{Y}(\hbox {conv}B)\), where \(\overline{B}\) and \(\hbox {conv}B\) mean the closure and convex hull of B, respectively;
-
(3)
\(\chi _{Y}(B)\le \chi _{Y}(C)\) when \(B\subseteq C\);
-
(4)
\(\chi _{Y}(B+C)\le \chi _{Y}(B)+\chi _{Y}(C)\), where \(B+C=\{x+y: x\in B, y\in C\}\);
-
(5)
\(\chi _{Y}(B\cup C)\le \max \{\chi _{Y}(B), \chi _{Y}(C)\}\);
-
(6)
\(\chi _{Y}(\lambda B)=|\lambda |\chi _{Y}(B)\) for any \(\lambda \in \mathbb {R}\);
-
(7)
If the map \(Q: D(Q)\subseteq Y\rightarrow Z\) is Lipschitz continuous with constant \(k\), then
$$\begin{aligned} \chi _{Z}(QB)\le k\chi _{Y}(B), \end{aligned}$$for any bounded subset \(B\subseteq D(Q)\), where Z is a Banach space;
-
(8)
\(\chi _{Y}(B)=\inf \{d_{Y}(B,C): C\subseteq Y \ \hbox {be precompact}\}= \inf \{d_{Y}(B,C): C\subseteq Y \ \hbox {be finite valued}\}\), where \(d_{Y} (B, C)\) means Hausdorff distance between B and C in Y;
-
(9)
If \(\{W_{n}\}_{n=1}^{\infty }\) is a decreasing sequence of bounded closed nonempty subsets of Y and
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }W_{n}=0, \end{aligned}$$then \(\cap _{n=1}^{\infty }W_{n}\) is nonempty and compact in Y. The map \(Q: W\subseteq Y\rightarrow Y\) is said to be a \(\chi _{Y}\)-contraction if there exists a positive constant \(k<1\) such that
$$\begin{aligned} \chi _{Y}(Q(C))\le k\chi _{Y}(C), \end{aligned}$$for any bounded closed subset \(C\subseteq W\).
In 1955, Darbo [38] proved the fixed point property for \(\alpha \)-set contraction (i.e., \(\alpha (S(A))\le k \alpha (A)\) with \(k\in [0, 1]\)) on a closed, bounded and convex subset of Banach spaces. Since then many interesting works have appeared. For example, in 1972, Sadovskii [39] proved the fixed point property for condensing functions (i.e., \(\alpha (S(A))<\alpha (A)\) with \(\alpha (A)\ne 0\)) on closed, bounded and convex subset of Banach spaces. It should be noted that any \(\alpha \)-set contraction is a condensing function, but the converse is not true (see [40]). In 2007, Hajji and Hanebaly [41] proved the existence of a common fixed point for commuting mappings satisfying
where α is the measure of noncompactness on a closed, bounded and convex subset \(\Omega \) of a locally convex space X, T i and \(S\) are continuous functions from \(\Omega \) to \(\Omega \) with \(T_{i}\), and in addition, are affine or linear. Furthermore, for every \(i\in I\), \(T_{i}\) are equal to the identity function, moreover the obtain in particular Darbo’s (see [38]) as well as Sadovskii’s (see [39]) fixed point theorems, which are used to study the existence of solutions of one equation. Recently, Hajji [42] present common fixed point theorems for commuting operators which generalize Darbo’s and Sadovskii’s fixed point theorems, furthermore, as examples and applications, they study the existence of common solutions of equations in Banach spaces using measure of noncompactness. Our purpose in this paper is to establish some results concerning the existence of mild solutions for equations that can be modeled in the form (1.1) by virtue of the theory of measure of noncompactness associated with Darbo’s fixed point theorem.
Lemma 2.2
([37], Darbo–Sadovskii) If \(W\subseteq Y\) is bounded closed and convex, the continuous map \(Q: W\rightarrow W\) is a \(\chi _{Y}\)-contraction, then Q has at least one fixed point in W.
We call \(B\subset L([0, T], X)\) uniformly integrable if there exists \(\eta \in L([0, T], \mathbb {R}^{+})\) such that
Lemma 2.3
[43] If \(\{u_{n}\}_{n=1}^{\infty }\in L([0, T], X)\) is uniformly integrable, then \(t\rightarrow \chi \Big (\{u_{n}(t)\}_{n=1}^{\infty }\Big )\) is measurable and
Lemma 2.4
[44] Let \(B\subset C([0, T], X)\) be bounded and equicontinuous on \([0, T]\). Then
where
A \(C_{0}\) semigroup \(T(t)\) is said to be equicontinuous if
is equicontinuous for all bounded set B in X and t > 0. It is known that the analytic semigroup is equicontinuous.
The following lemma is obvious.
Lemma 2.5
If the semigroup T(t) is equicontinuous, \(\eta \in L([0, T],\mathbb {R}^{+})\), then the set
for a.e. \(s\in [0, T]\), is equicontinuous for all \(t\in [0, T]\).
Proof
Note that,
where
Estimating the terms on the right-hand side of (2.1) yields
where
with
It follows from the assumption of \(\eta (s)\) that \(I'\rightarrow 0\) as \(h\rightarrow 0\). Using H\(\ddot{\hbox {o}}\)lder inequality, one obtains \(II'\rightarrow 0\) as \(h\rightarrow 0\) and \(\varepsilon \rightarrow 0\).
For \(II\), one has
As to \(III\), one gets
where
Using the assumption that T(t) is equicontinuous in X, integrating with \(s\rightarrow \eta (s)\in L([0,T], \mathbb {R}^{+})\), one sees that \(I''\rightarrow 0\) as \(h\rightarrow 0\). From the assumption of \(\eta (s)\) and H\(\ddot{\hbox {o}}\)lder inequality, it is easy to see that \(II''\rightarrow 0\) as \(h\rightarrow 0\) and \(\varepsilon \rightarrow 0\). Therefore, the family of functions
is equicontinuous. \(\square \)
Main results
In this section, we use the measure of noncompactness of \(L^{p}([0, T],X)\) to consider the following functional differential equations of fractional order 0 < α >1 when g is continuous in the norm of \(L^{p}([0, T],X)\)
Eq. (3.1) will be considered under the following assumptions:
(H 1 )
The \(C_{0}\)-semigroup \(\{T(t)\}_{t\ge 0}\) generated by A is equicontinuous;
(H 2 )
-
(1)
\(f: [0, T]\times X\times C([-r,0],X)\rightarrow X\) satisfies the Carathéodory-type condition, i.e., \(f(\cdot , x, \varphi ): [0, T]\rightarrow X\) is measurable for all \((t, x, \varphi )\in [0, T]\times X\times C([-r,0],X)\) and \(f(t, \cdot ): X\times C([-r,0],X)\rightarrow X\) is continuous for a.e. \(t\in [0, T]\);
-
(2)
there exists \(d_{2}, e_{2}\in L^{p}([0, T], \mathbb {R}^{+})\) such that for all \((t, x, \varphi )\in [0, T]\times X\times C([-r,0],X)\)
$$\begin{aligned} \Vert f(t, x, \varphi )\Vert \le d_{2}(t)(\Vert x\Vert +\Vert \varphi \Vert _{C})+e_{2}(t); \end{aligned}$$ -
(3)
there exists \(c_{2}\in L^{q}([0, T], \mathbb {R}^{+})\) such that for a.e. \(t, s\in [0, T]\) and any bounded subset \(D_{1}\subseteq X\), \(D_{2}\subseteq C([-r, 0], X)\)
$$\begin{aligned} \chi \Big (T(t)f(s, D_{1}, D_{2})\Big )\le c_{2}(t)\Big (\chi (D_{1})+\sup \limits _{\theta \in [-r, 0]}\chi (D_{2}(\theta ))\Big ), \end{aligned}$$where
$$\begin{aligned} D_{2}(\theta )=\{v(\theta ): v\in D_{2}\} \ \ \hbox {and} \ \ \frac{1}{p}+\frac{1}{q}=1; \end{aligned}$$
(H 3 )
-
(1)
The function \(g: L^{p}([0, T], X)\rightarrow X\) is continuous;
-
(2)
there exist positive constants \(d_{1},e_{1}\) such that
$$\begin{aligned} \Vert g(x)\Vert \le d_{1}\Vert x\Vert _{p}+e_{1},\ \hbox {for any}\ x\in L^{p}([0, T], X); \end{aligned}$$ -
(3)
there exists a positive constant \(c_{1}\) such that for any \(B\subset C([0, T], X)\) which is bounded and equicontinuous on [0,T],
$$\begin{aligned} \chi \Big (T(t)g(B)\Big )\le c_{1}\chi _{p}(B),\ \hbox {for any a.e.}\ t\in [0, T]; \end{aligned}$$
(H 4 )
Definition 3.1
A continuous function \(x: [-r, T]\rightarrow X\) satisfying the integral equation
is called a mild solution for Eq.(3.1).
Now, we are prepared to state and prove our main theorems of this section.
Theorem 3.1
Let (H 1)–(H 4))be satisfied. Then Eq.(3.1) has at least one mild solution whenever
Proof
For each \(k\in \mathbb {N}\), denote by
Obviously \(B_{k}\subset L^{p}([-r, T],X)\) is uniformly integrable, closed and convex. For each \(x\in B_{k}\), the restriction of \(x\) on \([0, T]\) denoted by \(x|_{[0,T]}\) is an element of \(B_{k}(L^{p}([0, T],X))\). For simplicity, we also write \(g(x|_{[0,T]})\) as \(g(x)\).
Define \(F:L^{p}([-r, T],X)\rightarrow L^{p}([-r, T],X)\) by \(F= F_{1}+F_{2}\), where
First, we show that \(F\) is well defined.
If \(t\in [-r, 0]\), then
and if \(t\in [0, T]\), one has
Thus, one has
Thus, we conclude that \(Fx\) exists.
Second, we show that there is a \(k\in \mathbb {N}\) such that \(F(B_{k})\subseteq B_{k}\).
Suppose contrary that for each \(k\in \mathbb {N}\) there is \(x^{k}\in B_{k}\) and \(t^{k}\in [-r, T]\) such that
If \(t^{k}\in [-r, 0]\), then
and if \(t^{k}\in [0, T]\), one has
Divided by \(k\) on both sides of (3.2), one has
which contradicts the hypotheses (H 4). Therefore, there is a \(k\in \mathbb {N}\) such that \(F(B_{k})\subseteq B_{k}\).
From now on, we will restrict F on such \(B_{k}\).
Third, we will verify that F is a \(\chi _{C}\)-contraction.
To this end, from the hypothesises (H 2) (1) and (3), one can prove that F is continuous by the continuity of g and of the operator f. The hypothesis (H 1) and Lemma 2.5 imply that \(FB_{k}\subset C([0,T], X)\) is bounded and equicontinuous on [0, T], so is \(\hbox {conv}(FB_{k})\). As X is separable, from Lemma 2.1 and Lemma 2.3–2.5 for any \(B\subset \hbox {conv}(FB_{k})\), one has
for a.e. \(t\in [0, T]\), where
By Lemma 2.3, this implies that
Note that, by Lemma 2.4, the inequality (3.3) may not remain valid in the case of \(B\subset B_{k}\) as \(B_{k}\) is not equicontinuous on [0,T]. So one must look for another closed convex and bounded subset of \(L^{p}([0, T],X)\) such that \(F\) is a \(\chi _{p}\)-contraction on it.
Let
where \(L^{p}-\hbox {conv}\) means closure of convex hull in \(L^{p}([0, T],X)\). Then
and \(B_{k}\) is closed and convex in \(L^{p}([0, T],X)\). For any closed subset \(V\subset U\), let
Then
where \(L^{p}-\hbox {cl}\) means closure in \(L^{p}([0, T],X)\). Furthermore
as \(F\) is continuous on \(L^{p}([0, T],X)\). By (3.3) this implies that
Since
so \(F: U\rightarrow U\) is a continuous \(\chi _{p}\)-contraction. By Darbo–Sadovskii’s fixed point theorem, there is a fixed point x of F on \(B_{k}\), which is a mild solution of the Eq. (3.1). This completes the proof due to Lemma 2.2.
Remark 3.1
Clearly the conclusion of Theorem 3.1 remains valid if the hypotheses (H 2) (3) and (H 4) (3) are replaced by the following (H 2) (3’) and (H 4) (3’), respectively: (H 2) (3’) There exists \(c_{2}\in L^{q}([0, T], \mathbb {R}^{+})\) such that
for a.e. [0,T] and any bounded subset \(D_{1}\subseteq X\), \(D_{2}\subseteq C([-r, 0], X)\);
(H 4) (3’) There exists a positive constant \(c_{1}\) such that for any \(B\subset C([0, T], X)\) which is bounded and equicontinuous on [0,T],
Remark 3.2
The hypothesis (H 2) (3’) (H 4) (3’) holds if T(t) is compact or f (g) is the sum of compact and Lipschitz functions with constant \(c_{2}(s)=M\) (\(c_{1}=M\)).
If X is a Hilbert space, and ϕ is a proper, convex and lower semicontinuous function from X into \((-\infty , +\infty )\), then its subdifferential \(\partial \Phi \) is m-accretive. Let \(A=\partial \Phi \) then A generates an equicontinuous nonlinear contraction semigroup (cf. [45, 46]). From above we can get the following existence result.
Corollary 3.1
If X is a separable Hilbert space, the hypotheses (H 2)–(H 4) are true, and \(A=\partial \Phi \) with ϕ is proper, convex and lower semicontinuous from X into \((-\infty , +\infty )\). Then the nonlocal Eq. (3.1) has at least one integral solution provided that
Let us now formulate an existence result when g is uniformly bounded.
Theorem 3.2
Assume that (H 1), (H 3) and (H 4) are true with \(d_{1}=0\), and f satisfies (H 2) (2), (3). In addition, suppose that there exists \(\theta \in L^{p}([0, T], \mathbb {R}^{+})\), an increasing function \(\Omega :\mathbb {R}^{+}\rightarrow \mathbb {R}^{+}\) such that
for \((t, x, \varphi )\in [0, T]\times X\times C([-r,0],X)\). Then Eq.(3.1) has at least one mild solution whenever
Proof
Define
For any \(x\in W_{0}\),
for any \(t\in [0,T]\). This means that \(FW_{0}\subset W_{0}\).
Let
Then
is bounded and equicontinuous on [0, T]. Furthermore, \(W_{n+1}\subset W_{n}\), because \(W_{1}\subset W_{0}\). Hence,
for \(n=0,1, 2, \ldots\) and a.e. \(t\in [0,T]\). By Lemma 2.4, this implies that
Define
Then \(\widehat{W}_{n+1}\subset \widehat{W}_{n}\) because \(W_{n+1}\subset W_{n}\), and furthermore one has
for \(n=0,1, 2, \ldots\). Lemma 2.1 shows that
is nonempty, convex and compact in \(L^{p}([0, T], X)\) and \(F\widehat{W}\subset \widehat{W}\). Let
Then \(U\subset C([0, T], X)\) and \(FU\subset U\), since
Now we prove that \(U\subset C([0, T], X)\) is compact. First, by the hypothesis (H 1) and Lemma 2.5, \(F\widehat{W}\) is equicontinuous on [0, T], as
is continuous and \(\widehat{W}\subset L^{p}([0, T], X)\) is compact. Furthermore,
for any \(t\in [0,T]\). Hence
is precompact, and hence so is
The proof is complete by Schauder’s fixed point theorem.
Remark 3.3
Without hypothesis (H 2) the map F, defined above, may not be continuous from \(L^{p}([0, T], X)\) to itself, since the operator f may fail to be continuous under the growth condition (3.4) above. So we use the fixed point theorem on \(C([0, T], X)\) rather than on \(L^{p}([0, T], X)\), as F is obviously continuous from \(C([0, T], X)\) to itself.
Applications
In this section, we give an example to illustrate the above results.
Consider the following nonlinear fractional parabolic systems of the form
where \(\Omega \) is a bounded domain of \(\mathbb {R}^{p}\), \(p\ge 1\), with smooth boundary \(\Gamma \), \(\mu _{1}\), \(\mu _{2}\) are positive constants,
are given mappings. Here
Let
be endowed with the inner product \(<\cdot ,\cdot >\) defined by
for each \((u,v),(\bar{u},\bar{v})\in X\). Obviously X is a separable real Hilbert space. Define \(A:D(A)\subset X\rightarrow X\) given by
with the domain
Now define
by
for
where F i and g i are superposition mappings associated with F i and g i defined by
Observe that Eq.(4.1) may be rewritten as
where
while \(A, \ F\) and g are as above.
Suppose that:
-
(1)
There exists \(k_{2}(t)\in L(0, T)\) such that \(F_{1}:[0,T]\times \mathbb {R}\rightarrow \mathbb {R}\) is a Carathédory-type function and, for \(u, u', v, v'\in \mathbb {R}\),
$$\begin{aligned} |F_{1}(t, u, v)-F_{1}(t, u', v')|\le k_{2}(t)(|u-u'|_{2}+|v-v'|^{2}). \end{aligned}$$ -
(2)
There exists a constant \(k_{1}\) such that \(g_{1}:\mathbb {R}\rightarrow \mathbb {R}\) is a Carathédory-type function and, for \(u, u', v, v'\in \mathbb {R}\),
$$\begin{aligned} |g_{1}(u, v)-g_{1}(u', v')|\le k_{1}(|u-u'|_{2}+|v-v'|^{2}). \end{aligned}$$ -
(3)
For \(i=1, 2\), \(h_{i}:[0,T]\times \Omega \times \Omega \times \mathbb {R}\times \mathbb {R}\rightarrow \mathbb {R}\) satisfies Carathédory conditions. In addition:
-
(i)
$$\begin{aligned} |h_{i}(t, x, z, r, s)-h_{i}(t, x', z, r, s)|\le \omega _{i}^{k}(t, x, x', z), \end{aligned}$$
for \((t, x, z), (t, x', z)\in [0, T]\times \Omega \times \Omega \) and \(|r|, |s|\le k\), where \(\omega _{i}^{k}\in L([0, T]\times \Omega ^{3})\) are such that
$$\begin{aligned} \lim \limits _{x'\rightarrow x}\int _{\Omega }\int _{0}^{T}\omega _{i}^{k}(t, x, x', z)\hbox {d}t\hbox {d}z=0, \end{aligned}$$uniformly for \(x\in \Omega \), \(i=1, 2\), and for \(t\in [0, T]\)
$$\begin{aligned} \lim \limits _{x'\rightarrow x}\int _{\Omega }\omega _{i}^{k}(t, x, x', z)\hbox {d}z=0, \end{aligned}$$uniformly for \(x\in \Omega \);
-
(ii)
$$\begin{aligned} |h_{i}(t, x, z, r, s|\le \rho _{i}(t)(|r|^{2}+|s|^{2})^{\frac{1}{2}}+\omega _{i}(t, x, z), \end{aligned}$$
where \(\rho _{i}\in L(0, T)\) and
$$\begin{aligned} \delta _{i}=\int _{0}^{T}\int _{\Omega \times \Omega }(\omega _{i}(t, x, z))^{2}\hbox {d}x\hbox {d}z\hbox {d}t<+\infty , \ \ i=1, 2. \end{aligned}$$Adapting the arguments given in [47] it is not difficult to show that \(g\) satisfies the hypothesis (H 3) with
$$\begin{aligned} c_{1}=k_{1}, \ \ d_{1}^{2}=k_{1}^{2}+2m(\Omega )\Vert \rho _{1}\Vert _{1}^{2}, \ \ e_{1}^{2}=2m(\Omega )\delta _{1}, \end{aligned}$$and f satisfies the hypothesis (H 2) with
$$\begin{aligned} c_{2}(t)=k_{2}(t), \ \ d^{2}(t)= k_{2}^{2}(t)+2m(\Omega )\rho ^{2}_{2}(t), \ \ \Vert e_{2}\Vert _{1}^{2}=2m(\Omega )\delta _{2}, \end{aligned}$$where \(m(\Omega )\) means the Lebesgue measure of \(\Omega \) in \(\mathbb {R}^{p}\). Using Corollary 3.1, we conclude that Eq.(4.1) has at least one generalized solution
$$\begin{aligned} (u_{1}, u_{2})\in C([0, T], L^{2}(\Omega )\times L^{2}(\Omega )), \end{aligned}$$provided that
$$\begin{aligned} M\left( k_{1}^{2}+2m(\Omega )\Vert \rho _{1}\Vert _{1}^{2}\right) ^{\frac{1}{2}}T^{\frac{1}{p}}+\frac{4MT^{\alpha }}{\Gamma (\alpha )}\left( \frac{p-1}{p\alpha -1}\right) ^{\frac{p-1}{p}}\left( \int _{0}^{T}\left( k_{2}^{2}(t)+2m(\Omega )\rho ^{2}_{2}(t)\right) ^{\frac{p}{2}}\hbox {d}t\right) ^{\frac{1}{p}}<1, \end{aligned}$$and
$$\begin{aligned} T^{\frac{1}{p}}\left( k_{1}+\frac{2\Vert k_{2}\Vert _{q}T^{\alpha -\frac{1}{p}}}{\Gamma (\alpha )}\left( \frac{p-1}{p\alpha -1}\right) ^{\frac{p-1}{p}}\right) <1. \end{aligned}$$
-
(i)
References
Ahn, V., McVinisch, R.: Fractional differential equations driven by Lévy noise. J. Appl. Math. Stoch. Anal. 16, 97–119 (2003)
D. Benson, The Fractional Advection-Dispersion Equation, Ph.D. Thesis, University of Nevada, Reno, NV, 1998
Schumer, R., Benson, D.: Eulerian derivative of the fractional advection-dispersion equation. J. Contam. Hydrol. 48, 69–88 (2001)
Sayed, A.: Nonlinear functional-differential equations of arbitrary orders. Nonlinear Anal. Theory Methods Appl. 33, 181–186 (1998)
Ling, Y., Ding, S.: A class of analytic functions defined by fractional derivation. J. Math. Anal. Appl. 186, 504–513 (1994)
N’Guérékata, G.: Cauchy problem for some fractional abstract differential equation with nonlocal conditions. Nonlinear Anal. Theory Methods Appl. 70, 1873–1876 (2009)
Lahshmikantham, V., Devi, J.: Theory of fractional differential equations in Banach spaces. Eur. J. Pure Appl. Math. 1, 38–45 (2008)
Glockle, W., Nonnemacher, T.: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 68, 46–53 (1995)
Metzler, F., Schick, W., Kilian, H., Nonnemacher, T.: Relaxation in filled polymers: A fractional calculus approach. J. Chem. Phys. 103, 7180–7186 (1995)
Ahmad, B., Sivasundaram, S.: Some existence results for fractional integrodifferential equations with nonlinear conditions. Commmun. Math. Anal. 12, 107–112 (2008)
Bhaskar, T., Lakshmikantham, V., Leela, S.: Fractional differential equations with Krasnoselskii-Krein-type condition. Nonlinear Anal. Hybrid Syst. 3, 734–737 (2009)
Lakshmikantham, V., Leela, S.: Nagumo-type uniqueness result for fractional differential equations. Nonlinear Anal. Theory Methods Appl. 71, 2886–2889 (2009)
Anguraj, A., Karthikeyan, P., N’Guérékata, G.: Nonlocal Cauchy problem for some fractional abstract integro-differential equations in Banach spaces. Commmun. Math. Anal. 6, 31–35 (2009)
Cao, J., Yang, Q., Huang, Z.: Existence of anti-periodic mild solutions for a class of semilinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simulat. 17, 277–283 (2012)
Cao, J., Yang, Q., Huang, Z.: Optimal mild solutions and weighted pseudo-almost periodic classical solutions of fractional integro-differential equations. Nonlinear Anal. Theory Methods Appl. 74, 224–234 (2011)
Rida, S., Sayed, A., Arafa, A.: On the solutions of time-fractional reaction-diffusion equations. Commun. Nonlinear Sci. Numer. Simulat. 15, 3847–3854 (2010)
Wang, R., Chen, D., Xiao, T.: Abstract fractional Cauchy problems with almost sectorial operators. J. Differ. Equations 252, 202–235 (2012)
Obukhovskii, V., Yao, J.: Some existence results for fractional functional differential equations. Fixed Point Theory 11, 85–96 (2010)
Eidelman, S., Kochubei, A.: Cauchy problem for fractional diffusion equations. J. Differ. Equations 199, 211–255 (2004)
Balachandran, K., Kiruthika, S., Trujillo, J.: Existence results for fractional impulsive integrodifferential equations in Banach spaces. Commun. Nonlinear Sci. Numer. Simulat. 16, 1970–1977 (2011)
Wang, J., Zhou, Y., Wei, W.: A class of fractional delay nonlinear integrodifferential controlled systems in Banach spaces. Commun. Nonlinear Sci. Numer. Simulat. 16, 4049–4059 (2011)
Agrawal, O.: Solution for a fractional diffusion-wave equation defined in a bounded domain. J. Nonlinear Dynam. 29, 145–155 (2002)
Liang, J., Yang, H.: Controllability of fractional integro-differential evolution equations with nonlocal conditions. Appl. Math. Comput. 254, 20–29 (2015)
Zhang, X.: Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. lett. 39, 22–27 (2015)
Agarwal, R., Lupulescu, V., O’Regan, D., Rahman, G.: Fractional calculus and fractional differential equations in nonreflexive Banach spaces. Commun. Nonlinear Sci. Numer. Simulat. 20, 59–73 (2015)
Henderson, J., Luca, R.: Positive solutions for a system of fractional differential equations with coupled integral boundary conditions. Appl. Math. Comput. 249, 182–197 (2014)
Wang, R., Xiang, Q., Zhu, P.: Existence and approximate controllability for systems governed by fractional delay evolution inclusions. Optimization 63, 1191–1204 (2014)
Wang, R., Yang, Y.: On the Cauchy problems of fractional evolution equations with nonlocal initial conditions. Results. Math. 63, 15–30 (2013)
Wang, R., Xiang, Q., Zhou, Y.: Fractional delay control problems: Topological structure of solution sets and its applications. Optimization 63, 1249–1266 (2014)
Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063–1077 (2010)
Bëleanu, D., Mustafa, O.: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 59, 1835–1841 (2010)
Mophou, G., N’Guérékata, G.: Existence of the mild solution for some fractional differential equations with nonlocal conditions. Semigroup Forum 79, 315–322 (2009)
Li, C., Luo, X., Zhou, Y.: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Comput. Math. Appl. 59, 1363–1375 (2010)
Zhang, S.: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300–1309 (2010)
Agarwal, R., Zhou, Y., He, Y.: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095–1100 (2010)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
J. Banaś, K. Goebel, Measures of Noncompactness in Banach Spaces, Lect. Notes Pure Appl. Math., vol. 60, Dekker, New York, 1980
Darbo, G.: Punti unitti in transformazioni a condominio non compatto. Rend. Semin. Mat. Univ. Padova 24, 84–92 (1955)
Sadovski, B.: On a fixed point principle. Funct. Anal. Appl. 1, 74–76 (1967)
Istratescu, V.: Fixed Point Theory. Reidel, Boston (1981)
Hajji, A., Hanebaly, E.: Commuting mappings and -compact type fixed point theorems in locally convex spaces. Int. J. Math. Anal. 1, 661–680 (2007)
Hajji, A.: A generalization of Darbos fixed point and common solutions of equations in Banach spaces. Fixed Point Theory and Applications 2013, 62 (2013)
Kisielewicz, M.: Multivalued differential equations in separable Banach spaces. J. Optim. Theory Appl. 37, 231–249 (1982)
Xue, X.: \(L^{p}\) theory for semilinear nonlocal problems with measure of noncompactness in separable Banach spaces. J. Fixed Point Theory Appl. 5, 129–144 (2009)
Barbu, V.: Nonlinear Semigroups and Differential Equations in Banach Spaces. Noordhoff, Leyden (1976)
Pavel, N.: Nonlinear evolution operators and semigroup. Lecture Notes in Math, vol. 1260. Springer-Verlag, New York (1987)
Martin, R.: Nonlinear Operators and Differential Equations in Banach Spaces. Wiley, New York (1976)
Acknowledgments
This work is supported by the National Natural Science Foundation of China (No.11301090), Appropriative Researching Fund for Professors and Doctors, Guangdong University of Education (No. 2013ARF02).
Author information
Authors and Affiliations
Corresponding author
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
Cao, J., Tong, Q. & Huang, X. Nonlocal fractional functional differential equations with measure of noncompactness in Banach space. Math Sci 9, 59–69 (2015). https://doi.org/10.1007/s40096-015-0150-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-015-0150-0