Skip to main content

Theory and Modern Applications

Positive solutions for one-dimensional third-order p-Laplacian boundary value problems

Abstract

In this paper, we give improved results on the existence of positive solutions for the following one-dimensional p-Laplacian equation with nonlinear boundary conditions:

$$ \textstyle\begin{cases} (\phi_{p} ( y'' )) ' + b ( t ) g ( t, y ( t ) ) = 0, \quad 0 < t < 1, \\ \lambda_{1}\phi_{p} ( y ( 0 ) ) - \beta_{1} \phi_{p} ( y' ( 0 ) ) = 0, \\ \lambda_{2}\phi_{p} ( y ( 1 ) ) + \beta_{2} \phi_{p} ( y' ( 1 ) ) = 0,\qquad y'' ( 0 ) = 0, \end{cases} $$

where \(\phi_{p} ( s ) = | s | ^{ p-2 } s\), \(p >1 \). Constructing an available integral operator and combining fixed point index theory, we establish some optimal criteria for the existence of bounded positive solutions. The interesting point of the results is that the term \(b ( t ) \) may be singular at \(t=0\) and/or \(t=1\). Moreover, the nonlinear term \(g(t, y)\) is also allowed to have singularity at \(y=0\). In particular, our results extend and unify some known results.

1 Introduction

In this paper, we investigate the existence of positive solutions for the following one-dimensional singular p-Laplacian equation with nonlinear boundary conditions:

$$ \textstyle\begin{cases} (\phi_{p} ( y'' )) ' + b ( t ) g ( t, y ( t ) ) = 0,\quad 0 < t < 1, \\ \lambda_{1}\phi_{p} ( y ( 0 ) ) - \beta_{1} \phi_{p} ( y' ( 0 ) ) = 0, \\ \lambda_{2}\phi_{p} ( y ( 1 ) ) + \beta_{2} \phi_{p} ( y' ( 1 ) ) = 0,\qquad y'' ( 0 ) = 0, \end{cases} $$
(1.1)

where \(\phi_{p} ( s ) = | s |^{p-2}s\), \(p > 1 \), \(\phi_{q} = (\phi _{p} ) ^{-1} \), \(\frac{1}{p} + \frac{1}{q} =1\), \(\lambda_{1}, \lambda_{2} > 0\), \(\beta _{1}, \beta_{2}\geq0 \), \(b \in C (0, 1)\), \(b(t)\) may be singular at \(t = 0\) and/or \(t = 1\). \(g \in C ([0, 1]\times(0, +\infty))\), and \(g(t, y)\) may be singular at \(y=0\).

Third-order p-Laplacian equations with nonlinear boundary conditions play an important role in both theory and application. They have been paid much more attention to over the years, see [1–9] and the references therein. They are often used to model various phenomena in physics, biology, chemistry, and infections diseases in the positive energy problem. However, in various situations, including the cases just mentioned above, only positive solutions are meaningful; one refers the reader to see [2–23] for some references along this line. That is why people are particularly interested in studying positive solutions. The existence of positive solutions for p-Laplacian equation boundary value problems has been studied by many authors applying various nice methods such as topological degree, the Leray-Schauder continuation theorem, coincidence degree theory and so on (see [2, 4, 5, 8–24]).

In [3], He and Ge studied the following nonlinear boundary value problem:

$$ \textstyle\begin{cases} ( \phi_{p} ( y' ) )' + q ( t ) f ( t, y ( t ) ) = 0,\quad 0 \leq t \leq1, \\ y ( 0 ) = g_{1} ( y' ( 0 ) ), \qquad y ( 1 ) + g_{2}( y' ( 1 ) ) = 0. \end{cases} $$

Their main tool was the fixed point theorem in cones due to Krasnoselskii.

In [2], He studied the existence of double positive solutions for the following nonlinear three-point boundary value problems:

$$ \textstyle\begin{cases} ( \varphi_{p} ( y' ) )' + a ( t ) f ( y ( t ) ) = 0,\quad 0 < t < 1, \\ y ( 0 ) - B_{0} ( y' ( \eta) )=0,\qquad y ( 1 ) - B_{1}( y' ( 1 ) ) = 0, \end{cases} $$

and

$$ \textstyle\begin{cases} ( \varphi_{p} ( y' )) ' + a ( t ) f ( y ( t ) ) = 0,\quad 0 < t < 1, \\ y ( 0 ) - B_{0} ( y' ( 0 ) )=0,\qquad y ( 1 ) - B_{1}( y' ( \eta) ) = 0. \end{cases} $$

He employed a three-functional fixed point theorem due to Avery and Henderson.

Applying the fixed point theorem of cone expansion and compression of norm type, Su et al. [8] presented the existence of multiple positive solutions of the following nonlinear two-point boundary value problem:

$$ \textstyle\begin{cases} ( \psi_{p} ( y' )) ' + a ( t ) f ( y ( t ) ) = 0,\quad 0 < t < 1, \\ \alpha\psi_{p}( y ( 0 )) - \beta\psi_{p} ( y' ( 0 ) )=0, \qquad \gamma\psi _{p}(y ( 1 )) + \delta\psi_{p}( y' ( 1 ) ) = 0. \end{cases} $$

Gupta and Trofimchuk [4] established prior bounds and the existence of positive solutions for the following boundary value problem:

$$ \textstyle\begin{cases} y''(t)= f (t, y ( t ), y'(t) ) + e(t),\quad 0 < t < 1, \\ y ( 0 )=0,\qquad y ( 1 ) = \sum_{i=1}^{m-2}a_{i} y ( \xi_{i} ), \end{cases} $$

where \(a_{i}\in R\), \(0 < \xi_{1} < \xi_{2} < \cdots< \xi_{m-2} < 1\), all \(a_{i}\) having the same sign, \(\alpha=\sum_{i=1}^{m-1}a_{i} > 1\), \(\sum_{i=1}^{m-2}a_{i}\xi_{i} \neq1\).

Feng and Webb [11] considered the following boundary value problem:

$$ \textstyle\begin{cases} y''(t)= f (t, y ( t ), y'(t) ) + e(t), \quad 0 < t < 1, \\ y' ( 0 )=0,\qquad y ( 1 ) = \sum_{i=1}^{m-2}a_{i} y ( \xi_{i} ). \end{cases} $$

They presented the existence results with assumptions of nonlinear growth imposed on the nonlinear term f.

Motivated by the results mentioned above, in this paper we study the existence of positive solutions for problem (1.1). We should also assert here that our results are new and generalize the results in [1–3, 9–11].

The rest of the paper is organized as follows. In Section 2, we state some preliminaries and several lemmas in this work. In Section 3, we give the main results as well as some of their proofs. The existence of multiple positive solutions is obtained in Section 4. The existence of infinite positive solutions is presented in Section 5.

2 Preliminaries

Definition 2.1

Let X be a real Banach space. A nonempty closed convex set \(P\subset X\) is called a cone provided that

  1. (i)

    \(y \in P\), \(\lambda\geq0 \) implies \(\lambda y \in P\);

  2. (i)

    \(y\in P\), \(-y\in P\) implies \(y = 0\).

Definition 2.2

Let X be a real Banach space and P be a cone in X. A mapping α is called the nonnegative continuous concave functional on P if \(\alpha: P\longrightarrow[0,+\infty)\) is continuous and

$$ \alpha\bigl(\lambda t +(1-\lambda)s\bigr) \geq\lambda\alpha(t) + (1-\lambda) \alpha(s),\quad s, t\in P, \lambda\in[0, 1]. $$

Definition 2.3

A nonzero solution is said to be a \(C[0,1]\) solution of problem (1.1). We indicate a function \(y\in C [ 0, 1 ] \cap C ^{3} ( 0, 1 ) \) satisfying problem (1.1) with \(y(t)\) not identically zero on \((0,1)\). \(y(t)\) is said to be a \(C^{1}[0,1]\) solution, we indicate that \(y'\in C [ 0, 1 ]\). \(y(t)\) is called a positive solution of problem (1.1) if \(y(t)\) is a solution of problem (1.1) and \(y(t) > 0\) for each \(t\in(0,1)\).

Let \(X=C[0,1]\) be a Banach space with the norm \(\| y \|=\sup_{0\leq t\leq1}| y(t)|\), and let \(K=\{y\in X: y(t)\geq0, 0\leq t \leq1\}\). Then K is a positive cone in X. Throughout the paper, the partial ordering is always given by K. For the concepts and properties of Krein-Kutmann theorems and fixed point index theory, one refers the reader to see [13] and [24]. For \(\nu\in(0, \frac{1}{2})\), let

$$ P=\Bigl\{ y\in K: \min_{t\in[\nu, 1-\nu]} y(t)\geq\nu\|y\|, \mbox{and } y \bigl(\lambda t + (1-\lambda) s\bigr)\geq \lambda y(t) + (1-\lambda) y(s), s, t \in[0, 1]\Bigr\} . $$

Obviously, \(P\subset K \subset X\). Denote \(P_{r} = \{ y\in P : \| y \| < r \}\), \(\partial P_{r} = \{ y\in P: \| y \| = r \}\), \(\overline{P}_{r,R} = \{ y\in P : r \leq\| y \| \leq R \}\) for any \(0 < r < R < +\infty\).

Throughout this paper, we suppose that the following conditions hold:

(A1):

\(b \in C( ( 0, 1 ), [ 0, +\infty) )\), \(b(t)\) may be singular at \(t=0\) and/or \(t=1\), \(b(t)\not\equiv 0\) and

$$ 0 < \int_{0}^{1} b(s)\,ds < +\infty. $$
(A2):

\(g(t, y)\in C([ 0,1]\times(0, +\infty); [0,+\infty))\), \(g(t, y)\) may be singular at \(y=0\) and for any \(0 < r < R < +\infty\) such that

$$ \lim_{n \rightarrow+ \infty}\sup_{y\in\overline{P}_{r, R}} \int_{E(n)} b(s)g\bigl(s, y(s)\bigr)\,ds = 0, $$

where \(E(n) = [ 0, \frac{1}{n} ]\cup[ \frac{n-1}{n}, 1 ]\).

Remark 2.1

It follows from (A2) that

$$\begin{aligned} \sup_{y\in\overline{P}_{r, R}} \int_{[0, 1]} b(s)g\bigl(s, y(s)\bigr)\,ds&= \sup _{y\in\overline{P}_{r, R}} \int_{E(n)} b(s)g\bigl(s, y(s)\bigr)\,ds +\sup _{y\in\overline{P}_{r, R}} \int_{[\frac{1}{n}, 1-\frac {1}{n}]} b(s)g\bigl(s, y(s)\bigr)\,ds \\ &< +\infty. \end{aligned}$$

Remark 2.2

It is easy to see \(\phi_{q}(s)=|s|^{q-2}s\). In fact, from \(\frac{1}{p}+\frac{1}{q}=1\), we can obtain

$$ (\phi_{q}\phi_{p}) (s)=|s|^{pq-2(p+q)+4}|s|^{p+q-4}s=|s|^{pq-(p+q)}s=s. $$

Remark 2.3

By (A1), there exists \(t_{0}\in (0, 1)\) such that \(b(t_{0})>0\). Obviously, if \(g(t, y)\) is nonsingular at \(y=0\), that is, \(g\in C([0, 1]\times(0, +\infty), [0, +\infty))\), then (A2) is satisfied.

Denote

$$\begin{aligned}& g_{0}=\lim_{u\rightarrow0}\min_{0\leq t\leq1} \frac{g(t, u)}{u^{p-1}},\qquad g_{\infty}=\lim_{u\rightarrow+\infty}\min _{0\leq t\leq1}\frac{g(t, u)}{u^{p-1}}, \\& g^{0}=\lim_{u\rightarrow0}\max_{0\leq t\leq1} \frac{g(t, u)}{u^{p-1}},\qquad g^{\infty}=\lim_{u\rightarrow+\infty}\max _{0\leq t\leq1}\frac {g(t, u)}{u^{p-1}}. \end{aligned}$$

Lemma 2.1

Suppose that condition (A1) holds. Then there exists a constant \(\nu\in(0,\frac{1}{2})\) satisfying

$$ 0< \int^{1-\nu}_{\nu}b(s)\,ds < +\infty. $$

Define a function \(f(t)\) on \([\nu, 1-\nu]\) given by

$$\begin{aligned}& f(t)=\min \biggl\{ \int^{t}_{\nu} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds, \int^{1-\nu}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds \biggr\} , \\& \quad \sigma^{*}\in(0, 1). \end{aligned}$$

Obviously, \(f(t)\) is a continuous and positive function on \([\nu, 1-\nu]\) and has its minimum and maximum on \([\nu, 1-\nu]\). Therefore, there exist positive constants \(m > M > 0\) such that \(m \leq f(t) \leq M\), \(t\in[\nu, 1-\nu]\).

Lemma 2.2

[13]

Let X be a real Banach space and P be a cone in X, with \(\Omega(P)\) being a bounded open set in P, \(\theta\in\Omega(P)\). Suppose that \(T: \overline{\Omega }(P)\rightarrow P\) is a completely continuous operator. If there exists \(u_{0}\in P\setminus\{\theta\}\) such that \(u - Tu \neq\mu u_{0}\), \(\forall u\in\partial\Omega(P)\), \(\mu\geq0\). Then the fixed point index \(i(T, \Omega(P), P)=0\).

Lemma 2.3

[13]

Let X be a Banach space and P be a cone in X with \(\Omega(P)\) being a bounded open set in P, \(\theta\in\Omega(P)\). Assume that \(T: \overline{\Omega}(P)\to P\) is a completely continuous operator. If \(Tu\neq\eta u\), \(\forall u\in\partial\Omega(P)\), \(\eta\geq1\), then the fixed point index \(i(T, \Omega(P), P)=1\).

Lemma 2.4

[13]

Let X be a real Banach space and P be a positive cone in X. Let \(\Omega(P)\) be a bounded open set in P with \(\theta\in\Omega(P)\). Suppose that \(T: \overline {\Omega}(P)\to P\) is completely continuous and satisfies the following conditions:

  1. (i)

    If \(\|Tu\| > \|u\|\), \(\forall u\in \partial\Omega(P)\), then the fixed point index \(i(T, \Omega(P), P)=0\);

  2. (ii)

    If \(\|Tu\| < \|u\|\), \(\theta\in\Omega(P)\), \(\forall u\in \partial\Omega(P)\), then the fixed point index \(i(T, \Omega(P), P)=1\).

Lemma 2.5

Let \(a\in L(0, 1)\) be positive. Then the following boundary value problem

$$\begin{aligned}& \bigl( \phi_{p} \bigl( y'' \bigr)\bigr) ' + a ( t ) = 0,\quad 0 < t < 1, \end{aligned}$$
(2.1)
$$\begin{aligned}& \textstyle\begin{cases} \lambda_{1}\phi_{p} ( y ( 0 ) ) - \beta_{1} \phi_{p} ( y' ( 0 ) ) = 0, \\ \lambda_{2}\phi_{p} ( y ( 1 ) ) + \beta_{2} \phi_{p} ( y' ( 1 ) ) = 0,\qquad y'' ( 0 ) = 0, \end{cases}\displaystyle \end{aligned}$$
(2.2)

has a unique positive solution which is given explicitly by

$$ y(t) = \textstyle\begin{cases} \phi_{q} (\frac{\beta_{1}}{\lambda_{1}}\phi_{p} (\int^{\sigma ^{*}}_{0}\phi_{q} (\int^{s}_{0}a(r)\,dr )\,ds ) ) +\int^{t}_{0}\int^{\sigma^{*}}_{s}\phi_{q}(\int^{r}_{0}a(x)\,dx)\,dr\,ds,& 0\leq t\leq\sigma^{*}, \\ \phi_{q} (\frac{\beta_{2}}{\lambda_{2}}\phi_{p} (\int ^{1}_{\sigma^{*}}\phi_{q} (\int^{s}_{0}a(r)\,dr )\,ds ) ) +\int^{1}_{t}\int^{s}_{\sigma^{*}}\phi_{q} (\int ^{r}_{0}a(x)\,dx )\,dr\,ds,& \sigma^{*}\leq t\leq1. \end{cases} $$

Proof

It follows from \(y'(t)=\int^{\sigma^{*}}_{t}\phi_{q}(\int^{r}_{0}a(x)\,dx)\,dr\) and boundary condition (2.2) that \(y' ( 0 ) > 0 \) and \(y(0)= \phi_{q} (\frac{\beta_{1}}{\lambda_{1}}\phi_{p}( y' ( 0 ) ) ) > 0\), \(y'(1) < 0 \), with \(y(1)=-\phi_{q} (\frac{\beta_{2}}{\lambda_{2}}\phi _{p}(y'(1)) ) < 0\). Then there exists a constant \(\sigma^{*}\in[0,1]\) such that \(y'(\sigma^{*})=0\).

Integrating (2.1) from 0 to t, we get

$$ \phi_{p}\bigl(y''(t)\bigr)- \phi_{p}\bigl(y''(0)\bigr)=- \int^{t}_{0}a(s)\,ds. $$

By making use of \(y''(0)=0\), we obtain

$$ y''(t)=-\phi_{q} \biggl( \int^{t}_{0}a(s)\,ds \biggr). $$
(2.3)

Integrating (2.3) from t to \(\sigma^{*}\), we have

$$ y'\bigl(\sigma^{*}\bigr)-y'(t)=- \int^{\sigma^{*}}_{t}\phi_{q} \biggl( \int ^{s}_{0}a(r)\,dr \biggr)\,ds. $$

Since \(y'(\sigma^{*})=0\), we know that

$$ y'(t)= \int^{\sigma^{*}}_{t}\phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds. $$
(2.4)

Thus

$$ y'(0)= \int^{\sigma^{*}}_{0}\phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds. $$
(2.5)

Integrating (2.4) from 0 to t, we obtain

$$ y(t)-y(0)= \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds. $$
(2.6)

In view of (2.5) and (2.6) together with boundary conditions (2.2), we have

$$\begin{aligned} y(t) =&y(0) + \int^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds \\ =&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}}\phi_{p} \bigl(y'(0)\bigr) \biggr)+ \int ^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds \\ =&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}}\phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds \biggr) \biggr) + \int^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds. \end{aligned}$$

Therefore

$$\begin{aligned} y(t) =&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int ^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds,\quad t\in \bigl[0, \sigma^{*}\bigr]. \end{aligned}$$
(2.7)

Again, integrating (2.3) from \(\sigma^{*}\) to t, we see

$$ y'(t)-y'\bigl(\sigma^{*}\bigr)=- \int^{t}_{\sigma^{*}}\phi_{q} \biggl( \int ^{s}_{0}a(r)\,dr \biggr)\,ds. $$

From \(y'(\sigma^{*})=0\), we have

$$ y'(t)=- \int^{t}_{\sigma^{*}}\phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds. $$
(2.8)

Then

$$ y'(1)=- \int^{1}_{\sigma^{*}}\phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds. $$
(2.9)

Integrating (2.7) from t to 1, we get

$$ y(1)-y(t)=- \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds. $$

Thus

$$ y(t)=y(1)+ \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds. $$
(2.10)

Using (2.9) and (2.10) together with boundary conditions (2.2), we obtain

$$\begin{aligned} y(t) =&-\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \phi_{p}\bigl(y(1)\bigr) \biggr) + \int^{1}_{t} \int^{s}_{\sigma^{*}} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds \\ =&\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}}\phi_{p} \biggl( \int ^{1}_{\sigma^{*}} \phi_{q} \biggl( \int^{s}_{0}a(r)\,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{1}_{t} \int^{s}_{\sigma^{*}} \phi_{q} \biggl( \int^{r}_{0}a(x)\,dx \biggr)\,dr\,ds,\quad t\in \bigl[\sigma^{*}, 1\bigr]. \end{aligned}$$
(2.11)

From (2.7) and (2.11) we see that the results of Lemma 2.5 hold. So the proof is complete. □

For \(y\in P\), we now define the integral operator \(T: P\setminus\{ \theta\} \to P\) by

$$ (Ty) (t) = \textstyle\begin{cases} \phi_{q} (\frac{\beta_{1}}{\lambda_{1}} \phi_{p} (\int^{\sigma^{*}}_{0} \phi_{q} (\int^{s}_{0}b(r)g(r, y(r))\,dr )\,ds ) ) \\ \quad {} +\int^{t}_{0}\int^{\sigma^{*}}_{s}\phi_{q} (\int^{r}_{0}b(x)g(x, y(x))\,dx )\,dr\,ds, &0\leq t\leq\sigma^{*}, \\ \phi_{q} (\frac{\beta_{2}}{\lambda_{2}} \phi_{p} (\int^{1}_{\sigma^{*}}\phi_{q} (\int^{s}_{0}b(r)g(r, y(r))\,dr )\,ds ) ) \\ \quad {}+\int^{1}_{t}\int^{s}_{\sigma^{*}}\phi_{q} (\int^{r}_{0}b(x)g(x, y(x))\,dx )\,dr\,ds,& \sigma^{*}\leq t\leq1. \end{cases} $$

Lemma 2.6

Suppose that conditions (A1) and (A2) hold. Then \(T: \overline{P}_{r,R} \to P\) is completely continuous, and the nonzero fixed point \(y\in \overline{P}_{r,R}\) of T is a positive solution of problem (1.1).

Proof

Firstly, we will show that \(T: \overline{P}_{r,R} \to P\). By a simple computation, for any \(y\in P_{r, R}\), we have

$$ \textstyle\begin{cases} (Ty)''(t)=-\phi_{q} (\int^{t}_{0}b(s)g(s, y(s))\,ds ) \leq 0, \\ \lambda_{1}\phi_{p} ((T y) ( 0 ) ) - \beta_{1} \phi_{p} ((T y)' ( 0 ) ) = 0, \\ \lambda_{2}\phi_{p} ((T y) ( 1 ) ) + \beta_{2} \phi_{p} (( Ty)' ( 1 ) ) = 0, \qquad (Ty)'' ( 0 ) = 0, \end{cases} $$

that is, \((Ty)(t)\) is a nonnegative concave function. We suppose that \(\tau=\inf\{\zeta\in[0,1]: \sup_{0\leq t\leq1} y (t) = y(\zeta )\}\). Now we shall make the following discussions.

Case (1) \(\tau\in[0, \nu]\). It follows from the concavity of \(y(t)\) that each point on chord between \((\tau, y(\tau))\) and \((1, y(1))\) is below the graph of \(y(t)\). Thus, for any \(t\in[\nu , 1-\nu]\), we get

$$\begin{aligned} y(t)& \geq y(\tau)+\frac{y(1)-y(\tau)}{1-\tau}(t-\tau) \\ & \geq\min_{t\in[\nu, 1-\nu]} \biggl[y(\tau)+\frac{y(1)-y(\tau)}{1-\tau}(t-\tau) \biggr] = y(\tau)+\frac{y(1)-y(\tau)}{ 1-\tau}(1-\nu-\tau) \\ &=\frac{1-\nu-\tau}{1-\tau}y(1) +\frac{\nu}{1-\tau}y(\tau) \geq\nu y(\tau), \end{aligned}$$

which implies \(y(t)\geq\nu\| y\|\) for \(t\in[\nu, 1-\nu]\).

Case (2) \(\tau\in[\nu, 1-\nu]\). If \(t\in[\nu, \tau ]\), we obtain

$$\begin{aligned} y(t)& \geq y(\tau) +\frac{y(\tau)-y(0)}{\tau}(t-\tau) \geq\min_{t\in[\nu, \tau]} \biggl[y(\tau) +\frac{y(\tau)-y(0)}{\tau}(t-\tau)\biggr] \\ & = \frac{\nu}{\tau}y(\tau) +\frac{\tau-\nu}{\tau}y(0)\geq\frac{\nu}{\tau}y( \tau) \geq\nu y(\tau), \end{aligned}$$

which implies \(y(t)\geq\nu\| y\|\) for \(t\in[\nu, \tau]\).

If \(t\in[\tau, 1-\nu]\), we get

$$ \begin{aligned} y(t)& \geq y(\tau)+\frac{y(1)-y(\tau)}{ 1-\tau}(t-\tau) \\ & \geq\min_{t\in[\tau, 1-\nu]} \biggl[y(\tau)+\frac{y(1)-y(\tau)}{ 1-\tau}(t-\tau) \biggr] = y(\tau)+\frac{y(1)-y(\tau)}{ 1-\tau}(1-\nu-\tau) \\ &=\frac{1-\nu-\tau}{1-\tau}y(1) +\frac{\nu}{1-\tau}y(\tau)\geq\frac{\nu}{1-\tau}y(\tau) \geq\nu y(\tau), \end{aligned} $$

which implies \(y(t)\geq\nu\| y\|\) for \(t\in[\tau, 1-\nu]\). Therefore, \(y(t)\geq\nu\| y\|\) for \(t\in[\nu, 1-\nu]\).

Case (3) \(\tau\in[1-\nu, 1]\). By the same argument, for \(t\in[\nu, 1-\nu]\), we have

$$\begin{aligned} y(t)& \geq y(\tau)+\frac{y(\tau)-y(0)}{\tau}(t-\tau) \\ & \geq\min_{t\in[\nu, 1-\nu]}\biggl[y(\tau) +\frac{y(\tau)-y(0)}{\tau}(t-\tau) \biggr] \\ & = y(\tau)+\frac{y(\tau)-y(0)}{\tau}(\nu-\tau) \\ &\geq\frac{\nu}{\tau}y(\tau) +\frac{\tau-\nu}{\tau}y(0) \geq\frac{\nu}{\tau}y( \tau) \geq\nu y(\tau), \end{aligned}$$

which implies \(y(t)\geq\nu\| y\|\) for \(t\in[\nu, 1-\nu]\). Using the above discussions, one can get \(y(t)\geq\nu\| y\|\) for \(t\in[\nu, 1-\nu]\). Thus \(TP_{r, R}\subset P\).

Next, for any \(0 < r < R < +\infty\), we will show

$$ \sup_{y\in\partial\overline{P}_{r, R}} \int_{0}^{1}b(s)g\bigl(s, y(s)\bigr)\,ds< +\infty, $$
(2.12)

which implies that \(T: P\setminus\{0\}\to P\) is well defined.

From (A2) and Remark 2.1, for any \(0 < r < R < +\infty \), there exists a natural number k such that

$$ \sup_{y\in\overline{P}_{r, R}} \int_{E(k)} b(s)g\bigl(s, y(s)\bigr)\,ds < 1. $$
(2.13)

Thus

$$ \sup_{y\in\overline{P}_{r, R}} \int_{\nu}^{1-\nu} b(s)g\bigl(s, y(s)\bigr)\,ds < \sup _{y\in\overline{P}_{r, R}} \int_{0}^{1} b(s)g\bigl(s, y(s)\bigr)\,ds< +\infty. $$

For any \(y\in\partial P_{r}\), let \(y(t_{0})=\max_{t\in[0,1]}|y(t)|=r\), \(t_{0}\in[0,1]\). Denote

$$ \chi_{E[a, b]}(t)= \textstyle\begin{cases} 1,& t\in[a, b], \\ 0,& t\notin[a, b] \end{cases} $$

is the eigenvalue function of the set \(E[a, b]=\{t: a\leq t \leq b\}\). It follows from the concavity of \(y(t)\) on \([0,1]\) that

$$\begin{aligned} y(t)&\geq\frac{rt}{t_{0}}\chi_{E[0, t_{0}]}(t) + \frac{r}{1-t_{0}}(1-t)\chi_{E[t_{0}, 1]}(t) \\ &\geq rt\chi_{E[0, t_{0}]}(t) + r(1-t)\chi_{E[t_{0}, 1]}(t). \end{aligned}$$
(2.14)

Consequently, from (2.14), we have

$$ \frac{r}{R} \leq y(t) \leq r < R\quad \text{for any } t\in \biggl[\frac{1}{k}, \frac{k-1}{k} \biggr]. $$
(2.15)

Denote

$$ \overline{G} = \max \biggl\{ g(t, y) : (t, y)\in \biggl[ \frac{1}{k}, \frac{k-1}{k} \biggr]\times \biggl[\frac{ r}{k}, R \biggr] \biggr\} . $$
(2.16)

It follows from (A1) and (A2) with (2.13)-(2.16) that

$$\begin{aligned} \sup_{y \in\partial\overline{P}_{r, R}} \int_{0}^{1} b(s)g\bigl(s, y(s)\bigr)\,ds \leq& \sup _{y \in\partial\overline{P}_{r, R}} \int_{E(k)} b(s)g\bigl(s, y(s)\bigr)\,ds \\ &{}+\sup_{y \in\partial\overline{P}_{r, R}} \int_{\frac{1}{k}}^{\frac{k-1}{k}}b(s)g\bigl(s, y(s)\bigr)\,ds \\ \leq& 1 + \overline{G} \int_{0}^{1} b(s)\,ds < +\infty. \end{aligned}$$
(2.17)

Thus (2.12) holds. It also implies that \(T: \overline {P}_{r, R}\to P\) is well defined and \(T(Q)\) is uniformly bounded for any bounded set \(Q\subset\overline{P}_{r,R}\).

Now, we prove that for any \(0 < r < R < +\infty\), \(T(\overline {P}_{r,R})\) is equicontinuous. In fact, from (A2), for any \(\varepsilon>0\), there exists a natural number \(k_{0}\) such that

$$ \sup_{y\in\overline{P}_{r,R}} \int_{E(k_{0})}b(s)g\bigl(s,y(s)\bigr)\,ds< \phi_{p} \biggl(\frac{\varepsilon }{4} \biggr). $$

Let

$$ \widehat{G}=\max_{k_{0}\in N} \biggl\{ \phi_{q} \biggl( \int_{\frac{1}{k_{0}}}^{\frac {k_{0}-1}{k_{0}}}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr): (t,y)\in \biggl[\frac{1}{k_{0}}, \frac{k_{0}-1}{k_{0}} \biggr]\times \biggl[ \frac{r}{k_{0}}, R \biggr] \biggr\} . $$

Then

$$ \int_{\frac{1}{k_{0}}}^{\frac{k_{0}-1}{k_{0}}}b(x)g\bigl(x, y(x)\bigr)\,dx \leq \phi_{p} (\widehat{G} ). $$

For the above \(\varepsilon> 0 \), take \(0 < \delta< \frac{\varepsilon}{2\widehat{G}+\varepsilon}\) such that for any \(t', t'' \in[0,1]\) satisfying \(|t'-t''| < \delta\) and for any \(s\in [\frac{1}{k_{0}}, \frac{k_{0}-1}{k_{0}} ]\), we have

$$\begin{aligned} \bigl\vert (Ty) \bigl(t'\bigr)-(Ty) \bigl(t'' \bigr) \bigr\vert =& \biggl\vert \int^{t''}_{t'} \int_{s}^{\sigma^{*}} \phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \biggr\vert \\ \leq& \biggl\vert \int^{t''}_{t'} \int_{s}^{\sigma^{*}} \phi_{q} \biggl( \int_{\frac{1}{k_{0}}}^{\frac{k_{0}-1}{k_{0}}}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \biggr\vert \\ &{} + 2 \biggl\vert \int^{t''}_{t'} \int_{s}^{\sigma^{*}} \phi_{q} \biggl( \int_{E(k_{0})}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr)\,dr\,ds \biggr\vert \\ \leq& \biggl\vert \int^{t''}_{t'} \int_{s}^{\sigma^{*}} \widehat{G}\,dr\,ds \biggr\vert +2 \biggl\vert \int^{t''}_{t'} \int_{s}^{\sigma^{*}} \frac{\varepsilon}{4}\,dr\,ds \biggr\vert \\ =&\widehat{G} \biggl\vert -\frac{1}{2}\bigl(\sigma^{*}-s \bigr)^{2}\big|_{t'}^{t''} \biggr\vert + \frac{\varepsilon}{2} \biggl\vert -\frac{1}{2}\bigl(\sigma ^{*}-s \bigr)^{2}\big|_{t'}^{t''} \biggr\vert \\ =&\widehat{G} \biggl\vert \frac{1}{2}\bigl(t'-t'' \bigr) \bigl(2\sigma^{*}-t'-t''\bigr) \biggr\vert + \frac{\varepsilon}{2} \biggl\vert \frac{1}{2}\bigl(t'-t'' \bigr) \bigl(2\sigma ^{*}-t'-t''\bigr) \biggr\vert \\ < & \widehat{G}\cdot\frac{\varepsilon}{2\widehat{G}+\varepsilon} +\frac{\varepsilon}{2}\cdot \frac{\varepsilon}{2\widehat {G}+\varepsilon} \leq\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon. \end{aligned}$$

This implies that \(T(\overline{P}_{r,R})\) is equicontinuous. Thus, by the Ascoli-Arzela theorem, we know that \(T: \overline{P}_{r,R}\to P\) is compact.

Finally we show that \(T: \overline{P}_{r,R}\to P\) is continuous. Suppose that \(y_{n}, y_{0}\in\overline{P}_{r,R}\) and \(\|y_{n}-y_{0}\|\to0\) (\(n\to \infty\)). Then \(r\leq\|y_{n}\|\leq R \) and \(r\leq\|y_{0}\|\leq R\). For any \(\varepsilon> 0\), by making use of (A2), there exists a natural number \(n_{0} > 0\) such that

$$\begin{aligned}& \sup_{y\in\overline{P}_{r,R}} \biggl\{ \phi_{q} \biggl( \frac{\beta_{i}}{\lambda_{i}}\phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int_{E(n_{0})}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr)\,ds \biggr) \biggr) \\& \qquad {} + \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int_{E(n_{0})}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr)\,dr\,ds \biggr\} \\& \quad < \frac{\varepsilon}{4}\quad \mbox{for } i=1, 2. \end{aligned}$$
(2.18)

On the other hand, from (2.15), we have

$$ \frac{r}{n_{0}} \leq y_{n}(t) \leq R,\quad t\in \biggl[ \frac{1}{n_{0}}, \frac{n_{0}-1}{n_{0}} \biggr]. $$

Since \(g(t, y)\) is uniformly continuous on \([\frac{1}{n_{0}}, \frac{n_{0}-1}{n_{0}} ]\times [\frac{r}{n_{0}}, R ]\), we have

$$ \lim_{n\to+\infty} \bigl\vert g\bigl(s, y_{n}(s)\bigr) - g\bigl(s,y_{0}(s)\bigr) \bigr\vert =0 $$

holds uniformly on \(s\in[\frac{1}{n_{0}}, \frac{n_{0}-1}{n_{0}}]\). Then the Lebesgue dominated convergence theorem yields that

$$ \int^{\frac{n_{0}-1}{n_{0}}}_{\frac{1}{n_{0}}}b(s) \bigl\vert g\bigl(s, y_{n}(s)\bigr) - g\bigl(s, y_{0}(s)\bigr) \bigr\vert \,ds \to0\quad (n\to \infty). $$

Thus, for the above \(\varepsilon>0\), there exists a natural number N, for any \(n > N\), we have

$$\begin{aligned}& \phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}}\phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int^{\frac{n_{0}-1}{n_{0}}}_{\frac{1}{n_{0}}} b(r) \bigl\vert g\bigl(r, y_{n}(r)\bigr) - g\bigl(r, y_{0}(r)\bigr) \bigr\vert \,dr \biggr)\,ds \biggr) \biggr) \\& \qquad {}+ \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int^{\frac {n_{0}-1}{n_{0}}}_{\frac{1}{n_{0}}} b(x) \bigl\vert g\bigl(x, y_{n}(x)\bigr) - g\bigl(x, y_{0}(x)\bigr) \bigr\vert \,dx \biggr)\,dr\,ds \\& \quad < \frac{\varepsilon}{2}\quad \mbox{for } i=1, 2. \end{aligned}$$
(2.19)

It follows from (2.18) and (2.19) that for any \(n > N\), we see

$$\begin{aligned} \|Ty_{n}-Ty_{0}\| \leq& 2\phi_{q} \biggl( \frac{\beta_{i}}{\lambda_{i}}\phi _{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int_{E(n_{0})} b(r) \bigl\vert g\bigl(r, y_{n}(r)\bigr) - g\bigl(r, y_{0}(r)\bigr) \bigr\vert \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+2 \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int_{E(n_{0})} b(x) \bigl\vert g\bigl(x, y_{n}(x)\bigr) - g\bigl(x, y_{0}(x)\bigr) \bigr\vert \,dx \biggr)\,dr\,ds \\ &{}+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}}\phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int^{\frac{n_{0}-1}{n_{0}}}_{\frac{1}{n_{0}}} b(r) \bigl\vert g\bigl(r, y_{n}(r)\bigr) - g\bigl(r, y_{0}(r)\bigr) \bigr\vert \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int^{\frac {n_{0}-1}{n_{0}}}_{\frac{1}{n_{0}}} b(x) \bigl\vert g\bigl(x, y_{n}(x)\bigr) - g\bigl(x, y_{0}(x)\bigr) \bigr\vert \,dx \biggr)\,dr\,ds \\ < & 2\cdot\frac{\varepsilon}{4}+\frac{\varepsilon}{2} =\varepsilon\quad \mbox{for } i = 1, 2. \end{aligned}$$

This implies that \(T: \overline{P}_{r,R}\to P\) is continuous. Thus \(T: \overline{P}_{r,R}\to P\) is completely continuous.

Obviously, if T has a nonzero fixed point \(y\neq0\), then \(y\in C[0,1]\cap C^{3}(0,1)\) and satisfies problem (1.1). On the other hand, by the maximum principle, we see that \(y(t)>0\), \(t\in (0,1)\). Hence y is a positive solution of problem (1.1). This completes the proof. □

3 The existence of at least one positive solution

For convenience, we let \(\omega^{*}\) and \(\omega_{*}\) be positive constants satisfying \(\omega^{*} > \frac{1}{m}\) and

$$ 0 < \omega_{*}=\frac{1}{\max \{ (1 + \phi_{q} (\frac{\beta_{1}}{\lambda_{1}} ) )\phi_{q} (2\int_{0}^{1}b(r)\,dr ), (1 + \phi_{q} (\frac{\beta_{2}}{\lambda_{2}} ) ) \phi_{q} (2\int_{0}^{1}b(r)\,dr ) \}}. $$

Thus, for any positive constants l, L, r̂, R̂ satisfying \(\omega^{*} < l < +\infty\), \(0 < L < \omega_{*}\) and \(0 < \hat{r} < \widehat{R} < +\infty\), we have the following theorems.

Theorem 3.1

Suppose that conditions (A1) and (A2) hold. In addition, assume that

$$ \begin{aligned} &(l\hat{r})^{p-1} \leq g(t, y), \quad (t, y)\in[0, 1]\times[\nu\hat {r}, \hat{r}] \quad \textit{and} \\ &g(t, y)\leq(L\widehat{R})^{p-1} , \quad (t, y)\in[0, 1]\times(0, \widehat{R}]. \end{aligned} $$
(3.1)

Then boundary value problem (1.1) has at least one positive solution Å· satisfying \(\hat{r} \leq\hat{y} \leq\widehat{R}\).

Proof

From the first part of (3.1), \(g(t, y) \geq(l\hat{r})^{p-1}\), for \((t, y) \in[0, 1]\times[\nu\hat{r}, \hat{r}]\), let \(\psi\equiv1\). We prove that

$$ y\neq Ty+ \mu\psi\quad \mbox{for } y\in\partial P_{\hat{r}} \mbox{ and } \mu\geq0. $$
(3.2)

If not, there exist \(y_{0}\in\partial P_{\hat{r}}\) and \(\mu_{0}\geq0\) such that \(y_{0} = Ty_{0} + \mu_{0} \psi\). Let \(\mu^{*}=\min_{t\in[0, 1]}y_{0}(t)\). Then, for \(t\in(0, \sigma^{*})\), we have

$$\begin{aligned} \begin{aligned} y_{0}(t) ={}& Ty_{0}(t) + \mu_{0} \\ = {}&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{0}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq{}& \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq{}& (l\hat{r}) \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq{}& (l\hat{r}) \int^{t}_{\nu} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq{}& (l\hat{r})f(t)+\mu_{0} \geq(l\hat{r})m+\mu_{0} > \hat{r}= \| y_{0}\| > \mu^{*}. \end{aligned} \end{aligned}$$

On the other hand, for \(t\in[\sigma^{*}, 1]\), by the same argument, we have

$$\begin{aligned} y_{0}(t) =& Ty_{0}(t) + \mu_{0} \\ \geq& \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds+\mu_{0} \\ \geq& (l\hat{r}) \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (l\hat{r}) \int^{1-\nu}_{t} \int_{\sigma^{*}}^{s}\phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (l\hat{r})f(t)+\mu_{0} \geq(l\hat{r})m+\mu_{0} > \hat{r}= \| y\| > \mu^{*}. \end{aligned}$$

From the above discussions, we see \(y_{0} > \mu^{*}\), which implies \(\mu^{*} > \mu^{*}\), a contradiction with the definition of \(\mu^{*}\). Thus, we know that (3.2) holds. It follows from Lemma 2.2 that

$$ i(T, P_{\hat{r}}, P)=0. $$
(3.3)

Without loss of generality, we may assume that T has no fixed point on \(\partial P_{\hat{r}}\) and \(\partial P_{\widehat{R}}\). Now we prove that

$$ Ty\neq\eta y, \quad \forall y\in\partial P_{\widehat{R}}, \eta \geq1. $$
(3.4)

In fact, if not, there exist \(y_{1}\in\partial P_{\widehat{R}}\) and \(\eta_{1}\geq1\) such that \(T y_{1} = \eta_{1} y_{1}\). Let \(y^{*}_{1}(t)=\min\{y_{1}(t), \widehat{R}\}\), thus \(y^{*}_{1}\in\partial P_{\widehat{R}}\). Thus, for \(t\in(0, \sigma^{*})\), we have

$$\begin{aligned} y_{1} =& \frac{1}{\eta}_{1} Ty_{1} \\ =&\frac{1}{\eta}_{1} \phi_{q} \biggl( \frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+\frac{1}{\eta}_{1} \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{1}(x)\bigr) \,dx \biggr)\,dr\,ds \\ \leq&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr) +\phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \biggr) \biggr) \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \\ \leq& L\widehat{R} \biggl(1+\phi_{q} \biggl(\frac{\beta_{1}}{\lambda _{1}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)\,dr \biggr) \\ < & \omega_{*} \cdot\widehat{R} \cdot\frac{1}{\omega_{*}} =\widehat {R}= \bigl\Vert y^{*}_{1} \bigr\Vert . \end{aligned}$$

On the other hand, for \(t\in[\sigma^{*}, 1]\), by the same argument, we have

$$\begin{aligned} y_{1} =& \frac{1}{\eta}_{1} Ty_{1} \\ =&\frac{1}{\eta}_{1} \biggl(\phi_{q} \biggl( \frac {\beta_{2}}{\lambda_{2}} \phi_{p} \biggl( \int^{1}_{\sigma^{*}}\phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{1}(x)\bigr) \,dx \biggr)\,dr\,ds \biggr) \\ \leq&\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr) +\phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \biggr) \biggr) \int^{1}_{0}b(r)g\bigl(r, y_{1}(r)\bigr) \,dr \\ \leq& L\widehat{R} \biggl(1+\phi_{q} \biggl(\frac{\beta_{2}}{\lambda _{2}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)\,dr \biggr) \\ < & \omega_{*}\cdot\widehat{R}\cdot\frac{1}{\omega_{*}} =\widehat{R}= \bigl\Vert y^{*}_{1} \bigr\Vert . \end{aligned}$$

The above discussions imply that \(\|y^{*}_{1}\| < \|y^{*}_{1}\|\), a contradiction with the definition of \(y^{*}_{1}\). Therefore (3.4) holds. It follows from Lemma 2.3 that

$$ i(T, P_{\widehat{R}}, P)=1. $$
(3.5)

From (3.3) and (3.5) together with the properties of fixed point index, we have

$$ i(T, P_{\hat{r}, \widehat{R}}, P)=i(T, P_{\widehat{R}}, P)-i(T, P_{\hat{r}}, P)=1-0=1. $$

Thus T has at least one positive fixed point ŷ in \(P_{\hat{r},\widehat{R}}\), which means that problem (1.1) has at least one positive solution ŷ satisfying \(\hat{r} \leq\hat{y} \leq\widehat{R}\). This completes the proof. □

Theorem 3.2

Suppose that conditions (A1) and (A2) hold. In addition, assume that the following conditions hold:

(H1):

\(0 < g^{0} < (\frac{\omega_{*}}{2})^{p-1}\),

(H2):

\((\frac{\omega^{*}}{\nu})^{p-1} < g_{\infty} < +\infty\).

Then problem (1.1) has at least one positive solution.

Proof

From (H1), for any \(0 < \varepsilon< (\frac{\omega_{*}}{2})^{p-1} - g^{0}\), there exists a sufficiently small positive constant \(r_{1}\) such that \(0 < y \leq r_{1}\), for any \(t\in[0, 1]\), we have

$$ g(t, y) \leq y^{p-1} (g_{0}+\varepsilon) < y^{p-1}\biggl(\frac{\omega_{*}}{2}\biggr)^{p-1},\quad (t, y) \in[0, 1]\times(0, r_{1}]. $$
(3.6)

Since \(y'(\sigma^{*})=0\), we find that

$$\begin{aligned}& \phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \,ds \biggr) \biggr) \\& \qquad {} + \int^{\sigma^{*}}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \\& \quad =\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \phi_{p} \biggl( \int^{1}_{\sigma^{*}}\phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \,ds \biggr) \biggr) \\& \qquad {} + \int^{1}_{\sigma^{*}} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds. \end{aligned}$$
(3.7)

Thus, from (3.6) and (3.7), we obtain

$$\begin{aligned} \|Ty\| = & (Ty) \bigl(\sigma^{*}\bigr) \\ \leq&\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \,ds \biggr) \biggr) \\ &{}+ \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int^{1}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \\ = &\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) + \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ < &\frac{\omega_{*}r_{1}}{2} \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)\,dr \biggr) \\ < &\frac{\omega_{*}r_{1}}{2}\cdot\omega_{*} =\frac{r_{1}}{2} < r_{1} = \|y \|\quad \mbox{for } i=1, 2. \end{aligned}$$

Indeed, in view of Lemma 2.4, we deduce

$$ i(T, P_{r_{1}}, P)=1. $$
(3.8)

Next from (H2), for any \(0 < \varepsilon< g_{\infty}-(\frac{\omega^{*}}{\nu})^{p-1} \), there exists a sufficiently large positive constant \(R^{*}\) such that for any \(y\geq R^{*}\), we have

$$ g(t, y) \geq(g_{\infty}-\varepsilon) y^{p-1},\quad y\geq R^{*}, t\in[0, 1]. $$
(3.9)

Choose \(R_{1}=\max\{2r_{1}, \frac{R^{*}}{\nu}\}\), and let \(\varphi(t) \equiv1\), \(t\in[0, 1]\). Then \(R_{1} > r_{1}\) and \(\varphi \in\partial P _{1}\). Obviously, \(\varphi(t) \in P_{R_{1}}\setminus\{\theta\}\).

In the following we prove that

$$ y\neq Ty+ \mu\varphi\quad \mbox{for } y\in\partial P_{R_{1}} \mbox{ and } \mu\geq0. $$
(3.10)

Otherwise, there exist \(y_{0}\in\partial P_{R_{1}}\) and \(\mu_{0} > 0\) such that \(y_{0} = Ty_{0} + \mu_{0} \varphi\). Let \(\xi=\min\{y_{0}(t): t\in[\nu, 1-\nu]\}\) and notice that for any \(t\in[\nu, 1-\nu]\), we have \(\min_{t\in[\nu, 1-\nu]}y(t)\geq\nu\|y_{0}\|=\nu R_{1}\geq R^{*}\).

Consequently, from (3.9), for any \(t\in[\nu, 1-\nu]\) and \(0 < t < \sigma^{*}\), we have

$$\begin{aligned} y_{0}(t) =& Ty_{0}(t) + \mu_{0}\varphi(t) \\ = &\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{0}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}b(x) \biggl(\frac{\omega^{*}y_{0}(x)}{\nu } \biggr)^{p-1}\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \frac{\omega^{*}\nu\|y_{0}\|}{\nu} \int^{t}_{\nu} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& \omega^{*}\cdot\xi\cdot f(t)+\mu_{0} \geq\omega^{*}\cdot\xi \cdot m+\mu_{0} > \xi+ \mu_{0} > \xi. \end{aligned}$$
(3.11)

On the other hand, by the same argument, for \(t\in[\sigma^{*}, 1]\) and \(t\in[\nu, 1-\nu]\), from (3.9) and (3.7), we have

$$\begin{aligned} y_{0}(t) =& Ty_{0}(t) + \mu_{0}\varphi(t) \\ = &\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \phi_{p} \biggl( \int^{1}_{\sigma^{*}} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{0}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{1}_{t} \int_{\sigma^{*}}^{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{1}_{t} \int_{\sigma^{*}}^{s} \phi_{q} \biggl( \int^{r}_{0}b(x) \biggl(\frac{\omega^{*}y_{0}(x)}{\nu } \biggr)^{p-1}\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \frac{\omega^{*}\nu\|y_{0}\|}{\nu} \int_{t}^{1-\nu} \int _{\sigma^{*}}^{s} \phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& \omega^{*}\cdot\xi\cdot f(t)+\mu_{0} \geq\omega^{*}\cdot\xi \cdot m+\mu_{0} > \xi+ \mu_{0} > \xi. \end{aligned}$$
(3.12)

From (3.11) and (3.12), we easily obtain \(\xi> \xi\), a contradiction with the definition of ξ. From the above discussion we see that (3.10) holds. It follows from Lemma 2.2 that

$$ i(T, P_{R_{1}}, P)=0. $$
(3.13)

From (3.8) and (3.13) together with the properties of fixed point index, we have

$$ i(T, P_{r_{1}, R_{1}}, P)=i(T, P_{R_{1}}, P)-i(T, P_{r_{1}}, P)=0-1=-1. $$

Thus T has at least one positive fixed point \(y^{*}\) in \(P_{r_{1}, R_{1}}\), which means that problem (1.1) has at least one positive solution \(y^{*}\) satisfying \(r_{1} \leq y^{*} \leq R_{1}\). This completes the proof. □

Theorem 3.3

Suppose that conditions (A1) and (A2) hold. In addition, assume that the following conditions hold:

(H3):

\((\frac{\omega^{*}}{\nu})^{p-1} < g_{0} < +\infty \),

(H4):

\(0 < g^{\infty} < (\frac{\omega_{*}}{2})^{p-1}\).

Then problem (1.1) has at least one positive solution.

Proof

From (H3), for any \(0 < \varepsilon< g_{0}-(\frac{\omega^{*}}{\nu})^{p-1} \), there exists a sufficiently large positive constant \(r_{2}\) such that for any \(t\in[0, 1]\) and \(0 < y \leq r_{2}\), we have

$$ g(t, y) \geq(g_{0}-\varepsilon) y^{p-1} > \biggl( \frac{\omega^{*}}{\nu }\biggr)^{p-1} y^{p-1}, \quad (t, y)\in[0, 1] \times(0, r_{2}]. $$

Thus, for any \(y\in\partial P_{r_{2}}\), we get

$$ g(t, y) \geq\biggl(\frac{\omega^{*}}{\nu}\biggr)^{p-1} y^{p-1} \geq\bigl(\omega ^{*}r_{2}\bigr)^{p-1}, \quad (t, y)\in[0, 1] \times(0, r_{2}]. $$

Let \(\varphi\equiv1\). Now we prove that

$$ y\neq Ty+ \mu\varphi\quad \mbox{for any } y\in\partial P_{r_{2}} \mbox{ and } \mu\geq0. $$
(3.14)

Otherwise, there exist \(y_{0}\in\partial P_{r_{2}}\) and \(\mu_{0} > 0\) such that \(y_{0} = Ty_{0} + \mu_{0} \varphi\). Let \(\zeta=\min\{y_{0}(t): t\in[\nu, 1-\nu]\}\), then for any \(t\in[\nu, 1-\nu]\) and \(0 < t < \sigma^{*}\), we have

$$\begin{aligned} y_{0} =& Ty_{0}(t) + \mu_{0}\varphi(t) \\ = &\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \phi_{p} \biggl( \int^{\sigma^{*}}_{0} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{0}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{t}_{0} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}b(x) \biggl(\frac{\omega^{*}y_{0}(x)}{\nu } \biggr)^{p-1}\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \frac{\omega^{*}\nu\|y_{0}\|}{\nu} \int^{t}_{\nu} \int^{\sigma^{*}}_{s} \phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ > & \omega^{*}\cdot\zeta\cdot f(t)+\mu_{0} \geq\omega^{*}\cdot\zeta \cdot m+\mu_{0} > \zeta+ \mu_{0} > \zeta. \end{aligned}$$
(3.15)

On the other hand, by the same argument, for \(t\in[\sigma^{*}, 1]\) and \(t\in[\nu, 1-\nu]\), from (3.9), we have

$$\begin{aligned} y_{0} =& Ty_{0}(t) + \mu_{0}\varphi(t) \\ = &\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \phi_{p} \biggl( \int^{1}_{\sigma^{*}} \phi_{q} \biggl( \int^{s}_{0}b(r)g\bigl(r, y_{0}(r)\bigr) \,dr \biggr)\,ds \biggr) \biggr) \\ &{}+ \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{1}_{t} \int_{\sigma^{*}}^{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, y_{0}(x)\bigr) \,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \int^{1}_{t} \int_{\sigma^{*}}^{s} \phi_{q} \biggl( \int^{r}_{0}b(x) \biggl(\frac{\omega^{*}y_{0}(x)}{\nu } \biggr)^{p-1}\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& \frac{\omega^{*}\nu\|y_{0}\|}{\nu} \int_{t}^{1-\nu} \int _{\sigma^{*}}^{s} \phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ > & \omega^{*}\zeta\cdot f(t)+\mu_{0} > \omega^{*}\cdot\zeta\cdot m+\mu _{0} > \zeta+ \mu_{0} > \zeta. \end{aligned}$$
(3.16)

From (3.15) and (3.16), we easily obtain \(\zeta> \zeta\), a contradiction with the definition of ζ. From the above discussion we see that (3.14) holds. It follows from Lemma 2.2 that

$$ i(T, P_{r_{2}}, P)=0. $$
(3.17)

Next from (H4), for any \(0 < \varepsilon_{1} < (\frac{\omega_{*}}{2})^{p-1} - g^{\infty }\), there exists a sufficiently small positive constant \(R_{*}\) such that \(y \geq R_{*}\), \(t\in[0, 1]\), we have

$$ g(t, y) \leq y^{p-1} (g_{\infty}+\varepsilon) < y^{p-1} \biggl(\frac{\omega _{*}}{2}\biggr)^{p-1}, \quad (t, y)\in[0, 1]\times[R_{*}, +\infty). $$

Let \(M_{0}=\sup_{y\in\partial P_{R_{*}}}\int_{0}^{1}b(s)g(s, y(s))\,ds\). Then \(M_{0} < +\infty\) by (2.12). Take

$$ R_{2} > \max \biggl\{ R_{*}, 2r_{2}, \biggl( \frac{2}{\omega_{*}} \biggr) \biggl(\frac{M_{0}}{\int^{1}_{0}b(r)\,dr} \biggr)^{\frac{1}{p-1}} \biggr\} . $$
(3.18)

Notice \(y\in\partial P _{R_{*}}\) implies that \(y(t) \leq\|y\| \leq R_{*}\). In addition, for any \(y \in\partial P_{R_{2}}\), let \(D[y]=\{t\in[0, 1]: y\geq R_{*}\}\), then for any \(t\in D[y]\), clearly, \(R_{*}\leq y \leq\|y\| = R_{2}\). Let \(y_{1}(t) = \min\{y(t), R_{*}\}\), then \(y_{1}\in\partial P_{R_{*}}\). Thus, for any \(y \in\partial P_{R_{2}}\), from (3.7) and (3.18), we have

$$\begin{aligned} \|Ty\| =& \max_{0\leq t \leq1}(Ty) (t)=(Ty) \bigl(\sigma^{*}\bigr) \\ \leq&\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \,ds \biggr) \biggr) \\ &{}+ \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int^{1}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \\ = &\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) + \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int_{D[y]}b(r)g\bigl(r, y(r)\bigr)\,dr+ \int_{[0, 1]\setminus D[y]}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int_{0}^{1}b(r) \biggl(\frac{\omega_{*}}{2}y(r) \biggr)^{p-1}\,dr+ \int_{0}^{1}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int_{0}^{1}b(r) \biggl(\frac{\omega_{*}}{2}y(r) \biggr)^{p-1}\,dr + M_{0} \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \biggl(\frac{\omega_{*}}{2}R_{2} \biggr)^{p-1} \int_{0}^{1}b(r)\,dr + \biggl(\frac{\omega_{*}}{2}R_{2} \biggr)^{p-1} \int_{0}^{1}b(r)\,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \biggl(\frac{\omega_{*}}{2}R_{2} \biggr)^{p-1}2 \int _{0}^{1}b(r)\,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl(2 \int_{0}^{1}b(r)\,dr \biggr)\frac{\omega_{*}}{2}R_{2} < \frac{R_{2}}{2} < R_{2}= \|y\| \quad \mbox{for } i=1, 2. \end{aligned}$$

Therefore \(\|Ty\| < \|y\|\) for any \(y \in\partial P_{R_{2}}\). It follows from Lemma 2.4 that

$$ i(T, P_{R_{2}}, P)=1. $$
(3.19)

From (3.17) and (3.19) together with the properties of fixed point index, we have

$$ i(T, P_{r_{2}, R_{2}}, P)=i(T, P_{R_{2}}, P)-i(T, P_{r_{2}}, P)=1-0=1. $$

Thus T has at least one positive fixed point \(y^{**}\) in \(P_{r_{2}, R_{2}}\) with \(r_{2} \leq y^{**} \leq R_{2}\). Therefore \(y^{**}\) is a positive solution of problem (1.1). This completes the proof. □

4 The existence of multiple positive solutions

Theorem 4.1

Suppose that conditions (A1) and (A2) hold. In addition, (H1) and (H4) hold, and there exists a positive constant \(r_{0}^{*} > 0\) such that

$$ g(t, y)\geq\bigl(l r_{0}^{*}\bigr)^{p-1},\quad \nu r_{0}^{*} \leq y \leq r_{0}^{*}, 0 < t < 1. $$
(4.1)

Then problem (1.1) has at least two positive solutions.

Proof

It follows from (H1) that there exists a positive constant \(r_{1}^{*}\) satisfying \(0 < r_{1}^{*} \leq r_{0}^{*} \) such that

$$ g(t, y)\leq\biggl(\frac{\omega_{*}}{2} y\biggr)^{p-1}, \quad 0 < y \leq r_{1}^{*}, 0 \leq t \leq1. $$
(4.2)

By making use of (H4), there exists a positive constant \(r_{2}^{*}\) satisfying \(r_{2}^{*} > r_{0}^{*} >0 \) such that

$$ g(t, y)\leq\biggl(\frac{\omega_{*}}{2}y\biggr)^{p-1},\quad y \geq r_{2}^{*}, 0 \leq t \leq1. $$
(4.3)

Without loss of generality, we may assume that T has no fixed point on \(\partial P_{r^{*}_{1}}\) and \(\partial P_{r^{*}_{2}}\). From (4.2)-(4.3) with the corresponding proofs in Theorems 3.2 and 3.3, respectively, together with the permanence property of fixed point index, we have

$$ i(T, P_{r_{1}^{*}}, P)=1 $$
(4.4)

and

$$ i(T, P_{r^{*}_{2}}, P)=1. $$
(4.5)

For any \(y\in\partial P_{r^{*}_{0}}\), by the concavity of function \(y(t)\) for \(t\in[0, 1]\), we easily get \(0 < \nu\|y\| \leq y(t)\leq\|y\| =r_{0}^{*}\), \(t\in[0, 1]\). Thus, for any \(y\in\partial P_{r^{*}_{0}}\), in view of (4.1) and the corresponding proof in Theorem 3.1 together with the permanence property of fixed point index, we have

$$ i(T, P_{r^{*}_{0}}, P)=0. $$
(4.6)

From (4.4) and (4.6) together with the properties of fixed point index, we obtain

$$\begin{aligned}& i(T, P_{r^{*}_{1}, r^{*}_{0}}, P)=i(T, P_{r^{*}_{0}}, P)-i(T, P_{r^{*}_{1}}, P)=0-1=-1, \\& i(T, P_{r^{*}_{0}, r^{*}_{2}}, P)=i(T, P_{r^{*}_{2}}, P)-i(T, P_{r^{*}_{0}}, P)=1-0=1. \end{aligned}$$

Hence, T has at least two positive fixed points in \(P_{r^{*}_{1}, r^{*}_{0}}\) and \(P_{r^{*}_{0}, r^{*}_{2}}\), respectively. Therefore, problem (1.1) has at least two positive solutions. This completes the proof. □

Theorem 4.2

Suppose that conditions (A1) and (A2) hold. In addition, (H2) and (H3) hold, and there exists a positive constant \(\tilde{r}_{0}^{*} > \sqrt{\Gamma _{1}}\) such that

$$ g(t, y)\leq \biggl(\frac{\nu(1-\nu)}{y} \biggr)^{p-1}, \quad 0 < y(t)\leq\tilde{ r}_{0}^{*}, 0 < t < 1, $$
(4.7)

where \(\Gamma_{1}=\max \{ (1+\phi_{q} (\frac{\beta _{1}}{\lambda_{1}} ) ) \phi_{q} (2\int_{0}^{1}b(r)\,dr ), (1+\phi_{q} (\frac {\beta_{2}}{\lambda_{2}} ) ) \phi_{q} (2\int_{0}^{1}b(r)\,dr ) \}\).

Then problem (1.1) has at least two positive solutions.

Proof

It follows from (H3) that there exists a positive constant \(\tilde{r}_{1}^{*} >0 \) satisfying \(0 < \tilde{r}_{1}^{*} < \sqrt{\Gamma_{1}} \) such that

$$ g(t, y)\geq \biggl(\frac{\omega_{*}}{\nu}y \biggr)^{p-1}, \quad 0 < y \leq \tilde{r}_{1}^{*}, 0 \leq t \leq1. $$
(4.8)

By making use of (H2), there exists a positive constant \(\tilde{r}_{3}^{*} > \tilde{r}_{0}^{*} > 0\) such that

$$ g(t, y)\geq \biggl(\frac{\omega_{*}}{\nu}y \biggr)^{p-1}, \quad y \geq\nu \tilde{r}_{3}^{*}, 0 \leq t \leq1. $$

Then, for any \(y\in\partial P_{\tilde{r}_{3}^{*}}\), we have

$$ g(t, y)\geq \biggl(\frac{\omega_{*}}{\nu}y \biggr)^{p-1}, \quad y \geq\nu \tilde{r}_{3}^{*}=\nu\|y\|, t\in[\nu, 1-\nu]. $$
(4.9)

It follows from Lemma 2.6 that \(T:\overline{P}_{\tilde{r}_{1}^{*}, \tilde{r}_{3}^{*}}\longrightarrow P \) is a completely continuous operator. Now we extend the operator T, still denoted by T, then \(T: \overline{P}_{\tilde{r}_{3}^{*}}\to P\) is completely continuous. Without loss of generality, we may assume that T has no fixed point on \(\partial P_{\tilde{r}_{1}^{*}}\) and \(\partial P_{\tilde{r}_{3}^{*}}\). From (4.8) and (4.9), the corresponding proofs in Theorems 3.2 and 3.3, respectively, together with the permanence property of fixed point index, we have

$$ i(T, P_{\tilde{r}_{1}^{*}}, P)=0 $$
(4.10)

and

$$ i(T, P_{\tilde{r}_{3}^{*}}, P)=0. $$
(4.11)

Choose \(\sqrt{\Gamma_{1}} < \tilde{r}_{2}^{*} \leq\tilde{r}_{0}^{*}\). For all \(y\in\partial P_{\tilde{r}_{2}^{*}}\), by the concavity of function \(y(t)\) on \((0, 1)\), we see \(y(t)\geq\nu\|y\|\) for \(t\in(0, 1)\) and \(0 < y(t)\leq\tilde{r}_{2}^{*} \leq\tilde{r}_{0}^{*}\) for \(t\in(0, 1)\). It follows from (4.7) and \(y\in\partial P_{\tilde{r}_{2}^{*}}\) that

$$ g\bigl(t,y(t)\bigr)\leq \biggl(\frac{\nu(1-\nu)}{y(t)} \biggr)^{p-1} \leq \biggl(\frac{\nu(1-\nu)}{\|y\|\nu} \biggr)^{p-1} < \frac{1}{{\tilde{r}_{2}^{*}}{^{p-1}}}\quad \mbox{for } t\in(0, 1). $$

Therefore, for any \(y\in\partial P_{\tilde{r}_{2}^{*}}\), we obtain

$$\begin{aligned} \|Ty\| =& \max_{0\leq t \leq1}(Ty) (t)=(Ty) \bigl(\sigma^{*}\bigr) \\ \leq&\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \phi_{p} \biggl( \int^{1}_{0} \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \,ds \biggr) \biggr) \\ &{}+ \int^{1}_{0} \int^{1}_{0}\phi_{q} \biggl( \int^{1}_{0}b(x)g\bigl(x, y(x)\bigr)\,dx \biggr) \,dr\,ds \\ =&\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) + \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ \leq& \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, y(r)\bigr)\,dr \biggr) \\ < & \biggl(1+\phi_{q} \biggl(\frac{\beta_{i}}{\lambda_{i}} \biggr) \biggr) \frac{1}{\tilde{r}_{2}^{*}}\phi_{q} \biggl( \int_{0}^{1}b(r)\,dr \biggr) \\ =& \frac{1}{\tilde{r}_{2}^{*}} \biggl(1+\phi_{q} \biggl(\frac{\beta _{i}}{\lambda_{i}} \biggr) \biggr) \phi_{q} \biggl( \int_{0}^{1}b(r)\,dr \biggr) \\ < & \frac{1}{\tilde{r}_{2}^{*}}\cdot\Gamma_{1} < \tilde{r}_{2}^{*} = \|y\|\quad \mbox{for } i=1, 2. \end{aligned}$$

Thus \(\|Ty\| < \|y\|\) for any \(y\in\partial P_{\tilde{r}_{2}^{*}}\). From Lemma 2.5 we have

$$ i(T, P_{\tilde{r}_{2}^{*}}, P)=1. $$
(4.12)

By making use of (4.10) and (4.11) with (4.12), combining the properties of fixed point index, we have

$$\begin{aligned}& i(T, P_{\tilde{r}_{1}^{*}, \tilde{r}_{2}^{*}}, P) =i(T, P_{\tilde{r}_{2}^{*}}, P)-i(T, P_{\tilde{r}_{1}^{*}}, P)=1-0=1, \\& i(T, P_{\tilde{r}_{2}^{*}, \tilde{r}_{3}^{*}}, P) =i(T, P_{\tilde{r}_{3}^{*}}, P)-i(T, P_{\tilde{r}_{2}^{*}}, P)=0-1=-1. \end{aligned}$$

Hence, T has at least two positive fixed points in \(P_{\tilde {r}^{*}_{1},\tilde{ r}^{*}_{2}}\) and \(P_{\tilde{r}_{2}^{*}, \tilde{r}_{3}^{*}}\), respectively. Therefore, problem (1.1) has at least two positive solutions. This completes the proof. □

5 The existence of infinite positive solutions

Now we shall discuss the existence of infinitely many positive solutions. For convenience, we make the following assumptions:

(\(\mathrm{A}'_{1}\)):

There exists a nonincreasing sequence \(\{t_{n}\} _{n=1}^{\infty}\) such that \(0 < t_{n+1} < t_{n}, t_{1} < \frac{1}{2}\), \(\lim_{n\rightarrow \infty}t_{n}=t_{0} \geq0\), with \(\lim_{t\rightarrow t_{n}}b(t)= \infty\), \(n=1, 2, \ldots\) , and \(0 < \int^{1}_{0}b(t)\,dt< +\infty\). Moreover, \(b(t)\) does not vanish identical on any subinterval of \([0,1]\).

Theorem 5.1

Suppose that conditions (\(\mathrm{A}'_{1}\)) and (A2) hold. Let \(\{\nu_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}\in (t_{k+1}, t_{k})\) (\(k=1, 2, \ldots\)). Let \(\{r_{k}\}_{k=1}^{\infty}\) and \(\{R_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}r_{k} < r_{k} < R_{k}\), \(k=1, 2,\ldots \) . For each natural number k, we assume that g satisfies

(E1):

\(g(t, y) \geq(lr_{k})^{p-1}\), \((t, y) \in[0, 1]\times[\nu_{k} r_{k}, R_{k}]\);

(E2):

\(g(t, y)\leq(LR_{k})^{p-1}\), \((t, y)\in[0, 1]\times (0, R_{k}]\).

Then boundary value problem (1.1) has infinitely many positive solutions \(\{y_{k}\}_{k=1}^{\infty}\) such that \(\|y_{k}\|\) is between \(r_{k}\) and \(R_{k}\), \(k=1, 2,\ldots\) .

Proof

From (\(\mathrm{A}'_{1}\)), we know that \(t_{0} < t_{k+1} < \nu_{k} < t_{k} < \frac{1}{2}\), \(k=1, 2,\ldots \) , then for any \(k\in N\), \(y\in P\), we have

$$ y(t)\geq\nu_{k} \|y\|,\quad t\in[\nu_{k}, 1-\nu_{k}]. $$
(5.1)

We easily know that \(\{P_{r_{k}}\}_{k=1}^{\infty}\) and \(\{P_{R_{k}}\} _{k=1}^{\infty}\) are subsets of P. For a fixed k and for any \(y\in P_{r_{k}}\), from (5.1) we have \(y(t) \geq\nu_{k} \|y\|=\nu_{k} r_{k}\), \(t\in[\nu_{k}, 1-\nu_{k}]\). For \([t_{1}, 1-t_{1}]\subset[\nu_{k}, 1-\nu_{k}]\subset[0, 1]\), let \(\psi\equiv1\). We prove that

$$ y\neq Ty+ \mu\psi\quad \mbox{for } y\in\partial P_{ r_{k}} \mbox{ and } \mu \geq0. $$
(5.2)

If not, there exist \(\tilde{y}_{0}\in\partial P_{r_{k}}\) and \(\mu _{0}\geq0\) such that \(\tilde{y}_{0} = T\tilde{y}_{0} + \mu_{0} \psi\). Let \(\mu^{*}=\min_{t\in[0, 1]}\tilde{y}_{0}(t)\). Then, for \(t\in(0, \sigma^{*})\), we have

$$\begin{aligned} \tilde{y}_{0}(t) =& T\tilde{y}_{0}(t) + \mu_{0} \\ \geq& \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, \tilde{y}_{0}(x) \bigr)\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& (lr_{k}) \int^{t}_{0} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k}) \int^{t}_{\nu_{k}} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k}) \int^{t}_{t_{1}} \int^{\sigma^{*}}_{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k})f(t)+\mu_{0} \geq(lr_{k})m+ \mu_{0} > r_{k}= \|\tilde{y}_{0}\| > \mu^{*}. \end{aligned}$$

On the other hand, for \(t\in[\sigma^{*}, 1]\), by the same argument, we have

$$\begin{aligned} \tilde{y}_{0}(t) =& T\tilde{y}_{0}(t) + \mu_{0} \\ \geq& \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)g\bigl(x, \tilde{y}_{0}(x) \bigr)\,dx \biggr)\,dr\,ds+\mu_{0} \\ \geq& (lr_{k}) \int^{1}_{t} \int^{s}_{\sigma^{*}}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k}) \int^{1-\nu_{k}}_{t} \int_{\sigma^{*}}^{s}\phi_{q} \biggl( \int^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k}) \int^{1-t_{1}}_{t} \int_{\sigma^{*}}^{s}\phi_{q} \biggl( \int ^{r}_{0}b(x)\,dx \biggr)\,dr\,ds+ \mu_{0} \\ \geq& (lr_{k})f(t)+\mu_{0} \geq(lr_{k})m+ \mu_{0} > r_{k}= \|\tilde{y}_{0}\| > \mu^{*}. \end{aligned}$$

From the above discussions, we see \(\tilde{y}_{0} > \mu^{*}\), which implies \(\mu^{*} > \mu^{*}\), a contradiction with the definition of \(\mu^{*}\). Thus, we know that (5.2) holds. It follows from Lemma 2.2 that

$$ i(T, P_{r_{k}}, P)=0. $$
(5.3)

Without loss of generality, we may assume that T has no fixed point on \(\partial P_{r_{k}}\) and \(\partial P_{R_{k}}\). Now we prove that

$$ Ty\neq\eta y,\quad \forall y\in\partial P_{R_{k}}, \eta \geq1. $$
(5.4)

In fact, if not, there exist \(\tilde{y}_{1}\in\partial P_{R_{k}}\) and \(\tilde{\eta}_{1}\geq1\) such that \(T \tilde{y}_{1} = \tilde{\eta}_{1} \tilde{y}_{1}\). Let \(\tilde{y}^{*}_{1}(t)=\min\{\tilde{y}_{1}(t), R_{k}\}\), thus \(\tilde{y}^{*}_{1}\in\partial P_{R_{k}}\). Thus, for \(t\in(0, \sigma^{*})\), we have

$$\begin{aligned} \tilde{y}_{1} \leq&\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \biggr) \\ &{}+\phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \biggr) \biggr) \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \\ \leq& L R_{k} \biggl(1+\phi_{q} \biggl(\frac{\beta_{1}}{\lambda_{1}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)\,dr \biggr) \\ < & \omega_{*} \cdot R_{k} \cdot\frac{1}{\omega_{*}} =R_{k}= \bigl\Vert \tilde {y}^{*}_{1} \bigr\Vert . \end{aligned}$$

On the other hand, for \(t\in[\sigma^{*}, 1]\), by the same argument, we have

$$\begin{aligned} \tilde{y}_{1} \leq&\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \biggr) \\ &{}+\phi_{q} \biggl( \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \biggr) \\ = & \biggl(1+\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \biggr) \biggr) \int^{1}_{0}b(r)g\bigl(r, \tilde{y}_{1}(r) \bigr)\,dr \\ \leq& LR_{k} \biggl(1+\phi_{q} \biggl(\frac{\beta_{2}}{\lambda_{2}} \biggr) \biggr) \phi_{q} \biggl( \int^{1}_{0}b(r)\,dr \biggr) \\ < & \omega_{*}\cdot R_{k}\cdot\frac{1}{\omega_{*}} =R_{k}= \bigl\Vert \tilde{y}^{*}_{1} \bigr\Vert . \end{aligned}$$

The above discussions imply that \(\|\tilde{y}^{*}_{1}\| < \|\tilde {y}^{*}_{1}\|\), a contradiction with the definition of \(\tilde{y}^{*}_{1}\). Therefore (5.4) holds. It follows from Lemma 2.3 that

$$ i(T, P_{R_{k}}, P)=1. $$
(5.5)

From (5.3) and (5.5) together with the properties of fixed point index, we have

$$ i(T, P_{r_{k}, R_{k}}, P)=i(T, P_{R_{k}}, P)-i(T, P_{r_{k}}, P)=1-0=1. $$

Thus T has at least one positive fixed point \(y_{k}\) in \(P_{r_{k}, R_{k}}\), which means that problem (1.1) has at least one positive solution \(y_{k}\) satisfying \(r_{k} \leq y_{k} \leq R_{k}\). From the randomness of k we see that Theorem 5.1 holds. This completes the proof. □

Theorem 5.2

Suppose that conditions (\(\mathrm{A}'_{1}\)) and (A2) hold. Let \(\{\nu_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}\in (t_{k+1}, t_{k})\) (\(k=1, 2, \ldots\)). Let \(\{r_{k}\}_{k=1}^{\infty}\) and \(\{R_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}r_{k} < r_{k} < R_{k}\), \(k=1, 2,\ldots \) . For each natural number k, we assume that g satisfies

(E3):

\(0 < g^{0} < (\frac{\omega_{*}}{2})^{p-1}\),

(E4):

\((\frac{\omega^{*}}{\nu_{k}})^{p-1} < g_{\infty} < +\infty\).

Then boundary value problem (1.1) has infinitely many positive solutions \(\{y_{k}\}_{k=1}^{\infty}\) such that \(\|y_{k}\|\) is between \(r_{k}\) and \(R_{k}, k=1, 2,\ldots\) .

Theorem 5.3

Suppose that conditions (\(\mathrm{A}'_{1}\)) and (A2) hold. Let \(\{\nu_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}\in (t_{k+1}, t_{k})\) (\(k=1, 2, \ldots\)). Let \(\{r_{k}\}_{k=1}^{\infty}\) and \(\{R_{k}\}_{k=1}^{\infty}\) be such that \(\nu_{k}r_{k} < r_{k} < R_{k}\), \(k=1, 2,\ldots \) . For each natural number k, we assume that g satisfies

(E5):

\((\frac{\omega^{*}}{\nu_{k}})^{p-1} < g_{0} < +\infty\),

(E6):

\(0 < g^{\infty} < (\frac{\omega_{*}}{2})^{p-1}\).

Then boundary value problem (1.1) has infinitely many positive solutions \(\{y_{k}\}_{k=1}^{\infty}\) such that \(\|y_{k}\|\) is between \(r_{k}\) and \(R_{k}\), \(k=1, 2,\ldots\) .

References

  1. Chen, S: The existence of multiple positive solutions for a class of third-order p-Laplacian operator singular boundary value problems. Acta Math. Sci. Ser. A 26(5), 794-800 (2006) (in Chinese)

    MathSciNet  MATH  Google Scholar 

  2. He, X: Double positive solutions of a three-point boundary value problem for the one-dimensional p-Laplacian. Appl. Math. Lett. 17, 867-873 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. He, X, Ge, W: Twin positive solutions for the one dimensional p-Laplacian boundary value problems. Nonlinear Anal. 56, 975-984 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  4. Gupta, C, Trofimchuk, S: A sharper condition for the solvability of a three-point second order boundary value problem. J. Math. Anal. Appl. 205, 586-597 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  5. Kong, L, Wang, J: Multiple positive solutions for the one-dimensional p-Laplacian. Nonlinear Anal. 42, 1327-1333 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  6. Liu, B: Positive solutions of three-point boundary value problems for the one-dimensional p-Laplacian with infinitely many singularities. Appl. Math. Lett. 17, 655-661 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  7. Kong, D, Liu, L, Wu, Y: Triple positive solutions of a boundary value problem for nonlinear singular second-order differential equations of mixed type with p-Laplacian. Comput. Math. Appl. 58, 1425-1432 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Su, H, Wei, Z, Xu, F: The existence of positive solutions for nonlinear singular boundary value system with p-Laplacian. Appl. Math. Comput. 181, 826-836 (2006)

    MathSciNet  MATH  Google Scholar 

  9. Yang, C, Yan, J: Positive solutions for third-order Sturm-Liouville boundary value problems with p-Laplacian. Comput. Math. Appl. 59, 2059-2066 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  10. Yang, C, Zhai, C, Yan, J: Positive solutions of the three-point boundary value problem for second order differential equations with an advanced argument. Nonlinear Anal. 65, 2013-2023 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. Feng, W, Webb, JRL: Solvability of m-point boundary value problems with nonlinear growth. J. Math. Anal. Appl. 212, 467-480 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  12. Deimling, K: Nonlinear Functional Analysis. Springer, New York (1985)

    Book  MATH  Google Scholar 

  13. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)

    MATH  Google Scholar 

  14. Ma, D, Du, Z, Ge, W: Existence and iteration of monotone positive solutions for multipoint boundary value problem with p-Laplacian operator. Comput. Math. Appl. 50, 729-739 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  15. Li, X: Multiple positive solutions for some four-point boundary value problems with p-Laplacian. Appl. Math. Comput. 202, 413-426 (2008)

    MathSciNet  MATH  Google Scholar 

  16. Lan, K, Webb, JRL: Positive solutions of semilinear differential equations with singularities. J. Differ. Equ. 148, 407-421 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ji, D, Ge, W: Multiple positive solutions for some p-Laplacian boundary value problems. Appl. Math. Comput. 187, 1315-1325 (2007)

    MathSciNet  MATH  Google Scholar 

  18. Su, H, Wei, Z, Wang, B: The existence of positive solutions for a nonlinear four-point singular boundary value problem with a p-Laplacian operator. Nonlinear Anal. 66, 2204-2217 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  19. Sun, Y, Liu, L, Zhang, J, Agarwal, RP: Positive solutions of singular three-point boundary value problems for second-order differential equations. J. Comput. Appl. Math. 230(1), 738-750 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  20. Wang, Y, Hou, C: Existence of multiple positive solutions for one-dimensional p-Laplacian. J. Math. Anal. Appl. 315, 144-153 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  21. Wang, Y, Ge, W: Multiple positive solutions for multipoint boundary value problems with one-dimensional p-Laplacian. J. Math. Anal. Appl. 327, 1381-1395 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wang, Z, Zhang, J: Positive solutions for one-dimensional p-Laplacian boundary value problems with dependence on the first order derivative. J. Math. Anal. Appl. 314, 618-630 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  23. Zhao, D, Wang, H, Ge, W: Existence of triple positive solutions to a class of p-Laplacian boundary value problems. J. Math. Anal. Appl. 328, 972-983 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  24. Zhang, G, Sun, J: Positive solutions of a class of singular boundary value problems. Acta Math. Appl. Sin. 29(2), 297-310 (2006) (in Chinese)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

The author is very grateful to the reviewers for their thorough reading of the manuscript and for their valuable comments and excellent suggestions. She would like to express her gratitude to Professor Lishan Liu and Professor RP Agarwal for their many valuable comments. The author was supported financially by the Foundation of Shanghai Natural Science (13ZR1430100) and the NNSF of P.R. China (No. 11371095, No. 2013M541455).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yan Sun.

Additional information

Competing interests

The author declares that she has no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sun, Y. Positive solutions for one-dimensional third-order p-Laplacian boundary value problems. Adv Differ Equ 2017, 95 (2017). https://doi.org/10.1186/s13662-017-1153-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1153-y

MSC

Keywords