Home Multiple positive solutions for a class of concave-convex Schrödinger-Poisson-Slater equations with critical exponent
Article Open Access

Multiple positive solutions for a class of concave-convex Schrödinger-Poisson-Slater equations with critical exponent

  • Tian-Tian Zheng , Chun-Yu Lei and Jia-Feng Liao EMAIL logo
Published/Copyright: March 1, 2024

Abstract

In this article, we consider the multiplicity of positive solutions for a static Schrödinger-Poisson-Slater equation of the type

Δ u + u 2 1 4 π x u = μ f ( x ) u p 2 u + g ( x ) u 4 u in R 3 ,

where μ > 0 , 1 < p < 2 , f L 6 6 p ( R 3 ) , and f , g C ( R 3 , R + ) . Using Ekeland’s variational principle and a measure representation concentration-compactness of Lions, when g has one local maximum point, we obtain two positive solutions for μ > 0 small; while g has k strict local maximum points, we prove that the equation has at least k + 1 distinct positive solutions for μ > 0 small by the Nehari manifold. Moreover, we show that one of the solutions is a ground state solution.

MSC 2010: 35B33; 35J20; 35Q55

1 Introduction

In this article, we consider the following static Schrödinger-Poisson-Slater equation:

(1.1) Δ u + u 2 1 4 π x u = μ f ( x ) u p 2 u + g ( x ) u 4 u in R 3 ,

where μ > 0 , 1 < p < 2 (6 is the critical exponent), and f , g : R 3 R is continuous function satisfying:

( Q 1 ) f L r ( R 3 ) , where r = 6 6 p and f ( x ) > 0 for all x R 3 ; lim x + g ( x ) = g ( 0 , + ) and g ( x ) g for all x R 3 .

( Q 2 ) There exists a 0 R 3 such that g ( a 0 ) = max x R 3 g ( x ) = 1 and g ( x ) g ( a 0 ) = o ( x a 0 1 2 ) as x a 0 .

( Q 3 ) There exist k points a 1 , a 2 , , a k in R 3 such that

g ( a i ) = max x R 3 g ( x ) = 1 for 1 i k

and g ( x ) g ( a i ) = o ( x a i 1 2 ) , as x a i uniformly i .

( Q 4 ) Choosing ρ 0 > 0 such that

B ρ 0 ( a i ) ¯ B ρ 0 ( a j ) ¯ = for i j and 1 i , j k

and i = 1 k B ρ 0 ( a i ) ¯ R 3 , where B ρ 0 ( a i ) ¯ = { x R 3 : x a i ρ 0 } .

The nonlocal nonlinear Schrödinger equation, in natural units is

i ψ t = Δ ψ + V ( x ) ψ + 1 4 π x ψ 2 ψ μ ψ p 2 ψ , ( ψ , t ) ( R 3 , R ) ,

and its stationary counterpart is

(1.2) Δ u + V ( x ) u + u 2 1 4 π x u = μ u p 2 u , in R 3 .

The interest on this problem stems from the Slater approximation of the exchange term in the Hartree-Fock model, see [27]. Slater introduced the local term u p 2 u with p = 8 3 , and μ is the so-called Slater constant (up to renormalization). For more information on these models and their deduction, see [5,11,22]. Recently, there has been much research on equation (1.2) by using variational methods in [5], the readers are referred to [1,2,19,23,24,26,29] and many others for detailed results.

If V ( x ) = 0 in equation (1.2), then the equation reduces to the following static case:

(1.3) Δ u + u 2 1 4 π x u = μ u p 2 u , in R 3 ,

which can be called a zero mass problem, see [6]. H 1 ( R 3 ) is not the right space for problem (1.3) due to the absence of a phase term. Ruiz [25] introduced the following space:

E = E ( R 3 ) = { u D 1 , 2 ( R 3 ) : R 3 R 3 u 2 ( x ) u 2 ( y ) x y d x d y < + } ,

where the double integral expression is the so-called Coulomb energy of the wave and E ( R 3 ) is the space of functions in D 1 , 2 ( R 3 ) such that the Coulomb energy of the charge is finite. It was shown in the study by Ruiz [25] that E is a uniformly convex separable Banach space and that E L q ( R 3 ) continuously for q [ 3 , 6 ] . Ianni and Ruiz in [10] studied both the existence of ground and bound states, for p > 3 and proved that the problem has a radial solution, for p = 3 . Furthermore, Liu et al. [20] considered the following type of the Schrödinger-Poisson-Slater equation with critical growth:

(1.4) Δ u + u 2 1 4 π x u = μ u p 2 u + u 4 u in R 3

they proved the existence of positive solutions to equation (1.4) by using the novel perturbation approach, together with the well-known Mountain-Pass theorem, for p ( 3 , 6 ) and by using the truncation technique, for p ( 18 7 , 3 ) . Replacing μ u p 2 u by μ k ( x ) u p 2 u in equation (1.4), Yang and Liu [33] obtained infinitely many solutions for μ > 0 small by a truncation technique and Krasnoselskii genus theory, where 1 < p < 2 and k L 6 6 p ( R 3 ) . For more related research, we refer [3,12,34].

In this article, we will discuss the existence of positive ground state solutions and the multiplicity of positive solutions for equation (1.1). The multiplicity of positive solutions for equation (1.1) is inspired by Liao et al. [15], which studied the following concave-convex elliptic equation with critical exponent:

(1.5) Δ u = g ( x ) u 2 * 2 u + μ f ( x ) u q 2 u , x Ω , u = 0 , x Ω ,

where Ω R N ( N 3 ) is an open bounded domain with smooth boundary, μ > 0 , 1 < q < 2 , and 2 * = 2 N N 2 is the critical Sobolev exponent, and the coefficient functions f and g satisfy the following conditions:

( f ) f L r ( Ω ) with f 0 and f 0 , where r = 2 * 2 * q .

( g 1 ) g is continuous on Ω ¯ and g > 0 .

( g 2 ) There exist k points a 1 , a 2 , , a k in Ω satisfying

{ a 1 , a 2 , , a k } = { x Ω : g ( x ) = max z Ω g ( z ) = 1 } ,

and moreover, g ( x ) g ( a i ) = o ( x a i N 2 2 ) as x a i uniformly in i N + and 1 i k . By the Nehari method, they proved that equation (1.5) has at least k + 1 positive solutions for μ > 0 small. For more problems on related results, see [7,9,13,14,17,21]. In particular, Cao and Chabrowski [7] considered the multiplicity of solutions of this type for the critical problem for the first time. They studied the multiplicity of positive solutions for the following semilinear elliptic equation with critical exponent:

(1.6) Δ u = g ( x ) u 2 * 1 + μ f ( x ) , x Ω , u > 0 , x Ω , u = 0 , x Ω ,

where Ω R N ( N 3 ) is an open bounded domain with smooth boundary, f L 2 ( Ω ) is nonzero and nonnegative, and g C ( Ω ¯ ) is positive which satisfies the following condition:

( Q ) There exist k strict local maxima points a 1 , a 2 , , a k in Ω such that

g ( a i ) = max x Ω g ( x ) for 1 i k

and g ( x ) g ( a i ) = o ( x a i N 2 2 ) as x a i uniformly i .

They obtained that equation (1.6) has at least k positive solutions for μ > 0 small.

Our main results are the following.

Theorem 1.1

Assume that ( Q 1 ) and ( Q 2 ) hold, then there exists μ * > 0 such that equation (1.1) has at least two positive solutions for all μ ( 0 , μ * ) , and one of the solutions is a ground state solution.

Theorem 1.2

Assume that ( Q 1 ) , ( Q 3 ) , and ( Q 4 ) hold, then there exists μ * ( 0 , μ * ) small enough such that equation (1.1) has at least k + 1 distinct positive solutions for all μ ( 0 , μ * ) .

Remark 1.1

Since the lack of compactness of the Sobolev embedding E L s ( R 3 ) , s [ 3 , 6 ] , inspired by [20, 33], we adapt a measure representation concentration-compactness principle of Lions [18] to overcome the difficulties, and by exploring the parameter μ , we show that the associated energy functional satisfies, in general, the Palais-Smale condition at some level for μ > 0 small enough under our assumptions. Because the associated energy functional is not bounded below, we apply Ekeland’s variational principle to obtain that equation (1.1) has at least k + 1 positive solutions by the Nehari manifold.

Notations:

  • The usual norm in L s ( R 3 ) will be denoted by s .

  • C denotes (possible different) any positive constant.

  • B R ( x ) denotes the open ball with center x and radius R in R 3 .

The article is organized as follows: in Section 2, we give preliminary results; in Section 3, we give the proof of Theorem 1.1; and in Section 4, we prove Theorem 1.2.

2 Preliminary

We denote S the best Sobolev constant of D 1 , 2 ( R 3 ) L 6 ( R 3 ) by

(2.1) S = inf u D 1 , 2 ( R 3 ) \ { 0 } R 3 u 2 d x R 3 u 6 d x 1 3 > 0 ,

where D 1 , 2 ( R 3 ) = { u L 6 ( R 3 ) : u x i L 2 ( R 3 ) , i = 1 , 2 , 3 } is equipped with the norm

u = R 3 u 2 d x 1 2 .

Noting that the function

U ( x ) = 3 1 4 ( 1 + x 2 ) 1 2

is an extremal function for the minimum problem (2.1). For each ε > 0 ,

(2.2) U ε ( x ) = ε 1 4 U x ε = ( 3 ε ) 1 4 ( ε + x 2 ) 1 2

is a positive solution of the critical problem

Δ u = u 4 u in R 3 ,

with

(2.3) U ε 2 = R 3 U ε 6 = S 3 2 .

Define the norm of E by

u E = u 2 + R 3 R 3 u 2 ( x ) u 2 ( y ) 4 π x y d x d y 1 2 1 2 for u E .

Then, we have the following properties.

Proposition 2.1

[10,20,25]   ( E , E ) is a uniformly convex Banach space. Moreover, C 0 ( R 3 ) is dense in E . E L s ( R 3 ) continuously for s [ 3 , 6 ] and E L s ( Ω ) compactly for s [ 1 , 6 ) with bounded Ω R 3 .

Define ϕ u = 1 4 π x u 2 , then u E if and only if both u and ϕ u belong to D 1 , 2 ( R 3 ) . In such case, equation (1.1) can be rewritten as a system in the following form:

(2.4) Δ u + ϕ u = μ u p 2 u + g ( x ) u 4 u , in R 3 , Δ ϕ = u 2 , in R 3 .

Moreover,

R 3 ϕ u ( x ) 2 d x = R 3 ϕ u ( x ) u 2 ( x ) d x = R 3 R 3 u 2 ( x ) u 2 ( y ) 4 π x y d x d y .

Next, we define

T : E × E × E × E R , T ( u , v , w , z ) = R 3 R 3 u ( x ) v ( x ) w ( y ) z ( y ) 4 π x y d x d y ,

then T is a continuous map, linear in each variable, and we have the following technical results in E , see [10,20,25].

Proposition 2.2

Given a sequence { u n } in E ,

  1. u n u strongly in E if and only if u n u and ϕ u n ϕ u in D 1 , 2 ( R 3 ) .

  2. u n u weakly in E if and only if u n u in D 1 , 2 ( R 3 ) and R 3 ϕ u n u n 2 d x is bounded. In such case, ϕ u n ϕ u in D 1 , 2 ( R 3 ) .

  3. Assume that we have three weakly convergent sequences in E, u n u , v n v , w n w , and z E . Then, T ( u n , v n , w n , z ) T ( u , v , w , z ) .

For the sake of brevity, let us define M : E R as

M ( u ) u 2 + R 3 ϕ u u 2 d x .

Similar to [10,20], we have the fact that for any u E ,

(2.5) 1 2 u E 4 M ( u ) u E 2 if either u E 1 or M ( u ) 1 .

Moreover, we have

Proposition 2.3

[20,25,26] There exists C > 0 such that

u s s C M 2 s 3 3 ( u )

for u E with s [ 3 , 6 ] .

The corresponding energy functional of equation (1.1) is defined as follows:

(2.6) J μ ( u ) = 1 2 u 2 + 1 4 R 3 ϕ u u 2 d x μ p R 3 f ( x ) u p d x 1 6 R 3 g ( x ) u 6 d x

for all u E . Moreover, J μ is well-defined and C 1 at E for p ( 1 , 2 ) because f L 6 6 p ( R 3 ) . And the critical points of J μ are the weak solutions of equation (1.1). Since J μ is unbounded below on E , we consider the functional on the Nehari manifold

N μ = { u E \ { 0 } : J μ ( u ) , u = 0 } = u E \ { 0 } : u 2 + R 3 ϕ u u 2 d x μ R 3 f ( x ) u p d x R 3 g ( x ) u 6 d x = 0 .

Let Ψ μ ( u ) = J μ ( u ) , u , then for all u N μ , we deduce that

(2.7) Ψ μ ( u ) , u = 2 u 2 + 4 R 3 ϕ u u 2 d x μ p R 3 f ( x ) u p d x 6 R 3 g ( x ) u 6 d x = 4 u 2 2 R 3 ϕ u u 2 d x + μ ( 6 p ) R 3 f ( x ) u p d x

(2.8) = ( 2 p ) u 2 + ( 4 p ) R 3 ϕ u u 2 d x + ( p 6 ) R 3 g ( x ) u 6 d x .

Adopting the method used in [30], we split N μ into three parts:

N μ + = { u N μ : Ψ μ ( u ) , u > 0 } N μ 0 = { u N μ : Ψ μ ( u ) , u = 0 } N μ = { u N μ : Ψ μ ( u ) , u < 0 } .

Now, we give some conclusions of the energy functional J μ on N μ .

Lemma 2.1

J μ is coercive and bounded from below on N μ .

Proof

For u N μ , by the Young and Hölder inequalities, we deduce from Proposition 2.3 that

J μ ( u ) = J μ ( u ) 1 6 J μ ( u ) , u = 1 3 u 2 + 1 12 R 3 ϕ u u 2 d x μ ( 6 p ) 6 p R 3 f ( x ) u p d x 1 12 M ( u ) μ ( 6 p ) 6 p f r C M p 2 ( u ) > C μ 2 2 p ,

which implies that J μ is coercive and bounded from below on N μ due to 1 < p < 2 . This completes the proof of Lemma 2.1.□

Next, we define

(2.9) μ 0 = 4 6 p 2 p 6 p 2 p 4 f r 1 S 6 p 4 .

For each u E with R 3 g ( x ) u 6 d x > 0 , we set

t max = t max ( u ) = ( 4 p ) R 3 ϕ u u 2 d x + ( 4 p ) R 3 ϕ u u 2 d x 2 + 4 ( 2 p ) ( 6 p ) u 2 R 3 g ( x ) u 6 d x 1 2 2 ( 6 p ) R 3 g ( x ) u 6 d x 1 2 .

Then, we have the following lemma.

Lemma 2.2

For each u E with R 3 g ( x ) u 6 d x > 0 , then

  1. Assume R 3 f ( x ) u p d x = 0 , then there exists a unique t = t ( u ) > t max > 0 such that t u N μ and

    J μ ( t u ) = sup t t max J μ ( t u ) .

  2. Assume R 3 f ( x ) u p d x > 0 , if μ ( 0 , μ 0 ) , then there exist unique t + and t with 0 < t + = t + ( u ) < t max < t such that t + u N μ + , t u N μ , and

    J μ ( t + u ) = inf 0 < t t max J μ ( t u ) , J μ ( t u ) = sup t t + J μ ( t u ) .

Proof

For each u E with R 3 g ( x ) u 6 d x > 0 , let

m ( t ) = t 2 p u 2 + t 4 p R 3 ϕ u u 2 d x t 6 p R 3 g ( x ) u 6 d x , for t 0 ,

obviously, m ( 0 ) = 0 and m ( t ) , as t + . Moreover,

m ( t ) = ( 2 p ) t 1 p u 2 + ( 4 p ) t 3 p R 3 ϕ u u 2 d x ( 6 p ) t 5 p R 3 g ( x ) u 6 d x = t 1 p ( 2 p ) u 2 + ( 4 p ) t 2 R 3 ϕ u u 2 d x ( 6 p ) t 4 R 3 g ( x ) u 6 d x ,

and therefore, m ( t max ) = 0 and m ( t ) > 0 for t ( 0 , t max ) and m ( t ) < 0 for t ( t max , + ) , i.e., m ( t ) achieves its maximum at t max and t max is unique. Let

t max 0 = t max 0 ( u ) = ( 2 p ) u 2 ( 6 p ) R 3 g ( x ) u 6 d x 1 4 > 0 .

Then, by the Sobolev embedding theorem, it holds that

(2.10) m ( t max ) m ( t max 0 ) ( t max 0 ) 2 p u 2 ( t max 0 ) 6 p R 3 g ( x ) u 6 d x ( 2 p ) u 2 ( 6 p ) R 3 g ( x ) u 6 d x 2 p 4 4 6 p u 2 4 6 p 2 p 6 p 2 p 4 u 6 p 2 R 3 g ( x ) u 6 d x 2 p 4 4 6 p 2 p 6 p 2 p 4 S 3 ( 2 p ) 4 u p .

Case i. If R 3 f ( x ) u p d x = 0 , then there exists a unique t = t ( u ) > t max > 0 such that

m ( t ) = μ R 3 f ( x ) u p d x = 0 and m ( t ) < 0 ,

and by simple computations, one has

J μ ( t u ) , t u = ( t ) p ( m ( t ) μ R 3 f ( x ) u p d x ) = 0 , Ψ μ ( t u ) , t u = ( t ) 2 m ( t ) < 0 , d d t J μ ( t u ) t = t = 1 t J μ ( t u ) , t u = 0 , d 2 d t 2 J μ ( t u ) t = t = 1 ( t ) 2 Ψ μ ( t u ) , t u < 0 ,

which implies that t u N μ and

J μ ( t u ) = sup t t max J μ ( t u ) .

Case ii. If R 3 f ( x ) u p d x > 0 , then by the Sobolev embedding theorem and equation (2.10), for all μ ( 0 , μ 0 ) , it holds that

μ R 3 f ( x ) u p d x μ f r S p 2 u p < 4 6 p 2 p 6 p 2 p 4 S 3 ( 2 p ) 4 u p m ( t max ) ,

and thus, there exist unique t + and t with 0 < t + = t + ( u ) < t max < t such that

m ( t + ) = μ R 3 f ( x ) u p d x = m ( t ) > 0 and m ( t + ) > 0 > m ( t ) .

Similar to Case i, we can conclude that t + u N μ + , t u N μ , and

J μ ( t + u ) = inf 0 < t t max J μ ( t u ) , J μ ( t u ) = sup t t + J μ ( t u ) .

Then, the proof of Lemma 2.2 is complete.□

Lemma 2.3

If μ ( 0 , μ 0 ) , then N μ 0 = and N μ is closed, where μ 0 as in equation (2.9).

Proof

(i) Assuming the contrary, there exist μ 0 ( 0 , μ 0 ) and 0 u 0 N μ 0 , and by the Sobolev embedding theorem and equation (2.8), one has

u 0 2 6 p 2 p R 3 g ( x ) u 0 6 d x 6 p 2 p S 3 u 0 6 ,

i.e.,

(2.11) u 0 2 2 p 6 p 1 2 S 3 2 .

On the other hand, it follows from equation (2.7) that

u 0 2 ( 6 p ) μ 4 R 3 f ( x ) u 0 p d x ( 6 p ) μ 4 f r S p 2 u 0 p < 2 p 6 p 2 p 4 S 3 ( 2 p ) 4 u 0 p , for all μ ( 0 , μ 0 ) ,

then

u 0 2 < 2 p 6 p 1 2 S 3 2 .

This contradicts equation (2.11). Thus, N μ 0 = for all μ ( 0 , μ 0 ) .

(ii) Suppose that { u n } N μ and u n u E , we need to show that u N μ . Due to u n N μ , then

J μ ( u ) , u = 0 and Ψ μ ( u ) , u 0 ,

so u N μ or u = 0 . Similar to equation (2.11), one has

u n 2 > 2 p 6 p 1 2 S 3 2 > 0 ,

then it must have u N μ . Therefore, N μ is closed, for all μ ( 0 , μ 0 ) . Thus, the proof of Lemma 2.3 is completed.□

According to Lemma 2.3, N μ = N μ + N μ , for all μ ( 0 , μ 0 ) . Define

α μ = inf u N μ J μ ( u ) , α μ + = inf u N μ + J μ ( u ) , α μ = inf u N μ J μ ( u ) .

Then, we have the following conclusion.

Lemma 2.4

  1. α μ α μ + < 0 for all μ ( 0 , μ 0 ) , where μ 0 as in equation (2.9).

  2. There exists a constant c 0 = c 0 ( p , S , f r , μ ) > 0 such that α μ c 0 > 0 , for all μ ( 0 , μ ˜ 0 ) , where μ ˜ 0 = p 2 μ 0 .

Proof

(i) For each u N μ + , we deduce from equation (2.8) that

J μ ( u ) = J μ ( u ) 1 p J μ ( u ) , u = p 2 2 p u 2 + p 4 4 p R 3 ϕ u u 2 d x + 6 p 6 p R 3 g ( x ) u 6 d x < 1 6 p ( p 2 ) u 2 + ( p 4 ) R 3 ϕ u u 2 d x + ( 6 p ) R 3 g ( x ) u 6 d x < 0 ,

then α μ + < 0 . By the definitions of α μ and α μ + , we have α μ α μ + < 0 , for all μ ( 0 , μ 0 ) .

(ii) For each u N μ , similar to equation (2.11), it holds that

u n > 2 p 6 p 1 4 S 3 4 > 0 .

By the Sobolev embedding theorem and equation (2.8), we obtain

J μ ( u ) = J μ ( u ) 1 6 J μ ( u ) , u 1 3 u 2 + 1 12 R 3 ϕ u u 2 d x ( 6 p ) μ 6 p R 3 f ( x ) u p d x 1 3 u 2 μ 6 p 6 p f r S p 2 u p = u p 1 3 u 2 p μ 6 p 6 p f r S p 2 > 2 p 6 p p 4 S 3 p 4 1 3 2 p 6 p 2 p 4 S 3 ( 2 p ) 4 μ 6 p 6 p f r S p 2 = c 0 > 0 for all μ ( 0 , μ ˜ 0 ) .

Thus, there exists a constant c 0 = c 0 ( p , S , f r , μ ) > 0 such that α μ c 0 > 0 , for all μ ( 0 , μ ˜ 0 ) . This completes the proof of Lemma 2.4.□

3 Proof of Theorem 1.1

In this section, we give the proof of Theorem 1.1. We need to show that J μ satisfies the Palais-Smale condition at some level, for μ ( 0 , μ * ) with some μ * > 0 . To get compactness of the bounded ( P S ) -sequence in E , we recall the well-known concentration-compactness principle of Lions [18].

Lemma 3.1

[18] Let { u n } be a sequence weakly converging to u in D 1 , 2 ( R 3 ) . Then, up to subsequences,

  1. u n 2 weakly converges in ( R 3 ) to a nonnegative measure μ ˜ ,

  2. u n 6 weakly converges in ( R 3 ) to a nonnegative measure ν ,

and there exist an at most countable index set I , a family { x j : j I } of distinct points of R 3 , and families { ν j : j I } of positive numbers such that

μ ˜ u 2 d x + j I μ ˜ j δ x j ; ν = u 6 d x + j I ν j δ x j

and for all j I , S ν j 1 3 μ ˜ j , where δ x j is the Dirac measure at point x j .

To study the concentration at infinity of the sequence, we recall the following quantities:

Lemma 3.2

[18] Let { u n } be a sequence weakly converging to u in D 1 , 2 ( R 3 ) and define

ν = lim R + limsup n + x > R u n 6 d x , μ ˜ = lim R + limsup n + x > R u n 2 d x .

Then, the quantities ν and μ ˜ are well defined and satisfy

ν + R 3 d ν = limsup n + x > R u n 6 d x , μ ˜ + R 3 d μ ˜ = limsup n + x > R u n 2 d x ,

and S ν 1 3 μ ˜ , where μ ˜ and ν are defined in Lemma 3.1.

For detailed proofs of Lemmas 3.1 and 3.2, see [18, Lemmas I.1-I.2] and [31, Lemma 1.40]. Then, we have the following ( PS ) c -condition for J μ on E .

Lemma 3.3

There exists μ * ( 0 , μ ˜ 0 ) such that J μ satisfies ( PS ) c -condition with c ( , α μ + + 1 3 S 3 2 ) , for all μ ( 0 , μ * ) , where μ ˜ 0 is defined in Lemma 2.4.

Proof

Let { u n } E be a ( PS ) c -sequence with c ( , α μ + + 1 3 S 3 2 ) . We could deduce from Lemma 2.1 that { u n } is bounded in E , then there is a constant C 0 > 0 such that u E C 0 . Hence, there exists μ * ( 0 , μ ˜ 0 ) small enough such that

6 p 6 p μ f r S p 2 C 0 p α μ + for all μ ( 0 , μ * ) .

Applying Lemmas 3.1 and 3.2, the following proof is almost identical to that of Lemma 2.6 of [33] and is omitted here for brevity. Then, the proof of Lemma 3.3 is complete.□

By Ekeland’s variational principle [31] and using the same argument as in [8], we have the following lemma.

Lemma 3.4

  1. There exists a ( PS ) α μ -sequence { u n } N μ of J μ in E for all μ ( 0 , μ 0 ) .

  2. There exists a ( PS ) α μ -sequence { u n } N μ of J μ in E for all μ ( 0 , μ ˜ 0 ) .

Proposition 3.1

Let μ ( 0 , μ * ) , then there exists u μ N μ + such that

  1. J μ ( u μ ) = α μ + = α μ ,

  2. u μ is a positive ground state solution of problem (1.1),

  3. J μ ( u μ ) 0 and u μ E 0 , as μ 0 + ,

where μ * is defined in Lemma 3.3.

Proof

(i) According to Lemma 3.4(i), there is a ( PS ) α μ -sequence { u n } N μ of J μ in E and α μ < α μ + + 1 3 S 3 2 , then applying Lemma 3.3, there exist a subsequence { u n } (still denote by itself) and u μ E such that u n u μ in E . Hence,

J μ ( u μ ) = lim n + J μ ( u n ) = α μ , u μ 0 and J μ ( u μ ) = 0 ,

i.e., u μ is a ground state solution of equation (1.1). By Lemmas 2.3 and 2.4, one has u μ N μ = N μ + N μ and α μ c 0 > 0 > α μ + α μ , for all μ ( 0 , μ * ) . If u μ N μ , then

0 < α μ J μ ( u μ ) = α μ < 0 ,

which is impossible. We obtain that u μ N μ + and then J μ ( u μ ) = α μ α μ + , and it follows that J μ ( u μ ) = α μ + = α μ .

(ii) We need to show that u μ > 0 . Suppose that u μ ± 0 , where u μ + = max { u μ , 0 } and u μ = max { u μ , 0 } , it is easy to see that u μ ± N μ , then

α μ = J μ ( u μ ) = J μ ( u μ + ) + J μ ( u μ ) 2 α μ ,

which contradicts α μ < 0 for μ ( 0 , μ * ) . Since J μ is even, we can assume that u μ 0 , applying strong maximum principle, u μ is a positive ground state solution of equation (1.1).

(iii) By the Sobolev embedding theorem and Hölder inequality, it holds that

0 > α μ = J μ ( u μ ) 1 6 J μ ( u μ ) , u μ 1 12 M ( u μ ) μ ( 6 p ) 6 p f r S p 2 u μ 2 μ ( 6 p ) 6 p f r S p 2 u μ E 2 ,

thus J μ ( u μ ) 0 , as μ 0 + . Since u μ N μ + , by the Hölder’s inequality, Proposition 2.3, and equation (2.7), we deduce that

2 M ( u μ ) < ( 6 p ) R 3 f ( x ) u μ p d x μ ( 6 p ) 6 p f r C M p 2 ( u μ ) ,

then M ( u μ ) 0 as μ 0 + due to 1 < p < 2 . Moreover, from equation (2.5), 1 2 u μ E 4 M ( u μ ) 0 as μ 0 + , and therefore, u μ E 0 as μ 0 + . The proof is over.□

For convenience of the proof of Theorem 1.2, we assume that ( Q 2 ) and ( Q 3 ) hold in Lemmas 3.1 and 3.2. Now, for 0 i k , let η i C 0 ( R 3 ) be a radially symmetric function with 0 η i 1 , η i C , and

η i ( x ) = 1 , x ρ 0 2 , 0 , x ρ 0 ,

where ρ 0 is a positive constant, when 1 i k and ρ 0 is given in condition ( Q 4 ) . For 0 i k , we define u ε i ( x ) = η i ( x ) U ε ( x a i ) , for all ε > 0 , where U ε is given in equation (2.2). From the argument in [20,28], one has

(3.1) R 3 u ε i 2 d x = S 3 2 + O ( ε 1 2 ) ,

(3.2) R 3 u ε i 6 d x = S 3 2 + O ( ε 3 2 ) ,

(3.3) R 3 u ε i s d x = O ( ε 6 s 4 ) , s ( 3 , 6 ) , O ( ε s 4 ) , s [ 1 , 3 ) ,

(3.4) R 3 ϕ u ε i ( u ε i ) 2 d x C u ε i 12 5 4 C ε 12 5 ,

uniformly in i , as ε 0 + , the last inequality holds true because the classic sharp Hardy-Littlewood-Sobolev inequality in [16]. Then, we have the following results.

Lemma 3.5

R 3 g ( x ) u ε i 6 d x = S 3 2 + o ε 1 4 , uniformly i n 0 i k .

Proof

By ( Q 2 ) and ( Q 3 ) , for all η > 0 , there exists ρ > 0 such that

g ( x ) g ( a i ) < η x a i 1 2 for all 0 < x a i < ρ .

Consequently, we deduce that

0 R 3 u ε i 6 d x R 3 g ( x ) u ε i 6 d x { x R 3 : x a i ρ 0 } ε 3 2 3 3 2 [ g ( a i ) g ( x ) ] [ ε + ( x a i ) 2 ] 3 d x < { x R 3 : x a i ρ } ε 3 2 3 3 2 η x a i 1 2 [ ε + ( x a i ) 2 ] 3 d x + { x R 3 : ρ x a i ρ 0 } ε 3 2 3 3 2 [ ε + ( x a i ) 2 ] 3 d x = 3 3 2 η 0 ρ ε 3 2 r 5 2 ( ε + r 2 ) 3 d r + 3 3 2 ρ ρ 0 ε 3 2 r 2 ( ε + r 2 ) 3 d r = 3 3 2 η ε 1 4 0 ρ ε r 5 2 ( 1 + r 2 ) 3 d r + 3 3 2 ρ ε ρ 0 ε r 2 ( 1 + r 2 ) 3 d r C η ε 1 4 + C ε 3 2 .

Thus, one has

R 3 u ε i 6 d x R 3 g ( x ) u ε i 6 d x ε 1 4 C η + C ε 5 4 ,

which implies that

limsup ε 0 + R 3 u ε i 6 d x R 3 g ( x ) u ε i 6 d x ε 1 4 C η .

For the arbitrariness of η , combining with equation (3.2), one obtains

R 3 g ( x ) u ε i 6 d x = R 3 u ε i 6 d x + o ε 1 4 = S 3 2 + o ε 1 4 .

This completes the proof of Lemma 3.5.□

Lemma 3.6

There exists ε 0 > 0 small enough such that for 0 < ε < ε 0 , we have

sup t 0 J μ ( u μ + t u ε i ) < α μ + + 1 3 S 3 2 , uniformly f o r 0 i k , for a l l μ ( 0 , μ * ) ,

where u μ and μ * are given in Proposition 3.1 and Lemma 3.3, respectively.

Proof

By equation (2.4) and the Hölder’s inequality, one has

R 3 ϕ ( u μ + t u ε i ) ( u μ + t u ε i ) 2 d x R 3 ϕ u μ u μ 2 d x + 4 t R 3 ϕ u μ u μ u ε i d x + 6 t 2 R 3 ϕ u μ u μ 2 d x 1 2 R 3 ϕ u ε i ( u ε i ) 2 d x 1 2 + 4 t 3 R 3 ϕ u μ u μ 2 d x 1 4 R 3 ϕ u ε i ( u ε i ) 2 d x 3 4 + t 4 R 3 ϕ u ε i ( u ε i ) 2 d x .

Let H = R 3 ϕ u μ u μ 2 d x 1 4 0 be a constant, then using the following two elementary inequalities:

( a + b ) γ a γ + γ a γ 1 b , for a , b > 0 , 1 < γ < 2 ; ( a + b ) m a m + b m + m a m 1 b + C ˜ a b m 1 , for m > 2 , 0 a M 0 , b 1 ,

where C ˜ = C ( m ) and M 0 are two positive constants. By basic calculation, for each t 0 , it holds that

J μ ( u μ + t u ε i ) = 1 2 R 3 ( u μ + t u ε i ) 2 d x + 1 4 R 3 ϕ ( u μ + t u ε i ) ( u μ + t u ε i ) 2 d x μ p R 3 f ( x ) ( u μ + t u ε i ) p d x 1 6 R 3 g ( x ) ( u μ + t u ε i ) 6 d x 1 2 u μ 2 + t 2 u ε i 2 + 2 t R 3 u μ u ε i d x μ p R 3 f ( x ) [ u μ p + p t u μ p 1 u ε i ] d x + 1 4 R 3 ϕ u μ u μ 2 d x + 4 t R 3 ϕ u μ u μ u ε i d x + t 4 R 3 ϕ u ε i ( u ε i ) 2 d x + 6 H 2 t 2 R 3 ϕ u ε i ( u ε i ) 2 d x 1 2 + 4 H t 3 R 3 ϕ u ε i ( u ε i ) 2 d x 3 4 1 6 R 3 g ( x ) [ u μ 6 + t 6 ( u ε i ) 6 + 6 t u μ 5 u ε i + C ˜ t 5 u μ ( u ε i ) 5 ] d x J μ ( u μ ) + t 2 1 2 u ε i 2 + 3 H 2 2 R 3 ϕ u ε i ( u ε i ) 2 d x 1 2 + t 3 H R 3 ϕ u ε i ( u ε i ) 2 d x 3 4 + t 4 4 R 3 ϕ u ε i ( u ε i ) 2 d x C ˜ t 5 6 R 3 g ( x ) u μ ( u ε i ) 5 d x t 6 6 R 3 g ( x ) ( u ε i ) 6 d x .

Let

ψ ε ( t ) = A ε t 2 + B ε t 3 + C ε t 4 D ε t 5 E ε t 6 for t 0 and ε > 0 ,

where A ε , B ε , C ε , D ε , E ε > 0 are bounded for all ε > 0 as follows:

A ε = 1 2 u ε i 2 + 3 H 2 2 R 3 ϕ u ε i ( u ε i ) 2 d x 1 2 , B ε = H R 3 ϕ u ε i ( u ε i ) 2 d x 3 4 , C ε = 1 4 R 3 ϕ u ε i ( u ε i ) 2 d x , D ε = C ˜ 6 R 3 g ( x ) u μ ( u ε i ) 5 d x , E ε = 1 6 R 3 g ( x ) ( u ε i ) 6 d x ,

and

ψ ε ( t ) = 2 A ε t + 3 B ε t 2 + 4 C ε t 3 5 D ε t 4 6 E ε t 5 = t 4 [ ϕ ε , 1 ( t ) ϕ ε , 2 ( t ) ] for t > 0 ,

where

ϕ ε , 1 ( t ) = 2 A ε t 3 + 3 B ε t 2 + 4 C ε t 1 and ϕ ε , 2 ( t ) = 5 D ε + 6 E ε t .

Since ψ ε ( 0 ) = 0 , ψ ε ( t ) , as t + , and ψ ε ( t ) > 0 , as t > 0 small enough, uniformly for all ε and i . Thus, there exists T ε i > 0 such that ψ ε ( T ε i ) = 0 , i.e., ϕ ε , 1 ( T ε i ) ϕ ε , 2 ( T ε i ) = 0 . It is easy to see ϕ ε , 1 ( t ) is strictly decreasing on ( 0 , + ) and ϕ ε , 2 ( t ) is strictly increasing on ( 0 , + ) , then ϕ ε , 1 ( t ) ϕ ε , 2 ( t ) is strictly decreasing on ( 0 , + ) . Thus, T ε i is unique and ψ ε ( T ε i ) = max t 0 ψ ε ( t ) . We have the following two cases.

Case i. If T ε i 0 , as ε 0 , then ψ ε ( T ε i ) 0 , as ε 0 , and we can conclude that

sup t 0 J μ ( u μ + t u ε i ) J μ ( u μ ) = α μ + < α μ + + 1 3 S 3 2 for all ε > 0 small enough .

Case ii. If there is a constant T 1 > 0 (independent of ε and μ ) such that T ε i T 1 > 0 , we suppose that T ε i + , as ε 0 due to ψ ε ( T ε i ) = 0 , then

0 2 A ε ( T ε i ) 3 + 3 B ε ( T ε i ) 2 + 4 C ε T ε i = 5 D ε + 6 E ε T ε i + , as ε 0 ,

which is impossible. Therefore, we choose ε 1 > 0 small enough, there exists a constant 0 < T 2 < + (independent of ε and μ ) such that 0 < T 1 T ε i T 2 < + for ε ( 0 , ε 1 ) . Applying max t 0 A 2 t 2 B 6 t 6 = 1 3 A B 1 3 3 2 , for any A > 0 and B > 0 , from u μ C 1 ( B ρ 0 ( a i ) ¯ ) , ( Q 1 ) , Lemma 3.5, and equations (3.1)–(3.4), one deduces that

sup t 0 J μ ( u μ + t u ε i ) α μ + + 1 3 S 3 2 + C ε 6 5 + C ε 9 5 + C ε 12 5 C { x R 3 : x a i ρ 0 } ( u ε i ) 5 d x α μ + + 1 3 S 3 2 + o ε 1 4 + C ε 6 5 + C ε 9 5 + C ε 12 5 C ε 1 4 .

It follows that there is a ε 0 ( 0 , ε 1 ) small enough such that

sup t 0 J μ ( u μ + t u ε i ) < α μ + + 1 3 S 3 2 , uniformly for 0 i k , for all ε ( 0 , ε 0 ) .

The proof of Lemma 3.5 is finished.□

Lemma 3.7

There exists ε ˜ 0 ( 0 , ε 0 ) small enough, if ε ( 0 , ε ˜ 0 ) , then one has ( t ε i ) = t ( u ε i ) > 0 such that u μ + ( t ε i ) u ε i N μ , for μ ( 0 , μ * ) and 0 i k . Moreover, 0 < α μ < α μ + + 1 3 S 3 2 , where ε 0 is given in Lemma 3.6.

Proof

According to Lemma 2.2, there exists u E \ { 0 } and R 3 g ( x ) u 6 d x > 0 , consequently, there exists unique t ( u ) > 0 such that t ( u ) u N μ . Set

C 1 = u E \ { 0 } : u E < t u u E { 0 } ,

and

C 2 = u E \ { 0 } : u E > t u u E .

Then N μ = u E \ { 0 } : u E = t u u E , thus, E \ N μ = C 1 C 2 and u μ N μ + C 1 . By simple computations, one has a suitable constant A > 0 such that 0 < t u μ + t u ε i u μ + t u ε i E < A for t 0 (see [32, Lemma 3.6 (iii)]). Let t 0 i = A 2 u μ E 2 1 2 u ε i + 1 , then by u μ C 1 ( B ρ 0 ( a i ) ¯ ) , ( Q 1 ) and (3.3)–(3.4), one has

u μ + t 0 i u ε i E 2 u μ E 2 + ( t 0 i ) 2 u ε i 2 + 2 t 0 i μ R 3 f ( x ) u μ p 1 u ε i d x + R 3 g ( x ) u μ 5 u ε i d x R 3 ϕ u μ u μ u ε i d x u μ E 2 + ( t 0 i ) 2 u ε i 2 + C t 0 i { x R 3 : x a i ρ 0 } u ε i d x R 3 ϕ u ε i ( u ε i ) 2 d x 1 4 u μ E 2 + ( t 0 i ) 2 u ε i 2 + C t 0 i ( ε 1 4 ε 3 5 ) > u μ E 2 + ( t 0 i ) 2 u ε i 2 > A 2 t u μ + t u ε i u μ + t 0 i u ε i E 2 for ε > 0 small enough .

Hence, there is a ε ˜ 0 ( 0 , ε 0 ) such that u μ + t 0 i u ε i C 2 , for ε ( 0 , ε ˜ 0 ) . Define h ε ( t ) = u μ + t t 0 i u ε i , t [ 0 , 1 ] . Since h ε ( 0 ) = u μ N μ + C 1 and h ε ( 1 ) = u μ + t 0 i u ε i C 2 , so there exists ( t ε i ) with 0 < ( t ε i ) < t 0 i such that u μ + ( t ε i ) u ε i N μ and

0 < α μ J μ ( u μ + ( t ε i ) u ε i ) sup t 0 J μ ( u μ + t u ε i ) < α μ + + 1 3 S 3 2 .

Then, the proof of Lemma 3.7 is complete.□

Proposition 3.2

Equation (1.1) has a positive solution v μ with v μ N μ , for all μ ( 0 , μ * ) , where μ * is given in Lemma 3.3.

Proof

According to Lemmas 3.4(ii) and 3.7, there is a ( PS ) α μ -sequence { v n } N μ of J μ in E and α μ < α μ + + 1 3 S 3 2 , then applying Lemma 3.3, there exist a subsequence { v n } (still denote by itself) and v μ E such that v n v μ in E . Hence,

J μ ( v μ ) = lim n + J μ ( v n ) = α μ , v μ 0 and J μ ( v μ ) = 0 .

From Lemma 2.3, one obtains that N μ is closed, then v μ N μ . Similar to Proposition 3.1, we can conclude that v μ is a positive solution of equation (1.1). This completes the proof of Proposition 3.2.□

Proof of Theorem 1.1

Applying Propositions 3.1 and 3.2. The proof is complete.□

4 Proof of Theorem 1.2

In this section, we prove Theorem 1.2. We define K = { a i : 1 i k } and K ρ 0 2 = i = 1 k B ρ 0 2 ( a i ) ¯ . Suppose i = 1 k B ρ 0 ( a i ) ¯ B r 0 ( 0 ) for some r 0 > 0 . Let Q : E \ { 0 } R 3 be a barycenter map defined as follows:

Q ( u ) = R 3 X ( x ) u 6 d x R 3 u 6 d x ,

where X : R 3 R 3 and

X ( x ) = x , for x r 0 , r 0 x x , for x > r 0 .

For each 1 i k , we define

O μ i = { u N μ : Q ( u ) a i < ρ 0 } , O μ i = { u N μ : Q ( u ) a i = ρ 0 } , β μ i = inf u O μ i J μ ( u ) and β ˜ μ i = inf u O μ i J μ ( u ) .

Lemma 4.1

There exists ε 0 ( 0 , ε ˜ 0 ) such that for 0 < ε < ε 0 , then Q ( u μ + ( t ε i ) u ε i ) K ρ 0 2 for each 1 i k , where ε ˜ 0 is given in Lemma 3.7.

Proof

Since

Q ( u μ + ( t ε i ) u ε i ) = R 3 X ( x ) u μ + ( t ε i ) η i ( x ) U ε ( x a i ) 6 d x R 3 u μ + ( t ε i ) η i ( x ) U ε ( x a i ) 2 * d x = R 3 X ( ε x + a i ) ε 1 4 u μ ( ε x + a i ) + ( t ε i ) η i ( ε x + a i ) U ( x ) 6 d x R 3 ε 1 4 u μ ( ε x + a i ) + ( t ε i ) η i ( ε x + a i ) U ( x ) 6 d x a i , as ε 0 + .

There exists ε 0 ( 0 , ε ˜ 0 ) such that

Q ( u μ + ( t ε i ) u ε i ) K ρ 0 2 for any 0 < ε < ε 0 and each 1 i k .

This completes the proof of Lemma 4.1.□

Let

J 0 ( u ) = 1 2 R 3 u 2 d x + 1 4 R 3 ϕ u u 2 d x 1 6 R 3 g ( x ) u 6 d x ,

and we have the following lemma.

Lemma 4.2

α 0 = inf u N 0 J 0 ( u ) = 1 3 S 3 2 ,

where N 0 = { u E \ { 0 } : J 0 ( u ) , u = 0 } .

Proof

Let u N 0 , then J 0 ( u ) , u = 0 and

R 3 u 2 d x + R 3 ϕ u u 2 d x = R 3 g ( x ) u 6 d x .

Thus, we can assume that

R 3 u 2 d x = l 1 > 0 , R 3 g ( x ) u 6 d x = l 2 > 0 .

Obviously, l 2 l 1 > 0 . By the definition of S , we have l 2 l 1 S l 2 1 3 , thus, l 2 S 3 2 and l 1 S 3 2 . Then, we have

J 0 ( u ) = J 0 ( u ) 1 4 J 0 ( u ) , u = 1 4 l 1 + 1 12 l 2 1 3 S 3 2 .

Thus, α 0 = inf u N 0 J 0 ( u ) 1 3 S 3 2 .

On the other hand, similar to Lemma 2.2, there exists t ε , 0 i > 0 such that

sup t 0 J 0 ( t u ε i ) = J 0 ( t ε , 0 i u ε i ) and t ε , 0 i u ε i N 0 .

Moreover, we also conclude that t ε , 0 i is uniformly bounded as the proof of Lemma 3.6. Applying equations (3.1), (3.2), and (3.4) and Lemma 3.5, one has

α 0 J 0 ( t ε , 0 i u ε i ) 1 3 S 3 2 + o ε 1 4 + O ( ε 12 5 ) 1 3 S 3 2 , as ε 0 + .

Therefore, we obtain α 0 = inf u N 0 J 0 ( u ) = 1 3 S 3 2 . The proof is complete.□

Lemma 4.3

Let { v n } E be a nonnegative function sequence with v n 6 = 1 and R 3 v n 2 d x S . Then, there exists a sequence { ( y n , ε n ) } R 3 × R + such that

v n ( x ) S 1 4 U ε n ( x y n ) + o ( 1 ) .

Moreover, if y n y , then ε n 0 or it is unbounded.

Proof

Similar to ([4], Corollary 2.11)□

Lemma 4.4

There is a number δ 0 > 0 such that if u N 0 and J 0 ( u ) 1 3 S 3 2 + δ 0 , then Q ( u ) K ρ 0 2 .

Proof

Assuming the contrary, there is a sequence { u n } N 0 such that J 0 ( u n ) = 1 3 S 3 2 + o ( 1 ) as n + and Q ( u n ) K ρ 0 2 , for all n N . First of all, for { u n } N 0 , we have

R 3 u n 2 d x + R 3 ϕ u n u n 2 d x = R 3 g ( x ) u n 6 d x ,

and it is easy to show that { u n } is bounded in E . Set

R 3 u n 2 d x l 1 , R 3 g ( x ) u n 6 d x l 2 , as n + ,

and similarly, we deduce that l 1 1 3 S 3 2 and l 2 1 3 S 3 2 . Moreover, we can obtain

1 3 S 3 2 + o ( 1 ) = J 0 ( u n ) 1 4 J 0 ( u n ) , u n = 1 4 R 3 u n 2 d x + 1 12 R 3 g ( x ) u n 6 d x = 1 4 l 1 + 1 12 l 2 + o ( 1 ) 1 3 S 3 2 + o ( 1 ) ,

it follows that

(4.1) R 3 u n 2 d x S 3 2 and R 3 g ( x ) u n 6 d x S 3 2 , as n + .

Since J 0 ( u n ) , u n = J 0 ( u n ) , u n , i.e., { u n } N 0 and J 0 ( u n ) = J 0 ( u n ) = 1 3 S 3 2 + o ( 1 ) , as n + , we can assume that u n 0 . Define

v n = u n u n 6 0 ,

we deduce that v n 6 = 1 and R 3 v n 2 d x S . Then, by Lemma 4.3, there exists a sequence { ( y n , ε n ) } R 3 × R + such that

v n ( x ) S 1 4 U ε n ( x y n ) + o ( 1 ) .

Moreover, if y n y , then ε n 0 or it is unbounded.

Case i. Suppose y n + , by equations (2.3) and (4.1), one obtains

1 = R 3 g ( x ) u n 6 d x R 3 u n 6 d x + o ( 1 ) = R 3 g ( x ) v n 6 d x + o ( 1 ) = S 3 2 R 3 g ( x ) U ε n ( x y n ) 6 d x + o ( 1 ) = S 3 2 R 3 g ( y n + ε n x ) U ( x ) 6 d x + o ( 1 ) = g as n + ,

and this is impossible since g < 1 .

Case ii. Suppose y n y and ε n 0 , it holds that

1 = R 3 g ( x ) u n 6 d x R 3 u n 6 d x + o ( 1 ) = R 3 g ( x ) v n 6 d x + o ( 1 ) = S 3 2 R 3 g ( x ) U ε n ( x y n ) 6 d x + o ( 1 ) = S 3 2 R 3 g ( y n + ε n x ) U ( x ) 6 d x + o ( 1 ) = g ( y ) as n + ,

which implies that y K . Applying the general Lebesgue dominated convergence theorem, we deduce that

Q ( u n ) = R 3 X ( x ) u n 6 d x R 3 u n 6 d x = R 3 X ( x ) v n 6 d x = S 3 2 R 3 X ( x ) U ε n ( x y n ) 6 d x + o ( 1 ) = S 3 2 R 3 X ( y n + ε n x ) U ( x ) 6 d x + o ( 1 ) = y , as n + ,

which contradicts our assumption. We complete the proof.□

Lemma 4.5

If u N μ and J μ ( u ) 1 3 S 3 2 + δ 0 2 , then there exists μ * ( 0 , μ * ) small enough such that Q ( u ) K ρ 0 2 for all μ ( 0 , μ * ) , where μ * and δ 0 are defined in Lemmas 3.3 and 4.4, respectively.

Proof

For u N μ , it follows from equation (2.8) that

R 3 g ( x ) u 6 d x > 2 p 6 p M ( u ) > 0 .

Similar to Lemma 2.2, there is t u > 0 such that t u u N 0 , i.e.,

R 3 u 2 d x + t u 2 R 3 ϕ u u 2 d x = t u 4 R 3 g ( x ) u 6 d x ,

we claim that t u < C 1 , for some C 1 > 0 (independent of u ). If not, we suppose that there exists { t u n } + , as n + . Then,

R 3 g ( x ) u n 6 d x = t u n 4 R 3 u n 2 d x + t u n 2 R 3 ϕ u n u n 2 d x 0 , as n + .

Since u n N μ , then

R 3 u n 2 d x + R 3 ϕ u n u n 2 d x = μ R 3 f ( x ) u n p d x + R 3 g ( x ) u n 6 d x μ f r u n 6 p + R 3 g ( x ) u n 6 d x 0

as n + . This contradicts J μ ( u n ) α μ c 0 > 0 due to Lemma 2.4 (ii). Moreover, it holds that

J μ ( u ) = sup t 0 J μ ( t u ) J μ ( t u u ) = J 0 ( t u u ) t u p p μ R 3 f ( x ) u p d x J 0 ( t u u ) C 1 p p μ f r S p 2 u E p .

One deduces from Lemma 2.1 that there exists a constant C 2 > 0 such that u E C 2 , then

J 0 ( t u u ) 1 3 S 3 2 + δ 0 2 + μ C 1 p C 2 p p f r S p 2 ,

and there exists sufficiently small μ * ( 0 , μ * ) such that J 0 ( t u u ) 1 3 S 3 2 + δ 0 , for μ ( 0 , μ * ) . Then, Q ( u ) = Q ( t u u ) K ρ 0 2 for all μ ( 0 , μ * ) . The proof of Lemma 4.5 is finished.□

Lemma 4.6

Given u O μ i , then there exist τ > 0 and a differentiable function l : B ( 0 ; τ ) E R + such that l ( 0 ) = 1 and l ( v ) ( u v ) O μ i for any v E B ( 0 ; τ ) and

(4.2) l ( 0 ) , φ = Ψ μ ( u ) , φ Ψ μ ( u ) , u for a n y φ C 0 ( R 3 ) .

Proof

Similar to [15, Lemma 4.7], we omit it.□

According to Lemma 4.1, one has u μ + ( t ε i ) u ε i O μ i , for 0 < ε 0 ε ˜ 0 , then by Lemma 3.6,

(4.3) β μ i J μ ( u μ + ( t ε i ) u ε i ) < α μ + + 1 3 S 3 2 for any ε ( 0 , ε 0 ) and μ ( 0 , μ * ) .

From Lemma 4.5 and the definition of β ˜ μ i , we obtain

(4.4) β ˜ μ i > 1 3 S 3 2 + δ 0 2 for any μ ( 0 , μ * ) .

Thus, for each 1 i k , by equations (4.3) and (4.4), we have

(4.5) β μ i < β ˜ μ i for any μ ( 0 , μ * ) .

Then,

β μ i = inf u O μ i O μ i J μ ( u ) for any μ ( 0 , μ * ) .

Applying Ekeland’s variational principle, we have the following lemma.

Lemma 4.7

For each 1 i k , there is a ( PS ) β μ i -sequence { u n } O μ i in E for J μ , for all μ ( 0 , μ * ) , where μ * > 0 is defined in Lemma 4.5.

Proof

Let { u n i } O μ i O μ i be a minimizing sequence for β μ i . Applying Ekeland’s variational principle, there is a subsequence { u n i } such that J λ , μ ( u n i ) = β μ i + 1 n and

(4.6) J μ ( u n i ) J μ ( w ) + w u n i E n for all w O μ i O μ i .

By equation (4.5), we can assume that u n i O μ i for sufficiently large n . From Lemma 4.6, there are τ n i > 0 and a differentiable functional l n i : B ( 0 ; τ n i ) E R + such that l n i ( 0 ) = 1 , l n i ( v ) ( u n i v ) O μ i for v B ( 0 ; τ n i ) . Let v ς = ς v with v E = 1 and 0 < ς < τ n i . Then, v ς B ( 0 ; τ n i ) and w ς , n i = l n i ( v ς ) ( u n i v ς ) O μ i . By equation (4.6) and using the mean value theorem, we deduce that as ς 0 ,

w ς , n i u n i E n J μ ( u n i ) J μ ( w ς , n i ) = J ( t 0 u n i + ( 1 t 0 ) w ς , n i ) , u n i w ς , n i ( where t 0 ( 0 , 1 ) ) = J μ ( u n i ) , u n i w ς , n i + o ( w ς , n i u n i E ) ( due to J μ C 1 ) = ς l n i ( v ς ) J ( u n i ) , v + ( 1 l n i ( v ς ) ) J μ ( u n i ) , u n i + o ( w ς , n i u n i E ) = ς l n i ( ς v ) J μ ( u n i ) , v + o ( w ς , n i u n i E ) ( due to u n i N μ ) ,

where o ( w ς , n i u n i E ) w ς , n i u n i E 0 as ς 0 . Thus,

J μ ( u n i ) , v w ς , n i u n i E 1 n + o ( 1 ) ς l n i ( ς v ) u n i ( l n i ( ς v ) l n i ( 0 ) ) ς v l n i ( ς v ) E 1 n + o ( 1 ) ς l n i ( ς v ) u n i E l n i ( ς v ) l n i ( 0 ) + ς v E l n i ( ς v ) ς l n i ( ς v ) 1 n + o ( 1 ) C ( 1 + ( l n i ) ( 0 ) E ) 1 n + o ( 1 ) ,

where o ( 1 ) 0 as ς 0 . It follows from equation (2.4), Proposition 2.1, and the Hölder’s inequality that ( l n i ) ( 0 ) E C for all n and i , then J μ ( u n i ) 0 as n + in E (the dual space of the Sobolev space E ), then { u n i } O μ i is a ( PS ) β μ i -sequence in E for J μ .□

Proof of Theorem 1.2

By Lemma 4.7, there exists a ( PS ) β μ i -sequence { u n } O μ i for J μ in E , for all μ ( 0 , μ * ) , where 1 i k . We deduce from equation (4.3) and Lemma 3.3 that J μ has at least k distinct nontrivial critical points in N μ . If we consider

(4.7) J μ + ( u ) = 1 2 R 3 u 2 d x + 1 4 R 3 ϕ u u 2 d x μ q R 3 f ( x ) ( u + ) q d x 1 6 R 3 g ( x ) ( u + ) 6 d x ,

where u + = max { u , 0 } . By repeating all the steps in the article to J μ + , we obtain that J μ + has at least k nontrivial and nonnegative critical points in E . Applying the maximum principle, equation (1.1) has at least k positive solutions in N μ . By Propositions 3.1, we obtain that equation (1.1) has at least k + 1 positive solutions in E . The proof is complete.□

Acknowledgements

The authors express their gratitude to the reviewers for their careful reading and helpful suggestions, which led to an improvement of the original manuscript.

  1. Funding information: Supported by the PhD research startup foundation of Jinling Institute of Technology (jit-b-202225), the Natural Science Foundation of Sichuan (2023NSFSC0073), the Science and Technology Foundation of Guizhou Province (ZK[2022]199), and the Natural Science Research Project of Department of Education of Guizhou Province (QJJ2023012, QJJ2023061, and QJJ2023062).

  2. Conflict of interest: The authors state that there is no conflict of interest.

References

[1] C. Alves, M. Souto, and S. Soares, Schrödinger-Poisson equations without Ambrosetti-Rabinowitz condition, J. Math. Anal. Appl. 377 (2011), no. 2, 584–592. 10.1016/j.jmaa.2010.11.031Search in Google Scholar

[2] A. Ambrosetti and D. Ruiz, Multiple bounded states for Schrödinger-Poisson problem, Commun. Contemp. Math. 10 (2008), 391–404. 10.1142/S021919970800282XSearch in Google Scholar

[3] J. Bellazzini, M. Ghimenti, C. Mercuri, V. Moroz, and J. Van Schaftingen, Sharp Gagliardo-Nirenberg inequalities in fractional Coulomb-Sobolev spaces, Trans. Amer. Math. Soc. 370 (2018), no. 11, 8285–8310. 10.1090/tran/7426Search in Google Scholar

[4] V. Benci and G. Cerami, Existence of positive solutions of the equation −△u+a(x)u=uN+2N−2, J. Funct. Anal. 88 (1990), 90–117. 10.1016/0022-1236(90)90120-ASearch in Google Scholar

[5] V. Benci and D. Fortunato, An eigenvalue problem for the Schrödinger-Maxwell equations, Topol. Methods Nonlinear Anal. 11 (1998), no. 2, 283–293. 10.12775/TMNA.1998.019Search in Google Scholar

[6] H. Bersstycki and P. Lions, Nonlinear scalar field equations I. Existence of a ground state, Arch. Ration. Mech. Anal. 82 (1983), no. 4, 313–345. 10.1007/BF00250555Search in Google Scholar

[7] D. Cao and J. Chabrowski, Multiple solutions of nonhomogeneous elliptic equation with critical nonlinearity, Differential Integral Equations 10 (1997), no. 5, 797–814. 10.57262/die/1367438620Search in Google Scholar

[8] D. Cao and H. Zhou, Multiple positive solutions of nonhomogeneous semilinear elliptic equations in RN, Proc. Roy. Soc. Edinburgh Sect. A 126 (1996), no. 2, 443–463. 10.1017/S0308210500022836Search in Google Scholar

[9] H. Fan, Multiple positive solutions for Kirchhoff-type problems in R3 involving critical Sobolev exponents, Z. Angew. Math. Phys. (2016), no. 5, Art. 129, 27pp. 10.1007/s00033-016-0723-2Search in Google Scholar

[10] I. Ianni and D. Ruiz, Ground and bound states for a static Schrödinger-Poisson-Slater problem, Commun. Contemp. Math. 14 (2012), no. 1, Art. 1250003, 22pp. 10.1142/S0219199712500034Search in Google Scholar

[11] C. Le Bris and P. Lions, From atoms to crystals: A mathematical journey, Bull. Amer. Math. Soc. (N.S.) 42 (2005), no. 3, 291–363. 10.1090/S0273-0979-05-01059-1Search in Google Scholar

[12] C. Lei and Y. Lei, On the existence of ground states of an equation of Schrödinger-Poisson-Slater type, C. R. Math. Acad. Sci. Paris 359 (2021), 219–227. 10.5802/crmath.175Search in Google Scholar

[13] C. Lei, T. Zheng, and H. Fan, Positive solutions for a critical elliptic problem involving singular nonlinearity, J. Math. Anal. Appl. 498 (2021), no. 2, Paper No. 24969, 23pp. 10.1016/j.jmaa.2021.124969Search in Google Scholar

[14] J. Liao, J. Liu, P. Zhang, and C. Tang, Existence and multiplicity of positive solutions for a class of elliptic equations involving critical Sobolev exponents, Rev. R. Acad. Cienc. Exactas Fiiiis. Nat. Ser. A Mat. RACSAM 110 (2016), no. 2, 483–501. 10.1007/s13398-015-0244-4Search in Google Scholar

[15] J. Liao, Y. Pu, and C. Tang, Multiplicity of positive solutions for a class of concave-convex elliptic equations with critical growth, Acta Math. Sci. Ser. B (Engl. Ed.) 38 (2018), no. 2, 497–518. 10.1016/S0252-9602(18)30763-XSearch in Google Scholar

[16] E. Lieb, Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities, Ann. Math. 118 (1983), no. 2, 349–374. 10.2307/2007032Search in Google Scholar

[17] H. Lin, Multiple positive solutions for semilinear systems, J. Math. Anal. Appl. 391 (2012), no. 1, 107–118. 10.1016/j.jmaa.2012.02.028Search in Google Scholar

[18] P. Lions, The concentration-compactness principle in the calculus of variations: The limit case, part 1, Rev. Mat. Iberoamericana 1 (1985), no. 1, 145–201. 10.4171/rmi/6Search in Google Scholar

[19] H. Liu, H. Chen, and X. Yang, Multiple solutions for superlinear Schrödinger-Poisson system with sign-changing potential and nonlinearity, Comput. Math. Appl. 68 (2014), no. 12, part A, 1982–1990. 10.1016/j.camwa.2014.09.021Search in Google Scholar

[20] Z. Liu, Z. Zhang, and S. Huang, Existence and nonexistence of positive solutions for astatic Schrödinger-Poisson-Slater equation, J. Differential Equations 266 (2019), no. 9, 5912–5941. 10.1016/j.jde.2018.10.048Search in Google Scholar

[21] P. Ma and J. Zhang, Existence and multiplicity of solutions for fractional Choquard equations, Nonlinear Anal. 164 (2017), 100–117. 10.1016/j.na.2017.07.011Search in Google Scholar

[22] J. Mauser, The Schördinger-Poisson-Xα equation, Appl. Math. Lett. 14 (2001), 759–763. 10.1016/S0893-9659(01)80038-0Search in Google Scholar

[23] C. Mercuri, V. Moroz, and J. Van Schaftingen, Ground states and radial solutions to nonlinear Schrödinger-Poisson-Slater equations at the critical frequency, Calc. Var. Partial Differential Equations 55 (2016), 58. 10.1007/s00526-016-1079-3Search in Google Scholar

[24] D. Ruiz, The Schrödinger-Poisson equation under the effect of a nonlinear local term, J. Funct. Anal. 237 (2006), no. 2, 655–674. 10.1016/j.jfa.2006.04.005Search in Google Scholar

[25] D. Ruiz, On the Schrödinger-Poisson-Slater system: behavior of minimizers, radial and nonradial cases, Arch. Ration. Mech. Anal. 198 (2010), no. 1, 349–368. 10.1007/s00205-010-0299-5Search in Google Scholar

[26] D. Ruiz and G. Vaira, Cluster solutions for the Schrödinger-Poisson-Slater problem around a local minimum of potential, Rev. Mat. Iberoam. 27 (2011), 253–271. 10.4171/rmi/635Search in Google Scholar

[27] J. Slater, A simplification of the Hartree-Fock method, Phys. Rev. 81 (1951), 385–390. 10.1103/PhysRev.81.385Search in Google Scholar

[28] M. Struwe, Variational Methods, 2nd edn. Springer, Berlin, 1996. 10.1007/978-3-662-03212-1Search in Google Scholar

[29] J. Sun, T. Wu, and Z. Feng, Multiplicity of positive solutions for a nonlinear Schrödinger-Poisson system, J. Differential Equations 260 (2016), no. 1, 586–627. 10.1016/j.jde.2015.09.002Search in Google Scholar

[30] G. Tarantello, On nonhomogeneous elliptic equations involving critical Sobolev exponent, Ann. Inst. H. Poincaré Anal. Non Lineairé 9 (1992), no. 3, 218–304. 10.1016/s0294-1449(16)30238-4Search in Google Scholar

[31] W. Willem, Minimax Theorems, Progress in Nonlinear Differential Equations and their Applications, vol. 24. Birkhäuser, Boston, 1996. Search in Google Scholar

[32] T. Wu, Three positive solutions for Dirichlet problems involving critical Sobolev exponent and sign-changing weight, J. Differential Equations 249 (2010), no. 7, 1549–1578. 10.1016/j.jde.2010.07.021Search in Google Scholar

[33] L. Yang and Z. Liu, Infinitely many solutions for a zero mass Schrödinger-Poisson-Slater problem with critical growth, J. Appl. Anal. Comput. 9 (2019), no. 5, 1706–1718. 10.11948/20180273Search in Google Scholar

[34] T. Zheng, C. Lei, and J. Liao, Multiple positive solutions for a Schrödinger-Poisson-Slater equation with critical growth, J. Math. Anal. Appl. 525 (2023), no. 2, Paper No. 127206, 26pp. 10.1016/j.jmaa.2023.127206Search in Google Scholar

Received: 2022-08-26
Revised: 2023-02-17
Accepted: 2024-01-04
Published Online: 2024-03-01

© 2024 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. Regular Articles
  2. Existence of normalized peak solutions for a coupled nonlinear Schrödinger system
  3. Orbital stability of the trains of peaked solitary waves for the modified Camassa-Holm-Novikov equation
  4. Global boundedness in a two-dimensional chemotaxis system with nonlinear diffusion and singular sensitivity
  5. Existence and uniqueness of solution for a singular elliptic differential equation
  6. The bounded variation capacity and Sobolev-type inequalities on Dirichlet spaces
  7. Vanishing and blow-up solutions to a class of nonlinear complex differential equations near the singular point
  8. Existence, uniqueness, localization and minimization property of positive solutions for non-local problems involving discontinuous Kirchhoff functions
  9. Concentration phenomena for a fractional relativistic Schrödinger equation with critical growth
  10. Beyond the classical strong maximum principle: Sign-changing forcing term and flat solutions
  11. Monotonicity of solutions for parabolic equations involving nonlocal Monge-Ampère operator
  12. On a nonlinear Robin problem with an absorption term on the boundary and L1 data
  13. Multiple solutions for the quasilinear Choquard equation with Berestycki-Lions-type nonlinearities
  14. Gradient estimates for a class of higher-order elliptic equations of p-growth over a nonsmooth domain
  15. Global existence and decay estimates of the classical solution to the compressible Navier-Stokes-Smoluchowski equations in ℝ3
  16. Global existence and finite-time blowup for a mixed pseudo-parabolic r(x)-Laplacian equation
  17. Multiple positive solutions for a class of concave-convex Schrödinger-Poisson-Slater equations with critical exponent
  18. A minimization problem with free boundary for p-Laplacian weakly coupled system
  19. Multiplicity of semiclassical solutions for a class of nonlinear Hamiltonian elliptic system
  20. k-convex solutions for multiparameter Dirichlet systems with k-Hessian operator and Lane-Emden type nonlinearities
  21. Infinitely many solutions for Hamiltonian system with critical growth
  22. On optimal control in a nonlinear interface problem described by hemivariational inequalities
  23. Variational–hemivariational system for contaminant convection–reaction–diffusion model of recovered fracturing fluid
  24. Potential and monotone homeomorphisms in Banach spaces
  25. Critical fractional Schrödinger-Poisson systems with lower perturbations: the existence and concentration behavior of ground state solutions
  26. Supercritical Hénon-type equation with a forcing term
  27. Concentration of blow-up solutions for the Gross-Pitaveskii equation
  28. Mountain-pass-type solutions for Schrödinger equations in R2 with unbounded or vanishing potentials and critical exponential growth nonlinearities
  29. Regularity for critical fractional Choquard equation with singular potential and its applications
  30. Double phase anisotropic variational problems involving critical growth
  31. Normalized solutions of NLS equations with mixed nonlocal nonlinearities
  32. Nontrivial solutions for resonance quasilinear elliptic systems
  33. Standing waves for Choquard equation with noncritical rotation
  34. Low regularity conservation laws for Fokas-Lenells equation and Camassa-Holm equation
  35. Modified quasilinear equations with strongly singular and critical exponential nonlinearity
  36. Limit profiles and the existence of bound-states in exterior domains for fractional Choquard equations with critical exponent
  37. Nests of limit cycles in quadratic systems
  38. Regularity of minimizers for double phase functionals of borderline case with variable exponents
  39. Boundedness, existence and uniqueness results for coupled gradient dependent elliptic systems with nonlinear boundary condition
  40. Ground state solutions for magnetic Schrödinger equations with polynomial growth
  41. Nonoccurrence of Lavrentiev gap for a class of functionals with nonstandard growth
  42. Dynamics for wave equations connected in parallel with nonlinear localized damping
  43. Boussinesq's equation for water waves: Asymptotics in Sector I
  44. Optimal global second-order regularity and improved integrability for parabolic equations with variable growth
  45. Normalized solutions of Schrödinger equations involving Moser-Trudinger critical growth
  46. Normalized solutions for the double-phase problem with nonlocal reaction
  47. Normalized solutions for Sobolev critical fractional Schrödinger equation
  48. Well-posedness of Cauchy problem of fractional drift diffusion system in non-critical spaces with power-law nonlinearity
  49. Improved results on planar Klein-Gordon-Maxwell system with critical exponential growth
  50. Existence and multiplicity of solutions for a new p(x)-Kirchhoff equation
  51. Quasiconvex bulk and surface energies: C1,α regularity
  52. Time decay estimates of solutions to a two-phase flow model in the whole space
  53. Bounds for the sum of the first k-eigenvalues of Dirichlet problem with logarithmic order of Klein-Gordon operators
  54. The properties of a new fractional g-Laplacian Monge-Ampère operator and its applications
  55. A fractional profile decomposition and its application to Kirchhoff-type fractional problems with prescribed mass
  56. Cauchy problem for a non-Newtonian filtration equation with slowly decaying volumetric moisture content
  57. Multiplicity of normalized semi-classical states for a class of nonlinear Choquard equations
  58. The second Yamabe invariant with boundary
  59. Peaked solitary waves and shock waves of the Degasperis-Procesi-Kadomtsev-Petviashvili equation
  60. Normalized solutions for the Choquard equations with critical nonlinearities
  61. Boundedness and long-time behavior in a parabolic-elliptic system arising from biological transport networks
  62. Initial boundary value problem and exponential stability for the planar magnetohydrodynamics equations with temperature-dependent viscosity
  63. Nonexistence of mean curvature flow solitons with polynomial volume growth immersed in certain semi-Riemannian warped products
  64. Analysis of a vector-borne disease model with vector-bias mechanism in advective heterogeneous environment
  65. Normalized solutions for the Kirchhoff equation with combined nonlinearities in ℝ4
  66. Nonexistence of the compressible Euler equations with space-dependent damping in high dimensions
  67. Multiplicity of solutions for a nonhomogeneous quasilinear elliptic equation with concave-convex nonlinearities
  68. On semilinear inequalities involving the Dunkl Laplacian and an inverse-square potential outside a ball
  69. Besov regularity for the elliptic p-harmonic equations in the non-quadratic case
  70. Uniqueness and nondegeneracy of ground states for Δ u + u = ( I α u 2 ) u in R 3 when α is close to 2
  71. Existence of solutions for a class of quasilinear Schrödinger equations with Choquard-type nonlinearity
  72. Weighted Hardy-Adams inequality on unit ball of any even dimension
  73. Existence and regularity for a p-Laplacian problem in ℝN with singular, convective, and critical reaction
  74. Temporal periodic solutions of non-isentropic compressible Euler equations with geometric effects
  75. Nodal solutions for a zero-mass Chern-Simons-Schrödinger equation
  76. The modified quasi-boundary-value method for an ill-posed generalized elliptic problem
  77. Nonlocal heat equations with generalized fractional Laplacian
  78. Choquard equations with recurrent potentials
  79. Local and global well-posedness of the Maxwell-Bloch system of equations with inhomogeneous broadening
  80. The Riemann problem for two-layer shallow water equations with bottom topography
  81. Global stability and asymptotic profiles of a partially degenerate reaction diffusion Cholera model with asymptomatic individuals
  82. On Kirchhoff-Schrödinger-Poisson-type systems with singular and critical nonlinearity
  83. Energy-variational solutions for viscoelastic fluid models
  84. Stability on 3D Boussinesq system with mixed partial dissipation
  85. Existence and multiplicity results for non-autonomous second-order Hamiltonian systems
  86. Erratum
  87. Erratum to “Normalized solutions for the Kirchhoff equation with combined nonlinearities in ℝ4
Downloaded on 7.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/anona-2023-0129/html
Scroll to top button