Next Article in Journal
Inverse Problem for a Time-Dependent Source in Distributed-Order Time-Space Fractional Diffusion Equations
Previous Article in Journal
The Pore Structure and Fractal Characteristics of Upper Paleozoic Coal-Bearing Shale Reservoirs in the Yangquan Block, Qinshui Basin
Previous Article in Special Issue
The Existence of a Solution to a Class of Fractional Double Phase Problems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Normalized Ground States for Mixed Fractional Schrödinger Equations with Combined Local and Nonlocal Nonlinearities

1
School of Mathematics and Computational Science, Huaihua University, Huaihua 418008, China
2
School of Mathematics and Statistics, HNP-LAMA, Central South University, Changsha 410083, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(7), 469; https://doi.org/10.3390/fractalfract9070469
Submission received: 12 June 2025 / Revised: 1 July 2025 / Accepted: 15 July 2025 / Published: 18 July 2025
(This article belongs to the Special Issue Variational Problems and Fractional Differential Equations)

Abstract

This paper studies the existence, regularity, and properties of normalized ground state solutions for the mixed fractional Schrödinger equations. For subcritical cases, we establish the boundedness and Sobolev regularity of solutions, derive Pohozaev identities, and prove the existence of radial, decreasing ground states, while showing nonexistence in the L 2 -critical case. For L 2 -supercritical exponents, we identify parameter regimes where ground states exist, characterized by a negative Lagrange multiplier. The analysis combines variational methods, scaling techniques, and the careful study of fibering maps to address challenges posed by competing nonlinearities and nonlocal interactions.

1. Introduction

In this paper, we investigate the existence and regularity of normalized ground state solutions for a class of mixed fractional Schrödinger equations with combined nonlinearities. Specifically, we consider the problem
( Δ ) s 1 u + ( Δ ) s 2 u = λ u + ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u , in R N ,
where 0 < s 1 < s 2 < 1 ,   N 3 , μ ( 0 , N ) , γ , ν > 0 , 2 < p < 2 s 1 = 2 N N 2 s 1 , and I μ ( x ) = | x | μ N . ( Δ ) s is the fractional Laplacian operator defined as
( Δ ) s u ( x ) = C N , s P . V . R N u ( x ) u ( y ) | x y | N + 2 s d y , x R N ,
where C N , s is a suitable normalization constant and P . V . is a commonly used abbreviation for the principal value sense.
Equation (1) has emerged as a fundamental mathematical model with widespread applications in various scientific fields. Its significance stems from its ability to describe complex phenomena driven by the interplay of multiple nonlocal diffusion processes. These mixed fractional operators arise naturally in systems that combine different Lévy processes, from classical Brownian motion to long-range stochastic interactions, and have been widely used to model populations with heterogeneous diffusion mechanisms.
Due to these important applications, research on the elliptic problem of mixed fractional Laplacians is receiving increasing attention. Chergui–Gou–Hajaiej [1] studied the existence and dynamics of normalized solutions to the following equation with mixed fractional Laplacians
( Δ ) s 1 u + ( Δ ) s 2 u = μ u + | u | p 2 u , x R N ,
with N 1 , p 2 + 4 s 1 N . The threshold exponent p ˜ ( s ) = 2 + 4 s N is the L 2 -critical exponent or L 2 -critical exponent. Chergui [2] studied the existence of normalized solutions for equation with Hartree type nonlinearity. Additional advances, including the analysis of ground state solutions under the prescribed L 2 -norm constraints, have been developed in [3,4], among others.
The study of normalized solutions (i.e., solutions with prescribed L 2 -norm) for nonlinear Schrödinger-type equations has seen significant advances in the past decade, driven by both theoretical questions and applications to Bose–Einstein condensation and nonlinear optics. A critical challenge in this field lies in handling nonhomogeneous nonlinearities or competing interactions, where the interplay between different terms can lead to rich solution structures. Below, we highlight key contributions relevant to our work.
The seminal work of Bellazzini, Jeanjean, and Luo [5] investigated the existence and instability of standing waves for Schrödinger–Poisson equations with prescribed L 2 -norm constraints.
This direction was further developed by Jeanjean, Luo, and Wang [6], who established a framework for proving the existence of multiple normalized solutions in quasi-linear Schrödinger equations. By combining mountain pass techniques with Pohozaev constraints, they demonstrated that certain energy functionals admit two critical points under L 2 -constraints. Their methods have inspired subsequent studies on systems with nonlocal terms, including the Schrödinger–Poisson case. For more results on the ground state solutions for the nonlinear fractional Schrödinger equation with prescribed mass, we refer to [7,8,9,10,11,12,13,14] and the references therein.
The analysis of equations with combined nonlinearities was advanced by Soave [15], who systematically studied normalized ground states for the nonlinear Schrödinger equation with mixed power type terms:
Δ u + λ u = μ | u | q 2 u + | u | p 2 u ,
where μ R , 2 < q p < 2 . By introducing a two-parameter variational approach, Soave characterized the existence regimes for ground states and uncovered threshold phenomena related to the L 2 -critical exponent p ˜ = 2 + 4 / N . Notably, for q = 2 + 4 / N ( L 2 -critical) and p > q , he proved the existence of a second solution with higher energy, complementing earlier results on purely subcritical or supercritical cases. In [16], Sovae extended (2) to the Sobolev critical case. The research was further extended to planar systems by Cingolani and Jeanjean [17], who addressed special challenges in two dimensions and developed refined compactness methods.
In [18], Yang considered the following equation:
( Δ ) s u = λ u + μ ( I α | u | p ) | u | p 2 u + | u | q 2 u , in R N ,
where N 3 , s ( 0 , 1 ) , α ( 0 , N ) , q ( 2 + 4 s N , 2 s ] , and p [ 1 + 2 s + α N , N + α N 2 s ) . By applying a refined version of the minmax principle, he successfully established the existence of a critical point solution to Equation (3) when the relevant parameters satisfied certain structural conditions.
Most existing results (e.g., [6,15,16,18]) address classical Laplacians or single-order fractional operators. The case of ( Δ ) s 1 + ( Δ ) s 2 ( s 1 s 2 ) is largely unexplored. The combined effects of Choquard terms and power-type nonlinearities under L 2 constraints require new analytical tools, particularly when p approaches critical exponents.
Our first main result, Theorem 1, establishes key regularity properties of solutions, including L boundedness, higher Sobolev regularity, and Pohozaev-type identities. These identities play a crucial role in analyzing the behavior of solutions and deriving necessary conditions for their existence.
Theorem 1.
Let N 3 , 1 2 < s 1 + 1 2 < s 2 < 1 , 2 < p < 2 s 2 , ν , γ > 0 , μ ( max 1 , N 4 s 2 , N 2 s 2 ) , and ( u , λ ) H s 2 ( R N ) × R be a couple of solution for Equation (1). Then, we have the following results:
 (i) 
u L ( R N ) .
 (ii) 
u H 2 ( R N ) .
 (iii) 
The following Pohozaev identities hold:
N 2 s 1 2 u D s 1 , 2 ( R N ) 2 + N 2 s 2 2 u D s 2 , 2 ( R N ) 2 = λ N 2 R N | u | 2 d x + N ν 2 R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x + N γ p R N | u | p d x ,
and
s 1 u D s 1 , 2 ( R N ) 2 + s 2 u D s 2 , 2 ( R N ) 2 = γ N ( p 2 ) 2 p R N | u | p d x .
It is well known that the normalized solutions for Equation (1) are critical points of the energy functional
J ν , γ ( u ) : = 1 2 R N | ( Δ ) s 1 2 u | 2 d x + 1 2 R N | ( Δ ) s 2 2 u | 2 d x N ν 2 ( N + μ ) R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x γ p R N | u | p d x ,
restricted to the (prescribed L 2 -norm) constraint
M c : = u H s ( R N ) : R N | u | 2 d x = c 2 .
We define
m ν , γ ( c ) : = inf u M c J ν , γ ( u ) .
In Theorem 2, we prove the existence of a normalized ground state solution u ¯ , which is radially symmetric and decreasing in | x | . Moreover, we provide an explicit upper bound for the associated Lagrange multiplier λ ¯ , demonstrating its negativity.
Define
S μ = inf R N | u | 2 d x : u L 2 ( R N ) , R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x = 1 > 0 .
Theorem 2.
Let N 3 , 0 < s 1 < s 2 < 1 ,   2 < p < p ˜ ( s 2 ) , μ ( 0 , N ) , and ν , γ > 0 . Then,
m ν , γ ( c ) < N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N )
and m ν , γ ( c ) is attained at a function u ¯ M c with the following properties:
 (i) 
u ¯ is radially symmetric and decreasing in | x | .
 (ii) 
u ¯ is the solution of (1) and the corresponding Lagrange multiplier
λ ¯ < N ν N + μ S μ ( 1 + μ / N ) c 2 μ N .
Furthermore, u ¯ is a normalized ground state solution of (1).
Remark 1.
In the process of proving Theorem 2, we must face two fundamental difficulties as follows:
 (1) 
The competing effects between the local and nonlocal nonlinearities create new obstacles in the energy estimates and require a delicate analysis of the interaction terms.
 (2) 
The interaction between different fractional orders creates competing regularity requirements that complicate the analysis of critical points, particularly when combined with the nonlocal Hartree nonlinearity.
Remark 2.
For radially symmetric solutions, we can refer to [19].
For u M c and t R , let
( t u ) ( x ) : = e N 2 t u ( e t x ) ,
for a.e. x R . This yields that ( t u ) ( x ) M c .
We introduce the fibering map
Φ u ν , γ ( t ) : = J ν , γ ( t u ) = e 2 s 1 t 2 u D s 1 , 2 ( R N ) 2 + e 2 s 2 t 2 u D s 2 , 2 ( R N ) 2 N ν 2 ( N + μ ) R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x γ e N ( p 2 ) 2 t p u L p ( R N ) p .
Firstly, we consider the case p = p ˜ ( s 2 ) . For every u M c , by Lemma 2, we obtain that
( Φ u ν , γ ) ( t ) = s 1 e 2 s 1 t u D s 1 , 2 ( R N ) 2 + s 2 e 2 s 2 t u D s 2 , 2 ( R N ) 2 N γ ( p ˜ ( s 2 ) 2 ) e 2 s 2 t 2 p ˜ ( s 2 ) u L p ( R N ) p s 1 e 2 s 1 t u D s 1 , 2 ( R N ) 2 + s 2 e 2 s 2 t 1 N γ c 4 s 2 N N + 2 s 2 C N , s , p u D s 2 , 2 ( R N ) 2 .
If
0 < γ < N + 2 s 2 N c 4 s 2 N C N , s , p ,
we derive that ( Φ u ν , γ ) ( t ) > 0 for all t > 0 . This implies that Φ u ν , γ ( t ) is strictly increasing, and we present the following non existence result.
Theorem 3.
Let N 3 , 0 < s 1 < s 2 < 1 ,   μ ( 0 , N ) , p = p ˜ ( s 2 ) , and (6) hold. Then, the functional J ν , γ ( u ) has no critical point on M c .
In what follows, we focus on the case p ˜ ( s 2 ) < p < 2 s 1 . We use the notation
P c , γ : = { u M c : G γ ( u ) = 0 } ,
where
G γ ( u ) : = s 1 u D s 1 , 2 ( R N ) 2 + s 2 u D s 2 , 2 ( R N ) 2 γ N ( p 2 ) 2 p u L p ( R N ) p .
It is obvious that all critical points of J ν , γ | M c stay in P c , γ according to the Pohozaev identity. From a similar discussion to ([20], Lemmas 2.12 and 2.13), we deduce that P c , γ is a natural constraint.
Proposition 1.
Let N 3 , 0 < s 1 < s 2 < 1 ,   p ˜ ( s 2 ) < p < 2 s 1 . Then, P c , γ is a smooth manifold with codimension 2 in H s 2 ( R N ) and 1 in M c . Furthermore, if u P c , γ is a critical point of J ν , γ | P c , γ , then u is a critical point of J ν , γ | M c .
We will show that J ν , γ | P c , γ is bounded from below. The structure of P c , γ is strongly influenced by the monotonicity and convexity properties of Φ u ν , γ . Through simple calculations, we see that
( Φ u ν , γ ) ( t ) = s 1 e 2 s 1 t u D s 1 , 2 ( R N ) 2 + s 2 e 2 s 2 t u D s 2 , 2 ( R N ) 2 γ N ( p 2 ) e N ( p 2 ) 2 t 2 p u L p ( R N ) p = G γ ( t u ) ,
which yields that t R is a critical point of Φ u ν , γ if and only if ( t u ) P c , γ . Moreover, ( Φ u ν , γ ) ( 0 ) = G γ ( u ) . Let us consider decomposing P c , γ into disjoint union sets
P c , γ = P c , γ + P c , γ 0 P c , γ ,
where
P c , γ + = u P c , γ : ( Φ u ν , γ ) ( 0 ) > 0 = u M c : ( Φ u ν , γ ) ( 0 ) = 0 , ( Φ u ν , γ ) ( 0 ) > 0 , P c , γ 0 = u P c , γ : ( Φ u ν , γ ) ( 0 ) = 0 = u M c : ( Φ u ν , γ ) ( 0 ) = 0 , ( Φ u ν , γ ) ( 0 ) = 0 , P c , γ = u P c , γ : ( Φ u ν , γ ) ( 0 ) < 0 = u M c : ( Φ u ν , γ ) ( 0 ) = 0 , ( Φ u ν , γ ) ( 0 ) < 0 .
Therefore, for u P c , γ , we derive that
( Φ u ν , γ ) ( 0 ) = 2 s 1 2 u D s 1 , 2 ( R N ) 2 + 2 s 2 2 u D s 2 , 2 ( R N ) 2 N 2 γ ( p 2 ) 2 4 p u L p ( R N ) p s 2 N γ ( p 2 ) p u L p ( R N ) p N 2 γ ( p 2 ) 2 4 p u L p ( R N ) p = N γ ( p 2 ) p s 2 N ( p 2 ) 4 u L p ( R N ) p .
According to p ˜ ( s 2 ) < p < 2 s 1 , we have
( Φ u ν , γ ) ( 0 ) < 0 , for all u P c , γ ,
and
P c , γ + = P c , γ 0 = .
Using the Pohozaev set P c , γ , based on the above discussion, we can obtain the next result.
Theorem 4.
Let N 3 , 0 < s 1 < s 2 < 1 ,   μ ( 0 , N ) , p ˜ ( s 2 ) < p < 2 s 1 , and ν > 0 and assume that c , γ , > 0 satisfy
γ 4 s 1 N ( p 2 ) 4 s 1 c 4 s 1 + 2 ( p 2 ) N N ( p 2 ) 4 s 1 + 2 ( N + μ ) N < [ N ( p 2 ) 4 s 1 ] ( N + μ ) N 2 ( p 2 ) ν 2 s 1 p N ( p 2 ) C N , s 1 , p 4 s 1 N ( p 2 ) 4 s 1 S μ 1 + μ N .
Then, there exists a constant γ 0 > 0 such that for any γ > γ 0 , (1) admits a radial ground state solution u ¯ and the corresponding Lagrange multiplier λ ¯ < 0 .
In this paper, we use the following notations:
  • L p ( R N ) , 1 p + denotes a Lebesgue space; the norm in L p ( R N ) is denoted by · L p ( R N ) .
  • C , C i denote (possibly different) any positive constant.
The rest of this paper is organized as follows. In Section 2, we present some preliminary results. We obtain the regularity of solutions to Equation (1) in Section 3 and prove Theorem 2 in Section 4. Section 5 is devoted to the proof of Theorem 4.

2. Preliminaries

In this section, we begin by summarizing key established results on fractional Sobolev spaces. For 0 < s < 1 , the space D s , 2 ( R N ) is defined to be the completion of C 0 ( R N ) with the Gagliaardo seminorm
u D s , 2 ( R N ) 2 = R 2 N | u ( x ) u ( y ) | 2 | x y | N + 2 s d x d y ,
and the fractional Sobolev space is defined as
H s ( R N ) : = { u L 2 ( R N ) : R 2 N | u ( x ) u ( y ) | 2 | x y | N + 2 s d x d y < + } ,
endowed with the natural norm
u H s ( R N ) 2 = R N | u | 2 d x + R 2 N | u ( x ) u ( y ) | 2 | x y | N + 2 s d x d y .
For the convenience of readers, we introduce some preliminary results to prove our main theorems.
Firstly, we review the following compactness result, which can be found in [21].
Lemma 1
(See [21]). Let N > 2 s and 0 < s < 1 . Then, there exists a constant S = S ( N , s ) such that
S = inf u H s ( R N ) { 0 } ( Δ ) s 2 u L 2 ( R N ) 2 u L 2 s ( R N ) 2 .
Furthermore, H s ( R N ) is continuously embedded into L q ( R N ) for all 2 q 2 s and compactly embedded into L l o c q ( R N ) for all 2 q < 2 s .
Before describing more details, let us introduce the following fractional Gagliardo–Nirenberg–Sobolev inequality in [19].
Lemma 2.
For u H s ( R N ) and p 2 , 2 N N 2 s . Then, there exists a constant C N , s , p = S N ( p 2 ) 4 s > 0 such that
R N | u | p d x C N , s , p R N | ( Δ ) s 2 u | 2 d x N ( p 2 ) 4 s R N | u | 2 d x 2 s p ( p 2 ) N 4 s .
Proof. 
To interpolate between L 2 and L 2 s , express 1 p as
1 p = θ 2 + 1 θ 2 s = θ 2 + ( 1 θ ) ( N 2 s ) 2 N , θ ( 0 , 1 ) ,
where 2 s = 2 N N 2 s . Then, we derive that
2 N p = N θ + ( 1 θ ) ( N 2 s ) = N θ + N 2 s N θ + 2 s θ = N 2 s + 2 s θ ,
which yields that
θ = 2 N p N + 2 s 2 s = 2 N N p + 2 s p 2 s p = 2 N ( N 2 s ) p 2 p s .
Then, 1 θ = N ( p 2 ) 2 p s follows from 2 N ( N 2 s ) p 2 p s + N ( p 2 ) 2 p s = 1 . Hölder’s inequality for 1 p = θ 2 + 1 θ 2 s gives
u L p = R N | u | p d x 1 / p R N | u | 2 · p θ 2 d x 1 2 · 2 p θ R N | u | 2 s · p ( 1 θ ) 2 s d x 1 2 s · 2 s p ( 1 θ ) = u L 2 θ u L 2 s 1 θ ,
which implies that
u L p ( R N ) u L 2 ( R N ) 2 N ( N 2 s ) p 2 p s u L 2 s ( R N ) N ( p 2 ) 2 p s .
Applying Lemma 1, we deduce that
R N | u | p d x R N | u | 2 d x 2 s p ( p 2 ) N 4 s S 1 R N | ( Δ ) s 2 u | 2 d x N ( p 2 ) 4 s .
We also require the following Hardy–Littlewood–Sobolev inequality.
Lemma 3
([22]). Let N 2 , μ ( 0 , N ) , r , t > 1 with 1 r + 1 t = 1 + μ N . For any f L r ( R N ) and g L t ( R N ) , one has
R 2 N f ( x ) g ( y ) | x y | N μ d x d y C ( N , μ , r ) f L r ( R N ) g L t ( R N ) .
Lemma 4
([22]). Let 1 β , g L γ 1 ( R N ) and h L γ 2 ( R N ) . Then, there exists a constant C > 0 such that
g h L β ( R N ) C g L γ 1 ( R N ) h L γ 2 ( R N ) ,
where
1 γ 1 + 1 γ 2 = 1 + 1 β .
It follows from Lemma 4 that for any v L q ( R N ) , q ( 1 , N μ ) , I μ v L N q N μ q ( R N ) , and
I μ v L N q N μ q ( R N ) C ( μ , N , q ) v L q ( R N ) .
From Lemma 3, for any u H s ( R N ) , if | u | p L r ( R N ) with 1 r = 1 2 ( 1 + μ N ) , thus
R 2 N | u ( x ) | p | u ( y ) | p | x y | N μ d x d y
is well defined. Together with Lemma 4, we obtain that
1 + μ N p N + μ N 2 s .
1 + μ N , N + μ N 2 s are the Hardy–Littlewood–Sobolev lower and upper critical exponent, respectively. Particularly, for any u H s ( R N ) ,
R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x S μ ( 1 + μ N ) R N | u | 2 d x N + μ N ,
where
S μ = inf R N | u | 2 d x : u L 2 ( R N ) , R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x = 1 > 0 .
It follows from [22] (Theorem 4.3) that S μ is attained by
u ( x ) = U ϵ ( x ) : = C ϵ ϵ 2 + | x y | 2 N 2 ,
for some C R , ϵ > 0 and y R N .
The next two lemmas are useful in proving the splitting property of the energy functional.
Lemma 5
([23], Lemma 2.4). Let N N , μ ( 0 , N ) , q [ 1 , 2 N N + μ ) , and { u n } be a bounded sequence in L 2 N q N + μ ( R N ) . If u n u a.e. on R N as n , then
lim n R N ( I μ | u n | q ) | u n | q d x R N ( I μ | u n u | q ) | u n u | q d x = R N ( I μ | u | q ) | u | q d x .
The next result is a splitting property of the nonlocal energy functional for fractional Choquard equation in R N with purely power.
Lemma 6
([24], Lemma 2.7). Let q [ 1 + μ N , N + μ N 2 s ] and r [ 2 , 2 s ] , and { u n } H s ( R N ) such that u n u in H s ( R N ) . Then, for all v H s ( R N ) ,
R N ( I μ | u n | q ) | u n | q 2 u n v d x R N ( I μ | u | q ) | u | q 2 u v d x ,
and
R N | u n | r 2 u n v d x R N | u | r 2 u v d x
as n .

3. The Nonlocal Brézis-Kato’s Type Regularity Estimate

In this section, we now study the regularity of solutions to Equation (1). We shall restrict λ < 0 , and verify it in the proof of Theorem 2. We present a preliminary result, which is crucial for the subsequent proof.
Lemma 7.
Let N 3 and u H s 2 ( R N ) be a solution of
( Δ ) s 1 u + ( Δ ) s 2 u = g ( x , u ) , i n R N ,
where g : R N × R R is a Carathéodory function such that
| g ( x , t ) | C ( | t | + | t | p 1 ) ,
for a.e. x R N and for all t R , for some p [ 2 , 2 s 2 ] and C > 0 . Then, u L q ( R N ) for q 2 , .
Proof. 
Let u H s 2 ( R N ) be a solution to Equation (15). For each T > 2 , we define
u T ( x ) = T , if u ( x ) > T , u ( x ) , if T u ( x ) T , T , if u ( x ) < T .
Then, u ˜ T = u u T 2 ( b 1 ) H s 2 ( R N ) for b > 1 .
Hence, we derive that
R N R N ( u ( x ) u ( y ) ) ( u ˜ T ( x ) u ˜ T ( y ) ) | x y | N + 2 s 1 d x d y + R N R N ( u ( x ) u ( y ) ) ( u ˜ T ( x ) u ˜ T ( y ) ) | x y | N + 2 s 2 d x d y = R N g ( x , u ) u ˜ T d x .
Define
Λ : = | t | 2 2 and Y ( t ) : = 0 t ( u ˜ T ( τ ) ) 1 2 d τ ,
for t > 0 . Since u ˜ T is an increasing function, we have that
( α β ) ( u ˜ T ( α ) u ˜ T ( β ) ) 0 for   any α , β 0 .
Using Jensen’s inequality, it is sufficient to show that
Λ ( α β ) ( u ˜ T ( α ) u ˜ T ( β ) ) | Y ( α ) Y ( β ) | 2 for   any α , β 0 ,
which yields that
| Y ( u ( x ) ) Y ( u ( y ) ) | 2 ( u ( x ) u ( y ) ) ( ( u u T 2 ( b 1 ) ) ( x ) ( u u T 2 ( b 1 ) ) ( y ) ) .
Noting that Y ( u ) 1 b u u T b 1 , by Lemma 1, we obtain
R N R N ( u ( x ) u ( y ) ) ( u ˜ T ( x ) u ˜ T ( y ) ) | x y | N + 2 s 1 d x d y + R N R N ( u ( x ) u ( y ) ) ( u ˜ T ( x ) u ˜ T ( y ) ) | x y | N + 2 s 2 d x d y Y ( u ) D s 1 , 2 ( R N ) 2 + Y ( u ) D s 2 , 2 ( R N ) 2 C Y ( u ) L 2 s 2 ( R N ) 2 C b 2 u u T b 1 L 2 s 2 ( R N ) 2 .
By virtue of (16)–(18), we have
u u T b 1 L 2 s 2 ( R N ) 2 C λ 2 R N | u | 2 | u T | 2 ( b 1 ) d x + R N | u | p | u T | 2 ( b 1 ) d x .
We notice that there exists C > 0 and a function H 0 such that
| u | 2 | u T | 2 ( b 1 ) + | u | p | u T | 2 ( b 1 ) ( C + H ) | u | 2 | u T | 2 ( b 1 ) ,
where H L N 2 s 2 ( R N ) and is independent of T , b . Indeed, we note that
| u | 2 | u T | 2 ( b 1 ) + | u | p | u T | 2 ( b 1 ) = | u | 2 | u T | 2 ( b 1 ) + | u | p 2 u 2 | u T | 2 ( b 1 ) .
Furthermore,
| u | p 2 1 + H ,
for some H L N 2 s 2 ( R N ) . In fact,
| u | p 2 = χ { 0 | u | 1 } | u | p 2 + χ { | u | > 1 } | u | p 2 1 + χ { | u | > 1 } | u | p 2 ,
and if ( p 2 ) N 2 s 2 < 2 , thus,
R N χ { | u | > 1 } | u | ( p 2 ) N 2 s 2 d x R N χ { | u | > 1 } | u | 2 d x R N | u | 2 d x < + ,
if ( p 2 ) N 2 s 2 2 , we conclude that ( p 2 ) N 2 s 2 [ 2 , 2 s 2 ] . Combining (19) and (20), we derive that
u u T b 1 L 2 s 2 ( R N ) 2 C b 2 R N ( C + H ) | u | 2 | u T | 2 ( b 1 ) d x .
Taking T , we obtain that
u b L 2 s 2 ( R N ) 2 C b 2 R N | u | 2 b d x + R N H | u | 2 b d x .
Choose D > 0 and let B 1 = { H D } and B 2 = { H > D } . Therefore,
R N H | u | 2 b d x D u b L 2 ( R N ) 2 + ε ( D ) u b L 2 s 2 ( R N ) 2 ,
where
ε ( D ) = B 2 H N / 2 s 2 d x 2 s 2 N 0 , a s D + .
Taking into account of (21) and (22), we obtain that
u b L 2 s 2 ( R N ) 2 b 2 ( C + D ) u b L 2 ( R N ) 2 + b 2 ε ( D ) u b L 2 s 2 ( R N ) 2 .
Letting D > 0 enough such that b 2 ε ( D ) < 1 2 , and applying (23), we conclude that
u b L 2 s 2 ( R N ) 2 2 b 2 ( C + D ) u b L 2 ( R N ) 2 .
Since u L 2 s 2 ( R N ) , taking b 1 = N N 2 s 2 in (24), we deduce that u L 2 N 2 ( N 2 s 2 ) 2 ( R N ) . Using (24) again, after k iterations, we obtain that u L 2 N k ( N 2 s 2 ) k ( R N ) , that is, u L q ( R N ) for q 2 , .
Next, we show that u L ( R N ) . From u L q ( R N ) for q 2 , , we observe that H L N s 2 ( R N ) . By Hölder’s inequality and Young;s inequality, we conclude that for all ϑ > 0 ,
R N H | u | 2 b d x H L N / s 2 ( R N ) u b L 2 ( R N ) u b L 2 s 2 ( R N ) H L N / s 2 ( R N ) ϑ u b L 2 ( R N ) 2 + 1 ϑ u b L 2 s 2 ( R N ) 2 .
Together with (21), we conclude that
u b L 2 s 2 ( R N ) 2 b 2 ( C + H L N / s 2 ( R N ) ϑ ) u b L 2 ( R N ) 2 + C b 2 H L N / s 2 ( R N ) ϑ u b L 2 s 2 ( R N ) 2 .
Taking ϑ > 0 such that
C b 2 H L N / s 2 ( R N ) ϑ = 1 2 ,
we dereive that
u b L 2 s 2 ( R N ) 2 2 b 2 ( C + H L N / s 2 ( R N ) ϑ ) u b L 2 ( R N ) 2 = K b u b L 2 ( R N ) 2 .
Note that there exists some K 0 > 0 independent of b such that
K b C b 4 K 0 2 e 2 b ,
which yields that
u L 2 s 2 b ( R N ) K 0 1 b e 1 b u L 2 b ( R N ) .
Iterating this relation and taking
b 0 = 1 , b n + 1 = 2 s 2 2 b n ,
we obtain that
u L 2 s 2 b n ( R N ) K 0 i = 0 n 1 b i e i = 0 n 1 b i u L 2 ( R N ) .
Due to b n = ( N N 2 s 2 ) n , we observe that
i = 0 n 1 b i < , i = 0 n 1 b i < ,
which implies that
u L ( R N ) = lim n u L 2 s 2 b n ( R N ) < .
We study the L 2 estimate of ( Δ ) s 2 u .
Lemma 8.
Let N 3 , 1 2 < s 1 + 1 2 < s 2 < 1 and u H s 2 ( R N ) L ( R N ) . Then, there exists C > 0 (independent of u) such that
( Δ ) s 1 u L 2 ( R N ) C u H s 2 ( R N ) .
Proof. 
We split the term ( Δ ) s 1 u into two terms as follows:
( Δ ) s 1 u = { | x y | 1 } u ( x ) u ( y ) | x y | N + 2 s 1 d y + { | x y | > 1 } u ( x ) u ( y ) | x y | N + 2 s 1 d y : = K 1 + K 2 ,
and then
( Δ ) s 1 u L 2 ( R N ) 2 = R N | K 1 + K 2 | 2 d x 2 R N | K 1 | 2 d x + R N | K 2 | 2 d x .
From 1 2 < s 1 + 1 2 < s 2 < 1 , one has
2 s 1 + 1 < 2 s 2 < s 2 + 1 ,
which gives s 2 > 2 s 1 . Then, taking z = x y and applying Hölder’s inequality, we have
K 1 L 2 ( R N ) R N | z | 1 | u ( x ) u ( x z ) | | z | N + 2 s 1 d z 2 d x 1 2 = R N | z | 1 | u ( x ) u ( x z ) | | z | N 2 + s 2 1 | z | N 2 + 2 s 1 s 2 d z 2 d x 1 2 R N | z | 1 | u ( x ) u ( x z ) | 2 | z | N + 2 s 2 d z | z | 1 1 | z | N + 4 s 1 2 s 2 d z d x 1 2 = R N | z | 1 | u ( x ) u ( x z ) | 2 | z | N + 2 s 2 d z d x 1 2 | z | 1 1 | z | N + 4 s 1 2 s 2 d z 1 2 u D s 2 , 2 ( R N ) | z | 1 1 | z | N + 4 s 1 2 s 2 d z 1 2 C u H s 2 ( R N ) 0 1 ρ N 1 ρ N + 4 s 1 2 s 2 d ρ 1 2 = C u H s 2 ( R N ) 0 1 1 ρ 1 + 4 s 1 2 s 2 d ρ 1 2 C u H s 2 ( R N ) ,
where ( 4 s 1 2 s 2 ) + 1 < 1 . Then,
K 2 L 2 ( R N ) R N | z | > 1 | u ( x ) u ( x z ) | | z | N + 2 s 1 d z 2 d x 1 2 R N | z | > 1 | u ( x ) | + | u ( x z ) | | z | N + 2 s 1 d z 2 d x 1 2 C R N | u ( x ) | 2 | z | > 1 1 | z | N + 2 s 1 d z 2 d x + R N | u ( x z ) | 2 | z | > 1 1 | z | N + 2 s 1 d z 2 d x 1 2 C u L 2 ( R N ) 1 ρ N 1 ρ N + 2 s 1 d ρ = C u L 2 ( R N ) 1 1 ρ 2 s 1 + 1 d ρ C u H s 2 ( R N ) ,
where 2 s 1 + 1 > 1 . □
Lemma 9.
Let N 3 , 1 2 < s 1 + 1 2 < s 2 < 1 and u H 2 s 2 ( R N ) L ( R N ) . Then, there exists C > 0 (independent of u) such that
( Δ ) s 1 + 1 2 u L 2 ( R N ) C u H 2 s 2 ( R N ) .
Proof. 
Recalling that 1 2 < s 1 + 1 2 < s 2 < 1 , one has
( Δ ) s 1 + 1 2 u L 2 ( R N ) = R N | ξ | 4 s 1 + 2 | u ^ ( ξ ) | 2 d ξ R N | ξ | 2 ( 2 s 1 + 1 ) 2 s 2 2 s 1 + 1 | u ^ ( ξ ) | 2 s 1 + 1 s 2 2 s 2 2 s 1 + 1 d ξ 2 s 1 + 1 2 s 2 R N | u ^ ( ξ ) | 2 s 2 2 s 1 1 s 2 2 s 2 2 s 2 2 s 1 1 d ξ 2 s 2 2 s 1 1 2 s 2 = R N | ξ | 4 s 2 | u ^ ( ξ ) | 2 d ξ 2 s 1 + 1 2 s 2 R N | u ^ ( ξ ) | 2 d ξ 2 s 2 2 s 1 1 2 s 2 C u H 2 s 2 ( R N ) 2 .
We can write Equation (1) in the next form
u = [ ( Δ ) s 2 λ ] 1 ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u ( Δ ) s 1 u .
On the other hand, using Fourier representation, we have
u = h ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u ( Δ ) s 1 u ,
where h is the Green’s function, which is a kernel with the Fourier representation
F h ( ξ ) = 1 | ξ | 2 s 2 λ .
Lemma 10.
Let N 3 , 0 < s 1 < s 2 < 1 and λ < 0 . Then,
1 ( Δ ) s 2 λ
and
( Δ ) s 2 ( Δ ) s 2 λ
are bounded multipliers L 2 ( R N ) L 2 ( R N ) .
Proof. 
Define l ( ξ ) : = | ξ | 2 s 2 λ . Since λ < 0 , we see that l ( ξ ) > 0 . Therefore,
0 1 | ξ | 2 s 2 λ 1 min { 1 , λ } ( | ξ | 2 s 2 + 1 ) C ,
and
0 | ξ | 2 s 2 | ξ | 2 s 2 λ | ξ | 2 s 2 min { 1 , λ } ( | ξ | 2 s 2 + 1 ) C ,
where C > 0 is independent of ξ . □
By Lemmas 7 and 8, we can find the next regularity result.
Lemma 11.
Let N 3 , 1 2 < s 1 + 1 2 < s 2 < 1 , p ( 2 , 2 s 2 ) , μ ( max 1 , N 4 s 2 , N ) , and ( u , λ ) H s 2 ( R N ) × R be solutions for Equation (1). Then, u H 2 ( R N ) L ( R N ) .
Proof. 
By Lemma 7, we derive that u H s 2 ( R N ) L ( R N ) . Lemma 8 and (11) imply that I μ | u | 1 + μ N L ( R N ) . Combining Lemmas 8 and 10, we deduce that
u D 2 s 2 , 2 ( R N ) 2 = ( Δ ) s 2 u L 2 ( R N ) 2 = ( Δ ) s 2 ( Δ ) s 2 λ ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u ( Δ ) s 1 u L 2 ( R N ) 2 C ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u ( Δ ) s 2 u L 2 ( R N ) 2 C u L ( R N ) 2 ( μ N 2 ) + 2 u L ( R N ) ( μ N 2 ) + ( p 2 ) + u L ( R N ) 2 ( p 2 ) R N | u | 2 d x + C u L ( R N ) 2 ( μ N 1 ) + 2 u L ( R N ) ( p 1 ) + ( μ N 1 ) + u L ( R N ) 2 ( p 1 ) ( Δ ) s 2 u L 2 ( R N ) 2 C ,
then u D 2 s 2 , 2 ( R N ) . According to u L 2 ( R N ) , we derive that u H 2 s 2 ( R N ) H 1 ( R N ) for 1 2 s 2 < 1 .
Set
f = ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u ( Δ ) s 1 u .
Since u H 2 s 1 ( R N ) L ( R N ) , and | ( | u | p 2 u ) | ( p 1 ) | u | p 2 | u | a.e. in R N , we conclude that
| f | ν [ ( I μ | u | 1 + μ N ) | u | μ N 1 u ] + γ | ( | u | p 2 u ) | + | ( Δ ) s 1 + 1 2 u | = ν R N | u ( y ) | 1 + μ N | x y | N μ d y | u ( x ) | μ N 1 u + γ | ( | u | p 2 u ) | + | ( Δ ) s 1 + 1 2 u | ν R N | u ( y ) | 1 + μ N | x y | N μ d y ( | u ( x ) | μ N 1 u ( x ) ) + ν R N | u ( y ) | μ N + 1 | x y | N μ d y | u ( x ) | μ N 1 u ( x ) + γ | ( | u | p 2 u ) | + | ( Δ ) s 1 + 1 2 u | C | u | μ N 1 | u | + ( μ N ) R N x y | x y | N μ + 2 | u ( y ) | μ N + 1 d y | u ( x ) | μ N 1 u ( x ) + C | u | p 2 | u | + | ( Δ ) s 1 + 1 2 u | C | u | μ N 1 | u | + C R N | u ( y ) | p | x y | N μ + 1 d y | u ( x ) | μ N + C | u | p 2 | u | + | ( Δ ) s 1 + 1 2 u | = C | u | μ N 1 | u | + C ( I μ 1 | u | μ N + 1 ) | u ( x ) | μ N + C | u | p 2 | u | + | ( Δ ) s 1 + 1 2 u | .
Since μ ( 1 , N ) , Lemma 8 and (11), we know I μ 1 | u | μ N + 1 L ( R N ) . By (25), Lemma 9, and Lemma 7, we conclude that
f L 2 ( R N ) 2 C u L ( R N ) 2 ( μ N 1 ) + 2 u L ( R N ) ( p 2 ) + ( μ N 1 ) + u L ( R N ) 2 ( p 2 ) u L 2 ( R N ) 2 + C ( Δ ) s 1 + 1 2 u L 2 ( R N ) C .
This implies that f H 1 ( R N ) L ( R N ) . Using the same procedures as above, we deduce that
u D 2 s 2 + 1 , 2 ( R N ) 2 = ( Δ ) s 2 + 1 2 u L 2 ( R N ) 2 = ( Δ ) s 2 ( Δ ) s 2 λ ( Δ ) 1 2 f L 2 ( R N ) 2 C ( Δ ) 1 2 f L 2 ( R N ) 2 = C f D 1 , 2 ( R N ) 2 C ,
which yields u H 2 s 2 + 1 ( R N ) H 2 ( R N ) . □
Proof of Theorem 1.
Rewrite (1) as
( Δ ) s 1 u + ( Δ ) s 2 u = g ( x , u ) : = λ u + ν ( I μ | u | 1 + μ N ) | u | μ N 1 u + γ | u | p 2 u .
Note that u H s 2 ( R N ) L q ( R N ) for all 2 q 2 s 2 . From ([11], Theorem 1.1) and Lemma 7, we dereive that u L ( R N ) . By using Lemma 11, similar to ([1], Lemma 2.2), we can obtain the Pohozaev identity
N 2 s 1 2 u D s 1 , 2 ( R N ) 2 + N 2 s 2 2 u D s 2 , 2 ( R N ) 2 = λ N 2 R N | u | 2 d x + N ν 2 R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x + N γ p R N | u | p d x .
By employing the Nehari identity, we obtain
u D s 1 , 2 ( R N ) 2 + u D s 2 , 2 ( R N ) 2 = λ R N | u | 2 d x + ν R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x + γ R N | u | p d x .
Combining (26) and (27), we have
s 1 u D s 1 , 2 ( R N ) 2 + s 2 u D s 2 , 2 ( R N ) 2 = γ N ( p 2 ) 2 p R N | u | p d x .

4. Proof of Theorem 2

Having established the basic properties of solutions in Theorem 1, we now turn to the existence of normalized ground states.
Lemma 12.
Let N 3 and 2 < p < p ˜ ( s 2 ) . Then, the functional J ν , γ is bounded from below and is coercive on M c .
Proof. 
It follows from (10) and (12) that for each u M c ,
J ν , γ ( u ) 1 2 u D s 1 , 2 ( R N ) 2 + 1 2 u D s 2 , 2 ( R N ) 2 N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) γ p C N , s , p u D s 2 , 2 ( R N ) N ( p 2 ) 2 s 2 c 2 s 2 p N ( p 2 ) 2 s 2 .
Due to 2 < p < p ˜ ( s 2 ) , we observe that 0 < N ( p 2 ) 2 s 2 < 2 , which yields that J ν , γ is bounded from below and coercive on M c . □
Lemma 13.
Let N 3 and 2 < p < p ˜ ( s 2 ) . Then,
m ν , γ ( c ) < N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) < 0 ,
where m ν , γ ( c ) is defined in (4).
Proof. 
From (14), one sees that
R N ( I μ | U ϵ | 1 + μ N ) | U ϵ | 1 + μ N d x = S μ ( 1 + μ N ) R N | U ϵ | 2 d x N + μ N .
According to the above equality, we set
ϕ : = U ϵ c U ϵ L 2 ( R N ) and ( t ϕ ) ( x ) : = e N t 2 ϕ ( e t x ) , for x R N .
Clearly, ϕ M c and ( t ϕ ) M c . We compute that
J ν , γ ( t ϕ ) = e 2 s 1 t 2 ϕ D s 1 , 2 ( R N ) 2 + e 2 s 2 t 2 ϕ D s 2 , 2 ( R N ) 2 N ν 2 ( N + μ ) R N ( I μ | ϕ | 1 + μ N ) | ϕ | 1 + μ N d x γ e N ( p 2 ) 2 t p ϕ L p ( R N ) p = e 2 s 1 t 2 ϕ D s 1 , 2 ( R N ) 2 + e 2 s 2 t 2 ϕ D s 2 , 2 ( R N ) 2 N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) γ e N ( p 2 ) 2 t p ϕ L p ( R N ) p .
Therefore, due to 2 < p < p ˜ ( s 2 ) , there exists t 0 1 such that
m ν , γ ( c ) < N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) .
Lemma 14.
Let c 1 , c 2 > 0 be such that c 1 2 + c 2 2 = c 2 . Then,
m ν , γ ( c ) < m ν , γ ( c 1 ) + m ν , γ ( c 2 ) .
Proof. 
Let a > 0 , τ > 1 and { u n } M a be a minimizing sequence of m ν , γ ( a ) . Then, we obtain that
m ν , γ ( τ a ) J ν , γ ( τ u n ) = τ 2 2 u n D s 1 , 2 ( R N ) 2 + τ 2 2 u n D s 2 , 2 ( R N ) 2 N ν τ 2 ( 1 + μ N ) 2 ( N + μ ) R N ( I μ | u n | 1 + μ N ) | u n | 1 + μ N d x γ τ p p u n L p ( R N ) p < τ 2 J ν , γ ( u n ) ,
noting that τ > 1 and p > 2 . This implies that m ν , γ ( τ a ) τ 2 m ν , γ ( a ) , and the equality holds if and only if R N ( I μ | u n | 1 + μ N ) | u n | 1 + μ N d x + u n L p ( R N ) p 0 as n . But, this is just not impossible. If not, from Lemma 13, we conclude that
0 > m ν , γ ( a ) = lim n J ν , γ ( u n ) lim inf n 1 2 u n D s 1 , 2 ( R N ) 2 + 1 2 u n D s 2 , 2 ( R N ) 2 0 .
Hence, the strict inequality m ν , γ ( τ a ) < τ 2 m ν , γ ( a ) holds. Set τ a = c and 1 τ 2 1 > 1 . Thus, we conclude that
m ν , γ ( c ) < τ 2 m ν , γ ( c τ ) = m ν , γ c τ + ( τ 2 1 ) m ν , γ 1 τ 2 1 · τ 2 1 τ c < m ν , γ c τ + m ν , γ τ 2 1 τ c ,
which ends the proof. □
Lemma 15.
Let N 3 and 2 < p < p ˜ ( s 2 ) and { u n } H s 2 ( R N ) be a sequence such that
J ν , γ ( u n ) m ν , γ ( c ) , u n L 2 ( R N ) = c n c .
Then, there exists a subsequence, still denoted by { u n } , a sequence of points { z n } R N and u ¯ M c such that u n ( · + z n ) u ¯ strongly in H s 2 ( R N ) .
Proof. 
It follows easily from (28) and 2 < p < p ˜ ( s 2 ) that { u n } is bounded in H s 2 ( R N ) . Thus, there exists a subsequence of { u n } (still denoted by { u n } ) and u ¯ H s 2 ( R N ) such that
u n u ¯ , in H s 2 ( R N ) , u n u ¯ in L l o c 2 ( R N ) .
We claim that u ¯ 0 . In fact, if u ¯ = 0 , then u n 0 in H s 2 ( R N ) . From Lemma 6, we derive that
R N ( I μ | u n | 1 + μ N ) | u n | 1 + μ N d x = o n ( 1 ) , R N | u n | p d x = o n ( 1 ) .
Therefore,
m ν , γ ( c ) = J ν , γ ( u n ) + o n ( 1 ) = 1 2 u n D s 1 , 2 ( R N ) 2 + 1 2 u n D s 2 , 2 ( R N ) 2 0 ,
which contradicts Lemma 13. Then, we have showed u ¯ 0 . There exists a sequence of { z n } such that u ¯ n : = u n ( · + z n ) converges weakly to u ¯ 0 in H s 2 ( R N ) . From Brezis–Lieb Lemma for the nonlocal term of the functional ([23], Lemma 2.4) and ([25], Lemma 5.1), we obtain that
c 2 = u n L 2 ( R N ) 2 = u n u ¯ L 2 ( R N ) 2 + u ¯ L 2 ( R N ) 2 + o n ( 1 ) ,
J ν , γ ( u n ) = J ν , γ ( u n u ¯ ) + J ν , γ ( u ¯ ) + o n ( 1 ) .
If u ¯ L 2 ( R N ) 2 < c 2 , we set τ : = c u ¯ L 2 ( R N ) , then τ > 1 , τ u ¯ M c and
J ν , γ ( τ u ¯ ) = τ 2 2 u ¯ D s 1 , 2 ( R N ) 2 + τ 2 2 u ¯ D s 2 , 2 ( R N ) 2 N ν τ 2 ( 1 + μ N ) 2 ( N + μ ) R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x γ τ p p R N | u ¯ | p d x ,
which yields that
J ν , γ ( u ¯ ) = 1 τ 2 J ν , γ ( τ u ¯ ) + N ν ( τ 2 μ N 1 ) 2 ( N + μ ) R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x + γ ( τ p 2 1 ) p R N | u ¯ | p d x .
Similarly, taking τ n : = c u n u ¯ L 2 ( R N ) 1 , τ n ( u n u ¯ ) M c , we derive that
J ν , γ ( u n u ¯ ) = 1 τ n 2 J ν , γ ( τ n ( u n u ¯ ) ) + γ ( τ n p 2 1 ) p R N | u n u ¯ | p d x + N ν ( τ n 2 μ N 1 ) 2 ( N + μ ) R N ( I μ | u n u ¯ | 1 + μ N ) | u n u ¯ | 1 + μ N d x 1 τ n 2 J ν , γ ( τ n ( u n u ¯ ) ) .
Combining (29)–(32), by (12), we conclude that
m ν , γ ( c ) = J ν , γ ( u n ) + o n ( 1 ) = J ν , γ ( u ¯ ) + J ν , γ ( u n u ¯ ) + o n ( 1 ) 1 τ 2 J ν , γ ( τ u ¯ ) + 1 τ n 2 J ( τ n ( u n u ¯ ) ) + N ν ( τ 2 μ N 1 ) 2 ( N + μ ) R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x + γ ( τ p 2 1 ) p R N | u ¯ | p d x + o n ( 1 ) > 1 τ 2 m ν , γ ( c ) + 1 τ n 2 m ν , γ ( c ) = m ν , γ ( c ) ,
which is a contradiction. Hence, u ¯ L 2 ( R N ) 2 = c 2 . This yields that u ¯ n : = u n ( · + z n ) converges strongly to u ¯ in L 2 ( R N ) . Therefore, ([23], Lemma 2.4) indicates that
R N ( I μ | u ¯ n | 1 + μ N ) | u ¯ n | 1 + μ N d x = R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x + o n ( 1 ) .
Recalling interpolation inequality and the fractional Sobolev embedding theorem, we deduce that
u ¯ n u ¯ L p ( R N ) u ¯ n u ¯ L 2 ( R N ) θ u ¯ n u ¯ L 2 s 2 ( R N ) 1 θ C u ¯ n u ¯ L 2 ( R N ) θ 0 ,
as n , where p ( 2 , 2 s 2 ) and 1 p = θ 2 + 1 θ 2 s 2 . Applying (33) and (34) and the weakly lower semicontinuity of the norm, we infer that
m ν , γ ( c ) J ν , γ ( u ¯ ) lim inf n J ν , γ ( u ¯ n ) = lim inf n J ν , γ ( u n ) = m ν , γ ( c ) ,
which implies that u ¯ n D s i , 2 ( R N ) u ¯ D s i , 2 ( R N ) as n for i = 1 , 2 . □
Proof of Theorem 2.
From Lemma 15, there is a minimizer u ¯ for J ν , γ on M c . Let | u ¯ | denote the symmetric decreasing rearrangement of u ¯ [22]. Obviously,
| u ¯ | L 2 ( R N ) = | u ¯ | L 2 ( R N ) , | u ¯ | L p ( R N ) = | u ¯ | L p ( R N ) .
Moreover, by the fractional Polya–Szegö inequality [26] and (A.11) in [27], we observe that
| u ¯ | D s i , 2 ( R N ) 2 | u ¯ | D s i , 2 ( R N ) 2 u ¯ D s i , 2 ( R N ) 2 , i = 1 , 2 .
Meanwhile, the Riesz’s rearrangement inequality ([22], Theorem 3.4) indicates that
R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x R N ( I μ ( | u ¯ | ) 1 + μ N ) ( | u ¯ | ) 1 + μ N d x .
Gathering (35)–(37), we obtain that | u ¯ | M c and J ν , γ ( | u ¯ | ) J ν , γ ( | u ¯ | ) = m ν , γ ( c ) . Then, m ν , γ ( c ) is attained by | u ¯ | , which is radially symmetric decreasing. For simplity, we still denote it by u ¯ . There eixsts a Lagrange multiplier λ ¯ corresponding to u ¯ such that
λ ¯ c 2 = u ¯ D s 1 , 2 ( R N ) 2 + u ¯ D s 2 , 2 ( R N ) 2 ν R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x γ u ¯ L p ( R N ) p = 2 m ν , γ ( c ) μ ν N + μ R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x ( p 2 ) γ p u ¯ L p ( R N ) p 2 m ν , γ ( c ) < N ν ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) < 0 ,
recalling Lemma 13, which yields that
λ ¯ < N ν ( N + μ ) S μ ( 1 + μ N ) c 2 μ N < 0 .
The proof is completed. □

5. Proof of Theorem 4

In this section, we shall prove Theorem 4.
Lemma 16.
Let N 3 , p ˜ ( s 2 ) < p < 2 s 1 . For each u M c , Φ u ν , γ admits a unique critical point t u R such that
J ν , γ ( t u u ) = max t R J ν , γ ( t u ) , ( t u u ) P c , γ .
Particularly, the map u M c t u R is of class C 1 .
Proof. 
For u M c , we see that
( Φ u ν , γ ) ( t ) = s 1 e 2 s 1 t ( u D s 1 , 2 ( R N ) 2 + s 2 s 1 e 2 ( s 2 s 1 ) t u D s 2 , 2 ( R N ) 2 N γ ( p 2 ) 2 p e ( N ( p 2 ) 2 2 s 1 ) t u L p ( R N ) p .
Thanks to s 2 > s 1 and p ˜ ( s 2 ) < p , we can derive that ( Φ u ν , γ ) ( t ) 0 + as t and ( Φ u ν , γ ) ( t ) as t + . Furthermore, from (8), we conclude that ( Φ u ν , γ ) ( t ) has a unique zero point t u , which is the unique maximum point of Φ u ν , γ ( t ) . Together with (5) and (7), (38) holds.
We denote by Ψ : R × M c R the function Ψ ( t , u ) = ( Φ u ν , γ ) ( t ) . Applying the implicit functon theorem to the C 1 function Ψ , we can complete the proof. □
Setting
K c , γ : = N ( p 2 ) 4 s 1 2 N ( p 2 ) 2 s 1 p γ N ( p 2 ) C N , s , p 1 c 2 s 1 p + ( p 2 ) N 2 s 1 4 s 1 N ( p 2 ) 4 s 1 N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( N + μ ) N ,
we see that K c , γ > 0 , according to (9).
Lemma 17.
Let N 3 , p ˜ ( s 2 ) < p < 2 s 1 and (9) hold. Then, J ν , γ is coercive on P c , γ and
σ ( c ) : = inf u P c , γ J ν , γ ( u ) > K c , γ > 0 .
Proof. 
For u P c , γ , by p ˜ ( s 2 ) < p < 2 s 1 and (10), we conclude that
u D s 1 , 2 ( R N ) 2 u D s 1 , 2 ( R N ) 2 + u D s 2 , 2 ( R N ) 2 γ N ( p 2 ) 2 s 1 p u L p ( R N ) p γ N ( p 2 ) 2 s 1 p C N , s 1 , p R N | ( Δ ) s 1 2 u | 2 d x N ( p 2 ) 4 s 1 R N | u | 2 d x 2 s 1 p + ( p 2 ) N 4 s 1 ,
which yields that
u D s 1 , 2 ( R N ) 2 2 s 1 p γ N ( p 2 ) C N , s 1 , p 1 c 2 s 1 p + ( p 2 ) N 2 s 1 4 s 1 N ( p 2 ) 4 s 1 .
Thus, for each u P c , γ , from (9), (12), and (40), we observe that
J ν , γ ( u ) = 1 2 R N | ( Δ ) s 1 2 u | 2 d x + 1 2 R N | ( Δ ) s 2 2 u | 2 d x N ν 2 ( N + μ ) R N ( I μ | u | 1 + μ N ) | u | 1 + μ N d x γ p R N | u | p d x N ( p 2 ) 4 s 1 2 N ( p 2 ) R N | ( Δ ) s 1 2 u | 2 d x N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( N + μ ) N N ( p 2 ) 4 s 1 2 N ( p 2 ) 2 s 1 p γ N ( p 2 ) C N , s , p 1 c 2 s 1 p + ( p 2 ) N 2 s 1 4 s 1 N ( p 2 ) 4 s 1 N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( N + μ ) N : = K c , γ > 0 .
Define
H r a d s 2 ( R N ) : = { u H s 2 ( R N ) : u is radially symmetric } , M c r a d : = M c H r a d s 2 ( R N ) , P c , γ r a d : = P c , γ H r a d s 2 ( R N ) .
Lemma 18.
Let (9) hold. Then,
inf u P c , γ J ν , γ ( u ) = inf u P c , γ r a d J ν , γ ( u ) .
Proof. 
From P c , γ r a d P c , γ , we see that
0 < K c , γ inf u P c , γ J ν , γ ( u ) inf u P c , γ r a d J ν , γ ( u ) .
Therefore, it is only necessary to prove that
inf u P c , γ J ν , γ ( u ) inf u P c , γ r a d J ν , γ ( u ) .
For this purpose, let | u | denote the symmetric decreasing rearrangement of | u | . According to (35)–(37), we derive that | u | M c r a d and
Φ | u | ν , γ ( t ) = J ν , γ ( t | u | ) J ν , γ ( t u ) = Φ u ν , γ ( t ) .
It follows from (35), (36) and (39) that < t | u | t u . Together with Lemma 16, we conclude that
Φ u ν , γ ( t u ) Φ u ν , γ ( t | u | ) Φ | u | ν , γ ( t | u | ) .
According to u P c , γ , we obtain that t u = 0 and then
J ν , γ ( u ) = Φ u ν , γ ( 0 ) Φ | u | ν , γ ( t | u | ) = J ν , γ ( t | u | | u | ) .
Since t | u | | u | P c , γ r a d , we infer that
inf u P c , γ J ν , γ ( u ) inf u P c , γ J ν , γ ( t | u | | u | ) inf u P c , γ r a d J ν , γ ( u ) ,
which yields that (41) holds. □
Lemma 19.
For u M c r a d and t R , the map
T u M c r a d T t u u M c r a d , ψ t u ψ
is a linear isomorphism with inverse ϕ ( t ) ϕ , where T u M c r a d is the tangent space to M c r a d in u.
Proof. 
The proof is standard, see ([14], Lemma 5.5). □
Next, we consider the functional J ¯ ν , γ : M c r a d R defined by
J ¯ ν , γ = J ν , γ ( t u u ) .
It follows from Lemma 16 that J ¯ ν , γ is of class C 1 . Similar to ([17], Lemma 3.15), we derive the following result.
Lemma 20.
It holds that
J ¯ ν , γ ( u ) [ ψ ] = J ¯ ν , γ ( t u u ) [ t u ψ ] ,
for each u M c r a d and ψ T u M c r a d .
Once again, analogue to ([17], Lemma 3.16), we obtain the existence of Palais–Smale sequences to a general homotopy-stable family, according to Lemmas 19 and 20.
Lemma 21.
Let H be a homotopy-stable family of compact subsets of M c r a d with a closed boundary D and define
κ H : = inf B H max u B J ¯ ν , γ ( u ) .
Assume that D is contained in a connected component of P c , γ r a d and
max { sup J ¯ ν , γ ( D ) , 0 } < κ H < .
Then, there exists a Palais–Smale sequence { u n } P c , γ r a d of J ¯ ν , γ restricted to M c r a d at level κ H .
Applying Lemma 21, we shall present the existence of a Palais–Smale sequence { u n } P c , γ r a d of J ¯ ν , γ restricted to M c r a d at level σ ( c ) > 0 .
Lemma 22.
Let N 3 , p ˜ ( s 2 ) < p < 2 s 1 and c , ν , γ > 0 and (9) hold. Then, there exists a Palais–Smale sequence { u n } P c , γ r a d for J ν , γ | M c at level σ ( c ) > 0 .
Proof. 
Let H ¯ be a family of all singletons belonging to M c r a d . Clearly, the boundary D is empty. Thus, it is a homotopy-stable family of compact subset of M c r a d without a boundary, due to ([28], Definition 3.1). Taking into account of Lemma 18, we derive that
κ H ¯ = inf B H ¯ max u B J ¯ ν , γ ( u ) = inf u M c r a d J ¯ ν , γ ( u ) = inf u P c r a d J ν , γ ( u ) = inf u P c J ν , γ ( u ) = σ ( c ) .
Therefore, using Lemma 21, we end the proof. □
Next, we discuss the convergence of special Palais–Smale sequences that satisfy appropriate additional conditions, following the idea first proposed by Jeanjean in [29].
Lemma 23.
Let N 3 , p ˜ ( s 2 ) < p < 2 s 1 and { u n } P c , γ r a d be a Palais–Smale sequence for J ν , γ | M c at level σ ( c ) > 0 . If { u n } is bounded in H r a d s 2 ( R N ) , then there eixsts γ 0 > 0 such that for each γ > γ 0 , up to a subsequence, u n u ¯ strongly in H r a d s 2 ( R N ) .
Proof. 
The proof is divided into five main steps.
Step 1. Since { u n } P c , γ r a d is bounded and the embedding H r a d s 2 ( R N ) L q ( R N ) is compact for q ( 2 , 2 s 1 ) , there exists u ¯ H r a d s 2 ( R N ) such that
u n u ¯ in H r a d s 2 ( R N ) , u n u ¯ in L q ( R N ) , for q ( 2 , 2 s 1 ) and a . e . in R N .
Moreover, there exists a sequence { λ n } R such that for any v H r a d s 2 ( R N ) ,
R N ( Δ ) s 1 2 u n ( Δ ) s 1 2 v d x + R N ( Δ ) s 2 2 u n ( Δ ) s 2 2 v d x λ n R N u n v d x ν R N ( I μ | u n | 1 + μ N ) | u n | μ N 1 u n v d x γ R N | u n | p 2 u n v d x = o n ( 1 ) v .
Taking v = u n in (43), we observe that
λ n c 2 = γ u n L p ( R N ) p + ν R N ( I μ | u n | 1 + μ N ) | u n | μ N + 1 d x u n D s 1 , 2 ( R N ) 2 u n D s 2 , 2 ( R N ) 2 + o n ( 1 ) ,
which yields that λ n is bounded. Then, up to a subsequence, there exists λ ¯ R such that λ n λ ¯ as n .
Step 2. λ ¯ < 0 . From p ˜ ( s 2 ) < p < 2 s 1 and { u n } P c , γ r a d , we infer that
λ n c 2 = 2 p s 1 N ( p 2 ) N ( p 2 ) u n D s 1 , 2 ( R N ) 2 + 2 p s 2 N ( p 2 ) N ( p 2 ) u n D s 2 , 2 ( R N ) 2 + ν R N ( I μ | u n | 1 + μ N ) | u n | μ N + 1 d x 0 ,
which leads to λ ¯ 0 . We will show that λ ¯ 0 ; if not, due to (44) and G γ ( u n ) = o n ( 1 ) , we can see that σ ( c ) + o n ( 1 ) = J ν , γ ( u n ) = o n ( 1 ) , which contradicts Lemma 17. Thus, λ ¯ < 0 .
Step 3. u ¯ 0 . Assume by contradiction that u ¯ = 0 . Hence, u n D s i , 2 ( R N ) 2 = u n L p ( R N ) p = o n ( 1 ) , i = 1 , 2 . Together with (44) and λ ¯ < 0 , we deduce that
0 < λ ¯ c 2 = lim n λ n c 2 = lim n ν R N ( I μ | u n | 1 + μ N ) | u n | μ N + 1 d x .
On the other hand,
0 < σ ( c ) = lim n J ν , γ ( u n ) = N ν 2 ( N + μ ) R N ( I μ | u n | 1 + μ N ) | u n | 1 + μ N d x < 0 ,
which yields a contradiction. Therefore, u ¯ 0 .
Step 4. The upper bound of σ ( c ) λ ¯ 2 c 2 . By (13) and (14), we obtain that
R N ( I μ | U ϵ | 1 + μ N ) | U ϵ | 1 + μ N d x = S μ ( 1 + μ N ) R N | U ϵ | 2 d x N + μ N .
Set
φ : = c U ϵ U ϵ L 2 ( R N ) , and ( t φ ) ( x ) : = e N 2 t φ ( e t x ) ,
for a.e. x R N . Clearly, φ M c and ( t φ ) ( x ) M c . From Lemma 16, there exists a unique t φ R such that
J ν , γ ( t φ φ ) = max t R J ν , γ ( t φ ) , t φ φ P c , γ .
Lemma 18 yields that
σ ( c ) J ν , γ ( t φ φ ) .
Furthermore, by direct calculations, it can be concluded that
σ ( c ) J ν , γ ( t φ φ ) = e 2 s 1 t φ 2 φ D s 1 , 2 ( R N ) 2 + e 2 s 2 t φ 2 φ D s 2 , 2 ( R N ) 2 N ν 2 ( N + μ ) R N ( I μ | φ | 1 + μ N ) | φ | 1 + μ N d x γ e N ( p 2 ) 2 t φ p φ L p ( R N ) p = e 2 s 1 t φ 2 φ D s 1 , 2 ( R N ) 2 + e 2 s 2 t φ 2 φ D s 2 , 2 ( R N ) 2 γ e N ( p 2 ) 2 t φ p φ L p ( R N ) p N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) .
Therefore, taking
γ 0 : = e 2 s 1 t φ 2 φ D s 1 , 2 ( R N ) 2 + e 2 s 2 t φ 2 φ D s 2 , 2 ( R N ) 2 p e N ( p 2 ) 2 t φ φ L p ( R N ) p ,
we observe that for any γ > γ 0 ,
σ ( c ) < N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) .
Therefore, applying (45), we conclude that
σ ( c ) λ ¯ 2 c 2 < N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) λ ¯ 2 c 2 .
Now, we define a function g : R + R
g ( c ) : = N ν 2 ( N + μ ) S μ ( 1 + μ N ) c 2 ( 1 + μ N ) λ ¯ 2 c 2 .
Obviously, there exists a unique critical point
c 0 = λ ¯ ν 1 S μ 1 + μ N N 2 μ ,
and
g ( c 0 ) = μ 2 ( N + μ ) ν N μ λ ¯ S μ 1 + μ N N + μ μ
is the maximum of g. Hence, it holds that
σ ( c ) λ ¯ 2 c 2 < μ 2 ( N + μ ) ν N μ λ ¯ S μ N + μ μ .
Step 5. u n u ¯ in H r a d s 2 ( R N ) . Since u n u ¯ in H r a d s 2 ( R N ) , from (43) and Lemma 6, we conclude that u ¯ is a weak solution of
( Δ ) s 1 u ¯ + ( Δ ) s 2 u ¯ = λ ¯ u ¯ + ν ( I μ | u ¯ | 1 + μ N ) | u ¯ | μ N 1 + γ | u ¯ | p 2 u , in R N .
Then, we obtain
G γ ( u ¯ ) = s 1 u ¯ D s 1 2 ( R N ) 2 + s 2 u ¯ D s 2 , 2 ( R N ) 2 γ N ( p 2 ) 2 p u ¯ L p ( R N ) p = 0 .
Set v n = u n u ¯ , then v n 0 in H r a d s 2 ( R N ) . Hence,
u n D s i , 2 ( R N ) 2 = u ¯ D s i , 2 ( R N ) 2 + v n D s i , 2 ( R N ) 2 , i = 1 , 2 .
From (42) and Lemma 5, we observe that
R N ( I μ | u n | 1 + μ N ) | u n | 1 + μ N d x = R N ( I μ | v n | 1 + μ N ) | v n | 1 + μ N d x + R N ( I μ | u ¯ | 1 + μ N ) | u ¯ | 1 + μ N d x + o n ( 1 ) ,
and
R N | u n | p d x = R N | u ¯ | p d x + o n ( 1 ) .
Therefore, applying G γ ( u n ) = 0 and G γ ( u ¯ ) = 0 , we obtain that
u n D s i , 2 ( R N ) 2 = u ¯ D s i , 2 ( R N ) 2 , v n D s i , 2 ( R N ) 2 = o n ( 1 ) , i = 1 , 2 .
On the other hand, from (47), we obtain that for any v H r a d s 2 ( R N ) ,
J ν , γ ( u ¯ ) v λ R N u ¯ v d x = 0 .
Taking v = u n u ¯ in (43) and (51), we conclude that
v n D s 1 , 2 ( R N ) 2 + v n D s 2 , 2 ( R N ) 2 = λ ¯ v n L 2 ( R N ) 2 + ν R N ( I μ | v n | 1 + μ N ) | v n | 1 + μ N d x + γ v n L p ( R N ) p + o n ( 1 ) .
Applying (49) and (50), we induce that
Λ : = λ ¯ v n L 2 ( R N ) 2 = ν R N ( I μ | v n | 1 + μ N ) | v n | 1 + μ N d x .
Recalling (12), we see that
Λ = 0 or Λ ν N μ ( λ ¯ S μ ) N + μ μ .
If Λ = 0 , then u n u ¯ in H r a d s 2 ( R N ) , and we end the proof. If Λ ν N μ ( λ ¯ S μ ) N + μ μ , by (48)–(50), we can observe that
J ν , γ ( u ¯ ) > lim n J ν , γ ( u n ) = σ ( c ) > 0 .
Together with (48)–(50) and (52), recalling that λ ¯ < 0 , we have that
σ ( c ) λ ¯ 2 c 2 = σ ( c ) λ ¯ 2 lim n u n L 2 ( R N ) 2 σ ( c ) λ ¯ 2 lim n v n L 2 ( R N ) 2 = J ν , γ ( u ¯ ) + lim n J ν , γ ( v n ) λ ¯ 2 v n L 2 ( R N ) 2 = J ν , γ ( u ¯ ) + lim n N ν 2 ( N + μ ) R N ( I μ | v n | 1 + μ N ) | v n | 1 + μ N d x λ ¯ 2 v n L 2 ( R N ) 2 = J ν , γ ( u ¯ ) + μ 2 ( N + μ ) lim n ν R N ( I μ | v n | 1 + μ N ) | v n | 1 + μ N d x J ν , γ ( u ¯ ) + μ 2 ( N + μ ) ν N μ ( λ ¯ S μ ) N + μ μ > μ 2 ( N + μ ) ν N μ ( λ ¯ S μ ) N + μ μ ,
which contradicts (46). Then, we complete the proof. □
Proof of Theorem 4.
By Lemma 22, { u n } P c , γ r a d is a Palais–Smale sequence for J ν , γ | M c at level σ ( c ) > 0 . Due to Lemma 17, we obtain that { u n } is bounded in H r a d s 2 ( R N ) . Then, from Lemma 23, there eixsts γ 0 > 0 such that for each γ > γ 0 , up to a subsequence, u n u ¯ strongly in H r a d s 2 ( R N ) . Lemma 18 indicates that u ¯ is a radial minimizer of J ν , γ on P c , γ , and it is a solution of (1) with λ ¯ < 0 . Taking into account Lemma 16, we derive that u ¯ is a ground state solution of J ν , γ on M c . The proof is completed. □

6. Conclusions

This paper has studied the existence and regularity of normalized ground state solutions for a mixed-order fractional Schrödinger equation involving combined local and nonlocal nonlinearities. The main results establish the key regularity properties of the solution, derive essential Pohozaev identities, and determine precise parameter regimes under which normalized solutions exist.
For L 2 -subcritical nonlinear interactions, we obtain the attainment of energy minimizers and characterize their geometric properties, showing radial symmetry and monotonicity while also obtaining sharp bounds on the associated Lagrange multiplier. The analysis reveals how competing effects between different fractional orders and nonlinear terms introduce delicate analytical challenges, particularly in maintaining coercivity and compactness under critical scaling conditions.
Furthermore, we identify a L 2 -critical exponent threshold beyond which no constrained critical points exist, demonstrating the structural limitations imposed by the interplay of nonlocal diffusion and Hartree-type interactions. In the L 2 -supercritical case, a refined small- L 2 -constraint guarantees the existence of ground states, provided the local nonlinearity dominates in a controlled manner.
These results extend the understanding of constrained variational problems with mixed nonlinearities, offering new insights into the role of mixed-order fractional operators and nonlocal nonlinearities in the existence of solitary waves. Future directions may include studying multi-peak solutions, or systems with competing fractional orders in more general domains.

Author Contributions

Conceptualization, H.C. and J.Y.; writing—original draft preparation, J.Y.; writing—review and editing, H.C. All authors have read and agreed to the published version of the manuscript.

Funding

J. Yang is supported by the Natural Science Foundation of Hunan Province of China (2023JJ30482), the Research Foundation of Education Bureau of Hunan Province (22A0540), and the Huaihua University Double First-Class Initiative Applied Characteristic Discipline of Control Science and Engineering.

Data Availability Statement

My manuscript has no associated data.

Conflicts of Interest

On behalf of all authors, the corresponding author states that there are no conflicts of interest.

References

  1. Chergui, L.; Gou, T.; Hajaiej, H. Existence and dynamics of normalized solutions to nonlinear Schrödinger equations with mixed fractional Laplacians. Calc. Var. Partial. Differ. 2023, 62, 208. [Google Scholar] [CrossRef]
  2. Chergui, L. On blow up solutions for the mixed fractional Schrödinger equation of Choquard type. Nonlinear Anal. Theory 2022, 224, 113105. [Google Scholar] [CrossRef]
  3. Chen, H.; Bhakta, M.; Hajaiej, H. On the bounds of the sum of eigenvalues for a Dirichlet problem involving mixed fractional Laplacians. J. Differ. Equ. 2022, 317, 1–31. [Google Scholar] [CrossRef]
  4. Luo, T.; Hajaiej, H. Normalized solutions for a class of scalar field equations involving mixed fractional Laplacians. Adv. Nonlinear Stud. 2022, 22, 228–247. [Google Scholar] [CrossRef]
  5. Bellazzini, J.; Jeanjean, L.; Luo, T. Existence and instability of standing waves with prescribed norm for a class of Schrödinger-Poisson equations. Proc. Lond. Math. Soc. 2013, 107, 303–339. [Google Scholar] [CrossRef]
  6. Jeanjean, L.; Luo, T.; Wang, Z.Q. Multiple normalized solutions for quasi-linear Schrödinger equations. J. Differ. Equ. 2015, 259, 3894–3928. [Google Scholar] [CrossRef]
  7. Liu, Z.; Squassina, M.; Zhang, J. Ground states for fractional Kirchhoff equations with critical nonlinearity in lowdimension. Nonlinear Differ. Equ. Appl. 2017, 24, 50. [Google Scholar] [CrossRef]
  8. Liu, Z.; Rădulescu, V.; Yuan, Z. Concentration of solutions for fractional Kirchhoff equations with discontinuous reaction. Z. Angew. Math. Phys. 2022, 73, 211. [Google Scholar] [CrossRef]
  9. Liu, Z.; Luo, H.; Zhang, J. Existence and Multiplicity of Bound State Solutions to a Kirchhoff Type Equation with a General Nonlinearity. J. Geom. Anal. 2022, 32, 125. [Google Scholar] [CrossRef]
  10. Liu, S.L.; Chen, H.B. Fractional Kirchhoff-type equation with singular potential and critical exponent. J. Math. Phys. 2021, 62, 111505. [Google Scholar] [CrossRef]
  11. Liu, S.L.; Yang, J.; Su, Y. Regularity for critical fractional Choquard equation with singular potential and its applications. Adv. Nonlinear Anal. 2024, 13, 20240001. [Google Scholar] [CrossRef]
  12. Su, Y.; Liu, Z. Semiclassical states to nonlinear Choquard equation with critical growth. Isr. J. Math. 2023, 255, 729–762. [Google Scholar] [CrossRef]
  13. Teng, K.M.; Cheng, Y.Q. Multiplicity and concentration of nontrivial solutions for fractional Schrödinger–Poisson system involving critical growth. Nonlinear Anal. 2021, 202, 112144. [Google Scholar] [CrossRef]
  14. Yao, S.; Chen, H.; Rădulescu, V.; Sun, J. Normalized solutions for lower critical Choquard equations with critical Sobolev perturbations. SIAM J. Math. Anal. 2022, 54, 3696–3723. [Google Scholar] [CrossRef]
  15. Soave, N. Normalized ground states for the NLS equation with combined nonlinearities. J. Differ. Equ. 2020, 269, 6941–6987. [Google Scholar] [CrossRef]
  16. Soave, N. Normalized ground states for the NLS equation with combined nonlinearities: The Sobolev critical case. J. Funct. Anal. 2020, 279, 108610. [Google Scholar] [CrossRef]
  17. Cingolani, S.; Jeanjean, L. Stationary waves with prescribed L2 -norm for the planar schrödinger-poisson system. SIAM J. Math. Anal. 2019, 51, 3533–3568. [Google Scholar] [CrossRef]
  18. Yang, T. Normalized solutions for the fractional Schrödinger equation with a focusing nonlocal L2-critical or L2-supercritical perturbation. J. Math. Phys. 2020, 61, 051505. [Google Scholar] [CrossRef]
  19. Du, M.; Tian, L.X.; Wang, J.; Zhang, F.B. Existence of normalized solutions for nonlinear fractional Schrödinger equations with trapping potentials. Proc. R. Soc. Edinb. Sect. A Math. Phys. Sci. 2019, 149, 617–653. [Google Scholar] [CrossRef]
  20. Li, G.; Luo, X.; Yang, T. Normalized solutions for the fractional Schrödinger equation with a focusing nonlocal perturbation. Math. Methods Appl. Sci. 2021, 44, 10331–10360. [Google Scholar] [CrossRef]
  21. Di Nezza, E.; Palatucci, G.; Valdinoci, E. Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 2012, 136, 521–573. [Google Scholar] [CrossRef]
  22. Lieb, E.; Loss, M. Analysis, 2nd ed.; American Mathematical Society: Providence, RI, USA, 2001. [Google Scholar]
  23. Moroz, V.; Van Schaftingen, J. Groundstates of nonlinear Choquard equations: Existence, qualitative properties and decay asymptotics. J. Funct. Anal. 2013, 265, 153–184. [Google Scholar] [CrossRef]
  24. Yu, S.; Tang, C.; Zhang, Z. Normalized ground states for the lower critical Fractional choquard equation with a focusing Local perturbation. Discret. Contin. Dyn. Syst. Ser. S 2023, 16, 3369–3393. [Google Scholar] [CrossRef]
  25. Bhimani, D.; Hajaiej, H.; Haque, S.; Luo, T. A sharp Gagliardo-Nirenberg inequality and its application to fractional problems with inhomogeneous nonlinearity. Evol. Equ. Control Theory 2023, 12, 262–390. [Google Scholar] [CrossRef]
  26. Park, Y. Fractional Polya-Szegö inequality. J. Chungcheong Math. Soc. 2011, 42, 267–271. [Google Scholar]
  27. Servadei, R.; Valdinoci, E. Variational methods for non-local operators of elliptic type. Discret. Contin. Dyn. Syst. 2013, 33, 2105–2137. [Google Scholar] [CrossRef]
  28. Ghoussoub, N. Duality and Perturbation Methods in Critical Point Theory; Cambridge University Press: Cambridge, MA, USA, 1993. [Google Scholar]
  29. Jeanjean, L. Existence of solutions with prescribed norm for semilinear elliptic equations. Nonlinear Anal. 1997, 28, 1633–1659. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Yang, J.; Chen, H. Normalized Ground States for Mixed Fractional Schrödinger Equations with Combined Local and Nonlocal Nonlinearities. Fractal Fract. 2025, 9, 469. https://doi.org/10.3390/fractalfract9070469

AMA Style

Yang J, Chen H. Normalized Ground States for Mixed Fractional Schrödinger Equations with Combined Local and Nonlocal Nonlinearities. Fractal and Fractional. 2025; 9(7):469. https://doi.org/10.3390/fractalfract9070469

Chicago/Turabian Style

Yang, Jie, and Haibo Chen. 2025. "Normalized Ground States for Mixed Fractional Schrödinger Equations with Combined Local and Nonlocal Nonlinearities" Fractal and Fractional 9, no. 7: 469. https://doi.org/10.3390/fractalfract9070469

APA Style

Yang, J., & Chen, H. (2025). Normalized Ground States for Mixed Fractional Schrödinger Equations with Combined Local and Nonlocal Nonlinearities. Fractal and Fractional, 9(7), 469. https://doi.org/10.3390/fractalfract9070469

Article Metrics

Back to TopTop