pith. sign in

arxiv: 2602.01678 · v2 · submitted 2026-02-02 · 🧮 math.AP · math-ph· math.MP

Gradient Existence and Energy Finiteness of Local Minimizers in the Wasserstein L^infty Topology for Binary-Star Systems

Hangsheng Chen This is my paper

Pith reviewed 2026-05-16 08:36 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MP
keywords binary-star systemsEuler-Poisson equationsWasserstein L^∞ topologylocal energy minimizersgradient existenceenergy finitenessvariational methodsequation of state
0
0 comments X

The pith

Local energy minimizers for binary-star systems in the Wasserstein L^∞ topology possess gradients and finite energy.

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

This paper demonstrates that local minimizers of the energy functional for binary-star systems governed by the Euler-Poisson equations with a general equation of state exist in the topology induced by the Wasserstein L^∞ distance and satisfy key regularity properties. Specifically, these minimizers have gradients that permit deriving the Euler-Poisson equation from the Euler-Lagrange equation. Neighborhoods in this topology contain L^∞ functions, and the energy remains finite for these minimizers. In contrast, the standard topology from topological vector spaces yields no finite-energy local minimizers. This matters because it provides a robust variational approach to finding stable configurations of compressible fluid stars without extra assumptions on the equation of state.

Core claim

The paper shows that under the Wasserstein L^∞ topology, local energy minimizers for binary-star systems with general equation of state exhibit gradient existence, enabling the transition from the Euler-Lagrange equation to the Euler-Poisson equation, and maintain finite energy, whereas in the topology inherited from topological vector spaces only infinite-energy weak local minimizers exist.

What carries the argument

The Wasserstein L^∞ distance, which defines a topology on the space of mass distributions where local energy minimizers can be shown to have gradients and finite energy.

If this is right

  • The Euler-Lagrange equation implies the Euler-Poisson equation due to gradient existence.
  • L^∞ functions exist within neighborhoods in this topology.
  • Local minimizers have finite energy for general equations of state including polytropic gaseous stars.
  • Finite-energy local minimizers do not exist in the standard topological vector space topology.
  • The variational framework applies without additional restrictions on the equation of state.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This characterization could support stability analysis of binary configurations under small mass perturbations measured in the same metric.
  • The approach may adapt to other self-gravitating fluid systems where the interaction potential differs from Newtonian gravity.
  • Numerical schemes that minimize energy directly in the Wasserstein L^∞ sense could locate explicit minimizers for specific equations of state.

Load-bearing premise

The general form of the equation of state, which includes polytropic stars, allows variational methods in the Wasserstein L^∞ topology to establish gradient existence and energy finiteness without further restrictions.

What would settle it

A counterexample consisting of a local minimizer in the Wasserstein L^∞ topology that lacks a gradient or has infinite energy would disprove the main claims.

read the original abstract

In this paper, we refine and complement McCann's results on binary-star systems \cite{McC06}, a compressible fluid model governed by the Euler-Poisson equations. We consider a general form of the equation of state that includes polytropic gaseous stars indexed by $\gamma$ as a special case. Beyond revisiting McCann's framework and conclusions -- where solutions to the Euler-Poisson equations are obtained as local energy minimizers via variational methods under the topology induced by the Wasserstein $L^\infty$ distance -- we focus on a detailed exploration of the properties of local energy minimizers in this topology, addressing three key aspects: (1) the feasibility of transitioning from the Euler-Lagrange equation to the Euler-Poisson equation by demonstrating gradient existence; (2) the existence of $L^\infty$ functions within neighborhoods in this topology; and (3) the finiteness of the energy of local minimizers in this topology, contrasted with the non-existence of finite-energy local minimizers and the existence of infinite-energy weak local minimizers in the topology inherited from topological vector spaces.

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

2 major / 2 minor

Summary. The manuscript refines McCann's variational framework for binary-star systems governed by the Euler-Poisson equations under a general equation of state (including polytropes). It establishes three properties of local energy minimizers in the Wasserstein L^∞ topology: gradient existence permitting passage from the Euler-Lagrange equation to the Euler-Poisson system, existence of L^∞ functions in neighborhoods of this topology, and finiteness of the energy of these minimizers (contrasted with non-existence of finite-energy minimizers in the topology induced by topological vector spaces).

Significance. If the central claims hold, the work supplies useful technical refinements for applying Wasserstein metrics to compressible fluid models in astrophysics. The explicit treatment of gradient existence and energy finiteness for general EOS strengthens the case for this topology over standard ones, potentially aiding stability analysis and numerical approximation of binary systems.

major comments (2)
  1. [Abstract and §3] Abstract and §3 (Gradient Existence): The transition from Euler-Lagrange to Euler-Poisson via gradient existence is load-bearing for the main claim. The manuscript invokes the general EOS without stating explicit differentiability, convexity, or growth conditions on the pressure law beyond McCann (2006). If the pressure is permitted to be non-differentiable, the first variation may recover the Euler-Poisson system only in a weaker (distributional) sense; the proof of Theorem 3.1 must explicitly verify that the pressure term is recovered pointwise or in distributions under the stated assumptions.
  2. [§5] §5 (Energy Finiteness): The finiteness result for local minimizers in the Wasserstein L^∞ topology is central to the contrast with other topologies. The argument appears to rely on the specific metric properties of the L^∞-Wasserstein distance, but it is unclear whether the bound is uniform over all local minimizers or requires additional compactness arguments; please add a precise statement of the energy bound and its dependence on the EOS parameters.
minor comments (2)
  1. [§2.1] The definition of the Wasserstein L^∞ distance and the precise topology on the space of measures should be recalled explicitly in §2.1 for reader convenience.
  2. [Notation] A few typographical inconsistencies appear in the indexing of polytropic exponents γ across equations (2.3) and (4.1).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate revisions to improve clarity on the assumptions and statements of our results.

read point-by-point responses

  1. Referee: [Abstract and §3] Abstract and §3 (Gradient Existence): The transition from Euler-Lagrange to Euler-Poisson via gradient existence is load-bearing for the main claim. The manuscript invokes the general EOS without stating explicit differentiability, convexity, or growth conditions on the pressure law beyond McCann (2006). If the pressure is permitted to be non-differentiable, the first variation may recover the Euler-Poisson system only in a weaker (distributional) sense; the proof of Theorem 3.1 must explicitly verify that the pressure term is recovered pointwise or in distributions under the stated assumptions.

    Authors: We agree that the assumptions on the equation of state require explicit statement to guarantee pointwise recovery. In the revised manuscript we will add a subsection in §2 listing the precise differentiability, convexity, and growth conditions on p(ρ) (extending those of McCann 2006). The proof of Theorem 3.1 will be expanded to verify that these conditions yield the pressure term pointwise a.e., rather than only distributionally. revision: yes

  2. Referee: [§5] §5 (Energy Finiteness): The finiteness result for local minimizers in the Wasserstein L^∞ topology is central to the contrast with other topologies. The argument appears to rely on the specific metric properties of the L^∞-Wasserstein distance, but it is unclear whether the bound is uniform over all local minimizers or requires additional compactness arguments; please add a precise statement of the energy bound and its dependence on the EOS parameters.

    Authors: The energy bound is uniform for all local minimizers inside a fixed L^∞-Wasserstein ball and follows directly from the metric properties without extra compactness. In the revised §5 we will state the bound explicitly, including its dependence on the EOS parameters (e.g., the polytropic index γ), and clarify that the L^∞ control alone suffices. revision: yes

Circularity Check

0 steps flagged

No significant circularity; extends McCann framework via independent variational analysis

full rationale

The paper refines McCann (2006) by adding analysis of local minimizers under Wasserstein L^∞ topology: gradient existence to pass from Euler-Lagrange to Euler-Poisson, L^∞ neighborhood properties, and energy finiteness for general EOS (polytropic as special case). These steps rely on variational methods and topology properties applied to the existing framework rather than redefining inputs or fitting parameters to outputs. No self-citation load-bearing chains, ansatz smuggling, or renaming of known results occur; the central claims are presented as new topological verifications that do not reduce by construction to the cited base results. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard assumptions from variational calculus for Euler-Poisson systems and properties of the Wasserstein distance; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption General equation of state including polytropic stars as special case permits the variational framework
    Invoked to extend McCann's results to broader class of fluids.

pith-pipeline@v0.9.0 · 5501 in / 1233 out tokens · 37884 ms · 2026-05-16T08:36:13.499872+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

39 extracted references · 39 canonical work pages

  1. [1]

    Alonso-Orán, B

    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. [2]

    Ambrosio, E

    L. Ambrosio, E. Brué, and D. Semola. Lectures on Optimal Transport . UNITEXT. Springer International Publishing, 2021

    work page 2021

  3. [3]

    Auchmuty

    G. Auchmuty. The global branching of rotating stars. Archive for Rational Mechanics and Analysis, 114(2):179–193, Jun 1991

    work page 1991

  4. [4]

    J. F. G. Auchmuty and R. Beals. Models of rotating stars. The Astrophysical Journal, 165:L79, 04 1971

    work page 1971

  5. [5]

    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

  6. [6]

    Badin and F

    G. Badin and F. Crisciani. Variational Formulation of Fluid and Geophysical Fluid Dynamics - Mechanics, Symmetries and Conservation Laws - . 01 2018

    work page 2018

  7. [7]

    Baerends

    E. Baerends. Chemical potential, derivative discontinuity, fractional electrons, jump of the kohn- sham potential, atoms as thermodynamic open systems, and other (mis)conceptions of the density functional theory of electrons in molecules. Physical Chemistry Chemical Physics , 24, 05 2022

    work page 2022

  8. [8]

    Bahouri, J

    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

  9. [9]

    H. Brezis. Functional analysis, Sobolev spaces and partial differential equations , volume 2. Springer, 2011

    work page 2011

  10. [10]

    L. A. Caffarelli and A. Friedman. The shape of axisymmetric rotating fluid.Journal of Functional Analysis, 35(1):109–142, 1980

    work page 1980

  11. [11]

    Chanillo and Y

    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

  12. [12]

    H. Chen. Existence for stable rotating star-planet systems, 2026. 45

    work page 2026

  13. [13]

    H. Chen. Revisiting non-rotating star models: Classical existence and uniqueness theory and Scaling relations, 2026

    work page 2026

  14. [14]

    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

  15. [15]

    L. Evans. Partial Differential Equations . Graduate studies in mathematics. American Mathe- matical Society, 2010

    work page 2010

  16. [16]

    Evans and R

    L. Evans and R. Gariepy. Measure Theory and Fine Properties of Functions, Revised Edition . 04 2015

    work page 2015

  17. [17]

    G. Folland. Real Analysis: Modern Techniques and Their Applications . Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley, 2013

    work page 2013

  18. [18]

    C. R. Givens and R. M. Shortt. A class of Wasserstein metrics for probability distributions. Michigan Mathematical Journal , 31(2):231 – 240, 1984

    work page 1984

  19. [19]

    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

  20. [20]

    E. W. Hobson. On the Second Mean-Value Theorem of the Integral Calculus, Oct. 2018

    work page 2018

  21. [21]

    Jang and T

    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

  22. [22]

    Jang and T

    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

  23. [23]

    Jang and J

    J. Jang and J. Seok. On uniformly rotating binary stars and galaxies. Archive for Rational Mechanics and Analysis , 244(2), 2022

    work page 2022

  24. [24]

    H. Lamb. Hydrodynamics. 6th edition. C.U.P, 1932

    work page 1932

  25. [25]

    G. Leoni. A First Course in Sobolev Spaces . Graduate studies in mathematics. American Mathematical Soc., 2009

    work page 2009

  26. [26]

    Y. Li. On uniformly rotating stars.Archive for Rational Mechanics and Analysis, 115(4):367–393, Dec 1991

    work page 1991

  27. [27]

    Lichtenstein

    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

  28. [28]

    E. H. Lieb and R. J. McCann. Personal communication. 46

    work page

  29. [29]

    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

  30. [30]

    R. J. McCann. A convexity theory for interacting gases and equilibrium crystals. Ph.D. Thesis, Princeton University, 1994

    work page 1994

  31. [31]

    R. J. McCann. Stable rotating binary stars and fluid in a tube.Houston Journal of Mathematics , 32(2):603–631, 2006

    work page 2006

  32. [32]

    F. Morgan. The perfect shape for a rotating rigid body. Mathematics Magazine , 75(1):30–32, 2002

    work page 2002

  33. [33]

    J. Munkres. Topology. Featured Titles for Topology. Prentice Hall, Incorporated, 2000

    work page 2000

  34. [34]

    Royden and P

    H. Royden and P. Fitzpatrick. Real Analysis. Prentice Hall, 2010

    work page 2010

  35. [35]

    W. Rudin. Principles of Mathematical Analysis . International series in pure and applied math- ematics. McGraw-Hill, 1976

    work page 1976

  36. [36]

    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

  37. [37]

    W. A. Strauss and Y. Wu. Rapidly rotating stars. Communications in Mathematical Physics , 368(2):701–721, Jun 2019

    work page 2019

  38. [38]

    T. Tao. Analysis I: Third Edition . Texts and Readings in Mathematics. Springer Nature Singa- pore, 2016

    work page 2016

  39. [39]

    Lagrangian and eulerian specification of the flow field — Wikipedia, the free encyclopedia, 2024

    Wikipedia contributors. Lagrangian and eulerian specification of the flow field — Wikipedia, the free encyclopedia, 2024. [Online; accessed 6-April-2024]. 47

    work page 2024