Skip to main content

Theory and Modern Applications

On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions

Abstract

This paper investigates a boundary value problem of Caputo type sequential fractional differential equations supplemented with nonlocal Riemann-Liouville fractional integral boundary conditions. Some existence results for the given problem are obtained via standard tools of fixed point theory and are well illustrated with the aid of examples. Some special cases are also presented.

1 Introduction

The subject of fractional calculus has received great attention in the last two decades. Recent work on fractional differential equations supplemented with a variety of initial and boundary conditions clearly reflects an overwhelming interest in the subject; for instance, see [1–12] and the references cited therein. The tools of fractional calculus have considerably improved the mathematical modeling of many real world problems. One of the primary reasons for this development is the nonlocal nature of fractional-order differential operators which can describe the hereditary properties of many important materials. One can find applications of the subject in numerous fields of physical and technical sciences such as biomathematics, blood flow phenomena, ecology, environmental issues, viscoelasticity, aerodynamics, electro-dynamics of complex medium, electrical circuits, electron-analytical chemistry, control theory, etc. For further details, see [13–18]. Some more recent results concerning fractional boundary value problems can be found in a series of papers [19–27].

The concept of sequential fractional derivative is given, for example, on p.209 of the monograph [28]. There is a close connection between the sequential fractional derivatives and the non-sequential Riemann-Liouville derivatives [29, 30]. For some recent work on sequential fractional differential equations, we refer the reader to the papers [31–33]. In [34, 35], the authors studied sequential fractional differential equations with different kinds of boundary conditions. Recently, the existence of solutions for higher-order sequential fractional differential inclusions with nonlocal three-point boundary conditions was discussed in [36]. However, to the best of our knowledge, the study of sequential fractional differential equations supplemented with nonlocal Riemann-Liouville type fractional integral boundary conditions has yet to be initiated.

In this paper, we investigate the existence of solutions of a sequential fractional differential equation of the form:

$$ \bigl({}^{\mathrm{c}}D^{\alpha}+k\, {}^{\mathrm{c}}D^{\alpha-1} \bigr)x(t) =f\bigl(t, x(t)\bigr),\quad t \in[0, 1], 2 < \alpha\le3, $$
(1.1)

supplemented with the boundary conditions

$$ x(0)=0, \qquad x'(0)=0,\qquad x(\zeta)=a \int _{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma(\beta )}x(s)\,ds, \quad \beta>0, $$
(1.2)

where \({}^{\mathrm{c}}D^{\alpha}\) denotes the Caputo fractional derivative of order α, \(0 <\eta< \zeta<1\), f is a given continuous function, and k, a are appropriate positive real constants.

Here, we emphasize that the integral boundary condition (1.2) can be understood in the sense that the value of the unknown function at an arbitrary position \(\zeta\in(\eta, 1)\) is proportional to the Riemann-Liouville fractional integral of the unknown function \(\int_{0}^{\eta}\frac{(\eta-s)^{\beta -1}}{\Gamma(\beta)}x(s)\,ds\), where \(\eta\in(0, \zeta)\). Further, for \(\beta=1\), the integral boundary condition reduces to the usual form of a nonlocal integral condition \(x(\zeta)=a \int_{0}^{\eta}x(s)\,ds\).

The contents of the article are arranged as follows. In Section 2, we present a basic result that lays the foundation for defining a fixed point problem equivalent to the given problem (1.1)-(1.2). The main results, based on Banach’s contraction mapping principle, Krasnoselskii’s fixed point theorem and nonlinear alternative of Leray-Schauder type, are presented in Section 3. The paper concludes with some illustrating examples.

2 Basic result

Before presenting an auxiliary lemma, we recall some basic definitions of fractional calculus [13, 14].

Definition 2.1

For \((n-1)\)-times absolutely continuous function \(g : [0,\infty) \to \mathbb{R}\), the Caputo derivative of fractional order q is defined as

$${}^{\mathrm{c}}D^{q} g(t)=\frac{1}{\Gamma(n-q)}\int _{0}^{t}(t-s)^{n-q-1}g^{(n)}(s) \,ds,\quad n-1 < q < n, n=[q]+1, $$

where \([q]\) denotes the integer part of the real number q.

Definition 2.2

The Riemann-Liouville fractional integral of order q is defined as

$$I^{q} g(t)=\frac{1}{\Gamma(q)}\int_{0}^{t} \frac{g(s)}{(t-s)^{1-q}}\,ds, \quad q>0, $$

provided the integral exists.

Definition 2.3

The sequential fractional derivative for a sufficiently smooth function \(g(t)\) due to Miller-Ross [28] is defined as

$$ D^{\delta}g(t)=D^{\delta_{1}}D^{\delta_{2}} \cdots D^{\delta_{k}} g(t), $$
(2.1)

where \(\delta=(\delta_{1}, \ldots, \delta_{k})\) is a multi-index.

In general, the operator \(D^{\delta}\) in (2.1) can either be Riemann-Liouville or Caputo or any other kind of integro-differential operator. For instance,

$${}^{\mathrm{c}}D^{q} g(t)=D^{-(n-q)} \biggl( \frac{d}{dt} \biggr)^{n} g(t), \quad n-1 < q < n, $$

where \(D^{-(n-q)}\) is a fractional integral operator of order \(n-q\). Here we emphasize that \(D^{-p}f(t) =I^{p} f(t)\), \(p=n-q\); for more details, see p.87 of [13].

To define the solution for problem (1.1)-(1.2), we establish the following lemma.

Lemma 2.4

For \(h \in C([0, 1], \mathbb{R})\), the integral solution of the linear equation

$$ \bigl({}^{\mathrm{c}}D^{\alpha}+k {}^{\mathrm{c}}D^{\alpha-1} \bigr)x(t) =h(t), \quad t \in[0, 1], 2 < \alpha\le3, $$
(2.2)

supplemented with the boundary conditions (1.2) is given by

$$\begin{aligned} x(t) =& \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d \tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr) \,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr) \,ds. \end{aligned}$$
(2.3)

Proof

Solving (2.2), we obtain

$$\begin{aligned} x(t) =&b_{0}e^{-k t}+\frac{b_{1}}{k} \bigl(1-e^{-k t}\bigr)+\frac {b_{2}}{k^{2}}\bigl(kt-1+e^{-k t}\bigr) \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr) \,ds, \end{aligned}$$
(2.4)

where \(b_{0}\), \(b_{1}\), \(b_{2}\) are unknown arbitrary constants. Using the boundary conditions (1.2) in (2.4), we find that \(b_{0}=0\), \(b_{1}=0\) and

$$\begin{aligned} b_{2} =& \frac{k^{2}}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta-s)^{\beta -1}}{\Gamma(\beta)} \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr) \,ds \biggr], \end{aligned}$$

where

$$ \Delta= k\zeta-1+e^{-k \zeta}-\frac{a}{\Gamma(\beta)} \biggl( \frac {k \eta^{\beta+1}}{\beta(\beta+1)}-\frac{\eta^{\beta}}{\beta }+\int_{0}^{\eta}( \eta-s)^{\beta-1}e^{-k s}\,ds \biggr)\ne0. $$
(2.5)

Substituting the values of \(b_{0}\), \(b_{1}\) and \(b_{2}\) in (2.4) yields the solution (2.3). This completes the proof. □

3 Existence of solutions

Let \({\mathcal{C}}=C([0,1], {\mathbb{R}})\) denote the Banach space of all continuous functions from \([0,1] \to{\mathbb{R}}\) endowed with the sup norm defined by \(\|x\|= \sup\{|x(t)|, t \in[0,1]\} < \infty\).

To simplify the proofs in the forthcoming theorems, we establish the bounds for the integrals arising in the sequel.

Lemma 3.1

For \(h\in C([0,1],{\mathbb{R}})\), we have

$$\begin{aligned} (\mathrm{i})&\quad \biggl\vert \int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma (\beta)} \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr)\,dm \biggr)\,ds\biggr\vert \\ \hphantom{(\mathrm{i})}&\qquad \le\frac{\eta^{\alpha +\beta-1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)}\bigl(\eta k+e^{-k\eta}-1\bigr) \| h\|, \\ (\mathrm{ii})&\quad \biggl\vert \int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int_{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr)\,ds\biggr\vert \le\frac{\zeta^{\alpha}}{k\Gamma(\alpha)} \bigl(1-e^{-k\zeta }\bigr) \|h\|, \\ (\mathrm{iii})&\quad \biggl\vert \int_{0}^{t} e^{-k(t-s)} \biggl(\int_{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr)\,ds\biggr\vert \le\frac{1}{k\Gamma(\alpha)} \bigl(1-e^{-k}\bigr) \|h\|. \end{aligned}$$

Proof

(i) Obviously,

$${\biggl.\int_{0}^{m}\frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)}\,d\tau=- \frac {(m-\tau)^{\alpha-1}}{\Gamma(\alpha)} \biggr|_{0}^{m}}=\frac{m^{\alpha -1}}{\Gamma(\alpha)} $$

and

$$\int_{0}^{s}e^{-k(s-m)}\frac{m^{\alpha-1}}{\Gamma(\alpha)} \,dm\le\frac {s^{\alpha-1}}{\Gamma(\alpha)}\int_{0}^{s}e^{-k(s-m)} \,dm=\frac {s^{\alpha-1}}{\Gamma(\alpha)}\frac{(1-e^{-ks})}{k}. $$

Hence

$$\begin{aligned}& \biggl\vert \int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma (\beta)} \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int _{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} h(\tau)\,d\tau \biggr) \,dm \biggr)\,ds\biggr\vert \\& \quad \le \|h\|\int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma(\beta)} \frac{s^{\alpha-1}(1-e^{-ks})}{k\Gamma(\alpha)}\,ds \\& \quad \le \|h\|\frac{\eta^{\alpha+\beta-1}}{k\Gamma(\alpha)\Gamma (\beta)}\int_{0}^{\eta} \bigl(1-e^{-ks}\bigr)\,ds=\|h\|\frac{\eta^{\alpha+\beta -1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)}\bigl(\eta k+e^{-k\eta}-1\bigr). \end{aligned}$$

The proofs of (ii) and (iii) are similar. □

For the sake of convenience, we set

$$ p=\sup_{t \in[0, 1]}\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta} \biggr\vert =\frac{1}{|\Delta|}\bigl(e^{-k}+k-1\bigr) $$
(3.1)

and

$$ \Lambda=p \biggl\{ \frac{|a| \eta^{\alpha+\beta-1}}{k^{2}\Gamma (\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta}-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr\} +\frac{1-e^{-k}}{k\Gamma(\alpha)}. $$
(3.2)

In view of Lemma 2.4, we transform problem (1.1)-(1.2) as

$$ x=\mathcal{S} (x), $$
(3.3)

where \(\mathcal{S}: {\mathcal{C}} \to{\mathcal{C}}\) is defined by

$$\begin{aligned} (\mathcal{S} x) (t) =& \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int _{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau )\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta -s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds. \end{aligned}$$
(3.4)

Observe that problem (1.1)-(1.2) has solutions if the operator equation (3.3) has fixed points.

Theorem 3.2

Let \(f : [0,1]\times\mathbb{R} \to \mathbb{R}\) be a jointly continuous function satisfying the condition

(H1):

\(|f(t,x)-f(t,y)| \le L |x-y|\), \(\forall t \in[0,1]\), \(x, y\in \mathbb{R}\),

where L is the Lipschitz constant. Then the boundary value problem (1.1)-(1.2) has a unique solution if \(\Lambda<1/L\), where Λ is given by (3.2).

Proof

As the first step, we show that the operator \(\mathcal {S}\) given by (3.3) maps \({\mathcal{C}}\) into itself. For that, we set \(\sup_{t \in[0,1]}|f(t,0)|=M < \infty\). Then, for \(x \in{\mathcal{C}}\), we have

$$\begin{aligned} \bigl\Vert (\mathcal{S} x)\bigr\Vert =&\sup_{t \in[0, 1]}\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-x)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau)\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-x)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau) \bigr)\,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-x)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau) \bigr)\,d\tau \biggr)\,ds\biggr\vert \\ \le&\sup_{t \in[0, 1]}\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta}\biggr\vert \biggl[|a|\int_{0}^{\eta}\frac {(\eta-s)^{\beta-1}}{\Gamma(\beta)}\biggl(\int_{0}^{s} e^{-k(s-m)} \\ &{} \times \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl(\bigl\vert f\bigl(\tau,x(\tau )\bigr)-f(\tau,0)\bigr\vert +\bigl\vert f(\tau,0) \bigr\vert \bigr)\, dx \biggr)\,dm \biggr)\,ds \\ &{} +\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl(\bigl\vert f \bigl(\tau,x(\tau )\bigr)-f(\tau,0)\bigr\vert +\bigl\vert f(\tau,0)\bigr\vert \bigr)\, dx \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-x)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl(\bigl\vert f \bigl(\tau,x(\tau )\bigr)-f(\tau,0)\bigr\vert +\bigl\vert f(\tau,0)\bigr\vert \bigr)\, dx \biggr)\,ds \\ \le&\bigl(L\Vert x\Vert +M\bigr) \biggl\{ p \biggl[|a|\int _{0}^{\eta}\frac{(\eta-s)^{\beta -1}}{\Gamma(\beta)} \biggl(\int _{0}^{s} e^{-k(s-m)} \biggl(\int _{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)}\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} +\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \,d\tau \biggr)\,ds \biggr]+ \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \,d\tau \biggr)\,ds \biggr\} \\ \le& \bigl(L\Vert x\Vert +M\bigr) \biggl\{ p \biggl[\frac{|a| \eta^{\alpha+\beta -1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta}-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]+ \frac{1-e^{-k}}{k\Gamma(\alpha)} \biggr\} \\ =&\bigl(L\Vert x\Vert +M\bigr)\Lambda< \infty. \end{aligned}$$

This shows that \(\mathcal{S}\) maps \({\mathcal{C}}\) into itself. Now, for \(x, y \in {\mathcal{C}}\) and for each \(t \in[0,1]\), we obtain

$$\begin{aligned} \bigl\Vert (\mathcal{S} x)-(\mathcal{S} y)\bigr\Vert =&\sup _{t \in[0, 1]} \bigl\vert (\mathcal {S} x) (t)-(\mathcal{S} y) (t) \bigr\vert \\ \le&\sup_{t \in[0, 1]}\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta}\biggr\vert \biggl[|a|\int_{0}^{\eta}\frac {(\eta-s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl\vert f\bigl(\tau,x(\tau )\bigr)-f\bigl(\tau,y(\tau)\bigr)\bigr\vert \,d\tau \biggr) \,dm \biggr)\,ds \\ &{} +\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl\vert f\bigl( \tau,x(\tau )\bigr)-f\bigl(\tau,y(\tau)\bigr)\bigr\vert \,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl\vert f\bigl( \tau,x(\tau )\bigr)-f\bigl(\tau,y(\tau)\bigr)\bigr\vert \,d\tau \biggr)\,ds \\ \le& L\|x-y\| \biggl\{ p \biggl[|a|\int_{0}^{\eta}\frac{(\eta-s)^{\beta -1}}{\Gamma(\beta)} \\ &{}\times\biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-x)^{\alpha-2}}{\Gamma(\alpha-1)}\, dx \biggr)\,dm \biggr)\,ds \\ &{} +\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-x)^{\alpha-2}}{\Gamma(\alpha-1)}\, dx \biggr)\,ds \biggr] \\ &{}+ \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-x)^{\alpha-2}}{\Gamma(\alpha-1)} \, dx \biggr)\,ds \biggr\} \\ \le& L \biggl\{ p \biggl[\frac{|a| \eta^{\alpha+\beta -1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta}-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]+\frac{1-e^{-k}}{k\Gamma(\alpha)} \biggr\} \|x-y\| \\ =& L \Lambda\|x-y\|, \end{aligned}$$

where Λ is given by (3.2). As \(\Lambda<1/L\), therefore, \(\mathcal{S}\) is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof. □

Now, we state a known result due to Krasnoselskii [37] which is needed to prove the existence of at least one solution of (1.1)-(1.2).

Theorem 3.3

Let M be a closed, convex, bounded and nonempty subset of a Banach space X. Let \(\mathcal{G}_{1}\), \(\mathcal{G}_{2}\) be the operators such that: (i) \(\mathcal{G}_{1}x+\mathcal{G}_{2} y \in M\) whenever \(x, y \in M\); (ii) \(\mathcal{G}_{1}\) is compact and continuous; (iii) \(\mathcal{G}_{2}\) is a contraction mapping. Then there exists \(z \in M\) such that \(z=\mathcal{G}_{1} z+\mathcal{G}_{2} z\).

Theorem 3.4

Assume that \(f : [0,1]\times\mathbb{R} \to \mathbb{R}\) is a jointly continuous function satisfying (H1). In addition we suppose that the following assumption holds:

(H2):

\(|f(t,x)|\le\mu (t)\), \(\forall(t,x) \in[0,1] \times\mathbb{R}\) with \(\mu\in C([0,1], \mathbb{R})\).

Then the boundary value problem (1.1)-(1.2) has at least one solution on \([0,1]\) if

$$ p \biggl[\frac{|a| \eta^{\alpha+\beta-1}}{k^{2}\Gamma(\alpha)\Gamma (\beta)} \bigl(k\eta+e^{-k \eta}-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]< 1. $$
(3.5)

Proof

Letting \(\sup_{t \in[0,1]}|\mu(t)|=\|\mu\|\), we fix

$$ r \ge\Lambda\|\mu\|, $$
(3.6)

where Λ is given by (3.2), and consider \(\mathcal {B}_{r} =\{x \in{\mathcal{C}}: \|x\|\le r \}\). Define the operators \(\mathcal{S}_{1}\) and \(\mathcal{S}_{2}\) on \(\mathcal{B}_{r} \) as

$$\begin{aligned}& (\mathcal{S}_{1} x) (t) = \int_{0}^{t} e^{-k(t-s)} \biggl(\int_{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau )\bigr)\,d\tau \biggr)\,ds, \\& (\mathcal{S}_{2} x) (t) = \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int _{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\& \hphantom{(\mathcal{S}_{2} x)(t)=}{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau )\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\& \hphantom{(\mathcal{S}_{2} x)(t)=}{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int_{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau )\bigr)\,d\tau \biggr)\,ds \biggr]. \end{aligned}$$

For \(x, y \in \mathcal{B}_{r} \), it follows from (3.6) that

$$\| \mathcal{S}_{1} x + \mathcal{S}_{2} y \| \le \biggl\{ p \biggl[\frac {|a| \eta^{\alpha+\beta-1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta}-1 \bigr) + \frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]+\frac{1-e^{-k}}{k\Gamma(\alpha)} \biggr\} \|\mu\|\le r. $$

Thus, \(\mathcal{S}_{1} x+\mathcal{S}_{2} y \in \mathcal{B}_{r} \). In view of condition (3.5), it can easily be shown that \(\mathcal{S}_{2}\) is a contraction mapping. The continuity of f implies that the operator \(\mathcal{S}_{1}\) is continuous. Also, \(\mathcal{S}_{1}\) is uniformly bounded on \(\mathcal{B}_{r} \) as

$$\|\mathcal{S}_{1} x\| \le\frac{(1-e^{-k})\|\mu \|}{k \Gamma(\alpha)}. $$

Now we prove the compactness of the operator \(\mathcal{S}_{1}\). Setting \(\Omega=[0,1] \times \mathcal{B}_{r} \), we define \(\sup_{(t,x) \in\Omega}|f(t,x)|=M_{r}\), and consequently we get

$$\begin{aligned} \bigl\vert (\mathcal{S}_{1} x) (t_{1})-( \mathcal{S}_{1} x) (t_{2})\bigr\vert =& \biggl\vert \int _{0}^{t_{1}} e^{-k(t_{1}-s)} \biggl(\int _{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(u,x(u)\bigr)\, du \biggr)\,ds \\ &{}-\int_{0}^{t_{2}} e^{-k(t_{2}-s)} \biggl(\int _{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)}f\bigl(u,x(u)\bigr)\,du \biggr)\,ds \biggr\vert \\ \le&\frac{M_{r}}{k \Gamma(\alpha)} \bigl(\bigl\vert t_{1}^{\alpha}-t_{2}^{\alpha} \bigr\vert +\bigl\vert t_{1}^{\alpha}e^{-k t_{1}}-t_{2}^{\alpha}e^{-k t_{2}} \bigr\vert \bigr), \end{aligned}$$

which is independent of x and tends to zero as \(t_{2} \to t_{1}\). Thus, \(\mathcal{S}_{1}\) is relatively compact on \(\mathcal{B}_{r} \). Hence, by the Arzelá-Ascoli theorem, \(\mathcal{S}_{1}\) is compact on \(\mathcal {B}_{r} \). Thus all the assumptions of Theorem 3.3 are satisfied and the conclusion of Theorem 3.3 implies that the boundary value problem (1.1)-(1.2) has at least one solution on \([0,1]\). This completes the proof. □

Remark 3.5

In the above theorem we can interchange the roles of the operators \(\mathcal{S}_{1}\) and \(\mathcal{S}_{2}\) to obtain the second result replacing (3.5) by the following condition:

$$\frac{1-e^{-k}}{k\Gamma(\alpha)}< 1. $$

In the next theorem we prove the existence of a solution for the boundary value problem (1.1)-(1.2) via Leray-Schauder nonlinear alternative.

Lemma 3.6

(Nonlinear alternative for single-valued maps [38])

Let E be a Banach space, C be a closed, convex subset of E, U be 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 \(\overline{U}\), or

  2. (ii)

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

Theorem 3.7

Suppose that \(f: [0,1]\times\mathbb{R} \to\mathbb{R}\) is a jointly continuous function. Further, it is assumed that the following conditions hold:

(H3):

There exist a function \(\phi\in C([0,1], \mathbb{R}^{+})\) and a nondecreasing function \(\psi: {\mathbb{R}}^{+}\to{ \mathbb{R}}^{+}\) such that \(|f(t,x)|\le\phi(t)\psi(\|x\|)\) for all \((t,x) \in[0,1] \times \mathbb{R}\).

(H4):

There exists a constant \(M>0\) such that

$$\frac{M}{ \psi(M) \|\phi\|\Lambda}> 1, $$

where Λ is given by (3.2).

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

Proof

Consider the operator \(\mathcal{S}: \mathcal{C} \to \mathcal{C}\), where

$$\begin{aligned} (\mathcal{S} x) (t) =& \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau )\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds. \end{aligned}$$

We show that \(\mathcal{S}\) maps bounded sets into bounded sets in \(C([0,1], \mathbb{R})\). For a positive number r, let \({\mathcal{B}}_{r} = \{x \in C([0,1], \mathbb{R}): \|x\| \le r \}\) be a bounded set in \(C([0,1], \mathbb{R})\). Then

$$\begin{aligned} \bigl\vert (\mathcal{S} x) (t)\bigr\vert \leq&\biggl\vert \frac{(kt-1+e^{-k t})}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta -s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau )\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds\biggr\vert \\ \le& p \biggl[|a|\int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma(\beta )} \\ &{}\times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int _{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \phi(\tau)\psi\bigl( \Vert x\Vert \bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} +\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \phi(\tau)\psi\bigl( \Vert x\Vert \bigr)\,d\tau \biggr)\,ds \biggr] \\ &{} + \int_{0}^{t} e^{-k(t-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \phi(\tau)\psi\bigl( \Vert x\Vert \bigr)\,d\tau \biggr)\,ds \\ \le& \psi\bigl(\Vert x\Vert \bigr) \|\phi\| \biggl\{ p \biggl[ \frac{|a| \eta^{\alpha +\beta-1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta }-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]+\frac{1-e^{-k}}{k\Gamma(\alpha)} \biggr\} \\ =& \psi\bigl(\Vert x\Vert \bigr) \|\phi\|\Lambda. \end{aligned}$$

Consequently,

$$\|\mathcal{S} x\|\le \psi(r) \|\phi\|\Lambda. $$

Next we show that \(\mathcal{S}\) maps bounded sets into equicontinuous sets of \(C([0,1], \mathbb{R})\). Let \(t_{1}, t_{2} \in[0,1]\) with \(t_{1}< t_{2}\) and \(x \in{\mathcal{B}}_{r}\), where \({\mathcal{B}}_{r}\) is a bounded set of \(C([0,1], \mathbb{R})\). Then we obtain

$$\begin{aligned} \bigl\vert (\mathcal{S} x) (t_{2})-(\mathcal{S} x) (t_{1})\bigr\vert \le& \biggl\vert \int_{0}^{t_{1}} \bigl(e^{-k(t_{2}-s)}-e^{-k(t_{1}-s)} \bigr) \biggl(\int_{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(u,x(u)\bigr)\,du \biggr)\,ds \\ &{}+\int_{t_{1}}^{t_{2}}e^{-k(t_{2}-s)} \biggl(\int _{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)}f\bigl(u,x(u)\bigr)\,du \biggr)\,ds \biggr\vert \\ &{}+\biggl\vert \frac{k(t_{2}-t_{1})+e^{-kt_{2}}-e^{-kt_{1}}}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl( \tau,x(\tau )\bigr)\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} f\bigl(\tau,x(\tau ) \bigr)\,d\tau \biggr)\,ds \biggr]\biggr\vert \\ \le& \biggl\vert \int_{0}^{t_{1}} \bigl(e^{-k(t_{2}-s)}-e^{-k(t_{1}-s)} \bigr) \biggl(\int_{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)} \psi(r)\phi(u)\,du \biggr)\,ds \\ &{}+\int_{t_{1}}^{t_{2}}e^{-k(t_{2}-s)} \biggl(\int _{0}^{s} \frac{(s-u)^{\alpha-2}}{\Gamma(\alpha-1)}\psi(r)\phi(u)\,du \biggr)\,ds\biggr\vert \\ &{}+\biggl\vert \frac{k(t_{2}-t_{1})+e^{-kt_{2}}-e^{-kt_{1}}}{\Delta} \biggl[a\int_{0}^{\eta}\frac{(\eta-s)^{\beta-1}}{\Gamma(\beta)} \\ &{} \times \biggl(\int_{0}^{s} e^{-k(s-m)} \biggl(\int_{0}^{m} \frac{(m-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \psi(r)\phi( \tau )\,d\tau \biggr)\,dm \biggr)\,ds \\ &{} -\int_{0}^{\zeta}e^{-k(\zeta-s)} \biggl(\int _{0}^{s} \frac{(s-\tau)^{\alpha-2}}{\Gamma(\alpha-1)} \psi(r)\phi(\tau )\,d \tau \biggr)\,ds \biggr]\biggr\vert . \end{aligned}$$

Obviously, the right-hand side of the above inequality tends to zero independently of \(x \in{\mathcal{B}}_{r}\) as \(t_{2}- t_{1} \to0\). As \(\mathcal{S}\) satisfies the above assumptions, therefore it follows by the Arzelá-Ascoli theorem that \(\mathcal{S}: \mathcal{C} \to \mathcal{C}\) is completely continuous.

The result will follow from the Leray-Schauder nonlinear alternative (Lemma 3.6) once we have proved the boundedness of the set of all solutions to equations \(x=\lambda\mathcal{S} x\) for \(\lambda\in[0,1]\).

Let x be a solution. Then, for \(t\in[0,1]\), and using the computations employed in proving that \(\mathcal{S}\) is bounded, we have

$$\begin{aligned} \bigl\vert x(t)\bigr\vert =& \bigl\vert \lambda(\mathcal{S} x) (t)\bigr\vert \\ \le& \psi\bigl(\Vert x\Vert \bigr) \|\phi\| \biggl\{ p \biggl[ \frac{|a| \eta^{\alpha +\beta-1}}{k^{2}\Gamma(\alpha)\Gamma(\beta)} \bigl(k\eta+e^{-k \eta }-1 \bigr) +\frac{\zeta^{\alpha-1}(1-e^{-k \zeta})}{k\Gamma(\alpha)} \biggr]+\frac{1-e^{-k}}{k\Gamma(\alpha)} \biggr\} \\ =& \psi\bigl(\Vert x\Vert \bigr) \|\phi\|\Lambda. \end{aligned}$$

Consequently, we have

$$\frac{\|x\|}{ \psi(\|x\|) \|\phi\|\Lambda}\le1. $$

In view of (H4), there exists M such that \(\|x\| \ne M\). Let us set

$$U = \bigl\{ x \in C\bigl([0,1], \mathbb{R}\bigr):\|x\| < M\bigr\} . $$

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

4 Examples

The following example is concerned with the illustration of Theorem 3.2.

Example 4.1

Consider the problem

$$ \left \{ \begin{array}{l} {}^{\mathrm{c}}D^{3/2}(D+2)x(t)=\frac{L}{2} (\sqrt{t^{2}+1}+\sin t+x(t)+ \tan^{-1}x(t) ), \quad 0\le t \le1, \\ x(0) = 0,\qquad x'(0)=0, \qquad x(1/2)= \int_{0}^{1/3}x(s)\,ds. \end{array} \right . $$
(4.1)

Here, \(\alpha=5/2\), \(f(t,x(t))=\frac{L}{2} (\sqrt{t^{2}+1}+\sin t+x(t)+ \tan^{-1}x(t) )\), \(k=2\), \(a=1\), \(\eta=1/3\), \(\zeta=1/2\), \(\beta=1\). Clearly

$$\bigl\vert f(t,x)-f(t,y)\bigr\vert \le L\bigl\vert x-y+ \tan^{-1}x-\tan^{-1}y\bigr\vert /2 \le L|x-y|. $$

With the given values, we find that \(\Delta\approx0.346810\), \(p\approx 3.273652\), \(\Lambda \approx 0.607518\). For \(L <1/\Lambda\approx 1.646042\), it follows by Theorem 3.2 that problem (4.1) has a unique solution.

Next, we discuss an illustrative example for Theorem 3.7.

Example 4.2

Let us consider problem (4.1) with \(f(t,x(t))= \frac{e^{-t}}{4 \sqrt{1+t^{2}}} (x^{2}+1 )\).

We check the conditions of Theorem 3.7. Clearly assumption (H3) holds with \(\|\phi\|=1/4\), \(\psi(\|x\|)=1+\|x\|^{2}\); and by assumption (H4) we find that \(M_{1} < M< M_{2}\), where \(M_{1} \approx 0.155555\) and \(M_{2} \approx6.4286125\). Thus the conclusion of Theorem 3.7 applies, and hence problem (4.1) with the given value of \(f(t, x(t))\) has a solution on \([0, 1]\).

5 Conclusions

We have obtained some existence results for a boundary value problem of Caputo type sequential fractional differential equations with nonlocal Riemann-Liouville fractional integral boundary conditions with the aid of Banach’s contraction mapping principle, Krasnoselskii’s fixed point theorem and nonlinear alternative of Leray-Schauder type. We observe that some new special results follow by fixing the parameters involved in the given problem. For instance, if we choose \(\beta=1\), then the results of this paper correspond to a Caputo type sequential fractional differential equation with the boundary conditions of the form \(x(0)=0\), \(x'(0)=0\), \(x(\zeta)=a \int_{0}^{\eta}x(s)\,ds\). Further, in the limit \(a \to0^{+}\), we obtain the results for the boundary conditions \(x(0)=0\), \(x'(0)=0\), \(x(\zeta)=0\).

References

  1. Ahmad, B: Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations. Appl. Math. Lett. 23, 390-394 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  2. Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011)

    Article  MathSciNet  Google Scholar 

  3. Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  4. Su, X: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844-2852 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  5. Bai, ZB, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  6. Agarwal, RP, O’Regan, D, Stanek, S: Positive solutions for mixed problems of singular fractional differential equations. Math. Nachr. 285, 27-41 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  7. Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403-411 (2012)

    Article  MATH  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

  9. Zhang, L, Wang, G, Ahmad, B, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  10. Ahmad, B, Ntouyas, SK: Existence results for higher order fractional differential inclusions with multi-strip fractional integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2013, 20 (2013)

    Article  MathSciNet  Google Scholar 

  11. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  12. Baleanu, D, Mustafa, OG, O’Regan, D: A uniqueness criterion for fractional differential equations with Caputo derivative. Nonlinear Dyn. 71, 635-640 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  13. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  14. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  15. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    Google Scholar 

  16. Tomovski, Z, Hilfer, R, Srivastava, HM: Fractional and operational calculus with generalized fractional derivative operators and Mittag-Leffler type functions. Integral Transforms Spec. Funct. 21, 797-814 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  17. Konjik, S, Oparnica, L, Zorica, D: Waves in viscoelastic media described by a linear fractional model. Integral Transforms Spec. Funct. 22, 283-291 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  18. Keyantuo, V, Lizama, C: A characterization of periodic solutions for time-fractional differential equations in UMD spaces and applications. Math. Nachr. 284, 494-506 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  19. Graef, JR, Kong, L, Wang, M: Existence and uniqueness of solutions for a fractional boundary value problem on a graph. Fract. Calc. Appl. Anal. 17, 499-510 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  20. Wang, G, Liu, S, Zhang, L: Eigenvalue problem for nonlinear fractional differential equations with integral boundary conditions. Abstr. Appl. Anal. 2014, Article ID 916260 (2014)

    MathSciNet  Google Scholar 

  21. Ahmad, B, Agarwal, RP: Some new versions of fractional boundary value problems with slit-strips conditions. Bound. Value Probl. 2014, 175 (2014)

    Article  MathSciNet  Google Scholar 

  22. Gambo, Y, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, 10 (2014)

    Article  MathSciNet  Google Scholar 

  23. Baleanu, D, Nazemi, SZ, Rezapour, S: Attractivity for a k-dimensional system of fractional functional differential equations and global attractivity for a k-dimensional system of nonlinear fractional differential equations. J. Inequal. Appl. 2014, 31 (2014)

    Article  MathSciNet  Google Scholar 

  24. Ahmad, B, Ntouyas, SK: Initial-value problems for hybrid Hadamard fractional differential equations. Electron. J. Differ. Equ. 2014, 161 (2014)

    Article  MathSciNet  Google Scholar 

  25. Tariboon, J, Sitthiwirattham, T, Ntouyas, SK: Existence results for fractional differential inclusions with multi-point and fractional integral boundary conditions. J. Comput. Anal. Appl. 17, 343-360 (2014)

    MATH  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  27. Ahmad, B, Ntouyas, SK: Nonlocal fractional boundary value problems with slit-strips boundary conditions. Fract. Calc. Appl. Anal. 18, 261-280 (2015)

    Google Scholar 

  28. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  29. Wei, Z, Dong, W: Periodic boundary value problems for Riemann-Liouville sequential fractional differential equations. Electron. J. Qual. Theory Differ. Equ. 2011, 87 (2011)

    MathSciNet  Google Scholar 

  30. Wei, Z, Li, Q, Che, J: Initial value problems for fractional differential equations involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 367, 260-272 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  31. Klimek, M: Sequential fractional differential equations with Hadamard derivative. Commun. Nonlinear Sci. Numer. Simul. 16, 4689-4697 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  32. Baleanu, D, Mustafa, OG, Agarwal, RP: On \(\mathrm{L}^{p}\)-solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 218, 2074-2081 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  33. Bai, C: Impulsive periodic boundary value problems for fractional differential equation involving Riemann-Liouville sequential fractional derivative. J. Math. Anal. Appl. 384, 211-231 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  34. Ahmad, B, Nieto, JJ: Sequential fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 64, 3046-3052 (2012)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  36. Ahmad, B, Ntouyas, SK: On higher-order sequential fractional differential inclusions with nonlocal three-point boundary conditions. Abstr. Appl. Anal. 2014, Article ID 659405 (2014)

    MathSciNet  Google Scholar 

  37. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955)

    MathSciNet  Google Scholar 

  38. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003)

    Book  MATH  Google Scholar 

Download references

Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The authors, therefore, acknowledge technical and financial support of KAU. The authors also thank the reviewers for their useful comments.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alsaedi, A., Ntouyas, S.K., Agarwal, R.P. et al. On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Adv Differ Equ 2015, 33 (2015). https://doi.org/10.1186/s13662-015-0379-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0379-9

MSC

Keywords