Skip to main content

# Existence of nonnegative solutions for a fractional m-point boundary value problem at resonance

## Abstract

We consider the fractional differential equation

${D}_{0+}^{q}u\left(t\right)=f\left(t,u\left(t\right)\right),\phantom{\rule{1em}{0ex}}0

satisfying the boundary conditions

${D}_{0+}^{p}u\left(t\right){|}_{t=0}={D}_{0+}^{pâˆ’1}u\left(t\right){|}_{t=0}=â‹¯={D}_{0+}^{pâˆ’n+1}u\left(t\right){|}_{t=0}=0,\phantom{\rule{2em}{0ex}}u\left(1\right)=\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}u\left({\mathrm{Î¾}}_{i}\right),$

where ${D}_{0+}^{q}$ is the Riemann-Liouville fractional order derivative. The parameters in the multi-point boundary conditions are such that the corresponding differential operator is a Fredholm map of index zero. As a result, the minimal and maximal nonnegative solutions for the problem are obtained by using a fixed point theorem of increasing operators.

MSC:26A33, 34A08.

## 1 Introduction

Let us consider the fractional differential equation

${D}_{0+}^{q}u\left(t\right)=f\left(t,u\left(t\right)\right),\phantom{\rule{1em}{0ex}}0
(1.1)

with the boundary conditions (BCs)

$\left\{\begin{array}{c}{D}_{0+}^{p}u\left(t\right){|}_{t=0}={D}_{0+}^{pâˆ’1}u\left(t\right){|}_{t=0}=â‹¯={D}_{0+}^{pâˆ’n+1}u\left(t\right){|}_{t=0}=0,\hfill \\ u\left(1\right)={âˆ‘}_{i=1}^{mâˆ’2}{\mathrm{Î±}}_{i}u\left({\mathrm{Î¾}}_{i}\right),\hfill \end{array}$
(1.2)

where $nâ‰¥1$, $max\left\{qâˆ’2,0\right\}â‰¤p, $n, ${âˆ‘}_{i=1}^{mâˆ’2}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}=1$, ${\mathrm{Î±}}_{i}>0$, $0<{\mathrm{Î¾}}_{1}<{\mathrm{Î¾}}_{2}<â‹¯<{\mathrm{Î¾}}_{mâˆ’2}<1$, $mâ‰¥3$. We assume that $f:\left[0,1\right]Ã—\left[0,\mathrm{âˆž}\right)â†’\left[0,\mathrm{âˆž}\right)$ is continuous. A boundary value problem at resonance for ordinary or fractional differential equations has been studied by several authors, including the most recent works [1â€“7] and the references therein. In the most papers mentioned above, the coincidence degree theory was applied to establish existence theorems. But in [8], Wang obtained the minimal and maximal nonnegative solutions for a second-order m-point boundary value problem at resonance by using a new fixed point theorem of increasing operators, and in this paper we use this method of Wang to establish the existence theorem of equations (1.1) and (1.2).

For the convenience of the reader, we briefly recall some notations.

Let X, Z be real Banach spaces, $L:dom\left(L\right)âŠ‚Xâ†’Z$ be a Fredholm map of index zero and $P:Xâ†’X$, $Q:Zâ†’Z$ be continuous projectors such that $Im\left(P\right)=Ker\left(L\right)$, $Ker\left(Q\right)=Im\left(L\right)$ and $X=Ker\left(L\right)âŠ•Ker\left(P\right)$, $Z=Im\left(L\right)âŠ•Im\left(Q\right)$. It follows that $L{|}_{Ker\left(P\right)âˆ©dom\left(L\right)}:Ker\left(P\right)âˆ©dom\left(L\right)â†’Im\left(L\right)$ is invertible. We denote the inverse of the map by ${K}_{P}:Im\left(L\right)â†’Ker\left(P\right)âˆ©dom\left(L\right)$. Since $dimIm\left(Q\right)=dimKer\left(L\right)$, there exists an isomorphism $J:Im\left(Q\right)â†’Ker\left(L\right)$. Let Î© be an open bounded subset of X. The map $N:Xâ†’Z$ will be called L-compact on $\stackrel{Â¯}{\mathrm{Î©}}$ if $QN\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ and ${K}_{P}\left(Iâˆ’Q\right)\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ are compact. We take $H=L+{J}^{âˆ’1}P$, then $H:dom\left(L\right)âŠ‚Xâ†’Z$ is a linear bijection with bounded inverse and $\left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)\left(L+{J}^{âˆ’1}P\right)=\left(L+{J}^{âˆ’1}P\right)\left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)=I$. We know from [9] that ${K}_{1}=H\left(Kâˆ©dom\left(L\right)\right)$ is a cone in Z.

Theorem 1.1 [9]

$N\left(u\right)+{J}^{âˆ’1}P\left(u\right)=H\left(\stackrel{Ëœ}{u}\right)$, where

$\stackrel{Ëœ}{u}=P\left(u\right)+JQN\left(u\right)+{K}_{P}\left(Iâˆ’Q\right)N\left(u\right)$

and $\stackrel{Ëœ}{u}$ is uniquely determined.

From the above theorem, the author [9] obtained that the assertions

1. (i)

$P\left(u\right)+JQN\left(u\right)+{K}_{P}\left(Iâˆ’Q\right)N\left(u\right):Kâˆ©dom\left(L\right)â†’Kâˆ©dom\left(L\right)$ and

2. (ii)

$N\left(u\right)+{J}^{âˆ’1}P\left(u\right):Kâˆ©dom\left(L\right)â†’{K}_{1}$ are equivalent.

We also need the following definition and theorem.

Definition 1.1 [8]

Let K be a normal cone in a Banach space X, ${u}_{0}â‰¤{v}_{0}$, and ${u}_{0},{v}_{0}âˆˆKâˆ©dom\left(L\right)$ are said to be coupled lower and upper solutions of the equation $Lx=Nx$ if

$\left\{\begin{array}{c}L{u}_{0}â‰¤N{u}_{0},\hfill \\ L{v}_{0}â‰¥N{v}_{0}.\hfill \end{array}$

Theorem 1.2 [8]

Let $L:dom\left(L\right)âŠ‚Xâ†’Z$ be a Fredholm operator of index zero, K be a normal cone in a Banach space X, ${u}_{0},{v}_{0}âˆˆKâˆ©dom\left(L\right)$, ${u}_{0}â‰¤{v}_{0}$, and $N:\left[{u}_{0},{v}_{0}\right]â†’Z$ be L-compact and continuous. Suppose that the following conditions are satisfied:

(C1) ${u}_{0}$ and ${v}_{0}$ are coupled lower and upper solutions of the equation $Lx=Nx$;

(C2) $N+{J}^{âˆ’1}P:Kâˆ©dom\left(L\right)â†’{K}_{1}$ is an increasing operator.

Then the equation $Lx=Nx$ has a minimal solution ${u}^{âˆ—}$ and a maximal solution ${v}^{âˆ—}$ in $\left[{u}_{0},{v}_{0}\right]$. Moreover,

${u}^{âˆ—}=\underset{nâ†’\mathrm{âˆž}}{lim}{u}_{n},\phantom{\rule{2em}{0ex}}{v}^{âˆ—}=\underset{nâ†’\mathrm{âˆž}}{lim}{v}_{n},$

where

${u}_{n}={\left(L+{J}^{âˆ’1}P\right)}^{âˆ’1}\left(N+{J}^{âˆ’1}P\right){u}_{nâˆ’1},\phantom{\rule{2em}{0ex}}{v}_{n}={\left(L+{J}^{âˆ’1}P\right)}^{âˆ’1}\left(N+{J}^{âˆ’1}P\right){v}_{nâˆ’1},$

$n=1,2,3,â€¦$ and ${u}_{0}â‰¤{u}_{1}â‰¤{u}_{2}â‰¤â‹¯â‰¤{u}_{n}â‰¤â‹¯â‰¤{v}_{n}â‰¤â‹¯â‰¤{v}_{2}â‰¤{v}_{1}â‰¤{v}_{0}$.

## 2 Preliminaries

In this section, we present some necessary basic knowledge and definitions about fractional calculus theory.

Definition 2.1 (see Equation 2.1.1 in [10])

The R-L fractional integral ${I}_{0+}^{q}u$ of order $qâˆˆR$ ($q>0$) is defined by

${I}_{0+}^{q}u\left(t\right):=\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}\frac{u\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}}{{\left(tâˆ’\mathrm{Ï„}\right)}^{1âˆ’q}}\phantom{\rule{1em}{0ex}}\left(t>0\right).$

Here $\mathrm{Î“}\left(q\right)$ is the gamma function.

Definition 2.2 (see Equation 2.1.5 in [10])

The R-L fractional derivative ${D}_{0+}^{q}u$ of order $qâˆˆR$ ($q>0$) is defined by

$\begin{array}{rcl}{D}_{0+}^{q}u\left(t\right)& =& {\left(\frac{d}{dt}\right)}^{n}{I}_{0+}^{nâˆ’q}u\left(t\right)\\ =& \frac{1}{\mathrm{Î“}\left(nâˆ’q\right)}{\left(\frac{d}{dt}\right)}^{n}{âˆ«}_{0}^{t}\frac{u\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}}{{\left(tâˆ’\mathrm{Ï„}\right)}^{qâˆ’n+1}}\phantom{\rule{1em}{0ex}}\left(n=\left[q\right]+1,t>0\right),\end{array}$

where $\left[q\right]$ means the integral part of q.

Lemma 2.1 [11]

If ${q}_{1},{q}_{2}>0$, $q>0$, then, for $u\left(t\right)âˆˆ{L}_{p}\left(0,1\right)$, the relations

${I}_{0+}^{{q}_{1}}{I}_{0+}^{{q}_{2}}u\left(t\right)={I}_{0+}^{{q}_{1}+{q}_{2}}u\left(t\right)$

and

${D}_{0+}^{{q}_{1}}{I}_{0+}^{{q}_{1}}u\left(t\right)=u\left(t\right)$

hold a.e. on $\left[0,1\right]$.

Lemma 2.2 (see [11])

Let $q>0$, $n=\left[q\right]+1$, ${D}_{0+}^{q}u\left(t\right)âˆˆ{L}_{1}\left(0,1\right)$, then we have the equality

${I}_{0+}^{q}{D}_{0+}^{q}u\left(t\right)=u\left(t\right)+\underset{i=1}{\overset{n}{âˆ‘}}{C}_{i}{t}^{qâˆ’i},$

where ${C}_{i}âˆˆR$ ($i=1,2,â€¦,n$) are some constants.

Lemma 2.3 (see Corollary 2.1 in [10])

Let $q>0$ and $n=\left[q\right]+1$, the equation ${D}_{0+}^{q}u\left(t\right)=0$ is valid if and only if $u\left(t\right)={âˆ‘}_{i=1}^{n}{C}_{i}{t}^{qâˆ’i}$, where ${C}_{i}âˆˆR$ ($i=1,2,â€¦,n$) are arbitrary constants.

Let $X=Z=C\left[0,1\right]$ with the norm $âˆ¥uâˆ¥={sup}_{tâˆˆ\left[0,1\right]}|u\left(t\right)|$, then X and Z are Banach spaces.

Let $K=\left\{uâˆˆX:u\left(t\right)â‰¥0,tâˆˆ\left[0,1\right]\right\}$. It follows from Theorem 1.1.1 in [12] that K is a normal cone.

Let .

We define the operators $L:dom\left(L\right)â†’Z$ by

$\left(Lu\right)\left(t\right)={D}_{0+}^{q}u\left(t\right)$
(2.1)

and $N:Kâ†’Z$ by

$\left(Nu\right)\left(t\right)=f\left(t,u\left(t\right)\right),$

then BVPs (1.1) and (1.2) can be written as $Lu=Nu$, $uâˆˆKâˆ©dom\left(L\right)$.

Lemma 2.4 If the operator L is defined in (2.1), then

1. (i)

$Ker\left(L\right)=\left\{câ‹\dots {t}^{qâˆ’1}âˆ£câˆˆR\right\}$,

2. (ii)

$Im\left(L\right)=\left\{yâˆˆZâˆ£{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}{âˆ‘}_{i=1}^{mâˆ’2}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds=0\right\}=:\mathcal{L}$.

Proof (i) It can be seen from Lemma 2.3 and BCs (1.2) that $Ker\left(L\right)=\left\{câ‹\dots {t}^{qâˆ’1}âˆ£câˆˆR\right\}$.

1. (ii)

If $yâˆˆIm\left(L\right)$, then there exists a function $uâˆˆdom\left(L\right)$ such that $y\left(t\right)={D}_{0+}^{q}u\left(t\right)$, by Lemma 2.2, we have

${I}_{0+}^{q}y\left(t\right)=u\left(t\right)+{c}_{1}{t}^{qâˆ’1}+â‹¯+{c}_{n}{t}^{qâˆ’n}.$

It follows from BCs (1.2) and the equation ${âˆ‘}_{i=1}^{mâˆ’2}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}=1$ that

${I}_{0+}^{q}y\left(1\right)=\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{I}_{0+}^{q}{\mathrm{Î±}}_{i}y\left({\mathrm{Î¾}}_{i}\right)$

and noting the definition of ${I}_{0+}^{q}$, we have

${I}_{0+}^{q}y\left(t\right)=\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}y\left(s\right)\phantom{\rule{0.2em}{0ex}}ds=\frac{qâˆ’1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’2}{âˆ«}_{0}^{s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds.$

Thus,

$\begin{array}{rcl}\frac{qâˆ’1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}{âˆ«}_{0}^{s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds& =& \frac{qâˆ’1}{\mathrm{Î“}\left(q\right)}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{âˆ«}_{0}^{{\mathrm{Î¾}}_{i}}{\left({\mathrm{Î¾}}_{i}âˆ’s\right)}^{qâˆ’2}{âˆ«}_{0}^{s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{qâˆ’1}{\mathrm{Î“}\left(q\right)}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}{âˆ«}_{0}^{1}{\left({\mathrm{Î¾}}_{i}âˆ’{\mathrm{Î¾}}_{i}s\right)}^{qâˆ’2}{âˆ«}_{0}^{{\mathrm{Î¾}}_{i}s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\\ =& \frac{qâˆ’1}{\mathrm{Î“}\left(q\right)}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}{âˆ«}_{0}^{{\mathrm{Î¾}}_{i}s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds,\end{array}$

which is

${âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}y\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds=0.$

Then $yâˆˆ\mathcal{L}$, hence $Im\left(L\right)âŠ‚\mathcal{L}$.

On the other hand, if $yâˆˆ\mathcal{L}$, let $u\left(t\right)={I}_{0+}^{q}y\left(t\right)$, then $uâˆˆdom\left(L\right)$, and ${D}_{0+}^{q}u\left(t\right)={D}_{0+}^{q}{I}_{0+}^{q}y\left(t\right)=y\left(t\right)$, which implies that $yâˆˆIm\left(L\right)$, thus $\mathcal{L}âŠ‚Im\left(L\right)$. In general $Im\left(L\right)=\mathcal{L}$. Clearly, $Im\left(L\right)$ is closed in Z and $dimKer\left(L\right)=codimIm\left(L\right)=1$, thus L is a Fredholm operator of index zero. This completes the proof.â€ƒâ–¡

In what follows, some property operators are defined. We define continuous projectors $P:Xâ†’X$ by

$\left(Pu\right)\left(t\right)=q{âˆ«}_{0}^{1}u\left(s\right)\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}$

and $Q:Zâ†’Z$ by

$\left(Qu\right)\left(t\right)=\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}u\left(\mathrm{Ï„}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds,$

where

$\begin{array}{rcl}{\mathrm{Î³}}_{0}& =& {âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\\ =& {âˆ«}_{0}^{1}s{\left(1âˆ’s\right)}^{qâˆ’2}\phantom{\rule{0.2em}{0ex}}ds\left(1âˆ’\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{q}\right)\\ =& B\left(2,qâˆ’1\right)\left(1âˆ’\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{q}\right)>0.\end{array}$

$B\left(x,y\right)$ is the beta function defined by

$B\left(x,y\right)={âˆ«}_{0}^{1}{t}^{xâˆ’1}{\left(1âˆ’t\right)}^{yâˆ’1}\phantom{\rule{0.2em}{0ex}}dt.$

By calculating, we easily obtain ${P}^{2}=P$, ${Q}^{2}=Q$, and $X=Ker\left(L\right)âŠ•Ker\left(P\right)$, $Z=Im\left(L\right)âŠ•Im\left(Q\right)$. We also define $J:Im\left(Q\right)â†’Ker\left(L\right)$ by

$J\left(c\right)=c{t}^{qâˆ’1},\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}câˆˆR$

and ${K}_{P}:Im\left(L\right)â†’dom\left(L\right)âˆ©Ker\left(P\right)$ by

$\left({K}_{P}\left(u\right)\right)\left(t\right)=\left({I}_{0+}^{q}u\right)\left(t\right)=\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}u\left(s\right)\phantom{\rule{0.2em}{0ex}}ds,$

thus

$\left(QN\left(u\right)\right)\left(t\right)=\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds$

and

$\begin{array}{c}\left({K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\right)\left(t\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds.\hfill \end{array}$

Lemma 2.5 Let Î© be any open bounded subset of $Kâˆ©dom\left(L\right)$, then $QN\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ and ${K}_{P}\left(Iâˆ’Q\right)N\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ are compact, which implies that N is L-compact on $\stackrel{Â¯}{\mathrm{Î©}}$ for any open bounded set $\mathrm{Î©}âŠ‚Kâˆ©dom\left(L\right)$.

Proof For a positive integer n, let $\mathrm{Î©}=\left\{uâˆˆKâˆ©dom\left(L\right):âˆ¥uâˆ¥â‰¤n\right\}$, $M={sup}_{\left(t,u\right)}f\left(t,u\left(t\right)\right)$, $\left(t,u\right)âˆˆ\left[0,1\right]Ã—\left[0,n\right]$. It is easy to see that $QN\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ is compact. Now, we prove that ${K}_{P}\left(Iâˆ’Q\right)N\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ is compact. For $\mathrm{âˆ€}uâˆˆ\stackrel{Â¯}{\mathrm{Î©}}$, we have

$\begin{array}{c}âˆ¥\left({K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\right)\left(t\right)âˆ¥\hfill \\ \phantom{\rule{1em}{0ex}}=\underset{tâˆˆ\left[0,1\right]}{sup}|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{tâˆˆ\left[0,1\right]}{sup}|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+\underset{tâˆˆ\left[0,1\right]}{sup}|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{2M}{\mathrm{Î“}\left(q\right)}\underset{tâˆˆ\left[0,1\right]}{sup}|{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{2M}{\mathrm{Î“}\left(q+1\right)},\hfill \end{array}$

which implies that ${K}_{P}\left(Iâˆ’Q\right)N\left(\stackrel{Â¯}{\mathrm{Î©}}\right)$ is bounded.

Moreover, for each $uâˆˆ\stackrel{Â¯}{\mathrm{Î©}}$, let ${t}_{1},{t}_{2}âˆˆ\left[0,1\right]$ and ${t}_{1}>{t}_{2}$, then

$\begin{array}{c}âˆ¥\left({K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\right)\left({t}_{1}\right)âˆ’\left({K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\right)\left({t}_{2}\right)âˆ¥\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}dsâˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}dsâˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{{t}_{2}}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}+|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+|\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{{t}_{2}}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{2M}{\mathrm{Î“}\left(q\right)}|{âˆ«}_{0}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}dsâˆ’{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds|+\frac{2M}{\mathrm{Î“}\left(q\right)}|{âˆ«}_{{t}_{2}}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds|\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{2M}{\mathrm{Î“}\left(q\right)}|{âˆ«}_{0}^{{t}_{1}}{\left({t}_{1}âˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}dsâˆ’{âˆ«}_{0}^{{t}_{2}}{\left({t}_{2}âˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds|+\frac{2M}{\mathrm{Î“}\left(q\right)}|{t}_{1}âˆ’{t}_{2}|\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{2M}{\mathrm{Î“}\left(q\right)}|{t}_{1}{âˆ«}_{0}^{1}{\left({t}_{1}âˆ’{t}_{1}s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}dsâˆ’{t}_{2}{âˆ«}_{0}^{1}{\left({t}_{2}âˆ’{t}_{2}s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds|+\frac{2M}{\mathrm{Î“}\left(q\right)}|{t}_{1}âˆ’{t}_{2}|\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{2M}{\mathrm{Î“}\left(q+1\right)}|{t}_{1}^{q}âˆ’{t}_{2}^{q}|+\frac{2M}{\mathrm{Î“}\left(q\right)}|{t}_{1}âˆ’{t}_{2}|\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{2M}{\mathrm{Î“}\left(q+1\right)}|q{\mathrm{Î·}}^{qâˆ’1}|â‹\dots |{t}_{1}âˆ’{t}_{2}|+\frac{2M}{\mathrm{Î“}\left(q\right)}|{t}_{1}âˆ’{t}_{2}|,\phantom{\rule{1em}{0ex}}\mathrm{Î·}={t}_{1}+\mathrm{Î¸}\left({t}_{2}âˆ’{t}_{1}\right),0<\mathrm{Î¸}<1\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{\left({2}^{q}+2\right)M}{\mathrm{Î“}\left(q\right)}|{t}_{1}âˆ’{t}_{2}|.\hfill \end{array}$

Thus

$\mathrm{âˆ€}\mathrm{Îµ}>0,\phantom{\rule{1em}{0ex}}\mathrm{âˆƒ}\mathrm{Î´}=\frac{\mathrm{Î“}\left(q\right)}{\left({2}^{q}+2\right)M}\mathrm{Îµ}$

such that

$âˆ¥{K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\left({t}_{1}\right)âˆ’{K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\left({t}_{2}\right)âˆ¥<\mathrm{Îµ}$

for

$|{t}_{1}âˆ’{t}_{2}|<\mathrm{Î´}$

and each

$uâˆˆ\stackrel{Â¯}{\mathrm{Î©}}.$

It is concluded that N is L-compact on $\stackrel{Â¯}{\mathrm{Î©}}$. This completes the proof.â€ƒâ–¡

## 3 Main result

In this section, we establish the existence of the nonnegative solution to equations (1.1) and (1.2).

Theorem 3.1 Suppose

(H1) There exist ${u}_{0},{v}_{0}âˆˆKâˆ©dom\left(L\right)$ such that ${u}_{0}â‰¤{v}_{0}$ and

$\left\{\begin{array}{c}{D}_{0+}^{q}{u}_{0}\left(t\right)â‰¤f\left(t,{u}_{0}\left(t\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆ\left[0,1\right],\hfill \\ {D}_{0+}^{q}{v}_{0}\left(t\right)â‰¥f\left(t,{v}_{0}\left(t\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}tâˆˆ\left[0,1\right].\hfill \end{array}$

(H2) For any $x,yâˆˆKâˆ©dom\left(L\right)$, satisfying

$f\left(t,x\left(t\right)\right)âˆ’f\left(t,y\left(t\right)\right)â‰¥âˆ’q\left({âˆ«}_{0}^{1}x\left(t\right)\phantom{\rule{0.2em}{0ex}}dtâˆ’{âˆ«}_{0}^{1}y\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right),$

where $\mathrm{âˆ€}tâˆˆ\left[0,1\right]$ and ${u}_{0}\left(t\right)â‰¤y\left(t\right)â‰¤x\left(t\right)â‰¤{v}_{0}\left(t\right)$, then problems (1.1) and (1.2) have a minimal solution ${u}^{âˆ—}$ and a maximal solution ${v}^{âˆ—}$ in $\left[{u}_{0},{v}_{0}\right]$, respectively.

Proof By condition (H1), we know that

$L{u}_{0}â‰¤N{u}_{0},\phantom{\rule{2em}{0ex}}L{v}_{0}â‰¥N{v}_{0},$

so condition (C1) in Theorem 1.1 holds.

In addition, for each $uâˆˆK$,

$\begin{array}{c}\left(P\left(u\right)+JQN\left(u\right)+{K}_{P}\left(Iâˆ’Q\right)N\left(u\right)\right)\left(t\right)\hfill \\ \phantom{\rule{1em}{0ex}}=q{âˆ«}_{0}^{1}u\left(s\right)\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}+\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}=q{âˆ«}_{0}^{1}u\left(s\right)\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}+\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}f\left(s,u\left(s\right)\right)\phantom{\rule{0.2em}{0ex}}ds\hfill \\ \phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}+\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\left({t}^{qâˆ’1}âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\phantom{\rule{0.2em}{0ex}}ds\right)\hfill \\ \phantom{\rule{1em}{0ex}}â‰¥\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}f\left(\mathrm{Ï„},u\left(\mathrm{Ï„}\right)\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}ds\left({t}^{qâˆ’1}âˆ’\frac{{t}^{q}}{\mathrm{Î“}\left(q+1\right)}\right)â‰¥0.\hfill \end{array}$

Thus $\left(P+JQN+{K}_{P}\left(Iâˆ’Q\right)N\right)\left(K\right)âŠ‚K$, that is, $N+{J}^{âˆ’1}P:Kâˆ©dom\left(L\right)â†’{K}_{1}$ by virtue of the equivalence. From condition (H2), we have that $N+{J}^{âˆ’1}P:Kâˆ©dom\left(L\right)â†’{K}_{1}$ is a monotone increasing operator. Then, in accordance with Lemma 2.5 and Theorem 1.2, we obtain a minimal solution ${u}^{âˆ—}$ and a maximal solution ${v}^{âˆ—}$ in $\left[{u}_{0},{v}_{0}\right]$ for problems (1.1) and (1.2). Thus we can define iterative sequences $\left\{{u}_{n}\left(t\right)\right\}$ and $\left\{{v}_{n}\left(t\right)\right\}$ by

$\begin{array}{rcl}{u}_{n}& =& {\left(L+{J}^{âˆ’1}P\right)}^{âˆ’1}\left(N+{J}^{âˆ’1}P\right){u}_{nâˆ’1}=\left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)\left(N+{J}^{âˆ’1}P\right){u}_{nâˆ’1}\\ =& \left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)\left(f\left(t,{u}_{nâˆ’1}\left(t\right)\right)+q{âˆ«}_{0}^{1}{u}_{nâˆ’1}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds\right)\\ =& \frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}\left(f\left(\mathrm{Ï„},{u}_{nâˆ’1}\left(\mathrm{Ï„}\right)\right)+q{âˆ«}_{0}^{1}{u}_{nâˆ’1}\left(\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}\\ +\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\left(f\left(s,{u}_{nâˆ’1}\left(s\right)\right)+q{âˆ«}_{0}^{1}{u}_{nâˆ’1}\left(\stackrel{Ëœ}{s}\right)\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\right)\phantom{\rule{0.2em}{0ex}}ds\\ âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}\\ â‹\dots {âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}\left(f\left(\mathrm{Ï„},{u}_{nâˆ’1}\left(\mathrm{Ï„}\right)\right)+q{âˆ«}_{0}^{1}{u}_{nâˆ’1}\left(\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds\end{array}$

and

$\begin{array}{rcl}{v}_{n}& =& {\left(L+{J}^{âˆ’1}P\right)}^{âˆ’1}\left(N+{J}^{âˆ’1}P\right){v}_{nâˆ’1}=\left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)\left(N+{J}^{âˆ’1}P\right){v}_{nâˆ’1}\\ =& \left(JQ+{K}_{P}\left(Iâˆ’Q\right)\right)\left(f\left(t,{v}_{nâˆ’1}\left(t\right)\right)+q{âˆ«}_{0}^{1}{v}_{nâˆ’1}\left(s\right)\phantom{\rule{0.2em}{0ex}}ds\right)\\ =& \frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’s\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}{âˆ«}_{{\mathrm{Î¾}}_{i}s}^{s}\left(f\left(\mathrm{Ï„},{v}_{nâˆ’1}\left(\mathrm{Ï„}\right)\right)+q{âˆ«}_{0}^{1}{v}_{nâˆ’1}\left(\stackrel{Ë†}{s}\right)d\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}dsâ‹\dots {t}^{qâˆ’1}\\ +\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\left(f\left(s,{v}_{nâˆ’1}\left(s\right)\right)+q{âˆ«}_{0}^{1}{v}_{nâˆ’1}\left(\stackrel{Ëœ}{s}\right)\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\right)\phantom{\rule{0.2em}{0ex}}ds\\ âˆ’\frac{1}{\mathrm{Î“}\left(q\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{qâˆ’1}\frac{1}{{\mathrm{Î³}}_{0}}{âˆ«}_{0}^{1}{\left(1âˆ’\stackrel{Ëœ}{s}\right)}^{qâˆ’2}\underset{i=1}{\overset{mâˆ’2}{âˆ‘}}{\mathrm{Î±}}_{i}{\mathrm{Î¾}}_{i}^{qâˆ’1}\\ â‹\dots {âˆ«}_{{\mathrm{Î¾}}_{i}\stackrel{Ëœ}{s}}^{\stackrel{Ëœ}{s}}\left(f\left(\mathrm{Ï„},{v}_{nâˆ’1}\left(\mathrm{Ï„}\right)\right)+q{âˆ«}_{0}^{1}{v}_{nâˆ’1}\left(\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\stackrel{Ë†}{s}\right)\phantom{\rule{0.2em}{0ex}}d\mathrm{Ï„}\phantom{\rule{0.2em}{0ex}}d\stackrel{Ëœ}{s}\phantom{\rule{0.2em}{0ex}}ds,\phantom{\rule{1em}{0ex}}n=1,2,3,â€¦\end{array}$

Then from Theorem 1.2 we get $\left\{{u}_{n}\right\}$ and $\left\{{v}_{n}\right\}$ converge uniformly to ${u}^{âˆ—}\left(t\right)$ and ${v}^{âˆ—}\left(t\right)$, respectively. Moreover,

${u}_{0}â‰¤{u}_{1}â‰¤{u}_{2}â‰¤â‹¯â‰¤{u}_{n}â‰¤â‹¯â‰¤{v}_{n}â‰¤â‹¯â‰¤{v}_{2}â‰¤{v}_{1}â‰¤{v}_{0}.$

â€ƒâ–¡

## 4 Example

We consider the following problem:

${D}_{0+}^{\frac{3}{2}}u\left(t\right)={\left(\frac{{u}^{2}}{{u}^{2}+1}+t\right)}^{m},\phantom{\rule{1em}{0ex}}00,$
(4.1)

subject to BCs

${D}_{0+}^{\frac{1}{4}}u\left(t\right){|}_{t=0}=0,\phantom{\rule{2em}{0ex}}u\left(1\right)=\sqrt{2}u\left(\frac{1}{2}\right).$
(4.2)

We can choose

${u}_{0}\left(t\right)=\frac{1}{\mathrm{Î“}\left(\frac{3}{2}\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{\frac{1}{2}}{s}^{m}\phantom{\rule{0.2em}{0ex}}ds+{t}^{\frac{1}{2}}â‰¤\frac{1}{\mathrm{Î“}\left(\frac{3}{2}\right)}{âˆ«}_{0}^{t}{\left(tâˆ’s\right)}^{\frac{1}{2}}{\left(s+1\right)}^{m}\phantom{\rule{0.2em}{0ex}}ds+{t}^{\frac{1}{2}}={v}_{0}\left(t\right),$

then

${D}_{0+}^{\frac{3}{2}}{u}_{0}\left(t\right)={t}^{m}â‰¤{\left(\frac{{u}^{2}}{{u}^{2}+1}+t\right)}^{m}â‰¤{\left(t+1\right)}^{m}={D}_{0+}^{\frac{3}{2}}{v}_{0}\left(t\right).$

Let , then for any $x,yâˆˆKâˆ©dom\left(L\right)$, we have

${\left(\frac{{x}^{2}}{{x}^{2}+1}+t\right)}^{m}âˆ’{\left(\frac{{y}^{2}}{{y}^{2}+1}+t\right)}^{m}â‰¥âˆ’\frac{3}{2}\left({âˆ«}_{0}^{1}x\left(t\right)\phantom{\rule{0.2em}{0ex}}dtâˆ’{âˆ«}_{0}^{1}y\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right),$

where ${u}_{0}\left(t\right)â‰¤y\left(t\right)â‰¤x\left(t\right)â‰¤{v}_{0}\left(t\right)$. Finally, by Theorem 3.1, equation (4.1) with BCs (4.2) has a minimal solution ${u}^{âˆ—}$ and a maximal solution ${v}^{âˆ—}$ in $\left[{u}_{0},{v}_{0}\right]$.

## References

1. Infantea G, Zima M: Positive solutions of multi-point boundary value problems at resonance. Nonlinear Anal. 2008, 69: 2458â€“2465. 10.1016/j.na.2007.08.024

2. Kosmatov N: Multi-point boundary value problems on an unbounded domain at resonance. Nonlinear Anal. 2008, 68: 2158â€“2171. 10.1016/j.na.2007.01.038

3. Yang L, Shen CF: On the existence of positive solution for a kind of multi-point boundary value problem at resonance. Nonlinear Anal. 2010, 72: 4211â€“4220. 10.1016/j.na.2010.01.051

4. Bai Z, Zhang Y: The existence of solutions for a fractional multi-point boundary value problem. Comput. Math. Appl. 2010, 60: 2364â€“2372.

5. Zhang Y, Bai Z: Existence of solutions for nonlinear fractional three-point boundary value problems at resonance. J.Â Appl. Math. Comput. 2011, 36: 417â€“440. 10.1007/s12190-010-0411-x

6. Du Z: Solvability of functional differential equations with multi-point boundary value problems at resonance. Comput. Math. Appl. 2008, 55: 2653â€“2661.

7. Han X: Positive solutions for a three-point boundary value problem at resonance. J. Math. Anal. Appl. 2007, 36: 556â€“568.

8. Wang F, Cui YJ, Zhang F: Existence of nonnegative solutions for second order m-point boundary value problems at resonance. Appl. Math. Comput. 2011, 217: 4849â€“4855. 10.1016/j.amc.2008.04.015

9. Cremins CT: A fixed-point index and existence theorems for semilinear equations in cones. Nonlinear Anal. 2001, 42: 789â€“806.

10. Kilbsa AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

11. Chen Y, Tang X: Positive solutions of fractional differential equations at resonance on the half-line. Bound. Value Probl. 2012. doi:10.1186/1687â€“2770â€“2012â€“64

12. Guo DJ, Lakshmikantham V: Nonlinear Problems in Abstract Cones. Academic Press, New York; 1988.

Download references

## Acknowledgements

The authors would like to thank the referees for their many constructive comments and suggestions to improve the paper.

## Author information

Authors

### Corresponding author

Correspondence to Haidong Qu.

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

The authors declare that the study was realized in collaboration with the same responsibility. 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 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

## About this article

### Cite this article

Qu, H., Liu, X. Existence of nonnegative solutions for a fractional m-point boundary value problem at resonance. Bound Value Probl 2013, 127 (2013). https://doi.org/10.1186/1687-2770-2013-127

Download citation

• Received:

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1687-2770-2013-127