Normalized solutions of Nehari-Pankov type to mass-supercritical indefinite variational problems
Pith reviewed 2026-05-16 14:23 UTC · model grok-4.3
The pith
Normalized solutions exist for nonlinear Schrödinger equations on graphs at arbitrarily large prescribed masses.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In the abstract setting the H-norms of the λ-dependent solution families form connected sets even though the solution families themselves may be disconnected, and this property together with Weyl-type estimates on spectral gaps allows the norms to cover all sufficiently large values.
What carries the argument
Nehari-Pankov type ground states of λ-dependent action functionals in spectral gaps of A, whose H-norms form connected sets.
If this is right
- Infinitely many solutions with arbitrarily large prescribed mass exist for nonlinear Schrödinger equations on compact graphs.
- Normalized solutions exist for a biharmonic Schrödinger equation on the 2-torus.
- Multiple solutions with prescribed small mass exist for second- and higher-order equations in bounded domains with Dirichlet boundary conditions.
Where Pith is reading between the lines
- The connectedness of norm sets may hold for other indefinite variational problems beyond the abstract framework given.
- Explicit norm-range calculations on particular graphs would test how sharp the large-mass existence statements are.
- Adjusting the spectral estimates could allow the method to reach noncompact domains.
Load-bearing premise
The H-norms of the lambda-dependent solution families form connected sets that reach all large masses when λ varies inside a spectral gap.
What would settle it
An explicit example in which the set of H-norms attained by the ground states inside one spectral gap is disconnected or bounded away from large values.
read the original abstract
We consider abstract nonlinear equations of the form $A u = \lambda u + I'(u)$, where $A$ is a self-adjoint operator with compact resolvent on a Hilbert space $H$, $\lambda \in \mathbb{R}$ is a parameter, and $u \mapsto I'(u)$ is a superlinear term of variational nature. In this abstract setting, we develop a new approach to detect prescribed norm solutions in $H$ which does not rely on any mass-subcriticality assumptions. We then consider various applications of this approach. First, we obtain, under general assumptions including the full mass-supercritical parameter regime, the existence of (infinitely many) solutions to a class of nonlinear Schr\"odinger equations on a compact graph $\mathcal{G}$ with prescribed arbitrarily large mass, thereby improving previous results which only cover small masses. Moreover, we derive a similar result for a biharmonic Schr\"odinger equation in the $2$-torus. For a larger class of second order and higher order equations in a bounded domain with Dirichlet boundary conditions, we also show the existence of multiple solutions with prescribed small mass. The solutions we obtain are detected as ground states of Nehari-Pankov type for the associated $\lambda$-dependent action functional, where $\lambda$ varies in a spectral gap between sufficiently large eigenvalues of $A$. The key new observation in this abstract framework is the fact that the $H$-norms of these $\lambda$-dependent solution families form connected sets even though the solution families themselves may be disconnected. To estimate the size of these connected sets in specific settings, we use Weyl type estimates for the length of spectral gaps, variational characterizations of eigenvalues, bounds for associated eigenfunctions and a bound from analytic number theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops an abstract variational framework for equations Au = λu + I'(u) with A self-adjoint and compact resolvent, showing that H-norms of λ-dependent Nehari-Pankov ground-state families form connected sets (even if the families are disconnected). This is combined with Weyl-type spectral gap estimates to prove existence of infinitely many normalized solutions with arbitrarily large prescribed mass for mass-supercritical NLS on compact graphs, extending prior small-mass results; analogous results are obtained for biharmonic equations on the torus and small-mass solutions for higher-order problems in domains.
Significance. If the connectedness property and gap estimates hold under the stated assumptions, the work provides a general tool for normalized solutions in the mass-supercritical regime without subcriticality restrictions, with concrete improvements for graph problems via standard variational and eigenvalue arguments. The new observation on connected norm sets is a potentially reusable technique for indefinite variational problems.
major comments (1)
- [§2] §2 (Abstract framework), the connectedness result for H-norms of λ-dependent families: the argument that these sets remain connected under the general assumptions on A and I is load-bearing for reaching arbitrarily large masses; the proof sketch using variational characterizations should be checked against possible discontinuities at eigenvalue crossings to confirm it covers the full supercritical range without additional restrictions.
minor comments (2)
- [Introduction] Introduction, comparison with prior graph results: a short table listing covered mass ranges (small vs. arbitrary) for the NLS on graphs would clarify the improvement.
- [§4] §4 (Graph application), notation: the precise form of the nonlinearity and the graph Laplacian operator could be restated explicitly when applying the abstract theorem to avoid cross-referencing.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive recommendation for minor revision. We address the major comment point by point below.
read point-by-point responses
-
Referee: [§2] §2 (Abstract framework), the connectedness result for H-norms of λ-dependent families: the argument that these sets remain connected under the general assumptions on A and I is load-bearing for reaching arbitrarily large masses; the proof sketch using variational characterizations should be checked against possible discontinuities at eigenvalue crossings to confirm it covers the full supercritical range without additional restrictions.
Authors: We appreciate the referee pointing out the need to confirm robustness at eigenvalue crossings. In Section 2 the λ-dependent Nehari-Pankov manifolds are constructed inside open spectral gaps of A, so that λ varies continuously between consecutive eigenvalues and the quadratic form A−λI has constant Morse index throughout each gap. The connectedness of the associated norm sets follows from the continuous dependence of the minimax characterization on λ (the ground-state energy is continuous in λ by standard arguments) together with the continuity of the H-norm map. Because we deliberately choose the gaps to lie strictly between eigenvalues, the index remains fixed and no crossing occurs inside the interval of λ under consideration; hence the norm sets cannot jump. This construction already covers the full mass-supercritical regime under the stated assumptions on A and I. To make the argument fully explicit we will insert a short clarifying paragraph in the revised Section 2. revision: yes
Circularity Check
No significant circularity
full rationale
The derivation establishes a new abstract result on connectedness of H-norms for λ-dependent Nehari-Pankov families under general assumptions on A and I, proved via variational methods independent of the target mass values. This is then combined with external Weyl-type spectral gap estimates and standard eigenvalue bounds to reach arbitrarily large masses on graphs. No step reduces by construction to a fitted input, self-citation chain, or renamed known result; the central claim has independent mathematical content and relies on externally verifiable estimates rather than internal redefinition.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Self-adjoint operators with compact resolvent possess discrete spectra with gaps suitable for placing the parameter lambda
- standard math Variational principles apply to Nehari-Pankov type manifolds for finding ground-state critical points
Reference graph
Works this paper leans on
-
[1]
V. I. Arnold,Mathematical Methods of Classical Mechanics, 2nd ed., Graduate Texts in Mathematics, Springer New York, 1989
work page 1989
-
[2]
T. Bartsch and J. Mederski, Ground and bound state solutions of semilinear time-harmonic Maxwell equations in a bounded domain,Arch. Ration. Mech. Anal.215(1), 283–306, 2015
work page 2015
-
[3]
T. Bartsch and J. Mederski, Nonlinear time-harmonic Maxwell equations in an anisotropic bounded medium,J. Funct. Anal.272(10), 4304–4333, 2017
work page 2017
-
[4]
T. Bartsch and J. Mederski, Nonlinear time-harmonic Maxwell equations in domains,J. Fixed Point Theory Appl.19(1), 959–986, 2017
work page 2017
-
[5]
G. Berkolaiko and P. Kuchment,Introduction to quantum graphs, American Mathematical Soc., 2013
work page 2013
-
[6]
J. Bolte and S. Endres, The Trace Formula for Quantum Graphs with General Self Adjoint Boundary Conditions,Ann. Henri Poincar´ e10, 189–223, 2009
work page 2009
-
[7]
J. Borthwick, X. Chang, L. Jeanjean, and N. Soave, Normalized solutions ofL 2-supercritical NLS equations on noncompact metric graphs with localized nonlinearities,Nonlinearity36(7), 3776, 2023. 30 NORMALIZED SOLUTIONS OF NEHARI-PANKOV TYPE
work page 2023
-
[8]
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
-
[9]
P. Carrillo, D. Galant, L. Jeanjean, and C. Troestler, Infinitely many normalized solutions ofL 2- supercritical NLS equations on noncompact metric graphs with localized nonlinearities,Discrete Con- tin. Dyn. Syst.45, 2025
work page 2025
- [10]
-
[11]
F. O. de Paiva, W. Kryszewski, and A. Szulkin, Generalized Nehari manifold and semilinear Schr¨ odinger equation with weak monotonicity condition on the nonlinear term,Proc. Amer. Math. Soc.145, 4783–4794, 2021
work page 2021
-
[12]
C. De Coster, S. Dovetta, D. Galant, and E. Serra, An action approach to nodal and least energy nor- malized solutions for nonlinear Schr¨ odinger equations,Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, published online first, 2025
work page 2025
-
[13]
S. Dovetta, Existence of infinitely many stationary solutions of theL 2-subcritical and critical NLSE on compact metric graphs,J. Differential Equations264(7), 4806–4821, 2018
work page 2018
-
[14]
F. Gazzola, H.-C. Grunau, and G. Sweers,Polyharmonic Boundary Value Problems, Springer Berlin, Heidelberg, 2010
work page 2010
-
[15]
G. H. Hardy and E. M. Wright,An Introduction to the Theory of Numbers, 4th ed., Clarendon Press Oxford, 1960
work page 1960
-
[16]
L. Jeanjean and L. Song, Sign-changing prescribed mass solutions forL 2-supercritical NLS on compact metric graphs,arXiv preprint arXiv:2501.14642, 2025
-
[17]
A. Kairzhan, D. Noja, and D. E. Pelinovsky, Standing waves on quantum graphs,J. Phys. A: Math. Theor.55(24), Art. 244012, 2022
work page 2022
-
[18]
P. Kurasov,Spectral Geometry of Graphs, Operator Theory: Advances and Applications, Birkh¨ auser Berlin, Heidelberg, 2024
work page 2024
-
[19]
R. Mandel and T. Weth, Ground state solutions to generalized nonlinear wave equations with infinite- dimensional kernel,arXiv preprint arXiv:2510.22544, 2025
-
[20]
Pankov, Periodic nonlinear Schr¨ odinger equation with application to photonic crystals,Milan J
A. Pankov, Periodic nonlinear Schr¨ odinger equation with application to photonic crystals,Milan J. Math.73, 259–287, 2005
work page 2005
-
[21]
D. Pierotti and G. Verzini, Normalized bound states for the nonlinear Schr¨ odinger equation in bounded domains,Calc. Var. Partial Differential Equations56(5), Art. 133, 2017
work page 2017
-
[22]
M. Ramos and H. Tavares, Solutions with multiple spike patterns for an elliptic system,Calc. Var. Partial Differential Equations31(1), 1–25, 2008
work page 2008
-
[23]
M. Reed and B. Simon,Methods of Modern Mathematical Physics IV: Analysis of Operators, Academic Press, 1978
work page 1978
-
[24]
A. Szulkin and T. Weth, Ground state solutions for some indefinite variational problems,J. Funct. Anal.257(12), 3802–3822, 2009
work page 2009
-
[25]
A. Szulkin and T. Weth, The Method of Nehari Manifold, inHandbook of Nonconvex Analysis and Applications(D. Y. Gao and D. Motreanu, eds.), International Press Somerville, 597–632, 2010
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.