# Existence of solutions for a class of fractional differential equations with integral and anti-periodic boundary conditions

## Abstract

In this paper, we use the Banach contraction mapping principle and Leray-Schauder degree theory to obtain some results of the existence and uniqueness of solution for a class of fractional boundary value problem with integral and anti-periodic boundary conditions.

## 1 Introduction

Recently, fractional differential equations have been proved to be significance tools in the fields of economics, science and engineering such as materials and mechanical systems, control and robotics, etc. (see [1â€“6] and the references therein). It is found that fractional differential equations are applied in modeling for physical phenomena such as fluid flow, and signal and image processing. Boundary value problems of fractional equations have been considered in many papers (see [7â€“10] and the references therein).

In [11], Cababa and Wang considered a fractional boundary value problem with one integral and two zero initial conditions, the existence of positive solution is obtained by constructing a proper cone.

In [12], Agrawal and Ahmad discussed the following problem:

$$\left \{ \textstyle\begin{array}{l} {}^{c}D^{q}y(t)=f(t,y(t)),\quad t\in[0,T],T>0,3< q\leq4, \\ y(0)=-y(T),\qquad y'(0)=-y'(T),\qquad y''(0)=-y''(T),\qquad y'''(0)=-y'''(T). \end{array}\displaystyle \right .$$
(1.1)

They got some existence results via topological degree theory.

In [13], Xu researched the following problem:

$$\left \{ \textstyle\begin{array}{l} {}^{c}D^{q}u(t)=f(t,u(t)),\quad t\in[0,1],1< q< 2, \\ u(1)=\mu\int_{0}^{1}u(s)\,ds,\qquad u'(0)+u'(1)=0. \end{array}\displaystyle \right .$$
(1.2)

Based on the above work, we are interested in the following fractional differential problem:

$$\left \{ \textstyle\begin{array}{l} {}^{c}D^{\alpha}_{0^{+}}u(t)=f(t,u(t)),\quad t\in[0,1], \\ D^{\beta}_{0^{+}}u(1)=\int_{0}^{1}l(s)u(s)\,ds,\qquad u'(0)+u'(1)=0, \end{array}\displaystyle \right .$$
(1.3)

where $$1<\alpha<2$$, $$0\leq\beta<1$$, $${}^{c}D_{0^{+}}^{\alpha}$$ denotes the Caputo fractional derivative, $$D^{\beta}_{0^{+}}$$ is the Riemann-Liouville fractional derivative, $$f\in C([0,1]\times R,R)$$, $$l\in L[0,1]$$ with $$\Gamma(1-\beta)\int_{0}^{1}l(s)\,ds<1$$. The existence and uniqueness of solutions for (1.3) will be derived by the Banach contraction mapping principle and Leray-Schauder degree theory.

Compared with the previous research problem, question (1.3) has wider and more general boundary conditions. It contains the situations which are in the above papers. It is necessary to study problem (1.3).

In the present paper, we present some important lemmas and theorems (in SectionÂ 2). Furthermore, we utilize the fixed point theorem and Leray-Schauder degree theory to study the existence of solutions for boundary value problem (1.3) (in SectionÂ 3). At last, we will give an example to illustrate our main results (in SectionÂ 4).

## 2 Preliminaries and relevant lemmas

In this section, we will recall some classic results on fractional calculus. In order to avoid redundance, as regards the definitions of the Riemann-Liouville fractional integral, the Riemann-Liouville fractional derivative, and the Caputo fractional derivative, we recommend the reader to refer to [14].

### Lemma 2.1

[14]

Let $$p>0$$, $$x(t)\in AC^{n}[0,1]$$, then

$$I_{0^{+}}^{p}\bigl({}^{c}D_{0^{+}}^{p} \bigr)x(t)=x(t)-x(0)-x'(0)t-\frac {x''(0)}{2!}t^{2}-\cdots- \frac{x^{(n-1)}(0)}{(n-1)!}t^{n-1},$$

where n is the smallest integer greater than or equal to p.

### Lemma 2.2

Given $$h\in C(0,1)$$, $$1<\alpha<2$$, $$0\leq\beta<1$$, $$l\in L[0,1]$$ with $$\Gamma(1-\beta)\int_{0}^{1}l(s)\,ds<1$$, then the unique solution of the following problem:

$$\left \{ \textstyle\begin{array}{l} {}^{c}D^{\alpha}_{0^{+}}u(t)=h(t),\quad t\in(0,1), \\ D^{\beta}_{0^{+}}u(1)=\int_{0}^{1}l(s)u(s)\,ds,\qquad u'(0)+u'(1)=0, \end{array}\displaystyle \right .$$
(2.1)

is given by

\begin{aligned} u(t) =&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}h(s)\,ds - \frac{t}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}h(s)\,ds \\ &{}- \frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}h(s)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}h(s)\,ds \\ &{}+ \frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr)h(s)\,ds \\ &{}-\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr)h(s)\,ds, \end{aligned}

where $$\Delta=1-\Gamma(1-\beta)\int_{0}^{1}l(s)\,ds$$.

### Proof

From LemmaÂ 2.1, we can get

\begin{aligned} u(t) =&I_{0^{+}}^{\alpha}h(t)+u(0)+u'(0)t \\ =&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}h(s) \,ds+u(0)+u'(0)t. \end{aligned}

Then

$$u'(t)=\frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha-2}h(s) \,ds+u'(0),$$

by $$u'(0)+u'(1)=0$$, we have

$$u'(0)+u'(1)=\frac{1}{\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha -2}h(s) \,ds+2u'(0)=0$$

and this yields

$$u'(0)=-\frac{1}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}h(s)\,ds.$$

Moreover,

\begin{aligned} D_{0^{+}}^{\beta}u(t) =&I_{0^{+}}^{\alpha-\beta}h(t)+D_{0^{+}}^{\beta}u(0)+D_{0^{+}}^{\beta}u'(0)t \\ =&\frac{1}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha-\beta -1}h(s)\,ds+ \frac{u(0)t^{-\beta}}{\Gamma(1-\beta)}+\frac{u'(0)t^{1-\beta }}{\Gamma(2-\beta)}. \end{aligned}

From $$D^{\beta}_{0^{+}}u(1)=\int_{0}^{1}l(s)u(s)\,ds$$, we have

\begin{aligned} D^{\beta}_{0^{+}}u(1) =&\frac{1}{\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}h(s)\,ds+ \frac{u(0)}{\Gamma(1-\beta)} \\ &{}-\frac {1}{2\Gamma(\alpha-1)\Gamma(2-\beta)} \int_{0}^{1}(1-s)^{\alpha-2}h(s)\,ds \\ =& \int_{0}^{1}l(s)\biggl[\frac{1}{\Gamma(\alpha)} \int_{0}^{s}(s-\tau)^{\alpha -1}h(\tau)\,d \tau+u(0) \\ &{}-\frac{s}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-\tau )^{\alpha-2}h(\tau)\,d\tau \biggr]\,ds, \end{aligned}

then

\begin{aligned} u(0) =&\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{0}^{s}(s-\tau)^{\alpha-1}l(s)h(\tau)\,d \tau\biggr)\,ds \\ &{}-\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}s(1-\tau)^{\alpha-2}l(s)h(\tau)\,d \tau\biggr)\,ds \\ &{}-\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}h(s)\,ds \\ &{}+ \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}h(s)\,ds, \end{aligned}

which implies that the solution of (2.1) is

\begin{aligned} u(t) =&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}h(s)\,ds - \frac{t}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}h(s)\,ds \\ &{}- \frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}h(s)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}h(s)\,ds \\ &{}+ \frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr)h(s)\,ds \\ &{}-\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr)h(s)\,ds. \end{aligned}

This completes the proof.â€ƒâ–¡

### Theorem 2.1

[15]

Let X be a Banach space, assume that Î© is an open bounded subset of X with $$\theta\in\Omega$$ and let $$A:\overline{\Omega }\rightarrow X$$ be a completely continuous operator such that

$$\|Ax\|\leq\|x\|,\quad \forall x\in\partial\Omega.$$

Then A has a fixed point in Î©Ì….

## 3 Main results

In this section we will show the existence and uniqueness of solutions for the problem (1.3).

Let $$\Lambda=\frac{1}{\Gamma(\alpha+1)}+\frac{1}{2\Gamma(\alpha)}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta+1)} +\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)\Gamma(2-\beta)}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha+1)}\int_{0}^{1}l(s)\,ds+\frac{\Gamma (1-\beta)}{2\Delta\Gamma(\alpha)}\int_{0}^{1}l(s)\,ds$$.

Now, we introduce the following hypotheses:

(H1):

f satisfies the Lipschitz condition

$$\bigl\vert f(t,x)-f(t,y)\bigr\vert \leq L\vert x-y\vert ,\quad \forall t \in[0,1],x,y\in R.$$
(H2):

$$\lim_{u\rightarrow0}\frac{f(t,u)}{u}=0$$ is uniformly respect to $$t\in[0,1]$$.

(H3):

There exist $$0\leq c<\frac{1}{\Lambda}$$, $$K>0$$, such that $$|f(t,u)|\leq c|u|+K$$, for $$t\in[0,1]$$, $$u\in R$$.

Let $$E=C[0,1]$$ denote the Banach space endowed with the norm given by $$\|u\|=\max_{0\leq t\leq1}|u(t)|$$.

Define an operator $$A:E\rightarrow E$$ by

\begin{aligned} (Au) (t) =&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}f\bigl(s,u(s)\bigr) \,ds \\ &{}-\frac{t}{2\Gamma(\alpha-1)} \int_{o}^{1}(1-s)^{\alpha-2}f\bigl(s,u(s)\bigr) \,ds \\ &{} -\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}f\bigl(s,u(s)\bigr) \,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}f\bigl(s,u(s)\bigr) \,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr)f\bigl(s,u(s)\bigr)\,ds \\ &{}-\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr)f\bigl(s,u(s)\bigr)\,ds,\quad t\in[0,1]. \end{aligned}
(3.1)

It is easy to prove that the solution for (1.3) is equivalent to the fixed point of A.

### Lemma 3.1

If A is defined in (3.1), then $$A:E\rightarrow E$$ is completely continuous.

### Proof

Obviously, $$A:E\rightarrow E$$ is continuous. For any bounded set $$\Omega\subset E$$, since $$f(t,u)$$ is continuous on $$[0,1]\times R$$, there exists a positive constant Q such that $$|f(t,u(t))|\leq Q$$, for all $$t\in[0,1]$$ and $$u\in\Omega$$. Thus, we can obtain

\begin{aligned} \bigl\vert (Au) (t)\bigr\vert \leq&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}\bigl\vert f \bigl(s,u(s)\bigr)\bigr\vert \,ds \\ &{}+\frac{t}{2\Gamma(\alpha-1)} \int_{o}^{1}(1-s)^{\alpha-2}\bigl\vert f \bigl(s,u(s)\bigr)\bigr\vert \,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}\bigl\vert f \bigl(s,u(s)\bigr)\bigr\vert \,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}\bigl\vert f \bigl(s,u(s)\bigr)\bigr\vert \,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr)\bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr)\bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\ \leq& Q\biggl[\frac{t^{\alpha}}{\Gamma(\alpha+1)}+\frac{t}{2\Gamma(\alpha )}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta+1)} + \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)\Gamma(2-\beta)} \\ &{}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha+1)} \int_{0}^{1}t^{\alpha }l(t)\,dt+ \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)} \int_{0}^{1}tl(t)\,dt\biggr] \\ \leq& Q\biggl[\frac{1}{\Gamma(\alpha+1)}+\frac{1}{2\Gamma(\alpha)}+\frac{\Gamma (1-\beta)}{\Delta\Gamma(\alpha-\beta+1)} + \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)\Gamma(2-\beta)} \\ &{}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha+1)} \int_{0}^{1}l(s)\,ds+\frac{\Gamma (1-\beta)}{2\Delta\Gamma(\alpha)} \int_{0}^{1}l(s)\,ds\biggr] \\ =&Q\Lambda, \end{aligned}

which means AÎ© is uniformly bounded.

Furthermore, for $$0\leq t_{1}< t_{2}\leq1$$, by a simple computation

\begin{aligned}& \bigl\vert (Au) (t_{2})-(Au) (t_{1})\bigr\vert \\& \quad = \biggl\vert \frac{1}{\Gamma(\alpha)} \int _{0}^{t_{2}}(t_{2}-s)^{\alpha-1}f \bigl(s,u(s)\bigr)\,ds -\frac{t_{2}}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}f\bigl(s,u(s)\bigr) \,ds \\& \qquad {} -\frac{1}{\Gamma(\alpha)} \int_{0}^{t_{1}}(t_{1}-s)^{\alpha-1}f \bigl(s,u(s)\bigr)\,ds +\frac{t_{1}}{2\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}f\bigl(s,u(s)\bigr) \,ds\biggr\vert \\& \quad = \biggl\vert \frac{1}{\Gamma(\alpha)}\biggl\{ \int_{0}^{t_{1}}\bigl[(t_{2}-s)^{\alpha -1}-(t_{1}-s)^{\alpha-1} \bigr]f\bigl(s,u(s)\bigr)\,ds+ \int _{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha-1}f \bigl(s,u(s)\bigr)\,ds\biggr\} \\& \qquad {}+\frac{\int_{0}^{1}(1-s)^{\alpha-2}f(s,u(s))\,ds}{2\Gamma(\alpha-1)}(t_{1}-t_{2})\biggr\vert \\& \quad \leq \frac{Q}{\Gamma(\alpha+1)}\bigl\vert t_{2}^{\alpha}-t_{1}^{\alpha} \bigr\vert +\frac {Q}{2\Gamma(\alpha)}\vert t_{1}-t_{2}\vert , \end{aligned}

which implies that AÎ© is equicontinuous. Thus, by the ArzelÃ -Ascoli theorem, $$A:E\rightarrow E$$ is completely continuous.

The proof is completed.â€ƒâ–¡

### Theorem 3.1

Suppose that (H1) is satisfied, and $$L\Lambda<1$$. Then (1.3) has a unique solution.

### Proof

Define $$N=\max_{t\in[0,1]}|f(t,0)|$$, and select $$\sigma\geq\frac{N\Lambda}{1-L\Lambda}$$, define a closed ball as $$B_{\sigma}=\{u\in E:\|u\|\leq\sigma\}$$, from the proof of LemmaÂ 3.1, we derive

\begin{aligned} \bigl\vert (Au) (t)\bigr\vert \leq&\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}\bigl(\bigl\vert f\bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr) \,ds \\ &{}+\frac{t}{2\Gamma(\alpha-1)} \int_{o}^{1}(1-s)^{\alpha -2}\bigl(\bigl\vert f \bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}\bigl(\bigl\vert f\bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr) \,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2} \bigl(\bigl\vert f\bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr) \\ &{}\times\bigl(\bigl\vert f\bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr) \\ &{}\times\bigl(\bigl\vert f\bigl(s,u(s)\bigr)-f(s,0)\bigr\vert +\bigl\vert f(s,0)\bigr\vert \bigr)\,ds \\ \leq&(L\sigma+N)\biggl[\frac{t^{\alpha}}{\Gamma(\alpha+1)}+\frac{t}{2\Gamma (\alpha)}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta+1)} +\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)\Gamma(2-\beta)} \\ &{}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha+1)} \int_{0}^{1}t^{\alpha }l(t)\,dt+ \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)} \int_{0}^{1}tl(t)\,dt\biggr] \\ \leq&(L\sigma+N)\Lambda\leq\sigma, \end{aligned}

which means that $$\|Au\|\leq\sigma$$, that is, $$A(B_{\sigma})\subset B_{\sigma}$$.

In the following, for $$x,y\in E$$, for each $$t\in[0,1]$$, we compute

\begin{aligned}& \bigl\vert (Ax) (t)-(Ay) (t)\bigr\vert \\& \quad \leq \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}\bigl(\bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \qquad {}+\frac{t}{2\Gamma(\alpha-1)} \int_{o}^{1}(1-s)^{\alpha -2}\bigl(\bigl\vert f \bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \qquad {}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}\bigl(\bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \qquad {}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2} \bigl(\bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \qquad {}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{s}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr) \bigl(\bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \qquad {}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr) \bigl(\bigl\vert f\bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \bigr)\,ds \\& \quad \leq L\Lambda\|x-y\|, \end{aligned}

which implies A is a contraction. Thus, from the Banach contraction mapping principle, A has a unique fixed point, that is, (1.3) has a unique solution.

The proof is completed.â€ƒâ–¡

### Theorem 3.2

Suppose that (H2) is satisfied, then (1.3) has at least one solution.

### Proof

Since $$\lim_{u\rightarrow0}\frac {f(t,u)}{u}=0$$ is uniformly respect to $$t\in[0,1]$$, there exist constants $$\epsilon>0$$ ($$\epsilon\leq\frac{1}{\Lambda}$$) and $$\delta>0$$ such that $$|f(t,u)|\leq\epsilon|u|$$, for all $$0<|u|<\delta$$ and $$0\leq t\leq1$$.

Define $$D=\{u\in E:\|u\|<\delta\}$$. Taking any $$y\in\partial D$$, then $$\|y\|=\delta$$. From the proof of LemmaÂ 3.1, we know that $$|(Ay)(t)|\leq\Lambda\epsilon\|y\|\leq\|y\|$$, which implies that $$\| Ay\|\leq\|y\|$$. Moreover, from LemmaÂ 3.1, A is completely continuous. Thus, by TheoremÂ 2.1, A has at least one fixed point, that is, (1.3) has at least one solution.

The proof is completed.â€ƒâ–¡

### Theorem 3.3

Suppose that (H3) is satisfied, then (1.3) has at least one solution.

### Proof

We consider the operator equation

$$u=Au.$$
(3.2)

We shall prove that there exists at least one point $$u\in E$$ satisfying (3.2).

Suppose a ball $$B_{\sigma_{0}}\subset E$$ and $$B_{\sigma_{0}}=\{u\in E:\| u\|<\sigma_{0}\}$$, with radius $$\sigma_{0}>0$$ calculated later. We will demonstrate that $$A:\overline{B_{\sigma_{0}}}\rightarrow E$$ satisfies the condition $$u\neq\lambda Au$$, $$\forall u\in\partial B_{\sigma _{0}}$$, $$\forall\lambda\in[0,1]$$.

Due to LemmaÂ 3.1, we know that A is completely continuous, then it is not difficult to know that $$g_{\lambda}(u)$$ is also completely continuous, where $$g_{\lambda}(u)$$ is defined by

$$g_{\lambda}(u)=u-\lambda Au,\quad \forall u\in E,\lambda\in[0,1].$$

From the homotopy invariance of the topological degree in Leray-Schauder degree theory, we can see

$$\operatorname{deg}(g_{\lambda},B_{\sigma_{0}},0)=\operatorname{deg}(g_{1},B_{\sigma _{0}},0)= \operatorname{deg}(g_{0},B_{\sigma_{0}},0)=\operatorname{deg}(I,B_{\sigma_{0}},0)=1 \neq0,$$

where I denotes the unit operator.

According to the nonzero property of Leray-Schauder degree, $$g_{1}(u)=u-Au=0$$ for at least one $$u\in B_{\sigma_{0}}$$.

Assume that $$u=\lambda Au$$ for some $$\lambda\in[0,1]$$ and $$u\in E$$, then for $$t\in[0,1]$$, similar to proof of the LemmaÂ 3.1, we have

\begin{aligned} \bigl\vert u(t)\bigr\vert =&\bigl\vert \lambda Au(t)\bigr\vert \leq \bigl\vert Au(t)\bigr\vert \\ \leq&\bigl(c\Vert u\Vert +K\bigr)\biggl[ \frac{1}{\Gamma(\alpha )} \int_{0}^{t}(t-s)^{\alpha-1}\,ds+ \frac{t}{2\Gamma(\alpha-1)} \int _{0}^{1}(1-s)^{\alpha-2}\,ds \\ &{}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta)} \int _{0}^{1}(1-s)^{\alpha-\beta-1}\,ds + \frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)\Gamma(2-\beta)} \int _{0}^{1}(1-s)^{\alpha-2}\,ds \\ &{}+ \frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha)} \int_{0}^{1}\biggl( \int _{S}^{1}l(\tau) (\tau-s)^{\alpha-1}\,d\tau \biggr)\,ds \\ &{}+\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha-1)} \int_{0}^{1}\biggl( \int _{0}^{1}\tau l(\tau) (1-s)^{\alpha-2}\,d \tau\biggr)\,ds\biggr] \leq\bigl(c\Vert u\Vert +K\bigr)\Lambda. \end{aligned}

So $$\|u\|\leq(c\|u\|+K)\Lambda$$. This yields

$$\|u\|\leq\frac{K\Lambda}{1-c\Lambda}.$$

If $$\sigma_{0}=\frac{K\Lambda}{1-c\Lambda}+1$$, then $$u\neq\lambda Au$$, for any $$u\in\partial B_{\sigma_{0}}$$, for all $$\lambda\in[0,1]$$. Thus, equation (3.2) has at least one solution in $$B_{\sigma_{0}}$$, that is, problem (1.1) has at least one solution.

The proof is completed.â€ƒâ–¡

## 4 Examples

### Example 4.1

Consider the following boundary value problem:

$$\left \{ \textstyle\begin{array}{l} {}^{c}D_{0^{+}}^{\frac{3}{2}}u(t)=\frac{2+u(t)\cos u(t)}{(4+t)^{3}},\quad t\in (0,1), \\ D_{0^{+}}^{\frac{1}{2}}u(1)=\int_{0}^{1}s u(s)\,ds,\qquad u'(0)+u'(1)=0. \end{array}\displaystyle \right .$$
(4.1)

Let $$\alpha={\frac{3}{2}}$$, $$\beta={\frac{1}{2}}$$, $$l(t)=t$$, $$f(t,u)=\frac{2+u\cos u}{(4+t)^{3}}$$. Obviously, $$f\in C([0,1]\times R,R)$$, $$l\in L[0,1]$$, $$\Gamma(1-\beta)\int _{0}^{1}l(s)\,ds=\Gamma(\frac{1}{2})\int_{0}^{1}s\, ds\approx0.8862<1$$. It is not difficult to calculate that $$\Delta=1-\Gamma(1-\beta)\int _{0}^{1}l(s)\,ds\approx0.1138$$, $$\Lambda=\frac{1}{\Gamma(\alpha+1)}+\frac {1}{2\Gamma(\alpha)}+\frac{\Gamma(1-\beta)}{\Delta\Gamma(\alpha-\beta+1)} +\frac{\Gamma(1-\beta)}{2\Delta\Gamma(\alpha)\Gamma(2-\beta)}+\frac {\Gamma(1-\beta)}{\Delta\Gamma(\alpha+1)}\int_{0}^{1}l(s)\,ds+\frac{\Gamma (1-\beta)}{2\Delta\Gamma(\alpha)}\int_{0}^{1}l(s)\,ds\approx37.0518$$, $$\frac{1}{\Lambda}\approx0.0270$$. Then there exist $$c=\frac {1}{64}$$ ($$0\leq c<\frac{1}{\Lambda}$$) and $$K=\frac{1}{32}$$, such that $$|f(t,u)|=\frac{|2+u\cos u|}{(4+t)^{3}}\leq c|u|+K$$. According to TheoremÂ 3.3, we can see that (4.1) has at least one solution.

## References

1. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol.Â 198. Academic Press, New York (1999)

2. Zhang, S: The existence of a positive solution for a nonlinear fractional differential equation. J. Math. Anal. Appl. 252, 804-812 (2000)

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

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

5. Oldham, K: Reactional differential equations in electrochemistry Adv. Eng. Softw. 41(1), 9-12 (2010)

6. Liu, F, Burrage, K: Novel techniques in parameter estimation for fractional dynamical models arising from biological systems. Comput. Math. Appl. 62(3), 822-833 (2011)

7. Wang, J, Zhou, Y, Wei, W: Optimal feedback control for semilinear fractional evolution equations in Banach spaces. Syst. Control Lett. 61(4), 472-476 (2012)

8. Sokolov, I, Chechkin, A, Klafter, J: Fractional diffusion equation for a power-law-truncated LÃ©vy process. Physica A 336(3-4), 245-251 (2004)

9. Lee, C, Chang, F: Fractional-order PID controller optimization via improved electromagnetism-like algorithm. Expert Syst. Appl. 37(12), 8871-8878 (2010)

10. Cui, Y: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48-54 (2016)

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

12. Agrawal, RP, Ahmad, B: Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions. Comput. Math. Appl. 62(3), 1200-1214 (2011)

13. Xu, YF: Fractional boundary value problems with integral and anti-periodic boundary conditions. Bull. Malays. Math. Sci. Soc. 39, 571-587 (2016)

14. Kilbas, A, Srivastava, H, Trujillo, J: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

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

## Acknowledgements

The article was supported by the National Natural Science Foundation of China (Grant No.Â 11371027) and Anhui Provincial Natural Science Foundation (1608085MA12).

## Author information

Authors

### Corresponding author

Correspondence to Zongfu Zhou.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

The authors have equally made contributions to each part of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Qiao, Y., Zhou, Z. Existence of solutions for a class of fractional differential equations with integral and anti-periodic boundary conditions. Bound Value Probl 2017, 11 (2017). https://doi.org/10.1186/s13661-016-0745-x