Skip to main content

Theory and Modern Applications

Nonlinear sequential fractional differential equations with nonlocal boundary conditions involving lower-order fractional derivatives

Abstract

This paper studies a new class of boundary value problems of sequential fractional differential equations of order \(q \in(2, 3]\) supplemented with nonlocal non-separated boundary conditions involving lower-order fractional derivatives. Existence and uniqueness results for the given problem are obtained by applying standard fixed-point theorems and are illustrated with the aid of examples. Some interesting observations are presented.

1 Introduction

Fractional calculus has been extensively studied and developed during the last few decades. It has been mainly due to an overwhelming interest shown by the modelers and researchers in the subject. One can find the applications of fractional-order derivatives and integrals in diverse disciplines such as applied mathematics, physics, control theory, mechanical structures, thermodynamics, etc. [1–5]. In contrast to the classical Laplacian, which is a local operator, the fractional Laplacian is a paradigm of the vast family of nonlocal linear operators and has immediate consequences in the formulation of basic equations like the diffusion equation. In particular, there has been a significant progress on fractional-order initial/boundary value problems, and the literature on the topic is now much enriched, covering theoretical development as well as applications of this important topic. The advancement in the study of fractional-order boundary value problems includes different kinds of boundary conditions such as two-point, multi-point, nonlocal, periodic/anti-periodic, and integral conditions. For details and examples, we refer the reader to a series of papers [6–16]. For some works on sequential fractional differential equations, for example, see [17, 18] and the references cited therein. In a recent work [19], the authors obtained some existence results for sequential fractional differential equations with anti-periodic type boundary conditions.

In this paper, we plan to develop the existence theory for nonlinear sequential fractional differential equations equipped with nonlocal non-separated fractional boundary conditions. Precisely, we consider the following problem:

$$ \textstyle\begin{cases} ({}^{c}D^{q} +k {}^{c}D^{q-1})u(t) =f(t, u(t)), \quad2 < q \le3, 0< t< T, \\ \alpha_{1}u(\eta)+\beta_{1}u(T)=a ,\\ \alpha_{2}{}^{c}D^{q-1}u(\eta)+\beta_{2}{}^{c}D^{q-1}u(T)=b,\\ \alpha_{3}{}^{c}D^{q-2}u(\eta)+\beta_{3}{}^{c}D^{q-2}u(T)=c, \end{cases} $$
(1.1)

where \({}^{c}D^{q}\) denotes the Caputo fractional derivative of order \(q, \alpha_{1}, \alpha_{2}, \alpha_{3}, \beta_{1},\beta_{2}, \beta_{3}, a, b, c \in\mathbb{R}\), \(k \in \mathbb{R}^{+}\), \(0<\eta<T\), and f is a given continuous function.

To the best of our knowledge, problem (1.1) considered in this paper is new and covers a variety of special cases for appropriate values of the parameters involved in the boundary conditions (see the ‘Concluding remarks’ section). The rest of the paper is organized as follows. In Section 2, we recall some preliminary concepts of fractional calculus and prove an auxiliary lemma associated with the linear variant of the given problem. Section 3 contains our main results which are supported with illustrative examples. Some interesting observations are presented in the last section.

2 Preliminary work

First of all, we recall some basic definitions [20, 21].

Definition 2.1

The fractional integral of order r with the lower limit zero for a function \(f:[0,\infty)\to R\) is defined as

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

provided the right-hand side is point-wise defined on \([0,\infty)\), where \(\Gamma(\cdot)\) is the gamma function, which is defined by \(\Gamma(r)=\int_{0}^{\infty}t^{r-1}e^{-t}\,dt\).

Definition 2.2

The Riemann-Liouville fractional derivative of order \(r>0\), \(n-1< r< n\), \(n\in N\), is defined as

$$D_{0+}^{r}f(t)=\frac{1}{\Gamma(n-r)} \biggl(\frac{d}{dt} \biggr)^{n} \int_{0}^{t} (t-s)^{n-r-1}f(s)\,ds, $$

where the function \(f:[0,\infty)\to R\) has an absolutely continuous derivative up to order \((n-1)\).

Definition 2.3

The Caputo derivative of order r for a function \(f:[0,\infty)\to R\) can be written as

$$\begin{aligned} {}^{c}D^{r} f(t)= D_{0+}^{r} \Biggl(f(t)-\sum_{k=0}^{n-1} \frac{t^{k}}{k!}f^{(k)}(0) \Biggr),\quad t>0, n-1< r< n. \end{aligned}$$

Remark 2.4

If \(f(t)\in C^{n}[0,\infty)\), then

$${}^{c}D^{r}f(t)= \frac{1}{\Gamma(n-r)} \int_{0}^{t} \frac{f^{(n)}(s)}{(t-s)^{r+1-n}}\,ds = I^{n-r}f^{(n)}(t),\quad t>0, n-1< q< n. $$

To define a solution for problem (1.1), we need the following lemma for its linear variant.

Lemma 2.5

Let \(h\in C([0,T],\mathbb{R})\). Then the following linear problem

$$ \textstyle\begin{cases} ({}^{c}D^{q} +k {}^{c}D^{q-1})u(t) =h(t), \quad2 < q \le3, 0< t< T, \\ \alpha_{1}u(\eta)+\beta_{1}u(T)=a ,\\ \alpha_{2}{}^{c}D^{q-1}u(\eta)+\beta_{2}{}^{c}D^{q-1}u(T)=b,\\ \alpha _{3}{}^{c}D^{q-2}u(\eta)+\beta_{3}{}^{c}D^{q-2}u(T)=c, \end{cases} $$
(2.1)

is equivalent to the fractional integral equation

$$\begin{aligned} u(t)={}&\nu_{1}(t)+ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}h(x)\, dx \biggr)\,ds \\ &{}-\frac{\alpha_{1}}{\rho} \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}h(x)\,dx \biggr)\,ds \\ &{}-\frac{\beta_{1}}{\rho} \int_{0}^{T} e^{-k(T-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}h(x)\,dx \biggr)\,ds \\ &{}+\nu_{2}(t) \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int _{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}h(m)\,dm \biggr)\,dx \biggr)\,ds \\ &{}+ \nu_{3}(t) \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac {(x-m)^{q-2}}{\Gamma(q-1)}h(m)\,dm \biggr)\,dx \biggr)\,ds \\ &{}+\nu_{4}(t) \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}h(x)\,dx \biggr)\,ds \\ &{}+\nu_{5}(t) \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma (q-1)}h(x)\,dx \biggr)\,ds \\ &{}+\nu_{6}(t) \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}h(x)\,dx \biggr)\,ds \\ &{}+\nu_{7}(t) \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-3}}{\Gamma (q-2)}h(x)\,dx \biggr)\,ds, \end{aligned}$$
(2.2)

where

$$\begin{aligned}& \nu_{1}(t)= \frac{a}{\rho}+\frac{\Gamma(3-q)b}{ k^{2}N\rho\sigma} \bigl(N\bigl(\rho e^{-kt}-\alpha \bigr)-k(z -\rho t)\vartheta \bigr)+\frac{\Gamma(3-q)c}{N\rho} (\rho t-z ), \\& \nu_{2}(t)=\frac{\alpha_{2}}{\rho\sigma} \bigl(\alpha-\rho e^{-kt} \bigr)+\frac{k(t\rho-z)(\sigma\alpha_{3}-\alpha_{2}\vartheta)}{\rho \sigma N}, \\& \nu_{3}(t)=\frac{\beta_{2}}{\rho\sigma} \bigl(\alpha-\rho e^{-kt} \bigr)+\frac{k(\rho t-z)(\sigma\beta_{3} -\beta_{2}\vartheta)}{\rho\sigma N}, \\& \nu_{4}(t)=\frac{\alpha_{2}}{ \rho k\sigma} \bigl(\rho e^{-kt}-\alpha \bigr) +\frac{(z-t\rho)(\sigma\alpha_{3}-\alpha_{2}\vartheta)}{\rho\sigma N}, \\& \nu_{5}(t)=\frac{\beta_{2}}{ \rho k\sigma} \bigl(\rho e^{-kt}-\alpha \bigr) +\frac{(z-t\rho)(\sigma\beta_{3}-\beta_{2}\vartheta)}{\rho\sigma N}, \\& \nu_{6}(t)=\frac{\alpha_{2} }{\rho Nk^{2}\sigma} \bigl[N\bigl(\alpha-\rho e^{-kt}\bigr)+k\vartheta(z-\rho t) \bigr], \\& \nu_{7}(t)=\frac{\beta_{2} }{\rho Nk^{2}\sigma} \bigl[N\bigl(\alpha-\rho e^{-kt}\bigr)+k\vartheta(z-\rho t) \bigr], \\& \rho=\alpha_{1}+\beta_{1},\qquad z=\eta\alpha_{1}+T\beta_{1},\qquad \sigma=\alpha_{2}\gamma+\beta_{2}\beta, \\& \alpha=\alpha_{1}e^{-k\eta}+\beta_{1}e^{-kT},\qquad \vartheta=\alpha_{3}\gamma+\beta _{3}\beta \\& N=\frac{\alpha_{3}\eta^{3-q}+\beta_{3}T^{3-q}}{3-q},\qquad \gamma= \int_{0}^{\eta}(\eta-s)^{2-q}e^{-ks}\,ds, \\& \beta= \int_{0}^{T}(T-s)^{2-q}e^{-ks}\,ds. \end{aligned}$$
(2.3)

Proof

Writing the linear sequential fractional differential equation in (2.1) as \({}^{c}D^{q-1}(D +k)u(t) =h(t)\) and then applying the Riemann-Liouville integral operator \(I^{q-1}\) on both sides, followed by integration from 0 to t, we get

$$ u(t)=A_{0}e^{-k t}+A_{1}+A_{2}t+ \int_{0}^{t} e^{-k(t-s)}I^{q -1}h(s) \,ds, $$
(2.4)

where \(A_{0}\), \(A_{1}\), and \(A_{2}\) are arbitrary constants and

$$I^{q -1}h(t)= \int_{0}^{t} \frac{(t-x)^{q-2}}{\Gamma(q-1)} h(x)\,dx. $$

From (2.4), we have

$$\begin{aligned} &\begin{aligned}[b] {}^{c}D^{q-1} u(t)={}&\frac{1}{\Gamma(3-q)} \int _{0}^{t}(t-s)^{2-q} \biggl(k^{2}A_{0}e^{-k t} +k^{2} \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx\\ & {}-kI^{q -1}h(s) +I^{q -2}h(s) \biggr)\,ds, \end{aligned} \end{aligned}$$
(2.5)
$$\begin{aligned} &\begin{aligned}[b] {}^{c}D^{q-2} u(t)={}&\frac{1}{\Gamma(3-q)} \int _{0}^{t}(t-s)^{2-q} \biggl(-kA_{0}e^{-k s}+A_{2}-k \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx\\ &{}+I^{q -1}h(s) \biggr)\,ds . \end{aligned} \end{aligned}$$
(2.6)

Now, using the boundary conditions given by (2.1) in (2.4), (2.5), and (2.6) together with notations (2.3), we get

$$\begin{aligned} &\alpha A_{0}+\rho A_{1} + z A_{2}+\alpha_{1}\int_{0}^{\eta}e^{-k(\eta-s)}I^{q -1}h(s)\,ds+\beta_{1}\int_{0}^{T} e^{-k(T-s)}I^{q -1}h(s)\,ds=a, \end{aligned}$$
(2.7)
$$\begin{aligned} & \begin{aligned}[b] &\frac{k^{2}A_{0}}{\Gamma(3-q)} (\alpha_{2}\gamma+\beta_{2}\beta )\\ &\quad {}+\frac{\alpha_{2}}{\Gamma(3-q)}\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(k^{2}\int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x)\,dx -kI^{q -1}h(s)+I^{q -2}h(s) \biggr)\,ds\\ &\quad {}+\frac{\beta_{2}}{\Gamma(3-q)}\int_{0}^{T}(T-s)^{2-q} \biggl(k^{2}\int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x)\,dx\\ &\quad {} -kI^{q -1}h(s)+I^{q -2}h(s) \biggr)\,ds=b, \end{aligned} \end{aligned}$$
(2.8)
$$\begin{aligned} & \begin{aligned}[b] & \frac{-kA_{0}}{\Gamma(3-q)} (\alpha_{3}\gamma+\beta _{3}\beta ) +\frac{A_{2}N}{\Gamma(3-q)}\\ &\quad {}+\frac{\alpha_{3}}{\Gamma(3-q)}\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(-k\int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x)\,dx +I^{q -1}h(s) \biggr)\,ds\\ &\quad {}+\frac{\beta_{3}}{\Gamma(3-q)}\int_{0}^{T}(T-s)^{2-q} \biggl(-k\int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x)\,dx +I^{q -1}h(s) \biggr)\,ds= c. \end{aligned} \end{aligned}$$
(2.9)

Solving system (2.7), (2.8), and (2.9) for \(A_{0}, A_{1}\), and \(A_{2}\), we find that

$$\begin{aligned} &\begin{aligned} A_{0} ={}& \frac{\Gamma(3-q) b}{k^{2}\sigma}\\ &{}-\frac{\alpha_{2}}{k^{2}\sigma} \int_{0}^{\eta}(\eta-s)^{2-q} \biggl(k^{2} \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx -kI^{q -1}h(s)+I^{q -2}h(s) \biggr)\,ds \\ &{}-\frac{\beta_{2}}{k^{2}\sigma} \int_{0}^{T}(T-s)^{2-q} \biggl(k^{2} \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx -kI^{q -1}h(s)+I^{q -2}h(s) \biggr)\,ds, \end{aligned} \\ &\begin{aligned} A_{1}={}&\frac{a}{\rho}-\frac{\Gamma(3-q)}{k^{2}\rho\sigma N}(N\alpha +zk \vartheta)b-\frac{z\Gamma(3-q)}{N\rho}c \\ &{} +\frac{1}{N\rho\sigma} \bigl(N\alpha\alpha_{2}- zk(\sigma \alpha_{3}-\alpha_{2}\vartheta) \bigr) \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx \biggr)\,ds \\ &{} +\frac{1}{N\rho\sigma} \bigl(N\alpha\beta_{2}- zk(\sigma \beta_{3}-\beta_{2}\vartheta) \bigr) \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx \biggr)\,ds \\ &{} -\frac{1}{kN\rho\sigma} \bigl(N\alpha\alpha_{2}+ k z( \alpha_{2}\vartheta-\sigma\alpha_{3}) \bigr) \int_{0}^{\eta}(\eta-s)^{2-q}I^{q-1}h(s)\,ds \\ &{} -\frac{1}{kN\rho\sigma} \bigl(N\alpha\beta_{2}+ k z( \beta_{2}\vartheta-\sigma\beta_{3}) \bigr) \int_{0}^{\eta}(\eta-s)^{2-q}I^{q -1}h(s) \,ds \\ &{} +\frac{\alpha_{2}}{k^{2}N\rho\sigma}(N\alpha+ z k\vartheta) \int_{0}^{\eta}(\eta-s)^{2-q}I^{q -2}h(s)\,ds \\ &{} +\frac{\beta_{2}}{k^{2}N\rho\sigma}(N\alpha+ z k\vartheta) \int_{0}^{T}(T-s)^{2-q}I^{q -2}h(s) \,ds \\ &{} -\frac{\alpha_{1}}{\rho} \int_{0}^{\eta}e^{-k(\eta-s)}I^{q -1}h(s) \,ds -\frac{\beta_{1}}{\rho} \int_{0}^{T} e^{-k(T-s)}I^{q -1}h(s) \,ds, \end{aligned} \\ & \begin{aligned} A_{2}={}&\frac{\Gamma(3-q)}{N k \sigma} (k \sigma c+b \vartheta ) + \frac{k}{N\sigma}(\sigma\alpha_{3}-\alpha_{2}\vartheta) \int_{0}^{\eta}(\eta -s)^{2-q} \biggl( \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx \biggr) \,ds \\ &{} +\frac{k}{N\sigma}(\sigma\beta_{3}-\beta_{2} \vartheta) \int _{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s} e^{-k(s-x)}I^{q -1}h(x) \,dx \biggr) \,ds \\ &{} +\frac{1}{N\sigma}(\alpha_{2}\vartheta- \alpha_{3}\sigma) \int_{0}^{\eta}(\eta -s)^{2-q}I^{q -1}h(s) \,ds\\ &{} +\frac{1}{N\sigma}(\beta_{2}\vartheta-\beta_{3}\sigma) \int_{0}^{T}(T-s)^{2-q}I^{q -1}h(s) \,ds \\ &{} -\frac{\alpha_{2}\vartheta}{k N\sigma} \int_{0}^{\eta}(\eta-s)^{2-q}I^{q -2}h(s) \,ds -\frac{\beta_{2}\vartheta}{k N\sigma} \int_{0}^{T}(T-s)^{2-q}I^{q -2}h(s) \,ds. \end{aligned} \end{aligned}$$

Substituting the values of \(A_{0},A_{1}\), and \(A_{2}\) in (2.4) and using notations (2.3), we get the solution (2.2). The converse follows by direct computation. This completes the proof.  □

3 Main results

Let \({\mathcal{P}}=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 \(\Vert u \Vert = \sup\{ \vert u(t) \vert , t \in[0,T]\}\).

In view of Lemma 2.5, we transform problem (1.1) into an equivalent fixed-point problem as

$$ u=\mathcal{H} u, $$
(3.1)

where \(\mathcal{H}: {\mathcal{P}} \to{\mathcal{P}}\) is defined by

$$\begin{aligned} (\mathcal{H} u)(t)={}&\nu_{1}(t)+ \int_{0}^{t}e^{-k(t-s)} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma (q-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}-\frac{\alpha_{1}}{\rho}\int_{0}^{\eta}e^{-k(\eta-s)} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\, dx \biggr)\,ds \\ &{}-\frac{\beta_{1}}{\rho}\int_{0}^{T} e^{-k(T-s)} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\, dx \biggr)\,ds \\ &{}+\nu_{2}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}e^{-k(s-x)} \biggl(\int _{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}f\bigl(m,u(m)\bigr)\,dm \biggr)\,dx \biggr)\,ds \\ &{}+ \nu_{3}(t)\int_{0}^{T}(T-s)^{2-q} \biggl(\int_{0}^{s}e^{-k(s-x)} \biggl(\int_{0}^{x}\frac {(x-m)^{q-2}}{\Gamma(q-1)}f\bigl(m,u(m)\bigr)\,dm \biggr)\,dx \biggr)\,ds \\ &{}+\nu_{4}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}+\nu_{5}(t)\int_{0}^{T}(T-s)^{2-q} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma (q-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}+\nu_{6}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}+\nu_{7}(t)\int_{0}^{T}(T-s)^{2-q} \biggl(\int_{0}^{s}\frac{(s-x)^{q-3}}{\Gamma (q-2)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds. \end{aligned}$$
(3.2)

Observe that problem (1.1) has solutions if operator equation (3.1) has fixed points.

For computational convenience, we set

$$\begin{aligned} Q ={}&\sup_{t\in[0,T]} \biggl\{ \frac{t^{q-1} \vert \rho \vert (1-e^{-kt})+ \vert \alpha_{1} \vert \eta^{q-1}(1-e^{-k\eta})+ \vert \beta_{1} \vert T^{q-1}(1-e^{-kT})}{ \vert \rho \vert k\Gamma(q)} \\ &{} +\frac{ \vert \nu_{2}(t) \vert \eta^{2}(1-e^{-k\eta})+ \vert \nu _{3}(t) \vert T^{2}(1-e^{-kT})+ \vert \nu_{4}(t) \vert k\eta^{2}+ \vert \nu _{5}(t) \vert kT^{2}}{k(3-q)\Gamma(q)} \\ &{}+\frac{ \vert \nu_{6}(t) \vert \eta+ \vert \nu_{7}(t) \vert T}{(3-q)\Gamma (q-1)} \biggr\} . \end{aligned}$$
(3.3)

In the following theorem, we establish the existence of a unique solution of problem (1.1) by means of Banach’s fixed-point theorem.

Theorem 3.1

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

\({(\mathrm{A}_{1})}\) :

There exists a positive number â„“ such that \(\vert f(t,u)-f(t,v) \vert \le\ell \vert u-v \vert \), \(\forall t \in [0,T]\), \({u, v\in \mathbb{R}}\).

Then the boundary value problem (1.1) has a unique solution on \([0, T]\) if \(\ell < 1/Q\), where Q is given by (3.3).

Proof

Consider a set \(B_{r}=\{u \in{\mathcal{P}}: \Vert u \Vert \le r \}\), where \(r \ge\frac{Q M+ \Vert \nu_{1} \Vert }{1-\ell Q}\), \(\sup_{t \in[0, T]} \vert f(t, 0) \vert =M\) and Q is given by (3.3). In the first step, we show that \(\mathcal{H} B_{r} \subset B_{r}\), where the operator \(\mathcal{H}\) is defined by (3.2). For any \(u\in B_{r}\), \(t\in[0,T]\), observe that

$$\begin{aligned} \bigl\vert f\bigl(t,u(t)\bigr) \bigr\vert =& \bigl\vert f \bigl(t,u(t)\bigr)-f(t,0)+f(t,0) \bigr\vert \le \bigl\vert f\bigl(t,u(t) \bigr)-f(t,0) \bigr\vert + \bigl\vert f(t,0) \bigr\vert \\ \le&\ell \Vert u \Vert +M \le\ell r +M, \end{aligned}$$

which together with (3.2) yields

$$\begin{aligned} \bigl\Vert (\mathcal{H}u) \bigr\Vert \le{}& \sup_{t\in[0,T]} \biggl\{ \bigl\vert \nu _{1}(t) \bigr\vert + \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha-2}}{\Gamma(\alpha -1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \biggl\vert \frac{\alpha_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \biggl\vert \frac{\beta_{1}}{\rho} \biggr\vert \int_{0}^{T} e^{-k(T-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{2}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{3}(t) \bigr\vert \\ &{}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{4}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{5}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{6}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{7}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \biggr\} \\ \le{}& (\ell r +M) \sup_{t\in[0,T]} \biggl\{ \vert \nu_{1} \vert + \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha -2}}{\Gamma(\alpha-1)}\,dx \biggr)\,ds \\ &{} + \biggl\vert \frac{\alpha_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds\\ &{} + \biggl\vert \frac{\beta_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\, ds \\ &{} + \bigl\vert \nu_{2}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}\,dm \biggr)\, dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{3}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}\,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{4}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds\\ &{} + \bigl\vert \nu_{5}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{6}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}\,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{7}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}\,dx \biggr)\,ds \biggr\} \\ \le{}& (\ell r +M)Q+ \Vert \nu_{1} \Vert \le r. \end{aligned}$$

This shows that \(\mathcal{H} B_{r} \subset B_{r}\). Next we show that the operator \(\mathcal{H}\) is a contraction. Let \(u, v \in {\mathcal{P}}\). Then

$$\begin{aligned} \Vert \mathcal{H}u-\mathcal{H}v \Vert \le{}& \sup_{t\in[0,T]} \biggl\{ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha-2}}{\Gamma(\alpha -1)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \biggl\vert \frac{\alpha_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{}+ \biggl\vert \frac{\beta_{1}}{\rho} \biggr\vert \int_{0}^{T} e^{-k(T-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{2}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr)\\ &{}-f\bigl(m,v(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{3}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr)\\ &{}-f\bigl(m,v(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{4}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{5}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\, ds \\ &{} + \bigl\vert \nu_{6}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{7}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr)-f\bigl(x,v(x)\bigr) \bigr\vert \,dx \biggr)\, ds \biggr\} \\ \le{}& \ell\| u-v\| \sup_{t\in[0,T]} \biggl\{ \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha-2}}{\Gamma(\alpha -1)}\,dx \biggr)\,ds \\ &{} + \biggl\vert \frac{\alpha_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds\\ &{} + \biggl\vert \frac{\beta_{1}}{\rho} \biggr\vert \int_{0}^{T} e^{-k(T-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\, ds \\ &{} + \bigl\vert \nu_{2}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}\,dm \biggr)\, dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{3}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}\,dm \biggr)\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{4}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds \\ &{}+ \bigl\vert \nu_{5}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds \\ &{} + \bigl\vert \nu_{6}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}\,dx \biggr)\,ds\\ &{} + \bigl\vert \nu_{7}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}\,dx \biggr)\,ds \biggr\} \\ \le {}&\ell Q \| u-v\|, \end{aligned}$$

where we have used (3.3). By the given assumption \(\ell<1/Q\), it follows that the operator \(\mathcal{H}\) is a contraction. Thus, by Banach’s contraction mapping principle, we deduce that the operator \(\mathcal{H}\) has a fixed point, which equivalently implies that problem (1.1) has a unique solution on \([0,T]\). □

Next, we show the existence of solutions for problem (1.1) by applying Krasnoselskii’s fixed-point theorem which is stated below.

Lemma 3.2

Krasnoselskii’s fixed-point theorem [22]

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

Theorem 3.3

Let \(f : [0,T]\times\mathbb{R} \to \mathbb{R}\) be a continuous function satisfying condition \((\mathrm{A}_{1})\) and that \(\vert f(t,u) \vert \le g(t)\), \(\forall(t,u) \in [0, T] \times\mathbb{R}\), where \(g \in C([0, T], {\mathbb {R}}^{+})\) with \(\sup_{t\in[0, T]} \vert g(t) \vert = \Vert g \Vert \). In addition, it is assumed that \(\ell Q_{1} <1\), where

$$\begin{aligned} Q_{1} = {}& \sup_{t\in[0,T]} \biggl\{ \frac{ \vert \alpha _{1} \vert \eta^{q-1}(1-e^{-k\eta})+ \vert \beta_{1} \vert T^{q-1}(1-e^{-kT})}{ \vert \rho \vert k\Gamma(q)} \\ &{} +\frac{ \vert \nu_{2}(t) \vert \eta^{2}(1-e^{-k\eta})+ \vert \nu _{3}(t) \vert T^{2}(1-e^{-kT})+ \vert \nu_{4}(t) \vert k\eta^{2}+ \vert \nu _{5}(t) \vert kT^{2}}{k(3-q)\Gamma(q)} \\ &{} +\frac{ \vert \nu_{6}(t) \vert \eta+ \vert \nu_{7}(t) \vert T}{(3-q)\Gamma (q-1)} \biggr\} . \end{aligned}$$
(3.4)

Then problem (1.1) has at least one solution on \([0, T]\).

Proof

Let us consider the closed set \(B_{a}=\{u \in {\mathcal{P}}: \Vert u \Vert \le a \}\), where \(a \ge Q \Vert g \Vert + \Vert \nu_{1} \Vert \) and Q is given by (3.3). We define the operators \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\) on \(B_{a}\) as

$$\begin{aligned} &(\mathcal{H}_{1} u) (t)= \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha-2}}{\Gamma (\alpha-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds, \\ & \begin{aligned} (\mathcal{H}_{2} u)(t)={}&\nu_{1}(t)-\frac{\alpha_{1}}{\rho }\int_{0}^{\eta}e^{-k(\eta-s)} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\, dx \biggr)\,ds\\ &{}-\frac{\beta_{1}}{\rho}\int_{0}^{T} e^{-k(T-s)} \biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\, dx \biggr)\,ds \\ &{}+\nu_{2}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}e^{-k(s-x)} \biggl(\int _{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}f\bigl(m,u(m)\bigr)\,dm \biggr)\,dx \biggr)\,ds\\ &{}+ \nu_{3}(t)\int_{0}^{T}(T-s)^{2-q} \biggl(\int_{0}^{s}e^{-k(s-x)} \biggl(\int_{0}^{x}\frac {(x-m)^{q-2}}{\Gamma(q-1)}f\bigl(m,u(m)\bigr)\,dm \biggr)\,dx \biggr)\,ds \\ &{}+\nu_{4}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}+\nu_{5}(t)\int_{0}^{T}(T-s)^{2-q}\biggl(\int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma (q-1)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds\\ &{}+\nu_{6}(t)\int_{0}^{\eta}(\eta-s)^{2-q} \biggl(\int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds \\ &{}+\nu_{7}(t)\int_{0}^{T}(T-s)^{2-q} \biggl(\int_{0}^{s}\frac{(s-x)^{q-3}}{\Gamma (q-2)}f\bigl(x,u(x)\bigr)\,dx \biggr)\,ds. \end{aligned} \end{aligned}$$

For \(u, v \in B_{a}\), it is easy to verify that \(\Vert \mathcal{H}_{1} u+ \mathcal{H}_{2} v \Vert \le Q \Vert g \Vert + \Vert \nu_{1} \Vert \). Thus, \(\mathcal{H}_{1} u+ \mathcal{H}_{2} v \in B_{a}\). Using assumption \((\mathrm{A}_{1})\) and (3.4), we can get \(\|\mathcal{H}_{2} u-\mathcal{H}_{2} v\| \le\ell Q_{1} \| u-v\|\), which implies that \(\mathcal{H}_{2} \) is a contraction in view of the given condition \(\ell Q_{1} <1\).

Notice that the continuity of f implies that the operator \(\mathcal{H}_{1}\) is continuous. Also, \(\mathcal{H}_{1}\) is uniformly bounded on \(B_{a}\) as

$$\Vert \mathcal{H}_{1} u \Vert \le\frac{(1-e^{-kT})T^{q-1} \Vert g \Vert }{k\Gamma(q)}. $$

In the last step, it will be shown that the operator \({\mathcal{H}_{1}}\) is compact. Fixing \(\sup_{(t,u) \in[0,T] \times B_{a}} \vert f(t,u) \vert =f_{a}\), for \(t_{1}, t_{2} \in[0, T]\), we have

$$\begin{aligned} & \bigl\Vert (\mathcal{H}_{1} u) (t_{2})-( \mathcal{H}_{1} u) (t_{1}) \bigr\Vert \\ &\quad \le f_{a} \biggl( \bigl\vert e^{-k t_{2}}-e^{-k t_{1}} \bigr\vert \int_{0}^{t_{1}} e^{ks} \biggl( \int_{0}^{s} \frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds\\ &\qquad {}+ \int_{t_{1}}^{t_{2}} e^{-k(t_{2}-s)} \biggl( \int_{0}^{s} \frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds \biggr) \\ &\quad \to0 \quad \mbox{as } t_{2}-t_{1} \to0 \end{aligned}$$

independent of u. This implies that \({\mathcal{H}_{1}}\) is relatively compact on \(B_{a}\). Hence, by the Arzelá-Ascoli theorem, the operator \({\mathcal{H}_{1}}\) is compact on \(B_{a}\). Thus all the assumptions of Lemma 3.2 are satisfied. In consequence, it follows from the conclusion of Lemma 3.2 that problem (1.1) has at least one solution on \([0, T]\). □

Now we prove the existence of solutions for problem (1.1) via the Leray-Schauder alternative. Let us first recall the nonlinear alternative for single-valued maps [23].

Lemma 3.4

Let C be a closed, convex subset of a Banach space E and U be an open subset of C such that \(0\in U\). Suppose that the operator \(\mathcal{T}:\overline{U}\to C\) is a continuous and compact map, that is, \(\mathcal{T}(\overline{U})\) is a relatively compact subset of C. Then either (i) \(\mathcal{T}\) has a fixed point in UÌ…, or (ii) there is \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) such that \(u=\lambda \mathcal{T}( u)\).

Theorem 3.5

Let \(f : [0,T]\times\mathbb{R} \to \mathbb{R}\) be a continuous function. Assume that

\({(\mathrm{A}_{2})}\) :

there exist a function \(p \in C([0,T], {\mathbb {R}}^{+})\) and a nondecreasing function \(\psi: {\mathbb{R}}^{+}\to{ \mathbb{R}}^{+}\) such that \(\vert f(t,u) \vert \le p(t)\psi( \Vert u \Vert )\), \(\forall(t,u) \in[0,T] \times{\mathbb {R}}\);

\({(\mathrm{A}_{3})}\) :

there exists a constant \(\overline{M}>0\) such that \(\overline{M}/\overline{Q}>1\), where

$$ \overline{Q}= \bigl\Vert \nu_{1}(t) \bigr\Vert + \Vert p \Vert \psi(\overline{M})Q. $$
(3.5)

Then problem (1.1) has at least one solution on \([0,T]\).

Proof

We complete the proof in several steps. In the first step, it will be shown that the operator \(\mathcal{H} : \mathcal{P} \to\mathcal{P}\) maps bounded sets into bounded sets in \(C([0,T], {\mathbb {R}})\). For the positive number r, let \(B_{r}=\{u \in{C([0,T], {\mathbb {R}})}: \Vert u \Vert \le r \}\) be a bounded set in \(C([0,T], {\mathbb {R}})\). Then, in view of assumption \((\mathrm{A}_{2})\), one can get

$$\begin{aligned} \bigl\vert (\mathcal{H}u) (t) \bigr\vert \le{}& \bigl\vert \nu_{1}(t) \bigr\vert + \int_{0}^{t}e^{-k(t-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{\alpha-2}}{\Gamma(\alpha -1)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds \\ & {} + \biggl\vert \frac{\alpha_{1}}{\rho} \biggr\vert \int_{0}^{\eta}e^{-k(\eta-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds \\ & {} + \biggl\vert \frac{\beta_{1}}{\rho} \biggr\vert \int_{0}^{T} e^{-k(T-s)} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds \\ & {} + \bigl\vert \nu_{2}(t) \bigr\vert \\ &{}\times \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}p(m)\psi \bigl( \Vert u \Vert \bigr)\,dm \biggr)\,dx \biggr)\,ds \\ & {} + \bigl\vert \nu_{3}(t) \bigr\vert \\ &{}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)}p(m)\psi\bigl( \Vert u \Vert \bigr)\, dm \biggr)\,dx \biggr)\,ds \\ & {} + \bigl\vert \nu_{4}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds \\ & {}+ \bigl\vert \nu_{5}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}p(x)\psi\bigl( \Vert u \Vert \bigr) \biggr)\,ds \\ & {} + \bigl\vert \nu_{6}(t) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds \\ & {}+ \bigl\vert \nu_{7}(t) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac {(s-x)^{q-3}}{\Gamma(q-2)}p(x)\psi\bigl( \Vert u \Vert \bigr)\,dx \biggr)\,ds. \end{aligned}$$

In consequence, taking the norm on \([0, T]\), we have that

$$\begin{aligned} \bigl\Vert (\mathcal{H}u) \bigr\Vert \le& \Vert \nu_{1} \Vert + \Vert p \Vert \psi(r) \biggl\{ \frac{t^{q-1} \vert \rho \vert (1-e^{-kt})+ \vert \alpha_{1} \vert \eta ^{q-1}(1-e^{-k\eta})+ \vert \beta_{1} \vert T^{q-1}(1-e^{-kT})}{ \vert \rho \vert k\Gamma(q)} \\ &{} +\frac{ \vert \nu_{2}(t) \vert \eta^{2}(1-e^{-k\eta})+ \vert \nu _{3}(t) \vert T^{2}(1-e^{-kT})+ \vert \nu_{4}(t) \vert k\eta^{2}+ \vert \nu _{5}(t) \vert kT^{2}}{k(3-q)\Gamma(q)} \\ &{}+\frac{ \vert \nu_{6}(t) \vert \eta+ \vert \nu_{7}(t) \vert T}{(3-q)\Gamma (q-1)} \biggr\} \\ =& \Vert \nu_{1} \Vert + \Vert p \Vert \psi(r)Q, \end{aligned}$$

where Q is given by (3.3).

Next we show that \(\mathcal{H}\) 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 \(u \in B_{r}\), where \(B_{r}\) is a bounded set of \(C([0,T], \mathbb{R})\). Then we obtain

$$\begin{aligned} & \bigl\vert (\mathcal{H}u) (t_{2})-(\mathcal{H}u) (t_{1}) \bigr\vert \\ &\quad \le \bigl\vert \nu_{1}(t_{2})- \nu_{1}(t_{1}) \bigr\vert \\ &\qquad {} + \biggl\vert \int_{0}^{t_{2}} \bigl(e^{-k(t_{2}-s)}-e^{-k(t_{1}-s)} \bigr) \biggl( \int _{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr) \,dx \biggr)\,ds \biggr\vert \\ &\qquad {} + \biggl\vert \int_{t_{1}}^{t_{2}}e^{-k(t_{1}-s)} \biggl( \int_{0}^{s}\frac {(s-x)^{q-2}}{\Gamma(q-1)}f\bigl(x,u(x)\bigr) \,dx \biggr)\,ds \biggr\vert \\ &\qquad {} + \bigl\vert \nu_{2}(t_{2})- \nu_{2}(t_{1}) \bigr\vert \\ &\qquad {}\times \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &\qquad {} + \bigl\vert \nu_{3}(t_{2})- \nu_{3}(t_{1}) \bigr\vert \\ &\qquad {}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int _{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac{(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &\qquad {} + \bigl\vert \nu_{4}(t_{2})- \nu_{4}(t_{1}) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {}+ \bigl\vert \nu_{5}(t_{2})- \nu_{5}(t_{1}) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int _{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {} + \bigl\vert \nu_{6}(t_{2})- \nu_{6}(t_{1}) \bigr\vert \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int _{0}^{s}\frac{(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {}+ \bigl\vert \nu_{7}(t_{2})- \nu_{7}(t_{1}) \bigr\vert \int_{0}^{T}(T-s)^{2-q} \biggl( \int _{0}^{s}\frac{(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\quad \le \biggl\vert \frac{\Gamma(3-q)b}{k^{2}N\sigma} \bigl(N \bigl(e^{-kt_{2}}-e^{-kt_{1}} \bigr) +k (t_{2}-t_{1})\vartheta \bigr)+\frac{\Gamma(3-q)c}{N}(t_{2}-t_{1}) \biggr\vert \\ &\qquad {} + \Vert p \Vert \psi\bigl( \Vert u \Vert \bigr) \biggl( \bigl\vert e^{-k t_{2}}-e^{-kt_{1}} \bigr\vert \int_{0}^{t_{1}} e^{ks} \biggl( \int_{0}^{s} \frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds\\ &\qquad {}+ \int_{t_{1}}^{t_{2}} e^{-k(t_{2}-s)} \biggl( \int_{0}^{s} \frac{(s-x)^{q-2}}{\Gamma(q-1)}\,dx \biggr)\,ds \biggr) \\ &\qquad {} + \biggl\vert \frac{-\alpha_{2}}{\sigma} \bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr)+ \biggl(\frac{ k(t_{2}-t_{1})}{ N} \biggr) \biggl(\alpha_{3}- \frac{\alpha_{2}\vartheta }{\sigma} \biggr) \biggr\vert \\ &\qquad {} \times\int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac {(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &\qquad {} + \biggl\vert \frac{-\beta_{2}}{\sigma} \bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr)+ \biggl(\frac{ k(t_{2}-t_{1})}{ N} \biggr) \biggl(\beta_{3}- \frac{\beta_{2}\vartheta }{\sigma} \biggr) \biggr\vert \\ &\qquad {}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}e^{-k(s-x)} \biggl( \int_{0}^{x}\frac {(x-m)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(m,u(m)\bigr) \bigr\vert \,dm \biggr)\,dx \biggr)\,ds \\ &\qquad {} + \biggl\vert \frac{\alpha_{2}}{ k\sigma} \bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr) - \biggl(\frac{(t_{2}-t_{1})}{ N} \biggr) \biggl(\alpha_{3}- \frac{\alpha_{2}\vartheta }{\sigma} \biggr) \biggr\vert \\ &\qquad {}\times \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma (q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {}+ \biggl\vert \frac{\beta_{2}}{ k\sigma} \bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr) - \biggl(\frac{(t_{2}-t_{1})}{ N} \biggr) \biggl(\beta_{3}- \frac{\beta_{2}\vartheta }{\sigma} \biggr) \biggr\vert \\ &\qquad {}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-2}}{\Gamma(q-1)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {} + \biggl\vert \frac{-\alpha_{2} }{ Nk^{2}\sigma} \bigl[N\bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr)+k\vartheta (t_{2}-t_{1}) \bigr] \biggr\vert \\ &\qquad {}\times \int_{0}^{\eta}(\eta-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-3}}{\Gamma (q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds \\ &\qquad {}+ \biggl\vert \frac{-\beta_{2} }{ Nk^{2}\sigma} \bigl[N\bigl( e^{-kt_{2}}-e^{-kt_{1}} \bigr)+k\vartheta (t_{2}-t_{1}) \bigr] \biggr\vert \\ &\qquad {}\times \int_{0}^{T}(T-s)^{2-q} \biggl( \int_{0}^{s}\frac{(s-x)^{q-3}}{\Gamma(q-2)} \bigl\vert f \bigl(x,u(x)\bigr) \bigr\vert \,dx \biggr)\,ds. \end{aligned}$$

Obviously, the right-hand side of the above inequality tends to zero independently of \(u \in B_{r}\) as \(t_{2}- t_{1} \to0\). As \(\mathcal{H}\) satisfies the above assumptions, it follows by the Arzelá-Ascoli theorem that \(\mathcal{H}: C([0,T], \mathbb{R}) \to C([0,T], \mathbb{R})\) is completely continuous.

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

Let u be a solution. Then, for \(t\in[0,T]\), using the method of computations in proving that \(\mathcal{H}\) is bounded, we can obtain

$$\begin{aligned} \bigl\vert u(t) \bigr\vert = \bigl\vert \lambda(\mathcal{H} u) (t) \bigr\vert \le \bigl\Vert \nu_{1}(t) \bigr\Vert + \Vert p \Vert \psi(r)Q, \end{aligned}$$

which implies that

$$\begin{aligned} \Vert u \Vert /\bigl( \vert \nu_{1} \vert + \Vert p \Vert \psi(r)Q\bigr)\le1. \end{aligned}$$

In view of \((A_{3})\), there exists MÌ… such that \(\Vert u \Vert \ne\overline{M}\). Let us set

$$U = \bigl\{ u \in C\bigl([0,T],\mathbb{R} \bigr): \Vert u \Vert < \overline{M}\bigr\} . $$

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

Our final result is based on Leray-Schauder degree theory.

Theorem 3.6

Let \(f : [0,T]\times\mathbb{R} \to \mathbb{R}\). Assume that there exist constants \(0\leq\overline{k} < \frac{1}{Q}\), where Q is given by (3.3) and \(\overline{\overline{M}}>0\) such that \(\vert f(t,u(t)) \vert \leq \overline{k} \Vert u \Vert +\overline{\overline{M}}\) for all \(t\in[0, T], u\in\mathbb{R}\). Then boundary value problem (1.1) has at least one solution.

Proof

In view of fixed-point problem (3.1), we just need to prove the existence of at least one solution \(u\in\mathbb{R}\) satisfying (3.1). Define a suitable ball \(B_{R}\subset C[0,T]\) with radius \(R>0\) as

$$B_{R}=\bigl\{ u \in C[0,T]: \Vert u \Vert \le R \bigr\} , $$

where R will be fixed later. Then it is sufficient to show that \(\mathcal{H}:\overline{B_{R}}\to C\) satisfies

$$ u\neq\lambda\mathcal{H}u, \quad \forall u\in\partial B_{R} \quad \mbox{and}\quad \forall\lambda\in[0,1]. $$
(3.6)

Let us set

$$\Phi(\lambda,u)=\lambda\mathcal{H}u ,\quad u\in C,\lambda\in[0,1]. $$

Then, by the Arzelá-Ascoli theorem, \(\omega_{\lambda}(u)=u-\Phi(\lambda,u)=u-\mathcal{H}u\) is completely continuous. If (3.6) is true, then the following Leray-Schauder degrees are well defined and, by the homotopy invariance of topological degree, it follows that

$$\begin{aligned} \operatorname{deg}(\omega_{\lambda},B_{R},0)&= \operatorname{deg}(I-\lambda\mathcal{H},B_{R},0)=\operatorname{deg}(\omega_{1},B_{R},0) \\ &=\operatorname{deg}(\omega_{0},B_{R},0)=\operatorname{deg}(I,B_{R},0)=1\neq0,\quad 0\in B_{R}, \end{aligned}$$
(3.7)

where I denotes the unit operator. By the nonzero property of Leray-Schauder degree, \(\omega_{1}(t)=u-\lambda\mathcal{H}u=0\) for at least one \(u\in B_{R}\). To prove (3.6), we assume that \(u=\lambda\mathcal{H}u=0\) for some \(\lambda\in[0,1]\) and for all \(t\in[0, T]\). Then, as in the preceding results, one can obtain

$$\Vert u \Vert \leq\frac{ \Vert \nu_{1} \Vert +\overline{\overline{M}} Q}{1-\overline{k} Q}. $$

Letting \(R=\frac{ \Vert \nu_{1} \Vert +\overline{\overline{M}} Q}{1-\overline{k} Q}+0.5\), (3.6) holds. This completes the proof. □

Example 3.7

Consider the following anti-periodic fractional boundary value problem:

$$ \textstyle\begin{cases} ({}^{c}D^{5/2}+2{}^{c}D^{3/2})u(t) =f(t,u(t)),\quad t \in[0, 4], \\ u(1)+2u(4)=1 ,\\ -2{}^{c}D^{3/2}u(1)-{}^{c}D^{3/2}u(4)=1.5,\\ {}^{c}D^{1/2}u(1)+{}^{c}D^{1/2}u(4)=-1. \end{cases} $$
(3.8)

\(T=4\), \(\eta=1\), \(k=2\), \(\alpha_{1}=1\), \(\beta_{1}=2\), \(\alpha_{2}=-2\), \(\beta_{2}=-1\), \(\alpha _{3}=1\), \(\beta_{3}=1\), \(a=1\), \(b=1.5\), \(c=-1\). With the given values, it is found that \(Q\approx16.51234\) and \(Q_{1}\approx13.50434\), where Q and \(Q_{1}\) are respectively defined by (3.3) and (3.4).

  • For the applicability of Theorem 3.1, let us take \(f(t,u(t))=\frac{\sin u}{30} +e^{-t}\cos t\) in (3.8). Then \(\ell=1/30\) as \(\vert f(t,u)-f(t,v) \vert \le\frac{1}{30} \vert u-v \vert \) and \(\ell Q \approx0.55041 <1\). Thus all the conditions of Theorem 3.1 are satisfied. Hence we deduce by the conclusion of Theorem 3.1 that there exists a unique solution for problem (3.8) on \([0, 4]\). To illustrate Theorem 3.3, we find that \(\vert f(t, u) \vert \le g(t)=\frac{1}{30} +e^{-t}\cos t\) with \(\Vert g \Vert =\frac{31}{30}\) and \(\ell Q_{1} \approx0.45014<1\). In consequence, by Theorem (3.3), problem (3.8) has at least one solution on \([0, 4]\).

  • For the illustration of Theorem 3.5, we consider \(f(t,u(t))=\frac{4 e^{-t} \tan^{-1}(u(t))}{\pi \sqrt{t^{2}+225}} \) in (3.8). Then \(\vert f(t, u) \vert \le p(t)\psi( \Vert u \Vert ) \) with \(\psi( \Vert u \Vert )=2, p(t)=\frac{e^{-t}}{\sqrt{t^{2}+225}}\), \(\overline{Q}= \Vert \nu_{1} \Vert + \Vert p \Vert \psi( \Vert \overline {M} \Vert )Q\approx 3.84039 \) (QÌ… is given by (3.5)) and \(\overline{M}> 3.84039 \). Thus all the conditions of Theorem 3.5 are satisfied, and the conclusion of Theorem 3.5 applies to problem (3.8).

  • For demonstrating the applicability of Theorem 3.6, let \(f(t,u(t))=\frac{sin (\pi u)}{30 \pi}+\frac{2}{1+u^{2}} \) in (3.8). Obviously, \(\vert f(t, u) \vert \le \Vert u \Vert /30+2 \) with \(\overline{k}=\frac{1}{30}\), \(\overline{\overline{M}}=2\). Clearly, \(\frac{1}{30}=\overline{k}<\frac{1}{Q}=\frac{1}{16.51234}\). Thus the hypothesis of Theorem 3.6 is satisfied. Hence, it follows by the conclusion of Theorem 3.6 that problem (3.8) has at least one solution on \([0, 4]\).

4 Concluding remarks

We have discussed the existence of solutions for sequential fractional differential equations of order \(q \in(2, 3]\) equipped with nonlocal non-separated boundary conditions involving lower-order fractional derivatives. The uniqueness result relies on Banach’s contraction mapping principle, while the existence of solutions is established by applying Krasnoselskii’s fixed-point theorem, the Leray-Schauder nonlinear alternative and Leray-Schauder degree theory. Though we make use of the standard tools of fixed-point theory, our results are new and significantly contribute to the existing literature on fractional-order boundary value problems with separated boundary conditions. Now we enlist some interesting observations.

  1. (a)

    For \(\eta=0\), our results correspond to the boundary conditions

    $$\alpha_{1}u(0)+\beta_{1}u(T)=a,\qquad {}^{c}D^{q-1}u(T)=b/ \beta_{2},\qquad {}^{c}D^{q-2}u(T)=c/\beta_{3} $$

    as \({}^{c}D^{q-1}u(0)=0\), \({}^{c}D^{q-2}u(0)=0\). This situation is in contrast to classical boundary conditions involving \(u'(\eta)\) and \(u''(\eta)\), which do not vanish when \(\eta=0\). This is equivalent to saying that the reduced results remain the same whether we take \(\eta=0\) or \(\alpha_{2}=0=\alpha_{3}\). From the preceding discussion, one can easily infer that the nonlocal boundary conditions involving lower-order fractional derivatives considered in problem (1.1) do not reduce to classical anti-periodic boundary conditions of the form \(u(0)+u(T)=0\), \(u'(0)+u'(T)=0\), \(u''(0)+u''(T)=0\) when we take \(\eta=0\), \(\alpha_{i}=1=\beta_{i}\) (\(i=1, 2, 3\)), \(a=b=c=0\).

  2. (b)

    By taking \(\beta_{i}=0\), \(i=1, 2, 3\), we obtain new results associated with one-point nonlocal conditions involving lower-order derivative:

    $$u(\eta)=a/\alpha_{1}, \qquad{}^{c}D^{q-1}u( \eta)=b/\alpha_{2}, \qquad {}^{c}D^{q-2}u(\eta)=c/ \alpha_{3},\quad \alpha_{i} \ne0, i=1, 2, 3, 0< \eta< T. $$
  3. (c)

    In case we take \(\alpha_{i}=1=\beta_{i}\) (\(i=1, 2, 3\)), \(a=b=c=0\) with \(0< \eta\ll T\), our results become the ones supplemented with perturbed anti-periodic boundary conditions involving lower-order derivatives:

    $$u(\eta)=-u(T),\qquad {}^{c}D^{q-1}u(\eta)=-{}^{c}D^{q-1}u(T), \qquad {}^{c}D^{q-2}u(\eta)=-{}^{c}D^{q-2}u(T). $$

References

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

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

    Google Scholar 

  3. Yang, X-J: Fractional derivatives of constant and variable orders applied to anomalous relaxation models in heat-transfer problems. Therm. Sci. (2016). doi:10.2298/TSCI161216326Y

    Google Scholar 

  4. Yang, X-J, Srivastava, HM, Machado, JAT: A new fractional derivative without singular kernel: application to the modelling of the steady heat flow. Therm. Sci. 20, 753-756 (2016)

    Article  Google Scholar 

  5. Yang, X-J, Gao, F, Srivastava, HM: Exact travelling wave solutions for the local fractional two-dimensional Burgers-type equations. Comput. Math. Appl. 73, 203-210 (2017)

    Article  MathSciNet  Google Scholar 

  6. Wang, G, Agarwal, RP, Cabada, A: Existence results and the monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 25, 1019-1024 (2012)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Henderson, J, Kosmatov, N: Eigenvalue comparison for fractional boundary value problems with the Caputo derivative. Fract. Calc. Appl. Anal. 17, 872-880 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  9. Zhai, C, Xu, L: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820-2827 (2014)

    Article  MathSciNet  Google Scholar 

  10. Punzo, F, Terrone, G: On the Cauchy problem for a general fractional porous medium equation with variable density. Nonlinear Anal. 98, 27-47 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  11. Wang, JR, Zhou, Y, Feckan, M: On the nonlocal Cauchy problem for semilinear fractional order evolution equations. Cent. Eur. J. Math. 12, 911-922 (2014)

    MathSciNet  MATH  Google Scholar 

  12. 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  MATH  Google Scholar 

  13. Ding, Y, Wei, Z, Xu, J, O’Regan, D: Extremal solutions for nonlinear fractional boundary value problems with p-Laplacian. J. Comput. Appl. Math. 288, 151-158 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  14. Qarout, D, Ahmad, B, Alsaedi, A: Existence theorems for semi-linear Caputo fractional differential equations with nonlocal discrete and integral boundary conditions. Fract. Calc. Appl. Anal. 19, 463-479 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  15. Agarwal, RP, O’Regan, D, Hristova, S, Cicek, M: Practical stability with respect to initial time difference for Caputo fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 42, 106-120 (2017)

    Article  MathSciNet  Google Scholar 

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

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

    Article  MathSciNet  MATH  Google Scholar 

  18. Ahmad, B, Nieto, JJ: A class of differential equations of fractional order with multi-point boundary conditions. Georgian Math. J. 21, 243-248 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  19. Aqlan, MH, Alsaedi, A, Ahmad, B, Nieto, JJ: Existence theory for sequential fractional differential equations with anti-periodic type boundary conditions. Open Math. 14, 723-735 (2016)

    Article  MathSciNet  MATH  Google Scholar 

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

  21. Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Hackensack (2014)

    Book  MATH  Google Scholar 

  22. Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

Download references

Acknowledgements

This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant No. (59-130-35-RG). The authors, therefore, acknowledge with thanks DSR for technical and financial support.

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, MSA, AA, BA, and MHA, 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 (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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alhothuali, M., Alsaedi, A., Ahmad, B. et al. Nonlinear sequential fractional differential equations with nonlocal boundary conditions involving lower-order fractional derivatives. Adv Differ Equ 2017, 104 (2017). https://doi.org/10.1186/s13662-017-1152-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1152-z