Pith. sign in

REVIEW 2 major objections 5 minor 17 references

Energy local minimizers for the nonlinear Schr\"{o}dinger equation on product spaces

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper establishes a two-threshold picture for the mass-supercritical NLS energy on $\mathbb{R}^N \times M^k$: local minimizers of prescribed mass exist, are flat along $M^k$ for very small mass, and become $y$-dependent once the mass…

desk verdict Solid, important paper on local minimizers for mass-supercritical NLS on product spaces; the proof is convincing but has two documentation gaps—the rigidity step via [16] and a CAS check—that a referee should ask to close. read the letter →

arxiv 2506.22371 v1 pith:ZYOSQ7OM submitted 2025-06-27 math.AP

Dario Pierotti , Gianmaria Verzini , Junwei Yu This is my paper · ORCID
classification math.AP MSC 58J0535Q5558J70
keywords NormalizedsolutionsellipticPDEsonmanifoldsconstrainedcriticalpointswaveguidemass-supercriticalNLSlocalminimizersGagliardo-Nirenberginequality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the mass-supercritical Schrödinger energy on a product space $\mathbb{R}^N \times M^k$, where $(M^k,g)$ is a compact Riemannian manifold, admits local minimizers of prescribed $L^2$-norm even though the energy is unbounded below on the whole mass sphere. The regime treated is $4/(N+k) \le \alpha < \min\{4/N,\, 4/(N+k-2)\}$, complementing an earlier mass-subcritical global-minimization result. The authors show there are two thresholds: below a triviality threshold every local minimizer is constant along $M^k$ and coincides with the Euclidean ground state, while above it, when the thresholds separate, every local minimizer has nontrivial dependence on the compact direction and the constrained infimum lies strictly below the Euclidean one. This provides a variational characterization of the family expected to be stable in the mass-supercritical range, where no global minimizer exists.

What carries the argument

The engine is a rescaling that fixes the $L^2$-norm: writing $u = \rho^{4/(4-\alpha N)} v(\rho^{2\alpha/(4-\alpha N)} x, y)$, the energy becomes, up to a positive factor, $E_\lambda(v) = \int_{M^k}\int_{\mathbb{R}^N} \left(\tfrac12|\nabla_x v|^2 + \tfrac{\lambda}{2}|\nabla_y v|^2 - \tfrac{1}{2+\alpha}|v|^{2+\alpha}\right)$, with $\lambda = \rho^{-4\alpha/(4-\alpha N)}$, and the gradient constraint becomes $\tfrac1\lambda\|\nabla_x v\|_2^2 + \|\nabla_y v\|_2^2 < t_*$. Thus larger $\lambda$, corresponding to smaller mass, penalizes dependence on the compact factor. The paper pairs this rescaling with the Gagliardo-Nirenberg inequality on $\mathbb{R}^N \times M^k$, with $\theta(\alpha) = (N+k)\alpha/2$, to locate the existence threshold $\rho^*_{ex}$, and with the first nonzero eigenvalue $\mu_1$ of $-\Delta_y$ on $M^k$ to bound $\rho^*_{tr}$ from above through the second variation of $E$ at the Euclidean ground state $Z_\rho$ along the direction $\varphi_1(y)Z_\rho(x)$.

What would settle it

On $\mathbb{R} \times \mathbb{S}^3$ with the round metric and an exponent just below $2$, the paper's condition (7.3) fails; running its computer-algebra check at higher precision, or numerically minimizing the rescaled functional $E_\lambda$ for a sequence $\lambda_j \to \infty$ and observing a limit with nonzero $\nabla_y$ component, would settle whether $\rho^*_{tr}>0$ holds in that case.

Watch

Extended reading notes

Core claim

The central claim is that the constrained local problem $m_\rho = \inf\{E(u): u \in S_\rho,\, \|\nabla_{x,y}u\|_2^2 < t_* \rho^2\}$ is well posed in the mass-supercritical range $4/(N+k) \le \alpha < \min\{4/N,\, 4/(N+k-2)\}$. Theorem 1.2 asserts that for $0<\rho<\rho^*_{ex}$ the infimum is achieved by a solution of the normalized equation $-\Delta_x u - \Delta_y u + \omega u = u|u|^\alpha$ with $\|u\|_2 = \rho$, that for $0<\rho<\rho^*_{tr}$ every minimizer satisfies $\nabla_y u \equiv 0$ and equals, up to symmetries, the Euclidean ground state, so that $m_\rho = I_\rho$, and that if $\rho^*_{tr} < \rho^*_{ex}$ then for intermediate masses every minimizer is nontrivial in $y$ and $m_\rho < I_\rho$. The paper also proves that the nontrivial regime genuinely occurs: for any compact manifold of dimension $k\ge 2$ one can choose a metric making the thresholds differ, and on $\mathbb{R} \times \mathbb{S}^k$ with the round metric this happens for every admissible exponent when $k\ge 4$ and in a neighbourhood of the mass-critical endpoint when $k=3$.

Load-bearing premise

The flatness result for very small mass depends on transferring a convergence lemma from the global-minimizer setting to the constrained local problem with moving gradient bound, and on the uniqueness up to translations and phase shifts of the Euclidean ground state for every exponent in the range; the paper does not prove the needed nondegeneracy or the transfer.

Editorial extensions

If this is right

  • For every $0<\rho<\rho^*_{ex}$ the normalized equation has a solution realizing $m_\rho$, giving a variational description of the mass-supercritical ground-state family even though $E$ is unbounded below on $S_\rho$.
  • For $0<\rho<\rho^*_{tr}$ every local minimizer is constant along $M^k$ and coincides with the Euclidean ground state up to symmetries, so the compact manifold is invisible to the minimizers at small mass.
  • If the thresholds separate, then in the intermediate interval every minimizer has $\nabla_y u \not\equiv 0$ and $m_\rho < I_\rho$; the presence of the compact factor strictly lowers the minimal energy.
  • For any compact manifold of dimension $k\ge 2$ there is a choice of metric making the nontrivial regime occur, and on $\mathbb{R} \times \mathbb{S}^k$ with the round metric it occurs for all admissible exponents when $k\ge 4$ and near the mass-critical endpoint when $k=3$.
  • The local minimizers are the natural candidates for conditionally orbitally stable solitary waves of the evolution equation, as the paper notes following the stability analysis of the mass-subcritical case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The unproved transfer of the convergence-to-$Z_1$ lemma is the main hidden step; if it fails for some $\alpha$, the small-mass flatness could fail even where existence holds, and the paper's own negative computer-algebra check for $k=3$, $\alpha$ large on $\mathbb{S}^3$ marks the spot to test.
  • The same constrained-infimum scheme should extend to the Sobolev-critical endpoint $\alpha = 4/(N+k-2)$, where the paper expects local minimizers below a threshold; a numerical search for admissible competitors there would show whether the mountain-pass structure survives.
  • The threshold $\rho^*_{tr}$ is likely a bifurcation point at which flat and $y$-dependent minimizers exchange stability; numerical continuation in $\rho$ for a fixed manifold and exponent would map the actual bifurcation diagram and test the coexistence behaviour cited in the paper's Remark 1.6.
  • Since the criterion (5.4) is only sufficient, using higher eigenvalues $\mu_k$ or anisotropic Gagliardo-Nirenberg bounds should widen the window $(\rho^*_{tr}, \rho^*_{ex})$, as the paper itself hints in Remark 3.6.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. This paper studies the mass-supercritical but Sobolev-subcritical NLS energy E(u)=1/2||∇u||_2^2 - 1/(2+α)||u||_{2+α}^{2+α} on R^N × M^k, with prescribed L^2 mass ρ, restricted to the sublevel set ||∇u||_2^2 < t_* ρ^2. The main result, Theorem 1.2, asserts existence of local minimizers for small ρ (part 1), their y-independence and coincidence with the Euclidean ground states for ρ < ρ*_tr (part 2), and nontrivial y-dependence with m_ρ < I_ρ for intermediate ρ when ρ*_tr < ρ*_ex (part 3). The proof uses Gagliardo-Nirenberg inequalities, a mountain-pass type geometry for existence, a scaling λ = ρ^{-4α/(4-αN)} that penalizes ∇_y, and a threshold dichotomy. Propositions 1.12 and 1.14 provide sufficient conditions for ρ*_tr < ρ*_ex via small first eigenvalue of -Δ_y and explicit computations on spheres.

Significance. The paper addresses an open question from [16] and gives a natural local-minimizer analogue of the mass-subcritical ground-state threshold. The explicit formulas for ρ*_ex, the upper bound for ρ*_tr, the metric-deformation result, and the sphere examples are concrete and useful, and the central existence mechanism and scaling identities appear sound. However, the proof of the key rigidity step ρ*_tr > 0 is delegated to [16, Lemma 3.6] without a statement or verification of its hypotheses, and the beta-function computation in Section 7 contains an algebraic error. Both points need to be fixed before the results can be considered established.

major comments (2)
  1. [Section 4, after Lemma 4.4 (Eqs. (4.7)-(4.8))] The step that converts Lemma 4.4 into the conclusion ρ*_tr > 0 is not proved in the manuscript. After showing m_λj → I_1 and λ_j ||∇_y u_λj||^2 → 0, the text asserts that u_λj → Z_1 strongly and then invokes [16, Lemma 3.6] to conclude ∇_y u_λj = 0 for large j, saying that the only assumption is Sobolev subcriticality. This is load-bearing for Theorem 1.2(2)-(3), but two hypotheses are not verified. First, the admissible set (4.4) carries the λ-dependent moving bound λ^{-1}||∇_x u||^2 + ||∇_y u||^2 < t_*, whereas [16, Lemma 3.6] is stated for global minimizers of the unconstrained problem in the mass-subcritical regime; the estimates (4.7)-(4.8) do not by themselves provide a uniform H^1-neighbourhood of the orbit of Z_1 that is compatible with this moving constraint. Second, the identification of u_λj with Z_1 up to symmetries requires a local uniqueness or nondegeneracy statement for the Euclidean ground state of (2.3); Section 2 only records uniqueness of the positive solution, not nondegeneracy. The sentence 'the main assumption is Sobolev subcritical' does not replace a statement of the lemma and a check of its hypotheses. Until this step is supplied, ρ*_tr > 0 is not established.
  2. [Section 7, displayed identity before (7.3)] The displayed identity (2/α) B(1/2,2/α) B(1/2,(k+1)/2) = [Γ(2/α+1)/Γ(2/α+1/2)] [Γ((k+1)/2+1/2)/Γ((k+1)/2)] is not correct with the Beta function definition given in that section. The left-hand side equals π [Γ(2/α+1)/Γ(2/α+1/2)] [Γ((k+1)/2)/Γ(k/2+1)], so the subsequent bound T_1 ≤ ((k+1)/2)^{2/(k-1)} does not follow from the displayed computation. Since the proof of Proposition 1.14 for k ≥ 6 relies on this bound, the computation must be corrected or replaced; if the bound remains true it needs a different argument.
minor comments (5)
  1. [Section 5, Proposition 5.1] The second variation used is the unconstrained one; for a path in S_ρ one obtains E''(Z_ρ)[h,h] - ωρ^2 because h is tangent and the projection contributes -ωρ^2. The condition E'' < 0 is still sufficient since ω > 0 for Z_ρ, but this should be stated explicitly.
  2. [Section 7, proof of Proposition 1.14] The verification for k = 4,5 via Computer Algebra System is not reproducible; please provide the script or list the inequalities checked.
  3. [Section 4, after Lemma 4.4] The text says '∇ u_λj ≡ 0 for j sufficiently large', but the preceding argument only yields convergence along a subsequence; clarify that a subsequence argument suffices for the contradiction.
  4. [Section 3, Lemma 3.2] In the mass-critical case α = 4/(N+k), t* is chosen 'suitably large' without specifying the relation between t* and ε; please spell out the choice.
  5. [Lemma 4.4] The embedding statement '... yields, for any k ≥ 1' after writing k ≥ 3 mixes cases; treat k = 1,2 separately.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the thresholds and minimizers are constructed from the Gagliardo–Nirenberg inequality and external compactness/uniqueness results, not from the conclusions they are used to prove.

full rationale

The derivation chain in this paper is self-contained in the relevant sense. Theorem 1.2(1) is obtained by combining the Gagliardo–Nirenberg inequality (2.1) with a mountain-pass/compactness argument that explicitly extends the external Appendix of [16]; the threshold rho*_ex is constructed from the explicit constants in (2.1) (Remark 3.6), and no datum is fitted to produce the conclusion. Theorem 1.2(2)–(3) is organized around the threshold rho*_tr = inf{rho : m_rho < I_rho} (Corollary 4.2). The equivalence between nontrivial dependence on y and the inequality m_rho < I_rho is proved by the monotonicity argument of Lemma 4.1, not assumed. The positivity of rho*_tr is proved by a rescaling argument (Section 4) and by strong convergence of the rescaled minimizers to the Euclidean ground state Z_1; the final identification step is quoted from [16, Lemma 3.6], an external result whose authors do not overlap with those of this paper. Whether that external lemma's hypotheses are fully verified for the lambda-dependent constraint (4.4) is a legitimate rigor/correctness question, but it is not an instance of circularity: the paper does not define Z_1, m_rho, or the thresholds in terms of the conclusion, and it does not rely on a self-citation to force the result. Citations of the authors' own earlier works ([11], [14], [17]) appear only in motivational Remarks 1.7 and 1.8, not in the proofs of Theorem 1.2 or the propositions. The explicit examples in Sections 6–7 are checked against external spectral and Sobolev-constant estimates (Lemma 6.1, [7, Thm. 7.7]) and explicit special-function computations; no fitted parameter is relabeled as a prediction. I therefore find no circular step.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No data-fitting parameters or invented entities appear. All constants (A,B,G,mu_1) are inputs from prior literature (Hebey, classical NLS ground states, spectral geometry). The proofs rely on standard inequalities and on [16]'s compactness framework.

assumptions (7)
  • standard math Gagliardo-Nirenberg inequality (2.1) on R^N x M^k with constants A,B.
    Invoked in Lemma 3.2 and throughout Section 3; cited from Hebey [7, Thm. 7.1], where A is explicit and B depends on the manifold metric.
  • standard math Existence, uniqueness up to translations and phase, and scaling formulas for the R^N ground state Z_rho for 2<alpha<4/N (Section 2, equations (2.3)-(2.7)).
    Used as competitor in Lemma 3.1, to define I_rho, and as the limit profile in Section 4; cited from [10], classical in NLS theory.
  • domain assumption Local minimizers can be taken real-valued and strictly positive using the diamagnetic inequality.
    Remark 1.5; standard for Schrodinger functionals, used to apply maximum-principle-type arguments.
  • standard math Poincare-Wirtinger inequality on (M^k,g) and Sobolev embedding H^1(M^k) into L^r for r=2+4alpha/(4-Nalpha).
    Used in Lemma 4.4 after (4.12); valid for compact manifolds and subcritical r under (1.10).
  • standard math Sobolev embedding H^1(Q_i x M^k) into L^(2+alpha) with constants independent of the unit cube Q_i.
    Used in the localized compactness argument (3.7)-(3.8); follows from translation invariance and bounded geometry of the product.
  • standard math For every compact M^k with k at least 2, there exists a metric g_epsilon with volume 1 and first nonzero eigenvalue mu_1 at most epsilon (Lemma 6.1).
    Cited from Colbois [4, Ex.15] or Chavel [2]; essential for Proposition 1.12.
  • standard math Explicit constants for R x S^k: A,B,mu_1 as in (7.2) and explicit G via beta functions.
    Used in Section 7; from Hebey [7, Thm. 7.7] and direct computation with Gamma functions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Energy local minimizers for the nonlinear Schr\"{o}dinger equation on product spaces." pith.science (2026). https://pith.science/paper/ZYOSQ7OM

@misc{pith2026250622371,
  author       = {Pith},
  title        = {Pith review of: Energy local minimizers for the nonlinear Schr\"odinger equation on product spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZYOSQ7OM}},
  note         = {Machine review of arXiv:2506.22371}
}
abstract

We investigate the existence of local minimizers with prescribed $L^2$-norm for the energy functional associated to the mass-supercritical nonlinear Schr\"{o}dinger equation on the product space $\mathbb{R}^N \times M^k$, where $(M^k,g)$ is a compact Riemannian manifold, thus complementing the study of the mass-subcritical case performed by Terracini, Tzvetkov and Visciglia in [\emph{Anal. PDE} 2014, arXiv:1205.0342]. First we prove that, for small $L^2$-mass, the problem admits local minimizers. Next, we show that when the $L^2$-norm is sufficiently small, the local minimizers are constants along $M^k$, and they coincide with those of the corresponding problem on $\mathbb{R}^N$. Finally, under certain conditions, we show that the local minimizers obtained above are nontrivial along $M^k$. The latter situation occurs, for instance, for every $M^k$ of dimension $k\ge 2$, with the choice of an appropriate metric $\hat g$, and in $\mathbb{R}\times\mathbb{S}^k$, $k\ge 3$, where $\mathbb{S}^k$ is endowed with the standard round metric.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages

  1. [16]

    Terracini, N

    S. Terracini, N. Tzvetkov, and N. Visciglia. The nonlinear Schr¨ odinger equation ground states on product spaces. Anal. PDE, 7(1):73–96, 2014

    work page 2014

  2. [1]

    Bellazzini, N

    J. Bellazzini, N. Boussa ¨ ıd, L. Jeanjean, and N. Visciglia. Existence and stability of standing waves for supercritical NLS with a partial confinement. Comm. Math. Phys. , 353(1):229– 251, 2017

    work page 2017

  3. [2]

    I. Chavel. Eigenvalues in Riemannian geometry , volume 115 of Pure and Applied Mathe- matics. Academic Press, Inc., Orlando, FL, 1984. Including a chapter by Burton Randol, With an appendix by Jozef Dodziuk

    work page 1984

  4. [3]

    Cirant, A

    M. Cirant, A. Cosenza, and G. Verzini. Ergodic mean field games: existence of local mini- mizers up to the Sobolev critical case. Calc. Var. Partial Differential Equations, 63(5):Paper No. 134, 23, 2024

    work page 2024

  5. [4]

    B. Colbois. The spectrum of the Laplacian: a geometric approach. In Geometric and computational spectral theory , volume 700 of Contemp. Math. , pages 1–40. Amer. Math. Soc., Providence, RI, 2017

    work page 2017

  6. [5]

    Non-uniqueness of normalized NLS ground states on polygons with homogeneous Neumann boundary conditions

    S. Dovetta, E. Serra, and L. Tentarelli. Non-uniqueness of normalized NLS ground states on bounded domains with homogeneous Neumann boundary conditions, 2025. arXiv:2503.15142

    work page Pith review arXiv 2025

  7. [6]

    Erd´ elyi, W

    A. Erd´ elyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi. Higher transcendental func- tions. Vol. I. McGraw-Hill Book Co., Inc., New York-Toronto-London, 1953. Based, in part, on notes left by Harry Bateman

    work page 1953

  8. [7]

    E. Hebey. Nonlinear analysis on manifolds: Sobolev spaces and inequalities , volume 5 of Courant Lecture Notes in Mathematics . New York University, Courant Institute of Mathe- matical Sciences, New York; American Mathematical Society, Providence, RI, 1999

    work page 1999

Show all 17 references
  1. [8]

    Y. Luo. On long time behavior of the focusing energy-critical NLS on Rd × T via semivirial- vanishing geometry. J. Math. Pures Appl. (9) , 177:415–454, 2023

    2023

  2. [9]

    Y. Luo. A Legendre-Fenchel identity for the nonlinear Schr¨ odinger equations on Rd × Tm: theory and applications. J. Geom. Anal. , 34(10):Paper No. 313, 40, 2024

    2024

  3. [10]

    Molle, G

    R. Molle, G. Riey, and G. Verzini. Normalized solutions to mass supercritical Schr¨ odinger equations with negative potential. J. Differential Equations , 333:302–331, 2022

    2022

  4. [11]

    Noris, H

    B. Noris, H. Tavares, and G. Verzini. Existence and orbital stability of the ground states with prescribed mass for the L2-critical and supercritical NLS on bounded domains. Anal. PDE, 7(8):1807–1838, 2014

    2014

  5. [12]

    Noris, H

    B. Noris, H. Tavares, and G. Verzini. Normalized solutions for nonlinear Schr¨ odinger systems on bounded domains. Nonlinearity, 32(3):1044–1072, 2019. 21

    2019

  6. [13]

    Pierotti, N

    D. Pierotti, N. Soave, and G. Verzini. Local minimizers in absence of ground states for the critical NLS energy on metric graphs. Proc. Roy. Soc. Edinburgh Sect. A , 151(2):705–733, 2021

    2021

  7. [14]

    Pierotti, G

    D. Pierotti, G. Verzini, and J. Yu. Normalized Solutions for Sobolev Critical Schr¨ odinger Equations on Bounded Domains. SIAM J. Math. Anal. , 57(1):262–285, 2025

    2025

  8. [15]

    N. Soave. Normalized ground states for the NLS equation with combined nonlinearities: the Sobolev critical case. J. Funct. Anal. , 279(6):108610, 43, 2020

    2020

  9. [17]

    Verzini and J

    G. Verzini and J. Yu. Normalized solutions for the nonlinear Schr¨ odinger equation with potential: the purely Sobolev critical case, 2025. arXiv:2505.05357. dario.pierotti@polimi.it gianmaria.verzini@polimi.it junwei.yu@polimi.it Dipartimento di Matematica, Politecnico di Mil...

    2025 arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.