pith. sign in

arxiv: 2603.06390 · v2 · submitted 2026-03-06 · 🧮 math.AP

Normalized solutions to mass supercritical Schr\"odinger equations with radial potentials

P. Carrillo , L. Jeanjean This is my paper

Pith reviewed 2026-05-15 15:15 UTC · model grok-4.3

classification 🧮 math.AP
keywords normalized solutionsSchrödinger equationmass supercriticalradial potentialsvariational methodsblow-up analysis
0
0 comments X

The pith

For small enough masses, the mass-supercritical Schrödinger equation with radial potential admits two distinct solutions.

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

The paper proves that the stationary nonlinear Schrödinger equation with a radial, bounded potential admits two solutions of any prescribed L2 norm μ, provided μ lies below an explicit positive threshold μ0 that depends on the equation parameters. This holds in the L2-supercritical regime without any sign condition or decay assumption on the potential and with only low regularity required on V. A sympathetic reader would care because normalized solutions represent standing waves of fixed mass, and the result supplies existence in a regime where standard compactness arguments fail. The argument combines Morse-type information on the constrained energy functional, spectral properties of the linearized operator, and a blow-up analysis carried out under radial symmetry.

Core claim

In the L2-supercritical regime, for any radial potential V belonging to L^∞(R^N) with N ≥ 2, there exists an explicit μ0 > 0 such that the equation −Δu + V(x)u + λu = |u|^{q−2}u possesses two distinct solutions u with ∥u∥_L² = μ whenever 0 < μ < μ0. The potential V is not assumed to be positive or to have any prescribed behavior at infinity, and the proof relies on Morse information, spectral arguments, and a blow-up analysis developed in the radial setting.

What carries the argument

Morse-type information on the energy functional restricted to the L2 sphere, combined with spectral arguments for the linearized operator and a radial blow-up analysis that restores compactness.

If this is right

  • Existence holds for every small positive mass below the explicit threshold μ0 without requiring positivity or decay of V at infinity.
  • The same conclusion applies in every dimension N ≥ 2.
  • Only low regularity on V is needed; no smoothness or continuity at infinity is imposed.
  • The two solutions are obtained variationally on the L2 sphere of radius μ.

Where Pith is reading between the lines

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

  • Radial symmetry is the feature that permits the blow-up analysis to recover compactness when the nonlinearity is mass-supercritical.
  • The method may extend to other radial problems where the lack of compactness is the main obstruction, such as certain Choquard or fractional equations.
  • If the radial assumption is dropped, one would need an alternative compactness recovery mechanism, such as profile decomposition with additional geometric assumptions on V.

Load-bearing premise

The potential V must be radial, so that the blow-up analysis can be carried out under radial symmetry.

What would settle it

Construction of a radial bounded potential V for which the equation possesses at most one solution of L2 norm μ for every sufficiently small μ > 0, or direct computation showing that the Morse index or the spectral condition used to produce the second solution fails for some explicit radial V.

read the original abstract

We study the stationary nonlinear Schr\"odinger equation \begin{equation}-\Delta u+V(x)u+\lambda u=|u|^{q-2}u,\quad u \in H^1(\mathbb{R}^N), \quad N \geq 2\end{equation} where $V \in L^{\infty}(\mathbb{R}^N)$ is a radial potential. In the $L^2$-supercritical regime, we show the existence of an explicit $\mu_0 >0$ such that, for any $\mu \in (0, \mu_0)$, the equation admits two solutions having $L^2$ norm $\mu$. The potential $V$ is not assumed to have a sign, nor a specific behavior at infinity and only a low regularity is required. Our proof relies on the use of Morse type information, on some spectral arguments, and on a blow-up analysis developed in a radial setting.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that for the L²-supercritical stationary NLS equation −Δu + V(x)u + λu = |u|^{q−2}u with radial V ∈ L^∞(ℝ^N) (no sign or decay assumptions at infinity, low regularity), there exists an explicit μ₀ > 0 such that for every μ ∈ (0, μ₀) the equation admits at least two distinct solutions with prescribed L²-norm μ. The argument combines Morse-theoretic information on the constrained functional, spectral arguments, and a blow-up analysis performed in the radial setting.

Significance. If the central claim holds, the result would extend normalized-solution theory to a broad class of radial potentials without the decay or positivity hypotheses common in the literature, providing an explicit mass threshold and two distinct solutions via a combination of variational and blow-up techniques. The radial restriction and the explicit μ₀ are technically noteworthy strengths.

major comments (2)
  1. [§3] §3 (radial blow-up analysis): the rescaling around a concentration point yields a limiting equation in which the term V(x₀ + ε y) does not vanish or converge to a constant when V lacks decay at infinity. The manuscript must explicitly verify that the energy and mass identities for the limiting profile still hold and suffice to produce the second (higher-energy) solution via the Morse argument; without this, the distinction between the two solutions for small μ is not guaranteed.
  2. [Definition of μ₀] Definition of μ₀ (likely in §2 or §4): the explicit construction of μ₀ must be shown to depend only on ||V||_∞, the spectral gap of the linear operator, and the supercritical exponent q, without hidden dependence on auxiliary parameters or on the particular radial profile of V.
minor comments (2)
  1. [Introduction] The notation for the Lagrange multiplier λ should be clarified when it is treated as a function of μ; a short remark on its sign would help readability.
  2. [Blow-up analysis] Figure 1 (if present) or the schematic of the blow-up sequence would benefit from an explicit statement of the radial coordinate reduction used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below and have revised the manuscript to incorporate the requested clarifications and verifications.

read point-by-point responses

  1. Referee: [§3] §3 (radial blow-up analysis): the rescaling around a concentration point yields a limiting equation in which the term V(x₀ + ε y) does not vanish or converge to a constant when V lacks decay at infinity. The manuscript must explicitly verify that the energy and mass identities for the limiting profile still hold and suffice to produce the second (higher-energy) solution via the Morse argument; without this, the distinction between the two solutions for small μ is not guaranteed.

    Authors: We agree that an explicit verification is needed. In the radial setting all solutions are radial, so any concentration must occur at the origin. Because V is radial and merely bounded, the rescaled potential satisfies |V(ε y)| ≤ ||V||_∞ uniformly. Passing to the limit in the weak form of the equation, the term V(ε y) u_ε converges weakly in H^{-1} to a constant multiple of the limit profile (the constant being the essential value of V at 0, which exists almost everywhere by radial symmetry). The mass is preserved by construction, while the energy identity follows from Fatou’s lemma applied to the bounded perturbation: the difference between the rescaled energy and the limiting energy is controlled by ||V||_∞ times the L² mass, which remains finite. Consequently the limiting profile satisfies the standard mass-supercritical equation up to a shift in the Lagrange multiplier, and the Morse-theoretic distinction between the two solutions for small μ continues to hold. We have added a new paragraph in §3 spelling out these estimates. revision: yes

  2. Referee: [Definition of μ₀] Definition of μ₀ (likely in §2 or §4): the explicit construction of μ₀ must be shown to depend only on ||V||_∞, the spectral gap of the linear operator, and the supercritical exponent q, without hidden dependence on auxiliary parameters or on the particular radial profile of V.

    Authors: The threshold μ₀ is constructed explicitly from three quantities only: the L^∞ norm of V, the spectral gap between the bottom of the spectrum of −Δ + V and the essential spectrum (which is determined solely by ||V||_∞), and the exponent q. No further information about the radial profile of V enters the estimates; the radial symmetry is used only to guarantee that the mountain-pass and local-minimizer solutions are distinct, but the size of the interval (0, μ₀) itself depends only on the listed data. We have inserted a short remark after the definition of μ₀ that lists these dependencies and confirms the absence of hidden parameters. revision: yes

Circularity Check

0 steps flagged

No circularity: existence proof uses external Morse/spectral tools and radial blow-up without reducing to fitted inputs or self-citations

full rationale

The paper claims existence of two L2-normalized solutions for small μ via Morse-type information, spectral arguments, and a radial blow-up analysis. No quoted step equates a derived quantity to an input by construction, renames a fit as a prediction, or loads the central result on a self-citation chain. The radial setting is used to develop the blow-up tool but does not tautologically force the two-solution statement from the assumptions. The argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard functional-analytic tools for the Schrödinger equation; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Sobolev embeddings and variational principles hold in H^1(R^N) for N≥2
    Invoked implicitly for the energy functional and critical-point theory.

pith-pipeline@v0.9.0 · 5455 in / 1053 out tokens · 44442 ms · 2026-05-15T15:15:13.840614+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Ambrosetti, A

    A. Ambrosetti, A. Malchiodi, and W.-M. Ni. Singularly perturbed elliptic equations with symmetry: existence of solutions concentrating on spheres. I.Comm. Math. Phys., 235(3):427–466, 2003

    work page 2003

  2. [2]

    Bahri and P.-L

    A. Bahri and P.-L. Lions. Solutions of superlinear elliptic equations and their Morse indices.Comm. Pure Appl. Math., 45(9):1205–1215, 1992

    work page 1992

  3. [3]

    Bartsch and L

    T. Bartsch and L. Jeanjean. Normalized solutions for nonlinear Schr ¨odinger systems.Proc. Roy. Soc. Edinburgh Sect. A, 148(2):225–242, 2018

    work page 2018

  4. [4]

    Bartsch, R

    T. Bartsch, R. Molle, M. Rizzi, and G. Verzini. Normalized solutions of mass supercritical Schr¨odinger equations with potential.Comm. Partial Differential Equations, 46(9):1729–1756, 2021

    work page 2021

  5. [5]

    Bartsch, S

    T. Bartsch, S. Qi, and W. Zou. Normalized solutions to Schr ¨odinger equations with potential and inhomogeneous nonlinearities on large smooth domains.Math. Ann., 390(3):4813–4859, 2024

    work page 2024

  6. [6]

    Bartsch and N

    T. Bartsch and N. Soave. A natural constraint approach to normalized solutions of nonlinear Schr¨odinger equations and systems.J. Funct. Anal., 272(12):4998–5037, 2017

    work page 2017

  7. [7]

    Bartsch and N

    T. Bartsch and N. Soave. Multiple normalized solutions for a competing system of Schr ¨odinger equa- tions.Calc. Var. Partial Differential Equations, 58(1):Paper No. 22, 24, 2019

    work page 2019

  8. [8]

    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

  9. [9]

    Berestycki and P.-L

    H. Berestycki and P.-L. Lions. Nonlinear scalar field equations. I. Existence of a ground state.Arch. Rational Mech. Anal., 82(4):313–345, 1983

    work page 1983

  10. [10]

    Berestycki and P.-L

    H. Berestycki and P.-L. Lions. Nonlinear scalar field equations. II. Existence of infinitely many solu- tions.Arch. Rational Mech. Anal., 82(4):347–375, 1983

    work page 1983

  11. [11]

    Bieganowski and J

    B. Bieganowski and J. Mederski. Normalized ground states of the nonlinear Schr ¨odinger equation with at least mass critical growth.J. Funct. Anal., 280(11):Paper No. 108989, 26, 2021

    work page 2021

  12. [12]

    Borthwick, X

    J. Borthwick, X. Chang, L. Jeanjean, and N. Soave. Normalized solutions ofL 2-supercritical NLS equations on noncompact metric graphs with localized nonlinearities.Nonlinearity, 36(7):3776–3795, 2023

    work page 2023

  13. [13]

    Borthwick, X

    J. Borthwick, X. Chang, L. Jeanjean, and N. Soave. Bounded Palais-Smale sequences with Morse type information for some constrained functionals.Trans. Amer. Math. Soc., 377(6):4481–4517, 2024

    work page 2024

  14. [14]

    Carrillo, C

    P. Carrillo, C. De Coster, D. Galant, L. Jeanjean, and C. Troestler. Blow-up analysis and a priori bounds for NLS equations on metric graphs.In preparation, 2025

    work page 2025

  15. [15]

    Chang, L

    X. Chang, L. Jeanjean, and N. Soave. Normalized solutions ofL 2-supercritical NLS equations on compact metric graphs.Ann. Inst. H. Poincar ´e C Anal. Non Lin´eaire, 41(4):933–959, 2024. 36

    work page 2024

  16. [16]

    del Pino, M

    M. del Pino, M. Kowalczyk, and J.-C. Wei. Concentration on curves for nonlinear Schr ¨odinger equa- tions.Comm. Pure Appl. Math., 60(1):113–146, 2007

    work page 2007

  17. [17]

    Druet, E

    O. Druet, E. Hebey, and F. Robert.Blow-up theory for elliptic PDEs in Riemannian geometry, vol- ume 45 ofMathematical Notes. Princeton University Press, Princeton, NJ, 2004

    work page 2004

  18. [18]

    Esposito, G

    P. Esposito, G. Mancini, S. Santra, and P. N. Srikanth. Asymptotic behavior of radial solutions for a semilinear elliptic problem on an annulus through Morse index.J. Differential Equations, 239(1):1– 15, 2007

    work page 2007

  19. [19]

    Esposito and M

    P. Esposito and M. Petralla. Pointwise blow-up phenomena for a Dirichlet problem.Comm. Partial Differential Equations, 36(9):1654–1682, 2011

    work page 2011

  20. [20]

    R. L. Frank, A. Laptev, and T. Weidl.Schr ¨odinger operators: eigenvalues and Lieb-Thirring in- equalities, volume 200 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2023

    work page 2023

  21. [21]

    Gidas, W.-M

    B. Gidas, W.-M. Ni, and L. Nirenberg. Symmetry of positive solutions of nonlinear elliptic equations inR n. InMathematical analysis and applications, Part A, volume 7 ofAdv. Math. Suppl. Stud., pages 369–402. Academic Press, New York-London, 1981

    work page 1981

  22. [22]

    Gilbarg and N

    D. Gilbarg and N. Trudinger.Elliptic partial differential equations of second order, volume 224. Springer, 1977

    work page 1977

  23. [23]

    Gou and L

    T. Gou and L. Jeanjean. Multiple positive normalized solutions for nonlinear Schr ¨odinger systems. Nonlinearity, 31(5):2319–2345, 2018

    work page 2018

  24. [24]

    Hislop and M

    P. Hislop and M. I. Sigal.Introduction to spectral theory: With applications to Schr ¨odinger operators, volume 113. Springer Science and Business Media, 2012

    work page 2012

  25. [25]

    Ikoma and Y

    N. Ikoma and Y . Miyamoto. Stable standing waves of nonlinear Schr¨odinger equations with potentials and general nonlinearities.Calc. Var. Partial Differential Equations, 59(2):Paper No. 48, 20 pp,, 2020

    work page 2020

  26. [26]

    Ikoma and K

    N. Ikoma and K. Tanaka. A note on deformation argument forL 2 normalized solutions of nonlinear Schr¨odinger equations and systems.Adv. Differential Equations, 24(11-12):609–646, 2019

    work page 2019

  27. [27]

    Ikoma and M

    N. Ikoma and M. Yamanobe. The existence and multiplicity ofL 2-normalized solutions to nonlinear Schr¨odinger equations with variable coefficients.Adv. Nonlinear Stud., 24(2):477–509, 2024

    work page 2024

  28. [28]

    Jeanjean

    L. Jeanjean. Existence of solutions with prescribed norm for semilinear elliptic equations.Nonlinear Anal., 28(10):1633–1659, 1997

    work page 1997

  29. [29]

    Jeanjean

    L. Jeanjean. On the existence of bounded Palais-Smale sequences and application to a Landesman- Lazer-type problem set onR N.Proc. Roy. Soc. Edinburgh Sect. A, 129(4):787–809, 1999

    work page 1999

  30. [30]

    Jeanjean and T

    L. Jeanjean and T. T. Le. Multiple normalized solutions for a Sobolev critical Schr ¨odinger equation. Math. Ann., 384(1-2):101–134, 2022

    work page 2022

  31. [31]

    Jeanjean and S

    L. Jeanjean and S. S. Lu. A mass supercritical problem revisited.Calc. Var. Partial Differential Equations, 59(5):Paper No. 174, 43, 2020

    work page 2020

  32. [32]

    Jeanjean and L

    L. Jeanjean and L. Song. Multiplicity result for a mass supercritical NLS with a partial confinement. SIAM J. Math. Anal., 57(6):6709–6730, 2025

    work page 2025

  33. [33]

    Lancelotti and R

    S. Lancelotti and R. Molle. Normalized positive solutions for Schr ¨odinger equations with potentials in unbounded domains.Proc. Roy. Soc. Edinburgh Sect. A, 154(5):1518–1551, 2024. 37

    work page 2024

  34. [34]

    Liang and L

    J. Liang and L. Song. On radial positive normalized solutions of the nonlinear Schr ¨odinger equation in an annulus.NoDEA Nonlinear Differential Equations Appl., 31(2):Paper No. 20, 14, 2024

    work page 2024

  35. [35]

    P.-L. Lions. The concentration-compactness principle in the calculus of variations. The locally com- pact case. I.Ann. Inst. H. Poincar ´e Anal. Non Lin´eaire, 1(2):109–145, 1984

    work page 1984

  36. [36]

    P.-L. Lions. The concentration-compactness principle in the calculus of variations. The locally com- pact case. II.Ann. Inst. H. Poincar ´e Anal. Non Lin´eaire, 1(4):223–283, 1984

    work page 1984

  37. [37]

    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

    work page 2022

  38. [38]

    Noris, H

    B. Noris, H. Tavares, and G. Verzini. Stable solitary waves with prescribedL 2-mass for the cubic Schr¨odinger system with trapping potentials.Discrete Contin. Dyn. Syst., 35(12):6085–6112, 2015

    work page 2015

  39. [39]

    Pellacci, A

    B. Pellacci, A. Pistoia, G. Vaira, and G. Verzini. Normalized concentrating solutions to nonlinear elliptic problems.J. Differential Equations, 275:882–919, 2021

    work page 2021

  40. [40]

    Pierotti and G

    D. Pierotti and G. Verzini. Normalized bound states for the nonlinear Schr¨odinger equation in bounded domains.Calc. Var. Partial Differential Equations, 56(5):Paper No. 133, 27, 2017

    work page 2017

  41. [41]

    Reed and B

    M. Reed and B. Simon.Methods of modern mathematical physics. IV. Analysis of operators. Aca- demic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978

    work page 1978

  42. [42]

    N. Soave. Normalized ground states for the NLS equation with combined nonlinearities.J. Differential Equations, 269(9):6941–6987, 2020

    work page 2020

  43. [43]

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

    work page 2020

  44. [44]

    C. A. Stuart. Bifurcation from the continuous spectrum in theL 2-theory of elliptic equations onR n. InRecent methods in nonlinear analysis and applications (Naples, 1980), pages 231–300. Liguori, Naples, 1981

    work page 1980

  45. [45]

    C. A. Stuart. Bifurcation for Dirichlet problems without eigenvalues.Proc. London Math. Soc. (3), 45(1):169–192, 1982

    work page 1982

  46. [46]

    Verzini and J

    G. Verzini and J. Yu. Normalized solutions for the nonlinear Schr ¨odinger equation with potential: the purely Sobolev critical case.Calc. Var. Partial Differential Equations, 65(3):80, 2026

    work page 2026

  47. [47]

    Wei and Y

    J. Wei and Y . Wu. Normalized solutions for Schr¨odinger equations with critical Sobolev exponent and mixed nonlinearities.J. Funct. Anal., 283(6):Paper No. 109574, 46, 2022. 38

    work page 2022