Research
Open Access
Existence results for sequential fractional integro-differential equations with nonlocal multi-point and strip conditions
Received: 24 September 2016
Accepted: 8 November 2016
Published: 22 November 2016
Abstract
In this paper we investigate a new kind of nonlocal multi-point boundary value problem of Caputo type sequential fractional integro-differential equations involving Riemann-Liouville integral boundary conditions. Several existence and uniqueness results are obtained via suitable fixed point theorems. Some illustrative examples are also presented. The paper concludes with some interesting observations.
Keywords
sequential fractional derivative multi-point integral boundary conditions existence fixed pointMSC
34A08 34B151 Introduction
Fractional differential equations arise in many engineering and scientific disciplines such as physics, chemistry, aerodynamics, electrodynamics of complex medium or polymer rheology. In fact, the tools of fractional calculus have considerably improved the mathematical modeling of many real world problems. It has been mainly due to the fact that fractional-order operators provide an excellent instrument for the description of memory and hereditary properties of various materials and processes. For theoretical development and applications of the subject, we refer the reader to the books [1–3] and a series of papers [4–14], and the references cited therein.
Sequential fractional differential equations are also found to be of much interest [15, 16]. In fact, the concept of sequential fractional derivative is closely related to the non-sequential Riemann-Liouville derivatives; for details, see [17]. In [18], the authors studied different kinds of boundary value problems involving sequential fractional differential equations. In a recent article [19], the existence of solutions for higher-order sequential fractional differential inclusions with nonlocal three-point boundary conditions was discussed.
In this paper, we investigate the existence and uniqueness of solutions for a sequential fractional differential equation of the form subject to nonlocal multi-point and Riemann-Liouville type integral boundary conditions: where \({}^{c}D^{(\cdot)}\) denotes the Caputo derivatives of fractional order \((\cdot)\), \(I^{(\cdot)}\) denotes the Riemann-Liouville integral of fractional order \((\cdot)\), \(f:[0,1]\times\mathbb{R}^{3}\rightarrow\mathbb {R}\) is a given continuous function, and λ, \(a_{i}\), \(i=1,\ldots, m\) are real constants.
$$ \bigl({}^{c}D^{q}+k {}^{c}D^{q-1} \bigr)x(t) = f\bigl(t,x(t),{}^{c}D^{\beta}x(t),I^{\gamma}x(t) \bigr), \quad t\in[0,1], 2< q\leq3, 0< \beta, \gamma< 1, k>0, $$
(1.1)
$$ \begin{aligned} & x(0)=0,\qquad x'(0)=0, \\ &\sum_{i=1}^{m}a_{i} x(\zeta_{i})=\lambda \int_{0}^{\eta} \frac{(\eta-s)^{\delta-1}}{\Gamma(\delta)}x(s)\,ds,\quad \delta \ge1, 0< \eta< \zeta_{1}< \cdots< \zeta_{m}< 1, \end{aligned} $$
(1.2)
Here we emphasize that the coupling of nonlocal multi-point and Riemann-Liouville type strip condition considered on an arbitrary segment \((0, \eta) \subset[0, 1]\) can be interpreted as the linear combination of the values of the unknown function at nonlocal points \(\zeta_{i} \in(0, 1)\) is proportional to the strip contribution of the unknown function. The consideration of the sequential fractional integro-differential equation (1.1) together with multi-point cum strip condition makes the problem (1.1)-(1.2) new.
The rest of the paper is arranged as follows. In Section 2, we establish a basic result that lays the foundation for defining a fixed point problem equivalent to the given problem (1.1)-(1.2). The main results, based on Banach’s contraction mapping principle, Krasnoselskii’s fixed point theorem and nonlinear alternative of Leray-Schauder type, are obtained in Section 3. Illustrating examples are discussed in Section 4, while Section 5 contains some interesting observations.
2 Background material
This section is devoted to some fundamental concepts of fractional calculus [20] and a basic lemma related to the linear variant of the given problem.
Definition 2.1
The fractional integral of order α with the lower limit zero for a function φ is defined as provided the right-hand side is point-wise defined on \([0,\infty)\), where \(\Gamma(\cdot)\) is the gamma function, which is defined by \(\Gamma(\alpha)=\int_{0}^{\infty}t^{\alpha-1}e^{-t}\,dt\).
$$I^{\alpha} \varphi(t)= \frac{1}{\Gamma(\alpha)} \int_{0}^{t}\frac{ \varphi(s)}{(t-s)^{1-\alpha}}\,ds, \quad t>0, \alpha>0, $$
Definition 2.2
The Riemann-Liouville fractional derivative of order \(\alpha>0\), \(n-1< \alpha<n\), \(n\in \mathbb{N}\), is defined as where the function φ has absolutely continuous derivative up to order \((n-1)\).
$$D_{0+}^{\alpha}\varphi(t)=\frac{1}{\Gamma(n-\alpha)} \biggl( \frac {d}{dt} \biggr)^{n} \int_{0}^{t}(t-s)^{n-\alpha-1}\varphi(s)\,ds, \quad t>0, $$
Definition 2.3
The Caputo derivative of order α for a function \(\varphi:[0, \infty)\to{\mathbb{R}}\) can be written as
$$\begin{aligned} {}^{c}D^{\alpha} \varphi(t)= D_{0+}^{\alpha} \Biggl( \varphi(t)-\sum_{k=0}^{n-1} \frac{t^{k}}{k!}\varphi^{(k)}(0) \Biggr) ,\quad t>0, n-1< \alpha< n. \end{aligned}$$
Remark 2.4
If \(\varphi(t)\in C^{n}[0,\infty)\), then
$${}^{c}D^{\alpha}\varphi(t)= \frac{1}{\Gamma(n-\alpha)} \int_{0}^{t} \frac{ \varphi^{(n)}(s)}{(t-s)^{\alpha+1-n}}\,ds = I^{n-\alpha}\varphi^{(n)}(t), \quad t>0, n-1< \alpha< n. $$
To define the solution for problem (1.1)-(1.2), we consider the following lemma dealing with the linear variant of (1.1)-(1.2).
Lemma 2.1
For any
\(y \in C([0,1],{\mathbb{R}})\), a function
\(x \in C^{3}([0, 1], {\mathbb{R}})\)
is a solution of linear sequential fractional differential equation
subject to the boundary conditions (1.2) if and only if
where
$$ \bigl({}^{c}D^{q}+k {}^{c}D^{q-1} \bigr)x(t)=y(t), $$
(2.1)
$$\begin{aligned} x(t) =&\frac{kt-1+e^{-kt}}{\Delta} \Biggl\{ \lambda \int_{0}^{\eta}\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}y(\omega) \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &-\sum_{i=1}^{m}a_{i} \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}y(\tau)\,d\tau \biggr)\,ds \Biggr\} \\ &+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}y(\tau)\,d\tau \biggr) \,ds, \end{aligned}$$
(2.2)
$$ \Delta=\sum_{i=1}^{m}a_{i} \bigl(k\zeta_{i}-1+e^{-k\zeta_{i}}\bigr)-\frac{ \lambda}{\Gamma(\delta)} \biggl( \frac{k\eta^{\delta+1}}{\delta( \delta+1)}-\frac{\eta^{\delta}}{\delta}+ \int_{0}^{\eta}(\eta-s)^{ \delta-1}e^{-ks} \,ds \biggr)\ne0. $$
(2.3)
Proof
As argued in [18], the general solution of the equation (2.1) can be written as
$$ x(t)=b_{0}e^{-k t}+\frac{b_{1}}{k}\bigl(1-e^{-kt} \bigr)+\frac{b_{2}}{k^{2}}\bigl(k t-1+e ^{-k t}\bigr) + \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}y(\tau)\,d\tau \biggr) \,ds. $$
(2.4)
Using the data \(x(0)=0, x'(0)=0\) given by (1.2) in (2.4), we find that \(b_{0}=0\) and \(b_{1}=0\). Thus (2.4) takes the form Using the condition \(\sum_{i=1}^{m}a_{i} x(\zeta_{i})=\lambda\int_{0}^{\eta} \frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)}x(s)\,ds\) in (2.5), we obtain where Δ is given by (2.3). Substituting the value of \(b_{2}\) in (2.5), we get the solution (2.2). The converse follows by direct computation. This completes the proof. □
$$ x(t)=\frac{b_{2}}{k^{2}}\bigl(k t-1+e^{-kt}\bigr)+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int _{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}y(\tau)\,d\tau \biggr) \,ds. $$
(2.5)
$$\begin{aligned} b_{2} =&\frac{k^{2}}{\Delta} \Biggl\{ \lambda \int_{0}^{\eta}\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}y(\omega) \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &-\sum_{i=1}^{m}a_{i} \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}y(\tau)\,d\tau \biggr)\,ds \Biggr\} , \end{aligned}$$
In the next lemma, we present some estimates that we need in the sequel.
Lemma 2.2
For
\(y \in C([0,1],\mathbb{ R}) \)
with
\(\Vert y\Vert = \sup_{t\in[0,1]} \vert y(t) \vert\)
we have
- (i)
\(|\int_{0}^{\eta}\frac{(\eta-s)^{\delta-1}}{\Gamma(\delta)} (\int_{0}^{s} e^{-k(s-\tau)} (\int_{0}^{\tau}\frac{(\tau- \omega)^{q-2}}{\Gamma(q-1)}y(\omega) \,d\omega )\,d\tau )\,ds |\leq\frac{\eta^{q+\delta-2}}{k^{2}\Gamma(q)\Gamma(\delta)}( \eta k +e^{-k \eta}-1)\Vert y\Vert \).
- (ii)
\(|\sum_{i=1}^{m}a_{i}\int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} (\int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}y(\tau)\,d\tau )\,ds |\leq\sum_{i=1}^{m}\vert a_{i}\vert\zeta_{i}^{q-1}(1-e ^{-k\zeta_{i}})\frac{\Vert y\Vert }{k\Gamma(q)}\).
- (iii)
\(|\int_{0}^{t}e^{-k(t-s)} (\int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}y(\tau)\,d\tau )\,ds |\leq\frac{1}{k\Gamma(q)}(1-e ^{-k})\Vert y\Vert \).
Proof
(i) Obviously and Hence, The proofs of (ii) and (iii) are similar. The proof is completed. □
$$\int_{0}^{\tau}\frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\,d\omega= \frac{ \tau^{q-1}}{\Gamma(q)} $$
$$\int_{0}^{s}e^{-k(s-\tau)}\frac{\tau^{q-1}}{\Gamma(q)}\,d \tau\leq\frac{s ^{q-1}}{\Gamma(q)} \int_{0}^{s}e^{-k(s-\tau)}\,d\tau= \frac{s^{q-1}}{k \Gamma(q)}\bigl(1-e^{-k s}\bigr). $$
$$\begin{aligned} &\biggl\vert \int_{0}^{\eta} \frac{(\eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s}e^{-k(s- \tau)} \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}y(\omega)\,d\omega \biggr)\,d \tau \biggr)\,ds\biggr\vert \\ &\quad \leq \Vert y\Vert \int_{0}^{\eta}\frac{(\eta-s)^{\delta-1}}{\Gamma( \delta)} \biggl( \frac{s^{q-1}}{k\Gamma(q)} \biggr) \bigl(1-e^{-k s}\bigr)\,ds \\ &\quad \leq \Vert y\Vert \frac{\eta^{\delta-1}}{\Gamma(\delta)} \biggl( \frac{ \eta^{q-1}}{k\Gamma(q)} \biggr) \int_{0}^{\eta}\bigl(1-e^{-k s}\bigr)\,ds \leq \frac{\eta^{q+\delta -2}}{k^{2}\Gamma(\delta)\Gamma(q)}\bigl( \eta k +e^{-k \eta}-1\bigr)\Vert y\Vert . \end{aligned}$$
3 Existence and uniqueness results
This section is devoted to the main results concerning the existence and uniqueness of solutions for the problem (1.1)-(1.2). First of all, we fix our terminology.
Let \(X= \{ x:x\in C([0,1],\mathbb{R}) \text{ and } {}^{c}D^{\beta } x\in C([0,1],\mathbb{R}) \} \) denotes the space equipped with the norm \(\Vert x\Vert _{X}=\Vert x\Vert +\Vert {}^{c}D^{\beta}x \Vert =\sup_{t\in[0,1]} |x(t)|+ \sup_{t\in[0,1]}| {}^{c}D^{\beta}x(t)|\). Observe that \((X,\|\cdot \|_{X})\) is a Banach space.
Using Lemma 2.1, we introduce an operator \(F : X \rightarrow X \) as follows:
$$\begin{aligned} F(x) (t) =& \frac{kt-1+e^{-kt}}{\Delta} \Biggl\{ \lambda \int_{0}^{ \eta}\frac{(\eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0} ^{s} e^{-k(s-\tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}f\bigl(\omega,x( \omega), {} ^{c}D^{\beta}x(\omega),I^{\gamma}x(\omega)\bigr) \,d\omega \biggr)\,d\tau \biggr)\,ds \\ &{}-\sum_{i=1}^{m}a_{i} \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr)\,d\tau \biggr)\,ds \Biggr\} \\ &{}+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr)\,d\tau \biggr) \,ds. \end{aligned}$$
(3.1)
Observe that problem (1.1)-(1.2) has solutions if the operator defined by (3.1) has fixed points.
For computational convenience, we set
where and Δ is given by (2.3). Now the stage is set to present the uniqueness result.
$$\begin{aligned} &\begin{aligned} &p=\sup_{t \in[0, 1]}\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta} \biggr\vert =\frac{1}{|\Delta|}\bigl(e^{-k}+k-1\bigr), \\ &\bar{p}= \sup_{t \in[0, 1]}\biggl\vert \frac{k(1-e^{-kt})}{\Delta}\biggr\vert = \frac{1}{|\Delta|}k\bigl(1-e^{-k}\bigr), \end{aligned} \end{aligned}$$
(3.2)
$$\begin{aligned} &\begin{aligned} &\Lambda=p \Delta_{1} +\frac{1}{k\Gamma(q)} \bigl(1-e^{-k}\bigr),\qquad \Lambda _{1}= \bar{p} \Delta_{1} +\frac{1}{\Gamma(q)}\bigl(2-e^{-k}\bigr), \\ &L_{1}=1 + \frac{1}{\Gamma(\gamma+1)}, \end{aligned} \end{aligned}$$
(3.3)
$$ \Delta_{1}=\vert \lambda \vert \frac{\eta^{q+\delta -2}}{k^{2}\Gamma(q)\Gamma (\delta)} \bigl(\eta k +e^{-k \eta}-1\bigr) +\sum_{i=1}^{m} \vert a_{i}\vert \zeta_{i}^{q-1} \bigl(1-e^{-k\zeta_{i}}\bigr)\frac{1}{k\Gamma(q)}, $$
(3.4)
Theorem 3.1
Let
\(f : [0,1]\times\mathbb{R}^{3} \to\mathbb{R}\)
be a continuous function satisfying the condition
for all
\(t \in[0,1]\), \(x, y, z, x_{1}, y_{1}, z_{1}\in\mathbb{R}\), where
L
is the Lipschitz constant. Then the problem (1.1)-(1.2) has a unique solution if
\(LL_{1} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} )<1\), where Λ, \(\Lambda_{1}\), \(L_{1}\)
are given by (3.3).
- \((H_{1})\) :
-
\(|f(t,x,y,z)-f(t,x_{1},y_{1},z_{1})| \le L[\|x-x _{1}\|+\|y-y_{1}\|+\|z-z_{1}\|]\),
Proof
Let us fix where Λ, \(\Lambda_{1}\), \(L_{1}\) are given by (3.3) and \(M_{0}=\sup_{t\in[0,1]}|f(t,0,0,0)|\). Then we show that \(FB_{r} \subset B_{r} \) where For \(x\in B_{r} \), using \((H_{1})\), we get Then, for \(x \in X\), we have which, on taking the norm for \(t\in[0,1]\), yields Also we have By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get Hence This shows that F maps \(B_{r}\) into itself. Now, for \(x, y \in X\) and for each \(t \in[0,1]\), we obtain Also we have which implies that From the above inequalities, we have
$$ r\geq\frac{ M_{0} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} )}{ 1-LL_{1} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2- \beta)} )}, $$
$$ B_{r}= \bigl\{ x\in X:\Vert x\Vert _{X}\leq r \bigr\} . $$
$$\begin{aligned} \bigl\vert f\bigl(t,x(t), {}^{c}D^{\beta}x(t), I^{\gamma}x(t)\bigr)\bigr\vert \leq& \bigl\vert f\bigl(t,x(t), {}^{c}D^{\beta}x(t), I^{\gamma}x(t)\bigr)- f(t,0,0,0)\bigr\vert + \bigl\vert f (t,0,0,0) \bigr\vert \\ \leq& L\bigl[\bigl\vert x(t)\bigr\vert + \bigl\vert {}^{c}D^{\beta}x(t) \bigr\vert + \bigl\vert I^{\gamma} x(t)\bigr\vert \bigr] + M _{0} \\ \leq& L \biggl[\Vert x\Vert _{X} + \frac{1}{\Gamma(\gamma+1)}\Vert x \Vert \biggr] + M _{0} \\ \leq& L \biggl(1 + \frac{1}{\Gamma(\gamma+1)} \biggr)\Vert x\Vert _{X} + M_{0} \\ =& LL_{1}\Vert x\Vert _{X} + M_{0} \leq LL_{1}r + M_{0}. \end{aligned}$$
$$\begin{aligned} \bigl\vert F(x) (t)\bigr\vert \le& \sup_{t \in[0, 1]}\biggl\vert \frac{kt-1+e^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta }\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \omega,x(\omega), {}^{c}D^{\beta}x(\omega),I^{\gamma}x( \omega)\bigr)\bigr\vert \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &{}+\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr) \bigr\vert \,d\tau \biggr)\,ds \Biggr\} \\ &{}+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr) \bigr\vert \,d\tau \biggr) \,ds \\ \le&(LL_{1}r + M_{0}) \Biggl\{ p \Biggl[\vert \lambda \vert \frac{\eta^{q+\delta-2}}{k ^{2}\Gamma(q)\Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr)\\ &{}+\sum _{i=1} ^{m}\vert a_{i}\vert \zeta_{i}^{q-1}\bigl(1-e^{-k\zeta_{i}}\bigr)\frac{1}{k \Gamma(q)} \Biggr] +\frac{1}{k\Gamma(q)}\bigl(1-e^{-k}\bigr) \Biggr\} \\ \le&(LL_{1}r + M_{0})\Lambda, \end{aligned}$$
$$\Vert Fx\Vert \le(LL_{1}r + M_{0})\Lambda. $$
$$\begin{aligned} \bigl\vert F'(x) (t)\bigr\vert \le& \biggl\vert \frac{k-ke^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta}\frac{(\eta-s)^{\delta-1}}{\Gamma(\delta )} \biggl( \int_{0}^{s} e^{-k(s-\tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \omega,x(\omega), {}^{c}D^{\beta}x(\omega),I^{\gamma}x( \omega)\bigr)\bigr\vert \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &{}+\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr) \bigr\vert \,d\tau \biggr)\,ds \Biggr\} \\ &{}+ k \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr) \bigr\vert \,d\tau \biggr) \,ds \\ &{}+ \int_{0}^{t}\frac{(t-s)^{q-2}}{\Gamma(q-1)}\bigl\vert f \bigl(s,x(s), {}^{c}D^{ \beta}x(s),I^{\gamma}x(s)\bigr)\bigr\vert \,ds \\ \le&(LL_{1}r + M_{0}) \Biggl\{ \bar{p} \Biggl[\vert \lambda \vert \frac{ \eta^{q+\delta-2}}{k^{2}\Gamma(q)\Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr)\\ &{}+\sum _{i=1}^{m}\vert a_{i}\vert \zeta_{i}^{q-1}\bigl(1-e^{-k\zeta _{i}}\bigr)\frac{1}{k\Gamma(q)} \Biggr] +\frac{1}{\Gamma(q)}\bigl(2-e^{-k}\bigr) \Biggr\} \\ \le&(LL_{1}r + M_{0})\Lambda_{1}. \end{aligned}$$
$$\begin{aligned} \bigl\vert {}^{c}D^{\beta}(Fx) (t)\bigr\vert \leq & \int_{0}^{t}\frac{(t-s)^{- \beta}}{\Gamma(1-\beta)}\bigl\vert F'(x) (s)\bigr\vert \,ds \leq(LL_{1}r + M _{0})\Lambda_{1} \int_{0}^{t}\frac{(t-s)^{-\beta}}{\Gamma(1-\beta)}\,ds \\ \leq&\frac{1}{\Gamma(2-\beta)} (LL_{1}r + M_{0}) \Lambda_{1}. \end{aligned}$$
$$\begin{aligned} \bigl\Vert F(x)\bigr\Vert _{X}=\bigl\Vert F(x)\bigr\Vert + \bigl\Vert {}^{c}D^{\beta} F(x)\bigr\Vert \leq (LL_{1}r+M_{0}) \Lambda+\frac{1}{\Gamma(2-\beta)} (LL_{1}r + M_{0})\Lambda_{1}< r. \end{aligned}$$
(3.5)
$$\begin{aligned} &\bigl\vert (Fx) (t)-(Fy) (t)\bigr\vert \\ &\quad \le \sup_{t \in[0, 1]} \biggl\vert \frac{kt-1+e^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta }\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \\ &\qquad {}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \omega,x(\omega), {}^{c}D^{\beta}x(\omega),I^{\gamma}x( \omega)\bigr)\\ &\qquad {}-f\bigl(\omega,y(\omega), {}^{c}D^{\beta}y( \omega),I^{\gamma}y( \omega)\bigr)\bigr\vert \,d\omega \biggr)\,d\tau \biggr)\,ds \\ &\qquad{} +\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr)\\ &\qquad {} -f\bigl(\tau,y(\tau), {}^{c}D^{\beta}y(\tau),I^{\gamma}y( \tau)\bigr)\bigr\vert \,d \tau \biggr)\,ds \Biggr\} \\ &\qquad {}+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr)\\ &\qquad {} -f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr)\bigr\vert \,d \tau \biggr)\,ds \\ &\quad \le L \Biggl\{ p \Biggl[\vert \lambda \vert \frac{\eta^{q+\delta-2}}{k^{2}\Gamma (q)\Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr)+\sum_{i=1}^{m} \vert a _{i}\vert \zeta_{i}^{q-1} \bigl(1-e^{-k\zeta_{i}}\bigr)\frac{1}{k\Gamma(q)} \Biggr] \\ &\qquad {}+\frac{1}{k\Gamma(q)}\bigl(1-e^{-k}\bigr) \Biggr\} \biggl[\Vert x-y \Vert +\bigl\Vert D^{\beta}x-D ^{\beta}y\bigr\Vert + \frac{1}{\Gamma(\gamma+1)}\Vert x-y\Vert \biggr] \\ &\quad \le L \Biggl\{ p \Biggl[\vert \lambda \vert \frac{\eta^{q+\delta-2}}{k^{2}\Gamma (q)\Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr)+\sum_{i=1}^{m} \vert a _{i}\vert \zeta_{i}^{q-1} \bigl(1-e^{-k\zeta_{i}}\bigr)\frac{1}{k\Gamma(q)} \Biggr] \\ &\qquad {}+\frac{1}{k\Gamma(q)}\bigl(1-e^{-k}\bigr) \Biggr\} \biggl[\Vert x-y \Vert _{X}+\frac{1}{ \Gamma(\gamma+1)}\Vert x-y\Vert \biggr] \\ &\quad \le L \Biggl\{ p \Biggl[\vert \lambda \vert \frac{\eta^{q+\delta-2}}{k^{2}\Gamma (q)\Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr)+\sum_{i=1}^{m} \vert a _{i}\vert \zeta_{i}^{q-1} \bigl(1-e^{-k\zeta_{i}}\bigr)\frac{1}{k\Gamma(q)} \Biggr] \\ &\qquad {}+\frac{1}{k\Gamma(q)}\bigl(1-e^{-k}\bigr) \Biggr\} \biggl(1+ \frac{1}{\Gamma( \gamma+1)} \biggr)\Vert x-y\Vert _{X} \\ &\quad \le LL_{1}\Lambda \Vert x-y\Vert _{X}. \end{aligned}$$
$$\bigl\vert (Fx)'(t)-(Fy)'(t)\bigr\vert \leq LL_{1}\Lambda_{1} \Vert x-y\Vert _{X}, $$
$$\begin{aligned} \bigl\vert {}^{c}D^{\beta}F(x) (t)- {}^{c}D^{\beta}F(y) (t)\bigr\vert \leq& \int_{0} ^{t}\frac{(t-s)^{-\beta}}{\Gamma(1-\beta)} \bigl\vert F'(x) (s)- F'(y) (s)\bigr\vert \,ds \\ \leq& \frac{LL_{1}\Lambda_{1}}{\Gamma(2-\beta)} \Vert x-y\Vert _{X}. \end{aligned}$$
$$\begin{aligned} \bigl\Vert F(x)-F(y)\bigr\Vert _{X} = & \bigl\Vert F(x)-F(y) \bigr\Vert + \bigl\Vert {}^{c}D^{\beta} F(x)-{} ^{c}D^{\beta}F(y)\bigr\Vert \\ \leq& LL_{1} \biggl(\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} \biggr)\Vert x-y \Vert _{X}. \end{aligned}$$
(3.6)
As \(LL_{1} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\delta)} )<1\), F is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof. □
Now, we state a known result due to Krasnoselskii [21] which is needed to prove the existence of at least one solution of (1.1)-(1.2).
Theorem 3.2
Let M be a closed, convex, bounded, and nonempty subset of a Banach space X. Let \(\mathcal{G}_{1}\), \(\mathcal{G}_{2}\) be the operators such that: (i) \(\mathcal{G}_{1}x+\mathcal{G}_{2} y \in M\) whenever \(x, y \in M\); (ii) \(\mathcal{G}_{1}\) is compact and continuous; (iii) \(\mathcal{G}_{2}\) is a contraction mapping. Then there exists \(z \in M\) such that \(z=\mathcal{G}_{1} z+\mathcal{G}_{2} z\).
Theorem 3.3
Assume that
\(f : [0,1]\times\mathbb{R}^{3} \to\mathbb{R}\)
is a continuous function satisfying (\(H_{1}\)). In addition, the following assumption holds:
Then the boundary value problem (1.1)-(1.2) has at least one solution on
\([0,1]\)
if
where
p
is given by (3.2), and
\(L_{1}\), \(\Delta_{1}\)
are defined by (3.4).
- (\(H_{2}\)):
-
\(|f(t,x_{1}, x_{2}, x_{3})|\le\mu(t)\), \(\forall(t,x _{1}, x_{2}, x_{3}) \in[0,1] \times\mathbb{R}^{3}\) with \(\mu \in C([0,1], \mathbb{R}^{+})\).
$$ L L_{1} p \Delta_{1}< 1, $$
(3.7)
Proof
Letting \(\sup_{t \in[0,1]}|\mu(t)|=\Vert \mu \Vert \), we fix where Λ, \(\Lambda_{1}\) are given by (3.3) and consider \(\mathcal{B}_{r} =\{x \in X: \Vert x\Vert _{X}\le r \}\). Define the operators \(F_{1}\) and \(F_{2}\) on \(\mathcal{B}_{r} \) as For \(x, y \in\mathcal{B}_{r} \), using the notation (3.4), we have Also which implies that From the above inequalities, we get
$$ r \ge \biggl(\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} \biggr)\Vert \mu \Vert , $$
(3.8)
$$\begin{aligned} &(F_{1} x) (t) = \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s- \tau)^{q-2}}{\Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I ^{\gamma}x(\tau)\bigr)\,d\tau \biggr) \,ds, \\ &\begin{aligned} (F_{2} x) (t) = {}&\frac{kt-1+e^{-kt}}{\Delta} \Biggl\{ \lambda \int_{0}^{\eta}\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}f\bigl(\omega,x( \omega), {} ^{c}D^{\beta}x(\omega),I^{\gamma}x(\omega)\bigr) \,d\omega \biggr)\,d\tau \biggr)\,ds \\ &{}-\sum_{i=1}^{m}a_{i} \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr)\,d\tau \biggr)\,ds \Biggr\} . \end{aligned} \end{aligned}$$
$$\begin{aligned} \Vert F_{1} x + F_{2} y \Vert \le \biggl\{ p \Delta_{1}+\frac{1}{k\Gamma(q)}\bigl(1-e ^{-k}\bigr) \biggr\} \Vert \mu \Vert = \Lambda \Vert \mu \Vert . \end{aligned}$$
$$\begin{aligned} \bigl\Vert F_{1}' x + F_{2}' y \bigr\Vert \le \biggl\{ \bar{p} \Delta_{1}+\frac{1}{ \Gamma(q)} \bigl(2-e^{-k}\bigr) \biggr\} \Vert \mu \Vert = \Lambda_{1} \Vert \mu \Vert , \end{aligned}$$
$$\begin{aligned} \bigl\vert {}^{c}D^{\beta}(F_{1} x + F_{2} y)\bigr\vert &\leq \int_{0}^{t}\frac{(t-s)^{- \beta}}{\Gamma(1-\beta)} \bigl\vert F_{1}' x + F_{2}' y\bigr\vert \,ds\\ &\leq \frac{\Lambda_{1}}{\Gamma(2-\beta)} \Vert \mu \Vert . \end{aligned}$$
$$\begin{aligned} \Vert F_{1} x + F_{2} y\Vert _{X} &= \Vert F_{1} x + F_{2} y\Vert + \bigl\Vert {}^{c}D^{\beta}(F_{1} x + F_{2} y)\bigr\Vert \\ &\leq \biggl( \Lambda +\frac{\Lambda_{1}}{ \Gamma(2-\beta)} \biggr) \Vert \mu \Vert < r. \end{aligned}$$
Thus, \(F_{1} x+F_{2} y \in\mathcal{B}_{r} \). In view of the condition (3.7), it can easily be shown that \(F_{2}\) is a contraction. Note that continuity of f implies that the operator \(F_{1}\) is continuous. Also, \(F_{1}\) is uniformly bounded on \(\mathcal{B}_{r} \) as and Now we prove the compactness of the operator \(F_{1}\). Setting \(\Omega=[0,1] \times\mathcal{B}_{r}\times\mathcal{B}_{r}\times \mathcal{B}_{r} \), we define \(\sup_{(t,x) \in\Omega}|f(t,x(t), {}^{c}D^{\beta}x(t),I^{\gamma}x(t))|=M_{r}\), and consequently, for \(0 < t_{1}< t_{2}<1\), we get and Clearly, \(\vert F_{1}(x)(t_{2})-F_{1}(x)(t_{1})\vert\rightarrow0 \) and \(\vert{}^{c}D^{\beta} F_{1}(x)(t_{2})-{}^{c}D^{\beta} F_{1}(x)(t _{1})\vert\rightarrow0\) independent of x as \(t_{2}\rightarrow t _{1}\). Thus, \(F_{1}\) is relatively compact on \(\mathcal{B}_{r} \). Hence, by the Arzelá-Ascoli theorem, \(F_{1}\) is compact on \(\mathcal{B}_{r} \). Thus all the assumptions of Theorem 3.2 are satisfied and the conclusion of Theorem 3.2 implies that the boundary value problem (1.1)-(1.2) has at least one solution on \([0,1]\). This completes the proof. □
$$\begin{aligned} &\Vert F_{1} x\Vert \le\frac{(1-e^{-k})\Vert \mu \Vert }{k \Gamma(q)}, \\ & \bigl\Vert F_{1}' x\bigr\Vert \le\frac{(2-e^{-k})\Vert \mu \Vert }{ \Gamma(q)}, \\ &\bigl\Vert {}^{C}D ^{\beta}F_{1}x\bigr\Vert \le \frac{1}{\Gamma(2-\beta)}\frac{(2-e^{-k})\Vert \mu \Vert }{ \Gamma(q)}, \end{aligned}$$
$$\Vert F_{1}x\Vert _{X}\le\frac{(1-e^{-k})\Vert \mu \Vert }{k \Gamma(q)}+ \frac{1}{ \Gamma(2-\beta)}\frac{(2-e^{-k})\Vert \mu \Vert }{ \Gamma(q)}. $$
$$\begin{aligned} &\bigl\vert (F_{1} x) (t_{2})-(F_{1} x) (t_{1})\bigr\vert \\ &\quad = \biggl\vert \int_{0}^{t_{2}} e^{-k(t _{2}-s)} \biggl( \int_{0}^{s} \frac{(s-u)^{q-2}}{\Gamma(q-1)} f\bigl(u,x(s), {}^{c}D^{\beta}x(u),I^{\gamma}x(u)\bigr)\,du \biggr)\,ds\\ &\qquad {} - \int_{0}^{t_{1}} e^{-k(t_{1}-s)} \biggl( \int_{0}^{s} \frac{(s-u)^{q-2}}{ \Gamma(q-1)}f\bigl(u,x(u), {}^{c}D^{\beta}x(u),I^{\gamma}x(u)\bigr)\,du \biggr)\,ds \biggr\vert \\ & \quad \le \frac{M_{r}}{k \Gamma(q)} \bigl(\bigl\vert t_{2}^{q}-t_{1}^{q} \bigr\vert +\bigl\vert t_{2} ^{q}e^{-k t_{2}}-t_{1}^{q}e^{-k t_{1}} \bigr\vert \bigr) \end{aligned}$$
$$\begin{aligned} & \bigl\vert {}^{c}D^{\beta} F_{1}(x) (t_{2})-{}^{c}D^{\beta} F_{1}(x) (t _{1})\bigr\vert \\ &\quad \leq \int_{0}^{t_{1}}\frac{\vert(t_{1}-s)^{\beta}-(t_{2}-s)^{ \delta}\vert}{(t_{1}-s)^{\beta}(t_{2}-s)^{\beta}}\bigl\vert F'_{1}(x) (s) \bigr\vert \,ds+ \int_{t_{1}}^{t_{2}}\bigl\vert (t_{2}-s)^{-\beta} \bigr\vert \bigl\vert F'_{1}(x) (s) \bigr\vert \,ds \\ &\quad \leq \frac{1}{\Gamma(1-\beta)}\frac{(2-e^{-k})}{ \Gamma(q)} \biggl\{ \int_{0}^{t_{1}}\frac{\vert( t_{1}-s)^{\beta} -(t_{2}-s)^{ \beta}\vert}{ (t_{1}-s)^{\beta}(t_{2}-s)^{\beta}} \,ds+ \int_{t_{1}} ^{t_{2}}\bigl\vert (t_{2}-s)^{-\beta} \bigr\vert \,ds \biggr\} . \end{aligned}$$
Remark 3.4
In the above theorem we can interchange the roles of the operators \(F_{1}\) and \(F_{2}\) to obtain a second result replacing (3.7) by the following condition:
$$\frac{L L_{1}}{k \Gamma(q)}\bigl(1-e^{-k}\bigr)< 1. $$
In the next theorem, we prove the existence of solutions for the problem (1.1)-(1.2) via the Leray-Schauder nonlinear alternative.
Lemma 3.1
(Nonlinear alternative for single valued maps [22]) Let
E
be a Banach space, C
a closed, convex subset of
E, U
an open subset of
C
and
\(0\in U\). Suppose that
\(F:\overline{U}\to C\)
is a continuous, compact (that is, \(F(\overline{U})\)
is a relatively compact subset of
C) map. Then either
- (i)
F has a fixed point in U̅, or
- (ii)
there is a \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).
Theorem 3.5
Let
\(f: [0,1]\times\mathbb{R}^{3} \to\mathbb{R}\)
be a continuous function and that
Then the boundary value problem (1.1)-(1.2) has at least one solution on
\([0,1]\).
- (\(H_{3}\)):
-
there exist a function \(\phi\in C([0,1], \mathbb{R} ^{+})\), and a nondecreasing, subhomogeneous (that is, \(\Omega(kx) \le k\Omega(x)\) for all \(k\ge1\) and \(x\in{\mathbb{R}}^{+}\)) function \(\Omega: {\mathbb{R}}^{+}\to{ \mathbb{R}}^{+}\) such that \(|f(t,x _{1}, x_{2}, x_{3})|\le\phi(t)\Omega(\Vert x_{1}\Vert +\Vert x_{2}\Vert +\Vert x_{3}\Vert )\), for all \((t,x_{1}, x_{2}, x_{3}) \in[0,1] \times\mathbb{R}^{3}\);
- (\(H_{4}\)):
-
there exists a constant \(M>0\) such thatwhere Λ, \(\Lambda_{1}\) and \(L_{1}\) are given by (3.3).$$\frac{M}{ ( \Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} ) \Vert \phi \Vert L _{1}\Omega(M)} > 1, $$
Proof
Consider the operator \(F: X \to X\) defined by (3.1). In the first step, we show that F maps bounded sets into bounded sets in \(C([0,1], \mathbb{R})\). For a positive number r, let \({\mathcal{B}} _{r} = \{x \in C([0,1], \mathbb{R}): \Vert x\Vert _{X} \le r \}\) be a bounded set in \(C([0,1], \mathbb{R})\). Then which, on taking the norm, for \(t\in[0,1]\) yields Also we have By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get Hence
$$\begin{aligned} \bigl\vert F(x) (t)\bigr\vert \le& \sup_{t \in[0, 1]}\biggl\vert \frac{kt-1+e^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta }\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \omega,x(\omega), {}^{c}D^{\beta}x(\omega),I^{\gamma}x( \omega)\bigr)\bigr\vert \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &{}+\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr) \bigr\vert \,d\tau \biggr)\,ds \Biggr\} \\ &{}+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr) \bigr\vert \,d\tau \biggr) \,ds \\ \le& \sup_{t \in[0, 1]}\biggl\vert \frac{kt-1+e^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta }\frac{( \eta-s)^{\delta-1}}{\Gamma(\delta)} \biggl( \int_{0}^{s} e^{-k(s- \tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)} \phi(\omega)\Omega \biggl(\Vert x\Vert +\bigl\Vert D^{\beta}x\bigr\Vert + \frac{1}{\Gamma(\gamma+1)}\Vert x\Vert \biggr)\,d \omega \biggr)\,d\tau \biggr)\,ds \\ &{}+\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \\ &{}\times\biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\phi(\tau)\Omega \biggl(\Vert x\Vert +\bigl\Vert D^{\beta}x\bigr\Vert + \frac{1}{\Gamma(\gamma+1)}\Vert x\Vert \biggr)\,d \tau \biggr)\,ds \Biggr\} \\ &{}+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\phi(\tau)\Omega \biggl(\Vert x\Vert +\bigl\Vert D^{\beta}x\bigr\Vert + \frac{1}{ \Gamma(\gamma+1)}\Vert x\Vert \biggr)\,d\tau \biggr)\,ds \\ \le& \biggl\{ p \Delta_{1}+\frac{1}{k\Gamma(q)}\bigl(1-e^{-k} \bigr) \biggr\} \Vert \phi \Vert \Omega\bigl(L_{1}\Vert x\Vert _{X}\bigr) \\ \le& \Lambda \Vert \phi \Vert L_{1}\Omega\bigl(\Vert x\Vert _{X}\bigr), \end{aligned}$$
$$\Vert Fx\Vert \le\Lambda \Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). $$
$$\begin{aligned} \bigl\vert F'(x) (t)\bigr\vert \le& \biggl\vert \frac{k-ke^{-kt}}{\Delta}\biggr\vert \Biggl\{ \vert \lambda \vert \int_{0}^{\eta}\frac{(\eta-s)^{\delta-1}}{\Gamma(\delta )} \biggl( \int_{0}^{s} e^{-k(s-\tau)} \\ &{}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \omega,x(\omega), {}^{c}D^{\beta}x(\omega),I^{\gamma}x( \omega)\bigr)\bigr\vert \,d\omega \biggr)\,d \tau \biggr)\,ds \\ &{}+\sum_{i=1}^{m}\vert a_{i} \vert \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr) \bigr\vert \,d\tau \biggr)\,ds \Biggr\} \\ &{}+ k \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{ \Gamma(q-1)}\bigl\vert f\bigl( \tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x( \tau)\bigr) \bigr\vert \,d\tau \biggr) \,ds \\ &{}+ \int_{0}^{t}\frac{(t-s)^{q-2}}{\Gamma(q-1)}\bigl\vert f \bigl(s,x(s), {}^{c}D^{ \beta}x(s),I^{\gamma}x(s)\bigr)\bigr\vert \,ds \\ \le& \biggl\{ \bar{p} \Delta_{1}+\frac{1}{\Gamma(q)} \bigl(2-e^{-k}\bigr) \biggr\} \Vert \phi \Vert \Omega \bigl(L_{1}\Vert x\Vert _{X}\bigr) \\ \le& \Lambda_{1}\Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). \end{aligned}$$
$$\begin{aligned} \bigl\vert {}^{c}D^{\beta}(Fx) (t)\bigr\vert \leq & \int_{0}^{t}\frac{(t-s)^{- \beta}}{\Gamma(1-\beta)}\bigl\vert F'(x) (s)\bigr\vert \,ds \\ \leq&\Lambda_{1}\Vert \phi \Vert L_{1}\Omega\bigl(\Vert x\Vert _{X}\bigr) \int_{0}^{t}\frac{(t-s)^{-\beta}}{ \Gamma(1-\beta)}\,ds \\ \leq&\frac{1}{\Gamma(2-\beta)} \Lambda_{1}\Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). \end{aligned}$$
$$\begin{aligned} \bigl\Vert F(x)\bigr\Vert _{X}=\bigl\Vert F(x)\bigr\Vert + \bigl\Vert {}^{c}D^{\beta} F(x)\bigr\Vert \leq \biggl(\Lambda +\frac{\Lambda_{1}}{\Gamma(2-\beta)} \biggr)\Vert \phi \Vert L_{1}\Omega(r). \end{aligned}$$
(3.9)
Next we show that F maps bounded sets into equicontinuous sets of \(C([0,1], \mathbb{R})\). Let \(t_{1}, t_{2} \in[0,1]\) with \(t_{1}< t_{2}\) and \(x \in{\mathcal{B}}_{r}\), where \({\mathcal{B}} _{r}\) is a bounded set of \(C([0,1], \mathbb{R})\). Then we obtain Also Obviously the right-hand side of the above inequalities tends to zero independently of \(x \in{\mathcal{B}}_{r}\) as \(t_{2}- t_{1} \to0\). As F satisfies the above assumptions, it follows by the Arzelá-Ascoli theorem that \(F: C([0,1], \mathbb{R}) \to C([0,1], \mathbb{R})\) is completely continuous.
$$\begin{aligned} &\bigl\vert (F x) (t_{2})-(F x) (t_{1})\bigr\vert \\ &\quad \le \Biggl\vert \frac{k(t_{2}-t_{1})+e^{-kt_{2}}-e^{-kt_{1}}}{\Delta} \Biggl\{ \lambda \int_{0}^{\eta}\frac{(\eta-s)^{\delta-1}}{\Gamma( \delta)} \biggl( \int_{0}^{s} e^{-k(s-\tau)}\\ &\qquad {}\times \biggl( \int_{0}^{\tau} \frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}f\bigl(\omega,x( \omega), {} ^{c}D^{\beta}x(\omega),I^{\gamma}x(\omega)\bigr) \,d\omega \biggr)\,d\tau \biggr)\,ds\\ &\qquad {} -\sum_{i=1}^{m}a_{i} \int_{0}^{\zeta_{i}}e^{-k(\zeta_{i}-s)} \biggl( \int_{0}^{s}\frac{(s-\tau)^{q-2}}{\Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr)\,d\tau \biggr)\,ds \Biggr\} \Biggr\vert \\ &\qquad {}+\biggl\vert \int_{0}^{t_{1}} \bigl(e^{-k(t_{2}-s)}-e^{-k(t_{1}-s)} \bigr) \biggl( \int_{0}^{s} \frac{(s-\tau)^{q-2}}{\Gamma(q-1)} f\bigl(\tau,x( \tau), {}^{c}D^{\beta}x(\tau),I^{\gamma}x(\tau)\bigr)\,d\tau \biggr)\,ds \\ &\qquad {}+ \int_{t_{1}}^{t_{2}}e^{-k(t_{2}-s)} \biggl( \int_{0}^{s} \frac{(s- \tau)^{q-2}}{\Gamma(q-1)}f\bigl(\tau,x(\tau), {}^{c}D^{\beta}x(\tau),I ^{\gamma}x(\tau)\bigr)\,d\tau \biggr)\,ds\biggr\vert \\ &\quad \le \biggl\vert \frac{k(t_{2}-t_{1})+e^{-kt_{2}}-e^{-kt_{1}}}{\Delta} \biggr\vert \Biggl[\vert \lambda \vert \frac{\eta^{q+\delta-2}}{k^{2}\Gamma(q) \Gamma(\delta)}\bigl(\eta k +e^{-k \eta}-1\bigr) \\ &\qquad {}+\sum_{i=1}^{m}\vert a_{i}\vert \zeta_{i}^{q-1}\bigl(1-e^{-k\zeta _{i}} \bigr)\frac{1}{k \Gamma(q)} \Biggr]\Vert \phi \Vert L_{1}\Omega(r) \\ &\qquad {}+\biggl\vert \int_{0}^{t_{1}} \bigl(e^{-k(t_{2}-s)}-e^{-k(t_{1}-s)} \bigr) \biggl( \int_{0}^{s} \frac{(s-u)^{q-2}}{\Gamma(q-1)}\,du \biggr)\,ds\\ &\qquad {}+ \int_{t_{1}}^{t_{2}}e^{-k(t_{2}-s)} \biggl( \int_{0}^{s} \frac{(s-u)^{q-2}}{ \Gamma(q-1)}\,du \biggr)\,ds \biggr\vert \Vert \phi \Vert L_{1}\Omega(r). \end{aligned}$$
$$\begin{aligned} & \bigl\vert {}^{c}D^{\beta} F(x) (t_{2})-{}^{c}D^{\beta} F(x) (t_{1}) \bigr\vert \\ &\quad \leq \int_{0}^{t_{1}}\frac{\vert (t_{1}-s)^{\beta}-(t_{2}-s)^{ \beta}\vert}{(t_{1}-s)^{\beta}(t_{2}-s)^{\beta}}\bigl\vert F'(x) (s) \bigr\vert \,ds + \int_{t_{1}}^{t_{2}}\bigl\vert (t_{2}-s)^{-\beta} \bigr\vert \bigl\vert F'(x) (s) \bigr\vert \,ds \\ &\quad \leq \frac{\Lambda_{1}}{\Gamma(1-\beta)} \biggl\{ \int_{0}^{t_{1}}\frac{ \vert( t_{1}-s)^{\beta} -(t_{2}-s)^{\beta}\vert}{ (t_{1}-s)^{ \beta}(t_{2}-s)^{\beta}} \,ds+ \int_{t_{1}}^{t_{2}}\bigl\vert (t_{2}-s)^{- \beta} \bigr\vert \,ds \biggr\} \Vert \phi \Vert L_{1}\Omega(r). \end{aligned}$$
The result will follow from the Leray-Schauder nonlinear alternative (Lemma 3.1) once we have proved the boundedness of the set of all solutions to equations \(x=\theta F x\) for \(\theta\in[0,1]\).
Let x be a solution. Then, for \(t\in[0,1]\), and using the computations in proving that F is bounded, we have which, on taking the norm for \(t\in[0,1]\) yields Also we have By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get Hence Consequently, we have In view of (\(H_{4}\)), there exists M such that \(\Vert x\Vert \ne M\). Let us set Note that the operator \(F:\overline{U} \to C([0,1], \mathbb{R})\) is continuous and completely continuous. From the choice of U, there is no \(x \in\partial U\) such that \(x =\theta F (x)\) for some \(\theta \in(0,1)\). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 3.1), we deduce that F has a fixed point \(x \in\overline{U}\) which is a solution of the problem (1.1)-(1.2). This completes the proof. □
$$\begin{aligned} \bigl\vert x(t)\bigr\vert \le \biggl\{ p \Delta_{1}+ \frac{1}{k\Gamma(q)}\bigl(1-e^{-k}\bigr) \biggr\} \Vert \phi \Vert \Omega\bigl(L_{1}\Vert x\Vert _{X}\bigr) \le\Lambda \Vert \phi \Vert L_{1}\Omega\bigl(\Vert x \Vert _{X} \bigr), \end{aligned}$$
$$\Vert x\Vert \le\Lambda \Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). $$
$$\begin{aligned} \bigl\vert x'(t)\bigr\vert \le \biggl\{ \bar{p} \Delta_{1}+\frac{1}{\Gamma(q)}\bigl(2-e^{-k}\bigr) \biggr\} \Vert \phi \Vert \Omega\bigl(L_{1}\Vert x\Vert _{X} \bigr) \le\Lambda_{1}\Vert \phi \Vert L _{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). \end{aligned}$$
$$\begin{aligned} \bigl\vert {}^{c}D^{\beta}(x) (t)\bigr\vert \leq \int_{0}^{t}\frac{(t-s)^{- \beta}}{\Gamma(1-\beta)}\bigl\vert x'(s)\bigr\vert \,ds \leq\frac{\Lambda_{1}}{ \Gamma(2-\beta)} \Vert \phi \Vert L_{1}\Omega\bigl(\Vert x\Vert _{X}\bigr). \end{aligned}$$
$$\begin{aligned} \Vert x\Vert _{X}=\Vert x\Vert +\bigl\Vert {}^{c}D^{\delta} x\bigr\Vert \leq \biggl( \Lambda+ \frac{ \Lambda_{1}}{\Gamma(2-\beta)} \biggr) \Vert \phi \Vert L_{1}\Omega\bigl(\Vert x\Vert _{X}\bigr). \end{aligned}$$
(3.10)
$$\frac{\Vert x\Vert _{X}}{ ( \Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} ) \Vert \phi \Vert L _{1}\Omega(\Vert x\Vert _{X})}\le1. $$
$$U = \bigl\{ x \in C\bigl([0,1], \mathbb{R}\bigr):\Vert x\Vert < M\bigr\} . $$
4 Examples
Consider the following nonlocal multi-point boundary value problem of the Caputo type sequential fractional integro-differential equations: Here \(q=8/3\), \(k=2/3\), \(\beta=3/4\), \(\gamma=1/2\), \(a_{1}=1\), \(a_{2}=3/2\), \(a _{3}=5/2\), \(a_{4}=3\), \(\zeta_{i}=i/5\), \(i=1, \dots,4\), \(\lambda=1\), \(\eta=1/10\). With the given values, it is found that \(\Delta\approx0.6148915\), \(\Delta_{1}\approx1.287595\), \(p\approx1.648123\), \(\bar{p}\approx 0.527554\), \(\Lambda\approx2.607218\), \(\Lambda_{1}\approx1.667317\), \(L_{1}\approx2.128379\). Now we illustrate the obtained results by choosing different values of \(f(t,x(t),{}^{c}D^{3/4}x(t), I^{1/2}x(t))\). Let us first consider Obviously \(L=1/11\) as \(\vert f(t,x(t),{}^{c}D^{3/4}x(t),I^{1/2}x(t))-f(t,y(t), {}^{c}D^{3/4}y(t),I^{1/2}y(t))\vert\leq\frac{1}{11} (\Vert x-y\Vert +\Vert {}^{c}D^{3/4}x-{}^{c}D^{3/4}y\Vert +\Vert I^{1/2}x-I^{1/2}y\Vert )\). Further, \(LL_{1} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} ) \approx 0.860389 <1\). Thus all the conditions of Theorem 3.1 are satisfied. Therefore, by the conclusion of Theorem 3.1, we conclude that there exists a unique solution for the problem (4.1) on \([0, 1]\).
$$ \textstyle\begin{cases} ({}^{c}D^{8/3}+\frac{2}{3} {}^{c}D^{5/3})x(t) = f(t,x(t), {}^{c}D ^{3/4}x(t),I^{1/2}x(t)), \quad 0< t< 1, \\ x(0)=0, x'(0)=0,\quad x ( \frac{1}{5} ) + \frac{3}{2} x ( \frac{2}{5} ) + \frac{5}{2} x ( \frac{3}{5} ) +3 x ( \frac{4}{5} ) = \int_{0}^{\frac{1}{10}} \frac{(\frac{1}{10}-s)^{\frac{1}{2}}}{\Gamma (\frac{3}{2})}x(s)\,ds. \end{cases} $$
(4.1)
$$\begin{aligned} f\bigl(t,x(t),{}^{c}D^{3/4}x(t),I^{1/2}x(t)\bigr)={}& \frac{1}{\sqrt{t+121}} \biggl( \frac{|x(t)|}{1+|x(t)|}+ \tan^{-1} \bigl( {}^{c}D^{3/4}x(t) \bigr) \biggr) \\ &{}+\frac{1}{11}I^{1/2}x(t)+ \cos(\pi t/2). \end{aligned}$$
Next we show the applicability of Theorem 3.3 with the nonlinear function f given by with \(|x(t)| \le\varrho, t \in[0, 1]\) (ϱ is a real constant). In this case \(\mu(t)= \frac{6}{t+20}+\frac{3\varrho}{10 \sqrt{ \pi}}+\frac{1}{10}\), \(L=3/20\) and \(L L_{1} p \Delta_{1} \approx 0.6775\). Clearly all the conditions of Theorem 3.3 hold true. In consequence, the conclusion of Theorem 3.3 implies that the problem (4.1) with the given value of f has at least one solution on \([0, 1]\).
$$f\bigl(t,x(t),{}^{c}D^{3/4}x(t),I^{1/2}x(t)\bigr)= \frac{3}{t+20} \biggl( \sin \bigl(x(t)\bigr)+\frac{| {}^{c}D^{3/4}x(t)|}{1+|{}^{c}D^{3/4}x(t)|} \biggr) + \frac{3}{20}I^{1/2}x(t)+ \frac{1}{10}, $$
Finally, for the applicability of Theorem 3.5, we choose It is easy to see that \(|f(t,x(t),{}^{c}D^{3/4}x(t),I^{1/2}x(t))| \le(2/(40+t)) ( \Vert x\Vert _{X}+1 ) \). Then, by the condition (\(H_{4}\)), with \(\Omega(\Vert x\Vert _{X})=1+ \Vert x\Vert _{X}\) and \(\Vert \phi \Vert =1/20\), we find that \(M > M_{1}\approx0.898304\). As all the conditions of Theorem 3.5 are satisfied, so it follows by its conclusion that there exists at least one solution for the problem (4.1) with the chosen value of f.
$$f\bigl(t,x(t),{}^{c}D^{3/4}x(t),I^{1/2}x(t)\bigr)= \frac{1}{40+t} \biggl( x(t) \cos\bigl(x(t)\bigr)+{}^{c}D^{3/4}x(t)+ \frac{\sqrt{\pi}}{2}I^{1/2}x(t)+2 \biggr) . $$
5 Conclusions
We have discussed the existence and uniqueness of solutions for sequential fractional integro-differential equations involving the Caputo (Liouville-Caputo) derivative supplemented with nonlocal multi-point boundary conditions coupled with Riemann-Liouville type strip condition. Our results are not only new in the given configuration but also correspond to some new situations associated with the specific values of the parameters involved in the given problem. For example, our results correspond to the multi-point boundary conditions with classical nonlocal strip condition: \(\sum_{i=1}^{m}a_{i} x(\zeta_{i})=\lambda \int_{0}^{\eta} x(s)\,ds\) if we take \(\delta=1\) in (1.2). In the case we choose \(a_{i}=0\), \(i=1, \dots, (m-1)\), \(a_{m}=1\), and \(\zeta_{m} \to1\), our results correspond to the condition \(x(1)=\lambda\int _{0}^{\eta} \frac{(\eta-s)^{\delta-1}}{\Gamma(\delta)}x(s)\,ds\).
Declarations
Acknowledgements
We thank the reviewers for their useful remarks that led to the improvement of our work.
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.
Authors’ Affiliations
(1)
Nonlinear Analysis and Applied Mathematics (NAAM) - Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University
(2)
Department of Mathematics, University of Ioannina
(3)
Department of Mathematics, Texas A&M University
References
- Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier Science B.V., Amsterdam (2006) View ArticleMATHGoogle Scholar
- Magin, RL: Fractional Calculus in Bioengineering. Begell House Publishers Inc., US (2006) Google Scholar
- Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2012) Google Scholar
- Konjik, S, Oparnica, L, Zorica, D: Waves in viscoelastic media described by a linear fractional model. Integral Transforms Spec. Funct. 22, 283-291 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Balachandran, K, Divya, S, Rivero, M, Trujillo, JJ: Controllability of nonlinear implicit neutral fractional Volterra integrodifferential systems. J. Vib. Control 22, 2165-2172 (2016) MathSciNetView ArticleGoogle Scholar
- Ahmad, B, Agarwal, RP: Some new versions of fractional boundary value problems with slit-strips conditions. Bound. Value Probl. 2014, 175 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Li, Y, Qi, A: Positive solutions for multi-point boundary value problems of fractional differential equations with p-Laplacian. Math. Methods Appl. Sci. 39, 1425-1434 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Bai, ZB, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403-411 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, L, Wang, G, Ahmad, B, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013) MathSciNetView ArticleMATHGoogle Scholar
- O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Tariboon, J, Sitthiwirattham, T, Ntouyas, SK: Existence results for fractional differential inclusions with multi-point and fractional integral boundary conditions. J. Comput. Anal. Appl. 17, 343-360 (2014) MathSciNetMATHGoogle Scholar
- Ahmad, B, Nieto, JJ: A class of differential equations of fractional order with multi-point boundary conditions. Georgian Math. J. 21, 243-248 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Klimek, M: Sequential fractional differential equations with Hadamard derivative. Commun. Nonlinear Sci. Numer. Simul. 16, 4689-4697 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Bai, C: Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 384, 211-231 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley and Sons, New York (1993) MATHGoogle Scholar
- Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Ahmad, B, Ntouyas, SK: On higher-order sequential fractional differential inclusions with nonlocal three-point boundary conditions. Abstr. Appl. Anal. 2014, Article ID 659405 (2014) MathSciNetGoogle Scholar
- Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific Publishing Co. Pte. Ltd., Hackensack (2014) View ArticleMATHGoogle Scholar
- Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980) MATHGoogle Scholar
- Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar
Copyright
© Ahmad et al. 2016
