Skip to main content

Existence and approximation of solutions to nonlocal boundary value problems for fractional differential inclusions


We study a semilinear fractional order differential inclusion in a separable Banach space E of the form

$$ {}^{C}D^{q}x(t)\in Ax(t)+ F\bigl(t,x(t)\bigr),\quad t\in [0,T], $$

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:

$$ x(0)\in \Delta (x), $$

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.


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

$$ {}^{C}D^{q}x(t)\in Ax(t)+ F\bigl(t,x(t)\bigr), \quad t\in [0,T], $$

we consider the problem of existence and approximation of mild solutions to this inclusion satisfying the following nonlocal boundary value condition:

$$ x(0)\in \Delta (x). $$

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:

  1. (i)

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

  2. (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);

  3. (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 fractional-order 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).


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

$$ D^{q}g(t) = \frac{1}{\varGamma (1-q)} \frac{d}{dt} \int ^{t}_{0}(t-s)^{-q}g(s)\,ds, $$

provided the right-hand side of this equality is well defined.

Here Γ is the Euler gamma-function defined by

$$ \varGamma (r) = \int _{0}^{\infty }s^{r-1}e^{-s}\,ds. $$

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

$$ {}^{C}D^{q}g(t) = \bigl(D^{q}\bigl(g(\cdot ) - g(0) \bigr) \bigr) (t), $$

provided the right-hand side of this equality is well defined.

Definition 3

A function of the form

$$ E_{\alpha ,\beta }(z)=\sum^{\infty }_{n=0} \frac{z^{n}}{\varGamma (\alpha n+\beta )}, \quad \alpha ,\beta >0, z\in \mathbb{C}, $$

is called the Mittag-Leffler function.

Denote \(E_{q,1}\) by \(E_{q}\). Notice that from the relations (see, e.g., [33])

$$ E_{q}(-z) = \int _{0}^{\infty }\xi _{q}(\theta )e^{-z\theta }\,d\theta $$


$$ E_{q,q}(-z) = \int _{0}^{\infty }q\theta \xi _{q}(\theta )e^{-z\theta }\,d \theta , $$


$$\begin{aligned}& \xi _{q} (\theta )= \frac{1}{q} \theta ^{-1-\frac{1}{q}} \varPsi _{q} \bigl( \theta ^{-1/q} \bigr), \end{aligned}$$
$$\begin{aligned}& \varPsi _{q} (\theta )= \frac{1}{\pi } \sum _{n=1}^{\infty }(-1)^{n-1} \theta ^{-qn-1} \frac{\varGamma (nq+1)}{n!} \sin (n\pi q),\quad \theta \in \mathbb{R}_{+}, \end{aligned}$$

it follows that

$$ E_{q}(\tau ) >0, \qquad E_{q,q}(\tau ) >0 \quad \mbox{for } \tau < 0. $$

Consider a scalar Cauchy problem, i.e., an equation of the form

$$ {}^{C}D^{q}x(t)= \lambda x(t) + f(t), \quad t \in [0,T], $$

with the initial condition

$$ x(0)= x_{0}, $$

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

$$ x(t) = E_{q}\bigl(\lambda t^{q} \bigr)x_{0} + \int _{0}^{t} (t-s)^{q-1}E_{q,q} \bigl( \lambda (t-s)^{q}\bigr)f(s)\,ds. $$

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

(see, e.g., [2, 18])

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. (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. (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:

  1. (3)

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

  2. (4)

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

  3. (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 )\):

$$ \chi (\varOmega )= \inf \{ \varepsilon > 0, \mbox{for which $\varOmega $ has a finite $\varepsilon $-net in $\mathcal{E}$} \}. $$

Notice that the Hausdorff MNC satisfies the semi-homogeneity condition, i.e.,

$$ \chi (\lambda \varOmega )= \vert \lambda \vert \chi (\varOmega ), $$

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

$$ \chi \bigl(\mathcal{L}(\varOmega )\bigr)= \Vert \mathcal{L} \Vert \chi (\varOmega ) $$

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:

$$ \Vert M \Vert =\sup_{x\in M} \Vert x \Vert _{\mathcal{E}}. $$

Definition 5

(see, e.g., [7, 10, 18])

Let X be a metric space. A multivalued map \(\mathcal{F}:X\rightarrow P(\mathcal{E})\) is called upper semicontinuous (u.s.c.) if

$$ \mathcal{F}^{-1}(V) = \bigl\{ x\in X:\mathcal{F}(x)\subset V \bigr\} $$

is an open subset of X for each open set \(V\subset \mathcal{E}\);

Definition 6

(see, e.g., [10, 18])

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:

  1. (i)

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

  2. (ii)

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

  3. (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, star-shaped 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

$$ A = \bigcap_{n \geq 1}A_{n}. $$

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}\)

$$ t: \varGamma _{\mathcal{F}} \to X, \qquad r: \varGamma _{\mathcal{F}} \to \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:

$$ \mathcal{F} = \mathcal{F}_{k} \circ F_{k-1} \circ \cdots \circ \mathcal{F}_{0}. $$

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.,

$$ \chi \bigl(\mathcal{F}(\varOmega )\bigr) \leq k \chi (\varOmega ) $$

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

$$ \int _{0}^{\tau }G(s) \,ds = \biggl\{ \int _{0}^{\tau }f(s) \,ds: f \in \mathcal{S}^{p}_{G}[0, \tau ] \biggr\} . $$

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, integrably-bounded multivalued function such that

$$ \chi \bigl(G(t)\bigr)\leq v(t) \quad \textit{for a.e.} \quad t \in [0,\tau], $$

where χ is the Hausdorff MNC in E and \(v(\cdot ) \in L^{1} _{+}(0,\tau )\). Then

$$ \chi \biggl( \int _{0}^{\tau }G(s) \,ds \biggr) \leq \int _{0}^{\tau }v(s) \,ds. $$

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

$$ \omega (t) \leq E_{q} \bigl(-\eta t^{q}\bigr) \omega (0) + \int _{0}^{t} (t-s)^{q-1}E _{q,q} \bigl(-\eta (t-s)^{q}\bigr) \bigl(K +k \omega (s) \bigr) \,ds $$

where \(K \geq 0\), \(0 < k < \eta \). Then

$$ \omega (t) \leq E_{q} \bigl((-\eta +k)t^{q} \bigr)\omega (0) + K \int _{0} ^{t} (t-s)^{q}E_{q,q} \bigl((-\eta +k) (t-s)^{q} \bigr) \,ds. $$

Existence result

For a semilinear fractional order differential inclusion in a separable Banach space E of the form

$$ {}^{C}D^{q}x(t)\in Ax(t)+ F\bigl(t,x(t)\bigr), \quad t\in [0,T], $$

consider the problem of existence of mild solutions to this inclusion satisfying the following boundary value condition:

$$ x(0)\in \Delta (x) $$

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:

  1. (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})\);

  2. (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. $$
\((\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]. $$


$$ \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

  1. (i)

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

  2. (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\);

  3. (iii)

    \(\mathfrak{f}(\varphi )=0\).

For a given \(x \in C([0,T];E)\), consider the multivalued function

$$ \varPhi _{x}:[0,T]\rightarrow Kv(E), \qquad \varPhi _{x}(t)= F \bigl(t,x(t)\bigr). $$

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

$$ \mathcal{P}^{\infty }_{F}(x)= \mathcal{S}_{\varPhi _{x}}^{\infty }. $$

Definition 13

(see, e.g., [15])

A mild solution to the Cauchy problem for inclusion (3.1) with initial condition

$$ x(0) = x_{0} \in E $$

on an interval \([0,T]\) is a function \(x \in C([0,T];E)\) which can be represented as

$$ x(t)=\mathcal{G}(t)x_{0}+ \int _{0}^{t}(t-s)^{q-1} \mathcal{T}(t-s) \phi (s) \,ds, \quad t\in [0,T], $$

where \(\phi \in \mathcal{P}^{\infty }_{F}(x)\),

$$\begin{aligned}& \mathcal{G}(t)= \int _{0}^{\infty } \xi _{q}(\theta ) U \bigl(t^{q}\theta \bigr)\,d \theta , \\& \mathcal{T}(t)=q \int _{0}^{\infty } \theta \xi _{q}(\theta )U \bigl(t^{q} \theta \bigr)\,d\theta , \end{aligned}$$

and the function \(\xi _{q}(\theta )\) is defined by (2.1)–(2.2).

Remark 2

(see, e.g. [34, 35])

\(\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

(see [34, 35])

The operator functions \(\mathcal{G}\) and \(\mathcal{T}\) possess the following properties:

  1. (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}$$
    $$\begin{aligned}& \bigl\Vert \mathcal{T}(t)x \bigr\Vert _{E}\leq \frac{qM}{\varGamma (1+q)} \Vert x \Vert _{E}, \end{aligned}$$


    $$ M = \sup_{t \geq 0} \bigl\Vert U(t) \bigr\Vert . $$
  2. (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\):

$$ E_{q}\bigl(-\eta t^{q}\bigr) = \mathcal{G}(t),\qquad E_{q,q}\bigl(-\eta t^{q}\bigr) = \mathcal{T}(t), \quad t \in [0,T]. $$

Then, taking into account that in this case \(U(t) = e^{-\eta t}\), from (3.5) and (3.6) we have the following estimates:

$$\begin{aligned}& E_{q}\bigl(-\eta t^{q}\bigr) \leq 1, \quad t \in [0,T], \end{aligned}$$
$$\begin{aligned}& E_{q,q}\bigl(-\eta t^{q}\bigr) \leq \frac{q}{\varGamma (1 +q)}, \quad t \in [0,T]. \end{aligned}$$

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

$$ \varSigma (x) = \varSigma ^{F}_{x}, $$

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)\).


$$ k := \mathfrak{f}(\xi ) < 1, $$

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.


Let \(\varOmega \subset D\) is a nonempty bounded set. For \(0 \leq t \leq T\) consider the set

$$ \varSigma (\varOmega ) (t)= \bigl\{ v(t): v\in \varSigma ^{F}_{x}[0,T], x \in \varOmega \bigr\} . $$

It is clear that \(\varSigma (\varOmega )(0)=\varOmega \) and

$$ \varSigma (\varOmega ) (t)\subseteq \mathcal{G}(t)\varOmega + \int _{0}^{t}(t-s)^{q-1} \mathcal{T}(t-s)F \bigl(s,\varSigma (\varOmega ) (s)\bigr)\,ds, \quad 0\leq t\leq T, $$

from where, by using property \((F3)\), we get for \(0 \leq t \leq T\):

$$\begin{aligned} \big\| \Sigma(\Omega)(t)\big\| &\leq \big\| \mathcal {G}(t)\big\| \|\Omega\|+\int_{0}^{t}(ts)^{ q-1}\big\| \mathcal {T}(t-s)\big\| \big\| F\big(s,\Sigma(\Omega)(s)\big)\big\| \,ds \\ &\leq \big\| \mathcal {G}(t)\big\| \|\Omega\|+\int_{0}^{t}\alpha (s)(t-s)^{q-1} \big\| \mathcal {T}(t-s)\big\| \big(1 + \big\| \Sigma\big(\Omega)(s)\big)\big\| \,ds. \end{aligned}$$

By using the estimates (see [3])

$$\begin{aligned}& \bigl\Vert \mathcal{G}(t) \bigr\Vert \leq E_{q} \bigl(-\eta t^{q}\bigr), \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \mathcal{T}(t) \bigr\Vert \leq E_{q.q} \bigl(-\eta t^{q}\bigr), \end{aligned}$$

we have

$$ \begin{aligned}[b] \bigl\Vert \varSigma (\varOmega ) (t) \bigr\Vert &\leq E_{q}\bigl(-\eta t^{q}\bigr) \Vert \varOmega \Vert \\&\quad{} + \int _{0} ^{t}\alpha (s) (t-s)^{q-1}E_{q,q} \bigl(-\eta (t-s)^{q}\bigr) \bigl(1 + \bigl\| \varSigma ( \varOmega ) (s)\bigr\Vert \bigr) \,ds. \end{aligned} $$

Applying estimates (3.7)–(3.8), we get

$$ \bigl\Vert \varSigma (\varOmega ) (t) \bigr\Vert \leq \Vert \varOmega \Vert + \frac{q}{\varGamma (1+q)} \int _{0}^{t}\alpha (s) (t-s)^{q-1} \bigl(1 + \bigl\| \varSigma (\varOmega ) (s)\bigr\Vert \bigr) \,ds, $$

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

$$ t \in [0,T] \rightarrow \chi \bigl(\varSigma (\varOmega ) (t)\bigr) $$

is measurable.

Applying the properties of the MNC χ (see Sect. 2.2), we get the following estimates:

$$\begin{aligned} \chi \bigl(\varSigma (\varOmega ) (t) \bigr)&\leq \chi \biggl(\mathcal{G}(t) \varOmega + \int _{0}^{t}(t-s)^{q-1} \mathcal{T}(t-s)F \bigl(s,\varSigma (\varOmega ) (s)\bigr)\,ds \biggr) \\ &\leq \bigl\Vert \mathcal{G}(t) \bigr\Vert \chi (\varOmega )+ \int _{0}^{t}(t-s)^{q-1} \bigl\Vert \mathcal{T}(t-s) \bigr\Vert \Vert \mu \Vert _{\infty }\chi \bigl(\varSigma ( \varOmega ) (s)\bigr)\,ds. \end{aligned}$$

By using estimates (3.9)–(3.10), we obtain

$$ \begin{aligned} \chi \bigl(\varSigma (\varOmega ) (t) \bigr)&\leq E_{q}\bigl(-\eta t^{q}\bigr)\chi \bigl(\varSigma (\varOmega ) (0) \bigr)\\&\quad{}+ \int _{0}^{t}(t-s)^{q-1} E_{q,q} \bigl(-\eta (t-s)^{q} \bigr) \Vert \mu \Vert _{\infty }\chi \bigl(\varSigma ( \varOmega ) (s) \bigr)\,ds. \end{aligned} $$

Applying Lemma 2 with \(K=0\), we get

$$ \chi \bigl(\varSigma (\varOmega ) (t) \bigr) \leq E_{q} \bigl(\bigl(-\eta + \Vert \mu \Vert _{\infty }\bigr)t^{q} \bigr)\chi (\varOmega ). $$

Now by using condition \((\Delta 2)\) and denoting \(\xi (t) = E_{q} ((-\eta + \|\mu \|_{\infty })t^{q} )\), we obtain

$$ \chi\big(\Delta\circ\Sigma(\Omega)\big) \leq \mathfrak{f}\bigl(\xi \chi(\Omega)\bigr) \leq \mathfrak{f}(\xi) \chi(\Omega) = k \chi(\Omega) $$

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

$$ \eta > \lambda , $$

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

$$ k := \mathfrak{f}(\xi ) < 1, $$

where \(\xi (t) = E_{q} ((-\eta + \lambda )t^{q})\), then problem (3.1)(3.2) has a solution.


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

$$ x(t) \in \mathcal{G}(t)x_{0}+ \int _{0}^{t}(t-s)^{q-1} \mathcal{T}(t-s)F \bigl(s, \varSigma ^{F}_{x_{0}}(s)\bigr)\,ds. $$

Consider a continuous function \(\rho : [0,T] \to \mathbb{R}\) given as

$$ \rho (t)= \bigl\Vert \varSigma ^{F}_{x_{0}}(t) \bigr\Vert _{E}. $$

Then we have the following estimates:

$$\begin{aligned} \rho (t) &\leq \biggl\Vert \mathcal{G}(t)x_{0}+ \int _{0}^{t}(t-s)^{q-1} \mathcal{T}(t-s)F \bigl(s,\varSigma ^{F}_{x_{0}}(s)\bigr)\,ds \biggr\Vert _{E} \\ &\leq \bigl\Vert \mathcal{G}(t) \bigr\Vert \Vert x_{0} \Vert _{E}+ \int _{0}^{t}(t-s)^{q-1} \bigl\Vert \mathcal{T}(t-s) \bigr\Vert \Vert \alpha \Vert _{\infty }\bigl(1+\rho (s)\bigr)\,ds. \end{aligned}$$

Applying estimates (3.9)–(3.10), we get

$$ \rho (t)\leq E_{q}\bigl(-\eta t^{q}\bigr)\rho (0)+ \int _{0}^{t}(t-s)^{q-1} E_{q,q} \bigl(- \eta (t-s)^{q}\bigr) \Vert \alpha \Vert _{\infty } \bigl(1+\rho (s)\bigr)\,ds. $$

By using Lemma 2, we obtain

$$\begin{aligned} \rho (t) &\leq E_{q}\bigl((-\eta + \lambda )t^{q}\bigr)\rho (0) + \Vert \alpha \Vert _{\infty } \int _{0}^{t} (t-s)^{q-1}E_{q,q} \bigl((-\eta + \lambda ) (t-s)^{q}\bigr) \,ds \\ &= \Vert x_{0} \Vert _{E} E_{q}\bigl((-\eta + \lambda )t^{q}\bigr) + \mathcal{C}, \end{aligned}$$


$$ \mathcal{C} = \Vert \alpha \Vert _{\infty } \int _{0}^{t} (t-s)^{q-1}E_{q,q} \bigl((- \eta + \lambda ) (t-s)^{q}\bigr) \,ds $$

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

$$ \bigl\Vert \Delta (x) \bigr\Vert _{E}\leq \mathfrak{f} \bigl( \bigl\Vert x(\cdot ) \bigr\Vert _{E} \bigr) +C\leq \mathfrak{f}( \rho ) +C\leq \mathfrak{f}\bigl(b(\cdot )\bigr)+C \leq \Vert x_{0} \Vert _{E} \mathfrak{f}(\xi ) + \mathfrak{f}(\mathcal{C})+C. $$

So, if we take

$$ R \geq \frac{\mathfrak{f}(\mathcal{C})+C}{1 - \mathfrak{f}(\xi )}, $$

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

$$ \widetilde{x}(0) \in \Delta (\widetilde{x}). $$


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

$$ D^{q}x_{h}(t)\in A_{h}x_{h}(t)+ F_{h}\bigl(t,x_{h}(t)\bigr), \quad t\in [0,T], $$

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

$$ P_{h}Q_{h}=I_{h}, $$

where \(I_{h}\) is the identity on \(E_{h}\) and

$$ Q_{h}P_{h}x\rightarrow x $$

as \(h \to 0\) for each \(x \in E\). We suppose that the operators \(P_{h}\) and \(Q_{h}\) are uniformly bounded

$$ \Vert P_{h} \Vert \leq 1,\qquad \Vert Q_{h} \Vert \leq 1 $$

for all \(h \in H\).

The nonlocal boundary value condition for inclusion (4.1) will be considered of the following form:

$$ x_{h}(0)\in P_{h}\Delta \bigl(Q_{h}x_{h}(\cdot )\bigr). $$

For inclusion (4.1), besides condition (4.5), we will need the initial condition of the form

$$ x_{h}(0) = y_{0}^{h}, $$

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

$$ x_{h}(t)=\mathcal{G}_{h}(t)x_{h}(0)+ \int _{0}^{t}(t-s)^{q-1} \mathcal{T}_{h}(t-s) f_{h}(s) \,ds, \quad t\in [0,T], $$

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:

$$ \mathcal{G}_{h}(t)= \int _{0}^{\infty } \xi _{q}(\theta ) U_{h}\bigl(t^{q} \theta \bigr)\,d\theta , \qquad \mathcal{T}_{h}(t)=q \int _{0}^{\infty } \theta \xi _{q}(\theta )U_{h}\bigl(t ^{q} \theta \bigr)\,d\theta . $$

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:

$$ Q_{h}(A_{h} + \lambda I)^{-1}P_{h}x \rightarrow (A + \lambda I)^{-1}x, \quad \forall x \in E. $$

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:

$$\begin{aligned}& Q_{h}\mathcal{G}_{h}(t)P_{h}x \rightarrow \mathcal{G}(t)x, \end{aligned}$$
$$\begin{aligned}& Q_{h}\mathcal{T}_{h}(t)P_{h}x \rightarrow \mathcal{T}(t)x, \end{aligned}$$

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

$$ G(h,x) (t)=\biggl\{ y \colon y(t) = Q_{h} \mathcal{G}_{h}(t)P_{h} x(0)+ \int _{0}^{t}(t-s)^{q-1} Q_{h} \mathcal{T}_{h}(t-s) f_{h}(s)\,ds\biggr\} , $$

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

$$ \overline{x}_{h} = P_{h}\overline{x} $$

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

$$ \varTheta ^{h}(x)= \bigl\{ z\in P_{h}\Delta \bigl(Q_{h}x_{h}(\cdot )\bigr): x_{h} \in \varSigma ^{F_{h}}_{P_{h}x} \bigr\} , $$

where \(D_{h} \subset E_{h}\) is an open subset.

Consider the family of multivalued maps \(\varGamma :H\times E \rightarrow E\)

$$ \varGamma (h,x)=Q_{h}\varTheta ^{h}P_{h}x,\quad x\in 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)\).


$$ m := \mathfrak{f}(\zeta ) < 1, $$

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

$$ \chi _{E}\bigl(\varGamma (H\times \varOmega )\bigr)\leq m \chi _{E}(\varOmega ). $$


Let \(\varOmega \subset E\) be a nonempty bounded set.

For \(h \in H\) and \(0 \leq t \leq T\) consider the set

$$ \varSigma _{h}(\varOmega ) (t)= \bigl\{ y(t): y\in \varSigma ^{F_{h}}_{x^{h}}, x ^{h}=P_{h}x, x \in \varOmega \bigr\} . $$

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

$$ \bigcup_{h\in H}Q_{h} \varSigma _{h}(\varOmega ) (t)\subseteq \bigcup_{h \in H} \biggl(Q_{h}\mathcal{G}_{h}(t)P_{h}\varOmega + \int _{0}^{t}(t-s)^{q-1} Q_{h} \mathcal{T}_{h}(t-s)F_{h}\bigl(s,P_{h}(\varOmega ) (s)\bigr)\,ds \biggr). $$

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

$$ t \in [0,T] \rightarrow \chi \biggl(\bigcup_{h\in H}Q_{h} \varSigma _{h} ( \varOmega ) (t)\biggr) $$

is measurable and evidently bounded.

Applying the properties of the MNC χ (see Sect. 2) and \((H2)\), (4.4) we get the following estimates:

$$\begin{aligned}& \chi \biggl(\bigcup_{h\in H}Q_{h} \varSigma _{h}(\varOmega ) (t) \biggr) \\& \quad \leq \chi \biggl(\bigcup_{h\in H} \biggl(Q_{h} \mathcal{G}_{h}(t)P_{h} \varOmega + \int _{0}^{t}(t-s)^{q-1} Q_{h} \mathcal{T}_{h}(t-s)P_{h} Q_{h} F_{h} \bigl(s,P_{h}Q_{h}\varSigma _{h}(\varOmega ) (s) \bigr)\,ds \biggr) \biggr)\\& \quad \leq \sup_{h\in H}\Bigg(\|Q_{h}\|\big\| \mathcal {G}_{h}(t)\big\| \|P_{h}\|\chi(\Omega) \\& \quad\quad{} +\int_{0}^{t}(t-s)^{q-1} \|Q_{h}\| \big\| \mathcal {T}_{h}(t-s) \big\| \|P_{h}\| \chi \Bigg(\bigcup_{h\in H} Q_{h} F_{h} \big(s,P_{h}Q_{h}\Sigma_{h}(\Omega) (s)\big)\Bigg)\,ds \Bigg) \\& \quad \leq \sup_{h\in H} \biggl( \bigl\Vert \mathcal{G}_{h}(t) \bigr\Vert \chi ( \varOmega )+ \int _{0}^{t}(t-s)^{q-1} \bigl\Vert \mathcal{T}_{h}(t-s) \bigr\Vert k \chi \biggl(\bigcup _{h\in H}Q_{h}\varSigma _{h}(\varOmega ) (s) \biggr)\,ds \biggr). \end{aligned}$$

Applying estimates (3.9)–(3.10), we have

$$\begin{aligned}& \chi \biggl(\bigcup_{h\in H}Q_{h} \varSigma _{h}(\varOmega ) (t) \biggr) \\& \quad \leq E_{q}\bigl(-\eta t^{q}\bigr)\chi \biggl(\bigcup _{h\in H}Q_{h} P_{h}\varSigma _{h}( \varOmega ) (0) \biggr)\\& \qquad {}+ \int _{0}^{t}(t-s)^{q-1} E_{q,q} \bigl(-\eta (t-s)^{q} \bigr)k\chi \biggl(\bigcup _{h\in H}Q_{h} \varSigma _{h}(\varOmega ) (s) \biggr)\,ds. \end{aligned}$$

By using Lemma 2 with \(K=0\), we get

$$ \chi \biggl(\bigcup_{h\in H}Q_{h} \varSigma _{h}(\varOmega ) (t) \biggr) \leq E_{q} \bigl((-\eta + m)t^{q} \bigr) \chi (\varOmega ). $$

Applying condition \((\Delta 2)\), we have

$$ \chi \bigl(\varGamma (H\times \varOmega )\bigr) = \chi \biggl(\bigcup _{h\in H}\Delta Q_{h} \varSigma _{h}(\varOmega ) \biggr) \leq \mathfrak{f}(\zeta )\chi ( \varOmega ) = m \chi (\varOmega ). $$


Consider now fixed points

$$ x^{h} \in \varGamma \bigl(h,x^{h}\bigr) $$

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).


Notice that by Theorem 5 we have

$$ \bar{\chi \bigl(\bigl\{ x^{h_{n}}\bigr\} \bigr)} \leq m \chi \bigl(\bigl\{ x^{h_{n}}\bigr\} \bigr), $$

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

$$ \kappa ^{h_{n}}(0) = P_{h_{n}}x^{h_{n}}. $$

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

$$ G(h,\nu ) = \biggl\{ y \colon y(t) = Q_{h}\mathcal{G}_{h}(t) \kappa ^{h_{n}} (0) + \int _{0}^{t}(t-s)^{q-1}Q_{h} \mathcal{T}_{h}(t-s)f_{h}(s) \,ds\biggr\} , $$

where \(f_{h} \in \mathcal{P}^{\infty }_{Q_{h}F_{h}P_{h}}(\nu ^{h})\) and, moreover,

$$ \nu ^{h_{n}}(0) \in \Delta \bigl(\nu ^{h_{n}} \bigr), $$

which is equivalent to

$$ \kappa ^{h_{n}}(0) \in P_{h_{n}}\Delta \bigl(Q_{h_{n}} \kappa ^{h_{n}}\bigr). $$

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:

$$ \chi \bigl(\bigl\{ \nu ^{h_{n}}(t)\bigr\} \bigr) \leq \int _{0}^{t} (t-s)^{q-1}E _{q,q} \bigl(-\eta (t-s)^{q}\bigr) \Vert \mu \Vert _{\infty }\chi \bigl(\nu ^{h_{n}}(s)\bigr) \,ds. $$

Applying Lemma 2, we get

$$ \chi \bigl(\bigl\{ \nu ^{h_{n}}(t) \bigr\} \bigr) \equiv 0, \quad t \in [0,T]. $$

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

$$ v^{h_{n}} (t) = \int _{0}^{t}(t-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t-s)P _{h_{n}}f_{h_{n}}(s) \,ds, $$

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

$$ \chi \bigl(\bigl\{ f_{h_{n}}(s)\bigr\} \bigr) = 0 \quad \mbox{a.e. }s \in [0,T]. $$

From condition \((F3)\) applied to \(F_{h_{n}}\), we get the uniform boundedness estimate

$$ \Vert f_{h_{n}} \Vert _{L^{\infty }} \leq C, $$

where \(C > 0\) is a certain constant.

Now, for a given \(\varepsilon > 0\) choose \(d > 0\) such that

$$ \frac{Cd^{q}}{\varGamma (1+q)} < \varepsilon . $$


$$ \biggl\Vert \int _{t-d}^{t}(t-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t-s)P_{h_{n}}f _{h_{n}}(s) \,ds \biggr\Vert < \varepsilon . $$

It remains to demonstrate only the equicontinuity of the functions \(\{w^{h_{n}}\}\) defined for \(t > d\) as

$$ w^{h_{n}}(t) = \int _{0}^{t-d}(t-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t-s)P _{h_{n}}f_{h_{n}}(s) \,ds. $$

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

$$ f_{h_{n}}(s) \in W_{\delta }(K_{\delta }) \quad \mbox{a.e. } s \in [0,T-\delta ] \setminus m_{\delta }, $$

where \(W_{\delta }\) denotes the δ-neighborhood of the set \(K_{\delta }\). But then

$$\begin{aligned} w^{h_{n}}(t) &= \int _{[0,t-d] \cap m_{\delta }}(t-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t-s)P_{h_{n}}f_{h_{n}}(s) \,ds \\ &\quad {}+ \int _{[0,t-d] \setminus m_{\delta }}(t-s)^{q-1}Q_{h_{n}}\mathcal{T} _{h_{n}}(t-s)P_{h_{n}}f_{h_{n}}(s) \,ds. \end{aligned}$$

Notice that the first term in this sum may be estimated in norm by the value

$$ \frac{d^{q-1}C}{\varGamma (1+q)} \delta , $$

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

$$ \bigl\Vert (t_{2}-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t_{2}-s)P_{h_{n}}f_{h _{n}}(s) - (t_{1}-s)^{q-1}Q_{h_{n}}\mathcal{T}_{h_{n}}(t_{1}-s)P_{h _{n}}f_{h_{n}}(s) \bigr\Vert < \varepsilon , $$

provided γ is sufficiently small. Therefore

$$\begin{aligned}& \int _{[0,t_{1}-d] \setminus m_{\delta }} \bigl\Vert (t_{2}-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t_{2}-s)P_{h_{n}}f_{h_{n}}(s) - (t_{1}-s)^{q-1}Q _{h_{n}}\mathcal{T}_{h_{n}}(t_{1}-s)P_{h_{n}}f_{h_{n}}(s) \bigr\Vert \,ds \\& \quad < \varepsilon (t_{1} - d) < \varepsilon T. \end{aligned}$$

At last,

$$ \int _{t_{1}-d}^{t_{2}-d} \bigl\Vert (t_{2}-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t _{2}-s)P_{h_{n}}f_{h_{n}}(s) \bigr\Vert \,ds \leq \frac{C}{q} \bigl(d^{q} - (d- \gamma )^{q} \bigr) < \varepsilon , $$

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

$$ \nu ^{0}(0) = x^{0}. $$

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}}\),

$$ \widetilde{f}_{i} = \sum_{n=i}^{\infty } \epsilon _{in}f_{h_{n}}, $$

which converges a.e. on \((0,T)\) to a function \(\widetilde{f}_{0}\) such that

$$ \widetilde{f}_{0}(t) \in F\bigl(\nu _{0}(t)\bigr)\quad \mbox{a.e. } t \in [0,T]. $$

Applying the Lebesgue convergence theorem and properties (4.8)–(4.9), we can pass to the limit as \(n \to \infty \) in the equality

$$ \nu ^{h_{n}}(t) = Q_{h_{n}}\mathcal{G}_{h_{n}}(t)P_{h_{n}}x^{h_{n}} + \int _{0}^{t} (t-s)^{q-1}Q_{h_{n}} \mathcal{T}_{h_{n}}(t-s)P_{h_{n}}f _{h_{n}}(s) \,ds $$

and obtain

$$ \nu ^{0}(t) = \mathcal{G}(t)x^{0} + \int _{0}^{t} (t-s)^{q-1} \mathcal{T}(t-s) \widetilde{f}_{0}(s) \,ds, $$

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

$$ \nu ^{0}(0) = x^{0} \in \Delta \bigl(\nu ^{0} \bigr), $$

which concludes the proof. □


  1. 1.

    Abbas, S., Benchohra, M., N’Guerekata, G.M.: Topics in Fractional Differential Equations, Developments in Mathematics. Springer, New York (2012)

    Google Scholar 

  2. 2.

    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)

    Google Scholar 

  3. 3.

    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)

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods. World Scientific, New York (2012)

    Google Scholar 

  5. 5.

    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)

    MathSciNet  Article  Google Scholar 

  6. 6.

    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)

    MathSciNet  Article  Google Scholar 

  7. 7.

    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)

    Google Scholar 

  8. 8.

    Diestel, J., Ruess, W.M., Schachermayer, W.: Weak compactness in \(L^{1}(\mu ,X)\). Proc. Am. Math. Soc. 118, 447–453 (1993)

    MATH  Google Scholar 

  9. 9.

    Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)

    Google Scholar 

  10. 10.

    Górniewicz, L.: Topological Fixed Point Theory of Multivalued Mappings. Topological Fixed Point Theory and Its Applications, vol. 4, 2nd edn. Springer, Dordrecht (2006)

    Google Scholar 

  11. 11.

    Gurova, I.N.: On semidiscretization methods for quasilinear equations with a noncompact semigroup. Russ. Math. (Izv. VUZ) 44(4), 58–63 (2000)

    MathSciNet  Google Scholar 

  12. 12.

    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)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

    Google Scholar 

  14. 14.

    Hyman, D.H.: On decreasing sequences of compact absolute retracts. Fundam. Math. 64, 91–97 (1969)

    MathSciNet  Article  Google Scholar 

  15. 15.

    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)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kamenskii, M., Obukhovskii, V., Petrosyan, G., Yao, J.-C.: On approximate solutions for a class of semilinear fractional-order differential equations in Banach spaces. Fixed Point Theory Appl. 2017, 28 (2017)

    MathSciNet  Article  Google Scholar 

  17. 17.

    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)

    MathSciNet  Article  Google Scholar 

  18. 18.

    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)

    Google Scholar 

  19. 19.

    Kato, T.: Perturbation Theory for Linear Operators. Springer, Berlin (1980)

    Google Scholar 

  20. 20.

    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)

    MathSciNet  MATH  Google Scholar 

  21. 21.

    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)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Google Scholar 

  23. 23.

    Lakshmikantham, V.: Theory of fractional functional differential equations. Nonlinear Anal. 69(10), 3337–3343 (2008)

    MathSciNet  Article  Google Scholar 

  24. 24.

    Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal. 69(8), 2677–2682 (2008)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Liu, R., Li, M., Piskarev, S.: Approximation of semilinear fractional Cauchy problem. Comput. Methods Appl. Math. 15(2), 203–212 (2015)

    MathSciNet  Article  Google Scholar 

  26. 26.

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

    Google Scholar 

  27. 27.

    Obukhovskii, V., Yao, J.-C.: Some existence results for fractional functional differential equations. Fixed Point Theory 11(1), 85–96 (2010)

    MathSciNet  MATH  Google Scholar 

  28. 28.

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

    Google Scholar 

  29. 29.

    Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)

    Google Scholar 

  30. 30.

    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)

    Google Scholar 

  31. 31.

    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)

    Google Scholar 

  32. 32.

    Vainikko, G.: Approximative methods for nonlinear equations (two approaches to the convergence problem). Nonlinear Anal. 2(6), 647–687 (1978)

    MathSciNet  Article  Google Scholar 

  33. 33.

    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)

    MathSciNet  Article  Google Scholar 

  34. 34.

    Zhang, Z., Liu, B.: Existence of mild solutions for fractional evolution equations. Fixed Point Theory 15(1), 325–334 (2014)

    MathSciNet  MATH  Google Scholar 

  35. 35.

    Zhou, Y.: Fractional Evolution Equations and Inclusions: Analysis and Control. Elsevier, London (2016)

    Google Scholar 

  36. 36.

    Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59(3), 1063–1077 (2010)

    MathSciNet  Article  Google Scholar 

Download references


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 Yat-Sen 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.


The work is supported by the joint Taiwan MOST—Russia RFBR grant 17-51-52022. 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 106-2923-E-039-001-MY3.

Author information




All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jen-Chih Yao.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information


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 (, 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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).

Download citation


  • 34A45
  • 34A08
  • 34G20
  • 47H08
  • 47H10
  • 47H11


  • Fractional differential equation
  • Semilinear differential equation
  • Cauchy problem
  • Approximation
  • Semidiscretization
  • Index of the solution set
  • Fixed point
  • Condensing map
  • Measure of noncompactness