Nonlinear Bound States with Prescribed Angular Momentum in the Mass Supercritical Regime

Basic Information

• Paper ID: 2502.19134
• Title: Nonlinear bound states with prescribed angular momentum in the mass supercritical regime
• Authors: Tianxiang Gou (Xi'an Jiaotong University), Xiaoan Shen (University of Illinois Chicago)
• Classification: math.AP (Mathematical Analysis)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2502.19134

Abstract

This paper investigates the existence, orbital stability/instability, and regularity of bound state solutions to the nonlinear Schrödinger equation with superquadratic confining potential in two and three dimensions in the mass supercritical regime. These solutions are given by time-dependent rotations of non-radially symmetric spatial profiles, corresponding to critical points of the energy functional under dual constraints of mass and angular momentum. The study presents a new perspective on rotating Bose-Einstein condensates within the Gross-Pitaevskii theoretical framework. Two non-radially symmetric solutions are shown to exist, one being a local minimum point and the other a mountain pass critical point. Furthermore, conditions guaranteeing regularity of the local minimum point are derived, its orbital stability is established, and the strong instability of the mountain pass solution is proven.

Research Background and Motivation

Problem Background

This paper focuses on the nonlinear Schrödinger equation (NLS):

i∂_t u = Hu - λ|u|^{2σ}u

where H = -½Δ + V(x). Such equations have important applications in physical fields including laser propagation and Bose-Einstein condensation.

Core Problem

Traditional research considering only mass constraint as a single restriction encounters the following issues:

1. Unable to determine the magnitude of vorticity carried by the solution
2. Cannot exclude the possibility of radially symmetric solutions
3. The value of mean angular momentum L(u) = ⟨u, L_z u⟩_2 remains unknown

Innovation Motivation

This paper proposes investigating the problem under dual constraints:

• Mass constraint: ∫|u|²dx = m
• Angular momentum constraint: ∫L_z u·u dx = l

This ensures the non-radial symmetry of solutions and provides a new perspective for studying rotating Bose-Einstein condensates.

Challenges of Mass Supercriticality

When σ > 2/d, the energy functional is unbounded below on the constraint set, rendering traditional global minimization methods ineffective. Local minimum points and mountain pass critical points must be sought instead.

Core Contributions

1. Existence Theory: Proves the existence of two non-radially symmetric solutions to the dual constraint problem in the mass supercritical regime
2. Stability Analysis: Establishes orbital stability of local minimum points and strong instability of mountain pass solutions
3. Regularity Conditions: Derives sufficient conditions guaranteeing regularity of minimum points
4. Methodological Innovation: Develops new techniques for handling the mountain pass lemma under dual constraints

Detailed Methodology

Problem Formulation

Seeking standing wave solutions to the nonlinear Schrödinger equation:

Hφ - ωφ - ΩL_z φ = λ|φ|^{2σ}φ

satisfying dual constraints:

• ∫|u|²dx = m > 0
• ∫L_z u·u dx = l > 0

Core Methodological Framework

1. Local Minimization Method

Define constraint ball: B(r) = {u ∈ S(m,l) : ||u||² ≤ r} Construct local minimization problem:

e(m,l) = inf_{u∈B(r)} E(u)

Key Lemma 2.1: There exists m₀ > 0 such that when 0 < m < m₀:

inf_{u∈B(r/16)} E(u) < inf_{u∈B(r)\B(r/2)} E(u)

2. Construction of Mountain Pass Solutions

Utilize the Pohožaev functional:

P(u) = ∫[|∇u|² - ⟨∇V(x),x⟩|u|² - λσd/(σ+1)|u|^{2σ+2}]dx

Mountain pass energy level:

γ(m,l) = inf_{g∈Γ(m,l)} max_{0≤τ≤1} E(g(τ))

3. Auxiliary Functional Technique

Introduce F(u,s) = E(su), where su = e^{ds/2}u(e^s·) Analyze properties of F on S(m,l)×ℝ to find Palais-Smale sequences.

Technical Innovations

1. Compactness under Dual Constraints: Utilize growth conditions of superquadratic potential to ensure compactness of minimizing sequences
2. Mountain Pass Structure Analysis: Establish mountain pass geometric structure under dual constraints
3. Pohožaev Manifold Technique: Find critical point sequences near relevant Pohožaev manifolds

Main Theoretical Results

Theorem 1.1 (Existence)

Let V satisfy Assumptions 1.1, with 2/d < σ < 2/(d-2)₊. There exists m₀ > 0 such that for any 0 < m < m₀, equations (1.5) and (1.9) possess two solutions u_{m,l}, v_{m,l} ∈ S(m,l) satisfying:

• 0 < E(u_{m,l}) < E(v_{m,l})
• u_{m,l} is a local minimum point of E
• v_{m,l} is a mountain pass critical point of E

Theorem 1.2 (Orbital Stability)

Let B(m,l) denote the set of local minimum points obtained in Theorem 1.1. Then B(m,l) is orbitally stable.

Theorem 1.3 (Strong Instability)

Let v_{m,l} be the mountain pass solution. Then v_{m,l} is strongly unstable, meaning for any ε > 0, there exists initial value u₀ such that ||v_{m,l} - u₀||_{H¹} < ε, but the corresponding solution blows up in finite time.

Stability Analysis

Orbital Stability Mechanism

Utilize conservation of energy and constraints:

• Mass conservation: M(u(t)) = M(u₀)
• Energy conservation: E(u(t)) = E(u₀)
• Angular momentum conservation: L(u(t)) = L(u₀)

The geometric structure from Lemma 2.1 ensures solution orbits remain in compact sets.

Instability Mechanism

For mountain pass solutions, utilize:

1. Virial Identity:

d²/dt² M[u(t)] = 2∫|∇u|²dx - 2∫⟨∇V(x),x⟩|u|²dx - 2dσλ/(σ+1)∫|u|^{2σ+2}dx

2. Pohožaev Constraint: P(u) < 0 implies d²Mu(t)/dt² < -2δ, leading to solution blow-up.

Regularity Theory

Proposition 4.1 (Regularity Conditions)

Let u ∈ S(m,l) be a minimum point:

1. If l/m ∉ ℤ, then u is regular
2. If l/m = n ∈ ℤ and u is not an eigenfunction of L_z, then u is regular
3. If u is an eigenfunction of L_z at eigenvalue n, then u satisfies:

-½Δu + V(x)u - ωu = λ|u|^{2σ}u

Related Work

This paper extends results of Nenciu-Shen-Sparber 17 from the mass subcritical regime. Main distinctions:

1. Criticality: Extension from subcritical to supercritical
2. Methods: Transition from global minimization to local minimization and mountain pass methods
3. Stability: Provides complete stability/instability analysis

Conclusions and Discussion

Main Conclusions

1. Two classes of solutions exist for the dual constraint problem in the mass supercritical regime
2. Local minimum points possess orbital stability
3. Mountain pass solutions exhibit strong instability
4. Regularity criteria for solutions are established

Limitations

1. Requires sufficiently small mass m
2. Demands strict growth conditions on the potential function
3. Regularity of mountain pass solutions remains an open problem

Future Directions

1. Existence for large mass regime
2. More general potential functions
3. Extensions to higher dimensions
4. Numerical verification and physical applications

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First to address dual constraint problems in the mass supercritical regime
2. Rigorous Methods: Skillfully combines variational methods and critical point theory
3. Complete Results: Encompasses complete theory of existence, stability, and regularity
4. Physical Significance: Provides mathematical foundation for rotating BEC

Weaknesses

1. Technical Limitations: Small mass assumption restricts generality of results
2. Potential Function Conditions: Superquadratic growth condition is quite restrictive
3. Dimensional Restriction: Only considers 2D and 3D cases

Impact

This paper holds significant theoretical value in nonlinear analysis, providing new mathematical tools and profound insights for rotating condensate problems in mathematical physics, and is expected to advance further development in related fields.

Applicable Scenarios

1. Mathematical modeling of rotating Bose-Einstein condensates
2. Study of vortex solitons in nonlinear optics
3. Theoretical analysis of constrained variational problems
4. Applications of critical point theory

References

This paper primarily builds upon prior work by Nenciu-Shen-Sparber 17, employs classical mountain pass techniques from Jeanjean 15, and utilizes foundational theory on nonlinear Schrödinger equations from Cazenave 9,10 and others.