Iterative solutions for fractional nonlocal boundary value problems involving integral conditions

Abstract

This paper is concerned with the following nonlinear fractional boundary value problem:

$$\left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+f(t,u(t))=0,\quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =0,\qquad D_{0+}^{\beta}u(1)=\int _{0}^{1}D_{0+}^{\beta}u(t)\, dA(t), \end{array}\displaystyle \right . $$

where $2<\alpha\leq3$, $0<\beta\leq1$ are real numbers and $\int _{0}^{1}D_{0+}^{\beta}u(t)\, dA(t)$ denotes a Riemann-Stieltjes integral. By means of monotone iterative technique and some inequalities associated with the Green function, not only the existence of nontrivial solutions or positive solutions is obtained but also iterative schemes for approximating the solutions are established, which start off with simple functions, which are feasible for computational purposes. An example is also included to illustrate the main results.

1 Introduction

Differential equations with fractional order are a generalization of ordinary differential equations to non-integer order. This generalization is not merely one of the mathematical curiosities but rather has interesting applications in various fields of sciences and engineering such as control, porous media, electromagnetic, and other branches of science. The need for fractional order differential equations stems in part from the fact that many phenomena cannot be modeled by differential equations with integer derivatives. For details, see [1–4].

In recent years, there has grown a vast literature devoted to the applications of fixed point theorems focused on solutions or positive solutions of boundary value problems (BVPs for short) for fractional differential equations, for example, we mention only [5–16]. Note that Wang et al. [16] studied a fractional BVP with changing sign nonlinearity,

$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+\lambda f(t,u(t))=0, \quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =u(1)=0, \end{array}\displaystyle \right . $$

(1.1)

where $2<\alpha\leq3$. By means of the Guo-Krasnoselskii fixed point theorem, the existence of positive solutions was established. In [6], Xu and Fei investigated multiple positive solutions of the singular BVP

$$D_{0+}^{\alpha}u(t)+\lambda f\bigl(t,u(t)\bigr)+e(t)=0,\quad t \in(0,1) $$

subject to the three-point boundary conditions

$$u(0)=0, \qquad D_{0+}^{\beta}u(1)=aD_{0+}^{\beta}u( \xi), $$

where $1<\alpha\leq2$, $0<\beta\leq1$. Their tool was Schauder’s fixed point theorem.

Recently, iterative methods have been successfully employed to prove the existence of solutions or positive solutions of nonlinear BVPs. However, only few papers considered the computational methods of solutions for fractional differential equations; see [8, 9, 17–19]. In particular, it should be pointed out that Jiang and Zhong [8] obtained the existence of nontrivial sign-changing solutions to fractional differential equations with integral boundary conditions, the main tool used was monotone iterative method. Sun and Zhao [9] studied the fractional differential equation with integral boundary conditions

$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+q(t)f(t,u(t))=0,\quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =0,\qquad u(1)=\int_{0}^{1}g(s)u(s)\, ds. \end{array}\displaystyle \right . $$

(1.2)

The existence result of monotone positive solutions was obtained.

Motivated greatly by the above mentioned excellent works, in this paper we investigate the existence and iteration of nontrivial solutions and positive solutions for the following BVP:

$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+f(t,u(t))=0, \quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =0,\qquad D_{0+}^{\beta}u(1)=\int _{0}^{1}D_{0+}^{\beta}u(t)\, dA(t), \end{array}\displaystyle \right . $$

(1.3)

where $2<\alpha\leq3$, $0<\beta\leq1$ are real numbers and A is of bounded variation, the nonlinear term $f(t,u)$ may change sign on some set and $\int_{0}^{1}D_{0+}^{\beta}u(t)\,dA(t)$ denotes a Riemann-Stieltjes integral with a signed measure. This includes both the multi-point and a Riemann integral in a single framework. For more comments on the Stieltjes integral and its importance, we refer the reader to the papers by Webb and Infante [20–22] and their other related works. To the best of our knowledge, the results are new and BVP (1.3) is studied in this form for the first time. The proofs of our main results are based on the monotone iterative technique, which we present now.

Theorem 1.1

[23]

Let K be a normal cone of a Banach space E and $u_{0}\preceq v_{0}$. Suppose that

• (1) $T:[u_{0},v_{0}]\rightarrow E$ is completely continuous;

• (2) T is monotone increasing on $[u_{0},v_{0}]$;

• (3) $u_{0}$ is a lower solution of T, that is, $u_{0}\preceq Tu_{0}$;

• (4) $v_{0}$ is an upper solution of T, that is, $Tv_{0}\preceq v_{0}$.

Then the iterative sequences $u_{n}=Tu_{n-1}$, $v_{n}=Tv_{n-1}$, $n=1,2,3,\ldots$ , satisfy $u_{0}\preceq u_{1}\preceq\cdots\preceq u_{n}\preceq\cdots\preceq v_{n}\preceq \cdots\preceq v_{1}\preceq v_{0}$, and converge to, respectively, $u, v\in[u_{0},v_{0}]$, which are fixed points of T.

2 Preliminary lemmas

For convenience of the reader, we present here some necessary definitions.

Definition 2.1

[24]

Let X be the Banach space with norm $\|\cdot\|$. A nonempty closed set $K\subset X$ is called a cone if K satisfies the following conditions: (i) if $x,y\in K$, then $x+y\in K$; (ii) if $x\in K$, then $\mu x\in K$, for any $\mu\geq0$; (iii) if $0\neq x\in K$, then $-x\notin K$. Let $x_{1}, x_{2} \in X$. We write $x_{1}\preceq x_{2}$, if $x_{2}-x_{1}\in K$. The cone K is called normal, if there exists $\rho>0$ such that

$$\|x_{1}+x_{2}\|\geq\rho,\quad \forall x_{1}, x_{2} \in K, \|x_{1}\|=\|x_{2}\|=1. $$

We call the set $[x_{1},x_{2}]=\{x \in X, x_{1}\preceq x\preceq x_{2}\}$ an order interval in X. The operator $T:[x_{1},x_{2}]\rightarrow X$ is called increasing if $T\bar{x}\preceq T\tilde{x}$ for any $\bar{x}, \tilde{x}\in[x_{1},x_{2}]$ with $\bar{x}\preceq \tilde{x}$.

Definition 2.2

[3]

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

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

provided the right side is pointwise defined on $[0,\infty)$.

Definition 2.3

[3]

The Riemann-Liouville fractional derivative of order $\alpha>0$ of a function $y:(0,\infty)\rightarrow R$ is given by

$$D_{0+}^{\alpha}y(t)=\frac{1}{\Gamma(n-\alpha)}\frac{d^{n}}{dt^{n}} \int _{0}^{t}(t-s)^{n-\alpha-1}y(s)\,ds, $$

where $n=[\alpha]+1$, $[\alpha]$ denotes the integer part of number α, provided the right side is pointwise defined on $[0,\infty)$.

From the definitions of Riemann-Liouville’s derivative, we can obtain the statements.

Lemma 2.4

[3]

Let $\alpha>0$, if we assume $u\in C(0,1)\cap L^{1}(0,1)$, then the fractional differential equation

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

has $u(t)=C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+\cdots+C_{N}t^{\alpha-N}$, from some $C_{i}\in R$, $i=1,2,\ldots,N$, as a unique solution, where N is the smallest integer greater than or equal to α.

Lemma 2.5

[3]

Let $\alpha>0$, if we assume $u\in C(0,1)\cap L^{1}(0,1)$, then the fractional differential equation

$$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}, $$

from some $C_{i}\in R$, $i=1,2,\ldots,N$, where N is the smallest integer greater than or equal to α.

Lemma 2.6

Assume that $y\in C(0,1)\cap L^{1}(0,1)$, α, β are two positive constants with $\alpha-\beta\geq0$. Then

$$D_{0+}^{\beta}I_{0+}^{\alpha}y(t)=I_{0+}^{\alpha-\beta}y(t). $$

Proof

Let $h(t)=\int_{0}^{t}(t-s)^{\alpha-1}y(s)\,ds$. Then by Definition 2.3,

$$D_{0+}^{\beta}h(t)=\frac{1}{\Gamma(n-\beta)}\frac{d^{n}}{dt^{n}} \int _{0}^{t}(t-\tau)^{n-1-\beta}h(\tau)\,d\tau. $$

On the other hand, let $\frac{\tau-s}{t-s}=u$, then

$$\begin{aligned} \int_{0}^{t}(t-\tau)^{n-1-\beta}h(\tau)\,d\tau =& \int_{0}^{t}(t-\tau )^{n-1-\beta} \biggl( \int_{0}^{\tau}(\tau-s)^{\alpha-1}y(s)\,ds \biggr) \,d\tau \\ =& \int_{0}^{t}ds \int_{s}^{t}(t-\tau)^{n-1-\beta}( \tau-s)^{\alpha -1}y(s)\,d\tau \\ =& \int_{0}^{t}(t-s)^{\alpha-\beta+(n-1)}y(s)\,ds \int_{0}^{1}u^{\alpha -1}(1-u)^{(n-\beta)-1}\,du \\ =&B(\alpha,n-\beta) \int_{0}^{t}(t-s)^{\alpha-\beta+(n-1)}y(s)\,ds. \end{aligned}$$

Therefore, we have

$$\begin{aligned} D_{0+}^{\beta}h(t) =&\frac{B(\alpha,n-\beta)}{\Gamma(n-\beta)}\frac {d^{n}}{dt^{n}} \int_{0}^{t}(t-s)^{\alpha-\beta+(n-1)}y(s)\,ds \\ =&\frac{B(\alpha,n-\beta)}{\Gamma(n-\beta)} \int_{0}^{t}\bigl[\alpha-\beta +(n-1)\bigr] \bigl[ \alpha-\beta+(n-2)\bigr]\cdots[\alpha-\beta] \\ &{}\times(t-s)^{\alpha-\beta -1}y(s)\,ds \\ =&\frac{\Gamma(\alpha)}{\Gamma(\alpha-\beta)} \int_{0}^{t}(t-s)^{\alpha -\beta-1}y(s)\,ds. \end{aligned}$$

 □

In the remainder of the paper, we always assume that $2<\alpha\leq3$ and $0\leq\beta\leq1$, so we also easily get $0<\alpha-\beta-1\leq2$.

Lemma 2.7

Let $y\in C(0,1)\cap L^{1}[0,1]$ and $\delta:=\int_{0}^{1}t^{\alpha-\beta -1}\,dA(t)<1$, the unique solution of

$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+y(t)=0,\quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =0,\qquad D_{0+}^{\beta}u(1)=\int _{0}^{1}D_{0+}^{\beta}u(t)\,dA(t) \end{array}\displaystyle \right . $$

(2.1)

is $u(t)=\int_{0}^{1}G(t,s)y(s)\,ds$, in which

$$G(t,s)=K(t,s)+\frac{t^{\alpha-1}}{1-\delta} \int_{0}^{1}H(t,s)\,dA(t), $$

where

$$ K(t,s)=\frac{1}{\Gamma(\alpha)}\left \{ \textstyle\begin{array}{l@{\quad}l} t^{\alpha-1}(1-s)^{\alpha-\beta-1}-(t-s)^{\alpha-1}, & 0\leq s\leq t\leq1, \\ t^{\alpha-1}(1-s)^{\alpha-\beta-1},&0\leq t\leq s\leq1 \end{array}\displaystyle \right . $$

and

$$ H(t,s)=\frac{1}{\Gamma(\alpha)}\left \{ \textstyle\begin{array}{l@{\quad}l} {[t(1-s) ]}^{\alpha-\beta-1}-(t-s)^{\alpha-\beta-1}, & 0\leq s\leq t\leq1, \\ {[t(1-s) ]}^{\alpha-\beta-1},&0\leq t\leq s\leq1. \end{array}\displaystyle \right . $$

Proof

As deduced from Lemma 2.5, we have

$$u(t)=-I_{0+}^{\alpha}y(t)+C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+C_{3}t^{\alpha-3}. $$

Consequently, the solution of (2.1) is

$$u(t)=-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}y(s) \,ds+C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+C_{3}t^{\alpha-3}. $$

By $u(0)=u'(0)=0$, there is $C_{2}=C_{3}=0$. Moreover, $D_{0+}^{\beta}u(1)=\int_{0}^{1}D_{0+}^{\beta}u(t)\,dA(t)$ and Lemma 2.6 yield

$$C_{1}=\frac{1}{\Gamma(\alpha)(1-\delta)} \biggl[ \int_{0}^{1}(1-s)^{\alpha -\beta-1}y(s)\,ds- \int_{0}^{1} \biggl( \int_{0}^{t}(t-s)^{\alpha-\beta -1}y(s)\,ds \biggr) \,dA(t) \biggr]. $$

Therefore, the solution of (2.1) is

$$\begin{aligned} u(t) =&-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}y(s)\,ds+ \frac {t^{\alpha-1}}{\Gamma(\alpha)(1-\delta)} \\ &{}\times \biggl[ \int_{0}^{1}(1-s)^{\alpha-\beta-1}y(s)\,ds- \int_{0}^{1} \biggl( \int _{0}^{t}(t-s)^{\alpha-\beta-1}y(s)\,ds \biggr) \,dA(t) \biggr] \\ =&-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}y(s)\,ds+ \frac {t^{\alpha-1}}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-\beta -1}y(s)\,ds \\ &{}+\frac{t^{\alpha-1}}{\Gamma(\alpha)(1-\delta)} \biggl( \int_{0}^{1} \biggl[ \int_{0}^{1}t^{\alpha-\beta-1}(1-s)^{\alpha-\beta-1}y(s) \,ds \biggr]\,dA(t) \\ &{}- \int_{0}^{1} \biggl[ \int_{0}^{t}(t-s)^{\alpha-\beta-1}y(s)\,ds \biggr] \,dA(t) \biggr) \\ =& \int_{0}^{1} \biggl[K(t,s)+\frac{t^{\alpha-1}}{1-\delta} \int _{0}^{1}H(t,s)\,dA(t) \biggr]y(s)\,ds. \end{aligned}$$

 □

Lemma 2.8

For any $t,s\in[0,1]$, $H(t,s)$ has the following property:

$$\min \{\alpha-\beta-1,1 \}t^{\alpha-\beta -1}(1-t) (1-s)^{\alpha-\beta-1}s\leq\Gamma( \alpha)H(t,s)\leq\max \{\alpha-\beta-1,1 \}(1-s)^{\alpha-\beta-1}. $$

Proof

Case 1: $0<\alpha-\beta-1\leq1$. If $s\leq t$, then

$$\begin{aligned} \begin{aligned} \Gamma(\alpha)H(t,s)&=\bigl[t(1-s)\bigr]^{\alpha-\beta-1}-(t-s)^{\alpha-\beta -1} \\ &= (\alpha-\beta-1) \int_{t-s}^{t(1-s)}x^{\alpha-\beta-2}\, dx \\ &\geq(\alpha-\beta-1)\bigl[t(1-s)\bigr]^{\alpha-\beta-2}\bigl[t(1-s)-(t-s)\bigr] \\ &\geq (\alpha-\beta-1)\bigl[t(1-s)\bigr]^{\alpha-\beta-1}s(1-t) \\ &= (\alpha-\beta-1)t^{\alpha-\beta-1}(1-t) (1-s)^{\alpha-\beta-1}s \end{aligned} \end{aligned}$$

and

$$\begin{aligned} \Gamma(\alpha)H(t,s) =&\bigl[t(1-s)\bigr]^{\alpha-\beta-1}-(t-s)^{\alpha-\beta -1} \\ =& \bigl[t(1-s)\bigr]^{\alpha-\beta-2} \biggl[t(1-s)-(t-s)\cdot\frac{(t-s)^{\alpha -\beta-2}}{[t(1-s)]^{\alpha-\beta-2}} \biggr] \\ =&\bigl[t(1-s)\bigr]^{\alpha-\beta-2} \biggl[t(1-s)-(t-s)\cdot\frac{(1-\frac {s}{t})^{\alpha-\beta-2}}{(1-s)^{\alpha-\beta-2}} \biggr] \\ \leq& \bigl[t(1-s)\bigr]^{\alpha-\beta-2}\bigl[t(1-s)-(t-s)\bigr] \\ \leq&t^{\alpha-\beta-2}(1-t) (1-s)^{\alpha-\beta-2}s \\ \leq&s^{\alpha-\beta-2}(1-s) (1-s)^{\alpha-\beta-2}s \\ =&s^{\alpha-\beta-1}(1-s)^{\alpha-\beta-1}\leq(1-s)^{\alpha-\beta-1}. \end{aligned}$$

If $s\geq t$, then

$$ \Gamma(\alpha)H(t,s)=\bigl[t(1-s)\bigr]^{\alpha-\beta-1}\leq s^{\alpha-\beta -1}(1-s)^{\alpha-\beta-1} \leq(1-s)^{\alpha-\beta-1} $$

and

$$\begin{aligned} \Gamma(\alpha)H(t,s) =&\bigl[t(1-s)\bigr]^{\alpha-\beta-1}\geq t^{\alpha-\beta -1}(1-t) (1-s)^{\alpha-\beta-1}s \\ \geq& (\alpha-\beta-1)t^{\alpha-\beta-1}(1-t) (1-s)^{\alpha-\beta-1}s. \end{aligned}$$

Case 2: $1<\alpha-\beta-1\leq2$. We have

$$(1-t)t^{\alpha-\beta-1}s(1-s)^{\alpha-\beta-1}\leq\Gamma(\alpha )H(t,s)\leq(\alpha- \beta-1) (1-s)^{\alpha-\beta-1}. $$

The proof is similar to Lemma 2.3 in [16], so it is omitted. □

Lemma 2.9

The function $K(t,s)$ satisfies:

• (i) $\Gamma(\alpha)K(t,s)\leq t^{\alpha-1}(1-s)^{\alpha-\beta-1}$, $t,s\in[0,1]$;

• (ii) $\Gamma(\alpha)K(t,s)\geq t^{\alpha-1}\beta s(1-s)^{\alpha-\beta -1}$, $t,s\in[0,1]$.

Proof

Since (i) holds obviously, we only show that (ii) is true. Here we need the fact $1-(1-s)^{\beta}\geq\beta s$, $0<\beta\leq1$, $s\in[0,1]$. In fact,

$$\bigl[1-(1-s)^{\beta}-\beta s \bigr]'=\beta \bigl[(1-s)^{\beta-1}-1 \bigr]\geq0, $$

which implies $1-(1-s)^{\beta}-\beta s$ is nondecreasing in $[0,s]$, so $1-(1-s)^{\beta}\geq\beta s$.

If $s\leq t$, then

$$\begin{aligned} \Gamma(\alpha)K(t,s) =&t^{\alpha-1}(1-s)^{\alpha-\beta-1}-(t-s)^{\alpha -1} \\ \geq& t^{\alpha-1}(1-s)^{\alpha-\beta-1}-t^{\alpha-1}(1-s)^{\alpha-1} \\ =& t^{\alpha-1}(1-s)^{\alpha-\beta-1} \bigl[1-(1-s)^{\beta} \bigr] \\ \geq&t^{\alpha-1}(1-s)^{\alpha-\beta-1}\beta s. \end{aligned}$$

If $t\leq s$, then

$$ \Gamma(\alpha)K(t,s)=t^{\alpha-1}(1-s)^{\alpha-\beta-1}\geq t^{\alpha -1}(1-s)^{\alpha-\beta-1}\beta s. $$

 □

Lemma 2.10

Let

$$\Phi_{1}(s):=\frac{1}{\Gamma(\alpha)} \biggl[\beta+\frac{\min \{\alpha -\beta-1,1 \}\int_{0}^{1}t^{\alpha-\beta-1}(1-t)\,dA(t)}{1-\delta } \biggr]s(1-s)^{\alpha-\beta-1} $$

and

$$\Phi_{2}(s):=\frac{1}{\Gamma(\alpha)} \biggl[1+\frac{\max \{\alpha-\beta -1,1 \}\int_{0}^{1}\,dA(t)}{1-\delta} \biggr](1-s)^{\alpha-\beta-1}. $$

Then the function $G(t,s)$ has the following property:

$$t^{\alpha-1}\Phi_{1} (s)\leq G(t,s)\leq t^{\alpha-1} \Phi_{2} (s),\quad t,s\in[0,1]. $$

Proof

For any $t,s\in[0,1]$, it follows from Lemmas 2.8 and 2.9 that

$$\begin{aligned} G(t,s) =&K(t,s)+\frac{t^{\alpha-1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta} \\ \leq&\frac{1}{\Gamma(\alpha)}t^{\alpha-1}(1-s)^{\alpha-\beta-1}+\frac {t^{\alpha-1}\max \{\alpha-\beta-1,1 \}\int _{0}^{1}dA(t)}{\Gamma(\alpha) (1-\delta )}(1-s)^{\alpha-\beta -1} \\ \leq&t^{\alpha-1}\frac{1}{\Gamma(\alpha)} \biggl[1+\frac{\max \{ \alpha-\beta-1,1 \}\int_{0}^{1}dA(t)}{ (1-\delta )} \biggr](1-s)^{\alpha-\beta-1} \\ =&t^{\alpha-1}\Phi_{2}(s). \end{aligned}$$

On the other hand, for any $t,s\in[0,1]$, we have

$$\begin{aligned} G(t,s) =&K(t,s)+\frac{t^{\alpha-1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta} \\ \geq&\frac{1}{\Gamma(\alpha)}t^{\alpha-1}\beta s(1-s)^{\alpha-\beta -1}+ \frac{t^{\alpha-1}\min \{\alpha-\beta-1,1 \}\int _{0}^{1}t^{\alpha-\beta-1}(1-t)\,dA(t)}{\Gamma(\alpha) (1-\delta)} \\ &{}\times s(1-s)^{\alpha-\beta-1} \\ =&t^{\alpha-1}\frac{1}{\Gamma(\alpha)} \biggl[\beta+\frac{\min \{ \alpha-\beta-1,1 \}\int_{0}^{1}t^{\alpha-\beta -1}(1-t)\,dA(t)}{1-\delta} \biggr]s(1-s)^{\alpha-\beta-1} \\ =&t^{\alpha-1}\Phi_{1}(s). \end{aligned}$$

 □

Lemma 2.11

The function $G(t,s)$ is continuous and satisfies

$$\begin{aligned} \bigl\vert G(t_{2},s)-G(t_{1},s)\bigr\vert &\leq\max _{0\leq s\leq1} \bigl\vert G(t_{2},s)-G(t_{1},s) \bigr\vert \\ &\leq(\alpha-1) \biggl[\frac{2}{\Gamma(\alpha )}+\frac{\max_{0\leq s\leq1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta } \biggr](t_{2}-t_{1}), \end{aligned}$$

for $0\leq t_{1}\leq t_{2}\leq1$.

Proof

For $0\leq t_{1}\leq t_{2}\leq1$, we have

$$\begin{aligned} \bigl\vert G(t_{2},s)-G(t_{1},s)\bigr\vert =&\biggl\vert K(t_{2},s)-K(t_{1},s)+\frac{ (t_{2}^{\alpha-1}-t_{1}^{\alpha-1} )\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta }\biggr\vert \\ =&\biggl\vert \frac{1}{\Gamma(\alpha)} \bigl(t_{2}^{\alpha-1}-t_{1}^{\alpha -1} \bigr) (1-s)^{\alpha-\beta-1}+\frac{1}{\Gamma(\alpha)} \bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr] \\ &{}+\frac{ (t_{2}^{\alpha -1}-t_{1}^{\alpha-1} )\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta}\biggr\vert \\ \leq& \biggl(\frac{1}{\Gamma(\alpha)}\bigl\vert t_{2}^{\alpha-1}-t_{1}^{\alpha -1} \bigr\vert +\frac{1}{\Gamma(\alpha)}\bigl\vert (t_{2}-s)^{\alpha -1}-(t_{1}-s)^{\alpha-1} \bigr\vert \\ &{}+\frac{\vert t_{2}^{\alpha-1}-t_{1}^{\alpha -1}\vert \max_{0\leq s\leq1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta } \biggr). \end{aligned}$$

Note that, applying the mean value theorem, we arrive at $t_{2}^{\alpha -1}-t_{1}^{\alpha-1}<(\alpha-1)(t_{2}-t_{1})$ and $(t_{2}-s)^{\alpha -1}-(t_{1}-s)^{\alpha-1}<(\alpha-1)(t_{2}-t_{1})$, which implies that

$$\begin{aligned} \bigl\vert G(t_{2},s)-G(t_{1},s)\bigr\vert &\leq\max _{0\leq s\leq1} \bigl\vert G(t_{2},s)-G(t_{1},s) \bigr\vert \\ &\leq(\alpha-1) \biggl[\frac{2}{\Gamma(\alpha)}+\frac{\max_{0\leq s\leq1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta} \biggr](t_{2}-t_{1}), \end{aligned}$$

for $0\leq t_{1}\leq t_{2}\leq1$. □

3 Main results

Let $E=C [ 0,1 ]$ be equipped with the norm $\Vert u\Vert =\Vert u\Vert _{\infty}$, where $\Vert u \Vert _{\infty}$ is the usual supremum norm in $C[0,1]$.

Define the cone K by

$$K= \bigl\{ u\in E: u(t)\geq0, t\in [ 0,1 ] \bigr\} . $$

Then it is easy to verify that K is a cone in E. For $u, v\in C[0,1]$, $u\preceq v$ if and only if $u(t)\leq v(t)$, $t\in[0,1]$. Moreover, the cone K is normal on account of $\Vert u+v\Vert \geq \Vert u\Vert =1$ for any $u, v\in K$ and $\Vert u\Vert =\Vert v\Vert =1$.

Define the operator $T:K\rightarrow K$ as follows:

$$(Tu) (t)= \int_{0}^{1}G(t,s)f\bigl(s,u(s)\bigr)\,ds, \quad 0 \leq t\leq1. $$

It is clear that the existence of a solution for BVP (1.3) is equivalent to the existence of a fixed points of T in K.

Theorem 3.1

Assume that there exist two real numbers a, b such that $a< b$ and the following conditions are satisfied:

(H₁):

There exists a nonnegative function $h\in C(0,1)\cap L^{1}[0,1]$ such that one of the following conditions is satisfied:

• (i) $a\geq0$, $f:(0,1)\times[0,b]\rightarrow R$ is continuous, $|f(t,u)|\leq h(t)$, $(t,u)\in(0,1)\times[0,b]$ and increasing with respect to u in $[0,b]$;

• (ii) $b\leq0$, $f:(0,1)\times[a,0]\rightarrow R$ is continuous, $|f(t,u)|\leq h(t)$, $(t,u)\in(0,1)\times[a,0]$ and increasing with respect to u in $[a,0]$;

• (iii) $a< 0<b$, $f:(0,1)\times[a,b]\rightarrow R$ is continuous, $|f(t,u)|\leq h(t)$, $(t,u)\in(0,1)\times[a,b]$ and increasing with respect to u in $[a,b]$.

(H₂):

The following inequalities hold:

$$\begin{aligned}& \int_{0}^{1}\Phi_{1}(s)\max\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \, ds+ \int_{0}^{1}\Phi _{2}(s)\min\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \, ds\geq a, \\& \int_{0}^{1}\Phi_{2}(s)\max\bigl\{ f \bigl(s,bs^{\alpha-1}\bigr),0\bigr\} \, ds+ \int_{0}^{1}\Phi _{1}(s)\min\bigl\{ f \bigl(s,bs^{\alpha-1}\bigr),0\bigr\} \, ds\leq b. \end{aligned}$$

(H₃):

$f(t,0)\not\equiv0$, for $0\leq t\leq1$.

Then the problem (1.3) has two nontrivial solutions $u^{*}, v^{*}\in C^{2}[0,1]\cap C^{3}(0,1)$ ($u^{*}$, $v^{*}$ may be coincident) such that $at^{\alpha-1}\leq u^{*}\leq v^{*}\leq bt^{\alpha-1}$, $t\in[0,1]$, and $\lim_{n\rightarrow\infty}u_{n}=u^{*}$, $\lim_{n\rightarrow\infty}v_{n}=v^{*}$, where the two iterative sequences are generated by

$$\begin{aligned}& u_{0}(t)=at^{\alpha-1}, \qquad u_{n+1}= \int _{0}^{1}G(t,s)f\bigl(s,u_{n}(s) \bigr)\,ds, \quad n=0,1,2,\ldots, \\& v_{0}(t)=bt^{\alpha-1},\qquad v_{n+1}= \int _{0}^{1}G(t,s)f\bigl(s,v_{n}(s) \bigr)\,ds, \quad n=0,1,2,\ldots. \end{aligned}$$

Proof

Consider the order interval $[u_{0},v_{0}]$ in $C[0,1]$, then $T:[u_{0},v_{0}]\rightarrow C[0,1]$ is completely continuous. In fact, let $u\in[u_{0},v_{0}]$, then $at^{\alpha-1}\leq u\leq bt^{\alpha -1}$, $0\leq t\leq1$. By the assumption (H₁), we have

$$\begin{aligned} \|Tu\| =&\max_{0\leq s\leq1} \int_{0}^{1}G(t,s)\bigl\vert f\bigl(s,u(s)\bigr) \bigr\vert \,ds\leq \int_{0}^{1}t^{\alpha-1}\Phi_{2}(s) \bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\ \leq&\frac{1}{\Gamma(\alpha)} \biggl[1+\frac{\max \{\alpha-\beta -1,1 \}\int_{0}^{1}dA(t)}{1-\delta} \biggr] \int _{0}^{1}\bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\ \leq&\frac{1}{\Gamma(\alpha)} \biggl[1+\frac{\max \{\alpha-\beta -1,1 \}\int_{0}^{1}dA(t)}{1-\delta} \biggr] \int_{0}^{1}\bigl\vert h(s)\bigr\vert \,ds, \end{aligned}$$

which shows that $T([u_{0},v_{0}])$ is uniform bounded in $C[0,1]$.

On the other hand, for any $u\in[u_{0},v_{0}]$ and $0\leq t_{1}\leq t_{2}\leq 1$, by Lemma 2.11,

$$\begin{aligned}& \bigl\vert (Tu) (t_{1})-(Tu) (t_{2})\bigr\vert \\& \quad \leq \int _{0}^{1}\bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\& \quad \leq \max_{0\leq s\leq1}\bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \int _{0}^{1}\bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\& \quad \leq (\alpha-1) \biggl[\frac{2}{\Gamma(\alpha)}+\frac{\max_{0\leq s\leq1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta} \biggr](t_{2}-t_{1}) \int _{0}^{1}\bigl\vert f\bigl(s,u(s)\bigr)\bigr\vert \,ds \\& \quad \leq (\alpha-1) \biggl[\frac{2}{\Gamma(\alpha)}+\frac{\max_{0\leq s\leq1}\int_{0}^{1}H(t,s)\,dA(t)}{1-\delta} \biggr](t_{2}-t_{1}) \int_{0}^{1}\bigl\vert h(s)\bigr\vert \,ds. \end{aligned}$$

This shows that the set $T ([u_{0},v_{0}] )$ is equicontinuous in $C[0,1]$. Furthermore, for $u\in[u_{0},v_{0}]$, the operator T is continuous obviously. By the Arzelá-Ascoli theorem, the operator $T:[u_{0},v_{0}]\rightarrow C[0,1]$ is completely continuous.

Now, we divide our proof into the following steps.

Step 1. We assert that T is monotone increasing on $[u_{0},v_{0}]$. By the assumption (H₁), it is easy to know T is an increasing operator.

Step 2. We prove that $u_{0}$ is a lower solution of T.

In view of the assumption (H₂), (H₃), and Lemma 2.10, we have

$$\begin{aligned} (Tu_{0}) (t) =& \int_{0}^{1}G(t,s)f\bigl(s,u_{0}(s)\bigr) \,ds= \int _{0}^{1}G(t,s)f\bigl(s,as^{\alpha-1}\bigr) \,ds \\ =& \int_{0}^{1}G(t,s)\max\bigl\{ f\bigl(s,as^{\alpha-1} \bigr),0\bigr\} \,ds+ \int _{0}^{1}G(t,s)\min\bigl\{ f\bigl(s,as^{\alpha-1} \bigr),0\bigr\} \,ds \\ \geq& t^{\alpha-1} \int_{0}^{1}\Phi_{1}(s)\max\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \,ds+t^{\alpha-1} \int_{0}^{1}\Phi_{2}(s)\min\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \,ds \\ \geq& at^{\alpha-1}=u_{0}(t). \end{aligned}$$

It shows

$$u_{1}= \int_{0}^{1}G(t,s)f\bigl(s,u_{0}(s)\bigr) \,ds=Tu_{0}\geq u_{0}. $$

Step 3. We prove that $v_{0}$ is an upper solution of T. We have

$$\begin{aligned} (Tv_{0}) (t) =& \int_{0}^{1}G(t,s)f\bigl(s,v_{0}(s)\bigr) \,ds= \int _{0}^{1}G(t,s)f\bigl(s,bs^{\alpha-1}\bigr) \,ds \\ =& \int_{0}^{1}G(t,s)\max\bigl\{ f\bigl(s,bs^{\alpha-1} \bigr),0\bigr\} \,ds+ \int _{0}^{1}G(t,s)\min\bigl\{ f\bigl(s,bs^{\alpha-1} \bigr),0\bigr\} \,ds \\ \leq& t^{\alpha-1} \int_{0}^{1}\Phi_{2}(s)\max\bigl\{ f \bigl(s,bs^{\alpha-1}\bigr),0\bigr\} \,ds+t^{\alpha-1} \int_{0}^{1}\Phi_{1}(s)\min\bigl\{ f \bigl(s,bs^{\alpha-1}\bigr),0\bigr\} \,ds \\ \leq& bt^{\alpha-1}=v_{0}(t). \end{aligned}$$

It yields

$$v_{1}= \int_{0}^{1}G(t,s)f\bigl(s,v_{0}(s)\bigr) \,ds=Tv_{0}\leq v_{0}. $$

Step 4. We claim that the BVP (1.3) has monotone nontrivial solutions.

In fact, if we construct sequences $\{ u_{n} \} _{n=1}^{\infty}$ and $\{ v_{n} \} _{n=1}^{\infty}$ as follows:

$$u_{n}=Tu_{n-1}\quad \text{and}\quad v_{n}=Tv_{n-1}, \quad n=1,2,3,\ldots, $$

then it follows from Theorem 1.1 that

$$u_{0}\leq u_{1} \leq\cdots\leq u_{n}\leq\cdots \leq v_{n}\leq\cdots\leq v_{1}\leq v_{0}, $$

and $\{ u_{n} \} _{n=1}^{\infty}$ and $\{ v_{n} \} _{n=1}^{\infty}$ converge to, respectively, $u^{*}$ and $v^{*}\in [u_{0},v_{0}]$, which are monotone solutions of the BVP (1.3). Moreover, in view of $f(t,0)\not\equiv0$, we know that the zero function is not a solution of BVP (1.3). Thus $u^{*}$ and $v^{*}$ are nontrivial. □

Remark 3.2

We do not require that $f:(0,1)\times R\rightarrow R$ is continuous and increasing, we only require the local continuity and local monotonicity; $f(t,u)$ in our case may change sign. If $a>0$, then the two nontrivial solutions $u^{*}$, $v^{*}$ ($u^{*}$, $v^{*}$ may be coincident) satisfy $0< at^{\alpha-1}\leq u^{*}\leq v^{*}\leq bt^{\alpha -1}< b$, $0\leq t\leq1$, which implies that $u^{*}$, $v^{*}$ are positive solutions of BVP (1.3).

Corollary 3.3

Assume that there exist two positive constants a, b such that $a< b$ and the following conditions are satisfied:

(C₁):

$f:(0,1)\times[0,b]\rightarrow R^{+}$ is continuous and there exists a nonnegative function $h\in C(0,1)\cap L^{1}[0,1]$ such that $|f(t,u)|\leq h(t)$, $(t,u)\in (0,1)\times[0,b]$ and increasing with u in $[0,b]$;

(C₂):

$\int_{0}^{1}\Phi_{1}(s) f(s,as^{\alpha-1})\,ds\geq a$ and $\int _{0}^{1}\Phi_{2}(s) f(s,bs^{\alpha-1})\,ds\leq b$;

(C₃):

$f(t,0)\not\equiv0$, for $0\leq t\leq1$.

Then the problem (1.1) has two positive solutions $u^{*}, v^{*}\in C^{2}[0,1]\cap C^{3}(0,1)$ such that $0< at^{\alpha-1}\leq u^{*}\leq v^{*}\leq bt^{\alpha-1}$, $t\in[0,1]$ and $\lim_{n\rightarrow \infty}u_{n}=u^{*}$, $\lim_{n\rightarrow\infty}v_{n}=v^{*}$ ($u^{*}$, $v^{*}$ may be coincident), where the two iterative sequences are generated by

$$\begin{aligned}& u_{0}(t)=at^{\alpha-1}, \qquad u_{n+1}= \int _{0}^{1}G(t,s)f\bigl(s,u_{n}(s) \bigr)\,ds, \quad n=0,1,2,\ldots, \\& v_{0}(t)=bt^{\alpha-1},\qquad v_{n+1}= \int _{0}^{1}G(t,s)f\bigl(s,v_{n}(s) \bigr)\,ds, \quad n=0,1,2,\ldots. \end{aligned}$$

4 Example

In this section, we give an example to illustrate our main results.

Consider the BVP

$$ \left \{ \textstyle\begin{array}{l} D_{0+}^{\alpha}u(t)+f(t,u(t))=0,\quad t\in(0,1), \\ u ( 0 ) =u' ( 0 ) =0,\qquad D_{0+}^{\beta}u(1)=\int _{0}^{1}D_{0+}^{\beta}u(t)\,dA(t), \end{array}\displaystyle \right . $$

(4.1)

where $\alpha=\frac{5}{2}$, $\beta=\frac{1}{2}$, $A(t)=t$,

$$f(t,u)=\left \{ \textstyle\begin{array}{l@{\quad}l} 4t^{5}-\frac{1}{100}, &u\in(-\infty,0), t\in(0,1), \\ 4t^{5}-\frac{1}{100}+4u-u^{2}, & u\in[0,2], t\in(0,1), \\ 4t^{5}+\frac{399}{100}, & u\in(2,+\infty), t\in(0,1). \end{array}\displaystyle \right . $$

A simple calculation shows that

$$\Phi_{1}(s):=\frac{1}{\Gamma(\frac{5}{2})} \biggl[\frac{1}{2}+ \frac{\int _{0}^{1}(1-t)t\, dt}{1-\int_{0}^{1}t\, dt} \biggr]s(1-s)\approx0.6269s(1-s) $$

and

$$\Phi_{2}(s):=\frac{1}{\Gamma(\frac{5}{2})} \biggl[1+\frac{\int _{0}^{1} dt}{1-\int_{0}^{1}t\, dt} \biggr](1-s)\approx2.2568(1-s). $$

Let $a=0$, $b=2$, so $f(t,u)$ is continuous and nondecreasing with respect to u. Thus, the condition (H₁) holds and $f(t,0)=4t^{5}-\frac{1}{100}$, $f(t,2t^{\frac{5}{2}})=8t^{\frac {5}{2}}-\frac{1}{100}$. By direct calculation, we have

$$\begin{aligned}& \int_{0}^{1}\Phi_{1}(s)\max\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \,ds+ \int_{0}^{1}\Phi _{2}(s)\min\bigl\{ f \bigl(s,as^{\alpha-1}\bigr),0\bigr\} \,ds \\& \quad = \int_{(\frac{1}{400})^{\frac{1}{5}}}^{1}0.6269s(1-s) \biggl(4s^{5}- \frac {1}{100}\biggr)\,ds+ \int_{0}^{(\frac{1}{400})^{\frac {1}{5}}}2.2568(1-s) \biggl(4s^{5}- \frac{1}{100}\biggr)\,ds \\& \quad \approx0.0508\geq0 \end{aligned}$$

and

$$\begin{aligned}& \int_{0}^{1}\Phi_{2}(s)\max\bigl\{ f \bigl(s,bs^{\alpha-1},0\bigr)\bigr\} \,ds+ \int_{0}^{1}\Phi _{1}(s)\min\bigl\{ f \bigl(s,bs^{\alpha-1},0\bigr)\bigr\} \,ds \\& \quad = \int_{(\frac{1}{800})^{\frac{2}{5}}}^{1}2.2568(1-s) \biggl(8s^{\frac {5}{2}}- \frac{1}{100}\biggr)\,ds+ \int_{0}^{(\frac{1}{800})^{\frac {2}{5}}}0.6269s(1-s) \biggl(8s^{\frac{5}{2}}- \frac{1}{100}\biggr)\,ds \\& \quad \approx0.725\leq2, \end{aligned}$$

which show that the condition (H₂) holds. So, it follows from Theorem 3.1 that BVP (4.1) has two nontrivial solutions $u^{*}$ and $v^{*}$ ($u^{*}$, $v^{*}$ may be coincident), such that $0\leq u^{*}\leq v^{*}\leq2t^{\frac{3}{2}}\leq2$, $0\leq t\leq1$, and which start off with the zero function or $2t^{\frac{3}{2}}$, which are very feasible for computational purposes.