- Research
- Open Access
- Published:
On fractional differential equations and inclusions with nonlocal and average-valued (integral) boundary conditions
Advances in Difference Equations volume 2016, Article number: 80 (2016)
Abstract
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, [1–7] 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 [11–26]. 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
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)
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
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
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
Remark 2.1
If \(f(t)\in C^{n}[0,\infty)\), then
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
is equivalent to the fractional integral equation
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
which can be expressed as
where \(F_{1, 2}: X \to X\) are given by
For computational convenience, we set the notations
and
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
-
(C1)
F has a fixed point \(u\in{\bar{U}}\); or
-
(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
and
Theorem 3.1
Assume that:
- (A1):
-
\(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);
- (A2):
-
\(h(0)=0\);
- (A3):
-
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}}\);
- (A4):
-
\(\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]\).
Proof
By assumption (A4), there exists a number \(r_{0}>0\) such that
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
and
Consequently, we have
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
and
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
which, by taking the supremum for \(t \in[0, 1]\), yields
Also, we have
Consequently, we get
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
and
Hence,
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
Further, we have that
Thus, we have
which yields a contradiction,
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
[30]
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
-
(i)
\(K, C: \mathcal{D}\subseteq X\to X\) are operators on the Banach space X;
-
(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)\);
-
(iii)
C is compact.
Lemma 3.3
[32]
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]\).
Proof
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
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
and, as in Step 3, we can get
Consequently,
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
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:
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
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
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
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
-
(i)
\(t \mapsto F(t,x,y)\) is measurable for each \(x ,y\in\mathbb{R}\);
-
(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
-
(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
The following lemma will be used in the sequel.
Lemma 4.1
[35]
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
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
-
(a)
\(Z_{1}\) is contraction, and
-
(b)
\(Z_{2}\) is u.s.c. and compact.
Then, if \(G=Z_{1}+Z_{2}\), then either
-
(i)
G has a fixed point in \(\bar{\mathcal{D}}\), or
-
(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:
- (H1):
-
\(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;
- (H2):
-
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}\);
- (H3):
-
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, $$(4.2)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]\).
Proof
To transform problem (1.1) into a fixed point problem, we introduce the operator \({\mathcal{N}}:X\rightarrow{\mathcal{P}}(X)\) as follows:
Now, we define the operator \({\mathcal{A}}_{1}: X\rightarrow X\) by
and the multivalued operator \({\mathcal{A}}_{2}: X\rightarrow {\mathcal{P}}(X)\) by
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
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
Continuing this process, we have
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
for almost all \(t\in[0,1]\). Let \(0\leq\lambda\leq1\). Then, we have
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,
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
Then, for \(t\in[0,1]\), we have
Considering
we obtain
and therefore
Consequently,
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:
and
Hence, we have
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]\),
Thus, it suffices to show that there exists \(f_{*} \in S_{F,x_{*}}\) such that for each \(t \in[0,1]\),
Let us consider the linear operator \(\Theta: L^{1}([0,1], \mathbb{R}) \to C([0,1], \mathbb{R})\) given by
Observe that
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
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
Following the method of the proof of Claim I, we can obtain
and
Consequently,
Thus,
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
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
supplemented with the boundary conditions (3.8), where
Clearly,
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]\).
References
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)
Marin, M: An evolutionary equation in thermoelasticity of dipolar bodies. J. Math. Phys. 40, 1391-1399 (1999)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Mainardi, F: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, London (2010)
Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2011)
Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012)
Marin, M, Agarwal, RP, Mahmoud, SR: Nonsimple material problems addressed by the Lagrange’s identity. Bound. Value Probl. 2013, 135 (2013)
Kisielewicz, M: Stochastic Differential Inclusions and Applications. Springer Optimization and Its Applications, vol. 80. Springer, New York (2013)
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)
Čiegis, R, Bugajev, A: Numerical approximation of one model of the bacterial self-organization. Nonlinear Anal., Model. Control 17, 253-270 (2012)
Henderson, J, Ouahab, A: Fractional functional differential inclusions with finite delay. Nonlinear Anal. 70, 2091-2105 (2009)
Chang, Y-K, Nieto, JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 49, 605-609 (2009)
Goodrich, C: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 61, 191-202 (2011)
Bai, ZB, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012)
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)
Gambo, YY, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)
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)
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)
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)
Graef, JR, Henderson, J, Ouahab, A: Fractional differential inclusions in the Almgren sense. Fract. Calc. Appl. Anal. 18(3), 673-686 (2015)
Agarwal, RP, Baleanu, D, Hedayati, V, Rezapour, S: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205-212 (2015)
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)
Ntouyas, SK, Etemad, S, Tariboon, J: Existence results for multi-term fractional differential inclusions. Adv. Differ. Equ. 2015, 140 (2015)
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)
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)
Ahmad, B, Agarwal, RP, Alsaedi, A: Fractional differential equations and inclusions with semiperiodic and three-point boundary conditions. Bound. Value Probl. 2016, 28 (2016)
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
Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009)
O’Regan, D: Fixed-point theory for the sum of two operators. Appl. Math. Lett. 9, 1-8 (1996)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)
Zeidler, E: Nonlinear Functional Analysis and Its Application: Fixed Point-Theorems, vol. 1. Springer, New York (1986)
Sadovskii, BN: On a fixed point principle. Funct. Anal. Appl. 1, 74-76 (1967)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis: Theory, vol. I. Kluwer Academic, Dordrecht (1997)
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)
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)
Acknowledgements
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
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 (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
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). https://doi.org/10.1186/s13662-016-0807-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0807-5
MSC
- 34A08
- 34B10
- 34A60
Keywords
- Caputo fractional derivative
- equations
- inclusions
- nonlocal and integral boundary conditions
- fixed point