Advertisement

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

  • Bashir AhmadEmail author
  • 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.

3.1 Auxiliary lemma

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

3.3 Uniqueness result

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.

Availability of data and materials

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) zbMATHGoogle Scholar
  2. 2.
    Klages, R., Radons, G., Sokolov, I.M.: Anomalous Transport: Foundations and Applications. Wiley, Weinheim (2008) CrossRefGoogle Scholar
  3. 3.
    Kubo, R.: The fluctuation–dissipation theorem. Rep. Prog. Phys. 29, 255–284 (1966) CrossRefGoogle Scholar
  4. 4.
    Kubo, R., Toda, M., Hashitsume, N.: Statistical Physics II, 2nd edn. Springer, Berlin (1991) zbMATHGoogle Scholar
  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) CrossRefGoogle Scholar
  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) CrossRefGoogle Scholar
  8. 8.
    Mainardi, F.: Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models. Imperial College Press, Singapore (2010) CrossRefGoogle Scholar
  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) zbMATHGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetzbMATHGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  18. 18.
    Zhou, Y., Ahmad, B., Alsaedi, A.: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70–74 (2017) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Zhou, Y.: Attractivity for fractional differential equations in Banach space. Appl. Math. Lett. 75, 1–6 (2018) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetzbMATHGoogle Scholar
  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) MathSciNetGoogle Scholar
  24. 24.
    Eab, C.H., Lim, S.C.: Fractional generalized Langevin equation approach to single-file diffusion. Physica A 389, 2510–2521 (2010) CrossRefGoogle Scholar
  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) CrossRefGoogle Scholar
  26. 26.
    West, B.J., Latka, M.: Fractional Langevin model of gait variability. J. NeuroEng. Rehabil. 2, 24 (2005) CrossRefGoogle Scholar
  27. 27.
    Lim, S.C., Li, M., Teo, L.P.: Langevin equation with two fractional orders. Phys. Lett. A 372, 6309–6320 (2008) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetzbMATHGoogle Scholar
  30. 30.
    Torres, C.: Existence of solution for fractional Langevin equation: variational approach. Electron. J. Qual. Theory Differ. Equ. 2014, Article ID 54 (2014) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  32. 32.
    Baghani, O.: On fractional Langevin equation involving two fractional orders. Commun. Nonlinear Sci. Numer. Simul. 42, 675–681 (2017) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  35. 35.
    Fazli, H., Nieto, J.J.: Fractional Langevin equation with anti-periodic boundary conditions. Chaos Solitons Fractals 114, 332–337 (2018) MathSciNetCrossRefGoogle Scholar
  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) MathSciNetCrossRefGoogle Scholar
  37. 37.
    Krasnoselskii, M.A.: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123–127 (1955) MathSciNetGoogle Scholar
  38. 38.
    Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003) CrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of ScienceKing Abdulaziz UniversityJeddahSaudi Arabia

Personalised recommendations