Pith. sign in

REVIEW 3 major objections 5 minor 23 references

Normalized solutions for the NLS equation with potential in higher dimension: the purely Sobolev critical case

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For N≥6, the purely Sobolev-critical NLS with an attractive potential admits a positive normalized mountain-pass solution.

desk verdict The local-minimizer result looks plausible, but the N≥6 mountain-pass theorem has a load-bearing gap: condition (8) does not control V^+, so the key estimate (41) in Lemma 3.3 is unjustified. read the letter →

arxiv 2507.23639 v1 pith:INH3P4PY submitted 2025-07-31 math.AP

Juntao Sun , Shuai Yao , He Zhang This is my paper · ORCID
classification math.AP MSC 35J2035J6035Q5535B33
keywords normalizedsolutionsNLSequationSobolevcriticalexponentmountain-passsolutionlocalminimizerconstrainedpointsPohozaevidentitytrappingpotential
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

The paper studies the nonlinear Schrödinger equation with prescribed mass $\int u^2 = a^2$, a potential $V$, and the purely Sobolev-critical nonlinearity $|u|^{2^*-2}u$, where $2^* = 2N/(N-2)$. It proves that under smallness conditions on the negative parts of $V$, a local minimizer with negative energy exists for every $N \ge 3$, improving the assumptions of the earlier treatment of the same problem. Its main result is a mountain-pass solution with positive energy for $N \ge 6$, the dimension range left open there. The new ingredient is a local-attractiveness condition on the potential: inside a fixed ball, the negative part of the localized component must strictly dominate the bounded component's negative part, which pushes the minimax level below the threshold where bubbling would break compactness. If correct, the two theorems complete the normalized-solution picture for this equation in all dimensions $N \ge 3$.

What carries the argument

The argument rescales the problem to the unit sphere by setting $v = u/a$ and $\mu = a^{4/(N-2)}$, so solutions become critical points of $J_\mu(v) = \frac{1}{2}\int |\nabla v|^2 + \frac{1}{2}\int V v^2 - \frac{\mu}{2^*}\int |v|^{2^*}$ on $M = \{ \int v^2 = 1 \}$. Two objects carry the proof: the negative-energy local minimizer $\bar{v}$ from Theorem 1.2, obtained by minimizing inside a gradient ball of radius $t_\mu$, and the Sobolev bubble $U_\varepsilon$, a cutoff of the standard optimizer of the Sobolev inequality used to test the energy. The paper builds test paths $\Psi_{\varepsilon,t} = \xi^{(N-2)/2}((1 - t^2\|U_\varepsilon\|_2^2)^{1/2}\bar{v} + tU_\varepsilon)(\xi x)$, renormalized onto $M$, and estimates their energy along a further dilation $s \mapsto (\Psi_{\varepsilon,t})_s$. Condition (8) makes the $\varepsilon^{(N-2)/2}$-coefficient of the bubble term negative, yielding $\theta_\mu < \alpha_\mu + \frac{1}{N}S^{N/2}\mu^{1-N/2}$; a min-max principle for Hilbert manifolds then produces a bounded Palais–Smale sequence that converges strongly to the mountain-pass solution.

What would settle it

A concrete check is to evaluate the coefficient of $\|U_\varepsilon\|_2^2$ in the mountain-pass level estimate (41) when condition (8) is reduced to equality, i.e. $\inf_{B_{2R_*}} V_1^- = \|V_2^-\|_\infty$. If the next-order terms still give $\theta_\mu < \alpha_\mu + \frac{1}{N}S^{N/2}\mu^{1-N/2}$, condition (8) is not sharp; if the inequality degenerates and a Palais–Smale sequence at that level can only converge up to a bubble, the strict form of (8) is necessary.

Watch

Extended reading notes

Core claim

The paper's central discovery is Theorem 1.4: for $N \ge 6$, under assumptions (3)–(7) plus condition (8), problem (1) has a mountain-pass solution $\bar{v}^* \in H^1(\mathbb{R}^N)$ with positive energy, a negative Lagrange multiplier, and $\bar{v}^* > 0$ almost everywhere. It also proves Theorem 1.2: for all $N \ge 3$, under (3)–(5), a local minimizer with negative energy exists, and under the additional smallness bounds (6) or (7) this minimizer is a ground state. Together these results remove the dimensional restriction in the previous treatment, where the mountain-pass solution was only available for $3 \le N \le 5$, and weaken the assumptions under which the negative-energy local minimizer is known to be a ground state. The mountain-pass solution is found by a minimax over paths on the $L^2$ sphere joining the local minimizer to a high-energy point, with the level controlled below the first bubbling threshold.

Load-bearing premise

The proof needs the potential to be strictly more attractive in a fixed ball than its bounded component's worst negative part anywhere; if that strict inequality becomes an equality, the energy estimate at the minimax level loses its margin and the argument no longer produces a strongly converging sequence.

Editorial extensions

If this is right

  • For $N \ge 6$, a sufficiently attractive potential yields at least two normalized solutions: the negative-energy local minimizer and the positive-energy mountain-pass solution.
  • The negative-energy minimizer is a ground state under the smallness conditions (6) for $N = 3,4$ and (7) for $N \ge 5$, so the prescribed mass and the potential together determine the least-energy bound state.
  • The potential family $V(x) = -C/(1+|x|^\tau)$ with $\tau > 2$ satisfies all hypotheses for suitably small $C$, large cutoff radii, or small mass $a$, so the theorems apply to explicit trapping wells.
  • The strict level bound $\theta_\mu < \alpha_\mu + \frac{1}{N}S^{N/2}\mu^{1-N/2}$ blocks bubble loss of compactness, so the Palais–Smale sequence converges strongly instead of splitting off a Sobolev bubble.
  • The mountain-pass solution carries a negative Lagrange multiplier, so it is a bound state in the usual spectral sense even though its energy level is positive.

Reading between the lines

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

  • Condition (8) is probably sufficient rather than necessary: the proof only needs the $\varepsilon^{(N-2)/2}$ coefficient in (41) to be negative, so an averaged or weighted form of the same local dominance could drive the identical minimax argument.
  • Because the ball radius $R_*$ is tied to the bubble cutoff, shrinking $R_*$ is itself part of the mechanism; the same strategy should extend to potentials with several attractive wells, producing multi-bump mountain-pass solutions.
  • A natural next question is dynamical: the mountain-pass solution sits above a local minimizer and is therefore a candidate for orbital instability under the associated time-dependent NLS flow, but the paper does not address stability.
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

3 major / 5 minor

Summary. The manuscript studies normalized solutions of the NLS equation -Δu+V(x)u=λu+|u|^{2*-2}u on R^N with prescribed L^2 norm a^2, where V=V1+V2 with V1∈L^{N/2} and V2∈L^∞ decaying at infinity. Under hypotheses (3)-(7), Theorem 1.2 establishes a local minimizer/ground state with negative energy for all N≥3; under the additional condition (8), inf_{B_{2R*}} V1^- > ||V2^-||∞, Theorem 1.4 claims a mountain-pass solution with positive energy for N≥6, which would close an open problem in Verzini-Yu [19, Remark 1.11]. The proof normalizes the mass to one, introduces the ground-state level αμ, constructs a path from the ground state v̄ to a high-energy configuration, and estimates the minimax level by comparing a concentrated bubble Uε with the critical bubble energy (1/N)S^{N/2}μ^{1-N/2}.

Significance. If the results were fully supported, Theorem 1.4 would solve the N≥6 case left open in [19] and Theorem 1.2 would modestly improve the local-minimizer result in the same paper. The variational strategy—Pohozaev identities, a positive-energy barrier, a local minimizer, and a bubble-based mountain-pass comparison—is a natural and potentially valuable approach. However, the central energy comparison in Lemma 3.3 is not justified by condition (8), and several load-bearing lemmas are deferred to [19] without details. The main theorem therefore needs substantive revision before the claim can be accepted.

major comments (3)
  1. [Section 3, Lemma 3.3, Eq. (41)] Condition (8) does not imply the estimate claimed in Eq. (41). Since V = V1^+ - V1^- + V2^+ - V2^-, condition (8) controls only V1^- on B_{2R*}; it does not control V1^+ or V2^+. The proof silently uses ∫ V Uε^2 dx ≤ -C||Uε||_2^2, but with V1^+(x)=κ|x|^{-α}χ_{B_1}(0), 0<α<2 and N≥6, scaling gives ∫ V1^+ Uε^2 = cκ ε^{2-α}+o(ε^{2-α}), while ||Uε||_2^2 = c1 ε^2+O(ε^{N-2}). Thus the positive contribution can dominate and ∫ V Uε^2 can be positive of order ε^{2-α}. Such a potential can satisfy (3)-(8): take V1^-=Mχ_{B_{2R*}} and V2=-mχ_{B_L} with M>m and κ small. Therefore Eq. (41) is false as stated, and the strict inequality θμ<αμ+(1/N)S^{N/2}μ^{1-N/2} is not established. A smallness condition on V^+ relative to the gap in (8), or a different estimate, is needed.
  2. [Section 2, Lemma 2.5] The attainment of αμ is not proved; the text says only "Similar to the argument of [19, Lemma 4.2], we can prove that αμ < 0 is achieved." Since the minimizer v̄ at level αμ is the base point of the minimax path in Section 3 and is needed to define Γ, this is a load-bearing step. The authors should either provide the proof in full or state precisely which hypotheses of [19, Lemma 4.2] apply and why the same argument works here.
  3. [Section 3, Lemma 3.5] The existence of a bounded Palais-Smale sequence at level θμ and the strong convergence to a nonzero critical point are deferred to '[19, Lemma 5.6]' with no details. In particular, excluding the alternative in Lemma 2.3(ii) relies on the strict gap θμ<αμ+(1/N)S^{N/2}μ^{1-N/2}; once Lemma 3.3's gap is invalid, this convergence argument loses its foundation. A self-contained proof of Lemma 3.5 is required.
minor comments (5)
  1. [Section 3, Lemma 3.3, Step 1] The condition "1 - t||Uε||_2^2 > 0" should read "1 - t^2||Uε||_2^2 > 0" to match the definition of ψε,t = (1 - t^2||Uε||_2^2)^{1/2} v̄ + tUε.
  2. [Introduction, condition (8)] The notation V1^- and V2^- is used in condition (8) before the positive/negative part notation is defined; it should be introduced explicitly.
  3. [Section 3, proof of Lemma 3.3] Lemma 3.1 is applied with φ = v̄, but Lemma 3.1 requires φ ∈ L^∞_{loc}(B_{2R*}); the local boundedness of the ground state v̄ is not established in the paper.
  4. [Section 2, proof of Theorem 1.2] The sentence "Similar to the arguments of [19, Lemmas 4.1 and 4.2]" covers the existence and convergence of the minimizing sequence; these arguments should be written out or precisely located in [19] to make the paper self-contained.
  5. [Throughout] There are several typographical issues, such as "correspondis" in Theorem 1.2 and "weaking" in the introduction; these should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation chain is self-contained and does not reduce to its own assumptions.

full rationale

The paper's Theorem 1.4 is obtained by a genuine minimax argument, not by reusing its own conclusion or by fitting a parameter. The central new hypothesis is condition (8), inf_{B_{2R_*}} V_1^- > ||V_2^-||_∞, which is an external assumption introduced to make the mountain-pass level estimate work; it is not a restatement of the existence of a normalized solution, and the proof attempts to use it to obtain the strict inequality θ_μ < α_μ + (1/N) S^{N/2} μ^{1-N/2}. The key estimates in Lemma 3.3 rely on standard facts from Brezis-Lieb, Ghoussoub, and the independent preprint of Verzini and Yu (arXiv:2505.05357v1), which has no author overlap with the present paper. The local minimizer part (Theorem 1.2) is proven using the paper's own Lemmas 2.4-2.6 and the cited Verzini-Yu lemmas; these are external analytical tools, not circularly imported from the paper's own conclusions. There is no fitted input called a prediction, no self-definitional relation between an ansatz and the result, and no uniqueness theorem imported from the same authors. The only concern visible in the manuscript is a potential mathematical gap in Lemma 3.3 Step 2: the estimate (41) is derived from (8), but (8) only controls V_1^- and V_2^- and does not bound the positive parts V_1^+, V_2^+; if this objection is valid, the lemma is wrong, not circular. A counterexample to the estimate would show a missing condition, not that the result is equivalent to its input by construction. The paper cites some of its own prior works (e.g., [17], [18], [20], [22]) only in the introductory survey and not as load-bearing evidence for the normalized-solution existence; those self-citations are therefore not circularity. Overall, I find no step in which the claimed mountain-pass or ground-state result reduces, by definition or by self-citation, to its own assumptions.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The paper introduces no new entities or fitted constants. Its central claims rest on assumptions about the potential V, on results taken from the external preprint [19], and on standard variational tools. The only hand-chosen parameter is the concentration radius R*, which must satisfy both (8) and the smallness condition in Lemma 3.3.

free parameters (2)
  • R* (concentration radius in (8)) = unspecified, taken small in Lemma 3.3
    The theorem assumes some R*>0 with inf_{B_{2R*}} V1^- > ||V2^-||_infty; the proof later requires R* small enough so c5 R*^2 - c6 < 0. This choice is load-bearing for the mountain-pass level estimate.
  • Constants C1, C2, C3 in (6)-(7) = never specified
    The ground-state conclusions depend on negative-energy solutions having gradient below t_mu, which is enforced by asserting the existence of these constants; Remark 2.7 gives only a case split, not explicit bounds.
assumptions (4)
  • domain assumption Potential decomposition (3)-(4): V1 in L^{N/2}, W1 in L^N, V2 and W2 bounded and vanishing at infinity, and e_lambda1 < 0.
    These are inherited from [19]; they make the quadratic form indefinite and ensure a negative energy level exists.
  • domain assumption Smallness conditions (5)-(7) on the negative and positive parts of V.
    They guarantee a positive energy barrier beta_mu and control the gradient of negative-energy solutions, used in Lemmas 2.4 and 2.6.
  • domain assumption Condition (8): inf_{x in B_{2R*}} V1^-(x) > ||V2^-||_infty for some R*>0.
    This local attractiveness condition is introduced in this paper to make the mountain-pass level estimate in Lemma 3.3 work.
  • standard math Standard tools: Sobolev embedding D^{1,2} into L^{2*}, Pohozaev identity, Ghoussoub min-max principle, and concentration-compactness arguments.
    Invoked throughout the proofs; no independent proof is given, and they are standard in the field.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Normalized solutions for the NLS equation with potential in higher dimension: the purely Sobolev critical case." pith.science (2026). https://pith.science/paper/INH3P4PY

@misc{pith2026250723639,
  author       = {Pith},
  title        = {Pith review of: Normalized solutions for the NLS equation with potential in higher dimension: the purely Sobolev critical case},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/INH3P4PY}},
  note         = {Machine review of arXiv:2507.23639}
}
read the original abstract

We study normalized solutions for the nonlinear Schrodinger (NLS) equation with potential and Sobolev critical nonlinearity. By establishing suitable assumptions on the potential, together with new techniques, we find a mountain-pass type solution for N>=6, which solves an open problem presented in a recent paper [Verzini and Yu, arXiv:2505.05357v1]. Moreover, we also find a local minimizer with negative energy for N>=3, which improves the results in [Verzini and Yu, arXiv:2505.05357v1].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [19]

    Normalized solutions for the nonlinear Schr\"odinger equation with potential: the purely Sobolev critical case

    G. Verzini, J. Yu, Normalized solutions for the nonlinear Schr¨ odinger equation with potential: the purely Sobolev critical case, arXiv:2505.05357v1, (2025)

    work page Pith review arXiv 2025

  2. [1]

    Bartsch, R

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

    work page 2021

  3. [2]

    Bieganowski, J

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

    work page 2021

  4. [3]

    Br´ ezis, E.H

    H. Br´ ezis, E.H. Lieb, A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc. 88 (1983) 486–490

    work page 1983

  5. [4]

    Ding and X

    Y. Ding and X. Zhong, Normalized solution to the Schr¨ odinger equation with potential and general nonlinear term: Mass super-critical case, J. Differential Equations 334 (2022) 194–215

    work page 2022

  6. [5]

    Ghoussoub, Duality and perturbation methods in critical point theory, Cambridge Uni- versity Press, Cambridge, 1993

    N. Ghoussoub, Duality and perturbation methods in critical point theory, Cambridge Uni- versity Press, Cambridge, 1993

    work page 1993

  7. [6]

    Ikoma, Y

    N. Ikoma, Y. Miyamoto, Stable standing waves of nonlinear Schr¨ odinger equations with potentials and general nonlinearities, Calc. Var. PDE 59 (2020) 48

    work page 2020

  8. [7]

    Jeanjean, Existence of solutions with prescribed norm for semilinear elliptic equations, Nonlinear Anal

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

    work page 1997

Show all 23 references
  1. [8]

    Jeanjean, T.T

    L. Jeanjean, T.T. Le, Multiple normalized solutions for a Sobolev critical Schr¨ odinger equa- tion, Math. Ann. 384 (2022) 101–134

    2022

  2. [9]

    Lions, The concentration-compactness principle in the calculus of variations

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

    1984

  3. [10]

    Molle, G

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

    2022

  4. [11]

    Pellacci, A

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

    2021

  5. [12]

    Pierotti, G

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

    2017

  6. [13]

    Pierotti, G

    D. Pierotti, G. Verzini, J. Yu, Normalized solutions for Sobolev critical Schr¨ odinger equations on bounded domains, SIAM J. Math. Anal. 57 (2025) 262–285

    2025

  7. [14]

    Soave, Normalized ground states for the NLS equation with combined nonlinearities, J

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

    2020

  8. [15]

    Soave, Normalized ground states for the NLS equation with combined nonlinearities: the Sobolev critical case, J

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

    2020

  9. [16]

    L. Song, W. Zou, Two positive normalized solutions on star-shaped bouned domains to the Br´ ezis-Nirenberg problem, I: Existence, arXiv: 2404.11204v1, (2024)

    2024 arXiv

  10. [17]

    J. Sun, J. Zhang, V.D. Radulescu, T.F. Wu, Choquard equations with saturable reaction, Calc. Var. PDE (2025) 64:61

    2025

  11. [18]

    J. Sun, S. Yao, J. Zhang, Planar Schr¨ odinger–Poisson system with exponential critical growth: Local well-posedness and standing waves with prescribed mass, Stud. Appl. Math. (2024) 153: e12760

    2024

  12. [20]

    C. Wang, J. Sun, Normalized solutions for the p-Laplacian equation with a trapping potential, Adv. Nonlinear Anal. (2023) 12: 20220291

    2023

  13. [21]

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

    2022

  14. [22]

    Zhang, S

    R. Zhang, S. Yao, J. Sun, Normalized solutions for Schr¨ odinger-Bopp-Podolsky system with a negative potential, Appl. Math. Lett. 161 (2025) 109368

    2025

  15. [23]

    Zhong, W

    X. Zhong, W. Zou, A new deduction of the strict binding inequality and it application: Ground state normalized solution to Schr¨ odinger equations with potential, Differ. Integral Equ. 36 (2023) 133–160. 15

    2023

Pith tools

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