Skip to main content

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)

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    Article  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  Google Scholar 

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

    Article  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

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

    MATH  Google Scholar 

Download references

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 and Affiliations

Authors

Corresponding author

Correspondence to Zongfu Zhou.

Additional information

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

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

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0745-x

Keywords