Skip to main content

Theory and Modern Applications

On fractional differential equations and inclusions with nonlocal and average-valued (integral) boundary conditions


This paper is concerned with the existence of solutions for boundary value problems of fractional differential equations and inclusions supplemented with nonlocal and average-valued (integral) boundary conditions. The existence results for the single-valued case (equations) are obtained by means of fixed point theorems due to O’Regan and Sadovski, whereas the existence of solutions for the multivalued case (inclusions) is established via nonlinear alternative for contractive maps. The obtained results are well illustrated by examples.

1 Introduction

The study of fractional differential equations has recently attracted the attention of many researchers and modelers. The interest in the subject owes to its widespread applications in a variety of applied sciences and engineering disciplines such as biological sciences, ecology, aerodynamics, control theory, viscoelasticity, electro-dynamics of complex medium, electron-analytical chemistry, environmental issues, et cetera. The recent trend in the mathematical modeling of several phenomena indicates the popularity of fractional calculus modeling tools due to the nonlocal characteristic of fractional-order differential and integral operators, which are capable of tracing the past history of many materials and processes; see, for instance, [17] and the references therein.

Differential inclusions, regarded as a generalization of differential equations and inequalities, have very important and interesting applications in optimal control theory and stochastic processes [8]. In fact, the tools of differential inclusions facilitate the investigation of dynamical systems having velocities not uniquely determined by the state of the system.

Boundary value problems of fractional-order differential equations and inclusions supplemented with several kinds of conditions such as classical, nonlocal, multipoint, periodic/antiperiodic, fractional-order, and integral boundary conditions have extensively been investigated by many researchers. In particular, the study of nonlocal boundary value problems finds interesting applications in physical and chemical processes, where the classical initial/boundary conditions fail to describe some peculiar phenomena occurring inside the domain. On the other hand, integral boundary conditions help to formulate computational fluid dynamics (blood flow) problems in a better way as such conditions allow one to describe the cross-section of vessels in a more realistic arbitrary manner instead of always assuming circular type cross-section [9]. Also, ill-posed parabolic backward problems in time partial differential equations can be regularized with the aid of integral boundary conditions; see, for example, mathematical models for bacterial self-regularization [10]. For details and examples, we refer the reader to a variety of results [1126]. In a recent article [27], the authors studied a boundary value problem of fractional differential equations with nonlocal and average-type integral boundary conditions given by

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)= f(t,x(t), {}^{\mathrm{c}}D^{\beta}x(t)), \quad 0< t< 1, \\ x(0)+x'(0)= h(x),\qquad \int_{0}^{\eta}x(t)\,dt=\xi, \quad 0< \eta < 1, \xi\in{\mathbb{R}}, \\ x''(0)=x'''(0)=\cdots=x^{(n-1)}(0)=0, \end{array}\displaystyle \right . $$

where \({}^{\mathrm{c}}D^{\alpha}\) and \({}^{\mathrm{c}}D^{\beta}\) denote the Caputo fractional derivatives of orders α and β with \(n-1<\alpha<n\) (\(n\ge 2\)) and \(0<\beta<1\), and \(f: [0,1]\times{\mathbb{R}}\times{\mathbb{R}}\to{\mathbb{R}}\) and \(h: C([0,1], {\mathbb{R}})\to{\mathbb{R}}\) are continuous functions. Applying the Leray-Schauder nonlinear alternative, Krasnoselskii’s fixed point theorem and Banach’s fixed point theorem together with Hölder inequality, some existence results for problem (1.1) were obtained.

The objective of the present paper is to continue the study initiated in [27] and provide a variety in the existence criteria for solutions of the problem at hand. Precisely, we establish two more existence results for problem (1.1), which are based on fixed point theorems due to O’Regan and Sadovski (Section 3). Then we switch onto investigating the multivalued analogue of (1.1)

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)\in F(t,x(t), {}^{\mathrm{c}}D^{\beta}x(t)), \quad 0< t< 1, \\ x(0)+x'(0)= h(x), \qquad \int_{0}^{\eta}x(t)\,dt=\xi, \quad 0< \eta < 1, \\ x''(0)=x'''(0)=\cdots=x^{(n-1)}(0)=0, \end{array}\displaystyle \right . $$

where \(F : [0,1] \times\mathbb{R}\times\mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) is a multivalued map, and \({\mathcal{P}}(\mathbb{R})\) is the family of all nonempty subsets of \(\mathbb{R}\). In Section 4, we discuss the existence of solutions for problem (1.2) by means of the nonlinear alternative for contractive maps.

2 Preliminaries

In this section, we present some basic definitions on fractional calculus and an auxiliary lemma [1, 3].

Definition 2.1

The fractional integral of order r with the lower limit zero for a function f is defined as

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

provided that the right-hand side is pointwise defined on \([0,\infty)\), where Γ is the gamma function defined by \(\Gamma(r)=\int_{0}^{\infty}t^{r-1}e^{-t}\,dt\).

Definition 2.2

The Riemann-Liouville fractional derivative of order \(r>0\), \(n-1< r< n\), \(n\in N\), of a function f is defined as

$$D_{0+}^{r}f(t)=\frac{1}{\Gamma(n-r)} \biggl(\frac{d}{dt} \biggr)^{n} \int_{0}^{t} (t-s)^{n-r-1}f(s)\,ds, $$

provided that the function f has absolutely continuous derivatives up to order \((n-1)\).

Definition 2.3

The Caputo derivative of order r of a function \(f:[0,\infty)\to R\) is defined as

$$ {}^{\mathrm{c}}D^{r} f(t)= D^{r} \Biggl(f(t)-\sum _{k=0}^{n-1}\frac{t^{k}}{k!}f^{(k)}(0) \Biggr),\quad t>0, n-1< r< n. $$

Remark 2.1

If \(f(t)\in C^{n}[0,\infty)\), then

$${}^{\mathrm{c}}D^{r}f(t)= \frac{1}{\Gamma(n-r)} \int_{0}^{t} \frac{f^{(n)}(s)}{(t-s)^{r+1-n}}\,ds = I^{n-r}f^{(n)}(t),\quad t>0, n-1< q< n. $$

We need the following known lemma [27].

Lemma 2.1

Let \(y\in \mathit{AC} [0, 1]\) and \(x\in \mathit{AC}^{n}[0,1]\). Then the linear problem

$$ \left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D^{\alpha}x(t)=y(t), \quad 0< t< 1, \\ x(0)+x'(0)= h(x),\qquad \int_{0}^{\eta}x(t)\,dt=\xi, \quad 0< \eta < 1, \\ x''(0)=x'''(0)=\cdots=x^{(n-1)}(0)=0, \end{array}\displaystyle \right . $$

is equivalent to the fractional integral equation

$$\begin{aligned} x(t) =& \int_{0}^{t} \frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}y(s)\,ds+ \frac {2(1-t)}{\eta(2-\eta)}\xi+\frac{2t-\eta}{2-\eta}h(x) \\ &{}+\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta -s)^{\alpha}}{\Gamma(\alpha+1)}y(s)\,ds. \end{aligned}$$

3 Existence results for a single-valued problem

Define the space \(X = \{x|x\in C([0,1],{\mathbb{R}}) \mbox{ and } {}^{\mathrm{c}}D^{\beta}x \in C([0,1],{\mathbb{R}}) \}\) equipped with the norm \(\|x\|_{X}=\|x\|+\|{}^{\mathrm{c}}D^{\beta}x\|=\sup_{t\in [0,1]}|x(t)|+\sup_{t\in[0,1]}|{}^{\mathrm{c}}D^{\beta}x(t)|\). Clearly, \((X, \|\cdot\|_{X})\) is a Banach space [28].

In view of Lemma 2.1, we introduce the operator \(F: X \to X\) by

$$\begin{aligned} F(x) (t) =& \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds+\frac{2(1-t)}{\eta(2-\eta)}\xi+ \frac {2t-\eta}{2-\eta}h(x) \\ &{}+\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta -s)^{\alpha}}{\Gamma(\alpha+1)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds, \end{aligned}$$

which can be expressed as

$$ ( F x) (t)=( F_{1} x) (t)+( F_{2} x) (t), \quad t \in[0,1], $$

where \(F_{1, 2}: X \to X\) are given by

$$\begin{aligned}& (F_{1} x) (t)= \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds \\& \hphantom{(F_{1} x)(t)={}}{} +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds, \end{aligned}$$
$$\begin{aligned}& (F_{2} x) (t)= \frac{2(1-t)}{\eta(2-\eta)}\xi+ \frac {2t-\eta}{2-\eta}h(x). \end{aligned}$$

For computational convenience, we set the notations

$$ \Lambda_{1}:=\frac{1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha +2)}+ \frac{1}{\Gamma(\alpha-\beta+1)}+ \frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} $$


$$ \Lambda_{2}:=\frac{2|\xi|}{\eta} \biggl(1+ \frac{1}{\Gamma(2-\beta )} \biggr),\qquad \Lambda_{3}=2+\eta+ \frac{2}{\Gamma(2-\beta)}. $$

Our first existence result relies on a fixed point theorem of O’Regan [29].

Lemma 3.1

Denote by U an open set in a closed convex set C of a Banach space E. Assume that \(0\in U\). Also assume that \(F({\bar{U}})\) is bounded and that \(F: {\bar{U}}\to C\) is given by \(F = F_{1} + F_{2}\), where \(F_{1}: {\bar{U}}\to E\) is continuous and completely continuous, and \(F_{2}: {\bar{U}}\to E\) is a nonlinear contraction (i.e., there exists a nonnegative nondecreasing function \(\phi: [0,\infty)\to[0,\infty)\) such that \(\phi(z)< z\) for \(z > 0\) and \(\|F_{2}(x)-F_{2}(y) \|\le\phi(\| x-y\|)\) for all \(x, y \in{\bar{U}}\)). Then, either

  1. (C1)

    F has a fixed point \(u\in{\bar{U}}\); or

  2. (C2)

    there exist a point \(u\in\partial U\) and \(\lambda\in(0,1)\) with \(u = \lambda F(u)\), where Ū and ∂U, respectively, represent the closure and boundary of U.

In the proof of the next result, we use the notations

$$\Omega_{r}=\bigl\{ x\in X: \Vert x\Vert _{X}< r\bigr\} $$


$$M_{r}=\max\bigl\{ \bigl\vert f(t,x,y)\bigr\vert : (t,x)\in[0,1] \times[-r,r]\times[-r,r]\bigr\} . $$

Theorem 3.1

Assume that:


\(h : C([0, 1], \mathbb{R}) \to\mathbb{R}\) is a continuous function satisfying the condition

$$\bigl\vert h(u)-h(v)\bigr\vert \le\ell\|u-v\|, \quad \forall u,v\in C \bigl([0, 1], \mathbb {R}\bigr), $$

with \(\ell>0\) such that \(\ell\Lambda_{3}<1\), where \(\Lambda_{3}\) is given by (3.5);




there exist a nonnegative function \(p\in C([0,1], {\mathbb{R}})\) and nondecreasing functions \(\psi_{i}: {\mathbb{R}}^{+}\to {\mathbb{R}}^{+}\), \(i=1,2\), such that

$$\bigl\vert f(t,x,y)\bigr\vert \le p(t) \bigl(\psi_{1}\bigl(\vert x\vert \bigr)+\psi_{2}\bigl(\vert y\vert \bigr)\bigr) $$

for all \((t,x,y) \in[0,1] \times{\mathbb{R}}\times{\mathbb{R}}\);


\(\sup_{r\in (0,\infty)}\frac{r}{\Lambda_{1} \|p\| [\psi_{1}(r)+\psi_{2}(r)]+\Lambda_{2} }>\frac{1}{1- \ell\Lambda_{3}}\), where \(\Lambda_{1}\) is given by (3.4) and \(\Lambda_{i}\), \(i=2, 3\), are defined by (3.5) (note that \(\ell\Lambda_{3}<1\) by (A1)).

Then the boundary value problem (1.1) has at least one solution on \([0,1]\).


By assumption (A4), there exists a number \(r_{0}>0\) such that

$$ \frac{r_{0}}{\Lambda_{1} \|p\| [\psi_{1}(r_{0})+\psi_{2}(r_{0})]+\Lambda_{2} }>\frac{1}{1- \ell \Lambda_{3}}. $$

We shall show that the operators \(F_{1}\) and \(F_{2}\) defined by (3.2) and (3.3), respectively, satisfy all the conditions of Lemma 3.1.

Step 1. The operator \(F_{1}\) is completely continuous. We first show that \(F_{1}({\bar{\Omega}_{r_{0}}})\) is bounded. For any \(x\in{\bar{\Omega}_{r_{0}}}\), we have

$$\begin{aligned} \| F_{1}x\| \le& \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha )}\bigl\vert f \bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\bigr\vert \,ds \\ &{} +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac {(\eta-s)^{\alpha}}{\Gamma(\alpha+1)}\bigl\vert f \bigl(s, x(s), {}^{\mathrm{c}}D^{\beta }x(s)\bigr)\bigr\vert \,ds \\ \le& \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha )}\bigl\vert f \bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\bigr\vert \,ds \\ &{} +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{1}\frac {(1-s)^{\alpha}}{\Gamma(\alpha+1)}\bigl\vert f \bigl(s, x(s), {}^{\mathrm{c}}D^{\beta }x(s)\bigr)\bigr\vert \,ds \\ \le&M_{r} \biggl[\frac{1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha +2)} \biggr] \end{aligned}$$


$$\begin{aligned} \bigl\Vert {}^{\mathrm{c}}D^{\beta}(F_{1}x)\bigr\Vert \le&M_{r} \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta }}{\Gamma(\alpha-\beta)} \,ds +M_{r} \frac{2t^{1-\beta}}{\eta\Gamma(2-\beta)} \int_{0}^{\eta}\frac {(\eta-s)^{\alpha}}{\Gamma(\alpha+1)} \,ds \\ \le&M_{r} \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta}}{\Gamma(\alpha -\beta)} \,ds +M_{r} \frac{2}{\eta\Gamma(2-\beta)} \int_{0}^{1}\frac{(1-s)^{\alpha }}{\Gamma(\alpha+1)} \,ds \\ \le&M_{r} \biggl\{ \frac{1}{\Gamma(\alpha-\beta+1)}+\frac{2}{\eta \Gamma(2-\beta)} \frac{1}{\Gamma(\alpha+2)} \biggr\} . \end{aligned}$$

Consequently, we have

$$\begin{aligned} \| F_{1}x\|_{X} =&\| F_{1}x\|+\bigl\Vert {}^{\mathrm{c}}D^{\beta}(F_{1}x)\bigr\Vert \\ \le& M_{r} \biggl\{ \frac{1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha +2)}+ \frac{1}{\Gamma(\alpha-\beta+1)} +\frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} , \end{aligned}$$

which shows that the operator \(F_{1}({\bar{\Omega}_{r_{0}}})\) is uniformly bounded.

Further, for \(0\le t_{1}< t_{2}\le1\), we have

$$\begin{aligned} \bigl\vert (F_{1}x) (t_{2})-(F_{1}x) (t_{1})\bigr\vert \le&\biggl\vert \frac{1}{\Gamma(\alpha)} \int _{0}^{t_{1}}\bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr]f\bigl(s,x(s), {}^{\mathrm{c}}D^{\beta }x(s)\bigr)\,ds \\ &{}+ \frac{1}{\Gamma(\alpha)} \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha -1}f \bigl(s,x(s), {}^{\mathrm{c}}D^{\beta}x(t)\bigr)\,ds\biggr\vert \\ &{}+\frac{2(t_{2}-t_{1})}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta -s)^{\alpha}}{\Gamma(\alpha+1)}\bigl\vert f \bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\bigr\vert \,ds \\ \le& \frac{M_{r}}{\Gamma(\alpha+1)}\bigl(t_{2}^{\alpha}-t_{1}^{\alpha}\bigr) +\frac{2M_{r}(t_{2}-t_{1})}{\eta\Gamma(\alpha+2)} \end{aligned}$$


$$\begin{aligned} \bigl\vert {}^{\mathrm{c}}D^{\beta}(F_{1}x) (t_{2})- {}^{\mathrm{c}}D^{\beta}(F_{1}x) (t_{1})\bigr\vert \le&\frac {M_{r}}{\Gamma(\alpha-\beta+1)} \bigl(t_{2}^{\alpha-\beta -1}-t_{1}^{\alpha-\beta-1} \bigr) \\ &{}+\frac{2M_{r}}{\eta\Gamma(\alpha+2)\Gamma(2-\beta)}\bigl(t_{2}^{1-\beta }-t_{1}^{1-\beta} \bigr). \end{aligned}$$

Obviously, \(\|(F_{1}x)(t_{2})-(F_{1}x)(t_{1})\|_{X}\to0\) as \(t_{2}\to t_{1}\). Hence, the operator \(F_{1}\) is equicontinuous. Thus, it follows by the Arzelá-Ascoli theorem that \(F_{1}({\bar{\Omega}_{r_{0}}})\) is relatively compact.

Now, let \(x_{n}\subset{\bar{\Omega}_{r_{0}}}\) with \(\|x_{n}-x\|_{X}\to0\). Then the limit \(\|x_{n}(t)-x(t)\|\to0\) uniformly on \([0,1]\). From the uniform continuity of \(f(t,x,y)\) on the compact set \([0,1]\times[-r_{0},r_{0}]\times[-r_{0},r_{0}]\) it follows that \(\|f(t,x_{n}(t), {}^{\mathrm{c}}D^{\beta}x_{n}(t))-f(t,x(t), {}^{\mathrm{c}}D^{\beta}x(t))\|\to0\) uniformly on \([0,1]\). Hence, \(\| F_{1}x_{n}- F_{1}x\|_{X}\to0\) as \(n\to\infty\), which proves the continuity of \(F_{1}\). This completes the proof of Step 1.

Step 2. The operator \({ F_{2}}: {\bar{\Omega}_{r_{0}}}\to X\) is contractive. This is a consequence of (A2). Indeed, for \(x,y\in X\), we have

$$\begin{aligned} \bigl\vert (F_{2}x) (t)-(F_{2}y) (t)\bigr\vert =& \biggl\vert \frac{2t-\eta}{2-\eta}\biggr\vert \bigl\vert h(x)-h(y)\bigr\vert \\ \le& (2+\eta)\bigl\vert h(x)-h(y)\bigr\vert \\ \le&(2+\eta) \ell\|x-y\|, \end{aligned}$$

which, by taking the supremum for \(t \in[0, 1]\), yields

$$\bigl\Vert (F_{2}x) - (F_{2}y)\bigr\Vert \le(2+\eta) \ell\|x-y\|. $$

Also, we have

$$\bigl\Vert {}^{\mathrm{c}}D^{\beta}F_{2}x - {}^{\mathrm{c}}D^{\beta}F_{2}y\bigr\Vert \le \frac{2}{\Gamma(2-\beta)}\ell\|x-y\|. $$

Consequently, we get

$$\|F_{2} x-F_{2}y\|_{X}\le \biggl(2+\eta+ \frac{2}{\Gamma(2-\beta)} \biggr)\ell\|x-y\|_{X}, $$

which, in view of (A1), implies that \(F_{2}\) is a contraction.

Step 3. The set \(F({\bar{\Omega}_{r_{0}}})\) is bounded. Assumptions (A1) and (A2) imply that

$$\begin{aligned} \bigl\vert (F_{2} x) (t)\bigr\vert \le& \frac{2(1-t)}{\eta(2-\eta)} \vert \xi \vert +\frac{\vert 2t-\eta \vert }{2-\eta}\bigl\vert h(x)\bigr\vert \\ \le&\frac{2}{\eta} \vert \xi \vert +(2+\eta) \bigl(\bigl\vert h(x)-h(0) \bigr\vert +\bigl\vert h(0)\bigr\vert \bigr) \\ \le&\frac{2}{\eta} \vert \xi \vert +(2+\eta)\ell\|x\| \\ \le&\frac{2}{\eta} \vert \xi \vert +(2+\eta)\ell r_{0} \end{aligned}$$


$$\bigl\vert {}^{\mathrm{c}}D^{\beta}(F_{2}x) (t)\bigr\vert \le\frac{1}{\Gamma(2-\beta)} \biggl(\frac {2|\xi|}{\eta}+2\ell r_{0} \biggr). $$


$$\|F_{2}x\|_{X}\le\frac{2|\xi|}{\eta} \biggl(1+ \frac{1}{\Gamma(2-\beta )} \biggr)+ \ell r_{0} \biggl(2+\eta+\frac{2}{\Gamma(2-\beta)} \biggr) $$

for any \(x\in{\bar{\Omega}_{r_{0}}}\). This, together with the boundedness of the set \(F_{1}({\bar{\Omega}_{r_{0}}})\), implies that the set \(F({\bar{\Omega}_{r_{0}}})\) is bounded.

Step 4. Finally, we will show that case (C2) in Lemma 3.1 does not hold. On the contrary, suppose that (C2) holds. Then, we have that there exist \(\lambda\in(0,1)\) and \(x\in\partial\Omega_{r_{0}}\) such that \(x=\lambda Fx\). So, we have \(\|x\|_{X}=r_{0}\) and

$$\begin{aligned} x(t) =& \lambda \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds+ \lambda\frac{2(1-t)}{\eta(2-\eta)}\xi + \lambda\frac{2t-\eta}{2-\eta}h(x) \\ &{}+ \lambda \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f\bigl(s, x(s), {}^{\mathrm{c}}D^{\beta}x(s)\bigr)\,ds. \end{aligned}$$

Further, we have that

$$\begin{aligned}& \bigl\vert x(t)\bigr\vert \le \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha )}p(s) \bigl( \psi_{1}\bigl(\bigl\vert x(s)\bigr\vert \bigr)+\psi_{2} \bigl(\bigl\vert {}^{\mathrm{c}}D^{\beta}x(s)\bigr\vert \bigr)\bigr) \,ds+\frac{2}{\eta }\vert \xi \vert +(2+\eta) \ell \Vert x\Vert \\& \hphantom{\bigl\vert x(t)\bigr\vert \le{}} {}+\frac{2}{\eta} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha}}{\Gamma (\alpha+1)}p(s) \bigl( \psi_{1}\bigl(\bigl\vert x(s)\bigr\vert \bigr)+\psi_{2} \bigl(\bigl\vert {}^{\mathrm{c}}D^{\beta}x(s)\bigr\vert \bigr)\bigr) \,ds \\& \hphantom{\bigl\vert x(t)\bigr\vert }\le \int_{0}^{1} \frac{(1-s)^{\alpha-1}}{\Gamma(\alpha)}p(s) \bigl(\psi _{1}\bigl(\Vert x\Vert _{X}\bigr)+\psi_{2} \bigl(\Vert x\Vert _{X}\bigr)\bigr)\,ds+\frac{2}{\eta} \vert \xi \vert +(2+\eta) \ell \Vert x\Vert _{X} \\& \hphantom{\bigl\vert x(t)\bigr\vert \le{}}{}+ \frac{2}{\eta} \int_{0}^{1} \frac{(1-s)^{\alpha}}{\Gamma(\alpha +1)}p(s) \bigl( \psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+\psi_{2} \bigl(\Vert x\Vert _{X}\bigr)\bigr)\,ds \\& \hphantom{\bigl\vert x(t)\bigr\vert }\le \Vert p\Vert \bigl[\psi_{1}(r_{0})+ \psi_{2}(r_{0})\bigr] \biggl\{ \frac{1}{\Gamma(\alpha +1)}+ \frac{2}{\eta\Gamma(\alpha+2)} \biggr\} +\frac{2}{\eta} \vert \xi \vert +(2+\eta) \ell r_{0}, \\& \bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert \le \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta }}{\Gamma(\alpha-\beta)}p(s) \bigl( \psi_{1}\bigl(\vert x\vert \bigr)+\psi_{2}\bigl(\bigl\vert {}^{\mathrm{c}}D^{\beta }x(s)\bigr\vert \bigr)\bigr)\,ds \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert \le{}}{}+ \frac{t^{1-\beta}}{\Gamma(2-\beta)}\frac{2}{2-\eta } \biggl\vert h(x)-\frac{\xi}{\eta} \biggr\vert \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert \le{}}{}+\frac{2}{\eta(2-\eta)}\frac{t^{1-\beta}}{\Gamma(2-\beta)} \int _{0}^{\eta}\frac{(\eta-s)^{\alpha}}{\Gamma(\alpha+1)}p(s) \bigl(\psi _{1}\bigl(\vert x\vert \bigr)+\psi_{2}\bigl(\bigl\vert {}^{\mathrm{c}}D^{\beta}x(s)\bigr\vert \bigr)\bigr)\,ds \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert } \le \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta}}{\Gamma(\alpha-\beta )}p(s) \bigl( \psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+\psi_{2} \bigl(\Vert x\Vert _{X}\bigr)\bigr)\,ds+\frac{2}{\Gamma(2-\beta )} \biggl( \ell \Vert x\Vert _{X}+\frac{|\xi|}{\eta} \biggr) \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert \le{}}{}+\frac{2}{\eta\Gamma(2-\beta)} \int_{0}^{1}\frac{(1-s)^{\alpha }}{\Gamma(\alpha+1)}p(s) \bigl( \psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+\psi_{2} \bigl(\Vert x\Vert _{X}\bigr)\bigr)\,ds \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert } \le \Vert p\Vert \bigl[\psi_{1}(r_{0})+ \psi_{2}(r_{0})\bigr] \biggl\{ \frac{1}{\Gamma (\alpha-\beta+1)}+ \frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma (\alpha+2)} \biggr\} \\& \hphantom{\bigl\vert {}^{\mathrm{c}}D^{\beta} x(t)\bigr\vert \le{}}{}+\frac{2}{\Gamma(2-\beta)} \biggl(\ell r_{0}+ \frac{|\xi|}{\eta} \biggr). \end{aligned}$$

Thus, we have

$$\begin{aligned} r_{0} \le& \|p\| \bigl[\psi_{1}(r_{0})+ \psi_{2}(r_{0})\bigr] \biggl\{ \frac{1}{\Gamma (\alpha+1)}+ \frac{2}{\eta\Gamma(\alpha+2)}+\frac{1}{\Gamma (\alpha-\beta+1)} \\ &{}+\frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} + \frac{2|\xi|}{\eta} \biggl(1+ \frac{1}{\Gamma(2-\beta)} \biggr) + \ell r_{0} \biggl(2+\eta+ \frac{2}{\Gamma(2-\beta)} \biggr) \\ =&\Lambda_{1} \|p\| \bigl[\psi_{1}(r_{0})+ \psi_{2}(r_{0})\bigr]+\Lambda_{2}+\ell \Lambda_{3}r_{0}, \end{aligned}$$

which yields a contradiction,

$$\frac{r_{0}}{\Lambda_{1} \|p\| [\psi_{1}(r_{0})+\psi_{2}(r_{0})]+\Lambda_{2} }\le\frac{1}{1 - \ell\Lambda_{3}}. $$

Thus, the operators \(F_{1}\) and \(F_{2}\) satisfy all the conditions of Lemma 3.1. Hence, the operator F has at least one fixed point \(x\in\bar{\Omega}_{r_{0}}\), which is the solution of problem (1.1). This completes the proof. □

Our second existence result is based on Sadovskii’s fixed point theorem. Let us first recall some auxiliary material before proceeding further.

Definition 3.1

Let M be a bounded set in metric space \((X, d)\). The Kuratowskii measure of noncompactness \(\alpha(M)\) is defined as \(\inf\{\epsilon: M\mbox{ covered by a finitely many sets such that the}\ \mbox{diameter of each set}\le\epsilon\}\).

Definition 3.2


Let \(\Phi: \mathcal{D}(\Phi)\subseteq X\to X\) be a bounded and continuous operator on Banach space X. Then Φ is called a condensing map if \(\alpha(\Phi(B))<\alpha(B)\) for all bounded sets \(B\subset\mathcal{D}(\Phi)\), where α denotes the Kuratowski measure of noncompactness.

Lemma 3.2

([31], Example 11.7)

The map \(K+C\) is a k-set contraction with \(0\le k<1\), and thus also condensing, if

  1. (i)

    \(K, C: \mathcal{D}\subseteq X\to X\) are operators on the Banach space X;

  2. (ii)

    K is k-contractive, that is,

    $$\|Kx-Ky\|\le k\|x-y\| $$

    for all \(x,y\in\mathcal{D}\) and fixed \(k\in[0,1)\);

  3. (iii)

    C is compact.

Lemma 3.3


Let B be a convex, bounded, and closed subset of a Banach space X, and \(\Phi: B\to B\) be a condensing map. Then Φ has a fixed point.

Theorem 3.2

Assume that (A1), (A2), and (A3) hold. Then problem (1.1) has at least one solution on \([0,1]\).


Let \(B_{r}=\{x\in X: \|x\|_{\le}r\}\) be a closed bounded and convex subset of X, where r will be fixed later. We define the map \(F : B_{r}\to X\) by

$$(Fx) (t)=(F_{1}x) (t)+(F_{2}x) (t), \quad t\in[0,1], $$

where \(F_{1}\) and \(F_{2}\) are defined by (3.2) and (3.3), respectively. Notice that problem (1.1) is equivalent to the fixed point problem \(F(x)=x\).

Step 1. \((F x)B_{r}\subset B_{r}\).

For that, select \(r \ge\frac{\Lambda_{1} \|p\|[\psi_{1}(r)+\psi_{2}(r)]+\Lambda_{2}}{1-\ell\Lambda_{3}}\), where \(\Lambda_{i}\), \(i=1,2,3\), are defined by (3.4) and (3.5). As in Theorem 3.1, Step 1, we can prove that

$$\|F_{1} x\|_{X}\le\Lambda_{1}\|p\|\bigl[ \psi_{1}(r)+\psi_{2}(r)\bigr], $$

and, as in Step 3, we can get

$$\|F_{2} x\|\le\Lambda_{2}+\ell r\Lambda_{3}. $$


$$\|Fx\|_{X}=\|F x\|+\bigl\Vert {}^{\mathrm{c}}D^{\beta}(Fx) \bigr\Vert \le\Lambda_{1}\|p\|\bigl[\psi _{1}(r)+ \psi_{2}(r)\bigr]+\Lambda_{2}+\ell r\Lambda_{3}< r, $$

which implies that \((F x)(B_{r})\subset B_{r}\).

Step 2. \(F_{1}\) is compact.

This was proved in Theorem 3.1, Step 1.

Step 3. \(F_{2}\) is continuous and γ-contractive.

To show the continuity of \(F_{2}\) for \(t\in[0,1]\), let us consider a sequence \(x_{n}\) converging to x. Then, as in Step 2 of the proof of Theorem 3.1, we can show that

$$\|F_{2}x_{n}-F_{2}x\|_{X}\le \biggl(2+\eta+\frac{2}{\Gamma(2-\beta)} \biggr)\ell\|x_{n}-x\|, $$

which implies that \(F_{2}\) is continuous. Also, \(F_{2}\) is γ-contractive by Theorem 3.1 (Step 2) with \(\gamma= (2+\eta+\frac{2}{\Gamma(2-\beta)} )\ell<1\).

Step 4. F is condensing.

Since \(T_{2}\) is a continuous γ-contraction and \(T_{1}\) is compact, by Lemma 3.2, \(F: B_{r}\to B_{r}\) with \(F=F_{1}+F_{2}\) is a condensing map on \(B_{r}\).

From the previous four steps we conclude by Lemma 3.3 that the map F has a fixed point, which, in turn, implies that problem (1.1) has a solution. □

Example 3.1

Consider the following boundary value problem:

$$\begin{aligned}& {}^{\mathrm{c}}D^{5/2}x(t)= \frac{e^{-2t}}{\sqrt{9+t}} \biggl( a \sin x(t)+b\frac{{}^{\mathrm{c}}D^{3/4}x(t)}{1+{}^{\mathrm{c}}D^{3/4}x(t)}+\frac{1}{3} \biggr),\quad 0< t< 1, \end{aligned}$$
$$\begin{aligned}& x(0)+x'(0)= \frac{1}{10} x(4/5), \qquad x''(0)=0, \qquad \int _{0}^{2/3}x(t)\,dt=\frac{1}{2}, \end{aligned}$$

where \(h(x)=\frac{1}{10} x(4/5)\), \(\eta=2/3\), \(\xi=1/2\), and a and b are suitably chosen real numbers.

Observe that

$$\begin{aligned} \bigl\vert f\bigl(t,x(t), {}^{\mathrm{c}}D^{3/4}x(t)\bigr)\bigr\vert =&\biggl\vert \frac{e^{-2t}}{\sqrt{9+t}} \biggl( a \sin x(t)+b\frac{{}^{\mathrm{c}}D^{3/4}x(t)}{1+{}^{\mathrm{c}}D^{3/4}x(t)}+ \frac{1}{3} \biggr) \biggr\vert \\ \le& p(t) \bigl(\psi_{1}\bigl( \vert x\vert \bigr)+\psi_{2}\bigl(\vert y\vert \bigr)\bigr) \end{aligned}$$

with \(p(t)=e^{-2t}\), \(\psi_{1}(|x|)=a |x|\), \(\psi_{2}(|{}^{\mathrm{c}}D^{3/4}x(t)|)=b+1/3\), and \(\ell=1/10\) since

$$\bigl\vert h(u)-h(v)\bigr\vert \le\frac{1}{10} \|u-v\|. $$

With the given values, we find that \(\Lambda_{1} \simeq 1.199538\), \(\Lambda_{2} \simeq3.154894\), \(\Lambda_{3} \simeq3.769929\). Further, \(\ell< (2+\eta+2/\Gamma(2-\beta) )^{-1}\) holds since \((2+\eta+2/\Gamma(2-\beta) )^{-1} \simeq0.205204 > \frac{1}{10} =\ell\), and (A4) is satisfied for \(0< a < 1/2\) and for any finite real value of b since \(\frac{1}{1- \ell \Lambda_{3}}\simeq1.605118\), and \(\sup_{r\in (0,\infty)}\frac{r}{\Lambda_{1} \|p\| [\psi_{1}(r)+\psi_{2}(r)]+\Lambda_{2} } \simeq\frac{1}{1.199538 a}\). Thus, all the conditions of Theorem 3.1 are satisfied, and consequently there exists one solution for problem (3.7)-(3.8) on \([0,1]\).

Remark 3.1

Notice that Example 3.1 also illustrates Theorem 3.2 since assumptions (A1), (A2), and (A3) clearly hold.

4 Existence results for multivalued problem (1.2)

Let us recall some basic definitions on multivalued maps [33, 34].

For a normed space \((X, \|\cdot\|)\), let \(P_{\mathrm{cl}}(X)=\{Y \in{ F}(X) : Y \mbox{ is closed}\}\), \(P_{\mathrm{b}}(X)=\{Y \in{ F}(X) : Y \mbox{ is bounded}\}\), \(P_{\mathrm{cp}}(X)=\{Y \in{ F}(X) : Y \mbox{ is compact}\}\), and \(P_{\mathrm{cp}, \mathrm{c}}(X) =\{Y \in{ F}(X) : Y \mbox{ is compact and convex}\}\). A multivalued map \(G : X \to{ F}(X)\) is convex (closed)-valued if \(G(x)\) is convex (closed) for all \(x \in X\). A map G is bounded on bounded sets if \(G(\mathbb{B}) = \bigcup_{x \in\mathbb{B}}G(x)\) is bounded in X for all \(\mathbb{B} \in P_{\mathrm{b}}(X)\) (i.e., \(\sup_{x \in \mathbb{B}}\{\sup\{|y| : y \in G(x)\}\} < \infty\)). A map G is called upper semicontinuous (u.s.c.) on X if for each \(x_{0} \in X\), the set \(G(x_{0})\) is a nonempty closed subset of X and if for each open set N of X containing \(G(x_{0})\), there exists an open neighborhood \(\mathcal{N}_{0}\) of \(x_{0}\) such that \(G(\mathcal{N}_{0}) \subseteq N\); G is said to be completely continuous if \(G(\mathbb{B})\) is relatively compact for every \(\mathbb{B} \in P_{\mathrm{b}}(X)\). If a multivalued map G is completely continuous with nonempty compact values, then G is u.s.c. if and only if G has a closed graph, that is, \(x_{n} \to x_{*}\), \(y_{n} \to y_{*}\), \(y_{n} \in G(x_{n})\) imply \(y_{*} \in G(x_{*})\). A map G has a fixed point if there is \(x \in X\) such that \(x \in G(x)\). The fixed point set of a multivalued operator G will be denoted by FixG. A multivalued map \(G : [0;1] \to{\mathcal{P}}_{\mathrm{cl}}(\mathbb{R})\) is said to be measurable if for every \(y \in \mathbb{R}\), the function \(t \mapsto d(y,G(t)) = \inf\{|y-z|: z \in G(t)\}\) is measurable.

Definition 4.1

A function \(x \in \mathit{AC}^{n}([0,1], \mathbb{R})\) satisfying the conditions \(x(0)+x'(0)= h(x)\), \(\int _{0}^{\eta}x(t)\,dt=\xi\), \(x''(0)=x'''(0)=\cdots=x^{(n-1)}(0)=0\) is said to be a solution of problem (1.2) if there exists a function \(f \in L^{1}([0,1],\mathbb{R})\) such that \(f(t) \in F(t, x(t), {}^{\mathrm{c}}D^{\beta}x(t))\) a.e. on \([0,1]\) and

$$\begin{aligned} x(t) =& \int_{0}^{t} \frac{(t-s)^{\alpha-1}}{\Gamma (\alpha)}f(s)\,ds+ \frac{2(1-t)}{\eta(2-\eta)}\xi+\frac{2t-\eta }{2-\eta}h(x) \\ &{}+\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac {(\eta-s)^{\alpha}}{\Gamma(\alpha+1)}f(s)\,ds. \end{aligned}$$

Definition 4.2

A multivalued map \(F : [0,1] \times\mathbb{R}\times\mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) is said to be a Carathéodory function if

  1. (i)

    \(t \mapsto F(t,x,y)\) is measurable for each \(x ,y\in\mathbb{R}\);

  2. (ii)

    \((x, y) \mapsto F(t,x,y)\) is upper semicontinuous for almost all \(t\in[0,1]\).

Further, a Carathéodory function F is called \(L^{1}\)-Carathéodory if

  1. (iii)

    for each \(a > 0\), there exists \(\varphi_{a} \in L^{1}([0,1],\mathbb{R}^{+})\) such that

    $$\bigl\Vert F (t, x, y)\bigr\Vert = \sup\bigl\{ |v| : v \in F (t, x, y)\bigr\} \le\varphi_{a} (t) $$

    for all \(\|x\|, \|y\| \le a\) and for a.e. \(t \in[0,1]\).

For each \(y \in C([0,1], \mathbb{R})\), define the set of selections of F by

$$S_{F,y} := \bigl\{ v \in L^{1}\bigl([0,1],\mathbb{R}\bigr) : v (t) \in F \bigl(t, y(t), {}^{\mathrm{c}}D^{\beta}y(t)\bigr) \mbox{ for a.e. } t \in [0,1]\bigr\} . $$

The following lemma will be used in the sequel.

Lemma 4.1


Let X be a Banach space. Let \(F : [0, 1] \times X\times X \to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(X)\) be an \(L^{1}\)-Carathéodory multivalued map, and let Θ be a linear continuous mapping from \(L^{1}([0,1],X)\) to \(C([0,1],X)\). Then the operator

$$\Theta\circ S_{F} : C\bigl([0,1],X\bigr) \to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}} \bigl(C\bigl([0,1],X\bigr)\bigr), \qquad x \mapsto(\Theta\circ S_{F}) (x) = \Theta( S_{F,x}), $$

is a closed graph operator in \(C([0,1],X) \times C([0,1],X)\).

To prove our main result in this section, we use the following form of the nonlinear alternative for contractive maps ([36], Corollary 3.8).

Theorem 4.1

Let X be a Banach space, and \(\mathcal{D}\) a bounded neighborhood of \(0\in X\). Let \(Z_{1}:X\to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(X)\) and \(Z_{2}:\bar{\mathcal{D}}\to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(X)\) be two multivalued operators satisfying

  1. (a)

    \(Z_{1}\) is contraction, and

  2. (b)

    \(Z_{2}\) is u.s.c. and compact.

Then, if \(G=Z_{1}+Z_{2}\), then either

  1. (i)

    G has a fixed point in \(\bar{\mathcal{D}}\), or

  2. (ii)

    there are a point \(u\in\partial\mathcal{D}\) and \(\lambda\in(0,1)\) with \(u\in\lambda G(u)\).

Theorem 4.2

Assume that (A1) and (A2) hold. In addition, we suppose that:


\(F : [0,1] \times\mathbb{R} \times\mathbb{R} \to {\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(\mathbb{R})\) is an \(L^{1}\)-Carathéodory multivalued map;


there exist continuous nondecreasing functions \(\psi_{i} : [0,\infty) \to(0,\infty)\), \(i=1,2\), and a function \(p \in C([0,1],\mathbb{R}^{+})\) such that

$$\bigl\Vert F(t,x,y)\bigr\Vert _{\mathcal{P}}:=\sup\bigl\{ |v|: v \in F(t,x, y)\bigr\} \le p(t)\bigl[\psi _{1}\bigl(\vert x\vert \bigr)+ \psi_{2}\bigl(\vert y\vert \bigr)\bigr] $$

for each \((t,x,y) \in[0,1] \times\mathbb{R}\times\mathbb{R}\);


there exists a number \(M>0\) such that

$$ \frac{(1- \ell \Lambda_{3})M}{ \Lambda_{1} \|p\| [\psi_{1}(M)+ \psi_{2}(M)]+\Lambda_{2}} > 1, \quad \ell\Lambda_{3}< 1, $$

where \(\Lambda_{i}\), \(i=1,2,3\), are defined in (3.4) and (3.5).

Then the boundary value problem (1.1) has at least one solution on \([0,1]\).


To transform problem (1.1) into a fixed point problem, we introduce the operator \({\mathcal{N}}:X\rightarrow{\mathcal{P}}(X)\) as follows:

$${\mathcal{N}}(x)= \left\{ \begin{aligned} &h \in X: \\ &\quad h(t) = \left\{ \begin{aligned} &\int_{0}^{t} \frac{(t-s)^{\alpha-1}}{\Gamma(\alpha )}f(s)\,ds+ \frac{2(1-t)}{\eta(2-\eta)}\xi+\frac{2t-\eta}{2-\eta }h(x) \\ &\quad {}+\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s)\,ds, \quad f \in S_{F,x} \end{aligned} \right . \end{aligned} \right\}. $$

Now, we define the operator \({\mathcal{A}}_{1}: X\rightarrow X\) by

$$ {\mathcal{A}}_{1} x(t) = \frac{2(1-t)}{\eta(2-\eta)}\xi + \frac{2t-\eta}{2-\eta}h(x) $$

and the multivalued operator \({\mathcal{A}}_{2}: X\rightarrow {\mathcal{P}}(X)\) by

$$ {\mathcal{A}}_{2}(x)= \left\{ \begin{aligned} &h \in C\bigl([0,1], \mathbb{R}\bigr): \\ &\quad h(t) = \left\{ \begin{aligned} &\int_{0}^{t} \frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s)\,ds \end{aligned} \right . \end{aligned} \right\}. $$

Observe that \({\mathcal{N}}={\mathcal{A}}_{1}+{\mathcal{A}}_{2}\). We shall show that the operators \({\mathcal{A}}_{1}\) and \({\mathcal{A}}_{2}\) satisfy all the conditions of Theorem 4.1 on \([0,1]\). Also, we establish that the operators \({\mathcal{A}}_{1}\) and \({\mathcal{A}}_{2}\) are such that \({\mathcal{A}}_{1},{\mathcal{A}}_{2}: B_{r}\to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(X)\), where \(B_{r} = \{x \in X: \|x\|_{X} \le r \}\) is a bounded set in \(C([0,1], \mathbb{R})\). First, we prove that \({\mathcal{A}}_{2}\) is compact-valued on \(B_{r}\). Note that the operator \({\mathcal{A}}_{2}\) is equivalent to the composition \({\mathcal{L}} \circ S_{F}\), where \({\mathcal{L}} \) is the continuous linear operator from \(L^{1}([0,1], \mathbb{R})\) into X defined by

$${\mathcal{L}} (v) (t) = \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma (\alpha)}v(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}v(s)\,ds. $$

Suppose that \(x\in B_{r}\) is arbitrary and let \(\{v_{n}\}\) be a sequence in \(S_{F,x}\). Then, by the definition of \(S_{F,x}\), we have \(v_{n}(t)\in F(t, x(t), {}^{\mathrm{c}}D^{\beta}x(t))\) for almost all \(t\in[0,1]\). Since \(F(t, x(t), {}^{\mathrm{c}}D^{\beta}x(t))\) is compact for all \(t\in J\), there is a convergent subsequence of \(\{v_{n}(t)\}\) (we denote it by \(\{v_{n}(t)\}\) again) that converges in measure to some \(v(t)\in S_{F,x}\) for almost all \(t\in J\). On the other hand, \({\mathcal{L}} \) is continuous, so \({\mathcal{L}} (v_{n})(t)\to{\mathcal{L}} (v)(t)\) pointwise on \([0,1]\).

In order to show that the convergence is uniform, we have to show that \(\{{\mathcal{L}} (v_{n})\}\) is an equicontinuous sequence. Let \(t_{1}, t_{2} \in[0,1]\) with \(t_{1}< t_{2} \). Then, we have

$$\begin{aligned} \bigl\vert {\mathcal{L}} (v_{n}) (t_{2}) - {\mathcal{L}} (v_{n}) (t_{1})\bigr\vert \leq& \biggl\vert \frac{1}{\Gamma(\alpha)} \int_{0}^{t_{1}}\bigl[(t_{2}-s)^{\alpha -1}-(t_{1}-s)^{\alpha-1} \bigr]v_{n}(s)\,ds \\ &{} + \frac{1}{\Gamma(\alpha)} \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha -1}v_{n}(s) \,ds \biggr\vert \\ &{}+\frac{2(t_{2}-t_{1})}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta -s)^{\alpha}}{\Gamma(\alpha+1)}\bigl\vert v_{n}(s)\bigr\vert \,ds \\ \le& \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha+1)}\bigl(t_{2}^{\alpha}-t_{1}^{\alpha}\bigr) +\frac{2(t_{2}-t_{1})}{\eta\Gamma(\alpha+2)} \biggr\} . \end{aligned}$$

Continuing this process, we have

$$\begin{aligned} \bigl\vert \bigl({\mathcal{L}}' (v_{n}) (t_{2})\bigr)- \bigl({\mathcal{L}}' (v_{n}) (t_{1}) \bigr)\bigr\vert \leq& \|p\| \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha -\beta+1)} \bigl(t_{2}^{\alpha-\beta-1}-t_{1}^{\alpha-\beta-1} \bigr) \\ &{}+\frac{2 }{\eta\Gamma(\alpha+2)\Gamma(2-\beta)}\bigl(t_{2}^{1-\beta}-t_{1}^{1-\beta } \bigr) \biggr\} . \end{aligned}$$

We observe that the right-hand sides of the above inequalities tend to zero as \(t_{2}\to t_{1}\). Thus, the sequence \(\{{\mathcal{L}} (v_{n})\}\) is equicontinuous, and by using the Arzelá-Ascoli theorem we get that there is a uniformly convergent subsequence. So, there is a subsequence of \(\{v_{n}\}\) (we denote it again by \(\{v_{n}\}\)) such that \({\mathcal{L}} (v_{n})\to{\mathcal{L}} (v)\). Note that \({\mathcal{L}} (v) \in{\mathcal{L}} (S_{F,x})\). Hence, \({\mathcal{A}}_{2}(x) ={\mathcal{L}} (S_{F,x})\) is compact for all \(x\in B_{r}\). So \({\mathcal{A}}_{2}(x)\) is compact.

Now, we show that \({\mathcal{A}}_{2}(x)\) is convex for all \(x\in X\). Let \(z_{1},z_{2}\in{\mathcal{A}}_{2}(x)\). We select \(f_{1},f_{2}\in S_{F,x}\) such that

$$z_{i}(t) = \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f_{i}(s) \,ds +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f_{i}(s) \,ds, \quad i=1,2 $$

for almost all \(t\in[0,1]\). Let \(0\leq\lambda\leq1\). Then, we have

$$\begin{aligned} \bigl[\lambda z_{1}+(1-\lambda)z_{2}\bigr](t) =& \int_{0}^{t}\frac{(t-s)^{\alpha -1}}{\Gamma(\alpha)} \bigl[\lambda f_{1}(s) + (1-\lambda)f_{2}(s)\bigr] \,ds \\ &{}+\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta -s)^{\alpha}}{\Gamma(\alpha+1)} \bigl[\lambda f_{1}(s) + (1-\lambda)f_{2}(s)\bigr] \,ds. \end{aligned}$$

Since F has convex values, \(S_{F,u}\) is convex, and \(\lambda f_{1}(s) + (1-\lambda)f_{2}(s)\in S_{F,x}\). Thus,

$$\lambda z_{1}+(1-\lambda)z_{2}\in{\mathcal{A}}_{2}(x). $$

Consequently, \({\mathcal{A}}_{2}\) is convex-valued. Obviously, \({\mathcal{A}}_{1}\) is compact and convex-valued.

The rest of the proof consists of several steps and claims.

Step 1. We show that \({\mathcal{A}}_{1}\) is a contraction on \(C([0,1],{\mathbb{R}})\). The proof is similar to that for the operator \({F}_{2}\) in Step 2 of Theorem 3.1.

Step 2. \({\mathcal{A}}_{2}\) is upper semicontinuous and compact. This will be established in several claims.

Claim I: \({\mathcal{A}}_{2}\) maps bounded sets into bounded sets in X. Let \(B_{r} = \{x \in X: \|x\|_{X} \le r \}\) be a bounded set in X. Then, for each \(h \in{\mathcal{A}}_{2} (x)\), \(x \in B_{r}\), there exists \(f \in S_{F,x}\) such that

$$h(t) = \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(q)}f(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s)\,ds. $$

Then, for \(t\in[0,1]\), we have

$$\begin{aligned} \Vert h\Vert \le& \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\bigl\vert f(s)\bigr\vert \,ds +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}\bigl\vert f(s) \bigr\vert \,ds \\ \le& \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\bigl\vert f(s)\bigr\vert \,ds +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{1}\frac{(1-s)^{\alpha }}{\Gamma(\alpha+1)}\bigl\vert f(s) \bigr\vert \,ds \\ \le& \Vert p\Vert \bigl[\psi_{1}\bigl(\Vert x\Vert \bigr)+ \psi_{2}\bigl(\bigl\Vert {}^{\mathrm{c}}D^{\beta}x\bigr\Vert \bigr)\bigr] \biggl[\frac{1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha+2)} \biggr] \\ \le& \Vert p\Vert \bigl[\psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X} \bigr)\bigr] \biggl[\frac {1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha+2)} \biggr] \\ \le& \Vert p\Vert \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl[\frac{1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha +2)} \biggr]. \end{aligned}$$


$$ h'(t) = \int_{0}^{t}\frac{(t-s)^{\alpha-2}}{\Gamma(\alpha-1)}f(s) \,ds + \frac{2}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s), $$

we obtain

$$\begin{aligned} {}^{\mathrm{c}}D^{\beta}h(t) =& \int_{0}^{t}\frac{(t-s)^{-\beta}}{\Gamma(1-\beta)} \biggl( \int _{0}^{s}\frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)}f(\tau) d\tau + \frac{2}{\eta} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha}}{\Gamma (\alpha+1)}f(s) \,ds \biggr) \\ =& \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta}}{\Gamma(\alpha-\beta)}f(s)\,ds + \frac{2t^{1-\beta}}{\eta\Gamma(2-\beta)} \int_{0}^{\eta}\frac {(\eta-s)^{\alpha}}{\Gamma(\alpha+1)}f(s)\,ds, \end{aligned}$$

and therefore

$$\begin{aligned} \bigl\Vert {}^{\mathrm{c}}D^{\beta}h\bigr\Vert \le& \Vert p \Vert \bigl[\psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X}\bigr)\bigr] \int_{0}^{t}\frac{(t-s)^{\alpha-1-\beta}}{\Gamma(\alpha-\beta)} \,ds \\ &{}+ \frac{2}{\eta\Gamma(2-\beta)} \int_{0}^{1}\frac{(1-s)^{\alpha }}{\Gamma(\alpha+1)} \,ds \\ \le& \Vert p\Vert \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha-\beta+1)}+\frac{2}{\eta\Gamma (2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} . \end{aligned}$$


$$\begin{aligned} \Vert {\mathcal{A}}_{2}x\Vert _{X} =&\Vert { \mathcal{A}}_{2}x\Vert +\bigl\Vert {}^{\mathrm{c}}D^{\beta }({ \mathcal{A}}_{2}x)\bigr\Vert \\ \le& \Vert p\Vert \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha +1)}+\frac{2}{\eta\Gamma(\alpha+2)}+\frac{1}{\Gamma(\alpha-\beta +1)} \\ &{}+\frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} , \end{aligned}$$

and thus the operator \({\mathcal{A}}_{2}(B_{r})\) is uniformly bounded.

Claim II: \({\mathcal{A}}_{2}\) maps bounded sets into equicontinuous sets. Now let \(0\le t_{1}< t_{2}\le1\). Then we have the following facts:

$$\begin{aligned} \bigl\vert ({\mathcal{A}}_{2}x) (t_{2})-({ \mathcal{A}}_{2}x) (t_{1})\bigr\vert \le&\biggl\vert \frac {1}{\Gamma(\alpha)} \int_{0}^{t_{1}}\bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha -1} \bigr]f(s)\,ds \\ &{}+ \frac{1}{\Gamma(\alpha)} \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha -1}f(s) \,ds\biggr\vert \\ &{}+\frac{2}{\eta}(t_{2}-t_{1}) \int_{0}^{1}\frac{(1-s)^{\alpha}}{\Gamma (\alpha+1)}\bigl\vert f(s) \bigr\vert \,ds \\ \le& \|p\| \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha+1)}\bigl(t_{2}^{\alpha}-t_{1}^{\alpha}\bigr) +\frac{2(t_{2}-t_{1})}{\eta\Gamma(\alpha+2)} \biggr\} \end{aligned}$$


$$\begin{aligned} \begin{aligned} \bigl\vert {}^{\mathrm{c}}D^{\beta}({\mathcal{A}}_{2}x) (t_{2})- {}^{\mathrm{c}}D^{\beta}({\mathcal{A}}_{2}) (t_{1})\bigr\vert \le{}& \|p\| \bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha-\beta +1)} \bigl(t_{2}^{\alpha-\beta-1}-t_{1}^{\alpha-\beta-1} \bigr) \\ &{}+\frac{2 }{\eta\Gamma(\alpha+2)\Gamma(2-\beta)}\bigl(t_{2}^{1-\beta}-t_{1}^{1-\beta } \bigr) \biggr\} . \end{aligned} \end{aligned}$$

Hence, we have

$$\bigl\Vert ({\mathcal{A}}_{2} x) (t_{2})-({ \mathcal{A}}_{2} x) (t_{1})\bigr\Vert _{X}\to0 \quad \mbox{as } t_{2}\to t_{1}. $$

Thus, \({\mathcal{A}}_{2}\) is equicontinuous. Therefore, by the Ascoli-Arzelá theorem it follows that \({\mathcal{A}}_{2}: X \to{\mathcal{P}}(X)\) is completely continuous.

Claim III: \({\mathcal{A}}_{2}\) has a closed graph. Let \(x_{n} \to x_{*}\), \(h_{n} \in {\mathcal{A}}_{2} (x_{n})\), and \(h_{n} \to h_{*}\). Then we need to show that \(h_{*} \in {\mathcal{A}}_{2}(x_{*})\). Associated with \(h_{n} \in{\mathcal{A}}_{2} (x_{n})\), there exists \(f_{n} \in S_{F,x_{n}}\) such that for each \(t \in[0,1]\),

$$h_{n}(t) = \int_{0}^{t}\frac{(t-s)^{\alpha -1}}{\Gamma(q)}f_{n}(s)\,ds +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f_{n}(s) \,ds. $$

Thus, it suffices to show that there exists \(f_{*} \in S_{F,x_{*}}\) such that for each \(t \in[0,1]\),

$$h_{*}(t) = \int_{0}^{t}\frac{(t-s)^{\alpha -1}}{\Gamma(q)}f_{*}(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f_{*}(s)\,ds. $$

Let us consider the linear operator \(\Theta: L^{1}([0,1], \mathbb{R}) \to C([0,1], \mathbb{R})\) given by

$$f \mapsto\Theta(f) (t) = \int_{0}^{t}\frac {(t-s)^{\alpha-1}}{\Gamma(q)}f(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s)\,ds. $$

Observe that

$$\begin{aligned}& \bigl\Vert h_{n}(t)-h_{*}(t)\bigr\Vert \\& \quad =\biggl\Vert \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}\bigl(f_{n}(s)-f_{*}(s) \bigr)\,ds +\frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}\bigl(f_{n}(s)-f_{*}(s) \bigr) \,ds\biggr\Vert \to0 \end{aligned}$$

as \(n\to\infty\).

Thus, it follows by Lemma 4.1 that \(\Theta\circ S_{F}\) is a closed graph operator. Further, we have \(h_{n}(t) \in \Theta(S_{F,x_{n}})\). Since \(x_{n} \to x_{*}\), we have

$$h_{*}(t) = \int_{0}^{t}\frac{(t-s)^{\alpha -1}}{\Gamma(q)}f_{*}(s)\,ds + \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f_{*}(s)\,ds $$

for some \(f_{*} \in S_{F,x_{*}}\). Hence, \({\mathcal{A}}_{2}\) has a closed graph (and therefore has closed values). In consequence, the operator \({\mathcal{A}}_{2}\) is upper semicontinuous.

Thus, the operators \({\mathcal{A}}_{1}\) and \({\mathcal{A}}_{2}\) satisfy all the conditions of Theorem 4.1, and hence its conclusion implies that either condition (i) or condition (ii) holds. We show that conclusion (ii) is not possible. If \(x \in\lambda{\mathcal{A}}_{1} (x)+\lambda{\mathcal{A}}_{2}(x)\) for \(\lambda\in (0,1)\), then there exists \(f\in S_{F,x}\) such that

$$\begin{aligned} x(t) =& \lambda \int_{0}^{t} \frac{(t-s)^{\alpha -1}}{\Gamma(\alpha)}f(s)\,ds+\lambda \frac{2(1-t)}{\eta(2-\eta)}\xi +\lambda\frac{2t-\eta}{2-\eta}h(x) \\ &{}+\lambda \frac{2(t-1)}{\eta(2-\eta)} \int_{0}^{\eta}\frac{(\eta-s)^{\alpha }}{\Gamma(\alpha+1)}f(s)\,ds,\quad t \in[0,1]. \end{aligned}$$

Following the method of the proof of Claim I, we can obtain

$$\begin{aligned} \|x\| \le& \|p\| \bigl[\psi_{1}\bigl(\Vert x\Vert _{X} \bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X}\bigr)\bigr] \biggl[\frac {1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha+2)} \biggr] \\ &{}+\frac{2}{\eta}|\xi|+(2+\eta)\ell\|x\|_{X} \end{aligned}$$


$$\begin{aligned} \bigl\Vert {}^{\mathrm{c}}D^{\beta}x\bigr\Vert \le& \bigl[ \psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X}\bigr)\bigr] \biggl\{ \frac{1}{\Gamma(\alpha-\beta+1)} +\frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} \\ &{}+\frac{2}{\Gamma(2-\beta)} \biggl(\frac{|\xi|}{\eta}+ \ell\|x\| _{X} \biggr). \end{aligned}$$


$$\begin{aligned} \|x\|_{X} =&\| x\|+\bigl\Vert {}^{\mathrm{c}}D^{\beta} x \bigr\Vert \\ \le& \|p\| \bigl[\psi_{1}\bigl(\Vert x\Vert _{X} \bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X}\bigr)\bigr] \biggl\{ \frac {1}{\Gamma(\alpha+1)}+\frac{2}{\eta\Gamma(\alpha+2)}+\frac {1}{\Gamma(\alpha-\beta+1)} \\ &{}+\frac{2}{\eta\Gamma(2-\beta)}\frac{1}{\Gamma(\alpha+2)} \biggr\} + \frac{2}{\eta}|\xi| \biggl(1+\frac{1}{\Gamma(2-\beta)} \biggr) \\ &{}+ \biggl(2+\eta+\frac{2}{\Gamma(2-\beta)} \biggr)\ell\|x\|_{X}. \end{aligned}$$


$$ \|x\|_{X}\le\Lambda_{1}\|p\| \bigl[ \psi_{1}\bigl(\Vert x\Vert _{X}\bigr)+ \psi_{2}\bigl(\Vert x\Vert _{X}\bigr)\bigr] + \Lambda_{2}+ \ell\Lambda_{3}\|x\|_{X}. $$

If condition (ii) of Theorem 4.1 holds, then there exist \(\lambda\in (0, 1)\) and \(x\in\partial B_{r}\) with \(x = \lambda {\mathcal{N}}(x)\). Then, x is a solution of (1.1) with \(\|x\|_{X} = M\). Now, by inequality (4.5) we get

$$\frac{(1-\ell\Lambda_{3})M}{ \Lambda_{1}\|p\| [\psi_{1}(M)+ \psi_{2}(M)]+\Lambda_{2}} \le1, $$

which contradicts (4.2). Hence, \({\mathcal{N}}\) has a fixed point in \([0,1]\) by Theorem 4.1, and consequently problem (1.1) has a solution. This completes the proof. □

Example 4.1

Consider the fractional differential inclusion

$$ {}^{\mathrm{c}}D^{5/2}x(t)\in F\bigl(t, x(t), {}^{\mathrm{c}}D^{3/4}x(t)\bigr) $$

supplemented with the boundary conditions (3.8), where

$$\begin{aligned} F\bigl(t, x(t), {}^{\mathrm{c}}D^{3/4}x(t)\bigr) =& \biggl[ \frac{1}{\sqrt{225+t}} \biggl(x(t) +\tan^{-1}\bigl({}^{\mathrm{c}}D^{3/4}x(t) \bigr)+\frac{\pi}{2} \biggr), \\ &\frac{1}{4} \sin x(t) +\frac{{}^{\mathrm{c}}D^{3/4}x(t)}{9(1+{}^{\mathrm{c}}D^{3/4}x(t))}+\frac{1}{10} \biggr]. \end{aligned}$$


$$\bigl\vert F\bigl(t,x, {}^{\mathrm{c}}D^{3/4}x(t)\bigr)\bigr\vert \le p(t) \bigl(\psi_{1}\bigl(\vert x\vert \bigr)+\psi_{2} \bigl(\bigl\vert {}^{\mathrm{c}}D^{3/4}x(t)\bigr\vert \bigr)\bigr), $$

where \(p(t)=1/\sqrt{225+t}\), \(\psi_{1}(|x|)=|x|\), \(\psi_{2}(|x|)=\pi\). Using the data of Example 3.1 and condition (H3), we find that \(M>M_{1}\simeq6.272351\). Hence, the hypothesis of Theorem 4.2 is satisfied, which implies that the fractional differential inclusion (4.6) together with (3.8) has a solution on \([0, 1]\).


  1. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  2. Marin, M: An evolutionary equation in thermoelasticity of dipolar bodies. J. Math. Phys. 40, 1391-1399 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  3. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  4. Mainardi, F: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)

    Book  MATH  Google Scholar 

  5. Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2011)

    Google Scholar 

  6. Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012)

    MATH  Google Scholar 

  7. Marin, M, Agarwal, RP, Mahmoud, SR: Nonsimple material problems addressed by the Lagrange’s identity. Bound. Value Probl. 2013, 135 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kisielewicz, M: Stochastic Differential Inclusions and Applications. Springer Optimization and Its Applications, vol. 80. Springer, New York (2013)

    MATH  Google Scholar 

  9. Ahmad, B, Alsaedi, A, Alghamdi, BS: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 9, 1727-1740 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Čiegis, R, Bugajev, A: Numerical approximation of one model of the bacterial self-organization. Nonlinear Anal., Model. Control 17, 253-270 (2012)

    MathSciNet  MATH  Google Scholar 

  11. Henderson, J, Ouahab, A: Fractional functional differential inclusions with finite delay. Nonlinear Anal. 70, 2091-2105 (2009)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  13. Goodrich, C: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 61, 191-202 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Bai, ZB, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ahmad, B, Ntouyas, SK, Alsaedi, A: New results for boundary value problems of Hadamard-type fractional differential inclusions and integral boundary conditions. Bound. Value Probl. 2013, 275 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  16. Gambo, YY, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)

    Article  MathSciNet  Google Scholar 

  17. Graef, JR, Kong, L, Wang, M: Existence and uniqueness of solutions for a fractional boundary value problem on a graph. Fract. Calc. Appl. Anal. 17, 499-510 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  18. Wang, G, Liu, S, Zhang, L: Eigenvalue problem for nonlinear fractional differential equations with integral boundary conditions. Abstr. Appl. Anal. 2014, Article ID 916260 (2014)

    MathSciNet  Google Scholar 

  19. Ahmad, B, Ntouyas, SK, Alsaedi, A, Alzahrani, F: New fractional-order multivalued problems with nonlocal nonlinear flux type integral boundary conditions. Bound. Value Probl. 2015, 83 (2015)

    Article  MathSciNet  Google Scholar 

  20. Graef, JR, Henderson, J, Ouahab, A: Fractional differential inclusions in the Almgren sense. Fract. Calc. Appl. Anal. 18(3), 673-686 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  21. Agarwal, RP, Baleanu, D, Hedayati, V, Rezapour, S: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205-212 (2015)

    MathSciNet  Google Scholar 

  22. Baleanu, D, Rezapour, S, Salehi, S: On the existence of solutions for a fractional finite difference inclusion via three points boundary conditions. Adv. Differ. Equ. 2015, 242 (2015)

    Article  MathSciNet  Google Scholar 

  23. Ntouyas, SK, Etemad, S, Tariboon, J: Existence results for multi-term fractional differential inclusions. Adv. Differ. Equ. 2015, 140 (2015)

    Article  MathSciNet  Google Scholar 

  24. Ding, X, Nieto, JJ: Controllability and optimality of linear time-invariant neutral control systems with different fractional orders. Acta Math. Sci. 35, 1003-1013 (2015)

    Article  MathSciNet  Google Scholar 

  25. Ahmad, B, Ntouyas, SK, Tariboon, J: A study of mixed Hadamard and Riemann-Liouville fractional integro-differential inclusions via endpoint theory. Appl. Math. Lett. 52, 9-14 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  26. Ahmad, B, Agarwal, RP, Alsaedi, A: Fractional differential equations and inclusions with semiperiodic and three-point boundary conditions. Bound. Value Probl. 2016, 28 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  27. Ahmad, B, Ntouyas, SK, Alsaedi, A: Existence of solutions for fractional differential equations with nonlocal and average type integral boundary conditions. J. Appl. Math. Comput. (2015). doi:10.1007/s12190-015-0960-0

    Google Scholar 

  28. Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  29. O’Regan, D: Fixed-point theory for the sum of two operators. Appl. Math. Lett. 9, 1-8 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  30. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)

    MATH  Google Scholar 

  31. Zeidler, E: Nonlinear Functional Analysis and Its Application: Fixed Point-Theorems, vol. 1. Springer, New York (1986)

    Book  MATH  Google Scholar 

  32. Sadovskii, BN: On a fixed point principle. Funct. Anal. Appl. 1, 74-76 (1967)

    MathSciNet  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  34. Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis: Theory, vol. I. Kluwer Academic, Dordrecht (1997)

    Book  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  36. Petryshyn, WV, Fitzpatric, PM: A degree theory, fixed point theorems, and mapping theorems for multivalued noncompact maps. Trans. Am. Math. Soc. 194, 1-25 (1974)

    Article  Google Scholar 

Download references


This article was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University. The authors, therefore, acknowledge with thanks DSR for technical and financial support. The authors also thank the reviewers for their constructive remarks.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors, BA, SKN, RPA, and AA, contributed to each part of this work equally and read and approved the final version of the manuscript.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ahmad, B., Ntouyas, S.K., Agarwal, R.P. et al. On fractional differential equations and inclusions with nonlocal and average-valued (integral) boundary conditions. Adv Differ Equ 2016, 80 (2016).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: