pith. sign in

arxiv: 2512.11914 · v2 · submitted 2025-12-11 · 🌀 gr-qc · astro-ph.SR· hep-ph· hep-th

Self-gravitating equilibrium with slow steady flow and its consistent form of entropy current

Shuichi Yokoyama This is my paper

Pith reviewed 2026-05-16 23:32 UTC · model grok-4.3

classification 🌀 gr-qc astro-ph.SRhep-phhep-th
keywords self-gravitating equilibriumsteady flowentropy currentrelativistic fluidperturbative expansionspherical symmetrygeneral relativity
0
0 comments X

The pith

In self-gravitating equilibria with slow steady flow the entropy current must take the form s^μ = (s - b j^0) u^μ / u^0 + b j^μ, with b fixed by conservation and starting at quadratic order.

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

The paper studies relativistic self-gravitating systems that are spherically symmetric yet carry a small steady radial energy flow. It expands all quantities perturbatively around the static hydrostatic solution, where the radial component of the four-velocity is treated as a small parameter. A general covariant expression for the entropy current is written as a linear combination of the fluid velocity and the steady-flow current, and a new condition is imposed that reduces this expression to the unconventional form s^μ = (s - b j^0) u^μ / u^0 + b j^μ. Current conservation then determines the remaining coefficient b, which the perturbative analysis shows begins only at quadratic order in the flow velocity, with its leading term given explicitly.

Core claim

The central claim is that the entropy current in a spherically symmetric self-gravitating equilibrium with slow steady flow is fixed by the condition that it take the specific form s^μ = (s - b j^0) u^μ / u^0 + b j^μ, after which the conservation equation for the flow current determines b explicitly at the leading quadratic order in the perturbative expansion around the hydrostatic limit.

What carries the argument

The unconventional entropy current s^μ = (s - b j^0) u^μ / u^0 + b j^μ, with the single remaining coefficient b fixed by the conservation law for the steady-flow current j^μ.

If this is right

  • Differential equations are obtained that determine the first corrections to the metric and fluid structure variables.
  • The entropy current is rendered consistent with the presence of the steady flow current.
  • The leading term in the expansion of b is computed explicitly from the quadratic-order equations.
  • The perturbative scheme remains valid for arbitrarily small but nonzero steady flow.

Where Pith is reading between the lines

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

  • The same construction could be applied to slowly accreting compact objects to obtain a covariant description of their entropy balance.
  • Stability analysis of the equilibrium solutions may now incorporate the small dissipative flow without ad-hoc assumptions.
  • Numerical relativity codes could implement the derived differential equations as a controlled test-bed for dissipative GR hydrodynamics.

Load-bearing premise

The new condition that forces the entropy current into the specific unconventional form involving the ratio of the time components of the flow current.

What would settle it

A direct numerical computation, in a self-gravitating fluid simulation with small radial velocity, of the entropy current components that shows the coefficient b is nonzero already at linear order in velocity.

read the original abstract

A relativistic self-gravitating equilibrium system with spherical symmetry as well as with steady energy flow is investigated perturbatively around the hydrostatic limit, where the radial component of the fluid velocity field $u^\mu$ is sufficiently small. Each component of vectors and tensors consisting of the system is expanded in different powers, which makes the covariant perturbation approach ineffective. The differential equations to determine the subleading correction of the structure variables are presented. The system retains the current $j^\mu$ accounting for the steady flow, which contributes to the entropy current $s^\mu$ in such a general covariant form that $s^\mu=au^\mu+ bj^\mu$ with $a, b$ unknown parametric functions. To determine them, a new condition is proposed. This condition imposes the entropy current to be of an unconventional form $s^\mu=(s-bj^0)u^\mu/u^0+ bj^\mu$, where $s$ is the entropy density. The remaining parameter $b$ is fixed by the current conservation equation. The perturbative analysis shows that $b$ starts with the quadratic order and its leading term is determined explicitly.

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 / 2 minor

Summary. The manuscript investigates a spherically symmetric, self-gravitating relativistic equilibrium with slow steady flow, perturbatively expanded around the hydrostatic limit. Components of the metric, fluid velocity, and currents are expanded in powers of a small radial velocity parameter. Differential equations for subleading corrections to the structure variables are derived. The entropy current is parametrized in the general form s^μ = a u^μ + b j^μ; a new condition is introduced to fix a = (s - b j^0)/u^0, yielding the unconventional expression s^μ = (s - b j^0) u^μ/u^0 + b j^μ. The remaining parameter b is then fixed by the current conservation equation, with the perturbative analysis showing that b vanishes through linear order and its leading quadratic term is determined explicitly.

Significance. If the proposed condition on the entropy current can be shown to follow from the field equations or the second law rather than being imposed by hand, the work would supply a concrete perturbative framework for incorporating weak steady flows into self-gravitating equilibria. The explicit leading-order expression for b and the differential equations for subleading corrections could serve as a starting point for modeling slowly evolving compact objects or stellar interiors with small radial currents. The approach highlights the limitations of standard covariant perturbation methods when different tensor components scale differently.

major comments (1)
  1. The new condition that sets a = (s - b j^0)/u^0 and produces the unconventional form s^μ = (s - b j^0) u^μ/u^0 + b j^μ is introduced without derivation from the Einstein equations, the continuity equation for j^μ, or the requirement ∇_μ s^μ ≥ 0. Because the claim that b begins at quadratic order and its explicit leading coefficient rests entirely on this choice, the result is conditional on an assumption whose dynamical origin is not demonstrated. A concrete test would be to verify whether this form of s^μ is required by the field equations or follows from entropy production positivity independently of the parametrization.
minor comments (2)
  1. The statement that the covariant perturbation approach is ineffective should be accompanied by a brief comparison showing why a standard expansion in a small parameter fails for the chosen variables.
  2. Notation for the components of u^μ and j^μ (especially the distinction between u^0 and the normalization) should be defined explicitly in the section introducing the entropy current parametrization.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. The main concern is the introduction of the condition fixing the entropy current without a derivation from the field equations or the second law. We address this point below, providing our honest assessment and indicating planned revisions for clarification.

read point-by-point responses

  1. Referee: The new condition that sets a = (s - b j^0)/u^0 and produces the unconventional form s^μ = (s - b j^0) u^μ/u^0 + b j^μ is introduced without derivation from the Einstein equations, the continuity equation for j^μ, or the requirement ∇_μ s^μ ≥ 0. Because the claim that b begins at quadratic order and its explicit leading coefficient rests entirely on this choice, the result is conditional on an assumption whose dynamical origin is not demonstrated. A concrete test would be to verify whether this form of s^μ is required by the field equations or follows from entropy production positivity independently of the parametrization.

    Authors: We acknowledge that the condition is proposed to ensure a consistent thermodynamic interpretation rather than being directly derived from the Einstein equations. The general decomposition s^μ = a u^μ + b j^μ is not fixed uniquely by the gravitational field equations or by ∇_μ j^μ = 0; these constrain only the divergence of s^μ through the second law. The specific choice a = (s - b j^0)/u^0 is motivated by requiring that the coordinate time component satisfies s^0 = s, so that s retains its meaning as the entropy density in the chosen coordinate system. This reduces correctly to the standard form s^μ = s u^μ when the flow vanishes (j^μ = 0). With this choice, current conservation determines b, which our perturbative expansion shows vanishes through linear order, with the leading quadratic term fixed explicitly. At the orders considered, the resulting divergence ∇_μ s^μ remains non-negative, consistent with the second law. We agree that a demonstration that this form is strictly required by the equations independently of the parametrization lies beyond the present perturbative analysis. We will revise the manuscript to add an explicit paragraph motivating the condition via the requirement s^0 = s and to clarify its relation to entropy production at leading perturbative orders. revision: partial

standing simulated objections not resolved
  • A complete derivation showing that the specific form of the entropy current follows necessarily from the Einstein equations or the positivity of entropy production without imposing the condition by hand.

Circularity Check

0 steps flagged

No significant circularity; b determined independently by conservation

full rationale

The paper proposes a new condition that sets the entropy current to the specific unconventional form s^μ = (s - b j^0) u^μ/u^0 + b j^μ, thereby expressing a in terms of b. The remaining parameter b is then fixed by the current conservation equation, which supplies an independent dynamical constraint from the field equations and continuity. The perturbative result that b begins at quadratic order and its leading coefficient is determined explicitly follows from solving those equations around the hydrostatic limit rather than being imposed by definition or by a self-referential fit. No load-bearing self-citation, ansatz smuggling, or reduction of the claimed prediction to the input condition by construction occurs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard general relativity and relativistic hydrodynamics assumptions plus one ad hoc condition introduced for the entropy current; no explicit free parameters are fitted as b is determined by conservation.

axioms (2)
  • domain assumption Standard assumptions of general relativity and relativistic hydrodynamics for self-gravitating fluids with spherical symmetry.
    The system is modeled using Einstein equations and fluid conservation laws implicitly referenced in the abstract.
  • ad hoc to paper The entropy current can be expressed as a linear combination of u^μ and j^μ with parametric functions a and b.
    This general covariant form is stated in the abstract as the starting point before applying the new condition.

pith-pipeline@v0.9.0 · 5506 in / 1433 out tokens · 37722 ms · 2026-05-16T23:32:29.478817+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

45 extracted references · 45 canonical work pages · 1 internal anchor

  1. [1]

    Eddington,The Internal Constitution of the Stars

    A. Eddington,The Internal Constitution of the Stars. Cambridge University Press/Dover Publications/Cambridge University Press, 1930/1959/1988

    work page 1930

  2. [2]

    Nuclear energy sources and stellar evolution,

    G. Gamow, “Nuclear energy sources and stellar evolution,”Phys. Rev.53(Apr,

    work page

  3. [3]

    Energy production in stars,

    H. A. Bethe, “Energy production in stars,”Phys. Rev.55(1939) 434–456

    work page 1939

  4. [4]

    Harwit,Astrophysical Concepts

    M. Harwit,Astrophysical Concepts. Astronomy and Astrophysics Library. Springer New York, 1988

    work page 1988

  5. [5]

    Phillips,The Physics of Stars

    A. Phillips,The Physics of Stars. Manchester Physics Series. Wiley, 1994. 9

    work page 1994

  6. [6]

    Tayler,The Stars: Their Structure and Evolution

    R. Tayler,The Stars: Their Structure and Evolution. Cambridge University Press, 1994

    work page 1994

  7. [7]

    C. J. Hansen and S. D. Kawaler,Stellar Interiors. Springer, 1994

    work page 1994

  8. [8]

    Kippenhahn and A

    R. Kippenhahn and A. Weigert,Stellar Structure and Evolution. Astronomy and Astrophysics Library. Springer-Verlag, Berlin, Heidelberg, 2nd ed., 2012

    work page 2012

  9. [9]

    Choudhuri,Astrophysics for Physicists

    A. Choudhuri,Astrophysics for Physicists. Astrophysics for Physicists. Cambridge University Press, 2010

    work page 2010

  10. [10]

    Ist die Tr¨ agheit eines K¨ orpers von seinem Energieinhalt abh¨ angig?,

    A. Einstein, “Ist die Tr¨ agheit eines K¨ orpers von seinem Energieinhalt abh¨ angig?,” Annalen der Physik323(Jan., 1905) 639–641

    work page 1905

  11. [11]

    Relativistic Hydrostatic Structure Equations and Analytic Multilayer Stellar Model,

    S. Yokoyama, “Relativistic Hydrostatic Structure Equations and Analytic Multilayer Stellar Model,”2306.16647

    work page arXiv

  12. [12]

    Stellar Physics and General Relativity,

    S. Yokoyama, “Stellar Physics and General Relativity,” inAstronomische Nachrichten. 12, 2024.2501.01442

    work page arXiv 2024

  13. [13]

    On the weight of heat and thermal equilibrium in general relativity,

    R. C. Tolman, “On the weight of heat and thermal equilibrium in general relativity,” Phys. Rev.35(Apr, 1930) 904–924

    work page 1930

  14. [14]

    Temperature equilibrium in a static gravitational field,

    R. C. Tolman and P. Ehrenfest, “Temperature equilibrium in a static gravitational field,”Phys. Rev.36(Dec, 1930) 1791–1798

    work page 1930

  15. [15]

    On massive neutron cores,

    J. R. Oppenheimer and G. M. Volkoff, “On massive neutron cores,”Phys. Rev.55 (Feb, 1939) 374–381

    work page 1939

  16. [16]

    R. C. Tolman,Relativity, Thermodynamics, and Cosmology. The Clarendon Press, 1934

    work page 1934

  17. [17]

    I. B. I. B. Zel’dovich,Relativistic astrophysics. University of Chicago Press, Chicago, 1971 - 1983

    work page 1971

  18. [18]

    Hawking and G

    S. Hawking and G. Ellis,The Large Scale Structure of Space-Time. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 1973

    work page 1973

  19. [19]

    C. W. Misner, K. S. Thorne, and J. A. Wheeler,Gravitation. W. H. Freeman, San Francisco, 1973

    work page 1973

  20. [20]

    Hartle,Gravity: An Introduction to Einstein ’s General Relativity

    J. Hartle,Gravity: An Introduction to Einstein ’s General Relativity. Addison-Wesley, 2003

    work page 2003

  21. [21]

    Local thermodynamics and entropy for relativistic hydrostatic equilibrium,

    S. Yokoyama, “Local thermodynamics and entropy for relativistic hydrostatic equilibrium,”Phys. Lett. B856(2024) 138878,2304.06196. 10

    work page arXiv 2024

  22. [22]

    Thermodynamics with long-range interactions: From ising models to black holes,

    J. Oppenheim, “Thermodynamics with long-range interactions: From ising models to black holes,”Physical Review E68(July, 2003)

    work page 2003

  23. [23]

    Charge conservation, entropy current and gravitation,

    S. Aoki, T. Onogi, and S. Yokoyama, “Charge conservation, entropy current and gravitation,”Int. J. Mod. Phys. A36(2021), no. 29, 2150201,2010.07660

    work page arXiv 2021

  24. [24]

    What is the correct definition of entropy for general relativistic field theory?,

    S. Yokoyama, “What is the correct definition of entropy for general relativistic field theory?,”PoSEPS-HEP2023(2024) 502,2312.12739

    work page arXiv 2024

  25. [25]

    Geometric conservation in curved spacetime and entropy,

    S. Aoki, Y. Hidaka, K. Kawana, and K. Shimada, “Geometric conservation in curved spacetime and entropy,”Eur. Phys. J. C85(2025), no. 4, 419,2312.09712

    work page arXiv 2025

  26. [26]

    De Sitter entropy: On-shell versus off-shell,

    D. Diakonov, “De Sitter entropy: On-shell versus off-shell,”Phys. Lett. B871(2025) 139967,2504.01942

    work page arXiv 2025

  27. [27]

    Landau and E

    L. Landau and E. Lifshitz,Fluid Mechanics: Volume 6. Butterworth-Heinemann, 1987

    work page 1987

  28. [28]

    An introduction to relativistic hydrodynamics

    E. Gourgoulhon, “An Introduction to relativistic hydrodynamics,”EAS Publ. Ser. 21(2006) 43–79,gr-qc/0603009

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  29. [29]

    Relativistic fluid dynamics: Physics for many different scales,

    N. Andersson and G. L. Comer, “Relativistic fluid dynamics: Physics for many different scales,”Living Reviews in Relativity10(Jan., 2007)

    work page 2007

  30. [30]

    Rezzolla and O

    L. Rezzolla and O. Zanotti,Relativistic Hydrodynamics. EBSCO ebook academic collection. OUP Oxford, 2013

    work page 2013

  31. [31]

    Zur dynamik bewegter systeme,

    M. Planck, “Zur dynamik bewegter systeme,”.Berl. Ber.542–570 (1907);Ann. d. Phys.331(1908)

    work page 1907

  32. [32]

    Constraints on fluid dynamics from equilibrium partition functions,

    N. Banerjee, J. Bhattacharya, S. Bhattacharyya, S. Jain, S. Minwalla, and T. Sharma, “Constraints on fluid dynamics from equilibrium partition functions,” Journal of High Energy Physics2012(Sept., 2012)

    work page 2012

  33. [33]

    Towards hydrodynamics without an entropy current,

    K. Jensen, M. Kaminski, P. Kovtun, R. Meyer, A. Ritz, and A. Yarom, “Towards hydrodynamics without an entropy current,”Physical Review Letters109(Sept., 2012)

    work page 2012

  34. [34]

    Gravitational equilibrium with steady flow and relativistic local thermodynamics,

    S. Yokoyama, “Gravitational equilibrium with steady flow and relativistic local thermodynamics,”Phys. Lett. B868(2025) 139740,2504.16517

    work page arXiv 2025

  35. [35]

    Lorentz-transformation der w¨ arme und der temperatur,

    H. J. Ott, “Lorentz-transformation der w¨ arme und der temperatur,”Zeitschrift f¨ ur Physik175(1963) 70–104

    work page 1963

  36. [36]

    Transformation relativiste de la temp´ erature et de quelques autres grandeurs thermodynamiques,

    H. Arzeli` es, “Transformation relativiste de la temp´ erature et de quelques autres grandeurs thermodynamiques,”Il Nuovo Cimento (1955-1965)35(1965) 792–804. 11

    work page 1955

  37. [37]

    Møller,Relativistic Thermodynamics: A Strange Incident in the History of Physics

    C. Møller,Relativistic Thermodynamics: A Strange Incident in the History of Physics. Det Kongelige Danske Videnskabernes Selskab Matematiskfysische meddelelser. Munksgaard, 1967

    work page 1967

  38. [38]

    On the thermodynamical equilibrium of fluids in gravitational fields,

    O. Klein, “On the thermodynamical equilibrium of fluids in gravitational fields,” Rev. Mod. Phys.21(Jul, 1949) 531–533

    work page 1949

  39. [39]

    Anisotropic Spheres in General Relativity,

    R. L. Bowers and E. P. T. Liang, “Anisotropic Spheres in General Relativity,” Astrophysical Journal188(Mar., 1974) 657

    work page 1974

  40. [40]

    Some models of anisotropic spheres in general relativity,

    M. Cosenza, L. Herrera, M. Esculpi, and L. Witten, “Some models of anisotropic spheres in general relativity,”Journal of Mathematical Physics22(Jan., 1981) 118–125

    work page 1981

  41. [41]

    Anisotropic Fluid Spheres in General Relativity,

    S. S. Bayin, “Anisotropic Fluid Spheres in General Relativity,”Phys. Rev. D26 (1982) 1262

    work page 1982

  42. [42]

    Local anisotropy in self-gravitating systems,

    L. Herrera and N. O. Santos, “Local anisotropy in self-gravitating systems,”Phys. Rept.286(1997) 53–130

    work page 1997

  43. [43]

    The Motions of Stars in a Kapteyn Universe,

    J. H. Jeans, “The Motions of Stars in a Kapteyn Universe,”Monthly Notices of the Royal Astronomical Society82(Jan., 1922) 122–132

    work page 1922

  44. [44]

    Stability and causality in dissipative relativistic fluids,

    W. A. Hiscock and L. Lindblom, “Stability and causality in dissipative relativistic fluids,”Annals of Physics151(1983), no. 2, 466–496

    work page 1983

  45. [45]

    Generic instabilities in first-order dissipative relativistic fluid theories,

    W. A. Hiscock and L. Lindblom, “Generic instabilities in first-order dissipative relativistic fluid theories,”Phys. Rev. D31(Feb, 1985) 725–733. 12

    work page 1985