Open Access

On the nonlocal Katugampola fractional integral conditions for fractional Langevin equation

  • Chatthai Thaiprayoon1,
  • Sotiris K Ntouyas2, 3 and
  • Jessada Tariboon4, 5Email author
Advances in Difference Equations20152015:374

https://doi.org/10.1186/s13662-015-0712-3

Received: 15 July 2015

Accepted: 28 November 2015

Published: 10 December 2015

Abstract

In this paper, we study the existence and uniqueness of solutions for a problem consisting of nonlinear Langevin equation of Riemann-Liouville type fractional derivatives with the nonlocal Katugampola fractional integral conditions. A variety of fixed point theorems are used such as Banach’s fixed point theorem, Krasnoselskii’s fixed point theorem, Leray-Schauder’s nonlinear alternative, and Leray-Schauder degree theory. Enlightening examples of the obtained results are also presented.

Keywords

fractional differential equationsgeneralized fractional integralKatugampola fractional integralnonlocal boundary conditionsfixed point theorems

MSC

26A3334A08

1 Introduction

In this manuscript, we investigate the sufficient conditions of the existence of solutions for the following fractional Langevin equation subject to the generalized nonlocal fractional integral conditions of the form:
$$ \left \{ \textstyle\begin{array}{@{}l} D^{p_{1}} (D^{p_{2}} +\lambda)x(t)=f(t, x(t)), \quad 0< t< T,\\ x(0)=0, \qquad x(\eta)= \sum_{i=1}^{n} \alpha_{i} \frac{\rho_{i}^{1-q_{i}}}{\Gamma(q_{i})}\int_{0}^{\xi _{i}}\frac{s^{\rho_{i}-1}x(s)}{(t^{\rho_{i}}-s^{\rho_{i}})^{1-q_{i}}}\,ds:=\sum_{i=1}^{n} \alpha_{i} ^{\rho_{i}} I^{q_{i}}x(\xi_{i}), \end{array}\displaystyle \right . $$
(1.1)
where \(D^{p_{i}}\) denote the Riemann-Liouville fractional derivative of order \(p_{i}\), \(i=1,2\), \(0< p_{1},p_{2}\leq1\), \(1< p_{1}+p_{2}\leq2\), λ is a given constant, \({^{\rho_{i}}}I^{q_{i}}\) are the generalized fractional integral of orders \(q_{i}>0\), \(\rho_{i}>0\), η, \(\xi_{i}\) arbitrary, with \(\eta,\xi_{i} \in(0,T)\), \(\alpha_{i}\in\mathbb{R}\), which are satisfied (2.3) for all \(i=1,2,\ldots,n\) and \(f: [0,T]\times{\mathbb {R}}\to{\mathbb {R}}\) is a continuous function.

The subject of fractional differential equations has recently evolved as an interesting and popular field of research; see the interesting paper [1]. In fact, fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. More and more researchers have found that fractional differential equations play important roles in many research areas, such as physics, chemical technology, population dynamics, biotechnology, and economics. For examples and recent developments of the topic, see [216] and the references cited therein.

In fractional calculus, the fractional derivatives are defined via fractional integrals. There are several known forms of fractional integrals, which have been studied extensively for their applications. Two of the best known fractional integrals are the Riemann-Liouville and the Hadamard fractional integral.

A new fractional integral, called generalized Riemann-Liouville fractional integral, which generalizes the Riemann-Liouville and the Hadamard integrals into a single form, was introduced in [17]. See Definition 2.3 below. The corresponding fractional derivatives were introduced in [18]. The Mellin transforms of both the fractional integral and derivatives were studied in [19]. This integral is now known as the ‘Katugampola fractional integral’ see for example [20], pp.15,123. The existence and uniqueness results for the Caputo-Katugampola derivative are given in [21]. For some recent work with this new operator and similar operators, for example, see [2225] and the references cited therein.

The Langevin equation (first formulated by Langevin in 1908 to give an elaborate description of Brownian motion) is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments [26]. For instance, Brownian motion is well described by the Langevin equation (or generalized Langevin equation) when the random fluctuation force is assumed to be white noise (or non-white noise). For systems in complex media, the ordinary Langevin equation does not provide a correct description of the dynamics. As a result, various generalizations of Langevin equations have been offered to describe dynamical processes in a fractal medium. One such generalization is the generalized Langevin equation which incorporates the fractal and memory properties with a dissipative memory kernel into the Langevin equation. For some new developments on the fractional Langevin equation, see, for example, [2732].

In this paper we study the boundary value problem (1.1) with generalized fractional integral boundary conditions. Several new existence and uniqueness results are proved by using a variety of fixed point theorems (such as the Banach contraction principle, the Krasnoselskii fixed point theorem, the Leray-Schauder nonlinear alternative, and Leray-Schauder degree theory).

The rest of the paper is organized as follows: in Section 2 we recall some preliminary facts that we need in the sequel. In Section 3 we present our existence and uniqueness results. Examples illustrating the obtained results are presented in Section 4.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus [2, 3] and present preliminary results needed in our proofs later.

Definition 2.1

[3]

The Riemann-Liouville fractional integral of order \(p > 0\) of a continuous function \(f:(0,\infty)\rightarrow\mathbb{R}\) is defined by
$$\mathcal{I}^{p} f(t)=\frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1}f(s)\,ds, $$
provided the right-hand side is point-wise defined on \((0,\infty)\), where Γ is the gamma function defined by \(\Gamma(p)=\int _{0}^{\infty} e^{-s}s^{p-1}\,ds\).

Definition 2.2

[3]

The Riemann-Liouville fractional derivative of order \(p > 0\) of a continuous function \(f:(0,\infty)\rightarrow\mathbb{R}\) is defined by
$$D^{p} f(t)=\frac{1}{\Gamma(n-p)} \biggl(\frac{d}{dt} \biggr)^{n} \int_{0}^{t}(t-s)^{n-p-1}f(s)\,ds, \quad n-1 \le p< n, $$
where \(n=[p]+1\), \([p]\) denotes the integer part of a real number p, provided the right-hand side is point-wise defined on \((0,\infty)\).

Lemma 2.1

[3]

Let \(p > 0\) and \(x\in C(0,T)\cap L(0,T)\). Then the fractional differential equation \(D^{p}x(t)=0\) has a unique solution
$$\begin{aligned} x(t) = \sum_{i=1}^{n}c_{i} t^{p-i}, \end{aligned}$$
and the following formula holds:
$$\begin{aligned} \mathcal{I}^{p}D^{p}x(t)=x(t)+\sum _{i=1}^{n}c_{i} t^{p-i}, \end{aligned}$$
where \(c_{i} \in\mathbb{R}\), \(i = 1,2,\ldots,n\), and \(n-1\le p< n\).

Lemma 2.2

([3], p.71)

Let \(\alpha>0\) and \(\beta>0\). Then the following properties hold:
$$\begin{aligned} \mathcal{I}^{\alpha}(x-a)^{\beta-1}(t) =&\frac{\Gamma(\beta)}{\Gamma (\beta+\alpha)} (t-a)^{\beta+\alpha-1}. \end{aligned}$$

Definition 2.3

[18]

The Katugampola fractional integral of order \(q >0\) and \(\rho>0\), of a function \(f(t)\), for all \(0< t<\infty\), is defined as
$$\begin{aligned} {^{\rho}}I^{q} f(t)=\frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t}\frac{s^{\rho -1}f(s)}{(t^{\rho}-s^{\rho})^{1-q}}\,ds, \end{aligned}$$
provided the right-hand side is point-wise defined on \((0,\infty)\).

Lemma 2.3

Let constants \(\rho,q > 0\) and \(p>0\). Then the following formula holds:
$$\begin{aligned} {^{\rho}}I^{q} t^{p}= \frac{\Gamma (\frac{p+\rho}{\rho} )}{\Gamma (\frac{p+\rho q+\rho}{\rho} )} \frac{t^{p+\rho q}}{\rho^{q}}. \end{aligned}$$
(2.1)

Proof

From Definition 2.3, we have
$$\begin{aligned} {^{\rho}}I^{q} t^{p} =&\frac{\rho^{1-q}}{\Gamma(q)} \int_{0}^{t}\frac{s^{\rho-1} s^{p}}{(t^{\rho}-s^{\rho})^{1-q}}\,ds \\ =&\frac{\rho^{1-q}}{\Gamma(q)}\frac{t^{p+\rho q}}{\rho} \int_{0}^{1}\frac {u^{\frac{p}{\rho}}}{(1-u)^{1-q}}\,du \\ =&\frac{\rho^{1-q}}{\Gamma(q)}\frac{t^{p+\rho q}}{\rho}B \biggl(\frac {p+\rho}{\rho},q \biggr) \\ =&\frac{t^{p+\rho q}}{\rho^{q}} \frac{\Gamma (\frac{p+\rho}{\rho} )}{\Gamma (\frac{p+\rho q+\rho}{\rho} )}. \end{aligned}$$
This completes the proof. □
For convenience we set
$$ \begin{aligned} & \Omega_{1}= \frac{\Gamma(p_{1})}{\Gamma (p_{1}+p_{2})} \eta^{p_{1}+p_{2}-1}, \\ &\Omega_{2} = \sum_{i=1}^{n} \frac{\alpha_{i}\Gamma (p_{1})}{\Gamma(p_{1}+p_{2})} \frac{\Gamma (\frac{p_{1}+p_{2}+\rho_{i}-1}{\rho_{i}} )}{\Gamma (\frac{p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i}-1}{\rho_{i}} )}\frac{\xi _{i}^{p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i}-1}}{\rho_{i}^{q_{i}}}, \end{aligned} $$
(2.2)
and
$$\begin{aligned} \Omega= \Omega_{2}-\Omega_{1}\neq0. \end{aligned}$$
(2.3)

Lemma 2.4

Let \(0< p_{1},p_{2}\leq1\), \(1< p_{1}+p_{2}\leq2\), \(q_{i},\rho_{i}>0\), \(\eta, \xi_{i}\in(0, T)\), \(\alpha_{i} \in{\mathbb {R}}\) for all \(i=1,2,\ldots,n\) and \(h\in C([0,T], {\mathbb {R}})\). Then the problem
$$\begin{aligned} &D^{p_{1}} \bigl(D^{p_{2}} +\lambda \bigr)x(t)=h(t), \quad 0< t< T, \end{aligned}$$
(2.4)
$$\begin{aligned} & x(0)=0, \qquad x(\eta)=\sum_{i=1}^{n} \alpha_{i} ^{\rho_{i}} I^{q_{i}}x(\xi _{i}), \end{aligned}$$
(2.5)
has a unique solution given by
$$\begin{aligned} x(t) =& \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[{_{RL}}I^{p_{1}+p_{2}}h(\eta)-\lambda {_{RL}}I^{p_{2}}x( \eta) \\ &{}-\sum_{i=1}^{n}\alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl({_{RL}}I^{p_{1}+p_{2}}h(s)- \lambda {_{RL}}I^{p_{2}}x(s) \bigr) (\xi_{i}) \Biggr] \\ &{}+{_{RL}}I^{p_{1}+p_{2}}h(t)-\lambda {_{RL}}I^{p_{2}}x(t). \end{aligned}$$
(2.6)

Proof

Applying Lemma 2.1 to equation (2.4), we obtain
$$ \bigl(D^{p_{2}} +\lambda \bigr)x(t)= \mathcal{I}^{p_{1}}h(t)+c_{1} t^{p_{1}-1}, $$
which gives
$$ x(t)= \mathcal{I}^{p_{1}+p_{2}}h(t)-\lambda \mathcal{I}^{p_{2}}x(t)+c_{1} \frac {\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})}t^{p_{1}+p_{2}-1}+c_{2} t^{p_{2}-1}, $$
for \(c_{1},c_{2} \in\mathbb{R}\). It is easy to see that the condition \(x(0)=0\) implies that \(c_{2}=0\).
Thus
$$ x(t)= \mathcal{I}^{p_{1}+p_{2}}h(t)-\lambda \mathcal{I}^{p_{2}}x(t)+c_{1} \frac {\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})}t^{p_{1}+p_{2}-1}. $$
(2.7)
Combining the generalized fractional integral of order \(q_{i} >0\), \(\rho_{i} >0\) with (2.7), we have
$$\begin{aligned} {^{\rho_{i} }}I^{q_{i}}x(t) =& {^{\rho_{i} }}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}h(s)-\lambda \mathcal{I}^{p_{2}}x(s) \bigr) (t) \\ &{}+ c_{1}\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})}\frac{\Gamma(\frac {p_{1}+p_{2}+\rho_{i} -1}{\rho_{i} })}{ \Gamma(\frac{p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i} -1}{\rho_{i} })}\frac{t^{p_{1}+p_{2}+\rho_{i} q_{i}-1}}{\rho_{i} ^{q_{i}}}. \end{aligned}$$
(2.8)
Using the second condition of (2.5) to (2.8), we get
$$\begin{aligned} &\mathcal{I}^{p_{1}+p_{2}}h(\eta)-\lambda \mathcal{I}^{p_{2}}x(\eta )+c_{1}\Omega_{1} \\ &\quad= \sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl( \mathcal{I}^{p_{1}+p_{2}}h(s)-\lambda \mathcal{I}^{p_{2}}x(s) \bigr) (\xi _{i})+ c_{1} \Omega_{2}. \end{aligned}$$
Solving the above equation for finding a constant \(c_{1}\), we obtain
$$\begin{aligned} c_{1}=\frac{1}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}h(\eta)- \lambda \mathcal{I}^{p_{2}}x(\eta) -\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}h(s)-\lambda \mathcal{I}^{p_{2}}x(s) \bigr) ( \xi_{i}) \Biggr]. \end{aligned}$$
Substituting the constant \(c_{1}\) into (2.7), we have (2.6) as desired. □

3 Main results

Let \(\mathcal{C}=C([0, T],\mathbb{R})\) denote the Banach space of all continuous functions from \([0, T]\) to \(\mathbb{R}\) endowed with the norm defined by \(\|x\|=\sup_{t\in[0, T]}|x(t)|\). Throughout this paper, for convenience, we choose the notations \(\mathcal {I}^{z}f(s,x(s))(y)\) and \({^{\rho}}I^{z} f(s,x(s))(y)\) defined by
$$\begin{aligned}& \mathcal{I}^{z} f \bigl(s,x(s) \bigr) (y)=\frac{1}{\Gamma(z)} \int_{0}^{y} (y-s)^{z-1}f \bigl(s,x(s) \bigr)\,ds, \\& {^{\rho}}I^{z} f \bigl(s,x(s) \bigr) (y)=\frac{\rho^{1-z}}{\Gamma(z)} \int_{0}^{y}\frac {s^{\rho-1}f(s,x(s))}{(y^{\rho}-s^{\rho})^{1-z}}\,ds, \end{aligned}$$
where \(z>0\) and \(y\in[0,T]\).
To prove our results, in view of Lemma 2.4, we define an operator \(\mathcal{Q}:\mathcal {C}\rightarrow\mathcal{C}\) by
$$\begin{aligned} \mathcal{Q}x(t)={}& \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[ \mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta )-\lambda \mathcal{I}^{p_{2}}x(s) (\eta) \\ &{} -\sum_{i=1}^{n}\alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau)-\lambda \mathcal{I}^{p_{2}}x(s) (\tau) \bigr) ( \xi_{i}) \Biggr] \\ &{} +\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t)-\lambda \mathcal {I}^{p_{2}}x(s) (t). \end{aligned}$$
(3.1)
It should be noticed the boundary value problem (1.1) can be transformed into a fixed point problem \(x=\mathcal{Q}x\). Consequently the problem (1.1) has solutions if and only if the operator \(\mathcal{Q}\) has fixed points. In the following subsections we investigate sufficient conditions for the existence of solutions for the boundary value problem (1.1) by using a variety of fixed point theorems.
To simplify the notations, we use in the following constants \(\Lambda (u)\) for \(u=p_{1}\) and \(u=0\), where
$$\begin{aligned} \Lambda(u) =& \frac{T^{u+p_{2}}}{\Gamma(1+u+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl(\frac{\eta^{u+p_{2}}}{\Gamma (1+u+p_{2})} \\ &+\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma(1+u+p_{2})}\frac{\xi _{i}^{u+p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{u+p_{2}+\rho _{i}}{\rho_{i}} )}{\Gamma (\frac{u+p_{2}+\rho_{i} q_{i}+\rho_{i}}{\rho _{i}} )} \biggr] \Biggr). \end{aligned}$$
(3.2)

3.1 Existence and uniqueness result via Banach’s fixed point theorem

Theorem 3.1

Assume that:
(H1): 

there exists a constant \(L>0\) such that \(|f(t,u)-f(t,v)|\leq L|u-v|\), for each \(t\in[0, T]\) and \(u, v\in \mathbb{R}\).

If
$$ L\Lambda(p_{1})+|\lambda|\Lambda(0)< 1, $$
(3.3)
where \(\Lambda(p_{1})\), \(\Lambda(0)\) are defined by (3.2), then the problem (1.1) has a unique solution on \([0, T]\).

Proof

To accomplish this result, we consider a fixed point problem \(x=\mathcal{Q}x\), where the operator \(\mathcal{Q}\) is defined as in (3.1). By applying the Banach contraction mapping principle, we will show that \(\mathcal{Q}\) has a unique fixed point.

First of all, we let \(\sup_{t \in[0,T]}|f(t,0)|=M< \infty \) and choose
$$\begin{aligned} R\geq\frac{M\Lambda(p_{1})}{1-L\Lambda(p_{1})-|\lambda|\Lambda(0)}, \end{aligned}$$
Now, we show that \(\mathcal{Q} B_{R} \subset B_{R}\), where \(B_{R}=\{x \in {\mathcal{C}}: \|x\|\le R \}\). For any \(x \in B_{R}\), we have
$$\begin{aligned} &\bigl|(\mathcal{\mathcal{Q}}x) (t)\bigr| \\ &\quad = \biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta )-\lambda \mathcal{I}^{p_{2}}x(s) (\eta) \\ &\qquad{}-\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau)-\lambda \mathcal{I}^{p_{2}}x(s) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t)-\lambda \mathcal {I}^{p_{2}}x(s) (t) \biggr| \\ &\quad \leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (\eta) \\ &\qquad{}+|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)\bigr|(\eta)+\sum _{i=1}^{n}|\alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (\tau) \\ &\qquad{}+|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)\bigr|(\tau) \bigr) ( \xi_{i}) \Biggr] +\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr) (t) +|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)\bigr|(t) \\ &\quad \leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\bigl(L\|x\|+M\bigr) \bigl( \mathcal {I}^{p_{1}+p_{2}}1 \bigr) (\eta)+|\lambda| \|x\| \bigl(\mathcal {I}^{p_{2}}1 \bigr) (\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\bigl(L\|x\|+M\bigr) \bigl( \mathcal{I}^{p_{1}+p_{2}}1 \bigr) (\tau) +|\lambda|\|x\| \bigl( \mathcal{I}^{p_{2}}1 \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+\bigl(L\|x\|+M\bigr) \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t)+|\lambda| \|x \| \bigl(\mathcal{I}^{p_{2}}1 \bigr) (t) \\ &\quad\leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl(\frac{(LR+M)\eta^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})} + \frac{|\lambda| R\eta^{p_{2}}}{\Gamma(1+p_{2})} \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| \biggl[\frac{(LR+M)}{\Gamma (1+p_{1}+p_{2})} \bigl({^{\rho_{i}}}I^{q_{i}} \tau^{p_{1}+p_{2}} \bigr) (\xi_{i}) +\frac{|\lambda|R}{\Gamma(1+p_{2})} \bigl({^{\rho_{i}}}I^{q_{i}}\tau ^{p_{2}} \bigr) ( \xi_{i}) \biggr] \Biggr) \\ &\qquad{}+\frac{(LR+M)t^{p_{1}+p_{2}}}{\Gamma(1+p_{1}+p_{2})}+ \frac{|\lambda |Rt^{p_{2}}}{\Gamma(1+p_{2})} \\ &\quad\leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl(\frac{(LR+M)\eta^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})} + \frac{|\lambda| R\eta^{p_{2}}}{\Gamma(1+p_{2})} \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| \biggl[\frac{(LR+M)}{\Gamma(1+p_{1}+p_{2})}\frac {\xi_{i}^{p_{1}+p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}} \frac{\Gamma (\frac {p_{1}+p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac{p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i}}{\rho_{i}} )} \\ &\qquad{}+\frac{|\lambda|R}{\Gamma(1+p_{2})}\frac{\xi_{i}^{p_{2}+\rho_{i} q_{i}}}{\rho _{i}^{q_{i}}}\frac{\Gamma (\frac{p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac{p_{2}+\rho_{i} q_{i}+\rho_{i}}{\rho_{i}} )} \biggr] \Biggr)+\frac {(LR+M)t^{p_{1}+p_{2}}}{\Gamma(1+p_{1}+p_{2})}+ \frac{|\lambda|Rt^{p_{2}}}{\Gamma (1+p_{2})} \\ &\quad \leq (LR+M)\Lambda(p_{1})+|\lambda|R\Lambda(0). \end{aligned}$$
This implies that \(\|\mathcal{Q}x\|\leq R\) for \(x \in B_{R}\). Therefore, \(\mathcal{Q}\) maps bounded subsets of \(B_{R}\) into bounded subsets of \(B_{R}\).
Next, we let \(x, y\in\mathcal{C}\). Then for \(t\in[0,T]\), we have
$$\begin{aligned} &\bigl|(\mathcal{Q}x) (t)-(\mathcal{Q}y) (t)\bigr| \\ &\quad \leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr| \bigr) (\eta) +|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)-y(s)\bigr|(\eta)\\ &\qquad{}+\sum _{i=1}^{n}|\alpha _{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr| \bigr) (t) +|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)-y(s)\bigr|(t) \bigr) ( \xi_{i}) \Biggr]\\ &\qquad{} +\mathcal{I}^{p_{1}+p_{2}} \bigl(\bigl|f \bigl(s,x(s) \bigr)-f \bigl(s,y(s) \bigr)\bigr| \bigr) (t) +|\lambda| \mathcal{I}^{p_{2}}\bigl|x(s)-y(s)\bigr|(t) \\ &\quad\leq L\Lambda(p_{1})\|x-y\|+|\lambda|\|x-y\|\Lambda(0) \\ &\quad= \bigl[L\Lambda(p_{1})+|\lambda|\Lambda(0) \bigr]\|x-y\|, \end{aligned}$$
which implies that \(\|\mathcal{Q}x-\mathcal{Q}y\|\leq [L\Lambda (p_{1})+|\lambda|\Lambda(0) ]|x-y\|\). As \([L\Lambda (p_{1})+|\lambda|\Lambda(0) ]<1\), \(\mathcal{Q}\) is a contraction. Therefore, by the Banach contraction mapping principle, we deduce that \(\mathcal{Q}\) has a fixed point which is the unique solution of problem (1.1). The proof is completed. □

3.2 Existence result via Leray-Schauder’s nonlinear alternative

Theorem 3.2

(Nonlinear alternative for single valued maps) [33]

Let E be a Banach space, C a closed, convex subset of E, U an open subset of C, and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact (that is, \(F(\overline {U})\) is a relatively compact subset of C) map. Then either
  1. (i)

    F has a fixed point in , or

     
  2. (ii)

    there is a \(u\in\partial U\) (the boundary of U in C) and \(\xi\in(0,1)\) with \(u=\xi F(u)\).

     

Theorem 3.3

Assume that:
(H2): 
there exists a continuous nondecreasing function \(\Upsilon: [0,\infty) \to (0,\infty)\) and a function \(\beta\in C([0,T],\mathbb{R}^{+})\) such that
$$\bigl|f(t,u)\bigr|\le\beta(t)\Upsilon\bigl(|u|\bigr) \quad \textit{for each } (t,u) \in[0,T] \times \mathbb{R}; $$
(H3): 
there exists a constant \(M>0\) such that
$$\begin{aligned} \frac{M}{\|\beta\|\Upsilon (M )\Lambda(p_{1})+|\lambda|M\Lambda (0)}> 1, \end{aligned}$$
where \(\Lambda(p_{1})\) and \(\Lambda(0)\) are defined by (3.2).
Then the problem (1.1) has at least one solution on \([0,T]\).

Proof

Let the operator \(\mathcal{Q}\) be defined by (3.1). We first show that \(\mathcal{Q}\) maps bounded sets (balls) into bounded sets in \(C([0,T], \mathbb{R})\). For a constant \(R>0\), we set the ball \(B_{R} = \{x \in C([0,T], \mathbb{R}): \|x\| \le R \}\) to be a bounded ball in \(C([0,T], \mathbb{R})\). Then for \(t\in [0,T]\) we have
$$\begin{aligned} &\bigl|(\mathcal{Q}x) (t)\bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta )-\lambda \mathcal{I}^{p_{2}}x(s) (\eta) \\ &\qquad{}-\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau)-\lambda \mathcal{I}^{p_{2}}x(s) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t)-\lambda \mathcal {I}^{p_{2}}x(s) (t) \Biggr| \\ &\quad\le \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal{I}^{p_{1}+p_{2}} \|\beta\| \Upsilon\bigl(\|x\|\bigr) (\eta) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\eta)\\ &\qquad{}+\sum _{i=1}^{n}|\alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal{I}^{p_{1}+p_{2}}\|\beta\| \Upsilon\bigl(\|x\| \bigr) (\tau) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\tau) \bigr) ( \xi_{i}) \Biggr]\\ &\qquad{} +\mathcal{I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (t)+|\lambda| \mathcal {I}^{p_{2}}\|x\|(t) \\ &\quad\le \|\beta\|\Upsilon\bigl(\|x\|\bigr)\Lambda(p_{1})+|\lambda|R\Lambda(0) \\ &\quad\le \|\beta\|\Upsilon (R )\Lambda(p_{1})+|\lambda|R\Lambda(0), \end{aligned}$$
and consequently,
$$\begin{aligned} \|\mathcal{Q}x\|\le\|\beta\|\Upsilon (R )\Lambda(p_{1})+|\lambda |R \Lambda(0). \end{aligned}$$
Next we will show in the second step that \(\mathcal{Q}\) maps bounded sets into equicontinuous sets of \(C([0,T], \mathbb{R})\) . Let \(t_{1}, t_{2} \in[0,T]\) with \(t_{1}< t_{2}\) and \(x \in B_{R}\). Then we have
$$\begin{aligned} &\bigl|(\mathcal{Q} x) (t_{2})-(\mathcal{Q} x) (t_{1})\bigr| \\ &\quad \le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta)-\lambda \mathcal{I}^{p_{2}}x(s) (\eta ) \\ &\qquad{}-\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau)-\lambda \mathcal{I}^{p_{2}}x(s) (\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+ \bigl|\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t_{2})- \mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t_{1}) \bigr| \\ &\qquad{}+ \bigl|\lambda \mathcal{I}^{p_{2}}x(s) (t_{2})-\lambda \mathcal {I}^{p_{2}}x(s) (t_{1}) \bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\eta) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\eta) \\ &\qquad{}+\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\tau) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+ \bigl|\mathcal{I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (t_{2})-\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (t_{1}) \bigr| \\ &\qquad{}+ \bigl|\lambda \mathcal{I}^{p_{2}}x(s) (t_{2})-\lambda \mathcal {I}^{p_{2}}x(s) (t_{1}) \bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\eta) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\eta) \\ &\qquad{}+\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\tau) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+\|\beta\|\Upsilon(R) \bigl| \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t_{2})- \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t_{1}) \bigr| \\ &\qquad{}+|\lambda|R \bigl| \bigl(\mathcal{I}^{p_{2}} \bigr) (t_{2})- \bigl(\mathcal {I}^{p_{2}} \bigr) (t_{1}) \bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\eta) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\eta) \\ &\qquad{}+\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}\|\beta\|\Upsilon\bigl(\|x\|\bigr) (\tau) +|\lambda| \mathcal{I}^{p_{2}}\|x\|(\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+\|\beta\|\Upsilon(R) \biggl|\frac{t_{2}^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})}-\frac{t_{1}^{p_{1}+p_{2}}}{\Gamma(1+p_{1}+p_{2})} \biggr| \\ &\qquad{}+|\lambda|R \biggl|\frac{t_{2}^{p_{2}}}{\Gamma(1+p_{2})}-\frac {t_{1}^{p_{2}}}{\Gamma(1+p_{2})} \biggr|. \end{aligned}$$
We see that the right-hand side of the above inequality tends to zero independently of \(x\in B_{R}\) as \(t_{2}-t_{1}\rightarrow0\). Therefore, by the conclusion of the Arzelá-Ascoli theorem [34], the operator \(\mathcal{Q}: C([0,T], \mathbb{R}) \to C([0,T], \mathbb{R})\) is completely continuous.
Let x be a solution. Then, for \(t\in[0,T]\), and using a similar method to the computation of the first step, we have
$$|x(t)|\le\|\beta\|\Upsilon \bigl(\|x\| \bigr)\Lambda(p_{1})+|\lambda|\|x\| \Lambda(0), $$
which leads to
$$\frac{\|x\|}{\|\beta\|\Upsilon (\|x\| )\Lambda(p_{1})+|\lambda|\| x\|\Lambda(0)}\leq1. $$
In view of (H3), there exists a positive constant M such that \(\| x\|\ne M\). Let us set
$$\begin{aligned} U= \bigl\{ x\in C \bigl([0, T], \mathbb{R} \bigr) : \|x\|< M \bigr\} . \end{aligned}$$
Then the operator \(\mathcal{Q}:\overline{U}\rightarrow C([0, T], \mathbb {R})\) is continuous and completely continuous. From the choice of U, there is no \(x\in\partial U\) such that \(x=\mu\mathcal{Q}x\) for some \(\mu\in(0,1)\). Consequently, by the nonlinear alternative of Leray-Schauder type, we deduce that \(\mathcal{Q}\) has a fixed point \(x\in\overline{U}\), which is a solution of the problem (1.1). This completes the proof. □

3.3 Existence result via Krasnoselskii’s fixed point theorem

The next result is based on the following fixed point theorem.

Lemma 3.1

(Krasnoselskii’s fixed point theorem) [35]

Let M be a closed, bounded, convex and nonempty subset of a Banach space X. Let A, B be the operators such that (a) \(Ax+By \in M\) whenever \(x, y \in M\); (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists \(z \in M\) such that \(z=Az+Bz\).

Theorem 3.4

Suppose that:
(H4): 

\(|f(t,u)|\le\psi(t)\), \(\forall(t,u) \in[0,T] \times{\mathbb {R}}\), and \(\psi\in C([0,T], {\mathbb {R}}^{+})\).

If
$$ |\lambda|\Lambda(0)< 1, $$
(3.4)
then the problem (1.1) has at least one solution on \([0,T]\).

Proof

To prove our result, we set \(\sup_{t\in[0, T]}|\psi(t)|=\|\psi\|\) and choose
$$\begin{aligned} R\geq\frac{\|\psi\|\Lambda(p_{1})}{1-|\lambda|\Lambda(0)} \end{aligned}$$
(3.5)
(where \(\Lambda(p_{1})\) and \(\Lambda(0)\) are defined by (3.2)). Let \(B_{R}=\{x\in\mathcal{C}([0, T], \mathbb {R}):\|x\|\leq R\}\). We define the two operators \(\mathcal{Q}_{1}\) and \(\mathcal{Q}_{2}\) on \(B_{R}\) by
$$\begin{aligned}& \begin{aligned}[b] (\mathcal{Q}_{1}x ) (t)={}& \frac{\Gamma(p_{1})}{\Gamma (p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta) \\ &{}-\sum_{i=1}^{n}\alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] +\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t), \end{aligned}\\& \begin{aligned}[b] (\mathcal{Q}_{2}x ) (t)={}& {-}\frac{\lambda\Gamma (p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{2}}x(s) (\eta) -\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{2}}x(s) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &{}-\lambda \mathcal{I}^{p_{2}}x(s) (t), \quad t\in[0,T]. \end{aligned} \end{aligned}$$
For any \(x,y\in B_{R}\), we have
$$\begin{aligned} &\bigl|\mathcal{Q}_{1}x(t)+\mathcal{Q}_{2}y(t)\bigr| \\ &\quad = \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta) \\ &\qquad{}-\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] +\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t) \\ &\qquad{} -\frac{\lambda\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{2}}y(s) (\eta) -\sum_{i=1}^{n}\alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{2}}y(s) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}-\lambda \mathcal{I}^{p_{2}}y(s) (t) \\ &\quad\le \|\psi\| \Biggl(\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[ \bigl( \mathcal{I}^{p_{1}+p_{2}}1 \bigr) (\eta) +\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl( \bigl(\mathcal {I}^{p_{1}+p_{2}}1 \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+ \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t) \Biggr)+R \Biggl( \frac{|\lambda |\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[ \bigl(\mathcal{I}^{p_{2}}1 \bigr) (\eta ) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl( \bigl(\mathcal {I}^{p_{2}}1 \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] +|\lambda| \bigl(\mathcal{I}^{p_{2}}1 \bigr) (t) \Biggr) \\ &\quad=\|\psi\|\Lambda(p_{1})+R|\lambda|\Lambda(0) \le R, \end{aligned}$$
which implies that \(\|\mathcal{Q}_{1}x+\mathcal{Q}_{2}y\|\leq R\). This shows that \(\mathcal{Q}_{1}x+\mathcal{Q}_{2}y\in B_{R}\).
Using (3.4) for \(x,y \in\mathcal{C}\) and for each \(t \in[0, T]\), we have
$$\|\mathcal{Q}_{2}x-\mathcal{Q}_{2}y\|\leq|\lambda|\Lambda(0) \|x-y\|, $$
which implies that \(\mathcal{Q}_{2}\) is a contraction mapping. The continuity of f implies that the operator \(\mathcal{Q}_{1}\) is continuous. Also, \(\mathcal{Q}_{1}\) is uniformly bounded on \(B_{R}\) as
$$\|\mathcal{Q}_{1} x\| \le \|\psi\|\Lambda(p_{1}). $$
Next we will prove the compactness of the operator \(\mathcal{Q}_{1}\).
Define \(\sup_{(t,x) \in(0,T) \times B_{R}}|f(t,x)|=\overline{f}< \infty\). Consequently we have
$$\begin{aligned} &\bigl|(\mathcal{Q}_{1} x) (t_{2})-(\mathcal{Q}_{1} x) (t_{1})\bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+ \bigl|\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t_{2})- \mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t_{1}) \bigr| \\ &\quad\le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal {I}^{p_{1}+p_{2}}\|\psi\|(\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}\|\psi\|(\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+ \bigl|\mathcal{I}^{p_{1}+p_{2}}\|\psi\|(t_{2})- \mathcal{I}^{p_{1}+p_{2}}\|\psi\| (t_{1}) \bigr| \\ &\quad \le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\mathcal {I}^{p_{1}+p_{2}}\|\psi\|(\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}\|\psi\|(\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| \\ &\qquad{}+\|\psi\| \bigl| \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t_{2})- \bigl(\mathcal {I}^{p_{1}+p_{2}}1 \bigr) (t_{1}) \bigr| \\ &\quad \le \|\psi\| \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t_{2}^{p_{1}+p_{2}-1}-t_{1}^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[ \bigl( \mathcal {I}^{p_{1}+p_{2}}1 \bigr) (\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl( \bigl(\mathcal {I}^{p_{1}+p_{2}}1 \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] \Biggr| +\|\psi\| \biggl|\frac{t_{2}^{p_{1}+p_{2}}-t_{1}^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})} \biggr|, \end{aligned}$$
which is independent of x and tends to zero as \(t_{2}-t_{1}\to0\). Thus, \(\mathcal{Q}_{1}\) is equicontinuous. So \(\mathcal{Q}_{1}\) is relatively compact on \(B_{R}\). Hence, by the Arzelá-Ascoli theorem, \(\mathcal{Q}_{1}\) is compact on \(B_{R}\). Thus all the assumptions of Lemma 3.1 are satisfied. So the conclusion of Lemma 3.1 implies that the problem (1.1) has at least one solution on \([0,T]\). □

3.4 Existence result via Leray-Schauder degree

Theorem 3.5

Assume that:
(H5): 
There exist constants \(0\leq L < [1-|\lambda |\Lambda(0) ][\Lambda(p_{1})]^{-1}\) and \(M>0\) such that
$$\bigl|f(t,x)\bigr|\leq L |x|+M \quad \textit{for all } (t,x) \in[0,T] \times\mathbb{R}, $$
where \(\Lambda(p_{1})\) and \(\Lambda(0)\) are given by (3.2).
Then the problem (1.1) has at least one solution on \([0,T]\).

Proof

We are considering the fixed point problem
$$ x=\mathcal{Q}x, $$
(3.6)
where operator \(\mathcal{Q}:\mathcal{C}\rightarrow\mathcal{C}\) is defined by (3.1).
To prove our result, it is sufficient to show that \(\mathcal{Q}:\overline{B}_{R}\rightarrow\mathcal{C}\) satisfies
$$ x\neq\kappa\mathcal{Q}x,\quad \forall x\in\partial B_{R}, \forall\kappa\in[0,1], $$
(3.7)
where \(B_{R}=\{x\in\mathcal{C}:\sup_{t\in[0,T]}|x(t)|< R, R>0\}\). We define a mapping
$$ H(\kappa,x)=\kappa\mathcal{Q}x, \quad x\in\mathcal{C}, \kappa\in [0,1]. $$
As previously proved in Theorem 3.3, we see that the operator \(\mathcal{Q}\) is continuous, uniformly bounded, and equicontinuous. Then, by applying the Arzelá-Ascoli Theorem, a continuous mapping \(h_{\kappa}\) defined by \(h_{\kappa}(x)=x-H(\kappa,x) =x-\kappa\mathcal{Q}x\) is completely continuous. If (3.7) is true, then the following Leray-Schauder degrees are well defined and by the homotopy invariance of topological degree [36], it follows that
$$\begin{aligned} \operatorname{deg}(h_{\kappa},B_{R},0)&=\operatorname{deg}(I- \kappa\mathcal {Q},B_{R},0)=\mathrm{deg}(h_{1},B_{R},0) \\ &=\operatorname{deg}(h_{0},B_{R},0)=\operatorname{deg}(I,B_{R},0)=1 \neq0,\quad 0\in B_{R}, \end{aligned}$$
(3.8)
where I denotes the identity operator. By the nonzero property of the Leray-Schauder degree, \(h_{1}(x)=x-\mathcal{Q}x=0\) for at least one \(x\in B_{R}\). In order to prove (3.7), we assume that \(x=\kappa \mathcal{Q}x\) for some \(\kappa\in[0,1]\). Then
$$\begin{aligned} &\bigl|(\mathcal{\mathcal{Q}}x) (t)\bigr| \\ &\quad \le \Biggl|\frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{\Omega} \Biggl[\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\eta )-\lambda \mathcal{I}^{p_{2}}x(s) (\eta) \\ &\qquad{}-\sum_{i=1}^{n} \alpha_{i} {^{\rho_{i}}}I^{q_{i}} \bigl(\mathcal {I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (\tau)-\lambda \mathcal{I}^{p_{2}}x(s) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+\mathcal{I}^{p_{1}+p_{2}}f \bigl(s,x(s) \bigr) (t)-\lambda \mathcal {I}^{p_{2}}x(s) (t) \Biggr| \\ &\quad \leq \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{t^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl[\bigl(L\|x\|+M\bigr) \bigl( \mathcal {I}^{p_{1}+p_{2}}1 \bigr) (\eta)+|\lambda| \|x\| \bigl(\mathcal {I}^{p_{2}}1 \bigr) (\eta) \\ &\qquad{}+\sum_{i=1}^{n}| \alpha_{i}| {^{\rho_{i}}}I^{q_{i}} \bigl(\bigl(L\|x\|+M\bigr) \bigl( \mathcal{I}^{p_{1}+p_{2}}1 \bigr) (\tau) +|\lambda|\|x\| \bigl( \mathcal{I}^{p_{2}}1 \bigr) (\tau) \bigr) (\xi_{i}) \Biggr] \\ &\qquad{}+\bigl(L\|x\|+M\bigr) \bigl(\mathcal{I}^{p_{1}+p_{2}}1 \bigr) (t)+|\lambda| \|x \| \bigl(\mathcal{I}^{p_{2}}1 \bigr) (t) \\ &\quad \leq \bigl(L\|x\|+M\bigr)\Lambda(p_{1})+|\lambda|\|x\|\Lambda(0) \\ &\quad \leq \bigl[L\Lambda(p_{1})+|\lambda|\Lambda(0) \bigr]\|x\|+M \Lambda(p_{1}). \end{aligned}$$
By direct computation for \(\|x\|=\sup_{t\in[0,T]} |x(t)|\), we have
$$\|x\| \le \frac{M\Lambda(p_{1})}{1-L\Lambda(p_{1})-|\lambda |\Lambda(0)}. $$
If \(R=\frac{M\Lambda(p_{1})}{1-L\Lambda(p_{1})-|\lambda |\Lambda(0)}+1\), then inequality (3.7) holds. This completes the proof. □

4 Examples

In this section, we present some examples to illustrate our results.

Example 4.1

Consider the following fractional Langevin equation subject to the nonlocal Katugampola fractional integral conditions:
$$ \left \{ \textstyle\begin{array}{@{}l} D^{1/3} (D^{3/4}+\frac{1}{7} )x(t)=\frac{3\cos ^{2}\pi t}{(5-2t)^{2}}\cdot\frac{3|x(t)|}{|x(t)|+4}, \quad 0 < t < 1,\\ x(0)=0,\qquad x (\frac{3}{4} )=\frac{3}{4} ^{2/3}I^{3/4}x (\frac{1}{4} ) +\frac{2}{3} ^{3/4}I^{1/2}x (\frac{1}{2} )+\frac{1}{2} ^{4/7}I^{1/3}x (\frac{3}{4} ). \end{array}\displaystyle \right . $$
(4.1)
Here \(p_{1}=1/3\), \(p_{2}=3/4\), \(\lambda=1/7\), \(\eta=3/4\), \(n=3\), \(\alpha _{1}=3/4\), \(\alpha_{2}=2/3\), \(\alpha_{3}=1/2\), \(\rho_{1}=2/3\), \(\rho_{2}=3/4\), \(\rho_{3}=4/7\), \(q_{1}=3/4\), \(q_{2}=1/2\), \(q_{3}=1/3\), \(\xi_{1}=1/2\), \(\xi _{2}=1/2\), \(\xi_{3}=3/4\), and \(f(t,x)=((3\cos^{2}\pi t)/((5-2t)^{2}))((3|x|)/(|x|+4))\). Since \(|f(t,x)-f(t,y)| \leq (1/4)|x-y|\), (H1) is satisfied with \(L=1/4\). We can show that
$$\begin{aligned}[b] \Lambda(p_{1})={}& \frac{T^{p_{1}+p_{2}}}{\Gamma(1+p_{1}+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl(\frac{\eta^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})} \\ &{} +\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma (1+p_{1}+p_{2})}\frac{\xi_{i}^{p_{1}+p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{p_{1}+p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac {p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i}}{\rho_{i}} )} \biggr] \Biggr) \\ \approx{}&2.201479798 \end{aligned} $$
and
$$\begin{aligned} \Lambda(0)={}& \frac{T^{p_{2}}}{\Gamma(1+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl( \frac{\eta^{p_{2}}}{\Gamma (1+p_{2})} \\ &{} +\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma (1+p_{2})}\frac{\xi_{i}^{p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac{p_{2}+\rho_{i} q_{i}+\rho _{i}}{\rho_{i}} )} \biggr] \Biggr) \\ \approx{}&2.77114232. \end{aligned}$$
Thus \(L\Lambda(p_{1})+|\lambda|\Lambda(0)\approx 0.9462474238<1\). Hence, by Theorem 3.1, the boundary value problem (4.1) has a unique solution on \([0,1]\).

Example 4.2

Consider the following fractional Langevin equation subject to the nonlocal Katugampola fractional integral conditions:
$$ \left \{ \textstyle\begin{array}{@{}l} D^{2/3} (D^{4/5}+\frac{2}{7} )x(t)=\frac{x(t) \sin\pi t}{(3\pi+2 x^{2}(t)\cos\pi t)^{2}}+\frac{4\cos\pi t}{3\pi^{2}+3 t^{2}},\quad 0 < t < 1,\\ x(0)=0, \qquad x (\frac{2}{3} )=\frac{1}{7} ^{1/3}I^{1/4}x (\frac{1}{4} ) +\frac{1}{5} ^{2/3}I^{2/3}x (\frac{3}{4} ). \end{array}\displaystyle \right . $$
(4.2)
Here \(p_{1}=2/3\), \(p_{2}=4/5\), \(\lambda=2/7\), \(\eta=2/3\), \(n=2\), \(\alpha _{1}=1/7\), \(\alpha_{2}=1/5\), \(\rho_{1}=1/3\), \(\rho_{2}=2/3\), \(q_{1}=1/4\), \(q_{2}=2/3\), \(\xi_{1}=1/4\), \(\xi_{2}=3/4\), and \(f(t,x)=((x \sin\pi t)/((3\pi +2 x^{2}\cos\pi t)^{2}))+((4\cos\pi t)/(3\pi^{2}+3 t^{2}))\). Then we get
$$\begin{aligned} \Lambda(p_{1})={}& \frac{T^{p_{1}+p_{2}}}{\Gamma(1+p_{1}+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl(\frac{\eta^{p_{1}+p_{2}}}{\Gamma (1+p_{1}+p_{2})} \\ &{} +\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma (1+p_{1}+p_{2})}\frac{\xi_{i}^{p_{1}+p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{p_{1}+p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac {p_{1}+p_{2}+\rho_{i} q_{i}+\rho_{i}}{\rho_{i}} )} \biggr] \Biggr) \\ \approx{}&1.649709484 \end{aligned}$$
and
$$\begin{aligned} \Lambda(0)={}& \frac{T^{p_{2}}}{\Gamma(1+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl( \frac{\eta^{p_{2}}}{\Gamma (1+p_{2})} \\ &{} +\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma (1+p_{2})}\frac{\xi_{i}^{p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac{p_{2}+\rho_{i} q_{i}+\rho _{i}}{\rho_{i}} )} \biggr] \Biggr) \\ \approx{}&2.762196753. \end{aligned}$$
Clearly,
$$ \bigl|f(t,x)\bigr|= \biggl|\frac{x(t) \sin\pi t}{(3\pi+2 x^{2}(t)\cos \pi t)^{2}}+\frac{4\cos\pi t}{3\pi^{2}+3 t^{2}} \biggr| \leq\frac{4}{9\pi^{2}} \bigl(\bigl|x(t)\bigr|+3 \bigr). $$
(4.3)
Choosing \(\beta(t) = (4)/(9\pi^{2})\) and \(\Upsilon(|x|) = |x| + 3\), we can show that
$$ \frac{M}{\|\beta\|\Upsilon(M)\Lambda(p_{1})+|\lambda|M\Lambda(0)}>1, $$
(4.4)
which implies that \(M>1.632586649\). Hence, by Theorem 3.3, the boundary value problem (4.2) has at least one solution on \([0,1]\).

Example 4.3

Consider the following fractional Langevin equation subject to the nonlocal Katugampola fractional integral conditions:
$$ \left \{ \textstyle\begin{array}{@{}l} D^{4/5} (D^{1/2}+\frac{1}{5} )x(t)=\frac{t\sin t}{t+2} \cdot\frac{\arctan x(t)}{2|x(t)|+3}, \quad 0 < t < 1,\\ x(0)=0, \qquad x (\frac{1}{2} )=\frac{4}{9} ^{4/5}I^{1/4}x (\frac{5}{9} ) +\frac{4}{7} ^{3/5}I^{2/3}x (\frac{2}{3} )+\frac{4}{9} ^{2/3}I^{1/4}x (\frac{7}{9} ). \end{array}\displaystyle \right . $$
(4.5)
Here \(p_{1}=4/5\), \(p_{2}=1/2\), \(\lambda=1/5\), \(\eta=1/2\), \(n=3\), \(\alpha _{1}=4/9\), \(\alpha_{2}=4/7\), \(\alpha_{3}=4/9\), \(\rho_{1}=4/5\), \(\rho_{2}=3/5\), \(\rho_{3}=2/3\), \(q_{1}=1/4\), \(q_{2}=2/3\), \(q_{3}=1/4\), \(\xi_{1}=5/9\), \(\xi _{2}=2/3\), \(\xi_{3}=7/9\), and \(f(t,x)=((t\sin t)/(t+2))((\arctan x)/(2|x|+3))\). Since \(|f(t,x)| \leq(t\sin t)/(2t+4)\) and we find that
$$\begin{aligned} \Lambda(0)={}& \frac{T^{p_{2}}}{\Gamma(1+p_{2})}+ \frac{\Gamma(p_{1})}{\Gamma(p_{1}+p_{2})} \frac{T^{p_{1}+p_{2}-1}}{|\Omega|} \Biggl( \frac{\eta^{p_{2}}}{\Gamma (1+p_{2})} \\ &{} +\sum_{i=1}^{n}|\alpha_{i}| \biggl[\frac{1}{\Gamma (1+p_{2})}\frac{\xi_{i}^{p_{2}+\rho_{i} q_{i}}}{\rho_{i}^{q_{i}}}\frac{\Gamma (\frac{p_{2}+\rho_{i}}{\rho_{i}} )}{\Gamma (\frac{p_{2}+\rho_{i} q_{i}+\rho _{i}}{\rho_{i}} )} \biggr] \Biggr) \\ \approx{}&4.91504846. \end{aligned}$$
Thus \(|\lambda|\Lambda(0)\approx 0.9830096921<1\). Hence, by Theorem 3.4, the boundary value problem (4.5) has at least one solution on \([0,1]\).

Declarations

Acknowledgements

We thank the reviewers for their constructive comments that led to the improvement of the original manuscript. This research is partially supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand.

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’ Affiliations

(1)
Department of Mathematics, Faculty of Science, Burapha University
(2)
Department of Mathematics, University of Ioannina
(3)
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University
(4)
Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok
(5)
Centre of Excellence in Mathematics, CHE

References

  1. Machado, JA: And I say to myself: ‘What a fractional world!’. Fract. Calc. Appl. Anal. 14(4), 635-654 (2011) MATHGoogle Scholar
  2. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999) MATHGoogle Scholar
  3. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
  4. Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, Boston (2012) MATHGoogle Scholar
  5. Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59, 1095-1100 (2010) View ArticleMathSciNetMATHGoogle Scholar
  6. Baleanu, D, Mustafa, OG, Agarwal, RP: On \(L^{p}\)-solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 218, 2074-2081 (2011) View ArticleMathSciNetMATHGoogle Scholar
  7. Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, Article ID 36 (2011) View ArticleMathSciNetGoogle Scholar
  8. Ahmad, B, Ntouyas, SK, Alsaedi, A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011, Article ID 107384 (2011) View ArticleMathSciNetGoogle Scholar
  9. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013) View ArticleMathSciNetMATHGoogle Scholar
  10. Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013, Article ID 320415 (2013) MathSciNetGoogle Scholar
  11. Ahmad, B, Nieto, JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013, Article ID 149659 (2013) View ArticleMathSciNetGoogle Scholar
  12. Zhang, L, Ahmad, B, Wang, G, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013) View ArticleMathSciNetMATHGoogle Scholar
  13. Liu, X, Jia, M, Ge, W: Multiple solutions of a p-Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013, Article ID 126 (2013) View ArticleMathSciNetGoogle Scholar
  14. Ntouyas, SK, Etemad, S: On the existence of solutions for fractional differential inclusions with sum and integral boundary conditions. Appl. Math. Comput. 266, 235-243 (2015) View ArticleMathSciNetGoogle Scholar
  15. Ntouyas, SK, Etemad, S, Tariboon, J: Existence of solutions for fractional differential inclusions with integral boundary conditions. Bound. Value Probl. 2015, Article ID 92 (2015) View ArticleMathSciNetGoogle Scholar
  16. Ntouyas, SK, Etemad, S, Tariboon, J: Existence results for multi-term fractional differential inclusions. Adv. Differ. Equ. 2015, Article ID 140 (2015) View ArticleMathSciNetGoogle Scholar
  17. Katugampola, UN: New approach to a generalized fractional integral. Appl. Math. Comput. 218(3), 860-865 (2015) View ArticleMathSciNetGoogle Scholar
  18. Katugampola, UN: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1-15 (2014) MathSciNetGoogle Scholar
  19. Katugampola, UN: Mellin transforms of the generalized fractional integrals and derivatives. Appl. Math. Comput. 257, 566-580 (2015) View ArticleMathSciNetGoogle Scholar
  20. Malinowska, AB, Odzijewicz, T, Torres, DFM: Advanced Methods in the Fractional Calculus of Variations. Springer, Berlin (2015) View ArticleMATHGoogle Scholar
  21. Katugampola, UN: Existence and uniqueness results for a class of generalized fractional differential equations. Preprint. arXiv:1411.5229
  22. Butkovskii, AG, Postnov, SS, Postnova, EA: Fractional integro-differential calculus and its control-theoretical applications in mathematical fundamentals and the problem of interpretation. Autom. Remote Control 74, 543-574 (2013) View ArticleMathSciNetMATHGoogle Scholar
  23. Gaboury, S, Tremblay, R, Fugere, BJ: Some relations involving a generalized fractional derivative operator. J. Inequal. Appl. 2013, Article ID 167 (2013) View ArticleMathSciNetGoogle Scholar
  24. Noor, MA, Awan, MU, Noor, KI: On some inequalities for relative semi-convex functions. J. Inequal. Appl. 2013, Article ID 332 (2013) View ArticleMathSciNetGoogle Scholar
  25. Pooseh, S, Almeida, R, Torres, D: Expansion formulas in terms of integer-order derivatives for the Hadamard fractional integral and derivative. Numer. Funct. Anal. Optim. 33, 301-319 (2012) View ArticleMathSciNetMATHGoogle Scholar
  26. Coffey, WT, Kalmykov, YP, Waldron, JT: The Langevin Equation, 2nd edn. World Scientific, Singapore (2004) MATHGoogle Scholar
  27. Lim, SC, Li, M, Teo, LP: Langevin equation with two fractional orders. Phys. Lett. A 372, 6309-6320 (2008) View ArticleMathSciNetMATHGoogle Scholar
  28. Lim, SC, Teo, LP: The fractional oscillator process with two indices. J. Phys. A, Math. Theor. 42, 065208 (2009) View ArticleMathSciNetGoogle Scholar
  29. Alsaedi, A, Ntouyas, SK, Ahmad, B: Existence results for Langevin fractional differential inclusions involving two fractional orders with four-point multi-term fractional integral boundary conditions. Abstr. Appl. Anal. 2013, Article ID 869837 (2013) MathSciNetGoogle Scholar
  30. Tariboon, J, Ntouyas, SK: Nonlinear second-order impulsive q-difference Langevin equation with boundary conditions. Bound. Value Probl. 2014, Article ID 85 (2014) View ArticleGoogle Scholar
  31. Tariboon, J, Ntouyas, SK, Thaiprayoon, C: Nonlinear Langevin equation of Hadamard-Caputo type fractional derivatives with nonlocal fractional integral conditions. Adv. Math. Phys. 2014, Article ID 372749 (2014) View ArticleMathSciNetGoogle Scholar
  32. Yukunthorn, W, Ntouyas, SK, Tariboon, J: Nonlinear fractional Caputo-Langevin equation with nonlocal Riemann-Liouville fractional integral conditions. Adv. Differ. Equ. 2014, Article ID 315 (2014) View ArticleMathSciNetGoogle Scholar
  33. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar
  34. Hunter, JK, Nachtergaele, B: Applied Analysis. World Scientific, Hackensack (2001) View ArticleMATHGoogle Scholar
  35. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955) MathSciNetGoogle Scholar
  36. Zeidler, E: Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems. Springer, New York (1989) Google Scholar

Copyright

© Thaiprayoon et al. 2015