Study of a generalized logistic equation with nonlocal reaction term

Abstract

In this paper, we consider the generalized logistic equation with nonlocal reaction term

$$-\Delta u=u \biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(u) \biggr)\quad \text{in } \Omega,\qquad u>0 \quad \text{ in } \Omega,\qquad u=0 \quad \text{ on } \partial \Omega.$$

Using the bifurcation and sub-supersolution method, we obtain the non-existence, existence, and uniqueness of positive solutions for different parameters on the nonlocal terms. Our works about the nonlocal elliptic problem improve the results in the previous literature.

1 Introduction

In this paper, we consider the nonlocal elliptic boundary value problem

$$\textstyle\begin{cases} -\Delta u=u(\lambda +b\int_{\Omega }u^{r}\,dx-f(u)), \quad \text{in } \Omega, \\ u>0, \quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega. \end{cases}$$
(1.1)

Here Î© is a bounded domain in $$\mathbb{R}^{N}$$, $$N\geq 2$$, with $$C^{2,\beta }$$ boundary âˆ‚Î©, Î», $$b\in \mathbb{R}$$, $$r>0$$, $$\beta \in (0,1)$$, and $$f(u)$$ is a polynomial denoted by

$$f(u)=\sum_{i=1}^{n}a_{i}u^{k_{i}}, \quad a_{i}>0, i=1, 2, \ldots, n~(n \geq 1),$$
(1.2)

where

$$\text{all } k_{i} \text{ are integers with } 1=k_{1}< k_{2}< \cdots < k_{n}.$$

This type of problem was studied initially by Delgado et al. in [8], where they proposed the equation

$$\textstyle\begin{cases} \frac{\partial u}{\partial t}-\Delta u=u(\lambda +b\int_{\Omega }u ^{r}\,dx-u), \quad \text{in } \Omega \times (0,+\infty), \\ u(x,t)=0, \quad \text{in } \partial \Omega \times (0,+\infty), \\ u(x,0)=u_{0}, \quad \text{on } \Omega, \end{cases}$$

$$\textstyle\begin{cases} -\Delta u=u(\lambda +b\int_{\Omega }u^{r}\,dx-u), \quad \text{in } \Omega, \\ u>0, \quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega. \end{cases}$$
(1.3)

Here $$u(x,t)$$ represents the density of a species in time $$t>0$$ and at the point $$x\in \Omega$$, the habitat of the species that is surrounded by inhospitable areas, Î» is the growth rate of species, term $$-f(u)$$ describes the limiting effect of crowding in the population. In this paper the authors proved the existence of an unbounded continuum of positive solutions of (1.3), presented some non-existence results, and discussed the local and global behavior of the continuum.

The introduction of nonlocal terms in the equation and in the boundary conditions models a number of processes in different fields such as mathematical physics, mechanics of deformable solids, mathematical biology, and many others (see [1, 2, 4, 5, 10â€“12, 16, 20]).

Obviously, problem (1.1) is a generalization of problem (1.3). In this paper, we present some results on the existence of an unbounded continuum of positive solutions of (1.1), the local and global behavior of the continuum, and prove the non-existence of positive solutions also.

The paper is organized as follows. In Sect. 2 we give some lemmas which show the relationship among the solution, sub-solution, and super-solution and the relationship between the solution and the nonlinear term f and prove the existence of an unbounded continuum of positive solutions of (1.1). Section 3 is devoted to proving the non-existence results and a priori bounds of positive solutions of (1.1). In Sect. 4 we presents some conditions for the existence of positive solutions for (1.1) and prove local and global behavior of the continuum of positive solutions of (1.1). Some ideas come from [13, 14].

Throughout our paper, we always suppose that (1.2) is true.

2 Bifurcation results

In order to discuss (1.1), we consider the following equation:

$$\textstyle\begin{cases} -\Delta u=u(\lambda -f(u)), \quad \text{in } \Omega, \\ u>0, \quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega, \end{cases}$$
(2.1)

where $$\lambda \in \mathbb{R}$$.

Denote by $$\varphi_{1}$$ an eigenfunction corresponding to the principle eigenvalue $$\lambda_{1}$$ of

$$\textstyle\begin{cases} -\Delta u=\lambda u, \quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega. \end{cases}$$
(2.2)

From [9] and [15], $$\varphi_{1}$$ belongs to $$C^{2,\beta }(\overline{\Omega })$$, $$\varphi_{1}>0$$ in Î©, and $$\lambda_{1}>0$$. Moreover, assume that $$\|\varphi_{1}\|_{\infty }=1$$.

Lemma 2.1

(See [3])

There exists a positive solution of (2.1) if and only if $$\lambda >\lambda_{1}$$. Moreover, if it exists, the solution is unique, and we denote it by $$\theta_{\lambda }$$. Furthermore, the following inequalities hold:

$$f^{-1}(\lambda -\lambda_{1})\varphi_{1}\leq \theta_{\lambda }\leq f ^{-1}(\lambda).$$
(2.3)

Lemma 2.2

Assume that u is the unique positive solution to (2.1) for $$\lambda >\lambda_{1}$$. Then

$$u=(\lambda -\lambda_{1})m_{1}^{-1} \varphi_{1}+(\lambda -\lambda_{1})^{2}m _{1}^{-2}U_{1}+O \bigl( \vert \lambda - \lambda_{1} \vert ^{3} \bigr),\quad \textit{as }\lambda \downarrow \lambda_{1},$$

where

$$m_{1}:=a_{1} \int_{\Omega }\varphi_{1}^{3}\,dx\neq0,$$

and we have denoted by $$\beta_{1}$$ the unique solution of the following linear problem in Î© under the homogeneous Dirichlet boundary condition:

$$(-\Delta -\lambda_{1})\beta_{1}=m_{1} \varphi_{1}-a_{1}\varphi_{1}^{2},\qquad \int_{\Omega }\beta_{1}\varphi_{1}\,dx=0,$$

and

\begin{aligned}& m_{2}:=2a_{1} \int_{\Omega }\varphi_{1}^{2} \beta_{1}\,dx+a_{2} \int_{ \Omega }\varphi_{1}^{4} \,dx-m_{1} \int_{\Omega }\beta_{1}\varphi_{1}\,dx, \quad \textit{if } k_{2}=2, \\& m_{2}:=2a_{1} \int_{\Omega }\varphi_{1}^{2} \beta_{1}\,dx-m_{1} \int_{ \Omega }\beta_{1}\varphi_{1}\,dx,\quad \textit{if } k_{2}>2, \\& U_{1}:=\beta_{1}-\frac{m_{2}}{m_{1}}\varphi_{1}. \end{aligned}

Lemma 4.3 in [9] proved the relationship between the solution u of problem (2.1) when $$f(u)=u$$ and the first eigenfunction $$\varphi_{1}$$ of problem (2.2). LemmaÂ 2.2 obtains a similar result for the case $$f(u)=\sum_{i=1}^{n}a_{i}u^{k_{i}}$$. Since the proof is the same as that in [9], we omit it.

From LemmaÂ 2.2, we obtain the following corollary directly.

Corollary 2.1

Assume that u is the unique positive solution to (2.1) for $$\lambda >\lambda_{1}$$. There exist two positive constants $$\delta >0$$ and $$K>0$$ such that

$$u\leq K(\lambda -\lambda_{1})\varphi_{1}, \quad \forall \lambda \in ( \lambda_{1},\lambda_{1}+\delta ].$$
(2.4)

Lemma 2.3

Assume that $$\theta_{\lambda }$$ is the unique positive solution to (2.1) for $$\lambda >\lambda_{1}$$.

1. (1)

If $$\underline{u}>0$$ is a strict sub-solution of (2.1), then $$\underline{u}\leq \theta_{\lambda }$$.

2. (2)

If $$\overline{u}>0$$ is a strict super-solution of (2.1), then $$\theta_{\lambda }\leq \overline{u}$$.

Since $$u^{-1}u(\lambda -f(u))=\lambda -f(u)$$ is decreasing, it is easy to get the proof from Lemma 2.3 in [19], and we omit it.

We consider the Banach space $$X:=C_{0}(\overline{\Omega })$$, denote $$B_{\rho }:=\{u\in X:\|u\|_{\infty }<\rho \}$$. Define

$$F(u)=u \biggl(\lambda +b \int_{\Omega }u_{+}^{r}\,dx-f(u) \biggr)$$

and the map

$$K_{\lambda }:X\rightarrow X,\qquad K_{\lambda }(u)=u-(- \Delta)^{-1} \bigl(F(u) \bigr),$$

where $$u_{+}=\max \{u(x),0\}$$ and $$(-\Delta)^{-1}$$ is the inverse of the operator âˆ’Î” under homogeneous Dirichlet boundary conditions. Agmonâ€“Douglasâ€“Nirenberg theorem, embedding theorem, and strong maximum theorem(see [17]) guarantee that $$(-\Delta)^{-1}$$ is positive and compact. It is clear that u is a nonnegative solution of (1.1) if and only if $$K_{\lambda }u=0$$.

Now we give the main result of this section.

Theorem 2.1

The value $$\lambda =\lambda_{1}$$ is the only bifurcation point from the trivial solution for (1.1). Moreover, there exists a continuum $$C_{0}$$ of nonnegative solutions of (1.1) unbounded in $$\mathbb{R}\times X$$ emanating from $$(\lambda_{1}, 0)$$. Furthermore,

1. (i)

if $$b\leq 0$$, the direction of bifurcation is supercritical.

2. (ii)

Assume $$b>0$$.

1. (a)

If $$r < 1$$, the direction of bifurcation is subcritical.

2. (b)

If $$r>1$$, then the direction of bifurcation is supercritical.

3. (c)

Assume $$r=1$$, and denote

$$b_{0}= \frac{a_{1}\int_{\Omega }\varphi_{1}^{3}\,dx}{\int_{\Omega }\varphi_{1}\,dx \int_{\Omega }\varphi_{1}^{2}\,dx}.$$

If $$b>b_{0}$$ (resp. $$b< b_{0}$$), the direction of bifurcation is subcritical (resp. supercritical).

Recall that we say that the direction of bifurcation is subcritical (resp. supercritical) if there exists a neighborhood V of $$(\lambda_{1}, 0)$$ such that for every solution $$(\lambda, u)\in V$$ satisfies $$\lambda <\lambda_{1}$$ (resp. $$\lambda >\lambda_{1}$$), see [8].

In order to prove this result, we use the Lerayâ€“Schauder degree of $$K_{\lambda }$$ on $$B_{\rho }$$ with respect to zero, denoted by $$\operatorname{deg}(K_{\lambda }, B_{\rho } )$$, and the index of the isolated zero of $$K_{\lambda }$$, denoted by $$i(K_{\lambda }, u)$$.

Lemma 2.4

If $$\lambda <\lambda_{1}$$, then $$i(K_{\lambda },0)=1$$.

Lemma 2.5

If $$\lambda >\lambda_{1}$$, then $$i(K_{\lambda },0)=0$$.

Since the proof is the same as that of Lemmas 2.3 and 2.4 in [8], we omit it.

Proof of TheoremÂ 2.1

From Lemmas 2.4 and 2.5 and bifurcation theorem (see [18]), the same proof as that of TheoremÂ 2.2 in [8] guarantees the existence of an unbounded continuum $$C_{0}$$ of positive solutions of (1.1). Moreover, conclusion (i) is true.

We only give the proof of (ii).

(a) Assume now that $$b>0$$ and the existence of a sequence $$(\lambda _{n}, u_{n})\in C_{0}$$ of positive solutions of (1.1) such that $$\lambda_{n}\geq \lambda_{1}$$ and $$\|u_{n}\|_{\infty }\rightarrow 0$$ as $$n\rightarrow \infty$$. By the property of f, there is $$\delta_{1}>0$$ such that

$$f(u)\leq (a_{1}+1)u,\quad \forall u\in [0,\delta_{1}].$$
(2.5)

Take $$M>0$$ such that

$$(a_{1}+1)-bM \int_{\Omega }\varphi_{1}\,dx< 0.$$
(2.6)

Since $$r<1$$, choose n large enough such that $$u^{r}_{n}>Mu_{n}$$, and then

$$-\Delta u_{n}>u_{n} \biggl(\lambda_{n}+bM \int_{\Omega } u_{n}\,dx-f(u_{n}) \biggr),$$

which implies that $$u_{n}$$ is a strict super-solution of the following system:

$$\textstyle\begin{cases} -\Delta u=u(\lambda_{n}+bM\int_{\Omega }u_{n}\,dx-f(u)), \quad x\in \Omega, \\ u|_{\partial \Omega }=0. \end{cases}$$
(2.7)

Using LemmaÂ 2.1, we get (2.7) has a unique positive solution $$\theta_{n}$$ and

$$\theta_{n}\geq f^{-1} \biggl(\lambda_{n}+bM \int_{\Omega } u_{n}\,dx-\lambda _{1} \biggr) \varphi_{1}.$$

LemmaÂ 2.3 implies that

$$u_{n}\geq \theta_{n} \geq f^{-1} \biggl( \lambda_{n}+bM \int_{\Omega } u_{n}\,dx- \lambda_{1} \biggr) \varphi_{1}.$$

Integrating the above inequality yields that

$$\int_{\Omega }u_{n}\,dx\geq f^{-1} \biggl( \lambda_{n}+bM \int_{\Omega } u_{n}\,dx- \lambda_{1} \biggr) \int_{\Omega }\varphi_{1}\,dx.$$

And then

$$f \biggl(\frac{\int_{\Omega }u_{n}\,dx}{\int_{\Omega }\varphi_{1}\,dx} \biggr)\geq \lambda_{n}+bM \int_{\Omega } u_{n}\,dx-\lambda_{1}.$$

Using (2.5), one has

$$(a_{1}+1) \biggl( \int_{\Omega }\varphi_{1}\,dx \biggr)^{-1} \int_{\Omega }u_{n}\,dx \geq f \biggl(\frac{\int_{\Omega }u_{n}\,dx}{\int_{\Omega }\varphi_{1}\,dx} \biggr)$$

for n large enough. And then

$$(a_{1}+1) \biggl( \int_{\Omega }\varphi_{1}\,dx \biggr)^{-1} \int_{\Omega }u_{n}\,dx \geq \lambda_{n}+bM \int_{\Omega } u_{n}\,dx-\lambda_{1},$$

which together with (2.6) implies

$$0> \biggl((a_{1}+1) \biggl( \int_{\Omega }\varphi_{1}\,dx \biggr)^{-1}-bM \biggr) \int_{\Omega } u _{n}\,dx\geq \lambda_{n}- \lambda_{1},$$

an absurdum.

(b) Assume now that $$b>0$$, $$r>1$$ and the existence of a sequence $$(\lambda_{n}, u_{n})\in C_{0}$$ of positive solutions of (1.1) such that $$\lambda_{n}\leq \lambda_{1}$$ and $$\|u_{n}\|_{\infty }\rightarrow 0$$ as $$n\rightarrow \infty$$. Without loss of generality, assume that $$\|u_{n}\|_{\infty }\leq \delta$$ defined in CorollaryÂ 2.1. Take $$\varepsilon >0$$ such that

$$1-bK\varepsilon \vert \Omega \vert >0,$$
(2.8)

where K is defined in CorollaryÂ 2.1.

For n large we have $$u_{n}^{r}<\varepsilon u_{n}$$, and then

$$-\Delta u_{n}< u_{n} \biggl(\lambda_{n}+b \varepsilon \int_{\Omega } u_{n}\,dx-f(u _{n}) \biggr),$$

which implies that $$u_{n}$$ is a strict sub-solution of the following problem:

$$\textstyle\begin{cases} -\Delta v=v(\lambda_{n}+b\varepsilon \int_{\Omega } u_{n}\,dx-f(v)), \quad x\in \Omega, \\ v|_{\partial \Omega }=0. \end{cases}$$
(2.9)

By LemmaÂ 2.1, we get (2.9) has a unique positive solution $$\theta_{n}$$. Moreover, from CorollaryÂ 2.1, we have

$$\theta_{n}\leq K \biggl(\lambda_{n}+b\varepsilon \int_{\Omega } u_{n}\,dx- \lambda_{1} \biggr) \varphi_{1}\leq K \biggl(\lambda_{n}+b\varepsilon \int_{\Omega } u_{n}\,dx-\lambda_{1} \biggr)$$

for n large enough. By LemmaÂ 2.3, we have

$$u_{n}\leq \theta_{n}\leq K \biggl(\lambda_{n}+b \varepsilon \int_{\Omega } u _{n}\,dx-\lambda_{1} \biggr) \varphi_{1}\leq K \biggl(\lambda_{n}+b\varepsilon \int_{\Omega } u_{n}\,dx-\lambda_{1} \biggr).$$

Integrating the above inequality yields that

$$\int_{\Omega }u_{n}\,dx\leq K \biggl(\lambda_{n}+b \varepsilon \int_{\Omega } u _{n}\,dx-\lambda_{1} \biggr) \vert \Omega \vert ,$$

which together with (2.8) implies that

$$0< \bigl(1-Kb\varepsilon \vert \Omega \vert \bigr) \int_{\Omega }u_{n}\,dx\leq K(\lambda_{n}- \lambda_{1}) \vert \Omega \vert ,$$

an absurdum.

(c) Assume that $$b>0$$ and $$r=1$$. In this case, we apply the Crandallâ€“Rabinowitz theorem (see [7]). Then there exist $$\varepsilon >0$$ and two regular functions $$\lambda (s)$$, $$u(s)$$, $$s\in (-\varepsilon, \varepsilon)$$, such that in a neighborhood of $$(\lambda_{1}, 0)$$, the positive solutions are $$u(s)$$, $$s\in (0, \varepsilon)$$. We can write

$$u(s)=s\varphi_{1}+s^{2}\varphi_{2}+o \bigl(s^{2} \bigr)$$

and

$$\lambda (s)=\lambda_{1}+s\lambda_{2}+o(s),$$

where $$\lambda_{2}\in \mathbb{R}$$, $$\varphi_{2}\in C^{2}(\overline{ \Omega })$$. It is evident that the sign of $$\lambda_{2}$$ determines the bifurcation direction. Substituting these expansions into (1.1) and identifying the terms of order one in s yield

$$-\Delta \varphi_{2}-\lambda_{1}\varphi_{2}= \lambda_{2}\varphi_{1}-a _{1}\varphi_{1}^{2}+b \varphi_{1} \int_{\Omega }\varphi_{1}\,dx.$$

Multiplying by $$\varphi_{1}$$ and integrating in Î©, we conclude that

$$\lambda_{2}= \frac{a_{1}\int_{\Omega }\varphi_{1}^{3}\,dx-b\int_{\Omega }\varphi_{1} ^{2}\,dx\int_{\Omega }\varphi_{1}\,dx}{\int_{\Omega }\varphi_{1}^{2}\,dx}.$$

This finishes the proof.â€ƒâ–¡

3 AÂ priori bounds and non-existence results of (1.1)

In this section, we obtain a priori bounds of the solutions for $$b>0$$ as well as non-existence results of (1.1).

Theorem 3.1

Assume that $$b>0$$ and $$r<1$$. Let $$u_{\lambda }$$ be a positive solution of (1.1) such that $$\lambda \in K\subset \mathbb{R}$$ a compact set. Then there exists a constant $$L_{0}>0$$ such that

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0}$$

for a constant independent of $$\lambda \in K$$. Moreover, there exists a constant $$L_{1}$$ such that, if

$$\lambda < L_{1},$$

(1.1) does not possess any positive solution.

Proof

Since K is compact, there is a positive constant $$k_{0}>0$$ such that

$$\lambda \leq k_{0}, \quad \forall \lambda \in K.$$

Moreover, since $$u_{\lambda }$$ is a positive solution of (1.1), we have, using LemmaÂ 2.1 and HÃ¶lderâ€™s inequality, that

\begin{aligned} u_{\lambda } \leq& f^{-1} \biggl(\lambda +b \int_{\Omega } u^{r}_{\lambda }\,dx \biggr) \\ \leq& f^{-1} \biggl(\lambda +b \vert \Omega \vert ^{1-r} \biggl( \int_{\Omega } u_{\lambda }\,dx \biggr)^{r} \biggr) \\ \leq& f^{-1} \biggl(k_{0}+b \vert \Omega \vert ^{1-r} \biggl( \int_{\Omega } u_{\lambda }\,dx \biggr)^{r} \biggr), \quad x\in \Omega. \end{aligned}
(3.1)

Step 1. We show that there exists $$c_{1}>0$$ such that

$$\int_{\Omega } \vert u_{\lambda } \vert \,dx\leq c_{1}.$$
(3.2)

In fact, suppose to the contrary that there exists $$\{u_{\lambda_{n}} \}$$ such that

$$\int_{\Omega }u_{\lambda_{n}}\,dx\to +\infty, \quad n\to +\infty.$$

Replacing Î» in (3.1) by $$\lambda_{n}$$, one has

$$u_{\lambda_{n}}\leq f^{-1} \biggl(k_{0}+b \biggl( \int_{\Omega } u_{\lambda_{n}}\,dx \biggr)^{r} \vert \Omega \vert ^{1-r} \biggr).$$
(3.3)

Integrating inequality (3.3) in Î© yields that

$$\int_{\Omega }u_{\lambda_{n}}\,dx\leq f^{-1} \biggl(k_{0}+b \vert \Omega \vert ^{1-r} \biggl( \int_{\Omega } u_{\lambda_{n}}\,dx \biggr)^{r} \biggr) \vert \Omega \vert ,$$

i.e.,

$$f \biggl( \vert \Omega \vert ^{-1} \int_{\Omega }u_{\lambda_{n}}\,dx \biggr)\leq \lambda_{n}+b \vert \Omega \vert ^{1-r} \biggl( \int_{\Omega } u_{\lambda_{n}}\,dx \biggr)^{r}.$$
(3.4)

By the property of $$f(u)$$, one has

$$f(u)\geq a_{1}u,$$

which together with (3.4) implies that

$$a_{1} \vert \Omega \vert ^{-1} \int_{\Omega }u_{\lambda_{n}}\,dx\leq k_{0}+b \vert \Omega \vert ^{1-r} \biggl( \int_{\Omega } \vert u_{\lambda_{n}} \vert \,dx \biggr)^{r}$$

for n large enough. This is a contradiction because $$r<1$$.

Step 2. We show that there exists a constant $$L_{0}>0$$ such that

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0}, \quad \forall \lambda \in K.$$

Since Step 1 holds, (3.1) guarantees that

$$u_{\lambda }\leq f^{-1} \biggl(\lambda +b \biggl( \int_{\Omega } u_{\lambda }\,dx \biggr)^{r} \vert \Omega \vert ^{1-r} \biggr)\leq f^{-1} \bigl(k_{0}+bc_{1}^{r} \vert \Omega \vert ^{1-r} \bigr).$$

Let $$L_{0}:=f^{-1}(k_{0}+bc_{1}^{r}|\Omega |^{1-r})$$. We conclude

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0},\quad \forall \lambda \in K.$$

Step 3. We show that there exists a constant $$L_{1}$$ such that, if

$$\lambda < L_{1},$$

(1.1) does not possess any positive solution.

Now define a function

$$g(s):= f \bigl( \vert \Omega \vert ^{-1}s \bigr)-b \vert \Omega \vert ^{1-r}s^{r}, \quad s\in [0,+\infty).$$

From the property of f and $$0< r<1$$, one has

$$\lim_{s\to +\infty }\frac{f( \vert \Omega \vert ^{-1}s)}{s^{r}}=+\infty,$$

which together with $$g(0)=0$$ implies that there is $$s_{0}\geq 0$$ such that

$$\min_{s\in [0,+\infty)}g(s)=g(s_{0}).$$

Let

$$L_{1}:=g(s_{0}).$$

Assume that $$u_{\lambda }$$ is a positive solution to (1.1) for $$\lambda \in \mathbb{R}$$. From (3.4), we have

$$f \biggl( \vert \Omega \vert ^{-1} \int_{\Omega }u_{\lambda }\,dx \biggr)-b \biggl( \int_{\Omega }u_{ \lambda }\,dx \biggr)^{r} \vert \Omega \vert ^{1-r}\leq \lambda,$$

which means that

$$\lambda \geq L_{1}.$$

Consequently, (1.1) has no positive solution if $$\lambda < L_{1}$$.

The proof is complete.â€ƒâ–¡

Theorem 3.2

Assume that $$b>0$$, $$k_{n}< r$$, where $$k_{n}$$ is the index of the last term of polynomial f. Let $$u_{\lambda }$$ be a positive solution of (1.1) such that $$\lambda \in K\subset \mathbb{R}$$ a compact set. Then there exists a constant $$L_{0}$$ such that

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0}$$

for a constant independent of $$\lambda \in K$$. Moreover, there exists a constant $$L_{1}$$ such that

$$\lim_{b\to +\infty }L_{1}=\lambda_{1}$$

and if

$$\lambda >L_{1},$$

(1.1) does not possess any positive solution.

Proof

Since K is compact, there is $$k_{1}$$ such that

$$k_{1}\leq \lambda, \quad \forall \lambda \in K.$$

Moreover, using now the lower bound in LemmaÂ 2.1, we get that

\begin{aligned} f^{-1} \biggl(k_{1}+b \int_{\Omega } u^{r}_{\lambda }\,dx- \lambda_{1} \biggr)\varphi _{1} \leq &f^{-1} \biggl( \lambda +b \int_{\Omega } u^{r}_{\lambda }\,dx-\lambda _{1} \biggr)\varphi_{1} \\ \leq& u_{\lambda }\leq f^{-1} \biggl(\lambda +b \int_{\Omega } u^{r}_{\lambda }\,dx \biggr),\quad x\in \Omega. \end{aligned}
(3.5)

Step 1. We show that there exists a constant $$c_{1}>0$$ such that

$$\int_{\Omega }u_{\lambda }^{r}\,dx\leq c_{1},\quad \forall \lambda \in K.$$

In fact, suppose to the contrary that there exists $$\{\lambda_{n}\} \subseteq K$$ such that

$$\int_{\Omega }u^{r}_{\lambda_{n}}\,dx\to +\infty, \quad \text{as } n \to +\infty.$$

By the property of $$f(u)$$, there is $$M>0$$ such that

$$f(u)\leq Mu^{k_{n}}$$
(3.6)

for u large enough. Integrating (3.5) in Î© yields that

$$f^{-1} \biggl(\lambda_{n}+b \int_{\Omega } u^{r}_{\lambda_{n}}\,dx- \lambda_{1} \biggr) \int_{\Omega }\varphi_{1}\,dx\leq \int_{\Omega }u_{\lambda_{n}}\,dx,$$

that is, by HÃ¶lderâ€™s inequality and (3.6)

\begin{aligned} \lambda_{n}+b \int_{\Omega } u^{r}_{\lambda_{n}}\,dx- \lambda_{1} \leq& f \biggl(\frac{ \int_{\Omega }u_{\lambda_{n}}\,dx}{\int_{\Omega }\varphi_{1}\,dx} \biggr) \\ \leq& M \biggl(\frac{\int_{\Omega }u_{\lambda_{n}}\,dx}{\int_{\Omega }\varphi _{1}\,dx} \biggr)^{k_{n}} \\ \leq& M \biggl( \int_{\Omega }\varphi_{1}\,dx \biggr)^{-k_{n}} \biggl( \int_{\Omega }u^{r} _{\lambda_{n}}\,dx \biggr)^{\frac{k_{n}}{r}} \vert \Omega \vert ^{\frac{r-1}{r}} \end{aligned}

for n large enough.

This is a contradiction to $$k_{n}< r$$.

Step 2. We show that there exists a constant $$L_{0}>0$$ such that

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0}, \quad \forall \lambda \in K.$$

Since K is compact, there exists $$k_{0}$$ such that

$$\lambda \leq k_{0}, \quad \forall \lambda \in K.$$

From (3.5) and Step 1, one has

$$u_{\lambda }\leq f^{-1} \biggl(\lambda +b \int_{\Omega }u^{r}_{\lambda }\,dx \biggr) \leq f^{-1}(k_{0}+bc_{1}).$$

Let

$$L_{0}:=f^{-1}(k_{0}+bc_{1}).$$

Then $$L_{0}$$ satisfies Step 2.

Step 3. We show that there exists a constant $$L_{1}$$ such that, if

$$\lambda > L_{1},$$

(1.1) does not possess any positive solution.

Now define

$$g_{1}(s):= f \biggl(\frac{s^{\frac{1}{r}}}{(\int_{\Omega }\varphi^{r}_{1}\,dx)^{ \frac{1}{r}}} \biggr)-bs+ \lambda_{1}.$$
(3.7)

Since $$k_{n}< r$$, one has

$$\lim_{s\to +\infty }g_{1}(s)=-\infty,$$

which together with $$g_{1}(0)=0$$ implies that there exists $$s_{1} \geq 0$$ such that

$$\max_{s\in [0,+\infty)}g_{1}(s)=g_{1}(s_{1}).$$

Let

$$L_{1}:=g_{1}(s_{1}).$$

Assume that $$u_{\lambda }$$ is a positive solution to (1.1) for $$\lambda \in \mathbb{R}$$. Integrating (3.5) in Î© yields that

$$\biggl(f^{-1} \biggl(\lambda +b \int_{\Omega }u^{r}_{\lambda }\,dx- \lambda_{1} \biggr) \biggr)^{r} \int_{\Omega }\varphi^{r}_{1}\,dx\leq \int_{\Omega }u^{r}_{\lambda }\,dx,$$

i.e.,

$$f^{-1} \biggl(\lambda +b \int_{\Omega }u^{r}_{\lambda }\,dx- \lambda_{1} \biggr)\leq \biggl(\frac{ \int_{\Omega }u^{r}_{\lambda }\,dx}{\int_{\Omega }\varphi_{1}^{r}\,dx} \biggr)^{ \frac{1}{r}}.$$

And then

$$\lambda +b \int_{\Omega }u^{r}_{\lambda }\,dx- \lambda_{1}\leq f \biggl( \biggl(\frac{ \int_{\Omega }u^{r}_{\lambda }\,dx}{\int_{\Omega }\varphi_{1}^{r}\,dx} \biggr)^{ \frac{1}{r}} \biggr),$$

that is,

$$\lambda \leq -b \int_{\Omega }u^{r}_{\lambda }\,dx+f \biggl( \biggl( \frac{\int_{\Omega }u^{r}_{\lambda }\,dx}{\int_{\Omega }\varphi_{1}^{r}\,dx} \biggr)^{\frac{1}{r}} \biggr)+ \lambda_{1}.$$

Hence

$$\lambda \leq L_{1}.$$

Consequently, Step 3 is true.

Moreover, we consider

$$h(s):=As^{q}-\frac{b}{n}s+\frac{\lambda_{1}}{n}, \quad A>0, 0< q< 1.$$

It is easy to prove that $$h(s)$$ gets its maximum at $$s=(\frac{b}{nAq})^{ \frac{1}{1-q}}$$ and

$$\max_{s\in [0,+\infty)}h(s)=A \biggl(\frac{b}{nAq} \biggr)^{\frac{q}{1-q}}- \frac{b}{n} \biggl(\frac{b}{nAq} \biggr)^{\frac{1}{1-q}}+ \frac{\lambda_{1}}{n}.$$

Let

$$h_{i}(s):=a_{i}s^{\frac{k_{i}}{r}}-\frac{b}{n}s+ \frac{\lambda_{1}}{n},\quad i=1,2,\ldots.$$

Obviously, we have

$$\max_{s\in [0,+\infty)}h_{i}(s)=a_{i} \biggl( \frac{b}{nA\frac{k_{i}}{r}} \biggr)^{\frac{\frac{k _{i}}{r}}{1-\frac{k_{i}}{r}}}-\frac{b}{n} \biggl( \frac{b}{nA\frac{k_{i}}{r}} \biggr)^{\frac{1}{1-\frac{k _{i}}{r}}}+\frac{\lambda_{1}}{n}.$$

Since $$0<\frac{k_{i}}{r}<1$$, $$i=1,2,\ldots ,n$$, one has that

$$\lim_{b\to +\infty }\max_{s\in [0,+\infty)}h_{i}(s)= \frac{\lambda _{1}}{n}, \quad i=1, 2, 3, \ldots, n.$$

By the definition $$g_{1}$$ in (3.7), we have

$$g_{1}(s)=\sum_{i=1}^{n}h_{i}(s),$$

which implies that

$$\lim_{b\to +\infty }L_{1}=\lim_{b\to +\infty }\max _{s\in [0,+\infty)}g _{1}(s)\leq \lim_{b\to +\infty }\sum _{i=1}^{n}\max_{s\in [0,+\infty)}h _{i}(s)=\lambda_{1}.$$

On the other hand, since $$L_{1}>\lambda_{1}$$, we have

$$\lim_{b\to +\infty }L_{1}=\lambda_{1}.$$

The proof is complete.â€ƒâ–¡

Theorem 3.3

Assume that $$b>0$$, $$r=1$$. Let $$u_{\lambda }$$ be a positive solution of (1.1) such that $$\lambda \in K\subset \mathbb{R}$$ a compact set.

1. (1)

If $$k_{n}=1=r$$ and $$b<1/|\Omega |$$ or $$b\int_{\Omega } \varphi_{1}\,dx>1$$, then there exist a priori bounds of the solution of (1.1). Moreover, if $$b<1/|\Omega |$$ and $$\lambda \leq 0$$ or $$b\int_{\Omega }\varphi_{1}\,dx>1$$ and $$\lambda \geq \lambda_{1}$$, then (1.1) does not possess a positive solution.

2. (2)

If $$k_{n}>1=r$$, then there exists a constant $$L_{0}>0$$ such that

$$\Vert u_{\lambda } \Vert _{\infty }\leq L_{0}$$

for a constant independent of Î». Moreover, there exists a constant $$L_{1}$$ such that, if

$$\lambda < L_{1},$$

(1.1) does not possess any positive solution.

Conclusion (i) is Proposition 3.1 in [8] and the proof of (ii) is similar to that in TheoremÂ 3.1, and we omit it.

4 Existence and uniqueness results

In this section, first we introduce the method of sub-supersolution to some nonlocal elliptic problems.

Consider a continuous operator $$B:L^{\infty }(\Omega)\rightarrow \mathbb{R}$$ and $$f:\Omega \times \mathbb{R}^{2}\rightarrow \mathbb{R}$$ a continuous function and the general problem

$$\textstyle\begin{cases} -\Delta u=f(x,u,B(u)),\quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega, \end{cases}$$
(4.1)

where Î© is a bounded domain in $$\mathbb{R}^{N}$$, $$N\geq 2$$, with $$C^{2,\beta }$$ boundary âˆ‚Î©.

Definition 4.1

(See [6])

We say that the pair $$(\underline{u}, \overline{u})$$ with $$\underline{u}, \overline{u}\in H^{1}(\Omega)\cap L^{\infty }(\Omega)$$ is a pair of sub-supersolutions of (4.1) if

1. (a)

$$\underline{u}\leq \overline{u}$$ in Î© and $$\underline{u} \leq 0\leq \overline{u}$$ on âˆ‚Î©;

2. (b)

$$-\Delta \underline{u}-f(x,\underline{u},B(u))\leq 0\leq -\Delta \overline{u}-f(x,\overline{u},B(u))$$ in the weak sense for all $$u\in [\underline{u}, \overline{u}]$$.

Lemma 4.1

(See [6])

Assume that there exists a pair of sub-supersolutions of (4.1). Then there exists a solution $$u\in H^{1}(\Omega)\cap L^{\infty }(\Omega)$$ of (4.1) such that $$u\in [\underline{u}, \overline{u}]$$.

Now we give the main theorems.

Theorem 4.1

Assume that $$b<0$$. Then (1.1) has a positive solution if and only if $$\lambda >\lambda_{1}$$. Moreover, if there exists the unique positive solution, denoted by $$u_{\lambda,b}$$, then

$$\lim_{b\rightarrow -\infty } \Vert u_{\lambda,b} \Vert _{\infty }=0.$$

Proof

By TheoremÂ 2.1 we know the existence of an unbounded continuum $$C_{0}$$ of positive solutions bifurcating from the trivial solution at $$\lambda =\lambda_{1}$$. Assume that $$(\lambda, u_{\lambda })\in C_{0}$$. Now we show that $$\lambda >\lambda_{1}$$.

In fact, if $$\lambda \leq \lambda_{1}$$, then

$$-\Delta u_{\lambda }\leq u_{\lambda } \bigl(\lambda -f(u_{\lambda }) \bigr),$$

which implies that $$u_{\lambda }$$ is a sub-solution (2.1).

Choose a constant K large enough such that

$$\lambda < f(K) \text{ and } K>\max_{x\in \overline{\Omega }}u_{ \lambda }.$$

Obviously, $$(u_{\lambda },K)$$ is a pair of sub-supersolutions to (2.1). Then (2.1) has a positive solution for $$\lambda \leq \lambda_{1}$$. This is a contradiction to LemmaÂ 2.1.

We know that positive solutions do not exist for $$\lambda \leq \lambda _{1}$$, hence we conclude that if $$(\lambda,u)\in C_{0}$$, we have $$\lambda >\lambda_{1}$$.

Moreover, if $$(\lambda,u)\in C_{0}$$, since $$b<0$$, we have

$$-\Delta u_{\lambda }< u_{\lambda } \bigl(\lambda -f(u_{\lambda }) \bigr),$$

and LemmaÂ 2.3 implies that $$u_{\lambda }\leq \theta_{\lambda }$$, where $$\theta_{\lambda }$$ is a solution to (2.1). LemmaÂ 2.1 guarantees that (2.1) has a unique positive solution $$\theta_{\lambda }$$ for all $$\lambda >\lambda_{1}$$, which together with the unboundedness of $$C_{0}$$ implies that (1.1) has at least one positive solution $$u_{\lambda,b}$$ for all $$\lambda >\lambda_{1}$$.

We show now the uniqueness.

Assume that there exist two positive solutions $$u\neq v$$ for $$b<0$$. If $$\int_{\Omega }u^{r}\,dx=\int_{\Omega }v^{r}\,dx$$, u and v satisfy

$$\textstyle\begin{cases} -\Delta u=u(\lambda +k-f(u)),\quad \text{in } \Omega, \\ u=0, \quad \text{on } \partial \Omega, \end{cases}$$

where $$k=b\int_{\Omega }u^{r}\,dx=b\int_{\Omega }v^{r}\,dx<0$$. This is a contradiction to LemmaÂ 2.1.

So, assume that for instance

$$\int_{\Omega }u^{r}\,dx< \int_{\Omega }v^{r}\,dx,$$

then

$$-\Delta u=u \biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(u) \biggr)>u \biggl(\lambda +b \int_{\Omega }v^{r}\,dx-f(u) \biggr),$$

and then by LemmaÂ 2.3 we get $$u>v$$, an absurdum.

On the other hand, we have that

$$u_{\lambda,b}\leq f^{-1} \biggl(\lambda +b \int_{\Omega }u_{\lambda,b}^{r}\,dx \biggr)$$

and then $$f(u_{\lambda,b})<\lambda$$. So, as $$b\rightarrow -\infty$$, we get

$$\int_{\Omega }u_{\lambda,b}^{r}\,dx\rightarrow 0.$$

Moreover, LemmaÂ 2.1 implies

$$f^{-1} \biggl(\lambda +b \int_{\Omega }u_{\lambda,b}^{r}\,dx- \lambda_{1} \biggr) \varphi_{1}\leq u_{\lambda,b}$$

and

$$\lambda +b \int_{\Omega }u_{\lambda,b}^{r}\,dx- \lambda_{1}>0,$$

we conclude that

$$b \int_{\Omega }u_{\lambda,b}^{r}\,dx\rightarrow \lambda_{1}-\lambda.$$

This implies that $$\|u_{\lambda,b}\|_{\infty }\rightarrow 0$$.â€ƒâ–¡

Theorem 4.2

Assume that $$b>0$$, $$0< r<1$$. Then there exists $$\lambda_{\ast }<\lambda_{1}$$ such that (1.1) possesses at least a positive solution if and only if $$\lambda \geq \lambda_{\ast }$$. Moreover,

$$\lim_{b\rightarrow 0^{+}}\lambda_{\ast }(b)=\lambda_{1} \quad \textit{and}\quad \lim_{b\rightarrow +\infty }\lambda_{\ast }(b)=- \infty.$$

Proof

Define

$$\lambda_{\ast }=\inf \bigl\{ \lambda \in \mathbb{R}: (1.1) \text{ possesses at least a positive solution} \bigr\} .$$

We know by Theorems 2.1 and 3.1 that $$-\infty <\lambda_{\ast }<\lambda _{1}$$.

Step 1. We show that (1.1) has at least one positive solution for all $$\lambda >\lambda_{*}$$.

Take $$\lambda >\lambda_{\ast }$$, then there exists $$\mu \in [ \lambda_{\ast }, \lambda)$$ such that (1.1) possesses at least a positive solution, denoted by $$u_{\mu }$$. Choose K large enough such that

$$f(K)-bK^{r} \vert \Omega \vert >\lambda \quad \text{and}\quad K> \max_{x\in \overline{\Omega }}u_{\mu }(x).$$
(4.2)

Let $$(\underline{u},\overline{u})=(u_{\mu },K)$$. Since $$u_{\mu }$$ is a positive solution of (1.1) and (4.2) is true, we have

1. (a)

$$\underline{u}=u_{\mu }< K=\overline{u}$$ in Î© and $$\underline{u}=u_{\mu }=0< K=\overline{u}$$ on âˆ‚Î©;

2. (b)
\begin{aligned}& -\Delta \underline{u}-\underline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \underline{u})\biggr) \\& \quad =u_{\mu }\biggl(\mu +b \int_{\Omega }u^{r}_{\mu }\,dx-f(u_{ \mu }) \biggr)-u_{\mu }\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(u_{\mu })\biggr) \\& \quad =bu_{\mu } \int_{\Omega }\bigl(u^{r}_{\mu }-u^{r} \bigr)\,dx+(\mu -\lambda)u_{ \lambda } \\& \quad \leq 0, \quad x\in \Omega, \forall u\in [\underline{u},\overline{u}] \end{aligned}

and

\begin{aligned} -\Delta \overline{u}-\overline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \overline{u})\biggr) =&-0-K \biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(K)\biggr) \\ =&K\biggl(-\lambda -b \int_{\Omega }u^{r}\,dx+f(K)\biggr) \\ \geq& K\bigl(-\lambda -bK \vert \Omega \vert ^{r}+f(K)\bigr) \\ >&0, \quad x\in \Omega, \forall u\in [\overline{u},\overline{u}], \end{aligned}

which implies that $$(\underline{u},\overline{u})$$ is a pair of sub-supersolutions to (1.1). TheoremÂ 4.2 guarantees that (1.1) has at least one positive solution for all $$\lambda >\lambda_{*}$$.

Step 2. We show that, for $$\lambda =\lambda_{*}$$, (1.1) has a positive solution.

By the definition of $$\lambda_{*}$$, there exists $$\{\lambda_{n}\}$$ such that $$\lambda_{n}\geq \lambda_{\ast }$$ and $$\lambda_{n}\rightarrow \lambda_{\ast }$$. Thanks to the bounds of TheoremÂ 3.1, we have that $$u_{n}\rightarrow u_{\ast }\geq 0$$, $$u_{\ast }$$ is a solution for $$\lambda =\lambda_{\ast }$$. Since $$\lambda_{\ast }<\lambda_{1}$$ and $$\lambda_{1}$$ is the unique bifurcation point from the trivial solution, we conclude that $$u_{\ast }>0$$.

Step 3. We show that

$$\lim_{b\rightarrow 0^{+}}\lambda_{\ast }(b)=\lambda_{1} \quad \text{and}\quad \lim_{b\rightarrow +\infty }\lambda_{\ast }(b)=- \infty.$$

Since u is bounded and

$$\lambda +b \int_{\Omega }u^{r}\,dx>\lambda_{1},$$

and then taking $$b\rightarrow 0$$, we have that $$\lambda \geq \lambda _{1}$$, that is,

$$\lim_{b\rightarrow 0^{+}}\lambda_{*}(b)=\lambda_{1}.$$

Now we prove

$$\lim_{b\rightarrow +\infty }\lambda_{*}(b)=-\infty.$$

It suffices to show that, for any $$\lambda <\lambda_{1}$$, there exists $$b>0$$ big enough such that (1.1) possesses at least one positive solution.

In fact, for any $$\lambda <\lambda_{1}$$, there exists $$b>0$$ large enough such that for the function

$$(\lambda_{1}-\lambda)-b \int_{\Omega } \biggl(\frac{1}{2}\varphi_{1} \biggr)^{r}\,dx+f \biggl( \frac{1}{2}\varphi_{1} \biggr)< 0, \quad \forall x\in \Omega.$$
(4.3)

For above b, take $$K>1+|\lambda |+\frac{1}{2}\|\varphi_{1}\|_{ \infty }$$ large enough such that

$$f(K)>bK^{r} \vert \Omega \vert .$$
(4.4)

Let $$\underline{u}=\frac{1}{2}\varphi_{1}(x)$$ and $$\overline{u}=K$$. From (4.3) and (4.4), we have

1. (a)

$$\underline{u}=\frac{1}{2}\varphi_{1}< K=\overline{u}$$ in Î© and $$\underline{u}=\frac{1}{2}\varphi_{1}(x)=0< K= \overline{u}$$ on âˆ‚Î©;

2. (b)
\begin{aligned} -\Delta \underline{u}-\underline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \underline{u})\biggr) =& \frac{1}{2}\lambda_{1}\varphi_{1}-\frac{1}{2} \varphi _{1}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f\biggl(\frac{1}{2} \varphi_{1}\biggr)\biggr) \\ =&\frac{1}{2}\varphi_{1}\biggl((\lambda_{1}- \lambda)-b \int_{\Omega }u^{r}\,dx+f\biggl( \frac{1}{2} \varphi_{1}\biggr)\biggr) \\ < &0, \quad x\in \Omega, \forall u\in [\underline{u},\overline{u}] \end{aligned}

and

\begin{aligned} -\Delta \overline{u}-\overline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \overline{u})\biggr) =&-0-K \biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(K)\biggr) \\ =&K\biggl(-\lambda -b \int_{\Omega }u^{r}\,dx+f(K)\biggr) \\ \geq& K\bigl(-\lambda -bK^{r} \vert \Omega \vert +f(K)\bigr) \\ >&0,\quad x\in \Omega, \forall u\in [\overline{u},\overline{u}], \end{aligned}

which implies that $$(\underline{u},\overline{u})$$ is a pair of sub-supersolutions to (1.1). TheoremÂ 4.2 guarantees that (1.1) has at least one positive solution for all $$\lambda <\lambda_{1}$$.

The proof is complete.â€ƒâ–¡

Theorem 4.3

Assume that $$b>0$$ and $$k_{n}< r$$. There exists $$\lambda^{\ast }>\lambda_{1}$$ such that (1.1) possesses at least a positive solution if and only if $$\lambda \leq \lambda^{\ast }$$. Moreover,

$$\lim_{b\rightarrow 0^{+}}\lambda^{\ast }(b)=+\infty \quad \textit{and} \quad \lim_{b\rightarrow +\infty }\lambda^{\ast }(b)=\lambda_{1}.$$

Proof

Assume that $$b>0$$ and $$k_{n}< r$$. Define now

$$\lambda^{\ast }=\sup \bigl\{ \lambda \in \mathbb{R}: (1.1) \text{ possesses at least a positive solution} \bigr\} .$$

We know by Theorems 2.1 and 3.2 that $$\lambda_{1}<\lambda^{\ast }<+ \infty$$.

Step 1. We prove now that there exists a positive solution for all $$\lambda \in (-\infty,\lambda^{\ast })$$.

Indeed, take $$\lambda \in [\lambda_{1},\lambda^{\ast })$$, then there exists $$\mu \in (\lambda_{1}, \lambda^{\ast }]$$ such that (1.1) possesses at least a positive solution, denoted by $$u_{\mu }$$. Choose Îµ small enough such that $$\varepsilon \varphi_{1}< u_{ \mu }$$ for all $$x\in \Omega$$ such that

$$f(\varepsilon \varphi_{1})-b \int_{\Omega }(\varepsilon \varphi_{1})^{r}\,dx \leq \lambda -\lambda_{1}.$$
(4.5)

Let $$\underline{u}=\varepsilon \varphi_{1}$$ and $$\overline{u}=u_{ \mu }$$. Since $$u_{\mu }$$ is a positive solution of (1.1), from (4.5), one has

1. (a)

$$\underline{u}=\varepsilon \varphi_{1}< u_{\mu }$$ in Î© and $$\underline{u}=0=\overline{u}$$ on âˆ‚Î©;

2. (b)
\begin{aligned} -\Delta \underline{u}-\underline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \underline{u})\biggr) =& \varepsilon \lambda_{1}\varphi_{1}-\varepsilon \varphi_{1}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(\varepsilon \varphi_{1})\biggr) \\ =&\varphi_{1}\varepsilon \biggl((\lambda_{1}-\lambda)-b \int_{\Omega }u^{r}\,dx+f( \varepsilon \varphi_{1})\biggr) \\ < &0, \quad x\in \Omega, \forall u\in [\underline{u},\overline{u}] \end{aligned}

and

\begin{aligned}& -\Delta \overline{u}-\overline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \overline{u})\biggr) \\& \quad =u_{\mu }\biggl( \mu +b \int_{\Omega }u^{r}_{\mu }\,dx-f(u_{ \mu }) \biggr)-u_{\mu }\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(u_{\mu })\biggr) \\& \quad =u_{\mu }\biggl(\mu -\lambda +b \int_{\Omega }\bigl(u^{r}_{\mu }-u^{r} \bigr)\,dx\biggr) \\& \quad >0, \quad x\in \Omega, \forall u\in [\overline{u},\overline{u}], \end{aligned}

which implies that $$(\underline{u},\overline{u})$$ is a pair of sub-supersolutions to (1.1). TheoremÂ 4.2 guarantees that (1.1) has at least one positive solution for all $$\lambda \in [\lambda_{1},\lambda _{*})$$.

Now, TheoremÂ 2.1 implies $$C_{0}$$ is supercritical, which implies that there exists $$(\lambda,u)\in C_{0}$$ with $$\lambda_{0}>\lambda_{1}$$. For any $$\lambda <\lambda_{1}$$, let $$K=[\lambda,\lambda_{0}]$$. TheoremÂ 3.2 guarantees that $$\|u\|_{\infty }\leq L_{0}$$ for all $$\lambda \in K$$, which together with the unboundedness of $$C_{0}$$ implies that there is u such that $$(\lambda,u)\in C_{0}$$.

Step 2. We show that, for $$\lambda =\lambda^{*}$$, (1.1) has a positive solution.

Taking a sequence of positive solutions $$(\lambda_{n}, u_{n})$$ of (1.1) such that $$\lambda_{n}\leq \lambda^{\ast }$$ and $$\lambda_{n}\rightarrow \lambda^{\ast }$$. Thanks to the bounds of TheoremÂ 3.2, we have that $$u_{n}\rightarrow u^{\ast }\geq 0$$, $$u^{\ast }$$ is a solution for $$\lambda =\lambda^{\star }$$. Since $$\lambda^{\ast }>\lambda_{1}$$ and $$\lambda_{1}$$ is the unique bifurcation point from the trivial solution, we conclude that $$u^{\ast }>0$$.

Step 3. We show that

$$\lim_{b\rightarrow 0^{+}}\lambda^{\ast }(b)=+\infty\quad \text{and} \quad \lim_{b\rightarrow +\infty }\lambda^{\ast }(b)=\lambda_{1}.$$

Observe that since $$\lambda_{1}<\lambda^{\ast }\leq L_{1}$$ defined in TheoremÂ 3.2 and $$\lim_{b\rightarrow \infty }L_{1}=\lambda_{1}$$, we concluded that

$$\lim_{b\rightarrow \infty }\lambda^{\ast }(b)=\lambda_{1}.$$

Now we prove

$$\lim_{b\rightarrow 0^{+}}\lambda^{\ast }(b)=+\infty.$$

It suffices to show that, for any $$\lambda >\lambda_{1}$$, there exists $$b>0$$ small enough such that (1.1) possesses at least a positive solution. For $$\lambda >\lambda_{1}$$, take $$\tilde{\Omega }\supset \Omega$$ and consider $$\tilde{\varphi _{1}}$$ and $$\tilde{\lambda _{1}}$$ the positive eigenfunction and eigenvalue associated with Î©Ìƒ. Choose K large enough such that

$$f \bigl(K\tilde{\varphi }_{1}(x) \bigr)-\lambda >0, \quad \forall x \in \overline{ \Omega }.$$

Choose $$b>0$$ small enough such that

$$f \bigl(K\tilde{\varphi }_{1}(x) \bigr)-\lambda -b \int_{\Omega }(K \tilde{\varphi }_{1})^{r} \,dx>0, \quad \forall x\in \overline{\Omega }.$$
(4.6)

Choose $$\varepsilon >0$$ small enough such that $$\varepsilon \varphi _{1}< K\tilde{\varphi }_{1}$$ and

$$\lambda -\lambda_{1}+b \int_{\Omega }(\varepsilon {\varphi }_{1})^{r} \,dx-f( \varepsilon {\varphi }_{1})>0,\quad \forall x\in \Omega.$$
(4.7)

Let $$\underline{u}(x)=\varepsilon \varphi_{1}(x)$$ and $$\overline{u}(x)=K \tilde{\varphi }_{1}(x)$$ for $$x\in \overline{\Omega }$$. From (4.6) and (4.7), we have

1. (a)

$$\underline{u}=\varepsilon \varphi_{1}< K\tilde{\varphi }_{1}= \overline{u}(x)$$ in Î© and $$\underline{u}=0< K\tilde{\varphi } _{1}=\overline{u}$$ on âˆ‚Î©;

2. (b)
\begin{aligned} -\Delta \underline{u}-\underline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \underline{u})\biggr) =& \varepsilon \lambda_{1}\varphi_{1}-\varepsilon \varphi_{1}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f(\varepsilon \varphi_{1})\biggr) \\ =&\varepsilon \varphi_{1}\biggl((\lambda_{1}-\lambda)-b \int_{\Omega }u^{r}\,dx+f( \varepsilon \varphi_{1})\biggr) \\ < &0,\quad x\in \Omega, \forall u\in [\underline{u},\overline{u}] \end{aligned}

and

\begin{aligned} -\Delta \overline{u}-\overline{u}\biggl(\lambda +b \int_{\Omega }u^{r}\,dx-f( \overline{u})\biggr) =&K\tilde{ \lambda }\tilde{\varphi }_{1}-K \tilde{\varphi }_{1}\biggl( \lambda +b \int_{\Omega }u^{r}\,dx-f(K \tilde{\varphi }_{1})\biggr) \\ =&K\tilde{\varphi }_{1}\biggl(\tilde{\lambda }-\lambda -b \int_{\Omega }u ^{r}\,dx+f(K\tilde{\varphi }_{1})\biggr) \\ >&0,\quad x\in \Omega, \forall u\in [\overline{u},\overline{u}], \end{aligned}

which implies that $$(\underline{u},\overline{u})$$ is a pair of sub-supersolutions to (1.1). TheoremÂ 4.2 guarantees that (1.1) has at least one positive solution for $$\lambda >\lambda_{1}$$.

The proof is complete.â€ƒâ–¡

Theorem 4.4

Assume that $$b>0$$ and $$r=1< k_{n}$$. There exists $$\lambda_{\ast }<\lambda_{1}$$ such that (1.1) possesses at least a positive solution if and only if $$\lambda \geq \lambda_{\ast }$$. Moreover,

$$\lim_{b\rightarrow 0^{+}}\lambda_{\ast }(b)=\lambda_{1} \quad \textit{and}\quad \lim_{b\rightarrow +\infty }\lambda_{\ast }(b)=- \infty.$$

The proof of TheoremÂ 4.4 is similar to that of TheoremÂ 4.3, we omit it.

References

1. Ackleh, A.S., Ke, L.: Existence-uniqueness and long time behavior for a class of nonlocal nonlinear parabolic evolution equations. Proc. Am. Math. Soc. 128, 3483â€“3492 (2000)

2. Alves, C.O., Covei, D.P.: Existence of solution for a class of nonlocal elliptic problem via sub-supersolution method. Nonlinear Anal., Real World Appl. 23, 1â€“8 (2015)

3. Berestycki, H.: Le nombre de solutions de certains problÃ¨mes semi-linÃ©aires elliptiques. J. Funct. Anal. 40(1), 1â€“29 (1981)

4. Cheng, H., Yuan, R.: Existence and stability of traveling waves for Leslieâ€“Gower predator-prey system with nonlocal diffusion. Discrete Contin. Dyn. Syst., Ser. A 37, 5433â€“5454 (2017)

5. Chipot, M., Lovat, B.: Some remarks on nonlocal elliptic and parabolic problems. Nonlinear Anal. 30, 4619â€“4627 (1997)

6. CorrÃªa, F.J.S.A., Delgado, M., SuÃ¡rez, A.: Some nonlinear heterogeneous problems with nonlocal reaction term. Adv. Differ. Equ. 16, 623â€“641 (2011)

7. Crandallm, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8, 321â€“340 (1971)

8. Delgado, M., Figueiredo, G.M., Pimenta, M.T.O., SuÃ¡rez, A.: Study of a logistic equation with local and nonlocal reaction terms. Topol. Methods Nonlinear Anal. 47(2), 693â€“713 (2016)

9. Delgado, M., LÃ³pez-GÃ³mez, J., SuÃ¡rez, A.: On the symbiotic Lotkaâ€“Volterra model with diffusion and transport effects. J. Differ. Equ. 160(1), 175â€“262 (2000)

10. Freitas, P.: Nonlocal reaction-diffusion equations, differential equations with applications to biology. Fields Inst. Commun. 21, 187â€“204 (1999)

11. Furter, J., Grinfeld, M.: Local vs. nonlocal interactions in population dynamics. J. Math. Biol. 27, 65â€“80 (1989)

12. Hsu, S.B., LÃ³pez-GÃ³mez, J., Mei, L., Molina-Meyer, M.: A nonlocal problem from conservation biology. SIAM J. Math. Anal. 46, 435â€“459 (2014)

13. Li, X., Song, S.: Stabilization of delay systems: delay-dependent impulsive control. IEEE Trans. Autom. Control 62, 406â€“411 (2017)

14. Li, X., Wu, J.: Stability of nonlinear differential systems with state-dependent delayed impulses. Automatica 64, 63â€“69 (2016)

15. LÃ³pez-GÃ³mez, J.: The maximum principle and the existence of principal eigenvalues for some linear weighted boundary value problems. J. Differ. Equ. 127, 263â€“294 (1996)

16. Mao, A., Zhang, Z.: Sign-changing and multiple solutions of Kirchhoff type problems without the P.S. condition. Nonlinear Anal. 70, 1275â€“1287 (2009)

17. Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Springer, New York (1984)

18. Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7(3), 487â€“513 (1971)

19. Shi, J., Yao, M.: On a singular nonlinear semilinear elliptic problem. Proc. R. Soc. Edinb. 12, 1389â€“1401 (1998)

20. Zhang, Z., Perera, K.: Sign changing solutions of Kirchhoff type problems via invariant sets of descent flow. J. Math. Anal. Appl. 317, 456â€“463 (2006)

Acknowledgements

We are thankful to the referees for their valuable suggestions to improve this paper.

Not applicable.

Not applicable

Funding

This work is supported by the National Natural Science Foundation of China (61603226) and the Fund of Natural Science of Shandong Province (ZR2018MA022).

Author information

Authors

Contributions

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

Corresponding author

Correspondence to Baoqiang Yan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Publisherâ€™s Note

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

Rights and permissions

Reprints and permissions

Zhou, J., Gao, G. & Yan, B. Study of a generalized logistic equation with nonlocal reaction term. Bound Value Probl 2018, 150 (2018). https://doi.org/10.1186/s13661-018-1066-z