pith. sign in

arxiv: 2605.27529 · v1 · pith:F3OS2SRJnew · submitted 2026-05-26 · 🧮 math-ph · gr-qc· math.MP

Existence of nonrelativistic ell- and multi-ell-boson stars and their radial stability

Emmanuel Ch\'avez Nambo , Olivier Sarbach This is my paper

Pith reviewed 2026-06-29 15:03 UTC · model grok-4.3

classification 🧮 math-ph gr-qcmath.MP
keywords Schrödinger-Poisson systemboson starscalculus of variationsorbital stabilityenergy minimizationspherically symmetric solutionsmulti-fieldradial stability
0
0 comments X

The pith

The energy functional of the multi-field Schrödinger-Poisson system attains global minima on rotationally invariant functions with fixed L2 norms, producing an infinite family of spherically symmetric solutions that are orbitally stable.

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

The paper applies direct methods of the calculus of variations to the multi-field Schrödinger-Poisson system and shows that the associated energy functional reaches a global minimum on the set of vector-valued wave functions in H^1 that are invariant under a suitable rotation group representation and have fixed L2 norms in each component. These minimizing functions solve the system and correspond to nonrelativistic ℓ- and multi-ℓ-boson stars. The authors prove that the minima are orbitally stable under perturbations that remain inside the constrained set. The same variational argument works when an external potential is added and yields further properties of the solutions.

Core claim

By restricting the energy functional to the set of vector-valued functions in the Sobolev space H^1 that are invariant with respect to a suitable representation of the rotation group and whose components have fixed L2-norms, the functional attains its global minimum. These minimizers satisfy the Euler-Lagrange equations of the multi-field Schrödinger-Poisson system and are orbitally stable with respect to perturbations of the wave function within this set.

What carries the argument

Direct minimization of the energy functional on the constrained set of rotationally invariant H^1 functions with fixed component L2 norms.

Load-bearing premise

The energy functional is weakly lower semicontinuous and coercive on the constrained subset of H^1 consisting of rotationally invariant vector-valued functions with fixed L2 norms.

What would settle it

A minimizing sequence in the constrained set whose energy approaches the infimum but fails to converge strongly in H^1, or a time evolution of a candidate minimizer that shows growth in the perturbation norm while preserving the L2 norms.

read the original abstract

Using direct methods of the calculus of variations we establish the existence of an infinite class of spherically-symmetric solutions to the multi-field Schr\"odinger-Poisson system. This is achieved by proving that the energy functional admits a global minimum when restricted to the set of vector-valued wave functions in the Sobolev space $H^1$ which are invariant with respect to a suitable representation of the rotation group and whose components have fixed $L^2$-norms. Additionally, we show that these minima correspond to solutions which are orbital stable with respect to perturbations of the wave function within this set. The generalization to include an external potential and some important properties of the minima are also discussed.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript uses direct methods of the calculus of variations to prove existence of an infinite family of spherically symmetric solutions to the multi-field Schrödinger-Poisson system. This is done by showing that the energy functional attains a global minimum on the constraint set consisting of rotationally invariant H¹ vector-valued functions whose components have prescribed L² norms. The resulting minimizers are shown to be orbitally stable within this symmetry class; the paper also treats the case with an external potential and records further properties of the minima.

Significance. If the variational arguments hold, the work supplies a rigorous existence and stability theory for nonrelativistic multi-ℓ boson stars, extending single-component results by exploiting rotational symmetry to close the direct method. The orbital-stability statement within the symmetry sector is a concrete, falsifiable prediction that strengthens the physical relevance of the solutions.

major comments (1)
  1. [Abstract, paragraph 2] Abstract, paragraph 2: the claim that the energy functional is weakly lower semicontinuous and coercive on the rotationally invariant subset of H¹ with fixed L² norms is the load-bearing step for existence. The manuscript must explicitly verify that rotational invariance precludes vanishing or dichotomy for minimizing sequences in the multi-component setting; without a concentration-compactness argument adapted to the vector-valued, symmetry-restricted case, attainment of the infimum is not guaranteed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on our manuscript. We address the major comment point by point below.

read point-by-point responses

  1. Referee: [Abstract, paragraph 2] Abstract, paragraph 2: the claim that the energy functional is weakly lower semicontinuous and coercive on the rotationally invariant subset of H¹ with fixed L² norms is the load-bearing step for existence. The manuscript must explicitly verify that rotational invariance precludes vanishing or dichotomy for minimizing sequences in the multi-component setting; without a concentration-compactness argument adapted to the vector-valued, symmetry-restricted case, attainment of the infimum is not guaranteed.

    Authors: We appreciate the referee's comment regarding the need for an explicit verification that rotational invariance precludes vanishing and dichotomy in the multi-component setting. In our proof, we restrict to the rotationally invariant functions, which forms a closed subspace of H^1, and the energy is weakly lower semicontinuous there by standard arguments. For coercivity and compactness, we note that the symmetry implies that the mass cannot escape to infinity or split, because any such behavior would violate the invariance under rotations. However, to make this rigorous for the vector case, where the components share the potential, we agree that a tailored concentration-compactness argument is beneficial. We will add a paragraph or subsection detailing the adaptation of Lions' concentration-compactness lemma to this symmetric, multi-field context, ensuring no vanishing or dichotomy occurs for minimizing sequences. This will confirm attainment of the minimum. revision: yes

Circularity Check

0 steps flagged

No circularity; standard direct-method existence proof on constrained set

full rationale

The paper applies the direct method of the calculus of variations to prove that the Schrödinger-Poisson energy functional attains a global minimum on the set of rotationally invariant H^1 vector functions with fixed L2 norms. It explicitly claims to establish the required coercivity and weak lower semicontinuity on this symmetry-restricted set rather than assuming them or reducing any quantity to a fitted parameter or self-citation. No load-bearing step reduces by construction to its own inputs; the argument is a self-contained mathematical proof relying on external functional-analysis theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the applicability of the direct method of the calculus of variations, which in turn depends on standard background results from functional analysis rather than new physical postulates or fitted constants.

axioms (2)
  • domain assumption The energy functional is weakly lower semicontinuous and coercive on the constrained subset of H1
    Invoked to guarantee existence of a global minimizer via the direct method.
  • standard math Standard Sobolev embeddings and properties of rotation-group representations hold
    Used throughout the functional-analytic setup.

pith-pipeline@v0.9.1-grok · 5652 in / 1459 out tokens · 58035 ms · 2026-06-29T15:03:17.073451+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 25 canonical work pages · 11 internal anchors

  1. [1]

    For the following, we define E(N) := inf E[u] :u∈H 1(R3,C m),∥u∥ 2 2 =N .(48) As a consequence of the previous Lemma one has: Lemma 3Assume conditions (i) and (ii) forVhold

    In particular, theH 1-norm ofuis controlled by the energy and the total particle numberN= Tr(Q). For the following, we define E(N) := inf E[u] :u∈H 1(R3,C m),∥u∥ 2 2 =N .(48) As a consequence of the previous Lemma one has: Lemma 3Assume conditions (i) and (ii) forVhold. Then, the following properties are satisfied for eachN >0: (a)−∞< E(N)<0, (b) The func...

  2. [2]

    (71) and (74) one finds 0≤ d2 dt2 E[w(t)] t=0 =S[u ∗;v]−ω∥v∥ 2 2,(79) which proves (75)

    Using again the minimizing property ofu ∗ and Eqs. (71) and (74) one finds 0≤ d2 dt2 E[w(t)] t=0 =S[u ∗;v]−ω∥v∥ 2 2,(79) which proves (75). In a final step we prove that Eq. (73) holds for arbitraryv∈X. To this purpose, we introduce the orthogonal projectorP:X→Xonto the spaceH 1 ρ whose properties are analyzed in appendix B. In particular, it can be shown...

  3. [3]

    classical solutions

    Then, for eachN j > ˜Nj one can choose winu ′ such that∥w∥ 2 2 =N j andE[u ′]<E[u]. Proof.According to Lemma 5W j satisfies the conditions (i) and (ii), thusEj :H 1 ℓj →Rpossesses the same qualitative properties as the energy functionalE. In particular,E j has a minimumw ∗ on{w∈H 1 ℓj :∥w∥ 2 2 =N j}which satisfies Ej[w∗]<0. IfE j[u(j)]≥0 the statement is ...

  4. [4]

    W. Hu, R. Barkana, and A. Gruzinov, Fuzzy cold dark matter: The wave properties of ultralight particles, Phys. Rev. Lett.85, 1158 (2000)

    2000

  5. [5]

    A Further Analysis of a Cosmological Model of Quintessence and Scalar Dark Matter

    T. Matos and L. A. Ure˜ na L´ opez, A Further analysis of a cosmological model of quintessence and scalar dark matter, Phys. Rev. D63, 063506 (2001), arXiv:astro-ph/0006024

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  6. [6]

    D. J. E. Marsh and P. G. Ferreira, Ultra-Light Scalar Fields and the Growth of Structure in the Universe, Phys. Rev. D 82, 103528 (2010), arXiv:1009.3501 [hep-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  7. [7]

    L. Hui, J. P. Ostriker, S. Tremaine, and E. Witten, Ultralight scalars as cosmological dark matter, Phys. Rev. D95, 043541 (2017), arXiv:1610.08297 [astro-ph.CO]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  8. [8]

    Ferreira, Ultra-light dark matter, The Astronomy and Astrophysics Review29, 10.1007/s00159-021-00135-6 (2021)

    E. Ferreira, Ultra-light dark matter, The Astronomy and Astrophysics Review29, 10.1007/s00159-021-00135-6 (2021)

    work page doi:10.1007/s00159-021-00135-6 2021

  9. [9]

    Jain and M.A

    M. Jain and M. A. Amin, Polarized solitons in higher-spin wave dark matter, Phys. Rev. D105, 056019 (2022), arXiv:2109.04892 [hep-th]

    work page arXiv 2022

  10. [10]

    Cosmic Structure as the Quantum Interference of a Coherent Dark Wave

    H.-Y. Schive, T. Chiueh, and T. Broadhurst, Cosmic Structure as the Quantum Interference of a Coherent Dark Wave, Nature Phys.10, 496 (2014), arXiv:1406.6586 [astro-ph.GA]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  11. [11]

    M. A. Amin, M. Jain, R. Karur, and P. Mocz, Small-scale structure in vector dark matter, JCAP08(08), 014, arXiv:2203.11935 [astro-ph.CO]

    work page arXiv

  12. [12]

    Multi-state Boson Stars

    A. Bernal, J. Barranco, D. Alic, and C. Palenzuela, Multi-state Boson Stars, Phys. Rev. D81, 044031 (2010), arXiv:0908.2435 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  13. [13]

    Alcubierre, J

    M. Alcubierre, J. Barranco, A. Bernal, J. C. Degollado, A. Diez-Tejedor, M. Megevand, D. N´ u˜ nez, and O. Sarbach,ℓ-Boson stars, Class. Quant. Grav.35, 19LT01 (2018), arXiv:1805.11488 [gr-qc]

    work page arXiv 2018

  14. [14]

    Alcubierre, J

    M. Alcubierre, J. Barranco, A. Bernal, J. C. Degollado, A. Diez-Tejedor, M. Megevand, D. N´ u˜ nez, and O. Sarbach, Boson stars and their relatives in semiclassical gravity, Phys. Rev. D107, 045017 (2023)

    2023

  15. [15]

    Bosonic gas as a Galactic Dark Matter Halo

    L. Ure˜ na-L´ opez and A. Bernal, Bosonic gas as a Galactic Dark Matter Halo, Phys. Rev. D82, 123535 (2010), arXiv:1008.1231 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  16. [16]

    F. S. Guzm´ an and L. A. Ure˜ na-L´ opez, Gravitational atoms: General framework for the construction of multistate axially symmetric solutions of the Schr¨ odinger-Poisson system, Phys. Rev. D101, 081302 (2020), arXiv:1912.10585 [astro-ph.GA]

    work page arXiv 2020

  17. [17]

    A. A. Roque, E. Ch´ avez Nambo, and O. Sarbach, Radial linear stability of nonrelativisticℓ-boson stars, Phys. Rev. D107, 084001 (2023), arXiv:2302.00717 [gr-qc]

    work page arXiv 2023

  18. [18]

    Navarro-Boullosa, A

    A. Navarro-Boullosa, A. Bernal, and J. Vazquez, Bayesian analysis for rotational curves withℓ-boson stars as a dark matter component, JCAP09, 031, arXiv:2305.01127 [astro-ph.CO]

    work page arXiv

  19. [19]

    Ch´ avez Nambo, A

    E. Ch´ avez Nambo, A. A. Roque, and O. Sarbach, Are nonrelativistic ground stateℓ-boson stars only stable forℓ=0 and ℓ=1?, Phys. Rev. D108, 124065 (2023), arXiv:2310.18405 [gr-qc]

    work page arXiv 2023

  20. [20]

    E. H. Lieb, Existence and Uniqueness of the Minimizing Solution of Choquard’s Nonlinear Equation, Studies in Applied Mathematics57, 93 (1977). 21

    1977

  21. [21]

    Lions, The Choquard equation and related questions, Nonlinear Analysis: Theory, Methods & Applications4, 1063 (1980)

    P. Lions, The Choquard equation and related questions, Nonlinear Analysis: Theory, Methods & Applications4, 1063 (1980)

    1980

  22. [22]

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

    P. Lions, The concentration-compactness principle in the calculus of variations. The locally compact case, part 1, Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire1, 109 (1984)

    1984

  23. [23]

    A guide to the Choquard equation

    V. Moroz and J. Van Schaftingen, A guide to the Choquard equation, Journal of Fixed Point Theory and Applications19, 773 (2017), arXiv:1606.02158

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  24. [24]

    I. M. Moroz, R. Penrose, and P. Tod, Spherically-symmetric solutions of the Schr¨ odinger-Newton equations, Classical and Quantum Gravity15, 2733 (1998)

    1998

  25. [25]

    Lieb and H.-T

    H. Lieb and H.-T. Yau, The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics, Commun. Math. Phys.112, 147 (1987)

    1987

  26. [26]

    Boson Stars as Solitary Waves

    J. Fr¨ ohlich, B. Lars, G. Jonsson, and E. Lenzmann, Boson stars as solitary waves, Commun. Math. Phys.274, 1 (2007), arXiv:math-ph/0512040

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  27. [27]

    Bizon and A

    P. Bizon and A. Wasserman, On existence of mini–boson stars, Commun. Math. Phys.215, 357 (2000), arXiv:gr- qc/0002034

    work page arXiv 2000

  28. [28]

    S. L. Liebling and C. Palenzuela, Dynamical boson stars, Living Rev. Rel.26, 1 (2023), arXiv:1202.5809 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  29. [29]

    Davies and P

    E. Davies and P. Mocz, Fuzzy dark matter soliton cores around supermassive black holes, Monthly Notices of the Royal Astronomical Society492, 5721 (2020)

    2020

  30. [30]

    Miyamoto and R

    M. Miyamoto and R. Nagai, Three-Dimensional Models for the Distribution of Mass in Galaxies, Publications of the Astronomical Society of Japan27, 533 (1975)

    1975

  31. [31]

    Well-Posedness for Semi-Relativistic Hartree Equations of Critical Type

    E. Lenzmann, Well-posedness for Semi-relativistic Hartree Equations of Critical Type, Mathematical Physics, Analysis and Geometry10, 43 (2007), arXiv:math/0505456 [math.AP]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  32. [32]

    Cazenave, Semilinear Schr¨ odinger Equations, Vol

    T. Cazenave, Semilinear Schr¨ odinger Equations, Vol. 10 (American Mathematical Soc., 2003)

    2003

  33. [33]

    Ginibre and G

    J. Ginibre and G. Velo, On a class of non linear Schr¨ odinger equations with non local interaction, Mathematische Zeitschrift 170, 109 (1980)

    1980

  34. [34]

    Cazenave and P

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

    1982

  35. [35]

    Hall, Lie Groups, Lie Algebras, and Representations (Springer-Verlag, New York, Inc., 2003)

    B. Hall, Lie Groups, Lie Algebras, and Representations (Springer-Verlag, New York, Inc., 2003)

    2003

  36. [36]

    Harrison, I

    R. Harrison, I. M. Moroz, and P. Tod, A numerical study of the Schr¨ odinger Newton equations, Nonlinearity16, 101 (2002), arXiv:0208045 [math-ph]

    2002

  37. [37]

    E. Ch´ avez Nambo, Sobre la existencia de estrellas de bosones newtonianas con momento angular en simetr´ ıa esf´ erica, Master’s thesis, Universidad Michoacana de San Nicol´ as de Hidalgo (2021)

    2021

  38. [38]

    Ch´ avez Nambo, A

    E. Ch´ avez Nambo, A. Diez-Tejedor, A. A. Roque, and O. Sarbach, Linear stability of nonrelativistic self-interacting boson stars, Phys. Rev. D109, 104011 (2024), arXiv:2402.07998 [gr-qc]

    work page arXiv 2024

  39. [39]

    Ch´ avez Nambo, A

    E. Ch´ avez Nambo, A. Diez-Tejedor, E. Preciado-Govea, A. A. Roque, and O. Sarbach, Nonrelativistic Proca stars: Spherical stationary and multifrequency states, Phys. Rev. D111, 064065 (2025), arXiv:2412.06901 [gr-qc]

    work page arXiv 2025

  40. [40]

    Ch´ avez Nambo, G

    E. Ch´ avez Nambo, G. Diaz-Andrade, A. Diez-Tejedor, E. Preciado-Govea, A. A. Roque, and O. Sarbach, Linear stability of nonrelativistic Proca stars, Phys. Rev. D113, 064037 (2026), arXiv:2512.04376 [gr-qc]

    work page arXiv 2026

  41. [41]

    The continuum spectrum of nonrelativistic multi-frequency Proca stars

    G. Diaz-Andrade, A. Diez-Tejedor, J. L. Medina-Garcia, and A. A. Roque, The continuum spectrum of nonrelativistic multi-frequency Proca stars, (2026), arXiv:2603.05602 [gr-qc]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  42. [42]

    Jaramillo, N

    V. Jaramillo, N. Sanchis-Gual, J. Barranco, A. Bernal, J. C. Degollado, C. Herdeiro, and D. N´ u˜ nez, Dynamicalℓ-boson stars: Generic stability and evidence for nonspherical solutions, Phys. Rev. D101, 124020 (2020), arXiv:2004.08459 [gr-qc]

    work page arXiv 2020

  43. [43]

    Sanchis-Gual, F

    N. Sanchis-Gual, F. Di Giovanni, C. Herdeiro, E. Radu, and J. A. Font, Multifield, Multifrequency Bosonic Stars and a Stabilization Mechanism, Phys. Rev. Lett.126, 241105 (2021), arXiv:2103.12136 [gr-qc]

    work page arXiv 2021

  44. [44]

    E. H. Lieb and M. Loss, Analysis, Graduate Studies in Mathematics (American Mathematics Society, 2001)

    2001

  45. [45]

    W. A. Strauss, Existence of solitary waves in higher dimensions, Commun. Math. Phys.55, 149 (1977)

    1977

  46. [46]

    Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Universitext (Springer New York, NY, 2010)

    H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Universitext (Springer New York, NY, 2010)

    2010

  47. [47]

    L. C. Evans, Partial Differentiaal Equations., Second ed. (American Mathematical Society, 2010)

    2010

  48. [48]

    Lieb and B

    E. Lieb and B. Simon, The Thomas-Fermi theory of atoms, molecules and solids, Advances in Mathematics23, 23 (1977)

    1977

  49. [49]

    Palais, The principle of symmetric criticality, Commun

    R. Palais, The principle of symmetric criticality, Commun. Math. Phys.69, 19 (1979)

    1979

  50. [50]

    Kato, Perturbation Theory for Linear Operators (Springer, Berlin; New York, 1995)

    T. Kato, Perturbation Theory for Linear Operators (Springer, Berlin; New York, 1995)

    1995

  51. [51]

    Reed and B

    M. Reed and B. Simon, Methods of Modern Mathematical Physics II: Fourier Analysis, Self-Adjointness (Academic Press, 1975)

    1975

  52. [52]

    Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sci- ences, Vol

    A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sci- ences, Vol. 44 (Springer, New York, 1983)

    1983