Open Access

Existence and uniqueness of positive solutions for a fractional differential equation with integral boundary conditions

Advances in Difference Equations20162016:106

https://doi.org/10.1186/s13662-016-0772-z

Received: 8 November 2015

Accepted: 26 January 2016

Published: 13 April 2016

Abstract

We study a class of boundary value problems for a fractional differential equation with integral boundary conditions. By means of \(u_{0}\)-positive operator we obtain results on the existence and uniqueness of positive solutions for the boundary value problem.

Keywords

\(u_{0}\)-positive operatorintegral boundary conditionpositive solutionfractional differential equation

1 Introduction

Nowadays, fractional differential equations become more and more important. They play an important role in engineering, science,economics, and so on. More and more people pay attention to the study of theory and applications of fractional differential equations [18]. Many efforts have also been made to develop the theory of fractional evolution equations: we refer the readers to [911]. A lot of papers are devoted to the positive solutions of boundary value problem for fractional differential equations, such as [1214].

For example, Jiang and Yuan [12] investigated the existence and multiplicity of positive solutions of the Dirichlet-type boundary value problem for the nonlinear fractional differential equation
$$ \textstyle\begin{cases} D^{p}_{0^{+}}x(t)+f(t,x(t))=0,\quad t\in(0,1), \\ x(0)=x(1)=0. \end{cases} $$
(1.1)
Zhang, Liu, and Wu [13] studied the existence of multiple positive solutions for the boundary value problem
$$ \textstyle\begin{cases} -D^{p}_{0^{+}}x(t)+p(t)f(t,x(t))-q(t)=0,\quad t\in(0,1), \\ x(0)=x'(0)=0,\quad\quad x(1)=0, \end{cases} $$
(1.2)
where \(2< p\leq3\) is a real number, \(q:(0,1)\rightarrow[0,+\infty]\) is a Lebesgue-integrable function nonvanishing identically on any subinterval of \((0,1)\). The authors obtained existence results by Krasnoselskii’s fixed point theorem in a cone.
Cui [14] considered the uniqueness of the fractional differential equations with easy boundary conditions
$$ \textstyle\begin{cases} D^{p}_{0^{+}}x(t)+p(t)f(t,x(t))+q(t)=0,\quad t\in(0,1), \\ x(0)=x'(0)=0,\quad\quad x(1)=0, \end{cases} $$
(1.3)
where \(2< p\leq3\) is a real number, and \(f(t,x)\) is a continuous function. The author studied the existence of solutions for (1.3) by using a \(u_{0}\)-positive operator.
In this paper, we discuss the existence and uniqueness of a positive solution for the following boundary value problems with integral boundary conditions:
$$ \textstyle\begin{cases} D^{p}_{0^{+}}x(t)+p(t)f(t,x(t))+q(t)=0,\quad t\in(0,1), \\ x(0)=x'(0)=0, \quad\quad x(1)=\int_{0}^{1}l(s)x(s)\,ds, \end{cases} $$
(1.4)
where \(2< p\leq3\) is a real number, and \(D^{p}_{0^{+}}\) is the standard Riemann-Liouville derivative. By means of a new \(u_{0}\)-positive operator we get the existence and uniqueness of positive solutions for (1.4).
Throughout this paper, we always assume that the following conditions are satisfied:
(A1): 
\(p:(0,1)\rightarrow[0,+\infty)\) is a continuous function nonvanishing identically on any subinterval of \((0,1) \) with
$$\int_{0}^{1}p(s)\,ds< +\infty. $$
(A2): 

\(f:[0,1]\times\mathbb{R}\rightarrow[0,+\infty)\) is continuous, and \(q:(0,1)\rightarrow[0,+\infty)\) is continuous and Lebesgue integrable.

(A3): 

\(l:(0,1)\rightarrow[0,+\infty)\) is continuous, and \(0\leq\int _{0}^{1}l(t)t^{p-1}\,dt<1\).

2 Preliminaries and relevant lemmas

In order to obtain the main results of this work, we present some necessary definitions and several fundamental lemmas.

Definition 2.1

([2, 15])

The Riemann-Liouville fractional integral of order \(p>0\) of a function u: \((0,+\infty )\rightarrow\mathbb{R}\) is given by
$$I_{0^{+}}^{p}u(t)=\frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1}u(s)\,ds, $$
provided that the right-hand side is pointwise defined on \((0,+\infty)\).

Definition 2.2

([2, 15])

The Riemann-Liouville fractional derivative of order \(p>0\) of a function u: \((0,+\infty)\rightarrow \mathbb{R}\) is given by
$$D_{0^{+}}^{p}u(t)=\frac{1}{\Gamma(n-p)}\frac{d^{n}}{dt^{n}} \int _{0}^{t}(t-s)^{n-p-1}u(s)\,ds, $$
where \(n-1\leq p< n\), provided that the right-hand side is pointwise defined on \((0,+\infty)\).

Definition 2.3

([16, 17])

Let E be a Banach space, and P a cone in E. We say that a bounded linear operator \(S:E\rightarrow E\) is \(u_{0}\)-positive on the cone P if there exists \(u_{0}\in P\setminus\{\theta\}\) such that for every \(x\in P\setminus\{ \theta\}\), there exist a natural number n and positive constants \(\alpha(x)\), \(\beta(x)\) such that
$$\alpha(x)u_{0}\leq S^{n}x\leq\beta(x)u_{0}. $$

Lemma 2.1

([16, 17])

Let E be a Banach space. Suppose that \(S:E\rightarrow E\) is a completely continuous linear operator and \(S(P)\subset P\). If there exist \(\psi\in E\setminus\{-P\}\) and a constant \(c>0\) such that \(cS\psi\geq\psi\), then the spectral radius \(r(S)\neq0\), and S has a positive eigenfunction φ corresponding to its first eigenvalue \(\lambda_{1}=(r(S))^{-1}\), that is, \(\varphi=\lambda_{1}S\varphi\).

Let \(E=C[0,1]\), which is a Banach space with norm \(\Vert x\Vert =\max_{t\in [0,1]}\vert x(t)\vert \).

Set \(P=\{x\in E| x(t)\geq0, \forall t\in[0,1]\}\). In the rest of this paper, the partial ordering in \(C[0,1]\) is always given by P.

Lemma 2.2

([13])

Let \(p>0\), and let \(u(t)\) be an integrable function. Then
$$I_{0^{+}}^{p}D_{0^{+}}^{p}u(t)=u(t)+c_{1}t^{p-1}+c_{2}t^{p-2}+ \cdots +c_{n}t^{p-n}, $$
where \(c_{i}\in\mathbb{R}\) (\(i=1,2,\ldots,n\)), and n is the smallest integer greater than or equal to p.

Lemma 2.3

Let \(\sigma\in C(0,1)\cap L(0,1)\), \(2< p\leq3\). Then the unique solution of
$$ \textstyle\begin{cases} D^{p}_{0^{+}}x(t)+\sigma(t)=0,\quad t\in(0,1), \\ x(0)=x'(0)=0,\quad\quad x(1)=\int_{0}^{1}l(s)x(s)\,ds, \end{cases} $$
(2.1)
is given by
$$x(t)= \int_{0}^{1}G(t,s)\sigma(s)\,ds-\frac{\int_{0}^{1}\int_{\tau }^{1}l(s)(s-\tau)^{p-1}\sigma(\tau)\,ds\,d\tau}{1-\int_{0}^{1}l(s)s^{p-1}\, ds}t^{p-1}, $$
where
$$ G(t,s)= \textstyle\begin{cases} \frac{1}{\Gamma(p)}\{\frac{t^{p-1}(1-s)^{p-1}}{1-\int _{0}^{1}l(t)t^{p-1}\,dt}-(t-s)^{p-1}\}, \quad 0\leq s\leq t\leq1, \\ \frac{1}{\Gamma(p)}\{\frac{t^{p-1}(1-s)^{p-1}}{1-\int _{0}^{1}l(t)t^{p-1}\,dt}\},\quad 0\leq t\leq s\leq1. \end{cases} $$
(2.2)

Proof

From Lemma 2.2 it follows that
$$x(t)=-I_{0^{+}}^{p}\sigma(t)+c_{1}t^{p-1}+c_{2}t^{p-2}+c_{3}t^{p-3}. $$
So, the solution of (2.1) is
$$x(t)=-\frac{1}{\Gamma(p)} \int_{0}^{t}(t-s)^{p-1}\sigma (s)\,ds+c_{1}t^{p-1}+c_{2}t^{p-2}+c_{3}t^{p-3}. $$
Since \(x(0)=x'(0)=0\), we have that \(c_{2}=c_{3}=0\).
In addition,
$$\begin{aligned} x(1) =&-\frac{1}{\Gamma(p)} \int_{0}^{1}(1-s)^{p-1}\sigma(s)\,ds+c_{1} \\ =& \int_{0}^{1}l(s)\biggl[-\frac{1}{\Gamma(p)} \int_{0}^{s}(s-\tau)^{p-1}\sigma (\tau)\,d \tau+c_{1}s^{p-1}\biggr]\,ds \end{aligned}$$
yields
$$c_{1}=\frac{\frac{1}{\Gamma(p)}[\int_{0}^{1}(1-s)^{p-1}\sigma(s)\,ds-\int _{0}^{1}\int_{\tau}^{1}l(s)(s-\tau)^{p-1}\sigma(\tau)\,ds\,d\tau]}{1-\int _{0}^{1}l(s)s^{p-1}\,ds}. $$
Therefore, the solution of (2.1) is
$$\begin{aligned} x(t) =&\frac{1}{\Gamma(p)}\biggl\{ \int_{0}^{t}\biggl[\frac{t^{p-1}(1-s)^{p-1}}{1-\int _{0}^{1}l(t)t^{p-1}\,dt}-(t-s)^{p-1} \biggr]\sigma(s)\,ds+ \int_{t}^{1}\frac {t^{p-1}(1-s)^{p-1}}{1-\int_{0}^{1}l(t)t^{p-1}\,dt}\sigma(s)\,ds\biggr\} \\ &{} - \frac{\int_{0}^{1}\int_{\tau}^{1}l(s)(s-\tau)^{p-1}\sigma(\tau)\,ds\,d\tau }{1-\int_{0}^{1}l(s)s^{p-1}\,ds}t^{p-1} \\ =& \int_{0}^{1}G(t,s)\sigma(s)\,ds-\frac{\int_{0}^{1}\int_{\tau }^{1}l(s)(s-\tau)^{p-1}\sigma(\tau)\,ds\,d\tau}{1-\int _{0}^{1}l(s)s^{p-1}\,ds} \cdot t^{p-1}. \end{aligned}$$
This finishes the proof. □

Let \(L=\int_{0}^{1}l(t)t^{p-1}\,dt\) and \(Q(s)=\frac{\int _{s}^{1}l(u)(u-s)^{p-1}\,du}{1-L}\). By (A3) we know that \(0\leq L<1\).

Remark 2.1

If \(G(t,s)\) is defined by (2.2), then \(G(t,s)\geq0\) for \(t,s\in(0,1)\).

Define the operators T and A as
$$\begin{aligned}& (Tx) (t)= \int_{0}^{1}\bigl[G(t,s)+Q(s)t^{p-1} \bigr]p(s)x(s)\,ds,\quad t\in[0,1], x\in E, \end{aligned}$$
(2.3)
$$\begin{aligned}& (Ax) (t)= \int_{0}^{1}\bigl[G(t,s)+Q(s)t^{p-1}\bigr] \bigl[p(s)f\bigl(s,x(s)\bigr)+q(s)\bigr]\,ds,\quad t\in [0,1], x\in E. \end{aligned}$$
(2.4)

It is easy to show that \(T:E\rightarrow E\) is a linear completely continuous operator and \(T(P)\subset P\). It is not difficult to see that the solution for (1.4) is, equivalently, a fixed point of A in E.

Lemma 2.4

The operator \(A:E\rightarrow E\) defined in (2.4) is completely continuous, and \(A(P)\subset P\).

Proof

Obviously, \(A:E\rightarrow E\), and \(A(P)\subset P\). The continuity of A in P is obvious. For any bounded set \(D\subset P\), \(A(D)\) is bounded, so that the functions in \(A(D)\) are uniformly bounded. It is easy to prove that A is equicontinuous. By the Ascoli-Arzelà theorem A is completely continuous. □

Lemma 2.5

T is a \(u_{0}\)-positive operator, and \(u_{0}(t)=t^{p-1}\).

Proof

For any \(x\in P\setminus\{\theta\}\), it follows from the definition of T that
$$\begin{aligned} (Tx) (t) =& \int_{0}^{1}\bigl[G(t,s)+Q(s)t^{p-1} \bigr]p(s)x(s)\,ds \\ =& \int_{0}^{t}\biggl\{ \frac{1}{\Gamma(p)}\biggl[ \frac {t^{p-1}(1-s)^{p-1}}{1-L}-(t-s)^{p-1}\biggr]+Q(s)t^{p-1}\biggr\} p(s)x(s)\,ds \\ &{}+ \int _{t}^{1}\biggl[\frac{1}{\Gamma(p)} \frac {t^{p-1}(1-s)^{p-1}}{1-L}+Q(s)t^{p-1}\biggr]p(s)x(s)\,ds \\ \leq& \int_{0}^{1}\frac{1}{\Gamma(p)}\frac {t^{p-1}(1-s)^{p-1}}{1-L}p(s)x(s)\,ds+ \int_{0}^{1}Q(s)t^{p-1}p(s)x(s)\,ds \\ =& \int_{0}^{1}\biggl[\frac{1}{\Gamma(p)} \frac {(1-s)^{p-1}}{1-L}+Q(s)\biggr]p(s)x(s)\,ds\cdot t^{p-1}. \end{aligned}$$
On the other hand, we have
$$\begin{aligned} (Tx) (t) =& \int_{0}^{1}\bigl[G(t,s)+Q(s)t^{p-1} \bigr]p(s)x(s)\,ds \\ =& \int_{0}^{t}\biggl\{ \frac{1}{\Gamma(p)}\biggl[ \frac {t^{p-1}(1-s)^{p-1}}{1-L}-(t-s)^{p-1}\biggr]+Q(s)t^{p-1}\biggr\} p(s)x(s)\,ds \\ &{}+ \int _{t}^{1}\biggl[\frac{1}{\Gamma(p)} \frac {t^{p-1}(1-s)^{p-1}}{1-L}+Q(s)t^{p-1}\biggr]p(s)x(s)\,ds \\ \geq& \int_{0}^{t}\biggl\{ \frac{1}{\Gamma(p)}\biggl[ \frac {t^{p-1}(1-s)^{p-1}}{1-L}-(t-ts)^{p-1}\biggr]+Q(s)t^{p-1}\biggr\} p(s)x(s)\,ds \\ &{}+ \int _{t}^{1}\biggl[\frac{1}{\Gamma(p)} \frac {t^{p-1}(1-s)^{p-1}}{1-L}+Q(s)t^{p-1}\biggr]p(s)x(s)\,ds \\ =&\biggl\{ \int_{0}^{1}\frac{1}{\Gamma(p)(1-L)}(1-s)^{p-1}p(s)x(s)\,ds- \int _{0}^{t}\frac{(1-s)^{p-1}}{\Gamma(p)}p(s)x(s)\,ds \\ &{}+ \int _{0}^{1}Q(s)p(s)x(s)\,ds\biggr\} t^{p-1} \\ \geq&\biggl\{ \frac{L}{\Gamma(p)(1-L)} \int_{0}^{1}(1-s)^{p-1}p(s)x(s)\,ds+ \int _{0}^{1}Q(s)p(s)x(s)\,ds\biggr\} t^{p-1} \\ =&\biggl\{ \int_{0}^{1}\biggl[\frac{L}{\Gamma(p)(1-L)}(1-s)^{p-1}+Q(s) \biggr]p(s)x(s)\,ds\biggr\} t^{p-1}. \end{aligned}$$

The inequalities imply that T is a \(u_{0}\)-positive operator and \(u_{0}(t)=t^{p-1}\). This proof is completed. □

Lemma 2.6

Let T be defined in (2.3). Then the spectral radius \(r(T)\neq0\), and T has a positive eigenfunction \(\varphi^{\ast}(t)\) corresponding to its first eigenvalue \(\lambda_{1}=(r(T))^{-1}\).

Proof

Let \(\psi(t)=t^{p-1}\) and \(c=\{\int _{0}^{1}[\frac{L}{\Gamma(p)(1-L)}(1-s)^{p-1}+Q(s)]p(s)\psi(s)\,ds\} ^{-1}>0\). Then from the proof of Lemma 2.5 we have \(cT\psi\geq\psi\). Thereby, from Lemma 2.1 we get that \(r(T)\neq0 \) and that T has a positive eigenfunction \(\varphi^{\ast}(t)\) corresponding to its first eigenvalue \(\lambda_{1}=(r(T))^{-1}\), that is, \(\varphi^{\ast }(t)=\lambda_{1}T\varphi^{\ast}\). This completes the proof. □

From Lemma 2.5 and Definition 2.3 we get the following lemma.

Lemma 2.7

There exist \(k_{1}(\varphi^{\ast}), k_{2}(\varphi^{\ast})>0\) such that
$$k_{1}\bigl(\varphi^{\ast}\bigr)u_{0}\leq T \varphi^{\ast}=\frac{1}{\lambda _{1}}\varphi^{\ast}\leq k_{2}\bigl(\varphi^{\ast}\bigr)u_{0}. $$
Furthermore, T is a \(u_{0}\)-positive operator, and \(u_{0}(t)=\varphi ^{\ast}(t)\).

3 Main results

Theorem 3.1

Suppose that there exists \(k\in[0,1)\) such that
$$\bigl\vert f(t,u)-f(t,v)\bigr\vert \leq k\lambda_{1}\vert u-v \vert ,\quad \forall t\in[0,1],u,v\in\mathbb{R}, $$
where \(\lambda_{1}\) is the first eigenvalue of T. Then (1.4) has a unique positive solution \(x^{\ast}\), and for any \(x_{0}\in P\), the iterative sequence \(x_{n}=Ax_{n-1}\) (\(n=1,2,\ldots\)) converges to \(x^{\ast}\).

Proof

For any given \(x_{0}\in P\), let \(x_{n}=Ax_{n-1}\) (\(n=1,2,\ldots\)). Because \(A(P)\subset P\), we know that \(\{x_{n}\}\subset P\). By Lemmas 2.5 and 2.7 there exists \(\beta_{1}>0\) such that
$$\bigl(T\vert x_{1}-x_{0}\vert \bigr) (t)\leq \beta_{1}\varphi^{\ast}(t),\quad t\in[0,1]. $$
Notice that T is increasing on P. Then, for \(n\in\mathbb{N^{+}}\),
$$\begin{aligned} \bigl\vert x_{n+1}(t)-x_{n}(t)\bigr\vert =&\bigl\vert (Ax_{n}) (t)-(Ax_{n-1}) (t)\bigr\vert \\ =&\biggl\vert \int_{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1}\bigr) \bigl[p(s)f\bigl(s,x_{n}(s)\bigr)+q(s)\bigr]\,ds \\ &{}- \int _{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1}\bigr) \bigl[p(s)f\bigl(s,x_{n-1}(s)\bigr)+q(s)\bigr]\,ds\biggr\vert \\ \leq& \int _{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1} \bigr)p(s)\bigl\vert f\bigl(s,x_{n}(s)\bigr)-f\bigl(s,x_{n-1}(s) \bigr)\bigr\vert \,ds \\ \leq& k\lambda_{1} \int _{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1} \bigr)p(s)\bigl\vert x_{n}(s)-x_{n-1}(s)\bigr\vert \, ds \\ \leq& k\lambda_{1}T\bigl(\vert x_{n}-x_{n-1} \vert \bigr) (t)\leq\cdots \leq k^{n}\lambda_{1}^{n}T^{n} \bigl(\vert x_{1}-x_{0}\vert \bigr) (t) \\ \leq& k^{n}\lambda_{1}^{n}T^{n-1}\bigl( \beta_{1}\varphi^{\ast}(t)\bigr) = k^{n}\beta_{1}\lambda_{1}^{n} \frac{1}{\lambda_{1}^{n-1}}\varphi^{\ast}(t) = k^{n}\beta_{1} \lambda_{1}\varphi^{\ast}(t). \end{aligned}$$
Thus, for any \(m\in\mathbb{N^{+}}\),
$$\begin{aligned} \bigl\vert x_{n+m}(t)-x_{n}(t)\bigr\vert =&\bigl\vert x_{n+m}(t)-x_{n+m-1}(t)+\cdots +x_{n+1}(t)-x_{n}(t) \bigr\vert \\ \leq&\bigl\vert x_{n+m}(t)-x_{n+m-1}(t)\bigr\vert +\cdots+ \bigl\vert x_{n+1}(t)-x_{n}(t)\bigr\vert \\ \leq&\beta_{1}\lambda_{1}\bigl(k^{n+m-1}+ \cdots+k^{n}\bigr)\varphi^{\ast}(t) \\ =&\beta_{1}\lambda_{1}\frac{k^{n}(1-k^{m})}{1-k}\varphi^{\ast}(t) \leq\beta_{1}\lambda_{1}\frac{k^{n}}{1-k} \varphi^{\ast}(t). \end{aligned}$$
Therefore,
$$\Vert x_{n+m}-x_{n}\Vert \leq\beta_{1} \lambda_{1}\frac{k^{n}}{1-k}\bigl\Vert \varphi ^{\ast}\bigr\Vert . $$
Because \(\lim_{n\rightarrow\infty}\beta_{1}\lambda_{1}\frac {k^{n}}{1-k}\Vert \varphi^{\ast}\Vert =0\), \(\{x_{n}\}\) is a Cauchy sequence.

By the completeness of E and the closeness of P there exists \(x^{\ast}\in P\) such that \(\lim_{n\rightarrow\infty}x_{n}=x^{\ast}\).

Passing to the limit in \(x_{n+1}=Ax_{n}\), we get \(x^{\ast}=Ax^{\ast}\), and it follows that \(x^{\ast}\) is a fixed point of A in P.

Next, we prove the uniqueness of a fixed point of A in P. Suppose that there exist two elements \(x,y\in P\) such that \(x=Ax\) and \(y=Ay\). By Lemmas 2.5 and 2.7 there exists \(\beta_{2}>0\) such that
$$\bigl(T\bigl(\vert x-y\vert \bigr)\bigr) (t)\leq\beta_{2} \varphi^{\ast}(t),\quad t\in[0,1]. $$
Then, for any \(n\in\mathbb{N^{+}}\), we get
$$\begin{aligned} \bigl\vert x(t)-y(t)\bigr\vert =&\bigl\vert \bigl(A^{n}x\bigr) (t)-\bigl(A^{n}y\bigr) (t)\bigr\vert =\bigl\vert \bigl[A \bigl(A^{n-1}x\bigr)\bigr](t)-\bigl[A\bigl(A^{n-1}y\bigr) \bigr](t)\bigr\vert \\ =&\biggl\vert \int_{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1}\bigr) \bigl[p(s)f\bigl(s,A^{n-1}x(s)\bigr)+q(s)\bigr]\,ds \\ &{}- \int _{0}^{1}\bigl(G(t,s)+Q(s) t^{p-1}\bigr) \bigl[p(s)f\bigl(s,A^{n-1}y(s)\bigr)+q(s)\bigr]\,ds\biggr\vert \\ \leq& \int _{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1} \bigr)p(s)\bigl\vert f\bigl(s,A^{n-1}x(s)\bigr)-f\bigl(s,A^{n-1}y(s) \bigr)\bigr\vert \,ds \\ \leq& k\lambda_{1} \int _{0}^{1}\bigl(G(t,s)+Q(s)t^{p-1} \bigr)p(s)\bigl\vert A^{n-1}x(s)-A^{n-1}y(s)\bigr\vert \,ds \\ \leq& k\lambda_{1}T\bigl(\bigl\vert A^{n-1}x-A^{n-1}y \bigr\vert \bigr) (t)\leq\cdots \leq k^{n}\lambda_{1}^{n}T^{n} \bigl(\vert x-y\vert \bigr) (t) \\ \leq& k^{n}\lambda_{1}^{n}T^{n-1} \bigl(\beta_{2}\varphi^{\ast}(t)\bigr) = k^{n}\beta_{2}\lambda_{1}^{n} \frac{1}{\lambda_{1}^{n-1}}\varphi^{\ast}(t) = k^{n}\beta_{2} \lambda_{1}\varphi^{\ast}(t). \end{aligned}$$

From \(\Vert x-y\Vert \leq k^{n}\beta_{2}\lambda_{1}\Vert \varphi^{\ast}\Vert \) and \(\lim_{n\rightarrow\infty}k^{n}\beta_{2}\lambda_{1}\Vert \varphi^{\ast}\Vert =0\) we have \(\Vert x-y\Vert \leq0\), and thus \(x=y\). Therefore, \(x^{\ast}\) is the unique fixed point of A in P or, equivalently, \(x^{\ast}\) is the unique positive solution of (1.4). The proof is completed. □

4 Conclusions

The method of a \(u_{0}\)-positive operator is an important tool in boundary value problems for fractional differential equations. We established the existence of positive solutions for a fractional differential problem with integral boundary conditions by means of a \(u_{0}\)-positive operator.

Declarations

Acknowledgements

This article was supported by the National Natural Science Foundation of China (Grant No. 11371027) and Anhui Provincial Natural Science Foundation (1608085MA12). The authors would like to thank the referees for their valuable suggestions and comments.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
School of Mathematical Sciences, Anhui University

References

  1. Delbosco, D, Rodino, L: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Appl. 204, 609-625 (1996) MathSciNetMATHGoogle Scholar
  2. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999) MATHGoogle Scholar
  3. Zhang, S: The existence of a positive solution for a nonlinear fractional differential equation. J. Math. Anal. Appl. 252, 804-812 (2000) MathSciNetView ArticleMATHGoogle Scholar
  4. Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973-1033 (2010) MathSciNetView ArticleMATHGoogle Scholar
  5. Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011) MathSciNetView ArticleMATHGoogle Scholar
  6. Ladde, GS, Lakshmikantham, V, Vatsala, AS: Monotone Iterative Techniques for Nonlinear Differential Equations. Pitman, London (1985) MATHGoogle Scholar
  7. Zhang, S: Existence of positive solution for some class of nonlinear fractional differential equations. J. Math. Anal. Appl. 278(1), 136-148 (2003) MathSciNetView ArticleMATHGoogle Scholar
  8. Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014) View ArticleMATHGoogle Scholar
  9. Zhou, Y, Jiao, F, Pecaric, J: On the Cauchy problem for fractional functional differential equations in Banach spaces. Topol. Methods Nonlinear Anal. 42, 119-136 (2013) MathSciNetMATHGoogle Scholar
  10. Zhou, Y, Shen, XH, Zhang, L: Cauchy problem for fractional evolution equations with Caputo derivative. Eur. Phys. J. Spec. Top. 222, 1747-1764 (2013) Google Scholar
  11. Zhou, Y, Zhang, L, Shen, XH: Existence of mild solutions for fractional evolution equations. J. Integral Equ. Appl. 25, 557-585 (2013) MathSciNetView ArticleMATHGoogle Scholar
  12. Zhang, X, Liu, L, Wu, Y: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 55, 1263-1274 (2012) MathSciNetView ArticleMATHGoogle Scholar
  13. Jiang, D, Yuan, C: The positive properties of the green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application. Nonlinear Anal. TMA 72, 710-719 (2010) MathSciNetView ArticleMATHGoogle Scholar
  14. Cui, Y: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48-54 (2016) MathSciNetView ArticleMATHGoogle Scholar
  15. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006) MATHGoogle Scholar
  16. Krasnosel’skii, MA: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964) Google Scholar
  17. Guo, D, Sun, J: Nonlinear Integral Equations. Shandong Science and Technology Press, Jinan (1987) (in Chinese) Google Scholar
  18. Zhang, S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300-1309 (2010) MathSciNetView ArticleMATHGoogle Scholar
  19. Babakhani, A, Daftardar-Gejji, V: Existence of positive solutions of nonlinear fractional differential equations. J. Math. Anal. Appl. 278, 434-442 (2003) MathSciNetView ArticleMATHGoogle Scholar
  20. Agarwal, RP, Zhou, Y, He, YY: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 59(3), 1095-1100 (2010) MathSciNetView ArticleMATHGoogle Scholar
  21. Bai, C: Positive solutions for nonlinear fractional differential equations with coefficient that changes sign. Nonlinear Anal. TMA 64, 677-685 (2006) MathSciNetView ArticleMATHGoogle Scholar
  22. Zhang, X: Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. Lett. 39, 22-27 (2015) MathSciNetView ArticleMATHGoogle Scholar
  23. Wang, G: Explicit iteration and unbounded solutions for fractional integral boundary value problem on an infinite interval. Appl. Math. Lett. 47, 1-7 (2015) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Qiao and Zhou 2016