On the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields

Zhongyi Zhang

doi:10.1515/math-2022-0471

Enjoy 40% off

academic books on De Gruyter Brill *

Article Open Access

On the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields

Zhongyi Zhang

Published/Copyright: September 1, 2022

Published by

Become an author with De Gruyter Brill

Submit Manuscript Author Information Explore this Subject

$Open Mathematics$

From the journal Open Mathematics Volume 20 Issue 1

Abstract

This paper intend to study the following critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields in R 3 :

ε 2 s M ( [ u ] s , A 2 ) ( − Δ ) A s u + V ( x ) u + ( ∣ x ∣ 2 t − 3 ∗ ∣ u ∣ 2 ) u = f ( x , ∣ u ∣ 2 ) u + ∣ u ∣ 2 s ∗ − 2 u , x ∈ R 3 .

Under suitable assumptions, together with the concentration compactness principle and variational method, we prove that the existence and multiplicity of semiclassical solutions for above problem as ε → 0 .

Keywords: fractional Schrödinger-Kirchhoff-Poisson equations; fractional magnetic operator; critical nonlinearity; variational methods

MSC 2010: 35A15; 35B99; 35J60; 47G20

1 Introduction

This paper deals with the existence and multiplicity of solutions for the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields in R 3 :

(1.1) ε 2 s M ( [ u ] s , A 2 ) ( − Δ ) A s u + V ( x ) u + ( ∣ x ∣ 2 t − 3 * ∣ u ∣ 2 ) u = f ( x , ∣ u ∣ 2 ) u + ∣ u ∣ 2 s ∗ − 2 u , x ∈ R 3 ,

where ε > 0 is a positive parameter, 3 / 4 < s < 1 , 0 < t < 1 , 2 s ∗ = 6 / ( 3 − 2 s ) is the usual Sobolev critical exponent, V is an electric potential, and ( − Δ ) A s and A are called the magnetic operator and magnetic potential, respectively. According to d’Avenia and Squassina in [1], the fractional operator ( − Δ ) A s , which up to normalization constants, can be defined on smooth functions u as follows

( − Δ ) A s u ( x ) ≔ 2 lim ε → 0 ∫ R N ⧹ B ε ( x ) u ( x ) − e i ( x − y ) ⋅ A x + y 2 u ( y ) ∣ x − y ∣ N + 2 s d y , x ∈ R N ,

and magnetic potential A is given by

[ u ] s , A 2 ≔ ∬ R 2 N ∣ u ( x ) − e i ( x − y ) ⋅ A x + y 2 u ( y ) ∣ 2 ∣ x − y ∣ N + 2 s d x d y .

Throughout the paper, the electric potential V , Kirchhoff function M , and f satisfy the following assumptions:

V ( x ) ∈ C ( R 3 , R ) , V ( 0 ) = min x ∈ R 3 V ( x ) = 0 , and there is b > 0 such that the set V b = { x ∈ R N : V ( x ) < b } has finite Lebesgue measure.
( M 1 ) The Kirchhoff function M : R 0 + → R + is continuous, and there exists m 0 > 0 such that inf s ≥ 0 M ( s ) = m 0 . ( M 2 ) There exists σ ∈ ( 2 / 2 s ∗ , 1 ] satisfying σ M ( t ) ≥ M ( t ) t for all t ≥ 0 , where M ( t ) = ∫ 0 t M ( s ) d s .
( f 1 ) f ∈ C ( R 3 × R , R ) and f ( x , t ) = o ( ∣ t ∣ ) uniformly in x as t → 0 . ( f 2 ) There exist c 0 > 0 and q ∈ ( 2 , 2 s ∗ ) such that ∣ f ( x , t ) ∣ ≤ c 0 1 + t q − 1 2 . ( f 3 ) There exist l 0 > 0 , max { 2 / σ , 4 } < r , and max { 2 / σ , 4 } < μ < 2 s ∗ such that F ( x , t ) ≥ l 0 ∣ t ∣ r / 2 , and μ F ( x , t ) ≤ 2 f ( x , t ) t for all ( x , t ) ∈ R 3 × R , where F ( x , t ) = ∫ 0 t f ( x , s ) d s .

First, our motivation to study problem (1.1) mainly comes from the application of the fractional magnetic operator. We note that the equation with fractional magnetic operator often arises as a model for various physical phenomena, in particular in the study of the infinitesimal generators of Lévy stable diffusion processes [2]. Also, the number of literature on nonlocal operators and their applications has been studied, and hence, we refer interested readers to [3,4,5, 6,7]. To further research this kind of equation by variational methods, many scholars have established the basic properties of fractional Sobolev spaces, readers are referred to [8,9].

Next, we note that some works that appeared in recent years concerning the follwing magnetic Schrödinger equation without Poisson term:

(1.2) − ( ∇ u − i A ) 2 u + V ( x ) u = f ( x , ∣ u ∣ ) u ,

where the magnetic operator in (1.2) is given by

− ( ∇ u − i A ) 2 u = − Δ u + 2 i A ( x ) ⋅ ∇ u + ∣ A ( x ) ∣ 2 u + i u div A ( x ) .

As stated in the study by Squassina and Volzone [10], up to correcting the operator by the factor ( 1 − s ) , it follows that ( − Δ ) A s u converges to − ( ∇ u − i A ) 2 u as s → 1 . Thus, up to normalization, the nonlocal case can be seen as an approximation of the local one. Recently, many researchers have paid attention to the equations with fractional magnetic operator. In particular, Mingqi et al. [11] studied some existence results of Schrödinger-Kirchhoff type equation involving the fractional p -Laplacian and the magnetic operator:

(1.3) M ( [ u ] s , A 2 ) ( − Δ ) A s u + V ( x ) u = f ( x , ∣ u ∣ ) u in R N ,

where f satisfies the subcritical growth condition. For the critical growth case, the authors in [12] first considered the following fractional Schrödinger equations:

(1.4) ε 2 s ( − Δ ) A ε s u + V ( x ) u = f ( x , ∣ u ∣ ) u + K ( x ) ∣ u ∣ 2 α * − 2 u in R N .

They obtained the existence of ground state solution u ε by using variational methods. Subsequently, Liang et al. [13] proved the existence and multiplicity of solutions to a class of Schrödinger-Kirchhoff type equation in the non-degenerate case. We draw the attention of the reader to the degenerate case involving the magnetic operator in the study by Liang et al. [14].

On the other hand, for case A ≡ 0 in problem (1.1), there have been numerous articles dedicated to the study of the fractional Schrödinger-Poisson system as it appears in an interesting physical context. For example, Giammetta in [15] first studied the local and global well-posedness of a fractional Schrödinger-Poisson system in one dimension. Zhang et al. in [16] obtained the existence of radial ground state solution to the fractional Schrödinger-Poisson system with a general subcritical or critical nonlinearity by using the perturbation approach. In [17], Murcia and Siciliano proved that the number of positive solutions for a class of doubly singularly perturbed fractional Schrödinger-Poisson system via the Ljusternick-Schnirelmann category. Liu in [18] concerned with the existence of multibump solutions for the fractional Schrödinger-Poisson system through the Lyapunov-Schmidt reduction method. Chen et al. in [19] admitted the existence of the Nehari-type ground state solutions for fractional Schrödinger-Poisson system by using the non-Nehari manifold approach. For more related results, we can cite the recent works [20,21,22, 23,24] and the references therein.

Once we turn our attention to the Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields, we immediately see that the literature is relatively scarce. In this case, we can cite the recent works [25,26]. We call attention to Ambrosio in [27] proved that the multiplicity and concentration results for a class of fractional Schrödinger-Poisson type equation with magnetic field and subcritical growth. For the critical growth case, Ambrosio in [28] also obtained the multiplicity and concentration of nontrivial solutions to the fractional Schrödinger-Poisson equation with the magnetic field. However, to the best of our knowledge, semiclassical solutions to fractional magnetic Schrödinger-Poisson equations problem (1.1) have not ever been considered until now.

Inspired by the previously mentioned works, our main objective is to study the critical fractional Schrödinger-Kirchhoff-Poisson equations with electromagnetic fields. The proof of these assertions is given by means of concentration compactness principle and variational method. For this purpose, we will use some minimax arguments. Moreover, due to the appearance of the critical term, the Sobolev embedding does not possess compactness. To this end, we need some technical estimations.

We are now in a position to state the existence result as follows.

Theorem 1.1

Let ( V ) and ( ℱ ) hold. If M satisfies ( M 1 ) and ( M 2 ) , then the following statements hold:

For any κ > 0 , there is ℰ κ > 0 such that if 0 < ε < ℰ κ , then problem (1.1) has at least one solution u ε satisfying
(1.5) σ μ − 1 2 ∫ R 3 F ( x , ∣ u ε ∣ 2 ) d x + 2 σ − 1 2 s ∗ ∫ R 3 ∣ u ε ∣ 2 s ∗ d x ≤ κ ε 3 ,

(1.6) σ 2 − 1 μ α 0 ε 2 s [ u ε ] s , A 2 + 1 2 − 1 μ ∫ R 3 V ( x ) ∣ u ε ∣ 2 d x ≤ κ ε 3 .
Moreover, u ε → 0 in E as ε → 0 .
For any m ∈ N and κ > 0 , there is ℰ m κ > 0 such that if 0 < ε < ℰ m κ , then problem (1.1) has at least m pairs of solutions u ε , i , u ε , − i , i = 1 , 2 , … , m which satisfy the estimates (1.5) and (1.6). Moreover, u ε , i → 0 in E as ε → 0 , i = 1 , 2 , … , m .

The main feature of our consequence in the present paper is to establish the multiplicity result for problem (1.1) under the critical growth condition. There is no doubt that we encounter serious difficulties because of the lack of compactness. To overcome the challenge, we use the concentration-compactness principles for fractional Sobolev spaces according to [29,30,31] to prove the ( P S ) c condition at special levels c . On the other hand, we need to develop new techniques to construct sufficiently small minimax levels.

The rest of our paper is organized as follows. In Section 2, we briefly review some properties of the Sobolev spaces with fractional order. In Section 3, we prove the Palais-Smale condition at some special energy levels by using the concentration-compactness principles for fractional Sobolev spaces. Section 4 deals with the existence and multiplicity result for problem (1.1).

2 Preliminaries

In this section, we briefly review the definitions and list some basic properties of the Lebesgue spaces, which we use throughout this article.

For any s ∈ ( 0 , 1 ) , fractional Sobolev space H A s ( R 3 , C ) is defined by

H A s ( R 3 , C ) = { u ∈ L 2 ( R 3 , C ) : [ u ] s , A < ∞ } ,

where s ∈ ( 0 , 1 ) and [ u ] s , A denotes the so-called Gagliardo semi-norm, that is,

[ u ] s , A = ∬ R 6 ∣ u ( x ) − e i ( x − y ) ⋅ A x + y 2 u ( y ) ∣ 2 ∣ x − y ∣ N + 2 s d x d y 1 / 2 ,

and H A s ( R 3 , C ) is endowed with the norm

‖ u ‖ H A s ( R 3 , C ) = ( [ u ] s , A 2 + ‖ u ‖ L 2 2 ) 1 2 .

For the reader’s convenience, we will use the following embedding theorem, see Lemma 3.5 in [1].

Proposition 2.1

The space H A s ( R 3 , C ) is continuously embedded in L ϑ ( R 3 , C ) for all ϑ ∈ [ 2 , 2 s ∗ ] . Furthermore, the space H A s ( R 3 , C ) is continuously compact embedded in L ϑ ( K , C ) for all ϑ ∈ [ 2 , 2 s ∗ ] and any compact set K ⊂ R 3 .

Next, we have the following diamagnetic inequality, and its proof can be found in the study by d’Avenia and Squassina [1].

Lemma 2.1

Let u ∈ H A s ( R N ) , then ∣ u ∣ ∈ H s ( R 3 ) . That is,

‖ ∣ u ∣ ‖ s ≤ ‖ u ‖ s , A .

From Proposition 3.6 in [2], for all u ∈ H s ( R 3 ) , we have

[ u ] s = ‖ ( − Δ ) s 2 ‖ L 2 ( R 3 ) ,

i.e.

∬ R 6 ∣ u ( x ) − u ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y = ∫ R 3 ∣ ( − Δ ) s 2 u ( x ) ∣ 2 d x .

Moreover,

∬ R 6 ( u ( x ) − u ( y ) ) ( v ( x ) − v ( y ) ) ∣ x − y ∣ 3 + 2 s d x d y = ∫ R 3 ( − Δ ) s 2 u ( x ) ⋅ ( − Δ ) s 2 v ( x ) d x .

For problem (1.1), we will use the Banach space E defined by

E = u ∈ H A s ( R 3 , C ) : ∫ R 3 V ( x ) ∣ u ∣ 2 d x < ∞

with the norm

‖ u ‖ E ≔ [ u ] s , A 2 + ∫ R 3 V ( x ) ∣ u ∣ 2 d x 1 2 .

By the assumption ( V ) , we know that the embedding E ↪ H A s ( R 3 , C ) is continuous. Note that the norm ‖ ⋅ ‖ E is equivalent to the norm ‖ ⋅ ‖ ε defined by

‖ u ‖ ε ≔ [ u ] s , A 2 + ε − 2 s ∫ R 3 V ( x ) ∣ u ∣ 2 d x 1 2

for each ε > 0 .

Obviously, for each θ ∈ [ 2 , 2 s ∗ ] , there is c θ > 0 such that

(2.1) ∣ u ∣ θ ≤ c θ ‖ u ‖ E ≤ c θ ‖ u ‖ ε ,

where 0 < ε < 1 . Hereafter, we shortly denote by ‖ ⋅ ‖ ν the norm of Lebesgue space L ν ( Ω ) with ν ≥ 1 .

Now, let s , t ∈ ( 0 , 1 ) such that 4 s + 2 t ≥ 3 , we can see that

(2.2) H s ( R 3 , R ) ↪ L 12 3 + 2 t ( R 3 , R ) .

Then, by (2.2), we have

∫ R 3 u 2 v d x ≤ ‖ u ‖ L 12 3 + 2 t ( R 3 ) 2 ‖ v ‖ 2 t ∗ ≤ C ‖ u ‖ H s ( R 3 , R ) 2 ‖ v ‖ D t , 2 ( R 3 )

for u ∈ H s ( R 3 , R ) , where

‖ v ‖ D t , 2 ( R 3 ) 2 = ∬ R 6 ∣ u ( x ) − u ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 t d x d y .

Then, by the Lax-Milgram theorem, there exists a unique ψ ∣ u ∣ t such that ψ ∣ u ∣ t ∈ D t , 2 ( R 3 , R ) such that

(2.3) ( − Δ ) t ψ ∣ u ∣ t = ∣ u ∣ 2 in R 3 .

Therefore, we obtain the following t -Riesz formula:

(2.4) ψ ∣ u ∣ t ( x ) = π − 3 2 2 − 2 t Γ ( 3 − 2 t ) Γ ( t ) ∫ R 3 ∣ u ( y ) ∣ 2 ∣ x − y ∣ 3 − 2 t d y , ∀ x ∈ R 3 .

We note that the aforementioned integral is convergent at infinity since ∣ u ∣ 2 ∈ L 6 3 + 2 t ( R 3 , R ) . Next we collect some properties of ψ ∣ u ∣ t , which will be used in this paper. The following proposition can be proved by using similar arguments as [27,28].

Proposition 2.2

Assume that 4 s + 2 t ≥ 3 holds, for any u ∈ E , we have

ψ ∣ u ∣ t : H s ( R 3 , R ) → D t , 2 ( R 3 , R ) is continuous and maps bounded sets into bounded sets;
if u n ⇀ u in E, then ψ ∣ u n ∣ t ⇀ ψ ∣ u ∣ t in D t , 2 ( R 3 , R ) ;
ψ ∣ α u ∣ t = α 2 ψ ∣ u ∣ t for any α ∈ R and ψ ∣ u ( ⋅ + y ) ∣ t ( x ) = ψ ∣ u ∣ t ( x + y ) ;
ψ ∣ u ∣ t ≥ 0 for all u ∈ E . Moreover,
‖ ψ ∣ u ∣ t ‖ D t , 2 ( R 3 , R ) ≤ C ‖ u ‖ L 12 3 + 2 t ( R 3 ) 2 ≤ C ‖ u ‖ ε 2
and
∫ R 3 ψ ∣ u ∣ t ∣ u ∣ 2 d x ≤ C ‖ u ‖ L 12 3 + 2 t ( R 3 ) 4 ≤ C ‖ u ‖ ε 4 .

3 Behavior of (PS) sequences

In this section, to overcome the lack of compactness caused by the critical exponents, we intend to employ the second concentration-compactness principle, see [29,30,31] for more details. Moreover, to obtain the solution of problem (1.1), we will use the following equivalent form:

(3.1) M ( [ u ] s , A 2 ) ( − Δ ) A s u + ε − 2 s V ( x ) u + ψ ∣ u ∣ t u = ε − 2 s f ( x , ∣ u ∣ 2 ) u + ε − 2 s ∣ u ∣ 2 s ∗ − 2 u ,

for x ∈ R 3 . Now, let us consider the Euler-Lagrange functional J ε : E → R associated with (1.1), defined by

(3.2) J ε ( u ) ≔ 1 2 M ( [ u ] s , A 2 ) + ε − 2 s 2 ∫ R 3 V ( x ) ∣ u ∣ 2 d x + ε − 2 s 4 ∫ R 3 ψ ∣ u ∣ t ∣ u ∣ 2 d x − ε − 2 s 2 ∫ R 3 F ( x , ∣ u ∣ 2 ) d x − ε − 2 s 2 s ∗ ∫ R 3 ∣ u ∣ 2 s ∗ d x .

It is clear that J ε is of class C 1 ( E , R ) under the assumptions ( ℱ ) (see [32]). Moreover, for all u , v ∈ E , the Fréchet derivative of J ε is given by

(3.3) ⟨ J ε ′ ( u ) , v ⟩ = M ( [ u ] s , A 2 ) Re ∬ R 6 ( u ( x ) − e i ( x − y ) ⋅ A x + y 2 u ( y ) ) ( v ( x ) − e i ( x − y ) ⋅ A x + y 2 v ( y ) ) ¯ ∣ x − y ∣ 3 + 2 s d x d y + ε − 2 s Re ∫ R 3 V ( x ) u v ¯ d x + ε − 2 s Re ∫ R 3 ψ ∣ u ∣ t u v ¯ d x − ε − 2 s Re ∫ R 3 ( ∣ u ∣ 2 s ∗ − 2 u + f ( x , ∣ u ∣ 2 ) u ) v ¯ d x .

Thus, the weak solutions of (1.1) coincide with the critical points of J ε .

The main result of this section is the following compactness result.

Lemma 3.1

Let ( V ) and ( ℱ ) hold. If M satisfies ( M 1 ) and ( M 2 ) , then for any 0 < ε < 1 , J ε satisfies ( P S ) c condition, for all c ∈ ( 0 , σ 0 ε 3 − 2 s ) , where σ 0 ≔ 1 μ − 1 2 s ∗ ( m 0 S ) 3 2 s , that is, any ( P S ) c -sequence { u n } n ⊂ E has a strongly convergent subsequence in E.

Proof

Let ( u n ) n be a ( P S ) c λ sequence for J ε , we first claim that ( u n ) n is bounded in E . In fact, by J ε ( u n ) → c and J ε ′ ( u n ) → 0 in E ′ , it follows from ( M 2 ) and ( f 3 ) that

(3.4) c + o ( 1 ) ‖ u n ‖ ε = J ε ( u n ) − 1 μ ⟨ J ε ′ ( u n ) , u n ⟩ = 1 2 M ( [ u n ] s , A 2 ) − 1 μ M ( [ u n ] s , A 2 ) [ u n ] s , A 2 + 1 2 − 1 μ ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 d x + 1 4 − 1 μ ε − 2 s ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 d x + ε − 2 s ∫ R 3 1 μ f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 − 1 4 F ( x , ∣ u n ∣ 2 ) d x + 1 μ − 1 2 s ∗ ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ d x ≥ 1 2 σ − 1 μ M ( [ u n ] s , A 2 ) [ u n ] s , A 2 + 1 2 − 1 μ ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 d x ≥ σ 2 − 1 μ m 0 [ u n ] s , A 2 + 1 2 − 1 μ ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 d x .

We know that { u n } n is bounded in E from max { 2 / σ , 4 } < μ < 2 s ∗ . Furthermore, we can obtain c ≥ 0 by passing to the limit in (3.4). Hence, by diamagnetic inequality, { ∣ u n ∣ } n is bounded in H s ( R 3 ) . Then, by using the fractional version of concentration compactness principle in the fractional Sobolev space (see [29,30,31]), up to a subsequence, we have

(3.5) u n → u a.e. in R 3 ,

u n ⇀ u in E ,

(3.6) ∣ ( − Δ ) s 2 u n ∣ 2 ⇀ μ = ∣ ( − Δ ) s 2 u ∣ 2 + μ ˜ + ∑ j ∈ I δ x j μ j in the sense of measures in ℳ ( R 3 ) ,

(3.7) ∣ u n ∣ 2 s ∗ ⇀ ν = ∣ u ∣ 2 s ∗ + ∑ j ∈ I δ x j ν j in the sense of measures in ℳ ( R 3 ) ,

(3.8) ν j ≤ ( S − 1 μ ( { x j } ) ) 2 s ∗ 2 for j ∈ J ,

where S is the best Sobolev constant, i.e.,

S = inf u ∈ H s ( R 3 ) ⧹ { 0 } ∫ R 3 ∣ ( − Δ ) s 2 u ∣ 2 d x ∫ R 3 ∣ u ∣ 2 s ∗ d x ,

x j ∈ R N , and δ x j are Dirac measures at x j and μ j , and ν j are constants. Moreover, we have

(3.9) limsup n → ∞ ∫ R 3 ∣ ( − Δ ) s 2 u n ∣ 2 d x = ∫ R 3 d μ + μ ∞ ,

(3.10) limsup n → ∞ ∫ R 3 ∣ u n ∣ 2 s ∗ d x = ∫ R 3 d ν + ν ∞ ,

(3.11) ν ∞ ≤ ( S − 1 ν ∞ ) 2 s ∗ 2 ,

where

μ ∞ = lim R → ∞ limsup n → ∞ ∫ { x ∈ R 3 : ∣ x ∣ > R } ∣ ( − Δ ) s 2 u n ∣ 2 d x ,

ν ∞ = lim R → ∞ limsup n → ∞ ∫ { x ∈ R 3 : ∣ x ∣ > R } ∣ u n ∣ 2 s ∗ d x .

In the following, we shall prove that

J = ∅ and ν ∞ = 0 .

Now, we suppose on the contrary that J ≠ ∅ . Then, we can construct a smooth cut-off function, take ϕ ∈ C 0 ∞ ( R 3 ) such that 0 ≤ ϕ ≤ 1 ; ϕ ≡ 1 in B ( x j , ε ) , ϕ ( x ) = 0 in R 3 ⧹ B ( x j , 2 ε ) . For any ε > 0 , define ϕ ε = ϕ x − x j ε , where j ∈ J . It is not difficult to see that { u n ϕ ε } n is bounded in E . Then ⟨ J ε ′ ( u n ) , u n ϕ ε ⟩ → 0 , which implies

(3.12) M ( [ u n ] s , A 2 ) ∬ R 6 ∣ u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ∣ 2 ϕ ε ( y ) ∣ x − y ∣ 3 + 2 s d x d y + ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 ϕ ε ( x ) d x = − Re M ( [ u n ] s , A 2 ) ∬ R 6 ( u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ) u n ( x ) ( ϕ ε ( x ) − ϕ ε ( y ) ) ¯ ∣ x − y ∣ 3 + 2 s d x d y − ε − 2 s ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 ϕ ε d x + ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ ϕ ε d x + ε − 2 s ∫ R 3 f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 ϕ ε ( x ) d x + o n ( 1 ) .

It is easy to verify that

∬ R 6 ∣ ∣ u n ( x ) ∣ − ∣ u n ( y ) ∣ ∣ 2 ϕ ε ( y ) ∣ x − y ∣ 3 + 2 s d x d y → ∫ R 3 ϕ ρ d μ as n → ∞

and

∫ R 3 ϕ ε d μ → μ ( { x i } ) as ρ → 0 .

Note that the Hölder inequality yields

(3.13) Re M ( [ u n ] s , A 2 ) ∫ ∫ R 6 ( u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ) u n ( x ) ( ϕ ε ( x ) − ϕ ε ( y ) ) ¯ ∣ x − y ∣ 3 + 2 s d x d y ≤ C ∬ R 6 ∣ u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ∣ ⋅ ∣ ϕ ε ( x ) − ϕ ε ( y ) ∣ ⋅ ∣ u n ( x ) ∣ ∣ x − y ∣ 3 + 2 s d x d y ≤ C ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ϕ ε ( x ) − ϕ ε ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / 2 .

Lemma 3.4 in [33] gives that

(3.14) lim ε → 0 lim n → ∞ ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ϕ ε ( x ) − ϕ ε ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y = 0 .

Due to the fact that f has the subcritical growth and ϕ ε has the compact support, we have that

(3.15) lim ε → 0 lim n → ∞ ∫ R 3 f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 ϕ ε d x = ∫ R 3 f ( x , ∣ u ∣ 2 ) ∣ u ∣ 2 ϕ ε d x = 0

and

(3.16) lim ε → 0 lim n → ∞ ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 ϕ ε d x = ∫ R 3 ψ ∣ u ∣ t ∣ u ∣ 2 ϕ ε d x = 0 .

Since ϕ ρ has compact support, so that, letting n → ∞ in (3.12), we can deduce from (3.13)–(3.16) the diamagnetic inequality and ( M 1 ) that

m 0 μ ( { x j } ) ≤ ε − 2 s ν j .

Inserting this into (3.11), we obtain ν j ≥ ( m 0 S ) 3 2 s ε 3 . By J ε ( u n ) → c λ and J ε ′ ( u n ) → 0 as n → ∞ , it follows from (3.4) that

c = lim n → ∞ J ε ( u n ) − 1 μ ⟨ J ε ′ ( u n ) , u n ⟩ ≥ 1 μ − 1 2 s ∗ ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ d x ≥ 1 μ − 1 2 s ∗ ε − 2 s ν ∞ ≥ σ 0 ε 3 − 2 s ,

where σ 0 = 1 μ − 1 2 s ∗ ( α 0 S ) 3 2 s . This is an obvious contradiction. Hence, J = ∅ .

Next, we prove that ν ∞ = 0 . Suppose on the contrary that ν ∞ > 0 . To obtain the possible concentration of mass at infinity, we similarly define a cut off function ϕ R ∈ C 0 ∞ ( R N ) such that ϕ R ( x ) = 0 on ∣ x ∣ < R and ϕ R ( x ) = 1 on ∣ x ∣ > R + 1 . We can verify that { u n ϕ R } n is bounded in E , and hence, ⟨ J ε ′ ( u n ) , u n ϕ R ⟩ → 0 , and this implies that as n → ∞

(3.17) M ( [ u n ] s , A 2 ) ∬ R 6 ∣ u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ∣ 2 ϕ R ( y ) ∣ x − y ∣ 3 + 2 s d x d y + ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 ϕ R ( x ) d x = − Re M ( [ u n ] s , A 2 ) ∬ R 6 ( u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ) u n ( x ) ( ϕ R ( x ) − ϕ R ( y ) ) ¯ ∣ x − y ∣ 3 + 2 s d x d y − ε − 2 s ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 ϕ ρ d x + ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ ϕ R d x + ε − 2 s ∫ R 3 f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 ϕ R ( x ) d x + o n ( 1 ) .

As mentioned earlier, we have

limsup R → ∞ limsup n → ∞ ∬ R 6 ∣ ∣ u n ( x ) ∣ − ∣ u n ( y ) ∣ ∣ 2 ϕ R ( y ) ∣ x − y ∣ 3 + 2 s d x d y = μ ∞

and

Re M ( [ u n ] s , A 2 ) ∬ R 6 ( u n ( x ) − e i ( x − y ) ⋅ A x + y 2 u n ( y ) ) u n ( x ) ( ϕ R ( x ) − ϕ R ( y ) ) ¯ ∣ x − y ∣ 3 + 2 s d x d y ≤ C ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ϕ R ( x ) − ϕ R ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / 2 .

Since

limsup R → ∞ limsup n → ∞ ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ϕ R ( x ) − ϕ R ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y = limsup R → ∞ limsup n → ∞ ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ( 1 − ϕ R ( x ) ) − ( 1 − ϕ R ( y ) ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y .

Similar to the proof of Lemma 3.4 in [33], we can show that

limsup R → ∞ limsup n → ∞ ∬ R 6 ∣ u n ( x ) ∣ 2 ∣ ( 1 − ϕ R ( x ) ) − ( 1 − ϕ R ( y ) ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y = 0 .

Moreover, we proceed as in (3.15) and (3.16) to obtain

lim R → ∞ lim n → ∞ ∫ R 3 f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 ϕ R ( x ) d x = 0

and

lim R → ∞ lim n → ∞ ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 ϕ R d x = ∫ R 3 ψ ∣ u ∣ t ∣ u ∣ 2 ϕ R d x = 0 .

By (3.11) and letting R → ∞ in (3.17), we obtain

m 0 μ ∞ ≤ ε − 2 s ν ∞ .

By (3.17), we obtain ν ∞ ≥ ( α 0 S ) 3 2 s ε 3 . Thus, we have

c ≥ 1 μ − 1 2 s ∗ ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ d x ≥ 1 μ − 1 2 s ∗ ε − 2 s ν ∞ ≥ σ 0 ε 3 − 2 s ,

where σ 0 = 1 μ − 1 2 s ∗ ( m 0 S ) 3 2 s . Thus,

(3.18) ∫ R 3 ∣ u n ∣ 2 s ∗ d x → ∫ R 3 ∣ u ∣ 2 s ∗ d x .

From the Brézis–Lieb lemma, we obtain

u n → u in L 2 s ∗ ( R 3 ) as n → ∞ .

By the weak lower semicontinuity of the norm, condition ( M 1 ) , and the Brézis–Lieb lemma, we have

o ( 1 ) ‖ u n ‖ = ⟨ J ε ′ ( u n ) , u n ⟩ = M ( [ u n ] s , A 2 ) [ u n ] s , A 2 + ε − 2 s ∫ R 3 V ( x ) ∣ u n ∣ 2 d x + ε − 2 s ∫ R 3 ψ ∣ u n ∣ t ∣ u n ∣ 2 d x − ε − 2 s ∫ R 3 ∣ u n ∣ 2 s ∗ d x − ε − 2 s ∫ R 3 f ( x , ∣ u n ∣ 2 ) ∣ u n ∣ 2 d x ≥ m 0 ( [ u n ] s , A 2 − [ u ] s , A 2 ) + ε − 2 s ∫ R 3 V ( x ) ( ∣ u n ∣ 2 − ∣ u ∣ 2 ) d x + M ( [ u ] s , A 2 ) [ u ] s , A 2 + ε − 2 s ∫ R 3 V ( x ) ∣ u ∣ 2 d x + ε − 2 s ∫ R 3 ψ ∣ u ∣ t ∣ u ∣ 2 d x − ε − 2 s ∫ R 3 ∣ u ∣ 2 s ∗ d x − ε − 2 s ∫ R 3 f ( x , ∣ u ∣ 2 ) ∣ u ∣ 2 d x ≥ min { m 0 , 1 } ‖ u n − u ‖ ε 2 + o ( 1 ) ‖ u ‖ ε .

Here, we use the fact that J ε ′ ( u ) = 0 . This fact implies that ( u n ) n strongly converges to u in E . Hence, the proof is complete.□

4 Proof of Theorem 1.1

To prove Theorem 1.1, let 0 < ε < 1 , and we first prove that functional J ε ( u ) has the mountain pass geometry.

Lemma 4.1

Let ( V ) and ( ℱ ) hold. If M satisfies ( M 1 ) and ( M 2 ) , then

there exist two positive constants β ε , ρ ε > 0 such that J ε ( u ) > 0 if u ∈ B ρ ε ⧹ { 0 } and J ε ( u ) ≥ β ε if u ∈ ∂ B ρ ε , where B ρ ε = { u ∈ E : ‖ u ‖ ε ≤ ρ ε } ;
for any finite dimensional subspace H ⊂ E ,
J ε ( u ) → − ∞ a s u ∈ H w i t h ‖ u ‖ ε → ∞ .

Proof

From condition ( ℱ ) , we can take ς ≤ 2 min σ m 0 2 , 1 2 c 2 2 − 1 ε 2 s and there exists c ς > 0 such that

1 2 s ∗ ∫ R 3 ∣ u ∣ 2 s ∗ d x + 1 2 ∫ R 3 F ( x , ∣ u ∣ 2 ) d x ≤ ς ∣ u ∣ 2 2 + c ς ∣ u ∣ 2 s ∗ 2 s ∗ ,

where c ς is the embedding constant given by (2.1). From (3.2), we obtain that

J ε ( u ) ≥ min σ m 0 2 , 1 2 ‖ u ‖ ε 2 − ε − 2 s ξ ∣ u ∣ 2 2 − ε − 2 s c ς ∣ u ∣ 2 s ∗ 2 s ∗ ≥ 1 2 min σ m 0 2 , 1 2 ‖ u ‖ ε 2 − ε − 2 s c ς c 2 s ∗ 2 s ∗ ‖ u ‖ ε 2 s ∗ .

This fact implies that the conclusion ( C 1 ) in Lemma 4.1 holds true since 2 s ∗ > 2 .

Now we verify condition ( C 2 ) of Lemma 4.1. We note that ( M 2 ) implies that

(4.1) M ( t ) ≤ M ( t 0 ) t 0 1 / σ t 1 / σ = C 0 t 1 / σ for all t ≥ t 0 > 0 .

Thus, for all u ∈ H , we have

J ε ( u ) ≤ C 0 2 ‖ u ‖ ε 2 σ + 1 2 ‖ u ‖ ε 2 + ε − 2 s 4 C ‖ u ‖ ε 4 − ε − 2 s 2 s ∗ ∣ u ∣ 2 s ∗ 2 s ∗ − ε − 2 s l 0 ∣ u ∣ r r .

Since all norms in a finite-dimensional space are equivalent, 2 ≤ 2 / σ < 2 s ∗ and 4 < 2 s ∗ since 3 4 < s < 1 , we obtain that ( C 2 ) in Lemma 4.1 is valid. This completes the proof.□

Next, we will prove that J ε ( u ) satisfies ( P S ) c on the special finite-dimensional subspace. To do this, by assumption ( V ) , we choose x 0 ∈ R N such that V ( x 0 ) = min x ∈ R N V ( x ) = 0 . Without loss of generality, we can assume from now on that x 0 = 0 .

Let I ε ∈ C 1 ( E , R ) be defined by

I ε ( u ) ≔ 1 2 M ( [ u ] s , A ε 2 ) + ε − 2 s 2 ∫ R 3 V ( x ) ∣ u ∣ 2 d x − l 0 ε − 2 s ∫ R 3 ∣ u ∣ r d x .

From ( f 3 ) , we can obtain J ε ( u ) ≤ I ε ( u ) for all u ∈ E .

On the other hand, from Lemma 3.5 in [12], we know that

inf ∬ R 6 ∣ ϕ ( x ) − ϕ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y : ϕ ∈ C 0 ∞ ( R 3 ) , ∣ ϕ ∣ r = 1 = 0 .

Thus, for any 1 > ζ > 0 , one can choose ϕ ζ ∈ C 0 ∞ ( R 3 ) with ∣ ϕ ζ ∣ r = 1 and supp ϕ ζ ⊂ B r ζ ( 0 ) so that

∬ R 6 ∣ ϕ ζ ( x ) − ϕ ζ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y ≤ C ζ 6 − ( 3 − 2 s ) r r .

Set

(4.2) h ζ ( x ) = e i A ( 0 ) x ϕ ζ ( x )

and

(4.3) h ε , ζ ( x ) = h ζ ( ε − 1 x ) .

From condition ( f 3 ) , we have

I ε ( t h ε , ζ ) ≤ C 0 2 t 2 σ ∬ R 6 ∣ h ε , ζ ( x ) − e i ( x − y ) ⋅ A x + y 2 h ε , ζ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / σ + t 2 2 ε − 2 s ∫ R 3 V ( x ) ∣ h ε , ζ ∣ 2 d x + t 4 4 ε − 2 s ∫ R 3 ∣ ψ ∣ h ε , ζ ∣ t ∣ ∣ h ε , ζ ∣ 2 d x − t r l 0 ε − 2 s ∫ R 3 ∣ h ε , ζ ∣ r d x ≤ ε 3 − 2 s C 0 2 t 2 σ ∬ R 6 ∣ h ζ ( x ) − e i ( x − y ) ⋅ A ε x + ε y 2 h ζ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / σ + t 2 2 ∫ R 3 V ( ε x ) ∣ h ζ ∣ 2 d x + t 4 4 ε 2 t ∫ R 3 ∣ ψ ∣ h ζ ∣ t ∣ ∣ h ζ ∣ 2 d x − t r l 0 ∫ R 3 ∣ h ζ ∣ r d x ≤ ε 3 − 2 s ℐ ε ( t h ζ ) ,

where

ℐ ε ( u ) ≔ C 0 2 ∬ R 6 ∣ u ( x ) − e i ( x − y ) ⋅ A ε x + ε y 2 u ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / σ + 1 2 ∫ R 3 V ( ε x ) ∣ u ∣ 2 d x + 1 4 ∫ R 3 ψ ∣ u ∣ t ∣ ∣ u ∣ 2 d x − l 0 ∫ R 3 ∣ u ∣ r d x .

Since r > 2 / σ , there exists a finite number t 0 ∈ [ 0 , + ∞ ) such that

max t ≥ 0 ℐ ε ( t h ζ ) ≤ C 0 2 t 0 2 σ ∬ R 6 ∣ h ζ ( x ) − e i ( x − y ) ⋅ A ε x + ε y 2 h ζ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y 1 / σ + t 0 2 2 ∫ R 3 V ( ε x ) ∣ h ζ ∣ 2 d x + t 0 4 4 ∫ R 3 ψ ∣ h ζ ∣ t 0 ∣ ∣ h ζ ∣ 2 d x .

Let ψ ζ ( x ) = e i A ( 0 ) x ϕ ζ ( x ) , where ϕ ζ ( x ) is as defined earlier. From Lemma 3.6 in [12], we have the following lemma.

Lemma 4.2

For any ζ > 0 , there exists ε 0 = ε 0 ( ζ ) > 0 such that

∬ R 6 ∣ h ζ ( x ) − e i ( x − y ) ⋅ A ε x + ε y 2 h ζ ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y ≤ C ζ 6 − ( 3 − 2 s ) r r + 1 1 − s ζ 2 s + 4 s ζ 2 s ,

for all 0 < ε < ε 0 and some constant C > 0 depending only on [ ϕ ] s , 0 .

On the one hand, since V ( 0 ) = 0 and note that supp ϕ ζ ⊂ B r ζ ( 0 ) , there is ε ∗ > 0 such that

V ( ε x ) ≤ ζ ∣ ϕ ζ ∣ 2 2 for all ∣ x ∣ ≤ r ζ and 0 < ε < ε ∗ .

This fact together with Proposition 2.2 imply that

(4.4) max t ≥ 0 ℐ ε ( t h ζ ) ≤ N ( ζ ) ,

where

(4.5) N ( ζ ) ≔ C 0 2 t 0 2 σ C ζ 6 − ( 3 − 2 s ) r r + 1 1 − s ζ 2 s + 4 s ζ 2 s 1 / σ + t 0 2 2 ζ + C C ζ 6 − ( 3 − 2 s ) r r + 1 1 − s ζ 2 s + 4 s ζ 2 s + ζ 2 .

Therefore, for all 0 < ε < min { ε 0 , ε ∗ } , we have

(4.6) max t ≥ 0 J ε ( t h ζ ) ≤ N ( ζ ) ε 3 − 2 s .

Thus, we have the following result.

Lemma 4.3

Let ( V ) and ( ℱ ) hold. If M satisfies ( M 1 ) and ( M 2 ) , for any κ > 0 , there exists ℰ κ > 0 such that for each 0 < ε < ℰ κ , there is e ^ ε ∈ E with ‖ e ^ ε ‖ > ϱ ε , J ε ( e ^ ε ) ≤ 0 and

(4.7) max t ∈ [ 0 , 1 ] J ε ( t e ^ ε ) ≤ κ ε 3 − 2 s .

Proof

Let ζ > 0 satisfies N ( ζ ) ≤ κ . Set ℰ κ = min { ε 0 , ε ∗ } and t ^ ε > 0 be such that t ^ ε ‖ ψ ε , ζ ‖ ε > ϱ ε and J ε ( t ψ ε , ζ ) ≤ 0 for all t ≥ t ^ ε . Choose e ^ ε = t ^ ε ψ ε , ζ , by (4.6), we know that the conclusion of Lemma 4.3 holds.□

To obtain the multiplicity of solutions, one can choose m ∗ ∈ N functions ϕ ζ i ∈ C 0 ∞ ( R 3 ) such that supp ϕ ζ i ∩ supp ϕ ζ k = ∅ , i ≠ k , ∣ ϕ ζ i ∣ s = 1 and

∬ R 6 ∣ ϕ ζ i ( x ) − ϕ ζ i ( y ) ∣ 2 ∣ x − y ∣ 3 + 2 s d x d y ≤ C ζ 6 − ( 3 − 2 s ) r r .

Let r ζ m ∗ > 0 be such that supp ϕ ζ i ⊂ B r ζ i ( 0 ) for i = 1 , 2 , … , m ∗ . Set

(4.8) h ζ i ( x ) = e i A ( 0 ) x ϕ ζ i ( x )

and

(4.9) h ε , ζ i ( x ) = h ζ i ( ε − 1 x ) .

Denote

H ε ζ m ∗ = span { h ε , ζ 1 , h ε , ζ 2 , … , h ε , ζ m ∗ } .

Let u = ∑ i = 1 m ∗ c i ψ ε , ζ i ∈ H ε ζ m ∗ , thus

[ u ] s , A ε 2 ≤ C ∑ i = 1 m ∗ ∣ c i ∣ 2 [ h ε , ζ i ] s , A ε 2 ,

∫ R 3 V ( x ) ∣ u ∣ 2 d x = ∑ i = 1 m ∗ ∣ c i ∣ 2 ∫ R 3 V ( x ) ∣ h ε , ζ i ∣ 2 d x

and

1 2 s ∗ ∫ R 3 ∣ u ∣ 2 s ∗ d x + 1 2 ∫ R 3 F ( x , ∣ u ∣ 2 ) d x = ∑ i = 1 m ∗ 1 2 s ∗ ∫ R 3 ∣ c i h ε , ζ i ∣ 2 s ∗ d x + 1 2 ∫ R 3 F ( x , ∣ c i h ε , ζ i ∣ 2 ) d x .

Therefore,

J ε ( u ) ≤ C ∑ i = 1 m ∗ J ε ( c i h ε , ζ i )

for some constant C > 0 . By a similar argument as earlier, we know that

J ε ( c i h ε , ζ i ) ≤ ε 3 − 2 s ℐ ε ( ∣ c i ∣ h ζ i ) .

As mentioned earlier, we can obtain the following estimate:

(4.10) max u ∈ H ε δ m ∗ J ε ( u ) ≤ C m ∗ N ( ζ ) ε 3 − 2 s

for all ζ small enough and some constant C > 0 . Now, let F ε m ∗ = H ε ζ m ∗ = span { h ε , ζ 1 , h ε , ζ 2 , ⋯ , h ε , ζ m ∗ } . From (4.10), we have the following lemma.

Lemma 4.4

Let ( V ) and ( ℱ ) hold. If M satisfies ( M 1 ) and ( M 2 ) , for any m ∗ ∈ N and κ > 0 , there exists ℰ m ∗ κ > 0 such that for each 0 < ε < ℰ m ∗ κ , there exists an m ∗ -dimensional subspace F ε m ∗ satisfying

max u ∈ F λ m ∗ J ε ( u ) ≤ κ ε 3 − 2 s .

We now establish the existence and multiplicity results.

Proof of Theorem 3.1 (1)

For any 0 < κ < σ 0 , we choose ℰ κ > 0 and define for 0 < ε < ℰ κ , the minimax value

c ε ≔ inf γ ∈ Ξ ε max t ∈ [ 0 , 1 ] J ε ( t e ^ ε ) ,

where

Ξ ε ≔ { γ ∈ C ( [ 0 , 1 ] , E ) : γ ( 0 ) = 0 and γ ( 1 ) = e ^ ε } .

By Lemma 4.1, we have α ε ≤ c ε ≤ κ ε 3 − 2 s . From Lemma 3.1, we know that J ε satisfies the ( P S ) c ε condition, and there is u ε ∈ E such that J ε ′ ( u ε ) = 0 and J ε ( u ε ) = c ε . Then u ε is a nontrivial solution of problem (3.1). Moreover, it is well known that a mountain pass solution is a ground state solution of problem (3.1).

On the other hand, for τ ∈ [ 2 , 2 s ∗ ] , we have

(4.11) κ ε 3 − 2 s ≥ J ε ( u ε ) = J ε ( u ε ) − 1 τ J ε ′ ( u ε ) u ε ≥ σ 2 − 1 τ m 0 [ u ε ] s , A ε 2 + 1 2 − 1 τ ε − 2 s ∫ R 3 V ( x ) ∣ u ε ∣ 2 d x + 1 τ − 1 2 s ∗ ε − 2 s ∫ R 3 ∣ u ε ∣ 2 s ∗ d x + μ τ − 1 2 ε − 2 s ∫ R 3 F ( x , ∣ u ε ∣ 2 ) d x .

Taking τ = 2 / σ , we obtain the estimate (1.5), and taking τ = μ , we obtain the estimate (1.6). This completes the proof of Theorem 3.1 (1).□

Proof of Theorem 3.1 (2)

Denote the set of all symmetric (in the sense that − Z = Z ) and closed subsets of E by Σ , for each Z ∈ Σ . Let gen ( Z ) be the Krasnoselski genus and

j ( Z ) ≔ min ι ∈ Ξ m ∗ gen ( ι ( Z ) ∩ ∂ B ϱ ε ) ,

where Ξ m ∗ is the set of all odd homeomorphisms ι ∈ C ( E , E ) and ϱ ε is the number from Lemma 4.1. Then j is a version of Benci’s pseudoindex [34]. Let

c ε i ≔ inf j ( Z ) ≥ i sup u ∈ Z J ε ( u ) , 1 ≤ i ≤ m ∗ .

Since J ε ( u ) ≥ α ε for all u ∈ ∂ B ϱ ε + and since j ( F ε m ∗ ) = dim F ε m ∗ = m ∗ , we obtain

α ε ≤ c ε 1 ≤ ⋯ ≤ c ε m ∗ ≤ sup u ∈ H ε m ∗ J ε ( u ) ≤ κ ε 3 − 2 s .

It follows from Lemma 3.1 that J ε satisfies the ( P S ) c ε condition at all levels c < σ 0 ε 3 − 2 s . By the usual critical point theory, all c ε i are critical levels and J ε has at least m ∗ pairs of nontrivial critical points satisfying

α ε ≤ J ε ( u ε ) ≤ κ ε 3 − 2 s .

Hence, problem (3.1) has at least m ∗ pairs of solutions. Finally, as in the proof of Theorem 3.1, we see that these solutions satisfy the estimates (1.5) and (1.6).□

Acknowledgments

The authors would like to thank the anonymous referee for his/her useful comments and suggestions which help to improve and clarify the paper greatly.

Funding information: Z. Zhang was supported by 2020 Nanjing Vocational College of Information Technology Doctoral special fund project “Study on the Climate Ensemble Forecast Model Based on the East Asian Monsoon Region” (YB20200902) and the National Natural Science Foundation of China (No. 12001061).
Author contributions: All authors have accepted responsibility for the entire content of this manuscript and approved its submission.
Conflict of interest: The authors state no conflict of interest.

References

[1] P. d’Avenia and M. Squassina, Ground states for fractional magnetic operators, ESAIM Control Optim. Calc. Var. 24 (2018), no. 1, 1–24, https://doi.org/10.1051/cocv/2016071. Search in Google Scholar

[2] E. Di Nezza, G. Palatucci, and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolevspaces, Bull. Sci. Math. 136 (2012), no. 5, 521–573, https://doi.org/10.1016/j.bulsci.2011.12.004. Search in Google Scholar

[3] F. G. Düzgün and A. Iannizzotto, Three nontrivial solutions for nonlinear fractional Laplacian equations, Adv. Nonlinear Anal. 7 (2018), no. 2, 211–226, https://doi.org/10.1515/anona-2016-0090. Search in Google Scholar

[4] N. Laskin, Fractional quantum mechanics and Lévy path integrals, Phys. Lett. A 268 (2000), no. 4–6, 298–305, DOI: https://doi.org/10.1016/S0375-9601(00)00201-2.10.1016/S0375-9601(00)00201-2Search in Google Scholar

[5] L. Ledesma and E. César, Multiplicity result fornon-homogeneous fractional Schrödinger-Kirchhoff-type equations in RN, Adv. Nonlinear Anal. 7 (2018), no. 3, 247–257, https://doi.org/10.1515/anona-2015-0096. Search in Google Scholar

[6] S. Liang, V. Rădulescu, and B. Zhang, Least-energy nodal solutions of critical Kirchhoff problems with logarithmic nonlinearity, Anal. Math. Phys. 10 (2020), no. 4, 1–31, https://doi.org/10.1007/s13324-020-00386-z. Search in Google Scholar

[7] S. Liang, H. Pu, and V. Rădulescu, High perturbations of critical fractional Kirchhoff equations with logarithmic nonlinearity, Appl. Math. Lett. 116 (2021), no. 6, 107027, https://doi.org/10.1016/j.aml.2021.107027. Search in Google Scholar

[8] G. Molica Bisci, V. Rădulescu, and R. Servadei, Variational methods for nonlocal fractional equations, Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 2016. 10.1017/CBO9781316282397Search in Google Scholar

[9] N. Papageorgiou, V. Rădulescu, and D. Repovš, Nonlinear Analysis-Theory and Methods, Springer, Berlin Heidelberg, 2019. 10.1007/978-3-030-03430-6Search in Google Scholar

[10] M. Squassina and B. Volzone, Bourgain-Brézis-Mironescu formula for magnetic operators, C. R. Math. Acad. Sci. Paris 354 (2016), no. 8, 825–831, https://doi.org/10.1016/j.crma.2016.04.013. Search in Google Scholar

[11] X. Mingqi, P. Pucci, M. Squassina, and B. Zhang, Nonlocal Schrödinger-Kirchhoff equations with external magnetic field, Discrete Contin. Dyn. Syst. 37 (2017), no. 3, 1631–1649, https://doi.org/10.3934/dcds.2017067. Search in Google Scholar

[12] Z. Binlin, M. Squassina, and X. Zhang, Fractional NLS equations with magnetic field, critical frequency and critical growth, Manuscripta Math. 155 (2018), no. 1–2, 115–140, https://doi.org/10.1007/s00229-017-0937-4. Search in Google Scholar

[13] S. Liang, D.D. Repovš, and B. Zhang, On the fractional Schrödinger-Kirchhoff equations with electromagnetic fields and critical nonlinearity, Comput. Math. Appl. 75 (2018), no. 5, 1778–1794, https://doi.org/10.1016/j.camwa.2017.11.033. Search in Google Scholar

[14] S. Liang, D.D. Repovš, and B. Zhang, Fractional magnetic Schrödinger-Kirchhoff problems with convolution and critical nonlinearities, Math. Models Methods Appl. Sci. 43 (2020), no. 5, 2473–2490, https://doi.org/10.1002/mma.6057. Search in Google Scholar

[15] A. R. Giammetta, Fractional Schrödinger-Poisson-Slater System in One Dimension, arXiv:1405.2796. Search in Google Scholar

[16] J. Zhang, J. M. Do Ó, and M. Squassina, Fractional Schrödinger-Poisson systems with a general subcritical or critical nonlinearity, Adv. Nonlinear Stud. 16 (2016), no. 1, 15–30, https://doi.org/10.1515/ans-2015-5024. Search in Google Scholar

[17] E. Murcia and G. Siciliano, Positive semiclassical states for afractional Schrödinger-Poisson system, Differential Integral Equations (2017), no. 3–4, 231–258, http://projecteuclid.org/euclid.die/1487386824. Search in Google Scholar

[18] W. Liu, Existence of multi-bump solutions for the fractional Schrödinger-Poisson system, J. Math. Phys. 57 (2016), no. 9, 091502, 17 pp, https://doi.org/10.1063/1.4963172. Search in Google Scholar

[19] S. Chen, J. Peng, and X. Tang, Ground state solutions for asymptotically periodic fractional Schrödinger-Poisson problems with asymptotically cubic or super-cubic nonlinearities, Math. Methods Appl. Sci. 40 (2017), no. 13, 4948–4961, https://doi.org/10.1002/mma.4360. Search in Google Scholar

[20] V. Ambrosio, An existence result for a fractional Kirchhoff-Schrödinger-Poisson system, Z. Angew. Math. Phys. 69 (2018), no. 2, 1–13, https://doi.org/10.1007/s00033-018-0921-1. Search in Google Scholar

[21] V. Ambrosio, Multiplicity and concentration results for a class of critical fractional Schrödinger-Poisson systems via penalization method, Commun. Contemp. Math. 22 (2020), no. 1, 1850078, 45, DOI: https://doi.org/10.1142/S0219199718500785. 10.1142/S0219199718500785Search in Google Scholar

[22] S. Liang and B. Zhang, Sign-changing solutions for fourth-order elliptic equations of Kirchhoff type with critical exponent, Electron. J. Qual. Theory Differ. Equ. 37 (2021), no. 23, 1–23, https://doi.org/10.14232/ejqtde.2021.1.37. Search in Google Scholar

[23] K. Teng, Existence of ground state solutions for the nonlinear fractional Schrödinger-Poisson system with critical Sobolev exponent, J. Differential Equations 261 (2016), no. 6, 3061–3106, https://doi.org/10.1016/j.jde.2016.05.022. Search in Google Scholar

[24] M. Xiang, V. Rădulescu, and B. Zhang, Combined effects for fractional Schrödinger-Kirchhoff systems with critical nonlinearities, ESAIM Control Optim. Calc. Var. 24 (2018), no. 3, 1249–1273, https://doi.org/10.1051/cocv/2017036. Search in Google Scholar

[25] L. Liu and H. Chen, The nontrivial solutions for fractional Schrödinger-Poisson equations with magnetic fields and critical or supercritical growth, Appl. Math. Lett. 121 (2021) no. 9, 107358, https://doi.org/10.1016/j.aml.2021.107358. Search in Google Scholar

[26] S. Liang, C.N. Thanh, and B. Zhang, Multi-bump solutions for fractional Schrödinger equation with electromagnetic fields and critical nonlinearity. Adv. Differential Equations 25 (2020), no. 7–8, 423–456, DOI: https://projecteuclid.org/euclid.ade/1594692077. 10.57262/ade/1594692077Search in Google Scholar

[27] V. Ambrosio, Multiplicity and concentration results for a fractional Schrödinger-Poisson type equation with magnetic field, Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), no. 2, 655–694, https://doi.org/10.1017/prm.2018.153. Search in Google Scholar

[28] V. Ambrosio, Multiplicity and concentration results for fractional Schrödinger-Poisson equations with magnetic fields and critical growth, Potential Anal. 52 (2020), no. 4, 565–600, https://doi.org/10.1007/s11118-018-9751-1. Search in Google Scholar

[29] G. Palatucci and A. Pisante, Improved Sobolev embeddings, profiled ecomposition, and concentration-compactness for fractional Sobolev spaces, Calc. Var. Partial Differential Equations 50 (2014), no. 3–4, 799–829, DOI: https://doi.org/10.1007/s00526-013-0656-y. 10.1007/s00526-013-0656-ySearch in Google Scholar

[30] M. Xiang, B. Zhang, and X. Zhang, A nonhomogeneous fractional p-Kirchhoff type problem involving critical exponent in RN, Adv. Nonlinear Stud. 17 (2017), no. 3, 611–640, https://doi.org/10.1515/ans-2016-6002. Search in Google Scholar

[31] X. Zhang, B. Zhang, and M. Xiang, Ground states for fractional Schrödinger equations involving a critical nonlinearity, Adv. Nonlinear Anal. 5 (2016), no. 3, 293–314. 10.1515/anona-2015-0133Search in Google Scholar

[32] M. Willem, Minimax Theorems, Progress in Nonlinear Differential Equations and their Applications, vol. 24, Birkhäser: Boston/Basel/Berlin, 1996. Search in Google Scholar

[33] X. Zhang, B. Zhang, and D. D Repovš, Existence and symmetry of solutions for critical fractional Schrödinger equations with bounded potentials, Nonlinear Anal. 142 (2016), 48–68. 10.1016/j.na.2016.04.012Search in Google Scholar

[34] V. Benci, On critical point theory for indefinite functionals in presence of symmetries, Trans. Amer. Math. Soc. 274 (1982), no. 2, 533–572, https://doi.org/10.2307/1999120. Search in Google Scholar

Received: 2022-03-28

Revised: 2022-04-09

Accepted: 2022-06-23

Published Online: 2022-09-01

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

Articles in the same Issue

https://doi.org/10.1515/math-2022-0471

Keywords for this article

fractional Schrödinger-Kirchhoff-Poisson equations; fractional magnetic operator; critical nonlinearity; variational methods

Creative Commons

BY 4.0