Abstract
In this article, we investigate the existence of solutions for boundary value problems of fractional differential equations and inclusions with semiperiodic and three-point boundary conditions. The existence results for equations are obtained by applying Banach’s contraction mapping principle, Schaefer-type fixed point theorem, Leray-Schauder degree theory, Krasnoselskii’s fixed point theorem, and Leray-Schauder nonlinear alternative, whereas the existence of solutions for convex and nonconvex set-valued maps (inclusion case) is shown via nonlinear alternative of Leray-Schauder type for multivalued maps and Wegrzyk’s fixed point theorem for generalized contractions, respectively. We emphasize that a variety of fixed point theorems are used to obtain different existence criteria for the problems at hand. Several examples are discussed for illustration of the obtained results. Moreover, an interesting observation related to symmetric second-order three-point boundary value problems is presented.
Similar content being viewed by others
1 Introduction
In this paper, we study a boundary value problem of nonlinear fractional differential equations with semiperiodic and three-point boundary conditions given by
where f is a given continuous function, and ξ, η, ζ are positive real constants with \(\frac{\xi}{\zeta} > (\frac{1}{2}+\frac {\eta}{\zeta})\). As a companion problem, we also discuss the inclusion case of problem (1.1).
Multipoint nonlocal boundary value problems of ordinary, integro-differential, and partial differential equations have been extensively studied, and a variety of results can be found in the recent literature, for instance, see [1–9] and the references therein.
The subject of fractional differential equations and inclusions has attracted the attention of many researchers in the last decade. One of the reasons for popularity of the subject is that fractional-order differential and integral operators are nonlocal in nature and help to trace the past history of several materials and processes. For a detailed account of the results on nonlocal fractional-order boundary value problems, we refer the reader to [10–20] and the references therein. Concerning the application of fractional calculus, we can notice that fractional differential equations have played a key role in improving the mathematical modeling of several phenomena occurring in basic technical sciences and engineering. As a matter of fact, this subject is gaining more and more popularity due to its widespread applications. For examples and details, see [21–25].
The paper is organized as follows. Section 2 contains existence and uniqueness results for problem (1.1). These results are new and rely on Banach’s contraction mapping principle, a Schaefer-type fixed point theorem, Leray-Schauder degree theory, Krasnoselskii’s fixed point theorem, and Leray-Schauder nonlinear alternative. In Section 3, we introduce a multivalued analog of problem (1.1) and prove the existence of solutions for convex set-maps by means of a multivalued version of nonlinear alternative of Leray-Schauder type, whereas the existence result for nonconvex set-valued maps is established by applying Wegrzyk’s theorem for generalized contractions. It is important to mention that the existence result obtained by means of Wegrzyk’s theorem holds for several choices of the strictly increasing function involved in its hypothesis, in contrast to that obtained by applying a fixed point theorem due to Covitz and Nadler [26]. We emphasize that the exposition of the standard tools of fixed point theory in the framework of the present work is new.
2 Preliminaries
Definition 2.1
([21])
The Riemann-Liouville fractional integral of order r for a continuous function h is defined as
provided that the integral exists.
Definition 2.2
([21])
For at least n times absolutely continuously differentiable function \(h : [0,\infty) \to \mathbb{R}\), the Caputo derivative of fractional order r is defined as
where \([r]\) denotes the integer part of a real number r.
Lemma 2.3
([22])
Let \(u\in AC^{m}[0, 1]\) and \(v \in AC[0, 1]\). Then, for \(\rho\in (m-1, m)\), \(m \in\mathbb{N}\), and \(t \in[0,1]\),
-
(a)
the general solution of the fractional differential equation \(^{c}D^{\rho}u(t)=0\) is given by
$$u(t)= b_{0} +b_{1} t+ b_{2} t^{2}+ \cdots +b_{m-1} t^{m-1}, $$where \(b_{i} \in \mathbb{R}\), \(i=0, 1, 2, \ldots, m-1\);
-
(b)
\(I^{\rho} {^{c}D^{\rho}} u(t)=u(t)-\sum_{k=0}^{m-1} \frac{t^{k}}{k!}u^{k}(0)\);
-
(c)
\(^{c}D^{\rho} I^{\rho} v(t)=v(t)\).
Remark 2.4
Let \(AC^{2}[0,1]=\{ x \in C^{1}[0, 1] : x' \in AC[0,1]\}\). Then \(AC^{2}[0,1]=\{ x \in C^{1}[0, 1] : x'' \in L[0,1]\}\). Observe that
Therefore, \(^{c}D^{r}\) maps \(AC^{2}[0,1]\subset L(0,1)\) into \(L(0,1)\) for \(r \in(1, 2)\). For more details on Riemann-Liouville fractional integrals, see [21, 22].
The following lemma plays a pivotal role to define the solutions for the given problem.
Lemma 2.5
Let \(g \in AC[0,1] \) and \(x \in AC^{2}[0, 1]\). Then the problem
is equivalent to the fractional integral equation
Proof
By Lemma 2.3, the solution of the fractional differential equation (2.1) can be written as
where \(b_{1}, b_{2} \in\mathbb{R}\) are unknown arbitrary constants. Using the first condition given by (2.2) in (2.4) gives
From (2.4), for \(t \in[0, 1]\), we have
As argued in [16], for \(q-1 \in(0, 1)\), \(I^{q-1}\) maps \(L(0, 1)\) into \(F_{0}^{q-1}(0, 1)\), and thus \(x' \in F_{0}^{q-1}(0, 1)\), where \(F_{0}^{q-1}(0, 1)=\{w \in L(0, 1): I^{2-q}w \in AC[0, 1] \mbox{ and } I^{2-q}w(0)=0\}\). Thus, \(I^{q-1}g(0)=0\), and hence \(x'(0)=b_{2}\). Further, for \(g \in AC[0,1]\) with \(\|g\|=\sup\{|g(t)|, t \in[0, 1]\}\), we have
which, together with finiteness of \(b_{2}\), implies that \(\max\{x'(t): t \in[0,1]\}\) is finite. Next, using the second condition given by (2.2) in (2.4) together with (2.5), we find that
Substituting the values of \(b_{1}\) and \(b_{2}\) into (2.4) completes the solution (2.3). Conversely, in view of Lemma 2.3(b), (c) and using the condition that \(g \in AC[0, 1]\), we have \(^{c}D^{q}x(t)=I^{2-q}x''(t)=-I^{2-q}D^{2-q}g(t)=-g(t)\), where we have used Remark 2.4 and Lemma 2.3(ii) of [27]. By direct computation it follows that (2.3) satisfies the boundary conditions (2.2). Thus, (2.3) satisfies problem (2.1)-(2.2). This completes the proof. □
In view of Lemma 2.5, the solution of problem (1.1) can be expressed in terms of Green’s function as
where
and
Remark 2.6
For \(q=2\), the expressions \(G_{1}(t,s; q)\) and \(G_{2}(t,s; q)\) correspond to the ones associated with a second-order three-point problem discussed in [3].
Let \({\mathcal{D}}=C([0,1], {\mathbb {R}})\) denote the Banach space of all continuous functions from \([0,1]\) into \({\mathbb {R}}\) endowed with the usual norm \(\|x\|= \sup\{|x(t)|, t \in[0,1]\}\).
In order to transform problem (1.1) to a fixed point problem, we define the operator \(\mathcal{W}: {\mathcal{D}} \to{\mathcal{D}}\) as
In the sequel, we use
2.1 Existence results
In this subsection, we present our main results. The first result relies on Banach’s contraction mapping principle.
Theorem 2.7
Let \(f:[0,1]\times\mathbb{R} \to\mathbb{R} \) be a continuous function satisfying the Lipschitz condition:
- (H1):
-
\(|f(t,x)-f(t,y)|\leq \ell|x-y|\), \(\forall t \in[0,1]\), \(x, y \in\mathbb{R}\), \(\ell>0\).
Then problem (1.1) has a unique solution if \(\ell\sigma< 1\), where σ is given by (2.10).
Proof
Let us set \(\sup_{t \in[0,1]} |f(t,0)|=\upsilon\) and show that \(\mathcal{W}B_{r} \subset B_{r}\), where \(B_{r}=\{x \in \mathcal{D}:\|x\|\leq r\}\) with \(r > \sigma \upsilon(1-\sigma\ell)^{-1}\) and \(\mathcal{W}\) is defined by (2.9). For \(x \in B_{r}\) and \(t \in[0,1]\), using \(|f(s,x(s))|=|f(s,x(s))-f(s,0)+f(s,0)| \le\ell r+\upsilon\), we get
which implies that \(\mathcal{W}B_{r}\subset B_{r}\), where we have used (2.10). Now, for \(x,y \in\mathcal{D}\) and for each \(t \in[0,1]\), we obtain
Since \(\ell\sigma< 1\) by the given assumption, the operator \(\mathcal{W}\) is a contraction. Thus, by Banach’s contraction mapping principle there exists a unique solution for problem (1.1). This completes the proof. □
The next existence result is based on the following fixed point theorem.
Theorem 2.8
Let X be a Banach space. Assume that \(T:X \to X\) is a completely continuous operator and the set
is bounded. Then T has a fixed point in X.
Theorem 2.9
Let \(f:[0,1]\times\mathbb{R} \to\mathbb {R} \) be a continuous function. Suppose that there exists a positive constant M such that \(|f(t,x)|\le M \) for \(t\in[0,1]\), \(x\in\mathbb{R}\). Then problem (1.1) has at least one solution.
Proof
We first show that the operator \(\mathcal{W}\) is completely continuous. Obviously, the continuity of the operator \(\mathcal{W}\) follows from the continuity of f. Let \(\mathcal{B} \subset\mathcal{D}\) be a bounded set. By the assumption \(|f(t,x)|\le M\) for \(x\in\mathcal{B}\) we have
which implies that \(\|(\mathcal{W} x)\| \le M_{1}\). Further, we find that
Hence, for \(t_{1},t_{2}\in[0, 1]\), we have
This implies that \(\mathcal{W}\) is equicontinuous on \([0, 1]\). Thus, by the Arzelà-Ascoli theorem the operator \(\mathcal{W}: \mathcal{D} \to\mathcal{D}\) is completely continuous.
Next, we consider the set
and show that the set \(\mathcal{A}\) is bounded. Let \(x\in\mathcal{A}\); then \(x=\nu\mathcal{W} x\), \(0<\nu<1\). For any \(t\in[0, 1]\), we have
and \(|x(t)|= \nu|(\mathcal{W} x)(t)| \le |(\mathcal{W} x)(t)| \le M \sigma= M_{1}\) for any \(t\in[0, 1]\). So, the set \(\mathcal{A}\) is bounded. Thus, the conclusion of Theorem 2.8 applies, and the operator \(\mathcal{W}\) has at least one fixed point. This, in turn, implies that problem (1.1) has at least one solution on \([0, 1]\). □
Now we show the existence of solutions for problem (1.1) by means of Leray-Schauder degree theory.
Theorem 2.10
Let \(f:[0,1]\times\mathbb{R} \to\mathbb {R} \) be a continuous function. Suppose that there exist constants \(0 \le\varrho < 1/\sigma\) and \(N>0\) such that \(|f(t,x)| \le\varrho|x| +N\) for all \(t \in[0,1]\), \(x \in{\mathcal{D}}\). Then problem (1.1) has at least one solution.
Proof
Define a ball \(B_{R} \subset{\mathcal{D}}\) with radius \(R>0\) by
where R will be fixed later. Then, it is enough to show that the operator \(\mathcal{W} : \overline{B}_{R} \to{\mathcal{D}}\) (given by (2.9)) is such that
Now we set
Then, by the Arzelà-Ascoli theorem, \(\omega_{\lambda}(x)=x-{\mathcal {K}}(\lambda, x)=x- \lambda\mathcal{W} x\) is completely continuous. If the condition (2.14) holds, then the following Leray-Schauder degrees are well defined, and by the homotopy invariance of topological degree we have that
where I denotes the unit operator. By the nonzero property of Leray-Schauder degree, \(\omega_{1}(t)=x- \lambda\mathcal{W} x=0\) for at least one \(x \in B_{R}\). In order to justify condition (2.14), we assume that \(x = \lambda \mathcal{W} x\) for some \(\lambda\in[0,1]\) and for all \(t \in[0, 1]\), so that
which, on taking the norm over the interval \([0, 1]\), yields
where σ is given by (2.10). In consequence we have
Letting \(R= \sigma N/(1-\varrho\sigma)+1\), (2.14) holds. This completes the proof. □
The next result is based on Krasnoselskii’s fixed point theorem [28].
Theorem 2.11
Let \(f:[0,1]\times\mathbb{R}\to\mathbb{R}\) be a continuous function satisfying (H1) and
- (H2):
-
\(|f(t,x)|\leq\mu(t)\), \(\forall(t,x)\in[0,1]\times \mathbb{R}\), and \(\mu\in C([0,1],\mathbb{R}^{+})\).
Then problem (1.1) has at least one solution on \([0,1]\) if
Proof
For \(r \geq\|\mu\| \rho\), let us define a closed set (ball) \(B_{r}=\{x \in\mathcal{D}:\|x\|\leq r\}\) and introduce the operators \(\mathcal {W}_{1}\) and \(\mathcal{W}_{2}\) on \(B_{r}\) defined as
For \(x, y \in B_{r}\), it is easy to show that \(\|(\mathcal{W}_{1} x)+(\mathcal{W}_{2} y)\|\leq\|\mu\|\sigma\leq r\), where σ is given by (2.10). This implies that \(\mathcal{W}_{1} x+\mathcal{W}_{2} y \in B_{r}\).
In view of condition (2.15), the operator \(\mathcal{W}_{2}\) is a contraction. The continuity of the operator \(\mathcal{W}_{1}\) follows from that of f. Also, \(\|\mathcal{W}_{1} x\| \leq\|\mu\|/\Gamma(q+1)\) implies that \(\mathcal{W}_{1}\) is uniformly bounded on \(B_{r}\). Furthermore, with \(\sup_{(t,x)\in [0,1]\times B_{r}}|f(t,x)|=f_{b} < \infty\) and \(t_{1}, t_{2} \in(0, 1]\), we have
independent of x as \(t_{1} \to t_{2}\). This shows that \(\mathcal{W}_{1}\) is relatively compact on \(B_{r}\). Hence, we infer by the Arzelà-Ascoli theorem that \(\mathcal{W}_{1}\) is compact on \(B_{r}\). Thus, all the conditions of Krasnoselskii’s fixed point theorem are satisfied. Hence, problem (1.1) has at least one solution on \([0, 1]\). This completes the proof. □
Finally, we apply the Leray-Schauder nonlinear alternative to show the existence of solutions for problem (1.1).
Lemma 2.12
(Nonlinear alternative for single-valued maps [29])
Let E be a Banach space, \(E_{1}\) a closed, convex subset of E, V an open subset of \(E_{1}\), and \(0\in V\). Suppose that \(\mathcal{U}:\overline{V}\to E_{1}\) is a continuous compact (that is, \(\mathcal{U}(\overline{V})\) is a relatively compact subset of \(E_{1}\)) map. Then either
-
(i)
\(\mathcal{U}\) has a fixed point in V̅, or
-
(ii)
there are an \(x\in\partial V\) (the boundary of V in \(E_{1}\)) and \(\kappa\in(0,1)\) with \(x=\kappa \mathcal{U}(x)\).
Theorem 2.13
Let \(f:[0,1]\times\mathbb{R} \to\mathbb{R}\) be a continuous function. Further, assume that
- (H3):
-
there exist a function \(p \in \mathcal{C}([0,1],\mathbb{R^{+}})\) and a nondecreasing function \(\psi: \mathbb{R}^{+} \to\mathbb{R}^{+}\) such that \(|f(t,x)|\leq p(t)\psi(\|x\|)\), \(\forall(t,x)\in[0,1]\times\mathbb{R}\);
- (H4):
-
there exists a constant \(M > 0\) such that
$$\frac{M}{\psi(M)\|p\|\sigma} > 1, $$where σ is given by (2.10).
Then problem (1.1) has at least one solution on \([0,1]\).
Proof
As a first step, we show that the operator \(\mathcal{W}:\mathcal{D} \to\mathcal{D}\) defined by (2.9) maps bounded sets into bounded sets in \(\mathcal{D}\). For a positive number r, let \(B_{r}=\{x \in \mathcal{D}: \|x\| \leq r \}\) be a bounded set in \(\mathcal{D}\). Then, for \(x \in B_{r}\) together with (H3) and (H4), we obtain
Next, we will show that \(\mathcal{W}\) maps bounded sets into equicontinuous sets of \(\mathcal{D}\). Let \(t_{1}, t_{2} \in[0,1]\) and \(x\in B_{r}\). Then
Clearly, the right-hand side of this inequality tends to zero independently of \(x \in B_{r}\) as \(t_{2}\to t_{1}\). Thus, by the Arzelà-Ascoli theorem, the operator \(\mathcal{W}\) is completely continuous.
Let x be a solution for the given problem. Then, for \(\lambda\in (0,1)\), as before, we obtain
In view of (H4), there exists M such that \(\|x\|\neq M\). Let us choose \(\mathcal{P}=\{x\in\mathcal{D}:\|x\|< M+1\}\).
Notice that the operator \(\mathcal{W}:\overline{\mathcal{P}}\to \mathcal{D}\) is continuous and completely continuous. From the choice of \(\mathcal{P}\), there is no \(x \in \partial\mathcal{P}\) such that \(x=\lambda\mathcal{W}(x)\) for some \(\lambda\in (0,1)\). Consequently, the conclusion of Lemma 2.12 applies, and hence the operator \(\mathcal{W}\) has a fixed point \(x \in\overline{\mathcal{P}}\), which is a solution of problem (1.1). This completes the proof. □
2.2 Examples
Consider the three-point boundary value problem of nonlinear fractional differential equations
where \(q=7/4\), \(\xi=3/2\), \(\eta=1/2\), \(\zeta=1/2\). Clearly, \(\xi/\zeta > (1/2+\eta/\zeta)\) and
(a) In (2.16), let us choose any continuous function \(f(t,x(t))\) such that \(|f(t,x)-f(t,y)|\leq \ell|x-y|\), \(\forall t \in[0,1]\), \(x, y \in\mathbb{R}\) with \(\ell< 1/\sigma\), where σ is given by (2.18). Then problem (2.16)-(2.17) has a unique solution on \([0, 1]\) by Theorem 2.7. For instance, for \(f(t, x)=e^{-t(1-t)}(|x|+\tan^{-1}x +1)/10\), it is clear that \(\ell =1/5< 1/\sigma\simeq0.2282234\).
(b) We take \(f(t,x)\) in (2.16) such that \(|f(t,x)|\leq p(t)\psi(\|x\|)\) with \(\|p\|=p_{1}\) and \(\psi(\|x\|)=1+a \| x\|\), where \(p_{1}\) and a are appropriate real numbers. Then, by condition (H4) we find that
where σ is given by (2.18). Then the conclusion of Theorem 2.13 applies, and hence problem (2.16)-(2.17) with the given value of \(f(t,x)\) has at least one solution on \([0,1]\). In particular, by taking \(f(t,x)=\frac{4}{25}(1+t-t^{2})[2(\cos ^{2}(t(1-t))+1)\sin|x|/5 + e^{-t(1-t)}]\) we find that \(|f(t,x)| \le\frac {4}{25}(1+t-t^{2})(1+ 4\|x\|/5)\), \(p_{1}=1/5\), \(a=4/5\), and \(M >2.931544\).
3 Multivalued case
In this section, we consider the multivalued variant of problem (1.1)
where \(F : [0,1] \times\mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) is a compact-valued map, and \({\mathcal{P}}(\mathbb{R})\) is the family of all nonempty subsets of \(\mathbb{R}\). We discuss the existence of solutions for problem (3.1) when the multivalued map \(F(t,x(t))\) is convex or nonconvex set-valued by using the nonlinear alternative of Leray-Schauder type and a fixed point theorem for generalized contractions due to Wegrzyk.
3.1 Some definitions
This subsection is devoted to some basic definitions on multivalued maps [30, 31].
Definition 3.1
Let \((\mathcal{X}, \|{\cdot}\|)\) be a normed space, and let \(P(\mathcal{X})=\{\mathcal{Y} \subseteq\mathcal{X} : \mathcal {Y} \ne\emptyset\}\), \(P_{b}(\mathcal{X})=\{\mathcal{Y} \in{\mathcal {P}}(\mathcal{X}) : \mathcal{Y} \mbox{ is bounded}\}\), and \(P_{cl}(\mathcal{X})=\{\mathcal{Y} \in{\mathcal {P}}(\mathcal{X}) : \mathcal{Y} \mbox{ is closed}\}\). Then a multivalued map \(\mathcal{H} : \mathcal{X} \to{\mathcal{P}}(\mathcal{X})\)
-
(a)
is convex (closed) valued if \(\mathcal {H}(x)\) is convex (closed) for all \(x \in\mathcal{X}\);
-
(b)
is bounded on bounded sets if \(\mathcal{H}(\mathbb{B}) = \cup_{x \in\mathbb{B}}\mathcal{H}(x)\) is bounded in \(\mathcal{X}\) for all \(\mathbb{B} \in P_{b}(\mathcal{X})\) (i.e., \(\sup_{x \in \mathbb{B}}\{\sup\{|y| : y \in\mathcal{H}(x)\}\} < \infty\));
-
(c)
is called upper semicontinuous (u.s.c.) on \(\mathcal {X}\) if for each \(x_{0} \in\mathcal{X}\), the set \(\mathcal{H}(x_{0})\) is a nonempty closed subset of \(\mathcal{X}\) and if for each open set N of \(\mathcal{X}\) containing \(\mathcal {H}(x_{0})\), there exists an open neighborhood \(\mathcal{N}_{0}\) of \(x_{0}\) such that \(\mathcal{H}(\mathcal{N}_{0}) \subseteq N\);
-
(d)
is said to be completely continuous if \(\mathcal{H}(\mathbb{B})\) is relatively compact for every \(\mathbb{B} \in P_{b}(\mathcal{X})\);
-
(e)
has a fixed point if there is \(x \in\mathcal{X}\) such that \(x \in\mathcal{H}(x)\).
The fixed point set of a multivalued operator \(\mathcal{H}\) will be denoted by \({\operatorname{Fix}} \mathcal{H}\).
Remark 3.2
It is known that if a multivalued map \(\mathcal{H}\) is completely continuous with nonempty compact values, then G is u.s.c. if and only if \(\mathcal{H}\) has a closed graph, that is, \(x_{n} \to x_{*}\), \(y_{n} \to y_{*}\), \(y_{n} \in \mathcal{H}(x_{n})\) imply \(y_{*} \in\mathcal{H}(x_{*})\).
Definition 3.3
A multivalued map \(\mathcal{H} : [0;1] \to P_{cl}(\mathbb{R})\) is said to be measurable if for every \(y \in \mathbb{R}\), the function \(t \longmapsto d(y,\mathcal{H}(t)) = \inf\{\|y-z\|: z \in\mathcal {H}(t)\}\) is measurable.
Definition 3.4
A multivalued map \(F : [0,1] \times\mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) is said to be Carathéodory if (a) \(t \longmapsto F(t,x)\) is measurable for each \(x \in\mathbb{R}\) and (ii) \(x \longmapsto F(t,x)\) 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\| F (t, x)\bigr\| = \sup\bigl\{ |v| : v \in F (t, x)\bigr\} \le\varphi_{a} (t) $$for all \(\|x\| \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
We denote by \(C([0,1])\) the Banach space of continuous functions from \([0,1]\) into \(\mathbb{R}\) with the norm \(\|x\|_{\infty}= \sup_{t \in[0,1] } |x(t)|\). Let \(L^{1}([0,1],\mathbb{R})\) be the Banach space of Lebesgue-measurable and integrable functions \(x : [0,1] \to \mathbb{R}\) with norm \(\|x\|_{L^{1}} = \int_{0}^{1} |x(t)|\,dt\).
Definition 3.5
A function \(x\in AC^{2}([0,1], {\mathbb {R}})\) is a solution of problem (3.1) if there exists a function \(f \in L^{1}([0,1],\mathbb{R})\) such that \(f(t) \in F(t, x(t))\) a.e. on \([0,1]\) and
3.2 Convex set-valued case
In our first result, we need the following lemmas.
Lemma 3.6
(Nonlinear alternative of Leray-Schauder type [29])
Let C be a convex set in a normed space, and \(U\subset C\) be open with \(0\in U\). Then each compact and upper semicontinuous mapping \(\Phi: \overline{U}\to P(C)\) with compact convex values that is fixed point free on ∂U has at least one of the following two properties: (a) Φ has a fixed point; (b) there exist \(x\in\partial U\) and \(\lambda \in(0, 1)\) such that \(x\in\lambda\Phi(x)\).
Lemma 3.7
(Arzelà-Ascoli theorem [29])
A subset of \(C([0, 1], \mathbb{R})\) is relatively compact if and only if it is bounded and equicontinuous.
Lemma 3.8
([32])
Let X be a Banach space. Let \(F : [0;1] \times\mathbb{R} \to P_{cp,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)\), where \(P_{cp, c}(X)=\{Y \in{\mathcal{P}}(X) : Y\textit{ is compact and convex}\}\).
Theorem 3.9
Assume that
- (H1):
-
\(F : [0,1] \times\mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) is \(L^{1}\)-Carathéodory and has compact and convex values;
- (H2):
-
there exist a continuous nondecreasing function \(\psi: [0,\infty) \to(0,\infty)\) and a function \(p \in C([0,1],\mathbb{R}_{+})\) such that
$$\bigl\| F(t,x)\bigr\| _{\mathcal{P}}:=\sup\bigl\{ |y|: y \in F(t,x)\bigr\} \le p(t) \psi\bigl(|x|\bigr) \quad\textit{for all } (t,x) \in[0,1] \times\mathbb{R}; $$ - (H3):
-
there exists a number \(M>0\) such that
$$\frac{M}{\psi(M)\|p\|_{\infty}} \biggl[\frac{(2+\xi/\zeta+2^{-q})}{\Gamma (q+1)}+\frac{\eta}{\zeta\Gamma(q)} \biggr]^{-1}>1. $$
Then the boundary value problem (3.1) has at least one solution on \([0,1]\).
Proof
Define the operator \(\Omega: C([0,1], \mathbb{R}) \to {\mathcal{P}}(C([0,1], \mathbb{R}))\) by
We will show that the operator Ω satisfies the assumptions of Lemma 3.6. The proof consists of several steps. In the first step, we show that \(\Omega(x)\) is convex for each \(x \in C([0,1], \mathbb{R})\). For that, let \(\mathfrak{h}_{1}, \mathfrak{h}_{2} \in\Omega (x)\). Then there exist \(f_{1}, f_{2} \in S_{F,x}\) such that for each \(t \in[0,1]\), we have
Let \(0 \le\lambda\le1\). Then, for each \(t \in [0,1]\), we have
Since \(S_{F,x}\) is convex (F has convex values), it follows that \(\lambda \mathfrak{h}_{1}+(1-\lambda)\mathfrak{h}_{2} \in\Omega(x)\).
Next, we show that Ω maps bounded sets into bounded sets in \(C([0,1], \mathbb{R})\). For a positive number \(r_{1}\), let \(B_{r_{1}} = \{x \in C([0,1], \mathbb{R}): \|x\|_{\infty}\le r_{1} \}\) be a bounded set in \(C([0,1], \mathbb{R})\). Then, for each \(\mathfrak{h} \in\Omega(x)\), \(x \in B_{r_{1}}\), there exists \(f \in S_{F,x}\) such that
and, as in Section 3, we can get
Now we show that Ω maps bounded sets into equicontinuous sets in \(C([0,1], \mathbb{R})\). Let \(\tau_{1}, \tau_{2} \in[0,1]\) with \(\tau_{1}< \tau_{2}\) and \(x \in B_{r_{1}}\), where \(B_{r_{1}}\) is a bounded set in \(C([0,1], \mathbb{R})\). For each \(\mathfrak{h} \in\Omega(x)\), we obtain
Obviously the right-hand side of this inequality tends to zero independently of \(x \in B_{r_{1}}\) as \(\tau_{2}- \tau_{1} \to0\). In view of the above three steps, it follows by Lemma 3.7 that Ω is completely continuous.
Now we show that Ω has a closed graph. Let \(x_{n} \to x_{*}\), \(\mathfrak{h}_{n} \in\Omega(x_{n})\), and \(\mathfrak{h}_{n} \to \mathfrak{h}_{*}\). Then we need to show that \(\mathfrak{h}_{*} \in \Omega(x_{*})\). Associated with \(\mathfrak{h}_{n} \in\Omega(x_{n})\), there exists \(f_{n} \in S_{F,x_{n}}\) such that for each \(t \in[0,1]\),
Thus, we have to show that there exists \(f_{*} \in S_{F,x_{*}}\) such that for each \(t \in[0,1]\),
Consider the continuous linear operator \(\Theta: L^{1}([0,1], \mathbb{R}) \to C([0,1], \mathbb{R})\) given by
Observe that
Thus, it follows by Lemma 3.8 that \(\Theta\circ S_{F}\) is a closed graph operator. Further, we have \(\mathfrak{h}_{n}(t) \in\Theta(S_{F,x_{n}})\). Since \(x_{n} \to x_{*}\), therefore, we have
for some \(f_{*} \in S_{F,x_{*}}\).
In the last step, we discuss a priori bounds on solutions. Let x be a solution of (1.1). Then there exists \(f \in L^{1}([0,1], \mathbb{R})\) with \(f \in S_{F,x}\) such that, for \(t \in[0,1]\), we have
In view of (H2), for each \(t \in[0,1]\), we obtain
Consequently, it follows that
By (H3) there exists M such that \(\|x\|_{\infty}\ne M\). Let us set
Note that the operator \(\Omega :\overline{U} \to\mathcal{P}(C([0,1], \mathbb{R}))\) is upper semicontinuous and completely continuous. From the choice of U, there is no \(x \in\partial U\) such that \(x \in\mu\Omega(x)\) for some \(\mu\in(0,1)\). Consequently, by Lemma 3.6 we deduce that Ω has a fixed point \(x \in\overline{U}\), which is a solution of problem (3.1). This completes the proof. □
3.3 Nonconvex set-valued case
In this subsection, we show the existence of solutions for the inclusion problem (3.1) with the right-hand side being nonconvex set-valued map by applying Wegrzyk’s fixed point theorem. We first introduce the necessary background material.
Let \((\mathcal{X},d)\) be a metric space, and \(P_{b,cl}(\mathcal{X})=\{ \mathcal{Y }\in{\mathcal{P}}(\mathcal{X}) : \mathcal{Y} \mbox{ is bounded and closed}\}\).
Consider \(H_{d} : {\mathcal{P}}(\mathcal{X}) \times{\mathcal{P}}(\mathcal{X}) \to\mathbb{R} \cup\{\infty\}\) given by
where \(d(a, B) = \inf_{b\in B}d(a, b)\). The map \(H_{d}\) is the (generalized) Pompeiu-Hausdorff functional. It is known that \((P_{b,cl}(\mathcal{X}), H_{d})\) is a metric space and \((P_{cl}(\mathcal {X}), H_{d})\) is a generalized metric space (see [33]).
Definition 3.10
A function \(\delta:\mathbb{R}_{+} \to\mathbb{R}_{+}\) is said to be a strict comparison function (see [29]) if it is continuous strictly increasing and \(\sum_{n=1}^{\infty} \delta^{n}(t) < \infty\) for each \(t > 0\).
Definition 3.11
A multivalued operator \(\mathcal{Q} : \mathcal{X} \to P_{cl}(\mathcal{X})\) is called
-
(a)
ε-Lipschitz if and only if there exists \(\varepsilon> 0\) such that
$$H_{d}\bigl(\mathcal{Q}(x),\mathcal{Q}(y)\bigr) \le\varepsilon d(x,y) \quad \mbox{for each } x, y \in\mathcal{X}; $$ -
(b)
a contraction if and only if it is ε-Lipschitz with \(\varepsilon< 1\);
-
(c)
a generalized contraction if and only if there is a strict comparison function \(\delta:\mathbb{R}_{+} \to\mathbb{R}_{+}\) such that
$$H_{d}\bigl(\mathcal{Q}(x),\mathcal{Q}(y)\bigr) \le\delta\bigl(d(x,y) \bigr) \quad \mbox{for each } x, y \in\mathcal{X}. $$
Lemma 3.12
(Wegrzyk’s fixed point theorem [34])
Let \((X,d)\) be a complete metric space. If \(\mathcal{Q} : X \to P_{cl}(X)\) is a generalized contraction, then \(\operatorname{Fix} \mathcal{Q} \ne \emptyset\).
Theorem 3.13
Assume that the following conditions hold:
- (H6):
-
\(F : [0,1] \times\mathbb{R} \to P_{cp}(\mathbb{R})\) is such that \(F(\cdot,x) : [0,1] \to P_{cp}(\mathbb{R})\) is measurable for each \(x \in\mathbb{R}\).
- (H7):
-
\(H_{d}(F(t,x), F(t,\bar{x}))\le\kappa(t)\delta(|x-\bar{x}|)\) for almost all \(t \in[0,1]\) and \(x, \bar{x} \in\mathbb{R}\) with a function \(\kappa\in C([0,1], \mathbb{R}_{+})\) and \(d(0,F(t,0))\le \kappa(t)\) for almost all \(t \in[0,1]\), where \(\delta: \mathbb{R}_{+} \to\mathbb{R}_{+}\) is strictly increasing.
Then problem (3.1) has at least one solution on \([0,1]\) if \(\varepsilon \delta:\mathbb{R}_{+}\to\mathbb{R}_{+}\) is a strict comparison function, where
Proof
Suppose that \(\varepsilon\delta:\mathbb{R}_{+}\to\mathbb{R}_{+}\) is a strict comparison function. It follows by assumptions (H6) and (H7) that \(F(\cdot, x(\cdot))\) is measurable and has a measurable selection \(v(\cdot)\) (see Theorem III.6 [35]). Also, \(\kappa \in C([0,1], \mathbb{R})\) and
Thus, the set \(S_{F,x}\) is nonempty for each \(x \in C([0,1],\mathbb{R})\). Now we show that the operator Ω defined by (3.2) satisfies the assumptions of Lemma 3.12. To show that \(\Omega(x) \in P_{cl}((C[0,1],\mathbb{R}))\) for each \(x \in C([0,1], \mathbb{R})\), let \(\{u_{n}\}_{n \ge0} \in\Omega(x)\) be such that \(u_{n} \to u \) (\(n \to\infty\)) in \(C([0,1],\mathbb{R})\). Then \(u \in C([0,1],\mathbb{R})\), and there exists \(v_{n} \in S_{F,x}\) such that, for each \(t \in[0,1]\),
Since F has compact values, we pass onto a subsequence to obtain 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]\),
Hence, \(u \in\Omega(x)\).
Next, we show that
Let \(x, \bar{x} \in C([0,1], \mathbb{R})\) and \(\mathfrak{h}_{1} \in\Omega(x)\). Then there exists \(v_{1}(t) \in S_{F, x}\) such that, for each \(t \in[0,1]\),
By (H7) we have
So, there exists \(w \in F(t,\bar{x}(t))\) such that
Define \(V : [0,1] \to\mathcal{P}(\mathbb{R})\) by
Since the nonempty closed set-valued operator \(V(t)\cap F(t,\bar{x}(t))\) is measurable (Proposition III.4 [35]), there exists a function \(v_{2}(t)\) that is a measurable selection for \(V(t)\cap F(t,\bar{x}(t))\). So \(v_{2}(t) \in F(t,\bar{x}(t))\), and for each \(t \in[0,1]\), we have \(|v_{1}(t)-v_{2}(t)|\le\kappa(t)\delta(|x(t)-\bar{x}(t)|)\).
For each \(t \in[0,1]\), let us define
Thus,
Hence,
Analogously, interchanging the roles of x and x̅, we obtain
for all \(x, \bar{x} \in C([0,1], \mathbb{R})\). Therefore, Ω is a generalized contraction. Thus, it follows by Lemma 3.12 that Ω has a fixed point x, which is a solution of (3.1). This completes the proof. □
Remark 3.14
It is interesting to note that Theorem 3.13 holds for several values of the strictly increasing function \(\delta: \mathbb{R}_{+} \to\mathbb{R}_{+}\). In particular, by choosing \(\delta(y)=y\) in Theorem 3.13 we obtain its conventional Lipschitz form.
3.4 Examples
Consider the following multivalued boundary value problem
where \(q=7/4\), \(\xi=3/2\), \(\eta=1/2\), \(\zeta=1/2\). With the given data, we find that
(a) Convex set-valued case. In this case, we choose \(F(t, x)\) in (3.3) as
For \(f \in F\), we have
Thus,
with \(p(t)=1\), \(\psi(\|x\|)=1/3\). Further, using condition (H3), we find that \(M > M_{1} \simeq1.460557\). Clearly, all the conditions of Theorem 3.9 are satisfied. So there exists at least one solution of problem (3.3) with \(F(t, x)\) given by (3.5) on \([0,1]\).
(b) Nonconvex set-valued case. Let \(F : [0,1] \times \mathbb{R} \to{\mathcal{P}}(\mathbb{R})\) in (3.3) be given by
so that
Fixing \(\kappa(t)=\frac{1}{[3+t(1-t)]^{2}}\), we find that
and
where \(\delta(y)=y\). Thus, all the conditions of Theorem 3.13 are satisfied, and hence its conclusion applies to problem (3.3) with \(F(t, x)\) given by (3.6).
Remark 3.15
(An important consequence)
In the limit \(q \to2^{-}\), our results correspond to the ones for a symmetric three-point second-order boundary value problem by taking the nonlinear functions \(f(t, x)\) and \(F(t, x)\) to be symmetric on \([0, 1]\) and for all \(x \in\mathbb{R}\). In [8], the authors discussed the symmetric positive solutions for a singular three-point boundary value problem. However, our (deduced) results in case of \(q \to2^{-}\) are new.
Remark 3.16
Replacing the condition \(\xi x'(0)- \eta x'(1) = \zeta x(1/2)\) with \(\xi x'(0)- \eta x'(1) = \zeta x(\beta)\), \(0< \beta <1\) in (1.1), we get a more flexible problem, which allows the unknown function x to take its value at an arbitrary position \(\beta\in(0, 1)\). In this case, the integral solution of the resulting problem is
Existence results for this new nonlocal problem can be obtained by following the procedure used in Sections 2 and 3.
References
Webb, JRL, Lan, KQ: Eigenvalue criteria for existence of multiple positive solutions of nonlinear boundary value problems of local and nonlocal type. Topol. Methods Nonlinear Anal. 27, 91-116 (2006)
Clark, S, Henderson, J: Uniqueness implies existence and uniqueness criterion for non local boundary value problems for third-order differential equations. Proc. Am. Math. Soc. 134, 3363-3372 (2006)
Wang, SJ, Sun, HR: Optimal existence criteria for symmetric positive solutions to a singular three-point boundary value problem. Nonlinear Anal. 69, 4266-4276 (2008)
Webb, JRL, Infante, G, Franco, D: Positive solutions of nonlinear fourth order boundary value problems with local and nonlocal boundary conditions. Proc. R. Soc. Edinb., Sect. A 138, 427-446 (2008)
Graef, JR, Henderson, J, Ouahab, A: Differential inclusions with nonlocal conditions: existence results and topological properties of solution sets. Topol. Methods Nonlinear Anal. 37, 117-145 (2011)
Akyildiz, FT, Bellout, H, Vajravelu, K, Van Gorder, RA: Existence results for third order nonlinear boundary value problems arising in nano boundary layer fluid flows over stretching surfaces. Nonlinear Anal., Real World Appl. 12, 2919-2930 (2011)
Horodetskyi, VV, Martynyuk, OV, Petryshyn, RI: Correct solvability of a nonlocal multipoint (in time) problem for one class of evolutionary equations. Ukr. Math. J. 65, 377-392 (2013)
Zhou, J: Global existence and blowup for a degenerate and singular parabolic system with nonlocal source and absorptions. Z. Angew. Math. Phys. 65, 449-469 (2014)
Infante, G, Pietramala, P, Tenuta, M: Existence and localization of positive solutions for a nonlocal BVP arising in chemical reactor theory. Commun. Nonlinear Sci. Numer. Simul. 19, 2245-2251 (2014)
Benchohra, M, Hamani, S, Ntouyas, SK: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 71, 2391-2396 (2009)
Zhong, W, Lin, W: Nonlocal and multiple-point boundary value problem for fractional differential equations. Comput. Math. Appl. 39, 1345-1351 (2010)
Webb, JRL, Infante, G: Semi-positone nonlocal boundary value problems of arbitrary order. Commun. Pure Appl. Anal. 9, 563-581 (2010)
Ahmad, B, Ntouyas, SK, Alsaedi, A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011, Article ID 107384 (2011)
Ahmad, B, Agarwal, RP: On nonlocal fractional boundary value problems. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 18, 535-544 (2011)
Ahmad, B, Sivasundaram, S: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 217, 480-487 (2010)
Henderson, J, Luca, R: Positive solutions for a system of nonlocal fractional boundary value problems. Fract. Calc. Appl. Anal. 16, 985-1008 (2013)
Ahmad, B, Nieto, JJ, Alsaedi, A, Al-Hutami, H: Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 351, 2890-2909 (2014)
Zhang, X, Wu, Y, Caccetta, L: Nonlocal fractional order differential equations with changing-sign singular perturbation. Appl. Math. Model. 39, 6543-6552 (2015)
Binlin, Z, Bisci, GM, Servadei, R: Superlinear nonlocal fractional problems with infinitely many solutions. Nonlinearity 28, 2247-2264 (2015)
Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives. Theory and Applications. Gordon & Breach, Yverdon (1993)
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)
Covitz, H, Nadler, S: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8, 5-11 (1970)
Lan, KQ, Lin, W: Positive solutions of systems of Caputo fractional differential equations. Commun. Appl. Anal. 17, 61-85 (2013)
Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)
Deimling, K: Multivalued Differential Equations. de Gruyter, Berlin (1992)
Hu, S, Papageorgiou, N: Handbook of Multivalued Analysis. Vol. I. Theory. 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)
Kisielewicz, M: Differential Inclusions and Optimal Control. Kluwer Academic, Dordrecht (1991)
Wegrzyk, R: Fixed point theorems for multifunctions and their applications to functional equations. Diss. Math. 201, 28 (1982)
Castaing, C, Valadier, M: Convex Analysis and Measurable Multifunctions. Lecture Notes in Mathematics, vol. 580. Springer, Berlin (1977)
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University. The authors, therefore, acknowledge with thanks DSR technical and financial support.
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, 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., Agarwal, R.P. & Alsaedi, A. Fractional differential equations and inclusions with semiperiodic and three-point boundary conditions. Bound Value Probl 2016, 28 (2016). https://doi.org/10.1186/s13661-016-0533-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0533-7