• Research
• Open Access

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

Boundary Value Problems20162016:205

https://doi.org/10.1186/s13661-016-0713-5

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

## 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 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  and a series of papers , 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 . In , the authors studied different kinds of boundary value problems involving sequential fractional differential equations. In a recent article , 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,$$
(1.1)
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}
(1.2)
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  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),$$
(2.1)
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}
(2.2)
where
$$\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 , 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
$$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)
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$$.

### Proof

(i) Obviously
$$\int_{0}^{\tau}\frac{(\tau-\omega)^{q-2}}{\Gamma(q-1)}\,d\omega= \frac{ \tau^{q-1}}{\Gamma(q)}$$
and
$$\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).$$
Hence,
\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}
(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
\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)
where
$$\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)
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
$$(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}\|]$$,

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

### Proof

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

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,$$
(3.7)
where p is given by (3.2), and $$L_{1}$$, $$\Delta_{1}$$ are defined by (3.4).

### Proof

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 ,$$
(3.8)
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}
Also
\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}
and
$$\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}
and
\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 ) 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
($$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 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]$$.

### 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
\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}
Hence
\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
\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}
Also
\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}
Hence
\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)
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}$$
(4.1)
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$$.

## Declarations

### Acknowledgements

We thank the reviewers for their useful remarks that led to the improvement of our work.

## Authors’ Affiliations

(1)
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
(2)
Department of Mathematics, University of Ioannina, Ioannina, 451 10, Greece
(3)
Department of Mathematics, Texas A&M University, Kingsville, TX 78363-8202, USA

## References 