 Research
 Open access
 Published:
Existence and approximation of solutions to nonlocal boundary value problems for fractional differential inclusions
Fixed Point Theory and Applications volumeÂ 2019, ArticleÂ number:Â 2 (2019)
Abstract
We study a semilinear fractional order differential inclusion in a separable Banach space E of the form
where \({}^{C}D^{q}\) is the Caputo fractional derivative of order \(0 < q < 1\), \(A \colon D(A) \subset E \rightarrow E\) is a generator of a \(C_{0}\)semigroup, and \(F \colon [0,T] \times E \multimap E\) is a nonlinear multivalued map. By using the method of the generalized translation multivalued operator and a fixed point theorem for condensing multivalued maps, we prove the existence of a mild solution to this inclusion satisfying the nonlocal boundary value condition:
where \(\Delta : C([0,T];E) \multimap E\) is a given multivalued map. The semidiscretization scheme is developed and applied to the approximation of solutions to the considered nonlocal boundary value problem.
1 Introduction
In the last years, the theory of differential equations and inclusions of fractional order attracted the attention of a large number of researchers. To a large extent, this is caused by its interesting applications in physics, enginery, biology, economics, and other sciences (see, e.g., monographs [1, 4, 9, 13, 22, 26, 28, 29, 31, 35], and the references therein). It is worth noting, in this connection, that one of the most important advantages of fractional order models in comparison with those of integer order is that a fractional order derivative of a function depends on its past values and hence becomes a powerful tool for the description of memory and hereditary properties of some media. A particular advantage of such an approach appears in the investigation of nonlocal boundary value problems, that is, in the association with the differential equation or inclusion of that type an initial condition depending on the behavior of the whole solution.
In the present paper, for a semilinear fractional order differential inclusion in a separable Banach space E of the form
we consider the problem of existence and approximation of mild solutions to this inclusion satisfying the following nonlocal boundary value condition:
Here \({}^{C}D^{q}\) means the Caputo fractional derivative of order \(0 < q < 1\), \(A \colon D(A) \subset E \rightarrow E\) is a generator of a \(C_{0}\)semigroup, \(F \colon [0,T] \times E \multimap E\) is a nonlinear multivalued map, and \(\Delta : C([0,T];E) \multimap E\) is a given multivalued map.
The above boundary condition is fairly general and includes, besides obvious cases of the Cauchy problem (\(\Delta (x) \equiv x_{0} \in E\)), periodic (\(\Delta (x) = x(T)\)), and antiperiodic (\(\Delta (x) =  x(T)\)) problems, also the following particular cases:

(i)
\(\Delta (x) = \frac{1}{T}\int_{0}^{T} x(t)\,dt\) (mean value condition);

(ii)
\(\Delta (x) = \sum_{i=1}^{n} \alpha _{i} x(t_{i}) + \xi \), with \(\xi \in E\), \(\alpha _{i} \neq 0\), \(t_{i} \in [0,T]\), \(i = 1, \dots ,n\) (multipoint discrete mean condition);

(iii)
\(\Delta (x) \equiv \mathcal{M}\), with \(\mathcal{M} \subset E\) being a prescribed set (the generalized Cauchy problem).
Among a large amount of papers dedicated to fractionalorder equations and inclusions in Banach spaces, let us mention [3, 5, 15,16,17, 20, 21, 23, 24, 27, 33, 34, 36], where various existence results were obtained. In particular, in [5] a technique based on the weak topology methods was used to study a semilinear fractional differential inclusion subjected to a nonlocal initial condition. Notice that the results on the existence of solutions to the Cauchy and the periodic problems for semilinear differential inclusions in a Banach space were obtained in the authorsâ€™ papers [15, 17] by applying the methods of the theory of condensing multivalued maps. In [16] and [25] the authors justified the scheme of semidiscretization of the Cauchy problem for differential equations of the same type and presented results on the approximation of solutions to this problem. Notice also that the semidiscretization method for initial and periodic problems of ODEs in a Banach space was studied in [6, 11, 12, 30, 32], among other works. In the present work, we develop and extend the investigations in the same direction.
The structure of the paper is as follows. In the next section, we recall necessary notions and facts from the theory of differential equations of fractional order, measures of noncompactness and condensing maps. In the third section, we introduce the translation multivalued operator along the trajectories of the problem under consideration and prove that it is condensing with respect of the Hausdorff measure of noncompactness (Theorem 3). Based on this result, we show that this multivalued operator has a fixed point and therefore our problem has a solution (Theorem 4). In the last section, we develop the semidiscretization scheme and apply it to justify the approximation of solutions to the considered nonlocal boundary value problem (Theorem 6).
2 Preliminaries
2.1 Differential equations of fractional order
Recall some notions and definitions, which we will need in the sequel (details can be found, e.g., in [22, 28, 29, 35]).
Let E be a real Banach space.
Definition 1
The Riemannâ€“Liouville fractional derivative of order \(q\in (0,1)\) of a continuous function \(g: [0,a] \to E\) is the function \(D^{q}g\) given by
provided the righthand side of this equality is well defined.
Here Î“ is the Euler gammafunction defined by
Definition 2
The Caputo fractional derivative of order \(q\in (0,1)\) of a continuous function \(g: [0,a] \to E\) is the function \({}^{C}D^{q}g\) defined by
provided the righthand side of this equality is well defined.
Definition 3
A function of the form
is called the MittagLeffler function.
Denote \(E_{q,1}\) by \(E_{q}\). Notice that from the relations (see, e.g., [33])
and
where
it follows that
Consider a scalar Cauchy problem, i.e., an equation of the form
with the initial condition
where \(\lambda \in \mathbb{R}\), \(f:[0,T] \to \mathbb{R}\) is a continuous function. By a solution of this problem we mean a continuous function \(x: [0,T] \to \mathbb{R}\) satisfying condition (2.5) whose fractional derivative \({}^{C}D^{q}x\) is also continuous and satisfies equation (2.4). It is known (see [22], Example 4.9) that the unique solution of this equation has the form
2.2 Measures of noncompactness and condensing maps
Let \(\mathcal{E}\) be a Banach space. Introduce the following notation:

\(\operatorname{Pb}(\mathcal{E}) = \{A\subseteq \mathcal{E}: A\neq \emptyset \mbox{ is bounded} \}\);

\(\operatorname{Pv}(\mathcal{E}) = \{A\in \operatorname{Pb}(\mathcal{E}): A \mbox{ is convex} \}\);

\(K(\mathcal{E}) = \{A\in \operatorname{Pb}(\mathcal{E}): A \mbox{ is compact} \}\);

\(Kv(\mathcal{E}) = \operatorname{Pv}(\mathcal{E})\cap K(\mathcal{E})\).
Definition 4
Let \((\mathcal{A},\geq )\) be a partially ordered set. A function \(\beta : \operatorname{Pb}(\mathcal{E})\to \mathcal{A} \) is called the measure of noncompactness (MNC) in \(\mathcal{E}\) if for each \(\varOmega \in \operatorname{Pb}(\mathcal{E})\) we have
where denotes the closure of the convex hull of Î©.
A measure of noncompactness Î² is called:

(1)
monotone if for each \(\varOmega _{0},\varOmega _{1}\in \operatorname{Pb}(\mathcal{E})\), \(\varOmega _{0}\subseteq \varOmega _{1}\) implies \(\beta (\varOmega _{0})\leq \beta (\varOmega _{1})\);

(2)
nonsingular if for each \(a\in \mathcal{E}\) and each \(\varOmega \in \operatorname{Pb}(\mathcal{E})\), we have \(\beta (\{a\}\cup \varOmega )=\beta (\varOmega )\);
If \(\mathcal{A}\) is a cone in a Banach space generating a partial order â‰¥, then the MNC Î² is called:

(3)
regular if \(\beta (\varOmega )=0\) is equivalent to the relative compactness of \(\varOmega \in \operatorname{Pb}(\mathcal{E})\);

(4)
real if \(\mathcal{A}\) is the set of all real numbers \(\mathbb{R}\) with the natural ordering;

(5)
algebraically semiadditive if \(\beta (\varOmega _{0} + \varOmega _{1}) \leq \beta (\varOmega _{0}) + \beta (\varOmega _{1})\) for every \(\varOmega _{0}, \varOmega _{1} \in \operatorname{Pb}(\mathcal{E})\).
As the example of a real MNC obeying all above properties, we can consider the Hausdorff MNC \(\chi (\varOmega )\):
Notice that the Hausdorff MNC satisfies the semihomogeneity condition, i.e.,
for every \(\lambda \in \mathbb{R}\) and \(\varOmega \in \mathrm{P}( \mathcal{E})\). More generally, if \(\mathcal{L}: \mathcal{E} \to \mathcal{E}\) is a bounded linear operator then
for every \(\varOmega \in \mathrm{P}(\mathcal{E})\) (see, e.g., [2]).
Recall that the norm of a set \(M\in \operatorname{Pb}(\mathcal{E})\) is defined by the formula:
Definition 5
Let X be a metric space. A multivalued map \(\mathcal{F}:X\rightarrow P(\mathcal{E})\) is called upper semicontinuous (u.s.c.) if
is an open subset of X for each open set \(V\subset \mathcal{E}\);
Definition 6
A multivalued map \(\mathcal{F}:X\rightarrow P(\mathcal{E})\) is said to be a Vietoris multivalued map, provided there exists a metric space \(X^{\prime }\) and a pair of continuous maps \(t\colon X^{\prime } \to X\) and \(r\colon X^{\prime }\to \mathcal{E}\) such that:

(i)
t is proper, i.e., \(t^{1}(K)\) is compact for every compact \(K \subset X\);

(ii)
for each \(x \in X\) the set \(t^{1}(x)\) is acyclic, i.e., it has the same homologies as a onepoint space;

(iii)
\(\mathcal{F}(x) = r(t^{1}(x))\), \(\forall x \in X\).
The class of Vietoris multivalued maps is sufficiently broad. To demonstrate this, recall the following notions.
Definition 7
A metric space X is called contractible if there exist a point \(x_{0} \in X\) and a continuous map (homotopy) \(h: [0,1] \times X \rightarrow X\) such that \(h(0,x) = x\) and \(h(1,x) = x_{0}\) for all \(x \in X\).
It is obvious that convex and, more generally, starshaped sets are contractible.
Definition 8
(see [14])
A compact metric space A is called an \(R_{\delta }\)set if there exists a decreasing sequence \(\{A_{n}\}\) of compact contractible sets such that
Notice that an \(R_{\delta }\)set is acyclic, but need not be contractible (see an example in [10]).
Definition 9
Let X be a metric space, \(\mathcal{E}\) a Banach space. A u.s.c. multivalued map \(\mathcal{F}: X \rightarrow K(\mathcal{E})\) is called an \(R_{\delta }\)multivalued map if for every \(x \in X\) the set \(\mathcal{F}(x)\) is \(R_{\delta }\).
It is easy to see that an \(R_{\delta }\)multivalued map is a Vietoris map. In fact, as t and r we may take natural projections from the graph \(\varGamma _{\mathcal{F}} \subset X \times \mathcal{E}\)
Definition 10
A multivalued map \(\mathcal{F}: X \rightarrow K(\mathcal{E})\) is called an \(R^{c}_{\delta }\)multivalued map if there exists metric spaces \(X_{0}=X, X_{1},\dots ,X_{k}, X_{k+1} = \mathcal{E}\) and \(R_{\delta }\)multivalued maps \(\mathcal{F}_{i}: X_{i} \rightarrow K(X_{i+1})\), \(i = 0,\dots ,k\) such that \(\mathcal{F}\) may be represented as the composition:
From Proposition 3.4.1(a) of [18] it follows that every \(R^{c}_{\delta }\)multivalued map is a Vietoris map.
Then, by applying Corollary 3.4.3 in [18], we get the following fixed point theorem, which we will need in the sequel.
Theorem 1
Let \(\mathcal{M}\) be a convex, closed and bounded subset of a Banach space \(\mathcal{E}\), and \(\mathcal{F}:\mathcal{M} \rightarrow K( \mathcal{M})\) an \(R^{c}_{\delta }\)multivalued map which is \((k,\chi )\)condensing for some \(0 \leq k < 1\), i.e.,
for every \(\varOmega \subset \mathcal{M}\). Then there exists a point \(x_{*} \in \mathcal{M}\) such that \(x_{*} \in \mathcal{F}(x_{*})\).
Recall some notions (see, e.g., [7, 18]). Let E be a Banach space.
Definition 11
For a given \(1 \leq p \leq \infty \) , a multivalued function \(G:[0,\tau ]\rightarrow K(E)\) is called:

\(L^{p}\)integrable if it admits an \(L^{p}\)Bochner integrable selection, i.e., there exists a function \(g\in L^{p} ((0,\tau ); E )\) such that \(g(t)\in G(t)\) for a.e. \(t\in [0,\tau ]\);

\(L^{p}\)integrably bounded if there exists a function \(\xi \in L^{p}((0,\tau ))\) such that
$$ \bigl\Vert G(t) \bigr\Vert \leq \xi (t) $$for a.e. \(t\in [0,\tau ]\).
The set of all \(L^{p}\)integrable selections of a multivalued function \(G: [0,\tau ] \to K(E)\) is denoted by \(\mathcal{S}^{p}_{G}[0,\tau ]\).
Definition 12
The integral of an \(L^{p}\)integrable multivalued function \(G:[0, \tau ]\rightarrow K(E)\) is defined by
In the sequel we will need the following important property on the Ï‡estimation of the integral of a multivalued function.
Lemma 1
(see Theorem 4.2.3 in [18])
Let E be a separable Banach space and \(G:[0,\tau ]\rightarrow K(E)\) an integrable, integrablybounded multivalued function such that
where Ï‡ is the Hausdorff MNC in E and \(v(\cdot ) \in L^{1} _{+}(0,\tau )\). Then
We will need the following auxiliary assertion which is an analogue of the known Gronwall lemma on integral inequalities.
Lemma 2
([17], Lemma 13)
Let a bounded measurable function \(\omega : [0,T] \to \mathbb{R}\) satisfy the integral inequality
where \(K \geq 0\), \(0 < k < \eta \). Then
3 Existence result
For a semilinear fractional order differential inclusion in a separable Banach space E of the form
consider the problem of existence of mild solutions to this inclusion satisfying the following boundary value condition:
under the following basic assumptions.
As earlier, the symbol \({}^{C}D^{q}x\) denotes the Caputo fractional derivative of order \(q \in (0,1)\). Everywhere in the sequel we suppose that the linear operator A satisfies condition
 \((A)\) :

\(A:D(A) \subseteq E\rightarrow E\) is a linear closed (not necessarily bounded) operator generating a bounded \(C_{0}\)semigroup \(\{U(t) \}_{t\geq 0}\) of linear operators in E.
We will assume that a nonlinear multivalued map \(F:[0,T]\times E \to Kv(E)\) obeys the following conditions:
 \((F1)\) :

for each \(x \in E\) the multivalued function \(F (\cdot ,x ): [0,T ]\rightarrow Kv (E ) \) admits a measurable selection;
 \((F2)\) :

for a.e. \(t\in [0,T]\) the multivalued map \(F(t,\cdot ):E \rightarrow Kv ( E ) \) is u.s.c.;
 \((F3)\) :

there exists a function \(\alpha \in L^{\infty }_{+} ([0,T])\) such that
$$ \bigl\Vert F(t,x) \bigr\Vert _{E}\leq \alpha (t) \bigl(1+ \bigl\Vert x(t) \bigr\Vert _{E}\bigr) \quad \mbox{for a.e. } t\in [0,T], $$  \((F4)\) :

there exists a function \(\mu \in L^{\infty }([0,T])\) such that for each bounded set \(\varOmega \subset E\) we have
$$ \chi \bigl(F(t,\varOmega )\bigr) \leq \mu (t) \chi (\varOmega ), $$for a.e. \(t \in [0,T]\), where Ï‡ is the Hausdorff MNC in E.
We will assume that an \(R^{c}_{\delta }\)multivalued map \(\Delta : C([0,T];E) \rightarrow K(E)\) obeys the following conditions:
 \((\Delta 1)\) :

there exists a functional \(\mathfrak{f} \colon C([0,T]; \mathbb{R})\rightarrow \mathbb{R}_{+}\) and a constant \(C\geq 0\) which is:

(i)
sublinear in the sense that \(\mathfrak{f}(\lambda _{0} \psi _{0} + \lambda _{1} \psi _{1}) \leq \lambda _{0} \mathfrak{f}(\psi _{0}) + \lambda _{1} \mathfrak{f} (\psi _{1})\), \(\forall \lambda _{0} \geq 0\), \(\lambda _{1} \geq 0\), \(\psi _{0}, \psi _{1} \in C([0,T];\mathbb{R})\);

(ii)
monotone nondecreasing in the sense that \(\psi _{0}, \psi _{1} \in C([0,T];\mathbb{R})\), \(\psi _{0}(t) \leq \psi _{1}(t)\), \(\forall t \in [0,T]\) implies \(\mathfrak{f}(\psi_{0}) \leq \mathfrak{f}(\psi_{1})\)
such that for all \(x\in C([0,T];E)\)
$$ \bigl\Vert \Delta (x) \bigr\Vert _{E}\leq \mathfrak{f}\bigl( \bigl\Vert x(\cdot ) \bigr\Vert _{E}\bigr)+C. $$ 
(i)
 \((\Delta 2)\) :

Let \(\varOmega \subset C([0,T];E)\) be a nonempty bounded set and x a solution of scalar problem (2.4)â€“(2.5) with \(\lambda =  \eta \), \(\eta >0\) and \(x_{0} = \chi (\varOmega (0))\) such that
$$ \chi \bigl(\varOmega (t)\bigr)\leq x(t), \quad \forall t \in [0,T]. $$Then
$$ \chi \bigl(\Delta (\varOmega )\bigr)\leq \mathfrak{f}(x). $$
Remark 1
For the particular cases of the boundary conditions (i)â€“(iii) from the introduction section, the functional \(\mathfrak{f}\) has the form

(i)
\(\mathfrak{f}(\varphi )=\frac{1}{T}\int ^{T}_{0}\varphi (s)\,ds\);

(ii)
\(\mathfrak{f}(\varphi )=\sum_{i=1}^{n} \alpha _{i}  \varphi (t_{i})\), \(\alpha _{i} \neq 0\), \(t_{i} \in [0,T]\), \(i = 1, \dots ,n\);

(iii)
\(\mathfrak{f}(\varphi )=0\).
For a given \(x \in C([0,T];E)\), consider the multivalued function
From the above conditions \((F1)\)â€“\((F3)\) it follows (see, e.g., [18], Theorem 1.3.5) that the multivalued function \(\varPhi _{x}\) is \(L^{p}\)integrable for each \(p\geq 1\).
To solve our problem, we will use the superposition multivalued operator \(\mathcal{P}^{\infty }_{F} :C([0,T];E) \multimap L^{\infty }([0,T];E)\) defined by
Definition 13
(see, e.g., [15])
A mild solution to the Cauchy problem for inclusion (3.1) with initial condition
on an interval \([0,T]\) is a function \(x \in C([0,T];E)\) which can be represented as
where \(\phi \in \mathcal{P}^{\infty }_{F}(x)\),
and the function \(\xi _{q}(\theta )\) is defined by (2.1)â€“(2.2).
Remark 2
\(\xi _{q} (\theta )\geq 0\), \(\int ^{\infty }_{0} \xi _{q} (\theta ) \,d\theta =1\), \(\int ^{\infty }_{0} \theta \xi _{q} (\theta ) \,d\theta =\frac{1}{\varGamma (q+1)}\).
Lemma 3
The operator functions \(\mathcal{G}\) and \(\mathcal{T}\) possess the following properties:

(1)
for each \(t \in [0,T]\), \(\mathcal{G}(t)\) and \(\mathcal{T}(t)\) are linear bounded operators, more precisely, for each \(x \in E\) we have
$$\begin{aligned}& \bigl\Vert \mathcal{G}(t)x \bigr\Vert _{E}\leq M \Vert x \Vert _{E}, \end{aligned}$$(3.5)$$\begin{aligned}& \bigl\Vert \mathcal{T}(t)x \bigr\Vert _{E}\leq \frac{qM}{\varGamma (1+q)} \Vert x \Vert _{E}, \end{aligned}$$(3.6)where
$$ M = \sup_{t \geq 0} \bigl\Vert U(t) \bigr\Vert . $$ 
(2)
the operator functions \(\mathcal{G}(\cdot )\) and \(\mathcal{T}(\cdot )\) are strongly continuous, i.e., functions \(t\in [0,T] \to \mathcal{G}(t)x\) and \(t\in [0,T] \to \mathcal{T}(t)x\) are continuous for each \(x \in E\).
Remark 3
Comparing formula (3.4) of a mild solution with (2.6), we get in a scalar case with \(\eta > 0\):
Then, taking into account that in this case \(U(t) = e^{\eta t}\), from (3.5) and (3.6) we have the following estimates:
By the symbol \(\varSigma ^{F}_{x_{0}}\) we will denote the set of all mild solutions to the Cauchy problem (3.1), (3.3) on the interval \([0,T]\).
From the results of [15, 17] about the existence and topological structure of solutions to the Cauchy problem (3.1) and (3.3), the next assertion follows.
Theorem 2
Under conditions \((A)\), \((F1)\)â€“\((F4)\), the solution set \(\varSigma ^{F} _{x_{0}}\) is an \(R_{\delta }\)set and, moreover, the multivalued map \(\varSigma \colon E \rightarrow C([0,T];E)\), defined as
is u.s.c. and hence an \(R_{\delta }\)multivalued map.
Now we will consider the translation multivalued operator \(\varTheta \colon D \subseteq E \multimap E\) along the trajectories of problem (3.1)â€“(3.2) defined as \(\varTheta = \Delta \circ \varSigma \), where \(D \subset E\) is an open subset. It is clear that Î˜ is an \(R^{c}_{\delta }\)multivalued map.
Theorem 3
Under assumptions \((A)\), \((F1)\)â€“\((F4)\), suppose additionally that
 \((A1)\) :

the semigroup U is exponentially decreasing in the sense that
$$ \bigl\Vert U(t) \bigr\Vert \leq e^{\eta t}, \quad t \geq 0 $$for some \(\eta > \\mu \_{\infty }\), where \(\mu (\cdot )\) is the function from condition \((F4)\).
If
where \(\xi (t) = E_{q} ((\eta + \\mu \_{\infty })t^{q})\), then the translation multivalued operator Î˜ is \((k,\chi )\)condensing with respect to the Hausdorff MNC Ï‡ in E.
Proof
Let \(\varOmega \subset D\) is a nonempty bounded set. For \(0 \leq t \leq T\) consider the set
It is clear that \(\varSigma (\varOmega )(0)=\varOmega \) and
from where, by using property \((F3)\), we get for \(0 \leq t \leq T\):
By using the estimates (see [3])
we have
Applying estimates (3.7)â€“(3.8), we get
from where, by using Gronwall inequality, we conclude that the set \(\varSigma (\varOmega )\) is bounded.
Then by Theorem 4.2.4 of [18] the function
is measurable.
Applying the properties of the MNC Ï‡ (see Sect. 2.2), we get the following estimates:
By using estimates (3.9)â€“(3.10), we obtain
Applying Lemma 2 with \(K=0\), we get
Now by using condition \((\Delta 2)\) and denoting \(\xi (t) = E_{q} ((\eta + \\mu \_{\infty })t^{q} )\), we obtain
giving the claim.â€ƒâ–¡
Now we are in position to prove the main result of this section.
Theorem 4
Under conditions \((A)\), \((A1)\), and \((F1)\)â€“\((F4)\), let
where Î· is the constant from condition \((A1)\) and \(\lambda = \max \{\\mu \_{\infty }, \\alpha \_{\infty }\}\) with functions \(\alpha (\cdot )\) and \(\mu (\cdot )\) from conditions \((F3)\) and \((F4)\), respectively. If
where \(\xi (t) = E_{q} ((\eta + \lambda )t^{q})\), then problem (3.1)â€“(3.2) has a solution.
Proof
For an arbitrary \(x_{0} \in E\), take a function \(x \in \varSigma ^{F}_{x_{0}}\). Then for every \(t \in [0,T]\) we have
Consider a continuous function \(\rho : [0,T] \to \mathbb{R}\) given as
Then we have the following estimates:
Applying estimates (3.9)â€“(3.10), we get
By using Lemma 2, we obtain
where
is a constant.
Let \(b(t)=\x_{0}\_{E} E_{q}((\eta + \lambda )t^{q}) + \mathcal{C}\).
Now, by using condition \((\Delta 1)\), we have
So, if we take
then \(\x_{0}\_{E} \leq R\) obviously implies \(\Delta (x) \leq R\).
This means that the translation multivalued operator Î˜ transforms the ball \(B_{R}(0) \subset E\) into itself, and hence, by Theorem 1, it has a fixed point \(x_{*} \in B_{R}(0)\). Therefore there exists a function \(\widetilde{x}(\cdot ) \in \varSigma ^{F}_{x_{*}}\) such that
â€ƒâ–¡
4 Approximation of solutions
In this section we will apply a semidiscretization scheme for the approximation of solutions to problem (3.1)â€“(3.2).
Along with inclusion (3.1), for a given sequence of positive numbers \(\{h_{n}\}\) converging to zero, consider the inclusions
where \(h\in H=\overline{\{h_{n}\}}\) is the semidiscretization parameter, \(A_{h}:D(A_{h})\subset E_{h}\rightarrow E_{h}\) are closed linear operators in Banach spaces \(E_{h}\) generating bounded \(C_{0}\)semigroups \(\{U_{h}(t) \}_{t\geq 0}\). We assume \(E_{0}=E\), \(A_{0}=A\), \(F _{0}=F\) and suppose that multivalued maps \(F_{h}:[0,T]\times E_{h} \rightarrow Kv(E_{h})\) satisfy conditions of type \((F1)\)â€“\((F4)\) for each \(h\in H\) with the functions Î± and Î¼ not depending on h.
We suppose that for each \(h \in H\) there exist linear operators \(Q_{h}: E_{h} \rightarrow E\), \(Q_{0}=I\), and \(P_{h}:E \rightarrow E _{h}\), \(P_{0} = I\) such that
where \(I_{h}\) is the identity on \(E_{h}\) and
as \(h \to 0\) for each \(x \in E\). We suppose that the operators \(P_{h}\) and \(Q_{h}\) are uniformly bounded
for all \(h \in H\).
The nonlocal boundary value condition for inclusion (4.1) will be considered of the following form:
For inclusion (4.1), besides condition (4.5), we will need the initial condition of the form
where \(y_{0}^{h} \in E_{h}\). The set of mild solutions to problem (4.1), (4.6) in the space \(C([0,T];E_{h})\) will be denoted as \(\varSigma ^{F_{h}}_{y_{0}^{h}}\).
Consider the integral equation
where \(f_{h} \in \mathcal{P}^{\infty }_{F_{h}}(x_{h})\) and the operator functions \(\mathcal{G}_{h}\) and \(\mathcal{T}_{h}\) are defined similarly as in Definition 13:
Notice that a function \(\overline{x}_{h} \in C([0,T];E_{h})\) is a solution of Eq. (4.7) if and only if it is a mild solution of problem (4.1), (4.6) with \(y_{0}^{h} = \overline{x}_{h}(0)\).
We will assume that
 \((H1)\) :

for each \(x\in E\),
$$ Q_{h}U_{h}(t)P_{h}x\rightarrow U(t)x $$as \(h\rightarrow 0\) uniformly in \(t\in [0,T]\);
 \((H2)\) :

there exists \(k>0\) such that
$$ \chi _{E} \biggl(\bigcup _{h\in H}Q_{h}F_{h} \bigl(t,P_{h}(\varOmega )\bigr) \biggr) \leq k\chi _{E} (\varOmega ) $$for each \(t \in [0,T]\) and bounded \(\varOmega \subset E\).
We suppose also that
 \((H3)\) :

the multivalued map \((h,x)\multimap Q_{h}F_{h}(t,P_{h}x)\) is u.s.c. for a.e. \(t\in [0,T]\).
Remark 4
Hypothesis \((H1)\) may be equivalently formulated in terms of the strong convergence of the resolvents in the following way:
This is an analogue of the Trotterâ€“Kato theorem (see, e.g., [19], Chap. IX, Theorem 2.16 or [25], Theorem 2.6).
In the sequel we will need the following assertion.
Lemma 4
([16], Lemma 2)
For each \(x\in E\), we have the following relations:
as \(h \rightarrow 0\) uniformly in \(t \in [0,T]\).
Consider the multivalued map \(G:H\times C([0,T];E)\multimap C([0,T];E)\) defined by the equality
with \(f_{h} \in \mathcal{P}^{\infty }_{F_{h}}(P_{h}x)\).
Notice that solutions \(x_{h}\) of inclusion (4.1) and fixed points of \(G(h,\cdot )\) are connected in the following way: if \(\overline{x} \in C([0,T];E)\) is a fixed point of the multivalued map \(G(h,\cdot )\) then the function \(\overline{x}_{h} \in C([0,T];E_{h})\) defined by the formula
is the solution of equation (4.7) and, hence of problem (4.1), (4.6) with \(y_{0} = P_{h}\overline{x}(0)\). Conversely, if \(\overline{x}_{h}\) is a solution of equation (4.7) and hence of problem (4.1), (4.6) with \(y_{0}^{h} = \overline{x}_{h}(0)\) then \(Q_{h}\overline{x}_{h}\) is a fixed point of the multivalued map \(G(h,\cdot )\).
Under above conditions, for each \(h\in H\), there exists the translation multivalued operator \(\varTheta ^{h}: D_{h} \subset E_{h} \multimap E_{h}\) along the trajectories of (4.1)â€“(4.5) defined as
where \(D_{h} \subset E_{h}\) is an open subset.
Consider the family of multivalued maps \(\varGamma :H\times E \rightarrow E\)
Theorem 5
Under the above conditions, suppose additionally that
 \((A1_{h})\) :

the semigroups \(U_{h}\) are exponentially decreasing in the sense that
$$ \bigl\Vert U_{h}(t) \bigr\Vert \leq e^{\eta t}, \quad t \geq 0 $$for some \(\eta > k\), where k is the constant from condition \((H2)\).
If
where \(\zeta (t) = E_{q} ((\eta + k)t^{q})\), then the family Î“ is \((m,\chi _{E})\)condensing in the sense that for every nonempty bounded set \(\varOmega \subset E\) we have
Proof
Let \(\varOmega \subset E\) be a nonempty bounded set.
For \(h \in H\) and \(0 \leq t \leq T\) consider the set
It is clear that \(Q_{h} \varSigma _{h} (\varOmega )(0)=Q_{h}P_{h}(\varOmega )\) and for each \(0 \leq t \leq T\) we have
Similarly to what was done while proving Theorem 3, one can show that the set \(\bigcup_{h\in H}Q_{h}\varSigma _{h} (\varOmega )[0,T] \subset C([0,T];E)\) is bounded and then, by virtue of Theorem 4.2.4 of [18], the function
is measurable and evidently bounded.
Applying the properties of the MNC Ï‡ (see Sect. 2) and \((H2)\), (4.4) we get the following estimates:
Applying estimates (3.9)â€“(3.10), we have
By using Lemma 2 with \(K=0\), we get
Applying condition \((\Delta 2)\), we have
â€ƒâ–¡
Consider now fixed points
of the multivalued map \(\varGamma (h,x)\) in the ball \(B_{R}(0)\), where R satisfies inequality (3.13). Notice that then the points \(P_{h}x^{h}\) will be initial values for solutions of the approximate problems (4.1), (4.6) (with \(y_{0}^{h} = P_{h}x^{h}\)). Consider a sequence \(\{x^{h_{n}}\}\) with \(h_{n} \to 0\).
Theorem 6
Under condition (3.12), the sequence \(\{x^{h_{n}}\}\) is relatively compact and its limit points are initial values of solutions to inclusion (3.1) satisfying boundary value condition (3.2).
Proof
Notice that by Theorem 5 we have
implying, since \(m < 1\), that \(\chi (\{x^{h_{n}}\}) = 0\), and hence the sequence \(\{x^{h_{n}}\}\) is relatively compact.
Consider solutions \(\kappa ^{h_{n}}\) of inclusion (4.1) satisfying the boundary value condition
Then the functions \(\nu ^{h_{n}} = Q_{h_{n}}\kappa ^{h_{n}}\) are fixed points of the multivalued map \(G(h_{n},\cdot )\), where \(G \colon H \times C([0,T];E) \multimap C([0,T];E)\) is defined as
where \(f_{h} \in \mathcal{P}^{\infty }_{Q_{h}F_{h}P_{h}}(\nu ^{h})\) and, moreover,
which is equivalent to
From the properties of the MNC Ï‡, estimates (3.12), (4.4) and (3.9)â€“(3.10), which are valid for \(\mathcal{G}_{h}\) and \(\mathcal{T}_{h}\) for all \(h \in H\), the next estimate follows:
Applying Lemma 2, we get
Let us show now that the functions \(\{\nu ^{h_{n}}\}\) are equicontinuous on the interval \([0,T]\). By \((2)\) of Lemma 3 the functions \(\{\mathcal{G}(\cdot )x^{h_{n}}\}\) are equicontinuous. Applying property (4.8) and the compactness of the sequence \(\{x^{h_{n}}\}\), we conclude that the functions \(\{Q_{h_{n}}\mathcal{G}_{hn}(\cdot )P_{h _{n}}x^{h_{n}}\}\) are equicontinuous.
It means that now it is sufficient to show the equicontinuity of the functions \(\{ v^{h_{n}}\}\) given by the equalities
where \(f_{h_{n}} \in \mathcal{P}^{\infty }_{Q_{h_{n}}F_{h_{n}}P_{h _{n}}}(\nu ^{h_{n}})\).
By (4.13) we have
From condition \((F3)\) applied to \(F_{h_{n}}\), we get the uniform boundedness estimate
where \(C > 0\) is a certain constant.
Now, for a given \(\varepsilon > 0\) choose \(d > 0\) such that
Then
It remains to demonstrate only the equicontinuity of the functions \(\{w^{h_{n}}\}\) defined for \(t > d\) as
By Theorem 4.2.5 of [18], for a given \(0 < \delta <T\) there exist a measurable subset \(m_{\delta }\subset [0,T\delta ]\), \(\operatorname{meas}(m_{\delta }) < \delta \), and a compact set \(K_{\delta }\subset E\) such that
where \(W_{\delta }\) denotes the Î´neighborhood of the set \(K_{\delta }\). But then
Notice that the first term in this sum may be estimated in norm by the value
which can be made less than Îµ under an appropriate choice of Î´.
To demonstrate the equicontinuity of the second term with respect to \(h_{n}\) notice that, by (4.9), for any \(t_{1}, t_{2} \in [0,T]\), \(t_{1} < t_{2}\), \(t_{2}  t_{1} < \gamma \) we will have
provided Î³ is sufficiently small. Therefore
At last,
provided \(\gamma > 0\) is taken sufficiently small.
So, the sequence \(\{\nu ^{h_{n}}\}\) is relatively compact in \(C([0,T];E)\). We will assume, w.l.o.g., that \(\nu ^{h_{n}} \rightarrow \nu ^{0}\).
Now, let a subsequence of \(\{x^{h_{n}}\}\), denoted as the whole sequence, converge to \(x^{0}\). We will show that \(\nu _{0}\) is a solution of inclusion (3.1) with the initial condition
In fact, from assumption \((H2)\) it follows that for selectors \(f_{h_{n}}\) of the superposition multivalued opeator \(\mathcal{P}^{ \infty }_{Q_{h_{n}}F_{h_{n}}P_{h_{n}}}(\nu ^{h_{n}})\) relation (4.15) is true. This means that the sequence \(\{f_{h_{n}}\}\) satisfies the Diestel condition (see [8]) and hence it is weakly compact in \(L^{1}((0,T);E)\). Without loss of generality, we assume that \(f_{h_{n}} \rightharpoonup f_{0}\). Then, applying standard reasonings based on the Mazur lemma (see, e.g., [18]), one can come to the conclusion that there exists a sequence of convex combinations of functions \(f_{h_{n}}\),
which converges a.e. on \((0,T)\) to a function \(\widetilde{f}_{0}\) such that
Applying the Lebesgue convergence theorem and properties (4.8)â€“(4.9), we can pass to the limit as \(n \to \infty \) in the equality
and obtain
proving that the function \(\nu ^{0}\) is a solution of (3.1) with the initial condition (4.16). Passing to the limit in inclusion (4.12), we get
which concludes the proof.â€ƒâ–¡
References
Abbas, S., Benchohra, M., Nâ€™Guerekata, G.M.: Topics in Fractional Differential Equations, Developments in Mathematics. Springer, New York (2012)
Ahmerov, R.R., Kamenskii, M.I., Potapov, A.S., Rodkina, A.E., Sadowskii, B.N.: Measures of Noncompactness and Condensing Operators. BirkhÃ¤user, Boston (1992)
Anh, C.T., Ke, T.D.: On nonlocal problems for retarded fractional differential equations in Banach spaces. Fixed Point Theory 15(2), 373â€“392 (2014)
Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods. World Scientific, New York (2012)
Benedetti, I., Obukhovskii, V., Taddei, V.: On generalized boundary value problems for a class of fractional differential inclusions. Fract. Calc. Appl. Anal. 20(6), 1424â€“1446 (2017)
Bobylev, N.A., Kim, J.K., Korovin, S.K., Piskarev, S.: Semidiscrete approximations of semilinear periodic problems in Banach spaces. Nonlinear Anal. 33(5), 473â€“482 (1998)
Borisovich, Yu.G., Gelman, B.D., Myshkis, A.D., Obukhovskii, V.V.: Introduction to the Theory of Multivalued Maps and Differential Inclusions, 2nd edn. Librokom, Moscow (2011) (in Russian)
Diestel, J., Ruess, W.M., Schachermayer, W.: Weak compactness in \(L^{1}(\mu ,X)\). Proc. Am. Math. Soc. 118, 447â€“453 (1993)
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
GÃ³rniewicz, L.: Topological Fixed Point Theory of Multivalued Mappings. Topological Fixed Point Theory and Its Applications, vol.Â 4, 2nd edn. Springer, Dordrecht (2006)
Gurova, I.N.: On semidiscretization methods for quasilinear equations with a noncompact semigroup. Russ. Math. (Izv. VUZ) 44(4), 58â€“63 (2000)
Gurova, I.N., Kamenskii, M.I.: On the semidiscretization method in the problem of periodic solutions of quasilinear autonomous parabolic equations. Differ. Equ. 32(1), 106â€“112 (1996)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Hyman, D.H.: On decreasing sequences of compact absolute retracts. Fundam. Math. 64, 91â€“97 (1969)
Kamenskii, M., Obukhovskii, V., Petrosyan, G., Yao, J.C.: On semilinear fractional order differential inclusions in Banach spaces. Fixed Point Theory 18(1), 269â€“292 (2017)
Kamenskii, M., Obukhovskii, V., Petrosyan, G., Yao, J.C.: On approximate solutions for a class of semilinear fractionalorder differential equations in Banach spaces. Fixed Point Theory Appl. 2017, 28 (2017)
Kamenskii, M., Obukhovskii, V., Petrosyan, G., Yao, J.C.: Boundary value problems for semilinear differential inclusions of fractional order in a Banach space. Appl. Anal. 97(4), 571â€“591 (2018)
Kamenskii, M., Obukhovskii, V., Zecca, P.: Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces. de Gruyter Series in Nonlinear Analysis and Applications, vol.Â 7. de Gruyter, Berlin (2001)
Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1980)
Ke, T.D., Loi, N.V., Obukhovskii, V.: Decay solutions for a class of fractional differential variational inequalities. Fract. Calc. Appl. Anal. 18(3), 531â€“553 (2015)
Ke, T.D., Obukhovskii, V., Wong, N.C., Yao, J.C.: On a class of fractional order differential inclusions with infinite delays. Appl. Anal. 92(1), 115â€“137 (2013)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, vol.Â 204. Elsevier, Amsterdam (2006)
Lakshmikantham, V.: Theory of fractional functional differential equations. Nonlinear Anal. 69(10), 3337â€“3343 (2008)
Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal. 69(8), 2677â€“2682 (2008)
Liu, R., Li, M., Piskarev, S.: Approximation of semilinear fractional Cauchy problem. Comput. Methods Appl. Math. 15(2), 203â€“212 (2015)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Obukhovskii, V., Yao, J.C.: Some existence results for fractional functional differential equations. Fixed Point Theory 11(1), 85â€“96 (2010)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)
Stuart, A.: Convergence and stability in the numerical approximation of dynamical systems. In: The State of the Art in Numerical Analysis, York, 1996. Inst. Math. Appl. Conf. Ser. New Ser., vol.Â 63, pp.Â 145â€“169. Oxford University Press, New York (1997)
Tarasov, V.E.: Fractional Dynamics. Applications of Fractional Calculus to Dynamics of Particles, Fields and Media. Nonlinear Physical Science. Springer, Heidelberg; Higher Education Press, Beijing (2010)
Vainikko, G.: Approximative methods for nonlinear equations (two approaches to the convergence problem). Nonlinear Anal. 2(6), 647â€“687 (1978)
Wang, R.N., Chen, D.H., Xiao, T.J.: Abstract fractional Cauchy problems with almost sectorial operators. J. Differ. Equ. 252(1), 202â€“235 (2012)
Zhang, Z., Liu, B.: Existence of mild solutions for fractional evolution equations. Fixed Point Theory 15(1), 325â€“334 (2014)
Zhou, Y.: Fractional Evolution Equations and Inclusions: Analysis and Control. Elsevier, London (2016)
Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59(3), 1063â€“1077 (2010)
Acknowledgements
The authors are grateful to the anonymous referee for his/her helpful remarks. The work on the paper was carried out during the visit of V. Obukhovskii and M. Kamenskii to the Center for Fundamental Science, Kaohsiung Medical University and the Department of Applied Mathematics, National Sun YatSen University, Kaohsiung, Taiwan in 2018. They would like to express their gratitude to the members of the Center and the Department for their kind hospitality.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
The work is supported by the joint Taiwan MOSTâ€”Russia RFBR grant 175152022. The work of the first, second and third authors is supported by the Ministry of Education and Science of the Russian Federation in the frameworks of the project part of the state work quota (Project No 1.3464.2017/4.6). J.C. Yao was supported by the Grant MOST 1062923E039001MY3.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Kamenskii, M., Obukhovskii, V., Petrosyan, G. et al. Existence and approximation of solutions to nonlocal boundary value problems for fractional differential inclusions. Fixed Point Theory Appl 2019, 2 (2019). https://doi.org/10.1186/s1366301806521
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366301806521