Normalized grounded states for a coupled nonlinear schr\"{o}dinger system on $\mathbb{R}^3$

Chengcheng Wu

arxiv: 2404.13908 · v5 · submitted 2024-04-22 · 🧮 math.AP

Normalized grounded states for a coupled nonlinear schr\"{o}dinger system on mathbb{R}³

Chengcheng Wu This is my paper

Pith reviewed 2026-05-24 01:45 UTC · model grok-4.3

classification 🧮 math.AP

keywords coupled nonlinear Schrödinger equationsnormalized ground statesmass super-criticalorbital instabilityradial symmetryvariational methodsstanding waves

0 comments

The pith

The coupled nonlinear Schrödinger system admits positive radially symmetric normalized ground states for sufficiently large coupling β.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes existence of normalized ground states for a two-component system of coupled Schrödinger equations on R^3 in the mass super-critical regime where the exponents satisfy 10/3 < p1, p2, r1 + r2 < 6. It proves that when the coupling strength β exceeds a threshold β̃, the energy functional attains its minimum on the product of two fixed-L2-norm spheres, and the minimizers are positive and radially symmetric. The same conclusion extends to systems with any finite number of components. These ground states correspond to standing waves whose orbital instability is also shown.

Core claim

There exists β̃ ≥ 0 such that for β > β̃ the system admits positive, radially symmetric, normalized ground state solutions. This result generalizes to systems with an arbitrary number of components, and the corresponding standing wave is orbitally unstable.

What carries the argument

Minimization of the energy functional (including the β cross-term) over the product manifold of L2 spheres S_a1 × S_a2 in H^1(R^3).

If this is right

Positive radially symmetric minimizers exist for all β larger than the threshold.
The existence statement holds for systems with any finite number of components.
The associated standing waves are orbitally unstable.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Below the threshold the infimum may fail to be attained, producing non-existence of ground states.
Orbital instability of the standing waves implies that small perturbations in the time-dependent system can cause blow-up or dispersion.

Load-bearing premise

The energy functional attains its infimum on the product of L2 spheres once β is large enough.

What would settle it

A minimizing sequence for large β that fails to converge strongly in H^1, for instance by exhibiting vanishing or dichotomy.

read the original abstract

We investigate the existence of normalized ground states to the system of coupled Schr\"odinger equations: \begin{equation}\label{eq:0.1} \begin{cases} -\Delta u_1 + \lambda_1 u_1 = \mu_1 |u_1|^{p_1-2}u_1 + \beta r_1|u_1|^{r_1-2}u_1|u_2|^{r_2} & \text{ in } \mathbb{R}^{3}, -\Delta u_2 + \lambda_2 u_2 = \mu_2|u_2|^{p_2-2}u_2 + \beta r_2|u_1|^{r_1}|u_2|^{r_2-2}u_2 & \text{ in } \mathbb{R}^3, \end{cases} \end{equation} subject to the constraints $\mathcal{S}_{a_1} \times \mathcal{S}_{a_2} = \{(u_1 \in H^1(\mathbb{R}^3))|\int_{\mathbb{R}^3} u_1^2 dx = a_1^2\} \times \{(u_2 \in H^1(\mathbb{R}^3))|\int_{\mathbb{R}^3} u_2^2 dx = a_2^2\}$, where $\mu_1, \mu_2 > 0$, $r_1, r_2 > 1$, and $\beta \geq 0$. Our focus is on the coupled mass super-critical case, specifically, $$\frac{10}{3} < p_1, p_2, r_1 + r_2 < 2^* = 6.$$ We demonstrate that there exists a $\tilde{\beta} \geq 0$ such that equation (\ref{eq:0.1}) admits positive, radially symmetric, normalized ground state solutions when $\beta > \tilde{\beta}$. Furthermore, this result can be generalized to systems with an arbitrary number of components, and the corresponding standing wave is orbitally unstable.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Abstract claims normalized ground states exist for large β in mass-supercritical coupled NLS but supplies no proof details on compactness.

read the letter

The core claim here is existence of positive radial normalized ground states for the two-component system (and its multi-component extension) when the coupling parameter β exceeds some threshold, plus orbital instability of the associated standing waves, all in the range 10/3 < p1,p2,r1+r2 <6. That regime is the part that looks new relative to earlier subcritical work on similar systems. The multi-component generalization is a straightforward but useful extension if it holds. The paper does at least identify the right variational setting on the product of L2 spheres and flags the instability question, which keeps the result connected to the broader literature on normalized solutions. The obvious soft spot is the missing justification for attainment of the infimum. In the supercritical range the uncoupled energy is unbounded below under mass-preserving rescalings, so the cross term must both restore a lower bound and rule out loss of compactness. The abstract gives no indication of the method—whether a direct concentration-compactness argument works, whether profile decomposition is needed, or how radial symmetry produces strong convergence—so the step from “β large” to “minimizer exists” cannot be checked. This is aimed at people who already work on variational methods for coupled NLS systems and normalized solutions. A reader in that niche would want to see the full proof to decide whether the compactness issue is handled cleanly. I would send the paper to peer review rather than desk-reject it; the claim is specific enough that referees can test the technical steps directly.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to establish the existence of positive, radially symmetric normalized ground state solutions to the coupled nonlinear Schrödinger system (eq. 0.1) on R^3 in the mass super-critical regime 10/3 < p1, p2, r1+r2 < 6, for all coupling parameters β larger than some threshold β̃ ≥ 0. The result is asserted to generalize to systems with an arbitrary number of components, and the associated standing waves are claimed to be orbitally unstable.

Significance. If the existence result holds, it would address a technically challenging regime for normalized ground states of coupled systems where the energy is unbounded below under mass-preserving scalings, extending single-equation or subcritical results. The multi-component generalization and orbital instability statement would add further value, but the abstract supplies no indication of the methods (e.g., concentration-compactness or profile decomposition) used to obtain the minimizers.

major comments (2)

[Abstract] Abstract: The central existence claim for β > β̃ is stated without any derivation steps, error estimates, or verification that the claimed minimizers on S_a1 × S_a2 satisfy the Euler-Lagrange system (eq. 0.1). In the given mass super-critical range the single-component energy is unbounded below, so the step converting a large-β lower bound into an attained minimizer cannot be assessed.
[Abstract] Abstract: No indication is given whether a direct concentration-compactness argument closes, whether a profile decomposition is required to exclude dichotomy, or how radial symmetry is used to obtain strong convergence. The Palais-Smale condition is not automatic in this regime, rendering the attainment of the infimum unverified from the provided text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and for pointing out ways to strengthen the abstract. We will revise the abstract to provide additional information on the proof strategy.

read point-by-point responses

Referee: [Abstract] Abstract: The central existence claim for β > β̃ is stated without any derivation steps, error estimates, or verification that the claimed minimizers on S_a1 × S_a2 satisfy the Euler-Lagrange system (eq. 0.1). In the given mass super-critical range the single-component energy is unbounded below, so the step converting a large-β lower bound into an attained minimizer cannot be assessed.

Authors: The abstract is a concise summary of the main theorem. The full manuscript contains the complete variational argument establishing the lower bound for large β, the attainment of the infimum, and verification that the resulting minimizers solve the system. We will revise the abstract to include a short outline of these steps. revision: yes
Referee: [Abstract] Abstract: No indication is given whether a direct concentration-compactness argument closes, whether a profile decomposition is required to exclude dichotomy, or how radial symmetry is used to obtain strong convergence. The Palais-Smale condition is not automatic in this regime, rendering the attainment of the infimum unverified from the provided text.

Authors: We agree that the abstract supplies no information on the technical tools. The manuscript develops the necessary compactness arguments to obtain the minimizers. We will update the abstract to indicate the overall strategy employed to verify attainment. revision: yes

Circularity Check

0 steps flagged

No circularity detected; existence claim independent of inputs

full rationale

The abstract states an existence theorem: for the given coupled system in the mass-supercritical range, there exists β̃ ≥ 0 such that positive radially symmetric normalized ground states exist for all β > β̃ (and generalizes to N components). No fitted parameters, no predictions of quantities from their own fits, no self-citations, and no ansatz or uniqueness theorem imported from prior work appear. The claim is a standard variational minimization result on the product of L² spheres and does not reduce by construction to its own inputs or definitions. The derivation chain visible in the abstract is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only; the existence claim rests on standard Sobolev embeddings, radial symmetry reduction, and variational minimization on L2 spheres, none of which are derived in the provided text.

axioms (2)

standard math Standard Sobolev embedding H^1(R^3) hookrightarrow L^q for 2<q<6 holds and is used to control the energy functional
Implicit in any H^1 variational treatment of NLS on R^3
domain assumption The product manifold S_a1 x S_a2 is a valid constraint set for the minimization problem
Stated explicitly in the abstract

pith-pipeline@v0.9.0 · 5908 in / 1208 out tokens · 39174 ms · 2026-05-24T01:45:28.942492+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We demonstrate that there exists a β̃ ≥ 0 such that equation admits positive, radially symmetric, normalized ground state solutions when β > β̃ ... in R^3 ... 10/3 < p1,p2,r1+r2 < 6
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the variational problem on the product of L2 spheres admits a minimizer once β is large

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.