# Multiplicity of positive solutions of superlinear semi-positone singular Neumann problems

## Abstract

### Introduction

Neumann boundary value problems have been studied by many authors. We are mainly interested in the semi-positone case. This paper deals with the existence and multiplicity of positive solutions of a superlinear semi-positone singular Neumann boundary value problem.

### Preliminaries

The proof of our main results relies on a nonlinear alternative of Leray-Schauder type, the method of upper and lower solutions and on a well-known fixed point theorem in cones.

### Main results

We obtained the existence of at least two different positive solutions.

## 1 Introduction

We will be concerned with the existence and multiplicity of positive solutions of the superlinear singular Neumann boundary value problem in the semi-positone case

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=g\left(x,u\right),\phantom{\rule{1em}{0ex}}xâˆˆI=\left[0,1\right],\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0.\end{array}$
(1.1)

Here the type of perturbations $g\left(x,u\right)$ may be singular near $u=0$ and $g\left(x,u\right)$ is superlinear near $u=+\mathrm{âˆž}$. From the physical point of view, $g\left(x,u\right)$ has an attractive singularity near $u=0$ if

and the superlinearity of $g\left(x,u\right)$ means that

By the semi-positone case of (1.1), we mean that $g\left(x,u\right)$ may change sign and satisfies $F\left(x,u\right)=g\left(x,u\right)+Mâ‰¥0$ where $M>0$ is a constant.

It is well known that the existence of positive solutions of boundary value problems has been studied by many authors in [1]â€“[6] and references therein. They mainly considered the case of $p\left(x\right)â‰¡1$ and $q\left(x\right)â‰¡0$. In [7], the authors studied positive solutions of Neumann boundary problems of second order impulsive differential equations in the positone case, based on a nonlinear alternative principle of Leray-Schauder type and a well-known fixed point theorem in cones. This paper attempts to study the existence and multiplicity of positive solutions of second order superlinear singular Neumann boundary value problems in the semi-positone case. The techniques we employ here involve a nonlinear result of Leray-Schauder, the well-known fixed point theorem in cones and the method of upper and lower solutions. We prove that problem (1.1) has at least two different positive solutions. Moreover, we do not take the restrictions $p\left(x\right)â‰¡1$ or $q\left(x\right)â‰¡0$.

Throughout this paper, we assume that the perturbed part $g\left(x,u\right)$ satisfies the following hypotheses:

(H1): $g\left(x,u\right)âˆˆC\left(IÃ—{R}^{+},{R}^{+}\right)$, $p\left(x\right)âˆˆ{C}^{1}\left(I\right)$, $q\left(x\right)âˆˆC\left(I\right)$, $p\left(x\right)>0$, $q\left(x\right)>0$.

(H2): There exists a constant $M>0$ such that $F\left(x,u\right)=g\left(x,u\right)+Mâ‰¥0$ for all $xâˆˆI$ and $uâˆˆ\left(0,\mathrm{âˆž}\right)$.

In Section 2, we perform a study of the sign of the Greenâ€™s function of the corresponding linear problems

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=h\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0.\end{array}$
(1.2)

In detail, we construct the Greenâ€™s function $G\left(x,y\right)$ and give a sufficient condition to ensure $G\left(x,y\right)$ is positive. This fact is crucial for our arguments. We denote

$A=\underset{\left(x,y\right)âˆˆIÃ—I}{min}G\left(x,y\right),\phantom{\rule{2em}{0ex}}B=\underset{\left(x,y\right)âˆˆIÃ—I}{max}G\left(x,y\right),\phantom{\rule{2em}{0ex}}\mathrm{Ïƒ}=A/B.$
(1.3)

We also use $\mathrm{Ï‰}\left(x\right)$ to denote the unique solution of (1.2) with $h\left(x\right)=1$, $\mathrm{Ï‰}\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)\phantom{\rule{0.2em}{0ex}}dy$. In Section 3, we state and prove the main results of this paper.

## 2 Preliminaries

For the readerâ€™s convenience we introduce some results of Greenâ€™s functions. Let $Q=IÃ—I$, ${Q}_{1}=\left\{\left(x,y\right)âˆˆQ|0â‰¤xâ‰¤yâ‰¤1\right\}$, ${Q}_{2}=\left\{\left(x,y\right)âˆˆQ|0â‰¤yâ‰¤xâ‰¤1\right\}$.

Considering the homogeneous boundary value problem

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=0,\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0,\end{array}$
(2.1)

and let $G\left(x,y\right)$ be the Greenâ€™s function of problem (2.1). Then $G\left(x,y\right)$ can be written as

$G\left(x,y\right)=\left\{\begin{array}{ll}\frac{m\left(x\right)n\left(y\right)}{\mathrm{Ï‰}},& \left(x,y\right)âˆˆ{Q}_{1},\\ \frac{m\left(y\right)n\left(x\right)}{\mathrm{Ï‰}},& \left(x,y\right)âˆˆ{Q}_{2},\end{array}$
(2.2)

where m and n are linearly independent, and m, n and Ï‰ satisfy the following lemma.

### Lemma 2.1

[7]

Suppose that (H1) holds and problem (2.1) has only zero solution, then there exist two functions$m\left(x\right)$and$n\left(x\right)$satisfying:

1. (i)

$m\left(x\right)âˆˆ{C}^{2}\left(I,R\right)$ is increasing and $m\left(x\right)>0$, $xâˆˆI$;

2. (ii)

$n\left(x\right)âˆˆ{C}^{2}\left(I,R\right)$ is decreasing and $n\left(x\right)>0$, $xâˆˆI$;

3. (iii)

$Lmâ‰¡âˆ’{\left(p\left(x\right){m}^{â€²}\right)}^{â€²}+q\left(x\right)m=0$, $m\left(0\right)=1$, ${m}^{â€²}\left(0\right)=0$;

4. (iv)

$Lnâ‰¡âˆ’{\left(p\left(x\right){n}^{â€²}\right)}^{â€²}+q\left(x\right)n=0$, $n\left(1\right)=1$, ${n}^{â€²}\left(1\right)=0$;

5. (v)

$\mathrm{Ï‰}â‰¡p\left(x\right)\left({m}^{â€²}\left(x\right)n\left(x\right)âˆ’m\left(x\right){n}^{â€²}\left(x\right)\right)$ is a positive constant.

### Lemma 2.2

[7]

The Greenâ€™s function$G\left(x,y\right)$defined by (2.2) has the following properties:

1. (i)

$G\left(x,y\right)$ is continuous in Q;

2. (ii)

$G\left(x,y\right)$ is symmetrical on Q;

3. (iii)

$G\left(x,y\right)$ has continuous partial derivatives on ${Q}_{1}$, ${Q}_{2}$;

4. (iv)

For each fixed $yâˆˆI$, $G\left(x,y\right)$ satisfies $LG\left(x,y\right)=0$ for , $xâˆˆI$. Moreover, ${G}_{x}^{â€²}\left(0,y\right)={G}_{x}^{â€²}\left(1,y\right)=0$ for $yâˆˆ\left(0,1\right)$.

5. (v)

For $x=y$, ${G}_{x}^{â€²}$ has discontinuity point of the first kind, and

${G}_{x}^{â€²}\left(y+0,y\right)âˆ’{G}_{x}^{â€²}\left(yâˆ’0,y\right)=âˆ’\frac{1}{p\left(y\right)},\phantom{\rule{1em}{0ex}}yâˆˆ\left(0,1\right).$

### Lemma 2.3

[8]

Suppose that conditions in Lemma  2.1hold and$h:Iâ†’R$is continuous. Then the problem

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=h\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0,\end{array}$
(2.3)

has a unique solution, which can be written as

$u\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)h\left(y\right)\phantom{\rule{0.2em}{0ex}}dy.$
(2.4)

Next we state the theorem of fixed points in cones, which will be used in Section 3.

### Theorem 2.1

[9]

Let X be a Banach space and K (âŠ‚X) be a cone. Assume that${\mathrm{Î©}}_{1}$, ${\mathrm{Î©}}_{2}$are open subsets of X with$0âˆˆ{\mathrm{Î©}}_{1}$, ${\stackrel{Â¯}{\mathrm{Î©}}}_{1}âŠ‚{\mathrm{Î©}}_{2}$, and let

$T:Kâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{2}\mathrm{âˆ–}{\mathrm{Î©}}_{1}\right)â†’K$

be a continuous and compact operator such that either

1. (i)

$âˆ¥Tuâˆ¥â‰¥âˆ¥uâˆ¥$, $uâˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{1}$ and $âˆ¥Tuâˆ¥â‰¤âˆ¥uâˆ¥$, $uâˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{2}$; or

2. (ii)

$âˆ¥Tuâˆ¥â‰¤âˆ¥uâˆ¥$, $uâˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{1}$ and $âˆ¥Tuâˆ¥â‰¥âˆ¥uâˆ¥$, $uâˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{2}$.

Then T has a fixed point in$Kâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{2}\mathrm{âˆ–}{\mathrm{Î©}}_{1}\right)$.

In applications below, we take $X=C\left(I\right)$ with the supremum norm $âˆ¥â‹\dots âˆ¥$ and define

(2.5)

One may readily verify that K is a cone in X. Now suppose that $F:IÃ—Râ†’\left[0,\mathrm{âˆž}\right)$ is continuous and define an operator $T:Xâ†’X$ by

$\left(Tu\right)\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,u\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy$
(2.6)

for $uâˆˆX$ and $xâˆˆ\left[0,1\right]$.

### Lemma 2.4

T is well defined and maps X into K. Moreover, T is continuous and completely continuous.

## 3 Main results

In this section we establish the existence and multiplicity of positive solutions to (1.1). Since we are mainly interested in the attractive-superlinear nonlinearities $g\left(x,u\right)$ in the semi-positone case, we assume that the hypotheses of the following theorem are satisfied.

### Theorem 3.1

Suppose that (H1) and (H2) hold. Furthermore, assume the following:

(H3): There exist continuous, non-negative functions$f\left(u\right)$and$g\left(u\right)$such that

and$f\left(u\right)>0$is non-increasing and$h\left(u\right)/f\left(u\right)$is non-decreasing in$uâˆˆ\left(0,\mathrm{âˆž}\right)$.

(H4): There exists$r>\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}}$such that$\frac{r}{f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left\{1+\frac{h\left(r\right)}{f\left(r\right)}\right\}}>âˆ¥\mathrm{Ï‰}âˆ¥$.

(H5): There exists a constant$A>M$, $\mathrm{Îµ}>0$such that

Then problem (1.1) has at least one positive solution$vâˆˆC\left(I\right)$with$0<âˆ¥v+M\mathrm{Ï‰}âˆ¥.

Before we present the proof of Theorem 3.1, we state and prove some facts.

First, it is easy to see that we can take $c>0$ and ${n}_{0}>1$ such that

$câˆ¥\mathrm{Ï‰}âˆ¥
(3.1)
$\frac{1}{{n}_{0}}
(3.2)

### Lemma 3.1

Suppose that (H1)-(H5) hold, then$\mathrm{Î±}\left(x\right)=\left(M+c\right)\mathrm{Ï‰}\left(x\right)$is a strict lower solution to the problem

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u={F}_{n}\left(x,uâˆ’M\mathrm{Ï‰}\left(x\right)\right),\phantom{\rule{1em}{0ex}}xâˆˆI,n>{n}_{0},\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0,\end{array}$
(3.3)

where${F}_{n}\left(x,u\right)=F\left(x,max\left\{u,\frac{1}{n}\right\}\right)$, $\left(x,u\right)âˆˆIÃ—R$.

### Proof

It is easy to see that ${\mathrm{Î±}}^{â€²}\left(0\right)=\left(M+c\right){\mathrm{Ï‰}}^{â€²}\left(0\right)=0$ and ${\mathrm{Î±}}^{â€²}\left(1\right)=\left(M+c\right){\mathrm{Ï‰}}^{â€²}\left(1\right)=0$.

Since $\mathrm{Î±}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)=c\mathrm{Ï‰}\left(x\right)â‰¥c\mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥>\frac{1}{{n}_{0}}â‰¥\frac{1}{n}$, and using (3.1), we have $\mathrm{Îµ}>\mathrm{Î±}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)=c\mathrm{Ï‰}\left(x\right)â‰¥\frac{1}{n}>0$.

By assumption (H5), we have

${F}_{n}\left(x,\mathrm{Î±}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)>A,\phantom{\rule{1em}{0ex}}\mathrm{âˆ€}n>{n}_{0}.$

This implies that $\mathrm{Î±}\left(x\right)$ is a strict lower solution to (3.3).â€ƒâ–¡

### Lemma 3.2

Suppose that (H1)-(H5) hold. Then the problem

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u={f}_{n}\left(uâˆ’M\mathrm{Ï‰}\left(x\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0,\end{array}$
(3.4)

has at least one positive solution${\mathrm{Î²}}_{n}\left(x\right)$with$âˆ¥{\mathrm{Î²}}_{n}âˆ¥.

### Proof

The existence is proved using the Leray-Schauder alternative principle together with a truncation technique.

Since (H4) holds, we have

$âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right)

Consider the family of problems

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=\mathrm{Î»}{f}_{n}\left(uâˆ’M\mathrm{Ï‰}\left(x\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{u}^{â€²}\left(1\right)=0,\end{array}$
(3.5)

where $\mathrm{Î»}âˆˆI$ and ${f}_{n}\left(u\right)=f\left(max\left\{u,1/n\right\}\right)$, $\left(x,u\right)âˆˆIÃ—R$. ${f}_{n}\left(u\right)$ is non-increasing.

Problem (3.5) is equivalent to the following fixed point problem in $C\left[0,1\right]$

$\mathrm{Î²}=\mathrm{Î»}{T}_{n}\mathrm{Î²},$
(3.6)

where ${T}_{n}$ is defined by

${T}_{n}\left(\mathrm{Î²}\left(x\right)\right)={âˆ«}_{0}^{1}G\left(x,y\right){f}_{n}\left(\mathrm{Î²}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left(1+h\left(r\right)/f\left(r\right)\right)\phantom{\rule{0.2em}{0ex}}dy.$
(3.7)

We claim that any fixed point Î² of (3.6) for any $\mathrm{Î»}âˆˆ\left[0,1\right]$ must satisfy . Otherwise, assume that Î² is a solution of (3.6) for some $\mathrm{Î»}âˆˆ\left[0,1\right]$ such that $âˆ¥\mathrm{Î²}âˆ¥=r$. Note that ${f}_{n}\left(x,u\right)â‰¥0$. By Lemma 3.1, for all x, $\mathrm{Î²}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥â‰¥1/n$. Hence, for all x,

$\mathrm{Î²}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥1/n\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\mathrm{Î²}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥.$
(3.8)

Then we have, for all x,

$\begin{array}{rcl}\mathrm{Î²}\left(x\right)& =& \mathrm{Î»}{âˆ«}_{0}^{1}G\left(x,y\right){f}_{n}\left(\mathrm{Î²}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(\mathrm{Î²}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right).\end{array}$
(3.9)

Therefore,

$r=âˆ¥\mathrm{Î²}âˆ¥â‰¤âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right)

This is a contradiction and the claim is proved.â€ƒâ–¡

From this claim, the nonlinear alternative of Leray-Schauder guarantees that problem (3.6) (with $\mathrm{Î»}=1$) has a fixed point, denoted by ${\mathrm{Î²}}_{n}$, in ${B}_{r}$, i.e., problem (3.4) has a positive solution ${\mathrm{Î²}}_{n}$ with $âˆ¥{\mathrm{Î²}}_{n}âˆ¥. (In fact, it is easy to see that ${\mathrm{Î²}}_{n}\left(x\right)â‰¥1/n$ with .)

### Lemma 3.3

Suppose that (H1)-(H5) hold, then${\mathrm{Î²}}_{n}\left(x\right)$is an upper solution of problem (3.3).

### Proof

By Lemma 3.2 we know that ${\mathrm{Î²}}_{n}\left(x\right)$ is a solution to equation (3.4).

If ${\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥\frac{1}{n}$, then

$\begin{array}{rcl}{F}_{n}\left(x,{\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)& =& F\left(x,{\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)\\ â‰¤& f\left({\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)\left(1+\frac{h\left({\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)}{f\left({\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)}\right)\\ â‰¤& {f}_{n}\left({\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right).\end{array}$
(3.10)

If ${\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¤\frac{1}{n}$, then

$\begin{array}{rcl}{F}_{n}\left(x,{\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)& =& F\left(x,\frac{1}{n}\right)â‰¤f\left(\frac{1}{n}\right)\left(1+\frac{h\left(\frac{1}{n}\right)}{f\left(\frac{1}{n}\right)}\right)\\ â‰¤& {f}_{n}\left({\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right).\end{array}$
(3.11)

Since ${\mathrm{Î²}}_{n}^{â€²}\left(0\right)={\mathrm{Î²}}_{n}^{â€²}\left(1\right)=0$, we have

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){\mathrm{Î²}}_{n}^{â€²}\left(x\right)\right)}^{â€²}+q\left(x\right){\mathrm{Î²}}_{n}\left(x\right)â‰¥{F}_{n}\left(x,{\mathrm{Î²}}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {\mathrm{Î²}}_{n}^{â€²}\left(0\right)=0,\phantom{\rule{2em}{0ex}}{\mathrm{Î²}}_{n}^{â€²}\left(1\right)=0.\end{array}$

This implies that ${\mathrm{Î²}}_{n}\left(x\right)$ is an upper solution of problem (3.3).â€ƒâ–¡

### Lemma 3.4

Suppose that (H1)-(H5) hold, then${\mathrm{Î²}}_{n}\left(x\right)â‰¥\mathrm{Î±}\left(x\right)$ ($n>{n}_{0}$).

### Proof

Let $z\left(x\right)=\mathrm{Î±}\left(x\right)âˆ’{\mathrm{Î²}}_{n}\left(x\right)$, we will prove $z\left(x\right)â‰¤0$. If this is not true for $n>{n}_{0}$, there exists ${x}_{0}âˆˆ\left[0,1\right]$ such that $z\left({x}_{0}\right)=maxz\left(x\right)>0$, ${z}^{â€²}\left({x}_{0}\right)=0$, ${z}^{â€³}\left({x}_{0}\right)â‰¤0$. Then ${\left(p\left({x}_{0}\right){z}^{â€²}\left({x}_{0}\right)\right)}^{â€²}â‰¤0$.

Since $\mathrm{Î±}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)=c\mathrm{Ï‰}\left({x}_{0}\right)â‰¥c\mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥>\frac{1}{{n}_{0}}â‰¥\frac{1}{n}$, $\mathrm{Î±}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)â‰¤câˆ¥\mathrm{Ï‰}âˆ¥<\mathrm{Îµ}$, and ${f}_{n}\left(u\right)$ is non-increasing, we have

$\begin{array}{rl}{f}_{n}\left(\mathrm{Î²}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)\right)& â‰¥{f}_{n}\left(\mathrm{Î±}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)\right)\\ =f\left(\mathrm{Î±}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)\right)\\ >A\end{array}$
(3.12)

and

$\begin{array}{rcl}âˆ’{\left(p\left({x}_{0}\right){z}^{â€²}\left({x}_{0}\right)\right)}^{â€²}+q\left({x}_{0}\right)z\left({x}_{0}\right)& =& M+câˆ’{f}_{n}\left({\mathrm{Î²}}_{n}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right)\\ â‰¤& M+câˆ’{f}_{n}\left(\mathrm{Î±}\left({x}_{0}\right)âˆ’M\mathrm{Ï‰}\left({x}_{0}\right)\right)\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right)\\ â‰¤& M+câˆ’A\left(1+\frac{h\left(r\right)}{f\left(r\right)}\right)<0.\end{array}$
(3.13)

This is a contradiction and completes the proof of Lemma 3.4.â€ƒâ–¡

### Proof of Theorem 3.1

To show (1.1) has a positive solution, we will show

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=F\left(x,u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)={u}^{â€²}\left(1\right)=0\end{array}$
(3.14)

has a solution $uâˆˆC\left(I\right)$, $u\left(x\right)>M\mathrm{Ï‰}\left(x\right)$, $xâˆˆI$.

If this is true, then $v\left(x\right)=u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)$ is a positive solution of (1.1) since

$\begin{array}{rcl}âˆ’{\left(p\left(x\right){v}^{â€²}\right)}^{â€²}+q\left(x\right)v& =& âˆ’{\left(p\left(x\right){u}^{â€²}\left(x\right)âˆ’p\left(x\right)M{\mathrm{Ï‰}}^{â€²}\left(x\right)\right)}^{â€²}+q\left(x\right)u\left(x\right)âˆ’Mq\left(x\right)\mathrm{Ï‰}\left(x\right)\\ =& âˆ’{\left(p\left(x\right){u}^{â€²}\left(x\right)\right)}^{â€²}+q\left(x\right)u\left(x\right)âˆ’M\\ =& F\left(x,u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)âˆ’M\\ =& g\left(x,u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)\\ =& g\left(x,v\left(x\right)\right).\end{array}$

As a result, we will only concentrate our study on (3.14).

By Lemmas 3.1-3.4 and the upper and lower solutions method, we know that (3.3) has a solution ${u}_{n}$ with $\left(M+c\right)\mathrm{Ï‰}\left(x\right)=\mathrm{Î±}\left(x\right)â‰¤{u}_{n}\left(x\right)â‰¤{\mathrm{Î²}}_{n}\left(x\right). Thus we have ${u}_{n}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥c\mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥$, ${u}_{n}\left(x\right)â‰¤{\mathrm{Î²}}_{n}\left(x\right).

By the fact that ${u}_{n}$ is a bounded and equi-continuous family on $\left[0,1\right]$, the Arzela-Ascoli theorem guarantees that ${\left\{{u}_{n}\right\}}_{nâˆˆ{N}_{0}}$ has a subsequence ${\left\{{u}_{{n}_{k}}\right\}}_{kâˆˆN}$, which converges uniformly on $\left[0,1\right]$ to a function $uâˆˆC\left[0,1\right]$. Then u satisfies $u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥c\mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥$, $u\left(x\right) for all x. Moreover, ${u}_{{n}_{k}}$ satisfies the integral equation

${u}_{{n}_{k}}\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,{u}_{{n}_{k}}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy.$

Letting $kâ†’\mathrm{âˆž}$, we arrive at

$u\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,u\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy,$

where the uniform continuity of $F\left(x,u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)\right)$ on $\left[0,1\right]Ã—\left[c\mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥,r\right]$ is used. Therefore, u is a positive solution of (3.14).

Finally, it is not difficult to show that $âˆ¥uâˆ¥. Assume otherwise: note that $F\left(x,u\right)â‰¥0$. By Lemma 2.4, for all x, $u\left(x\right)â‰¥1/n$ and $râ‰¥u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥â‰¥1/n$. Hence, for all x,

$u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥1/n\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}râ‰¥u\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¥\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥.$
(3.15)

Then we have for all x,

$\begin{array}{rcl}u\left(x\right)& =& {âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,u\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(u\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left(1+\frac{h\left(u\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}{f\left(u\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right).\end{array}$
(3.16)

Therefore,

$r=âˆ¥uâˆ¥â‰¤âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left(1+h\left(r\right)/f\left(r\right)\right).$

This is a contradiction and completes the proof of Theorem 3.1.â€ƒâ–¡

### Corollary 3.1

Let us consider the following boundary value problem

$\left\{\begin{array}{l}âˆ’{\left(p\left(x\right){u}^{â€²}\right)}^{â€²}+q\left(x\right)u=\mathrm{Î¼}\left({u}^{âˆ’\mathrm{Î±}}+{u}^{\mathrm{Î²}}+k\left(x\right)\right),\phantom{\rule{1em}{0ex}}xâˆˆI,\\ {u}^{â€²}\left(0\right)={u}^{â€²}\left(1\right)=0,\end{array}$
(3.17)

where$\mathrm{Î±}>0$, $\mathrm{Î²}>0$and$k:\left[0,1\right]â†’R$is continuous, $\mathrm{Î¼}>0$is chosen such that

$\mathrm{Î¼}<\underset{uâˆˆ\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}},\mathrm{âˆž}\right)}{sup}\frac{u{\left(\mathrm{Ïƒ}uâˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}^{\mathrm{Î±}}}{âˆ¥\mathrm{Ï‰}âˆ¥\left\{1+2H{u}^{\mathrm{Î±}}+{u}^{\mathrm{Î±}+\mathrm{Î²}}\right\}},$
(3.18)

here$H=âˆ¥kâˆ¥$. Then problem (3.17) has a positive solution$uâˆˆC\left[0,1\right]$.

### Proof

We will apply Theorem 3.1 with $M=\mathrm{Î¼}H$ and

$f\left(u\right)={f}_{1}\left(u\right)=\mathrm{Î¼}{u}^{âˆ’\mathrm{Î±}},\phantom{\rule{2em}{0ex}}h\left(u\right)=\mathrm{Î¼}\left({u}^{\mathrm{Î²}}+2H\right),\phantom{\rule{2em}{0ex}}{h}_{1}\left(u\right)=\mathrm{Î¼}{u}^{\mathrm{Î²}}.$

Clearly, (H1)-(H3) and (H5) are satisfied.

Set

$T\left(u\right)=\frac{u{\left(\mathrm{Ïƒ}uâˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}^{\mathrm{Î±}}}{âˆ¥\mathrm{Ï‰}âˆ¥\left\{1+2H{u}^{\mathrm{Î±}}+{u}^{\mathrm{Î±}+\mathrm{Î²}}\right\}},\phantom{\rule{1em}{0ex}}uâˆˆ\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}},+\mathrm{âˆž}\right).$

Since $T\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}}\right)=0$, $T\left(\mathrm{âˆž}\right)=0$, then there exists $râˆˆ\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}},\mathrm{âˆž}\right)$ such that

$T\left(r\right)=\underset{uâˆˆ\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}},\mathrm{âˆž}\right)}{sup}\frac{u{\left(\mathrm{Ïƒ}uâˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}^{\mathrm{Î±}}}{âˆ¥\mathrm{Ï‰}âˆ¥\left\{1+2H{u}^{\mathrm{Î±}}+{u}^{\mathrm{Î±}+\mathrm{Î²}}\right\}}.$

This implies that there exists $râˆˆ\left(\frac{Mâˆ¥\mathrm{Ï‰}âˆ¥}{\mathrm{Ïƒ}},\mathrm{âˆž}\right)$ such that $\mathrm{Î¼}<\frac{r{\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}^{\mathrm{Î±}}}{âˆ¥\mathrm{Ï‰}âˆ¥\left\{1+{r}^{\mathrm{Î±}+\mathrm{Î²}}+2H{r}^{\mathrm{Î±}}\right\}}$, so (H4) is satisfied.

Since $\mathrm{Î²}>1$. Thus all the conditions of Theorem 3.1 are satisfied, so the existence is guaranteed.â€ƒâ–¡

Next we will find another positive solution to problem (1.1) by using Theorem 2.1.

### Theorem 3.2

Suppose that conditions (H1)-(H5) hold. In addition, it is assumed that the following two conditions are satisfied:

(H6): $F\left(x,u\right)=g\left(x,u\right)+Mâ‰¥{f}_{1}\left(u\right)+{h}_{1}\left(u\right)$for some continuous non-negative functions${f}_{1}\left(u\right)$and${h}_{1}\left(u\right)$with the properties that${f}_{1}\left(u\right)>0$is non-increasing and${h}_{1}\left(u\right)/{f}_{1}\left(u\right)$is non-decreasing.

(H7): There exists$R>r$such that$\frac{R}{\mathrm{Ïƒ}{f}_{1}\left(R\right)\left\{1+\frac{{h}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}{{f}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}\right\}}<âˆ¥\mathrm{Ï‰}âˆ¥$.

Then, besides the solution u constructed in Theorem  3.1, problem (1.1) has another positive solution$\stackrel{Ëœ}{v}âˆˆC\left[0,1\right]$with$r<âˆ¥\stackrel{Ëœ}{v}+M\mathrm{Ï‰}âˆ¥â‰¤R$.

### Proof

To show (1.1) has a positive solution, we will show (3.14) has a solution $\stackrel{Ëœ}{u}âˆˆC\left[0,1\right]$ with $\stackrel{Ëœ}{u}\left(x\right)>M\mathrm{Ï‰}\left(x\right)$ for $xâˆˆ\left[0,1\right]$ and $râ‰¤âˆ¥\stackrel{Ëœ}{u}âˆ¥â‰¤R$.

Let $X=C\left[0,1\right]$ and K be a cone in X defined by (2.5). Let

${\mathrm{Î©}}_{r}=\left\{\stackrel{Ëœ}{u}âˆˆU:âˆ¥\stackrel{Ëœ}{u}âˆ¥

and define the operator $T:Kâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{R}âˆ–{\mathrm{Î©}}_{r}\right)â†’K$ by

$\left(T\stackrel{Ëœ}{u}\right)\left(x\right)={âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy,\phantom{\rule{1em}{0ex}}0â‰¤xâ‰¤1,$
(3.19)

where $G\left(x,y\right)$ is as in (2.2).

For each $\stackrel{Ëœ}{u}âˆˆKâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{R}âˆ–{\mathrm{Î©}}_{r}\right)râ‰¤âˆ¥\stackrel{Ëœ}{u}âˆ¥â‰¤R$, we have $0<\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥â‰¤\stackrel{Ëœ}{u}\left(x\right)âˆ’M\mathrm{Ï‰}\left(x\right)â‰¤R$. Since $F:\left[0,1\right]Ã—\left[\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥,R\right]â†’\left[0,\mathrm{âˆž}\right)$ is continuous, it follows from Lemma 2.4 that the operator $T:Kâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{R}âˆ–{\mathrm{Î©}}_{r}\right)â†’K$ is well defined, is continuous and completely continuous.

First we show

(3.20)

In fact, if $\stackrel{Ëœ}{u}âˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{r}$, then $âˆ¥\stackrel{Ëœ}{u}âˆ¥=r$ and $\stackrel{Ëœ}{u}\left(x\right)â‰¥\mathrm{Ïƒ}r>Mâˆ¥\mathrm{Ï‰}âˆ¥$ for $xâˆˆI$. So we have

$\begin{array}{rcl}\left(T\stackrel{Ëœ}{u}\right)\left(x\right)& =& {âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left\{1+\frac{h\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}{f\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}\right\}\phantom{\rule{0.2em}{0ex}}dy\\ â‰¤& {âˆ«}_{0}^{1}G\left(x,y\right)f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left\{1+\frac{h\left(r\right)}{f\left(r\right)}\right\}\phantom{\rule{0.2em}{0ex}}dy\\ =& \mathrm{Ï‰}\left(x\right)f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left\{1+\frac{h\left(r\right)}{f\left(r\right)}\right\}\\ â‰¤& âˆ¥\mathrm{Ï‰}âˆ¥f\left(\mathrm{Ïƒ}râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)\left\{1+\frac{h\left(r\right)}{f\left(r\right)}\right\}\\ <& r=âˆ¥\stackrel{Ëœ}{u}âˆ¥.\end{array}$

This implies $âˆ¥T\stackrel{Ëœ}{u}âˆ¥<âˆ¥\stackrel{Ëœ}{u}âˆ¥$, i.e., (3.20) holds.

Next we show

(3.21)

To see this, let $\stackrel{Ëœ}{u}âˆˆKâˆ©\mathrm{âˆ‚}{\mathrm{Î©}}_{R}$, then $âˆ¥\stackrel{Ëœ}{u}âˆ¥=R$ and $\stackrel{Ëœ}{u}\left(x\right)â‰¥\mathrm{Ïƒ}R>Mâˆ¥\mathrm{Ï‰}âˆ¥$ for $xâˆˆI$. As a result, it follows from (H6) and (H7) that, for $xâˆˆI$,

$\begin{array}{rcl}\left(T\stackrel{Ëœ}{u}\right)\left(x\right)& =& {âˆ«}_{0}^{1}G\left(x,y\right)F\left(y,\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\phantom{\rule{0.2em}{0ex}}dy\\ â‰¥& {âˆ«}_{0}^{1}G\left(x,y\right){f}_{1}\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)\left\{1+\frac{{h}_{1}\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}{{f}_{1}\left(\stackrel{Ëœ}{u}\left(y\right)âˆ’M\mathrm{Ï‰}\left(y\right)\right)}\right\}\phantom{\rule{0.2em}{0ex}}dy\\ â‰¥& {âˆ«}_{0}^{1}G\left(x,y\right){f}_{1}\left(R\right)\left\{1+\frac{{h}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}{{f}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}\right\}\phantom{\rule{0.2em}{0ex}}dy\\ =& \mathrm{Ï‰}\left(x\right){f}_{1}\left(R\right)\left\{1+\frac{{h}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}{{f}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}\right\}\\ â‰¥& \mathrm{Ïƒ}âˆ¥\mathrm{Ï‰}âˆ¥{f}_{1}\left(R\right)\left\{1+\frac{{h}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}{{f}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}\right\}\\ >& R=âˆ¥\stackrel{Ëœ}{u}âˆ¥.\end{array}$

Now (3.20), (3.21) and Theorem 2.1 guarantee that T has a fixed point $\stackrel{Ëœ}{u}âˆˆKâˆ©\left({\stackrel{Â¯}{\mathrm{Î©}}}_{R}âˆ–{\mathrm{Î©}}_{r}\right)$ with $râ‰¤âˆ¥\stackrel{Ëœ}{u}âˆ¥â‰¤R$. Clearly, this $\stackrel{Ëœ}{u}$ is a positive solution of (3.14). This completes the proof of Theorem 3.2.â€ƒâ–¡

Let us consider again example (3.17) in Corollary 3.1 for the superlinear case, i.e., $\mathrm{Î±}>0$, $\mathrm{Î²}>1$ and $k:\left[0,1\right]â†’R$ is continuous, $\mathrm{Î¼}>0$ is chosen such that (3.18) holds, here $H=âˆ¥kâˆ¥$. Then problem (3.17) has a positive solution $\stackrel{Ëœ}{u}âˆˆC\left[0,1\right]$. Clearly, (H1)-(H6) are satisfied.

Since $\mathrm{Î²}>1$, then (H7) is satisfied for R large enough because when $Râ†’\mathrm{âˆž}$,

$\frac{R}{\mathrm{Ïƒ}{f}_{1}\left(R\right)\left\{1+\frac{{h}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}{{f}_{1}\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}\right\}}=\frac{{R}^{\mathrm{Î±}+1}}{\mathrm{Ïƒ}\mathrm{Î¼}\left(1+{\left(\mathrm{Ïƒ}Râˆ’Mâˆ¥\mathrm{Ï‰}âˆ¥\right)}^{\mathrm{Î±}+\mathrm{Î²}}\right)}â†’0.$

Thus all the conditions of Theorem 3.2 are satisfied, so the existence is guaranteed.

### Corollary 3.2

Assume that$\mathrm{Î±}>0$, $\mathrm{Î²}>1$and$k:Iâ†’R$is continuous, $\mathrm{Î¼}>0$is chosen such that (3.18) holds. Take$H=âˆ¥kâˆ¥$. Then problem (3.17) has at least two different positive solutions.

## References

1. Hwang B, Lee S, Kim Y:Existence of an unbounded branch of the set of solutions for Neumann problems involving the $p\left(x\right)$-Laplacian. Bound. Value Probl. 2014., 2014: 10.1186/1687-2770-2014-92

2. Chu J, Jiang D: Multiplicity of positive solutions to second order differential equations with Neumann boundary conditions. Appl. Math. 2005, 32: 203-303.

3. Dong Y: A Neumann problem at resonance with the nonlinearity restricted in one direction. Nonlinear Anal. 2002, 51: 739-747. 10.1016/S0362-546X(01)00859-8

4. Li X, Jiang D: Optimal existence theory for single and multiple positive solutions to second order Neumann boundary value problems. Indian J. Pure Appl. Math. 2004, 35: 573-586.

5. Sun J, Li W: Multiple positive solutions to second order Neumann boundary value problems. Appl. Math. Comput. 2003, 146: 187-194. 10.1016/S0096-3003(02)00535-0

6. Lian H, Zhao J, Agarwal R: Upper and lower solution method for n th-order BVPs on an infinite interval. Bound. Value Probl. 2014., 2014: 10.1186/1687-2770-2014-100

7. Li Q, Cong F, Jang D: Multiplicity of positive solutions to second order Neumann boundary value problems with impulse actions. Appl. Math. Comput. 2008, 206: 810-817. 10.1016/j.amc.2008.09.045

8. Guo K, Sun J, Liu Z: Nonlinear Ordinary Differential Equations Functional Technologies. Shan Dong Science Technology, Shan Dong; 1995.

9. Deimling K: Nonlinear Functional Analysis. Springer, New York; 1985.

## Acknowledgements

The authors express their thanks to the referee for his valuable suggestions. The work was supported by the National Natural Science Foundation of China (No: 11171350).

## Author information

Authors

### Corresponding author

Correspondence to Qiuyue Li.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Li, Q., Cong, F., Li, Z. et al. Multiplicity of positive solutions of superlinear semi-positone singular Neumann problems. Bound Value Probl 2014, 217 (2014). https://doi.org/10.1186/s13661-014-0217-0