Open Access

Existence results for fractional differential equations of arbitrary order with nonlocal integral boundary conditions

Boundary Value Problems20152015:220

Received: 13 August 2015

Accepted: 12 November 2015

Published: 1 December 2015


In this paper, we investigate the existence of solutions for fractional differential equations of arbitrary order with nonlocal integral boundary conditions. The existence results are obtained by applying Krasnoselskii’s fixed point theorem and Leray-Schauder degree theory, while the uniqueness of the solutions is established by means of Banach’s contraction mapping principle. The paper concludes with illustrative examples.


fractional derivative arbitrary order integral boundary conditions existence fixed point


34A12 34G20 26A33

1 Introduction

The study of boundary value problems of fractional differential equations has gained considerable attention and several interesting results involving a variety of boundary conditions have appeared in the recent literature on the topic. The tools of fractional calculus have been effectively employed to improve the mathematical modeling of several phenomena occurring in scientific and engineering disciplines such as viscoelasticity [1], electrochemistry [2], electromagnetism [3], biology [4, 5], optimal control [6, 7], diffusion process [810], economics [11], chaotic theory [12], variational problems [13], etc. For a theoretical development of the subject, concerning the existence and uniqueness of solutions for nonlinear fractional order initial and nonlocal boundary value problems, we refer the reader to [1426] and the references cited therein. There has also been a great emphasis on studying fractional differential equations supplemented with integral boundary conditions; for instance, see [2732]. Motivated by recent studies of nonlocal nonlinear integral boundary value problems of fractional order, we go a step further and consider a more general problem of nonlinear fractional differential equations of arbitrary order with nonlocal integral boundary conditions. Precisely, we investigate the following problem:
$$ \left \{ \textstyle\begin{array}{@{}l} {}^{C}D_{t_{0}}^{\alpha}x(t)=f(t,x(t)),\quad t\in J, \\ x^{(k)}(\theta)=b_{k}+\int _{t_{0}}^{\theta }g_{k}(s,x(s))\,ds,\quad k=0,1,2,\ldots,n-1,\theta\in J, \end{array}\displaystyle \right . $$
where \(J=[t_{0},T]\), \({}^{C}D_{t_{0}}^{\alpha}\) is the Caputo fractional derivative of order α, \(n=[\alpha]+1\), \(b_{k}\in\mathbb{R}\), and \(f,g_{k}:J\times\mathbb{R} \rightarrow \mathbb{R}\) are given continuous functions.

The paper is organized as follows. In Section 2, we outline some basic concepts of fractional calculus, and establish a lemma which plays a key role in the sequel. The main results dealing with the existence and uniqueness of solutions for the problem (1.1) are discussed in Sections 3 and 4. We make use of the standard tools of the fixed point theory to obtain the desired results. The paper concludes with some interesting observations.

2 Preliminaries

First of all, we fix our terminology and recall some basic ideas of fractional calculus [14].

Let \(C(J,\mathbb{R} )\) be a Banach space of all continuous real valued functions defined on J endowed with the norm defined by \(\Vert x\Vert =\sup \{ \vert x(t)\vert ,t\in J \}\).

Definition 2.1

The Riemann-Liouville fractional integral of order r for a function \(h \in C(J, \mathbb{R})\) is defined as
$$I^{r} h(t)=\frac{1}{\Gamma(r)} \int_{t_{0}}^{t} \frac{h(s)}{(t-s)^{1-r}}\,ds,\quad r>0, $$
provided the integral exists.

Definition 2.2

Let \(h : [t_{0},\infty) \to \mathbb{R}\) be such that \(h \in AC^{n}(J, \mathbb{R})\). Then the Caputo derivative of fractional order r for h is defined as
$$^{c}D_{t_{0}}^{r} h(t)=\frac{1}{\Gamma(n-r)} \int _{t_{0}}^{t}(t-s)^{n-r-1}h^{(n)}(s) \,ds,\quad n-1 < r < n, n=[r]+1, $$
where \([r]\) denotes the integer part of the real number r.

Lemma 2.3

Let \(x\in AC^{n}(J,\mathbb{R} )\), \(f \in AC(J, \mathbb{R})\), and \(c_{k}\in \mathbb{R} \), then
$$ \left \{ \textstyle\begin{array}{@{}l} {}^{C}D_{t_{0}}^{\alpha} ( I^{\alpha}f(t) ) =f(t), \\ I^{\alpha}({}^{C}D_{t_{0}}^{\alpha }x(t))=x(t)+c_{0}+c_{1}(t-t_{0})+c_{2}(t-t_{0})^{2}+\cdots +c_{n-1}(t-t_{0})^{n-1}. \\ \textit{The general solution of the equation } {}^{C}D_{t_{0}}^{\alpha }x(t)=0\textit{ is} \\ \quad x(t)=c_{0}+c_{1}(t-t_{0})+c_{2}(t-t_{0})^{2}+\cdots +c_{n-1}(t-t_{0})^{n-1}.\end{array}\displaystyle \right . $$

We need the following result in the sequel.

Lemma 2.4

Let \(\{u_{n}\}\) be a sequence of real numbers, and \(n,k\in \mathbb{N} \), such that \(0\leq k\leq n-1\). If v is a positive real number, then
$$ \sum_{m=0}^{n-k-1}\sum _{r=0}^{n-k-m-1}(-1)^{r}\frac{v^{r+m}}{r!m!}u_{m+k+r}=u_{k}. $$


The left-hand side of equation (2.1) can be rearranged as
$$ \sum_{m=0}^{n-k-1} \Biggl( \sum _{r=0}^{m}\frac{(-1)^{m-r}}{r!(m-r)!} \Biggr) v^{m}u_{k+m}. $$
By a binomial expansion, the inner sum takes the form
$$ \frac{1}{m!}\sum_{r=0}^{m}(-1)^{m-r} \begin{pmatrix} m \\ r\end{pmatrix} =0, $$
for all \(m\geq1\). This completes the proof. □

3 Associated linear problem

In this section, we consider the linear variant of the problem (1.1) given by
$$ \begin{aligned} &{}^{C}D_{t_{0}}^{\alpha}x(t)= \tilde{f}(t),\quad t\in J, \\ &x^{(k)}(\theta)=b_{k}+ \int _{t_{0}}^{\theta }g_{k}(s)\,ds,\quad k=0,1,2, \ldots,n-1, \theta\in J,\end{aligned} $$
where \(x \in AC^{n}(J, \mathbb{R})\), \(\tilde{f} \in AC(J, \mathbb{R})\) and \(g_{k} \in C(J, \mathbb{R})\).

Lemma 3.1

The fractional boundary value problem (3.1) is equivalent to the integral equation
$$ x(t)=\sum_{k=0}^{n-1} \frac{(t-\theta)^{k}}{k!} \biggl( b_{k}+ \int _{t_{0}}^{\theta}g_{k}(s) \,ds-I^{\alpha -k} \tilde{f}(\theta) \biggr) +I^{\alpha}\tilde{f}(t),\quad t\in J. $$


For \(\alpha=n\), problem (3.1) reduces to the nth order classical problem:
$$ \begin{aligned} &\frac{d^{n}}{dt^{n}}x(t)=\tilde{f}(t),\quad t\in J,\\ &x^{(k)}(\theta)=b_{k}+ \int _{t_{0}}^{\theta }g_{k}(s)\,ds,\quad k=0,1,2, \ldots,n-1, \theta\in J,\end{aligned} $$
which can be integrated n times to have
$$ x(t)=\sum_{k=0}^{n-1}\frac{(t-\theta)^{k}}{k!} \biggl( b_{k}+ \int _{t_{0}}^{\theta}g_{k}(s)\,ds \biggr) + \frac{1}{(n-1)!}\int_{\theta}^{t}(t-s)^{n-1}\tilde{f}(s)\,ds. $$
Using binomial expansion, we find that
$$\begin{aligned} &\frac{1}{(n-1)!} \int_{\theta}^{t}(t-s)^{n-1}\tilde{f}(s)\,ds \\ &\quad=\frac{1}{(n-1)!} \int_{t_{0}}^{t}(t-s)^{n-1}\tilde{f}(s)\,ds- \frac {1}{(n-1)!}\int_{t_{0}}^{\theta}(t-s)^{n-1}\tilde{f}(s)\,ds \\ &\quad=I^{n}\tilde{f}(t)-\frac{1}{(n-1)!} \int_{t_{0}}^{\theta }(t-\theta+\theta -s)^{n-1} \tilde{f}(s)\,ds \\ &\quad=I^{n}\tilde{f}(t)-\sum_{k=0}^{n-1} \frac{(t-\theta)^{k}}{k!} \biggl( \frac{1}{(n-k-1)!} \int_{t_{0}}^{\theta}(\theta-s)^{n-k-1}\tilde{f}(s) \,ds \biggr) \\ &\quad=I^{n}\tilde{f}(t)-\sum_{k=0}^{n-1} \frac{(t-\theta )^{k}}{k!}I^{n-k}\tilde{f}(\theta), \end{aligned}$$
which together with (3.3) yields (3.2). Next, for \(n-1<\alpha<n\), by Lemma 2.3, we have
$$ I^{\alpha}\tilde{f}(t)=I^{\alpha} \bigl({}^{C}D_{t_{0}}^{\alpha} \bigr) x(t)=x(t)+\sum_{k=0}^{n-1}c_{k}(t-t_{0})^{k}. $$
Differentiating (3.4) k times, we get
$$ \sum_{m=0}^{n-k-1}\frac{ ( k+m ) !}{m!}c_{m+k}(t-t_{0})^{m}=I^{ \alpha-k} \tilde{f}(t)-x^{(k)}(t), $$
for \(0\leq k\leq n-1\). In view of the integral boundary conditions in (3.1), we can express equation (3.5) in the form of the following array:
$$\begin{aligned} & \begin{bmatrix} 1 & \frac{1!}{1!}(\theta-t_{0})^{1} & \frac{2!}{2!}(\theta -t_{0})^{2} & \cdots& \frac{(n-2)!}{(n-2)!}(\theta-t_{0})^{n-2} & \frac {(n-1)!}{(n-1)!}(\theta-t_{0})^{n-1} \\ 0 & \frac{1!}{0!}(\theta-t_{0})^{0} & \frac{2!}{1!}(\theta -t_{0})^{1} & \cdots& \frac{(n-2)!}{(n-3)!}(\theta-t_{0})^{n-3} & \frac {(n-1)!}{(n-2)!}(\theta-t_{0})^{n-2} \\ 0 & 0 & \frac{2!}{0!}(\theta-t_{0})^{0} & \cdots& \frac {(n-2)!}{(n-4)!}(\theta-t_{0})^{n-4} & \frac{(n-1)!}{(n-3)!}(\theta-t_{0})^{n-3} \\ \vdots& \vdots& \vdots& \cdots& \vdots& \vdots\\ 0 & 0 & 0 & 0 & \frac{(n-2)!}{0!}(\theta-t_{0})^{0} & \frac{(n-1)!}{1!} (\theta-t_{0})^{1} \\ 0 & 0 & 0 & 0 & 0 & \frac{(n-1)!}{0!}(\theta-t_{0})^{0}\end{bmatrix} \\ &\quad{}\times \begin{bmatrix} c_{0} \\ c_{1} \\ c_{2} \\ \vdots\\ c_{n-2} \\ c_{n-1}\end{bmatrix} = \begin{bmatrix} I^{\alpha}\tilde{f}(\theta)-b_{0}-\int _{t_{0}}^{\theta }g_{0}(s)\,ds \\ I^{\alpha-1}\tilde{f}(\theta)-b_{1}-\int _{t_{0}}^{\theta }g_{1}(s)\,ds \\ I^{\alpha-2}\tilde{f}(\theta)-b_{2}-\int _{t_{0}}^{\theta }g_{2}(s)\,ds \\ \vdots\\ I^{\alpha-n+2}\tilde{f}(\theta )-b_{n-2}-\int _{t_{0}}^{\theta}g_{n-2}(s)\,ds\\ I^{\alpha-n+1}\tilde{f}(\theta)-b_{n-1}-\int _{t_{0}}^{\theta }g_{n-1}(s)\,ds\end{bmatrix}. \end{aligned}$$
Solving this system for \(c_{r}\), \(r=1,2,\ldots,n\), we obtain
$$ c_{n-r}=\frac{1}{(n-r)!}\sum_{k=0}^{r-1} \frac{(-1)^{k}(\theta -t_{0})^{k}}{k!} \biggl( I^{\alpha-n+r-k}\tilde{f}(\theta )-b_{n-r+k}- \int _{t_{0}}^{\theta}g_{n-r+k}(s)\,ds \biggr), $$
which, for \(m=0,1,2,\ldots,n-1\), can be written as
$$ c_{m}=\frac{1}{m!}\sum_{k=0}^{n-m-1} \frac{(-1)^{k}(\theta -t_{0})^{k}}{k!} \biggl( I^{\alpha-m-k}\tilde{f}(\theta )-b_{m+k}- \int _{t_{0}}^{\theta}g_{m+k}(s)\,ds \biggr) . $$
Indeed, by Lemma 2.4 with \(v=\theta-t_{0}\), and \(u_{k}=I^{\alpha -k}\tilde{f}(\theta)-b_{k}-\int _{t_{0}}^{\theta}g_{k}(s)\,ds\), (3.6) is a solution of (3.5) with \(t=\theta\). By means of (3.6) and (3.4), we obtain
$$\begin{aligned} x(t) =&I^{\alpha }\tilde{f}(t)+\sum_{k=0}^{n-1} \sum_{m=0}^{n-k-1}\frac{ ( -1 ) ^{m}(\theta-t_{0})^{m}(t-t_{0})^{k}}{m!k!} \biggl( b_{m+k}+ \int _{t_{0}}^{\theta }g_{m+k}(s) \,ds-I^{\alpha-k-m} \tilde{f}(\theta) \biggr), \end{aligned}$$
which can alternatively be written as
$$ x(t)=I^{\alpha}\tilde{f}(t)+\sum_{k=0}^{n-1} \psi_{k}(t) \biggl( b_{k}+ \int _{t_{0}}^{\theta}g_{k}(s) \,ds-I^{\alpha -k}f( \theta) \biggr), $$
$$ \psi_{k}(t)=\sum_{m=0}^{k}(-1)^{k-m} \frac{ ( \theta-t_{0} ) ^{k-m}}{(k-m)!}\frac{(t-t_{0})^{m}}{m!},\quad k=0,1,\ldots, n-1. $$
Next, for \(t_{0}<\theta\leq T\), it follows by a binomial expansion that
$$\begin{aligned} \psi_{k}(t) =\frac{ ( \theta-t_{0} ) ^{k}}{k!}\sum _{m=0}^{k} \begin{pmatrix} k \\ m\end{pmatrix} \biggl( \frac{t-t_{0}}{\theta-t_{0}} \biggr) ^{m}(-1)^{k-m} =\frac{ ( \theta-t_{0} ) ^{k}}{k!} \biggl( \frac{t-\theta}{\theta-t_{0}} \biggr) ^{k}= \frac{(t-\theta )^{k}}{k!}, \end{aligned}$$
which, on substituting in (3.7), yields (3.2).

On the other hand, applying the operator \({}^{C}D_{t_{0}}^{\alpha }\), \(n-1<\alpha \leq n\) to (3.2), and using Lemma 2.3, we obtain (3.1). This completes the proof. □

Remark 3.2

We can solve different kinds of boundary value problems involving integral (classical) and multi-point boundary conditions by applying the method of proof used for Lemma 3.1. Here, we enlist the following two cases.

(a) The two-point boundary value problem of the form
$$ \left \{ \textstyle\begin{array}{@{}l} {}^{C}D_{t_{0}}^{\alpha}x(t)=\tilde{f}(t),\quad t\in J, \\ x(t_{0})=b_{0},\qquad x^{(k)}(T)=b_{k}+\int _{t_{0}}^{T}g_{k}(s)\,ds,\quad k=1,2,\ldots,n-1,\end{array}\displaystyle \right . $$
has an integral solution given by
$$\begin{aligned} x(t) =&b_{0}+ \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) }\tilde{f}(s)\,ds- \sum_{k=1}^{n-1}\frac {(-1)^{k}}{k!} \bigl( (T-t_{0})^{k}-(T-t)^{k} \bigr) \\ &{}\times \biggl( b_{k}+ \int _{t_{0}}^{T}g_{k}(s)\,ds- \int _{t_{0}}^{T} \frac{ ( T-s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \tilde{f}(s)\,ds \biggr),\quad t\in J. \end{aligned}$$
(b) The integral solution of the three-point boundary value problem
$$ \left \{ \textstyle\begin{array}{@{}l} {}^{C}D_{t_{0}}^{\alpha}x(t)=\tilde{f}(t),\quad t \in J, \\ x(t_{0})=b_{0},\qquad x(t_{1})=b_{1},\quad t_{0}< t_{1}< T, \\ x^{(k)}(T)=b_{k}+\int _{t_{0}}^{T}g_{k}(s)\,ds,\quad k=2,\ldots,n-1,\end{array}\displaystyle \right . $$
$$\begin{aligned} x(t) =& \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) } \tilde{f}(s) \,ds+b_{0} - \biggl( b_{0}-b_{1}+ \int _{t_{0}}^{t_{1}}\frac{ ( t_{1}-s ) ^{\alpha-1}}{\Gamma ( \alpha ) }f(s)\,ds \biggr) \frac {t-t_{0}}{t_{1}-t_{0}} \\ &{}+\sum_{k=2}^{n-1}\frac{ ( -1 ) ^{k}}{k!} \bigl[ (t-t_{0}) (T-t_{1})^{k}-(t-t_{1}) (T-t_{0})^{k}- ( t_{1}-t_{0} ) (T-t)^{k} \bigr] \\ &{}\times \frac{1}{t_{1}-t_{0}} \biggl( b_{k}+ \int _{t_{0}}^{T}g_{k}(s)\,ds- \int _{t_{0}}^{T}\frac{ ( T-s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \tilde{f}(s)\,ds \biggr),\quad t\in J. \end{aligned}$$

4 Main results

In this section, we show the existence of solutions for the problem (1.1) by applying some fixed point theorems.

In relation to the problem (1.1), we define the fixed point problem
$$ \Psi x =x, $$
where the operator \(\Psi:C(J,\mathbb{R} )\rightarrow C(J,\mathbb{R})\) is defined by
$$\begin{aligned} \Psi x(t) =&\sum_{k=0}^{n-1} \frac{(t-\theta)^{k}}{k!} \biggl( b_{k}+ \int _{t_{0}}^{\theta }g_{k} \bigl(s,x(s) \bigr)- \int _{t_{0}}^{\theta}\frac{ ( \theta -s ) ^{\alpha-k-1}}{\Gamma ( \alpha -k ) }f \bigl(s,x(s) \bigr)\,ds \biggr) \\ &{}+ \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) }f \bigl(s,x(s) \bigr)\,ds. \end{aligned}$$

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

Lemma 4.1

The operator \(\Psi:C(J,\mathbb{R} )\rightarrow C(J,\mathbb{R} )\) given by (4.2) is completely continuous.


Obviously continuity of the operator Ψ follows from the continuity of the functions f and \(g_{k}\), \(k=0,1,\ldots,n-1\). Let Ω be a bounded subset of \(C(J,\mathbb{R} )\), then for any \(t\in J\), and \(x\in\Omega\), there exist positive constants \(L_{f}\), and \(L_{k}\), \(k=0,1,\ldots,n-1\), such that \(\vert f(t,x(t))\vert \leq L_{f}\), and \(\vert g_{k}(t,x(t))\vert \leq L_{k}\). Then we have
$$\begin{aligned} &\bigl|(\Psi x) (t)\bigr| \\ &\quad\leq\sum_{k=0}^{n-1}\frac{\vert {t-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + \int _{t_{0}}^{\theta }\bigl|g_{k} \bigl(s,x(s) \bigr)\bigr| \,ds+ \int _{t_{0}}^{\theta}\frac{ ( \theta-s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \biggr) \\ &\qquad{}+ \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \\ &\quad\leq\sum_{k=0}^{n-1}\frac{\vert {t-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + ( \theta-t_{0} ) L_{k}+\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) }L_{f} \biggr) + \frac{ ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha +1 ) }L_{f} \\ &\quad=: L, \end{aligned}$$
which implies that \(\Vert (\Psi x)\Vert \leq L\). Furthermore,
$$\begin{aligned} & \bigl\vert (\Psi x) (t_{2})-(\Psi x) (t_{1}) \bigr\vert \\ &\quad\leq\sum_{k=0}^{n-1} \frac{\vert (t_{2}-\theta)^{k}-(t_{1}-\theta )^{k}\vert }{k!}\\ &\qquad{}\times \biggl( \vert b_{k}\vert + \int _{t_{0}}^{\theta }\bigl|g_{k} \bigl(s,x(s) \bigr)\bigr| \,ds+ \int _{t_{0}}^{\theta}\frac{ ( \theta-s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \biggr) \\ &\qquad{}+ \int _{t_{0}}^{t_{1}}\frac{\vert ( t_{2}-s ) ^{\alpha-1}- ( t_{1}-s ) ^{\alpha-1}\vert }{\Gamma ( \alpha )} \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds + \int _{t_{1}}^{t_{2}}\frac{ ( t_{2}-s )^{\alpha -1}}{\Gamma ( \alpha )} \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \\ &\quad\leq\sum_{k=0}^{n-1} \frac{\vert (t_{2}-\theta)^{k}-(t_{1}-\theta )^{k}\vert }{k!} \biggl( \vert b_{k}\vert + ( \theta-t_{0} ) L_{k}+\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) }L_{f} \biggr) \\ &\qquad{}+\frac{L_{f}}{\Gamma(\alpha+1)} \bigl( 2\vert {t_{2}-t_{1}}\vert ^{\alpha}+ \bigl\vert (t_{2}-t_{0})^{\alpha }-(t_{1}-t_{0})^{\alpha} \bigr\vert \bigr), \end{aligned}$$
which tends to zero independent of x as \(t_{2}\rightarrow t_{1}\). This implies that Ψ is equicontinuous on J. In consequence, it follows by the Arzela-Ascoli theorem that the operator Ψ is completely continuous. □

Our first existence result is based on Krasnoselskii’s fixed point theorem (4.2).

Theorem 4.2


Let M be a closed convex and nonempty subset of a Banach space X. Let A, B be the operators such that
  1. (i)

    \(Ax+By\in M\) whenever \(x,y\in M\);

  2. (ii)

    A is compact and continuous;

  3. (iii)

    B is a contraction.


Then there exists \(z\in M\) such that \(z=Az+Bz\).

Theorem 4.3

Assume that
For any \(t\in J\) and \(k=0,1,\ldots,n-1\), there exist positive constants \(C_{f}\) and \(C_{k}\) such that
$$\bigl\vert f(t,x)-f(t,y) \bigr\vert \leq C_{f}\vert x-y\vert ,\qquad \bigl\vert g_{k}(t,x)-g_{k}(t,y) \bigr\vert \leq C_{k}\vert x-y\vert , $$
for all \(x, y \in\mathbb{R}\), and we can find \({\mu}_{f}, \mu_{k}\in C(J, \mathbb{R}^{+})\) such that
$$ \bigl\vert f(t,x) \bigr\vert \leq { \mu}_{f}(t), \qquad \bigl\vert g_{k}(t,x) \bigr\vert \leq { \mu}_{k}(t),\quad \textit{for all } x \in \mathbb{R}; $$
\(\eta<1\), where
$$ \eta=\sum_{k=0}^{n-1}\frac{(T-\theta)^{k}}{k!} \biggl[ C_{k} ( \theta-t_{0} ) +\frac{C_{f} ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr]. $$
Then the problem (1.1) has at least one solution on J.


Let us define a set \(B_{r}=\{x\in C(J,\mathbb{R} ):\Vert x\Vert \leq r\}\), where r is a positive constant satisfying the inequality
$$ r\geq\frac{\vert T{-t}_{0}\vert ^{\alpha}}{\Gamma(\alpha+1 )}{\Vert { \mu}_{f}\Vert }+\sum _{k=0}^{n-1}\frac{\vert T{-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert +{\Vert {\mu}_{k} \Vert }+{\Vert {\mu}_{f} \Vert }\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr). $$
Introduce the operators Θ and Φ on \(B_{r}\) as
$$\begin{aligned}& ( \Theta x ) ( t ) = \int _{t_{0}}^{t}{\frac {{(t-s)}^{\alpha-1}}{\Gamma(\alpha)}}f \bigl( s,x ( s ) \bigr)\,ds, \\& (\Phi x) (t)=\sum_{k=0}^{n-1} \frac{(t-\theta)^{k}}{k!} \biggl( b_{k}+ \int _{t_{0}}^{\theta }g_{k} \bigl(s,x(s) \bigr) \,ds- \int _{t_{0}}^{\theta}\frac{ ( \theta -s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) }f \bigl(s,x(s) \bigr)\,ds \biggr) . \end{aligned}$$
For \(x,y\in B_{r}\), \(t\in J\), using assumption (A1), we find that
$$\begin{aligned}[b] \bigl\vert \Theta x(t)+\Phi y(t) \bigr\vert \leq{}&\frac{ ( T{-t}_{0} ) ^{\alpha}}{\Gamma(\alpha+1 )}{\Vert {\mu}_{f}\Vert } \\ &{}+\sum_{k=0}^{n-1}\frac{\vert T-\theta \vert ^{k}}{k!} \biggl( \vert b_{k}\vert +{\Vert { \mu}_{k}\Vert }+{\Vert { \mu}_{f}\Vert }\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr) \le r. \end{aligned} $$
Thus, \(\Theta x+\Phi y\in B_{r}\). By assumption (A1), for \(x,y\in B_{r}\), \(t\in J\), we have
$$\begin{aligned} \bigl\vert ( \Phi x ) ( t ) - ( \Phi y ) ( t ) \bigr\vert \leq &\sum _{k=0}^{n-1}\frac{(T-\theta)^{k}}{k!} \biggl[ C_{k} ( \theta-t_{0} ) +\frac{C_{f} ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr] \Vert x-y\Vert \\ \le&\eta \Vert x-y\Vert , \end{aligned}$$
that is, \(\Vert ( \Phi x ) - ( \Phi y ) \Vert \leq\eta \Vert x-y\Vert \). Since \(\eta<1\) by (A2), Φ is a contraction.
Continuity of f implies that the operator Θ is continuous. Also, Θ is uniformly bounded on \(B_{r} \) as
$$\Vert \Theta x\Vert \leq\frac{ ( T{-t}_{0} ) ^{\alpha}}{\Gamma(\alpha+1 )}{\Vert {\mu}_{f}\Vert }. $$
Now we show the compactness of the operator Θ. In view of assumption (A1), we define
$$ {\sup_{(t,x)\in J\times Br}} \bigl\vert {f(t,x)} \bigr\vert =f_{\max}< \infty. $$
Then, for \(t_{1},t_{2}\in J\), we have
$$\begin{aligned} \bigl| ( \Theta x ) ( t_{2} ) - ( \Theta x ) ( t_{1} )\bigr| =& \biggl\vert \int _{t_{0}}^{t_{1}}\frac{ [{(t_{2}-s)}^{\alpha -1}-{(t_{1}-s)}^{\alpha-1} ]}{\Gamma(\alpha )}{f \bigl( s,x ( s ) \bigr)\,ds} \\ &{} + \int _{t_{1}}^{t_{2}}{\frac{{(t_{2}-s)}^{q-1}}{\Gamma(\alpha )}f \bigl( s,x ( s ) \bigr)\,ds} \biggr\vert \\ \leq&\frac{f_{\max}}{\Gamma(\alpha+1)} \bigl( 2\vert {t_{2}-t_{1}}\vert ^{\alpha}+ \bigl\vert (t_{2}-t_{0})^{\alpha }-(t_{1}-t_{0})^{\alpha} \bigr\vert \bigr) , \end{aligned}$$
which is independent of x and tends to zero as \(t_{2}\rightarrow t_{1}\). So Θ is relatively compact on \(B_{r}\). Hence, by the Arzela-Ascoli theorem, Θ is compact on \(B_{r}\). Thus all the assumptions of Theorem 4.2 are satisfied. Therefore, the problem (1.1) has at least one solution on J. This completes the proof. □

Our next result deals with the uniqueness of solutions for the problem (1.1) and is based on the contraction mapping principle due to Banach.

Theorem 4.4

Assume that (A1) holds and that \(\beta<1\), where
$$ \beta=\sum_{k=0}^{n-1} \frac{ ( T-\theta ) ^{k}}{k!} \biggl( C_{k}(\theta-t_{0})+ \frac{ ( \theta -t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) }C_{f} \biggr) +\frac{ ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) }C_{f}. $$
Then there exists a unique solution for the problem (1.1) on J.


Setting \(\sup_{t\in J}|f(t,0)|=A_{f}\), \(\sup_{t\in J}|g_{k}(t,0)|=A_{k}\), and
$$ r\geq ( 1-\beta ) ^{-1} \Biggl[ \sum_{k=0}^{n-1} \frac{ ( T-\theta ) ^{k}}{k!} \biggl( \vert b_{k}\vert +A_{k}( \theta-t_{0})+\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) }A_{f} \biggr) + \frac{ ( T-t_{0} ) ^{\alpha }}{\Gamma ( \alpha+1 ) }A_{f} \Biggr], $$
we show that \(\Psi B_{r}\subset B_{r}\), where \(B_{r}=\{x\in C(J,\mathbb{R} ):\Vert x\Vert \leq r\}\). For \(x\in B_{r}\), we have
$$\begin{aligned} \bigl\vert \Psi x(t) \bigr\vert \leq &\sum_{k=0}^{n-1} \frac{\vert t-\theta \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + \int _{t_{0}}^{\theta} \bigl\vert g_{k} \bigl(s,x(s) \bigr) \bigr\vert \,ds + \int _{t_{0}}^{\theta}\frac{ ( \theta-s ) ^{\alpha -k-1}}{\Gamma ( \alpha-k ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \biggr) \\ &{}+ \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \\ \leq&\sum_{k=0}^{n-1}\frac{\vert t-\theta \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + \int _{t_{0}}^{\theta} \bigl( \bigl\vert g_{k} \bigl(s,x(s) \bigr)-g_{k}(s,0) \bigr\vert + \bigl\vert g_{k}(s,0) \bigr\vert \bigr)\,ds \\ &{} + \int _{t_{0}}^{\theta}\frac{ ( \theta -s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr)\,ds \biggr) \\ &{}+ \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha -1}}{\Gamma ( \alpha ) } \bigl(\bigl|f \bigl(s,x(s) \bigr)-f(s,0)\bigr|+\bigl|f(s,0)\bigr| \bigr)\,ds \\ \leq&\sum_{k=0}^{n-1}\frac{\vert t-\theta \vert ^{k}}{k!} \biggl(\vert b_{k}\vert +(\theta-t_{0}) \bigl( C_{k}\Vert x\Vert +A_{k} \bigr) \\ &{}+\frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \bigl( C_{f}\Vert x\Vert +A_{f} \bigr) \biggr) +\frac{ ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) } \bigl( C_{f}\Vert x\Vert +A_{f} \bigr) \\ \le&\sum_{k=0}^{n-1}\frac{\vert T-\theta \vert ^{k}}{k!} \biggl(\vert b_{k}\vert +A_{k}(\theta -t_{0})+\frac{ ( \theta-t_{0} )^{\alpha-k}}{\Gamma (\alpha-k+1 )}A_{f} \biggr) + \frac{ ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) }A_{f} \\ &{}+ \Biggl( \sum_{k=0}^{n-1} \frac{\vert T-\theta \vert ^{k}}{k!} \biggl( C_{k}(\theta-t_{0})+ \frac{ ( \theta-t_{0} ) ^{\alpha -k}}{\Gamma ( \alpha-k+1 ) }C_{f} \biggr) +\frac{ ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) }C_{f} \Biggr) \Vert x\Vert \\ \leq& ( 1-\beta ) r+\beta r=r. \end{aligned}$$
Now, for \(x, y \in C(J, \mathbb{R})\) and for each \(t \in J\), we obtain
$$\begin{aligned} & \bigl\vert (\Psi x) (t)-(\Psi y) (t) \bigr\vert \\ &\quad\leq\sum_{k=0}^{n-1}\frac{\vert t-\theta \vert ^{k}}{k!} \biggl( C_{k}(\theta-t_{0})\Vert x-y\Vert + \frac{ ( \theta -t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) }C_{f}\Vert x-y\Vert \biggr) \\ &\qquad{}+\frac{ ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) }C_{f}\Vert x-y\Vert \\ &\quad\leq \Biggl( \sum_{k=0}^{n-1} \frac{\vert T-\theta \vert ^{k}}{k!} \biggl( C_{k}(\theta-t_{0})+ \frac{ ( \theta-t_{0} ) ^{\alpha -k}}{\Gamma ( \alpha-k+1 ) }C_{f} \biggr) +\frac{ ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) }C_{f} \Biggr) \Vert x-y\Vert \\ &\quad\leq{\beta} \Vert x-y\Vert , \end{aligned}$$
where β is given by (4.3). As \(\beta<1\), Ψ is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof. □

Theorem 4.5

Let \(f, g_{k}:J\times\mathbb{R} \rightarrow\mathbb{R}\) (\(k=0,1,\ldots,n-1\)) be continuous functions and let there exist positive constants \(D_{f}\), \(E_{f}\), \(D_{k}\), \(E_{k}\), M, and N such that
$$\begin{aligned}& \bigl\vert f(t,x) \bigr\vert \leq D_{f}\vert x\vert +E_{f}, \qquad\bigl\vert g_{k}(t,x) \bigr\vert \leq D_{k}\vert x\vert +E_{k}, \quad\forall t \in J, x \in \mathbb{R}, \\& M=\frac{E_{f} ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha +1 ) }+\sum_{k=0}^{n-1} \frac{\vert {T-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + ( \theta-t_{0} ) E_{k}+\frac{E_{f} ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) } \biggr) >0, \\& N=\frac{D_{f} ( T-t_{0} ) ^{\alpha}}{\Gamma ( \alpha +1 ) }+\sum_{k=0}^{n-1} \frac{\vert T-\theta \vert ^{k}}{k!} \biggl( ( \theta-t_{0} ) D_{k}+\frac{D_{f} ( \theta -t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr) < 1. \end{aligned}$$
Then the problem (1.1) has at least one solution on J.


Define a suitable ball \(B_{R}\subset C(J,\mathbb{R} )\) with radius \(R>0\) as \(B_{R}=\{x\in C(J,\mathbb{R} ): \Vert x\Vert < R\}\), where R will be fixed later. Then it is sufficient to show that \(\Psi:\overline{B}_{R}\rightarrow C(J,\mathbb{R} )\) satisfies
$$ 0\notin(I-\lambda\Psi) ( \partial B_{R} ) , $$
for any \(x\in\partial B_{R}\), and \(\lambda\in{}[0,1]\). Define the homotopy
$$ h_{\lambda}(x)=H(\lambda,x)=x-\lambda\Psi x,\quad x\in C(J,\mathbb{R} ), \lambda\in [0,1]. $$
Then, by the Arzela-Ascoli theorem, \(h_{\lambda}\) is completely continuous. If (4.4) is true, then the Leray-Schauder degrees are well defined. Let I denote the identity operator. Then the homotopy invariance and normalization properties of topological degrees imply that
$$\begin{aligned} \operatorname{deg}(h_{\lambda},B_{R},0) =&\operatorname{deg} \bigl( ( I- \lambda\Psi ) ,B_{R},0 \bigr)=\operatorname{deg}(h_{1},B_{R},0) \\ =&\operatorname{deg}(h_{0},B_{R},0)=\operatorname{deg}(I,B_{R},0)=1, \end{aligned}$$
since \(0\in B_{R}\). By the nonzero property of the Leray-Schauder degree, \(h_{1}(x)=x-\Psi x=0\) for at least one \(x\in B_{R}\). In order to find R, we assume that \(x(t)=\lambda\Psi x(t)\) for some \(\lambda\in{}[0,1]\) and for all \(t\in J\). Then
$$\begin{aligned} & \bigl\vert x(t) \bigr\vert \\ &\quad= \bigl\vert \lambda\Psi x(t) \bigr\vert \leq \int _{t_{0}}^{t}\frac{ ( t-s ) ^{\alpha-1}}{\Gamma ( \alpha ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \\ &\qquad{}+\sum_{k=0}^{n-1}\frac{(t-\theta)^{k}}{k!} \biggl( \vert b_{k}\vert + \int _{t_{0}}^{\theta}\bigl|g_{k} \bigl(s,x(s) \bigr)\bigr| \,ds + \int _{t_{0}}^{\theta}\frac{ ( \theta-s ) ^{\alpha-k-1}}{\Gamma ( \alpha-k ) } \bigl\vert f \bigl(s,x(s) \bigr) \bigr\vert \,ds \biggr) \\ &\quad\leq\sum_{k=0}^{n-1}\frac{\vert {t-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + ( \theta-t_{0} ) \bigl( D_{k}\Vert x\Vert +E_{k} \bigr) + \frac{ ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) } \bigl( D_{f}\Vert x\Vert +E_{f} \bigr) \biggr) \\ &\qquad{}+\frac{ ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha+1 ) } \bigl( D_{f}\Vert x\Vert +E_{f} \bigr) \\ &\quad\leq\frac{E_{f} ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha +1 ) }+\sum_{k=0}^{n-1} \frac{\vert {t-\theta} \vert ^{k}}{k!} \biggl( \vert b_{k}\vert + ( \theta-t_{0} ) E_{k}+\frac{E_{f} ( \theta-t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha -k+1 ) } \biggr) \\ &\qquad{}+ \Biggl( \frac{D_{f} ( t-t_{0} ) ^{\alpha}}{\Gamma ( \alpha +1 ) }+\sum_{k=0}^{n-1} \frac{\vert {t-\theta} \vert ^{k}}{k!} \biggl( ( \theta-t_{0} ) D_{k}+\frac{D_{f} ( \theta -t_{0} ) ^{\alpha-k}}{\Gamma ( \alpha-k+1 ) } \biggr) \Biggr) \Vert x\Vert \\ &\quad\leq M+N\Vert x\Vert , \end{aligned}$$
which, after taking the supremum norm and solving for \(\Vert x\Vert \), yields
$$ \Vert x\Vert \leq\frac{M}{1-N}. $$
Letting \(R=\frac{M-N+1}{1-N}\), (4.4) holds. This completes the proof. □

Remark 4.6

Following the method of proof employed in this section, we can obtain the existence results for nonlinear variants of problems (3.8) and (3.9).

Remark 4.7

(Special cases)

We obtain the existence results for an initial value problem with initial conditions: \(x^{(k)}(\theta )=b_{k}\), \(k=0,1,2,\ldots,n-1\) by taking \(\theta=t_{0}\) in the results of this paper. In this case, the operator given by (4.2) takes the form
$$ \Psi x(t)=\sum_{k=0}^{n-1} \frac{(t-t_{0})^{k}}{k!}b_{k} +\frac {1}{\Gamma ( \alpha ) }\int _{t_{0}}^{t} ( t-s ) ^{\alpha-1}f \bigl(s,x(s) \bigr)\,ds. $$
Further, our results correspond to the ones for a problem with classical nonlinear integral conditions:
$$x^{(k)}(T )=b_{k}+ \int _{t_{0}}^{T }g_{k} \bigl(s,x(s) \bigr) \,ds,\quad k=0,1,2,\ldots,n-1, $$
if we fix \(\theta=T\) in the obtained results.

Example 4.8

Consider the following nonlinear fractional boundary value problem:
$$ \left \{ \textstyle\begin{array}{@{}l} {}^{C}D_{0}^{\sqrt{10}}x(t)=\frac{t|x(t)|}{16(1+|x(t)|)}+\frac{7}{16},\quad t\in[0,1],\\ x^{(k)}(0.5)=1+\int _{0}^{0.5}\frac{s^{k}}{2(k+1)}\sin ( \frac{x(s)}{2} )\,ds,\quad k=0,1,2,3.\end{array}\displaystyle \right . $$
Here \(\alpha= \sqrt{10}\), \(\theta=0.5\), \(b_{k}=1\), \(f(t,x(t))=\frac {t|x(t)|}{16(1+|x(t)|)}+\frac{7}{16}\), and \(g_{k}(t,x(t))=\frac {t^{k}}{2(k+1)}\sin ( \frac{x(t)}{2} )\). With the given values, it is found that \({\mu}_{f}(t)=\frac{t}{16} +\frac{7}{16}\), \({\mu}_{k}(t)=\frac{t^{k}}{2(k+1)}\) with \(\Vert {\mu}_{f}\Vert =\frac{1}{2}\), \(\Vert {\mu}_{k}\Vert =\frac{1}{2(k+1)}\), \(k=0,1,2,3\), and
$$\begin{aligned} \eta =\sum_{k=0}^{3}\frac{1}{k! 2^{k}} \biggl[ \frac{1}{4(k+1)}+\frac{ ( \frac{1}{2} ) ^{\sqrt{10}-k}}{16 \Gamma (\sqrt{10}-k+1 ) } \biggr] \simeq0.333942< 1, \end{aligned}$$
that is, the assumption (A2) of Theorem 4.3 is satisfied. Thus, all the conditions of Theorem 4.3 are satisfied. Hence the problem (4.5) has a solution on \([0,1]\). Also β given by (4.3) is such that \(\beta\simeq0.342407<1\). This suggests that the problem (4.5) has a unique solution by the conclusion of Theorem 4.4.



The authors thank the reviewers for their useful comments, which led to the improvement of the original manuscript. The paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University. The authors, therefore, acknowledge with thanks DSR technical and financial support.

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.

Authors’ Affiliations

NAAM-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University
Department of Mathematics, Al-Azhar University-Gaza
Department of Mathematics, Texas A & M University


  1. Meral, F, Royston, T, Magin, R: Fractional calculus in viscoelasticity: an experimental study. Commun. Nonlinear Sci. Numer. Simul. 15, 939-945 (2010) MATHView ArticleMathSciNetGoogle Scholar
  2. Oldham, K: Reactional differential equations in electrochemistry. Adv. Eng. Softw. 41, 9-12 (2010) MATHView ArticleGoogle Scholar
  3. Lee, C, Chang, F: Fractional-order PID controller optimization via improved electromagnetism-like algorithm. Expert Syst. Appl. 37, 8871-8878 (2010) View ArticleGoogle Scholar
  4. Ahmed, E, El-Sayed, A, El-Saka, H: Equilibrium points, stability and numerical solutions of fractional-order predator-prey and rabies models. J. Math. Anal. Appl. 325, 542-553 (2007) MATHView ArticleMathSciNetGoogle Scholar
  5. Liu, F, Burrage, K: Novel techniques in parameter estimation for fractional dynamical models arising from biological systems. Comput. Math. Appl. 62, 822-833 (2011) MATHView ArticleMathSciNetGoogle Scholar
  6. Mophou, G: Optimal control of fractional diffusion equation. Comput. Math. Appl. 61, 68-78 (2011) MATHView ArticleMathSciNetGoogle Scholar
  7. Wang, J, Zhou, Y, Wei, W: Optimal feedback control for semilinear fractional evolution equations in Banach spaces. Syst. Control Lett. 61, 472-476 (2012) MATHView ArticleMathSciNetGoogle Scholar
  8. Gorenflo, R, Mainardi, F: Some recent advances in theory and simulation of fractional diffusion processes. J. Comput. Appl. Math. 229, 400-415 (2009) MATHView ArticleMathSciNetGoogle Scholar
  9. Jiang, X, Xu, M, Qi, H: The fractional diffusion model with an absorption term and modified Fick’s law for non-local transport processes. Nonlinear Anal., Real World Appl. 11, 262-269 (2010) MATHView ArticleMathSciNetGoogle Scholar
  10. Sokolov, I, Chechkin, A, Klafter, J: Fractional diffusion equation for a power-law truncated Levy process. Physica A 336, 245-251 (2004) View ArticleGoogle Scholar
  11. Nigmatullin, R, Omay, T, Baleanu, D: On fractional filtering versus conventional filtering in economics. Commun. Nonlinear Sci. Numer. Simul. 15, 979-986 (2010) MATHView ArticleMathSciNetGoogle Scholar
  12. Odibat, Z: A note on phase synchronization in coupled chaotic fractional order systems. Nonlinear Anal., Real World Appl. 13, 779-789 (2012) MATHView ArticleMathSciNetGoogle Scholar
  13. Agrawal, OP: Generalized variational problems and Euler-Lagrange equations. Comput. Math. Appl. 59, 1852-1864 (2010) MATHView ArticleMathSciNetGoogle Scholar
  14. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  15. Matar, M: Existence and uniqueness of solutions to fractional semilinear mixed Volterra-Fredholm integrodifferential equations with nonlocal conditions. Electron. J. Differ. Equ. 2009, 155 (2009) MathSciNetGoogle Scholar
  16. Agarwal, RP, Ahmad, B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 62, 1200-1214 (2011) MATHView ArticleMathSciNetGoogle Scholar
  17. Matar, M: On existence and uniqueness of the mild solution for fractional semilinear integro-differential equations. J. Integral Equ. Appl. 23(3), 1-10 (2011) MathSciNetGoogle Scholar
  18. Bai, ZB, Sun, W: Existence and multiplicity of positive solutions for singular fractional boundary value problems. Comput. Math. Appl. 63, 1369-1381 (2012) MATHView ArticleMathSciNetGoogle Scholar
  19. Henderson, J, Ouahab, A: A Filippov’s theorem, some existence results and the compactness of solution sets of impulsive fractional order differential inclusions. Mediterr. J. Math. 9, 453-485 (2012) MATHView ArticleMathSciNetGoogle Scholar
  20. Grace, SR, Agarwal, RP, Wong, PJY, Zafer, A: On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal. 15, 222-231 (2012) MATHView ArticleMathSciNetGoogle Scholar
  21. O’Regan, D, Stanek, S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 71, 641-652 (2013) MATHView ArticleMathSciNetGoogle Scholar
  22. 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) MATHView ArticleMathSciNetGoogle Scholar
  23. 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) MATHView ArticleMathSciNetGoogle Scholar
  24. Nyamoradi, N: Infinitely many solutions for a class of fractional boundary value problems with Dirichlet boundary conditions. Mediterr. J. Math. 11, 75-87 (2014) MATHView ArticleMathSciNetGoogle Scholar
  25. 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) MATHView ArticleMathSciNetGoogle Scholar
  26. Alsaedi, A, Ahmad, B, Kirane, M, Mostefaoui, IM: Maximum principle for certain generalized time and space-fractional diffusion equations. Q. Appl. Math. 73, 163-175 (2015) MATHView ArticleGoogle Scholar
  27. Ahmad, B, Nieto, JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011, 36 (2011) View ArticleMathSciNetGoogle Scholar
  28. Salem, H: Fractional order boundary value problem with integral boundary conditions involving Pettis integral. Acta Math. Sci. 31, 661-672 (2011) MATHView ArticleMathSciNetGoogle Scholar
  29. Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403-411 (2012) MATHView ArticleMathSciNetGoogle Scholar
  30. Lakoud, A, Khaldi, R: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal. 75, 2692-2700 (2012) MATHView ArticleMathSciNetGoogle Scholar
  31. Ahmad, B, Agarwal, RP: Some new versions of fractional boundary value problems with slit-strips conditions. Bound. Value Probl. 2014, 175 (2014) View ArticleMathSciNetGoogle Scholar
  32. Alsaedi, A, Ntouyas, SK, Agarwal, RP, Ahmad, B: On Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Adv. Differ. Equ. 2015, 33 (2015) View ArticleMathSciNetGoogle Scholar
  33. Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980) MATHGoogle Scholar


© Ahmad et al. 2015