Abstract
We investigate the existence of solutions for new boundary value problems of Caputo-type sequential fractional differential equations and inclusions supplemented with nonlocal integro-multipoint boundary conditions. We apply the modern techniques of functional analysis to obtain the main results. We emphasize that the results presented in this paper are new and specialize to some known theorems with an appropriate choice of the parameters involved in the problems at hand.
Similar content being viewed by others
1 Introduction
In this paper, we investigate the existence criteria for the solutions of Caputo-type sequential fractional differential equations and inclusions:
supplemented with nonlocal integro-multipoint boundary conditions:
where \({}^{c}D^{q}\), \({}^{c}D^{\kappa }\) denote the Caputo fractional derivatives of order \(q \in (1, 2]\) and \(\kappa \in (0, 1)\), respectively, \(\mu >0\), f is a given continuous function, \(F: [0,1] \times {\mathbb{R}}\times {\mathbb{R}}\rightarrow {\mathcal{P}}( {\mathbb{R}})\) is a multivalued map (\({\mathcal{P}}({\mathbb{R}})\) is the family of all nonempty subsets of \({\mathbb{R}}\)), \({{\rho _{1}}, { \rho _{2}},{ \rho _{3}},{ \rho _{4}}}\) are real constants and \(\alpha _{i}\), \(\delta _{i}\) (\(i=1,2,\ldots,m-2\)), \(r_{j}\), \(\gamma _{j}\) (\(j=1,2,\ldots,p-2\)) are positive real constants.
The tools of fractional calculus such as fractional order differential and integral operators are found to be of great utility in developing the mathematical models related to dynamical systems involving fractals and chaos. The modelers’ interest in such tools is due to the fact that fractional order operators are nonlocal in nature and can trace the hereditary characteristics of many materials and processes involved in the problem. For a detailed account of the subject, for example, see the books [1,2,3,4,5,6] and papers [7,8,9,10].
Fractional order single- and multivalued boundary value problems involving different kinds of boundary conditions attracted significant attention during the last two decades. The literature on this topic is now much enriched and contains a variety of results ranging from the existence theory to the methods of solution for such problems [11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28].
The present work is motivated by a recent article [29] dealing with a fractional differential equation: \({}^{c}D^{q}x(t)=f(t,x(t),{}^{c}D ^{\beta }x(t))\), \(1< q \le 2\), \(0< \beta <1\), \(t \in (0, 1)\), equipped with boundary conditions (1.3).
The rest of the paper is arranged as follows. In Sect. 2, we outline the basic concepts of fractional calculus and prove an auxiliary lemma. Section 3 contains the main results for the problem (1.1) and (1.3) and illustrative examples for the obtained results. In Sect. 4, we prove the existence of solutions for the inclusion problem (1.2) and (1.3) for convex- as well as nonconvex-valued maps involved in the given problem. The paper concludes with some interesting observations.
2 Preliminaries
Let us begin this section with some preliminary concepts of fractional calculus [1, 4].
Definition 2.1
Let v be a locally integrable real-valued function on \(-\infty \leq a< t< b\leq +\infty \). The Riemann–Liouville fractional integral \(I_{a} ^{\alpha }\) of v of order \(\alpha \in \mathbb{R}\) (\(\alpha >0\)) is defined as
where Γ denotes the Euler gamma function.
Definition 2.2
Let \(v, v^{(m)} \in L^{1}[a,b]\) for \(-\infty \leq a< t< b\leq +\infty \). The Riemann–Liouville fractional derivative \(D_{a} ^{\alpha }\) of v of order \(\alpha >0\) (\(m-1<\alpha <m\), \(m\in \mathbb{N}\)) is defined as
while the Caputo fractional derivative \({{}^{c}{D}_{a}^{\alpha }}\) of v of order \(\alpha \in \mathbb{R}\) (\(m-1<\alpha <m\), \(m\in \mathbb{N}\)) is defined as
Remark 2.3
If \(v\in C^{m}[a,b]\), then the Caputo fractional derivative \({{}^{c}{D}_{a}^{\alpha }}\) of order \(\alpha \in \mathbb{R}\) (\(m-1< \alpha <m\), \(m\in \mathbb{N}\)) is defined as
In the present work, we denote the Riemann–Liouville fractional integral \(I_{a}^{\alpha }\) and the Caputo fractional derivative \({{}^{c}{D}_{a}^{\alpha }}\) with \(a=0\) by \(I^{\alpha }\) and \({{}^{c}{D} ^{\alpha }}\), respectively.
To define the solution for problem (1.1) and (1.2), we consider the following lemma dealing with its linear variant.
Lemma 2.4
Let \(h \in C([0,1],\mathbb{R})\). Then the integral solution for the sequential fractional differential equation
supplemented with the boundary conditions (1.3) is given by
where
with the assumption that
Proof
Applying the integral operator \(I^{q-1}\) on both sides of (2.1) and then solving the resulting equation, we get
where \(\omega _{i}\) (\(i=0,1\)) are unknown arbitrary constants. From (2.8), we have
Using (2.8) and (2.9) in the boundary conditions (1.2), we obtain
where \(A_{i}\) and \(B_{i}\) (\(i=1,2\)) are respectively given by (2.5) and (2.6), and
Solving system (2.10) for the unknown constants \(\omega _{0}\), \(\omega _{1}\) yields
where Δ is given by (2.7). Substituting the values of \(\omega _{0}\) and \(\omega _{1}\) into (2.8), together with the notations (2.3) and (2.4), we get the solution (2.2). The converse follows by direct computation. This completes the proof. □
3 Main results for the problem (1.1) and (1.3)
Let \(X = \{x\vert x\in C([0,1],{\mathbb{R}})\text{ and } {}^{c}D ^{\kappa }x \in C([0,1],{\mathbb{R}}) \}\) be a space equipped with the norm \(\Vert x \Vert _{X}=\sup_{t\in [0,1]} \vert x(t) \vert +\sup_{t\in [0,1]} \vert {}^{c}D ^{\kappa }x(t) \vert = \Vert x \Vert + \Vert {}^{c}D^{\kappa }x \Vert \), where \({{}^{c}D^{\kappa }}\) denotes the standard Caputo fractional derivative of order \(0 < \kappa \le 1\). As argued in [30], \((X, \Vert \cdot \Vert _{X})\) is a Banach space.
By means of Lemma 2.4, we transform problem (1.1) and (1.3) into a fixed point problem as \(x = \mathfrak{H}x\), where the operator \(\mathfrak{H} : X \rightarrow X\) is defined by
where \(\phi _{i}\), \(\psi _{j}\) and \(\varOmega _{i} \) (\(i=1, 2\)) are respectively given by (2.3) and (2.4). Furthermore, we have
where
Next we fix some quantities as follows:
In the following, for brevity, we use the notation
3.1 Existence result via Krasnoselskii’s fixed point theorem
Here we present an existence result for the problem (1.1) and (1.3), which relies on Krasnoselskii’s fixed point theorem [31].
Theorem 3.1
Let \(f: [0,1]\times \mathbb{R}\times {\mathbb{R}} \to \mathbb{R}\) be a continuous function satisfying the conditions:
- \((A_{1})\) :
-
There exists a constant \(L>0\) such that \(\vert f(t,x_{1},y _{1})-f(t,x_{2},y_{2}) \vert \le L( \vert x_{1}-x_{2} \vert + \vert y_{1}-y_{2} \vert )\) for all \(t\in [0,1]\), \(x_{i},y_{i}\in {\mathbb{R}}\), \(i=1,2\);
- \((B_{1})\) :
-
There exists a function \(m\in C([0,1], {\mathbb{R}} ^{+})\) such that \(\vert f(t,x,y) \vert \le m(t)\) for all \((t,x,y)\in [0,1]\times {\mathbb{R}}\times {\mathbb{R}}\).
Then the problem (1.1) and (1.3) has at least one solution on \([0,1]\) provided that
where λ̂, \(\widehat{\lambda }_{1}\) are given by (3.4) and (3.6), respectively.
Proof
For \(\rho > \Vert m \Vert ( \lambda +\frac{\lambda _{1}}{\varGamma (2-\kappa )} )\), we consider the closed ball \(B_{\rho }=\{x\in X: \Vert x \Vert _{X}\le \rho \}\) and introduce the operators A and B on \(B_{\rho }\) as follows:
For any \(x,y\in B_{\rho }\), it is straightforward to show that
which implies that \(Ax+By \in B_{\rho }\). Also, the operator B is completely continuous. Indeed, B is uniformly bounded on \(B_{r}\) as
Observe that
Also
and
as \(t_{1}\to t_{2}\) independent of x. So B is equicontinuous. Using assumption \((A_{1})\) and condition (3.8), it is easy to establish that operator A is a contraction. Thus the hypotheses of Krasnoselskii’s fixed point theorem [31] hold true, and consequently we deduce by its conclusion that the problem (1.1) and (1.3) has at least one solution on \([0,1]\). This completes the proof. □
3.2 Uniqueness of solutions
Here we establish the uniqueness of solutions for the problem (1.1) and (1.3) by applying a fixed point theorem due to Banach.
Theorem 3.2
Let assumption \((A_{1})\) be satisfied and
where λ and \(\lambda _{1}\) are given by (3.3) and (3.5), respectively. Then there exists a unique solution for the problem (1.1) and (1.3) on \([0, 1]\).
Proof
Let us define \(\sup_{t\in [0,1]}{ \vert f(t,0,0) \vert =M}\) and select
to show that \(\mathfrak{H}B_{\bar{r}} \subset B_{\bar{r}}\), where \(B_{\bar{r}}=\{x\in X: \Vert x \Vert _{X}\leq \bar{r}\}\) and \(\mathfrak{H}\) is defined by (3.1).
Using condition \((A_{1})\), we have
Then, for \(x\in B_{\bar{r}}\), we obtain
Also we have
Using the above inequality in the definition of Caputo fractional derivative with \(0<\kappa \le 1\), we get
Hence
which clearly shows that \(\mathfrak{H}x\in B_{\bar{r}}\) for any \(x\in B_{\bar{r}}\). Thus \(\mathfrak{H}B_{\bar{r}}\subset B_{\bar{r}}\).
Now, for \(x,y\in X\) and for each \(t\in [0,1]\), we have
Also
and moreover,
Consequently, we have
which shows that \(\mathfrak{H}\) is a contraction by condition (3.11). Thus the operator \(\mathfrak{H}\) has a unique fixed point by Banach fixed point theorem, which corresponds to a unique solution of the problem (1.1) and (1.3) on \([0,1]\). This completes the proof. □
3.3 An example
Consider the following nonlinear sequential fractional differential equation:
supplemented with the integro-multipoint boundary conditions:
Here \(q=7/5\), \(\kappa =1/2\), \(\mu =1\), \(m=5\), \(p=7\), \(\sigma _{1}=1/18\), \(\sigma _{2}=1/9\), \(\sigma _{3}=1/6\), \(\xi _{1}=1/5\), \(\eta _{1}=1/4\), \(\xi _{2}=3/10\), \(\eta _{2}=7/20\), \(\xi _{3}=2/5\), \(\eta _{3}=9/20\), \(\xi _{4}=1/2\), \(\eta _{4}=11/20\), \(\xi _{5}=3/5\), \(\eta _{5}=13/20\), \(\alpha _{1}=1\), \(\alpha _{2}=1/2\), \(\alpha _{3}=1\), \(\delta _{1}=3/4\), \(\delta _{2}=1\), \(\delta _{3}=3/2\), \(r_{1}=1/3\), \(r _{2}=2/3\), \(r_{3}=1\), \(r_{4}=-1\), \(r_{5}=2\), \(\gamma _{1}=-1/2\), \(\gamma _{2}=1/2\), \(\gamma _{3}=2\), \(\gamma _{4}=1\), \(\gamma _{5}=3/2\), \(\rho _{1}=1/2\), \(\rho _{2}=3/4\), \(\rho _{3}=-1\), \(\rho _{4}=2\). Using the given data, we find that \(\Delta =4. 3972\), \(\lambda =2. 4121\), \(\widehat{\lambda }=1.6997\), \(\lambda _{1} = 4.1293\), \(\widehat{\lambda }_{1}=2.2898\) (Δ, λ, λ̂, \(\lambda _{1}\) and \(\widehat{\lambda }_{1}\) are respectively given by (2.7), (3.3), (3.4), (3.5), and (3.6)). Further we have
Clearly, the hypothesis of Theorem 3.1 holds true. In consequence, there exists a solution to the problem (3.12)–(3.13) on \([0, 1]\) by Theorem 3.1. Also
which implies that the problem (3.12)–(3.13) has a unique solution on \([0, 1]\) by Theorem 3.2.
4 The case of inclusions
In this section, we investigate the existence of solutions for the multivalued (inclusion) boundary value problem (1.2) and (1.3). Our first result deals with the case when the multivalued map F has convex values, while the second result is concerned with the nonconvex multivalued maps.
For each \(x\in C([0,1],{\mathbb{R}})\), the set
is known as the set of selections of the multivalued map F.
4.1 The case of upper semicontinuous (convex-valued) maps
Here we present an existence result for the problem (1.2) and (1.3) when the multivalued map F is convex-valued. We make use of nonlinear alternative for Kakutani maps [32] to derive the desired result.
Theorem 4.1
Assume that:
- \({(C_{1})}\) :
-
\(F : [0,1] \times \mathbb{R}^{2} \to {\mathcal{P}}( \mathbb{R})\) is \(L^{1}\)-Carathéodory and has nonempty, compact, and convex values;
- \({(C_{2})}\) :
-
There exist a function \(g\in C([0,1],{\mathbb{ R}}^{+})\) with \(\Vert g \Vert =\sup_{t \in [0, 1]} \vert g(t) \vert \) and nondecreasing function \(Q :{\mathbb{R}}^{+}\rightarrow {\mathbb{R}}^{+}\) such that
$$ \begin{aligned} \bigl\Vert F(t,x,y) \bigr\Vert _{\mathcal{P}}:={}&\sup \bigl\{ \vert w \vert : w \in F(t,x, y)\bigr\} \\ \leq {}&g(t)Q\bigl( \Vert x \Vert + \Vert y \Vert \bigr), \quad \forall (t,x, y)\in [0,1]\times {\mathbb{R}}\times { \mathbb{R}};\end{aligned} $$ - \({(C_{3})}\) :
-
There exists a constant \(K>0\) such that
$$ \frac{K}{ \Vert g \Vert Q(K) (\lambda +\frac{\lambda _{1}}{\varGamma (2-\kappa )} )}>1, $$where λ, \(\lambda _{1}\) are are given by (3.3) and (3.5), respectively.
Then the problem (1.2)–(1.3) has at least one solution on \([0,1]\).
Proof
We transform the problem (1.2)–(1.3) into a fixed point problem. Consider the multivalued map: \(N:X\rightarrow {\mathcal{P}}(X)\) defined by
It is clear that the fixed points of N are solutions of problem (1.2)–(1.3). Now we proceed to show that operator N satisfies all the conditions of the nonlinear alternative for Kakutani maps [32]. The proof is given in several steps.
-
Step 1. \(N(x)\) is convex for each \(x \in X\) .
Indeed, if \(h_{1}\), \(h_{2}\) belong to \(N(x)\), then there exist \(v_{1}, v_{2}\in S_{F,x}\) such that for each \(t\in [0,1]\), we have
Let \(0\leq \mu \leq 1\). Then for each \(t\in [0,1]\), we have
Since F has convex values (\(S_{F,x}\) is convex),
-
Step 2. \(N(x)\) maps bounded sets (balls) into bounded sets in X.
For a positive number r, let \({\mathcal{B}}_{r} = \{x \in X: \Vert x \Vert _{X} \le r \}\) be a bounded set in X. Then, for \(h\in N(x)\), \(x \in B_{r}\), there exists \(v\in S_{F,x}\) such that
for some \(v\in S_{F,x_{r}}\). Then, for \(t\in [0,1]\), we have
which, when taking the norm for \(t\in [0,1]\), yields \(\Vert h \Vert \le \Vert g \Vert Q(r) \lambda \). Also we have
By definition of Caputo fractional derivative with \(0<\kappa \le 1\), we get
Hence
-
Step 3. N maps bounded sets into equicontinuous sets of X.
Next we show that N maps bounded sets into equicontinuous sets of X. Let \(t_{1}, t_{2} \in [0,1]\) with \(t_{1}< t_{2}\) and \(y \in {\mathcal{B}}_{r}\), where \({\mathcal{B}}_{r}\) is a bounded set of X. Then we obtain
and
Obviously, the right-hand sides of the above inequalities tend to zero independently of \(x \in {\mathcal{B}}_{r}\) as \(t_{2}- t_{1} \to 0\). As N satisfies the above assumptions, it follows by the Arzelá–Ascoli theorem that \(N: X \to X\) is completely continuous.
By virtue of Proposition 1.2 in [33], it is enough to establish that operator \(N: X \to X\) has a closed graph, which will imply that N is u.s.c. as it is already shown to be completely continuous. This is done in our next step.
-
Step 4. N has a closed graph.
Let \(x_{n}\rightarrow x_{*}\), \(h_{n}\in N(x_{n})\), and \(h_{n}\rightarrow h_{*}\). We need to show that \(h_{*}\in N(x_{*})\). Now \(h_{n}\in N(x _{n})\) implies that there exists \(v_{n}\in S_{F,x_{n}}\) such that for each \(t\in [0,1]\),
We must show that there exists \(v_{*}\in S_{F,x_{*}}\) such that for each \(t\in [0,1]\),
Consider the continuous linear operator \(\varTheta :L^{1}([0,1],{\mathbb{R}}) \rightarrow C([0,1], \mathbb{R})\) given by
Since \(\Vert h_{n}-h_{*} \Vert _{X}\to 0\) as \(n\to \infty \), it follows from a closed graph result obtained in [34] that \(\varTheta \circ S _{F,x}\) is a closed graph operator. Moreover, we have \(h_{n}\in \varTheta (S_{F,x_{n}})\). Since \(x_{n}\rightarrow x_{*}\), we obtain
for some \(v_{*}\in S_{F,x_{*}}\)
-
Step 5. We show there exists an open set \(U\subseteq C(J,{\mathbb{R}})\) with \(x\notin \theta N (x)\) for any \(\theta \in (0,1)\) and all \(x\in \partial U\).
Let \(\theta \in (0,1)\) and \(x\in \theta N (x)\). Then there exists \(v \in L^{1}([0,1], \mathbb{R})\) with \(v \in S_{F,x}\) such that, for \(t \in J\), we have
As in the first step, we can find that
By condition \((C_{3})\), there does not exist any solution x such that \(\Vert x \Vert _{X} \neq K\). Let us introduce a set \(W=\{x\in X: \Vert x \Vert _{X} < K \} \). The operator \(N:\overline{W}\rightarrow X\) is continuous and completely continuous. From the choice of W, there is no \(w\in \partial W\) such that \(w=\theta N(w)\) for some \(\theta \in (0,1)\). In consequence, we deduce by the nonlinear alternative for Kakutani maps [32] that operator N has a fixed point \(w\in \overline{W}\) which is a solution of the problem (1.2) and (1.3). The proof is completed. □
4.2 The case of Lipschitz maps
Now we prove the existence of solutions for the boundary value problem (1.2) and (1.3) with a nonconvex valued right-hand side by applying a fixed point theorem for multivalued maps due to Covitz and Nadler [35].
Let \((X,d)\) be a metric space induced from the normed space \((X; \Vert \cdot \Vert )\). Consider \(H_{d} : {\mathcal{P}}(X) \times {\mathcal{P}}(X) \to \mathbb{R} \cup \{\infty \}\) given by
where \(d(U,v) = \inf_{u\in U}d(u;v)\) and \(d(u,V) = \inf_{v\in V}d(u;v)\). Then \(({\mathcal{P}}_{cl, b}(X), H_{d})\) is a metric space (see [36]), where \({\mathcal{P}}_{cl, b}(X)=\{{\mathcal{Y}} \in {\mathcal{P}}(X) : {\mathcal{Y}} \text{ is closed and bounded}\}\).
Definition 4.2
A multivalued operator \(N : X \to {\mathcal{P}}_{cl}(X)\) is called (a) θ-Lipschitz if and only if there exists \(\theta > 0\) such that \(H_{d}(N(x),N(y)) \le \theta d(x,y)\) for each \(x, y \in X\); and (b) a contraction if and only if it is θ-Lipschitz with \(\theta < 1\).
Lemma 4.3
([35])
Let \((X,d)\) be a complete metric space and \({\mathcal{P}}_{cl}(X)=\{ {\mathcal{Y}} \in {\mathcal{P}}(X) : {\mathcal{Y}} \textit{ is closed} \}\). If \(N : X \to {\mathcal{P}}_{cl}(X)\) is a contraction, then \(\operatorname{Fix} N \ne \emptyset \).
Theorem 4.4
Assume that the following conditions hold:
- \((K_{1})\) :
-
\(F : [0,1] \times \mathbb{R}^{2} \to {\mathcal{P}} _{cp}(\mathbb{R})\) is such that \(F(\cdot ,x,y) : [0,1] \to {\mathcal{P}} _{cp}(\mathbb{R})\) is measurable for each \(x,y \in \mathbb{R}\);
- \((K_{2})\) :
-
\(H_{d}(F(t,x,y), F(t,\bar{x}, \bar{y}))\le m(t)( \vert x- \bar{x} \vert + \vert y-\bar{y} \vert )\) for almost all \(t \in [0,1]\) and \(x, \bar{x}, y, \bar{y} \in \mathbb{R}\) with \(m \in C([0,1], \mathbb{R}^{+})\) and \(d(0,F(t,0,0))\le m(t)\) for almost all \(t \in [0,1]\).
Then the inclusion problem (1.2) and (1.3) has at least one solution on \([0,1]\) if
where λ, \(\lambda _{1}\) are given by (3.3) and (3.5), respectively.
Proof
In order to show that the operator \(N: C([0,1], \mathbb{R})\to {\mathcal{P}}(C([0,1], \mathbb{R}))\) (introduced in the beginning of the proof of Theorem 4.1) satisfies the assumptions of Lemma 4.3, we proceed as follows.
-
Step I. \(N(x)\) is nonempty and closed for every \(v\in S_{F,x}\) .
Notice that \(S_{F,x} \ne \emptyset \) for each x by assumption \((K_{2})\), and thus we can find a measurable selection for F (see [37, Theorem III.6]). In order to show that \(N(x) \in {\mathcal{P}} _{cl}(X)\) for each \(x \in X\), let \(\{u_{n}\}_{n \ge 0} \in N(x)\) be such that \(u_{n} \to u\) (\(n \to \infty \)) in X. Then \(u \in C(J, \mathbb{R})\) and there exists \(v_{n} \in S_{F,x_{n}}\) such that, for each \(t \in [0,1]\), we have
Since F has compact values, one can pass onto a subsequence (if necessary) to find that \(v_{n}\) converges to v in \(L^{1} ([0,1], \mathbb{R})\). Thus \(v \in S_{F,x}\) and for each \(t \in [0,1]\), we have
which implies that \(u \in N(x)\).
-
Step II. There exists \(\bar{\theta }<1\) (θ̄ is given by ( 4.3 )) such that
$$ H_{d}\bigl(N(x),N(\bar{x})\bigr)\le \bar{\theta } \Vert x-\bar{x} \Vert _{X} \quad \textit{for each } x, \bar{x} \in C\bigl([0,1], \mathbb{R}\bigr). $$
Let \(x, \bar{x} \in X\) and \(h_{1} \in N(x)\). Then we can find \(v_{1}(t) \in F(t,x(t),y(t))\) such that, for each \(t \in [0,1]\),
By \((K_{2})\), we have
So there exists \(w(t) \in F(t,\bar{x}(t),\bar{y}(t))\) such that
Define \({\mathcal{V}} : [0,1] \to \mathcal{P}(\mathbb{R})\) by
In view of the fact that the multivalued operator \({\mathcal{V}}(t) \cap F(t,\bar{x}(t),\bar{y}(t))\) is measurable (see [37, Proposition III.4]), we can find a function \(v_{2}(t)\) which is a measurable selection for \({\mathcal{V}}\) and such that \(v_{2}(t) \in F(t,\bar{x}(t), \bar{y}(t))\). Then, for each \(t \in [0,1]\), we have \(\vert v_{1}(t)-v_{2}(t) \vert \le m(t)( \vert x(t)-\bar{x}(t) \vert + \vert y(t)-\bar{y}(t) \vert )\). For each \(t \in [0, 1]\), we define
Thus,
Hence \(\Vert h_{1}-h_{2} \Vert \le \lambda \Vert m \Vert \Vert x-\overline{x} \Vert _{X}\). In a similar manner, we obtain
and
Thus
Analogously, interchanging the roles of x and x̅, we obtain
From the foregoing arguments, we deduce that N is a contraction. Thus it follows by Lemma 4.3 that N has a fixed point x which is a solution of (1.2) and (1.3). This completes the proof. □
4.3 Examples
Consider the sequential fractional differential inclusion
equipped with conditions (3.13).
In order to illustrate Theorem 4.1, we take
It is easy to find that \(g(t)=\frac{1}{\sqrt{t^{2}+144}}\) with \(\Vert g \Vert =1/12\), \(\varOmega (K )=(K+3)/3\). By condition \((C_{3})\), we find that \(K>0.7333\). Thus all the assumptions of Theorem 4.1 hold, and consequently the inclusion (4.4) equipped with boundary conditions (3.13) and F given by (4.5) has a solution on \([0, 1]\).
For illustrating Theorem 4.4, we consider the following multivalued map:
By condition \((D_{2})\), we get \(m(t)=1/(t+10)\) with \(\Vert m \Vert =1/10\). Moreover,
(the values of λ and \(\lambda _{1}\) are taken from Sect. 3.1). Clearly, all the hypotheses of Theorem 4.4 are satisfied. Therefore there exists at least one solution on \([0, 1]\) for the inclusion (4.4) with F given by (4.6), equipped with boundary conditions (3.13).
5 Conclusions
In this paper, we have addressed new problems of sequential fractional differential equations and inclusions supplemented with nonlocal integro-multipoint boundary conditions. The single- and multivalued maps involved in the given problems depend on the unknown function, together with its lower-order fractional derivative. Our results are not only new in the given configuration but also yield several new results as special cases by fixing the parameters appearing in the problems. Some of these results are mentioned below.
-
Our results correspond to purely nonlocal multipoint and multistrip boundary conditions if we take \(\rho _{i}=0\) (\(i=1,2,3,4\)) in the given problems.
-
For \(\rho _{1}=\rho _{3}=0\), \(\rho _{2}=\rho _{4}=1\), we obtain the results for terminal nonlocal multipoint and multistrip conditions:
$$ x(1) =\sum_{i=1}^{m-2}\alpha _{i} x(\sigma _{i})+\sum_{j=1}^{p-2}r_{j} \int _{\xi _{j}}^{\eta _{i}}x(s)\,ds, \quad\quad x'(1) =\sum_{i=1}^{m-2} \delta _{i} x'(\sigma _{i})+\sum _{j=1}^{p-2} \gamma _{j} \int _{\xi _{j}}^{\eta _{j}}x'(s)\,ds. $$ -
The results for sequential fractional differential equations and inclusions equipped with periodic/antiperiodic type boundary conditions of the form: \(x(0) = - (\rho _{2}/\rho _{1})x(1)\), \(x'(0)= -(\rho _{4}/ \rho _{3}) x'(1)\) follow by fixing \(r_{j}=\gamma _{j}=\alpha _{j}=\delta _{j}=0\), \(j=1,\ldots, p\). Further, the results for antiperiodic boundary conditions can be recorded by taking \(\rho _{2}/\rho _{1}=1=\rho _{4}/ \rho _{3}\).
-
The results associated with nonseparated nonlocal multipoint and multistrip conditions can be obtained by letting \(r_{j}=0=\gamma _{j}\), \(j=1,\ldots, p\) and \(\alpha _{j}=0=\delta _{j}\), \(j=1,\ldots, p\), respectively.
In the context of sequential fractional differential equations and inclusions together with nonlocal integro-multipoint boundary conditions, the present work is quite versatile in nature and significantly contributes to the existing literature on the topic. Moreover, several new results follow as special cases of the present ones.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House Publishers (2006)
Klafter, J., Lim, S.C., Metzler, R. (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2011)
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Hackensack (2014)
Povstenko, Y.Z.: Fractional Thermoelasticity. Springer, New York (2015)
Ahmad, B., Alsaedi, A., Ntouyas, S.K., Tariboon, J.: Hadamard-Type Fractional Differential Equations, Inclusions and Inequalities. Springer, Berlin (2017)
Petras, I., Magin, R.L.: Simulation of drug uptake in a two compartmental fractional model for a biological system. Commun. Nonlinear Sci. Numer. Simul. 16, 4588–4595 (2011)
Ding, Y., Wang, Z., Ye, H.: Optimal control of a fractional-order HIV-immune system with memory. IEEE Trans. Control Syst. Technol. 20, 763–769 (2012)
Javidi, M., Ahmad, B.: Dynamic analysis of time fractional order phytoplankton-toxic phytoplankton–zooplankton system. Ecol. Model. 318, 8–18 (2015)
Carvalho, A., Pinto, C.M.A.: A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int. J. Dyn. Control 5, 168–186 (2017)
Graef, J.R., Kong, L.: Existence of positive solutions to a higher order singular boundary value problem with fractional q-derivatives. Fract. Calc. Appl. Anal. 16, 695–708 (2013)
Ahmad, B., Nieto, J.J.: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013)
Zhai, C., Xu, L.: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820–2827 (2014)
Henderson, J., Kosmatov, N.: Eigenvalue comparison for fractional boundary value problems with the Caputo derivative. Fract. Calc. Appl. Anal. 17, 872–880 (2014)
Li, B., Sun, S., Li, Y., Zhao, P.: Multi-point boundary value problems for a class of Riemann–Liouville fractional differential equations. Adv. Differ. Equ. 2014, 151 (2014)
Zhang, L., Ahmad, B., Wang, G.: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half line. Bull. Aust. Math. Soc. 91, 116–128 (2015)
Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)
Ahmad, B., Ntouyas, S.K., Agarwal, R.P., Alsaedi, A.: Existence results for sequential fractional integro-differential equations with nonlocal multi-point and strip conditions. Bound. Value Probl. 2016, 205 (2016)
Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017)
Agarwal, R.P., Ahmad, B., Nieto, J.J.: Fractional differential equations with nonlocal (parametric type) anti-periodic boundary conditions. Filomat 31, 1207–1214 (2017)
Xu, M., Han, Z.: Positive solutions for integral boundary value problem of two-term fractional differential equations. Bound. Value Probl. 2018, 100 (2018)
Ahmad, B., Luca, R.: Existence of solutions for a sequential fractional integro-differential system with coupled integral boundary conditions. Chaos Solitons Fractals 104, 378–388 (2017)
Agarwal, R., Hristova, S., O’Regan, D.: Non-instantaneous Impulses in Differential Equations. Springer, Cham (2017)
Ahmad, B., Alghanmi, M., Ntouyas, S.K., Alsaedi, A.: Fractional differential equations involving generalized derivative with Stieltjes and fractional integral boundary conditions. Appl. Math. Lett. 84, 111–117 (2018)
Ahmad, B., Luca, R.: Existence of solutions for sequential fractional integro-differential equations and inclusions with nonlocal boundary conditions. Appl. Math. Comput. 339, 516–534 (2018)
Fernandez, A., Baleanu, D., Fokas, A.: Solving PDEs of fractional order using the unified transform method. Appl. Math. Comput. 339, 738–749 (2018)
Mahmudov, N., Emin, S.: Fractional-order boundary value problems with Katugampola fractional integral conditions. Adv. Differ. Equ. 2018, 81 (2018)
Ahmad, B., Alsaedi, A., Agarwal, R.P., Alsharif, A.: On sequential fractional integro-differential equations with nonlocal integral boundary conditions. Bull. Malays. Math. Sci. Soc. 41, 1725–1737 (2018)
Ahmad, B., Ntouyas, S.K., Alsaedi, A., Shammakh, W., Agarwal, R.P.: Existence theory for fractional differential equations with non-separated type nonlocal multi-point and multi-strip boundary conditions. Adv. Differ. Equ. 2018, Article ID 89 (2018)
Su, X.: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64–69 (2009)
Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
Deimling, K.: Multivalued Differential Equations. de Gruyter, Berlin (1992)
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)
Covitz, H., Nadler, S.B. Jr.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8, 5–11 (1970)
Kisielewicz, M.: Differential Inclusions and Optimal Control. Kluwer Academic, Dordrecht (1991)
Castaing, C., Valadier, M.: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics, vol. 580. Springer, Berlin (1977)
Acknowledgements
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (RG-25-130-38). The authors, therefore, acknowledge with thanks DSR technical and financial support. The authors also thank the reviewers for their constructive remarks on our paper.
Availability of data and materials
Not applicable.
Funding
This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (RG-25-130-38).
Author information
Authors and Affiliations
Contributions
Each of the authors, BA, AA, SKN and WS contributed equally to each part of this work. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ahmad, B., Alsaedi, A., Ntouyas, S.K. et al. On more general boundary value problems involving sequential fractional derivatives. Adv Differ Equ 2019, 290 (2019). https://doi.org/10.1186/s13662-019-2224-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2224-z