Skip to content
BY 4.0 license Open Access Published by De Gruyter Open Access January 10, 2024

On the p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity

  • Min Zhao ORCID logo , Yueqiang Song ORCID logo EMAIL logo and Dušan D. Repovš ORCID logo
From the journal Demonstratio Mathematica

Abstract

In this article, we deal with the following p -fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity:

M ( [ u ] s , A p ) ( Δ ) p , A s u + V ( x ) u p 2 u = λ R N u p μ , s * x y μ d y u p μ , s * 2 u + k u q 2 u , x R N ,

where 0 < s < 1 < p , p s < N , p < q < 2 p s , μ * , 0 < μ < N , λ , and k are some positive parameters, p s , μ * = p N p μ 2 N p s is the critical exponent with respect to the Hardy-Littlewood-Sobolev inequality, and functions V and M satisfy the suitable conditions. By proving the compactness results using the fractional version of concentration compactness principle, we establish the existence of nontrivial solutions to this problem.

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

1 Introduction

In this article, we intend to study the following p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity in R N :

(1.1) M ( [ u ] s , A p ) ( Δ ) p , A s u + V ( x ) u p 2 u = λ R N u p μ , s * x y μ d y u p μ , s * 2 u + k u q 2 u , x R N ,

where 0 < s < 1 < p , p s < N , p < q < 2 p s , μ * , 0 < μ < N , λ , and k are some positive parameters,

[ u ] s , A p R 2 N u ( x ) e i ( x y ) A x + y p u ( y ) p x y N + p s d x d y ,

p s , μ * = p N p μ 2 N p s is the critical exponent with respect to the Hardy-Littlewood-Sobolev inequality, V C ( R N , R 0 + ) is an electric potential, A C ( R N , R N ) is a magnetic potential, and V and M satisfy the following assumptions:

  1. V : R N R is a continuous function and has critical frequency, i.e., V ( 0 ) = min x R N V ( x ) = 0 . Moreover, the set V τ 0 = { x R N : V ( x ) < τ 0 } has finite Lebesgue measure for some τ 0 > 0 .

  2. ( m 1 ) The Kirchhoff function M : R 0 + R + is a continuous and nondecreasing. In addition, there exists a positive constant m 0 > 0 such that M ( t ) m 0 for all t R 0 + ;

  3. ( m 2 ) For some σ ( p q , 1 ] , we have M ˜ ( t ) σ M ( t ) t for all t 0 , where M ˜ ( t ) = 0 t M ( s ) d s .

When p = 2 , we know that the fractional operator ( Δ ) A s , which up to normalization constants, can be defined on smooth functions u as:

( Δ ) 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 ,

(see d’Avenia and Squassina [1]). There already exist several articles dedicated to the study of the Choquard equation, and this problem can be used to describe many physical models [2,3]. Recently, d’Avenia and Squassina [1] considered the following fractional Choquard equation of the form:

(1.2) ( Δ ) s u + ω u = ( K μ * u p ) u p 2 u , u H s ( R N ) , N 3 ,

and the existence of ground-state solutions was obtained by using the Mountain pass theorem and the Ekeland variational principle. For more results on problems with the Hardy-Littlewood-Sobolev nonlinearity without the magnetic operator case, see [49].

For the case p 2 , Iannizzotto et al. [10] investigated the following fractional p-Laplacian equation:

(1.3) ( Δ ) p s u = f ( x , u ) in Ω , u = 0 in R N \ Ω .

The existence and multiple solutions for Problem (1.3) were proved using the Morse theory. Xiang et al. [11] dealt with a class of Kirchhoff-type problems driven by nonlocal elliptic integro-differential operators, and two existence theorems were obtained using the variational method. Souza [12] studied a class of nonhomogeneous fractional quasilinear equations in R N with exponential growth of the form:

(1.4) ( ) p s u + V ( x ) u p 2 u = f ( x , u ) + λ h in Ω .

Using a suitable Trudinger-Moser inequality for fractional Sobolev spaces, they established the existence of weak solutions for Problem (1.4). In particular, Nyamoradi and Razani [13] considered a class of new Kirchhoff-type equations involving the fractional p -Laplacian and Hardy-Littlewood-Sobolev critical nonlinearity. The existence of infinitely many solutions was obtained by using the concentration compactness principle and Krasnoselskii’s genus theory. For more recent advances on this kind of problems, we refer the readers to [1428].

On the other hand, one of the main features of Problem (1.1) is the presence of the magnetic field operator A . When A 0 , some authors have studied the following equation:

(1.5) ( u i A ) 2 u + V ( x ) u = f ( x , u ) u ,

which has appeared in recent years, where the magnetic operator in equation (1.5) is given by:

( u i A ) 2 u = Δ u + 2 i A ( x ) u + A ( x ) 2 u + i u div A ( x ) .

Squassina and Volzone [29] proved that 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 problems with fractional magnetic operator. In particular, Mingqi et al. [30] proved some existence results for the following Schrödinger-Kirchhoff-type equation involving the magnetic operator:

(1.6) 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, Binlin et al. [31] considered the following fractional Schrödinger equation with critical frequency and critical growth:

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

The existence of ground-state solution tending to trivial solution as ε 0 was obtained using the variational method. Furthermore, Song and Shi [32] were concerned with a class of the p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields; under suitable additional assumptions, the existence of infinite solutions was obtained using the variational method. More results about fractional equations involving the Hardy-Littlewood-Sobolev and critical nonlinear can be found in [3336].

Inspired by the aforementioned works, in this study, we are interested in the p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity. As far as we know, there have not been any results for Problem (1.1) yet. We note that there are many difficulties in dealing with such problems due to the presence of the electromagnetic field and critical nonlinearity. In order to overcome these difficulties, we shall adopt the concentration-compactness principles and some new techniques to prove the ( PS ) c condition. Moreover, we shall use the variational methods in order to establish the existence and multiplicity of solutions for Problem (1.1). Here are our main results.

Theorem 1.1

Suppose that Conditions ( V ) and ( M ) are satisfied. Then there exists λ > 0 such that if λ > λ > 0 , then there exists at least one solution u λ of Problem (1.1) and u λ 0 as λ .

Theorem 1.2

Suppose that Conditions ( V ) and ( M ) are satisfied. Then, for any m N , there exists λ m > 0 such that if λ > λ m , then Problem (1.1) has at least m pairs of solutions u λ , i , u λ , i , i = 1 , 2 , , m and u λ , ± i 0 as λ .

This article is organized as follows. In Section 2, we present the working space and the necessary preliminaries. In Section 3, we apply the principle of concentration compactness to prove that the ( PS ) c condition holds. In Section 4, we check that the mountain pass geometry is established. In Section 5, we use the critical point theory and some subtle estimates to prove our main results.

2 Preliminaries

In this section, we shall give the relevant notations and some useful auxiliary lemmas. For other background information, we refer to Papageorgiou et al. [37]. Let

W A s , p ( R N , C ) = { u L p ( R N , C ) : [ u ] s , A < } ,

where s ( 0 , 1 ) and

[ u ] s , A R 2 N u ( x ) e i ( x y ) A x + y p u ( y ) p x y N + p s d x d y 1 p .

The norm of the fractional Sobolev space is given by:

u W A s , p ( R N , C ) = ( [ u ] s , A p + u L p p ) 1 p .

In order to study Problem (1.1), we shall use the following subspace of W A s , p ( R , C ) defined by:

E = u W A s , p ( R N , C ) : R N V ( x ) u p d x <

with the norm

u E [ u ] s , A p + R N V ( x ) u p d x 1 p .

Condition ( V ) implies that E W A s , p ( R N , C ) is continuous.

Next, we state the well-known Hardy-Littlewood-Sobolev inequality and the diamagnetic inequality, which will be used frequently.

Proposition 2.1

(Hardy-Littlewood-Sobolev inequality [38, Theorem 4.3]) Let 1 < t , r < , and 0 < μ < N with 1 r + 1 t + μ N = 2 , u L t ( R N ) , and v L r ( R N ) . Then, there exists a sharp constant C ( N , μ , t , r ) > 0 , independent of u and v, such that

R N u ( x ) v ( y ) x y μ d x d y C ( N , μ , t , r ) u t v r .

By the Hardy-Littlewood-Sobolev inequality, there exists C ^ ( N , μ ) > 0 such that

R 2 N u ( x ) p μ , s * u ( y ) p μ , s * x y μ d x d y C ^ ( N , μ ) u p s * 2 p μ , s for all u E .

Also, there exists C ( N , μ ) > 0 such that

R 2 N u ( x ) p μ , s * u ( y ) p μ , s * x y μ d x d y C ( N , μ ) u E 2 p μ , s * for all u E .

Lemma 2.1

(Diamagnetic inequality [1, Lemma 3.1, Remark 3.2]) For every u W A s , p ( R N , C ) , we obtain u W s , p ( R N ) . More precisely, we have [ u ] s [ u ] s , A .

3 The Palais-Smale condition

First, we define the set

C c ( R N ) = { u C ( R N ) : supp ( u ) is a compact subset of R N }

and denote by C 0 ( R N ) the closure of C c ( R N ) with respect to the norm η = sup x R N η ( x ) . The measure μ gives the norm:

μ = sup η C 0 ( R N ) , η = 1 ( μ , η ) ,

where ( μ , η ) = R N η d μ .

In order to prove the compactness condition, we introduce the following fractional version of the concentration compactness principle.

Lemma 3.1

(See Xiang and Zhang [39]) Assume that there exist bounded non-negative measures ω , ζ , and ν on R N , and at most countable set { x i } i I Ω \ { 0 } such that

u n u weakly in W s , p ( R N ) , R N u n ( x ) u n ( y ) p x y N + s p d y ω weakly * in ( R N ) , R N u n p μ , s * x y μ d y u n p μ , s * ν weakly * in ( R N ) .

Then, there exist a countable sequence of points { x i } R N and families of positive numbers { ν i : i I } , { ζ i : i I } , and { ω i : i I } such that

ω R N u ( x ) u ( y ) p x y N + p s d x + i I ω i δ x i , ζ = u p s * + i I ζ i δ x i , ν = R N u p μ , s * x y μ d y u p μ , s * + i I ν i δ x i ,

where I is at most countable. Furthermore, we have

(3.1) S p , H ν i p 2 p μ , s * ω i a n d ν i C ( N , μ ) ζ i 2 N μ N ,

where is the Dirac mass of mass 1 concentrated at { x i } R N .

Lemma 3.2

(See Xiang and Zhang [39]) Let { u n } n W s , p ( R N ) be a bounded sequence such that

u n u weakly i n W s , p ( R N ) , R N u n ( x ) u n ( y ) p x y N + s p d y ω weakly * in ( R N ) , R N u n p μ , s * x y μ d y u n p μ , s * ν weakly * in ( R N )

and define

ω = lim R limsup n R 2 N u n ( x ) u n ( y ) p x y N + p s d x d y , ζ = lim R limsup n R N u n p s * d x , ν = lim R limsup n R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * x y μ d x d y .

Then, the quantities ω , ζ , and ν are well defined and satisfy

limsup n R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * x y μ d x d y = R N d ν + ν ,

limsup n R 2 N u n ( x ) u n ( y ) p x y N + p s d x d y = R N d ω + ω ,

limsup n R N u n p s d x = R N d ζ + ζ .

In addition, the following inequality holds

(3.2) S p , H ν p 2 p μ , s * ω a n d ν C ( N , μ ) ζ 2 N μ N .

In order to prove the main results, we define the energy functional of Problem (1.1) as follows

(3.3) J λ ( u ) 1 p M ˜ ( [ u ] s , A p ) + 1 p R N V ( x ) u p d x λ 2 p s , μ * R 2 N u ( y ) p s , μ * u ( x ) p s , μ * x y μ d y d x k q R N u q d x .

Under hypothetical Conditions ( V ) and ( M ) , a simple test as in Willem [40], yields that J λ C 1 ( E , R ) and its critical points are the weak solutions of Problem (1.1), if

(3.4) M ( [ u ] s , A p ) Re L ( u , v ) + Re R N V ( x ) u p 2 u v ¯ d x = Re R N λ R N u p μ , s * x y μ d y u p μ , s * 2 u + k u q 2 u v ¯ d x ,

where

(3.5) L ( u , v ) = R 2 N u ( x ) e i ( x y ) A x + y p u ( y ) p 2 ( u ( x ) e i ( x y ) A x + y p u ( y ) ) ( v ( x ) e i ( x y ) A x + y p v ( y ) ) ¯ x y N + p s d x d y

and v E .

Next, we state and prove the following lemma.

Lemma 3.3

Assume that Conditions ( V ) and ( M ) hold. Then, any ( PS ) c sequence { u n } n for J λ is bounded in E and c 0 .

Proof

Suppose that { u n } n E is a ( P S ) sequence for J λ . Then, we have

(3.6) c + o n ( 1 ) = J λ ( u n ) = 1 p M ˜ ( [ u n ] s , A p ) + 1 p R N V ( x ) u n p d x λ 2 p s , μ * R 2 N u n ( y ) p s , μ * u n ( x ) p s , μ * x y μ d y d x k q R N u n q d x

and

(3.7) J λ ( u n ) , v = Re M ( [ u n ] s , A p ) L ( u n , v ) + R N V ( x ) u n p 2 u n v ¯ d x λ R N R N u n p μ , s * x y μ d y u n p μ , s * 2 u n ( x ) v ¯ d x k R N u n q 2 u n v ¯ d x = o ( 1 ) u n E .

It follows from (3.6), (3.7), and ( M ) that

(3.8) c + o ( 1 ) u n λ J λ ( u n ) 1 q J λ ( u n ) , u n = 1 p M ˜ ( [ u n ] s , A p ) 1 q M ( [ u n ] s , A p ) [ u n ] s , A p + 1 p 1 q R N V ( x ) u n p d x + 1 q 1 2 p s , μ * λ R 2 N u n ( y ) p s , μ * u n ( x ) p s , μ * x y μ d y d x σ p 1 q m 0 [ u n ] s , A p + 1 p 1 q R N V ( x ) u n p d x min σ p 1 q m 0 , 1 p 1 q u n E p .

This fact implies that { u n } n is bounded in E . We also obtain c 0 from (3.8).□

Now, we can show that the following compactness condition holds.

Lemma 3.4

Assume that Conditions ( V ) and ( M ) hold. Then, J λ ( u ) satisfies ( PS ) c condition, for all s p < N < s p 2 and

c < 1 q 1 2 p s , μ * λ p 2 p s , μ * p ( m 0 S p , H ) 2 p s , μ * 2 p s , μ * p .

Proof

Let { u n } n be a ( PS ) c sequence for J λ . Then, by Lemma 3.3, we know that the sequence { u n } n is bounded in E . Moreover, we know that there exists a subsequence, still denoted by { u n } , such that u n u weakly in E . Moreover, we have

(3.9) u n u a.e. in R N , u n u in L s ( R N ) , 1 s < p s * .

Now, by the concentration-compactness principle, we may assume that there exist bounded non-negative measures ω , ζ , and ν on R N , and an at most countable set { x i } i I Ω \ { 0 } such that

R N u n ( x ) u n ( y ) p x y N + p s d x ω , u n p s * ζ

and

R N u n p μ , s * x y μ d y u n p μ , s * ν .

Now, there exists a countable sequence of points { x i } R N and families of positive numbers { ν i : i I } , { ζ i : i I } , and { ω i : i I } such that

ω R N u ( x ) u ( y ) p x y N + p s d x + i I ω i δ x i , ζ = u p s * + i I ζ i δ x i , ν = R N u p μ , s * x y μ d y u p μ , s * + i I ν i δ x i .

We can also obtain

(3.10) S p , H ν i p 2 p μ , s * ω i and ν i C ( N , μ ) ζ i 2 N μ N .

In the sequel, we shall prove that

(3.11) I = .

Suppose, to the contrary, that I . Then, we can define a smooth cut-off function such that ϕ C 0 ( R N ) and 0 ϕ 1 ; ϕ 1 in B ( x i , ε ) , ϕ ( x ) = 0 in R N \ B ( x i , 2 ε ) . Let ε > 0 and ϕ ε i = ϕ x x i ε , where i I . It is not difficult to see that { u n ϕ ε i } n is bounded in E . Then, J ( u n ) , u n ϕ ε i 0 , which implies

(3.12) M ( [ u n ] s , A p ) R 2 N u n ( x ) e i ( x y ) A x + y p u n ( y ) p ϕ ε i ( y ) x y N + p s d x d y + R N V ( x ) u n p ϕ ε i ( x ) d x = Re { M ( [ u n ] s , A p ) ( u n , u n ϕ ε i ) } + λ R 2 N u n ( y ) p s , μ * u n ( x ) p s , μ * ϕ ε i ( x ) x y μ d y d x + k R N u n q ϕ ε i ( x ) d x + o n ( 1 ) ,

where

( u n , u n ϕ ε i ) = R 2 N u n ( x ) e i ( x y ) A x + y p u n ( y ) p 2 ( u n ( x ) e i ( x y ) A x + y p u n ( y ) ) u n ( x ) ( ϕ ε i ( x ) ϕ ε i ( y ) ) ¯ x y N + p s d x d y .

By the Hölder inequality, we know that

(3.13) Re { M ( [ u n ] s , A p ) ( u n , u n ϕ ε i ) } C R 2 N u n ( x ) e i ( x y ) A x + y p u n ( y ) p x y N + p s d x d y ( p 1 ) p R 2 N u n ( x ) p ϕ ε i ( x ) ϕ ε i ( y ) p x y N + p s d x d y 1 p C R 2 N u n ( x ) p ϕ ε i ( x ) ϕ ε i ( y ) p x y N + p s d x d y 1 p .

On the other hand, as in the proof of Lemma 3.4 in Zhang et al. [24], we can obtain that

(3.14) lim ε 0 lim n R 2 N u n ( x ) p ϕ ε i ( x ) ϕ ε i ( y ) p x y N + p s d x d y = 0 .

It follows from (3.12)–(3.14) and the diamagnetic inequality that

(3.15) m 0 ω i λ ν i .

This fact together with (3.8) implies that

(I) ν i = 0 or (II) ν i ( λ 1 m 0 S p , H ) 2 p μ * 2 p μ * p .

If (II) occurs for some i 0 I , then

(3.16) c = lim n J λ ( u n ) 1 q J λ ( u n ) , u n 1 q 1 2 p s , μ * λ R 2 N u n ( y ) p s , μ * u n ( x ) p s , μ * x y μ d y d x 1 q 1 2 p s , μ * λ ν i 1 q 1 2 p s , μ * λ p 2 p s , μ * p ( m 0 S p , H ) 2 p s , μ * 2 p s , μ * p .

This is an obvious contradiction to the choice of c . This completes the proof of (3.11).

Next, we shall prove the concentration at infinity. To this end, set ϕ R C 0 ( R N ) for R > 0 , and satisfies ϕ R ( x ) = 0 for x < R , ϕ R ( x ) = 1 for x > 2 R , 0 ϕ R 1 , and ϕ R 2 R . Invoking Theorem 2.4 of Xiang and Zhang [39], we define

ω = lim R limsup n R 2 N u n ( x ) u n ( y ) p ϕ R ( x ) x y N + p s d x d y ,

ζ = lim R limsup n R N u n p s * ϕ R d x

and

ν = lim R limsup n R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * ϕ R ( x ) x y μ d x d y .

By Lemma 3.2, we have

limsup n R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * ϕ R ( x ) x y μ d x d y = R N d ν + ν ,

limsup n R 2 N u n ( x ) u n ( y ) p ϕ R ( x ) x y N + p s d x d y = R N d ω + ω ,

limsup n R N u n p s d x = R N d ζ + ζ .

Moreover,

(3.17) S p , H ν p 2 p μ , s * ω and ν C ( N , μ ) ζ 2 N μ N .

Similar discussion as earlier yields

(III) ν = 0 or (IV) ν ( λ 1 m 0 S p , H ) 2 p μ * 2 p μ * p .

Furthermore, proceeding as in the proof of (3.14), we can obtain ν = 0 . Thus,

(3.18) R 2 N u n ( y ) p s , μ * u n ( x ) p s , μ * x y μ d y d x R 2 N u ( y ) p s , μ * u ( x ) p s , μ * x y μ d y d x as n .

By the Brézis-Lieb lemma [41], we have

(3.19) R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * x y μ d x d y = R 2 N u ( x ) p μ , s * u ( y ) p μ , s * x y μ d x d y + R 2 N u n ( x ) u ( x ) p μ , s * u n ( y ) u ( y ) p μ , s * x y μ d x d y + o ( 1 ) .

Hence, (3.18) and (3.19) imply that

(3.20) R 2 N u n ( x ) u ( x ) p μ , s * u n ( y ) u ( y ) p μ , s * x y μ d x d y + o ( 1 ) 0 as n .

Moreover, it is easy to see that

(3.21) R N ( u n ( x ) q 2 u n ( x ) u ( x ) q 2 u ( x ) ) ( u n ( x ) u ( x ) ) d x 0 as n .

By (3.20), (3.21), and the Hölder inequality, we have

(3.22) J λ ( u n ) J λ ( u ) , u n u = Re { M ( [ u n ] s , A p ) L ( u n , u n u ) M ( [ u ] s , A p ) L ( u , u n u ) + R N V ( x ) ( u n ( x ) p 2 u n ( x ) u ( x ) p 2 u ( x ) ) ( u n ( x ) u ( x ) ) d x λ R 2 N u n ( x ) u ( x ) p μ , s * u n ( y ) u ( y ) p μ , s * x y μ d x d y k R N ( u n ( x ) q 2 u n ( x ) u ( x ) q 2 u ( x ) ) ( u n ( x ) u ( x ) ) d x Re M ( [ u n ] s , A p ) ( [ u n ] s , A p ) p 1 p ( [ u n ] s , A p ) 1 p ( [ u ] s , A p ) 1 p + M ( [ u ] s , A p ) ( [ u ] s , A p ) p 1 p ( [ u ] s , A p ) 1 p ( [ u n ] s , A p ) 1 p + R N V ( x ) u n p d x p 1 p R N V ( x ) u n p d x 1 p R N V ( x ) u p d x 1 p + R N V ( x ) u p d x p 1 p R N V ( x ) u p d x 1 p R N V ( x ) u n p d x 1 p = Re ( [ u n ] s , A p ) 1 p ( [ u ] s , A p ) 1 p [ M ( [ u n ] s , A p ) ( [ u n ] s , A p ) p 1 p M ( [ u ] s , A p ) ( [ u ] s , A p ) p 1 p ] + R N V ( x ) u n p d x 1 p R N V ( x ) u p d x 1 p × R N V ( x ) u n p d x p 1 p R N V ( x ) u p d x p 1 p .

Since u n u in E and J λ ( u n ) 0 as n in E * , we can conclude that

J λ ( u n ) J λ ( u ) , u n u 0 as n .

It follows from u n u a.e in R N and the Fatou lemma that

(3.23) [ u ] s , A p liminf n [ u n ] s , A p = d 1

and

(3.24) R N V ( x ) u p d x liminf n R N V ( x ) u n p d x = d 2 .

We note that

(3.25) ( d 1 ) 1 p ( [ u ] s , A p ) 1 p M ( d 1 ) d 1 p 1 p M ( [ u ] s , A p ) ( [ u ] s , A p ) p 1 p 0

and

(3.26) ( d 2 ) 1 p R N V ( x ) u p d x 1 p ( d 2 ) p 1 p R N V ( x ) u p d x p 1 p 0 ,

since g ( t ) = M ( t ) t p 1 p is nondecreasing for t 0 . Thus, by

J λ ( u n ) J λ ( u ) , u n u 0 as n

and (3.20)–(3.26), we obtain

(3.27) 0 liminf n Re ( [ u n ] s , A p ) 1 p ( [ u ] s , A p ) 1 p [ M ( [ u n ] s , A p ) ( [ u n ] s , A p ) p 1 p M ( [ u ] s , A p ) ( [ u ] s , A p ) p 1 p ] + R N V ( x ) u n p d x 1 p R N V ( x ) u p d x 1 p R N V ( x ) u n p d x p 1 p R N V ( x ) u p d x p 1 p Re ( d 1 ) 1 p ( [ u ] s , A p ) 1 p M ( d 1 ) d 1 p 1 p M ( [ u ] s , A p ) ( [ u ] s , A p ) p 1 p + ( d 2 ) 1 p R N V ( x ) u p d x 1 p ( d 2 ) p 1 p R N V ( x ) u p d x p 1 p .

It follows from (3.25)–(3.27) that

R 2 N u ( x ) e i ( x y ) A x + y p u ( y ) p x y N + p s d x d y = d 1 and R N V ( x ) u p d x = d 2 .

Then, u n E u E . We note that E is a reflexive Banach space; thus, u n u strongly converges in E . This completes the proof of Lemma 3.4.□

4 Auxiliary results

First, we shall prove that functional J λ has a mountain path structure.

Lemma 4.1

Let Conditions ( V ) and ( M ) hold. Then,

  1. There exist some constants α λ , β λ > 0 such that J λ ( u ) > 0 if u B β λ \ { 0 } and J λ ( u ) α λ if u B β λ , where B β λ = { u E : u E β λ } ;

  2. We have

    J λ ( u ) as u F E , u E ,

    where F is a finite-dimensional subspace of E.

Proof

It follows from the Hardy-Littlewood-Sobolev inequality that there exists C ( N , μ ) > 0 such that

R 2 N u n ( x ) p μ , s * u n ( y ) p μ , s * x y μ d x d y C ( N , μ ) u E 2 p μ , s * for all u E .

By virtue of ( V ) and ( M ) , we obtain

(4.1) J λ ( u ) min σ α 0 p , 1 p u E p λ 2 p s , μ * C ( N , μ ) u E 2 p s , μ * C k u q .

Since p s , μ * , q > p , we know that Conclusion ( C 1 ) of Lemma 4.1 holds.

In order to prove Conclusion ( C 2 ) of Lemma 4.1, we note that it follows from Condition ( m 2 ) that

(4.2) M ˜ ( t ) M ˜ ( t 0 ) t 0 1 σ t 1 σ = C 0 t 1 σ , for all t t 0 > 0 .

Let ω C 0 ( R N , C ) with ω = 1 . Thus,

J λ ( t ω ) C 0 p t p σ + 1 p t p λ 2 p s , μ * t 2 p s , μ * R 2 N ω ( y ) p s , μ * ω ( x ) p s , μ * x y μ d y d x k q t q ω q q .

Note that all norms are equivalent in a finite-dimensional space. Then, the aforementioned fact together with p < p σ < 2 p s , μ * implies that Conclusion ( C 2 ) of Lemma 4.1 holds.□

Invoking Binlin et al. [31, Theorem 3.2], we have

inf R 2 N ϕ ( x ) ϕ ( y ) p x y N + p s d x d y : ϕ C 0 ( R N ) , ϕ q = 1 = 0 .

For any 1 > ζ > 0 , let ϕ ζ C 0 ( R N ) with ϕ ζ q = 1 and supp ϕ ζ B r ζ ( 0 ) be such that

R 2 N ϕ ζ ( x ) ϕ ζ ( y ) p x y N + p s d x d y C ζ ( p N ( N p s ) q ) q

and define

(4.3) ψ ζ ( x ) = e i A ( 0 ) x ϕ ζ ( x ) , ψ λ , ζ ( x ) = ψ ζ ( λ τ x )

and

(4.4) τ = 1 ( N p s ) p 2 p s , μ * p .

So, we have

J λ ( t ψ λ , ζ ) C 0 p t p σ R 2 N ψ λ , ζ ( x ) e i ( x y ) A ( ( x + y ) p ) ψ λ , ζ ( y ) p x y N + p s d x d y 1 σ + t p p R N V ( x ) ψ λ , ζ p d x t q k q R N ψ λ , ζ q d x λ τ ( N p s ) C 0 p t p σ R 2 N ψ ζ ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) ψ ζ ( y ) p x y N + p s d x d y 1 σ + t p p R N V ( λ τ x ) ψ ζ p d x t q k q R N ψ ζ q d x = λ p 2 p s , μ * p Ψ λ ( t ψ ζ ) ,

where

Ψ λ ( u ) C 0 p R 2 N u ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) u ( y ) p x y N + p s d x d y 1 σ + 1 p R N V ( λ τ x ) u p d x k q R N u q d x .

Since q > p σ , we can find t 0 [ 0 , + ) such that

max t 0 Ψ λ ( t ψ ζ ) C 0 p t 0 p σ R 2 N ψ ζ ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) ψ ζ ( y ) p x y N + p s d x d y 1 σ + t 0 p p R N V ( λ τ x ) ψ ζ p d x .

Using the aforementioned analysis, we can prove the following conclusions.

Lemma 4.2

For each ζ > 0 , there exists λ 0 = λ 0 ( ζ ) > 0 such that

R 2 N ψ ζ ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) ψ ζ ( y ) p x y N + p s d x d y C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 2 p 1 p s ζ p s

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

Proof

For each ζ > 0 , we know that

R 2 N ψ ζ ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) ψ ζ ( y ) p x y N + p s d x d y = R 2 N e i A ( 0 ) x ϕ ζ ( x ) e i ( x y ) A ( ( λ τ x + λ τ y ) p ) e i A ( 0 ) y ϕ ζ ( y ) p x y N + p s d x d y 2 p 1 R 2 N ϕ ζ ( x ) ϕ ζ ( y ) p x y N + p s d x d y + 2 p 1 R 2 N ϕ ζ ( y ) p e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p x y N + p s d x d y .

Note that

(4.5) e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p = 2 p sin p ( x y ) ( A ( 0 ) A ( λ τ x + λ τ y p ) ) p .

Let y B r ζ and take x y 1 ζ ϕ ζ L p 1 s such that x r ζ + 1 ζ ϕ ζ L p 1 s . Then, we have

λ τ x + λ τ y p λ τ p 2 r ζ + 1 ζ ϕ ζ L p 1 s .

By the continuity of the function A , there exists λ 0 > 0 such that for any λ > λ 0 , one has

A ( 0 ) A λ τ x + λ τ y p ζ ϕ ζ L p 1 s for y r ζ and x r ζ + 1 ζ ϕ ζ L p 1 s ,

which means

e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p x y p ζ p ϕ ζ L p p s .

Let ζ > 0 and y B r ζ , and define

N ζ , y x R N : x y 1 ζ ϕ ζ L p 1 s .

Then, for all λ > λ 0 > 0 , we obtain

R 2 N ϕ ζ ( y ) p e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p x y N + p s d x d y = B r ζ ϕ ζ ( y ) p d y N ζ , y e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p x y N + p s d x + B r ζ ϕ ζ ( y ) p d y R N \ N ζ , y e i ( x y ) ( A ( 0 ) A ( ( λ τ x + λ τ y ) p ) ) 1 p x y N + p s d x B r ζ ϕ ζ ( y ) p d y N ζ , y x y p x y N + p s ζ p ϕ ζ L p p s d x + B r ζ ϕ ζ ( y ) p d y R N \ N ζ , y 2 p x y N + p s d x 1 p p s ζ p s + 2 p p s ζ p s .

This completes the proof of Lemma 4.2.□

It follows from V ( 0 ) = 0 and supp ϕ ς B r ς ( 0 ) that

V ( λ τ x ) ζ ϕ ζ p p for all x r ζ and λ > λ * .

Thus,

(4.6) max t 0 Ψ λ ( t ϕ δ ) C 0 p t 0 p σ ( C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 2 p 1 p s ζ p s ) 1 σ + t 0 p p ζ ,

where C > 0 and C 0 > 0 . So, for any λ > max { λ 0 , λ * } , we can obtain

(4.7) max t 0 J λ ( t ψ λ , ζ ) C 0 p t 0 p σ C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 p 1 p s ζ p s 1 σ + t 0 p p ζ λ p 2 p s , μ * p .

So we have the following conclusion.

Lemma 4.3

Let Conditions ( V ) and ( M ) hold. Then, for each κ > 0 , there exists λ κ > 0 such that for any 0 < λ κ < λ , and e λ ˜ E , we have that e λ ˜ > ϱ λ , J λ ( t e λ ˜ ) 0 , and

(4.8) max t [ 0 , 1 ] J λ ( t e λ ˜ ) κ λ p 2 p s , μ * p .

Proof

Select ζ > 0 so small that

C 0 p t 0 p σ C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 p 1 p s ζ p s 1 σ + t 0 p p ζ κ .

Let ψ λ , ζ E be the function defined by (4.3). Let λ κ = min { λ 0 , λ * } and choose t λ ˜ > 0 such that t λ ˜ ψ λ , ζ > ϱ λ and J λ ( t ψ λ , ζ ) 0 for all t t λ ˜ . By (4.7), setting e λ ˜ = t λ ˜ ψ λ , ζ , we can obtain the conclusion of Lemma 4.3.□

Now, fix m * N . Then, we can select m * functions ϕ ζ i C 0 ( R N ) such that supp ϕ ζ i supp ϕ ζ k = , i k , ϕ ζ i s = 1 and

R 2 N ϕ ζ i ( x ) ϕ ζ i ( y ) p x y N + p s d x d y C ζ ( p N ( N p s ) q ) q .

Let r ζ m * > 0 be such that supp ϕ ζ i B r ζ i ( 0 ) for i = 1 , 2 , , m * . Define

(4.9) ψ ζ i ( x ) = e i A ( 0 ) x ϕ ζ i ( x )

and

(4.10) ψ λ , ζ i ( x ) = ψ ζ i ( λ τ x ) .

Let

H λ ζ m * = span { ψ λ , ζ 1 , ψ λ , ζ 2 , , ψ λ , ζ m * } .

Since for each u = Σ i = 1 m * c i ψ λ , ζ i H λ ζ m * , we have

[ u ] s , A p C i = 1 m * c i p [ ψ λ , ζ i ] s , A p ,

R N V ( x ) u p d x = i = 1 m * c i p R N V ( x ) ψ λ , ζ i p d x

and

1 2 p s , μ * R 2 N u ( y ) p s , μ * u ( x ) p s , μ * x y μ d y d x + 1 q R N u q d x = i = 1 m * 1 2 p s , μ * R 2 N c i ψ λ , ζ i ( y ) p s , μ * c i ψ λ , ζ i ( x ) p s , μ * x y μ d y d x + 1 q R N c i ψ λ , ζ i q d x .

Hence,

J λ ( u ) C i = 1 m * J λ ( c i ψ λ , ζ i )

for C > 0 . Similar to the previous discussion, we have

J λ ( c i ψ λ , ζ i ) λ p 2 p s , μ * p Ψ ( c i ψ ζ i )

and we can obtain the following estimate:

(4.11) max u H λ δ m * J λ ( u ) C m * C 0 p t 0 p σ ( C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 2 p 1 p s ζ p s ) 1 σ + t 0 p p ζ λ p 2 p s , μ * p

for any ζ 0 and C > 0 . From (4.11), we obtain the following lemma.

Lemma 4.4

Let Conditions ( V ) and ( M ) hold. Then, for each m * N , there exists λ m * > 0 such that for each 0 < λ m * < λ and m * -dimensional subspace F λ m * the following holds

max u F λ m * J λ ( u ) κ λ p 2 p s , μ * p .

Proof

Let ζ > 0 be small enough so that

C m * C 0 p t 0 p σ ( C ζ ( p N ( N p s ) q ) q + 2 p 1 p p s ζ p s + 2 2 p 1 p s ζ p s ) 1 σ + t 0 p p ζ κ .

Set F λ , m * = H λ ζ m * = span { ψ λ , ζ 1 , ψ λ , ζ 2 , , ψ λ , ζ m * } . Thus, the conclusion of Lemma 4.4 follows from (4.11).□

5 Proofs of main results

In the section, we shall prove the existence and multiplicity of solutions for Problem (1.1).

Proof of Theorem 1.1

Let 0 < κ < σ 0 . By Lemma 3.4, we can select λ k > 0 and for 0 < λ < λ k , and define the minimax value as follows:

c λ inf γ Γ λ max t [ 0 , 1 ] J λ ( t e λ ˆ ) ,

where

Γ λ { γ C ( [ 0 , 1 ] , E ) : γ ( 0 ) = 0 and γ ( 1 ) = e λ ˆ } .

By Lemma 4.1, we know that

α λ c λ κ λ p 2 p s , μ * p .

By virtue of Lemma 3.4, we can see that J λ satisfies the ( PS ) c condition, and there is u λ E such that J λ ( u λ ) = 0 and J λ ( u λ ) = c λ . Then, u λ is a nontrivial solution of Problem (1.1). Moreover, since u λ is a critical point of J λ , by ( M ) and γ [ p , p s * ] , we have

(5.1) κ λ p 2 p s , μ * p J λ ( u λ ) = J λ ( u λ ) 1 γ J λ ( u λ ) u λ = 1 p M ˜ ( [ u λ ] s , A p ) 1 γ M ( [ u λ ] s , A p ) [ u λ ] s , A p + 1 p 1 γ R N V ( x ) u λ p d x + 1 γ 1 2 p s , μ * λ R 2 N u λ ( y ) p s , μ * u λ ( x ) p s , μ * x y μ d y d x + k R N 1 τ u λ q 1 q u λ q d x σ p 1 γ m 0 [ u λ ] s , A p + 1 p 1 γ R N V ( x ) u λ p d x + 1 γ 1 2 p s , μ * λ R 2 N u λ ( y ) p s , μ * u λ ( x ) p s , μ * x y μ d y d x + 1 γ 1 q k R N u λ q d x .

So, we have u λ 0 as λ . This completes the proof of Theorem 1.1.□

Proof of Theorem 1.2

Denote the set of all symmetric (in the sense that Z = Z ) and closed subsets of E by . For each Z , define gen ( Z ) to be the Krasnoselski genus and

j ( Z ) min ι Γ m * g e n ( ι ( 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 [42]. 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 have

α λ c λ 1 c λ m * sup u H λ m * J λ ( u ) κ λ p 2 p s , μ * p .

Lemma 3.4 implies that J λ satisfies the ( PS ) c λ condition at all levels c < σ 0 λ p 2 p s , μ * p . By the critical point theory, we know that all c λ i are critical levels, i.e., J λ has at least m * pairs of nontrivial critical points satisfying

α λ J λ ( u λ ) κ λ p 2 p s , μ * p .

Therefore, Problem (1.1) has at least m * pairs of solutions and u λ , ± i 0 as λ .□

Acknowledgement

The authors thank the reviewers for their constructive remarks on their work.

  1. Funding information: Song was supported by the Science and Technology Development Plan Project of Jilin Province, China (Grant Nos. 20230101287JC and YDZJ202201ZYTS582), the National Natural Science Foundation of China (Grant No. 12001061) and Innovation and Entrepreneurship Talent Funding Project of Jilin Province (No. 2023QN21). Repovš was supported by the Slovenian Research and Innovation Agency grants P1-0292, N1-0278, N1-0114, N1-0083, J1-4031, and J1-4001.

  2. Author contributions: All authors contributed to the study conception, design, material preparation, data collection, and analysis. All authors read and approved the final manuscript.

  3. Conflict of interest: Prof. Dušan D. Repovš is a member of the Editorial Board in Demonstratio Mathematica but was not involved in the review process of this article.

  4. Ethical approval: The conducted research is not related to either human or animal use.

  5. Data availability statement: Data sharing is not applicable to this article as no data sets were generated or analyzed during this study.

References

[1] P. d’Avenia, G. Siciliano, and M. Squassina, On fractional Choquard equations, Math. Models Methods Appl. Sci. 25 (2015), no. 8, 1447–1476, DOI: https://doi.org/10.1142/S0218202515500384. 10.1142/S0218202515500384Search in Google Scholar

[2] 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

[3] S. Pekar, Untersuchung über die Elektronentheorie der Kristalle, Akademie Verlag, Berlin, 1954. 10.1515/9783112649305Search in Google Scholar

[4] D. Cassani and J. Zhang, Choquard-type equations with Hardy-Littlewood-Sobolev upper critical growth, Adv. Nonlinear Anal. 8 (2019), no.1, 1184–1212, DOI: https://doi.org/10.1515/anona-2018-0019. 10.1515/anona-2018-0019Search in Google Scholar

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

[6] A. Panda, D. Choudhuri, and K. Saoudi, A critical fractional Choquard problem involving a singular nonlinearity and a Radon measure, J. Pseudo-Differ. Oper. Appl. 12 (2021), no. 1, 1–19, DOI: https://doi.org/10.1007/s11868-021-00382-2. 10.1007/s11868-021-00382-2Search in Google Scholar

[7] D. Choudhuri, D. D. Repovš, and K. Saoudi, On elliptic problems with Choquard term and singular nonlinearity, Asymptot. Anal. 133 (2023), no. 1–2, 255–266, DOI: https://doi.org/10.3233/asy-221812. 10.3233/ASY-221812Search in Google Scholar

[8] Y. Song and S. Shi, Infinitely many solutions for Kirchhoff equations with Hardy-Littlewood-Sobolev critical nonlinearity, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 113 (2019), no. 4, 3223–3232, DOI: https://doi.org/10.1007/s13398-019-00688-3. 10.1007/s13398-019-00688-3Search in Google Scholar

[9] Y. Song and S. Shi, Existence and multiplicity of solutions for Kirchhoff equations with Hardy-Littlewood-Sobolev critical nonlinearity, Appl. Math. Lett. 92 (2019), 170–175, DOI: https://doi.org/10.1016/j.aml.2019.01.017. 10.1016/j.aml.2019.01.017Search in Google Scholar

[10] A. Iannizzotto, S. Liu, and K. Perera, Existence results for fractional p-Laplacian problems via Morse theory, Adv. Calc Var. 9 (2016), no. 2, 101–125, DOI: https://doi.org/10.1515/acv-2014-0024. 10.1515/acv-2014-0024Search in Google Scholar

[11] M. Xiang, B. Zhang, and M. Ferrara, Existence of solutions for Kirchhoff-type problem involving the non-local fractional p-Laplacian, J. Math. Anal. Appl. 424 (2015), no. 2, 1021–1041, DOI: https://doi.org/10.1016/j.jmaa.2014.11.055. 10.1016/j.jmaa.2014.11.055Search in Google Scholar

[12] M. Souza, On a class of nonhomogeneous fractional quasilinear equtions in RN with exponential growth, Nonlinear Differ. Equ. Appl. 22 (2015), 499–511, DOI: https://doi.org/10.1007/s00030-014-0293-y. 10.1007/s00030-014-0293-ySearch in Google Scholar

[13] N. Nyamoradi and A. Razani, Existence to fractional critical equation with Hardy-Littlewood-Sobolev nonlinearities, Acta Math. Sci. Ser. B (Engl. Ed.) 41 (2021), no. 4, 1321–1332, DOI: https://doi.org/10.1007/s10473-021-0418-4. 10.1007/s10473-021-0418-4Search in Google Scholar

[14] F. Gao and M. Yang, On nonlocal Choquard equations with Hardy-Littlewood-Sobolev critical exponents, J. Math. Anal. Appl. 448 (2017), no. 2, 1006–1041, DOI: https://doi.org/10.1016/j.jmaa.2016.11.015. 10.1016/j.jmaa.2016.11.015Search in Google Scholar

[15] S. Liang and J. H. Zhang, Multiplicity of solutions for the noncooperative Schrödinger-Kirchhoff system involving the fractional p-Laplacian in RN, Z. Angew. Math. Phys. 68 (2017), no. 3, 18 pp, DOI: https://doi.org/10.1007/s00033-017-0805-9. 10.1007/s00033-017-0805-9Search in Google Scholar

[16] S. Liang, G. M. Bisci, and B. L. Zhang, Multiple solutions for a noncooperative Kirchhoff-type system involving the fractional p-Laplacian and critical exponents, Math. Nachr. 291 (2018), no. 10, 1533–1546, DOI: https://doi.org/10.1002/mana.201700053. 10.1002/mana.201700053Search in Google Scholar

[17] S. Liang and S. Shi, Soliton solutions to Kirchhoff-type problems involving the critical growth in RN, Nonlinear Anal. 81 (2013), 31–41, DOI: https://doi.org/10.1016/j.na.2012.12.003. 10.1016/j.na.2012.12.003Search in Google Scholar

[18] 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. DOI: https://doi.org/10.1016/j.camwa.2017.11.03310.1016/j.camwa.2017.11.033Search in Google Scholar

[19] S. Liang, L. Wen, and B. Zhang, Solutions for a class of quasilinear Choquard equations with Hardy-Littlewood-Sobolev critical nonlinearity, Nonlinear Anal. 198 (2020), 111888, 18 pp, DOI: https://doi.org/10.1016/j.na.2020.111888. 10.1016/j.na.2020.111888Search in Google Scholar

[20] P. Pucci, M. Xiang, and B. Zhang, Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff-type equations involving the fractional p-Laplacian in RN, Calc. Var. Partial Differ. Equ. 54 (2015), no. 3, 2785–2806, DOI: https://doi.org/10.1007/s00526-015-0883-5. 10.1007/s00526-015-0883-5Search in Google Scholar

[21] P. Pucci, M. Xiang, and B. Zhang, Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations, Adv. Nonlinear Anal. 5 (2016), no. 1, 27–55, DOI: https://doi.org/10.1515/anona-2015-0102. 10.1515/anona-2015-0102Search in Google Scholar

[22] T. Mukherjee and K. Sreenadh, Fractional Choquard equation with critical nonlinearities, NoDEA Nonlinear Differential Equations Appl. 24(6) (2017), no. 6, 34 pp, DOI: https://doi.org/10.1007/s00030-017-0487-1. 10.1007/s00030-017-0487-1Search in Google Scholar

[23] M. Xiang, B. Zhang, and V. Rădulescu, Superlinear Schrödinger-Kirchhoff-type problems involving the fractional p-Laplacian and critical exponent, Adv. Nonlinear Anal. 9 (2020), no. 1, 690–709, DOI: https://doi.org/10.1515/anona-2020-0021. 10.1515/anona-2020-0021Search in Google Scholar

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

[25] A. Fiscella and E. Valdinoci, A critical Kirchhoff-type problem involving a nonlocal operator, Nonlinear Anal. 94 (2014), 156–170, DOI: https://doi.org/10.1016/j.na.2013.08.011. 10.1016/j.na.2013.08.011Search in Google Scholar

[26] G. Autuori, A. Fiscella, and P. Pucci, Stationary Kirchhoff problems involving a fractional operator and a critical nonlinearity, Nonlinear Anal. 125 (2015), 699–714, DOI: https://doi.org/10.1016/j.na.2015.06.014. 10.1016/j.na.2015.06.014Search in Google Scholar

[27] K. Ho and Y. H. Kim, Apriori bounds and multiplicity of solutions for nonlinear elliptic problems involving the fractional p(+)-Laplacian, Nonlinear Anal. 188 (2019), 179–201, DOI: https://doi.org/10.1016/j.na.2019.06.001. 10.1016/j.na.2019.06.001Search in Google Scholar

[28] A. Panda and D. Choudhuri, Infinitely many solutions for a doubly nonlocal fractional problem involving two critical nonlinearities, Complex Var. Elliptic Equ. 67 (2022), 2835–2865. DOI: https://doi.org/10.1080/17476933.2021.195171910.1080/17476933.2021.1951719Search in Google Scholar

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

[30] 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, DOI: https://doi.org/10.3934/dcds.2017067. 10.3934/dcds.2017067Search in Google Scholar

[31] 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, DOI: https://doi.org/10.1007/s00229-017-0937-4. 10.1007/s00229-017-0937-4Search in Google Scholar

[32] Y. Song and S. Shi, Existence and multiplicity solutions for the p-fractional Schrdinger-Kirchhoff equations with electromagnetic fields and critical nonlinearity, Acta Appl. Math. 165 (2020), 45–63, DOI: https://doi.org/10.1007/s10440-019-00240-w. 10.1007/s10440-019-00240-wSearch in Google Scholar

[33] 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, DOI: https://doi.org/10.1002/mma.6057. 10.1002/mma.6057Search in Google Scholar

[34] F. Wang and M. Xiang, Multiplicity of solutions to a nonlocal Choquard equation involving fractional magnetic operators and critical exponent, Electron. J. Differential Equations 2016 (2016), no. 306, 11 pp, DOI: https://ejde.math.txstate.edu/. Search in Google Scholar

[35] A. Xia, Multiplicity and concentration results for magnetic relativistic Schrödinger equations, Adv. Nonlinear Anal. 9 (2020), no. 1, 1161–1186, DOI: https://doi.org/10.1515/anona-2020-0044. 10.1515/anona-2020-0044Search in Google Scholar

[36] Y. Zhang, X. Tang, and V. Rădulescu, Small perturbations for nonlinear Schrödinger equations with magnetic potential, Milan J. Math. 88 (2020), no. 2, 479–506, DOI: https://doi.org/10.1007/s00032-020-00322-7. 10.1007/s00032-020-00322-7Search in Google Scholar

[37] N. S. Papageorgiou, V. D. Rădulescu, and D. D. Repovš, Nonlinear Analysis - Theory and Applications, Springer, Cham, 2019. DOI: https://doi.org/10.1007/978-3-030-03430-610.1007/978-3-030-03430-6Search in Google Scholar

[38] E. H. Lieb and M. Loss, Analysis, Vol. 14, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2001. 10.1090/gsm/014Search in Google Scholar

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

[40] M. Willem, Minimax Theorems, Progress in Nonlinear Differential Equations and their Applications, Vol. 24. Birkhäuser, Boston/Basel/Berlin, 1996. DOI: https://doi.org/10.1007/978-1-4612-4146-110.1007/978-1-4612-4146-1Search in Google Scholar

[41] H. Brézis and E. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc. 88 (1983), no. 3, 486–490, DOI: https://doi.org/10.2307/2044999. 10.1090/S0002-9939-1983-0699419-3Search in Google Scholar

[42] V. Benci, On critical point theory for indefinite functionals in presence of symmetries, Trans. Amer. Math. Soc. 274 (1982), no. 2, 533–572, DOI: https://doi.org/10.2307/1999120. 10.1090/S0002-9947-1982-0675067-XSearch in Google Scholar

Received: 2023-02-10
Revised: 2023-06-25
Accepted: 2023-10-06
Published Online: 2024-01-10

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

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

Downloaded on 15.5.2024 from https://www.degruyter.com/document/doi/10.1515/dema-2023-0124/html
Scroll to top button