Pith. sign in

REVIEW 48 references

Existence and local uniqueness of multi-spike solutions for Br\'{e}zis-Nirenberg problem with prescribed mass

T0 review · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read The authors prove the existence and local uniqueness of multi-peak solutions with prescribed L2 mass for the critical Brézis-Nirenberg problem in dimensions at least six.

arxiv 2505.14168 v1 pith:3V3CTOPI submitted 2025-05-20 math.AP

classification math.AP
keywords solutionsomegaequationlocalmassproblemquadzis-nirenberg
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

Many wave models in physics conserve the total amount of stuff, for example the number of atoms in a Bose-Einstein condensate or the power of a laser beam. When a solution has a prescribed total mass, the usual frequency in the equation becomes an unknown multiplier. This paper studies a critical nonlinear elliptic equation on a bounded container with such a mass constraint. The main question is whether the equation can have solutions that look like a sum of sharp peaks, called spikes, concentrating near selected points.

The authors show that if a geometric function built from the domain's Green's function has a nondegenerate critical point with a positive matrix, then for any small mass the problem admits a solution with k spikes. They also prove that among all solutions concentrating at the same limiting points, this k-spike solution is unique and, in favorable cases, can be counted exactly. The proof works by rescaling known fixed-frequency spike solutions so that their L2 norm matches the prescribed mass, and then carefully comparing two hypothetical normalized solutions through local Pohozaev identities and blow-up analysis. The new difficulty is that the two solutions may carry different multipliers, and the authors derive estimates that make the multiplier difference negligible.

The theorem is conditional on the existence of such a critical point, and the paper does not exhibit an explicit domain satisfying it.

Extended reading notes

Core claim

The central claim is Theorem 1.2: for N >= 6, if (a_k, mu_k) is a nondegenerate critical point of Psi_k with M_k(a_k) positive, then for all sufficiently small rho > 0 the normalized k-spike solution u_rho satisfying (1.6) and (1.7) is unique; moreover, if the nondegeneracy holds for every mu_k in Q_{a_k}, the number of solutions satisfying (1.5) is exactly the cardinality of Q_{a_k}. Theorem 1.1 establishes existence of such a solution under the same hypotheses.

Load-bearing premise

The uniqueness conclusion depends on Lemma 3.2, stated without proof, which asserts that for two normalized solutions concentrating at the same limiting points, the differences of their spike centers and scales are o(1/mu_bar^2). This rate is used in equations (3.9) and (3.10) to show that the two solutions agree up to o(1/mu_bar), and it feeds the limiting kernel analysis. If the rate were weaker, the expansion of the difference and the final contradiction argument would break. A second unresolved premise is that an admissible domain with a nondegenerate critical point of Psi_k actually exists; the paper never constructs one.

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.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof depends primarily on imported prior theorems and on a nondegeneracy hypothesis that is never instantiated. The two ad hoc assumptions, the unproved Lemma 3.2 and the admissibility condition, mark the points where a reader must trust either omitted details or an unexhibited domain.

assumptions (5)
  • domain assumption The fixed-frequency problem (1.8) has a k-spike solution branch u_lambda with the estimates and local uniqueness proved by Musso-Pistoia [32] and Cao-Luo-Peng [12].
    Used in Proposition 2.1 and throughout Section 2 to build the normalized solution by scaling; the present paper does not reprove these results.
  • ad hoc to paper The domain Omega is admissible: there exists (a_k, mu_k) in Q_{Omega,k} with M_k(a_k) positive and a nondegenerate critical point of Psi_k.
    This is Definition 1.1 and the hypothesis of Theorems 1.1 and 1.2. No explicit construction of such a domain is given in the paper.
  • ad hoc to paper Lemma 3.2: for two normalized solutions, |x^(1)_{j,rho}-x^(2)_{j,rho}| = o(1/mu_bar^2) and |mu^(1)_{j,rho}-mu^(2)_{j,rho}| = o(1/mu_bar^2).
    Stated without proof and asserted to follow as in [12, Props 3.2 and 3.3]. It is load-bearing for the difference estimates (3.9) and (3.10) and the subsequent kernel analysis.
  • standard math Standard elliptic estimates, Green's function asymptotics, and local Pohozaev identities for solutions of (1.1).
    Used in Sections 3 and 4; these are classical background facts in the field.
  • standard math The kernel of the linearized operator L(u) = -Delta u - ((N+2)/(N-2)) U^(4/(N-2)) u is spanned by the N+1 bubble derivatives psi_0, psi_1, ..., psi_N.
    Invoked in Lemmas 3.6 and 3.7 to classify the limiting difference profile.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence and local uniqueness of multi-spike solutions for Br\'{e}zis-Nirenberg problem with prescribed mass." pith.science (2026). https://pith.science/paper/3V3CTOPI

@misc{pith2026250514168,
  author       = {Pith},
  title        = {Pith review of: Existence and local uniqueness of multi-spike solutions for Br\'ezis-Nirenberg problem with prescribed mass},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3V3CTOPI}},
  note         = {Machine review of arXiv:2505.14168}
}
abstract

In this paper, we consider the following Br\'{e}zis-Nirenberg problem with prescribed $ L^2$-norm (mass) constraint: \begin{equation*} \begin{cases} -\Delta u=|u|^{2^*-2} u +\lambda_\rho u\quad \text { in } \Omega, u>0, \quad u \in H_0^1(\Omega), \quad \int_{\Omega} u^2dx=\rho, \end{cases} \end{equation*} where $N \geqslant 6$, $2^*=2 N /(N-2)$ is the critical Sobolev exponent, $\rho>0$ is a given small constant and $\lambda_\rho>0$ acts as an Euler-Lagrange multiplier. For any $k\in \mathbb{R}^+$, we construct a $k$-spike solutions in some suitable bounded domain $\Omega$. Our results extend those in \cite{BHG3,DGY,SZ}, where the authors obtained one or two positive solutions corresponding to the (local) minimizer or mountain pass type critical point for the energy functional of above equation. Furthermore, using blow-up analysis and local Pohozaev identities arguments, we prove that the $k$-spike solutions are locally unique. Compared to the standard Br\'{e}zis-Nirenberg problem without the mass constraint, an additional difficulty arises in estimating the error caused by the differences in the Euler-Lagrange multipliers corresponding to different solutions. We overcome this difficulty by introducing novel observations and estimates related to the kernel of the linearized operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

48 extracted references · 46 canonical work pages

  1. [1]

    Ambrosetti and M

    A. Ambrosetti and M. Struwe, A note on the problem −∆ u = λu + u|u|2∗ − 2. Manuscripta Math. 54 (1986), no. 4, 373–379

  2. [2]

    G. P. Agrawal, Nonlinear fiber optics, 5th ed., Academic, Oxford, 2013

  3. [3]

    Anderson, J

    M. Anderson, J. Ensher, M. Matthews, C. Wieman, E. Cornell, Ob servation of Bose-Einstein condensation in a dilute atomic vapor. Science 269, 198-201 (1995)

  4. [4]

    Bartsch, L

    T. Bartsch, L. Jeanjean, N. Soave, Normalized solutions for a s ystem of coupled cubic Schr¨ odinger equations on RN . J. Math. Pures Appl. 106(4), 583-614 (2016)

  5. [5]

    Bartsch, S.J

    T. Bartsch, S.J. Qi, W.M. Zou, Normalized solutions to Schr¨ odinge r equations with potential and inhomogeneous nonlinearities on large smooth domains. Math. Ann. 3 90 (2024), no. 3, 4813-4859

  6. [6]

    Bartsch, N

    T. Bartsch, N. Soave, A natural constraint approach to norm alized solutions of nonlinear Schr¨ odinger equations and systems. J. Funct. Anal. 272(12), 4998-5037 (20 17)

  7. [7]

    Bartsch, N

    T. Bartsch, N. Soave, Multiple normalized solutions for a competin g system of Schr¨ odinger equations. Calc. Var. Partial Differ. Equ. 58(1), 24 (2019)

  8. [8]

    Bartsch, Z.Q

    T. Bartsch, Z.Q. Wang, Existence and multiplicity results for some superlinear elliptic problems on RN . Comm. Partial Differential Equations 20 (1995), no. 9-10, 1725– 1741. PRESCRIBED THE MASS SOLUTION 27

Show all 48 references
  1. [9]

    Bartsch, X

    T. Bartsch, X. X. Zhong, and W. M. Zou, Normalized solutions for a coupled Schr¨ odinger system. Math. Ann. 380(3-4):1713-1740, 2021

  2. [10]

    Bieganowski, J

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

  3. [11]

    Br´ ezis and L

    H. Br´ ezis and L. Nirenberg, Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents, Comm. Pure Appl. Math. 36 (1983), no. 4, 437-477

  4. [12]

    D.M. Cao, P. Luo, S.J. Peng, The number of positive solutions to t he Br´ ezis-Nirenberg problem. Trans. Amer. Math. Soc. 374 (2021), no. 3, 1947-1985

  5. [13]

    Cazenave, Semilinear Schr¨ odinger Equations, Courant Lect

    T. Cazenave, Semilinear Schr¨ odinger Equations, Courant Lect. Notes Math., vol. 10, Courant Institute of Mathematical Science/AMS, New York, 2003

  6. [14]

    Cazenave and P.-L

    T. Cazenave and P.-L. Lions, Orbital stability of standing waves for some nonlinear Schr¨ odinger equations. Comm. Math. Phys. 85 (1982), no. 4, 549-561

  7. [15]

    Solimini and M

    G.Cerami, S. Solimini and M. Struwe, Some existence results for s uperlinear elliptic boundary value problems involving critical exponents. J. Funct. Anal. 69 (1986), n o. 3, 289-306

  8. [16]

    De Coster, S

    C. De Coster, S. Dovetta, D. Galant and E. Serra, An action ap proach to nodal and least energy normalized solutions for nonlinear Schr¨ odinger equations. arXiv:24 11.10317(2024)

  9. [17]

    Fibich and F

    G. Fibich and F. Merle, Frank Self-focusing on bounded domains. Phys. D 155 (2001), no. 1-2, 132-158

  10. [18]

    David Gilbarg and Neil S

    V. David Gilbarg and Neil S. Trudinger, Elliptic partial differential e quations of second order, 2nd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental P rinciples of Mathematical Sciences], vol. 224, Springer-Verlag, Berlin, 1983

  11. [19]

    Glangetas, Uniqueness of positive solutions of a nonlinear ellipt ic equation involving the critical exponent, Nonlinear Anal

    L. Glangetas, Uniqueness of positive solutions of a nonlinear ellipt ic equation involving the critical exponent, Nonlinear Anal. 20 (1993), no. 5, 571-603

  12. [20]

    Grossi, M.: On the number of single-peak solutions of the nonlinea r Schr¨ odinger equations. Ann. Inst H. Poinca´ e Anal. Non Lin´ eaire19, (2002), 261-280

  13. [21]

    Q.D. Guo, R. He, B. N. Li, S.S. Yan, Normalized solutions for nonline ar Schr¨ odinger equations involving mass subcritical and supercritical exponents. J. Differen tial Equations 413 (2024), 462-496

  14. [22]

    Y. Guo, S. Li, J. Wei, X. Zeng, Ground states of two-componen t attractive Bose-Einstein condensates I: Existence and uniqueness, J. Funct. Anal., 276 (2019), 183-23 0

  15. [23]

    Y. Guo, C. Lin, J. Wei, Local uniqueness and refined spike profile s of ground states for two-dimensional attractive Bose-Einstein condensates, SIAM J. Math. Anal., 49 (2 017), 3671-3715

  16. [24]

    Z. C. Han, Asymptotic approach to singular solutions for nonline ar elliptic equations involving critical Sobolev exponent (English, with French summary), Ann. Inst. H. P oincare Anal. Non Lineaire 8 (1991), no. 2, 159-174

  17. [25]

    Jeanjean, Existence of solutions with prescribed norm for s emilinear elliptic equations

    L. Jeanjean, Existence of solutions with prescribed norm for s emilinear elliptic equations. Nonlinear Anal. 28(10), 1633-1659 (1997)

  18. [26]

    Jeanjean, S

    L. Jeanjean, S. Lu, A mass supercritical problem revisited. Ca lc. Var. Partial Differ. Equ. 59(5), 43 (2020)

  19. [27]

    Jeanjean, T

    L. Jeanjean, T. Le, Multiple normalized solutions for a Sobolev cr itical Schr¨ odinger equation. Math. Ann. 384(1-2), 101-134 (2022)

  20. [28]

    Ketterle, Nobel lecture: When atoms behave as waves: Bos e-Einstein condensation and the atomlaser

    W. Ketterle, Nobel lecture: When atoms behave as waves: Bos e-Einstein condensation and the atomlaser. Rev. Mod. Phys. 74, 1131-1151 (2002)

  21. [29]

    E. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The mathematic s of the Bose gas and its condensation. Oberwolfach Seminars, vol. 34. Birkhauser Verlag, Basel (2005)

  22. [30]

    E. Lieb, R. Seiringer, J. Yngvason, A rigorous derivation of the Gross-Pitaevskii energy functional fora two-dimensional Bose gas. Commun. Math. Phys. 224, 17-31 (2001)

  23. [31]

    Luo, S.J

    P. Luo, S.J. Peng, J.C. Wei, S.S. Yan, Excited states of Bose-Ein stein condensates with degenerate attractive interactions. Calc. Var. Partial Differential Equations 60 (2021), no. 4, Paper No. 155, 33 pp

  24. [32]

    Musso and A

    M. Musso and A. Pistoia, Multispike solutions for a nonlinear elliptic p roblem involving the critical Sobolev exponent. Indiana Univ. Math. J. 51 (2002), no. 3, 541-5 79. 28 ZONGYAN L V, XIAOYU ZENG, AND HUAN-SONG ZHOU

  25. [33]

    Noris, H

    B. Noris, H. Tavares, S. Terracini and G.Verzini, Convergence of minimax structures and continuation of critical points for singularly perturbed systems. J. Eur. Math. Soc. 14 1245-73 (2012)

  26. [34]

    Noris, H.Tavares and G.Verzini, Existence and orbital stability of the ground states with prescribed mass for the L2-critical and supercritical NLS on bounded domains

    B. Noris, H.Tavares and G.Verzini, Existence and orbital stability of the ground states with prescribed mass for the L2-critical and supercritical NLS on bounded domains. Anal. PDE 7 (20 14), no. 8, 1807- 1838

  27. [35]

    Noris, H.Tavares and G.Verzini, Stable solitary waves with pres cribed L2-mass for the cubic Schr¨ odinger system with trapping potentials

    B. Noris, H.Tavares and G.Verzini, Stable solitary waves with pres cribed L2-mass for the cubic Schr¨ odinger system with trapping potentials. Disc. Cont. Dyn. Sy st. 35(12), 6085-6112 (2015)

  28. [36]

    Nonlinearity 32 (2019), no

    B.Noris, H.Tavares and G.Verzini, Normalized solutions for nonlinea r Schr¨ odinger systems on bounded domains. Nonlinearity 32 (2019), no. 3, 1044-1072

  29. [37]

    Pierotti and G, Verzini, Normalized bound states for the non linear Schr¨ odinger equation in bounded domains

    D. Pierotti and G, Verzini, Normalized bound states for the non linear Schr¨ odinger equation in bounded domains. Calc. Var. Partial Differ. Equ. 56(5), 27 (2017)

  30. [38]

    Pierotti G, Verzini and J

    D. Pierotti G, Verzini and J. W. Yu, Normalized solutions for Sob olev critical Schr¨ odinger equations on bounded domains. SIAM J. Math. Anal. 57 (2025), no. 1, 262–28 5

  31. [39]

    Olivier Rey, The role of the Green’s function in a nonlinear elliptic equ ation involving the critical Sobolev exponent, J. Funct. Anal. 89 (1990), no. 1, 1-52

  32. [40]

    Soave, Normalized ground states for the NLS equation with c ombined nonlinearities: the Sobolev critical case

    N. Soave, Normalized ground states for the NLS equation with c ombined nonlinearities: the Sobolev critical case. J. Funct. Anal. 279 (2020), no. 6, 108610, 43 pp

  33. [41]

    Soave, Normalized ground states for the NLS equation with c ombined nonlinearities

    N. Soave, Normalized ground states for the NLS equation with c ombined nonlinearities. J. Differential Equations 269 (2020), no. 9, 6941-6987

  34. [42]

    Song and W.M

    L.J. Song and W.M. Zou, Two Positive Normalized Solutions on Star- shaped Bounded Domains to the Br´ ezis-Nirenberg Problem, I: Existence.arXiv:2404.11204(2024)

  35. [43]

    Shibata, Stable standing waves of nonlinear Schr¨ odinger eq uations with a general nonlinear term

    M. Shibata, Stable standing waves of nonlinear Schr¨ odinger eq uations with a general nonlinear term. Manuscr. Math. 143 (2014), 221-237

  36. [44]

    Talenti, Best constant in Sobolev inequality

    G. Talenti, Best constant in Sobolev inequality. Ann. Mat. Pura A ppl. (4) 110 (1976), 353-372

  37. [45]

    J. Wei. Positive and multiple normalized solutions to Schr¨ odinger equations with general nonlinearities in bounded domains. arXiv:2409.15089 (2024)

  38. [46]

    J. Wei. Normalized Solutions to Schr¨ odinger Equations with Gene ral Nonlinearities in Bounded Domains via a Global Bifurcation Approach. arXiv:2409.10299 (2024)

  39. [47]

    Wei and Y.Z

    J.C. Wei and Y.Z. Wu, Normalized solutions for Schr¨ odinger equa tions with critical Sobolev exponent and mixed nonlinearities. J. Funct. Anal. 283 (2022), no. 6, Paper N o. 109574, 46 pp

  40. [48]

    Zhu and H.S

    X.P. Zhu and H.S. Zhou, Existence of multiple positive solutions of in homogeneous semilinear elliptic problems in unbounded domains. Proc. Roy. Soc. Edinburgh Sect. A . 115 (1990), 301–318. Zongyan L v, Center for Mathematical Sciences, Wuhan Univer sity of Technology, Wuhan ...

Pith tools

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