Existence theory for fractional differential equations with non-separated type nonlocal multi-point and multi-strip boundary conditions

Abstract

We introduce a more general class of fractional-order boundary value problems involving non-separated type multi-point and multi-strip boundary conditions. Several existence and uniqueness results for the given problem are established by applying the tools of fixed-point theory. Some illustrative examples are also included. The boundary conditions introduced in this work are of quite general nature and reduce to many special cases by fixing the parameters involved in the conditions.

1 Introduction

In the last few decades, fractional-order differential equations equipped with a variety of boundary conditions have been studied. The literature on the topic includes the existence and uniqueness results related to classical, periodic/anti-periodic, nonlocal, multi-point, and integral boundary conditions, for instance, see [1–18].

In this paper, motivated by the aforementioned works, we consider a more general class of boundary value problems of Caputo type fractional differential equations and non-separated type multi-point and multi-strip boundary conditions. Precisely, we investigate the existence and uniqueness of solutions for the following fractional differential equation:

$$ ^{c}D^{q}x(t)=f\bigl(t,x(t),^{c}D^{\beta}x(t) \bigr),\quad 0< \beta< 1, 1< q\leq2, t\in[0,1], $$

(1.1)

supplemented with the boundary conditions of the form:

$$ \textstyle\begin{cases} a x(0)+ bx(1) =\sum_{i=1}^{m-2}\alpha_{i} x(\sigma_{i})+\sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{i}}x(s)\,ds, \\ c x'(0)+ d x'(1) =\sum_{i=1}^{m-2}\delta_{i} x'(\sigma_{i})+\sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}}x'(s)\,ds,\\ 0 < \sigma_{1}< \sigma_{2}< \cdots < \sigma_{m-2}< \cdots< \xi_{1} < \eta_{1} < \xi_{2} < \eta_{2}< \cdots< \xi_{p-2} < \eta_{p-2} < 1, \end{cases} $$

(1.2)

where ${}^{c}D^{q}$, ${}^{c}D^{\beta}$ denote the Caputo fractional derivatives of order q and β, respectively, f is a given continuous function, $a, b, c, d$ are real constants, and $\alpha_{i}, \delta_{i}\ (i=1,2,\ldots,m-2), r_{j}, \gamma_{j}\ (j=1,2,\ldots ,p-2)$ are positive real constants.

Here we remark that the boundary conditions (1.2) can be interpreted in the sense that the linear combinations of values of the unknown function and its derivative at the end points of the interval under consideration are proportional to the sum of their respective multi-point and multi-strip values. It is imperative to mention that nonlocal boundary conditions play a key role in formulating physical, chemical, or other processes involving some peculiarities occurring inside the domain, for instance, see [19]; while the integral boundary conditions find useful applications in the computational fluid dynamics (CFD) studies of blood flow [20] and regularization of ill-posed parabolic backward problems in time partial differential equations (e.g., mathematical models for bacterial self-regularization [21]).

The rest of the paper is organized as follows. We recall some basic concepts of fractional calculus and introduce the integral operator associated with the given problem in Sect. 2. Existence results, which rely on Schauder’s fixed point theorem, nonlinear alternative for single valued maps, and Krasnoselskii’s fixed point theorem, are presented in Sect. 3. In Sect. 4, we obtain the uniqueness results by means of Boyd and Wong’s fixed point theorem and Banach’s fixed point theorem together with Hölder’s inequality. Examples illustrating the obtained results are presented in Sect. 5, and the paper concludes with some interesting observations in Sect. 6.

2 Preliminaries

First of all, we recall some basic definitions [22]. For $\alpha >0$, $[\alpha]$ denotes the integer part of the real number α.

Definition 2.1

The Riemann–Liouville fractional integral of order $\alpha >0$ for a locally integrable real-valued function f on $0 \le t < b < \infty$ is defined as

$$ I^{\alpha}y(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}y(s)\,ds. $$

Definition 2.2

Let $f\in L^{1}[a,b]$, $-\infty\leq a< t< b\leq+\infty$ and $f*K_{n-\alpha}\in W^{n,1}[a,b]$, $n=[\alpha]+1$, $\alpha>0$, where $W^{n,1}[a,b]$ is the Sobolev space defined as

$$W^{n,1}[a,b]=\biggl\{ f\in L^{1}[a,b]:\frac{d^{n}}{dt^{n}}\, f\in L^{1}[a,b]\biggr\} . $$

The Riemann–Liouville fractional derivative $D_{a} ^{\alpha}$ of order $\alpha>0$ ($n-1<\alpha<n$, $n\in \mathbb{N}$) is defined as

$$D_{a} ^{\alpha}f ( t ) = \frac{{d^{n} }}{{dt^{n} }}I_{a} ^{1 - \alpha } f ( t )= \frac{1}{{\Gamma ( n-\alpha )}}\frac{d^{n}}{dt^{n}}\int_{a}^{t} {({t - s} )^{n-1-\alpha} f( s )}\, ds. $$

Definition 2.3

If $f\in C^{n}[a,b]$, then the Caputo fractional derivative ${}^{c}{D}_{a}^{\alpha}$ of order $\alpha\in\mathbb {R}$ ($n-1<\alpha<n$, $n\in \mathbb{N}$) is defined as

$${}^{c}{D}_{a}^{\alpha}f( t) = I_{a} ^{1 - \alpha } f^{(n)}( t )=\frac{1}{{\Gamma \left( n-\alpha \right)}}\int_{a}^{t} {\left({t - s} \right)^{n-1-\alpha} f^{(n)}\left( s \right)}\, ds. $$

In passing we remark that the Caputo fractional derivative ${}^{c}{D}_{a}^{\alpha}$ with $a=0$ is denoted by ${}^{c}{D}^{\alpha}$.

Remark 2.4

(see [22, 23])

(i) If $\alpha> 0, \beta> 0, f\in L (0, 1)$, then

$$I^{\alpha}I^{\beta} f(t) = I^{\alpha +\beta}f(t),\qquad D^{\alpha}I^{\alpha} f(t) = f(t),\qquad D^{\alpha} I^{\beta} f(t)=I^{\beta-\alpha} f(t). $$

(ii) $I^{\alpha}D^{\alpha} f(t) = f(t)$, $0< \alpha< 1$, $f \in C([0, 1])$, and $D^{\alpha}f \in C(0, 1)\cap L (0, 1)$.

Next, we present an auxiliary lemma which plays a key role in the sequel.

Lemma 2.5

For $g \in C[0,1]$, the solution of the linear fractional differential equation

$$ ^{c}D^{q}x(t)=g(t),\quad 1< q\leq2, t\in[0,1], $$

(2.1)

subject to the boundary conditions (1.2) is equivalent to the fractional integral equation

$$\begin{aligned} x(t) ={}& \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}g(s)\,ds+ \frac{(\Delta_{2} t-\Delta_{3})}{\Delta_{1} \Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}g(s)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}g(u)\,du \biggr)\,ds-d \int_{0}^{1}\frac {(1-s)^{q-2}}{\Gamma(q-1)}g(s)\,ds \Biggr] \\ &{}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \alpha_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}g(s)\,ds \\ &{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}g(u)\,du \biggr)\,ds-b \int_{0}^{1}\frac {(1-s)^{q-1}}{\Gamma(q)}g(s)\,ds \Biggr], \end{aligned}$$

(2.2)

where

$$\begin{aligned} & \Delta_{1} = c+d-\mu_{1} \ne0,\qquad \Delta_{2} = a+b-\mu_{2} \ne0,\qquad \Delta_{3} = b- \mu_{3}, \end{aligned}$$

(2.3)

$$\begin{aligned} & \mu_{1}=\sum_{i=1}^{m-2} \delta_{i}-\sum_{j=1}^{p-2} \gamma_{j} (\eta_{j}-\xi_{j}),\qquad \mu_{2}= \sum_{i=1}^{m-2}\alpha_{i}-\sum _{j=1}^{p-2} r_{j} ( \eta_{j}-\xi _{j}), \end{aligned}$$

(2.4)

$$\begin{aligned} & \mu_{3}=\sum_{i=1}^{m-2} \alpha_{i} \sigma_{i}-\sum_{j=1}^{p-2} r_{j} \frac {(\eta_{j}^{2}-\xi_{j}^{2})}{2}. \end{aligned}$$

(2.5)

Proof

It is well known [22] that the solution of fractional differential equation (2.1) can be written as

$$ x(t)= \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma (q)}g(s)\,ds+b_{0}+b_{1}t, $$

(2.6)

where $b_{0}, b_{1} \in\mathbb{R}$ are arbitrary constants. Using the boundary conditions (1.2) together with (2.6), we find that

$$\begin{aligned} b_{1} ={}& \frac{1}{\Delta_{1}} \Biggl[\sum _{i=1}^{m-2}\delta_{i} \int _{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma(q-1)}g(s)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}g(u)\,du \biggr)\,ds-d \int_{0}^{1}\frac {(1-s)^{q-2}}{\Gamma(q-1)}g(s)\,ds \Biggr], \end{aligned}$$

(2.7)

$$\begin{aligned} b_{0} ={}& {-}\frac{\Delta_{3}}{\Delta_{2}}b_{1}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2}\alpha_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma (q)}g(s)\,ds \\ &{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}g(u)\,du \biggr)\,ds-b \int_{0}^{1}\frac {(1-s)^{q-1}}{\Gamma(q)}g(s)\,ds \Biggr], \end{aligned}$$

(2.8)

where $\Delta_{k} (k=1, 2, 3)$ are given by (2.3). Substituting the values given by (2.7) and (2.8) in (2.6), we obtain (2.2). The converse follows by direct computation. This completes the proof. □

In the forthcoming analysis, we define the space

$$X = \bigl\{ x|x\in C\bigl([0,1],{\mathbb {R}}\bigr) \mbox{ and } {}^{c}D^{\beta}x \in C\bigl([0,1],{\mathbb {R}}\bigr) \bigr\} , $$

equipped with the norm

$$\Vert x \Vert _{X}=\sup_{t\in[0,1]} \bigl\vert x(t) \bigr\vert +\sup_{t\in [0,1]} \bigl\vert {}^{c}D^{\beta}x(t) \bigr\vert , $$

where ${}^{c} D^{\beta}$ denotes the standard Caputo fractional derivative of order $0 < \beta\le1$. As shown in [24], $(X, \Vert \cdot \Vert _{X})$ is a Banach space.

Introduce an operator $F:X\to X$ as follows:

$$\begin{aligned} F(x) (t) ={}& \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \\ &{}+ \frac{(\Delta_{2} t-\Delta_{3})}{\Delta_{1} \Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \Biggr] \\ &{}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \alpha_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-b \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \Biggr], \end{aligned}$$

(2.9)

and observe that problem (1.1)–(1.2) has solutions if and only if operator (2.9) has fixed points. Furthermore, using the value of $F'(x)$ given by

$$\begin{aligned} F'(x) (t) ={}& \int_{0}^{t}\frac{(t-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \\ &{}+ \frac{1}{\Delta_{1}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \Biggr] \end{aligned}$$

(2.10)

in Definition (2.3), we get

$$\begin{aligned} {}^{c}D^{\beta}(Fx) (t)={}& \int_{0}^{t}\frac{(t-s)^{-\beta}}{\Gamma(1-\beta )}F'(x) (s)\,ds \\ ={}& \int_{0}^{t}\frac{(t-s)^{q-\beta-1}}{\Gamma(q-\beta)} f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \\ &{}+ \frac{1}{\Delta_{1}}\frac{t^{1-\beta}}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2}\delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \Biggr]. \end{aligned}$$

(2.11)

For convenience, we set the notations:

$$\begin{aligned} & \Omega=\frac{1}{\Gamma(q+1)}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert \frac{\sigma_{i}^{q-1}}{\Gamma(q)} + \sum _{j=1}^{p-2}\frac{ \vert \gamma_{j} \vert }{\Gamma(q+1)} \bigl\vert \eta_{j}^{q}-\xi _{j}^{q} \bigr\vert + \frac{ \vert d \vert }{\Gamma(q)} \Biggr] \\ &\phantom{\Omega=}{}+ \frac{1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \frac{\sigma _{i}^{q}}{\Gamma(q+1)}+ \sum _{j=1}^{p-2}\frac{ \vert r_{j} \vert }{\Gamma(q+2)} \bigl\vert \eta _{j}^{q+1}-\xi_{j}^{q+1} \bigr\vert + \frac{ \vert b \vert }{ \Gamma(q+1)} \Biggr], \end{aligned}$$

(2.12)

$$\begin{aligned} &\Omega_{1}=\frac{1}{\Gamma(q-\beta+1)} \\ &\phantom{\Omega_{1}=}{}+ \frac{1}{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \frac{\sigma_{i}^{q-1}}{\Gamma(q)} + \sum_{j=1}^{p-2} \frac{ \vert \gamma_{j} \vert }{\Gamma(q+1)} \bigl\vert \eta_{j}^{q}-\xi _{j}^{q} \bigr\vert +\frac{ \vert d \vert }{\Gamma(q)} \Biggr], \end{aligned}$$

(2.13)

$$\begin{aligned} & Z_{1}= \frac{1}{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} + \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \frac{1}{\Gamma(q-1)} \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \\ &\phantom{Z_{1}=}{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma}-\xi^{q-\gamma }}{q-\gamma}+ \vert d \vert \Biggr]+ \frac{1}{ \vert \Delta_{2} \vert } \frac{1}{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \\ &\phantom{Z_{1}=}{}+\sum_{j=1}^{p-2} \vert r_{j} \vert \frac{\eta^{q-\gamma+1}-\xi^{q-\gamma +1}}{q-\gamma+1}+ \vert b \vert \Biggr], \quad\gamma\in(0,q-1) \end{aligned}$$

(2.14)

and

$$\begin{aligned} Z_{2}={}&\frac{1}{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta-\gamma } \biggr)^{1-\gamma} +\frac{1}{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \biggl( \frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \\ &{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma}-\xi^{q-\gamma }}{q-\gamma}+ \vert d \vert \Biggr]. \end{aligned}$$

(2.15)

3 Existence results

This section is devoted to the existence results for problem (1.1)–(1.2). Our first existence result is based on Schauder’s fixed point theorem.

Lemma 3.1

(Schauder’s fixed point theorem [25])

Let U be a closed, convex, and nonempty subset of a Banach space X. Let $P: U\to U$ be a continuous mapping such that $P(U)$ is a relatively compact subset of X. Then P has at least one fixed point in U.

Theorem 3.2

Assume that $f : [0,1]\times\mathbb{R} \times\mathbb{R}\to \mathbb{R}$ is a continuous function satisfying the assumption:

${(A_{1})}$ :

$\vert f(t,x, y) \vert \le m (t)+d_{1} \vert x \vert ^{\rho_{1}}+d_{2} \vert y \vert ^{\rho _{2}}$, $\forall(t,x, y) \in[0,1] \times\mathbb{R}\times\mathbb{R}$, and $m \in L^{\frac{1}{\gamma }}([0,1], {\mathbb {R}}^{+})$, $\gamma\in(0,q-1), d_{i}\ge0, 0\le\rho_{i}<1, i=1,2$.

Then the boundary value problem (1.1)–(1.2) has at least one solution on $[0,1]$.

Proof

Denote $\Vert m \Vert = (\int_{0}^{1} \vert m(s) \vert ^{\frac{1}{\gamma }}\,ds )^{\gamma}$. Let $B_{r}=\{x\in X: \Vert x \Vert _{X}\le r\}$ with $r>0$ to be specified later. It is clear that $B_{r}$ is a closed, bounded, and convex subset of the Banach space X.

We will show that there exists $r > 0$ such that the operator F maps $B_{r}$ into $B_{r}$. For $x\in B_{r}$, we have

$$\begin{aligned} & \bigl\vert (Fx) (t) \bigr\vert \\ &\quad\le \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma _{i}-s)^{q-2}}{\Gamma(q-1)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta }x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}\bigl[m (u)+d_{1} \bigl\vert x(u) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta }x(u) \bigr\vert ^{\rho_{2}}\bigr]\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho _{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \int _{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho _{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}\bigl[m (u)+d_{1} \bigl\vert x(u) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta }x(u) \bigr\vert ^{\rho_{2}}\bigr] \biggr)\,ds \\ &\qquad{}+ \vert b \vert \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho _{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \Biggr] \\ &\quad \le \frac{ \Vert m \Vert }{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} + \frac{d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}}}{\Gamma(q+1)}\\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert } \frac{ \Vert m \Vert }{\Gamma(q-1)} \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \\ &\qquad{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \frac{\eta^{q-\gamma}-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggr] \\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert } \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \sigma_{i}^{q-1} + \sum_{j=1}^{p-2} \frac{ \vert \gamma_{j} \vert }{q} \bigl\vert \eta_{j}^{q}- \xi_{j}^{q} \bigr\vert + \vert d \vert \Biggr] \frac{d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}}}{\Gamma(q)} \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \frac{ \Vert m \Vert }{\Gamma(q)} \Biggl[\sum _{i=1}^{m-2} \vert \alpha_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }+ \sum _{j=1}^{p-2} \vert r_{j} \vert \biggl( \frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }\frac{\eta^{q-\gamma+1}-\xi^{q-\gamma+1}}{q-\gamma+1} \\ &\qquad{}+ \vert b \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} \Biggr]\\ &\qquad{}+ \frac {1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \sigma_{i}^{q}+ \sum _{j=1}^{p-2}\frac{ \vert r_{j} \vert }{q+1} \bigl\vert \eta_{j}^{q+1}-\xi_{j}^{q+1} \bigr\vert + \vert b \vert \Biggr]\frac {d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}}}{\Gamma(q+1)} \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert \bigl({}^{c}D^{\beta}Fx\bigr) (t) \bigr\vert \\ &\quad\le \int_{0}^{t}\frac{(t-s)^{q-\beta-1}}{\Gamma(q-\beta)} \bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \\ &\qquad{}+ \frac{1}{ \vert \Delta_{1} \vert }\frac{t^{1-\beta}}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}\bigl[m (u)+d_{1} \bigl\vert x(u) \bigr\vert ^{\rho_{1}}+d_{2} \bigl\vert {}^{c}D^{\beta }x(u) \bigr\vert ^{\rho_{2}}\bigr]\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}\bigl[m (s)+d_{1} \bigl\vert x(s) \bigr\vert ^{\rho _{1}}+d_{2} \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert ^{\rho_{2}}\bigr]\,ds \Biggr] \\ &\quad\le \frac{ \Vert m \Vert }{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta-\gamma } \biggr)^{1-\gamma} + \frac{d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}}}{\Gamma(q-\beta +1)} \\ & \qquad{}+\frac{ \Vert m \Vert }{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \biggl(\frac {1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert +\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma}-\xi^{q-\gamma }}{q-\gamma}+ \vert d \vert \Biggr] \\ &\qquad{}+\frac{1}{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert +\sum _{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma }-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \Biggr]\frac{d_{1}r^{\rho_{1}}+d_{2}r^{\rho _{2}}}{\Gamma(q-\beta+1)}. \end{aligned}$$

From the above inequalities, we obtain

$$\Vert Fx \Vert _{X}\le L+M\bigl[d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}} \bigr], $$

where

$$\begin{aligned} L={}&\frac{ \Vert m \Vert }{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} + \max _{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert }\frac{ \Vert m \Vert }{\Gamma(q-1)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \\ &{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \frac{\eta^{q-\gamma}-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggr] \\ &{}+ \frac{1}{ \vert \Delta_{2} \vert } \frac{ \Vert m \Vert }{\Gamma(q)} \Biggl[\sum _{i=1}^{m-2} \vert \alpha_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }+ \sum _{j=1}^{p-2} \vert r_{j} \vert \biggl( \frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }\frac{\eta^{q-\gamma+1}-\xi^{q-\gamma+1}}{q-\gamma+1} \\ &{}+ \vert b \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} \Biggr]+ \frac{ \Vert m \Vert }{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta-\gamma} \biggr)^{1-\gamma} \\ &{} +\frac{ \Vert m \Vert }{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \biggl(\frac {1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert +\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma}-\xi^{q-\gamma }}{q-\gamma}+ \vert d \vert \Biggr] \end{aligned}$$

and

$$\begin{aligned} M={}&\frac{1}{\Gamma(q+1)}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta _{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \Biggl[ \sum_{i=1}^{m-2} \vert \delta_{i} \vert \sigma_{i}^{q-1} + \sum_{j=1}^{p-2} \frac{ \vert \gamma_{j} \vert }{q} \bigl\vert \eta_{j}^{q}- \xi_{j}^{q} \bigr\vert + \vert d \vert \Biggr] \frac{1}{\Gamma(q)} \\ &{}+ \frac{1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \sigma_{i}^{q}+ \sum _{j=1}^{p-2}\frac{ \vert r_{j} \vert }{q+1} \bigl\vert \eta_{j}^{q+1}-\xi_{j}^{q+1} \bigr\vert + \vert b \vert \Biggr]\frac{1}{\Gamma(q+1)}+\frac{1}{\Gamma(q-\beta+1)} \\ &{}+\frac{1}{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert +\sum _{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma }-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \Biggr]\frac{1}{\Gamma(q-\beta+1)}. \end{aligned}$$

Let r be a positive number such that

$$r\ge\max\bigl\{ 3L, (3Md_{1})^{\frac{1}{1-\rho_{1}}}, (3Md_{2})^{\frac{1}{1-\rho _{2}}} \bigr\} . $$

Then, for any $x\in B_{r}$, it follows that

$$\Vert Fx \Vert _{X}\le L+M\bigl[d_{1}r^{\rho_{1}}+d_{2}r^{\rho_{2}} \bigr]\le\frac{r}{3}+\frac {r}{3}+\frac{r}{3}=r. $$

In view of the continuity of f, it is easy to verify that F is continuous.

Next, for every bounded subset B̄ of X, we show that the families $F(\bar{B})$ and ${}^{c}D^{\beta} F(\bar{B})$ are equicontinuous, where B̄ is any bounded subset of X. Since f is continuous, we can assume that $\vert f(t,x(t), {}^{c}D^{\beta}x(t)) \vert \le N$ for any $x\in\bar{B}$ and $t\in [0,1]$.

Now, for $0\le t_{1}< t_{2}\le1$, we have

$$\begin{aligned} &\bigl\vert (Fx) (t_{2})-(Fx) (t_{1}) \bigr\vert \\ &\quad\le \biggl\vert \frac{1}{\Gamma(\alpha)} \int _{0}^{t_{1}}\bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr]f\bigl(s,x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds\\ &\qquad{}+ \frac{1}{\Gamma(\alpha)} \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha -1}f \bigl(s,x(s),{}^{c}D^{\beta}x(t)\bigr)\,ds \biggr\vert \\ &\qquad{}+ \frac{ \vert t_{2}-t_{1} \vert }{ \vert \Delta_{1} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert \int _{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \Biggr] \\ &\quad\le \frac{N}{\Gamma(\alpha+1)} \bigl\vert 2(t_{2}-t_{1})^{\alpha}+t_{1}^{\alpha}-t_{2}^{\alpha}\bigr\vert \\ &\qquad{}+ \frac{N \vert t_{2}-t_{1} \vert }{ \vert \Delta_{1} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert \frac {\sigma_{i}^{q-1}}{\Gamma(q)} + \sum _{j=1}^{p-2}\frac{ \vert \gamma_{j} \vert }{\Gamma(q+1)} \bigl\vert \eta_{j}^{q}-\xi _{j}^{q} \bigr\vert + \frac{ \vert d \vert }{\Gamma(q)} \Biggr] \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert \bigl({}^{c}D^{\beta}Fx\bigr) (t_{2})- \bigl({}^{c}D^{\beta}Fx\bigr) (t_{1}) \bigr\vert \\ &\quad\le\frac{N}{\Gamma(q-\beta+1)} \bigl\vert 2(t_{2}-t_{1})^{q-\beta}+t_{1}^{q-\beta }-t_{2}^{q-\beta} \bigr\vert \\ &\qquad{}+ \frac{N}{ \vert \Delta_{1} \vert }\frac{ \vert t_{2}^{1-\beta}-t_{1}^{1-\beta} \vert }{\Gamma(2-\beta )} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \frac{\sigma_{i}^{q-1}}{\Gamma(q)} + \sum_{j=1}^{p-2} \frac{ \vert \gamma_{j} \vert }{\Gamma(q+1)} \bigl\vert \eta_{j}^{q}-\xi _{j}^{q} \bigr\vert +\frac{ \vert d \vert }{\Gamma(q)} \Biggr]. \end{aligned}$$

In consequence, we obtain

$$\sup_{x\in \bar{B}} \bigl\vert (Fx) (t_{2})-(Fx) (t_{1}) \bigr\vert +\sup_{x\in\bar{B}} \bigl\vert \bigl({}^{c}D^{\beta}Fx\bigr) (t_{2})-\bigl({}^{c}D^{\beta}Fx\bigr) (t_{1}) \bigr\vert \to 0 \quad\mbox{as } t_{2}\to t_{1}, $$

independent of $x\in\bar{B}$. Therefore the operator $F: B_{r}\to B_{r}$ is equicontinuous and uniformly bounded. Hence, by the Arzelá–Ascoli theorem, it follows that $F(B_{r})$ is relatively compact in X. Therefore, the conclusion of Theorem 3.1 applies, and consequently problem (1.1)–(1.2) has at least one solution on $[0, 1]$. The proof is completed. □

Corollary 3.3

Let $f : [0,1]\times\mathbb{R} \times \mathbb{R}\to \mathbb{R}$ be a continuous function such that $\vert f(t,x, y) \vert \le\nu (t),\forall(t,x, y) \in[0,1] \times\mathbb{R}\times\mathbb{R}$, where $\nu\in C([0,1], {\mathbb {R}}^{+})$. Then the boundary value problem (1.1)–(1.2) has at least one solution on $[0,1]$.

For $\rho_{1}= \rho_{2}= 1$, Theorem 3.2 takes the following form.

Corollary 3.4

Assume that $f : [0,1]\times\mathbb{R} \times\mathbb{R}\to \mathbb{R}$ is a continuous function satisfying the assumption: $\vert f(t,x, y) \vert \le\nu(t)+d_{1} \vert x \vert +d_{2} \vert y \vert , \forall(t,x, y) \in[0,1] \times\mathbb{R}\times\mathbb{R}$, and $\nu\in L^{\frac{1}{\gamma }}([0,1], {\mathbb {R}}^{+})$, $\gamma\in(0,q-1), d_{i}\ge0, i=1,2$. Then problem (1.1)–(1.2) has at least one solution on $[0,1]$.

In our next result, we make use of Leray–Schauder’s nonlinear alternative to prove the existence of solutions for problem (1.1)–(1.2).

Theorem 3.5

(Nonlinear alternative for single-valued maps [25]). Let ${\mathcal {E}}_{1}$ be a closed, convex subset of the Banach space ${\mathcal {E}}$ and ${\mathcal {U}}$ be an open subset of ${\mathcal {E}}_{1}$ with $0\in{ \mathcal {U}}$. Suppose that ${\mathcal {F}}:\overline{{\mathcal {U}}}\to{ \mathcal {E}}_{1}$ is a continuous, compact map, that is, ${\mathcal {F}}(\overline{{\mathcal {E}}}_{1})$ is a relatively compact subset of ${\mathcal {E}}_{1}$. Then either ${\mathcal {F}}$ has a fixed point in $\overline{{\mathcal {E}}}_{1}$ or there are $u\in\partial{ \mathcal {U}}$ (the boundary of ${\mathcal {U}}$ in ${\mathcal {E}}_{1}$) and $\lambda\in(0,1)$ such that $u=\lambda{ \mathcal {F}}(u)$.

Theorem 3.6

Let $f: [0,1]\times{\mathbb {R}}\times{\mathbb {R}} \to {\mathbb {R}}$ be a continuous function. Assume that:

${(A_{2})}$ :

There exist a function $m\in L^{\frac{1}{\gamma }}([0,1], {\mathbb {R}}^{+})$, $\gamma\in(0,q-1)$, and $\psi_{i}: {\mathbb {R}}^{+}\to{ \mathbb{R}}^{+}, i=1,2$, is nondecreasing such that $\vert f(t,x,y) \vert \le m(t)(\psi_{1}( \vert x \vert )+\psi_{2}( \vert y \vert )), \forall(t,x,y) \in[0,1] \times {\mathbb {R}}\times{\mathbb {R}}$;

${(A_{3})}$ :

There exists a constant $M>0$ such that

$$\frac{M}{[\psi_{1}(M)+\psi_{2}(M)] \Vert m \Vert (Z_{1}+Z_{2})} >1, $$

where $\Vert m \Vert = (\int_{0}^{1} \vert m(s) \vert ^{\frac{1}{\gamma}}\,ds )^{\gamma}$ and $Z_{1}, Z_{2}$ are defined by (2.14) and (2.15), respectively. Then problem (1.1)–(1.2) has at least one solution on $[0,1]$.

Proof

Firstly, we show that the operator $F: X \to X$ defined by (2.9) maps bounded sets into bounded sets in the space X. Let $B_{r}=\{x\in X : \Vert x \Vert _{X}\le r\}, r>0$. For any $x\in B_{r}$, we have

$$\begin{aligned} & \bigl\vert (Fx) (t) \bigr\vert \\ &\quad\le \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi _{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma _{i}-s)^{q-2}}{\Gamma(q-1)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}m(u)\bigl[ \psi_{1}\bigl( \bigl\vert x(u) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta }x(u) \bigr\vert \bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi _{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \int _{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}m(s)\bigl[\psi _{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert r_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}m(u)\bigl[ \psi_{1}\bigl( \bigl\vert x(u) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(u) \bigr\vert \bigr)\bigr] \biggr)\,ds \\ &\qquad{}+ \vert b \vert \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi _{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \Biggr] \\ &\quad\le\Biggl\{ \frac{ \Vert m \Vert }{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma } \biggr)^{1-\gamma} + \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert }\frac{ \Vert m \Vert }{\Gamma(q-1)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \\ &\qquad{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \frac{\eta^{q-\gamma}-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \frac{ \Vert m \Vert }{\Gamma(q)} \Biggl[\sum _{i=1}^{m-2} \vert \alpha_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }+ \sum _{j=1}^{p-2} \vert r_{j} \vert \biggl( \frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }\frac{\eta^{q-\gamma+1}-\xi^{q-\gamma+1}}{q-\gamma+1} \\ &\qquad{}+ \vert b \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} \Biggr] \Biggr\} \bigl[\psi_{1}(r)+\psi_{2}(r)\bigr] \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert \bigl({}^{c}D^{\beta}Fx\bigr) (t) \bigr\vert \\ &\quad\le \int_{0}^{t}\frac{(t-s)^{q-\beta-1}}{\Gamma(q-\beta)} m(s)\bigl[\psi _{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \\ &\qquad{}+ \frac{1}{ \vert \Delta_{1} \vert }\frac{t^{1-\beta}}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}m(u)\bigl[ \psi_{1}\bigl( \bigl\vert x(u) \bigr\vert \bigr)+\psi_{2} \bigl( \bigl\vert {}^{c}D^{\beta }x(u) \bigr\vert \bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}m(s)\bigl[ \psi_{1}\bigl( \bigl\vert x(s) \bigr\vert \bigr)+\psi _{2} \bigl( \bigl\vert {}^{c}D^{\beta}x(s) \bigr\vert \bigr)\bigr]\,ds \Biggr] \\ &\quad\le \Biggl\{ \frac{ \Vert m \Vert }{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta -\gamma} \biggr)^{1-\gamma} +\frac{ \Vert m \Vert }{ \vert \Delta_{1} \vert }\frac{1}{\Gamma (2-\beta)} \\ &\qquad{}\times \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert +\sum _{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta^{q-\gamma }-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \Biggr] \Biggr\} \bigl[ \psi_{1}(r)+\psi_{2}(r)\bigr]. \end{aligned}$$

From the above inequalities, we find that

$$\Vert Fx \Vert _{X} \le\bigl[\psi_{1}(r)+ \psi_{2}(r)\bigr] \Vert m \Vert (Z_{1}+Z_{2}). $$

As established in the proof of Theorem 3.2, one can show that F is equicontinuous on bounded sets of X. Finally, for $\lambda\in(0,1)$, let $x=\lambda Fx$. Then it is easy to obtain that

$$\frac{ \Vert x \Vert _{X}}{[\psi_{1}( \Vert x \Vert _{X})+\psi_{2}( \Vert x \Vert _{X})] \Vert m \Vert (Z_{1}+Z_{2})}\le1. $$

In view of $(A_{3})$, there exists M such that $\Vert x \Vert \ne M$. Let us set

$$V = \bigl\{ x \in C\bigl([0,1], {\mathbb {R}}\bigr) : \Vert x \Vert _{X}< M \bigr\} . $$

Note that the operator $F:\overline{V} \to C([0,1], \mathbb{R})$ is continuous and completely continuous. From the choice of V, there is no $x \in\partial V$ such that $x =\lambda Fx$ for some $\lambda\in(0,1)$. Consequently, by the nonlinear alternative of Leray–Schauder type (Theorem 3.5), we deduce that F has a fixed point $x \in\overline{V}$, which is a solution of problem (1.1)–1.2). This completes the proof. □

Our last existence result is based on Krasnoselskii’s fixed point theorem.

Lemma 3.7

(Krasnoselskii’s fixed point theorem [26])

Let Y be a closed, bounded, convex, and nonempty subset of a Banach space X. Let $A, B$ be the operators such that (i) $Ay_{1}+By_{2}\in Y$ whenever $y_{1}, y_{2}\in Y$; (ii) A is compact and continuous; (iii) B is a contraction mapping. Then there exists $y_{3} \in Y$ such that $y_{3} = Ay_{3}+By_{3}$.

Theorem 3.8

Let $f:[0, 1]\times\mathbb{R}\times\mathbb{R}\to\mathbb{R}$ be a continuous function satisfying the following conditions:

$(A_{4})$ :

$\vert f(t,x_{1},y_{1})-f(t,x_{2},y_{2}) \vert \le m(t)( \vert x_{1}-x_{2} \vert + \vert y_{1}-y_{2} \vert )$ for $t\in[0,1]$, $x_{i},y_{i}\in{\mathbb {R}}, i=1,2$ and $\gamma\in(0,q-1)$ and the function $m : [0,1]\rightarrow{\mathbb {R}}^{+}$ is Lebesgue integrable with power $\frac{1}{\gamma}$, that is,

$$m \in L^{\frac{1}{\gamma}}\bigl([0,1], {\mathbb {R}}^{+}\bigr) \quad \textit{with } \Vert m \Vert = \biggl( \int_{0}^{1} \bigl\vert m(s) \bigr\vert ^{\frac{1}{\gamma}}\,ds \biggr)^{\gamma}. $$

${(A_{5})}$ :

$\vert f(t,x, y) \vert \le m (t), \forall(t,x, y) \in[0,1] \times\mathbb{R}\times\mathbb{R}$, and $m \in L^{\frac{1}{\gamma }}([0,1], {\mathbb {R}}^{+})$, $\gamma\in(0,q-1)$.

Then problem (1.1)–(1.2) has at least one solution on $[0,1]$ provided that

$$\begin{aligned} \Vert m \Vert \biggl(Z_{1}- \frac{1}{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} +Z_{2}- \frac{1}{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta -\gamma} \biggr)^{1-\gamma} \biggr)< 1, \end{aligned}$$

(3.1)

where $Z_{1}, Z_{2}$ are defined by (2.14) and (2.15), respectively.

Proof

Selecting $\rho>L$, we define $B_{\rho} = \{x \in\mathcal{C}: \Vert x \Vert _{X}\leq\rho\}$ and introduce the operators A and B on $B_{\rho}$ as follows:

$$\begin{aligned} A(x) (t) = \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \end{aligned}$$

and

$$\begin{aligned} B(x) (t) ={}&\frac{(\Delta_{2} t-\Delta_{3})}{\Delta_{1} \Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}f\bigl(s, x(s), {}^{c}D^{\beta }x(s)\bigr)\,ds \Biggr] \\ &{}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \alpha_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \\ &{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr)\,du \biggr)\,ds \\ &{}-b \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)\,ds \Biggr]. \end{aligned}$$

For any $x,y \in B_{\rho}$, as in the proof of Theorem 3.2, it can be shown that $\Vert Ax+Bx \Vert _{X}\le L<\rho$. This shows that $Ax+By \in B_{\rho}$. The operator A is completely continuous as in Theorem (3.2). Using assumption $(A_{5})$, as in the proof of Theorem 4.5, it can be shown that the operator B is a contraction with the aid of (3.1). Thus all the assumptions of Lemma 3.7 are satisfied. Hence the conclusion of Lemma 3.7 implies that problem (1.1)–(1.2) has at least one solution on $[0,1]$. □

4 Uniqueness results

In this section we discuss the uniqueness of solutions for problem (1.1)–(1.2) by using a variety of fixed point theorems.

Our first result relies on Boyd and Wong’s fixed point theorem. For a quick reference, we recall it here.

Definition 4.1

Let E be a real Banach space. A nonempty closed set $P \subset E$ is said to be a cone provided that (i) $au +bv \in P$ for all $u,v\in P$ and all $a, b \geq0$, and (ii) $u, -u \in P$ implies that $u=0$.

Definition 4.2

A mapping F acting in a Banach space E is said to be a nonlinear contraction if there exists a continuous nondecreasing function $\Psi: {\mathbb {R}}^{+}\to{\mathbb {R}}^{+}$ (${\mathbb {R}}^{+}$ denotes the set of nonnegative real numbers) such that $\Psi(0)=0$, $\Psi(\xi)<\xi$ for all $\xi>0$ and that $\Vert Fx-Fy \Vert \le\Psi( \Vert x-y \Vert ), \forall x,y\in E$.

Lemma 4.3

(Boyd and Wong) [27]. Let E be a Banach space, and let $F: E\to E$ be a nonlinear contraction. Then F has a unique fixed point in E.

Theorem 4.4

Assume that $f: [0,1]\times{\mathbb {R}}\times{\mathbb {R}}\to {\mathbb {R}}$ is a continuous function satisfying the condition

$$\begin{aligned} \bigl\vert f(t,x_{1}, y_{1})-f(t,x_{2}, y_{2}) \bigr\vert \le{}& h_{1}(t)\frac { \vert x_{1}-x_{2} \vert }{H^{*}+ \vert x_{1}-x_{2} \vert }\\ &{}+ h_{2}(t) \frac{ \vert y_{1}-y_{2} \vert }{H^{*}+ \vert y_{1}-y_{2} \vert },\quad t\in(0,1), \end{aligned}$$

$x_{i},y_{i}\in{\mathbb {R}}, i=1,2$, where $h_{1}, h_{2}:(0,1)\to {\mathbb {R}}^{+}$ are continuous functions with

$$\begin{aligned} H^{*} = \frac{1}{\Omega+\Omega_{1}} \bigl( \Vert h_{1} \Vert + \Vert h_{2} \Vert \bigr), \end{aligned}$$

and $\Omega, \Omega_{1}$ are respectively defined by (2.12) and (2.13). Then the boundary value problem (1.1)–(1.2) has a unique solution.

Proof

Consider the operator $F:X\to X$ defined by (2.9). Let the continuous nondecreasing function $\Psi: {\mathbb {R}}^{+}\to{\mathbb {R}}^{+}$ be defined by

$$\Psi(\xi)=\frac{H^{*}\xi}{H^{*}+\xi}, \quad \forall\xi\ge0. $$

Observe that $\Psi(0)=0$ and $\Psi(\xi)<\xi$ for all $\xi>0$.

For $x, y\in X$, we can find that

$$\begin{aligned} & \bigl\vert f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr)-f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr) \bigr\vert \\ &\quad \le h_{1}(s)\frac{ \vert x(s)-y(s) \vert }{H^{*}+ \vert x(s)-y(s) \vert }+ h_{2}(s) \frac{ \vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \vert }{H^{*}+ \vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta }y(s) \vert } \\ &\quad \le \frac{ \Vert h_{1} \Vert + \Vert h_{2} \Vert }{H^{*}}\Psi\bigl( \Vert x-y \Vert _{X}\bigr). \end{aligned}$$

Then

$$\begin{aligned} & \bigl\vert (Fx) (t)-(Fy) (t) \bigr\vert \\ & \quad\le\Biggl\vert \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \frac{(\Delta_{2} t-\Delta_{3})}{\Delta_{1} \Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr) -f\bigl(u, y(u), {}^{c}D^{\beta}y(u)\bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \Biggr] \\ &\qquad{}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \alpha_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}\bigl[f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr) -f\bigl(u, y(u), {}^{c}D^{\beta}y(u)\bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}-b \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \Biggr]\Biggr\vert \\ &\quad \le\Omega \bigl( \Vert h_{1} \Vert + \Vert h_{2} \Vert \bigr)\frac{ \Vert x-y \Vert _{X}}{H^{*}+ \Vert x-y \Vert _{X}} \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert \bigl({}^{c}D^{\beta}Fx\bigr) (t)- \bigl({}^{c}D^{\beta}Fy\bigr) (t) \bigr\vert \\ &\quad = \Biggl\vert \int_{0}^{t}\frac{(t-s)^{q-\beta-1}}{\Gamma(q-\beta)} \bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \frac{1}{\Delta_{1}}\frac{t^{1-\beta}}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2}\delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr) -f\bigl(u, y(u), {}^{c}D^{\beta}y(u)\bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \Biggr]\Biggr\vert \\ &\quad \le\Omega_{1} \bigl( \Vert h_{1} \Vert + \Vert h_{2} \Vert \bigr) \frac{ \Vert x-y \Vert _{X}}{H^{*}+ \Vert x-y \Vert _{X}}. \end{aligned}$$

Then $\Vert Fx-Fy \Vert _{X}\le\Psi( \Vert x-y \Vert _{X})$ and F is a nonlinear contraction and it has a unique fixed point in X by Lemma 4.3. This completes the proof. □

In the following result, we establish the uniqueness of solutions for problem (1.1)–(1.2) by applying Banach’s fixed point theorem together with Hölder’s inequality.

Theorem 4.5

Let $f: [0,1]\times{\mathbb {R}}\times{\mathbb {R}}\to{\mathbb {R}}$ be a continuous function satisfying assumption $(A_{4})$. Then there exists a unique solution for problem (1.1)–(1.2) on $[0, 1]$ if

$$\Vert m \Vert (Z_{1}+Z_{2}) < 1, $$

where $Z_{1}, Z_{2}$ are defined by (2.14) and (2.15), respectively.

Proof

For $x,y\in X$ and for each $t\in[0,1]$, by Hölder’s inequality, we have

$$\begin{aligned} & \bigl\vert (Fx) (t)-(Fy) (t) \bigr\vert \\ & \quad\le\Biggl\vert \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \frac{(\Delta_{2} t-\Delta_{3})}{\Delta_{1} \Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \delta_{i} \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}\gamma_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr) -f\bigl(u, y(u), {}^{c}D^{\beta}y(u)\bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}-d \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma(q-1)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \Biggr] \\ &\qquad{}+ \frac{1}{\Delta_{2}} \Biggl[\sum_{i=1}^{m-2} \alpha_{i} \int_{0}^{\sigma _{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}\bigl[f\bigl(u, x(u), {}^{c}D^{\beta}x(u)\bigr) -f\bigl(u, y(u), {}^{c}D^{\beta}y(u)\bigr)\bigr]\,du \biggr)\,ds \\ &\qquad{}-b \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}\bigl[f\bigl(s, x(s), {}^{c}D^{\beta}x(s)\bigr) -f\bigl(s, y(s), {}^{c}D^{\beta}y(s)\bigr)\bigr]\,ds \Biggr]\Biggr\vert \\ &\quad \le \int_{0}^{t}\frac{(t-s)^{q-1}}{\Gamma(q)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta }x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta_{2} \vert } \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma _{i}-s)^{q-2}}{\Gamma(q-1)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert \\ &\qquad{}+ \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}m(u) \bigl( \bigl\vert x(u)-y(u) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(u)-{}^{c}D^{\beta }y(u) \bigr\vert \bigr)\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma (q-1)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \Biggl[\sum_{i=1}^{m-2} \vert \alpha_{i} \vert \int _{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-1}}{\Gamma (q)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2}r_{j} \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-1}}{\Gamma(q)}m(u) \bigl( \bigl\vert x(u)-y(u) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(u)-{}^{c}D^{\beta }y(u) \bigr\vert \bigr)\,du \biggr)\,ds \\ &\qquad{}+ \vert b \vert \int_{0}^{1}\frac{(1-s)^{q-1}}{\Gamma(q)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta }x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \Biggr] \\ &\quad \le \frac{ \Vert x-y \Vert _{X}}{\Gamma(q)} \biggl( \int_{0}^{t} \bigl((t-s)^{q-1} \bigr)^{\frac{1}{1-\gamma}}\,ds \biggr)^{1-\gamma} \biggl( \int _{0}^{1}\bigl(m(s)\bigr)^{1/{\gamma}}\,ds \biggr)^{\gamma} \\ &\qquad{}+ \max_{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert }\frac{ \Vert x-y \Vert _{X}}{\Gamma(q-1)} \Biggl[ \sum_{i=1}^{m-2} \vert \delta_{i} \vert \biggl( \int_{0}^{\sigma_{i}} \bigl((\sigma_{i}-s)^{q-2} \bigr)^{\frac{1}{1-\gamma }}\,ds \biggr)^{1-\gamma} \\ &\qquad{}\times \biggl( \int_{0}^{1}\bigl(m(s)\bigr)^{1/{\gamma}}\,ds \biggr)^{\gamma } \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl[ \biggl( \int _{0}^{s} \bigl((s-u)^{q-2} \bigr)^{\frac{1}{1-\gamma}}\,du \biggr)^{1-\gamma } \biggl( \int_{0}^{1}\bigl(m(u)\bigr)^{1/{\gamma}}\,du \biggr)^{\gamma} \biggr]\,ds \\ &\qquad{}+ \vert d \vert \biggl( \int_{0}^{1} \bigl((1-s)^{q-2} \bigr)^{\frac{1}{1-\gamma }}\,ds \biggr)^{1-\gamma} \biggl( \int_{0}^{1}\bigl(m(s)\bigr)^{1/{\gamma}}\,ds \biggr)^{\gamma } \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \frac{ \Vert x-y \Vert _{X}}{\Gamma(q)} \Biggl[\sum _{i=1}^{m-2} \vert \alpha_{i} \vert \biggl( \int_{0}^{\sigma_{i}} \bigl((\sigma _{i}-s)^{q-1} \bigr)^{\frac{1}{1-\gamma}}\,ds \biggr)^{1-\gamma} \biggl( \int _{0}^{1}\bigl(m(s)\bigr)^{1/{\gamma}}\,ds \biggr)^{\gamma} \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert r_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl[ \biggl( \int_{0}^{s} \bigl((s-u)^{q-1} \bigr)^{\frac{1}{1-\gamma}}\,du \biggr)^{1-\gamma} \biggl( \int _{0}^{1}\bigl(m(u)\bigr)^{1/{\gamma}}\,du \biggr)^{\gamma} \biggr]\,ds \\ &\qquad{}+ \vert b \vert \biggl( \int_{0}^{1} \bigl((1-s)^{q-1} \bigr)^{\frac{1}{1-\gamma }}\,ds \biggr)^{1-\gamma} \biggl( \int_{0}^{1}\bigl(m(s)\bigr)^{1/{\gamma}}\,ds \biggr)^{\gamma } \Biggr] \\ &\quad \le \frac{ \Vert m \Vert \Vert x-y \Vert _{X}}{\Gamma(q)} \biggl(\frac{1-\gamma}{q-\gamma } \biggr)^{1-\gamma}\\ &\qquad{}+ \max _{t\in[0,1]} \frac{ \vert \Delta_{2} t-\Delta_{3} \vert }{ \vert \Delta_{1} \Delta _{2} \vert }\frac{ \Vert m \Vert \Vert x-y \Vert _{X}}{\Gamma(q-1)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \\ &\qquad{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \frac{\eta^{q-\gamma}-\xi^{q-\gamma}}{q-\gamma}+ \vert d \vert \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggr] \\ &\qquad{}+ \frac{1}{ \vert \Delta_{2} \vert } \frac{ \Vert m \Vert \Vert x-y \Vert _{X}}{\Gamma(q)} \Biggl[\sum _{i=1}^{m-2} \vert \alpha_{i} \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }+ \sum _{j=1}^{p-2} \vert r_{j} \vert \biggl( \frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma }\frac{\eta^{q-\gamma+1}-\xi^{q-\gamma+1}}{q-\gamma+1} \\ &\qquad{}+ \vert b \vert \biggl(\frac{1-\gamma}{q-\gamma} \biggr)^{1-\gamma} \Biggr] \\ &\quad = Z_{1} \Vert m \Vert \Vert x-y \Vert _{X}. \end{aligned}$$

Similarly, we have

$$\begin{aligned} & \bigl\vert \bigl({}^{c}D^{\beta} Fx\bigr) (t)-\bigl({}^{c}D^{\beta} Fy \bigr) (t) \bigr\vert \\ &\quad\le \int_{0}^{t}\frac{(t-s)^{q-\beta-1}}{\Gamma(q-\beta)} m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \\ &\qquad{}+ \frac{1}{ \vert \Delta_{1} \vert }\frac{t^{1-\beta}}{\Gamma(2-\beta)} \Biggl[\sum _{i=1}^{m-2} \vert \delta_{i} \vert \int_{0}^{\sigma_{i}}\frac{(\sigma_{i}-s)^{q-2}}{\Gamma (q-1)} \\ &\qquad {}\times m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \\ &\qquad{}+ \sum_{j=1}^{p-2} \vert \gamma_{j} \vert \int_{\xi_{j}}^{\eta_{j}} \biggl( \int_{0}^{s}\frac {(s-u)^{q-2}}{\Gamma(q-1)}m(u) \bigl( \bigl\vert x(u)-y(u) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(u)-{}^{c}D^{\beta }y(u) \bigr\vert \bigr)\,du \biggr)\,ds \\ &\qquad{}+ \vert d \vert \int_{0}^{1}\frac{(1-s)^{q-2}}{\Gamma (q-1)}m(s) \bigl( \bigl\vert x(s)-y(s) \bigr\vert + \bigl\vert {}^{c}D^{\beta}x(s)-{}^{c}D^{\beta}y(s) \bigr\vert \bigr)\,ds \Biggr] \\ &\quad \le \Biggl\{ \frac{1}{\Gamma(q-\beta)} \biggl(\frac{1-\gamma}{q-\beta -\gamma} \biggr)^{1-\gamma} +\frac{1}{ \vert \Delta_{1} \vert }\frac{1}{\Gamma(2-\beta )} \biggl(\frac{1-\gamma}{q-\gamma-1} \biggr)^{1-\gamma} \Biggl[\sum_{i=1}^{m-2} \vert \delta_{i} \vert \\ &\qquad{}+\sum_{j=1}^{p-2} \vert \gamma_{j} \vert \frac{\eta_{j}^{q-\gamma}-\xi_{j}^{q-\gamma }}{q-\gamma}+ \vert d \vert \Biggr] \Biggr\} \Vert m \Vert \Vert x-y \Vert _{X} \\ &\quad = Z_{2} \Vert m \Vert \Vert x-y \Vert _{X}. \end{aligned}$$

From the above inequalities, we obtain

$$\Vert Fx-Fy \Vert _{X} \le(Z_{1}+Z_{2}) \Vert m \Vert \Vert x-y \Vert _{X}. $$

In view of the given condition $\Vert m \Vert (Z_{1}+Z_{2}) <1$, it follows that the mapping F is a contraction. Hence, by the Banach fixed point theorem, F has a unique fixed point which is a unique solution of problem (1.1)–(1.2). This completes the proof. □

Corollary 4.6

Suppose that the continuous function $f: [0,1]\times{\mathbb {R}}\times{\mathbb {R}}\to{\mathbb {R}}$ satisfies the following assumption:

$(A_{4})'$ :

$\vert f(t,x_{1},y_{1})-f(t,x_{2},y_{2}) \vert \le L( \vert x_{1}-x_{2} \vert + \vert y_{1}-y_{2} \vert )$ for $t\in[0,1]$, $x_{i},y_{i}\in{\mathbb {R}}, i=1,2$, and $L>0$ is a constant.

If $\Omega+\Omega_{1}<1$, where $\Omega, \Omega_{1}$ are defined by (2.12) and (2.13), respectively, then the boundary value problem (1.1)–(1.2) has a unique solution on $[0, 1]$.

5 Examples

Let us consider problem (1.1)–(1.2) with specific data:

$$\begin{aligned} \begin{aligned}&q=3/2,\qquad \beta=1/2,\qquad \gamma=1/3 \in(0, 1/2),\qquad m=6,\qquad p=5,\\ & a=b=c=d=1,\qquad r_{1}=1/24,\qquad r_{2}=1/12, \\ & r_{3}=1/6,\qquad \alpha_{1}=1/25,\qquad \alpha_{2}=1/20,\qquad \alpha _{3}=1/15,\qquad \alpha_{4}=1/10,\\ & \delta_{1}=1/20, \qquad \delta_{2}=1/15,\qquad \delta_{3}=1/10,\qquad \\ & \delta_{4}=1/5,\qquad \gamma_{1}=1/18,\qquad \gamma _{2}=1/9, \qquad\gamma_{3}=1/3, \\ &\sigma_{1}=1/16,\qquad \sigma_{1}=1/8, \qquad \sigma_{3}=3/16,\qquad \sigma _{4}=1/4, \\ & \xi_{1}=1/2, \qquad\xi_{2}=19/30,\qquad \xi_{3}=23/30, \qquad\eta _{1}=17/30 \\ &\eta_{1}=7/10, \qquad\eta_{3}=5/6. \end{aligned} \end{aligned}$$

(5.1)

Using the given values of the parameters in (2.3)–(2.5) and (2.12)–(2.15), we find that

$$\begin{aligned} \begin{aligned} & \mu_{1}=23/60,\qquad \mu_{2}=427/1800,\qquad \mu_{3}=139/4320,\\ & \Delta_{1}=97/60, \Delta _{2}=3173/1800,\qquad \Delta_{3}=4181/4320, \\ & \Omega\simeq1.573224,\qquad \Omega_{1} \simeq1.951384,\\ & Z_{1} \simeq1.911201,\qquad Z_{2} \simeq3.547288. \end{aligned} \end{aligned}$$

(5.2)

In order to illustrate Theorem 3.6, we take

$$ f\bigl(t,x(t),^{c}D^{\beta}x(t)\bigr)= \frac{(t+1)^{2}}{7^{1/3}} \biggl(\frac{1}{4}+\frac {1}{28} \sin x(t)+ \frac{1}{40} {}^{c}D^{\beta}x(t) \biggr). $$

(5.3)

Clearly, $\vert f(t,x(t),^{c}D^{\beta}x(t)) \vert \le m(t) (\psi_{1}( \vert x(t) \vert )+\psi _{2}( \vert ^{c}D^{\beta}x(t) \vert ))$ with $m(t)=\frac{(t+1)^{2}}{7^{1/3}}, \Vert m \Vert =(\frac{127}{49})^{1/3}, \psi _{1}( \vert x(t) \vert )=\frac{1}{4}+\frac{ \vert x(t) \vert }{28}, \psi_{2}( \vert ^{c}D^{\beta }x(t) \vert )=\frac{ \vert ^{c}D^{\beta}x(t) \vert }{40}$. Thus condition $(A_{2})$ is satisfied. Then, from $(A_{3})$ together with the values of $Z_{1}$ and $Z_{2}$ given by (5.2), we find that $M > 3.440883$. Consequently, the conclusion of Theorem 3.6 applies and problem (1.1)–(1.2) with (5.1) and (5.3) has at least one solution on $[0,1]$.

For the illustration of Theorem 4.5, let us take

$$ f\bigl(t,x(t),^{c}D^{1/2}x(t)\bigr)= \frac{1}{4(t+1)^{2/3}} \biggl(\frac{1}{2}+\frac { \vert x \vert }{1+ \vert x \vert }+ \tan^{-1}\bigl(^{c}D^{1/2}x(t)\bigr) \biggr) $$

(5.4)

in (1.1) and note that

$$ \bigl|f\bigl(t, x_{1}, {}^{c}D^{1/2}x_{1}\bigr)-f\bigl(t, x_{2}, {}^{c}D^{1/2}x_{2}\bigr)\bigr|\le\frac{1}{4(t+1)^{2/3}} \bigl( \vert x_{1}-x_{2} \vert + \bigl\vert ^{c}D^{1/2}x_{1}-^{c}D^{1/2}x_{2} \bigr\vert \bigr). $$

Here $m(t)=\frac{1}{4(t+1)^{2/3}}$ with $\Vert m \Vert =\frac{1}{(384)^{1/3}}$. Using the values of $Z_{1}$ and $Z_{2}$ given by (5.2), we find that $\Vert m \Vert (Z_{1}+Z_{2})=0.750981<1$. As all the conditions of Theorem 4.5 are satisfied, therefore there exists a unique solution of problem (1.1)–(1.2) with the data (5.1) and (5.4) on $[0,1]$.

Next we demonstrate the application of Corollary 4.6 by choosing a function

$$ f\bigl(t,x(t),^{c}D^{1/2}x(t)\bigr)=L \biggl( \frac{1}{8}+ \vert x \vert + \frac { \vert ^{c}D^{1/2}x(t) \vert }{1+ \vert ^{c}D^{1/2}x(t) \vert } \biggr), $$

(5.5)

which is clearly a Lipschitz function with Lipschitz constant L. Observe that the condition $L(\Omega+\Omega_{1})<1$ is satisfied for $0< L< 0.283719$ (Ω and $\Omega_{1}$ are given by (5.2)). Thus, by Corollary 4.6, problem (1.1)–(1.2) with data (5.1) and (5.5) has a unique solution on $[0, 1]$.

6 Conclusions

We have studied a nonlinear fractional differential equation with nonlinearity depending on the unknown function together with its lower-order fractional derivative, equipped with a general type of non-separated boundary conditions involving finite many nonlocal points and sub-segments of the interval $[0, 1]$. Several existence and uniqueness results have been derived by applying different tools of the fixed point theory. Our results are quite general and give rise to many new cases by assigning different values to the parameters involved in the problem. For explanation, we enlist some special cases.

• By fixing $r_{j}=0=\gamma_{j}, j=1, \ldots, p$, in (1.2), our results correspond to the ones for non-separated multi-point boundary conditions. On the other hand, we obtain the results for non-separated multi-strip boundary conditions by taking $\alpha_{j}=0=\delta_{j}, j=1,\ldots, p$, in (1.2).

• In case we choose $r_{j}=\gamma_{j}=\alpha_{j}=\delta_{j}=0, j=1, \ldots, p$, in (1.2), our results correspond to periodic/anti-periodic type boundary conditions $x(0) = - (b/a)x(1), x'(0)= -(d/c) x'(1)$. In particular, we have the results for anti-periodic type boundary conditions when $(b/a)=1=(d/c)$. For more details on anti-periodic fractional order boundary value problems, see [28].

• Letting $a=c=1, b=d=0$, conditions (1.2) read as

  $$x(0) =\sum_{i=1}^{m-2}\alpha_{i} x(\sigma_{i})+\sum_{j=1}^{p-2}r_{j} \int_{\xi _{j}}^{\eta_{i}}x(s)\,ds,\qquad x'(0) =\sum _{i=1}^{m-2}\delta_{i} x'(\sigma_{i})+\sum_{j=1}^{p-2} \gamma_{j} \int_{\xi_{j}}^{\eta_{j}}x'(s)\,ds, $$

  which are initial nonlocal multi-point and multi-strip type conditions. Similarly (1.2) take the form of terminal nonlocal multi-point and multi-strip type conditions for $a=c=0, b=d=1$.

• If we take $a=c=b=d=0$ in (1.2), then our results correspond to nonlocal multi-point and multi-strip conditions.

In the nutshell, the boundary value problem studied in this paper is of fairly general nature and covers a variety of special cases.