pith. sign in

arxiv: 2604.06540 · v1 · submitted 2026-04-08 · 🧮 math.AP · cond-mat.stat-mech

Local H theorem for Enskog and Enskog-Vlasov equations with a modified Enskog factor

Pith reviewed 2026-05-10 18:44 UTC · model grok-4.3

classification 🧮 math.AP cond-mat.stat-mech
keywords Enskog equationH theoremlocal entropy productionkinetic theoryEnskog-Vlasov equationmodified Enskog factor
0
0 comments X

The pith

The local H theorem holds for the Enskog equation with the authors' modified Enskog factor and also for the corresponding Enskog-Vlasov equation.

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

The paper establishes that the local H theorem, which requires the entropy production to be non-negative at every point in space, applies to the Enskog equation when the collision term incorporates the modified Enskog factor introduced in the authors' prior work. This local result is stronger than the global H theorem shown earlier and is derived by adapting the method of Mareschal et al. used for the revised Enskog equation. The same local H theorem is proven to hold when a mean-field Vlasov force term is added. A sympathetic reader would care because the local H theorem provides a pointwise guarantee of irreversible behavior consistent with the second law, which is essential for justifying the equations in non-uniform dense gas flows.

Core claim

The local H theorem is shown to hold for the Enskog equation with a modified Enskog factor proposed by the authors. This is a stronger statement than the global one in the same paper and has been obtained along the lines of Mareschal et al. for the modified Enskog equation. Furthermore, it is shown that the local H theorem also holds for the corresponding Enskog-Vlasov equation.

What carries the argument

The modified Enskog factor in the collision operator, which satisfies the positivity and integrability conditions required to make the time derivative of the local H-function non-positive.

If this is right

  • The Enskog equation with the modified factor satisfies the second law of thermodynamics in a local sense.
  • Entropy production remains non-negative pointwise even in spatially inhomogeneous systems.
  • The same local entropy inequality holds when mean-field forces are included via the Enskog-Vlasov extension.
  • The proof structure follows the same collision-integral estimates as in the revised Enskog case.

Where Pith is reading between the lines

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

  • The local result may facilitate deriving hydrodynamic equations with guaranteed entropy dissipation in the continuum limit.
  • It could be tested by tracking the local H-function in direct numerical simulations of the kinetic equation.
  • The approach might apply to other density-dependent collision models that preserve similar positivity properties.

Load-bearing premise

The modified Enskog factor must satisfy positivity and integrability conditions so that the steps used to derive the local H theorem for the revised Enskog equation carry over directly.

What would settle it

A concrete counterexample would be a smooth initial distribution for the Enskog equation with the modified factor where the local entropy production rate becomes negative at some position and time.

read the original abstract

The local H theorem is shown to hold for the Enskog equation with a modified Enskog factor proposed by the authors [Phys. Rev. E 111, 065108 (2025)]. This is a stronger statement than the global one in the same paper and has been obtained along the lines of Mareschal et al. [Phys. Rev. Lett. 52, 1169-1172 (1984)] for the modified (or revised) Enskog equation. Furthermore, it is shown that the local H theorem also holds for the corresponding Enskog-Vlasov equation.

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

Summary. The manuscript proves that the local H-theorem holds for the Enskog equation when the standard Enskog factor is replaced by the modified factor introduced in the authors' prior Phys. Rev. E paper. The proof adapts the collision-integral cancellation technique of Mareschal et al. (1984) for the revised Enskog equation. The same local H-theorem is also established for the corresponding Enskog-Vlasov equation.

Significance. If the modified factor satisfies the requisite positivity, symmetry, and integrability conditions, the result supplies a local entropy-production inequality stronger than the global H-theorem already shown by the authors. This strengthens the thermodynamic consistency of the model and is useful for subsequent hydrodynamic-limit or stability analyses in dense-gas kinetic theory.

major comments (1)
  1. The derivation of the local H-theorem (following the lines of Mareschal et al.) requires that the specific modified Enskog factor Y introduced in Phys. Rev. E 111, 065108 (2025) obey the same positivity, particle-exchange symmetry, and velocity-integrability properties used to cancel the gain-loss terms against (log f1 + log f2). The manuscript does not contain an explicit verification that the functional form of this Y produces no residual non-negative contribution to the entropy production; this check is load-bearing for the central claim.
minor comments (1)
  1. The introduction should cite the precise equation number or definition of the modified factor Y from the prior Phys. Rev. E paper so that readers can immediately confirm the conditions invoked in the present proof.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive summary, and the recommendation of minor revision. We address the single major comment below.

read point-by-point responses
  1. Referee: The derivation of the local H-theorem (following the lines of Mareschal et al.) requires that the specific modified Enskog factor Y introduced in Phys. Rev. E 111, 065108 (2025) obey the same positivity, particle-exchange symmetry, and velocity-integrability properties used to cancel the gain-loss terms against (log f1 + log f2). The manuscript does not contain an explicit verification that the functional form of this Y produces no residual non-negative contribution to the entropy production; this check is load-bearing for the central claim.

    Authors: We agree that an explicit link between the properties of Y and the cancellation step strengthens the presentation. The modified factor Y was constructed in our prior work [Phys. Rev. E 111, 065108 (2025)] precisely so that it satisfies positivity, particle-exchange symmetry, and the required velocity integrability; those properties were verified there by direct inspection of the functional form. Because the local H-theorem proof follows the identical gain-loss cancellation argument used by Mareschal et al., the same properties guarantee that the integral of (log f1 + log f2) times the collision operator vanishes without residual non-negative terms. In the revised manuscript we will insert a short paragraph (or brief appendix) that recalls these properties from the earlier paper and states explicitly why they suffice for the local entropy-production inequality. revision: yes

Circularity Check

1 steps flagged

Minor self-citation of modified Enskog factor; derivation follows independent external reference

specific steps
  1. self citation load bearing [Abstract]
    "The local H theorem is shown to hold for the Enskog equation with a modified Enskog factor proposed by the authors [Phys. Rev. E 111, 065108 (2025)]. This is a stronger statement than the global one in the same paper and has been obtained along the lines of Mareschal et al. [Phys. Rev. Lett. 52, 1169-1172 (1984)] for the modified (or revised) Enskog equation."

    The central claim applies the local H theorem specifically to the authors' modified factor (defined and globally analyzed in the self-cited prior work). While the derivation method is external, the justification that this particular factor permits the required cancellation relies on the self-citation rather than an independent re-verification of its properties within this manuscript.

full rationale

The paper derives the local H theorem along the lines of the external Mareschal et al. (1984) reference for the revised Enskog equation, adapting the multiplication by log f and integration steps to show non-positive collision contribution. The modified factor is introduced via citation to the authors' prior Phys. Rev. E paper (where global H was shown), but this is not load-bearing: the proof relies on the factor satisfying stated positivity/symmetry/integrability conditions that allow the same rewriting of gain-loss terms as in the external reference. No self-definitional loops, fitted inputs renamed as predictions, or uniqueness theorems imported from self-citations appear. The result is self-contained against the external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so specific free parameters, axioms, and invented entities cannot be extracted. The work relies on the modified Enskog factor defined in the authors' prior paper and on standard kinetic-theory assumptions used in the Mareschal et al. derivation.

pith-pipeline@v0.9.0 · 5405 in / 1162 out tokens · 60606 ms · 2026-05-10T18:44:39.068893+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

35 extracted references · 35 canonical work pages

  1. [1]

    Finally, the paper is concluded in Sec

    from the present results is addressed in Appendix B. Finally, the paper is concluded in Sec. V. II. ENSKOG EQUA TION WITH A SLIGHT MODIFICA TION (EESM) We consider the Enskog equation for a single species dense gas that is composed of hard sphere molecules with a common diameterσand massm. LetDbe a fixed spatial domain in which the center of gas molecules...

  2. [2]

    Accordingly, it is natural to consider the local statement for the free energy

    by the amount of ∆i ≡J (k) i +J (c) i −H (c)vi −ρv i Z D ρ(Y) m θ(σ− |Y−X|)S(R(Y))dY.(24) When the gas system is in contact with a heat bath with a uniform constant temperature Tw, the free energy rather than the entropy of the physical system should be a monotonic function in time. Accordingly, it is natural to consider the local statement for the free e...

  3. [3]

    T ransformation of⟨J(f) lnf⟩ The substitution ofφ= lnfin (A2) yields ⟨J(f) lnf⟩ = σ2 m Z [lnf ′(X)−lnf(X)]g(X − σα,X)f ∗(X − σα)f(X) ×V αθ(Vα)dΩ(α)dξ∗dξ = σ2 2m Z [ln f ′(X)f ′ ∗(X − σα) f(X)f ∗(X − σα) + ln f ′(X)f ∗(X − σα) f(X)f ′ ∗(X − σα) ] ×g(X − σα,X)f ∗(X − σα)f(X)V αθ(Vα)dΩ(α)dξ∗dξ = σ2 2m Z ln f ′(X)f ′ ∗(X − σα) f(X)f ∗(X − σα) ×g(X − σα,X)f ∗(...

  4. [4]

    T ransformation ofI The transformation ofIfrom (13b) to (15) has been done by operation (III) followed by (II): I=− σ2 2m Z g(X,X − σα)f ′ ∗(X − σα)f ′(X) ×V ′ αθ(−V ′ α)dΩ(α)dξdξ∗ − σ2 2m Z g(X,X − σα)f(X)f ∗(X − σα) ×V αθ(Vα)dΩ(α)dξdξ∗ =− σ2 2m Z g(X,X − σα)f(X)f ∗(X − σα) ×V αdΩ(α)dξdξ∗ = σ2 2m Z g(X,X − σα)ρ(X)ρ(X − σα) ×[v j(X)−v j(X − σα)]αjdΩ(α) = ...

  5. [5]

    Since the difference ofJ F i fromJ H i originates from ⟨ξiflnf w⟩, the difference can be handled by the Darrozes–Guiraud inequality [27–29] for case (iii)

    is recovered for cases (i) and (ii). Since the difference ofJ F i fromJ H i originates from ⟨ξiflnf w⟩, the difference can be handled by the Darrozes–Guiraud inequality [27–29] for case (iii). Hence, the monotonic decrease ofFfor case (iii) results along the lines of the argument in [12]. In closing, let us examine the influence of the Vlasov term. Firstl...

  6. [6]

    Enskog, Kinetic theory of heat conduction, viscosity, and self-diffusion in compressed gases and liquids, inKinetic Theory, Vol

    D. Enskog, Kinetic theory of heat conduction, viscosity, and self-diffusion in compressed gases and liquids, inKinetic Theory, Vol. 3, S. G. Brush ed., Pergamon Press, Oxford, Part 2, 1972, pp.226–259

  7. [7]

    J. M. Montanero and A. Santos, Monte Carlo simulation method for the Enskog equation, Phys. Rev. E54, 438–444 (1996)

  8. [8]

    Frezzotti, A particle scheme for the numerical solution of the Enskog equation,Phys

    A. Frezzotti, A particle scheme for the numerical solution of the Enskog equation,Phys. Fluids9, 1329–1335 (1997)

  9. [9]

    J. M. Montanero and A. Santos, Simulation of the Enskog equation` a laBird,Phys. Fluids 9, 2057–2060 (1997). 19

  10. [10]

    L. Wu, H. Liu, J. M. Reese, and Y. Zhang, Non-equilibrium dynamics of dense gas under tight confinement,J. Fluid Mech.794, 252–266 (2016)

  11. [11]

    Frezzotti, Molecular dynamics and Enskog theory calculation of one dimensional problems in the dynamics of dense gases,Physica A240, 202–211 (1997)

    A. Frezzotti, Molecular dynamics and Enskog theory calculation of one dimensional problems in the dynamics of dense gases,Physica A240, 202–211 (1997)

  12. [12]

    Hattori, S

    M. Hattori, S. Tanaka and S. Takata, Heat transfer in a dense gas between two parallel plates, AIP Adv.12, 055323 (2022)

  13. [13]

    Kobayashi, J

    K. Kobayashi, J. Akazawa, K. Ohashi, M. Muramatsu, T. Nagakawa, H. Fujii, and M. Watan- abe, Minimum thickness of liquid film for the validity of water hammer theory,Phys. Fluids 37, 081711 (2025)

  14. [14]

    Homes, A

    S. Homes, A. Frezzotti, I. Nitzke, H. Struchtrup, and J. Vrabec, Heat and mass transfer across the vapor–liquid interface: A comparison of molecular dynamics and the Enskog–Vlasov kinetic model,Int. J. Heat Mass Transf.242, 126828 (2025)

  15. [15]

    Resibois, H-theorem for the (modified) nonlinear Enskog equation,J

    P. Resibois, H-theorem for the (modified) nonlinear Enskog equation,J. Stat. Phys.19, 593–609 (1978)

  16. [16]

    van Beijeren and M

    H. van Beijeren and M. H. Ernst, The modified Enskog equation,Physica68, 437–456 (1973)

  17. [17]

    Takata and A

    S. Takata and A. Takahashi, Enskog and Enskog-Vlasov equations with a modified correlation factor and their H theorem,Phys. Rev. E111, 065108 (2025)

  18. [18]

    Mareschal, J

    M. Mareschal, J. Blawzdziewicz, and J. Piasecki, Local entropy production from the revised Enskog equation: General formulation for inhomogeneous fluids,Phys. Rev. Lett.52, 1169– 1172 (1984)

  19. [19]

    Mareschal, Local H theorem for the revised Enskog equation,Phys

    M. Mareschal, Local H theorem for the revised Enskog equation,Phys. Rev. A27, 1727–1729 (1983)

  20. [20]

    J. R. Dorfman, H. van Beijeren, and T. R. Kirkpatrick,Contemporary Kinetic Theory of Matter, Cambridge University Press, Cambridge, 2021

  21. [21]

    Bellomo, M

    N. Bellomo, M. Lachowicz, J. Polewczak and G. Toscani,Mathematical Topics in Nonlinear Kinetic Theory II, World Scientific, Singapore, 1991

  22. [22]

    E. S. Benilov and M. S. Benilov, Energy conservation and H theorem for the Enskog–Vlasov equation,Phys. Rev. E97, 062115 (2018)

  23. [23]

    E. S. Benilov and M. S. Benilov, The Enskog–Vlasov equation: a kinetic model describing gas, liquid, and solid,J. Stat. Mech.2019, 103205 (2019). 20

  24. [24]

    J. D. van der Waals, Over de Continu¨ ıteit van den Gas – en Vloeistoftoestand, Academisch Proefschrift, Leiden (1873) (in Dutch); English translation: R. Threlfall and J.F. Adair,Phys. Mem.1, 333–496 (1890)

  25. [25]

    N. F. Carnahan and K. E. Starling, Equation of state for non-attracting rigid spheres,J. Chem. Phys.51, 635–636 (1969)

  26. [26]

    Grmela, Kinetic equation approach to phase transitions,J

    M. Grmela, Kinetic equation approach to phase transitions,J. Stat. Phys.3, 347–364 (1971)

  27. [27]

    Frezzotti, L

    A. Frezzotti, L. Gibelli, D. A. Lockerby, and J. E. Sprittles, Mean-field kinetic theory approach to evaporation of a binary liquid into vacuum,Phys. Rev. Fluids3, 054001 (2018)

  28. [28]

    Cercignani and M

    C. Cercignani and M. Lampis, On the kinetic theory of a dense gas of rough spheres,J. Stat. Phys.53, 655–672 (1988)

  29. [29]

    Frezzotti, Monte Carlo simulation of the heat flow in a dense hard sphere gas,Eur

    A. Frezzotti, Monte Carlo simulation of the heat flow in a dense hard sphere gas,Eur. J. Mech. B/Fluids18, 103–119 (1999)

  30. [30]

    Maynar, M

    P. Maynar, M. I. Garcia de Soria, and J. J. Brey, The Enskog equation for confined elastic hard spheres,J. Stat. Phys.170, 999–1018 (2018)

  31. [31]

    Takata and A

    S. Takata and A. Takahashi, Note on the summational invariant and corresponding local Maxwellian for the Enskog equation,Kinet. Relat. Mod.17, 739–754 (2024)

  32. [32]

    J. S. Darrozes and J. P. Guiraud, G´ en´ eralisation formelle du th´ eor` eme H en pr´ esence de parois. Applications,C. R. Acad. Sci. Paris A262, 1368–1371 (1966)

  33. [33]

    Cercignani,The Boltzmann Equation and Its Applications, Springer, New York, 1988

    C. Cercignani,The Boltzmann Equation and Its Applications, Springer, New York, 1988

  34. [34]

    Sone,Molecular Gas Dynamics, Birkh¨ auser, Boston, 2007

    Y. Sone,Molecular Gas Dynamics, Birkh¨ auser, Boston, 2007. Supplementary notes and errata are available from http://hdl.handle.net/2433/66098

  35. [35]

    , in place of ... or

    The description about eHat the beginning of page 10 of [12] is not appropriate. The part “, in place of ... or” in the 2nd to 5th lines of the left column on the same page should be deleted. Accordingly, the last line of Appendix E should read “... Appendix D is extended to that of Hand eF...” 21