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
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.
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
- 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.
Referee Report
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)
- 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)
- 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
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
-
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
Minor self-citation of modified Enskog factor; derivation follows independent external reference
specific steps
-
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
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The local H theorem is shown to hold for the Enskog equation with a modified Enskog factor... along the lines of Mareschal et al. for the modified (or revised) Enskog equation.
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]
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]
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]
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]
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]
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]
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
work page 1972
-
[7]
J. M. Montanero and A. Santos, Monte Carlo simulation method for the Enskog equation, Phys. Rev. E54, 438–444 (1996)
work page 1996
-
[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)
work page 1997
-
[9]
J. M. Montanero and A. Santos, Simulation of the Enskog equation` a laBird,Phys. Fluids 9, 2057–2060 (1997). 19
work page 2057
-
[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)
work page 2016
-
[11]
A. Frezzotti, Molecular dynamics and Enskog theory calculation of one dimensional problems in the dynamics of dense gases,Physica A240, 202–211 (1997)
work page 1997
-
[12]
M. Hattori, S. Tanaka and S. Takata, Heat transfer in a dense gas between two parallel plates, AIP Adv.12, 055323 (2022)
work page 2022
-
[13]
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)
work page 2025
- [14]
-
[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)
work page 1978
-
[16]
H. van Beijeren and M. H. Ernst, The modified Enskog equation,Physica68, 437–456 (1973)
work page 1973
-
[17]
S. Takata and A. Takahashi, Enskog and Enskog-Vlasov equations with a modified correlation factor and their H theorem,Phys. Rev. E111, 065108 (2025)
work page 2025
-
[18]
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)
work page 1984
-
[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)
work page 1983
-
[20]
J. R. Dorfman, H. van Beijeren, and T. R. Kirkpatrick,Contemporary Kinetic Theory of Matter, Cambridge University Press, Cambridge, 2021
work page 2021
-
[21]
N. Bellomo, M. Lachowicz, J. Polewczak and G. Toscani,Mathematical Topics in Nonlinear Kinetic Theory II, World Scientific, Singapore, 1991
work page 1991
-
[22]
E. S. Benilov and M. S. Benilov, Energy conservation and H theorem for the Enskog–Vlasov equation,Phys. Rev. E97, 062115 (2018)
work page 2018
-
[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
work page 2019
-
[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]
N. F. Carnahan and K. E. Starling, Equation of state for non-attracting rigid spheres,J. Chem. Phys.51, 635–636 (1969)
work page 1969
-
[26]
Grmela, Kinetic equation approach to phase transitions,J
M. Grmela, Kinetic equation approach to phase transitions,J. Stat. Phys.3, 347–364 (1971)
work page 1971
-
[27]
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)
work page 2018
-
[28]
C. Cercignani and M. Lampis, On the kinetic theory of a dense gas of rough spheres,J. Stat. Phys.53, 655–672 (1988)
work page 1988
-
[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)
work page 1999
- [30]
-
[31]
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)
work page 2024
-
[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)
work page 1966
-
[33]
Cercignani,The Boltzmann Equation and Its Applications, Springer, New York, 1988
C. Cercignani,The Boltzmann Equation and Its Applications, Springer, New York, 1988
work page 1988
-
[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
work page 2007
-
[35]
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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.