• No results found

Study of a generalized logistic equation with nonlocal reaction term

N/A
N/A
Protected

Academic year: 2020

Share "Study of a generalized logistic equation with nonlocal reaction term"

Copied!
20
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

Study of a generalized logistic equation

with nonlocal reaction term

Jianhua Zhou

1

, Ge Gao

2

and Baoqiang Yan

2*

*Correspondence: [email protected]

2School of Mathematical Sciences, Shandong Normal University, Jinan, P.R. China

Full list of author information is available at the end of the article

Abstract

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

u

=u

λ

+b

urdxf(u)

in

, u> 0 in

, u= 0 on

.

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.

MSC: 35R09; 45K05; 35J60; 35J25

Keywords: Logistic equation; Nonlocal term; Bifurcation method; Sub-supersolution method; Existence

1 Introduction

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

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

u=u(λ+b urdxf(u)), in,

u> 0, in,

u= 0, on∂.

(1.1)

Hereis a bounded domain inRN,N2, withC2,β boundary∂,λ,bR,r> 0,β

(0, 1), andf(u) is a polynomial denoted by

f(u) =

n

i=1

aiuki, ai> 0,i= 1, 2, . . . ,n(n≥1), (1.2)

where

allkiare integers with 1 =k1<k2<· · ·<kn.

(2)

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

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

∂u

∂tu=u(λ+b urdxu), in×(0, +∞),

u(x,t) = 0, in×(0, +∞),

u(x, 0) =u0, on,

and the corresponding steady-state problem

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

u=u(λ+b urdxu), in,

u> 0, in,

u= 0, on∂.

(1.3)

Hereu(x,t) represents the density of a species in timet> 0 and at the pointx, 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.2we give some lemmas which show the re-lationship among the solution, sub-solution, and super-solution and the rere-lationship be-tween the solution and the nonlinear termf and prove the existence of an unbounded continuum of positive solutions of (1.1). Section3is devoted to proving the non-existence results and a priori bounds of positive solutions of (1.1). In Sect.4we presents some con-ditions 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:

⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩

u=u(λ–f(u)), in,

u> 0, in,

u= 0, on∂,

(2.1)

(3)

Denote byϕ1an eigenfunction corresponding to the principle eigenvalueλ1of

⎧ ⎨ ⎩

u=λu, in,

u= 0, on∂. (2.2)

From [9] and [15],ϕ1belongs toC2,β(),ϕ1> 0 in, andλ1> 0. Moreover, assume that

ϕ1∞= 1.

Lemma 2.1(See [3]) There exists a positive solution of(2.1)if and only ifλ>λ1.

More-over,if it exists,the solution is unique,and we denote it byθλ.Furthermore,the following

inequalities hold:

f–1(λ–λ1)ϕ1≤θλf–1(λ). (2.3)

Lemma 2.2 Assume that u is the unique positive solution to(2.1)forλ>λ1.Then

u= (λ–λ1)m–11 ϕ1+ (λ–λ1)2m–21 U1+O

|λλ1|3

, asλλ1,

where

m1:=a1

ϕ31dx= 0,

and we have denoted byβ1the unique solution of the following linear problem inunder

the homogeneous Dirichlet boundary condition:

(––λ1)β1=m1ϕ1–a1ϕ12,

β1ϕ1dx= 0,

and

m2:= 2a1

ϕ12β1dx+a2

ϕ14dxm1

β1ϕ1dx, if k2= 2,

m2:= 2a1

ϕ12β1dxm1

β1ϕ1dx, if k2> 2,

U1:=β1–

m2

m1

ϕ1.

Lemma 4.3 in [9] proved the relationship between the solutionuof problem (2.1) when

f(u) =uand the first eigenfunctionϕ1of problem (2.2). Lemma2.2obtains a similar result

for the casef(u) =ni=1aiuki. Since the proof is the same as that in [9], we omit it.

From Lemma2.2, we obtain the following corollary directly.

Corollary 2.1 Assume that u is the unique positive solution to(2.1)forλ>λ1.There exist

two positive constantsδ> 0and K> 0such that

(4)

Lemma 2.3 Assume thatθλis the unique positive solution to(2.1)forλ>λ1.

(1) Ifu> 0is a strict sub-solution of(2.1),thenuθλ.

(2) Ifu> 0is a strict super-solution of(2.1),thenθλu.

Sinceu–1uf(u)) =λ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 spaceX:=C0(), denote:={uX:u∞<ρ}. Define

F(u) =u

λ+b

ur+dxf(u)

and the map

:XX, (u) =u– (–)–1

F(u),

whereu+=max{u(x), 0}and (–)–1is the inverse of the operator –under homogeneous

Dirichlet boundary conditions. Agmon–Douglas–Nirenberg theorem, embedding theo-rem, and strong maximum theorem(see [17]) guarantee that (–)–1is positive and

com-pact. It is clear thatuis a nonnegative solution of (1.1) if and only ifKλu= 0.

Now we give the main result of this section.

Theorem 2.1 The valueλ=λ1is the only bifurcation point from the trivial solution for

(1.1).Moreover,there exists a continuum C0of nonnegative solutions of(1.1)unbounded

inX emanating from(λ1, 0).Furthermore,

(i) ifb≤0,the direction of bifurcation is supercritical. (ii) Assumeb> 0.

(a) Ifr< 1,the direction of bifurcation is subcritical. (b) Ifr> 1,then the direction of bifurcation is supercritical.

(c) Assumer= 1,and denote

b0=

a1 ϕ31dx

ϕ1dx ϕ12dx

.

If b>b0(resp.b<b0),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 neighborhoodV of (λ1, 0) such that for every solution (λ,u)∈V satisfies

λ<λ1(resp.λ>λ1), see [8].

In order to prove this result, we use the Leray–Schauder degree ofonwith respect

to zero, denoted bydeg(,), and the index of the isolated zero of, denoted byi(,u). Lemma 2.4 Ifλ<λ1,then i(, 0) = 1.

Lemma 2.5 Ifλ>λ1,then i(, 0) = 0.

(5)

Proof of Theorem2.1 From Lemmas2.4and2.5and bifurcation theorem (see [18]), the same proof as that of Theorem 2.2 in [8] guarantees the existence of an unbounded con-tinuumC0of positive solutions of (1.1). Moreover, conclusion (i) is true.

We only give the proof of (ii).

(a) Assume now thatb> 0 and the existence of a sequence (λn,un)∈C0of positive

so-lutions of (1.1) such thatλnλ1andun∞→0 asn→ ∞. By the property off, there is

δ1> 0 such that

f(u)≤(a1+ 1)u, ∀u∈[0,δ1]. (2.5)

TakeM> 0 such that

(a1+ 1) –bM

ϕ1dx< 0. (2.6)

Sincer< 1, choosenlarge enough such thatur

n>Mun, and then

un>un

λn+bM

undxf(un)

,

which implies thatunis a strict super-solution of the following system: ⎧

⎨ ⎩

u=un+bM undxf(u)), x,

u|∂= 0. (2.7)

Using Lemma2.1, we get (2.7) has a unique positive solutionθnand

θnf–1

λn+bM

undxλ1

ϕ1.

Lemma2.3implies that

unθnf–1

λn+bM

undxλ1

ϕ1.

Integrating the above inequality yields that

undxf–1

λn+bM

undxλ1

ϕ1dx.

And then

f undx

ϕ1dx

λn+bM

undxλ1.

Using (2.5), one has

(a1+ 1)

ϕ1dx

–1

undxf

undx

ϕ1dx

(6)

fornlarge enough. And then

(a1+ 1)

ϕ1dx

–1

undxλn+bM

undxλ1,

which together with (2.6) implies

0 >

(a1+ 1)

ϕ1dx

–1

bM

undxλnλ1,

an absurdum.

(b) Assume now thatb> 0,r> 1 and the existence of a sequence (λn,un)∈C0of positive

solutions of (1.1) such thatλnλ1andun∞→0 asn→ ∞. Without loss of generality, assume thatun∞≤δdefined in Corollary2.1. Takeε> 0 such that

1 –bKε||> 0, (2.8)

whereKis defined in Corollary2.1. Fornlarge we haveur

n<εun, and then

un<un

λn+

undxf(un)

,

which implies thatunis a strict sub-solution of the following problem: ⎧

⎨ ⎩

v=vn+ undxf(v)), x,

v|∂= 0. (2.9)

By Lemma2.1, we get (2.9) has a unique positive solutionθn. Moreover, from Corollary2.1,

we have

θnK

λn+

undxλ1

ϕ1≤K

λn+

undxλ1

fornlarge enough. By Lemma2.3, we have

unθnK

λn+

undxλ1

ϕ1≤K

λn+

undxλ1

.

Integrating the above inequality yields that

undxK

λn+

undxλ1

||,

which together with (2.8) implies that

0 <1 –Kbε||

undxKnλ1)||,

an absurdum.

(7)

in a neighborhood of (λ1, 0), the positive solutions areu(s),s∈(0,ε). We can write

u(s) =1+s2ϕ2+o

s2

and

λ(s) =λ1+2+o(s),

whereλ2∈R,ϕ2∈C2(). It is evident that the sign ofλ2determines the bifurcation

di-rection. Substituting these expansions into (1.1) and identifying the terms of order one in

syield

–ϕ2–λ1ϕ2=λ2ϕ1–a1ϕ12+1

ϕ1dx.

Multiplying byϕ1and integrating in, we conclude that

λ2=

a1 ϕ

3

1dxb ϕ

2

1dx ϕ1dx

ϕ

2 1dx

.

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 forb> 0 as well as non-existence results of (1.1).

Theorem 3.1 Assume that b> 0and r< 1.Let uλbe a positive solution of(1.1)such that

λK⊂Ra compact set.Then there exists a constant L0> 0such that

∞≤L0

for a constant independent ofλK.Moreover,there exists a constant L1such that,if

λ<L1,

(1.1)does not possess any positive solution.

Proof SinceKis compact, there is a positive constantk0> 0 such that

λk0, ∀λK.

Moreover, sinceis a positive solution of (1.1), we have, using Lemma2.1and Hölder’s

inequality, that

f–1

λ+b

urλdx

f–1

λ+b||1–r

uλdx

r

f–1

k0+b||1–r

uλdx

r

(8)

Step 1. We show that there existsc1> 0 such that

|uλ|dxc1. (3.2)

In fact, suppose to the contrary that there exists{uλn}such that

uλndx→+∞, n→+∞.

Replacingλin (3.1) byλn, one has

uλnf

–1

k0+b

uλndx

r

||1–r

. (3.3)

Integrating inequality (3.3) inyields that

uλndxf

–1

k0+b||1–r

uλndx

r

||,

i.e.,

f

||–1

uλndx

λn+b||1–r

uλndx

r

. (3.4)

By the property off(u), one has

f(u)≥a1u,

which together with (3.4) implies that

a1||–1

uλndxk0+b||

1–r

|uλn|dx

r

fornlarge enough. This is a contradiction becauser< 1. Step 2. We show that there exists a constantL0> 0 such that

∞≤L0, ∀λK.

Since Step 1 holds, (3.1) guarantees that

f–1

λ+b

uλdx

r

||1–r

f–1k0+bcr1||1–r

.

LetL0:=f–1(k0+bcr1||1–r). We conclude

∞≤L0, ∀λK.

Step 3. We show that there exists a constantL1such that, if

λ<L1,

(9)

Now define a function

g(s) :=f||–1sb||1–rsr, s∈[0, +∞). From the property off and 0 <r< 1, one has

lim s→+∞

f(||–1s)

sr = +∞,

which together withg(0) = 0 implies that there iss0≥0 such that

min

s∈[0,+∞)g(s) =g(s0).

Let

L1:=g(s0).

Assume thatis a positive solution to (1.1) forλ∈R. From (3.4), we have

f

||–1

uλdx

b

uλdx

r

||1–rλ,

which means that

λL1.

Consequently, (1.1) has no positive solution ifλ<L1.

The proof is complete.

Theorem 3.2 Assume that b> 0,kn<r,where knis the index of the last term of polynomial

f.Let uλbe a positive solution of(1.1)such thatλK⊂Ra compact set.Then there exists

a constant L0such that

∞≤L0

for a constant independent ofλK.Moreover,there exists a constant L1such that

lim b→+∞L1=λ1

and if

λ>L1,

(1.1)does not possess any positive solution.

Proof SinceKis compact, there isk1such that

(10)

Moreover, using now the lower bound in Lemma2.1, we get that

f–1

k1+b

urλdxλ1

ϕ1≤f–1

λ+b

urλdxλ1

ϕ1

f–1

λ+b

urλdx

, x. (3.5)

Step 1. We show that there exists a constantc1> 0 such that

urλdxc1, ∀λK.

In fact, suppose to the contrary that there exists{λn} ⊆Ksuch that

urλndx→+∞, asn→+∞.

By the property off(u), there isM> 0 such that

f(u)≤Mukn (3.6)

forularge enough. Integrating (3.5) inyields that

f–1

λn+b

urλndxλ1

ϕ1dx

uλndx,

that is, by Hölder’s inequality and (3.6)

λn+b

urλndxλ1≤f

uλndx

ϕ1dx

M uλndx

ϕ1dx

kn

M

ϕ1dx

kn

urλndx

kn r

||r–1r

fornlarge enough.

This is a contradiction tokn<r.

Step 2. We show that there exists a constantL0> 0 such that

∞≤L0, ∀λK.

SinceKis compact, there existsk0such that

λk0, ∀λK.

From (3.5) and Step 1, one has

f–1

λ+b

urλdx

(11)

Let

L0:=f–1(k0+bc1).

ThenL0satisfies Step 2.

Step 3. We show that there exists a constantL1such that, if

λ>L1,

(1.1) does not possess any positive solution. Now define

g1(s) :=f

s1r ( ϕr

1dx)

1 r

bs+λ1. (3.7)

Sincekn<r, one has

lim

s→+∞g1(s) = –∞,

which together withg1(0) = 0 implies that there existss1≥0 such that

max

s∈[0,+∞)g1(s) =g1(s1).

Let

L1:=g1(s1).

Assume thatis a positive solution to (1.1) forλ∈R. Integrating (3.5) inyields that

f–1

λ+b

urλdxλ1

r

ϕ1rdx

urλdx,

i.e.,

f–1

λ+b

urλdxλ1

u

r

λdx ϕ1rdx

1 r .

And then

λ+b

urλdxλ1≤f

ur

λdx ϕ1rdx

1 r

,

that is,

λ≤–b

urλdx+f

u

r

λdx

ϕ

r

1dx

1 r

(12)

Hence

λL1.

Consequently, Step 3 is true. Moreover, we consider

h(s) :=Asqb

ns+

λ1

n, A> 0, 0 <q< 1.

It is easy to prove thath(s) gets its maximum ats= ( b nAq)

1 1–q and

max

s∈[0,+∞)h(s) =A

b nAq

q 1–q

b

n

b nAq

1 1–q

+λ1

n.

Let

hi(s) :=ais

ki r b

ns+

λ1

n, i= 1, 2, . . . .

Obviously, we have

max

s∈[0,+∞)hi(s) =ai

b nAki

r ki

r 1–kir

b

n

b nAki

r

1

1–kir +λ1

n.

Since 0 <ki

r < 1,i= 1, 2, . . . ,n, one has that lim

b→+∞s∈max[0,+∞)hi(s) =

λ1

n, i= 1, 2, 3, . . . ,n.

By the definitiong1in (3.7), we have

g1(s) =

n

i=1

hi(s),

which implies that

lim

b→+∞L1=b→lim+∞s∈max[0,+∞)g1(s)≤b→lim+∞

n

i=1

max

s∈[0,+∞)hi(s) =λ1.

On the other hand, sinceL1>λ1, we have

lim

b→+∞L1=λ1.

The proof is complete.

Theorem 3.3 Assume that b> 0,r= 1.Let uλbe a positive solution of (1.1)such that

(13)

(1) Ifkn= 1 =randb< 1/||orb ϕ1dx> 1,then there exist a priori bounds of the solution of(1.1).Moreover,ifb< 1/||andλ≤0orb ϕ1dx> 1andλλ1,then

(1.1)does not possess a positive solution.

(2) Ifkn> 1 =r,then there exists a constantL0> 0such that

∞≤L0

for a constant independent ofλ.Moreover,there exists a constant L1such that,if

λ<L1,

(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 Theo-rem3.1, and we omit it.

4 Existence and uniqueness results

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

Consider a continuous operatorB:L∞()→Randf :×R2→Ra continuous func-tion and the general problem

⎧ ⎨ ⎩

u=f(x,u,B(u)), in,

u= 0, on∂,

(4.1)

whereis a bounded domain inRN,N2, withC2,βboundary∂.

Definition 4.1(See [6]) We say that the pair (u,u) withu,uH1()L() is a pair of sub-supersolutions of (4.1) if

(a) uuinandu≤0≤uon;

(b) –uf(x,u,B(u))≤0≤–uf(x,u,B(u))in the weak sense for allu∈[u,u].

Lemma 4.1(See [6]) Assume that there exists a pair of sub-supersolutions of(4.1).Then there exists a solution uH1()L()of(4.1)such that u[u,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λ>λ1.

Moreover,if there exists the unique positive solution,denoted by uλ,b,then

lim

b→–∞,b∞= 0.

Proof By Theorem2.1we know the existence of an unbounded continuumC0of positive

solutions bifurcating from the trivial solution atλ=λ1. Assume that (λ,)∈C0. Now we

(14)

In fact, ifλλ1, then

λf()

,

which implies thatis a sub-solution (2.1).

Choose a constantKlarge enough such that

λ<f(K) andK>max x

.

Obviously, (,K) is a pair of sub-supersolutions to (2.1). Then (2.1) has a positive solution

forλλ1. This is a contradiction to Lemma2.1.

We know that positive solutions do not exist forλλ1, hence we conclude that if (λ,u)∈

C0, we haveλ>λ1.

Moreover, if (λ,u)∈C0, sinceb< 0, we have

<

λf()

,

and Lemma2.3implies thatθλ, whereθλis a solution to (2.1). Lemma2.1

guaran-tees that (2.1) has a unique positive solutionθλfor allλ>λ1, which together with the

unboundedness ofC0implies that (1.1) has at least one positive solution,bfor allλ>λ1.

We show now the uniqueness.

Assume that there exist two positive solutionsu=vforb< 0. If urdx=

vrdx,u

andvsatisfy

⎧ ⎨ ⎩

u=u(λ+kf(u)), in,

u= 0, on∂,

wherek=b urdx=b

v

rdx< 0. This is a contradiction to Lemma2.1.

So, assume that for instance

urdx<

vrdx,

then

u=u

λ+b

urdxf(u)

>u

λ+b

vrdxf(u)

,

and then by Lemma2.3we getu>v, an absurdum. On the other hand, we have that

,bf–1

λ+b

urλ,bdx

and thenf(,b) <λ. So, asb→–∞, we get

(15)

Moreover, Lemma2.1implies

f–1

λ+b

urλ,bdxλ1

ϕ1≤,b

and

λ+b

urλ,bdxλ1> 0,

we conclude that

b

urλ,bdxλ1–λ.

This implies that,b∞→0.

Theorem 4.2 Assume that b> 0, 0 <r< 1.Then there existsλ∗<λ1such that(1.1)

pos-sesses at least a positive solution if and only ifλλ∗.Moreover,

lim

b→0+λ∗(b) =λ1 and blim+λ∗(b) = –∞.

Proof Define

λ=infλ∈R: (1.1) possesses at least a positive solution.

We know by Theorems2.1and3.1that –∞<λ<λ1.

Step 1. We show that (1.1) has at least one positive solution for allλ>λ∗.

Take λ>λ∗, then there existsμ∈[λ∗,λ) such that (1.1) possesses at least a positive solution, denoted by. ChooseKlarge enough such that

f(K) –bKr||>λ and K>max x

(x). (4.2)

Let (u,u) = (,K). Sinceis a positive solution of (1.1) and (4.2) is true, we have

(a) u=<K=uinandu== 0 <K=uon;

(b)

uu

λ+b

urdxf(u)

=

μ+b

urμdxf()

λ+b

urdxf()

=buμ

urμur

(16)

and

uu

λ+b

urdxf(u)

= –0 –K

λ+b

urdxf(K)

=K

–λ–b

urdx+f(K)

K–λ–bK||r+f(K) > 0, x,u∈[u,u],

which implies that (u,u) is a pair of sub-supersolutions to (1.1). Theorem4.2guarantees that (1.1) has at least one positive solution for allλ>λ∗.

Step 2. We show that, forλ=λ, (1.1) has a positive solution.

By the definition ofλ∗, there exists{λn}such thatλnλ∗andλnλ∗. Thanks to the

bounds of Theorem3.1, we have thatunu∗≥0,u∗is a solution forλ=λ∗. Sinceλ∗<λ1

andλ1is the unique bifurcation point from the trivial solution, we conclude thatu∗> 0.

Step 3. We show that

lim

b→0+λ∗(b) =λ1 and blim+λ∗(b) = –∞. Sinceuis bounded and

λ+b

urdx>λ1,

and then takingb→0, we have thatλλ1, that is,

lim

b→0+λ∗(b) =λ1. Now we prove

lim

b→+∞λ∗(b) = –∞.

It suffices to show that, for anyλ<λ1, there existsb> 0 big enough such that (1.1) possesses

at least one positive solution.

In fact, for anyλ<λ1, there existsb> 0 large enough such that for the function

(λ1–λ) –b

1 2ϕ1

r

dx+f

1 2ϕ1

< 0, ∀x. (4.3)

For aboveb, takeK> 1 +|λ|+12ϕ1∞large enough such that

f(K) >bKr||. (4.4)

Letu=12ϕ1(x) andu=K. From (4.3) and (4.4), we have

(17)

(b)

uu

λ+b

urdxf(u)

=1 2λ1ϕ1–

1 2ϕ1

λ+b

urdxf

1 2ϕ1

=1 2ϕ1

(λ1–λ) –b

urdx+f

1 2ϕ1

< 0, x,u∈[u,u] and

uu

λ+b

urdxf(u)

= –0 –K

λ+b

urdxf(K)

=K

–λ–b

urdx+f(K)

K–λ–bKr||+f(K) > 0, x,u∈[u,u],

which implies that (u,u) is a pair of sub-supersolutions to (1.1). Theorem4.2guarantees that (1.1) has at least one positive solution for allλ<λ1.

The proof is complete.

Theorem 4.3 Assume that b> 0and kn<r.There existsλ∗>λ1such that(1.1)possesses

at least a positive solution if and only ifλλ∗.Moreover,

lim b→0+λ

(b) = + and lim

b→+∞λ

(b) =λ

1.

Proof Assume thatb> 0 andkn<r. Define now

λ∗=supλ∈R: (1.1) possesses at least a positive solution.

We know by Theorems2.1and3.2thatλ1<λ∗< +∞.

Step 1. We prove now that there exists a positive solution for allλ∈(–∞,λ∗).

Indeed, takeλ∈[λ1,λ∗), then there existsμ∈(λ1,λ∗] such that (1.1) possesses at least a

positive solution, denoted by. Chooseεsmall enough such thatεϕ1<for allx

such that

f(εϕ1) –b

(εϕ1)rdxλλ1. (4.5)

Letu=εϕ1andu=. Sinceis a positive solution of (1.1), from (4.5), one has

(a) u=εϕ1<inandu= 0 =uon;

(b)

uu

λ+b

urdxf(u)

=ελ1ϕ1–εϕ1

λ+b

urdxf(εϕ1)

=ϕ1ε

(λ1–λ) –b

urdx+f(εϕ1)

(18)

and

uu

λ+b

urdxf(u)

=

μ+b

urμdxf()

λ+b

urdxf()

=

μλ+b

urμur

dx

> 0, x,u∈[u,u],

which implies that (u,u) is a pair of sub-supersolutions to (1.1). Theorem4.2guarantees that (1.1) has at least one positive solution for allλ∈[λ1,λ∗).

Now, Theorem2.1impliesC0is supercritical, which implies that there exists (λ,u)∈C0

withλ0>λ1. For anyλ<λ1, letK= [λ,λ0]. Theorem3.2guarantees thatu∞≤L0for

allλK, which together with the unboundedness ofC0implies that there isusuch that

(λ,u)∈C0.

Step 2. We show that, forλ=λ∗, (1.1) has a positive solution.

Taking a sequence of positive solutions (λn,un) of (1.1) such thatλnλ∗andλnλ∗.

Thanks to the bounds of Theorem3.2, we have thatunu∗≥0,u∗is a solution forλ=λ.

Sinceλ∗>λ1andλ1is the unique bifurcation point from the trivial solution, we conclude

thatu∗> 0.

Step 3. We show that

lim b→0+λ

(b) = + and lim

b→+∞λ(b) =λ

1.

Observe that sinceλ1<λ∗≤L1 defined in Theorem3.2andlimb→∞L1=λ1, we

con-cluded that

lim b→∞λ

(b) =λ

1.

Now we prove

lim b→0+λ

(b) = +.

It suffices to show that, for anyλ>λ1, there existsb> 0 small enough such that (1.1)

possesses at least a positive solution. Forλ>λ1, take˜ ⊃and considerϕ˜1andλ˜1the

positive eigenfunction and eigenvalue associated with. Choose˜ K large enough such that

fKϕ˜1(x)

λ> 0, ∀x.

Chooseb> 0 small enough such that

fKϕ˜1(x)

λb

(19)

Chooseε> 0 small enough such thatεϕ1<˜1and

λλ1+b

(εϕ1)rdxf(εϕ1) > 0, ∀x. (4.7)

Letu(x) =εϕ1(x) andu(x) =˜1(x) forx. From (4.6) and (4.7), we have

(a) u=εϕ1<˜1=u(x)inandu= 0 <˜1=uon;

(b)

uu

λ+b

urdxf(u)

=ελ1ϕ1–εϕ1

λ+b

urdxf(εϕ1)

=εϕ1

(λ1–λ) –b

urdx+f(εϕ1)

< 0, x,u∈[u,u]

and

uu

λ+b

urdxf(u)

=˜ϕ˜1–˜1

λ+b

urdxf(˜1)

=˜1

˜

λλb

urdx+f(˜1)

> 0, x,u∈[u,u],

which implies that (u,u) is a pair of sub-supersolutions to (1.1). Theorem4.2guarantees that (1.1) has at least one positive solution forλ>λ1.

The proof is complete.

Theorem 4.4 Assume that b> 0and r= 1 <kn.There existsλ∗<λ1such that(1.1)

pos-sesses at least a positive solution if and only ifλλ∗.Moreover,

lim

b→0+λ∗(b) =λ1 and blim+λ∗(b) = –∞.

The proof of Theorem4.4is similar to that of Theorem4.3, we omit it.

Acknowledgements

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

Funding

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

Availability of data and materials

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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

Authors’ information

(20)

Author details

1Life Science College, Shandong Normal University, Jinan, P.R. China.2School of Mathematical Sciences, Shandong

Normal University, Jinan, P.R. China.

Publisher’s Note

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

Received: 30 January 2018 Accepted: 13 September 2018

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. A37, 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. Control62, 406–411 (2017)

14. Li, X., Wu, J.: Stability of nonlinear differential systems with state-dependent delayed impulses. Automatica64, 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.

References

Related documents

Twenty-five percent of our respondents listed unilateral hearing loss as an indication for BAHA im- plantation, and only 17% routinely offered this treatment to children with

A significant decline in the concentrations of renal reduced glutathione in comparison with the control group (C) were observed in the trained and untrained rats intoxicated with

There are infinitely many principles of justice (conclusion). 24 “These, Socrates, said Parmenides, are a few, and only a few of the difficulties in which we are involved if

19% serve a county. Fourteen per cent of the centers provide service for adjoining states in addition to the states in which they are located; usually these adjoining states have

Our study successfully implemented a referral program for maternal contraceptive services within pediatric care by having pediatric residents assess postpartum women ’ s needs

The aim of the study was to assess the presence of pathogenic microbes on treatment tables in one outpatient teaching clinic and determine a simple behavioral model for

It was decided that with the presence of such significant red flag signs that she should undergo advanced imaging, in this case an MRI, that revealed an underlying malignancy, which

Also, both diabetic groups there were a positive immunoreactivity of the photoreceptor inner segment, and this was also seen among control ani- mals treated with a