REVIEW 3 major objections 5 minor 1 cited by
Normalized Solutions on large smooth domains to the Schr\"{o}dinger equation with potential and general nonlinearity: Mass super-critical case
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper proves that the mass-constrained nonlinear Schrödinger equation with a nonconstant potential admits positive normalized mountain-pass solutions on every sufficiently large star-shaped domain, and, for small masses, on all of…
desk verdict Plausible within-field extension of normalized NLS results to large domains with a potential, but Lemma 3.1's scaling is wrong for N≠3 and needs fixing before the main theorem holds. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying structure is the family of truncated energy functionals $E_{r,s}(u)=\frac12\int_{\Omega_r}|\nabla u|^2+\frac12\int_{\Omega_r} V u^2-s\int_{\Omega_r}G(u)$ on the mass sphere $S_{r,c}$, together with the monotonicity trick that produces bounded Palais-Smale sequences for almost every $s$. A Pohozaev-type identity, combined with the star-shaped geometry ($x\cdot n\ge 0$ on the boundary), converts the mountain-pass level into a uniform $H^1$ bound independent of $r$ and $s$. As $r\to\infty$, a concentration-compactness decomposition separates the whole-space solution $u_0$ from finitely many translated bubbles $w_k(\cdot-z_r^k)$ centered at points escaping to infinity; condition (V1), the exponential lower bound on $x\cdot\nabla V$ along rays, is precisely what rules those bubbles out, yielding strong convergence.
What would settle it
Fix $N=3$, take $V(x)=-\varepsilon(1+|x|^2)^{-1}$ and $g(u)=|u|^{p-2}u$ with $4<p<6$, and solve the constrained problem on $B_r$ for $c=1$ by a numerical mountain-pass algorithm for a sequence $r\to\infty$. The theorem predicts a positive solution with positive energy and $\lambda_r$ eventually positive for small $c$; finding a large $r$ with no such critical point, or a branch with $\lambda_r\to -\infty$ while $\|u_r\|_{\infty}$ stays bounded, would refute it.
Extended reading notes
Core claim
The central claim, stated on the paper's own terms, is Theorem 1.1 and Theorem 1.2: for every $c>0$ there exists $r_c>0$ such that problem (1.1)--(1.2) on $\Omega_r$ possesses a positive mountain-pass type solution $(\lambda_{r,c},u_{r,c})$ with $E_V(u_{r,c})>0$, and the family obeys a uniform $L^\infty$ bound as $r\to\infty$. If additionally $\|\tilde V_+\|_{N/2}<2S$ with $\tilde V(x)=x\cdot\nabla V(x)$, then for $0<c<\tilde c$ the frequencies satisfy $\liminf_{r\to\infty}\lambda_{r,c}>0$, and passing to the limit gives a positive solution $(\lambda_c,u_c)$ on $\mathbb{R}^N$ with $\lambda_c>0$, $E_V(u_c)>0$, and $E_V(u_c)\to\infty$ as $c\to\infty$. The proof establishes this by showing that no bubbles can escape to infinity during the domain expansion, so the $r\to\infty$ limit is strong rather than a superposition of bubbles.
Load-bearing premise
The load-bearing assumption is that the radial derivative $x\cdot\nabla V(x)$ stays positive and decays slower than every exponential as $|x|\to\infty$; if a potential satisfies the other hypotheses but violates this exponential growth condition, the proof's mechanism for excluding bubbles escaping to infinity no longer works, and the whole-space conclusion may fail.
Editorial extensions
If this is right
- For any prescribed mass $c>0$, every sufficiently large star-shaped domain carries a positive normalized solution of mountain-pass type with positive energy, even though the energy is unbounded below on the mass sphere.
- The uniform $L^\infty$ bound as $r\to\infty$ means the family of domain solutions does not develop spikes at the boundary; the whole-space solution is approached in a controlled way.
- Under the smallness condition $\|\tilde V_+\|_{N/2}<2S$, small masses yield whole-space solutions with positive frequency $\lambda_c>0$, so they behave like bound states rather than zero-frequency limits.
- The solution branch persists for all large masses in the whole space, with energy $E_V(u_c)\to\infty$ as $c\to\infty$.
- The result covers general mass-supercritical nonlinearities satisfying two-sided power bounds, not just pure power nonlinearities.
Reading between the lines
- If condition (V1) is weakened to polynomial decay of $x\cdot\nabla V$, the exponential-weight argument that kills the bubbles fails at a specific surface-integral estimate; a plausible consequence is that the $r\to\infty$ limit consists of a whole-space solution plus one or more bubbles at infinity, so the domain-size limit would be a superposition rather than a single solution.
- The quantitative threshold $\|\tilde V_+\|_{N/2}<2S$ suggests a concrete test: compute the largest $c$ for which the whole-space solution's frequency stays positive and compare it with the constant $\tilde c$ that would follow from optimizing the Gagliardo-Nirenberg constants in the proof.
- The same machinery should extend to coupled systems or potentials with singularities, as long as the mass-supercritical two-sided growth bounds and the exponential radial-growth condition hold; that extension is not stated in the paper.
- One can try to construct an explicit potential $V(x)=-\varepsilon(1+|x|^2)^{-1}$ and a pure power $g(u)=|u|^{p-2}u$ with $2+4/N<p<2^*$, and solve the constrained problem numerically on large balls; matching the predicted mountain-pass level and positive $\lambda_r$ would test the quantitative constants, while observing bubble concentration would suggest the exponential condition is needed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies normalized solutions (fixed L^2 mass) of the nonlinear Schrödinger equation -Δu+V(x)u+λu=g(u) on large star-shaped bounded domains Ω_r and on R^N, under mass-supercritical growth assumptions on the general nonlinearity g. The authors use the monotonicity trick and a mountain-pass geometry on the mass constraint manifold to prove, for every c>0, existence of a positive mountain-pass type solution on Ω_r for r sufficiently large; under an additional small-mass condition and a strong exponential decay/growth condition (V1), they obtain a positive solution on R^N with λ>0. The paper is framed as a complement to a recent work of Bartsch-Qi-Zou.
Significance. If the results are fully established, they constitute a useful extension of the normalized-solution theory to nonconstant potentials and general mass-supercritical nonlinearities on large domains, including a passage to the whole space with positive Lagrange multiplier. The proof strategy is standard and the paper contains no fitted free parameters; the claims are concrete and falsifiable. However, the current proof contains a dimensional-scaling error that, as written, restricts the main existence result to N=3, so the significance for the stated N≥3 depends on a repair of that argument.
major comments (3)
- [Section 3, Lemma 3.1] The trial function v_t(x)=t^{3/2}v_1(tx) is mass-preserving only in dimension N=3. Indeed, ∫_{Ω_{1/t}}|v_t|^2 dx = t^{3-N}c, so v_t∉S_{1,c} for N≠3. Because the estimates (3.2)–(3.7), the choice of endpoints u_0 and u_1, and the path γ_0 in part (iii) all use the same 3/2 scaling and the exponent 3(d'-2)/2 in the definition of h(t), the mountain-pass geometry of Lemma 3.1 is established only for N=3. Since Theorem 3.2 and Lemma 3.5(i) rely on this geometry, Theorem 1.1(i) is not proved for the stated N≥3. The proof can likely be repaired by replacing 3 with N throughout, but as written the argument covers only the three-dimensional case.
- [Theorem 1.2] The final assertion 'lim_{c→∞} E_V(u_c)=∞' is inconsistent with the quantifier 'for any 0<c<\tilde c' preceding it, and Section 4 proves only the passage r→∞ for fixed c; no proof of an energy limit in c appears anywhere. If the intended limit is c→0+, it still requires an argument; if not, the assertion should be removed or corrected.
- [Section 4, Lemma 4.1, Step 2] The statement 'It follows from (3.15) that m0>0' is not justified: (3.15) concerns lim inf of max_{Ω_r} u_{r,c}, whereas z^1_r is a concentration center of the remainder ν^1_r=u_r-u_0, and there is no evident relation between the two. The half-space exclusion may be obtainable directly for m0=0 as well, but the manuscript needs to supply the missing reasoning or clarify the role of (3.15).
minor comments (5)
- [Abstract] The abstract advertises 'multiplicity' and 'bifurcation property', but no theorem in the manuscript concerns multiplicity or bifurcation; the abstract should be aligned with the actual results.
- [Lemma 3.5] In the proof of (ii), Case 2, the phrase 'by an argument similar to that in Lemma 3.5' is a self-reference; presumably another lemma (e.g., Lemma 3.4) is meant, and the citation should be corrected.
- [Section 4, before (4.5)] The phrase 'for any ϕ∈C_c^∞(Ω_r)' should read 'for any ϕ∈C_c^∞(Σ)' to make the limiting argument meaningful.
- [Lemma 3.4] The citation '[20, Theorem 9.11]' for L^p estimates should be the Gilbarg-Trudinger reference [21], since [20] is a different paper.
- [Lemma 3.1(iii)] The sentence 'Since E_{r,s}(u1)≤0 for any γ∈Γ_{r,c}, we have ...' is garbled; it should be phrased as 'for every γ∈Γ_{r,c}, the path must cross the level set...' or similar.
Circularity Check
No circularity: the existence theorems are derived from (V0)-(V1), (G1)-(G3) via standard external variational and elliptic results, with no fitted parameter or load-bearing self-citation.
full rationale
The derivation chain is self-contained relative to its stated assumptions. Lemma 3.1 constructs mountain-pass geometry from explicit trial functions and the Gagliardo-Nirenberg inequality; Theorem 3.2 applies the external Monotonicity Trick (Theorem 2.2, cited to Borthwick-Chang-Jeanjean-Soave and Chang-Jeanjean-Soave) to obtain a bounded Palais-Smale sequence; Lemma 3.3 and Lemma 3.4 provide uniform gradient and sup-norm bounds from the Pohozaev identity and standard elliptic estimates; Lemma 3.5 passes s to 1 to get Theorem 1.1; Lemma 4.1 and the proof of Theorem 1.2 pass r to infinity and use (V1) to rule out bubble concentration. No parameter is fitted to the target quantity, and no theorem used as input asserts the desired existence. Citations to Bartsch-Qi-Zou [7] and Bartsch-Molle-Rizzi-Verzini [8] are context and comparison, not prior work of the present authors, and they are not used to justify the main conclusions. The only self-reference in the text is the typographical slip in Lemma 3.5, which says 'by an argument similar to that in Lemma 3.5'; this is a cross-reference error rather than a circular derivation. The t^{3/2} scaling in Lemma 3.1, if taken literally for N not equal to 3, is a dimensional or correctness gap, but it is not an instance of an output being equivalent to an input by construction; such an error would not raise the circularity score.
Assumptions & free parameters
assumptions (7)
- domain assumption (V0): V ∈ C(R^N) ∩ L^{N/2}(R^N) is bounded and ||V_-||_{N/2} < S.
- domain assumption (G1)-(G3): g is continuous and odd, and there exist 2+4/N < α ≤ β < 2* with 0 < αG(s) ≤ g(s)s ≤ βG(s), and g(s)/s^{β-1} → B > 0 as s→∞.
- domain assumption (V1): V ∈ C^1, V(x)→0 at infinity, and lim inf_{|x|→∞} inf_{y∈B(x,ρ|x|)} (x·∇V(y)) e^{τ|x|} > 0 for every τ>0.
- domain assumption Ω is bounded, smooth, and star-shaped with respect to 0.
- standard math Monotonicity trick (Theorem 2.2) as stated by Borthwick-Chang-Jeanjean-Soave.
- standard math Liouville and classification results: nonnegative solutions of -Δω = B|ω|^{β-2}ω on R^N or half-spaces are trivial for β < 2* (Chen-Li; Esteban-Lions).
- standard math Elliptic regularity and L^p estimates from Gilbarg-Trudinger, Gagliardo-Nirenberg inequality, and Sobolev embeddings.
Cite this review
Pith. "Pith review of Normalized Solutions on large smooth domains to the Schr\"{o}dinger equation with potential and general nonlinearity: Mass super-critical case." pith.science (2026). https://pith.science/paper/BV2HUYK5
@misc{pith2026250104893,
author = {Pith},
title = {Pith review of: Normalized Solutions on large smooth domains to the Schr\"odinger equation with potential and general nonlinearity: Mass super-critical case},
year = {2026},
howpublished = {\url{https://pith.science/paper/BV2HUYK5}},
note = {Machine review of arXiv:2501.04893}
}
abstract
In this paper, we consider the existence and multiplicity of prescribed mass solutions to the following nonlinear Schr\"{o}dinger equation with general nonlinearity: Mass super-critical case: \[\begin{cases} -\Delta u+V(x)u+\lambda u=g(u),\\ \|u\|_2^2=\int|u|^2\mathrm{d}x=c, \end{cases} \] both on large bounded smooth star-shaped domain $\Omega\subset\mathbb{R}^N$ and on $\mathbb{R}^N$, where $V(x)$ is the potential and the nonlinearity $g(\cdot)$ considered here are very general and of mass super-critical. The standard approach based on the Pohozaev identity to obtain normalized solutions is invalid as the presence of potential $V(x)$. In addition, our study can be considered as a complement of Bartsch-Qi-Zou (Math Ann 390, 4813--4859, 2024), which has addressed an open problem raised in Bartsch et al. (Commun Partial Differ Equ 46(9):1729--1756, 2021).
Forward citations
Cited by 1 Pith paper
-
Normalized solutions for fractional Choquard equation with critical growth on bounded domain
For the critical fractional Choquard equation with a perturbation on a bounded star-shaped domain, at least two positive normalized solutions exist when the prescribed mass lies below an explicit threshold.
Reference graph
Works this paper leans on
-
[1]
Akahori,T., Ibrahim, S., Ikoma,N., Kikuchi,H.; Uniqueness and nondeg eneracy of ground states to nonlinear scalar field equations involving the Sobolev critical exponen t in their nonlinearities for high frequencies, Calc. Var. Partial Differ. Equ., 58 (2019), 120
work page 2019
-
[2]
Alves, C.O., Ji, C.; Normalized solutions for the Schr¨ odinger equat ions with L2-subcritical growth and different types of potentials, J. Geom. Anal., 32 (2022), Paper No. 165, 25pp
work page 2022
-
[3]
Alves, C.O., Thin, N.V.; On existence of multiple normalized solutions to a class of elliptic problems in whole RN via Lusternik-Schnirelmann category, SIAM J. Math. Anal., 55(2) (2023) 1264–1283
work page 2023
- [4]
-
[5]
Science 269, 198–201 (1995) PRESCRIBED THE MASS SOLUTION 23
Anderson, M., Ensher, J., Matthews, M., Wieman, C., Cornell, E.: Ob servation of Bose-Einstein condensation in a dilute atomic vapor. Science 269, 198–201 (1995) PRESCRIBED THE MASS SOLUTION 23
work page 1995
-
[6]
Bartsch, T.; Li, H.W.; Zou, W.M. Existence and asymptotic behavior of normalized ground states for Sobolev critical Schr¨ odinger systems. Calc. Var. Partial Differ. E qu., 62(1) Paper No. 9, 34 pp,(2023)
work page 2023
-
[7]
Bartsch, T., Qi, S., Zou, W. Normalized solutions to Schr¨ odinger e quations with potential and inhomogeneous nonlinearities on large smooth domains. Math. Ann., 390, 4813–4859 (2024). https://doi.org/10.1007/s00208-024-02857-1
-
[8]
Bartsch, T., Molle, R., Rizzi, M., Verzini, G.: Normalized solutions of ma ss supercritical Schr¨ odinger equations with potential. Commun. Partial Differ. Equ. 46(9), 1729–1756 (2021)
work page 2021
Show all 44 references
-
[9]
Bartsch, T., Soave, N.: A natural constraint approach to norm alized solutions of nonlinear Schr¨ odinger equations and systems. J. Funct. Anal. 272(12), 4998–5037 (2017)
2017
-
[10]
Bieganowski, B., Mederski, J.: Normalized ground states of the n onlinear Schr¨ odinger equation with at least mass critical growth. J. Funct. Anal. 280(11), 26 (2021)
2021
-
[11]
arXiv:2210.12626 (2 010)
Borthwick, J., Chang, X., Jeanjean, L., Soave, N.: Bounded Pala is-Smale sequences with Morse type information for some constrained functionals. arXiv:2210.12626 (2 010)
-
[12]
Cazenave,T., Lions,P.-L.; Orbital stability of standing waves for s ome nonlinear Schr¨ odinger equations. Comm. Math. Phys. 85(4) 549–561, (1982)
1982
-
[13]
Cao, D.M.; Peng, S.J.; Semi-classical bound states for Schr¨ odin ger equations with potentials vanishing or unbounded at infinity. Comm. Partial Diff. Equ., 34 (2009), no. 10–12, 1566–1591
2009
-
[14]
arXiv:24 11.10317 (2024)
De Coster,C., Dovetta,S., Galant, D., Serra,E.; An action approac h to nodal and least energy normalized solutions for nonlinear Schr¨ odinger equations. arXiv:24 11.10317 (2024)
2024
-
[15]
arXiv:2204.01043 (2022)
Chang, X., Jeanjean, L., Soave, N.: Normalized solutions of L2-supercritical NLS equations on compact metric graphs. arXiv:2204.01043 (2022)
2022 arXiv
-
[16]
Chen, W., Li, C.; Classification of solutions of some nonlinear elliptic e quations, Duke Math. J. 63(3) (1991) 615–622
1991
-
[17]
Ding, Y.H., Zhong,X.X.; Normalized solution to the Schr¨ odinger equ ation with potential and general nonlinear term: mass super-critical case. J. Diff. Equ., 334 194–215, (2022)
2022
-
[18]
Erd˝ os, L., Schlein, B., Yau, H.: Derivation of the Gross-Pitaevs kii equation for the dynamics of Bose- Einstein condensate. Ann. Math. 172, 291–370 (2010)
2010
-
[19]
Esteban, M., Lions, P.L.: Existence and nonexistence results fo r semilinear elliptic problems in unbounded domains. Proc. R. Soc. Edinb. Sect. A 93, 1–14 (1982)
1982
-
[20]
Glangetas,L., Uniqueness of positive solutions of a nonlinear elliptic equation involving the critical exponent, Nonlinear Anal., 20(5) 571–603, (1993)
1993
-
[21]
Springer, Berlin (1983)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)
1983
-
[22]
Huang, X.P., Li, H.Y.,; Wang, Z-Q.; Multiple non-radial solutions for c oupled Schr¨ odinger equations. J. Diff. Equ., 412, 1–22, (2024)
2024
-
[23]
Ikoma, N., Miyamoto, Y.: Stable standing waves of nonlinear Schr ¨ odinger equations with potentials and general nonlinearities. Calc. Var. Partial Differ. Equ. 59(2), 20 (2020)
2020
-
[24]
Nonlinear Anal
Jeanjean, L.: Existence of solutions with prescribed norm for s emilinear elliptic equations. Nonlinear Anal. 28(10):1633–1659, (1997).DOI: 10.1016/S0362-546X(96)00021- 1
1997 doi
-
[25]
Jeanjean, L., Lu, S.: A mass supercritical problem revisited. Ca lc. Var. Partial Differ. Equ. 59(5), 43 (2020)
2020
-
[26]
T.: Multiple normalized solutions for a Sobolev critical Schr¨ odinger equation
Jeanjean, L.; Le, T. T.: Multiple normalized solutions for a Sobolev critical Schr¨ odinger equation. Math. Ann. 384, 101–134 (2022)
2022
-
[27]
Kwong, M.K.; Uniqueness of positive solutions of −∆ u − u + up = 0 in RN , Arch. Ration. Mech. Anal. 105(3), 243–266 (1989)
1989
-
[28]
Noris, B., Tavares, H., Terracini, S., Verzini,G.; Convergence of m inimax structures and continuation of critical points for singularly perturbed systems. J. Eur. Math. Soc., 14 1245–1273 (2012)
2012
-
[29]
Noris,B., Tavares, H., Verzini, G.; Existence and orbital stability o f the ground states with prescribed mass for the L2-critical and supercritical NLS on bounded domains. Anal. PDE, 7(8), 1807–1838, (2014). 24 XIAOLU LIN AND ZONGYAN L V
2014
-
[30]
Noris,B., Tavares,H., Verzini,G.; Stable solitary waves with prescrib ed L2-mass for the cubic Schr¨ odinger system with trapping potentials. Disc. Cont. Dyn. Sy st., 35(12), 6085–6112 (2015)
2015
-
[31]
Nonlinearity, 32(3), 1044–1072, (2019)
Noris,B., Tavares,H., Verzini,G.; Normalized solutions for nonlinear S chr¨ odinger systems on bounded domains. Nonlinearity, 32(3), 1044–1072, (2019)
2019
-
[32]
Pierotti,D., Verzini,G.;Normalized bound states for the nonlinear Sc hr¨ odinger equation in bounded domains. Calc. Var. Partial Differ. Equ. 56(5), 27 (2017)
2017
-
[33]
arXiv:2404.04594 (2024)
Pierotti,D., Verzini,G., Yu, J.W.; Normalized solutions for Sobolev crit ical Schr¨ odinger equations on bounded domains. arXiv:2404.04594 (2024)
2024 arXiv
-
[34]
Qi, S., Zou, W.: Mass threshold of the limit behavior of normalized so lutions to Schr¨ odinger equations with combined nonlinearities. J. Differ. Equ. 375, 172–205 (2023)
2023
-
[35]
Shibata, M.: A new rearrangement inequality and its application fo r L2-constraint minimizing problems, Math. Z. 287 (1-2) 341–359,(2017)
2017
-
[36]
Soave, N.: Normalized ground states for the NLS equation with c ombined nonlinearities. J. Differ.Equ., 269(9), 6941–6987 (2020)
2020
-
[37]
Soave, N.: Normalized ground states for the NLS equation with c ombined nonlinearities: the Sobolev critical case. J. Funct. Anal. 279(6), 43 (2020)
2020
-
[38]
Song, L.J., Zou,W.M.: Two Positive Normalized Solutions on Star-sha ped Bounded Domains to the Br´ ezis-Nirenberg Problem, I: Existence.arXiv:2404.11204 (2024)
2024 arXiv
-
[39]
Tao, T., Visan, M., Zhang, X.: The nonlinear Schr¨ odinger equatio n with combined power-type nonlinearities. Commun. Partial Differ. Equ. 32(7-9), 1281–1343 (2007)
2007
-
[40]
Birkhauser, Boston (1996)
Willem, M.: Minimax Theorems. Birkhauser, Boston (1996)
1996
-
[41]
Wei, J., Wu, Y.: Normalized solutions for Schr¨ odinger equations w ith critical Sobolev exponent and mixed nonlinearities. J. Funct. Anal., 283(6), 109574 (2022)
2022
-
[42]
Weinstein, M.I.: Nonlinear Schr¨ odinger equations and sharp inte rpolation estimates. Commun. Math. Phys., 87(4), 567–576 (1982/83)
1982
-
[43]
arXiv:2409.15089 (2024)
Wei.J.; Positive and multiple normalized solutions to Schr¨ odinger equations with general nonlinearities in bounded domains. arXiv:2409.15089 (2024)
2024 arXiv
-
[44]
Zhang, C.X., Zhang,X.; Normalized clustering peak solutions for Sc hr¨ odinger equations with general nonlinearities. Calc. Var. Partial Diff. Equ., 63 (2024), no. 9, Paper No. 220, 41 pp. Xiaolu Lin, School of Mathematics and Statistics, Central C hina Normal University, Wuhan...
2024
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.