Pith. sign in

REVIEW 2 major objections 3 minor 29 references

An action approach to nodal and least energy normalized solutions for nonlinear Schr\"odinger equations

T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the set of masses of action ground states, and of nodal action ground states, is always a full interval on bounded domains, and uses this to produce normalized solutions of prescribed mass.

desk verdict A genuinely new Darboux-type mass characterization for normalized NLS solutions, with a real overclaim on disconnected domains that does not undermine the connected-domain results. read the letter →

arxiv 2411.10317 v1 pith:ELJV47LI submitted 2024-11-15 math.AP

Colette De Coster , Simone Dovetta , Damien Galant , Enrico Serra This is my paper · ORCID
classification math.AP MSC 35Q5549J4058E30
keywords nonlinearSchrödingerequationsnormalizedsolutionsnodalactiongroundstatesNeharimanifoldDarbouxpropertyleastenergyboundeddomains
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 a complete interval characterization for the masses of action ground states and of nodal action ground states of the nonlinear Schrödinger equation on any bounded open domain. For the subcritical exponent $p<2+4/N$ every positive mass occurs; for the critical exponent $p=2+4/N$ the masses fill $(0,\mu_p)$ or $(0,\mu_p]$ (and similarly for the nodal set); for the supercritical case they fill $(0,\mu_p]$ and $(0,\mu_p^{\rm nod}]$. The characterization is obtained not by following a smooth curve of solutions but by showing that the mass set is the range of the derivative of the ground-state level, a Darboux-type property. This gives normalized nodal solutions for every mass in the subcritical regime and for a whole interval of masses in the critical and supercritical regimes, and identifies least-energy normalized (nodal) solutions as action (nodal action) ground states in those regimes. The approach is designed to extend to other Nehari-manifold problems.

What carries the argument

The central object is the action functional $J_\lambda(u,\Omega)=\frac12\|\nabla u\|_2^2+\frac{\lambda}{2}\|u\|_2^2-\frac1p\|u\|_p^p$ on $H^1_0(\Omega)$, restricted to the Nehari manifold $\mathcal{N}_\lambda(\Omega)$ or its nodal analogue $\mathcal{N}_\lambda^{\rm nod}(\Omega)$. The level functions $J_\Omega(\lambda)$ and $J_\Omega^{\rm nod}(\lambda)$ are locally Lipschitz and strictly increasing on their natural frequency ranges, and the key inequality (3.3) says that the one-sided derivatives of $J_\Omega^{\rm nod}$ bracket half the masses of its ground states. For a prescribed mass $\mu$, the paper minimizes $f_\mu(\lambda)=J_\Omega^{\rm nod}(\lambda)-\frac{\mu}{2}\lambda$; any interior minimizer is a point where $J_\Omega^{\rm nod}$ is differentiable with derivative $\mu$, so the corresponding ground state has exactly the prescribed mass. This converts an existence problem into a one-dimensional calculus problem.

What would settle it

Take a specific bounded domain, for example an interval in $N=1$ with $p>6$, and compute the masses of nodal action ground states for all $\lambda>-\lambda_2$. Theorem 1.1(iii) predicts the set of masses is exactly $(0,\mu_p^{\rm nod}]$ with no gaps and the endpoint attained. Finding a mass $\mu<\mu_p^{\rm nod}$ with no nodal solution, or a gap in the set of masses, would falsify the characterization.

Watch

Extended reading notes

Core claim

On the paper's own terms, Theorem 1.1 states that for every bounded open $\Omega\subset\mathbb{R}^N$ and every $p\in(2,2^*)$, with $2^*=2N/(N-2)$, the sets $M_p(\Omega)$ and $M_p^{\rm nod}(\Omega)$ of $L^2$-masses of action ground states and nodal action ground states are exactly the following: $(0,\infty)$ when $p<2+4/N$; $(0,\mu_p)$ or $(0,\mu_p]$ (and the analogous alternative for the nodal set) when $p=2+4/N$; and $(0,\mu_p]$ and $(0,\mu_p^{\rm nod}]$ when $p>2+4/N$. The thresholds $\mu_p$ and $\mu_p^{\rm nod}$ are finite in the critical and supercritical regimes and are realized as suprema of the derivative of the corresponding ground-state level. From this, Theorem 1.2 gives normalized nodal solutions for every mass in the subcritical case and for every mass up to the threshold in the critical and supercritical cases. Theorem 1.4 shows that under the same mass ranges least-energy normalized nodal solutions are exactly nodal action ground states; Theorem 1.7 does the analogous identification for small masses on smooth star-shaped domains in the supercritical case, with frequencies uniformly bounded above.

Load-bearing premise

The load-bearing premise is that the ground-state level functions, especially the nodal one, are locally Lipschitz and have one-sided derivatives at every frequency that bracket the masses of the corresponding ground states, as in inequality (3.3).

Editorial extensions

If this is right

  • For every bounded open domain and every $p<2+4/N$, normalized nodal solutions exist for every prescribed mass $\mu>0$ (Theorem 1.2(i)).
  • For $p=2+4/N$, normalized nodal solutions exist for every $\mu\in(0,\mu_p^{\rm nod})$; for $p>2+4/N$ they exist for every $\mu\in(0,\mu_p^{\rm nod}]$, where $\mu_p^{\rm nod}$ is the finite threshold of Theorem 1.1 (Theorem 1.2(ii)-(iii)).
  • In the subcritical regime (all $\mu>0$) and in the critical regime with $\mu<2\mu_N$, every least-energy normalized nodal solution is a nodal action ground state for the frequency it carries (Theorem 1.4).
  • On smooth star-shaped domains with $p>2+4/N$, least-energy normalized (nodal) solutions exist for every mass up to the respective threshold, and for sufficiently small masses they are action (nodal action) ground states with frequencies bounded by a constant depending only on $p$ and $\Omega$ (Theorem 1.7).
  • When $\Omega$ is a ball and $p=2+4/N$, masses in $[\mu_N,2\mu_N)$ admit least-energy normalized nodal solutions while no positive normalized solution exists, so the least-energy solutions are necessarily nodal (Remark 1.6).

Reading between the lines

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

  • Beyond the paper, the same level-derivative mechanism should identify mass thresholds for other equations with a Nehari manifold, for example problems with combined nonlinearities or Neumann boundary conditions, because the proof never uses a smooth curve of solutions.
  • The critical-regime gap between $2\mu_N$ and $\mu_p^{\rm nod}$ is an explicit open target: deciding whether least-energy normalized nodal solutions with masses in that range remain nodal action ground states would complete Theorem 1.4.
  • For non-star-shaped supercritical domains, Theorem 1.7 is open; an annulus or another non-star-shaped domain is the natural place to test whether the small-mass identification and frequency bound survive.
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 / 3 minor

Summary. The paper develops an action-based approach to normalized solutions of the nonlinear Schr\"odinger equation with Dirichlet boundary conditions on bounded domains. For the action functional with parameter \lambda, it studies the masses of positive and nodal action ground states, i.e. the sets M_p(\Omega) and M_p^{nod}(\Omega) defined in (1.3). The main result, Theorem 1.1, characterizes these sets as (0,\infty) in the L^2-subcritical case, as (0,\mu_p) or (0,\mu_p] (and analogously for the nodal threshold) in the L^2-critical case, and as (0,\mu_p] (and (0,\mu_p^{nod}]) in the L^2-supercritical case. The proof is based on a Darboux-type property for the derivative of the action ground-state level, obtained from one-sided derivative inequalities (3.3) and an interior-minimizer argument. The paper then derives existence of normalized nodal solutions for all masses in the subcritical case and for an interval of masses in the critical and supercritical cases (Theorem 1.2), identifies least energy normalized nodal solutions as nodal action ground states in subcritical and low-mass critical regimes (Theorem 1.4), and proves analogous results on smooth star-shaped domains in the supercritical case (Theorem 1.7). The arguments are detailed and, for connected domains, internally coherent. However, the stated generality over every bounded open set is not supported by the nodal proofs, which rely on connectedness in several places.

Significance. If the characterization is correct in its stated form, it is a substantial contribution: it gives the first complete description of the mass range of action ground states and nodal action ground states, yields new existence results for normalized nodal solutions, and clarifies when least energy normalized solutions coincide with action ground states. The approach is original and potentially adaptable to other problems admitting a Nehari-manifold structure. The paper contains detailed proofs, and the central interval characterization is a genuine variational statement rather than a tautology. A notable strength is that the argument does not require a C^1 branch of solutions and instead uses only one-sided derivative bounds, which is a significant methodological improvement. The main caveat is the disconnected-domain gap: the nodal part of the proof requires connectedness through Proposition 2.7 and Proposition 2.8, so the theorems as stated are not fully established.

major comments (2)
  1. [Theorem 1.1 and Proposition 2.8] The nodal case is proved only under a connectedness assumption, whereas Theorems 1.1, 1.2 and 1.4 are stated for every bounded open set. Proposition 2.8 asserts that an arbitrary bounded open set \Omega can be exhausted by connected smooth open sets \Omega_n with \Omega_n \subset \Omega_{n+1} and \cup_n \Omega_n = \Omega, citing [10, Proposition 8.2.1]. This is impossible when \Omega is disconnected, because a connected subset of \Omega is contained in a single connected component. Consequently Proposition 2.7, which explicitly assumes connected \Omega_n, cannot supply the compactness and convergence results on which Lemma 3.1, Proposition 3.2 and the endpoint argument in the proof of Theorem 1.1 rely. The derivative bracketing (3.3) and the existence of nodal action ground states are therefore not established for disconnected domains. Since the problem statement in the introduction restricts \Omega to be connected, the theorems should either be restricted to connected bounded open sets or supplied with a separate component-wise argument.
  2. [Proposition 2.4 and disconnected domains] The proof of Proposition 2.4 uses a sign-changing second eigenfunction \phi_2 and the identity \lambda_2(\Omega) = \lambda_1(\text{supp }\phi_2^+) = \lambda_1(\text{supp }\phi_2^-). For a disconnected domain, \lambda_2(\Omega) can be the first eigenvalue of one component, and a corresponding eigenfunction may be one-signed, so this identity is not valid in the generality claimed in Theorem 1.1. This is a second concrete manifestation, independent of the exhaustion argument, of the fact that the nodal theory in Section 2 is developed for connected domains.
minor comments (3)
  1. [Proposition 2.7] The proof uses a density statement asserting that a nodal action ground state can be approximated by functions in N_\lambda^{nod}(\Omega) \cap C_c^\infty(\Omega) with arbitrarily close action. This is plausible but not immediate; a short justification via separate approximation of the positive and negative parts with disjoint supports would make the argument self-contained.
  2. [Theorem 1.7, Step 2] The proof uses Lemma 4.2 for all \mu \leq \tilde{\mu}_p^{nod}, but the stated inequality \tilde{\mu}_p^{nod} \leq \mu_p^{nod} alone does not exclude equality. Since the action level has power-type behavior near -\lambda_2, the inequality is in fact strict, and it would be helpful to state and prove this strictness so that the appeal to Lemma 4.2 is fully transparent.
  3. [Notation] In the statements of Theorem 1.1 and in the displayed definitions (1.3), the sets M_p(\Omega) and M_p^{nod}(\Omega) are sometimes written without the domain \Omega, and the tilded constants in Theorem 1.7 and its proof are typeset inconsistently. A uniform notation would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the mass-interval theorem rests on one-sided derivative bounds and a minimization argument, not on its conclusion.

full rationale

The central claim (Theorem 1.1) is not circular. The nodal interval characterization is derived from Proposition 3.2's one-sided derivative bounds (3.3), which are obtained via the compactness Proposition 2.7 and the lower bound Lemma 3.1, and then Lemma 4.2 minimizes f_mu(lambda) = J_nod(lambda) - (mu/2)lambda to force differentiability with derivative mu/2. This is a genuine variational argument, not a restatement of the definition of M_nod_p. The thresholds mu_p and mu_nod_p are defined as suprema of derivatives and then proved to be the endpoints by Lemma 4.4; no fitted parameter is renamed as a prediction. The paper does rely on [11], whose authors overlap with the present ones, for signed-case properties of J_Omega (Proposition 2.1) and for asymptotics used in Proposition 3.3; but [11] is a published, checkable prior result and the same derivative-inequality structure is re-proved for the nodal level rather than imported as the target theorem. The connected-exhaustion assertion in Proposition 2.8 appears questionable for disconnected Omega, since a connected Omega_n contained in Omega cannot meet two components; this is a correctness/generality concern rather than circularity, and it does not make the derivation equivalent to its inputs.

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

The central theorem introduces no fitted parameters. The thresholds μ_p and μ_nod_p are defined by suprema of derivatives of the action level and are proved finite or infinite by variational estimates. The main external inputs are standard PDE tools plus the authors' earlier result [11], which is published and not tailored to the target mass sets. No new physical or mathematical entities are postulated.

assumptions (5)
  • standard math Standard Sobolev embeddings and Gagliardo-Nirenberg interpolation inequalities on H^1_0(Ω) for bounded Ω
    Used throughout, for example in Lemma 4.6 to bound masses and in Proposition 2.5 for lower estimates.
  • standard math Dirichlet spectral theory for λ1 and λ2, including the nodal-domain property of sign-changing second eigenfunctions on connected domains
    Used in Proposition 2.4 and in the thresholds that separate existence and nonexistence for action and nodal action ground states.
  • standard math Known existence and regularity of action ground states and nodal action ground states from [11], [4], [8], and [27]
    Proposition 2.1 is taken from [11], and Proposition 2.8 extends nodal existence from [4] to arbitrary bounded open sets. These are external published results, not re-derived in full here.
  • domain assumption Pohozaev identity with nonnegative boundary term x·ν on smooth star-shaped domains
    Proposition 5.1 uses this identity to prove the energy lower bound behind Theorem 1.7.
  • standard math Asymptotic concentration estimates and construction of special Nehari test functions from [11, Lemma 2.1 and Lemma 2.4]
    Proposition 3.3 and Lemma 4.6 invoke these estimates to determine the asymptotic behavior of J_nod_Ω and the finiteness of μ_nod_p.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An action approach to nodal and least energy normalized solutions for nonlinear Schr\"odinger equations." pith.science (2026). https://pith.science/paper/ELJV47LI

@misc{pith2026241110317,
  author       = {Pith},
  title        = {Pith review of: An action approach to nodal and least energy normalized solutions for nonlinear Schr\"odinger equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ELJV47LI}},
  note         = {Machine review of arXiv:2411.10317}
}
abstract

We develop a new approach to the investigation of normalized solutions for nonlinear Schr\"odinger equations based on the analysis of the masses of ground states of the corresponding action functional. Our first result is a complete characterization of the masses of action ground states, obtained via a Darboux-type property for the derivative of the action ground state level. We then exploit this result to tackle normalized solutions with a twofold perspective. First, we prove existence of normalized nodal solutions for every mass in the $L^2$-subcritical regime, and for a whole interval of masses in the $L^2$-critical and supercritical cases. Then, we show when least energy normalized solutions/least energy normalized nodal solutions are action ground states/nodal action ground states.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 28 canonical work pages

  1. [11]

    Dovetta S., Serra E., Tilli P., Action versus energy ground states in nonlinear Schr¨ oding er equations, Math. Ann. 385 (2023), 1545–1576

    work page 2023

  2. [18]

    PDE 7(8) (2014), 1807–1838

    Noris B., Tavares H., Verzini G., 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) (2014), 1807–1838

    work page 2014

  3. [1]

    Bartsch T., de Valeriola S., Normalized solutions of nonlinear Schr¨ odinger equations, Arch. Math. 100(1) (2013), 75–83. 19

    work page 2013

  4. [2]

    PDE 46(9) (2021), 1729–1756

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

    work page 2021

  5. [3]

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

    work page 2017

  6. [4]

    Bartsch T., Weth T., A note on additional properties of sign changing solutions t o super- linear elliptic equations , Top. Meth. Nonlin. Anal. 22 (2003), 1–14

    work page 2003

  7. [5]

    Bartsch T., Weth T., Willem M., Partial symmetry of least energy nodal solutions to some variational problems , J. Anal. Math. 96 (2005), 1–18

    work page 2005

  8. [6]

    W., Normalized solutions for a coupled Schr¨ odinger system , Math

    Bartsch T., Zhong X., Zou. W., Normalized solutions for a coupled Schr¨ odinger system , Math. Ann. 380(3-4) (2021), 1713–1740

    work page 2021

Show all 29 references
  1. [7]

    Contem- porary Math

    Bonheure D., Bouchez V., Grumiau C., Van Schaftingen J., Asymptotics and symmetries of least energy nodal solutions of Lane-Emden problems with slow growth, Comm. Contem- porary Math. 10(4) (2008), 609–631

    2008

  2. [8]

    Castro A., Cossio J., Neuberger J.M, A sign-changing solution for a superlinear Dirichlet problem, Rocky Mountain J. Math. 27(4) (1997), 1041–1053

    1997

  3. [9]

    Cazenave T., Lions P.L., Orbital stability of standing waves for some nonlinear Schr ¨ odinger equations, Comm. Math. Phys. 85 (1982), 549–561

    1982

  4. [10]

    6), Editor: M

    Daners D., Chapter 1 - Domain Perturbation for Linear and Semi- Linear Boundary Value Problems, Handbook of Differential Equations: Stationary Partial Differential Equations (Vol. 6), Editor: M. Chipot, pages 1–81, North-Holland, 2008

    2008

  5. [12]

    Grillakis M., Shatah J., Strauss W., Stability theory of solitary waves in the presence of symmetry, I , J. Funct. Anal. 74 (1987), 160–197

    1987

  6. [13]

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

    1997

  7. [14]

    Jeanjean L., Lu S.-S, On global minimizers for a mass constrained problem , Calc. Var. PDE 61(6) (2022), art. n. 214

    2022

  8. [15]

    Jeanjean L., Zhang J., Zhong X., A global branch approach to normalized solutions for the Schr¨ odinger equation, J. Math. Pures Appl. 183(9) (2024), 44–75

    2024

  9. [16]

    Jeanjean L., Zhang J., Zhong X., Normalized ground states for a coupled Schr¨ odinger sys- tem: mass super-critical case , Nonlin. Diff. Eq. Appl. 31 (2024), art. n. 85

    2024

  10. [17]

    Molle R., Riey G., Verzini G., Normalized solutions to mass supercritical Schr¨ odinger equa- tions with negative potential , J. Diff. Eq. 333 (2022), 302–331

    2022

  11. [19]

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

    2019

  12. [20]

    Pellacci B., Pistoia A., Vaira G., Verzini G., Normalized concentrating solutions to nonlinear elliptic problems , J. Diff. Eq. 275 (2021), 882–919

    2021

  13. [21]

    Pierotti D., Verzini G., Normalized bound states for the nonlinear Schr¨ odinger equ ation in bounded domains, Calc. Var. PDE 56 (2017), art. n. 133

    2017

  14. [22]

    Pierotti D., Verzini G., Yu J., Normalized solutions for Sobolev critical Schr¨ odinger eq ua- tions on bounded domains , arXiv preprint 2404.04594 (2024)

    2024 arXiv

  15. [23]

    Shatah J., Strauss W., Instability of nonlinear bound states , Comm. Math. Phys. 100 (1985), 173–190

    1985

  16. [24]

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

    2020

  17. [25]

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

    2020

  18. [26]

    Struwe M., Variational Methods, Applications to Nonlinear Partia l Differential Equations and Hamiltonian Systems, Springer Berlin, Heidelberg, fourth edition , 2008

    2008

  19. [27]

    Gao and D

    Szulkin A., Weth T., The method of Nehari manifold , Handbook of Nonconvex Analysis and Applications, D.Y. Gao and D. Motreanu eds., International Pre ss, Boston, 2010, pp. 597–632

    2010

  20. [28]

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

    2022

  21. [29]

    Pure Appl

    Weinstein M.I., Lyapunov stability of ground states of nonlinear dispersiv e evolution equa- tions, Comm. Pure Appl. Math. 39 (1986), 51–67. 21

    1986

Pith tools

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