Revisiting Non-Rotating Star Models: Classical Existence and Uniqueness Theory and Scaling Relations
Pith reviewed 2026-05-16 08:28 UTC · model grok-4.3
The pith
Non-rotating stellar models governed by the Euler-Poisson system exist and are unique for given total mass under general equations of state, with scaling relations connecting solutions of different masses.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For equations of state satisfying standard regularity and monotonicity conditions, the Euler-Poisson system for non-rotating stars admits a unique solution for each prescribed total mass; moreover, a simple scaling maps any such solution to the solution for any other mass, and the corresponding density functions converge with precise support scaling as mass tends to zero.
What carries the argument
The variational formulation of the Euler-Poisson energy functional together with the explicit scaling map that relates solutions of different total masses.
If this is right
- Polytropic gaseous stars inherit explicit mass-scaling formulas for radius and central density.
- Density profiles converge in L1 and in suitable Sobolev norms as total mass approaches zero.
- Support radii of solutions scale like a power of the mass parameter determined by the adiabatic index.
- The same scaling and convergence statements apply to any equation of state satisfying the paper's hypotheses.
Where Pith is reading between the lines
- The scaling relation may simplify numerical continuation methods that track stellar sequences across masses.
- Convergence rates as mass vanishes could be used to construct approximate initial data for dynamical simulations of low-mass stars.
Load-bearing premise
The equation of state must be sufficiently regular and monotone so that the energy functional is well-defined and the uniqueness argument from the quantum setting carries over.
What would settle it
Exhibiting two distinct positive density functions that both solve the Euler-Poisson system for the same total mass and the same equation of state would falsify uniqueness.
read the original abstract
This paper presents a systematic study of the properties of non-rotating stellar models governed by the Euler-Poisson system under general equations of state, including the case of polytropic gaseous stars. We revisit and extend existence results by Auchmuty and Beals \cite{AB71}, adapt the uniqueness results from the quantum mechanical framework of Lieb and Yau \cite{LY87} to the classical Newtonian mechanical setting. The results are also synthesized in McCann \cite{McC06} but without proof. The second work we do is applying a scaling method to establish relations between solutions with different total masses. As the mass tends to zero, we analyze convergence properties of the density functions and identify precise rates for the contraction or extension of their supports.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper revisits and extends existence results for non-rotating stellar models in the Euler-Poisson system under general equations of state (including polytropes), adapting Auchmuty-Beals theorems and Lieb-Yau uniqueness results to the classical Newtonian setting. It further applies a scaling method to relate solutions with different total masses and analyzes convergence of density functions and support sizes as mass tends to zero.
Significance. If the central claims hold, the work synthesizes and extends classical existence/uniqueness theory for stellar models while providing explicit scaling relations and convergence rates as mass vanishes. These could be useful for analyzing limiting behaviors in gaseous star models. The rigorous adaptation of cited theorems (Auchmuty-Beals, Lieb-Yau, McCann) and focus on general EOS (with polytropic examples) are strengths, though the scaling component requires verification against EOS homogeneity assumptions.
major comments (1)
- [§3] §3 (Scaling Relations and Mass Dependence): The claimed scaling method to relate solutions with different total masses via a transformation of the form ρ_λ(x) = λ^α ρ(λ^β x) that preserves both the Poisson equation and hydrostatic balance for a fixed P(ρ) requires P to satisfy a homogeneity condition P(λ^γ ρ) = λ^δ P(ρ). This holds for polytropes but fails for generic monotonic EOS (e.g., P(ρ) = ρ + ρ²). The abstract and introduction assert applicability to general EOS, so the mass→0 convergence rates and support contraction claims rest on an unstated assumption not guaranteed by the regularity/monotonicity conditions used for existence/uniqueness. This is load-bearing for the second main contribution.
minor comments (3)
- [Abstract] Abstract: The phrasing 'The results are also synthesized in McCann [McC06] but without proof' is ambiguous; clarify whether the present paper supplies the missing proofs or only cites the synthesis.
- [§3.1] Notation: The definition of the scaling exponents α, β, γ, δ in the transformation should be stated explicitly with the precise relation to the EOS degree (if any) to avoid reader confusion when comparing to polytropic cases.
- [References] References: Ensure the bibliography includes full details for Auchmuty-Beals (1971) and Lieb-Yau (1987) with page numbers for the specific theorems being adapted.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying the important distinction between the general existence/uniqueness results and the scaling analysis. We agree that the scaling relations require an additional homogeneity assumption on the equation of state that is not part of the basic monotonicity conditions. We will revise the manuscript to clarify the scope of these claims.
read point-by-point responses
-
Referee: [§3] §3 (Scaling Relations and Mass Dependence): The claimed scaling method to relate solutions with different total masses via a transformation of the form ρ_λ(x) = λ^α ρ(λ^β x) that preserves both the Poisson equation and hydrostatic balance for a fixed P(ρ) requires P to satisfy a homogeneity condition P(λ^γ ρ) = λ^δ P(ρ). This holds for polytropes but fails for generic monotonic EOS (e.g., P(ρ) = ρ + ρ²). The abstract and introduction assert applicability to general EOS, so the mass→0 convergence rates and support contraction claims rest on an unstated assumption not guaranteed by the regularity/monotonicity conditions used for existence/uniqueness. This is load-bearing for the second main contribution.
Authors: We thank the referee for this precise observation. The scaling transformation ρ_λ(x) = λ^α ρ(λ^β x) preserves the Euler-Poisson structure for a fixed pressure law P only when P satisfies the homogeneity condition P(λ^γ ρ) = λ^δ P(ρ) for exponents γ, δ determined by the choice of α and β. This condition is satisfied by polytropic equations of state but not by arbitrary monotonic functions such as P(ρ) = ρ + ρ². The existence and uniqueness results (adapted from Auchmuty-Beals and Lieb-Yau) hold under the weaker assumptions of monotonicity and suitable regularity on P. However, the scaling relations and the associated mass-to-zero convergence rates are valid specifically under the homogeneity assumption. We will revise the abstract and introduction to explicitly state that the scaling method and convergence analysis apply to homogeneous equations of state (including polytropes), while the existence/uniqueness theory applies more generally. This clarification will ensure the claims are accurately scoped without affecting the validity of the results under the stated conditions. revision: yes
Circularity Check
No circularity detected in the derivation chain
full rationale
The paper revisits and extends existence results from Auchmuty and Beals, adapts uniqueness from Lieb and Yau to the Newtonian setting, and applies a scaling method to relate solutions of different total masses. These steps are presented as building on explicitly cited external theorems without any reduction of the central claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The scaling relations and convergence rates as mass tends to zero are derived from the applied method rather than being equivalent to the paper's own inputs by construction. The derivation remains self-contained against the external benchmarks of the cited works.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The pressure-density relation satisfies the conditions required for the variational formulation of Auchmuty-Beals and the adaptation of Lieb-Yau uniqueness to hold.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We revisit and extend existence results by Auchmuty and Beals, adapt the uniqueness results from the quantum mechanical framework of Lieb and Yau to the classical Newtonian mechanical setting... applying a scaling method to establish relations between solutions with different total masses... A=m^{-2/(3γ-4)}, B=m^{(γ-2)/(3γ-4)}
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 2.6 (Non-rotating Stars)... σm satisfies A'(σm(x))=[Vσm(x)+λm]+ ... spt σm contained in ball of radius R0(m)
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.
Reference graph
Works this paper leans on
-
[1]
D. Alonso-Orán, B. Kepka, and J. J. L. Velázquez. Rotating solutions to the incompressible euler-poisson equation with external particle, 2023
work page 2023
- [2]
-
[3]
J. F. G. Auchmuty and R. Beals. Models of rotating stars. The Astrophysical Journal , 165:L79, 04 1971
work page 1971
-
[4]
J. F. G. Auchmuty and R. Beals. Variational solutions of some nonlinear free boundary problems. Archive for Rational Mechanics and Analysis , 43:255–271, 1971
work page 1971
-
[5]
H. Bahouri, J. Chemin, and R. Danchin. Fourier Analysis and Nonlinear Partial Differential Equations. Grundlehren der mathematischen Wissenschaften. Springer Berlin Heidelberg, 2011
work page 2011
-
[6]
J. Batt, W. Faltenbacher, and E. Horst. Stationary spherically symmetric models in stellar dynamics. Archive for Rational Mechanics and Analysis , 93(2):159–183, Jun 1986. 36
work page 1986
- [7]
-
[8]
H. Brezis. Functional analysis, Sobolev spaces and partial differential equations , volume 2. Springer, 2011
work page 2011
-
[9]
L. A. Caffarelli and A. Friedman. The shape of axisymmetric rotating fluid. Journal of Functional Analysis, 35(1):109–142, 1980
work page 1980
- [10]
-
[11]
S. Chandrasekhar. An Introduction to the Study of Stellar Structure . Astrophysical monographs. University of Chicago Press, 1939
work page 1939
-
[12]
S. Chandrasekhar. Ellipsoidal figures of equilibrium—an historical account. Communications on Pure and Applied Mathematics , 20(2):251–265, 1967
work page 1967
-
[13]
S. Chandrasekhar and E. A. Milne. The Equilibrium of Distorted Polytropes: (I). The Rotational Problem. Monthly Notices of the Royal Astronomical Society , 93(5):390–406, 03 1933
work page 1933
-
[14]
S. Chanillo and Y. Y. Li. On diameters of uniformly rotating stars. Communications in Mathe- matical Physics , 166(2):417–430, Dec 1994
work page 1994
-
[15]
H. Chen. Existence for stable rotating star-planet systems, 2026
work page 2026
-
[16]
H. Chen. Gradient existence and energy finiteness of local minimizers in the Wasserstein l∞ topology for binary-star systems, 2026
work page 2026
-
[17]
H. Chen, J. J. L. Velázquez, D. Cobb, and R. F.-W.-U. B. B. eines Werks. Existence for stable rotating star-planet systems, 2024
work page 2024
-
[18]
D. Cobb. Bounded solutions in incompressible hydrodynamics. Journal of Functional Analysis , 286(5):110290, 2024
work page 2024
- [19]
-
[20]
Y. Deng, T.-P. Liu, T. Yang, and Z.-a. Yao. Solutions of euler-poisson equations¶for gaseous stars. Archive for Rational Mechanics and Analysis , 164(3):261–285, Sep 2002
work page 2002
-
[21]
L. Evans. Partial Differential Equations . Graduate studies in mathematics. American Mathe- matical Society, 2010
work page 2010
-
[22]
Y. Guo. Variational method¶for stable polytropic galaxies. Archive for Rational Mechanics and Analysis, 150(3):209–224, Dec 1999. 37
work page 1999
- [23]
- [24]
- [25]
- [26]
- [27]
- [28]
- [29]
-
[30]
U. Heilig. On Lichtenstein’s analysis of rotating newtonian stars. Annales de l’I.H.P. Physique théorique, 60(4):457–487, 1994
work page 1994
-
[31]
J. Jang. Nonlinear instability theory of lane-emden stars. Communications on Pure and Applied Mathematics, 67(9):1418–1465, 2014
work page 2014
-
[32]
J. Jang and T. Makino. On slowly rotating axisymmetric solutions of the euler–poisson equations. Archive for Rational Mechanics and Analysis , 225(2):873–900, Aug 2017
work page 2017
-
[33]
J. Jang and T. Makino. On rotating axisymmetric solutions of the Euler–Poisson equations. Journal of Differential Equations , 266(7):3942–3972, 2019
work page 2019
-
[34]
J. Jang and J. Seok. On uniformly rotating binary stars and galaxies. Archive for Rational Mechanics and Analysis , 244(2), 2022
work page 2022
- [35]
- [36]
- [37]
- [38]
- [39]
-
[40]
Y. Li. On uniformly rotating stars. Archive for Rational Mechanics and Analysis, 115(4):367–393, Dec 1991
work page 1991
-
[41]
L. Lichtenstein. Untersuchungen über die gleichgewichtsfiguren rotierender flüssigkeiten, deren teilchen einander nach dem newtonschen gesetze anziehen. Mathematische Zeitschrift, 36(1):481– 562, Dec 1933
work page 1933
-
[42]
E. H. Lieb. Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equa- tion. Studies in Applied Mathematics , 57(2):93–105, 1977
work page 1977
-
[43]
E. H. Lieb and H.-T. Yau. The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics. Communications in Mathematical Physics , 112(1):147–174, Mar 1987
work page 1987
- [44]
- [45]
-
[46]
R. J. McCann. Stable rotating binary stars and fluid in a tube. Houston Journal of Mathematics , 32(2):603–631, 2006
work page 2006
-
[47]
E. A. Milne. The Equilibrium of a Rotating Star. Monthly Notices of the Royal Astronomical Society, 83(3):118–147, 01 1923
work page 1923
-
[48]
I. Newton. Philosophiae naturalis principia mathematica . Early English books online. Jussu Societas Regiæ ac typis Josephi Streater, prostant venales apud Sam. Smith, 1687
- [49]
-
[50]
G. Rein. Non-linear stability of gaseous stars. Archive for Rational Mechanics and Analysis , 168(2):115–130, Jun 2003. 39
work page 2003
-
[51]
G. Rein. Chapter 5 - collisionless kinetic equations from astrophysics – the vlasov–poisson system. volume 3 of Handbook of Differential Equations: Evolutionary Equations , pages 383–476. North- Holland, 2007
work page 2007
-
[52]
W. Rudin. Principles of Mathematical Analysis . International series in pure and applied math- ematics. McGraw-Hill, 1976
work page 1976
-
[53]
A. Schulze. Existence of axially symmetric solutions to the vlasov-poisson system depending on jacobi’s integral. Communications in Mathematical Sciences , 6:711–727, 09 2008
work page 2008
-
[54]
S. L. Sobolev. On a theorem of functional analysis. Matematicheskii Sbornik , 4:471–497, 1938
work page 1938
-
[55]
W. A. Strauss and Y. Wu. Steady states of rotating stars and galaxies. SIAM Journal on Mathematical Analysis, 49(6):4865–4914, 2017
work page 2017
-
[56]
W. A. Strauss and Y. Wu. Rapidly rotating stars. Communications in Mathematical Physics , 368(2):701–721, Jun 2019
work page 2019
-
[57]
Shell theorem — Wikipedia, the free encyclopedia, 2024
Wikipedia contributors. Shell theorem — Wikipedia, the free encyclopedia, 2024. [Online; accessed 21-April-2024]
work page 2024
- [58]
-
[59]
H. v. Zeipel. The Radiative Equilibrium of a Slightly Oblate Rotating Star. Monthly Notices of the Royal Astronomical Society , 84(9):684–702, 07 1924. 40
work page 1924
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.