On existence, uniqueness and radiality of normalized solutions to Schr\"{o}dinger-Poisson equations with non-autonomous nonlinearity

Chengcheng Wu

arxiv: 2312.16368 · v3 · submitted 2023-12-27 · 🧮 math.AP

On existence, uniqueness and radiality of normalized solutions to Schr\"{o}dinger-Poisson equations with non-autonomous nonlinearity

Chengcheng Wu This is my paper

Pith reviewed 2026-05-24 05:34 UTC · model grok-4.3

classification 🧮 math.AP

keywords Schrödinger-Poisson equationsnormalized solutionsnon-autonomous nonlinearityexistenceuniquenessradial symmetryimplicit function theorem

0 comments

The pith

Normalized solutions to the Schrödinger-Poisson equation with non-autonomous nonlinearity exist in three growth regimes and are unique and radially symmetric for small mass.

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

The paper studies normalized solutions of the Schrödinger-Poisson equation with a nonlinearity f(x,u) that depends explicitly on position. It splits the admissible nonlinearities into three classes according to whether their growth is L2-supercritical, L2-subcritical but slower than cubic, or L2-subcritical but faster than cubic. Separate arguments establish existence in each class. When the prescribed L2-mass c is small, an implicit-function argument further yields uniqueness together with radial symmetry about some point in space.

Core claim

We establish the existence of solutions using three different methods depending on f(x,u). Furthermore, we demonstrate the uniqueness and radial symmetry of normalized solutions using an implicit function framework when c is small.

What carries the argument

Case-by-case variational constructions for existence together with an implicit-function argument on the mass constraint that yields uniqueness and radial symmetry for small c.

Load-bearing premise

The non-autonomous nonlinearity must satisfy growth conditions that place it cleanly into one of the three distinguished cases.

What would settle it

A function f(x,u) that meets the growth bounds of one case yet admits no normalized solution, or admits two distinct normalized solutions even for arbitrarily small c.

read the original abstract

We investigate the existence, uniqueness, and radial symmetry of normalized solutions to the Schr\"{o}dinger Poisson equation with non-autonomous nonlinearity $f(x,u)$: \begin{equation} -\triangle u+(|x|^{-1}*|u|^2)u=f(x,u)+\lambda u, \nonumber \end{equation} subject to the constraint $\mathcal{S}_c=\{u\in H^1(\mathbb{R}^3)|\int_{\mathbb{R}^3}u^2=c>0 \}$. We consider three cases based on the behavior of $f(x,u)$: the $L^2$ supercritical case, the $L^2$ subcritical case with growth speed less than three power times, and the $L^2$ subcritical case with growth speed more than three power times. We establish the existence of solutions using three different methods depending on $f(x,u)$. Furthermore, we demonstrate the uniqueness and radial symmetry of normalized solutions using an implicit function framework when $c$ is small.

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.

Desk Editor's Note private letter to a colleague

Incremental extension of normalized Schrödinger-Poisson results to non-autonomous f(x,u) across three growth regimes, with small-c uniqueness via implicit functions; abstract-only view leaves the details unverified.

read the letter

The paper takes the standard normalized-solution problem for the Schrödinger-Poisson equation and replaces the usual autonomous nonlinearity with a position-dependent f(x,u). It splits into three explicit regimes (L²-supercritical, L²-subcritical with growth slower than cubic, and faster than cubic) and claims existence by different variational arguments in each case, plus uniqueness and radial symmetry for small mass c via an implicit-function argument around the autonomous limit. That combination is the actual new piece; prior work handled autonomous f, so moving to x-dependent growth while keeping the three-regime split and the small-c uniqueness is a direct extension. The strategy itself is the usual one in this subfield—constrained minimization or mountain-pass for existence, then implicit differentiation of the Euler-Lagrange map for local uniqueness—so nothing here looks invented or circular from the abstract. The main limitation is that only the abstract is available. Without the precise growth hypotheses on f, the error estimates, or the verification that the implicit-function setup really produces radial solutions, one cannot check whether the arguments close or whether the small-c regime is handled cleanly. The claims are stated sharply enough that a referee could test them, but right now the soundness cannot be assessed above the lowest level. This is written for people already working on normalized solutions for nonlocal Schrödinger equations; a reader outside that niche will not get much. It is the sort of targeted follow-up that deserves referee time if the proofs are complete, rather than a desk reject.

Referee Report

0 major / 1 minor

Summary. The manuscript investigates existence, uniqueness, and radial symmetry of normalized solutions to the Schrödinger-Poisson equation −Δu + (|x|⁻¹ * |u|²)u = f(x,u) + λu under the fixed-mass constraint ∫u² = c > 0. It distinguishes three regimes for the non-autonomous nonlinearity f (L²-supercritical; L²-subcritical with growth slower than cubic; L²-subcritical with growth faster than cubic), claims case-specific existence proofs for each regime, and asserts uniqueness plus radial symmetry for sufficiently small c via an implicit-function framework.

Significance. If the detailed arguments hold, the results would extend the literature on normalized solutions from autonomous to non-autonomous nonlinearities and supply a uniform small-mass uniqueness/radiality statement. The case-by-case existence strategy and implicit-function approach are standard tools in the field, so the contribution would be incremental but potentially useful for researchers working on mass-constrained variational problems.

minor comments (1)

[Abstract] Abstract: the three existence methods are invoked but never named; the introduction should state explicitly which variational or topological tool is applied in each growth regime.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report summarizing our manuscript. No specific major comments or objections were raised in the provided referee report, so we have no individual points to address or rebut at this time.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from abstract

full rationale

Only the abstract is available, which describes case-by-case existence proofs via standard variational methods for three growth regimes of f(x,u) and uniqueness/radiality via an implicit-function framework for small c. No equations, self-citations, fitted parameters, or ansatzes are exhibited that reduce any claimed result to its own inputs by construction. The approach is consistent with independent techniques for normalized Schrödinger-Poisson problems and does not invoke load-bearing self-referential definitions or prior-author uniqueness theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; no free parameters or invented entities are mentioned. The work relies on standard functional-analytic background for H¹ spaces and variational methods.

axioms (2)

domain assumption The nonlinearity f(x,u) satisfies growth and regularity conditions that place it in one of the three stated L² regimes.
Abstract states that the choice of existence method depends on this classification.
standard math The problem is well-posed in H¹(ℝ³) with the L²-mass constraint S_c.
Standard Sobolev-space setting for such equations.

pith-pipeline@v0.9.0 · 5683 in / 1428 out tokens · 47890 ms · 2026-05-24T05:34:10.672375+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We investigate ... the Schrödinger Poisson equation ... in R^3 ... three cases based on the behavior of f(x,u)

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.