Skip to main content

Positive solutions for a class of semipositone Neumann problems

Abstract

In this paper, by using the quadrature method, we show how changes in the sign of f lead to multiple positive solutions for the semipositone Neumann problems

$$-u''(x)=\lambda f\bigl(u(x)\bigr),\qquad u'(0)=0=u'(1), $$

when the parameter λ belongs to some intervals.

1 Introduction

In this paper, we are concerned with the existence of multiple positive solutions for the semipositone problem

$$\begin{aligned}& -u''(x)=\lambda f\bigl(u(x)\bigr), \quad x\in(0, 1), \end{aligned}$$
(1.1)
$$\begin{aligned}& u'(0)=0=u'(1), \end{aligned}$$
(1.2)

where \(\lambda>0\) is a parameter, \(f(0)<0\) (semipositone).

Semipositone problems arise in many different areas of applied mathematics and physics, such as the buckling of mechanical systems, the design of suspension bridges, chemical reactions, and population models with harvesting effort; see [14].

The study of semipositone problems was formally introduced by Castro and Shivaji in [5]. In general, studying positive solutions for semipositone problems is more difficult than that for positone problems. The difficulty is due to the fact that in the semipositone case, solutions have to live in regions where the nonlinear term is negative as well as positive. Due to its importance, one-dimensional semipositone problems have been widely studied by many authors; see [58] and the references within. For higher-dimensional results of semipositone problems, see [912].

However, the study of positive solutions for the semipositone Neumann problems (1.1)-(1.2) is relatively rare; see Miciano and Shivaji in [8], by using the quadrature method (time map method), they obtained the following result when f has the only unique positive zero.

Theorem A

Let \(f\in C^{2}[0, \infty)\), \(f(0)<0\), \(f'(u)>0\) for \(u>0\), \(\lim_{u\to+\infty}f(u)>0\), β and θ (>β) be the unique positive zero of f and \(F(s)=\int_{0}^{s}f(t)\,dt\), respectively. Further, let \(S= (\frac{\pi^{2}}{f'(\beta)}, \frac{\theta^{2}}{-2F(\beta)} )\) be nonempty. Then for \(\lambda\in S\), there exist at least three positive solutions of (1.1) and (1.2).

The quadrature method (time map method) introduced by Laetsch in [13] has been used to find positive solutions to various types of equations; see [5, 7, 8] and the references therein. Moreover, applying the quadrature method, Brown and Budin [14] obtained multiple positive solutions for (1.1) with Dirichlet boundary conditions when f has n positive zeros and \(f(0)>0\), the detailed result can be found in [14], Theorem 3.8.

Motivated by the above papers [8, 14], this paper is devoted to studying how changes in the sign of f lead to multiple positive solutions of (1.1)-(1.2). We consider the following assumptions:

  1. (f1)

    \(f:[0, \infty)\to\mathbb{R}\) has continuous derivative.

  2. (f2)

    \(f(0)<0\) (semipositone).

  3. (f3)

    There exist \(\beta_{1}, \beta_{2},\ldots,\beta_{n}\in\mathbb{R}\) such that \(\beta_{1}<\beta_{2}<\cdots<\beta_{n}\) and \(f(\beta_{i})=0\) for \(i=1, 2,\ldots, n\).

  4. (f4)

    There exist \(\theta_{1}, \theta_{2},\ldots,\theta_{n}\in\mathbb{R}\) such that \(\theta_{0}:=0<\beta_{1}<\theta_{1}<\beta_{2}<\cdots<\beta_{n}<\theta_{n}\) and \(F(\theta_{i})=0\), for \(i=1, 2,\ldots, n\).

  5. (f5)

    \(f'(s)>0\) for \(s\in(\theta_{2k}, \theta_{2k+1})\), \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\), where \([x]\) denotes the integer part of \(x\in\mathbb{R}\).

We prove the following result.

Theorem 1.1

Assume that (f1)-(f5) hold. For each \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\), let \(S_{k}= (\frac{\pi^{2}}{f'(\beta_{2k+1})}, \frac{(\theta_{2k+1}-\theta_{2k})^{2}}{-2F(\beta_{2k+1})} )\) be nonempty. Then for each \(\lambda\in S_{k}\), (1.1)-(1.2) has at least two nonconstant positive solutions and \(2k+1\) constant positive solutions.

Remark 1.1

Note that Theorem 1.1 is Theorem A in the special case \(n=1\). It is worthy to point out that in our study problem (1.1)-(1.2) admits n positive zeros, it may have some interest to investigate positive solutions.

In addition, Hung in [7] studied the exact multiplicity of positive solutions of (1.1) with Dirichlet boundary conditions when f satisfies (f2) and the following hypotheses:

  1. (H1)

    \(f\in C[0, \infty)\cap C^{2}(0, \infty)\).

  2. (H2)

    f is concave-convex on \((0, \infty)\), i.e. f has a unique positive inflection point η such that

    $$f''(s)\left \{ \textstyle\begin{array}{@{}l@{\quad}l} < 0, & \mbox{on } s\in(0, \eta), \\ =0, & \mbox{when } s=\eta, \\ >0, & \mbox{on } s\in(\eta,\infty). \end{array}\displaystyle \right . $$
  3. (H3)

    f is asymptotic superlinear, that is, \(\lim_{s\to\infty}\frac{f(s)}{s}=\infty\).

  4. (H4)

    f has three distinct positive zeros \(\beta_{1}<\beta_{2}<\beta_{3}\).

Hung in [7] obtained some significant results according to \(F(\beta_{2})=0\), \(F(\beta_{2})>0\) and \(F(\beta_{2})<0\), the detailed results can be seen in [7], Theorem 2.2. The proofs of the main results are based on the quadrature method and variational techniques.

Naturally, what is really interesting is to find the conditions which permit positive solutions of Neumann problems (1.1)-(1.2). Motivated by the above papers [7, 8], by using the quadrature method, we obtain the following result.

Theorem 1.2

Assume that (f2), (H1), and (H4) hold, and f satisfies (H2) with \(\beta_{2}<\eta<\beta_{3}\). Let \(F(\beta_{2})<0\) and θ be the unique positive zero of F. Given \(\beta_{\ast}\in(0, \beta_{1})\) satisfying \(F(\beta_{\ast})>F(\beta_{2})\). Then there exist \(0<\lambda_{\ast}<\lambda^{\ast}<\infty\) (\(\lambda_{\ast}=\lambda_{\ast}(\beta _{1}, \beta_{2}, \beta_{3})\) is relevant to \(\beta_{1}\), \(\beta_{2}\), \(\beta_{3}\), and \(\lambda^{\ast}=\lambda^{\ast}(\beta_{\ast})\) is relevant to \(\beta_{\ast}\)) such that for \(\lambda\in[\lambda_{\ast}, \lambda^{\ast}]\), (1.1)-(1.2) has exactly two nonconstant positive solutions and three constant positive solutions.

Remark 1.2

Note that the case \(F(\beta_{2})>0\) has been treated by Theorem 1.1. Moreover, we only prove in Theorem 1.1 that there exist multiple positive solutions for (1.1)-(1.2), and by virtue of [7], under appropriate conditions of the nonlinearity f, we also obtain the exact multiplicity of positive solutions of (1.1)-(1.2) in Theorem 1.2. However, the critical case \(F(\beta_{2})=0\) is still open.

Remark 1.3

Let us consider the function

$$f(u)=(u-1) (u-2) (u-4). $$

Obviously f satisfies all of the conditions in Theorem 1.2 if we take \(\beta_{1}=1\), \(\beta_{2}=2\), \(\beta_{3}=4\), \(F(\beta_{2})=F(2)=-\frac{8}{3}<0\), \(f''(\frac{7}{3})=0\), and \(\eta=\frac{7}{3}\), i.e. \(\beta_{2}<\eta<\beta_{3}\). Thus Theorem 1.2 guarantees that (1.1)-(1.2) has exactly five positive solutions for \(\lambda_{\ast}\leq\lambda\leq\lambda^{\ast}\).

The rest of the paper is arranged as follows: in Section 2, we state and prove several preliminary results related the use of quadrature method. Finally in Section 3, we prove the main results of this paper.

2 Preliminary results

Lemma 2.1

([8])

If \(u(x)\) is a solution of (1.1)-(1.2), then \(u(1-x)\) is also a solution of (1.1)-(1.2).

Lemma 2.2

([8])

Any zero of f is a solution of (1.1)-(1.2).

For each \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\). Now consider positive solutions \(u(x)\) obtained by Theorem 1.1. Here \(u(0)=\alpha_{k}\), \(u(1)=\gamma_{k}\) (\(\gamma_{k}=\gamma_{k}(\alpha_{k})\)) such that \(F(\alpha_{k})=F(\gamma_{k})\), \(\theta_{2k}\leq\alpha_{k}<\beta_{2k+1}<\gamma_{k}\leq\theta_{2k+1}\), and \(u''>0\) on \((0, t_{k})\) and \(u''<0\) on \((t_{k}, 1)\), where \(t_{k}\in(0, 1)\) is such that \(u(t_{k})=\beta_{2k+1}\).

We now apply the quadrature technique to (1.1)-(1.2) when f has n positive zeros. Multiplying (1.1) by \(u'(x)\) and integrating, we obtain

$$ \frac{(u'(x))^{2}}{2}+\lambda F\bigl(u(x)\bigr)=C, $$
(2.1)

where C is a constant. Applying the boundary conditions and the assumption that \(u(0)=\alpha_{k}\) and \(u(1)=\gamma_{k}\) (\(\gamma_{k}=\gamma_{k}(\alpha_{k})\)), we see that \(\lambda F(\alpha_{k})=C=\lambda F(\gamma_{k})\). Hence for each \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\), \(\alpha_{k}\in[\theta_{2k}, \beta_{2k+1})\) such that \(u(0)=\alpha_{k}\), \(\gamma_{k}\in(\beta_{2k+1}, \theta_{2k+1}]\) is the unique solution of \(F(\alpha_{k})=F(\gamma_{k})\). Thus if \(u(0)=\alpha_{k}\), (2.1) becomes

$$ u'(x)=\sqrt{2\lambda\bigl[F(\alpha_{k})-F\bigl(u(x) \bigr)\bigr]}, \quad x\in[0, 1], $$
(2.2)

integrating (2.1) on \([0, x]\) and applying the boundary conditions, we have

$$ \int_{\alpha_{k}}^{u(x)}\frac{ds}{\sqrt{F(\alpha_{k})-F(s)}}=\sqrt{2\lambda }x, \quad x\in[0, 1]. $$
(2.3)

Substituting \(x=1\) in (2.3), it follows that

$$ \sqrt{\lambda}=\frac{1}{\sqrt{2}} \int_{\alpha_{k}}^{\gamma_{k}}\frac {ds}{\sqrt{F(\alpha_{k})-F(s)}}=:G( \alpha_{k}). $$
(2.4)

In fact, the following result is true.

Theorem 2.1

Assume that (f1)-(f5) hold. For each \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\). Given \(\lambda>0\) if there exists \(\alpha_{k}\in[\theta_{2k}, \beta_{2k+1})\) such that \(G(\alpha_{k})=\sqrt{\lambda}\), then (1.1)-(1.2) has a unique positive solution \(u(x)\) satisfying \(u(0)=\alpha_{k}\), \(u(1)=\gamma_{k}\), where \(\gamma_{k}\) is such that \(F(\alpha_{k})=F(\gamma_{k})\) and \(u'>0\) on \((0, 1)\). Furthermore, \(G(\alpha_{k})\) is a continuous and differentiable function in \([\theta_{2k}, \beta_{2k+1})\). Its derivative is given by

$$\begin{aligned} \frac{dG(\alpha_{k})}{d\alpha_{k}}={}&{-}\frac{1}{2\sqrt{2}} \int_{0}^{1}\frac {H(\alpha_{k})-H(t(\beta_{2k+1}-\alpha_{k})+\alpha_{k})}{[F(\alpha _{k})-F(t(\beta_{2k+1}-\alpha_{k})+ \alpha_{k})]^{3/2}}\,dt \\ &{}+ \biggl(\frac{d\gamma_{k}}{d\alpha_{k}} \biggr)\frac{1}{2\sqrt{2}} \int_{0}^{1}\frac {H(\gamma_{k})-H(t(\beta_{2k+1}-\gamma_{k})+\gamma_{k})}{[F(\gamma _{k})-F(t(\beta_{2k+1}-\gamma_{k})+ \gamma_{k})]^{3/2}}\,dt, \end{aligned}$$
(2.5)

where \(H(s)=2F(s)+(\beta_{2k+1}-s)f(s)\).

Proof

The proof of Theorem 2.1 is the similar argument to that in Miciano and Shivaji [8] and Miciano [15] with obvious changes, so we omit it. □

3 Proofs of main results

In the section, we shall use the preliminary results in the previous section to prove Theorems 1.1-1.2.

Proof of Theorem 1.1

For each \(k\in\{0, 1,\ldots,[\frac{n-1}{2}]\}\). Recall the definition of \(\theta_{2k+1}\), we replace f in (1.1) by

$$ f_{k}(u)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} f(u), & \mbox{if } 0\leq u\leq\theta_{2k+1}, \\ f'(\theta_{2k+1})(u-\theta_{2k+1})+f(\theta_{2k+1}), & \mbox{if } u>\theta_{2k+1}, \end{array}\displaystyle \right . $$
(3.1)

and \(F_{k}(u)=\int_{0}^{u}f_{k}(s)\,ds\).

If \(k=0\), it is shown in Miciano and Shivaji [8] that

$$ \frac{\theta_{1}^{2}}{-2F_{0}(\beta_{1})}\leq\bigl[G(0)\bigr]^{2}\leq\frac{2\theta _{1}^{2}}{-F_{0}(\beta_{1})} $$
(3.2)

and

$$ \frac{4}{f_{0}'(\beta_{1})}\leq\Bigl[\lim_{\alpha_{0}\to\beta_{1}^{-}}G(\alpha _{0})\Bigr]^{2}\leq\frac{16}{f_{0}'(\beta_{1})}, $$
(3.3)

where \(\lim_{\alpha_{0}\to0^{+}}G(\alpha_{0})=: G(0)\).

Since the only possible bifurcation points on the curve of solution \((\lambda, \beta_{1})\) are \(\frac{\pi^{2}m^{2}}{f_{0}'(\beta_{1})}\), \(m=0, 1,\ldots\) , by (3.3), it follows that \([\lim_{\alpha_{0}\to\beta_{1}^{-}}G(\alpha_{0})]^{2}=\frac{\pi ^{2}m^{2}}{f_{0}'(\beta_{1})}\). From the definition of \(f_{0}\), we know that \(f_{0}'(\beta_{1})=f'(\beta_{1})\) and \(F_{0}(\beta_{1})=F(\beta_{1})\). One deduces from the hypothesis \(\frac{\pi^{2}}{f'(\beta_{1})}<\frac{\theta_{1}^{2}}{-2F(\beta_{1})}\) that the range of \([G(\alpha_{0})]^{2}\) contains \(S_{0}= (\frac{\pi^{2}}{f'(\beta_{1})}, \frac{\theta_{1}^{2}}{-2F(\beta_{1})} )\). Consequently, from Theorem 2.1, Lemma 2.1, and Lemma 2.2, the problem (1.1)-(1.2) with \(k=0\) has three distinct positive solutions as \(\lambda\in S_{0}\).

Next, we prove that, for each \(k\in\{1,\ldots,[\frac{n-1}{2}]\}\),

$$ \frac{(\theta_{2k+1}-\theta_{2k})^{2}}{-2F_{k}(\beta_{2k+1})}\leq\Bigl[\lim_{\alpha_{k}\to\theta_{2k}^{+}}G(\alpha_{k}) \Bigr]^{2}\leq\frac{2(\theta_{2k+1} -\theta_{2k})^{2}}{-F_{k}(\beta_{2k+1})} $$
(3.4)

and

$$ \frac{4}{f_{k}'(\beta_{2k+1})}\leq\Bigl[\lim_{\alpha_{k}\to\beta _{2k+1}^{-}}G(\alpha_{k}) \Bigr]^{2}\leq\frac{16}{f_{k}'(\beta_{2k+1})}. $$
(3.5)

Without loss of generality, we consider \(k=1\), and \(\alpha_{1}\in[\theta_{2}, \beta_{3})\), \(\gamma_{1}\in(\beta_{3}, \theta_{3}]\), from (2.4),

$$ G(\alpha_{1})=\frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\gamma_{1}}\frac{ds}{\sqrt {F_{1}(\alpha_{1})-F_{1}(s)}}. $$
(3.6)

Then

$$ \lim_{\alpha_{1}\to\theta_{2}^{+}}G(\alpha_{1})=\frac{1}{\sqrt{2}} \int _{\theta_{2}}^{\theta_{3}}\frac{ds}{\sqrt{-F_{1}(s)}}=:G( \theta_{2}). $$
(3.7)

By (f5), \(F_{1}''(s)=f_{1}'(s)>0\) for \(s\in(\theta_{2}, \theta_{3})\), we have

$$-F_{1}(s)\geq \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{-F_{1}(\beta_{3})}{\beta_{3}-\theta_{2}}(s-\theta_{2}), & \theta_{2}< s\leq \beta_{3}, \\ \frac{-F_{1}(\beta_{3})}{\theta_{3}-\beta_{3}}(\theta_{3}-s), & \beta_{3}< s< \theta _{3}, \end{array}\displaystyle \right . $$

and so

$$\frac{1}{\sqrt{-F_{1}(s)}}\leq \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \sqrt{\frac{\beta_{3}-\theta_{2}}{-F_{1}(\beta_{3})(s-\theta_{2})}}, & \theta _{2}< s\leq\beta_{3}, \\ \sqrt{\frac{\theta_{3}-\beta_{3}}{-F_{1}(\beta_{3})(\theta_{3}-s)}}, & \beta _{3}< s< \theta_{3}. \end{array}\displaystyle \right . $$

Thus, from (3.7), it follows that

$$ \begin{aligned}[b] G(\theta_{2})&=\frac{1}{\sqrt{2}} \int_{\theta_{2}}^{\beta_{3}}\frac{ds}{\sqrt {-F_{1}(s)}}+\frac{1}{\sqrt{2}} \int_{\beta_{3}}^{\theta_{3}}\frac{ds}{\sqrt {-F_{1}(s)}}\\ &\leq\frac{1}{\sqrt{2}}\sqrt{\frac{\beta_{3}-\theta_{2}}{-F_{1}(\beta_{3})}}2\sqrt {\beta_{3}- \theta_{2}}+\frac{1}{\sqrt{2}} \sqrt{\frac{\theta_{3}-\beta_{3}}{-F_{1}(\beta_{3})}}2\sqrt{ \theta_{3}-\beta_{3}}\\ &\leq\frac{\sqrt{2}(\theta_{3}-\theta_{2})}{\sqrt{-F_{1}(\beta_{3})}}. \end{aligned} $$
(3.8)

Also, we see that

$$-F_{1}(s)\leq-F_{1}(\beta_{3}), \quad s\in[ \theta_{2}, \theta_{3}]. $$

Hence

$$ G(\theta_{2})=\frac{1}{\sqrt{2}} \int_{\theta_{2}}^{\theta_{3}}\frac{ds}{\sqrt {-F_{1}(s)}}\geq \frac{1}{\sqrt{2}} \int_{\theta_{2}}^{\theta_{3}}\frac{ds}{\sqrt{-F_{1}(\beta _{3})}}=\frac{1}{\sqrt{2}} \frac{\theta_{3}-\theta_{2}}{\sqrt{-F_{1}(\beta _{3})}}. $$
(3.9)

Then from (3.8) and (3.9), it follows that

$$\frac{(\theta_{3}-\theta_{2})^{2}}{-2F_{1}(\beta_{3})}\leq\bigl[G(\theta_{2})\bigr]^{2}\leq \frac {2(\theta_{3}-\theta_{2})^{2}}{-F_{1}(\beta_{3})}. $$

Thus (3.4) holds as \(k=1\).

On the other hand, it is easy to verify that

$$G(\alpha_{1})=\frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\gamma_{1}}\frac{ds}{\sqrt {F_{1}(\alpha_{1})-F_{1}(s)}} \leq \frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\gamma_{1}}\frac{ds}{\sqrt{Z_{1}(s)}}, $$

where \(Z_{1}(s)\) is defined as

$$Z_{1}(s)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{F_{1}(\alpha_{1})-F_{1}(\beta_{3})}{\beta_{3}-\alpha_{1}}(s-\alpha_{1}), & \alpha_{1}< s< \beta_{3}, \\ \frac{F_{1}(\gamma_{1})-F_{1}(\beta_{3})}{\gamma_{1}-\beta_{3}}(\gamma_{1}-s), & \beta_{3}< s< \gamma_{1}. \end{array}\displaystyle \right . $$

Furthermore,

$$\begin{aligned} \int_{\alpha_{1}}^{\gamma_{1}}\frac{ds}{\sqrt{Z_{1}(s)}}&=\sqrt{ \frac{\beta _{3}-\alpha_{1}}{F_{1}(\alpha_{1})- F_{1}(\beta_{3})}} \int_{\alpha_{1}}^{\beta_{3}}\frac{ds}{\sqrt{s-\alpha_{1}}} +\sqrt{\frac{\gamma_{1}-\beta_{3}}{F_{1}(\gamma_{1})- F_{1}(\beta_{3})}} \int_{\beta_{3}}^{\gamma_{1}}\frac{ds}{\sqrt{\gamma_{1}-s}} \\ &=\sqrt{\frac{\beta_{3}-\alpha_{1}}{F_{1}(\alpha_{1})- F_{1}(\beta_{3})}}2\sqrt{\beta_{3}-\alpha_{1}}+ \sqrt{\frac{\gamma_{1}-\beta _{3}}{F_{1}(\gamma_{1})- F_{1}(\beta_{3})}}2\sqrt{\gamma_{1}-\beta_{3}} \\ &=\frac{2(\beta_{3}-\alpha_{1})}{\sqrt{F_{1}(\alpha_{1})- F_{1}(\beta_{3})}}+\frac{2(\gamma_{1}-\beta_{3})}{\sqrt{F_{1}(\gamma_{1})- F_{1}(\beta_{3})}}. \end{aligned}$$
(3.10)

Now as \(\alpha_{1}\to\beta_{3}^{-}\), \(\gamma_{1}\to\beta_{3}^{+}\),

$$ \lim_{\alpha_{1}\to\beta_{3}^{-}}\frac{4(\beta_{3}-\alpha _{1})^{2}}{F_{1}(\alpha_{1})- F_{1}(\beta_{3})}=\frac{8}{f_{1}'(\beta_{3})} \quad \mbox{and} \quad \lim_{\gamma_{1}\to\beta_{3}^{+}}\frac{4(\gamma_{1}-\beta _{3})^{2}}{F_{1}(\gamma_{1})- F_{1}(\beta_{3})}= \frac{8}{f_{1}'(\beta_{3})}. $$
(3.11)

Hence (3.10) and (3.11) imply that

$$ \lim_{\alpha_{1}\to\beta_{3}^{-}}G(\alpha_{1})\leq\lim_{\alpha _{1}\to\beta_{3}^{-}} \frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\gamma_{1}}\frac{ds}{ \sqrt{Z_{1}(s)}}= \frac{4}{\sqrt{f_{1}'(\beta_{3})}}. $$
(3.12)

Also from (2.4), we have

$$\begin{aligned} G(\alpha_{1})&=\frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\gamma_{1}}\frac {ds}{\sqrt{F_{1}(\alpha_{1})-F_{1}(s)}} \\ &=\frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\beta_{3}}\frac{ds}{\sqrt{F_{1}(\alpha _{1})-F_{1}(s)}}+ \frac{1}{\sqrt{2}} \int_{\beta_{3}}^{\gamma_{1}}\frac{ds}{\sqrt{F_{1}(\gamma _{1})-F_{1}(s)}} \\ &\geq\frac{1}{\sqrt{2}} \int_{\alpha_{1}}^{\beta_{3}}\frac{ds}{\sqrt {F_{1}(\alpha_{1})-F_{1}(\beta_{3})}}+ \frac{1}{\sqrt{2}} \int_{\beta_{3}}^{\gamma_{1}}\frac{ds}{\sqrt{F_{1}(\gamma _{1})-F_{1}(\beta_{3})}} \\ &=\frac{1}{\sqrt{2}}\frac{\beta_{3}-\alpha_{1}}{\sqrt{F_{1}(\alpha _{1})-F_{1}(\beta_{3})}}+ \frac{1}{\sqrt{2}}\frac{\gamma_{1}-\beta_{3}}{\sqrt{F_{1}(\gamma_{1})-F_{1}(\beta_{3})}}, \end{aligned}$$

and as \(\alpha_{1}\to\beta_{3}^{-}\), using (3.11), we obtain

$$ \lim_{\alpha_{1}\to\beta_{3}^{-}}G(\alpha_{1})\geq\frac{2}{\sqrt {f_{1}'(\beta_{3})}}. $$
(3.13)

Then from (3.12) and (3.13), we get

$$\frac{2}{\sqrt{f_{1}'(\beta_{3})}}\leq\lim_{\alpha_{1}\to\beta _{3}^{-}}G(\alpha_{1})\leq \frac{4}{\sqrt{f_{1}'(\beta_{3})}}, $$

and so

$$\frac{4}{f_{1}'(\beta_{3})}\leq\Bigl[\lim_{\alpha_{1}\to\beta_{3}^{-}}G(\alpha _{1}) \Bigr]^{2}\leq\frac{16}{f_{1}'(\beta_{3})}. $$

Thus (3.5) holds as \(k=1\).

By a similar argument to the case \(k=1\) with obvious changes, we can deduce that, for each \(k\in\{2,\ldots,[\frac{n-1}{2}]\}\), (3.4) and (3.5) hold.

Moreover, for each \(k\in\{1,\ldots,[\frac{n-1}{2}]\}\), since the only possible bifurcation points on the curve of solutions \((\lambda, \beta_{2k+1})\) are \(\frac{\pi^{2}m^{2}}{f_{k}'(\beta_{2k+1})}\), \(m=0, 1,\ldots\) , by (3.5), it follows that

$$\Bigl[\lim_{\alpha_{k}\to\beta_{2k+1}^{-}}G(\alpha_{k})\Bigr]^{2}=\frac{\pi ^{2}m^{2}}{f_{k}'(\beta_{2k+1})}. $$

From the definition of \(f_{k}\), we know that \(f_{k}'(\beta_{2k+1})=f'(\beta_{2k+1})\) and \(F_{k}(\beta_{2k+1})=F(\beta_{2k+1})\). One deduces from our hypothesis \(\frac{\pi^{2}}{f'(\beta_{2k+1})}<\frac{(\theta_{2k+1}-\theta _{2k})^{2}}{-2F(\beta_{2k+1})}\) that the range of \([G(\alpha_{k})]^{2}\) contains \(S_{k}= (\frac{\pi^{2}}{f'(\beta_{2k+1})}, \frac{(\theta_{2k+1}-\theta_{2k})^{2}}{-2F(\beta_{2k+1})} )\). Consequently, by Lemma 2.2, \(f_{k}\) has \(2k+1\) positive zeros such that (1.1)-(1.2) has \(2k+1\) positive solutions, moreover, by Theorem 2.1 and Lemma 2.1, for \(\lambda\in S_{k}\), \(u(x)\) and \(u(1-x)\) are two other positive solutions for (1.1)-(1.2).

The proof of Theorem 1.1 is now complete. □

Remark 3.1

Note that since f is autonomous, every solution of (1.1)-(1.2) is symmetric about its critical points (see Miciano and Shivaji [8], Lemma 2.2). Hence if positive solutions v with \(m-1\) interior critical points at \(\frac{i}{m}\), \(i=1, 2,\ldots,m-1\), it suffices to study solutions \(v_{m}(x):=v|_{x\in[0,\frac{1}{m}]}\), let \(v_{m}(x)=u(mx)\) for \(x\in[0,\frac{1}{m}]\). Together with Theorem 1.1, we can easily get similar results to Theorem A, here we omit them.

Next we consider positive solutions \(u(x)\) obtained by Theorem 1.2. Here \(u(0)=\alpha\), \(u(1)=\gamma \) (\(\gamma=\gamma(\alpha)\)) such that \(F(\alpha)=F(\gamma)\), \(0\leq \alpha\leq\beta_{\ast}<\gamma\leq\theta\), \(u''>0\) on \((0, t_{1})\cup(t_{2}, t_{3})\) and \(u''<0\) on \((t_{1}, t_{2})\cup(t_{3}, 1)\), where \(0< t_{1}< t_{2}< t_{3}<1\) are such that \(u(t_{k})=\beta_{k}\), \(k=1, 2, 3\).

Before proving Theorem 1.2, we now show some preliminary results. Given \(\beta_{\ast}\in(0, \beta_{1})\) satisfying \(F(\beta_{\ast})>F(\beta_{2})\), there exists \(\beta^{\ast}\in(\beta_{3}, \theta)\) such that \(F(\beta_{\ast})=F(\beta^{\ast})\). Let \(\alpha\in[0, \beta_{\ast}]\), \(\gamma\in[\beta^{\ast}, \theta]\) such that \(u(0)=\alpha\), \(u(1)=\gamma\). From (2.1), we see that \(\lambda F(\alpha)=C=\lambda F(\gamma)\), by a similar argument to (2.4) with obvious changes, we have

$$ \sqrt{\lambda}=\frac{1}{\sqrt{2}} \int_{\alpha}^{\gamma}\frac{ds}{\sqrt {F(\alpha)-F(s)}}=:G(\alpha). $$
(3.14)

Next, we give an important result.

Theorem 3.1

Let f satisfy all hypotheses of Theorem  1.2. Given \(\lambda>0\) if there exists \(\alpha\in[0, \beta_{\ast}]\) such that \(G(\alpha)=\sqrt{\lambda}\), then (1.1)-(1.2) has a unique positive solution \(u(x)\) satisfying \(u(0)=\alpha\), \(u(1)=\gamma\), where γ is such that \(F(\alpha)=F(\gamma)\) and \(u'>0\) on \((0, 1)\). Moreover, \(G(\alpha)\) is a continuous and differentiable function in \([0, \beta_{\ast}]\), its derivative is given by

$$\begin{aligned} \frac{dG(\alpha)}{d\alpha}={}&{-}\frac{1}{2\sqrt{2}} \int_{0}^{1}\frac {H_{1}(\alpha)-H_{1}(t(\beta_{1}-\alpha)+\alpha)}{[F(\alpha)-F(t(\beta _{1}-\alpha)+\alpha)]^{3/2}}\,dt \\ &{}-\frac{1}{2\sqrt{2}} \int_{\beta_{1}}^{\beta_{3}}\frac{f(\alpha)}{[F(\alpha )-F(t)]^{3/2}}\,dt \\ &{}+\frac{d\gamma}{d\alpha}\frac{1}{2\sqrt{2}} \int_{0}^{1}\frac{H_{2}(\gamma )-H_{2}(t(\beta_{3}-\gamma)+\gamma)}{[F(\gamma)-F(t(\beta_{3}-\gamma)+\gamma )]^{3/2}}\,dt>0, \end{aligned}$$
(3.15)

where \(H_{1}(s)=2F(s)+(\beta_{1}-s)f(s)\) and \(H_{2}(s)=2F(s)+(\beta_{3}-s)f(s)\).

Proof

Obviously, for given \(\lambda>0\), there exists \(\alpha\in[0, \beta_{\ast}]\) such that \(G(\alpha)=\sqrt{\lambda}\), it follows that (1.1)-(1.2) has a unique positive solution \(u(x)\) given by

$$ \int_{\alpha}^{u(x)}\frac{ds}{\sqrt{F(\alpha)-F(s)}}=\sqrt{2\lambda}x, \quad x\in[0, 1], $$
(3.16)

and \(u(0)=\alpha\), \(u(1)=\gamma\). Moreover, it is easy to see that \(G(\alpha)\) is a continuous and differentiable function in \([0, \beta_{\ast}]\). Now put

$$\begin{aligned} \int_{\alpha}^{\gamma}\frac{ds}{\sqrt{F(\alpha)-F(s)}}={}& \int_{\alpha}^{\beta _{1}}\frac{ds}{\sqrt{F(\alpha)-F(s)}}+ \int^{\beta_{3}}_{\beta_{1}}\frac{ds}{\sqrt{F(\alpha)-F(s)}} \\ &{}+ \int_{\beta _{3}}^{\gamma}\frac{ds}{\sqrt{F(\gamma)-F(s)}}. \end{aligned}$$
(3.17)

Thus

$$ \frac{d}{d\alpha} \int^{\beta_{3}}_{\beta_{1}}\frac{ds}{\sqrt{F(\alpha )-F(s)}}=-\frac{1}{2} \int^{\beta_{3}}_{\beta_{1}}\frac{f(\alpha )\,ds}{[F(\alpha)-F(s)]^{3/2}}>0. $$
(3.18)

In fact, \(f(\alpha)<0\) for \(\alpha\in[0, \beta_{\ast}]\).

Let \(s=t(\beta_{1}-\alpha)+\alpha\), then

$$\int_{\alpha}^{\beta_{1}}\frac{ds}{\sqrt{F(\alpha)-F(s)}}= \int_{0}^{1}\frac {(\beta_{1}-\alpha)\,dt}{\sqrt{F(\alpha)-F(t(\beta_{1}-\alpha)+\alpha)}}, $$

and

$$ \frac{d}{d\alpha} \int_{0}^{1}\frac{(\beta_{1}-\alpha)\,dt}{\sqrt{F(\alpha )-F(t(\beta_{1}-\alpha)+\alpha)}}=-\frac{1}{2} \int_{0}^{1}\frac{H_{1}(\alpha)- H_{1}[t(\beta_{1}-\alpha)+\alpha]}{[F(\alpha)-F(t(\beta_{1}-\alpha)+\alpha )]^{3/2}}\,dt\geq0, $$
(3.19)

where \(H_{1}(s)=2F(s)+(\beta_{1}-s)f(s)\) for \(s\in(\alpha, \beta_{1})\). Indeed, \(H_{1}'(s)=f(s)+(\beta_{1}-s)f'(s)\), \(H_{1}''(s)=(\beta_{1}-s)f''(s)<0\) since \(f''(s)<0\), \(s\in(\alpha, \beta_{1})\), and \(H_{1}'(\beta_{1})=0\), so \(H_{1}'(s)\geq0\), that is, \(H_{1}(\alpha)-H_{1}(t(\beta_{1}-\alpha)+\alpha)\leq0\), for \(t\in(0, 1)\). Then (3.19) holds.

Let \(s=t(\beta_{3}-\gamma)+\gamma\), then

$$\int^{\gamma}_{\beta_{3}}\frac{ds}{\sqrt{F(\gamma)-F(s)}}= \int_{0}^{1}\frac {(\gamma-\beta_{3})\,dt}{\sqrt{F(\gamma)-F(t(\beta_{3}-\gamma)+\gamma)}} $$

and

$$\begin{aligned} &\frac{d}{d\alpha} \int_{0}^{1}\frac{(\gamma-\beta_{3})\,dt}{\sqrt{F(\gamma )-F[t(\beta_{3}-\gamma)+\gamma]}} \\ &\quad=\frac{d\gamma}{d\alpha} \frac{1}{2} \int _{0}^{1}\frac{H_{2}(\gamma)- H_{2}[t(\beta_{3}-\gamma)+\gamma]}{[F(\gamma)-F(t(\beta_{3}-\gamma)+\gamma )]^{3/2}}\,dt \geq0, \end{aligned}$$
(3.20)

where \(H_{2}(s)=2F(s)+(\beta_{3}-s)f(s)\) for \(s\in(\beta_{3}, \gamma)\). In fact, \(H_{2}'(s)=f(s)+(\beta_{3}-s)f'(s)\), \(H_{2}''(s)=(\beta_{3}-s)f''(s)<0\) since \(f''(s)>0\), \(s\in(\beta_{3}, \gamma)\), and \(H_{2}'(\beta_{3})=0\), so \(H_{2}'(s)\leq0\), that is, \(H_{2}(\gamma)-H_{2}(t(\beta_{3}-\gamma)+\gamma)\leq0\), for \(t\in(0, 1)\). But we know that \(\frac{d\gamma}{d\alpha}<0\). Then (3.20) holds.

Combining (3.14) with (3.17)-(3.20), it follows that

$$\frac{d}{d\alpha}G(\alpha)=\frac{d}{d\alpha}\frac{1}{\sqrt{2}} \int _{\alpha}^{\gamma}\frac{ds}{\sqrt{F(\alpha)-F(s)}}>0. $$

This completes the proof of the theorem. □

Proof of Theorem 1.2

From (3.14), we have

$$ \lim_{\alpha\to0^{+}}G(\alpha)=\frac{1}{\sqrt{2}} \int_{0}^{\theta }\frac{ds}{\sqrt{-F(s)}}=:G(0) $$
(3.21)

and

$$-F(s)\leq\max\bigl\{ -F(\beta_{1}), -F(\beta_{3})\bigr\} , \quad s\in[0, \theta]. $$

Hence

$$ G(0)=\frac{1}{\sqrt{2}} \int_{0}^{\theta}\frac{ds}{\sqrt{-F(s)}}\geq \frac {1}{\sqrt{2}}\frac{\theta}{\sqrt{\max\{-F(\beta_{1}), -F(\beta_{3})\} }}. $$
(3.22)

Since \(F''(s)=f'(s)>0\), for \(0< s\leq\beta_{1}\) and \(\beta_{3}< s<\theta\), we get

$$-F(s)\geq \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{-F(\beta_{1})}{\beta_{1}}s, & 0< s\leq\beta_{1}, \\ -F(\beta_{2}), & \beta_{1}< s\leq\beta_{3}, \\ \frac{-F(\beta_{3})}{\theta-\beta_{3}}(\theta-s), & \beta_{3}< s< \theta. \end{array}\displaystyle \right . $$

Thus

$$\frac{1}{\sqrt{-F(s)}}\leq \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{\sqrt{\beta_{1}}}{\sqrt{-F(\beta_{1})}}\frac{1}{\sqrt{s}}, & 0< s\leq \beta_{1}, \\ \frac{1}{\sqrt{-F(\beta_{2})}}, & \beta_{1}< s\leq\beta_{3}, \\ \frac{\sqrt{\theta-\beta_{3}}}{\sqrt{-F(\beta_{3})}}\frac{1}{\sqrt{\theta -s}}, & \beta_{3}< s< \theta. \end{array}\displaystyle \right . $$

By virtue of (3.21), we obtain

$$\begin{aligned} G(0)\leq{}&\frac{1}{\sqrt{2}} \int_{0}^{\beta_{1}}\frac{\sqrt{\beta_{1}}}{\sqrt {-F(\beta_{1})}}\frac{ds}{\sqrt{s}}+ \frac{1}{\sqrt{2}} \int_{\beta_{1}}^{\beta_{3}} \frac{ds}{\sqrt{-F(\beta_{2})}}+\frac{1}{\sqrt{2}} \int_{\beta_{3}}^{\theta}\frac{\sqrt{\theta-\beta_{3}}}{\sqrt{-F(\beta _{3})}}\frac{ds}{\sqrt{\theta-s}} \\ ={}&\frac{\sqrt{2}\beta_{1}}{\sqrt{-F(\beta_{1})}}+\frac{1}{\sqrt{2}}\frac {\beta_{3}-\beta_{1}}{\sqrt{-F(\beta_{2})}}+\frac{\sqrt{2}(\theta-\beta _{3})}{\sqrt{-F(\beta_{3})}} \\ < {}&\frac{\sqrt{2}\theta}{\sqrt{-F(\beta_{2})}}. \end{aligned}$$
(3.23)

Then from (3.22)-(3.23) we have

$$ \frac{\theta^{2}}{2\max\{-F(\beta_{1}), -F(\beta_{3})\}}\leq\bigl[G(0)\bigr]^{2}< \frac {2\theta^{2}}{-F(\beta_{2})}. $$
(3.24)

Since

$$ \lim_{\alpha\to\beta_{\ast}^{-}}G(\alpha)=\frac{1}{\sqrt{2}} \int _{\beta_{\ast}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}}, $$
(3.25)

where \(\beta^{\ast}\) satisfies \(F(\beta^{\ast})=F(\beta_{\ast})\). Hence

$$\begin{aligned} \frac{1}{\sqrt{2}} \int_{\beta_{\ast}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta _{\ast})-F(s)}}&= \frac{1}{\sqrt{2}} \int_{\beta_{\ast}}^{\beta_{2}}\frac{ds}{\sqrt{F(\beta _{\ast})-F(s)}}+\frac{1}{\sqrt{2}} \int_{\beta_{2}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}} \\ &\geq \frac{1}{\sqrt{2}}\frac{\beta_{2}-\beta_{\ast}}{\sqrt{F(\beta_{\ast})-F(\beta_{1})}}+\frac{1}{\sqrt{2}} \frac{\beta^{\ast}-\beta_{2}}{\sqrt{F(\beta _{\ast})-F(\beta_{3})}} \\ &\geq\frac{1}{\sqrt{2}}\frac{\beta^{\ast}-\beta_{\ast}}{\sqrt{F(\beta_{\ast})+\max\{-F(\beta_{1}), -F(\beta_{3})\}}}. \end{aligned}$$
(3.26)

On the other hand,

$$\begin{aligned} \int_{\beta_{\ast}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}}={}& \int_{\beta_{\ast}}^{\underline{\beta}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}} \\ &{}+ \int_{\underline{\beta}}^{\overline{\beta}}\frac{ds}{\sqrt{F(\beta _{\ast})-F(s)}}+ \int_{\overline{\beta}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta^{\ast})-F(s)}}, \end{aligned}$$
(3.27)

where \(\beta_{\ast}<\underline{\beta}<\beta_{2}<\overline{\beta}<\beta^{\ast}\) such that \(F(\underline{\beta})=F(\overline{\beta})=F(\beta_{2})\). We can easily get

$$ \int_{\underline{\beta}}^{\overline{\beta}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}}\leq \frac{\overline{\beta}-\underline{\beta}}{\sqrt{F(\beta_{\ast})-F(\beta_{2})}}. $$
(3.28)

Since \(F''(s)=f'(s)>0\) for \(s\in(\beta_{\ast}, \underline{\beta})\) and \(s\in(\overline{\beta}, \beta^{\ast})\), we have

$$ F(\beta_{\ast})-F(s)\geq\frac{F(\beta_{\ast})-F(\underline{\beta })}{\underline{\beta}-\beta_{\ast}}(s-\beta_{\ast}), \quad s\in(\beta_{\ast}, \underline{\beta}), $$
(3.29)

and

$$ F\bigl(\beta^{\ast}\bigr)-F(s)\geq\frac{F(\beta^{\ast})-F(\overline{\beta})}{\beta ^{\ast}-\overline{\beta}}\bigl( \beta^{\ast}-s\bigr), \quad s\in\bigl(\overline{\beta}, \beta ^{\ast}\bigr). $$
(3.30)

Thus

$$\begin{aligned} & \int_{\beta_{\ast}}^{\underline{\beta}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}}+ \int^{\beta^{\ast}}_{\overline{\beta}}\frac{ds}{\sqrt{F(\beta ^{\ast})-F(s)}} \\ &\quad\leq \frac{\sqrt{\underline{\beta}-\beta_{\ast}}}{\sqrt{F(\beta_{\ast})-F(\underline{\beta})}} \int_{\beta_{\ast}}^{\underline{\beta}}\frac {1}{\sqrt{s-\beta_{\ast}}}+ \frac{\sqrt{\beta^{\ast}-\overline{\beta}}}{\sqrt{F(\beta^{\ast})-F(\overline{\beta})}} \int^{\beta^{\ast}}_{\overline{\beta}}\frac {1}{\sqrt{\beta^{\ast}-s}} \\ &\quad=\frac{2(\underline{\beta}-\beta_{\ast})}{\sqrt{F(\beta_{\ast})-F(\underline{\beta})}}+ \frac{2(\beta^{\ast}-\overline{\beta})}{\sqrt{F(\beta^{\ast})-F(\overline {\beta})}}. \end{aligned}$$
(3.31)

Consequently, from (3.27), (3.28), and (3.31), we obtain

$$\begin{aligned} \frac{1}{\sqrt{2}} \int_{\beta_{\ast}}^{\beta^{\ast}}\frac{ds}{\sqrt{F(\beta_{\ast})-F(s)}}={}& \frac{1}{\sqrt{2}} \int_{\beta_{\ast}}^{\underline{\beta}}\frac {ds}{\sqrt{F(\beta_{\ast})-F(s)}}+ \frac{1}{\sqrt{2}} \int_{\underline{\beta}}^{\overline{\beta}}\frac {ds}{\sqrt{F(\beta_{\ast})-F(s)}} \\ &{}+ \frac{1}{\sqrt{2}} \int_{\overline{\beta}}^{\beta^{\ast}}\frac{ds}{\sqrt {F(\beta^{\ast})-F(s)}} \leq \frac{1}{\sqrt{2}}\frac{2(\underline{\beta}-\beta_{\ast})}{\sqrt {F(\beta_{\ast})-F(\underline{\beta})}} \\ &{}+\frac{1}{\sqrt{2}}\frac{\overline{\beta}-\underline{\beta}}{\sqrt {F(\beta_{\ast})-F(\beta_{2})}}+\frac{1}{\sqrt{2}} \frac{2(\beta^{\ast}-\overline{\beta})}{\sqrt{F(\beta^{\ast})-F(\overline {\beta})}} \\ ={}&\frac{2(\beta^{\ast}-\beta_{\ast})-(\overline{\beta}-\underline{\beta })}{\sqrt{2}\sqrt{F(\beta_{\ast})-F(\beta_{2})}}. \end{aligned}$$
(3.32)

Combining this with (3.26), we get

$$ \frac{(\beta^{\ast}-\beta_{\ast})^{2}}{2[F(\beta_{\ast})+\max\{-F(\beta_{1}), -F(\beta_{3})\}]}\leq\Bigl[\lim_{\alpha\to\beta_{\ast}^{-}}G(\alpha) \Bigr]^{2}\leq \frac{[2(\beta^{\ast}-\beta_{\ast})-(\overline{\beta}-\underline{\beta })]^{2}}{2[F(\beta_{\ast})-F(\beta_{2})]}. $$
(3.33)

Finally, by Theorem 3.1, it follows that \([\lim_{\alpha\to0^{+}}G(\alpha)]^{2}<[\lim_{\alpha\to\beta _{\ast}^{-}}G(\alpha)]^{2}\), we let

$$\lambda_{\ast}=\Bigl[\lim_{\alpha\to0^{+}}G(\alpha) \Bigr]^{2}, \qquad \lambda^{\ast}=\Bigl[\lim _{\alpha\to\beta_{\ast}^{-}}G(\alpha)\Bigr]^{2}, $$

and \(\lambda_{\ast}\), \(\lambda^{\ast}\) satisfy the inequality of (3.24) and (3.33), respectively. By Lemma 2.1 and Lemma 2.2, (1.1)-(1.2) has exactly five distinct positive solutions.

The proof of Theorem 1.2 is now complete. □

Remark 3.2

To the best of our knowledge, positive solutions obtained in Theorem 1.2 are of a new shape since its convexity and concavity changes more than once.

References

  1. Ali, J, Shivaji, R, Wampler, K: Population models with diffusion, strong Allee effect and constant yield harvesting. J. Math. Anal. Appl. 352, 907-913 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  2. Girão, P, Tehrani, H: Positive solutions to logistic type equations with harvesting. J. Differ. Equ. 247, 574-595 (2009)

    Article  MATH  Google Scholar 

  3. Jiang, J, Shi, J: Bistability dynamics in some structured ecological models. In: Cantrell, S, Cosner, C, Ruan, S (eds.) Spatial Ecology. CRC Press, Boca Raton (2009)

    Google Scholar 

  4. Oruganti, S, Shi, J, Shivaji, R: Diffusive logistic equation with constant effort harvesting, I: steady states. Trans. Am. Math. Soc. 354, 3601-3619 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  5. Castro, A, Shivaji, R: Nonnegative solutions for a class of nonpositone problems. Proc. R. Soc. Edinb. 108, 291-302 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gao, H, Ma, R: Multiple positive solutions for a class of the Neumann problem. Electron. J. Qual. Theory Differ. Equ. 2015, 48 (2015)

    Article  MathSciNet  Google Scholar 

  7. Hung, KC: Exact multiplicity of positive solutions of a semipositone problem with concave-convex nonlinearity. J. Differ. Equ. 255, 3811-3831 (2013)

    Article  MATH  Google Scholar 

  8. Miciano, AR, Shivaji, R: Multiple positive solutions for a class of semipositone Neumann two point boundary value problems. J. Math. Anal. Appl. 178, 102-115 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  9. Allegretto, W, Odiobala, PO: Nonpositone elliptic problems in \(\mathbb{R}^{n}\). Proc. Am. Math. Soc. 123, 533-541 (1995)

    MathSciNet  MATH  Google Scholar 

  10. Castro, A, Gadam, S, Shivaji, R: Positive solution curves of semipositone problems with concave nonlinearities. Proc. R. Soc. Edinb. 127, 921-934 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dancer, EN, Shi, J: Uniqueness and nonexistence of positive solutions to semipositone problems. Bull. Lond. Math. Soc. 38, 1033-1044 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  12. Eunkyung, K, Ramaswamy, M, Shivaji, R: Uniqueness of positive radial solutions for a class of semipositone problems on the exterior of a ball. J. Math. Anal. Appl. 423, 399-409 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Laetsch, TW: The number of solutions of a nonlinear two point boundary value problem. Indiana Univ. Math. J. 20, 1-13 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  14. Brown, KJ, Budin, H: On the existence of positive solutions for a class of semilinear elliptic boundary value problems. SIAM J. Math. Anal. 10, 875-883 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  15. Miciano, AR: Multiple positive solutions for a class of semipositone Neumann two point boundary value problems. M.S. thesis, Mississipi State University (1990)

Download references

Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions. This work was supported by the NSFC (No. 11361054).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ruyun Ma.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 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

Chen, T., Ma, R. Positive solutions for a class of semipositone Neumann problems. Bound Value Probl 2016, 19 (2016). https://doi.org/10.1186/s13661-016-0528-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-016-0528-4

MSC

Keywords