Abstract
In this paper, we study the existence of solutions for a new class of boundary value problems for nonlinear fractional differential inclusions with mixed type integral boundary conditions. The cases when the multifunction has convex as well as non-convex values are considered. Our results rely on the standard tools of fixed point theory and are well illustrated with the aid of an example.
Similar content being viewed by others
1 Introduction and preliminaries
Fractional differential equations and inclusions are generalizations of ordinary differential equations and inclusions to arbitrary non-integer orders. Fractional differential equations and inclusions appear naturally in a number of fields such as physics, engineering, biophysics, chemistry, biology, economics, control theory, etc. Recently, many papers have been published about fractional differential equations and inclusions by researchers which apply the fixed point theory in their existence theorems. For instance, one can find a lot of papers in this field (see [1–24] and the references therein).
Let \(\alpha>0\), \(n-1<\alpha<n\), \(n=[\alpha]+1\), and \(u\in C([a,b], \mathbb{R})\). The Caputo derivative of fractional order α for the function u is defined by \({}^{\mathrm{c}}D^{\alpha} u(t)= \frac {1}{\Gamma(n-\alpha)}\int_{0}^{t} (t-\tau)^{n-\alpha-1}u^{(n)}(\tau)\, d\tau \) (see for more details [22, 24–28]). Also, the Riemann-Liouville fractional order integral of the function u is defined by \(I^{\alpha}u(t)= \frac{1}{\Gamma(\alpha)} \int_{0}^{t} \frac{u(\tau )}{(t-\tau)^{1-\alpha}}\, d\tau\) (\(t>0\)) whenever the integral exists [22, 24–28]. In [27], it has been proved that the general solution of the fractional differential equation \({}^{\mathrm{c}}D^{\alpha}u( t)=0\) is given by \(u(t)=c_{0}+c_{1}t+c_{2}t^{2}+\cdots+c_{n-1}t^{n-1}\), where \(c_{0},\ldots ,c_{n-1}\) are real constants and \(n=[\alpha]+1\). Also, for each \(T>0\) and \(u\in C([0,T])\) we have
where \(c_{0},\ldots,c_{n-1}\) are real constants and \(n=[\alpha]+1\) [27].
Now, we review some definitions and notations about multifunctions [29, 30].
For a normed space \((X, \|\cdot\|)\), let \({\mathcal{P}}_{\mathrm{cl}}(X)=\{Y \in {\mathcal{P}}(X) : Y \mbox{ is closed}\}\), \({\mathcal{P}}_{{\mathrm{b}}}(X)=\{Y \in{\mathcal{P}}(X) : Y \mbox{ is bounded}\}\), \({\mathcal{P}}_{\mathrm{cp}}(X)=\{Y \in{\mathcal{P}}(X) : Y \mbox{ is compact}\}\), and \({\mathcal{P}}_{\mathrm{cp}, \mathrm{c}}(X)=\{Y \in{\mathcal{P}}(X) : Y \mbox{ is compact and convex}\}\). A multivalued map \(G : X \to{\mathcal{P}}(X)\) is convex (closed) valued if \(G(x)\) is convex (closed) for all \(x \in X\). The 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{\mathcal{P}}_{{\mathrm{b}}}(X)\) (i.e., \(\sup_{x \in\mathbb{B}}\{\sup\{|y| : y \in G(x)\}\} < \infty\)). 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{\mathcal{P}}_{{\mathrm{b}}}(X)\). If the 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, i.e., \(u_{n} \to u_{*}\), \(y_{n} \to y_{*}\), \(y_{n} \in G(u_{n})\) imply \(y_{*} \in G(u_{*})\). G has a fixed point if there is \(x \in X\) such that \(x \in G(x)\). The fixed point set of the multivalued operator G will be denoted by FixG. A multivalued map \(G : J \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.
Consider the Pompeiu-Hausdorff metric \(H_{d} : {\mathcal{P}}(X) \times {\mathcal{P}}(X) \to\mathbb{R} \cup\{\infty\}\) given by
where \(d(A,b) = \inf_{a\in A}d(a;b)\) and \(d(a,B) = \inf_{b\in B}d(a;b)\). A multivalued operator \(N : X \to{\mathcal{P}}_{\mathrm{cl}}(X)\) is called contraction if there exists \(\gamma \in(0,1)\) such that \(H_{d}(N(x),N(y)) \le\gamma d(x,y)\) for each \(x, y \in X\).
Let \(2 < \alpha\leq3 \), \(1 < p \leq2\), \(t\in J=[0,1]\), \(0< \xi< 1\), and \(\gamma, \eta\in\mathbb{R}\). In this paper, we study the existence of solutions for the following fractional differential inclusion:
via the integral boundary value conditions
where \(F: J\times\mathbb{R}^{4} \to{\mathcal{P}}({\mathbb{R}})\) is a compact-valued multifunction.
We mention that the investigated fractional differential inclusion is a generalization of a huge class of classical ordinary differential inclusions which can be found in applications in engineering and physics etc. The boundary conditions (1.2) used in this manuscript, are as general as possible and we recover several cases of fractional nonlinear differential inclusions for many particular cases of the parameters.
We say that \(F: J\times\mathbb{R}^{4} \rightarrow{\mathcal{P}}({\mathbb {R}})\) is a Carathéodory multifunction whenever \(t\mapsto F(t,u,v,z, w)\) is measurable for all \(u,v,z, w\in\mathbb{R}\) and \((u,v,z, w)\mapsto F(t,u,v,z, w)\) is upper semicontinuous for almost all \(t\in J\) ([31] and [29]). Also, a Carathéodory multifunction \(F: J\times \mathbb{R}^{4} \rightarrow{\mathcal{P}}({\mathbb{R}})\) is called \(L^{1}\)-Carathéodory whenever for each \(\rho>0\) there exists \(\phi_{\rho}\in L^{1}(J,\mathbb{R}^{+})\) such that
for all \(|u|, |v|, |z|, |w|\leq\rho\), and for almost all \(t\in J\) ([31] and [29]). Define the set of selections of F by
We define the graph of a function G to be the set \(\operatorname{Gr}(G)=\{ (x,y)\in X\times Y, y\in G(x)\}\) and recall two results for closed graphs and upper semicontinuity.
Lemma 1.1
(Proposition 1.2 in [29])
If \(G : X \to\mathcal{P}_{\mathrm{cl}}(Y)\) is u.s.c., then \(\operatorname{Gr}(G)\) is a closed subset of \(X \times Y\); i.e., for every sequence \(\{u_{n}\}_{n \in\mathbb{N}} \subset X\) and \(\{y_{n}\}_{n \in \mathbb{N}} \subset Y\), if when \(n \to\infty\), \(u_{n} \to u_{*}\), \(y_{n} \to y_{*}\), and \(y_{n} \in G(u_{n})\), then \(y_{*} \in G(u_{*})\). Conversely, if G is completely continuous and has a closed graph, then it is upper semicontinuous.
Lemma 1.2
([32])
Let X be a separable Banach space. Let \(F : [0, 1] \times X^{4} \to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(X)\) be an \(L^{1}\)-Carathéodory function. Then the operator
is a closed graph operator.
Now we state some known fixed point theorems which are needed in the sequel.
Lemma 1.3
(Nonlinear alternative for Kakutani maps [33])
Let E be a Banach space, C a closed convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F: \overline{U}\to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(C)\) is a upper semicontinuous compact map. Then either
-
(i)
F has a fixed point in \(\overline{U}\), or
-
(ii)
there is a \(u\in\partial U\) and \(\lambda\in(0,1)\) with \(u\in \lambda F(u)\).
Lemma 1.4
([34])
Let \((X,d)\) be a complete metric space. If \(N : X \to{\mathcal{P}}_{\mathrm{cl}}(X)\) is a contraction, then \(\operatorname{Fix} N \ne\emptyset\).
2 Main results
Now, we are ready to prove our main results. Let \(X=\{u: u,u', u'', {}^{\mathrm{c}}D^{p} u\in C(J,\mathbb{R})\}\) endowed with the norm \(\|u\|=\sup_{t\in J} |u(t)|+\sup_{t\in J}|u'(t)| + \sup_{t\in J}|u''(t)| + \sup_{t\in J}|{}^{\mathrm{c}}D^{p} u(t)| \). Then \((X, {\Vert\cdot\Vert})\) is a Banach space [35].
Lemma 2.1
Let \(y\in L^{1}(J,{\mathbb{R}})\). Then the integral solution of the linear problem
is given by
where
Proof
It is well known that the solution of equation \({}^{\mathrm{c}}D^{\alpha}u(t)=y(t)\) can be written as
where \(c_{0}, c_{1}, c_{2}\in\mathbb{R}\) are arbitrary constants. Then we get
and
By using the boundary conditions \(u(0)+u(1)=0\), \({}^{\mathrm{c}}D^{p}u( 1)= \gamma \int_{0}^{1} u(\tau)\, d\tau\), \(u'(0)+u''( \xi)= \eta\int_{0}^{1} u(\tau)\, d\tau\), we obtain
and
Then
Letting \(A= \int_{0}^{1} u( \tau)\, d\tau\), we have
or after substituting \(c_{0}\), \(c_{1}\), and \(c_{2}\),
Substituting the value A in (2.4), we get (2.2). The proof is completed. □
Remark 2.2
Throughout this paper, the following relations hold:
Definition 2.3
A function \(u\in C^{2}(J, {\mathbb{R}})\) is called a solution for the problem (1.1)-(1.2) if there exists a function \(v\in L^{1}(J, {\mathbb{R}})\) with \(v(t)\in F(t, u(t), u'(t), u''(t), {}^{\mathrm{c}}D^{p}u(t))\) for almost all \(t\in J\), \(u(0)+u(1)=0\), \({}^{\mathrm{c}}D^{p}u( 1)= \gamma \int_{0}^{1} u(\tau)\, d\tau\), \(u'(0)+u''( \xi)= \eta\int_{0}^{1} u(\tau)\, d\tau\), and
for all \(t\in J\).
For the sake of brevity, we set
and
Theorem 2.4
Suppose that:
- (H1):
-
\(F: J\times\mathbb{R}^{4} \to{\mathcal{P}}_{\mathrm{cp},\mathrm{c}}(\mathbb {R})\) is a \(L^{1}\)-Carathéodory multifunction.
- (H2):
-
There exist continuous nondecreasing functions \(\psi_{i} : [0,\infty) \to (0,\infty)\) and functions \(p_{i} \in C(J,\mathbb{R}^{+})\), \(1\le i\le4\), such that
$$\bigl\Vert F(t, x_{1}, x_{2}, x_{3}, x_{4})\bigr\Vert :=\sup\bigl\{ |v|: v\in F(t, x_{1}, x_{2}, x_{3}, x_{4})\bigr\} \le\sum _{i=1}^{4} p_{i}(t)\psi_{i} \bigl(\vert x_{i}\vert \bigr) $$for each \((t,x_{i}) \in J\times\mathbb{R}\), \(1\le i\le4\).
- (H3):
-
There exists a constant \(M>0\) such that
$$\frac{M}{ \sum_{i=1}^{4}\Lambda_{i} \|p_{i}\|\psi_{i}(M)}> 1, $$where \(\Lambda_{i}\), \(1\le i\le4\) are defined by (2.6)-(2.9).
Then the inclusion boundary value problem (1.1)-(1.2) has at least one solution.
Proof
To transform the problem (1.1)-(1.2) into a fixed point problem, we define an operator \({\mathcal{N}}:X\rightarrow{\mathcal{P}}(X)\) as
We will show that \({\mathcal{N}}\) satisfies the assumptions of the nonlinear alternative of Leray-Schauder type. The proof consists of several steps. As a first step, we show that \({\mathcal{N}}\) is convex for each \(u \in X\). This step is obvious since \(S_{F,u}\) is convex (F has convex values), and therefore we omit the proof.
In the second step, we show that \({\mathcal{N}}\) maps bounded sets (balls) into bounded sets in X. For a positive number r, let \(B_{r} = \{u \in X: \|u\| \le r \}\) be a bounded ball in X. Then, for each \(h \in{\mathcal{N}} (u)\) and \(u \in B_{r}\), there exists \(v \in S_{F,u}\) such that
Then we have
for all \(t\in J\). In a similar manner we obtain
and
for all \(t\in J\). Thus we get
which implies that \({\mathcal{N}}\) maps bounded sets into bounded sets in X.
Now, we prove that \({\mathcal{N}}\) maps bounded sets into equi-continuous subsets of X. Suppose that \(u\in B_{r}\) and \(t_{1}, t_{2}\in J\) with \(t_{1}< t_{2}\). Then we have
Proceeding as above we have
and
Obviously the right-hand side of the above inequalities tends to zero independently of \(u \in B_{r}\) as \(t_{2}- t_{1} \to0\). Therefore it follows by the Ascoli-Arzelá theorem that \({\mathcal{N}}: X \to {\mathcal{P}}(X)\) is completely continuous.
In our next step, we show that \({\mathcal{N}}\) is upper semicontinuous. It is well known by Lemma 1.1 that \({\mathcal{N}}\) will be upper semicontinuous if we prove that it has a closed graph, since \({\mathcal{N}}\) is already shown to be completely continuous. Thus we will prove that \({\mathcal{N}}\) has a closed graph. Let \(u_{n} \to u_{*}\), \(h_{n} \in{\mathcal{N}} (u_{n})\), and \(h_{n} \to h_{*}\). Then we need to show that \(h_{*} \in {\mathcal{N}} (u_{*})\). Associated with \(h_{n} \in{\mathcal{N}} (u_{n})\), there exists \(v_{n} \in S_{F,u_{n}}\) such that, for each \(t \in J\),
Thus it suffices to show that there exists \(v_{*} \in S_{F,u_{*}}\) such that, for each \(t \in J\),
Let us consider the linear operator \(\Theta: L^{1}(J, \mathbb{R}) \to C(J, \mathbb{R})\) given by
Observe that
Thus, it follows by Lemma 1.2 that \(\Theta\circ S_{F}\) is a closed graph operator. Further, we have \(h_{n}(t) \in \Theta(S_{F,u_{n}})\). Since \(u_{n} \to u_{*}\), therefore, we have
for some \(v_{*} \in S_{F,u_{*}}\).
Finally, we show that there exists an open set \(U\subseteq X\) with \(u\notin{\mathcal{N}} (u)\) for any \(\lambda\in (0,1)\) and all \(u\in\partial U\). Let \(\lambda\in(0,1)\) and \(u\in \lambda{\mathcal{N}} (u)\). Then there exists \(v \in L^{1}(J, \mathbb{R})\) with \(v \in S_{F,u}\) such that, for \(t \in J\), we have
Using the computations of the second step above we have
which implies that
In view of (H3), there exists M such that \(\|u\| \ne M\). Let us set
Note that the operator \({\mathcal{N}} :\overline{U} \to\mathcal{P}(X)\) is upper semicontinuous and completely continuous. From the choice of U, there is no \(u \in\partial U\) such that \(u \in\lambda{\mathcal{N}} (u)\) for some \(\lambda\in(0,1)\). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 1.3), we deduce that \({\mathcal{N}}\) has a fixed point \(u \in\overline{U}\) which is a solution of the problem (1.1)-(1.2). This completes the proof. □
In the next theorem, we prove the existence of solution for the inclusion boundary value problem (1.1)-(1.2) when the multifunction F is non-convex valued.
Theorem 2.5
Assume that:
- (H4):
-
\(F : J \times\mathbb{R}^{4} \to{\mathcal{P}}_{\mathrm{cp}}(\mathbb{R})\) is such that \(F(\cdot,u,v,z,w) : J \to{\mathcal{P}}_{\mathrm{cp}}(\mathbb{R})\) is measurable for each \(u,v,z,w \in\mathbb{R}\).
- (H5):
-
For almost all \(t \in J\) and \(u_{1},u_{2}, u_{3}, u_{4}, w_{1},w_{2}, w_{3}, w_{4}\in \mathbb{R}\) we have
$$\begin{aligned}& H_{d}\bigl(F(t,u_{1},u_{2},u_{3},u_{4}), F(t,w_{1},w_{2},w_{3},w_{4})\bigr) \\& \quad \leq m(t) \bigl(|u_{1}-w_{1}|+|u_{2}-w_{2}|+|u_{3}-w_{3}|+|u_{4}-w_{4}|\bigr) \end{aligned}$$with \(m \in C(J, \mathbb{R}^{+})\) and \(d(0,F(t,0,0,0,0))\le m(t)\), for almost all \(t \in J\).
Then the boundary value problem (1.1)-(1.2) has at least one solution on J if \(\|m\|\sum_{i=1}^{4} \Lambda_{i} <1\).
Proof
Observe that the set \(S_{F,u}\) is nonempty for each \(u \in X\) by the assumption (H4), so F has a measurable selection (see Theorem III.6 in [36]). Now we show that the operator \({\mathcal{N}}\), defined in the beginning of proof of Theorem 2.4, satisfies the assumptions of Lemma 1.4. To show that \({\mathcal{N}}(u) \in{\mathcal{P}}_{\mathrm{cl}}(X)\) for each \(u \in X\), let \(\{u_{n}\}_{n \ge0} \in {\mathcal{N}}(u)\) be such that \(u_{n} \to u\) (\(n \to\infty\)) in X. Then \(u \in X\) and there exists \(v_{n} \in S_{F,u_{n}}\) such that, for each \(t \in J\),
As F has compact values, we pass onto a subsequence (if necessary) to find that \(v_{n}\) converges to v in \(L^{1} (J,\mathbb{R})\). Thus, \(v \in S_{F,u}\) and for each \(t \in J\), we have
Hence, \(u \in{\mathcal{N}}(u)\).
Next we show that \({\mathcal{N}}\) is a contractive multifunction with constant \(\delta=\|m\|\sum_{i=1}^{4}\Lambda_{i} <1\). Let \(u,w \in X\) and \(h_{1} \in{\mathcal{N}}(u)\). Then there exists \(v_{1} \in S_{F,u}\) such that, for each \(t \in J\),
By (H5), we have
so there exists \(z\in F(t, u(t), u'(t), u''(t), {}^{\mathrm{c}}D^{p} u(t)) \) such that
for almost all \(t\in J\). Define the multifunction \(U: J \rightarrow {\mathcal{P}}(\mathbb{R})\) by
It is easy to check that the multifunction \(U( \cdot) \cap F(\cdot ,u(\cdot),u'(\cdot), u''(\cdot),{}^{\mathrm{c}}D^{p} u(\cdot )) \) is measurable. Hence, we can choose \(v_{2}\in S_{F, u}\) such that
for almost all \(t\in J\). Consider \(h_{2}\in{\mathcal{N}}(u)\) which is defined by
Thus,
In a similar manner we obtain
and
Hence,
Analogously, interchanging the roles of u and w, we obtain
Since \(\delta= \|m\| \sum_{i=1}^{4}\Lambda_{i}<1\), \({\mathcal{N}}\) is a contraction, it follows by Lemma 1.4 that \({\mathcal{N}}\) has a fixed point u which is a solution of (1.1)-(1.2). This completes the proof. □
Now, we give an illustrative example.
Example 2.6
We consider the following fractional differential inclusion:
via the boundary value conditions
where \(t\in J=[0,1]\). By the above inclusion problem, we have \(\alpha= 5/2\), \(p=5/3\), \(\xi= 1/100\), and \(\gamma= \eta= 1/1\text{,}000\). Now, we define an operator \(F: J \times\mathbb{R} \times\mathbb{R} \times \mathbb{R} \times\mathbb{R} \to P_{\mathrm{cp}}(\mathbb{R})\) by
Also, we define the function \(m: J \to\mathbb{R}^{+}\) by \(m(t)=t/200\). It is clear that m is continuous on J and \(\|m\| = 1/200\). Finally, one can write
where \(t\in J\) and \(x_{i}, y_{i} \in\mathbb{R}\) (\(i=1,2, 3, 4\)). On the other hand, there exist the following values:
Then \(\Vert m\Vert(\Lambda_{1} + \Lambda_{2} + \Lambda_{3} + \Lambda_{4} ) = \frac{1}{200}\times8.064354 = 0.04 < 1 \). Consequently, all assumptions and conditions of Theorem 2.5 are satisfied. Hence, Theorem 2.5 implies that the fractional differential inclusion problem (2.10) has at least one solution.
References
Agarwal, RP, Ahmad, B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. J. Appl. Math. Comput. 62, 1200-1214 (2011)
Agarwal, RP, Belmekki, M, Benchohra, M: A survey on semilinear differential equations and inclusions invovling Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009, Article ID 981728 (2009)
Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973-1033 (2010)
Agarwal, RP, Ntouyas, SK, Ahmad, B, Alhothuali, M: Existence of solutions for integro-differential equations of fractional order with nonlocal three-point fractional boundary conditions. Adv. Differ. Equ. 2013, 128 (2013)
Ahmad, B, Nieto, JJ: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray-Schauder degree theory. Topol. Methods Nonlinear Anal. 35, 295-304 (2010)
Ahmad, B, Ntouyas, SK: Boundary value problem for fractional differential inclusions with four-point integral boundary conditions. Surv. Math. Appl. 6, 175-193 (2011)
Ahmad, B, Ntouyas, SK, Alsedi, A: On fractional differential inclusions with anti-periodic type integral boundary conditions. Bound. Value Probl. 2013, 82 (2013)
Bai, Z, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012)
Baleanu, D, Agarwal, RP, Mohammadi, H, Rezapour, S: Some existence results for a nonlinear fractional differential equation on partially ordered Banach spaces. Bound. Value Probl. 2013, 112 (2013)
Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. World Scientific, Singapore (2012)
Baleanu, D, Mohammadi, H, Rezapour, S: The existence of solutions for a nonlinear mixed problem of singular fractional differential equations. Adv. Differ. Equ. 2013, 359 (2013)
Baleanu, D, Mohammadi, H, Rezapour, S: Positive solutions of a boundary value problem for nonlinear fractional differential equations. Abstr. Appl. Anal. 2012, Article ID 837437 (2012)
Baleanu, D, Mohammadi, H, Rezapour, S: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 371, 20120144 (2013)
Baleanu, D, Mohammadi, H, Rezapour, S: On a nonlinear fractional differential equation on partially ordered metric spaces. Adv. Differ. Equ. 2013, 83 (2013)
Baleanu, D, Nazemi, Z, Rezapour, S: The existence of positive solutions for a new coupled system of multi-term singular fractional integro-differential boundary value problems. Abstr. Appl. Anal. 2013, Article ID 368659 (2013)
Baleanu, D, Nazemi, Z, Rezapour, S: Existence and uniqueness of solutions for multi-term nonlinear fractional integro-differential equations. Adv. Differ. Equ. 2013, 368 (2013)
Baleanu, D, Nazemi, Z, Rezapour, S: Attractivity for a k-dimensional system of fractional functional differential equations and global attractivity for a k-dimensional system of nonlinear fractional differential equations. J. Inequal. Appl. 2014, 31 (2014)
Bragdi, M, Debbouche, A, Baleanu, D: Existence of solutions for fractional differential inclusions with separated boundary conditions in Banach space. Adv. Math. Phys. 2013, Article ID 426061 (2013)
Campos, LM: On the solution of some simple fractional differential equations. Int. J. Math. Sci. 13(3), 481-496 (1990)
Luchko, YF, Srivastava, HM: The exact solution of certain differential equations of fractional order by using operational calculus. Comput. Math. Appl. 29, 73-85 (1995)
Ouahab, A: Some results for fractional boundary value problem of differential inclusions. Nonlinear Anal. 69, 3877-3896 (2008)
Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)
Phung, PD, Truong, LX: On a fractional differential inclusion with integral boundary conditions in Banach space. Fract. Calc. Appl. Anal. 16(3), 538-558 (2013)
Samko, G, Kilbas, A, Marichev, O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)
Diethelm, K: Analysis of Fractional Differential Equations. Springer, Berlin (2010)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Miller, S, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, San Diego (1974)
Deimling, K: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)
Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis, Volume I: Theory. Kluwer Academic, Dordrecht (1997)
Aubin, J, Cellna, A: Differential Inclusions: Set-Valued Maps and Viability Theory. Springer, Berlin (1984)
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)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)
Covitz, H, Nadler, S: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8, 5-11 (1970)
Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009)
Castaing, C, Valadier, M: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics, vol. 580. Springer, Berlin (1977)
Acknowledgements
This research is partially supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in this article. They read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ntouyas, S.K., Etemad, S. & Tariboon, J. Existence of solutions for fractional differential inclusions with integral boundary conditions. Bound Value Probl 2015, 92 (2015). https://doi.org/10.1186/s13661-015-0356-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0356-y