Existence results for fractional differential equations with integral and multi-point boundary conditions

Youyu Wang; Shuilian Liang; Qichao Wang

doi:10.1186/s13661-017-0924-4

Research
Open Access

Existence results for fractional differential equations with integral and multi-point boundary conditions

Youyu Wang¹Email author View ORCID ID profile,
Shuilian Liang¹ and
Qichao Wang¹

Boundary Value Problems20182018:4

https://doi.org/10.1186/s13661-017-0924-4

Received: 11 September 2017
Accepted: 28 December 2017
Published: 8 January 2018

Abstract

This paper concerns a new kind of fractional differential equation of arbitrary order by combining a multi-point boundary condition with an integral boundary condition. By solving the equation which is equivalent to the problem we are going to investigate, the Green’s functions are obtained. By defining a continuous operator on a Banach space and taking advantage of the cone theory and some fixed point theorems, the existence of multiple positive solutions for the BVPs is proved based on some properties of Green’s functions and under the circumstance that the continuous functions f satisfy certain hypothesis. Finally, examples are provided to illustrate the results.

Keywords

fractional differential equation
boundary value problem
Green’s function
fixed point theorems

MSC

34A08
34B10
34B15

1 Introduction

Fractional calculus has attracted many researchers’ interests because of its wide application in solving practical problems that arise in fields like viscoelasticity, biological science, ecology, aerodynamics, etc. Numerous writings have showed that fractional-order differential equations could provide more methods to deal with complex problems in statistical physics and environmental issues. Especially, writers introduced the development history of fractional calculus in [1], and authors in [2] stated some pioneering applications of fractional calculus. For specific applications, see [3, 4] and the references therein.

Fractional-order differential equations with boundary value problems sprung up dramatically. Multi-point boundary conditions and integral boundary conditions become hot spots of research among different types of boundary value problems, and the studies in [5–9] are excellent. However, most researchers tend to investigate either integral conditions or multi-point conditions.

For instance, the authors explored the fractional-order equation with integral boundary conditions as follows in [9]:

$$ \textstyle\begin{cases} {}^{c}D^{q}x(t)=f(t,x),\quad1< q\leq2, t\in[0,1],\\ x(0)=\delta x(\sigma),\qquad a{}^{c}D^{\mu}x(\rho_{1})+b{}^{c}D^{\mu}x(\rho_{2})=c\int_{\beta_{1}}^{\beta_{2}}{}^{c}D^{\mu}x(s)\,ds, \end{cases} $$

(1.1)

where $f:[0,1]\times\textbf{R}\rightarrow\textbf{R}$ is a given continuous function, $0<\rho_{1}<\sigma<\beta_{1}<\beta_{2}<\rho_{2}<1$, $0<\mu<1$, δ, a, b, c are real constants and ${}^{c}D^{q}$ is a standard Caputo derivative. They devoted themselves to finding the existence and uniqueness of solutions by making use of Krasnoselskii’s fixed point theorem, Schauder’s fixed point theorem and Banach’s contraction mapping principle. However, the results for the problems were concluded without application of Green’s function.

In [8], Gu and Jia investigated the following higher order fractional differential equation by using the reduced order method:

$$ \textstyle\begin{cases} -D^{\alpha}x(t)=f(t, x(t), D^{\mu_{1}}x(t), D^{\mu_{2}}x(t),\ldots, D^{\mu_{n-1}}x(t)),\quad t\in[0,1],\\ x(0)=0,\qquad D^{\mu_{i}}x(0)=0,\qquad D^{\mu}x(1)=\sum_{j=1}^{p-2}a_{j}D^{\mu}x(\xi_{j}),\quad i=1,2,\ldots,n-1,\hspace{-20pt} \end{cases} $$

(1.2)

where $D^{\alpha}$ is the standard Riemann-Liouville fractional derivative and $f:[0,1]\times\textbf{R}\rightarrow\textbf{R}$ is continuous. With $n\geq3$, $n\in\textbf{N}^{+}$, $n-1<\alpha\leq n$, $n-l-1<\alpha-\mu_{l}<n-l$ for $l=1, 2,\ldots, n-2$ and $\mu-\mu_{n-1}>0$, $\alpha-\mu_{n-1}\leq2$, $\alpha-\mu>1$, $a_{j}\in[0,+\infty)$, $0<\xi_{1}<\xi_{2}<\cdots<\xi_{p-2}<1$, $\sum_{j=1}^{p-2}a_{j}\xi^{\alpha-\mu-1}\neq1$. Moreover, the authors obtained the existence and uniqueness of nontrivial solutions due to the application of Leray-Schauder’s nonlinear alternative and Schauder’s fixed point theorem.

In consideration of the fact that integral boundary conditions and multi-point boundary conditions have been investigated in a variety of papers (see [10–17]), in this paper we are dedicated to considering fractional differential equations that contain both the integral boundary condition and the multi-point boundary condition:

$$ \textstyle\begin{cases} D^{\sigma}x(t)+f(t,x(t))=0,\quad t\in[0,1],\\ x^{(i)}(0)=0,\quad i=0, 1, 2,\ldots, n-2,\\ x(1)=\sum_{i=1}^{m-2}\beta_{i}\int_{0}^{\eta_{i}}x(s)\,ds+\sum_{i=1}^{m-2}\gamma_{i}x(\eta_{i}), \end{cases} $$

(1.3)

where $D^{\sigma}$ represents the standard Riemann-Liouville fractional derivative of order σ satisfying $n-1<\sigma\leq n$ with $n \geq3 $ and $n\in\textbf{N}^{+}$. In addition, $0<\eta_{1}<\eta_{2}<\cdots<\eta_{m-2}<1$ and $\beta_{i},\gamma_{i}>0$ with $1\leq i\leq m-2$, where m is an integer satisfying $m\geq3$. $f:[0,1]\times \textbf{R}\rightarrow\textbf{R}$ is a given continuous function.

To ensure that readers can easily understand the results, the rest of the paper is planned as follows. Section 2 is aimed to recall certain basic definitions and lemmas to obtain the Green’s functions. Section 3 is devoted to reviewing Krasnoselkii’s fixed point theorem, Schauder type fixed point theorem, Banach’s contraction mapping principle and nonlinear alternative for single-valued maps and to applying them to analyze the problem in order to show the main results. In the last section, some examples are given to verify that the results are practical.

2 Preliminaries

Definition 2.1

([18])

The Riemann-Liouville fractional integral of order $\alpha>0 $ of a function $f:(0,+\infty)\rightarrow\textbf{R}$ is given by

$$I_{0^{+}}^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}f(s)\,ds, $$

where $\Gamma(\cdot)$ is the Euler gamma function.

Definition 2.2

([18])

The Riemann-Liouville fractional derivative of order $\alpha>0 $ for a function $f:(0,+\infty)\rightarrow\textbf{R}$ is defined by

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

where $n=[\alpha]+1$.

Lemma 2.3

Let $\alpha>0$, then the fractional differential equation

$$D_{0+}^{\alpha}u(t)=0 $$

has a solution

$$u(t)=C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+C_{3}t^{\alpha-3}+\cdots+C_{n}t^{\alpha-n}, \quad C_{i}\in R, i=1,2,\ldots,n, $$

where $n-1<\alpha<n$.

Lemma 2.4

Let $\alpha>0$. Then the following equality holds for $u\in L(0,1)$, $D_{0^{+}}^{\alpha}u(t)\in L(0,1)$:

$$I_{0^{+}}^{\alpha}D_{0^{+}}^{\alpha}u(t)=u(t)+C_{1}t^{\alpha-1}+C_{2}t^{\alpha -2}+\cdots+C_{n}t^{\alpha-n}, $$

$C_{i}\in R$, $i=1,2,\ldots,n$, where $n-1<\alpha\leq n$.

Lemma 2.5

Assume that $h\in L^{1}[0,1]$, $x\in AC^{n}[0,1]$ and $n-1<\sigma\leq n$ with $n\geq3$, then the solution to the fractional differential equation

$$ D^{\sigma}x(t)+h(t)=0,\quad t\in[0,1] $$

(2.1)

with multi-point and integral boundary conditions

$$ \textstyle\begin{cases} x^{(i)}(0)=0,\quad i=0,1,2,\ldots,n-2,\\ x(1)=\sum_{i=1}^{m-2}\beta_{i}\int_{0}^{\eta_{i}}x(s)\,ds+\sum_{i=1}^{m-2}\gamma_{i}x({\eta_{i}}) \end{cases} $$

(2.2)

is given by

$$x(t)= \int_{0}^{1}G(t,s)h(s)\,ds+\frac{t^{\sigma-1}}{\xi}\sum _{i=1}^{m-2}\beta_{i} \int_{0}^{1}H(\eta_{i},s)h(s)\,ds+ \frac{t^{\sigma -1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int_{0}^{1}G(\eta_{i},s)h(s)\,ds, $$

where $\xi=1-\frac{1}{\sigma}\sum_{i=1}^{m-2}\beta_{i}\eta_{i}^{\sigma}-\sum_{i=1}^{m-2}\gamma_{i}\eta_{i}^{\sigma-1}>0$ and

$$\begin{aligned}& G(t,s)=\frac{1}{\Gamma(\sigma)} \textstyle\begin{cases} t^{\sigma-1}(1-s)^{\sigma-1}-(t-s)^{\sigma-1},& 0\leq s\leq t\leq 1,\\ t^{\sigma-1}(1-s)^{\sigma-1}, & 0\leq t\leq s\leq1, \end{cases}\displaystyle \end{aligned}$$

(2.3)

$$\begin{aligned}& H(t,s)=\frac{1}{\Gamma(\sigma+1)} \textstyle\begin{cases} t^{\sigma}(1-s)^{\sigma-1}-(t-s)^{\sigma},& 0\leq s\leq t\leq1,\\ t^{\sigma}(1-s)^{\sigma-1},& 0\leq t\leq s\leq1. \end{cases}\displaystyle \end{aligned}$$

(2.4)

Proof

By Lemmas 2.3 and 2.4, the following equality holds:

$$\begin{aligned} x(t)=C_{1}t^{\sigma-1}+C_{2}^{\sigma-2}+C_{3}t^{\sigma-3}+\cdots+C_{n}t^{\sigma -n}- \frac{1}{\Gamma(\sigma)} \int_{0}^{t}(t-s)^{\sigma-1}h(s)\,ds. \end{aligned}$$

In view of the boundary conditions, the parameters $C_{2}=C_{3}=\cdots=C_{n}=0$ are concluded and

$$\begin{aligned} x(1)&=-\frac{1}{\Gamma(\sigma)} \int_{0}^{1}(1-s)^{\sigma-1}h(s)\,ds+C_{1} \\ &=\sum_{i=1}^{m-2}\beta_{i} \int_{0}^{\eta_{i}}x(s)\,ds+\sum _{i=1}^{m-2}\gamma_{i}x(\eta_{i}) \\ &=\sum_{i=1}^{m-2}\beta_{i} \biggl[-I^{\sigma+1}h(\eta_{i})+\frac{C_{1}\eta _{i}^{\sigma}}{\sigma} \biggr]+\sum _{i=1}^{m-2}\gamma_{i} \bigl[-I^{\sigma }h(\eta_{i})+C_{1}\eta_{i}^{\sigma-1} \bigr], \end{aligned}$$

i.e.,

$$\begin{aligned} \Biggl\{ 1-\frac{1}{\sigma}\sum_{i=1}^{m-2} \beta_{i}\eta_{i}^{\sigma }-\sum _{i=1}^{m-2}\gamma_{i}\eta_{i}^{\sigma-1} \Biggr\} C_{1} &=\frac{1}{\Gamma(\sigma)} \int_{0}^{1}(1-s)^{\sigma-1}h(s)\,ds \\ &\quad{}-\sum_{i=1}^{m-2}\frac{\beta_{i}}{\Gamma(\sigma+1)} \int _{0}^{\eta_{i}}(\eta_{i}-s)^{\sigma}h(s)\,ds \\ &\quad{}-\sum_{i=1}^{m-2}\frac{\gamma_{i}}{\Gamma(\sigma)} \int_{0}^{\eta _{i}}(\eta_{i}-s)^{\sigma-1}h(s)\,ds. \end{aligned}$$

So,

$$\begin{aligned} C_{1}&=\frac{1}{\xi} \Biggl\{ \int_{0}^{1}\frac{(1-s)^{\sigma-1}}{\Gamma (\sigma)}h(s)\,ds-\sum _{i=1}^{m-2}\beta_{i} \int_{0}^{\eta_{i}}\frac{(\eta _{i}-s)^{\sigma}}{\Gamma(\sigma+1)}h(s)\,ds\\ &\quad {}-\sum _{i=1}^{m-2}\gamma_{i} \int _{0}^{\eta_{i}}\frac{(\eta_{i}-s)^{\sigma-1}}{\Gamma(\sigma )}h(s)\,ds \Biggr\} . \end{aligned} $$

Hence, the solution is

$$\begin{aligned} x(t)&=-\frac{1}{\Gamma(\sigma)} \int_{0}^{t}(1-s)^{\sigma-1}h(s)\,ds+ \frac {t^{\sigma-1}}{\xi\Gamma(\sigma)} \int_{0}^{1}(1-s)^{\sigma-1}h(s)\,ds \\ &\quad{}-\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \frac{\beta_{i}}{\Gamma (\sigma+1)} \int_{0}^{\eta_{i}}(\eta_{i}-s)^{\sigma}h(s)\,ds- \frac {t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \frac{\gamma_{i}}{\Gamma(\sigma)} \int _{0}^{\eta_{i}}(\eta_{i}-s)^{\sigma-1}h(s)\,ds \\ &=-\frac{1}{\Gamma(\sigma)} \int_{0}^{t}(1-s)^{\sigma-1}h(s)\,ds+ \frac {t^{\sigma-1}}{\Gamma(\sigma)} \int_{0}^{1}(1-s)^{\sigma-1}h(s)\,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi\Gamma(\sigma)} \Biggl\{ \frac{1}{\sigma }\sum _{i=1}^{m-2}\beta_{i}\eta_{i}^{\sigma}+ \sum_{i=1}^{m-2}\gamma _{i} \eta_{i}^{\sigma-1} \Biggr\} \int_{0}^{1}(1-s)^{\sigma-1}h(s)\,ds \\ &\quad{}-\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \frac{\beta_{i}}{\Gamma (\sigma+1)} \int_{0}^{\eta_{i}}(\eta_{i}-s)^{\sigma}h(s)\,ds- \frac {t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \frac{\gamma_{i}}{\Gamma(\sigma)} \int _{0}^{\eta_{i}}(\eta_{i}-s)^{\sigma-1}h(s)\,ds \\ &= \int_{0}^{1}G(t,s)h(s)\,ds+\frac{t^{\sigma-1}}{\xi}\sum _{i=1}^{m-2}\beta _{i} \int_{0}^{1}H(\eta_{i},s)h(s)\,ds+ \frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int_{0}^{1}G(\eta_{i},s)h(s)\,ds. \end{aligned}$$

Therefore, we complete the proof. □

Lemma 2.6

The functions $G(t,s)$ and $H(t,s)$ obtained in Lemma 2.5 are continuous and nonnegative on $[0,1]\times[0,1]$. It is easy to figure out that $0\leq G(t,s)\leq \frac{1}{\Gamma(\sigma)}$ and $0\leq H(t,s)\leq \frac{{1}}{\Gamma(\sigma+1)}$ hold for all $t,s\in[0,1]$.

3 Main results

Based on the lemmas mentioned in the previous section, we define an operator $S:\mathcal{C}\rightarrow\mathcal{C}$ as follows:

$$ \begin{aligned}[b] (Sx) (t)&= \int_{0}^{1}G(t,s)f\bigl(s,x(s)\bigr)\,ds+ \frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta_{i} \int_{0}^{1}H(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int _{0}^{1}G(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds, \end{aligned} $$

(3.1)

where $\mathcal{C}=C([0,1],\textbf{R})$ denotes the Banach space of all continuous functions defined on $[0,1]$ that are mapped into R with the norm defined as $\Vert x \Vert = \sup_{t\in[0,1]} \vert x(t) \vert $. And G and H are provided in Lemma 2.6.

Solutions to the problem exist if and only if the operator S has fixed points. In order to make the analysis clear, we introduce some fixed point theorems that play a role in our proof.

Lemma 3.1

(Krasnoselskii [19])

Let Q be a closed, convex, bounded and nonempty subset of a Banach space Y. Let $\psi_{1}$, $\psi_{2}$ be operators such that

(i)

$\psi_{1}v_{1}+\psi_{2}v_{2}\in Q$ whenever $v_{1}, v_{2}\in Q$;
(ii)

$\psi_{1}$ is compact and continuous;
(iii)

$\psi_{2}$ is a contraction mapping.

Then there exists $v\in Q$ such that $v=\psi_{1}v_{1}+\psi_{2}v_{2}$.

Lemma 3.2

([19])

Let X be a Banach space. Assume that $T: X\rightarrow X$ is a completely continuous operator and the set $V=\{u\in X: u=\epsilon Tu, 0<\epsilon<1\}$ is bounded. Then T has a fixed point in X.

Lemma 3.3

([20])

Let E be a Banach space, $E_{1}$ be a closed, convex subset of E, V be an open subset of $E_{1}$ and $0\in V$. Suppose that $U:\overline{V} \rightarrow E_{1}$ is a continuous, compact (that is, $U(\overline{V})$ is a relatively compact subset of $E_{1}$) map. Then either

(i)

U has a fixed point in V̅, or
(ii)

there are $x\in\partial V$ (the boundary of V in $E_{1}$) and $k\in(0,1)$ with $x=kU(x)$.

For convenience, we set some notations:

$$ \begin{aligned} &\alpha_{1}= \frac{1}{\Gamma(\sigma)}+\frac{1}{\xi}\sum_{i=1}^{m-2} \beta _{i}\frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta_{i}^{\sigma+1}}{\sigma (\sigma+1)\Gamma(\sigma+1)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\gamma_{i}\frac {\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma}}{\Gamma(\sigma+1)}, \\ &\alpha_{2}=\alpha_{1}-\frac{1}{\Gamma(\sigma)}. \end{aligned} $$

(3.2)

Theorem 3.4

Let $f:[0,1]\times R\rightarrow R$ be a continuous function that satisfies the conditions:

($H_{1}$):: $\vert f(t,x)-f(t,y) \vert \leq l \vert x-y \vert $ for all $t\in[0,1]$ and $x,y\in\textbf{R}$;

($H_{2}$):: $\vert f(t,x) \vert \leq\omega(t)$ for all $(t,x)\in[0,1]\times\textbf{R}$ and $\omega\in C([0,1],\textbf {R}^{+})$,

then BVP (1.3) has at least one solution on $[0,1]$ when $l\alpha_{2}\leq1$ with $\alpha_{2}$ given in (3.2).

Proof

Define a set $B_{\rho}=\{x\in C: \Vert x \Vert \leq\rho\}$, where $\rho\geq \Vert \omega \Vert \alpha_{1}$ with $\alpha_{1}$ defined in (3.2) and $\Vert \omega \Vert =\sup_{t\in[0,1]} \vert \omega (t) \vert $. Let the operators $S_{1}$ and $S_{2}$ on $B_{\rho}$ be defined as

$$\begin{aligned} &(S_{1}x) (t)= \int_{0}^{1}G(t,s)f\bigl(s,x(s)\bigr)\,ds, \\ &(S_{2}x) (t)=\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta_{i} \int _{0}^{1}H(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int_{0}^{1}G(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds. \end{aligned}$$

It is easy to understand $\Vert S_{1}x+S_{2}y \Vert \leq \Vert \omega \Vert \alpha_{1}$ for any $x,y\in B_{\rho}$ that means $S_{1}x+S_{2}y\in B_{\rho}$.

By assumption($H_{1}$),

$$\begin{aligned} \Vert S_{2}x-S_{2}y \Vert &=\sup_{t\in[0,1]} \vert S_{2}x-S_{2}y \vert \\ &\leq \sup_{t\in[0,1]}\frac{t^{\sigma-1}}{\xi}\sum _{i=1}^{m-2}\beta _{i} \int_{0}^{1}H(\eta_{i},s) \bigl\vert f(s,x)-f(s,y) \bigr\vert \,ds \\ &\quad{}+\sup_{t\in[0,1]} \frac{t^{\sigma-1}}{\xi}\sum _{i=1}^{m-2}\gamma_{i} \int_{0}^{1}G(\eta_{i},s) \bigl\vert f(s,x)-f(s,y)\bigr\vert \,ds \\ &\leq \frac{l}{\xi} \Biggl\{ \sum_{i=1}^{m-2} \beta_{i}\frac{(\sigma +1)\eta_{i}^{\sigma}-\sigma\eta_{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma (\sigma+1)}+\sum_{i=1}^{m-2} \gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta _{i}^{\sigma}}{\Gamma(\sigma+1)} \Biggr\} \Vert x-y \Vert \\ &\leq l\alpha_{2} \Vert x-y \Vert . \end{aligned}$$

The operator $S_{2}$ is a contraction because of $l\alpha_{2}<1$. As we all know, $S_{1}$ is a continuous result from the continuity of f. Moreover,

$$\Vert S_{1}x \Vert =\sup_{t\in[0,1]} \biggl\{ \int _{0}^{1}G(t,s)f\bigl(s,x(s)\bigr)\,ds \biggr\} \leq\sup_{t\in[0,1]} \biggl\{ \int _{0}^{1}\frac{ \vert f(s,x(s)) \vert }{\Gamma(\sigma)}\,ds \biggr\} \leq \frac{ \Vert \omega \Vert }{\Gamma(\sigma)}, $$

which implies that $S_{1}$ is uniformly bounded on $B_{\rho}$. Apart from that, the following inequalities hold with $\sup_{(t,x)\in[0,1]\times B_{\rho}} \vert f(t,x) \vert =f_{m}<+\infty$ and $0< t_{1}< t_{2}<1$:

$$\begin{aligned} \bigl\vert (S_{1}x) (t_{2})-(S_{1}x) (t_{1}) \bigr\vert &= \biggl\vert \int _{0}^{1}G(t_{2},s)f\bigl(s,x(s) \bigr)\,ds- \int_{0}^{1}G(t_{1},s)f\bigl(s,x(s) \bigr)\,ds \biggr\vert \\ &\leq \int_{0}^{1}\bigl[G(t_{2},s)-G(t_{1},s) \bigr] \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert \,ds \\ &\leq\frac{f_{m}}{\Gamma(\sigma+1)}\bigl[\bigl(t_{2}^{\sigma-1}-t_{1}^{\sigma -1} \bigr)+\bigl(t_{2}^{\sigma}-t_{1}^{\sigma}\bigr) \bigr]. \end{aligned}$$

The operator $S_{1}$ is compact due to the Arzela-Ascoli theorem. Since three conditions are satisfied, BVP (1.3) has at least one solution on $[0,1]$ by application of Krasnoselskii’s fixed point theorem. □

Theorem 3.5

Assume that there exists a constant L such that $\vert f(t,x) \vert \leq L$ for any $t\in[0,1]$ and $x\in C[0,1]$. Then there exists at least one solution to BVP (1.3).

Proof

Firstly, we set out to verify that the operator S given in (3.1) is completely continuous. Define a bounded set $U\subset C([0,1],\textbf{R}^{+})$, then $\vert (Sx)(t) \vert \leq L\alpha_{1}$ holds when we take $x\in U$. On the top of that,

$$\begin{aligned} \bigl\vert (Sx) (t_{2})-(Sx) (t_{1}) \bigr\vert &= \Biggl\vert \int _{0}^{1}\bigl[G(t_{2},s)-G(t_{1},s) \bigr]f\bigl(s,x(s)\bigr)\,ds \\ &\quad{}+\frac{t_{2}^{\sigma-1}-t_{1}^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta _{i} \int_{0}^{1}H(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds \\ &\quad{}+\frac{t_{2}^{\sigma-1}-t_{1}^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int_{0}^{1}G(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds \Biggr\vert \\ &\leq L \biggl\{ \frac{(t_{2}^{\sigma-1}-t_{1}^{\sigma-1})+(t_{2}^{\sigma }-t_{1}^{\sigma})}{\Gamma(\sigma+1)}+\alpha_{2}\bigl(t_{2}^{\sigma-1}-t_{1}^{\sigma -1} \bigr) \biggr\} . \end{aligned}$$

Hence, S is equicontinuous on $[0,1]$ in view of $t^{\sigma}$ and $t^{\sigma-1}$ is equicontinuous on $[0,1]$. The operator S is deduced to be completely continuous by the Arzela-Ascoli theorem along with the continuity of S decided by f.

Secondly, we consider the set $V=\{x\in C:x=\lambda Sx,0<\lambda<1\}$ and prove that V is bounded. In fact, for each $x\in V$ and $t\in[0,1]$,

$$\begin{aligned} \bigl\Vert x(t) \bigr\Vert &= \bigl\Vert \lambda(Sx) (t) \bigr\Vert \\ &\leq L \Biggl\{ \frac{1}{\Gamma(\sigma)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\beta _{i}\frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta_{i}^{\sigma+1}}{\sigma (\sigma+1)\Gamma(\sigma+1)}+ \frac{1}{\xi}\sum_{i=1}^{m-2} \gamma_{i}\frac {\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma}}{\Gamma(\sigma+1)} \Biggr\} \\ &=L\alpha_{1}. \end{aligned}$$

Consequently, the set V is bounded by definition.

Finally, we conclude that BVP (1.3) has at least one solution according to Lemma 3.5 and the proof is completed. □

Theorem 3.6

Assume that $f:[0,1]\times\textbf{R}\rightarrow\textbf{R}$ is a continuous function and satisfies condition($H_{1}$) with $l\alpha_{1}<1$, where $\alpha_{1}$ is defined in (3.2). Then the BVP has a unique solution on $[0,1]$.

Proof

Let $P_{r}=\{x\in C: \Vert x \Vert \leq r\}$ be a bounded set. To show $\mathcal{S}P_{r}\subset P_{r}$ with the operator S defined in (3.1), $\vert f(s,x(s)) \vert \leq lr+\delta$ holds when we take $x\in P_{r}$ for $t\in[0,1]$ and with the condition provided by $\sup_{t\in[0,1]} \vert f(t,0) \vert =\delta$ and $r\geq\frac{\delta\alpha_{1}}{1-l\alpha_{1}}$. Beyond that,

$$\begin{aligned} \bigl\Vert (Sx) \bigr\Vert &\leq \sup_{t\in[0,1]} \Biggl\{ \int_{0}^{1}G(t,s) \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert \,ds+\frac{t^{\sigma -1}}{\xi}\sum_{i=1}^{m-2} \beta_{i} \int_{0}^{1}H(\eta_{i},s) \bigl\vert f \bigl(s,x(s)\bigr) \bigr\vert \,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int _{0}^{1}G(\eta_{i},s) \bigl\vert f\bigl(s,x(s)\bigr) \bigr\vert \,ds \Biggr\} \\ &\leq(lr+\delta)\alpha_{1}\leq r. \end{aligned} $$

$SP_{r}\subset P_{r}$ is strictly proved. Next, choosing $x,y\in C$ with $t\in[0,1]$, we get

$$\begin{aligned} \Vert Sx-Sy \Vert &\leq \sup_{t\in[0,1]} \Biggl\{ \int _{0}^{1}G(t,s)\bigl\vert f\bigl(s,x(s)\bigr)-f \bigl(s,y(s)\bigr)\bigr\vert \,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta_{i} \int _{0}^{1}H(\eta_{i},s)\bigl\vert f \bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int _{0}^{1}G(\eta_{i},s)\bigl\vert f \bigl(s,x(s)\bigr)-f\bigl(s,y(s)\bigr)\bigr\vert \,ds \Biggr\} \\ &\leq l\alpha_{1} \Vert x-y \Vert . \end{aligned}$$

The operator S is a contraction with the assumption $l\alpha_{1}<1$. Therefore, BVP (1.3) has a unique solution by Banach’s contraction mapping principle. □

Theorem 3.7

Let $f:[0,1]\times R\rightarrow R$ be a continuous function, and assume that

($H_{3}$):: there exist a function $p\in C([0,1],\textbf{R}^{+})$ and a nondecreasing function $q:\textbf{R}^{+}\rightarrow\textbf{R}^{+}$ such that
$$\begin{aligned} \bigl\vert f(t,x) \bigr\vert \leq p(t)q\bigl( \Vert x \Vert \bigr)\quad \textit{for all } (t,x)\in[0,1]\times \textbf{R}; \end{aligned}$$

($H_{4}$):: there exists a constant $N>0$ such that
$$\begin{aligned} N \Biggl\{ q(v)\Vert p\Vert \Biggl\{ \frac{1}{\Gamma(\sigma)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\beta_{i} \frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta _{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma(\sigma+1)}+\frac{1}{\xi}\sum_{i=1}^{m-2} \gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma }}{\Gamma(\sigma+1)} \Biggr\} \Biggr\} ^{-1}\leq 1. \end{aligned}$$

Then BVP (1.3) has at least one solution on $[0,1]$.

Proof

The first step is to show that the operator S given in (3.1) maps bounded sets into bounded sets in C. Let v be a positive number and $B_{v}=\{x\in C: \Vert x \Vert \leq v\}$ be a bounded set in C. For each $x\in B_{v}$ and by($H_{3}$), the following equalities are obtained:

$$\begin{aligned} \bigl\vert (Sx) (t) \bigr\vert &\leq \int_{0}^{1}G(t,s)p(s)q\bigl( \Vert x \Vert \bigr)\,ds +\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta_{i} \int_{0}^{1}H(\eta _{i},s)p(s)q\bigl( \Vert x \Vert \bigr)\,ds \\ &\quad{}+\frac{t^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int _{0}^{1}G(\eta_{i},s)p(s)q\bigl( \Vert x \Vert \bigr)\,ds \\ &\leq q(v) \Vert p \Vert \Biggl\{ \frac{1}{\Gamma(\sigma)}+\frac {1}{\xi}\sum _{i=1}^{m-2}\beta_{i} \frac{(\sigma+1)\eta_{i}^{\sigma }-\sigma\eta_{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma(\sigma+1)}+\frac {1}{\xi}\sum_{i=1}^{m-2} \gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta _{i}^{\sigma}}{\Gamma(\sigma+1)} \Biggr\} \\ &=q(v) \Vert p \Vert \alpha_{1}. \end{aligned}$$

The next step is to verify that the operator S maps bounded sets into equicontinuous sets of C.

Choose $t_{1}, t_{2}\in[0,1]$ with $t_{1}< t_{2}$ and take $x\in B_{v}$,

$$\begin{aligned} \bigl\vert (Sx)t_{2}-(Sx)t_{1} \bigr\vert &= \Biggl\vert \int _{0}^{1}\bigl[G(t_{2},s)-G(t_{1},s) \bigr]f\bigl(s,x(s)\bigr)\,ds \\ &\quad{}+\frac{t_{2}^{\sigma-1}-t_{1}^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \beta _{i} \int_{0}^{1}H(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds \\ &\quad{}+\frac{t_{2}^{\sigma-1}-t_{1}^{\sigma-1}}{\xi}\sum_{i=1}^{m-2} \gamma_{i} \int_{0}^{1}G(\eta_{i},s)f\bigl(s,x(s) \bigr)\,ds \Biggr\vert \\ &\leq q(v)\Vert p\Vert \biggl\{ \frac{(t_{2}^{\sigma-1}-t_{1}^{\sigma-1})+(t_{2}^{\sigma }-t_{1}^{\sigma})}{\Gamma(\sigma+1)}+\alpha_{2} \bigl(t_{2}^{\sigma-1}-t_{1}^{\sigma -1}\bigr) \biggr\} . \end{aligned} $$

By the Arzela-Ascoli theorem, the operator S is completely continuous since the right-hand side tends to zero independent of $x\in B_{v}$ as $t_{2}\rightarrow t_{1}$. Let x be a solution of BVP (1.3), then for $\mu\in(0,1)$ and by the same method applied to show the boundedness of S, the results hold:

$$\begin{aligned} \bigl\vert x(t) \bigr\vert &= \bigl\vert \mu(Sx) (t) \bigr\vert \\ &\leq q\bigl( \Vert x \Vert \bigr)\Vert p\Vert \Biggl\{ \frac{1}{\Gamma(\sigma)}+ \frac{1}{\xi}\sum_{i=1}^{m-2} \beta_{i}\frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta _{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma(\sigma)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma }}{\Gamma(\sigma+1)} \Biggr\} , \end{aligned}$$

i.e.,

$$\begin{aligned} & \Vert x \Vert \Biggl\{ q(v)\Vert p\Vert \Biggl\{ \frac{1}{\Gamma(\sigma)}+ \frac{1}{\xi}\sum_{i=1}^{m-2} \beta_{i}\frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta _{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma(\sigma+1)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma }}{\Gamma(\sigma+1)} \Biggr\} \Biggr\} ^{-1}\leq 1. \end{aligned}$$

The final step is to select a set $Q=\{x\in C: \Vert x \Vert < N+1\}$ in order to take($H_{4}$) into consideration where there exists N such that $\Vert x \Vert \neq N$. Even though $S:\overline {Q}\rightarrow C$ is completely continuous can be verified, there is no $x\in\partial N$ that can satisfy $x=\mu S(x)$ for $\mu\in(0,1)$ decided by the selection of N.

Above all, we complete the proof that the operator S has a fixed point in Q̅ which is a solution to BVP (1.3). □

4 Examples

Example 4.1

Consider the fractional differential equations with boundary value as follows:

$$ \textstyle\begin{cases} D^{\frac{7}{2}}x(t)+t\sin x+e^{-t}\tan^{-1} x+\frac{1}{2}=0,\quad t\in [0,1],\\ x'(0)=0,\qquad x''(0)=0,\\ x(1)=\frac{5}{2}\int_{0}^{\frac{1}{4}}x(s)\,ds+4\int_{0}^{\frac {1}{3}}x(s)\,ds+\frac{3}{2}x(\frac{1}{4})+2x(\frac{1}{3}). \end{cases} $$

(4.1)

From the equation above, it is clear that $\sigma=\frac{7}{2}$, $m=2$, $\beta_{1}=\frac{5}{2}$, $\beta_{2}=4$, $\gamma_{1}=\frac{3}{2}$, $\gamma_{2}=2$, $\eta_{1}=\frac{1}{4}$, $\eta_{2}=\frac{1}{3}$. Consequently, we can get $\xi=0.7948064$, $\alpha_{1}=0.3164000$ and $\alpha_{2}=0.0154990$ by computation.

Since $f(t,x)=t\sin x+e^{-t}\cos x+\frac{1}{2}$,

$$\begin{aligned} \bigl\vert f(t,x)-f(t,y) \bigr\vert &= \bigl\vert t\sin x-t\sin y+e^{-t}\tan^{-1} x-e^{-t}\tan^{-1} y \bigr\vert \\ &\leq t \vert \sin x-\sin y \vert +e^{-t} \bigl\vert \tan^{-1} x-\tan^{-1} y \bigr\vert \\ &\leq2\vert x-y\vert, \end{aligned}$$

that implies $l=2$ and both $l\alpha_{1}<1$ and $l\alpha_{2}<1$ hold. Problem (4.1) has a unique solution on $[0,1]$ because all the conditions of Theorem 3.6 are satisfied.

Example 4.2

Keep investigating a more complicated equation defined as follows:

$$ \textstyle\begin{cases} D^{\frac{9}{2}}x(t)+(1+t)(5\cos x+\sin\frac{x}{2})=0,\quad t\in[0,1],\\ x'(0)=0,\qquad x''(0)=0,\qquad x^{(3)}(0)=0,\\ x(1)=3\int_{0}^{\frac{1}{3}}x(s)\,ds+2\int_{0}^{\frac{1}{2}}x(s)\,ds+4\int _{0}^{\frac{2}{3}}x(s)\,ds+x(\frac{1}{3})+\frac{5}{2}x(\frac{1}{2})+\frac {1}{2}x(\frac{2}{3}). \end{cases} $$

(4.2)

Some important figures, such as $\xi=0.4689267$, can be obtained. Obviously, $\vert f(t,x) \vert \leq p(t)q( \vert x \vert )$ with $p(t)=1+t$ and $q( \vert x \vert )=5+\frac{ \vert x \vert }{2}$. Besides,

$$N \Biggl\{ q(N)\Vert p\Vert \Biggl\{ \frac{1}{\Gamma(\sigma)}+\frac{1}{\xi}\sum _{i=1}^{m-2}\beta_{i} \frac{(\sigma+1)\eta_{i}^{\sigma}-\sigma\eta _{i}^{\sigma+1}}{\sigma(\sigma+1)\Gamma(\sigma+1)}+\frac{1}{\xi}\sum_{i=1}^{m-2} \gamma_{i}\frac{\eta_{i}^{\sigma-1}-\eta_{i}^{\sigma }}{\Gamma(\sigma+1)} \Biggr\} \Biggr\} ^{-1}>1, $$

when $N>1.1258514$ holds. Therefore, the conclusion that Problem (1.3) has at least one solution can be deduced as the assumptions in Theorem 3.7 satisfy all the conditions in Lemma 3.3.

5 Conclusion

We have proved the existence of solutions for fractional differential equations with integral and multi-point boundary conditions. The problem is issued by applying some fixed point theorems and the properties of Green’s function. We also provide examples to make our results clear.

Declarations

Acknowledgements

The authors thank the anonymous referee for careful reading and some helpful comments. This work was supported by the Key Discipline Construction Project of Tianjin University of Finance and Economics.

Funding

Not applicable.

Authors’ contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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)

Department of Mathematics, Tianjin University of Finance and Economics, Tianjin, 300222, P.R. China

References

Machado, JT, Kiryakova, V, Mainardi, F: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16, 1140-1153 (2011) MathSciNetView ArticleMATHGoogle Scholar
Valerjo, D, Machado, JT, Kiryakova, V: Some pioneers of the applications of fractional calculus. Fract. Calc. Appl. Anal. 17, 552-578 (2014) MathSciNetMATHGoogle Scholar
Konjik, S, Oparnica, L, Zorica, D: Waves in viscoelastic media described by a linear fractional model, Integral Transforms Spec. Funct. 22, 283-291 (2011) MathSciNetView ArticleMATHGoogle Scholar
Bitsadze, A, Samarskii, A: On some simple generalizations of linear elliptic boundary problems. Dokl. Math. 10, 398-400 (1969) MATHGoogle Scholar
Ahmad, B, Alsaedi, A, Alghamdi, BS: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 9, 1727-1740 (2008) MathSciNetView ArticleMATHGoogle Scholar
Henderson, J, Luca, R, Tudorache, A: On a system of fraction differential equations with coupled integral boundary conditions. Fract. Calc. Appl. Anal. 18, 361-386 (2015) MathSciNetView ArticleMATHGoogle Scholar
Yang, YY, Wang, QR: Positive solutions of multi-point boundary value problems. Electron. J. Differ. Equ. 2016, 231 (2016) MathSciNetView ArticleMATHGoogle Scholar
Jia, M, Gu, X, Zhang, X: Nontrival solutions for a higher fractional differential equation with fractional multi-point boundary conditions. Bound. Value Probl. 2012, 70 (2012) View ArticleMATHGoogle Scholar
Ahmad, B, Alsaedi, A, Alsharif, A: Existence result for fractional-order differential equations with nonlocal multi-point-strip conditions involving Caputo derivative. Adv. Differ. Equ. 2015, 348 (2015) MathSciNetView ArticleGoogle Scholar
Zhao, K: Impulsive boundary value problems for two classes of fractional differential equation with two different Caputo fractional derivatives. Mediterr. J. Math. 13, 1033-1050 (2016) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K, Gong, P: Positive solutions of nonlocal integral BVPs for the nonlinear coupled system involving high-order fractional differential. Math. Slovaca 67(2), 447-466 (2017) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K, Gong, P: Existence of positive solutions for a class of higher-order Caputo fractional differential equation. Qual. Theory Dyn. Syst. 14, 157-171 (2015) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K: Multiple positive solutions of integral BVPs for high-order nonlinear fractional differential equations with impulses and distributed delays. Dyn. Syst. 30(2), 208-223 (2015) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K, Gong, P: Positive solutions of m-point multi-term fractional integral BVP involving time-delay for fractional differential equations. Bound. Value Probl. 2015, 19 (2015) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K: Triple positive solutions for two classes of delayed nonlinear fractional FDEs with nonlinear integral boundary value conditions. Bound. Value Probl. 2015, 181 (2015) MathSciNetView ArticleMATHGoogle Scholar
Zhao, K, Wang, K: Existence of solutions for the delayed nonlinear fractional functional differential equations with three-point integral boundary value conditions. Adv. Differ. Equ. 2016, 284 (2016) MathSciNetView ArticleGoogle Scholar
Zhao, K, Liang, J: Solvability of triple-point integral boundary value problems for a class of impulsive fractional differential equations. Adv. Differ. Equ. 2017, 50 (2017) MathSciNetView ArticleGoogle Scholar
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations, North-Holland Math. Stud. 204 (2006) View ArticleMATHGoogle Scholar
Smart, DR: Fixed Point Theorems. Cambridge University Press, Cambridge (1980) MATHGoogle Scholar
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar