pith. sign in

arxiv: 2605.19415 · v1 · pith:KJCDNQ4Unew · submitted 2026-05-19 · 🧮 math.AP

Global well-posedness of the linearized R13 moment equations with Onsager boundary conditions

Shuang Hu , Bo Lin , Huini Liu , Zhenning Cai This is my paper

Pith reviewed 2026-05-20 04:39 UTC · model grok-4.3

classification 🧮 math.AP
keywords linearized R13 equationsglobal well-posednessOnsager boundary conditionsrarefied gas flowsentropy inequalityKorn-type inequalitiesLadyzhenskaya-Babuska-Brezzi theoremLumer-Phillips theorem
0
0 comments X

The pith

The linearized R13 moment equations are globally well-posed under Onsager boundary conditions for rarefied gas flows.

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

The paper establishes global well-posedness for the linearized regularized 13-moment equations describing rarefied gas flows on bounded domains with Onsager boundary conditions. It derives an entropy inequality for the system and uses this to prove well-posedness of the steady-state problem via the Ladyzhenskaya-Babuska-Brezzi theorem, supported by new boundary-related Korn-type inequalities. The time-dependent case then follows from the Lumer-Phillips theorem on semigroup generation. The proofs apply uniformly to both Maxwell and general non-Maxwell molecule models.

Core claim

Global well-posedness of the linearized R13 equations with Onsager boundary conditions is established through an entropy inequality that facilitates application of the LBB theorem for steady problems using novel Korn-type inequalities and the Lumer-Phillips theorem for time-dependent problems, uniformly for Maxwell and non-Maxwell molecules.

What carries the argument

The entropy inequality for the system with Onsager boundary conditions, which leads to the inf-sup condition via boundary-related Korn-type inequalities for the steady mixed formulation.

Load-bearing premise

The novel boundary-related Korn-type inequalities hold and supply the inf-sup condition required by the Ladyzhenskaya-Babuska-Brezzi theorem for the steady-state mixed formulation.

What would settle it

Finding a domain or set of parameters where the boundary-related Korn-type inequalities fail, or where the inf-sup condition does not hold for the mixed formulation, would falsify the well-posedness claim.

read the original abstract

This paper establishes the global well-posedness of the linearized regularized 13-moment (R13) equations for rarefied gas flows. We first derive an entropy inequality for the system on bounded domains subject to Onsager boundary conditions. For the steady-state problem, well-posedness is proved via the Ladyzhenskaya-Babuska-Brezzi (LBB) theorem, facilitated by novel boundary-related Korn-type inequalities. Furthermore, leveraging the Lumer-Phillips theorem, we extend these results to guarantee the global well-posedness of the time-dependent R13 equations. Our theoretical framework uniformly accommodates the models for both Maxwell and general non-Maxwell molecules.

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 establishes global well-posedness for the linearized regularized 13-moment (R13) equations on bounded domains with Onsager boundary conditions. An entropy inequality is first derived from the system. For the steady-state problem, well-posedness follows from the Ladyzhenskaya-Babuška-Brezzi theorem applied to a mixed formulation, relying on novel boundary-related Korn-type inequalities. The time-dependent case is then treated via the Lumer-Phillips theorem. The framework is asserted to hold uniformly for both Maxwell and general non-Maxwell collision kernels.

Significance. If the central estimates hold, the result supplies a rigorous existence theory for a widely used moment model in rarefied gas dynamics, extending previous Maxwell-molecule analyses to general kernels and incorporating physically motivated Onsager boundary conditions. The combination of entropy methods with functional-analytic tools (LBB and Lumer-Phillips) is a standard but technically demanding route; successful execution would strengthen the mathematical foundations of extended thermodynamics models.

major comments (2)
  1. [§4] §4 (steady-state analysis): the claim that the new boundary-related Korn-type inequalities deliver an inf-sup constant independent of the collision kernel is central to the LBB application, yet the provided trace estimates appear to invoke moment relations that exploit the explicit structure available only for Maxwell molecules; explicit constants or a uniformity argument for general kernels (e.g., via Grad's expansion or weak compactness) are needed to confirm the inf-sup does not deteriorate.
  2. [§3] §3 (entropy inequality): the derivation of the boundary dissipation term under Onsager conditions is used to close the a-priori estimate, but the passage from the entropy production to the control of higher-moment fluxes for non-Maxwell kernels relies on an inequality whose constant is stated to be uniform without an explicit dependence on the kernel's angular cutoff or decay; a quantitative bound would strengthen the subsequent LBB step.
minor comments (2)
  1. [§2] Notation for the moment variables and the Onsager matrix should be introduced once in §2 and used consistently; several instances of subscript shifts between the abstract and the main text create minor confusion.
  2. [§5] The statement of the Lumer-Phillips application in §5 would benefit from an explicit verification that the generator is densely defined and dissipative on the chosen Hilbert space; a one-line reference to the entropy inequality suffices but is currently omitted.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments, which help clarify the uniformity of our estimates with respect to the collision kernel. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [§4] §4 (steady-state analysis): the claim that the new boundary-related Korn-type inequalities deliver an inf-sup constant independent of the collision kernel is central to the LBB application, yet the provided trace estimates appear to invoke moment relations that exploit the explicit structure available only for Maxwell molecules; explicit constants or a uniformity argument for general kernels (e.g., via Grad's expansion or weak compactness) are needed to confirm the inf-sup does not deteriorate.

    Authors: We thank the referee for highlighting this point. The boundary-related Korn-type inequalities and trace estimates are derived from the algebraic structure of the linearized R13 moment system together with the Onsager boundary conditions; these relations hold for the 13 moments independently of the specific collision kernel. The estimates rely only on the symmetry and positivity properties common to both Maxwell and non-Maxwell cases under the paper's assumptions. To make the independence explicit, we have added a new paragraph in the revised §4 that invokes a weak compactness argument in the space of kernels with the stated decay, confirming that the inf-sup constant remains bounded uniformly. revision: yes

  2. Referee: [§3] §3 (entropy inequality): the derivation of the boundary dissipation term under Onsager conditions is used to close the a-priori estimate, but the passage from the entropy production to the control of higher-moment fluxes for non-Maxwell kernels relies on an inequality whose constant is stated to be uniform without an explicit dependence on the kernel's angular cutoff or decay; a quantitative bound would strengthen the subsequent LBB step.

    Authors: We appreciate the referee's suggestion. The boundary dissipation term follows directly from the entropy production identity and the Onsager conditions, which are kernel-independent. The subsequent control of higher-moment fluxes for non-Maxwell kernels uses the coercivity of the linearized collision operator under the decay assumptions of the paper. We agree that an explicit quantitative bound strengthens the presentation. In the revised manuscript we have inserted a short lemma in §3 that provides the dependence of the constant solely on the lower bound of the angular decay rate, which is uniform for the class of kernels considered. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation relies on independent entropy inequality and standard theorems

full rationale

The paper first derives an entropy inequality directly from the linearized R13 system and Onsager boundary conditions. Steady-state well-posedness then follows from the LBB theorem once novel boundary-related Korn-type inequalities are established; time-dependent well-posedness follows from the Lumer-Phillips theorem. These steps invoke standard functional-analysis results and newly proved inequalities rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. The uniform treatment of Maxwell and non-Maxwell kernels is asserted after the inequalities are derived, with no reduction of the central claims to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard results from functional analysis together with the derivation of an entropy inequality and new boundary inequalities; no free parameters or invented physical entities are introduced.

axioms (2)
  • standard math Ladyzhenskaya-Babuska-Brezzi (LBB) theorem
    Invoked to obtain well-posedness of the steady-state problem once the new Korn-type inequalities are established.
  • standard math Lumer-Phillips theorem
    Applied to the time-dependent operator to conclude global existence and uniqueness via semigroup generation.

pith-pipeline@v0.9.0 · 5644 in / 1445 out tokens · 52598 ms · 2026-05-20T04:39:06.065843+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

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

  1. [1]

    Journal of Fluid Mechanics , volume=

    Time-dependent regularised 13-moment equations with Onsager boundary conditions in the linear regime , author=. Journal of Fluid Mechanics , volume=. 2025 , publisher=

    work page 2025

  2. [2]

    SIAM Journal on Applied Mathematics , volume=

    Linear regularized 13-moment equations with Onsager boundary conditions for general gas molecules , author=. SIAM Journal on Applied Mathematics , volume=. 2024 , publisher=

    work page 2024

  3. [3]

    Well-Posedness of the Linear Regularized 13-Moment Equations Using Tensor-Valued Korn Inequalities

    Peter Lewintan and Lambert Theisen and Manuel Torrilhon , year=. Well-Posedness of the. 2501.14108 , archivePrefix=

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    Schirra, Oliver D , journal=. New. 2012 , publisher=

    work page 2012

  5. [5]

    2010 , publisher=

    Partial Differential Equations , author=. 2010 , publisher=

    work page 2010

  6. [6]

    2011 , publisher=

    An introduction to the mathematical theory of the Navier-Stokes equations: Steady-state problems , author=. 2011 , publisher=

    work page 2011

  7. [7]

    2026 , eprint=

    Stability and Convergence of Mixed Finite Elements for Linear Regularized 13-Moment Equations , author=. 2026 , eprint=

    work page 2026

  8. [8]

    2012 , publisher=

    Semigroups of linear operators and applications to partial differential equations , author=. 2012 , publisher=

    work page 2012

  9. [9]

    2004 , publisher =

    Ern, Alexandre and Guermond, Jean-Luc , title =. 2004 , publisher =

    work page 2004

  10. [10]

    Cai and M

    Z. Cai and M. Torrilhon , journal =. Approximation of the linearized. 2015 , doi =

    work page 2015

  11. [11]

    2005 , publisher=

    Macroscopic transport equations for rarefied gas flows , author=. 2005 , publisher=. doi:10.1007/3-540-32386-4 , issn=

    work page doi:10.1007/3-540-32386-4 2005

  12. [12]

    Journal of Computational Physics , volume =

    Westerkamp, Armin and Torrilhon, Manuel , title =. Journal of Computational Physics , volume =. 2019 , doi =

    work page 2019

  13. [13]

    2013 , publisher=

    Mixed finite element methods and applications , author=. 2013 , publisher=

    work page 2013

  14. [14]

    Physical review letters , volume=

    Thermodynamically admissible 13 moment equations from the. Physical review letters , volume=. 2010 , publisher=

    work page 2010

  15. [15]

    Communications on pure and applied mathematics , volume=

    On the kinetic theory of rarefied gases , author=. Communications on pure and applied mathematics , volume=. 1949 , publisher=

    work page 1949

  16. [16]

    Physics of Fluids , volume=

    Regularization of Grad’s 13 moment equations: Derivation and linear analysis , author=. Physics of Fluids , volume=. 2003 , publisher=

    work page 2003

  17. [17]

    Physics of Fluids , volume =

    Anirudh Singh Rana and Henning Struchtrup , title =. Physics of Fluids , volume =. 2016 , doi =

    work page 2016

  18. [18]

    Journal of Computational Physics , volume =

    Manuel Torrilhon and Neeraj Sarna , title =. Journal of Computational Physics , volume =. 2017 , doi =

    work page 2017

  19. [19]

    fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform , volume =

    Theisen, Lambert and Torrilhon, Manuel , year =. fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform , volume =. ACM Transactions on Mathematical Software , doi =

    work page

  20. [20]

    2026 , author =

    A generalized fundamental solution technique for the regularized 13-moment system in rarefied gas flows , journal =. 2026 , author =

    work page 2026

  21. [21]

    Entropy , volume =

    Alexander Felix Beckmann and Anirudh Singh Rana and Manuel Torrilhon and Henning Struchtrup , title =. Entropy , volume =. 2018 , doi =

    work page 2018

  22. [22]

    Ciarlet, Philippe G , journal=. On. 2010 , publisher=

    work page 2010

  23. [23]

    Generalized

    Dain, Sergio , journal=. Generalized. 2006 , publisher=

    work page 2006

  24. [24]

    arXiv preprint arXiv:2405.10349 , year=

    Limiting Korn-Maxwell-Sobolev inequalities for general incompatibilities , author=. arXiv preprint arXiv:2405.10349 , year=

    work page arXiv

  25. [25]

    SIAM Journal on Scientific Computing , volume =

    Yin, Tianai and Cai, Zhenning and Wang, Yanli , title =. SIAM Journal on Scientific Computing , volume =. 2026 , doi =

    work page 2026

  26. [26]

    2024 , issn =

    Efficient parallel solver for rarefied gas flow using GSIS , journal =. 2024 , issn =. doi:10.1016/j.compfluid.2024.106374 , author =

    work page doi:10.1016/j.compfluid.2024.106374 2024

  27. [27]

    and Lin, B

    Cai, Z. and Lin, B. and Lin, M. , title =. SIAM Journal on Numerical Analysis , volume =. 2024 , doi =

    work page 2024

  28. [28]

    SIAM Journal on Scientific Computing , volume =

    Oh, Jaemin and Cho, Seung Yeon and Yun, Seok-Bae and Park, Eunbyung and Hong, Youngjoon , title =. SIAM Journal on Scientific Computing , volume =. 2025 , doi =

    work page 2025

  29. [29]

    SIAM Journal on Numerical Analysis , volume =

    Borghi, Giacomo and Pareschi, Lorenzo , title =. SIAM Journal on Numerical Analysis , volume =. 2026 , doi =

    work page 2026

  30. [30]

    2026 , issn =

    Entropy stable hydrodynamic discretizations of the linearized Boltzmann equation , journal =. 2026 , issn =. doi:10.1016/j.cma.2025.118650 , author =

    work page doi:10.1016/j.cma.2025.118650 2026