Home Existence of nonminimal solutions to an inhomogeneous elliptic equation with supercritical nonlinearity
Article Open Access

Existence of nonminimal solutions to an inhomogeneous elliptic equation with supercritical nonlinearity

  • Kazuhiro Ishige , Shinya Okabe EMAIL logo and Tokushi Sato
Published/Copyright: July 6, 2023

Abstract

In our previous paper [K. Ishige, S. Okabe, and T. Sato, A supercritical scalar field equation with a forcing term, J. Math. Pures Appl. 128 (2019), pp. 183–212], we proved the existence of a threshold κ > 0 such that the elliptic problem for an inhomogeneous elliptic equation Δ u + u = u p + κ μ in R N possesses a positive minimal solution decaying at the space infinity if and only if 0 < κ κ . Here, N 2 , μ is a nontrivial nonnegative Radon measure in R N with a compact support, and p > 1 is in the Joseph-Lundgren subcritical case. In this article, we prove the existence of nonminimal positive solutions to the elliptic problem. Our arguments are also applicable to inhomogeneous semilinear elliptic equations with exponential nonlinearity.

MSC 2010: 35B09; 35J61; 35B32

1 Introduction

Consider an inhomogeneous elliptic equation with power nonlinearity

(P) Δ u + u = F ( u ) + κ μ in R N , u > 0 in R N , u ( x ) 0 as x ,

where N 2 , F ( u ) = u p with p > 1 , κ > 0 , and μ is a nontrivial nonnegative Radon measure in R N . We are interested in the structure of solutions to problem (P) in the Joseph-Lundgren subcritical case 1 < p < p J L , where

p J L if N 10 , p J L ( N 2 ) 2 4 N + 8 N 1 ( N 2 ) ( N 10 ) if N 11 .

We introduce some notation, and we formulate the solution to problem (P). For x R N and r > 0 , let B ( x , r ) { y R N : x y < r } . Define

C 0 ( R N ) { f C ( R N ) : lim x f ( x ) = 0 } , L c q ( R N ) { f L q ( R N ) : f  has a compact support in  R N } ,

where 1 q . Denote by + the set of all nontrivial nonnegative Radon measures in R N . Let G be the fundamental solution to Δ v + v = 0 in R N , that is,

(1.1) G ( x ) 1 ( 2 π ) N 2 x ( N 2 ) 2 K ( N 2 ) 2 ( x ) , x R N \ { 0 } ,

where K ( N 2 ) 2 is the modified Bessel function of order ( N 2 ) 2 .

Definition 1.1

Let μ + , κ > 0 , F ( u ) = u p with p > 1 , and q [ p , ) .

  1. We say that u is a ( C 0 + L c q ) -solution to problem (P) if u C 0 ( R N ) + L c q ( R N ) and u satisfies

    u ( x ) = [ G F ( u ) ] ( x ) + κ [ G μ ] ( x ) > 0 for almost all (a.a.)  x R N .

  2. We say that u is a ( C 0 + L c q ) -supersolution to problem (P) if u C 0 ( R N ) + L c q ( R N ) and u satisfies

    u ( x ) [ G F ( u ) ] ( x ) + κ [ G μ ] ( x ) > 0 for a.a.  x R N .

  3. Let u be a ( C 0 + L c q ) -solution to problem (P). We say that u is a minimal ( C 0 + L c q ) -solution to problem (P) if, for any ( C 0 + L c q ) -solution v to problem (P), u ( x ) v ( x ) holds for a.a. x R N .

In the previous study [12], the authors have obtained the following result for problem (P). (See [12, Theorems 1.1 and 1.2].)

Theorem 1.1

Let μ + and F ( u ) = u p with p > 1 . Assume the following two conditions.

  1. There exists R > 0 such that supp μ B ( 0 , R ) .

  2. G μ L q ( R N ) for some

    q > max p , N ( p 1 ) 2 .

Then there exists κ ( 0 , ) with the following properties.
  1. If 0 < κ < κ , then problem (P) possesses a minimal ( C 0 + L c q ) -solution u κ . Furthermore, u κ ( x ) = O ( G ( x ) ) as x .

  2. If κ > κ , then problem (P) possesses no ( C 0 + L c q ) -solutions.

  3. Let 1 < p < p J L . Then problem (P) possesses a unique ( C 0 + L c q ) -solution with κ = κ .

In this article, as a continuation of the previous study [12], we study the existence of nonminimal solutions to problem (P) in the Joseph-Lundgren subcritical case. Theorem 1.2 is the main result of this article.

Theorem 1.2

Let μ + and 1 < p < p J L . Assume conditions (A1) and (A2). Then there exists κ 0 ( 0 , κ ) such that problem (P) possesses a nonminimal ( C 0 + L c q ) -solution u ¯ κ for all κ ( κ 0 , κ ) .

We also study the existence of nonminimal solutions to inhomogeneous elliptic equations with exponential nonlinearity (Section 6).

Existence of multiple positive solutions to problem (P) in the Sobolev subcritical and critical cases 1 < p p S has been studied in many papers from the view of variational problems (see, e.g., [14,611, 1420] and the references therein). Here,

p S if N = 2 , p S N + 2 N 2 if N 3 .

On the other hand, the existence of the solutions to elliptic problems with the power nonlinearity u p with p > p S (the Sobolev supercritical case) is widely open since it is difficult to find the Sobolev embedding fitting suitably to a weak formulation of the solutions, and many direct tools of calculus of variations are not applicable. The standard theories in variational structures and bifurcation structures of solutions to elliptic equations are not applicable to the study for the existence of nonminimal solutions to problem (P) with p > p S . We remark that p S p J L .

In this article, as in [12], we introduce the following functions { U j κ } and { V j κ } for all κ > 0 ,

(1.2) μ 0 G μ , U 0 κ κ μ 0 , U j κ G ( U j 1 κ ) p + κ μ 0 , j = 1 , 2 , , V 0 κ U 0 κ , V j κ U j κ U j 1 κ , j = 1 , 2 , .

Let g be a positive continuous function in R N defined by g G χ B ( 0 , 1 ) (see also (2.1)). Then, under conditions (A1) and (A2), we have the following properties.

  1. For any j { 0 , 1 , 2 , } and 0 < κ κ ,

    U j + 1 κ ( x ) U j κ ( x ) > 0 , U j κ ( x ) U j κ ( x ) , V j κ ( x ) V j κ ( x ) 0 ,

    for a.a. x R N . Furthermore, there exists C > 0 such that

    U j κ ( x ) C κ g ( x ) > 0 , a.a. x R N ,

    for j = 0 , 1 , 2 , and κ > 0 . See [12, Lemma 3.1 and (3.3)].

  2. Assume that problem (P) possesses a ( C 0 + L c q ) -solution for some κ > 0 . Then there exists a ( C 0 + L c q ) -minimal solution u κ and

    lim j U j κ ( x ) = u κ ( x ) , a.a. x R N .

    See [12, Lemma 4.3].

  3. There exists j { 1 , 2 , } such that

    w κ u κ U j κ g B C ( R N ) { f C ( R N ) : g 1 f L ( R N ) }

    for all κ ( 0 , κ ] . See Theorem 1.1 and Lemma 2.3.

Let ϕ κ be the first eigenfunction to the linearized eigenvalue problem to problem (P) with κ = κ at u κ

Δ ϕ + ϕ = λ F ( u κ ) ϕ in R N , ϕ > 0 in R N , ϕ H 1 ( R N )

such that R N F ( u κ ) ( ϕ κ ) 2 d x = 1 . (See Lemma 2.4.)

To prove Theorem 1.2, we find a neighborhood I of 0 such that, for any ε I , there exists a quartet ( W , ψ , ρ , σ ) g B C ( R N ) 2 × ( 0 , ) 2 with the following properties.

  1. The function

    u ε w κ + ε ρ ϕ κ + ε 2 W + U j κ ε 2 = w κ + ε ρ ϕ κ + ε 2 W + V j κ ε 2 + U j 1 κ ε 2

    is a ( C 0 + L c q ) -solution to problem (P) with κ = κ ε 2 .

  2. The function ϕ ε ϕ κ + ε ψ satisfies

    Δ ϕ ε + ϕ ε = λ ε F ( u ε ) ϕ ε in R N , ϕ ε > 0 in R N , ϕ ε H 1 ( R N )

    such that R N F ( u ε ) ( ϕ ε ) 2 d x = 1 , where λ ε 1 ε σ .

As proved in [12], if u ε is the minimal ( C 0 + L c q ) -solution to problem (P) with κ = κ ε 2 , then λ ε 1 . On the other hand, λ ε < 1 if and only if ε > 0 . These imply that, if ε I with ε > 0 , then u ε is a nonminimal ( C 0 + L c q ) -solution to problem (P) with κ = κ ε 2 .

We employ Fredholm alternative and find a quartet ( W , ψ , ρ , σ ) with properties (i) and (ii) by solving four functional equations. (See Proposition 4.2, which is crucial in the proof of Theorem 1.2.) To solve the four functional equations, we prepare some estimates of the derivatives of the functions { U j κ } and { V j κ } with respect to the parameter κ , and obtain delicate estimates of the functionals Φ ε and Ψ ε given in Section 4 (Lemmas 5.5 and 5.6). Then we apply the contraction mapping theorem to obtain Proposition 4.2, and complete the proof of Theorem 1.2.

The rest of this article is organized as follows. In Section 2, we recall some properties of the fundamental solution G , approximate solutions to problem (P), and the linearized eigenvalue problem. Furthermore, we introduce a bounded operator T κ on g ν B C ( R N ) , where ν ( 0 , 1 ] , and discuss the invertibility of the operator I T κ . In Section 3, we obtain some estimates of derivatives of functions { U j κ } and { V j κ } with respect to the parameter κ . In Section 4, we obtain equivalent two Propositions 4.1 and 4.2 to Theorem 1.2. In Section 5, we show Proposition 4.2 to complete the proof of Theorem 1.2. In Section 6, we study the existence of solutions to elliptic equations with exponential nonlinearity.

2 Preliminaries

We recall some properties of the fundamental solution G . Furthermore, following the previous study [12], we collect approximate solutions { U j κ } of the minimal solution to problem (P). In what follows, the letter C denotes generic positive constants and it may have different values also within the same line.

2.1 Properties of fundamental solution G

It follows from (1.1) that

G ( x ) x ( N 2 ) if N 3 , log x if N = 2 , as x 0 , G ( x ) x N 1 2 e x as x .

By the Hölder inequality, the Hardy-Littlewood-Sobolev inequality, and the Sobolev inequality, we have the following properties [16, Appendix].

  1. For r [ 1 , N ( N 2 ) ) ,

    G v L r ( R N ) C v L 1 ( R N ) , v L 1 ( R N ) .

  2. For r ( 1 , N 2 ) ,

    G v L r ( R N ) C v L r ( R N ) , v L r ( R N ) ,

    where 1 r = 1 r 2 N .

  3. Let r > N 2 . Then

    G v C 0 ( R N ) , [ G v ] ( x ) C v L r ( R N ) , x R N ,

    for v L r ( R N ) . Furthermore, there exists θ ( 0 , 1 ) such that

    [ G v ] ( x ) [ G v ] ( y ) C x y θ

    for v L r ( R N ) and x , y R N .

  4. Let v L 1 ( R N ) L r ( R N ) with some r > N 2 . Then G v C 0 ( R N ) L 1 ( R N ) H 1 ( R N ) .

Let χ B ( 0 , 1 ) be the characteristic function of the ball B ( 0 , 1 ) . Set g G χ B ( 0 , 1 ) . Then

(2.1) g C ( R N ) , g ( x ) > 0 in R N , g ( x ) G ( x ) as x , g g B C ( R N ) .

Furthermore, for any σ > 1 , we have

(2.2) 0 < [ G g σ ] ( x ) C g ( x ) for x R N .

For any ν > 0 , let

g ν B C ( R N ) { f C ( R N ) : g ν f L ( R N ) } .

Then g ν B C ( R N ) is a Banach space with the norm

f ν sup x R N g ( x ) ν f ( x ) .

We often write 1 for simplicity.

2.2 Approximate solutions

Let μ + . Assume conditions (A1) and (A2). Let { U j κ } and { V j κ } be as in (1.2). Since q > max { p , N ( p 1 ) 2 } , we find r ( 1 , ) such that

max N 2 , q q 1 < r < q p 1 , 1 q j 2 N 1 r : j = 0 , 1 , 2 , .

Define a sequence { q j } j = 0 by

1 q j 1 q j 2 N 1 r .

Then there exists j { 1 , 2 , } such that 1 q j 1 > 0 > 1 q j .

Lemma 2.1

Let

(2.3) f g B C ( R N ) + L R q ( R N ) , h g ν B C ( R N ) + L R r ( R N ) ,

where q is as in condition (A2), r 1 , R > 0 , and ν > 0 with p 1 + ν > 1 . Here,

L R r ( R N ) { f L r ( R N ) : supp f B ( 0 , R ) } .

Let a measurable function z in R N satisfy

(2.4) z ( x ) F ( f ( x ) ) h ( x ) , a.a.  x R N .

Then the following properties hold.

  1. Assume that r q j for some j { 0 , 1 , , j 2 } . Then

    G z g B C ( R N ) + L R q j + 1 ( R N ) .

  2. Assume that r q j 1 . Then G z g B C ( R N ) . Furthermore, there exist C > 0 and θ ( 0 , 1 ) such that

    [ G z ] ( x ) C g ( x ) , [ G z ] ( x ) [ G z ] ( y ) C x y θ ,

    for x , y R n . Here, C and θ depend only on N , F , q , ν , and r .

Proof

By (2.3) we find R ( 0 , R ) such that f and h are continuous functions in R N \ B ( 0 , R ) . Set

I 1 ( x ) B ( 0 , R ) G ( x y ) z ( y ) d y , I 2 ( x ) R N \ B ( 0 , R ) G ( x y ) z ( y ) d y .

Then

[ G z ] ( x ) = I 1 ( x ) + I 2 ( x ) , a.a.  x R N .

On the other hand, by (2.3) and (2.4), we have

z ( x ) F ( f ( x ) ) h ( x ) C g ( x ) p 1 + ν , x R N \ B ( 0 , R ) .

This together with (G3) and (2.2) implies that assertions (i) and (ii) hold with G z replaced by I 2 . It suffices to prove that assertions (i) and (ii) hold with G z replaced by I 1 .

We prove that assertion (i) holds with G z replaced by I 1 . Since F ( f ) L q ( p 1 ) ( B ( 0 , R ) ) and r < q ( p 1 ) , it follows from (2.3) that

(2.5) F ( f ) L r ( R N ) F ( f ) L r ( B ( 0 , R ) ) + F ( f ) L r ( R N \ B ( 0 , R ) ) C f L q ( B ( 0 , R ) ) p 1 + C g p 1 L r ( R N \ B ( 0 , R ) ) < .

Let r q j , where j { 0 , 1 , , j 1 } . Then, by (2.5), we have

z L r j ( B ( 0 , R ) ) F ( f ) h L r j ( B ( 0 , R ) ) F ( f ) L r ( B ( 0 , R ) ) h L q j ( B ( 0 , R ) ) C f L q ( B ( 0 , R ) ) p 1 h L r ( B ( 0 , R ) ) < ,

where 1 r j = 1 r + 1 q j . Here,

1 r j 1 r + 1 q < 1 .

Since

(2.6) 1 r j 2 N = 1 q j 2 N 1 r = 1 q j + 1 > 0 ,

by (G2), we see that I 1 L q j + 1 ( R N ) . Furthermore, for any R ( R , ) ,

(2.7) I 1 ( x ) g ( x ) sup y B ( 0 , R ) G ( x y ) g ( x ) B ( 0 , R ) z ( y ) d y C g ( x ) , I 1 ( x ) I 1 ( x ) sup y B ( 0 , R ) G ( x y ) G ( x y ) B ( 0 , R ) z ( y ) d y C x x ,

for x , x R N \ B ( 0 , R ) . Then assertion (i) holds with G z replaced by I 1 . Thus, assertion (i) follows.

On the other hand, since j j 1 , similar to (2.6), we see that q j + 1 < 0 . Then, by (G3) and (2.7), we see that assertion (ii) holds with G z replaced by I 1 . Thus, assertion (ii) follows. The proof of Lemma 2.1 is complete.□

By using Lemma 2.1 inductively, we have the following lemma. See also [12, Lemma 3.2].

Lemma 2.2

Let μ + . Assume conditions (A1) and (A2). Let κ > 0 and j = 0 , 1 , . Then

  1. U j κ g B C ( R N ) + L R q ( R N ) ;

  2. V j κ g B C ( R N ) + L R q j ( R N ) if j < j and V j κ g B C ( R N ) if j j .

2.3 Minimal solutions and linearized eigenvalue problems

We recall some properties of ( C 0 + L c q ) -solutions to problem (P). See [12, Lemmas 4.1 and 4.2].

Lemma 2.3

Let μ + and p > 1 . Assume conditions (A1) and (A2). For any κ > 0 , the following statements are equivalent:

  1. u = w + U j κ is a ( C 0 + L c q ) -solution to problem (P);

  2. w g B C ( R N ) is positive in R N and w satisfies

    w = G [ F ( w + U j κ ) F ( U j 1 κ ) ] i n R N .

Let 1 < p < p J L and 0 < κ κ . Theorem 1.1 implies that problem (P) possesses a minimal ( C 0 + L c q ) -solution u κ to problem (P). Consider the linearized eigenvalue problem to problem (P) at u κ ,

(Eκ) Δ ϕ + ϕ = λ F ( u κ ) ϕ in R N , ϕ H 1 ( R N ) .

Then the first eigenvalue λ κ to problem (E) is characterized by

λ κ = inf ψ H 1 ( R N ) 2 R N F ( u κ ) ψ 2 d x : ψ H 1 ( R N ) , R N F ( u κ ) ψ 2 d x 0

and λ κ > 0 . Furthermore, the following lemma holds. See [12, Lemmas 4.5 and 4.6].

Lemma 2.4

Let μ + , 1 < p < p J L , and 0 < κ κ . Assume conditions (A1) and (A2). Let ϕ κ be the first eigenfunction to problem ( E κ ) such that ϕ κ > 0 in R N and

R N F ( u κ ) ( ϕ κ ) 2 d x = 1 .

Then ϕ κ C 0 ( R N ) and

ϕ κ ( x ) = λ κ R N G ( x y ) F ( u κ ( y ) ) ϕ κ ( y ) d y , x R N .

Furthermore,

  1. C 1 g ( x ) ϕ κ ( x ) C g ( x ) in R N for some C > 0 ,

  2. 1 < λ κ λ κ if 0 < κ κ < κ and λ κ = 1 .

2.4 Bounded operator T κ

Let u κ be the minimal solution to problem (P). It follows from Lemma 2.3 that

(2.8) u κ g B C ( R N ) + L c q ( R N ) .

By Lemma 2.1, for any ν > 0 with p 1 + ν > 1 , we define an operator T κ from g ν B C ( R N ) to g B C ( R N ) by

(2.9) T κ : g ν B C ( R N ) f G ( F ( u κ ) f ) g B C ( R N ) .

Lemma 2.5

Assume conditions (A1) and (A2). Let ν ( 0 , 1 ] with p 1 + ν > 1 . Then the operator T κ defined by (2.9) is a bounded linear operator from g ν B C ( R N ) to g B C ( R N ) . Furthermore, if ν < 1 , then T κ is a compact operator on g ν B C ( R N ) .

Proof

Let f g ν B C ( R N ) be such that f ν 1 . By (2.8), we apply Lemma 2.1 (ii) to find C > 0 and θ ( 0 , 1 ) , which are independent of f , such that

(2.10) [ G ( F ( u κ ) f ) ] ( x ) C g ( x ) ,

(2.11) [ G ( F ( u κ ) f ) ] ( x ) [ G ( F ( u κ ) f ) ] ( y ) C x y θ ,

for all x , y R N . These imply that T κ is a bounded linear operator on g ν B C .

Let { f n } be a bounded sequence of g ν B C with ν < 1 . By (2.10) and (2.11), we apply the Arzelà-Ascoli theorem and the diagonal argument to find a subsequence { T κ f n i } of { T κ f n } such that

(2.12) lim i , j sup x K T κ f n i ( x ) T κ f n j ( x ) = 0

for all compact sets K of R N . Furthermore, for any ε > 0 , we find L > 0 such that

(2.13) T κ f n ( x ) C g ( x ) ε g ν ( x )

for all x R N \ B ( 0 , L ) and n = 1 , 2 , . By (2.12) and (2.13), we see that

limsup i , j T κ f n i T κ f n j ν 2 ε .

Since ε is arbitrary, we deduce that

lim i , j T κ f n i T κ f n j ν = 0 .

This means that T κ is a compact operator on g ν B C ( R N ) . The proof is complete.□

By Lemmas 2.4 and 2.5, we apply Fredholm alternative [5, Appendix D.5] to obtain the following lemma.

Lemma 2.6

Let ν ( 0 , 1 ) be such that p 1 + ν > 1 . Then the compact operator T κ on g ν B C satisfies

Ker ( I λ κ T κ ) = { C ϕ κ : C R } , Im ( I λ κ T κ ) = Λ κ ν ,

where

Λ κ ν v g ν B C ( R N ) : R N F ( u κ ) ϕ κ v d x = 0 .

Furthermore, I λ κ T κ : Λ κ ν Λ κ ν is invertible.

Then we have:

Lemma 2.7

The operator T κ is a bounded linear operator on g B C ( R N ) , and it satisfies

Ker ( I λ κ T κ ) = { C ϕ κ : C R } , Im ( I λ κ T κ ) Λ κ ,

where

(2.14) Λ κ v g B C ( R N ) : R N F ( u κ ) ϕ κ v d x = 0 .

Furthermore, ( I λ κ T κ ) Λ κ has a unique bounded right inverse operator J κ : Λ κ Λ κ .

Proof

Let v Λ κ . Fix ν ( 0 , 1 ) with p 1 + ν > 1 arbitrarily. Since Λ κ Λ κ ν , by Lemma 2.6, we find a unique f g ν B C ( R N ) such that ( I λ κ T κ ) f = v . This together with T κ f g B C ( R N ) implies that f g B C ( R N ) and

f = v + λ κ T κ ( I λ κ T κ ) 1 v .

Then the operator J κ defined by

J κ v v + λ κ T κ ( I λ κ T κ ) 1 v , v Λ κ ,

is a bounded right inverse operator on Λ κ of ( I λ κ T κ ) Λ κ . Thus, Lemma 2.7 follows.□

3 Derivatives of approximate solutions

By induction, we define the first formal derivative δ U j κ (resp. δ V j κ ) of U j κ (resp. V j κ ) with respect to κ as follows:

(3.1) δ U 0 κ μ 0 = κ 1 U 0 κ , δ U j κ G [ F ( U j 1 κ ) δ U j 1 κ ] + μ 0 , δ V 0 κ μ 0 = κ 1 U 0 κ , δ V j κ δ U j κ δ U j 1 κ ,

for j = 1 , 2 , . Similarly, we define the second formal derivative δ 2 U j κ (resp. δ 2 V j κ ) of U j κ (resp. V j κ ) with respect to κ as follows:

(3.2) δ 2 U 0 κ 0 , δ 2 U j κ G [ F ( U j 1 κ ) δ 2 U j 1 κ + F ( U j 1 κ ) ( δ U j 1 κ ) 2 ] , δ 2 V 0 κ 0 , δ 2 V j κ δ 2 U j κ δ 2 U j 1 κ ,

for j = 1 , 2 , . By induction, we easily verify that

(3.3) 0 < δ U j κ ( x ) δ U j + 1 κ ( x ) , 0 < δ U j κ ( x ) δ U j κ ( x ) if κ κ ,

for a.a. x R N and j = 0 , 1 , 2 , . Furthermore, we have:

Lemma 3.1

Let μ + and p > 1 . Assume conditions (A1) and (A2). Then

(3.4) 0 < U j κ ( x ) κ δ U j κ ( x ) ,

(3.5) 0 κ ( δ U j κ μ 0 ) ( x ) p j ( U j κ κ μ 0 ) ( x ) ,

(3.6) 0 < κ δ U j κ ( x ) p j U j κ ( x ) ,

(3.7) 0 < κ δ V j κ ( x ) p j V j κ ( x ) ,

(3.8) 0 κ δ 2 U j κ ( x ) j p j ( p 1 ) ( δ U j κ μ 0 ) ( x ) ,

for a.a. x R N , j = 0 , 1 , 2 , , and κ > 0 .

Proof

The proof is by induction. By (1.2) and (3.1), we see that δ U 0 κ = δ V 0 κ = μ 0 = κ 1 U 0 κ . This implies that inequalities (3.4)–(3.8) hold for j = 0 .

Assume that there exists j 0 { 0 , 1 , } such that inequalities (3.4)–(3.8) hold for j { 0 , , j 0 } . Then, by (1.2), (3.1), and (3.4) with j = j 0 , we have

U j 0 + 1 κ = G [ F ( U j 0 κ ) ] + κ μ 0 G [ ( U j 0 κ ) p 1 κ δ U j 0 κ ] + κ μ 0 κ δ U j 0 + 1 κ ,

which implies (3.4) with j = j 0 + 1 . Furthermore, by (1.2), (3.1), and (3.6) with j = j 0 , we see that

κ ( δ U j 0 + 1 κ μ 0 ) = κ p G [ ( U j 0 κ ) p 1 δ U j 0 κ ] p j 0 + 1 G [ ( U j 0 κ ) p ] = p j 0 + 1 ( U j 0 + 1 κ κ μ 0 ) .

This implies (3.5) and (3.6) with j = j 0 + 1 .

On the other hand, in the case of j 0 = 1 , it follows from (1.2) and (3.1) that

(3.9) δ V 1 κ = G [ p ( U 0 κ ) p 1 δ U 0 κ ] = p κ G ( U 0 κ ) p = p κ V 1 κ .

In the case of j 0 1 , by (U1), (3.1), and (3.6) with j = j 0 1 , and (3.7) with j = j 0 1 , we obtain

δ V j 0 + 1 κ = p G [ ( U j 0 κ ) p 1 δ U j 0 κ ( U j 0 1 κ ) p 1 δ U j 0 1 κ ] = p G [ ( U j 0 κ ) p 1 ( δ U j 0 1 κ + δ V j 0 1 κ ) ( U j 0 1 κ ) p 1 δ U j 0 1 κ ] = p G [ ( ( U j 0 κ ) p 1 ( U j 0 1 κ ) p 1 ) δ U j 0 1 κ + ( U j 0 κ ) p 1 δ V j 0 1 κ ] p j 0 κ G [ ( ( U j 0 κ ) p 1 ( U j 0 1 κ ) p 1 ) U j 0 1 κ + ( U j 0 κ ) p 1 V j 0 1 κ ] = p j 0 κ G [ ( U j 0 κ ) p 1 ( U j 0 1 κ + V j 0 1 κ ) ( U j 0 1 κ ) p ] = p j 0 κ ( U j 0 + 1 κ U j 0 κ ) = p j 0 κ V j 0 + 1 κ .

This implies (3.7) with j = j 0 + 1 . Furthermore, by (3.1) and (3.2), we apply (3.6) with j = j 0 and (3.8) with j = j 0 to obtain

κ δ 2 U j 0 + 1 κ = κ p G [ ( U j 0 κ ) p 1 δ 2 U j 0 κ ] + κ p ( p 1 ) G [ ( U j 0 κ ) p 2 ( δ U j 0 κ ) 2 ] j 0 p j 0 + 1 ( p 1 ) G [ ( U j 0 κ ) p 1 δ U j 0 κ ] + p j 0 + 1 ( p 1 ) G [ ( U j 0 κ ) p 1 δ U j 0 κ ] = ( j 0 + 1 ) p j 0 + 1 ( p 1 ) [ δ U j 0 + 1 κ μ 0 ] .

This implies (3.8) with j = j 0 + 1 . Thus, inequalities (3.4)–(3.8) hold for j { 0 , , j 0 + 1 } . By induction, we see that inequalities (3.4)–(3.8) hold for j { 0 , 1 , 2 , } , and the proof is complete.□

Next we obtain a lemma on estimates of { δ U j κ } and { δ V j κ } with j { 0 , 1 , 2 , } and { 0 , 1 , 2 } .

Lemma 3.2

Let μ + , j { 0 , 1 , 2 , } , { 0 , 1 , 2 } , κ > 0 , and 0 < K < K . Assume conditions (A1) and (A2).

  1. δ U j κ g B C ( R N ) + L R q ( R N ) and

    sup κ ( K , K ) δ U j κ L q ( R N ) + sup κ ( K , K ) g 1 δ U j κ L ( R N \ B ( 0 , R ) ) < .

  2. Let j j 1 . Then δ V j κ g B C ( R N ) + L R q j ( R N ) and

    sup κ ( K , K ) δ V j κ L q ( R N ) + sup κ ( K , K ) g 1 δ V j κ L ( R N \ B ( 0 , R ) ) < .

  3. Let j j . Then δ V j κ g B C ( R N ) and

    sup κ ( K , K ) g 1 δ V j κ L ( R N ) < .

For the proof of Lemma 3.2, we prepare the following lemma.

Lemma 3.3

Let p > 1 and α ( 0 , min { p 1 , 1 } ] . Then there exists C > 0 such that

0 [ ( s + t ) p 1 s p 1 ] r C ( s + t ) p 1 α r α t , ( s + t ) p 2 s p 2 s r C ( s + t ) p 1 α r α t ,

for all s , t ( 0 , ) and r [ 0 , s ] .

Proof

Let α ( 0 , min { p 1 , 1 } ] . By the mean value theorem, for any s , t ( 0 , ) , we find t ˜ ( 0 , t ) such that

0 [ ( s + t ) p 1 s p 1 ] r = ( p 1 ) ( s + t ˜ ) p 2 r t ( p 1 ) ( s + t ˜ ) p 2 ( s + t ˜ ) 1 α r α t = ( p 1 ) ( s + t ˜ ) p 1 α r α t ( p 1 ) ( s + t ) p 1 α r α t

for r ( 0 , s ] . Similarly, for any s , t ( 0 , ) , we find t ˆ ( 0 , t ) such that

( s + t ) p 2 s p 2 s r p 2 ( s + t ˆ ) p 3 s r t p 2 ( s + t ˆ ) p 3 ( s + t ˆ ) 1 α r α s t p 2 ( s + t ˆ ) p 1 α r α t p 2 ( s + t ) p 1 α r α t

for r ( 0 , s ] . Thus, Lemma 3.3 follows.□

Proof of Lemma 3.2

By Lemma 2.2, the monotonicity of U j κ and V j κ with respect to κ (3.3) implies assertions (i), (ii), and (iii) for = 0 . Furthermore, by (3.1), (3.2), (3.6), and (3.8), we apply Lemma 2.1 inductively to obtain assertion (i) for { 1 , 2 } .

We prove assertions (ii) and (iii) for = 1 . By setting U 1 κ = 0 , by (3.1), we see that

0 δ V j κ = δ U j κ δ U j 1 κ = G [ F ( U j 1 κ ) δ U j 1 κ F ( U j 2 κ ) δ U j 2 κ ] = G [ F ( U j 1 κ ) δ V j 1 κ ] + G [ { F ( U j 1 κ ) F ( U j 2 κ ) } δ U j 2 κ ]

for all j { 0 , 1 , 2 , } . It follows from Lemma 3.3 and (3.6) that

F ( U j 1 κ ) F ( U j 2 κ ) δ U j 2 κ = F ( U j 2 κ + V j 1 κ ) F ( U j 2 κ ) δ U j 2 κ C κ 1 ( U j 2 κ + V j 1 κ ) p 1 α ( U j 2 κ ) α V j 1 κ C κ 1 ( U j 1 κ ) p 1 V j 1 κ C κ 1 F ( U j 1 κ ) V j 1 κ ,

where α = min { p 1 , 1 } . By Lemma 2.2, we apply Lemma 2.1 inductively to obtain assertions (ii) and (iii) for = 1 .

We prove assertions (ii) and (iii) for = 2 . By setting U j κ = δ 2 U j κ = 0 for j = 2 , 1 , by (3.2), we have

δ 2 V j κ = δ 2 U j κ δ 2 U j 1 κ = G [ { F ( U j 2 κ + V j 1 κ ) F ( U j 2 κ ) } δ 2 U j 2 κ ] + G [ F ( U j 1 κ ) δ 2 V j 1 κ ] + G [ { F ( U j 2 κ + V j 1 κ ) F ( U j 2 κ ) } ( δ U j 2 κ ) 2 ] + G [ F ( U j 1 κ ) { ( δ U j 1 κ ) 2 ( δ U j 2 κ ) 2 } ]

for j = 0 , 1 , 2 , . By (U1), we apply Lemmas 3.1 and 3.3 to obtain

0 { F ( U j 2 κ + V j 1 κ ) F ( U j 2 κ ) } δ 2 U j 2 κ C κ 2 { ( U j 2 κ + V j 1 κ ) p 1 ( U j 2 κ ) p 1 } U j 2 κ C κ 2 ( U j 2 κ + V j 1 κ ) p 1 α ( U j 2 κ ) α V j 1 κ C κ 2 ( U j 1 κ ) p 1 V j 1 κ .

Similarly, we have

0 { F ( U j 2 κ + V j 1 κ ) F ( U j 2 κ ) } ( δ U j 2 κ ) 2 C κ 2 { ( U j 2 κ + V j 1 κ ) p 2 ( U j 2 κ ) p 2 } ( U j 2 κ ) 2 C κ 2 ( U j 2 κ + V j 1 κ ) p 1 α ( U j 2 κ ) α V j 1 κ C κ 2 ( U j 1 κ ) p 1 V j 1 κ , 0 F ( U j 1 κ ) { ( δ U j 1 κ ) 2 ( δ U j 2 κ ) 2 } C ( U j 1 κ ) p 2 ( δ U j 1 κ + δ U j 2 κ ) δ V j 1 κ C κ 2 ( U j 1 κ ) p 1 V j 1 κ .

Then we obtain

0 δ 2 V j κ C κ 2 G [ ( U j 1 κ ) p 1 V j 1 κ ] + C G [ ( U j 1 κ ) p 1 δ 2 V j 1 κ ] .

By Lemma 2.2, we apply Lemma 2.1 inductively to obtain assertions (ii) and (iii) for = 2 . Thus, Lemma 3.2 follows.□

Since U 0 κ = V 0 κ = κ μ 0 , we observe that κ U 0 κ = δ U 0 κ and κ V 0 κ = δ V 0 κ . Then, by Lemma 3.2, we have:

Lemma 3.4

Let μ + , j { 0 , 1 , 2 , } , { 0 , 1 , 2 } , and κ > 0 . Assume conditions (A1) and (A2). Then

κ U j κ = δ U j κ , κ V j κ = δ V j κ ,

for a.a. x R N .

4 Setting for the proof of Theorem 1.2

Let κ be as in Theorem 1.1. For any r > 0 , we set

r { f g B C ( R N ) f r } .

Taking lemmas in Section 2.3 into account, we prepare the following proposition for the proof of Theorem 1.2.

Proposition 4.1

Let μ + and 1 < p < p J L . Assume conditions (A1) and (A2). Let w κ be as in (U3) with κ = κ . Then there exist r > 1 and ε > 0 such that the following holds: for any ε I [ ε , ε ] , there exists a quartet

( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ]

with the following properties:

  1. the function w ε [ W , ρ ] defined by

    w ε [ W , ρ ] w κ + ε ρ ϕ κ + ε 2 W

    satisfies

    (4.1) w ε [ W , ρ ] = G [ F ( w ε [ W , ρ ] + U j κ ε 2 ) F ( U j 1 κ ε 2 ) ] in R N ;

  2. the function ϕ ε [ ψ ] defined by

    ϕ ε [ ψ ] ϕ κ + ε ψ

    satisfies

    (4.2) ϕ ε [ ψ ] = λ ε [ σ ] G [ F ( w ε [ W , ρ ] + U j κ ε 2 ) ϕ ε [ ψ ] ] in R N ,

    where λ ε [ σ ] 1 ε σ .

Here, ϕ κ is as in Lemma 2.4 with κ = κ .

By Lemma 2.3 (ii), we have

(4.3) w κ ( x ) C B ( 0 , 1 ) G ( x y ) d y = C g ( x ) , x R N .

Then, for any r > 1 , we observe from Lemma 2.4 that

(4.4) ε r 1 2 r min inf x R N w κ ( x ) ϕ κ ( x ) + g ( x ) , inf x R N ϕ κ ( x ) g ( x ) , ( 2 κ ) 1 2 r , 1 > 0 .

This implies that

(4.5) w ε [ W , ρ ] w κ ε r r ( ϕ κ + g ) 1 2 w κ > 0 in R N , ϕ ε [ ψ ] ϕ κ ε r r g 1 2 ϕ κ > 0 in R N , λ ε [ σ ] > 0 , κ ε 2 1 2 κ > 0 ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] and ε [ ε r , ε r ] .

Theorem 1.2 easily follows from Proposition 4.1.

Proof of Theorem 1.2

Let r > 1 be as in Proposition 4.1. We can assume, without loss of generality, that ε < ε r . Then, for any ε I , we find a quartet ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] with properties (i) and (ii) in Proposition 4.1. Then w ε [ W , ρ ] g B C ( R N ) . Set

u ε w ε [ W , ρ ] + U j κ ε 2 .

Then Lemma 2.3 together with (4.5) implies that u ε is a ( C 0 + L c q ) -solution to problem (P) with κ = κ ε 2 . Furthermore, if ε > 0 , then λ ε < 1 , which together with Lemma 2.4 implies that u ε u κ ε 2 . Therefore, we deduce that u ε is a nonminimal ( C 0 + L c q ) -solution to problem (P) with κ = κ ε 2 for all ε ( 0 , ε ) . Thus, Theorem 1.2 follows.□

The rest of this article is devoted to the proof of Proposition 4.1. In what follows, for any r > 1 and ε I r [ ε r , ε r ] , we set

Φ ε [ W , ρ ] 1 ε 2 [ F ( u ε [ W , ρ ] ) F ( U j 1 κ ε 2 ) ε F ( u κ ) ( ρ ϕ κ + ε W ) F ( u κ ) + F ( U j 1 κ ) ] , Ψ ε [ W , ψ , ρ , σ ] 1 ε [ λ ε [ σ ] F ( u ε [ W , ρ ] ) F ( u κ ) ] ϕ ε κ [ ψ ] ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] if ε 0 and

Φ 0 [ W , ρ ] Φ 0 [ ρ ] 1 2 F ( u κ ) ( ρ ϕ κ ) 2 F ( u κ ) δ U j κ + F ( U j 1 κ ) δ U j 1 κ , Ψ 0 [ W , ψ , ρ , σ ] Ψ 0 [ ρ , σ ] F ( u κ ) ρ ( ϕ κ ) 2 σ F ( u κ ) ϕ κ ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] . Here,

(4.6) u ε [ W , ρ ] w ε [ W , ρ ] + U j κ ε 2 .

Thanks to (U1) and (4.5), all of the functions given in (4.6) are positive. Then the following proposition is equivalent to Proposition 4.1. We recall that λ κ = 1 (Lemma 2.4 (ii)).

Proposition 4.2

Let μ + and 1 < p < p J L . Assume conditions (A1) and (A2). Let T κ be as in Lemma 2.7. Then there exist r > 1 and ε > 0 such that the following holds: for any ε I , there exists a quartet

( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ]

with the following properties:

  1. ( I T κ ) W = G Φ ε [ W , ρ ] ;

  2. R N Φ ε [ W , ρ ] ϕ κ d x = 0 ;

  3. ( I T κ ) ψ = G Ψ ε [ W , ψ , ρ , σ ] ;

  4. R N Ψ ε [ W , ψ , ρ , σ ] ϕ κ d x = 0 .

Proof of equivalence of Propositions 4.1 and 4.2

Let r > 1 . We can assume, without loss of generality, that ε < ε r . Assume that a quartet ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] satisfies properties (i) and (ii) of Proposition 4.1. Since

(4.7) w κ = G [ F ( w κ + U j κ ) F ( U j 1 κ ) ] = G [ F ( u κ ) F ( U j 1 κ ) ] , ϕ κ = G [ F ( u κ ) ϕ κ ] ,

we deduce from (4.1) and (4.6) that

(4.8) ε 2 W = G [ F ( u ε [ W , ρ ] ) F ( U j 1 κ ε 2 ) ] w κ ε ρ ϕ κ = G [ F ( u ε [ W , ρ ] ) F ( U j 1 κ ε 2 ) ε F ( u κ ) ρ ϕ κ F ( u κ ) + F ( U j 1 κ ) ] = ε 2 G [ Φ ε [ W , ρ ] + F ( u κ ) W ] = ε 2 G Φ ε [ W , ρ ] + ε 2 T κ W ,

which implies Proposition 4.2 (i). Furthermore, Proposition 4.2 (i) together with Lemma 2.7 yields W Λ κ . Then, by (4.7), we have

0 = R N F ( u κ ) ϕ κ ( G Φ ε [ W , ρ ] ) d x = R N ( G [ F ( u κ ) ϕ κ ] ) Φ ε [ W , ρ ] d x = R N Φ ε [ W , ρ ] ϕ κ d x ,

which implies Proposition 4.2 (ii). Similarly, by (4.2), we see that

(4.9) ϕ κ + ε ψ = λ ε [ σ ] G [ F ( u ε [ W , ρ ] ) ϕ ε κ [ ψ ] ] = ε G Ψ ε [ W , ψ , ρ , σ ] + G [ F ( u κ ) ( ϕ κ + ε ψ ) ] = ε G Ψ ε [ W , ψ , ρ , σ ] + ϕ κ + ε T κ ψ ,

and obtain Proposition 4.2 (iii).

Furthermore,

0 = R N F ( u κ ) ϕ κ ( G Ψ ε [ W , ψ , ρ , σ ] ) d x = R N ( G [ F ( u κ ) ϕ κ ] ) Ψ ε [ W , ψ , ρ , σ ] d x = R N Ψ ε [ W , ψ , ρ , σ ] ϕ κ d x .

Thus, Proposition 4.2 (iv) holds. Therefore, the quartet ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] satisfies Proposition 4.2 (i)–(iv).

Conversely, assume that a quartet ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] satisfies Proposition 4.2 (i)–(iv). We remark that property (ii) (resp. property (iv)) is a necessary condition for the existence of ( W , ψ , ρ , σ ) satisfying property (i) (resp. property (ii)) (Lemma 2.7). Then, by (4.8) and (4.9), we see that the quartet ( W , ψ , ρ , σ ) satisfies properties (i) and (ii) of Proposition 4.1. Thus, Proposition 4.2 is an equivalent proposition of Proposition 4.1.□

For the proof of Theorem 1.2, we focus on proving Proposition 4.2.

5 Proof of Proposition 4.2

In this section, we prove Proposition 4.2 by using the contraction mapping theorem. Let r > 1 and ε I r = [ ε r , ε r ] , where ε r is as in (4.4). In what follows, we write

u u κ , w w κ , ϕ ϕ κ ,

for simplicity. Then

u = w + U j κ = w + U j 1 κ + V j κ ,

(5.1) R N F ( u ) ϕ 2 d x = 1 ,

(5.2) ϕ = G [ F ( u ) ϕ ] .

See Lemmas 2.3 and 2.4. In this section, we use the following notation.

Φ ε [ W , ρ ] 1 ε 2 [ F ( u ε [ W , ρ ] ) F ( U j 1 κ ε 2 ) ε F ( u ) ( ρ ϕ + ε W ) F ( u ) + F ( U j 1 κ ) ] if ε 0 , Φ 0 [ W , ρ ] Φ 0 [ ρ ] 1 2 F ( u ) ( ρ ϕ ) 2 F ( u ) δ U j κ + F ( U j 1 κ ) δ U j 1 κ , Φ ε [ W , ρ ] Φ ε [ W , ρ ] Φ 0 [ ρ ] , Ψ ε [ W , ψ , ρ , σ ] 1 ε [ λ ε [ σ ] F ( u ε [ W , ρ ] ) F ( u ) ] ϕ ε [ ψ ] if ε 0 , Ψ 0 [ W , ψ , ρ , σ ] Ψ 0 [ ρ , σ ] F ( u ) ρ ϕ 2 σ F ( u ) ϕ , Ψ ε [ W , ϕ , ρ , σ ] Ψ ε [ W , ψ , ρ , σ ] Ψ 0 [ ρ , σ ] ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] and ε I r , where

w ε [ W , ρ ] w + ε ρ ϕ + ε 2 W , u ε [ W , ρ ] w ε [ W , ρ ] + U j κ ε 2 , ϕ ε [ ψ ] ϕ + ε ψ , λ ε [ σ ] 1 ε σ .

Some of them have already been given in the previous sections. In addition, we also use the following notation in this section.

w ε [ W , ρ ] ( t ) w + t ε ( ρ ϕ + ε W ) , u ε [ W , ρ ] ( t ) w ε [ W , ρ ] ( t ) + U j κ t ε 2 = w + t ε ( ρ ϕ + ε W ) + U j κ t ε 2 , u ε [ W , ρ ] ( s , t ) s [ w ε [ W , ρ ] ( t ) + V j κ t ε 2 ] + U j 1 κ t ε 2 ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] and t , s [ 0 , 1 ] . Then

(5.3) w ε [ W , ρ ] ( 1 ) = w ε [ W , ρ ] , w ε [ W , ρ ] ( 0 ) = w , u ε [ W , ρ ] ( 1 , t ) = u ε [ W , ρ ] ( t ) , u ε [ W , ρ ] ( 1 , 1 ) = u ε [ W , ρ ] ( 1 ) = u ε [ W , ρ ] , u ε [ W , ρ ] ( 1 , 0 ) = u ε [ W , ρ ] ( 0 ) = u , u ε [ W , ρ ] ( 0 , 1 ) = U j 1 κ ε 2 , u ε [ W , ρ ] ( 0 , 0 ) = U j 1 κ .

Furthermore,

(5.4) t u ε [ W , ρ ] ( s , t ) = s [ ε ρ ϕ + ε 2 W ε 2 δ V j κ t ε 2 ] ε 2 δ U j 1 κ t ε 2 , s u ε [ W , ρ ] ( s , t ) = w ε [ W , ρ ] ( t ) + V j κ t ε 2 , t u ε [ W , ρ ] ( t ) = ε ρ ϕ + ε 2 W ε 2 δ U j κ t ε 2 , ε u ε [ W , ρ ] ( t ) = t ρ ϕ + 2 t ε W 2 t ε δ U j κ t ε 2 .

In the proof of Proposition 4.2, we often use the following properties.

Lemma 5.1

Assume the same conditions as in Theorem 1.2. Let r > 1 and ε I r .

  1. There exists C 1 > 0 such that

    C 1 1 g ( x ) 1 2 w ( x ) w ( x ) + t ε ( ρ ϕ ( x ) + ε W ( x ) ) w ε [ W , ρ ] ( t ) C 1 g ( x )

    for all ( W , ρ ) r × [ 0 , r ] , t [ 0 , 1 ] , and a.a. x R N .

  2. There exists C 2 > 0 such that

    C 2 1 g ( x ) U j κ t ε 2 u ε [ W , ρ ] ( t ) C 2 u ( x ) , 0 δ U j κ t ε 2 C 2 u ,

    for all ( W , ρ ) r × [ 0 , r ] , { 0 , 1 , 2 } , t [ 0 , 1 ] , and a.a. x R N .

  3. Let f be a measurable function in R N such that

    0 f ( x ) u ( x ) for a.a.  x R N .

    Then there exists C 3 > 0 such that

    F ( f ( x ) ) g ( x ) + F ( f ( x ) ) f ( x ) g ( x ) + F ( f ( x ) ) f ( x ) 2 g ( x ) C 3 F ( u ( x ) ) g ( x )

    for a.a. x R N . In particular, if

    C 4 g ( x ) f ( x ) u ( x ) for a.a.  x R N

    for some C 4 > 0 , then there exists C 5 > 0 such that

    F ( f ( x ) ) g ( x ) 2 + F ( f ( x ) ) g ( x ) 3 C 5 F ( u ( x ) ) g ( x )

    for a.a. x R N .

Proof

By (U1), (4.3), (4.5), and Lemma 2.2, we have assertion (i). By Lemmas 2.2 and 3.1, (U1), and (4.5), we obtain assertion (ii). Furthermore, it follows that

F ( f ( x ) ) g ( x ) + F ( f ( x ) ) f ( x ) g ( x ) + F ( f ( x ) ) f ( x ) 2 g ( x ) C F ( f ( x ) ) g ( x ) C F ( u ( x ) ) g ( x )

for a.a. x R N . This implies assertion (iii). Thus, Lemma 5.1 follows.□

As a corollary of Lemma 5.1, we have:

Lemma 5.2

Assume the same conditions as in Theorem 1.2. Let r > 1 and ε I r . Then

(5.5) t F ( u ε [ W , ρ ] ( s , t ) ) g + t F ( u ε [ W , ρ ] ( s , t ) ) ( U j κ t ε 2 ) g C ε F ( u ) g ,

(5.6) s F ( u ε [ W , ρ ] ( s , t ) ) ( U j κ t ε 2 ) C F ( u ) g ,

(5.7) 2 t 2 F ( u ε [ W , ρ ] ( s , t ) ) g C ε 2 F ( u ) g ,

(5.8) 2 s t F ( u ε [ W , ρ ] ( s , t ) ) C ε F ( u ) g ,

(5.9) 3 s t 2 F ( u ε [ W , ρ ] ( s , t ) ) C ε 2 F ( u ) g ,

for all ( W , ρ ) r × [ 0 , r ] and s , t [ 0 , 1 ] .

Proof

Let { 0 , 1 , 2 } . It follows from (5.4) that

(5.10) t F ( ) ( u ε [ W , ρ ] ( s , t ) ) = F ( + 1 ) ( u ε [ W , ρ ] ( s , t ) ) [ s ( ε ρ ϕ + ε 2 W ε 2 δ V j κ t ε 2 ) ε 2 δ U j 1 κ t ε 2 ] , s F ( ) ( u ε [ W , ρ ] ( s , t ) ) = F ( + 1 ) ( u ε [ W , ρ ] ( s , t ) ) [ w + t ε ( ρ ϕ + ε W ) + V j κ t ε 2 ] .

Then, by Lemma 5.1, we have

t F ( u ε [ W , ρ ] ( s , t ) ) g + t F ( u ε [ W , ρ ] ( s , t ) ) U j κ t ε 2 g C ε F ( u ε [ W , ρ ] ( s , t ) ) U j κ t ε 2 g + C ε F ( u ε [ W , ρ ] ( s , t ) ) ( U j κ t ε 2 ) 2 g C ε F ( u ) g .

Similarly, we have

s F ( u ε [ W , ρ ] ( s , t ) ) U j κ t ε 2 C F ( u ε [ W , ρ ] ( s , t ) ) U j κ t ε 2 g C F ( u ) g .

Thus, (5.5) and (5.6) follow. Furthermore, by (5.10), we apply (5.5) and (5.6) to obtain (5.7), (5.8), and (5.9). Thus, Lemma 5.2 follows.□

Now we are ready to start to prove Proposition 4.2. We first prove lemmas on estimates on Φ ε and Ψ ε .

Lemma 5.3

Assume the same conditions as in Theorem 1.2. Let r ( 1 , ) and ε I r . Then

G Φ ε [ W , ρ ] g B C ( R N ) , G Ψ ε [ W , ψ , ρ , σ ] g B C ( R N ) ,

for all ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] and ε I r .

Proof

Let ( W , ψ , ρ , σ ) r × r × [ 0 , r ] × [ 0 , r ] and ε I r . By (5.3), we apply the mean value theorem to find s 0 , t 0 ( 0 , 1 ) such that

Φ ε [ W , ρ ] = 1 ε 2 [ F ( u ε [ W , ρ ] ) F ( U j 1 κ ε 2 ) F ( u ) + F ( U j 1 κ ) ] 1 ε F ( u ) ( ρ ϕ + ε W ) = 1 ε 2 2 s t F ( u ε [ W , ρ ] ( s , t ) ) s = s 0 , t = t 0 1 ε F ( u ) ( ρ ϕ + ε W )

for ε 0 . This together with Lemmas 5.1 and 5.2 implies that

Φ ε [ W , ρ ] C ε 1 F ( u ) g

for ε 0 . Similarly, we see that

Φ 0 [ W , ρ ] = 1 2 F ( u ) ( ρ ϕ ) 2 F ( u ) δ V j κ [ F ( u ) F ( U j 1 κ ) ] δ U j 1 κ C F ( u ) g + F ( u ε [ W , ρ ] ( 1 , 0 ) ) F ( u ε [ W , ρ ] ( 0 , 0 ) ) δ U j 1 κ C F ( u ) g .

Then we deduce from Lemmas 2.1 and 2.2 that G Φ ε [ W , ρ ] g B C ( R N ) .

Similarly, by the mean value theorem and Lemma 5.2 we have

Ψ ε [ W , ψ , ρ , σ ] = 1 ε [ F ( u ε [ W , ρ ] ) F ( u ) ] ϕ ε [ ψ ] σ F ( u ε [ W , ρ ] ) ϕ ε [ ψ ] = 1 ε [ F ( u ε [ W , ρ ] ( 1 ) ) F ( u ε [ W , ρ ] ( 0 ) ) ] ϕ ε [ ψ ] + O ( F ( u ) g ) = O ( F ( u ) g )

for ε 0 . Similarly, we have

Ψ 0 [ W , ψ , ρ , σ ] C F ( u ) g .

By Lemmas 2.1 and 2.2, we see that G Ψ ε [ W , ψ , ρ , σ ] g B C ( R N ) . Thus, Lemma 5.3 follows.□

Lemma 5.4

Assume the same conditions as in Theorem 1.2. Then

lim ε 0 G Φ ε [ 0 , 0 ] = lim ε 0 G Ψ ε [ 0 , 0 , 0 , 0 ] = 0 .

Proof

Let ε 0 . By the Taylor theorem, (5.3), and (5.10), we find t 0 , s 0 ( 0 , 1 ) such that

Φ ε [ 0 , 0 ] = 1 ε 2 [ F ( u ε [ 0 , 0 ] ) F ( u ) + ε 2 F ( u ) δ U j κ F ( U j 1 κ ε 2 ) + F ( U j 1 κ ) ε 2 F ( U j 1 κ ) δ U j 1 κ ] = 1 ε 2 F ( u ε [ 0 , 0 ] ( 1 , 1 ) ) F ( u ε [ 0 , 0 ] ( 1 , 0 ) ) t F ( u ε [ 0 , 0 ] ( 1 , t ) ) t = 0 F ( u ε [ 0 , 0 ] ( 0 , 1 ) ) + F ( u ε [ 0 , 0 ] ( 0 , 0 ) ) + t F ( u ε [ 0 , 0 ] ( 0 , t ) ) t = 0 = 1 ε 2 [ F ( u ε [ 0 , 0 ] ( 1 , 1 ) ) F ( u ε [ 0 , 0 ] ( 0 , 1 ) ) ] 1 ε 2 [ F ( u ε [ 0 , 0 ] ( 1 , 0 ) ) F ( u ε [ 0 , 0 ] ( 0 , 0 ) ) ] 1 ε 2 t [ F ( u ε [ 0 , 0 ] ( 1 , t ) ) F ( u ε [ 0 , 0 ] ( 0 , t ) ) ] t = 0 = 1 ε 2 2 t 2 [ F ( u ε [ 0 , 0 ] ( 1 , t ) ) F ( u ε [ 0 , 0 ] ( 0 , t ) ) ] t = t 0 = 1 ε 2 3 s t 2 F ( u ε [ 0 , 0 ] ( s , t ) ) t = t 0 , s = s 0 .

Since

t u ε [ 0 , 0 ] ( s , t ) = s ε 2 δ V j κ t ε 2 ε 2 δ U j 1 κ t ε 2 ,

by Lemma 5.2 with W = 0 and ρ = 0 , we have

Φ ε [ 0 , 0 ] C ε 2 F ( u ) g .

This together with Lemma 2.1 implies that G Φ ε [ 0 , 0 ] C ε 2 , so that

lim ε 0 G Φ ε [ 0 , 0 ] = 0 .

Similarly, by the mean value theorem and Lemma 5.2, we have

Ψ ε [ 0 , 0 , 0 , 0 ] = 1 ε F ( u ε [ 0 , 0 ] ( 1 ) ) F ( u ε [ 0 , 0 ] ( 0 ) ) ϕ C ε F ( u ) g .

This together with Lemma 2.1 implies that G Ψ ε [ 0 , 0 , 0 , 0 ] C ε . Then we deduce that

lim ε 0 G Ψ ε [ 0 , 0 , 0 , 0 ] = 0 .

Thus, Lemma 5.4 follows.□

Lemma 5.5

Assume the same conditions as in Theorem 1.2. Let r ( 1 , ) . Then there exists C > 0 such that

G Φ ε 0 [ W 0 , ρ 0 ] G Φ ε 1 [ W 1 , ρ 1 ] C [ ε 1 ε 0 + max { ε 0 , ε 1 } ( W 0 W 1 + ρ 0 ρ 1 ) ]

for all ( W 0 , ρ 0 ) , ( W 1 , ρ 1 ) r × [ 0 , r ] and ε 0 , ε 1 I r .

Furthermore,

lim ε 0 G Φ ε [ W , ρ ] = lim ε 0 G Φ ε [ W , ρ ] G Φ 0 [ W , ρ ] = 0

for all ( W , ρ ) g B C ( R N ) × [ 0 , ) .

Proof

Let r > 1 and W 0 , W 1 r . Set

P ( θ , ρ , ε ) Φ ε [ W θ , ρ ] with W θ = ( 1 θ ) W 0 + θ W 1

for all θ [ 0 , 1 ] , ρ [ 0 , r ] , and ε I r with ε 0 . It follows that

P ( θ , ρ , ε ) = 1 ε 2 F ( u ε [ W θ , ρ ] ) F ( u ) F ( u ) [ ε ρ ϕ + ε 2 W θ ε 2 δ U j κ ] ε 2 2 F ( u ) ( ρ ϕ ) 2 F ( U j 1 κ ε 2 ) + F ( U j 1 κ ) ε 2 F ( U j 1 κ ) δ U j 1 κ .

Step 1. We obtain an estimate of θ P ( θ , ρ , ε ) and ρ P ( θ , ρ , ε ) . Since u ε [ W , ρ ] ( 1 , t ) = u ε [ W , ρ ] ( t ) (5.3), by the mean value theorem and Lemma 5.2, we have

(5.11) θ P ( θ , ρ , ε ) = F ( u ε [ W θ , ρ ] ( 1 ) ) ( W 1 W 0 ) F ( u ε [ W θ , ρ ] ( 0 ) ) ( W 1 W 0 ) ε W 1 W 0 O ( F ( u ) g ) .

On the other hand, since

t F ( u ε [ W , ρ ] ( t ) ) = F ( u ε [ W , ρ ] ( t ) ) [ ε 2 δ U j 1 κ t ε 2 + ε ρ ϕ + ε 2 W ε 2 δ V j κ t ε 2 ]

(5.4), by the Taylor theorem, we find t 0 ( 0 , 1 ) such that

ρ P ( θ , ρ , ε ) = 1 ε [ F ( u ε [ W θ , ρ ] ) F ( u ) ε F ( u ) ρ ϕ ] ϕ = 1 ε F ( u ε [ W θ , ρ ] ( 1 ) ) F ( u ε [ W θ , ρ ] ( 0 ) ) t F ( u ε [ W θ , ρ ] ( t ) ) t = 0 ϕ + 1 ε t F ( u ε [ W θ , ρ ] ( t ) ) t = 0 ε F ( u ε [ W θ , ρ ] ( 0 ) ) ρ ϕ ϕ = 1 2 ε 2 t 2 F ( u ε [ W θ , ρ ] ( t ) ) t = t 0 ϕ 1 ε F ( u ) [ ε 2 δ U j 1 κ ε 2 W θ + ε 2 δ V j κ ] ϕ .

Then, by Lemmas 5.1 and 5.2, we have

(5.12) ρ P ( θ , ρ , ε ) C ε F ( u ) g .

Step 2. We obtain an estimate of ε P ( θ , ρ , ε ) . It follows from (5.4) that

ε P ( θ , ρ , ε ) = 2 ε 3 F ( u ε [ W θ , ρ ] ) + ε 2 F ( u ε [ W θ , ρ ] ) [ ρ ϕ + 2 ε W θ 2 ε δ U j κ ε 2 ] + 2 ε 3 F ( u ) + ε 2 F ( u ) ρ ϕ + 2 ε 3 [ F ( U j 1 κ ε 2 ) F ( U j 1 κ ) ] + 2 ε 1 F ( U j 1 κ ε 2 ) δ U j 1 κ ε 2 = 2 ε 3 ( I ( 1 ) I ( 0 ) ) + ε 2 F ( u ε [ W θ , ρ ] ) [ ρ ϕ + 2 ε W θ 2 ε δ U j κ ε 2 ] + ε 2 F ( u ) ρ ϕ + 2 ε 1 F ( U j 1 κ ε 2 ) δ U j 1 κ ε 2 ,

where

I ( t ) F ( u ε [ W θ , ρ ] ( t ) ) F ( U j 1 κ t ε 2 ) , t [ 0 , 1 ] .

Since

I ( t ) = F ( u ε [ W θ , ρ ] ( t ) ) ( ε ρ ϕ + ε 2 W θ ε 2 δ U j κ t ε 2 ) + ε 2 F ( U j 1 κ t ε 2 ) δ U j 1 κ t ε 2 ,

by Lemmas 5.1 and 5.2, we apply the mean value theorem to obtain

I ( t ) = F ( u ε [ W θ , ρ ] ( t ) ) ( ε ρ ϕ + ε 2 W θ ε 2 δ U j κ t ε 2 ) 2 ε 4 F ( U j 1 κ t ε 2 ) ( δ U j 1 κ t ε 2 ) 2 + ε 4 F ( u ε [ W θ , ρ ] ( t ) ) δ 2 U j κ t ε 2 ε 4 F ( U j 1 κ t ε 2 ) δ 2 U j 1 κ t ε 2 = ε 2 F ( u ε [ W θ , ρ ] ( t ) ) ρ 2 ϕ 2 + ε 4 [ F ( u ε [ W θ , ρ ] ( s , t ) ) ] s = 0 s = 1 ( δ U j κ t ε 2 ) 2 + ε 4 [ F ( u ε [ W θ , ρ ] ( s , t ) ) ] s = 0 s = 1 δ 2 U j κ t ε 2 + ε 3 O ( F ( u ) g ) = ε 2 F ( u ε [ W θ , ρ ] ( t ) ) ρ 2 ϕ 2 + ε 4 F ( u ε [ W θ , ρ ] ( τ , t ) ) ( δ U j κ t ε 2 ) 2 w ε [ W θ , ρ ] ( t ) + ε 4 F ( u ε [ W θ , ρ ] ( τ , t ) ) δ 2 U j κ t ε 2 w ε [ W θ , ρ ] ( t ) + ε 3 O ( F ( u ) g ) = ε 2 F ( u ε [ W θ , ρ ] ( t ) ) ρ 2 ϕ 2 + ε 3 O ( F ( u ) g ) ,

where τ ( 0 , 1 ) . Since I ( 1 ) I ( 0 ) = I ( 0 ) + I ( t 1 ) 2 for some t 1 ( 0 , 1 ) , we have

ε P ( θ , ρ , ε ) = 2 ε 3 [ F ( u ) ( ε ρ ϕ + ε 2 W θ ε 2 δ U j κ ) + ε 2 F ( U j 1 κ ) δ U j 1 κ ] ε 3 I ( t 1 ) + ε 2 F ( u ε [ W θ , ρ ] ) [ ρ ϕ + 2 ε W θ 2 ε δ U j κ ε 2 ] + ε 2 F ( u ) ρ ϕ + 2 ε 1 F ( U j 1 κ ε 2 ) δ U j 1 κ ε 2 = J 1 + J 2 ε 1 F ( u ε [ W θ , ρ ] ( t 1 ) ) ρ 2 ϕ 2 + O ( F ( u ) g ) ,

where

J 1 ε 2 [ F ( u ε [ W θ , ρ ] ) F ( u ) ] ( ρ ϕ + 2 ε W θ ) = ε 2 [ F ( u ε [ W θ , ρ ] ( 1 ) ) F ( u ε [ W θ , ρ ] ( 0 ) ) ] ( ρ ϕ + 2 ε W θ ) , J 2 2 ε 1 [ F ( u ) δ U j κ F ( U j 1 κ ) δ U j 1 κ + F ( U j 1 κ ε 2 ) δ U j 1 κ ε 2 F ( u ε [ W θ , ρ ] ) δ U j κ ε 2 ] .

By applying the mean value theorem, we observe from Lemmas 3.1 and 5.1 that

J 1 = ε 2 F ( u ε [ W θ , ρ ] ( t 2 ) ) [ ε ρ ϕ + ε 2 W θ ε 2 δ U j κ t 2 ε 2 ] ( ρ ϕ + 2 ε W θ ) = ε 1 F ( u ε [ W θ , ρ ] ( t 2 ) ) ρ 2 ϕ 2 + O ( F ( u ) g )

for some t 2 ( 0 , 1 ) . On the other hand,

ε 2 J 2 = F ( u ) δ U j κ F ( U j 1 κ ) ( δ U j κ δ V j κ ) + F ( U j 1 κ ε 2 ) ( δ U j κ ε 2 δ V j κ ε 2 ) F ( u ε [ W θ , ρ ] ) δ U j κ ε 2 = [ F ( u ) F ( U j 1 κ ) ] δ U j κ + F ( U j 1 κ ) δ V j κ F ( U j 1 κ ε 2 ) δ V j κ ε 2 [ F ( u ε [ W θ , ρ ] ) F ( U j 1 κ ε 2 ) ] δ U j κ ε 2 = [ F ( u ε [ W θ , ρ ] ) F ( U j 1 κ ε 2 ) ] ( δ U j κ ε 2 δ U j κ ) [ F ( u ε [ W θ , ρ ] ) F ( U j 1 κ ε 2 ) F ( u ) + F ( U j 1 κ ) ] δ U j κ + [ F ( U j 1 κ ) F ( U j 1 κ ε 2 ) ] δ V j κ F ( U j 1 κ ε ) [ δ V j κ ε 2 δ V j κ ] .

By the mean value theorem and Lemma 5.2, we find s , t ( 0 , 1 ) such that

F ( u ε [ W θ , ρ ] ) F ( U j 1 κ ε 2 ) F ( u ) + F ( U j 1 κ ) = F ( u ε [ W θ , ρ ] ( 1 , 1 ) ) F ( u ε [ W θ , ρ ] ( 0 , 1 ) ) F ( u ε [ W θ , ρ ] ( 1 , 0 ) ) + F ( u ε [ W θ , ρ ] ( 0 , 0 ) ) = [ F ( u ε [ W θ , ρ ] ( s , 1 ) ) F ( u ε [ W θ , ρ ] ( s , 0 ) ) ] s = 0 s = 1 = 2 s t F ( u ε [ W θ , ρ ] ( s , t ) ) s = s , t = t = ε O ( F ( u ) g ) .

Similarly, we see that J 2 = O ( F ( u ) g ) . Therefore, we obtain

ε P ( θ , ρ , ε ) = ε 1 [ F ( u ε [ W θ , ρ ] ( t 2 ) ) F ( u ε [ W θ , ρ ] ( t 1 ) ) ] ρ 2 ϕ 2 + O ( F ( u ) g ) ,

which together with Lemmas 3.1 and 5.1 and the mean value theorem implies that

(5.13) ε P ( θ , ρ , ε ) = O ( F ( u ) g )

for all ε I r with ε 0 .

By combining (5.11), (5.12), and (5.13), we observe from Lemma 2.1 that

(5.14) G Φ ε 0 [ W 0 , ρ 0 ] G Φ ε 1 [ W 1 , ρ 1 ] C [ ε 0 ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ρ 0 ρ 1 ) ]

for all ( W 0 , ρ 0 ) , ( W 1 , ρ 1 ) r × [ 0 , r ] and ε 0 , ε 1 I r with ε 0 ε 1 > 0 . We observe from Lemma 5.4 and (5.14) that

G Φ ε 0 [ W 0 , ρ 0 ] = lim ε 1 0 G Φ ε 0 [ W 0 , ρ 0 ] G Φ ε 1 [ 0 , 0 ] C ε 0 ( 1 + W 0 + ρ 0 )

for all ( W 0 , ρ 0 ) r × [ 0 , r ] and ε 0 I r with ε 0 0 . This yields

(5.15) lim ε 0 G Φ ε [ W , ρ ] = 0 = G Φ 0 [ W , ρ ]

for all ( W , ρ ) r × [ 0 , r ] . Then, by (5.14) and (5.15), we have

G Φ ε 0 [ W 0 , ρ 0 ] G Φ 0 [ W 1 , ρ 1 ] C [ ε 0 ( 1 + W 0 W 1 + ρ 0 ρ 1 ) ]

for all ( W 0 , ρ 0 ) , ( W 1 , ρ 1 ) r × [ 0 , r ] , and ε 0 I r .

Furthermore,

G Φ ε 0 [ W 0 , ρ 0 ] G Φ ε 1 [ W 1 , ρ 1 ] G Φ ε 0 [ W 0 , ρ 0 ] G Φ 0 [ W 1 , ρ 1 ] + G Φ 0 [ W 0 , ρ 0 ] G Φ ε 1 [ W 1 , ρ 1 ] C [ ε 0 + ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ρ 0 ρ 1 ) ] C [ ε 0 ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ρ 0 ρ 1 ) ]

for all ( W 0 , ρ 0 ) , ( W 1 , ρ 1 ) r × [ 0 , r ] and ε 0 , ε 1 I r with ε 0 ε 1 < 0 . Therefore, we see that that inequality (5.14) holds for all ( W 0 , ρ 0 ) , ( W 1 , ρ 1 ) r × [ 0 , r ] and ε 0 , ε 1 I r . Furthermore, since r is arbitrary, we obtain (5.15) for all ( W , ρ ) g B C ( R N ) × [ 0 , ) . Thus, Lemma 5.5 follows.□

Lemma 5.6

Assume the same conditions as in Theorem 1.2. Let r ( 1 , ) . Then there exists C > 0 such that

G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ ε 1 [ W 1 , ψ 1 , ρ 1 , σ 1 ] C [ ε 0 ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 σ 1 ) ]

for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) , ( W 1 , ψ 1 , ρ 1 , σ 1 ) r × r × [ 0 , r ] × [ 0 , r ] and ε 0 , ε 1 I r .

Furthermore,

lim ε 0 G Ψ ε [ W , ψ , ρ , σ ] = lim ε 0 G Ψ ε [ W , ψ , ρ , σ ] G Ψ 0 [ W , ψ , ρ , σ ] = 0

for all ( W , ψ , ρ , σ ) g B C ( R N ) × g B C ( R N ) × [ 0 , ) × [ 0 , ) .

Proof

Let r > 0 and W 0 , W 1 , ψ 0 , ψ 1 r . Set

Q ( θ , η , ρ , σ , ε ) Ψ ε [ W θ , ψ η , ρ , σ ] = 1 ε [ ( 1 ε σ ) F ( u ε [ W θ , ρ ] ) F ( u ) ] ( ϕ + ε ψ η ) + σ F ( u ) ϕ F ( u ) ρ ϕ 2 ,

for all θ , η [ 0 , 1 ] , ρ , σ [ 0 , r ] , and ε I r with ε 0 , where

W θ = ( 1 θ ) W 0 + θ W 1 , ψ η ( 1 η ) ψ 0 + η ψ 1 .

It follows from Lemma 5.1 that

(5.16) θ Q ( θ , η , ρ , σ , ε ) ε 1 F ( u ε [ W θ , ρ ] ) ε 2 W 1 W 0 ϕ + ε ψ η C ε W 0 W 1 F ( u ) g .

Furthermore, by Lemmas 3.1 and 5.1, we apply the mean value theorem to obtain

(5.17) η Q ( θ , η , ρ , σ , ε ) ( 1 ε σ ) F ( u ε [ W θ , ρ ] ) F ( u ) ψ 0 ψ 1 F ( u ε [ W θ , ρ ] ( 1 ) ) F ( u ε [ W θ , ρ ] ( 0 ) ) ψ 0 ψ 1 + C ε F ( u ) ψ 0 ψ 1 F ( u ε [ W θ , ρ ] ( t ) ) ε ρ ϕ + ε 2 W θ ε 2 δ U j κ t ε 2 ψ 0 ψ 1 g C ε ψ 0 ψ 1 F ( u ) g ,

where t ( 0 , 1 ) . Similarly, we have

(5.18) ρ Q ( θ , η , ρ , σ , ε ) = ( 1 ε σ ) F ( u ε [ W θ , ρ ] ) ϕ ( ϕ + ε ψ η ) F ( u ) ϕ 2 = [ F ( u ε [ W θ , ρ ] ) F ( u ) ] ϕ 2 + ε O ( F ( u ) g ) = ε O ( F ( u ) g ) , σ Q ( θ , η , ρ , σ , ε ) = F ( u ε [ W θ , ρ ] ) ( ϕ + ε ψ η ) + F ( u ) ϕ = [ F ( u ) F ( u ε [ W θ , ρ ] ) ] ϕ + ε O ( F ( u ) g ) = ε O ( F ( u ) g ) .

Furthermore,

(5.19) ε Q ( θ , η , ρ , σ , ε ) = ε 2 [ F ( u ε [ W θ , ρ ] ) F ( u ) ] ( ϕ + ε ψ η ) + 1 ε σ ε F ( u ε [ W θ , ρ ] ) × [ ρ ϕ + 2 ε W θ 2 ε δ U j κ ε 2 ] ( ϕ + ε ψ η ) + 1 ε [ ( 1 ε σ ) F ( u ε [ W θ , ρ ] ) F ( u ) ] ψ η = ε 1 F ( u ε κ [ W θ , ρ ] ( t ˜ ) ) [ ρ ϕ + ε W θ ε δ U j κ t ˜ ε 2 ] ( ϕ + ε ψ η ) + ε 1 F ( u ε [ W θ , ρ ] ) ρ ϕ 2 + O ( F ( u ) g ) = ε 1 [ F ( u ε [ W θ , ρ ] ) F ( u ε κ [ W θ , ρ ] ( t ˜ ) ) ] ρ ϕ 2 + O ( F ( u ) g ) = O ( F ( u ) g ) ,

where t ˜ ( 0 , 1 ) . By combining (5.16), (5.17), (5.18), and (5.19), we obtain

Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] Ψ ε 1 [ W 1 , ψ 1 , ρ 1 , σ 1 ] C [ max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 σ 1 ) + ε 0 ε 1 ] F ( u ) g .

This together with Lemma 2.1 implies that

(5.20) G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ ε 1 [ W 1 , ψ 1 , ρ 1 , σ 1 ] C [ ε 0 ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 σ 1 ) ] ,

for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) , ( W 1 , ψ 1 , ρ 1 , σ 1 ) r × r × [ 0 , r ] × [ 0 , r ] , and ε 0 , ε 1 I r with ε 0 ε 1 > 0 . We observe from Lemma 5.5 and (5.20) that

G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] = lim ε 1 0 G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ ε 1 [ 0 , 0 , 0 , 0 ] C ε 0 ( 1 + W 0 + ψ 0 + ρ 0 + σ 0 )

for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) r × r × [ 0 , r ] × [ 0 , r ] and ε 0 I r with ε 0 0 . This yields

(5.21) lim ε 0 G Ψ ε [ W , ψ , ρ , σ ] = 0 = G Ψ 0 [ W , ψ , ρ , σ ]

for all ( W , ψ , ρ , σ ) r 2 × [ 0 , r ] 2 . Then, by (5.20) and (5.21), we have

G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ 0 [ W 1 , ψ 1 , ρ 1 , σ 1 ] C [ ε 0 + max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 ) ]

for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) , ( W 1 , ψ 1 , ρ 1 , σ 1 ) r × r × [ 0 , r ] × [ 0 , r ] and ε 0 I r .

Furthermore,

G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ ε 1 [ W 1 , ψ 1 , ρ 1 , σ 1 ] G Ψ ε 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ 0 [ W 1 , ψ 1 , ρ 1 , σ 1 ] + G Ψ 0 [ W 0 , ψ 0 , ρ 0 , σ 0 ] G Ψ ε 1 [ W 1 , ψ 1 , ρ 1 , σ 1 ] C [ ε 0 + ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 σ 1 ) ] C [ ε 0 ε 1 + max { ε 0 , ε 1 } ( W 0 W 1 + ψ 0 ψ 1 + ρ 0 ρ 1 + σ 0 σ 1 ) ] .

for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) , ( W 1 , ψ 1 , ρ 1 , σ 1 ) r × r × [ 0 , r ] × [ 0 , r ] and ε 0 , ε 1 I r with ε 0 ε 1 0 . Then we see that inequality (5.20) holds for all ( W 0 , ψ 0 , ρ 0 , σ 0 ) , ( W 1 , ψ 1 , ρ 1 , σ 1 ) r 2 × [ 0 , r ] 2 and ε 0 , ε 1 I r . Furthermore, since r is arbitrary, we obtain (5.21) for all ( W , ψ , ρ , σ ) g B C ( R N ) 2 × [ 0 , ) 2 . Thus, Lemma 5.6 follows.□

Next we find a quartet ( W , ψ , ρ , σ ) satisfying properties (i)–(iv) of Proposition 4.2 with ε = 0 .

Lemma 5.7

Let J κ be as in Lemma 2.6. Set

W = J κ ( G Φ 0 [ ρ ] ) , ψ = J κ ( G Ψ 0 [ ρ , σ ] ) , ρ = 2 b a 1 2 , σ = ( 2 a b ) 1 2 ,

where

a R N F ( u ) ϕ 3 d x , b R N [ F ( u ) δ U j κ F ( U j 1 κ ) δ U j 1 κ ] ϕ d x .

Then the quartet ( W , ψ , ρ , σ ) g B C ( R N ) × g B C ( R N ) × ( 0 , ) × ( 0 , ) , and it satisfies

( I T κ ) W = G Φ 0 [ ρ ] , ( I T κ ) ψ = G Ψ 0 [ ρ , σ ] , R N Φ 0 [ ρ ] ϕ d x = 0 , R N Ψ 0 [ ρ , σ ] ϕ d x = 0 .

We remark that the monotonicity of F together with (3.3) implies that b > 0 .

Proof

It follows that

R N Φ 0 [ ρ ] ϕ d x = R N 1 2 F ( u ) ( ρ ϕ ) 2 F ( u ) δ U j κ + F ( U j 1 κ ) δ U j 1 κ ϕ d x = 1 2 a ρ 2 b = 0 .

Recalling that R N F ( u ) ϕ 2 d x = 1 (5.1), we apply a similar argument to obtain

R N Ψ 0 [ ρ , σ ] ϕ d x = R N [ F ( u ) ρ ϕ 2 σ F ( u ) ϕ ] ϕ d x = a ρ σ = 0 .

Then, by (5.2), we see that

0 = R N Φ 0 [ ρ ] ϕ d x = R N Φ 0 [ ρ ] ( G F ( u ) ϕ ) d x = R N ( G Φ 0 [ ρ ] ) F ( u ) ϕ d x , 0 = R N Ψ 0 [ ρ , σ ] ϕ d x = R N Ψ 0 [ ρ , σ ] ( G F ( u ) ϕ ) d x = R N ( G Ψ 0 [ ρ , σ ] ) F ( u ) ϕ d x .

These together with the definition of Λ κ (2.14) that G Φ 0 [ ρ ] , Ψ 0 [ ρ , σ ] Λ κ , so that J κ ( G Φ 0 [ ρ ] ) and J κ ( G Ψ 0 [ ρ , σ ] ) can be defined. Then we deduce from Lemma 2.7 that

( I T κ ) W = ( I T κ ) J κ ( G Φ 0 [ ρ ] ) = G Φ 0 [ ρ ] , ( I T κ ) ψ = ( I T κ ) J κ ( G Ψ 0 [ ρ , σ ] ) = G Ψ 0 [ ρ , σ ] .

Thus, Lemma 5.7 follows.□

We are in a position to prove Proposition 4.2.

Proof of Proposition 4.2

Let ( W , ψ , ρ , σ ) be as in Lemma 5.7. Set

(5.22) r 1 + max W , ψ , ρ , σ , 1 ρ , 1 σ .

Let ε > 0 be small enough such that ε < r .

Step 1. Let W r and ε I [ ε , ε ] . In this step, we find ρ ε [ W ] [ 0 , r ] such that

(5.23) R N Φ ε [ W , ρ ε [ W ] ] ϕ d x = 0 .

We define a function S ε [ W ] : [ ( r ) 2 , ( r ) 2 ] R by

S ε [ W ] ( ρ ) ρ 2 a R N Φ ε W , ρ 1 2 ϕ d x .

It follows from Lemma 5.7 that

R N Φ 0 [ ρ 1 2 ] ϕ d x = ρ 2 R N F ( u ) ( ϕ ) 3 d x R N [ F ( u ) δ U j κ F ( U j 1 κ ) δ U j 1 κ ] ϕ d x = ρ 2 a b = a 2 ( ρ ρ 2 ) ,

which together with (5.22) implies that

(5.24) S 0 [ W ] ( ρ ) = ρ ( ρ ρ 2 ) = ρ 2 ( ( r ) 2 , ( r ) 2 )

for all ρ [ ( r ) 2 , ( r ) 2 ] . Furthermore, by (5.2), we see that

S ε [ W ] ( ρ ) ρ 2 = 2 a R N Φ ε [ W , ρ 1 2 ] Φ 0 [ ρ ] ϕ d x = 2 a R N Φ ε [ W , ρ 1 2 ] ϕ d x = 2 a R N Φ ε [ W , ρ 1 2 ] ( G [ F ( u ) ϕ ] ) d x = 2 a R N G Φ ε [ W , ρ 1 2 ] F ( u ) ϕ d x .

Then, by Lemma 5.5, we have

(5.25) S ε 1 [ W ] ( ρ 1 ) S ε 2 [ W ] ( ρ 2 ) 2 a R N G Φ ε 1 [ W , ρ 1 1 2 ] G Φ ε 2 [ W , ρ 2 1 2 ] F ( u ) ϕ d x C G Φ ε 1 [ W , ρ 1 1 2 ] G Φ ε 2 [ W , ρ 2 1 2 ] R N F ( u ) ϕ g d x C max { ε 1 , ε 2 } ρ 1 1 2 ρ 2 1 2 + C ε 1 ε 2 C max { ε 1 , ε 2 } ρ 1 ρ 2 + C ε 1 ε 2

for ρ 1 , ρ 2 [ ( r ) 2 , ( r ) 2 ] and ε 1 , ε 2 I . Therefore, by (5.24) and (5.25), taking small enough ε > 0 if necessary, we have

S ε [ W ] ( ρ ) [ ( r ) 2 , ( r ) 2 ] , S ε [ W ] ( ρ ) S ε [ W ] ( ρ ) 1 2 ρ ρ ,

for all ρ , ρ [ ( r ) 2 , ( r ) 2 ] , and ε I . Applying the contraction mapping theorem, we find a unique fixed point ρ ˜ ε [ W ] [ ( r ) 2 , ( r ) 2 ] of S ε [ W ] for each W r and ε I . Then, setting

(5.26) ρ ε [ W ] = ρ ˜ ε [ W ] 1 2 [ ( r ) 1 , r ] ,

we see that (5.23) holds for all W r and ε I . In particular, by (5.24), we have

(5.27) ρ 0 [ W ] = ρ

for all W r and ε I . Similar to (5.25), we observe from Lemma 5.5 and (5.26) that

ρ ε 1 [ W 1 ] ρ ε 2 [ W 2 ] = ρ ε 1 [ W 1 ] 2 ρ ε 2 [ W 2 ] 2 ρ ε 1 [ W 1 ] + ρ ε 2 [ W 2 ] 1 2 r ρ ε 1 [ W 1 ] 2 ρ ε 2 [ W 2 ] 2 = 1 2 r S ε 1 [ W 1 ] ( ρ ε 1 [ W 1 ] 2 ) S ε 2 [ W 2 ] ( ρ ε 2 [ W 2 ] 2 ) C R N ( G Φ ε 1 [ W 1 , ρ ε 1 [ W 1 ] ] G Φ ε 2 [ W 2 , ρ ε 2 [ W 2 ] ] ) F ( u ) ϕ d x C G Φ ε 1 [ W 1 , ρ ε 1 [ W 1 ] ] G Φ ε 2 [ W 2 , ρ ε 2 [ W 2 ] ] C max { ε 1 , ε 2 } [ W 1 W 2 + ρ ε 1 [ W 1 ] ρ ε 2 [ W 2 ] ] + C ε 1 ε 2

for all W 1 , W 2 r and ε 1 , ε 2 I . Taking small enough ε > 0 if necessary, we see that

(5.28) ρ ε 1 [ W 1 ] ρ ε 2 [ W 2 ] C max { ε 1 , ε 2 } W 1 W 2 + C ε 1 ε 2

for all W 1 , W 2 r and ε 1 , ε 2 I . This together with (5.27) implies that

(5.29) ρ ε [ W ] ρ C ε

for all W r and ε I .

Step 2. In this step, for any ε I , we find W ε r such that

(5.30) ( I T κ ) W ε = G Φ ε [ W ε , ρ ε [ W ε ] ] .

It follows from (5.2) and (5.23) that

R N ( G Φ ε [ W , ρ ε [ W ] ] ) F ( u ) ϕ d x = R N Φ ε [ W , ρ ε [ W ] ] ( G [ F ( u ) ϕ ] ) d x = R N Φ ε [ W , ρ ε [ W ] ] ϕ d x = 0 ,

which implies that

G Φ ε [ W , ρ ε [ W ] ] Λ κ

for all W r and ε I . By Lemma 2.7, we define a mapping H ε : r Λ κ by

(5.31) H ε ( W ) J κ ( G Φ ε [ W , ρ ε [ W ] ] ) .

By (5.31) and Lemma 5.7, we have

H ε ( W ) W = J κ ( G [ Φ ε [ W , ρ ε [ W ] ] Φ 0 [ ρ ] ] ) = J κ ( G [ Φ ε [ W , ρ ε [ W ] ] Φ 0 [ ρ ε [ W ] ] + Φ 0 [ ρ ε [ W ] ] Φ 0 [ ρ ] ] ) = J κ G Φ ε [ W , ρ ε [ W ] ] + 1 2 F ( u ) ϕ 2 ( ρ ε [ W ] 2 ρ 2 ) .

It follows from Lemmas 2.1 and 5.1 that

F ( u ) ϕ 2 C F ( u ) g < .

Then, by Lemma 2.7, Lemma 5.5, (5.22), (5.26), and (5.29), taking small enough ε > 0 if necessary, we have

(5.32) H ε ( W ) W + C G Φ ε [ W , ρ ε [ W ] ] + C ρ ε [ W ] ρ W + C ε < r

for all W r and ε I . Similarly, by Lemma 2.7, Lemma 5.5, (5.26), and (5.28), taking small enough ε > 0 again if necessary, we obtain

(5.33) H ε ( W 1 ) H ε ( W 2 ) C ε [ W 1 W 2 + ρ ε [ W 1 ] ρ ε [ W 2 ] ] + C ρ ε [ W 1 ] 2 ρ ε [ W 2 ] 2 C ε W 1 W 2 1 2 W 1 W 2

for all W 1 , W 2 r and ε I . By (5.32) and (5.33), we see that

H ε : r Λ κ r Λ κ

is a contraction mapping for all ε I . Therefore, for any ε I , we find a unique fixed point W ε r Λ κ such that

W ε = H ε ( W ε ) = J κ ( G Φ ε [ W ε , ρ ε [ W ε ] ] ) .

Then Lemma 2.7 implies (5.30). In particular, we have W 0 = W . Furthermore, similar to (5.33), we observe from (5.28) that

W ε 1 W ε 2 = H ε 1 ( W ε 1 ) H ε 2 ( W ε 2 ) C ε [ W ε 1 W ε 2 + ρ ε 1 [ W ε 1 ] ρ ε 2 [ W ε 2 ] ] + C ε 1 ε 2 C ε W ε 1 W ε 2 + C ε 1 ε 2

for all ε 1 , ε 2 I . Taking small enough ε > 0 if necessary, we have

(5.34) W ε 1 W ε 2 C ε 1 ε 2

for all ε 1 , ε 2 I . In what follows, we write ρ ε = ρ ε [ W ε ] for simplicity. Then it follows from (5.28) and (5.34) that

(5.35) ρ ε 1 ρ ε 2 C ε 1 ε 2

for all ε 1 , ε 2 I . Furthermore, by (5.27), we have ρ 0 = ρ 0 [ W 0 ] = ρ .

Step 3. Let ψ r and ε I . In this step, we find σ ε [ ψ ] [ 0 , r ] such that

(5.36) R N Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] ϕ d x = 0 .

Define a function N ε [ ψ ] : [ ( r ) 1 , r ] R by

N ε [ ψ ] ( σ ) σ + R N Ψ ε ( W ε , ψ , ρ ε , σ ) ϕ d x .

Since σ = a ρ = a ρ 0 and

R N Ψ 0 [ ρ ε , σ ] ϕ d x = ρ ε R N F ( u ) ϕ 3 d x σ R N F ( u ) ϕ 2 d x = a ρ ε σ

See (5.1). By (5.2), we have

(5.37) N ε [ ψ ] ( σ ) σ = σ + R N Ψ ε ( W ε , ψ , ρ ε , σ ) ϕ d x a ρ 0 = a ρ ε R N Ψ 0 [ ρ ε , σ ] ϕ d x + R N Ψ ε ( W ε , ψ , ρ ε , σ ) ϕ d x a ρ 0 = R N Ψ ε ( W ε , ψ , ρ ε , σ ) ϕ d x + a ( ρ ε ρ 0 ) = R N Ψ ε ( W ε , ψ , ρ ε , σ ) ( G [ F ( u ) ϕ ] ) d x + a ( ρ ε ρ 0 ) = R N [ G Ψ ε ( W ε , ψ , ρ ε , σ ) ] F ( u ) ϕ d x + a ( ρ ε ρ 0 )

for all σ [ ( r ) 1 , r ] . This implies that

(5.38) N 0 [ ψ ] ( σ ) = σ ( ( r ) 1 , r )

for all σ [ ( r ) 1 , r ] . Similar to (5.25), by Lemma 5.6, (5.34), (5.35), and (5.37), we have

(5.39) N ε 1 [ ψ 1 ] ( σ 1 ) N ε 2 [ ψ 2 ] ( σ 2 ) C ε [ W ε 1 W ε 2 + ψ 1 ψ 2 + ρ ε 1 ρ ε 2 + σ 1 σ 2 ] + C ε 1 ε 2 C ε [ ψ 1 ψ 2 + σ 1 σ 2 ] + C ε 1 ε 2

for all σ 1 , σ 2 [ ( r ) 1 , r ] and ε 1 , ε 2 I . Therefore, by (5.38) and (5.39), taking small enough ε > 0 if necessary,

N ε [ ψ ] ( σ ) [ ( r ) 1 , r ] , N ε [ ψ ] ( σ ) N ε [ ψ ] ( σ ) 1 2 σ σ ,

for all σ , σ [ ( r ) 1 , r ] and ε I . By applying the contraction mapping theorem, for any ψ r and ε I , we find a unique fixed point σ ε [ ψ ] [ ( r ) 1 , r ] of N ε [ ψ ] , i.e.,

(5.40) R N Ψ ε ( W ε , ψ , ρ ε , σ ε [ ψ ] ) ϕ d x = 0 .

In particular, we have σ 0 [ ψ ] = σ . Furthermore, by (5.39), we see that

σ ε 1 [ ψ 1 ] σ ε 2 [ ψ 2 ] = N ε 1 [ ψ 1 ] ( σ ε 1 [ ψ 1 ] ) N ε 2 [ ψ 2 ] ( σ ε 2 [ ψ 2 ] ) C ε [ ψ 1 ψ 2 + σ ε 1 [ ψ 1 ] σ ε 2 [ ψ 2 ] ] + C ε 1 ε 2

for all ψ 1 , ψ 2 r and ε 1 , ε 2 I . Then, taking small enough ε > 0 if necessary, we obtain

(5.41) σ ε 1 [ ψ 1 ] σ ε 2 [ ψ 2 ] C ε ψ 1 ψ 2 + C ε 1 ε 2

for all ψ 1 , ψ 2 r , and ε 1 , ε 2 I . In particular, it follows from σ 0 [ ψ ] = σ that

(5.42) σ ε [ ψ ] σ C ε

for all ψ 1 , ψ 2 r and ε 1 , ε 2 I .

Step 4. In this step, for any ε I , we find ψ r such that

(5.43) ( I T κ ) ψ = G Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] .

It follows from (5.2) and (5.40) that

R N [ G Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] ] F ( u ) ϕ d x = R N Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] ( G [ F ( u ) ϕ ] ) d x = R N Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] ϕ d x = 0 ,

which implies that G Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] Λ κ . By Lemma 2.7, we define a mapping ε : r Λ κ by

(5.44) ε ( ψ ) J κ ( G Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] ) .

By Lemma 5.7 and (5.44), we have

ε ( ψ ) ψ = J κ ( G [ Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] Ψ 0 [ ρ , σ ] ] ) = J κ ( G [ Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] + ( Ψ 0 [ ρ ε [ W ε ] , σ ε [ ψ ] ] Ψ 0 [ ρ , σ ] ) ] ) = J κ ( G [ Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] + ( ρ ε ρ ) F ( u ) ϕ 2 ( σ ε [ ψ ] σ ) F ( u ) ϕ ] ) .

Then, by Lemma 5.6, (5.29), and (5.42), taking small enough ε > 0 if necessary, we have

(5.45) ε ( ψ ) ψ + C G [ Ψ ε [ W ε , ψ , ρ ε , σ ε [ ψ ] ] + C ρ ε ρ + C σ ε [ ψ ] σ ] ψ + C ε < r .

Furthermore, by Lemma 5.6, (5.34), (5.35), and (5.41), taking small enough ε > 0 again if necessary, we obtain

(5.46) ε 1 ( ψ 1 ) ε 2 ( ψ 2 ) C ε ψ 1 ψ 2 + C ε 1 ε 2 1 2 ψ 1 ψ 2 + C ε 1 ε 2

for all ψ 1 , ε 2 r and ε 1 , ε 2 I . By (5.45) and (5.46), we see that

ε : r Λ κ r Λ κ

is a contraction mapping for all ε I . Therefore, for any ε I , we find a unique fixed point ψ ε r Λ κ such that

ψ ε = ε ( ψ ε ) = J κ ( G Ψ ε [ W ε ] , ρ ε , ψ ε , σ ε [ ψ ε ] ) .

Then Lemma 2.7 implies (5.43). In particular, we have ψ 0 = ψ . Furthermore, it follows from (5.46) that

ψ ε 1 ψ ε 2 = ε 1 ( ψ 1 ) ε 2 ( ψ 2 ) 1 2 ψ 1 ψ 2 + C ε 1 ε 2

for ε 1 , ε 2 I , which implies that

ψ ε 1 ψ ε 2 C ε 1 ε 2

for ε 1 , ε 2 I .

Step 5. We complete the proof of Proposition 4.2. Set σ ε σ ε [ ψ ε ] for all ε I . By combining (5.23), (5.30), (5.36), and (5.43), we see that the quartet ( W ε , ρ ε , ψ ε , σ ε ) satisfies properties (i)–(iv) of Proposition 4.2 for all ε I . Thus, Proposition 4.2 follows.□

As proved in Section 5, we see that Proposition 4.2 is equivalent to Proposition 4.1 and that Proposition 4.1 implies Theorem 1.2. Therefore, Theorem 1.2 follows.

6 Exponential nonlinearity

As an application of the arguments in the previous sections, we consider an inhomogeneous nonlinear elliptic problem with exponential nonlinearity

(PE) Δ u + u = F ( u ) + κ μ in R N , u > 0 in R N , u ( x ) 0 as x ,

where N 2 , κ > 0 , and μ L c 1 ( R N ) \ { 0 } is nonnegative. Here, F C 1 ( [ 0 , ) ) C 2 ( ( 0 , ) ) and F satisfies the following conditions.

  1. (Behavior of F as t 0 + )

  2. F ( 0 ) = F ( 0 ) = 0 and F ( t ) = O ( t α 1 ) as t + 0 for some α ( 0 , 1 ) .

  3. (Exponential nonlinearity of F )

  4. F is a convex function in ( 0 , ) such that

    lim t F ( t ) = , liminf t F ( t ) F ( t ) F ( t ) 2 = 1 .

By [13, Theorem 1.1], we have the following result, instead of Theorem 1.1.

Theorem 6.1

Let N 2 and F C 1 ( [ 0 , ) ) C 2 ( ( 0 , ) ) . Assume conditions (F1) and (F2). Let μ L c 1 ( R N ) \ { 0 } be nonnegative in R N and

(6.1) G μ L ( R N ) .

Then there exists κ ( 0 , ) with the following properties.

  1. If 1 < κ < κ , then problem (PE) possesses a minimal C 0 ( R N ) + L c ( R N ) -solution u κ . Furthermore, u κ ( x ) = O ( G ( x ) ) as x .

  2. If κ > κ , then problem (PE) possesses no C 0 ( R N ) + L c ( R N ) -solutions.

  3. Let 2 N 9 . Then problem (PE) with κ = κ possesses a unique C 0 ( R N ) + L c ( R N ) -solution if either

    1. limsup t F ( t ) F ( t ) < and G μ B C ( R N ) or

    2. μ μ ¯ in R N for some μ ¯ W c 1 , r ( R N ) with r = 4 N ( N + 2 ) .

In this section, we obtain the following result for problem (PE), instead of Theorem 1.2.

Theorem 6.2

Let F C 1 ( [ 0 , ) ) C 3 ( ( 0 , ) ) satisfy condition (F2) and the following condition

  1. F ( 0 ) = F ( 0 ) = 0 . Furthermore, F ( t ) = O ( t α 1 ) and F ( t ) = O ( t α 2 ) as t + 0 for some α ( 0 , 1 ) .

Let 2 N 9 . Assume either
  1. limsup t F ( t ) F ( t ) < and G μ B C ( R N ) or

  2. μ μ ¯ in R N for some μ ¯ W c 1 , r ( R N ) with r = 4 N ( N + 2 ) .

Then there exists κ 1 ( 0 , κ ) such that problem (PE) possesses a nonminimal ( C 0 + L c ) -solution u ¯ κ for all κ ( κ 1 , κ ) .

We remark that conditions (F1’) and (F2) are satisfied in the following cases:

  • F ( t ) = t p exp ( t q ) with p > 1 and q > 0 ;

  • F ( t ) = t p exp ( exp ( t q ) ) with p > 1 and q > 0 .

Proof of Theorem 6.2

The proof is the same as the proof of Theorem 1.2. Indeed, thanks to (6.1), by applying the arguments in Section 3 with j = 1 and q = , we have

U 0 κ = V 0 κ L ( R N ) , δ U 0 κ = δ U 0 κ L ( R N ) , and δ 2 U 0 κ = δ 2 U 0 κ ; δ U j κ , δ V j κ g B C ( R N ) for j = 1 , 2 , ,

where κ > 0 and { 0 , 1 , 2 , } , instead of Lemmas 3.1 and 3.2. Lemmas 2.3 and 2.4 also hold for problem (PE) [13, Section 4]. Then, under condition (F1’), we apply the same arguments as in Sections 4 and 5 to obtain Theorem 6.2.□

Acknowledgments

The authors would like to thank the anonymous referee for giving us useful comments.

  1. Funding information: Kazuhiro Ishige and Shinya Okabe were supported in part by JSPS KAKENHI Grant Number JP19H05599. The second author was supported in part by JSPS KAKENHI Grant Number 20KK0057 and 21H00990.

  2. Conflict of interest: The authors state no conflict of interest.

References

[1] S. Adachi and K. Tanaka, Four positive solutions for the semilinear elliptic equation: −Δu+u=a(x)up+f(x) in RN, Calc. Var. Partial Differential Equations 11 (2000), 63–95. 10.1007/s005260050003Search in Google Scholar

[2] S. Adachi and K. Tanaka, Existence of positive solutions for a class of nonhomogeneous elliptic equations in RN, Nonlinear Anal. Ser. A Theory Methods 48 (2002), 685–705. 10.1016/S0362-546X(00)00206-6Search in Google Scholar

[3] K-J. Chen, Exactly two entire positive solutions for a class of nonhomogeneous elliptic equations, Differential Integral Equations 17 (2004), 1–16. 10.57262/die/1356060469Search in Google Scholar

[4] K-J. Chen, Bifurcation and multiplicity results for a nonhomogeneous semilinear elliptic problem, Electron. J. Differential Equations 2008 (2008), no. 152, 19. Search in Google Scholar

[5] L. C. Evans, Partial differential equations, Graduate Studies in Mathematics, vol. 19, 2nd edn, American Mathematical Society, Providence, RI, 2010, xxii.749. Search in Google Scholar

[6] M. del Pino, Nonlinear elliptic problems above criticality, Milan J. Math. 74 (2006), 313–338. 10.1007/s00032-006-0058-0Search in Google Scholar

[7] M. del Pino, Supercritical elliptic problems from a perturbation viewpoint, Discrete Contin. Dyn. Syst. 21 (2008), 69–89. 10.3934/dcds.2008.21.69Search in Google Scholar

[8] Y. Deng and Y. Li, Existence of multiple positive solutions for a semilinear elliptic equation, Adv. Differential Equations 2 (1997), 361–382. 10.57262/ade/1366742248Search in Google Scholar

[9] Y. Deng, S. Peng, and L. Wang, Existence of multiple solutions for a nonhomogeneous semilinear elliptic equation involving critical exponent, Discrete Contin. Dyn. Syst. 32, (2012), 795–826. 10.3934/dcds.2012.32.795Search in Google Scholar

[10] N. Hirano, Multiple existence of solutions for a nonhomogeneous elliptic problem on RN, J. Math. Anal. Appl. 336, (2007), 506–522. 10.1016/j.jmaa.2007.02.070Search in Google Scholar

[11] N. Hirano and W. S. Kim, Multiple existence of solutions for a nonhomogeneous elliptic problem with critical exponent on RN, J. Differential Equations 249 (2010), 1799–1816. 10.1016/j.jde.2010.05.003Search in Google Scholar

[12] K. Ishige, S. Okabe, and T. Sato, A supercritical scalar field equation with a forcing term, J. Math. Pures Appl. 128 (2019), 183–212. 10.1016/j.matpur.2019.04.003Search in Google Scholar

[13] K. Ishige, S. Okabe, and T. Sato, Thresholds for the existence of solutions to inhomogeneous elliptic equations with general exponential nonlinearity, Adv. Nonlinear Anal. 11 (2022), 968–992. 10.1515/anona-2021-0220Search in Google Scholar

[14] T. Li and T. F. Wu, Existence of multiple positive solutions for nonhomogeneous elliptic problems in RN, Nonlinear Anal. 75 (2012), 5639–5652. 10.1016/j.na.2012.05.012Search in Google Scholar

[15] M. de Souza, Existence and multiplicity of solutions for a singular semilinear elliptic problem in R2, Electron. J. Differential Equations 2011 (2011), no. 98, 13, MR2832274. Search in Google Scholar

[16] Y. Naito and T. Sato, Positive solutions for semilinear elliptic equations with singular forcing terms, J. Differential Equations 235 (2007), 439–483. 10.1016/j.jde.2007.01.006Search in Google Scholar

[17] Y. Naito and T. Sato, Non-homogeneous semilinear elliptic equations involving critical Sobolev exponent, Ann. Mat. Pura Appl. 191 (2012), 25–51. 10.1007/s10231-010-0173-ySearch in Google Scholar

[18] Z. Wang and H-S. Zhou, Positive solutions for a nonhomogeneous elliptic equation on RN without (AR) condition, J. Math. Anal. Appl. 353 (2009), 470–479. 10.1016/j.jmaa.2008.11.080Search in Google Scholar

[19] T. Watanabe, Two positive solutions for an inhomogeneous scalar field equation, J. Nonlinear Convex Anal. 12 (2011), 119–142. Search in Google Scholar

[20] X. P. Zhu, A perturbation result on positive entire solutions of a semilinear elliptic equation, J. Differential Equations 92 (1991), 163–178. 10.1016/0022-0396(91)90045-BSearch in Google Scholar

Received: 2022-10-12
Revised: 2023-03-14
Accepted: 2023-05-13
Published Online: 2023-07-06

© 2023 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Research Articles
  2. Asymptotic properties of critical points for subcritical Trudinger-Moser functional
  3. The existence of positive solution for an elliptic problem with critical growth and logarithmic perturbation
  4. On some dense sets in the space of dynamical systems
  5. Sharp profiles for diffusive logistic equation with spatial heterogeneity
  6. Generic properties of the Rabinowitz unbounded continuum
  7. Global bifurcation of coexistence states for a prey-predator model with prey-taxis/predator-taxis
  8. Multiple solutions of p-fractional Schrödinger-Choquard-Kirchhoff equations with Hardy-Littlewood-Sobolev critical exponents
  9. Improved fractional Trudinger-Moser inequalities on bounded intervals and the existence of their extremals
  10. The existence of infinitely many boundary blow-up solutions to the p-k-Hessian equation
  11. A priori bounds, existence, and uniqueness of smooth solutions to an anisotropic Lp Minkowski problem for log-concave measure
  12. Existence of nonminimal solutions to an inhomogeneous elliptic equation with supercritical nonlinearity
  13. Non-degeneracy of multi-peak solutions for the Schrödinger-Poisson problem
  14. Gagliardo-Nirenberg-type inequalities using fractional Sobolev spaces and Besov spaces
  15. Ground states of Schrödinger systems with the Chern-Simons gauge fields
  16. Quasilinear problems with nonlinear boundary conditions in higher-dimensional thin domains with corrugated boundaries
  17. A system of equations involving the fractional p-Laplacian and doubly critical nonlinearities
  18. A modified Picone-type identity and the uniqueness of positive symmetric solutions for a prescribed mean curvature problem
  19. On a version of hybrid existence result for a system of nonlinear equations
  20. Special Issue: Geometric PDEs and applications
  21. Preface for the special issue on “Geometric Partial Differential Equations and Applications”
  22. Convex hypersurfaces with prescribed Musielak-Orlicz-Gauss image measure
  23. Total mean curvatures of Riemannian hypersurfaces
  24. On degenerate case of prescribed curvature measure problems
  25. A curvature flow to the Lp Minkowski-type problem of q-capacity
  26. Aleksandrov reflection for extrinsic geometric flows of Euclidean hypersurfaces
  27. A note on second derivative estimates for Monge-Ampère-type equations
  28. The Lp chord Minkowski problem
  29. Widths of balls and free boundary minimal submanifolds
  30. Smooth approximation of twisted Kähler-Einstein metrics
  31. The exterior Dirichlet problem for the homogeneous complex k-Hessian equation
  32. A Carleman inequality on product manifolds and applications to rigidity problems
  33. Asymptotic behavior of solutions to the Monge-Ampère equations with slow convergence rate at infinity
  34. Pinched hypersurfaces are compact
  35. The spinorial energy for asymptotically Euclidean Ricci flow
  36. Geometry of CMC surfaces of finite index
  37. Capillary Schwarz symmetrization in the half-space
  38. Regularity of optimal mapping between hypercubes
  39. Special Issue: In honor of David Jerison
  40. Preface for the special issue in honor of David Jerison
  41. Homogenization of oblique boundary value problems
  42. A proof of a trace formula by Richard Melrose
  43. Compactness estimates for minimizers of the Alt-Phillips functional of negative exponents
  44. Regularity properties of monotone measure-preserving maps
  45. Examples of non-Dini domains with large singular sets
  46. Sharp inequalities for coherent states and their optimizers
  47. Gradient estimates and the fundamental solution for higher-order elliptic systems with lower-order terms
  48. Propagation of symmetries for Ricci shrinkers
  49. Linear extension operators for Sobolev spaces on radially symmetric binary trees
  50. The Neumann problem on the domain in 𝕊3 bounded by the Clifford torus
  51. On an effective equation of the reduced Hartree-Fock theory
  52. Polynomial sequences in discrete nilpotent groups of step 2
  53. Integral inequalities with an extended Poisson kernel and the existence of the extremals
  54. On singular solutions of Lane-Emden equation on the Heisenberg group
Downloaded on 10.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ans-2022-0073/html
Scroll to top button