Ground State Solutions for a Kind of Schrödinger-Poisson System with Upper Critical Exponential Convolution Term

Abstract

This paper mainly discusses the following equation: where the potential function V : R3 → R, α ∈ (0,3), λ > 0 is a parameter and Iα is the Riesz potential. We study a class of Schrödinger-Poisson system with convolution term for upper critical exponent. By using some new tricks and Nehair-Pohožave manifold which is presented to overcome the difficulties due to the presence of upper critical exponential convolution term, we prove that the above problem admits a ground state solution.

Share and Cite:

Tang, Y. and Zhang, Q. (2022) Ground State Solutions for a Kind of Schrödinger-Poisson System with Upper Critical Exponential Convolution Term. Journal of Applied Mathematics and Physics, 10, 576-588. doi: 10.4236/jamp.2022.102042.

1. Introduction

Recently, the following Schrödinger-Poisson system has been studied widely by researchers

{ Δ u + V ( x ) u + λ ϕ u = f ( u ) , x N ; Δ ϕ = u 2 , x N , (1.1)

where λ > 0 , N 3 , the external potential function V C ( 3 , ) and the nonlinearity f C ( 3 × , ) . (1.1) is also called Schrödinger-Maxwell system, which appears in an amusing physical background. In fact, based on a classical physical model, coupled nonlinear Schrödinger-Poisson equation can be used to describe the interaction between charge particles and electromagnetic field. For more physical contexts of the Schrödinger-Poisson system, we refer the readers to the papers [1] [2] and the references therein.

There are lots of extended research on (1.1) in 3 . When V ( x ) V > 0 is a constant and N = 3 , Khoutir [3] proved that (1.1) possesses a least energy sign-changing solution and a ground state solution by variational methods under some relaxed assumptions on f. When λ = 1 , (1.1) reduces to the following class of Schrödinger-Possion system

{ Δ u + V ( x ) u + ϕ u = f ( u ) , x N ; Δ ϕ = u 2 , x N , (1.2)

when V ( x ) = 1 , by introducing some new variational and analytic techniques, Chen, Shi and Tang [4] showed that (1.2) has a nontrivial solution of mountain pass type and a ground state solution of Neheri-Pohožaev type in 2 . By variational methods and Miranda’s theorem, Alves et al. [5] proved that (1.2) admits a least energy sign-changing solution in 3 when f satisfies some special assumptions. Similarly, combining constraint variational method and quantitative deformation lemma, Shuai and Wang [6] proved that (1.1) possesses a sign-changing solution u λ . Moreover, they showed that any sign-changing solution of (1.1) has energy exceeding more than twice the least energy. There are a lot of works about (1.2) and we refer to the literature [6] [7] and references therein.

Without the internal potential ϕ u , (1.1) reduces to the following Schrödinger equation:

{ Δ u + V ( x ) u = f ( u ) , x N ; u H 1 ( N ) . (1.3)

Using Berestycki-Lions conditions on f, Chen and Tang [8] studied generalized nonlinear Schrödinger equation with variable potential. By introducing skillful ideas and relaxed assumptions on V ( x ) , they obtain a ground state solution of Pohožaev type and a least energy solution. Besides, there are many results of sign-changing ground state solutions of (1.3). We refer to [9] - [15] and references therein.

Let λ = 1 and f ( u ) = ( I α G ( u ) ) g ( u ) , the Schrödinger-Poisson system (1.1) becomes the following equation with convolution nonlinearity.

{ Δ u + V ( x ) u + ϕ u = ( I α G ( u ) ) g ( u ) , x 3 ; Δ ϕ = u 2 , x 3 , (1.4)

where α ( 0,3 ) , g C ( , ) and G ( u ) = 0 t g ( s ) d s . Under mild assumptions on nonlinear perturbation g and V, Chen and Tang [11] proved that (1.4) has a ground state solution in two cases by using new inequalities. In their work, when 0 < α < 2 , they established the Nehari-Pohožaev manifold and proved that (1.4) has a solution. Next, they defined the Nehari manifold to obtain the existence of the solution when 2 α < 3 . For more details about assumptions and techniques of (1.4), we refer to [6] [11] [16] [17] [18].

In this paper, we mainly focus on the following equations:

{ Δ u + V ( x ) u + λ ϕ u = ( I α | u | 3 + α ) | u | 1 + α u , x 3 ; Δ ϕ = u 2 , x 3 , (1.5)

where V satisfies the following assumptions:

(V1) V C ( 3 , [ 0, ) ) , V ( x ) V : = lim | x | V ( x ) for all x 3 and V > 0 ;

(V2) V C ( 3 ) , the set { x 3 : | V ( x ) x | ε } has finite Lebesgue measure for every ε > 0 , and the function t t 2 [ V ( t x ) V ( t x ) ( t x ) ] is increasing on ( 0, ) for every x 3 .

In three-dimensional space, the Riesz potential I α is defined as a function of 3 :

I α ( x ) = Γ ( 3 α 2 ) Γ ( α 2 ) 2 α π 3 / 2 | x | 3 α , x 3 \ { 0 } ,

where Γ ( ) is the Gamma function. It is widely known that for any u H 1 ( 3 ) , there exists a unique ϕ u D 1,2 ( 3 ) such that Δ ϕ = u 2 by using the Lax-Milgram theorem, moreover,

ϕ u ( x ) = 3 u 2 ( y ) | x y | d y = 1 | x | u 2 . (1.6)

Inserting (1.6) into (1.5), we get the following equation

Δ u + V ( x ) u + ϕ u ( x ) u = ( I α | u | 3 + α ) | u | 1 + α u . (1.7)

The following inequality, which is a special case of Hardy-Littlewood-Sobolev inequality, plays a significant role in resolving the difficulty of relatively compact. There exists sharp constant S, independent of u, such that

[ 3 ( I α | u | 3 + α ) | u | 3 + α d x ] 1 3 + α S 1 3 | u | 2 d x , (1.8)

whose external function is

u ( x ) = C ( λ 1 λ 1 2 + | x | 2 ) 1 2 , (1.9)

3 ( I α | u | 3 + α ) | u | 3 + α d x is invariant under dilations λ 1 1 2 u ( λ ) [19]. Next, we define the energy functional:

E ( u ) = 1 2 3 [ | u | 2 + V ( x ) u 2 ] d x + λ 4 3 ϕ u ( x ) u 2 d x 1 2 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x . (1.10)

Then for any u , v H 1 ( 3 ) ,

E ( u ) , v = 3 [ u v + V ( x ) u v ] d x + λ 3 ϕ u ( x ) u v d x 3 ( I α | u | 3 + α ) | u | 2 + α v d x . (1.11)

To state our result, we define the Nehari-Pohožaev manifold as follows:

M : = { u H 1 ( 3 ) \ { 0 } : J ( u ) : = 2 E ( u ) , u P ( u ) = 0 } (1.12)

where

P ( u ) = 1 2 u 2 2 + 1 2 3 [ 3 V ( x ) + V ( x ) x ] u 2 d x + 5 λ 4 3 ϕ u u 2 d x 1 2 3 ( I α | u | 3 + α ) | u | 3 + α d x . (1.13)

Our main result is as follows.

Theorem 1.1. Assume 0 < α < 3 , V satisfies (V1), (V2). Then problem (1.5) has a ground state solution u ¯ H 1 ( 3 ) such that

E ( u ¯ ) = inf M E = inf u H 1 ( 3 ) \ { 0 } max t > 0 E ( t 2 u t ) > 0. (1.14)

Notations.

H 1 ( 3 ) denotes the usual Sobolev space equipped with the inner product and norm

( u , v ) = 3 ( u v + u v ) d x , u = ( u , u ) 1 / 2 , u , v H 1 ( 3 ) .

L s ( 3 ) ( 1 < s < ) denotes the Lebesgue space with the norm u s = ( 3 | u | s d x ) 1 / s .

● For any u H 1 ( 3 ) and r > 0 , B r ( x ) : = { y : | y x | < r } .

● For any u H 1 ( 3 ) \ { 0 } , u t ( x ) : = u ( t x ) for t > 0 .

C 1 , C 2 , C 3 , denote positive constants possibly different in different places.

2. Preliminaries

As usual, we assume 0 < α < 3 . By (1.11) and (1.13), we have

J ( u ) = 3 2 u 2 2 + 1 2 3 [ V ( x ) V ( x ) x ] u 2 d x + 3 λ 4 3 ϕ u u 2 d x 3 2 3 ( I α | u | 3 + α ) | u | 3 + α d x . (2.1)

First, we give some key inequalities.

f ( x , t ) : = 3 [ V ( x ) t V ( x / t ) ] ( 1 t 3 ) [ V ( x ) V ( x ) x ] 0 , x 3 , t > 0 , (2.2)

g ( t ) : = α + 2 ( 3 + α ) t 3 + t 9 + 3 α > 0 , t [ 0 , 1 ) ( 1 , + ) . (2.3)

Inspired by Tang and Chen [11], we establish a key functional inequality as follows.

Lemma 2.1. Assunme that (V1) and (V2) hold. Then

E ( u ) E ( t 2 u t ) + 1 t 3 3 J ( u ) + 1 6 3 f ( x , t ) u 2 d x . (2.4)

Proof. Note that

E ( t 2 u t ) = t 3 2 3 | u | 2 d x + t 2 3 V ( t 1 x ) u 2 d x + λ t 3 4 3 ϕ u ( x ) u 2 d x t 9 + 3 α 2 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x . (2.5)

Thus, by (1.10), (1.11), (2.2), (2.3) and (2.5), one has

E ( u ) E ( t 2 u t ) = 1 t 3 2 u 2 2 + 1 2 3 [ V ( x ) t V ( t 1 x ) ] u 2 d x + λ ( 1 t 3 ) 4 3 ϕ u ( x ) u d x 1 t 9 + 3 α 2 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x = 1 t 3 3 J ( u ) + 1 6 3 { 3 [ V ( x ) t V ( t 1 x ) ] ( 1 t 3 ) [ V ( x ) V ( x ) x ] } u 2 d x + g ( t ) 2 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x 1 t 3 3 J ( u ) + 1 6 3 f ( x , t ) u 2 d x . (2.6)

The proof of Lemma 2.1 is complete. □

Assume that t 0 , from (2.4), we have

E ( u ) 1 3 J ( u ) + 1 6 3 [ 2 V ( x ) + V ( x ) x ] u 2 d x , u H 1 ( 3 ) . (2.7)

To solve the trouble caused by the lack of compactness of Sobolev space embedding in 3 , we define the following energy functional when V ( x ) V

E ( u ) = 1 2 3 [ | u | 2 + V u 2 ] d x + 1 4 3 λ ϕ u ( x ) u 2 d x 1 2 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x . (2.8)

According to (1.12) and (2.1), we define

M : = { u H 1 ( 3 ) \ { 0 } : J ( u ) = 0 } , (2.9)

and

J ( u ) = 3 2 u 2 2 + V 2 u 2 2 + 3 λ 4 3 ϕ u u 2 d x 3 2 3 ( I α | u | 3 + α ) | u | 3 + α d x . (2.10)

From Lemma 2.1, we can deduce the following corollaries.

Corollary 2.2. Assume that (V1) holds. Then

E ( u ) E ( t 2 u t ) + 1 t 3 3 J ( u ) + ( 1 t ) 2 ( 2 + t ) V 6 u 2 2 , u H 1 ( 3 ) , t 0. (2.11)

Corollary 2.3. Assume that (V1) and (V2) hold. Then for u M

E ( u ) = max t > 0 E ( t 2 u t ) . (2.12)

Lemma 2.4. ( [11]: Lemma 2.7) Assume that (V1) and (V2) hold. Then there exist ρ 1 , ρ 2 > 0 such that

2 V ( x ) + V ( x ) x ρ 1 , x 3 , (2.13)

V ( x ) V ( x ) x ρ 2 x 3 . (2.14)

Lemma 2.5. For any u H 1 ( 3 ) \ { 0 } , there exists a unique t u > 0 such that t u 2 u t u M .

Proof. Let u H 1 ( 3 ) \ { 0 } be fixed and define a function ς ( t ) : = E ( t 2 u t ) on ( 0, ) . Clearly, by (2.1) and (2.5), we have

ς ( t ) = 0 1 2 3 { 3 t 3 | u | 2 + t [ V ( t 1 x ) V ( t 1 x ) ( t 1 x ) ] u 2 } d x + 3 λ t 3 4 3 ϕ u ( x ) u 2 d x 3 t 9 + 3 α 2 3 ( I α | u | 3 + α ) | u | 3 + α d x = 0

J ( t 2 u t ) = 0 t 2 u t M . (2.15)

By (V1), one has ς ( 0 ) = 0 and ς ( t ) > 0 for t > 0 small and ς ( t ) < 0 for t large. Therefore, ς ( t ) has a critical point which corresponds to its maximum, namely, there is a t 0 = t u > 0 so that ς ( t 0 ) = 0 and t 0 2 u t 0 M . Then, we claim that t u is unique. Similar to the proof of ( [20]: Lemma 3.3), for any u H 1 ( 3 ) \ { 0 } which is given, if there are two positive constants t 1 t 2 such that t 1 2 u t 1 , t 2 2 u t 2 M . Then J ( t 1 2 u t 1 ) = J ( t 2 2 u t 2 ) = 0 . Together with (2.4), we have

E ( t 1 2 u t 1 ) E ( t 2 2 u t 2 ) + t 1 3 t 2 3 3 t 1 3 J ( t 1 2 u t 1 ) + t 1 6 3 f ( x , t 2 / t 1 ) u 2 d x E ( t 2 2 u t 2 ) + t 1 f ( x , t 2 / t 1 ) 6 u 2 2 , (2.16)

and

E ( t 2 2 u t 2 ) E ( t 1 2 u t 1 ) + t 2 f ( x , t 1 / t 2 ) 6 u 2 2 . (2.17)

(2.2), (2.16) and (2.17) imply t 1 = t 2 . Hence, t u > 0 is unique for any

u H 1 ( 3 ) \ { 0 } . □

Corollary 2.6. For any u H 1 ( 3 ) \ { 0 } , there exists a unique t u > 0 such that t u 2 u t u M .

Combing Corollary 2.3 and Lemma 2.5, we get M = and the following minimax characterization.

Lemma 2.7. ( [11]: Lemma 2.10) Assume (V1) and (V2) hold. Then

inf u M E ( u ) = m = inf u H 1 ( 3 ) \ { 0 } max t > 0 E ( t 2 u t ) .

Lemma 2.8. Assume that (V1), (V2) hold. Then

(i) There exists δ > 0 such that u δ , u M ;

(ii) m = inf M E ( u ) > 0 .

Proof. (i) Since J ( u ) = 0 , u M , by (1.8), (2.1) and Sobolev embedding theorem, one has

min { 3 , ρ 2 } 2 u 2 3 2 u 2 2 + 1 2 3 [ V ( x ) V ( x ) x ] u 2 d x + 3 λ 4 3 ϕ u ( x ) u 2 d x = 3 2 3 ( I α | u | 3 + α ) | u | 3 + α d x C 1 u 2 ( 3 + α ) , (2.18)

which implies

u δ : = min { 1, ( min { 3, ρ 2 } 2 C 1 ) 1 4 + 2 α } , u M . (2.19)

(ii) Let { u n } M be such that E ( u n ) m . Cases: (1) inf n u n 2 > 0 ; (2) inf n u n 2 = 0 exist.

Case (1). inf n u n 2 : = δ 0 > 0 . By (2.4), one has

m = E ( u n ) = E ( u n ) 1 3 J ( u n ) ρ 1 6 δ . (2.20)

Case (2). inf n u n 2 = 0 . From (2.19), we have

u n 2 0, u n 2 1 2 δ . (2.21)

By Hardy-Littlewood-Sobolev inequality, one has

3 ( I α | u n | 3 + α ) | u n | 3 + α d x C 2 u n 2 2 ( 3 + α ) . (2.22)

Let t n = ( 1 4 C 2 ) 1 3 ( 2 + α ) u n 2 2 3 , then (2.21) implies that t n is bounded. Since J ( u n ) = 0 , it follows from (2.15) and (2.22) that

m = E ( u n ) E ( t n 2 ( u n ) t n ) = t n 3 2 u n 2 2 + t n 2 3 V ( t 1 x ) u n 2 d x + λ t 3 4 3 ϕ u n ( x ) u n 2 d x t n 9 + 3 α 2 ( 3 + α ) 3 ( I α | u n | 3 + α ) | u n | 3 + α d x t n 3 2 u n 2 2 C 2 t n 9 + 3 α u n 2 2 ( 3 + α ) = 1 2 t n 3 u n 2 2 [ 1 2 C 2 ( t n 3 u n 2 2 ) 2 + α ] > 0. (2.23)

Cases (1) and (2) show that (ii) holds. □

Lemma 2.9. Assume that (V1) and (V2) hold. Then m : = inf M Φ m .

Proof. In view of Lemma 2.1 and Corollary 2.3, we have M . By contradiction, we assume that m > m . Let ρ : = m m . Then there exists u ε such that

u ρ M and m + ρ 2 > E ( u ρ ) . (2.24)

In view of Lemma 2.5, there exists t ρ > 0 such that ( u ρ ) t ρ M . Hence, joining with (V1), (V2), (1.10), (2.5), (2.11) and (2.24), we have

m + ρ 2 > E ( u ρ ) E ( ( u ρ ) t ρ ) E ( ( u ρ ) t ρ ) m . (2.25)

This is a contradiction. Therefore, the conclusion of Lemma 2.11 is true. □

Lemmma 2.10. ( [11]: Lemma 2.12) Assume that (V1) and (V2) hold. If u n u ¯ in H 1 ( 3 ) , then along a subsequence,

E ( u n ) = E ( u ¯ ) + E ( u n u ¯ ) + o ( 1 ) , J ( u n ) = J ( u ¯ ) + J ( u n u ¯ ) + o ( 1 ) (2.26)

E ( u n ) = E ( u ¯ ) + E ( u n u ¯ ) + o ( 1 ) , (2.27)

E ( u n ) , u n = E ( u ¯ ) , u ¯ + E ( u n u ¯ ) , u n u ¯ + o ( 1 ) . (2.28)

Lemma 2.11. Assume that (V1), (V2) hold. Then m is achieved.

Proof. In view of Lemmas 2.5 and 2.8, we have M and m > 0 . Let { u n } M be such that E ( u n ) m . Then it follows from (1.10), (2.1) and (2.27) that

m = E ( u n ) = E ( u n ) 1 3 J ( u n ) ρ 1 3 u n 2 2 . (2.29)

It indicates that { u n 2 } is bounded. Next, we will verify that { u 2 } is also bounded. From (V1), (1.10), (2.1), (2.13), (2.29) and the Soblev embbeding inequality, we derive

E ( u n ) = E ( u n ) 1 3 ( 3 + α ) J ( u n ) = 2 + α 2 ( 3 + α ) u n 2 2 + 1 2 3 V ( x ) u n 2 d x + 1 6 ( 3 + α ) 3 [ V ( x ) V ( x ) x ] u n 2 d x + ( 2 + α ) λ 4 ( 3 + α ) 3 ( I α | u | 3 + α ) | u | 3 + α d x 2 + α 2 ( 3 + α ) u n 2 + ρ 2 6 2 α 6 ( 3 + α ) u n 2 2 . (2.30)

Together with (2.29), (2.30) implies that { u n } is bounded in H 1 ( 3 ) . Passing to a subsequence, we can get u n u ¯ in H 1 ( 3 ) . Then u n u ¯ in L loc s ( 3 ) for 2 s < 6 and u n u ¯ a.e. in 3 . For u ¯ , there are two cases: (1) u ¯ = 0 and (2) u ¯ 0 .

Case (1). u ¯ = 0 , i.e. u n 0 in H 1 ( 3 ) . Then u n 0 in L loc s ( 3 ) for 2 s < 2 * and u n 0 a.e. in 3 . Using (V1) and (V2), it is easy to prove that

l i m n 3 [ V V ( x ) ] u n 2 d x = l i m n 3 V ( x ) x u n 2 d x = 0. (2.31)

From (1.10), (2.1), (2.8), (2.10) and (2.31), one has

τ ( u n ) m , J ( u n ) 0. (2.32)

By (1.8), (2.1) and Lemma 2.8 (i), we have

min { 3, ρ 2 } 2 δ 2 3 2 u n 2 2 + 1 2 3 [ V ( x ) V ( x ) x ] u n 2 d x + 3 λ 4 3 ϕ u u n d x = 3 2 3 ( I α | u n | 3 + α ) | u n | 3 + α d x C 3 u n 2 ( 3 + α ) . (2.33)

According to (2.33) and Lion’s concentration compactness priciple ( [21]: Lemma 1.21), we can prove that there exist δ > 0 and y n 3 such that

B 1 ( y n ) | u n | 2 d x > δ . Let u ^ n ( x ) = u n ( x + y n ) . Then we have u ^ n = u n and

J ( u ^ n ) = o ( 1 ) , E ( u ^ n ) m , B 1 ( 0 ) | u ^ n | d x > δ . (2.34)

Hence, there exists u ^ H 1 ( 3 ) \ { 0 } such that, passing to a subsequence,

{ u ^ n u ^ , in H 1 ( 3 ) ; u ^ n u ^ , in L loc s ( 3 ) , s [ 1,6 ) ; u ^ n u ^ , a . e . on 3 . (2.35)

Let w n = u ^ n u ^ . Then (2.35) and Lemma 2.10 yield

E ( u ^ n ) = E ( u ^ ) + E ( w n ) + o ( 1 ) , J ( u ^ ) = J ( u ^ ) + J ( w n ) + o ( 1 ) . (2.36)

We set

E ( u ) = E ( u ) 1 3 J ( u ) = V 3 u 2 2 + ( 1 6 1 6 + 2 α ) 3 ( I α | u | α 3 + 1 ) | u | α 3 + 1 d x (2.37)

From (2.8), (2.10), (2.24), (2.36) and (2.37), one has

E ( w n ) = m E ( u ^ ) + o ( 1 ) , J ( w n ) = J ( u ^ ) + o ( 1 ) . (2.38)

If there exists a subsequence { w n i } of { w n } such that w n i = 0 , then we have

E ( u ^ ) = m , J ( u ^ ) = 0. (2.39)

Next, we consider that w n 0 . We claim that J ( u ^ ) 0 . By contradiction, when J ( u ^ ) > 0 , that is (2.38) implies J ( w n ) < 0 for large n. In view of Corollary 2.6, there exists t n > 0 such that t n 2 ( w n ) t n M for large n. From (2.8), (2.10), (2.11), (2.38) and Lemma 2.9, one has

m E ( u ^ ) + o ( 1 ) = E ( w n ) = E ( w n ) 1 3 J ( w n ) E ( t n 2 ( w n ) t n ) t n 3 3 J ( w n ) + ( 1 t n ) 2 ( 2 + t n ) V 6 w n 2 2

m t n 3 3 J ( w n ) m . (2.40)

Since Φ ( u ^ ) > 0 , the above result is impossible, this shows that J ( u ^ ) 0 . In view of Lemma 2.1, there exists t > 0 such that t 2 u ^ t M . From (2.8), (2.10), (2.11), (2.32), (2.34), (2.37) Fatou’s lemma and Lemma 2.9, one has

m = l i m n [ E ( u ^ n ) 1 3 J ( u ^ n ) ] = l i m n E ( u ^ n ) E ( u ^ ) = E ( u ^ ) 1 3 J ( u ^ ) E ( t 2 u ^ t ) t 3 3 J ( u ^ ) + ( 1 t ) 2 ( 2 + t ) 6 3 V u ^ 2 d x m t 3 3 J ( u ^ ) + ( 1 t ) 2 ( 2 + t ) V 6 u ^ 2 2 m , (2.41)

which implies (2.39) holds also. In view of Lemma 2.3, there exists t ^ > 0 such that t ^ 2 u ^ t ^ M , moreover, it follows from (V1), (1.10), (2.8), (2.39) and Corollary 2.3 that

m E ( t ^ 2 u ^ t ^ ) E ( t ^ 2 u ^ t ^ ) E ( u ^ ) = m . (2.42)

Case (ii). u ¯ 0 . In this case, the proof is similar to (2.39), by using E and J instead of E and J , we can deduce that E ( u ¯ ) = m and J ( u ¯ ) = 0 .

Similar to the [22] and [23], we can obtain the following conclusion. □

Lemma 2.12. Assume that (V1), (V2) hold. If u ¯ M and E ( u ¯ ) = m , then u ¯ is a critical point of E.

Proof. From (2.1) and Lemma 2.5, there exist T 1 ( 0,1 ) and T 2 ( 1, ) such that

E ( T 1 2 u ˜ T 1 ) > 0 , E ( T 2 2 u ˜ T 2 ) < 0. (2.43)

From (2.2) and (2.4), we have

E ( t 2 u ˜ t ) E ( u ˜ ) 1 6 3 f ( x , t ) u ˜ 2 d x < m , t ( 0,1 ) ( 1, ) . (2.44)

and (2.44) implies

E : = max { E ( T 1 2 u ˜ T 1 ) , E ( T 1 2 u ˜ T 2 ) } < m . (2.45)

The next proof steps are routine. Similar to [22], we can verify Lemma 2.12 by using (2.43) and (2.44) instead of ( [22]: (2.34) and (2.35)). □

Proof of Theorem 1.1. In view of Lemmas 2.9 and 2.10, there exists u ¯ M such that

E ( u ¯ ) = m = inf u H 1 ( 3 ) \ { 0 } max t > 0 E ( t 2 u t ) , E ( u ¯ ) = 0. (2.46)

This shows that u ¯ is a ground state solution of (1.4). □

3. Conclusion

Although one can establish a (PS) sequence in a nonstandard way, it is not easy to prove its boundness because of the convolution term ( I α | u | 3 + α ) | u | 1 + α u and lack of Ambrosetti-Rabinowitz condition of Choquard type. To overcome this difficulty, we introduce an auxiliary function. Firstly, we proved that there exists a unique t u > 0 such that t u 2 u t u M . What’s more, we find out the minima of the energy functional. Next, we get that m is achieved, that is the energy value of the minima of the energy functional is achieved by Mountain Pass Theorem. Finally, we proved that the limit of the (PS) sequence, that is u ¯ , is the critical point of E. It is obvious that for the Schrödinger-Poisson system with upper critical exponential convolution term, its ground state solution also exists. We hope the result can be widely used in Schrödinger-Poisson systems.

Acknowledgements

The authors would like to thank the referees for their useful suggestions which have significantly improved the paper.

Funding

This work is supported by the National Natural Science Foundation of China (No. 11961014) and Guangxi Natural Science Foundation (2021GXNSFAA196040).

Authors’ Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare that they have no competing interests.

References

[1] Benci, V. and Donato, F. (1998) An Eigenvalue Problem for the Schrödinger-Maxwell Equations. Topological Methods in Nonlinear Analysis, 11, 283-293.
https://doi.org/10.12775/TMNA.1998.019
[2] D’Aprile, T. and Mugnai, D. (2004) Solitary Waves for Nonlinear Klein-Gordon-Maxwell and Schrödinger-Maxwell Equations. Proceedings of the Royal Society of Edinburgh Section A, 134, 893-906.
https://doi.org/10.1017/S030821050000353X
[3] Khoutir, S. (2021) Least Energy Sign-Changing Solutions for Super-Quadratic Schrödinger-Poisson Systems in R3. Journal of Applied Analysis & Computation, 11, 1520-1543.
[4] Chen, S.T., Shi, J.P. and Tang, X.H. (2019) Ground State Solutions of Nehari-Pohožaev Type for the Planar Schrödinger-Poisson System with General Nonlinearity. Discrete & Continuous Dynamical Systems, 39, 5867-5889.
https://doi.org/10.3934/dcds.2019257
[5] Alves, C.O., Souto, M.A.S. and Soares, S.H.M. (2017) A Sign-Changing Solution for the Schrödinger-Poisson Equation in R3. Rocky Mountain Journal of Mathematics, 47, 1-25.
https://doi.org/10.1216/RMJ-2017-47-1-1
[6] Shuai, W. and Wang, Q. (2015) Existence and Asymptotic Behavior of Sign-Changing Solutions for the Nonlinear Schrödinger-Poisson System in R3. Zeitschrift für angewandte Mathematik und Physik, 66, 3267-3282.
https://doi.org/10.1007/s00033-015-0571-5
[7] Liang, Z., Xu, J. and Zhu, X. (2016) Revisit to Sign-Changing Solutions for the Nonlinear Schrödinger-Poisson System in R3. Journal of Mathematical Analysis and Applications, 435, 783-799.
https://doi.org/10.1016/j.jmaa.2015.10.076
[8] Chen, S.T. and Tang, X.H. (2020) Berestycki-Lions Conditions on Ground State Solutions for a Nonlinear Schrödinger Equation with Variable Potentials. Advances in Nonlinear Analysis, 9, 496-515.
https://doi.org/10.1515/anona-2020-0011
[9] Bartsch, T., Liu, Z.L. and Weth, T. (2004) Sign Changing Solutions of Superlinear Schrödinger Equations. Communications in Partial Differential Equations, 29, 25-42.
https://doi.org/10.1081/PDE-120028842
[10] Guo, H. and Wu, D. (2020) Nodal Solutions for the Schrödinger-Poisson Equations with Convolution Terms. Nonlinear Analysis, 196, Article ID: 111781.
https://doi.org/10.1016/j.na.2020.111781
[11] Chen, S.T. and Tang, X.H. (2019) Ground State Solutions of Schrödinger-Poisson Systems with Variable Potential and Convolution Nonlinearity. Journal of Mathematical Analysis and Applications, 473, 87-111.
https://doi.org/10.1016/j.jmaa.2018.12.037
[12] Lieb, E.H. and Loss, M. (1997) Analysis Graduate Studies in Mathematics. American Mathematical Society, Providence.
[13] Wang, Z. and Zhou, H.S. (2021) Ground State for Nonlinear Schrödinger Equation with Sign-Changing and Vanishing Potential. Journal of Mathematical Physics, 52, Article ID: 113704.
https://doi.org/10.1063/1.3663434
[14] Liu, X. and Huang, Y. (2009) Sign-Changing Solutions for a Class of Nonlinear Schrödinger Equations. Bulletin of the Australian Mathematical Society, 80, 294-305.
https://doi.org/10.1017/S0004972709000288
[15] Chen, J. (2006) Multiple Positive and Sign-Changing Solutions for a Singular Schrödinger Equation with Critical Growth. Nonlinear Analysis: Theory, Methods & Applications, 64, 381-400.
https://doi.org/10.1016/j.na.2005.03.102
[16] Schaftingen, J.V. and Xia, J.K. (2018) Ground States for a Local Nonlinear Perturbation of the Choquard Equations with Lower Critical Exponent. Journal of Mathematical Analysis and Applications, 464, 1184-1202.
https://doi.org/10.1016/j.jmaa.2018.04.047
[17] Tang, X.H. and Chen, S.T. (2020) Singularly Perturbed Choquard Equations with Nonlinearity Satisfying Berestycki-Lions Assumptions. Advances in Nonlinear Analysis, 9, 413-437.
https://doi.org/10.1515/anona-2020-0007
[18] Alves, C.O., Gao, F.S., Squassinac, M. and Yang, M.B. (2017) Singularly Perturbed Critical Choquard Equations. Journal of Differential Equations, 263, 3943-3988.
https://doi.org/10.1016/j.jde.2017.05.009
[19] Seok, J. (2018) Nonlinear Choquard Equations: Doubly Critical Case. Applied Mathematics Letters, 76, 148-156.
https://doi.org/10.1016/j.aml.2017.08.016
[20] Shen, L.J. (2021) Ground State Solutions for Planar Schrödinger-Poisson System Involving Subcritical and Critical Exponential Growth with Convolution Nonlinearity. Journal of Mathematical Analysis and Applications, 495, Article ID: 124662.
https://doi.org/10.1016/j.jmaa.2020.124662
[21] Willem, M. and Theorems, M. (1996) Progress in Nonlinear Differential Equations and Their Applications. Vol. 24, Birkhöuser Boston Inc., Boston.
[22] Chen, S.T. and Tang, X.H. (2018) Ground State Solutions for Generalized Quasilinear Schrödinger Equations with Variable Potentials and Berestycki-Lions Nonlinearities. Journal of Mathematical Physics, 59, Article ID: 081508.
https://doi.org/10.1063/1.5036570
[23] Wang, X.P. and Liao, F.F. (2020) Ground State Solutions for a Choquard Equation with Lower Critical Exponent and Local Nonlinear Perturbation. Nonlinear Analysis, 196, Article ID: 111831.
https://doi.org/10.1016/j.na.2020.111831

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.