Radial symmetry, uniqueness and non-degeneracy of solutions to degenerate nonlinear Schr\"odinger equations
Pith reviewed 2026-05-23 01:17 UTC · model grok-4.3
The pith
Ground states of the degenerate nonlinear Schrödinger equation are radially symmetric, strictly decreasing, unique, and non-degenerate in the radial space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any ground state is radially symmetric and strictly decreasing in the radial direction. Moreover, we establish the uniqueness of ground states and derive the non-degeneracy of ground states in the corresponding radially symmetric Sobolev space. This affirms the natural conjectures posed recently in the cited reference.
What carries the argument
Ground states as minimizers of the energy functional associated to the degenerate operator -div(|x|^{2a} ∇u) + ωu in the weighted Sobolev space.
If this is right
- Analysis of ground states reduces without loss to the radial setting.
- There is a unique ground state (up to sign) for the given parameter ranges.
- The second variation of the energy is positive definite on the radial space orthogonal to the ground state.
- Existence and variational methods can focus exclusively on radial trial functions.
Where Pith is reading between the lines
- The radial ODE obtained after symmetry reduction may admit explicit or asymptotic solution formulas for the profile.
- Non-degeneracy opens the door to local bifurcation or continuation arguments for nearby equations with the same weight.
- Uniqueness implies that any other critical point of the energy must lie at higher energy levels.
Load-bearing premise
Ground states exist as minimizers of the energy functional under the stated restrictions on p that make the functional well-defined and the relevant embeddings valid.
What would settle it
Constructing or numerically locating a non-radial ground state for any choice of d, a, ω, p inside the given range would disprove the symmetry and uniqueness claims.
read the original abstract
In this paper, we consider the radial symmetry, uniqueness and non-degeneracy of solutions to the degenerate nonlinear elliptic equation $$ -\nabla \cdot \left(|x|^{2a} \nabla u\right) + \omega u=|u|^{p-2}u \quad \mbox{in} \,\, \R^d, $$ where $d \geq 2$, $0<a<1$, $\omega>0$ and $2<p<\frac{2d}{d-2(1-a)}$. We proved that any ground state is radially symmetric and strictly decreasing in the radial direction. Moreover, we establish the uniqueness of ground states and derive the non-degeneracy of ground states in the corresponding radially symmetric Sobolev space. This affirms the natural conjectures posed recently in \cite{IS}.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies ground states of the degenerate elliptic equation −∇·(|x|^{2a} ∇u) + ω u = |u|^{p−2} u in R^d (d ≥ 2, 0 < a < 1, ω > 0, 2 < p < 2d/(d−2(1−a))). It claims to prove that every ground state is radially symmetric and strictly radially decreasing, that ground states are unique, and that they are non-degenerate in the radially symmetric weighted Sobolev space, thereby confirming conjectures posed in [IS].
Significance. If the proofs are correct, the results resolve open conjectures for a natural class of weighted degenerate Schrödinger equations and supply the symmetry, uniqueness, and linear stability properties needed for further dynamical or stability analysis. The parameter range is chosen precisely so that the energy functional is well-defined and the relevant embeddings hold, which is a strength of the setup.
minor comments (3)
- [§1] §1, line after (1.3): the statement that the functional is coercive should be accompanied by an explicit reference to the range of p that guarantees the embedding H^{1,a} ↪ L^p is compact or continuous.
- [Theorem 1.1] Theorem 1.1: the phrase 'strictly decreasing in the radial direction' needs a precise definition (e.g., u'(r) < 0 for r > 0 a.e.) to avoid ambiguity when a > 0.
- [§4] §4 (non-degeneracy): the linearized operator is analyzed only in the radial subspace; it would be useful to state explicitly whether the kernel is trivial in that subspace or merely one-dimensional (corresponding to the translation mode, which is absent by radial symmetry).
Simulated Author's Rebuttal
We thank the referee for the positive summary and recommendation of minor revision. The report contains no listed major comments, so there are no specific points requiring point-by-point responses or revisions at this stage. We are pleased that the significance of confirming the conjectures from [IS] is recognized.
Circularity Check
No significant circularity; derivation relies on standard independent techniques
full rationale
The paper applies moving planes or rearrangement for radial symmetry, energy minimization in the weighted Sobolev space for uniqueness of ground states, and linearized spectral analysis for non-degeneracy. These are standard variational and elliptic PDE tools applied to the given degenerate equation under the stated parameter restrictions on p that guarantee the functional is well-defined and embeddings hold. The reference to conjectures in [IS] is external and not used as a load-bearing uniqueness theorem or ansatz. No self-definitional steps, fitted inputs renamed as predictions, or self-citation chains appear in the derivation chain. The result is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math The weighted Sobolev space admits the necessary embeddings for the given range of p.
- domain assumption Ground states exist in the space under the stated parameter conditions.
Reference graph
Works this paper leans on
-
[1]
A. Baernstein II, D. Drasin, R. Laugesen:Symmetrization in Analysis, Cambridge University Press, Cambridge, 2019
work page 2019
- [2]
-
[3]
J.E. Brothers, W .P . Ziemer:Minimal rearrangements of Sobolev functions, J. Reine Angew. Math. 384 (1988) 153–179
work page 1988
-
[4]
F . Brock, A.Y. Solynin:An approach to symmetrization via polarization, Trans. Amer. Math. Soc. 352 (4) (2000) 1759- 1796
work page 2000
-
[5]
L. Caffarelli, R. Kohn, L. Nirenberg:First order interpolation inequalities with weights, Compositio Math. 53 (3) (1984) 259-275
work page 1984
- [6]
-
[7]
R. Dautray, J.L. Lions:Mathematical Analysis and Numerical Methods for Science and Technology: Volume 1 Physical Origins and Classical Methods, Springer, Berlin, 1985
work page 1985
-
[8]
Hartman:Ordinary Differential Equations, Birkhäuser, 1982
P . Hartman:Ordinary Differential Equations, Birkhäuser, 1982
work page 1982
-
[9]
Ichinose:The Cauchy problem for Schrödinger type equations with variable coefficients, Osaka J
W . Ichinose:The Cauchy problem for Schrödinger type equations with variable coefficients, Osaka J. Math. 24 (4) (1987) 853-886
work page 1987
- [10]
-
[11]
E.H. Lieb, M. Loss:Analysis, Graduate Studies in Mathematics, American Mathematical Society, Providence, 2001
work page 2001
-
[12]
Weidmann:Spectral Theory of Ordinary Differential Operators, Springer, 1987
J. Weidmann:Spectral Theory of Ordinary Differential Operators, Springer, 1987
work page 1987
-
[13]
Yanagida:Uniqueness of positive radial solutions of∆u+g(r)u+h(r)u p =0in R n, Arch
E. Yanagida:Uniqueness of positive radial solutions of∆u+g(r)u+h(r)u p =0in R n, Arch. Ration. Mech. Anal. 115 (1991) 257-274
work page 1991
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.