Skip to content


  • Research
  • Open Access

Existence results for sequential fractional integro-differential equations with nonlocal multi-point and strip conditions

  • 1Email author,
  • 1, 2,
  • 3 and
  • 1
Boundary Value Problems20162016:205

  • Received: 24 September 2016
  • Accepted: 8 November 2016
  • Published:


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.


  • sequential fractional derivative
  • multi-point
  • integral boundary conditions
  • existence
  • fixed point


  • 34A08
  • 34B15

1 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 [13] and a series of papers [414], 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
$$ \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, $$
subject to nonlocal multi-point and Riemann-Liouville type integral boundary conditions:
$$ \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} $$
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.

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
$$I^{\alpha} \varphi(t)= \frac{1}{\Gamma(\alpha)} \int_{0}^{t}\frac{ \varphi(s)}{(t-s)^{1-\alpha}}\,ds, \quad t>0, \alpha>0, $$
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\).

Definition 2.2

The Riemann-Liouville fractional derivative of order \(\alpha>0\), \(n-1< \alpha<n\), \(n\in \mathbb{N}\), is defined as
$$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, $$
where the function φ has absolutely continuous derivative up to order \((n-1)\).

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
$$ \bigl({}^{c}D^{q}+k {}^{c}D^{q-1} \bigr)x(t)=y(t), $$
subject to the boundary conditions (1.2) if and only if
$$\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}$$
$$ \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. $$


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. $$
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
$$ 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. $$
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
$$\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}$$
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. □

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
  1. (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 \).

  2. (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)}\).

  3. (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 \).



(i) Obviously
$$\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}$$
The proofs of (ii) and (iii) are similar. The proof is completed. □

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}$$

Observe that problem (1.1)-(1.2) has solutions if the operator defined by (3.1) has fixed points.

For computational convenience, we set
$$\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}$$
$$\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}$$
$$ \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)}, $$
and Δ is given by (2.3). Now the stage is set to present the uniqueness result.

Theorem 3.1

Let \(f : [0,1]\times\mathbb{R}^{3} \to\mathbb{R}\) be a continuous function satisfying the condition

\(|f(t,x,y,z)-f(t,x_{1},y_{1},z_{1})| \le L[\|x-x _{1}\|+\|y-y_{1}\|+\|z-z_{1}\|]\),

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).


Let us fix
$$ r\geq\frac{ M_{0} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} )}{ 1-LL_{1} (\Lambda+\frac{\Lambda_{1}}{\Gamma(2- \beta)} )}, $$
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
$$ B_{r}= \bigl\{ x\in X:\Vert x\Vert _{X}\leq r \bigr\} . $$
For \(x\in B_{r} \), using \((H_{1})\), we get
$$\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}$$
Then, for \(x \in X\), we have
$$\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}$$
which, on taking the norm for \(t\in[0,1]\), yields
$$\Vert Fx\Vert \le(LL_{1}r + M_{0})\Lambda. $$
Also we have
$$\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}$$
By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get
$$\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}$$
This shows that F maps \(B_{r}\) into itself. Now, for \(x, y \in X\) and for each \(t \in[0,1]\), we obtain
$$\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}$$
Also we have
$$\bigl\vert (Fx)'(t)-(Fy)'(t)\bigr\vert \leq LL_{1}\Lambda_{1} \Vert x-y\Vert _{X}, $$
which implies that
$$\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}$$
From the above inequalities, we have
$$\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}$$

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:

\(|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}^{+})\).

Then the boundary value problem (1.1)-(1.2) has at least one solution on \([0,1]\) if
$$ L L_{1} p \Delta_{1}< 1, $$
where p is given by (3.2), and \(L_{1}\), \(\Delta_{1}\) are defined by (3.4).


Letting \(\sup_{t \in[0,1]}|\mu(t)|=\Vert \mu \Vert \), we fix
$$ r \ge \biggl(\Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} \biggr)\Vert \mu \Vert , $$
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
$$\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}$$
For \(x, y \in\mathcal{B}_{r} \), using the notation (3.4), we have
$$\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}$$
which implies that
$$\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}$$
From the above inequalities, we get
$$\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
$$\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)}. $$
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
$$\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}$$
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. □

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
  1. (i)

    F has a fixed point in , or

  2. (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

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}\);

there exists a constant \(M>0\) such that
$$\frac{M}{ ( \Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} ) \Vert \phi \Vert L _{1}\Omega(M)} > 1, $$
where Λ, \(\Lambda_{1}\) and \(L_{1}\) are given by (3.3).
Then the boundary value problem (1.1)-(1.2) has at least one solution on \([0,1]\).


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
$$\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}$$
which, on taking the norm, for \(t\in[0,1]\) yields
$$\Vert Fx\Vert \le\Lambda \Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). $$
Also we have
$$\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}$$
By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get
$$\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}$$
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
$$\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}$$
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.

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
$$\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}$$
which, on taking the norm for \(t\in[0,1]\) yields
$$\Vert x\Vert \le\Lambda \Vert \phi \Vert L_{1}\Omega\bigl( \Vert x\Vert _{X}\bigr). $$
Also we have
$$\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}$$
By the definition of the Caputo fractional derivative with \(0<\beta <1\), we get
$$\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}$$
Consequently, we have
$$\frac{\Vert x\Vert _{X}}{ ( \Lambda+\frac{\Lambda_{1}}{\Gamma(2-\beta)} ) \Vert \phi \Vert L _{1}\Omega(\Vert x\Vert _{X})}\le1. $$
In view of (\(H_{4}\)), there exists M such that \(\Vert x\Vert \ne M\). Let us set
$$U = \bigl\{ x \in C\bigl([0,1], \mathbb{R}\bigr):\Vert x\Vert < M\bigr\} . $$
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. □

4 Examples

Consider the following nonlocal multi-point boundary value problem of the Caputo type sequential fractional integro-differential equations:
$$ \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} $$
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
$$\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}$$
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]\).
Next we show the applicability of Theorem 3.3 with the nonlinear function f given by
$$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}, $$
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]\).
Finally, for the applicability of Theorem 3.5, we choose
$$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) . $$
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.

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\).



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 (, 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

Nonlinear Analysis and Applied Mathematics (NAAM) - Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia
Department of Mathematics, University of Ioannina, Ioannina, 451 10, Greece
Department of Mathematics, Texas A&M University, Kingsville, TX 78363-8202, USA


  1. 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
  2. Magin, RL: Fractional Calculus in Bioengineering. Begell House Publishers Inc., US (2006) Google Scholar
  3. Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2012) Google Scholar
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013) MathSciNetView ArticleMATHGoogle Scholar
  13. 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
  14. 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
  15. Klimek, M: Sequential fractional differential equations with Hadamard derivative. Commun. Nonlinear Sci. Numer. Simul. 16, 4689-4697 (2011) MathSciNetView ArticleMATHGoogle Scholar
  16. 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
  17. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley and Sons, New York (1993) MATHGoogle Scholar
  18. 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
  19. 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
  20. Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific Publishing Co. Pte. Ltd., Hackensack (2014) View ArticleMATHGoogle Scholar
  21. Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980) MATHGoogle Scholar
  22. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar


© Ahmad et al. 2016