, 2019:57

On a nonlocal integral boundary value problem of nonlinear Langevin equation with different fractional orders

• Ahmed Alsaedi
• Sara Salem
Open Access
Research

Abstract

In this paper we develop the existence theory for a nonlinear Langevin equation involving Caputo fractional derivatives of different orders and Riemann–Liouville fractional integral supplemented with nonlocal multi-point and multi-strip boundary conditions. We make use of the modern methods of functional analysis to obtain the existence and uniqueness results for the given problem, which are well illustrated with the aid of examples. Our results are new and correspond to some new ones for specific choices of the parameters involved in the problem.

1 Introduction

Langevin equation is an important equation of mathematical physics that is used in modeling the phenomena occurring in fluctuating environment such as Brownian motion. The classical form of this equation was derived in terms of ordinary derivatives by Paul Langevin in 1908 [1]. Langevin equation is also known as a stochastic differential equation as it governs the fast motion of microscopic variables (degrees of freedom) of the dynamical systems. However, the classical Langevin equation failed to describe the complex systems, and its several generalizations were proposed to model the physical phenomena in disordered regions [2], anomalous diffusion processes in complex and viscoelastic environment [3, 4], etc.

Fractional calculus, dealing with arbitrary order differential and integral operators, received great attention during the last few decades. Many researchers focused on developing the theoretical aspects, methods of solution, and applications of fractional differential equations. The popularity of the subject results from the nonlocal nature of fractional order operators, which can account for the past history of the phenomena under investigation. Now one can observe the shift in the study of mathematical models from integer order differential operators to their fractional order analogue. For application details in physics, biology, chemistry, medical sciences, etc., we refer the reader to the works [5, 6, 7, 8, 9, 10].

There has been shown a great interest in the study of nonlocal nonlinear fractional order single-valued and multivalued boundary value problems in recent years. The interest in this topic results from the applicability of nonlocal and integral conditions in mathematical modeling of many real world situations arising in applied and biological sciences. For details and examples, see [11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23] and the references cited therein.

Inspired by the wide application of tools of fractional calculus, the fractional analogue of Langevin equation was proposed by replacing the ordinary derivative by fractional order derivative in its classical form. Examples include motor single-file diffusion [24], Kramers–Fokker–Planck equation and Langevin equation [25], control system [26], etc. Lim et al. [27] introduced a new form of Langevin equation containing two different fractional orders, which has made it possible to investigate fractal processes in a more flexible environment. For some recent works on fractional Langevin equation, see the papers [28, 29, 30, 31, 32, 33, 34, 35, 36] and the references cited therein.

In this paper, we consider the following nonlocal integral boundary value problem for a nonlinear Langevin equation with different order Caputo fractional derivatives:
$$\textstyle\begin{cases} {}^{c}D^{\kappa }({}^{c}D^{\zeta } + \chi )x(t) =f(t,x(t),I ^{p}x(t)), \quad t\in [0,1], \\ x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j}), \quad\quad x'(0)=0, \quad\quad a_{1}x(1)+a_{2}x'(1)=\sum_{i=1}^{n}\rho _{i}\int _{\xi _{i}} ^{\eta _{i}}x(s)\,ds , \end{cases}$$
(1.1)
where $${}^{c}D^{\gamma }$$ denotes the Caputo fractional derivative of order γ ($$=\zeta , \kappa$$), $$p,\chi >0$$, $$0<\zeta \le 1$$, $$1< \kappa \leq 2$$, $$a_{1}, a_{2}, \nu _{j}, \rho _{i} \in \mathbb{R}$$, $$0<\sigma _{j}<\xi _{i}<\eta _{i}<1$$, $$i=1,2,\ldots,n$$, $$j=1,2,\ldots,m$$, and $$f: [0, 1] \times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$$ is a given continuous function.

We arrange the rest of the paper as follows. In Sect. 2, we present some definitions of fractional calculus and fixed point theorems related to our work. Section 3 contains the main results, while examples illustrating the main results are given in Sect. 4. Some interesting observations are presented in the concluding section.

2 Preliminaries

This section is devoted to some basic concepts of fractional calculus [6].

Definition 2.1

The Riemann–Liouville fractional integral $$I_{a} ^{\omega }$$ of order $$\omega \in \mathbb{R}$$ ($$\omega >0$$) for a locally integrable real-valued function u on the interval $$(a, b)$$ with $$a, b \in \mathbb{R}$$ is defined as
$$I_{a} ^{\omega }u ( t ) = \frac{1}{{\varGamma ( \omega )}} \int _{a}^{t} { ( {t - s} ) ^{\omega - 1} u ( s )} \,ds,$$
where Γ denotes the Euler gamma function.

Definition 2.2

Let $$u^{(m-1)}\in L^{1}[a,b]$$ with $$a, b \in \mathbb{R}$$. The Riemann–Liouville fractional derivative $$D_{a} ^{\omega }$$ of order ω ($$m-1<\omega <m$$, $$m\in \mathbb{N}$$) for u is defined as
$$D_{a} ^{\omega }u ( t ) = \frac{{d^{m} }}{{dt^{m} }}I _{a} ^{1 - \omega } u ( t )=\frac{1}{{\varGamma ( m-\omega )}}\frac{d^{m}}{dt^{m}} \int _{a}^{t} { ({t - s} )^{m-1-\omega } u ( s )} \,ds.$$
The Caputo fractional derivative $${{}^{c}{D}_{a}^{\omega }}$$ of order ω ($$m-1<\omega <m$$, $$m\in \mathbb{N}$$) is defined by
\begin{aligned} {{}^{c}{D}_{a}^{\omega }} u ( t ) = D_{a} ^{\omega } \biggl[ u ( t ) -u ( a ) -u' ( a ) \frac{(t-a)}{1!}-\cdots - u^{(m-1)} ( a ) \frac{(t-a)^{m-1}}{(m-1)!} \biggr]. \end{aligned}

Remark 2.3

If $$u\in C^{m}[a,b]$$, then the Caputo fractional derivative $${{}^{c}{D}_{a}^{\omega }}$$ of order ω ($$m-1<\omega <m$$, $$m \in \mathbb{N}$$) is defined as
$${{}^{c}{D}_{a}^{\omega }} [ u ] ( t ) = I_{a} ^{1 - \omega } u^{(m)} ( t )= \frac{1}{{\varGamma ( m-\omega )}} \int _{a}^{t} { ({t - s} ) ^{m-1-\omega } u^{(m)} ( s )} \,ds.$$

In the present work, we denote the Riemann–Liouville fractional integral $$I_{a}^{\omega }$$ and the Caputo fractional derivative $${{}^{c}{D}_{a}^{\omega }}$$ with $$a=0$$ by $$I^{\omega }$$ and $${{}^{c}{D} ^{\omega }}$$, respectively.

3 Main results

Before presenting the main results, we prove an auxiliary lemma related to the linear variant of problem (1.1). This lemma plays an important role in transforming the given problem to a fixed point problem.

Lemma 3.1

Let$$g\in C([0,1],\mathbb{R})$$. Then the problem consisting of linear fractional differential equation
$${}^{c}D^{\kappa }\bigl({}^{c}D^{\zeta } + \chi \bigr)x(t) =g(t), \quad 1< \kappa \leq 2, 0< \zeta < 1,$$
(3.1)
and the boundary conditions of (1.1) is equivalent to the integral equation
\begin{aligned} x(t) =& \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{\varGamma (\zeta + \kappa )} g(s)\,ds -\chi \int _{0}^{t} \frac{(t-s)^{\zeta -1}}{\varGamma ( \zeta )} x(s)\,ds \\ &{}-\mu _{1}(t)\sum_{j=1}^{m} \nu _{j} \int _{0}^{\sigma _{j}} \biggl(\frac{( \sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )}g(s)-\chi \frac{( \sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )}x(s) \biggr)\,ds \\ &{}+\mu _{2}(t) \Biggl[\sum_{i=1}^{n} \rho _{i} \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl( \frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} g(u)-\chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} x(u) \biggr) \,du \,ds \\ &{}-a_{1} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )}g(s)-\chi \frac{(1-s)^{\zeta -1}}{\varGamma (\zeta )}x(s) \biggr)\,ds \\ &{}- a_{2} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -2}}{\varGamma ( \zeta +\kappa -1)}g(s)-\chi \frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)}x(s) \biggr)\,ds \Biggr], \end{aligned}
(3.2)
where
\begin{aligned}& \mu _{1}(t)=\frac{1}{\Delta } \biggl(B_{1}-B_{2} \biggl(\frac{t^{\zeta +1}}{ \varGamma (\zeta +2)} \biggr) \biggr), \quad\quad \mu _{2}(t)= \frac{1}{\Delta } \biggl(A_{1}-A_{2} \biggl( \frac{t^{\zeta +1}}{ \varGamma (\zeta +2)} \biggr) \biggr), \end{aligned}
(3.3)
\begin{aligned}& \Delta = A_{1}B_{2}-A_{2}B_{1} \neq 0 , \end{aligned}
(3.4)
\begin{aligned}& A_{1}=-\sum_{j=1}^{m} \nu _{j}\frac{\sigma _{j}^{\zeta +1}}{\varGamma ( \zeta +2)}, \quad\quad A_{2}=1-\sum _{j=1}^{m} \nu _{j}, \end{aligned}
(3.5)
\begin{aligned}& B_{1}=\frac{a_{1}+(\zeta +1)a_{2}}{\varGamma (\zeta +2)}-\sum _{i=1}^{n} \rho _{i} \frac{\eta _{i}^{\zeta +2}-\xi _{i}^{\zeta +2}}{\varGamma (\zeta +3)}, \quad\quad B_{2}=a_{1}-\sum_{i=1}^{n} \rho _{i}(\eta _{i}-\xi _{i}). \end{aligned}
(3.6)

Proof

Applying the integral operator $$I^{\kappa }$$ to both sides of (3.1) and then the operator $$I^{\zeta }$$ to the resulting equation, we get
\begin{aligned}& x(t)= I^{\zeta +\kappa }g(t)-\chi I^{\zeta }x(t)+c_{0} \frac{t^{\zeta }}{\varGamma (\zeta +1)}+c_{1} \frac{t^{\zeta +1}}{\varGamma (\zeta +2)} +c _{2}, \end{aligned}
(3.7)
\begin{aligned}& x'(t)= I^{\zeta +\kappa -1}g(t)-\chi I^{\zeta -1} x(t)+c_{0}\frac{t ^{\zeta -1}}{\varGamma (\zeta )}+c_{1} \frac{t^{\zeta }}{\varGamma (\zeta +1)}, \end{aligned}
(3.8)
where $$c_{0}$$, $$c_{1}$$, $$c_{2}$$ are arbitrary constants.
Using the condition $$x'(0)=0$$ in (3.8), we find that $$c_{0}=0$$. Inserting the value of $$c_{0}$$ in (3.7) and making use of the condition $$x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j})$$ together with the notations (3.5), we get
$$A_{1}c_{1}+A_{2}c_{2}=J_{1},$$
(3.9)
where
\begin{aligned} J_{1}=\sum_{j=1}^{m} \nu _{j}\bigl(I^{\zeta +\kappa }g(\sigma _{j})-\chi I ^{\zeta }x(\sigma _{j})\bigr). \end{aligned}
(3.10)
Combining the condition $$a_{1}x(1)+a_{2}x'(1)=\sum_{i=1}^{n-2}\rho _{i}\int _{\xi _{i}}^{\eta _{i}}x(s)\,ds$$ with (3.7) and (3.8), and using the notations (3.6) yields
$$B_{1}c_{1}+B_{2}c_{2}=J_{2},$$
(3.11)
where
\begin{aligned} J_{2} =&\sum_{i=1}^{n} \rho _{i} \int _{\xi _{i}}^{\eta _{i}}\bigl(I^{\zeta + \kappa }g(s)-\chi I^{\zeta }x(s)\bigr)\,ds-a_{1}\bigl(I^{\zeta +\kappa }g(1)- \chi I^{\zeta }x(1)\bigr) \\ &{}-a_{2}\bigl(I^{\zeta +\kappa -1}g(1)-\chi I^{\zeta -1}x(1)\bigr). \end{aligned}
(3.12)
Solving systems (3.9) and (3.11) for $$c_{1}$$ and $$c_{2}$$, we find that
\begin{aligned} c_{1}=\frac{B_{2}J_{1}-A_{2}J_{2}}{\Delta }, \quad\quad c_{2}= \frac{A_{1}J_{2}-B _{1}J_{1}}{\Delta }, \end{aligned}
where Δ is given by (3.4). Substituting the values of $$c_{0}$$, $$c_{1}$$, and $$c_{2}$$ in (3.7) together with the notations (3.3), we obtain solution (3.2). By direct computation, one can obtain the converse of the lemma. This completes the proof. □
Denote by X the Banach space of all continuous functions from $$[0,1] \rightarrow \mathbb{R}$$ endowed with norm $$\Vert x\Vert = \sup \lbrace \vert x(t)\vert :t\in [0,1] \rbrace$$. By Lemma 3.1, we transform problem (1.1) into a fixed point problem as $$x=\mathcal{A}x$$, where the operator $$\mathcal{A}:X \rightarrow X$$ is defined by
\begin{aligned} (\mathcal{A}x) (t) =& \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} f \bigl(s,x(s),I^{p}x(s)\bigr)\,ds -\chi \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} x(s)\,ds \\ &{}-\mu _{1}(t)\sum_{j=1}^{m} \nu _{j} \int _{0}^{\sigma _{j}} \biggl(\frac{( \sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )}f \bigl(s,x(s),I ^{p}x(s)\bigr)-\chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )}x(s) \biggr)\,ds \\ &{}+\mu _{2}(t) \Biggl[\sum_{i=1}^{n} \rho _{i} \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} f \bigl(u,x(u),I^{p}x(u)\bigr) \\ &{}-\chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} x(u) \biggr)\,du \,ds \\ &{}-a_{1} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )}f \bigl(s,x(s),I^{p}x(s)\bigr)-\chi \frac{(1-s)^{\zeta -1}}{ \varGamma (\zeta )}x(s) \biggr)\,ds \\ &{}- a_{2} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -2}}{\varGamma ( \zeta +\kappa -1)}f \bigl(s,x(s),I^{p}x(s)\bigr)-\chi \frac{(1-s)^{\zeta -2}}{ \varGamma (\zeta -1)}x(s) \biggr)\,ds \Biggr], \\ &{} t\in [0,1]. \end{aligned}
(3.13)
For the sake of computational convenience, we set
\begin{aligned}& \begin{aligned}[b] \varLambda _{1} &=\frac{1}{\varGamma (\zeta +\kappa +1)}+\overline{\mu } _{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta +\kappa }}{\varGamma (\zeta +\kappa +1)} \\ &\quad {}+\overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +\kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma ( \zeta +\kappa +2)} + \frac{ \vert a_{1} \vert }{\varGamma (\zeta +\kappa +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta +\kappa )} \Biggr), \end{aligned} \end{aligned}
(3.14)
\begin{aligned}& \begin{aligned}[b] \varLambda _{2} &=\chi \Biggl[ \frac{1}{\varGamma (\zeta +1)}+\overline{ \mu }_{1} \sum _{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta }}{ \varGamma (\zeta +1)} \\ &\quad{} + \overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +1}-\xi _{i}^{\zeta +1})}{\varGamma (\zeta +2)} +\frac{ \vert a_{1} \vert }{\varGamma (\zeta +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta )} \Biggr) \Biggr], \end{aligned} \end{aligned}
(3.15)
where
\begin{aligned}& \overline{\mu }_{1}=\max_{t\in [0,1]} \bigl\vert \mu _{1}(t) \bigr\vert =\frac{1}{ \vert \triangle \vert }\biggl( \vert B_{1} \vert + \frac{ \vert B_{2} \vert }{\varGamma ( \zeta +2)}\biggr), \\& \overline{\mu }_{2}=\max_{t\in [0,1]} \bigl\vert \mu _{2}(t) \bigr\vert =\frac{1}{ \vert \triangle \vert }\biggl( \vert A_{1} \vert + \frac{ \vert A_{2} \vert }{\varGamma ( \zeta +2)}\biggr). \end{aligned}

3.2 Existence results

In this subsection we prove the existence results for the given problem; the first one relies on Krasnoselskii’s fixed point theorem [37], while the second one is based on the Leray–Schauder nonlinear alternative [38].

Theorem 3.2

Let$$f:[0,1]\times \mathbb{R}^{2}\rightarrow \mathbb{R}$$be a continuous function satisfying the conditions:
$$(C_{1})$$

$$\vert f(t,x,y)-f(t,x_{1},y_{1})\vert \leq l(\vert x-x _{1}\vert +\vert y-y_{1}\vert )$$for all$$t \in [0, 1]$$, $$l > 0$$, $$x, y,x_{1},y_{1} \in \mathbb{R}$$;

$$(C_{2})$$

$$\vert f(t,x,y)\vert \leq k(t)$$for all$$(t,x,y) \in [0,1]\times \mathbb{R}^{2}$$and$$k \in C([0,1],\mathbb{R}^{+})$$.

Then the boundary value problem (1.1) has at least one solution on$$[0, 1]$$if
\begin{aligned} \varLambda _{3} < 1, \end{aligned}
(3.16)
where$$\varLambda _{3}=l(1+\frac{1}{\Gamma(p+1)})(\Lambda_{1}-\frac{1}{\Gamma(\zeta+\kappa+1)})+\Lambda_{2}-\frac{\chi}{\Gamma(\zeta+1)}$$, $$\varLambda _{1}$$and$$\varLambda _{2}$$are respectively given by (3.14) and (3.15) with$$\varLambda _{2}<1$$.

Proof

By assumption $$(C_{2})$$, we fix $$r \ge \varLambda _{1} \Vert k\Vert /(1-\varLambda _{2})$$ and define a closed ball $$B_{r}=\lbrace x\in X:\Vert x\Vert \leq r\rbrace$$. Introduce the operators $$\mathcal{A}_{1}$$ and $$\mathcal{A}_{2}$$ on $$B_{r}$$ as
\begin{aligned}& (\mathcal{A}_{1}x) (t)= \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} f \bigl(s,x(s),I^{p}x(s)\bigr)\,ds -\chi \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} x(s)\,ds, \\ & \begin{aligned} (\mathcal{A}_{2} x) (t) &=-\mu _{1}(t)\sum _{j=1}^{m}\nu _{j} \int _{0} ^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )}f \bigl(s,x(s),I^{p}x(s)\bigr)-\chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )}x(s) \biggr)\,ds \\ &\quad {}+\mu _{2}(t) \Biggl[\sum_{i=1}^{n} \rho _{i} \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} f \bigl(u,x(u),I^{p}x(u)\bigr) \\ &\quad {} -\chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} x(u) \biggr) \,du \,ds \\ &\quad {}-a_{1} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )}f \bigl(s,x(s),I^{p}x(s)\bigr)-\chi \frac{(1-s)^{\zeta -1}}{ \varGamma (\zeta )}x(s) \biggr)\,ds \\ &\quad {}- a_{2} \int _{0}^{1} \biggl(\frac{(1-s)^{\zeta +\kappa -2}}{\varGamma ( \zeta +\kappa -1)}f \bigl(s,x(s),I^{p}x(s)\bigr)-\chi \frac{(1-s)^{\zeta -2}}{ \varGamma (\zeta -1)}x(s) \biggr)\,ds \Biggr], \end{aligned} \end{aligned}
$$t\in [0,1]$$. Observe that $$\mathcal{A}x=\mathcal{A}_{1}x+\mathcal{A} _{2}x$$, $$x \in B_{r}$$ on $$[0,1]$$. In order to apply the conclusion of Krasnoselskii’s fixed point theorem [37], we verify its hypothesis in three steps.
(i)For$$x, y \in B_{r}$$, we show that$$\mathcal{A}_{1}x+\mathcal{A}_{2}y\in B_{r}$$. For that, we have
\begin{aligned}& \Vert \mathcal{A}_{1}x+\mathcal{A}_{2}y \Vert \\ & \quad = \sup _{t\in [0,1]} \bigl\vert \mathcal{A}_{1}x(t)+ \mathcal{A}_{2}y(t) \bigr\vert \\ & \quad \leq \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds +\chi \int _{0}^{t} \frac{(t-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \\ & \quad \quad {}+ \bigl\vert \mu _{1}(t) \bigr\vert \sum _{j=1}^{m} \vert \nu _{j} \vert \int _{0} ^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert f\bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert +\chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \biggr) \,ds \\ & \quad \quad {}+ \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f\bigl(u,x(u),I^{p}x(u)\bigr) \bigr\vert \\ & \quad \quad {}+\chi \frac{(s-u)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(u) \bigr\vert \biggr) \,du \,ds \\ & \quad \quad {}+ \vert a_{1} \vert \biggl[ \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \biggr] \\ & \quad \quad {}+ \vert a_{2} \vert \biggl[ \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{ \varGamma (\zeta +\kappa -1)} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)} \bigl\vert x(s) \bigr\vert \,ds \biggr] \Biggr] \Biggr\rbrace \\ & \quad \leq \Vert k \Vert \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{ \zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \,ds + \bigl\vert \mu _{1}(t) \bigr\vert \sum_{j=1}^{m} \vert \nu _{j} \vert \int _{0}^{\sigma _{j}}\frac{( \sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )}\,ds \\ & \quad \quad {}+ \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s}\frac{(s-u)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} \,du \,ds+ \vert a_{1} \vert \int _{0}^{1}\frac{(1-s)^{ \zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \,ds \\ & \quad \quad {}+ \vert a_{2} \vert \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{\varGamma (\zeta +\kappa -1)} \,ds \Biggr] \Biggr\rbrace \\ & \quad \quad {}+\chi \Vert x \Vert \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} \,ds+ \bigl\vert \mu _{1}(t) \bigr\vert \sum_{j=1}^{m} \vert \nu _{j} \vert \int _{0}^{\sigma _{j}}\frac{(\sigma _{j}-s)^{\zeta -1}}{ \varGamma (\zeta )} \,ds \\ & \quad \quad {}+ \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s}\frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} \,du \,ds+ \vert a_{1} \vert \int _{0}^{1}\frac{(1-s)^{\zeta -1}}{ \varGamma (\zeta )} \,ds \\ & \quad \quad {}+ \vert a_{2} \vert \int _{0}^{1}\frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)} \,ds \Biggr] \Biggr\rbrace \\ & \quad \leq \Vert k \Vert \Biggl\lbrace \frac{1}{\varGamma (\zeta +\kappa +1)}+\overline{ \mu }_{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta + \kappa }}{\varGamma (\zeta +\kappa +1)} \\ & \quad \quad {} +\overline{\mu }_{2} \Biggl( \sum_{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +\kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma ( \zeta +\kappa +2)} + \frac{ \vert a_{1} \vert }{\varGamma (\zeta +\kappa +1)}+ \frac{ \vert a_{2} \vert }{\varGamma (\zeta +\kappa )} \Biggr) \Biggr\rbrace \\ & \quad \quad {}+\chi \Vert x \Vert \Biggl\lbrace \frac{1}{\varGamma (\zeta +1)}+\overline{ \mu }_{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta }}{ \varGamma (\zeta +1)} \\ & \quad \quad {} +\overline{\mu }_{2} \Biggl( \sum_{i=1}^{n} \vert \rho _{i} \vert \frac{(\eta _{i}^{\zeta +1}-\xi _{i}^{\zeta +1})}{\varGamma ( \zeta +2)}+\frac{ \vert a_{1} \vert }{\varGamma (\zeta +1)}+\frac{ \vert a _{2} \vert }{\varGamma (\zeta )} \Biggr) \Biggr\rbrace \\ & \quad \leq \Vert k \Vert \varLambda _{1}+\varLambda _{2} r\leq r, \end{aligned}
which shows that $$\mathcal{A}_{1}x+\mathcal{A}_{2}y\in B_{r}$$.
(ii)We establish that$$\mathcal{A}_{2}$$is a contraction. For $$x,y\in X$$ and for each $$t\in [0,1]$$, we obtain
\begin{aligned}& \Vert \mathcal{A}_{2}x-\mathcal{A}_{2}y \Vert \\& \quad \leq \sup_{t\in [0,1]} \Biggl\lbrace \bigl\vert \mu _{1}(t) \bigr\vert \sum_{j=1} ^{m} \vert \nu _{j} \vert \int _{0}^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{ \zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f\bigl(s,x(s),I^{p}x(s)\bigr)-f\bigl(s,y(s),I ^{p}y(s) \bigr) \bigr\vert \\& \quad \quad {} +\chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s)-y(s) \bigr\vert \biggr)\,ds \\& \quad \quad {} + \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f\bigl(u,x(u),I^{p}x(u)\bigr)-f\bigl(u,y(u),I ^{p}y(u) \bigr) \bigr\vert \\& \quad \quad {} +\chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(u)-y(u) \bigr\vert \biggr) \,du \,ds \\& \quad \quad {} + \vert a_{1} \vert \biggl[ \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr)-f\bigl(s,y(s),I^{p}y(s)\bigr) \bigr\vert \,ds \\& \quad \quad {} +\chi \int _{0}^{1}\frac{(1-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s)-y(s) \bigr\vert \,ds \biggr] \\& \quad \quad {} + \vert a_{2} \vert \biggl[ \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{ \varGamma (\zeta +\kappa -1)} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr)-f\bigl(s,y(s),I^{p}y(s)\bigr) \bigr\vert \,ds \\& \quad \quad {} +\chi \int _{0}^{1}\frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)} \bigl\vert x(s)-y(s) \bigr\vert \,ds \biggr] \Biggr] \Biggr\rbrace \\& \quad \leq l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr) \Biggl\lbrace \overline{ \mu }_{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta + \kappa }}{\varGamma (\zeta +\kappa +1)} \\& \quad \quad {} +\overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +\kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma ( \zeta +\kappa +2)} + \frac{ \vert a_{1} \vert }{\varGamma (\zeta +\kappa +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta +\kappa )} \Biggr)\Biggr\rbrace \Vert x-y\Vert \\& \quad \quad {} +\chi \Biggl[ \overline{\mu }_{1} \sum _{j=1}^{m} \vert \nu _{j} \vert \frac{ \sigma _{j}^{\zeta }}{\varGamma (\zeta +1)} +\overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{(\eta _{i}^{\zeta +1}-\xi _{i} ^{\zeta +1})}{\varGamma (\zeta +2)} +\frac{ \vert a_{1} \vert }{\varGamma ( \zeta +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta )} \Biggr) \Biggr] \\& \quad\quad{}\times \Vert x-y \Vert \\& \quad \leq \varLambda _{3} \Vert x-y \Vert , \end{aligned}
which, in view of condition (3.16), implies that $$\mathcal{A}_{2}$$ is a contraction.
(iii)$$\mathcal{A}_{1}$$is compact and continuous. Continuity of f implies that the operator $$\mathcal{A} _{1}$$ is continuous. Also, $$\mathcal{A}_{1}$$ is uniformly bounded on $$B_{r}$$ as
\begin{aligned} \Vert \mathcal{A}_{1}x \Vert \leq & \sup_{t\in [0,1]} \biggl\lbrace \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds +\chi \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \biggr\rbrace \\ \leq & \frac{ \Vert k \Vert }{\varGamma (\zeta +\kappa +1)}+\frac{\chi r}{ \varGamma (\zeta +1)}. \end{aligned}
Next we show the compactness of the operator $$\mathcal{A}_{1}$$.
In view of $$(C_{1})$$, we define $$\sup_{(t,x,y)\in [0,1]\times B_{r} \times B_{r}}\vert f(t,x,y)\vert =\overline{f}$$. Then, for $$0< t_{1}< t _{2}<1$$, we find that
\begin{aligned}& \bigl\vert \mathcal{A}_{1}x(t_{2})-\mathcal{A}_{1}x(t_{1}) \bigr\vert \\& \quad \leq \biggl\vert \frac{1}{\varGamma (\zeta +\kappa )} \int _{0}^{t_{1}} \bigl((t _{2}-s)^{\zeta +\kappa -1}-(t_{1}-s)^{\zeta +\kappa -1} \bigr) f\bigl(s,x(s),I ^{p}x(s)\bigr) \,ds \\& \quad \quad {} + \int _{t_{1}}^{t_{2}}(t_{2}-s)^{\zeta +\kappa -1} f \bigl(s,x(s),I^{p}x(s)\bigr) \,ds \\& \quad \quad {} +\frac{\chi }{\varGamma (\zeta )} \int _{0}^{t_{1}} \bigl((t_{2}-s)^{\zeta -1}-(t _{1}-s)^{\zeta -1}\bigr) x(s)\,ds+ \int _{t_{1}}^{t_{2}}(t_{2}-s)^{\zeta -1} x(s)\,ds \biggr\vert \\& \quad \leq \frac{\overline{f}}{\varGamma (\zeta +\kappa +1)} \bigl[2(t_{2}-t _{1})^{\zeta +\kappa }+ \bigl\vert t_{1}^{\zeta +\kappa }-t_{2}^{\zeta + \kappa } \bigr\vert \bigr] \\& \quad \quad {} +\frac{\chi r}{\varGamma (\zeta +1)} \bigl[2(t_{2}-t_{1})^{\zeta }+ \bigl\vert t_{1}^{\zeta }-t_{2}^{\zeta } \bigr\vert \bigr] \rightarrow 0 \quad \text{as } t_{2}-t_{1} \rightarrow 0, \end{aligned}
independently of $$x\in B_{r}$$. Thus, $$\mathcal{A}_{1}$$ is relatively compact on $$B_{r}$$. Hence, by the Arzela–Ascoli theorem, $$\mathcal{A}_{1}$$ is compact on $$B_{r}$$. In view of steps (i)–(iii), the hypothesis of Krasnoselskii’s fixed point theorem [37] is satisfied. Thus, by the conclusion of Krasnoselskii’s fixed point theorem, there exists a point $$x\in B_{r}$$ such that $$x=\mathcal{A} _{1}x+\mathcal{A}_{2}x$$, which corresponds to a solution of problem (1.1) on $$[0,1]$$. This completes the proof. □

Theorem 3.3

Let$$f : [0, 1] \times \mathbb{R}^{2} \rightarrow \mathbb{R}$$be a continuous function, and let the following conditions hold:
$$(C_{3})$$

There exist a function$$p_{1} \in C([0, 1], \mathbb{R}^{+})$$and a nondecreasing function$$\psi : \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}$$such that$$\vert f(t, x,I^{p}x)\vert \leq p_{1}(t) \psi (\vert x\vert )$$for all$$t\in [0,1]$$, $$x\in \mathbb{R}$$;

$$(C_{4})$$
There exists a positive constantδsuch that
$$\frac{\delta }{ \Vert p_{1} \Vert \psi (\delta )\varLambda _{1}+\delta \varLambda _{2}}>1,$$
where$$\varLambda _{1}$$and$$\varLambda _{2}$$are respectively given by (3.14) and (3.15).
Then the boundary value problem (1.1) has at least one solution on$$[0, 1]$$.

Proof

We split the proof into several steps. In step 1, we show that the operator $$\mathcal{A}:X \rightarrow X$$ defined by (3.13) maps bounded sets into bounded sets in X. For a positive number r, let $$B_{r} = \{x \in X : \Vert x\Vert \leq r\}$$ be a bounded set in X. Then
\begin{aligned}& \bigl\vert (\mathcal{A}x) (t) \bigr\vert \\ & \quad \leq \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds +\chi \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \\ & \quad \quad {}+ \bigl\vert \mu _{1}(t) \bigr\vert \sum _{j=1}^{m} \vert \nu _{j} \vert \int _{0} ^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert f\bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert +\chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \biggr) \,ds \\ & \quad \quad {}+ \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}} ^{\eta _{i}} \int _{0}^{s} \biggl( \frac{(s-u)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert f\bigl(u,x(u),I^{p}x(u)\bigr) \bigr\vert \\ & \quad \quad {}+\chi \frac{(s-u)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(u) \bigr\vert \biggr) \,du \,ds \\ & \quad \quad {}+ \vert a_{1} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \biggr) \\ & \quad \quad {}+ \vert a_{2} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{\varGamma ( \zeta +\kappa -1)} \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{ \zeta -2}}{\varGamma (\zeta -1)} \bigl\vert x(s) \bigr\vert \,ds \biggr) \Biggr] \Biggr\rbrace \\ & \quad \leq \Vert p_{1} \Vert \psi \bigl( \Vert x \Vert \bigr) \Biggl[ \frac{1}{\varGamma ( \zeta +\kappa +1)}+\overline{\mu }_{1} \sum _{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta +\kappa }}{\varGamma (\zeta +\kappa +1)} \\ & \quad \quad {} +\overline{\mu }_{2} \Biggl( \sum_{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +\kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma ( \zeta +\kappa +2)} + \frac{ \vert a_{1} \vert }{\varGamma (\zeta +\kappa +1)}+ \frac{ \vert a_{2} \vert }{\varGamma (\zeta +\kappa )} \Biggr) \Biggr] \\ & \quad \quad {}+\chi \Vert x \Vert \Biggl[ \frac{1}{\varGamma (\zeta +1)}+\overline{ \mu }_{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta }}{ \varGamma (\zeta +1)} \\ & \quad \quad {} +\overline{\mu }_{2} \Biggl( \sum_{i=1}^{n} \vert \rho _{i} \vert \frac{(\eta _{i}^{\zeta +1}-\xi _{i}^{\zeta +1})}{\varGamma ( \zeta +2)} +\frac{ \vert a_{1} \vert }{\varGamma (\zeta +1)}+\frac{ \vert a _{2} \vert }{\varGamma (\zeta )} \Biggr) \Biggr] \\ & \quad \leq \Vert p_{1} \Vert \psi \bigl( \Vert x \Vert \bigr) \varLambda _{1}+\varLambda _{2} \Vert x \Vert , \end{aligned}
which, on taking the norm for $$t \in [0,1]$$, yields
\begin{aligned} \Vert \mathcal{A}x \Vert \leq & \Vert p_{1} \Vert \psi ( r) \varLambda _{1}+ \varLambda _{2} r. \end{aligned}
Next we show that $$\mathcal{A}$$ maps bounded sets into equicontinuous sets of X. Let $$\tau _{1}, \tau _{2}\in [0, 1]$$ with $$\tau _{1} < \tau _{2}$$ and $$x \in B_{r}$$. Then we obtain
\begin{aligned}& \bigl\vert \mathcal{A}x(\tau _{2})-\mathcal{A}x(\tau _{1}) \bigr\vert \\& \quad \leq \frac{ \Vert p_{1} \Vert \psi (r)}{\varGamma (\zeta +\kappa +1)} \bigl[ 2(\tau _{2}-\tau _{1})^{\zeta +\kappa }+ \bigl\vert \tau _{1}^{\zeta +\kappa }- \tau _{2}^{\zeta +\kappa } \bigr\vert \bigr]+ \frac{\chi r}{\varGamma (\zeta +1)} \bigl[ 2(\tau _{2}-\tau _{1})^{\zeta }+ \bigl\vert \tau _{1}^{\zeta }-\tau _{2}^{\zeta } \bigr\vert \bigr] \\ & \quad \quad {} +\frac{ \vert B_{2} \vert \vert \tau _{2}^{\zeta +1}-\tau _{1}^{\zeta +1} \vert }{ \vert \Delta \vert \varGamma (\zeta +2)}\sum_{j=1}^{m} \vert \nu _{j} \vert \biggl[ \frac{ \Vert p_{1} \Vert \psi (r)\sigma _{j}^{\zeta + \kappa }}{\varGamma (\zeta +\kappa +1)}+\frac{\chi r\sigma _{j}^{\zeta }}{ \varGamma (\zeta +1)} \biggr] \\ & \quad \quad {} +\frac{ \vert A_{2} \vert \vert \tau _{2}^{\zeta +1}-\tau _{1}^{\zeta +1} \vert }{ \vert \Delta \vert \varGamma (\zeta +2)} \Biggl[\sum_{i=1}^{n} \vert \rho _{i} \vert \biggl( \frac{ \Vert p_{1} \Vert \psi (r)(\eta _{i}^{\zeta + \kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma (\zeta +\kappa +2)} + \frac{ \chi r(\eta _{i}^{\zeta +1}-\xi _{i}^{\zeta +1})}{\varGamma (\zeta +2)} \biggr) \\ & \quad \quad {} + \vert a_{1} \vert \biggl( \frac{ \Vert p_{1} \Vert \psi (r)}{\varGamma ( \zeta +\kappa +1)}+ \frac{\chi r}{\varGamma (\zeta +1)} \biggr) + \vert a _{2} \vert \biggl( \frac{ \Vert p_{1} \Vert \psi (r)}{\varGamma (\zeta + \kappa )}+ \frac{\chi r}{\varGamma (\zeta )} \biggr) \Biggr] \to 0 \end{aligned}
as $$\tau _{2}-\tau _{1}\rightarrow 0$$ independently of $$x \in B_{r}$$. In view of the foregoing arguments, we deduce by the Arzela–Ascoli theorem that the operator $$\mathcal{A}: X\rightarrow X$$ is completely continuous.
Lastly, we establish that the set of all solutions x to equation $$x = \theta \mathcal{A} x$$ is bounded for $$\theta \in [0, 1]$$. As argued in proving that the operator $$\mathcal{A}$$ is bounded, one can obtain that
$$\frac{ \Vert x \Vert }{ \Vert p_{1} \Vert \psi ( \Vert x \Vert )\varLambda _{1}+ \varLambda _{2} \Vert x \Vert }\leq 1.$$
On the other hand, we can find a positive number δ such that $$\Vert x\Vert \neq \delta$$ by assumption $$(C_{4})$$. Let us consider a set $$V = \{x \in X :\Vert x\Vert < \delta \}$$. Notice that the operator $$\mathcal{A} : \overline{V} \rightarrow X$$ is continuous and completely continuous. From the definition of V, we cannot find any $$x \in \partial V$$ satisfying the equation $$x = \theta \mathcal{A}(x)$$ for some $$\theta \in (0, 1)$$. Thus we conclude by the Leray–Schauder nonlinear alternative [38] that there exists a fixed point $$x \in \overline{V}$$ for the operator $$\mathcal{A}$$, which is a solution of problem (1.1). This completes the proof. □

Theorem 3.4

Assume that$$f:[0,1]\times \mathbb{R}^{2}\rightarrow \mathbb{R}$$is a continuous function satisfying condition$$(C_{1})$$. Then there exists a unique solution for the boundary value problem (1.1) on$$[0,1]$$provided that
$$l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr) \varLambda _{1}+ \varLambda _{2} < 1,$$
(3.17)
where$$\varLambda _{1}$$and$$\varLambda _{2}$$are respectively given by (3.14) and (3.15).

Proof

Consider a closed ball $$B_{\overline{r}}= \lbrace x \in X :\Vert x\Vert \leq \overline{r} \rbrace$$, where
$$\overline{r}\geq \frac{M_{0}\varLambda _{1}}{1-(l(1+ \frac{1}{\varGamma (p+1)})\varLambda _{1}+\varLambda _{2})},\quad M_{0}= \sup _{t\in [0,1]} \bigl\vert f(t,0,0) \bigr\vert < \infty ,$$
and show that $$\mathcal{A}B_{\overline{r}}\subset B_{\overline{r}}$$ ($$\mathcal{A}:X \rightarrow X$$ is defined by (3.13)).
Letting $$\widehat{f}_{x}(s)=f(s,x(s),I^{p}x(s))$$, $$x\in B_{ \overline{r}}$$ and using condition $$(C_{1})$$, we obtain
\begin{aligned}& \begin{aligned} \bigl\vert \widehat{f}_{x}(s) \bigr\vert &= \bigl\vert f \bigl(s,x(s),I^{p}x(s)\bigr)-f(s,0,0)+f(s,0,0) \bigr\vert \\ &\leq \bigl\vert f\bigl(s,x(s),I^{p}x(s)\bigr)-f(s,0,0) \bigr\vert + \bigl\vert f(s,0,0) \bigr\vert \end{aligned} \\& \begin{aligned} \hphantom{\bigl\vert \widehat{f}_{x}(s) \bigr\vert }& \leq l \bigl( \bigl\vert x(s) \bigr\vert + \bigl\vert I^{p}x(s) \bigr\vert \bigr)+ \bigl\vert f(s,0,0) \bigr\vert \\ &\leq l \biggl(1 +\frac{1}{\varGamma (p+1)} \biggr) \Vert x \Vert +M_{0}\leq l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr)\overline{r}+M_{0}. \end{aligned} \end{aligned}
Then
\begin{aligned} \bigl\vert \mathcal{A} x(t) \bigr\vert \leq & \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s) \bigr\vert \,ds +\chi \int _{0}^{t} \frac{(t-s)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \\ & {} + \bigl\vert \mu _{1}(t) \bigr\vert \sum _{j=1}^{m} \vert \nu _{j} \vert \int _{0} ^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s) \bigr\vert +\chi \frac{(\sigma _{j}-s)^{ \zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \biggr) \,ds \\ & {} + \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta + \kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s) \bigr\vert + \chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(u) \bigr\vert \biggr)\,du \,ds \\ & {} + \vert a_{1} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s) \bigr\vert \,ds \biggr) \\ & {} + \vert a_{2} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{ \varGamma (\zeta +\kappa -1)} \bigl\vert \widehat{f}_{x}(s) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)} \bigl\vert x(s) \bigr\vert \,ds \biggr) \Biggr] \Biggr\rbrace \\ \leq& \biggl(l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr)\varLambda _{1}+ \varLambda _{2} \biggr)\overline{r}+M_{0} \varLambda _{1} \le \overline{r}, \end{aligned}
which implies that $$\Vert \mathcal{A}x\Vert \leq \overline{r}$$. Thus $$\mathcal{A}B_{\overline{r}}\subset B_{\overline{r}}$$.
Now, for $$x,y\in X$$ and for each $$t\in [0,1]$$, we obtain
\begin{aligned}& \Vert \mathcal{A}x-\mathcal{A}y \Vert \\& \quad \leq \sup_{t\in [0,1]} \Biggl\lbrace \int _{0}^{t} \frac{(t-s)^{ \zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s)- \widehat{f}_{y}(s) \bigr\vert \,ds +\chi \int _{0}^{t} \frac{(t-s)^{\zeta -1}}{ \varGamma (\zeta )} \bigl\vert x(s)-y(s) \bigr\vert \,ds \\& \quad \quad {} + \bigl\vert \mu _{1}(t) \bigr\vert \sum _{j=1}^{m} \vert \nu _{j} \vert \int _{0} ^{\sigma _{j}} \biggl(\frac{(\sigma _{j}-s)^{\zeta +\kappa -1}}{\varGamma ( \zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s)-\widehat{f}_{y}(s) \bigr\vert + \chi \frac{(\sigma _{j}-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s)-y(s) \bigr\vert \biggr)\,ds \\& \quad \quad {} + \bigl\vert \mu _{2}(t) \bigr\vert \Biggl[\sum _{i=1}^{n} \vert \rho _{i} \vert \int _{\xi _{i}}^{\eta _{i}} \int _{0}^{s} \biggl(\frac{(s-u)^{\zeta +\kappa -1}}{\varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(u)-\widehat{f} _{y}(u) \bigr\vert \\& \quad \quad {} +\chi \frac{(s-u)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(u)-y(u) \bigr\vert \biggr) \,du \,ds \\& \quad \quad {} + \vert a_{1} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -1}}{ \varGamma (\zeta +\kappa )} \bigl\vert \widehat{f}_{x}(s)-\widehat{f}_{y}(s) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -1}}{\varGamma (\zeta )} \bigl\vert x(s)-y(s) \bigr\vert \,ds \biggr) \\& \quad \quad {} + \vert a_{2} \vert \biggl( \int _{0}^{1}\frac{(1-s)^{\zeta +\kappa -2}}{ \varGamma (\zeta +\kappa -1)} \bigl\vert \widehat{f}_{x}(s)-\widehat{f}_{y}(s) \bigr\vert \,ds+\chi \int _{0}^{1}\frac{(1-s)^{\zeta -2}}{\varGamma (\zeta -1)} \bigl\vert x(s)-y(s) \bigr\vert \,ds \biggr) \Biggr] \Biggr\rbrace \\& \quad \leq l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr) \Biggl\lbrace \frac{1}{ \varGamma (\zeta +\kappa +1)}+\overline{\mu }_{1} \sum _{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta +\kappa }}{\varGamma (\zeta +\kappa +1)} \\& \quad \quad {} + \overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{( \eta _{i}^{\zeta +\kappa +1}-\xi _{i}^{\zeta +\kappa +1})}{\varGamma ( \zeta +\kappa +2)} + \frac{ \vert a_{1} \vert }{\varGamma (\zeta +\kappa +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta +\kappa )} \Biggr)\Biggr\rbrace \Vert x-y\Vert \\& \quad \quad {} + \chi \Biggl[ \frac{1}{\varGamma (\zeta +1)}+\overline{\mu }_{1} \sum_{j=1}^{m} \vert \nu _{j} \vert \frac{\sigma _{j}^{\zeta }}{\varGamma ( \zeta +1)} \\& \quad \quad {}+\overline{\mu }_{2} \Biggl( \sum _{i=1}^{n} \vert \rho _{i} \vert \frac{(\eta _{i}^{\zeta +1}-\xi _{i}^{\zeta +1})}{\varGamma (\zeta +2)} +\frac{ \vert a_{1} \vert }{\varGamma (\zeta +1)}+\frac{ \vert a_{2} \vert }{\varGamma (\zeta )} \Biggr) \Biggr] \Vert x-y \Vert \\& \quad \leq\biggl[ l \biggl(1+\frac{1}{\varGamma (p+1)} \biggr) \varLambda _{1}+ \varLambda _{2} \biggr] \Vert x-y \Vert , \end{aligned}
which shows that $$\mathcal{A}$$ is a contraction in view of condition (3.17). Hence we deduce by the Banach contraction mapping principle that the operator $$\mathcal{A}$$ has a unique fixed point, which corresponds to a unique solution of problem (1.1) on $$[0,1]$$. This completes the proof. □

4 Examples

Consider the following Langevin equation with fixed fractional orders:
$${}^{c}D^{\frac{3}{2}} \biggl( {{}^{c}}D^{\frac{1}{2}}+ \frac{1}{4} \biggr) x(t)=f\bigl(t,x(t),I ^{\frac{3}{4}}x(t)\bigr) , \quad t\in [0,1],$$
(4.1)
subject to the multi-point and multi-strip boundary conditions
\begin{aligned} x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j}), \quad\quad x'(0)=0, \quad \quad a_{1}x(1)+a_{2}x'(1)=\sum _{i=1}^{n}\rho _{i} \int _{\xi _{i}}^{\eta _{i}}x(s)\,ds, \end{aligned}
(4.2)
where $$\zeta =\frac{1}{2}$$, $$\kappa =\frac{3}{2}$$, $$p=\frac{3}{4}$$, $$\chi =\frac{1}{4}$$, $$m=3$$, $$n=3$$, $$a_{1}=1$$, $$a_{2}=1$$, $$\sigma _{1}=\frac{1}{28}$$, $$\sigma _{2}=\frac{1}{21}$$, $$\sigma _{3}= \frac{1}{14}$$, $$\xi _{1}=\frac{1}{9}$$, $$\xi _{2}=\frac{3}{9}$$, $$\xi _{3}=\frac{5}{9}$$, $$\eta _{1}=\frac{2}{9}$$, $$\eta _{2}=\frac{4}{9}$$, $$\eta _{3}=\frac{6}{9}$$, $$\nu _{1}=\frac{1}{15}$$, $$\nu _{2}= \frac{1}{10}$$, $$\nu _{3}=\frac{1}{5}$$, $$\rho _{1}=\frac{1}{12}$$, $$\rho _{2}=\frac{1}{6}$$, $$\rho _{3}=\frac{1}{4}$$, and $$f(t,x,I^{p}x)$$ will be fixed later. Using the given values, we find that $$\varLambda _{1} \approx 1.111762$$, $$\varLambda _{2} \approx 0.511583$$ ($$\varLambda _{1}$$ and $$\varLambda _{2}$$ are respectively given by (3.14) and (3.15)).
In order to illustrate Theorem 3.2, we take the following nonlinear function in (4.1):
$$f\bigl(t,x,I^{\frac{3}{4}}x\bigr)=\frac{1}{\sqrt{t^{2}+144}} \biggl( \tan ^{-1} x+e ^{-t} \int _{0}^{t}\frac{(t-s)^{\frac{-1}{4}}}{\varGamma (\frac{3}{4})}x \,ds+ \frac{1}{3} \biggr) , \quad 0< t< 1,$$
(4.3)
which obviously satisfies the Lipschitz condition $$(C_{1})$$ with $$l=1/12$$, that is,
\begin{aligned} \bigl\vert f\bigl(t,x,I^{\frac{3}{4}}x\bigr)-f\bigl(t,y,I^{\frac{3}{4}}y \bigr) \bigr\vert \leq \frac{1}{12} \biggl(1+\frac{1}{\varGamma (7/4)} \biggr) \vert x-y \vert . \end{aligned}
Moreover, $$\varLambda _{3} \approx 0.335938 <1$$. Clearly the hypothesis of Theorem 3.2 holds true, and consequently its conclusion applies to problem (4.1)–(4.2) with $$f(t,x,I^{ \frac{3}{4}}x)$$ given by (4.3).
To demonstrate the application of Theorem 3.3, we consider
$$f\bigl(t,x,I^{\frac{3}{4}}x\bigr)=\frac{1}{\sqrt{25+t^{2}}} \biggl( \sin x + \frac{ \vert x \vert }{4(1+ \vert x \vert )}+I^{\frac{3}{4}}x+\frac{1}{4} \biggr), \quad t\in [0,1]$$
(4.4)
in (4.1) and note that
\begin{aligned} \bigl\vert f\bigl(t,x,I^{\frac{3}{4}}x\bigr) \bigr\vert \leq \frac{1}{\sqrt{25+t^{2}}} \biggl(\frac{1}{2}+ \biggl(1+\frac{1}{\varGamma (\frac{7}{4})} \biggr) \Vert x \Vert \biggr), \end{aligned}
with $$p_{1}(t)=\frac{1}{\sqrt{25+t^{2}}}$$, $$\Vert p_{1}\Vert = \frac{1}{5}$$, and $$\psi (\Vert x \Vert )=\frac{1}{2}+ (1+\frac{1}{ \varGamma (\frac{7}{4})} )\Vert x\Vert$$. By condition $$(C_{4})$$, we find that $$M>4.60723755$$. Thus all the assumptions of Theorem 3.3 are satisfied. Hence, there exists at least one solution for problem (4.1)–(4.2) with $$f(t,x,I^{\frac{3}{4}}x)$$ given by (4.4) on $$[0,1]$$.

Since $$l(1+\frac{1}{\varGamma (7/4)}) \varLambda _{1}+\varLambda _{2} \approx 0.705036 <1$$, therefore problem (4.1)–(4.2) with $$f(t,x,I^{ \frac{3}{4}}x)$$ given by (4.3) has a unique solution on $$[0,1]$$ by Theorem 3.4.

5 Conclusions

We have discussed the solvability of a nonlinear Langevin equation involving Caputo fractional derivatives of different orders with nonlinearity depending upon the unknown function together with its Riemann–Liouville fractional integral, subject to nonlocal multi-point and multi-strip boundary conditions. The results obtained in this paper are new and strengthen the literature on Langevin equation. Moreover, several results follow as special cases of the ones presented in this paper by fixing the parameters in the boundary conditions. For example, our results correspond to the boundary conditions:
• $$x(0)=0$$, $$x'(0)=0$$, $$a_{1}x(1)+a_{2}x'(1)=0$$ if we take all $$\rho _{i}=0= \nu _{j}$$, $$i=1,2,\ldots,n$$, $$j=1,2,\ldots,m$$, and $$a_{1} \ne 0 \ne a_{2}$$;

• $$x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j})$$, $$x'(0)=0$$, $$a_{1}x(1)+a_{2}x'(1)=0$$ by fixing all $$\rho _{i}=0$$, $$i=1,2,\ldots,n$$;

• $$x(0)=0$$, $$x'(0)=0$$, $$a_{1}x(1)+a_{2}x'(1)=\sum_{i=1}^{n}\rho _{i} \int _{\xi _{i}}^{\eta _{i}}x(s)\,ds$$ by taking all $$\nu _{j}=0$$, $$j=1,2,\ldots,m$$;

• $$x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j})$$, $$x'(0)=0$$, $$x(1)=\sum_{i=1} ^{n}\rho _{i}\int _{\xi _{i}}^{\eta _{i}}x(s)\,ds$$ for $$a_{1}=1$$, $$a_{2}=0$$;

• $$x(0)=\sum_{j=1}^{m} \nu _{j} x(\sigma _{j})$$, $$x'(0)=0$$, $$\sum_{i=1}^{n} \rho _{i}\int _{\xi _{i}}^{\eta _{i}}x(s)\,ds=0$$ when $$a_{1}=0=a_{2}$$ and all $$\rho _{i}$$ ($$i=1,2,\ldots,n$$) and $$\nu _{j}$$ ($$j=1,2,\ldots,m$$) are not zero.

Notes

Acknowledgements

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-MSc-10-130-39). The authors, therefore, acknowledge with thanks DSR technical and financial support. The authors also appreciate the reviewers for their useful comments on our paper.

Not applicable.

Authors’ contributions

Each of the authors, BA, AA, and SS, contributed equally to each part of this work. All authors read and approved the final manuscript.

Funding

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia under grant no. (KEP-MSc-10-130-39).

Competing interests

The authors declare that they have no competing interests.

References

1. 1.
Langevin, P.: Sur la théorie du mouvement brownien. C. R. Acad. Sci. Paris 146, 530–533 (1908) (in French)
2. 2.
Klages, R., Radons, G., Sokolov, I.M.: Anomalous Transport: Foundations and Applications. Wiley, Weinheim (2008)
3. 3.
Kubo, R.: The fluctuation–dissipation theorem. Rep. Prog. Phys. 29, 255–284 (1966)
4. 4.
Kubo, R., Toda, M., Hashitsume, N.: Statistical Physics II, 2nd edn. Springer, Berlin (1991)
5. 5.
Magin, R.L.: Fractional Calculus in Bioengineering. Begell House, Chicago (2006) Google Scholar
6. 6.
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
7. 7.
Sabatier, J., Agrawal, O.P., Machado, J.A.T.: Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)
8. 8.
Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, Singapore (2010)
9. 9.
Fallahgoul, H.A., Focardi, S.M., Fabozzi, F.J.: Fractional Calculus and Fractional Processes with Applications to Financial Economics: Theory and Application. Elsevier, London (2017)
10. 10.
Carvalho, A., Pinto, C.M.A.: A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int. J. Dyn. Control 5, 168–186 (2017)
11. 11.
Ahmad, B., Sivasundaram, S.: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 217, 480–487 (2010)
12. 12.
Zhai, C., Xu, L.: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820–2827 (2014)
13. 13.
Li, B., Sun, S., Li, Y., Zhao, P.: Multi-point boundary value problems for a class of Riemann–Liouville fractional differential equations. Adv. Differ. Equ. 2014, 151 (2014)
14. 14.
Zhang, L., Ahmad, B., Wang, G.: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half line. Bull. Aust. Math. Soc. 91, 116–128 (2015)
15. 15.
Henderson, J., Luca, R.: Nonexistence of positive solutions for a system of coupled fractional boundary value problems. Bound. Value Probl. 2015, 138 (2015)
16. 16.
Ntouyas, S.K., Etemad, S.: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235–243 (2015)
17. 17.
Qarout, D., Ahmad, B., Alsaedi, A.: Existence theorems for semilinear Caputo fractional differential equations with nonlocal discrete and integral boundary conditions. Fract. Calc. Appl. Anal. 19, 463–479 (2016)
18. 18.
Zhou, Y., Ahmad, B., Alsaedi, A.: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70–74 (2017)
19. 19.
Chang, Y.-K., Pereira, A., Ponce, R.: Approximate controllability for fractional differential equations of Sobolev type via properties on resolvent operators. Fract. Calc. Appl. Anal. 20, 963–987 (2017)
20. 20.
Wang, G., Pei, K., Agarwal, R.P., Zhang, L., Ahmad, B.: Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 343, 230–239 (2018)
21. 21.
Zhou, Y.: Attractivity for fractional differential equations in Banach space. Appl. Math. Lett. 75, 1–6 (2018)
22. 22.
Tariboon, J., Cuntavepanit, A., Ntouyas, S.K., Nithiarayaphaks, W.: Separated boundary value problems of sequential Caputo and Hadamard fractional differential equations. J. Funct. Spaces 2018, Article ID 6974046 (2018)
23. 23.
Ahmad, B., Luca, R.: Existence of solutions for sequential fractional integro-differential equations and inclusions with nonlocal boundary conditions. Appl. Math. Comput. 339, 516–534 (2018)
24. 24.
Eab, C.H., Lim, S.C.: Fractional generalized Langevin equation approach to single-file diffusion. Physica A 389, 2510–2521 (2010)
25. 25.
Eule, S., Friedrich, R., Jenko, F., Kleinhans, D.: Langevin approach to fractional diffusion equations including inertial effects. J. Phys. Chem. B 111(39), 11474–11477 (2007)
26. 26.
West, B.J., Latka, M.: Fractional Langevin model of gait variability. J. NeuroEng. Rehabil. 2, 24 (2005)
27. 27.
Lim, S.C., Li, M., Teo, L.P.: Langevin equation with two fractional orders. Phys. Lett. A 372, 6309–6320 (2008)
28. 28.
Ahmad, B., Nieto, J., Alsaedi, A., El-Shahed, M.: A study of nonlinear Langevin equation involving two fractional orders in different intervals. Nonlinear Anal., Real World Appl. 13, 599–606 (2012)
29. 29.
Ahmad, B., Ntouyas, S.K.: New existence results for differential inclusions involving Langevin equation with two indices. J. Nonlinear Convex Anal. 14(3), 437–450 (2013)
30. 30.
Torres, C.: Existence of solution for fractional Langevin equation: variational approach. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 54 (2014)
31. 31.
Sudsutad, W., Ahmad, B., Ntouyas, S.K., Tariboon, J.: Impulsively hybrid fractional quantum Langevin equation with boundary conditions involving Caputo $$q_{k}$$-fractional derivatives. Chaos Solitons Fractals 91, 47–62 (2016)
32. 32.
Baghani, O.: On fractional Langevin equation involving two fractional orders. Commun. Nonlinear Sci. Numer. Simul. 42, 675–681 (2017)
33. 33.
Li, B., Sun, S., Sun, Y.: Existence of solutions for fractional Langevin equation with infinite-point boundary conditions. J. Appl. Math. Comput. 53, 683–692 (2017)
34. 34.
Muensawat, T., Ntouyas, S.K., Tariboon, J.: Systems of generalized Sturm–Liouville and Langevin fractional differential equations. Adv. Differ. Equ. 2017, Article ID 63 (2017)
35. 35.
Fazli, H., Nieto, J.J.: Fractional Langevin equation with anti-periodic boundary conditions. Chaos Solitons Fractals 114, 332–337 (2018)
36. 36.
Zhou, Z., Qiao, Y.: Solutions for a class of fractional Langevin equations with integral and anti-periodic boundary conditions. Bound. Value Probl. 2018, Article ID 152 (2018)
37. 37.
Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955)
38. 38.
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)