Skip to main content

Theory and Modern Applications

Sequential fractional differential equations with nonlocal boundary conditions on an arbitrary interval


We discuss the existence and uniqueness of solutions for a nonlocal three-point boundary value problem of sequential fractional differential equations on an arbitrary interval \([\xi, \zeta], \xi, \zeta\in\mathbb{R}\). Our results rely on standard fixed point theorems and are well illustrated with examples. The case for non-homogeneous three-point boundary conditions is also discussed.

1 Introduction

During the last few decades, non-integer (arbitrary) order calculus has evolved into an interesting and useful area of research in view of the extensive application of its modeling tools in applied and technical sciences. Nowadays, fractional-order differential and integral operators, which are nonlocal in nature, appear in mathematical models of many real world phenomena such as anomalous diffusion, ecological effects, blood flow issues, spreading of disease, control processes, etc. Wide-spread application of fractional calculus has motivated many researchers to develop the theoretical aspects of this branch of mathematical analysis. In particular, there has been shown a great interest in the study of fractional-order boundary value problems (FBVPs). The literature on FBVPs is now much enriched and contains a variety of interesting results involving different kinds of boundary conditions. For application details and theoretical development, we refer the reader to [115] and the references cited therein.

In a recent article [13], the author studied a two-point fractional-order boundary value problem (BVP) on an arbitrary interval. Motivated by [13], we investigate a three-point boundary value problem of sequential fractional differential equations given by

$$\begin{aligned}& \bigl({}^{c}D^{\beta+1}+\kappa^{c}D^{\beta} \bigr)x(t)= \phi\bigl(t, x(t) \bigr), \quad 1< \beta< 2, \kappa>0, \xi< t< \zeta, \end{aligned}$$
$$\begin{aligned}& x(\xi)=0,\qquad x(\eta)=0, \qquad x(\zeta)=0 ,\qquad -\infty< \xi< \eta< \zeta < \infty, \end{aligned}$$

where \({}^{c}D^{\beta}\) denotes the Caputo fractional derivative of order β, ϕ is a given continuous function and \(\kappa, \xi, \zeta, \eta\) are real constants. New existence and uniqueness results for the problem (1.1)-(1.2) are obtained in Section 2. The non-homogeneous boundary condition case is briefly described in Sections 3. It is imperative to note that the results obtained in this paper are general in the sense that they correspond to any specific interval by fixing \(\xi, \zeta\in \mathbb{R}\).

Definition 1.1


The Caputo derivative of order α for a function \(\varphi:[\xi,\infty)\to \mathbb{R}\) with \(\varphi(t)\in C^{n}[0,\infty)\) is defined by

$${}^{c}D^{\alpha}\varphi(t)= \frac{1}{\Gamma(n-\alpha)} \int_{\xi}^{t} \frac{\varphi^{(n)}(s)}{(t-s)^{\alpha+1-n}}\,ds = I^{n-\alpha}\varphi^{(n)}(t),\quad t>\xi, n-1< \alpha< n, $$


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

is called Riemann-Liouville fractional integral of order \(q>0\) (\(q=n-\alpha\)) for a function \(\chi:[0,\infty)\to{\mathbb {R}}\) if the integral involved is point-wise defined on \([0,\infty)\).

Property 1.2

It has been shown in [16] that

$$ I^{\alpha} {^{c}D^{\alpha} \varphi(t)}= \varphi(t)-c_{0}-c_{1}(t-\xi )-\cdots-c_{n-1}(t- \xi)^{n-1},\quad t>\xi, n-1< \alpha< n, $$

where \(c_{i}\) (\(i=1, \ldots, n-1\)) are arbitrary constants.

The following lemma dealing with the linear variant of the problem (1.1)-(1.2) plays a key role in the forthcoming analysis.

Lemma 1.3

For any \(y \in C[\xi, \zeta]\), the solution of the linear sequential fractional differential equation

$$ \bigl({}^{c}D^{\beta+1}+\kappa ^{c}D^{\beta}\bigr)x(t)= y(t),\quad 1< \beta< 2 , \xi < t< \zeta, \kappa>0, $$

supplemented with the three-point boundary conditions (1.2) is given by

$$\begin{aligned} x(t) =& \int_{\xi}^{t} e^{-\kappa(t-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta -1}}{\Gamma (\beta)}y(u)\,du \biggr)\,ds \\ &{}+ \sigma_{1}(t) \int_{\xi}^{\eta}e^{-\kappa(\eta-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)}y(u)\,du \biggr)\,ds \\ &{}+\sigma_{2}(t) \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta)}y(u)\,du \biggr)\,ds, \end{aligned}$$


$$\begin{aligned}& \sigma_{1}(t) = \frac{{\lambda_{4}\rho_{1}(t)}-{\lambda_{3}\rho _{2}(t)}}{\mu}, \qquad \sigma_{2}(t) = \frac{{\lambda_{1}\rho_{2}(t)}-{\lambda_{2}\rho _{1}(t)}}{\mu}, \end{aligned}$$
$$\begin{aligned}& \rho_{1}(t) =\kappa\bigl(1-e^{-\kappa(t-\xi)}\bigr), \qquad \rho_{2}(t) = \kappa(t-\xi)+e^{-\kappa(t-\xi)}-1, \end{aligned}$$
$$\begin{aligned}& \mu= \lambda_{2} \lambda_{3}-\lambda_{1} \lambda_{4} \neq0, \end{aligned}$$
$$\begin{aligned}& \lambda_{1} = \kappa\bigl(1-e^{-\kappa(\eta-\xi)}\bigr), \qquad \lambda _{2} =\kappa(\eta-\xi)+e^{-\kappa(\eta-\xi)}-1, \\ & \lambda_{3} = \kappa\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr), \qquad\lambda_{4} = \kappa(\zeta-\xi)+e^{-\kappa(\zeta-\xi)}-1. \end{aligned}$$


Applying the operator \(I^{\beta}\) on (1.4) and using the Property 1.2, we get

$$ I^{\beta}\bigl[{}^{c}D^{\beta}(D+\kappa)x(t) \bigr]=I^{\beta}y(t), $$

which, taking into account (1.3), yields

$$ (D+\kappa)x(t)= \int_{\xi}^{t} \frac{(t-s)^{\beta-1}}{\Gamma(\beta )}y(s) \,ds+c_{0}+c_{1}(t-\xi), $$

where \(c_{0},c_{1}\) are arbitrary constants. Rewriting (1.10) as

$$D\bigl(e^{\kappa t}x(t)\bigr)=e^{\kappa t} \biggl( \int_{\xi}^{t} \frac{(t-s)^{\beta -1}}{\Gamma(\beta)}y(s) \,ds+c_{0}+c_{1}(t-\xi) \biggr), $$

and then integrating from ξ to t, we get

$$e^{\kappa t}x(t)-e^{\kappa\xi}x(\xi)= \int_{\xi}^{t} e^{\kappa s} \biggl( \int _{\xi}^{s} \frac{(s-u)^{\beta-1}}{\Gamma(\beta)}y(u) \,du+c_{0}+c_{1}(s-\xi ) \biggr)\,ds. $$

Using \(x(\xi)=0\) and completing the integration, we get

$$\begin{aligned} x(t) =& \int_{\xi}^{t} e^{-\kappa(t-s)} \biggl( \int_{\xi}^{s} \frac {(s-u)^{\beta-1}}{\Gamma(\beta)}y(u)\,du \biggr)\,ds \\ &{}+\frac{c_{0}}{\kappa} \bigl[1-e^{-\kappa(t-\xi)} \bigr]+ \frac{c_{1}}{\kappa^{2}} \bigl[\kappa(t-\xi)+e^{-\kappa(t-\xi )}-1 \bigr]. \end{aligned}$$

Making use of the conditions \(x(\eta)=0\) and \(x(b)=0\) in (1.11), we obtain

$$\begin{aligned}& \lambda_{1} c_{0} + \lambda_{2} c_{1} = -\kappa^{2} \int_{\xi}^{\eta}e^{-\kappa (\eta-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta )}y(u)\,du \biggr)\,ds, \end{aligned}$$
$$\begin{aligned}& \lambda_{3} c_{0} +\lambda_{4} c_{1} = -\kappa^{2} \int_{\xi}^{\zeta}e^{-\kappa (\zeta-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta )}y(u)\,du \biggr)\,ds. \end{aligned}$$

Solving the system (1.12)-(1.13), we find that

$$\begin{aligned} c_{0} =&\frac{\kappa^{2}}{\mu} \biggl[\lambda_{4} \int_{\xi}^{\eta}e^{-\kappa (\eta -s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta )}y(u)\,du \biggr)\,ds \\ &{}-\lambda_{2} \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)}y(u)\,du \biggr)\,ds \biggr] \end{aligned}$$


$$\begin{aligned} c_{1} =&\frac{\kappa^{2}}{\mu} \biggl[\lambda_{1} \int_{\xi}^{\zeta}e^{-\kappa(\zeta -s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta )}y(u)\,du \biggr)\,ds \\ &{}-\lambda_{3} \int_{\xi}^{\eta}e^{-\kappa(\eta-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)}y(u)\,du \biggr)\,ds \biggr], \end{aligned}$$

where we have used (1.9). Inserting the values of \(c_{0} ,c_{1}\) in (1.11) and using the notations (1.6)-(1.9) completes the solution (1.5). By direct computation, one can establish the converse of this lemma. The proof is completed. □

2 Main results

By Lemma 1.3, the problem (1.1)-(1.2) can be transformed into a fixed point problem as

$$ x=\mathcal{G}x, $$

where the operator \(\mathcal{G}: \mathcal{X} \rightarrow\mathcal{X}\) is defined by

$$\begin{aligned}& (\mathcal{G}x) (t)= \int_{\xi}^{t} e^{-\kappa(t-s)} \bigl(I^{\beta} \phi\bigl(s,x(s)\bigr) \bigr)\,ds +\sigma _{1}(t) \int_{\xi}^{\eta}e^{-\kappa(\eta-s)} \bigl(I^{\beta} \phi \bigl(s,x(s)\bigr) \bigr)\,ds \\& \phantom{(\mathcal{G}x)(t)=}{}+\sigma_{2}(t) \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \bigl(I^{\beta} \phi\bigl(s,x(s)\bigr) \bigr)\,ds, \\& I^{\beta}\phi\bigl(t,x(t)\bigr)= \frac{1}{\Gamma(\beta)} \int_{\xi}^{t}\frac{\phi (s,x(s))}{(t-s)^{1-\beta}}\,ds, \end{aligned}$$

\(\sigma_{1}\), \(\sigma_{2}\) are defined by (1.6). Here \(\mathcal{X}=C([\xi,\zeta],\mathbb{R})\) denotes the Banach space of all continuous functions from \([\xi,\zeta]\rightarrow\mathbb{R}\) equipped with the norm \(\|x\|=\sup{\{|x(t)|:t \in[\xi,\zeta]\}}\).

For the sake of computational convenience, we set the notation

$$\begin{aligned}& \widehat{\sigma}_{1}=\max_{t\in[\xi,\zeta]}{ \bigl\vert \sigma_{1}(t) \bigr\vert },\qquad \widehat{ \sigma}_{2}=\max_{t\in[\xi,\zeta]}{ \bigl\vert \sigma_{2}(t) \bigr\vert }, \end{aligned}$$
$$\begin{aligned}& \delta=\frac{1}{\kappa\Gamma{(\beta+1)}} \bigl\{ {(1+\widehat{ \sigma}_{2}) (\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr)} + \widehat{\sigma}_{1} {(\eta-\xi)^{\beta}\bigl(1-e^{-\kappa(\eta-\xi )} \bigr)} \bigr\} , \end{aligned}$$
$$\begin{aligned}& \delta_{1} =\delta-\frac{(\zeta-\xi)^{\beta }(1-e^{-\kappa (\zeta-\xi)})}{\kappa\Gamma(\beta+1)}. \end{aligned}$$

In the forthcoming work, we need the following assumptions:

\((H_{1})\) :

\(|\phi(t,x)-\phi(t,y)|\le\ell|x-y|\), for all \(t\in[\xi,\zeta]\), \(x, y \in\mathbb{R}\), \(\ell>0\);

\((H_{2})\) :

\(|\phi(t,x)|\leq\vartheta(t)\), for all \((t,x)\in [\xi ,\zeta]\times\mathbb{R}\) and \(\vartheta\in\mathcal{C}([\xi,\zeta ],\mathbb{R}^{+})\).

Now we present our first existence result for the problem (1.1)-(1.2), which relies on Krasnoselskii’s fixed point theorem [17].

Theorem 2.1

Let \(\phi:[\xi,\zeta]\times\mathbb{R}\rightarrow\mathbb{R}\) be a continuous function satisfying the conditions \((H_{1})\) and \((H_{2})\). Then there exists at least one solution for the problem (1.1)-(1.2) on \([\xi,\zeta]\) if

$$ \ell\delta_{1} < 1, $$

where \(\delta_{1}\) is defined by (2.4).


Setting \(\sup_{t\in[\xi,\zeta]}|\vartheta(t)|=\| \vartheta \|\), we fix

$$\begin{aligned} \varrho \geq& \frac{\|\vartheta\|}{\kappa\Gamma(\beta +1)} \bigl\{ (\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \\ &{}+{(\zeta-\xi )^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \widehat{\sigma}_{2}}+{(\eta-\xi )^{\beta}\bigl(1-e^{-\kappa(\eta-\xi)} \bigr)\widehat{\sigma}_{1}} \bigr\} , \end{aligned}$$

and we consider \(B_{\varrho}=\{ x \in\mathcal{X} : \|x\|\leq \varrho \}\). Introduce the operators \(\mathcal{G}_{1}\) and \(\mathcal{G}_{2}\) on \(B_{\varrho}\) as follows:

$$\begin{aligned}& (\mathcal{G}_{1} x) (t)= \int_{\xi}^{t} e^{-\kappa(t-s)} \bigl(I^{\beta } \phi \bigl(s,x(s)\bigr) \bigr)\,ds, \\& (\mathcal{G}_{2}x) (t) =\sigma_{1}(t) \int_{\xi}^{\eta}e^{-\kappa (\eta-s)} \bigl(I^{\beta} \phi\bigl(s,x(s)\bigr) \bigr)\,ds \\& \phantom{(\mathcal{G}_{2}x) (t)=}{}+\sigma_{2}(t) \int _{a}^{\zeta}e^{-\kappa(\zeta-s)} \bigl(I^{\beta}\phi\bigl(s,x(s)\bigr) \bigr)\,ds. \end{aligned}$$

Observe that \(\mathcal{G}=\mathcal{G}_{1}+\mathcal{G}_{2}\). Now we verify the hypotheses of Krasnoselskii’s fixed point theorem in the following steps.

(i) For \(x,y \in B_{\varrho}\), we have

$$\begin{aligned}& \Vert \mathcal{G}_{1}x+\mathcal{G}_{2}y \Vert \\& \quad= \sup_{t\in[\xi,\zeta ]} \bigl\vert (\mathcal{G}_{1}x) (t)+(\mathcal{G}_{2}y) (t) \bigr\vert \\& \quad\leq\sup_{t\in[\xi,\zeta]} \biggl\{ \int_{\xi}^{t} e^{-\kappa (t-s)} \bigl(I^{\beta} \bigl\vert \phi\bigl(s,x(s)\bigr) \bigr\vert \bigr)\,ds + \bigl\vert \sigma_{1}(t) \bigr\vert \int _{\xi}^{\eta}e^{-\kappa(\eta-s)} \bigl(I^{\beta} \bigl\vert \phi\bigl(s,x(s)\bigr) \bigr\vert \bigr)\,ds \\& \qquad{}+ \bigl\vert \sigma_{2}(t) \bigr\vert \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \bigl(I^{\beta } \bigl\vert \phi\bigl(s,x(s)\bigr) \bigr\vert \bigr)\,ds \biggr\} \\& \quad\leq \Vert \vartheta \Vert \sup_{t\in[\xi,\zeta]} \biggl\{ \frac{(t-\xi )^{\beta}}{\Gamma(\beta+1)} \int_{\xi}^{t} e^{-\kappa(t-s)}\,ds \\& \qquad{}+ \bigl\vert \sigma_{1}(t) \bigr\vert \frac{(\eta-\xi)^{q}}{\Gamma(\beta+1)} \int_{\xi}^{\eta}e^{-\kappa(\eta-s)}\,ds + \bigl\vert \sigma_{2}(t) \bigr\vert \frac{(\zeta-\xi)^{\beta}}{\Gamma (\beta+1)} \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)}\,ds \biggr\} \\& \quad\leq\frac{\|\vartheta\|}{\kappa\Gamma(\beta+1)} \bigl\{ (\zeta -\xi )^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \\& \qquad{}+ (\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \widehat{ \sigma}_{2}+(\eta -\xi)^{\beta}\bigl(1-e^{-\kappa(\eta-\xi)}\bigr) \widehat{\sigma}_{1} \bigr\} \leq \varrho, \end{aligned}$$

where we have used (2.6). Thus \(\mathcal{G}_{1}x+\mathcal{G}_{2}y\in B_{\varrho}\).

(ii) Using the assumption \((H_{1})\) together with (2.5), it is easy to show that \(\mathcal{G}_{2}\) is a contraction.

(iii) Using the continuity of ϕ, it is easy to show that the operator \(\mathcal{G}_{1}\) is continuous. Further, \(\mathcal {G}_{1}\) is uniformly bounded on \(B_{\varrho}\) as

$$\Vert \mathcal{G}_{1}x \Vert = \sup_{t\in[\xi, \zeta]} \bigl\vert (\mathcal{G}_{1}x) (t) \bigr\vert \leq\frac{\|\vartheta\|(\zeta-\xi)^{\beta}}{\Gamma(\beta+1)} \bigl(1-e^{-\kappa(\zeta-\xi)} \bigr). $$

In order to establish that \(\mathcal{G}_{1}\) is compact, we define \(\sup_{(t,x)\in{[\xi, \zeta]\times B_{\varrho}}}|\phi (t,x)|=\overline {\phi}\). Thus, for \(\xi< t_{1}< t_{2}<\zeta\), we have

$$\begin{aligned}& \bigl\vert (\mathcal{G}_{1}x) (t_{2})-( \mathcal{G}_{1}x) (t_{1}) \bigr\vert \\& \quad = \biggl\vert \int_{\xi}^{t_{1}} \bigl[e^{-\kappa(t_{2}-s)}-e^{-\kappa (t_{1}-s)} \bigr] \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta )}\phi \bigl(u,x(u) \bigr)\,du \biggr)\,ds \\& \qquad{}+ \int_{t_{1}}^{t_{2}}e^{-\kappa(t_{1}-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)}\phi\bigl(u,x(u)\bigr) \,du \biggr)\,ds \biggr\vert \\& \quad \leq \frac{\overline{\phi}}{\kappa\Gamma(\beta+1)} \bigl\{ 2 \bigl(1-e^{-\kappa(t_{2}-t_{1})} \bigr) + \bigl\vert e^{-\kappa(t_{2}-\xi)}-e^{-\kappa(t_{1}-\xi)} \bigr\vert \bigr\} \to0 \quad\text{as } t_{1}\rightarrow t_{2}, \end{aligned}$$

independent of x. This shows that \(\mathcal{G}_{1}\) is relatively compact on \(B_{\varrho}\). As all the conditions of the Arzelá-Ascoli theorem are satisfied, so \(\mathcal{G}_{1}\) is compact on \(B_{\varrho}\). In view of steps (i)-(iii), the conclusion of Krasnoselskii’s fixed point theorem applies and hence there exists at least one solution for the problem (1.1)-(1.2) on \([\xi, \zeta]\). □

Remark 2.2

Interchanging the roles of the operators \(\mathcal{G}_{1}\) and \(\mathcal {G}_{2}\) in the foregoing result, we can obtain a second result by requiring the condition:

$$\frac{\ell}{\kappa\Gamma(\beta+1)}(\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta -\xi)}\bigr)< 1, $$

instead of (2.5).

In the next result, we establish the uniqueness of solutions for the problem (1.1)-(1.2).

Theorem 2.3

Let \(\phi:[\xi, \zeta]\times\mathbb{R }\rightarrow\mathbb{R}\) be a continuous function such that the assumption \((H_{1})\) holds with \(\ell ^{-1} >\delta\), where δ is given by (2.3). Then the problem (1.1)-(1.2) has a unique solution on \([\xi, \zeta]\).


Let us define \(\sup_{t\in[\xi, \zeta]}{|\phi (t,0)|=\phi _{m}}\) and select \(r\geq\frac{\delta\phi_{m}}{1-\ell \delta }\) to establish that \(\mathcal{G}\mathcal{E}_{r} \subset\mathcal{E}_{r}\), where \(\mathcal{E}_{r}=\{x\in\mathcal{X}:\|x\|\leq r\}\) and \({\mathcal {G}}\) is defined by (2.1). Using the condition \((H_{1})\), we have

$$\begin{aligned} \bigl\vert \phi(t,x) \bigr\vert =& \bigl\vert \phi(t,x)-\phi(t,0)+ \phi(t,0) \bigr\vert \leq \bigl\vert \phi (t,x)-\phi(t,0) \bigr\vert + \bigl\vert \phi(x,0) \bigr\vert \\ \leq& \ell \Vert x \Vert + \phi_{m} \leq\ell r+ \phi_{m}. \end{aligned}$$

Then, for \(x\in\mathcal{E}_{r}\), we obtain

$$\begin{aligned} \bigl\Vert \mathcal{G}(x) \bigr\Vert =& \sup _{t\in[\xi, \zeta]} \bigl\vert \mathcal{G}(x) (t) \bigr\vert \\ \leq& \sup_{t\in[\xi, \zeta]} \biggl\{ \int_{\xi}^{t} e^{-\kappa (t-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta)} \bigl\vert \phi \bigl(u,x(u)\bigr) \bigr\vert \,du \biggr)\,ds \\ &{}+ \bigl\vert \sigma_{1}(t) \bigr\vert \int_{\xi}^{\eta}e^{-\kappa(\eta-s)} \biggl( \int _{a}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(q)} \bigl\vert \phi \bigl(u,x(u)\bigr) \bigr\vert \,du \biggr)\,ds \\ &{}+ \bigl\vert \sigma_{2}(t) \bigr\vert \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)} \bigl\vert \phi \bigl(u,x(u)\bigr) \bigr\vert \,du \biggr)\,ds \biggr\} \\ \leq& (\ell r+\phi_{m})\sup_{t\in[\xi, \zeta]} \biggl\{ \int_{\xi}^{t} e^{-\kappa(t-s)}\frac{(s-u)^{\beta}}{\Gamma(\beta+1)}\,ds \\ &{}+ \bigl\vert \sigma_{1}(t) \bigr\vert \int_{\xi}^{\eta}e^{-\kappa(\eta-s)}\frac {(s-u)^{\beta }}{\Gamma(\beta+1)}\,ds + \bigl\vert \sigma_{2}(t) \bigr\vert \int_{\xi}^{\zeta}e^{-\kappa (\zeta -s)}\frac{(s-u)^{\beta}}{\Gamma(\beta+1)}\,ds \biggr\} \\ \leq & \frac{(\ell r+\phi_{m})}{\kappa\Gamma(\beta+1)} \bigl\{ (\zeta -\xi )^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \\ &{}+{(\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr)\widehat{ \sigma}_{2}}+{(\eta-\xi)^{\beta}\bigl(1-e^{-\kappa(\eta-\xi)}\bigr) \widehat{\sigma}_{1}} \bigr\} \\ =& (\ell r+\phi_{m})\delta\leq r. \end{aligned}$$

This shows that \(\mathcal{G}x\in\mathcal{E}_{r}\), \(x\in\mathcal{E}_{r}\). Thus \(\mathcal{G}\mathcal{E}_{r}\subset\mathcal{E}_{r}\). Now we show that \(\mathcal{G}\) is a contraction. For this purpose, let \(x,y\in\mathcal{X}\). Then, for each \(t\in[\xi, \zeta]\), we have

$$\begin{aligned} \bigl\Vert (\mathcal{G}x)-(\mathcal{G}y) \bigr\Vert \leq& \sup _{t\in[\xi, \zeta]} \biggl\{ \int_{\xi}^{t} e^{-\kappa (t-s)} \biggl( \int_{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta)} \bigl\vert \phi \bigl(u,x(u)\bigr)-\phi \bigl(u,y(u)\bigr) \bigr\vert \,du \biggr)\,ds \\ &{}+ \bigl\vert \sigma_{1}(t) \bigr\vert \int_{\xi}^{\eta}e^{-\kappa(\eta-s)} \biggl( \int_{\xi}^{s}\frac {(s-u)^{\beta-1}}{\Gamma(\beta)} \bigl\vert \phi \bigl(u,x(u)\bigr)-\phi\bigl(u,y(u)\bigr) \bigr\vert \,du \biggr)\,ds \\ &{}+ \bigl\vert \sigma_{2}(t) \bigr\vert \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \biggl( \int _{\xi}^{s}\frac{(s-u)^{\beta-1}}{\Gamma(\beta)} \bigl\vert \phi \bigl(u,x(u)\bigr)-\phi\bigl(u,y(u)\bigr) \bigr\vert \,du \biggr)\,ds \biggr\} \\ \leq&\ell\sup_{t\in[\xi, \zeta]} \biggl\{ \int_{\xi}^{t} e^{-\kappa (t-s)}\frac{(s-u)^{\beta}}{\Gamma(\beta+1)}\,ds + \bigl\vert \sigma_{1}(t) \bigr\vert \int _{\xi}^{\eta}e^{-\kappa(\eta-s)}\frac{(s-u)^{\beta}}{\Gamma(\beta+1)} \,ds \\ &{}+ \bigl\vert \sigma_{2}(t) \bigr\vert \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)}\frac {(s-u)^{\beta }}{\Gamma(\beta+1)}\,ds \biggr\} \Vert x-y \Vert \\ \leq& \ell\frac{1}{\kappa\Gamma(\beta+1)} \bigl\{ (\zeta-\xi )^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \\ &{}+{(\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta-\xi)}\bigr) \widehat{ \sigma}_{2}}+{(\eta-\xi)^{\beta}\bigl(1-e^{-\kappa(\eta-\xi)}\bigr) \widehat{\sigma}_{1}} \bigr\} \Vert x-y \Vert \\ =& \ell\delta \Vert x-y \Vert , \end{aligned}$$

which, in view of the given conditions \(\ell^{-1} >\delta\), implies that \(\mathcal{G}\) is a contraction. In consequence, it follows by the contraction mapping principle that there exists a unique solution for the problem (1.1)-(1.2) on \([\xi, \zeta]\). □

Example 2.4

Consider the sequential fractional differential equation

$$ \bigl({}^{c}D^{\frac{11}{4}}+ ^{c}D^{\frac{7}{4}} \bigr)x(t)= \biggl(\frac {|x|}{1+|x|}+\tan^{-1} x(t) \biggr) \frac{A}{2\sqrt{t^{2}+15}}+\sin t,\quad 1< t< 2, $$

supplemented with the boundary conditions:

$$ x(1)=0, \qquad x(3/2)=0, \qquad x(2)=0. $$

Here, \(\beta=7/4\), \(\kappa=1\), \(\eta=3/2\), \(\xi=1, \zeta=2\), A is a positive constant to be determined later and

$$\phi(t,x)= \biggl(\frac{|x|}{1+|x|}+\tan^{-1}x \biggr) \frac{A}{2\sqrt {t^{2}+15}}+\sin t. $$

Clearly \(|\phi(t,x)-\phi(t,y)|\leq(A/4)|x-y|\) with \(\ell=A/4\). Using the given values, it is found that \(\delta _{1}=0.09823\) and \(\delta=0.78602\) (δ and \(\delta_{1}\) are, respectively, given by (2.3) and (2.4)). It is easy to check that \(|f(t,x)|\leq1+A(2+\pi)/(4\sqrt{t^{2}+15})= \vartheta(t)\) and \(\ell\delta_{1} <1\) when \(A< 43.32943\). As all the conditions of Theorem 2.1 hold true, therefore the conclusion of Theorem 2.1 applies to the problem (2.9)-(2.10) on \([1,2]\). On the other hand, \(\ell\delta<1\) whenever \(A< 5. 0889\). Thus there exists a unique solution for problem (2.9)-(2.10) on \([1,2]\) by Theorem 2.3.

Remark 2.5

We can formulate several existence results for the problem (1.1)-(1.2) by assuming different conditions on the nonlinear function involved in the problem by applying different tools of the fixed point theory. For instance, there exists at least one solution for the problem (1.1)-(1.2) on \([\xi,\zeta]\) if \(|\phi(t,x)| \leq\widehat{p}(t)\widehat{\psi}(\|x\|)\) for each \((t,x) \in[\xi,\zeta]\times\mathbb{R}\) and that \(M[\widehat{\psi}(M) \| \widehat{p}\| \delta]^{-1}>1\), where \(\widehat{\psi} : [0,\infty) \rightarrow(0,\infty)\) is a continuous nondecreasing function, \(\widehat{p} \in C([\xi,\zeta],\mathbb{R}^{+})\), M is a positive constant and δ is defined by (2.3). This result can be established by applying nonlinear alternative for single valued maps [18]. We can also obtain an existence result by applying Leray-Schauder’s degree theory by assuming \(\phi:[\xi,\zeta]\times \mathbb{R} \to\mathbb{R}\) to be a continuous function such that \(|\phi (t,x)| \leq\varpi|x|+M_{1}\) for all \((t,x) \in[\xi,\zeta ]\times \mathbb{R}, 0\leq\varpi< \delta^{-1}, M_{1}>0\).

3 Non-homogeneous boundary conditions

In this section we consider a three-point boundary value problem of sequential fractional differential equations with non-homogeneous boundary conditions given by

$$\begin{aligned}& \bigl({}^{c}D^{\beta+1}+\kappa^{c}D^{\beta}\bigr)x(t)= \phi\bigl(t, x(t) \bigr),\quad 1< \beta < 2, \kappa>0, \xi< t< \zeta, \end{aligned}$$
$$\begin{aligned}& x(\xi)=\omega_{1},\qquad x(\eta)=\omega_{2}, \qquad x(\zeta)=\omega_{3} , \qquad -\infty < \xi< \eta< \zeta< \infty, \end{aligned}$$

where \(\omega_{i}, i=1,2,3\) are real constants.

As before we formulate the following lemma for the linear variant of the problem (3.1)-(3.2).

Lemma 3.1

For any \(y \in C[\xi, \zeta]\), the solution of the linear sequential fractional differential equation \(({}^{c}D^{\beta+1}+\kappa ^{c}D^{\beta})x(t)= y(t), 1<\beta<2 , \xi <t<\zeta, \kappa>0\) supplemented with (3.2) is given by

$$\begin{aligned} x(t) =& \int_{\xi}^{t} e^{-\kappa(t-s)} \bigl(I^{\beta}y(s) \bigr)\,ds+\omega_{1} e^{-\kappa(t-\xi)} \\ &{}+\sigma_{1}(t) \biggl\{ \int_{\xi}^{\eta}e^{-\kappa(\eta -s)} \bigl(I^{\beta}y(s) \bigr)\,ds+ \bigl(\omega_{1} e^{-\kappa(\eta-\xi )}-\omega_{2} \bigr) \biggr\} \\ &{}+\sigma_{2}(t) \biggl\{ \int_{\xi}^{\zeta}e^{-\kappa (\zeta -s)} \bigl(I^{\beta}y(s) \bigr)\,ds+ \bigl(\omega_{1} e^{-\kappa(\zeta -\xi )}-\omega_{3} \bigr) \biggr\} , \end{aligned}$$

where \(\sigma_{1}, \sigma_{2}\) are defined by (1.6).

In view of Lemma 3.1, we introduce an operator \(\mathcal {\widehat{G}}:\mathcal{X}\rightarrow\mathcal{X}\) associated with the problem (3.1)-(3.2) as follows:

$$\begin{aligned} (\mathcal{\widehat{G}}x) (t) =& \int_{\xi}^{t} e^{-\kappa (t-s)} \bigl(I^{\beta} \phi\bigl(s,x(s)\bigr) \bigr)\,ds+\omega_{1} e^{-\kappa (t-\xi)} \\ &{}+\sigma_{1}(t) \biggl\{ \int_{\xi}^{\eta}e^{-\kappa(\eta -s)} \bigl(I^{\beta} \phi\bigl(s,x(s)\bigr) \bigr)\,ds+ \bigl(\omega_{1} e^{-\kappa(\eta -\xi )}- \omega_{2} \bigr) \biggr\} \\ &{}+\sigma_{2}(t) \biggl\{ \int_{\xi}^{\zeta}e^{-\kappa(\zeta-s)} \bigl(I^{\beta}\phi\bigl(s,x(s)\bigr) \bigr) \,ds+ \bigl( \omega_{1} e^{-\kappa(\zeta-\xi)}-\omega_{3} \bigr) \biggr\} . \end{aligned}$$

Also we have

$$\begin{aligned} \widehat{\delta} =& \frac{1}{\kappa\Gamma(\beta+1)} \bigl\{ (1+\widehat{ \sigma}_{2}) \bigl((\zeta-\xi)^{\beta}\bigl(1-e^{-\kappa(\zeta -\xi )} \bigr)+\omega_{1}e^{-\kappa(\zeta-\xi)} \bigr) \\ &{}+ \widehat{\sigma}_{1} \bigl((\eta-\xi)^{\beta}\bigl(1-e^{-\kappa(\eta-\xi)}\bigr)+\omega_{1}e^{-\kappa (\eta-\xi )} \bigr)- \widehat{\sigma}_{1}\omega_{2}-\widehat{\sigma}_{2} \omega _{3} \bigr\} , \end{aligned}$$

where \(\widehat{\sigma}_{1}\) and \(\widehat{\sigma}_{2}\) define by (2.2).

As in Section 2, we can obtain the existence results for the problem (3.1)-(3.2) with the aid of the operator \(\mathcal {\widehat{G}}:\mathcal{X}\rightarrow\mathcal{X}\) and the constant δ̂ defined above.


  1. Magin, RL: Fractional Calculus in Bioengineering. Begell House Publishers, Redding (2006)

    Google Scholar 

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

    MATH  Google Scholar 

  3. Klafter, J, Lim, SC, Metzler, R (eds.): Fractional Dynamics in Physics. World Scientific, Singapore (2011)

    Google Scholar 

  4. Povstenko, YZ: Fractional Thermoelasticity. Springer, New York (2015)

    Book  MATH  Google Scholar 

  5. Javidi, M, Ahmad, B: Dynamic analysis of time fractional order phytoplankton-toxic phytoplankton-zooplankton system. Ecol. Model. 318, 8-18 (2015)

    Article  Google Scholar 

  6. Nyamoradi, N, Javidi, M, Ahmad, B: Dynamics of SVEIS epidemic model with distinct incidence. Int. J. Biomath. 8(6), 99-117 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  7. Carvalho, A, Pinto, CMA: A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int. J. Dyn. Control (2016). doi:10.1007/s40435-016-0224-3

    Google Scholar 

  8. Yang, XJ: Fractional derivatives of constant and variable orders applied to anomalous relaxation models in heat-transfer problems. Therm. Sci. 21, 1161-1171 (2017)

    Article  Google Scholar 

  9. Yang, XJ, Machado, JAT: A new fractional operator of variable order: application in the description of anomalous diffusion. Physica A 481, 276-283 (2017)

    Article  MathSciNet  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  11. Ahmad, B, Ntouyas, SK: A higher-order nonlocal three-point boundary value problem of sequential fractional differential equations. Miscolc Math. Notes 15(2), 265-278 (2014)

    MathSciNet  MATH  Google Scholar 

  12. Ye, H, Huang, R: Initial value problem for nonlinear fractional differential equations with sequential fractional derivative. Adv. Differ. Equ. 2015, 291 (2015)

    Article  MathSciNet  Google Scholar 

  13. Ahmad, B: Sharp estimates for the unique solution of two-point fractional-order boundary value problems. Appl. Math. Lett. 65, 77-82 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  14. Stanek, S: Periodic problem for two-term fractional differential equations. Fract. Calc. Appl. Anal. 20, 662-678 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  15. Zhou, Y, Ahmad, B, Alsaedi, A: Existence of nonoscillatory solutions for fractional neutral differential equations. Appl. Math. Lett. 72, 70-74 (2017)

    Article  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

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

    MathSciNet  Google Scholar 

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

    Book  MATH  Google Scholar 

Download references


The authors thank the reviewers for their useful comments, which led to the improvement of the original manuscript.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors contributed to each part of this work equally and read and approved the final version of the manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alghamdi, N., Ahmad, B., Ntouyas, S.K. et al. Sequential fractional differential equations with nonlocal boundary conditions on an arbitrary interval. Adv Differ Equ 2017, 246 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: