pith. sign in

arxiv: 2501.14108 · v3 · submitted 2025-01-23 · 🧮 math.AP · cs.NA· math.FA· math.NA

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

Pith reviewed 2026-05-23 04:40 UTC · model grok-4.3

classification 🧮 math.AP cs.NAmath.FAmath.NA
keywords well-posednessR13 moment equationsKorn inequalitiessaddle-point problemsmoment modelsrarefied gas flowstensor derivativesweak solutions
0
0 comments X

The pith

The linearized R13 moment equations admit existence and uniqueness of weak solutions through a 2-by-2 block structure and tensor-valued Korn inequalities.

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

The paper proves well-posedness for the linearized regularized 13-moment model used in rarefied gas flows. Variables are grouped into a 2-by-2 block that fits the abstract LBB saddle-point theory. New coercivity estimates for tensor fields are obtained by studying the symbol map of the symmetric trace-free part of tensor derivatives, together with a right inverse for the tensorial divergence. These steps deliver existence and uniqueness of weak solutions and support later numerical work on discretizations.

Core claim

The linearized R13 moment model possesses a unique tensorial structure that permits grouping into a 2-by-2 block form. Within the abstract LBB framework for saddle point problems, combined with tensor-valued Korn inequalities from the symbol map of the symmetric and trace-free part of tensor derivative fields and the right inverse of the tensorial divergence, the system admits existence and uniqueness of weak solutions.

What carries the argument

The 2-by-2 block saddle-point structure of the equations together with tensor-valued Korn inequalities derived from the symbol map of symmetric trace-free tensor derivatives.

If this is right

  • Existence of weak solutions holds for the linearized R13 system.
  • Uniqueness of those weak solutions also holds.
  • The analysis provides the basis for future numerical analysis of corresponding discretization schemes.
  • The result applies directly to modeling of rarefied gas flows.

Where Pith is reading between the lines

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

  • The tensor Korn inequalities may transfer to other continuum systems that involve symmetric trace-free tensor fields.
  • Block-structure arguments of this type could be tested on nonlinear or higher-moment closures.
  • Discretization schemes that preserve the identified block structure are likely to inherit the stability properties shown here.

Load-bearing premise

The equations possess a tensorial structure that permits grouping into a 2-by-2 block form to which the abstract LBB saddle-point theory applies directly.

What would settle it

A concrete counterexample in which the coercivity estimate for the relevant tensor fields fails or in which a weak solution to the linearized system fails to be unique.

read the original abstract

In this paper, we finally prove the well-posedness of the linearized R13 moment model, which describes, e.g., rarefied gas flows. As an extension of the classical fluid equations, moment models are robust and have been frequently used, yet they are challenging to analyze due to their additional equations. By effectively grouping variables, we identify a 2-by-2 block structure, allowing us to analyze well-posedness within the abstract LBB framework for saddle point problems. Due to the unique tensorial structure of the equations, in addition to an interesting combination of tools from Stokes' and linear elasticity theory, we also need new coercivity estimates for tensor fields. These Korn-type inequalities are established by analyzing the symbol map of the symmetric and trace-free part of tensor derivative fields. Together with the corresponding right inverse of the tensorial divergence, we obtain the existence and uniqueness of weak solutions. This result also serves as the basis for future numerical analysis of corresponding discretization schemes.

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 proves the well-posedness of the linearized regularized 13-moment (R13) equations by reformulating the system into a 2-by-2 block saddle-point structure to which the abstract LBB theory applies. New tensor-valued Korn inequalities, obtained by symbol-map analysis of the symmetric trace-free part of the tensor gradient, together with a right inverse for the tensorial divergence, are used to verify the required inf-sup condition and obtain existence and uniqueness of weak solutions in suitable Sobolev spaces.

Significance. If the new inequalities supply a positive lower bound independent of the regularization parameters, the result supplies the first rigorous existence-uniqueness theorem for the linearized R13 model and directly enables subsequent numerical analysis of discretizations. The tensorial Korn estimates constitute a technical contribution that combines ideas from Stokes and linear elasticity theory in a manner that may apply to other higher-order tensor systems.

major comments (2)
  1. [Symbol-map / Korn-inequality section] The section containing the symbol-map analysis of the symmetric trace-free tensor derivative: the explicit calculation must confirm that the resulting coercivity constant remains positive and independent of the regularization parameters; any dependence would invalidate the uniform inf-sup condition required by the LBB argument.
  2. [Right-inverse / kernel paragraph] The paragraph establishing the right inverse for the tensorial divergence and the kernel of the symmetric trace-free gradient: it must be shown that this kernel is trivial under the boundary conditions employed, otherwise zero modes may cause the inf-sup constant to vanish.
minor comments (2)
  1. The abstract should state the precise function spaces (e.g., the Sobolev regularity of each moment variable) in which the weak solutions are obtained.
  2. Notation for the block operators and the tensorial divergence should be introduced once and used consistently throughout the block-structure argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of the significance of our results and for the constructive major comments. We address each point below and will incorporate the requested clarifications to strengthen the explicitness of the arguments.

read point-by-point responses
  1. Referee: [Symbol-map / Korn-inequality section] The section containing the symbol-map analysis of the symmetric trace-free tensor derivative: the explicit calculation must confirm that the resulting coercivity constant remains positive and independent of the regularization parameters; any dependence would invalidate the uniform inf-sup condition required by the LBB argument.

    Authors: We agree that explicit confirmation of parameter-independence is essential for the uniform inf-sup condition. In Section 3 the symbol map of the symmetric traceless tensor gradient is computed in Fourier space; the resulting quadratic form is coercive with a positive lower bound that depends only on dimension and the ellipticity constants of the principal symbol and does not involve the regularization parameters (which enter only lower-order terms). We will add a short remark immediately after the main coercivity estimate, together with a one-line verification that the symbol matrix eigenvalues remain bounded away from zero independently of those parameters. This makes the independence fully explicit without altering the proof. revision: yes

  2. Referee: [Right-inverse / kernel paragraph] The paragraph establishing the right inverse for the tensorial divergence and the kernel of the symmetric trace-free gradient: it must be shown that this kernel is trivial under the boundary conditions employed, otherwise zero modes may cause the inf-sup constant to vanish.

    Authors: We thank the referee for this observation. The manuscript constructs a right inverse for the tensorial divergence via a tensorial Bogovskii operator and states that the kernel of the symmetric traceless gradient is trivial under the chosen boundary conditions. To address the concern directly we will insert a short auxiliary lemma proving that any symmetric traceless tensor field whose gradient vanishes and that satisfies the boundary conditions must be identically zero (by a standard integration-by-parts argument combined with the Poincaré inequality on the domain). This confirms the kernel is trivial and the inf-sup constant remains positive. revision: yes

Circularity Check

0 steps flagged

No circularity: well-posedness follows from independent symbol-derived Korn inequalities and standard LBB theory.

full rationale

The derivation proceeds by grouping the linearized R13 system into a 2-by-2 block saddle-point form, then establishing new tensor-valued Korn inequalities via explicit symbol-map analysis of the symmetric trace-free gradient operator. These inequalities supply the coercivity constant needed for the LBB inf-sup condition, together with a right inverse for the tensorial divergence. Both steps are first-principles calculations performed inside the paper; no parameter is fitted to data, no result is renamed as a prediction, and no load-bearing premise reduces to a self-citation or self-definition. The abstract and structure indicate a self-contained functional-analytic argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on the applicability of the abstract LBB theory to the identified block structure and on the validity of the new coercivity estimates derived from the symbol map; no free parameters or invented physical entities are introduced.

axioms (2)
  • domain assumption Abstract LBB saddle-point theory applies once the 2-by-2 block structure is identified
    Invoked to obtain existence and uniqueness after the block grouping (abstract).
  • standard math Standard Sobolev-space setting and trace theorems for tensor fields
    Implicit background for weak solutions and Korn-type estimates.

pith-pipeline@v0.9.0 · 5719 in / 1344 out tokens · 23108 ms · 2026-05-23T04:40:02.768341+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.AP 2026-05 unverdicted novelty 7.0

    Proves global well-posedness of linearized R13 equations with Onsager BCs via entropy inequality, LBB theorem for steady state, and Lumer-Phillips theorem for time-dependent case, covering Maxwell and non-Maxwell molecules.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 1 Pith paper

  1. [1]

    M. R. A. Abdelmalik and E. H. Van Brummelen , Moment Closure Approximations of the Boltzmann Equation Based on φ-Divergences, J. Stat. Phys., 164 (2016), pp. 77–104, https: //doi.org/10.1007/s10955-016-1529-5

  2. [2]

    Aronszajn, On coercive integro-differential quadratic forms, in Conference on Partial Dif- ferential Equations, Summer 1954, Univ

    N. Aronszajn, On coercive integro-differential quadratic forms, in Conference on Partial Dif- ferential Equations, Summer 1954, Univ. Kansas, 1955, pp. 94–106

  3. [3]

    Boffi, F

    D. Boffi, F. Brezzi, and M. Fortin, Mixed Finite Element Methods and Applications, vol. 44 of Springer Series in Computational Mathematics, Springer, Berlin, Heidelberg, 2013, https: //doi.org/10.1007/978-3-642-36519-5

  4. [4]

    Braess , Finite Elemente

    D. Braess , Finite Elemente. Theorie, schnelle L¨ oser und Anwendungen in der Elas- tizit¨ atstheorie, Springer-Lehrb. Mastercl., Springer Spektrum, Berlin, 5th revised ed., 2013, https://doi.org/10.1007/978-3-642-34797-9

  5. [5]

    S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods, no. 15 in Texts in Applied Mathematics, Springer, New York, 3rd ed., 2008, https://doi.org/10. 1007/978-0-387-75934-0

  6. [6]

    Brezzi and M

    F. Brezzi and M. Fortin , Mixed and Hybrid Finite Element Methods , no. 15 in Springer Series in Computational Mathematics, Springer, New York, 1991, https://doi.org/10.1007/ 978-1-4612-3172-1

  7. [7]

    B¨unger, E

    J. B¨unger, E. Christhuraj, A. Hanke, and M. Torrilhon, Structured derivation of moment equations and stable boundary conditions with an introduction to symmetric, trace-free tensors, KRM, 16 (2023), pp. 458–494, https://doi.org/10.3934/krm.2022035. 18 PETER LEWINTAN, LAMBERT THEISEN, AND MANUEL TORRILHON

  8. [8]

    Z. Cai, M. Torrilhon, and S. Yang, Linear Regularized 13-Moment Equations with Onsager Boundary Conditions for General Gas Molecules , SIAM J. Appl. Math., (2024), pp. 215– 245, https://doi.org/10.1137/23M1556472

  9. [9]

    P. G. Ciarlet , On Korn’s inequality , Chin. Ann. Math. Ser. B, 31 (2010), pp. 607–618, https://doi.org/10.1007/s11401-010-0606-3

  10. [10]

    Dain, Generalized Korn’s inequality and conformal Killing vectors, Calc

    S. Dain, Generalized Korn’s inequality and conformal Killing vectors, Calc. Var. Partial Differ. Equ., 25 (2006), pp. 535–540, https://doi.org/10.1007/s00526-005-0371-4

  11. [11]

    Duvaut and J.-L

    G. Duvaut and J.-L. Lions , Les in´ equations en m´ ecanique et en physique , Travaux et Recherches Math´ ematiques 21, Dunod, Paris, 1972

  12. [12]

    Friesecke, R

    G. Friesecke, R. D. James, and S. M ¨uller, A theorem on geometric rigidity and the deriva- tion of nonlinear plate theory from three-dimensional elasticity , Communications on Pure and Applied Mathematics, 55 (2002), pp. 1461–1506, https://doi.org/10.1002/cpa.10048

  13. [13]

    Garroni, G

    A. Garroni, G. Leoni, and M. Ponsiglione , Gradient theory for plasticity via homoge- nization of discrete dislocations , J. Eur. Math. Soc. (JEMS), 12 (2010), pp. 1231–1266, https://doi.org/10.4171/jems/228

  14. [14]

    Giusti , Direct Methods in the Calculus of Variations , World Scientific, New Jersey, re- printed ed., 2005

    E. Giusti , Direct Methods in the Calculus of Variations , World Scientific, New Jersey, re- printed ed., 2005

  15. [15]

    Gmeineder and L

    F. Gmeineder and L. Diening , Sharp trace and korn inequalities for differential operators , Potential Anal., (2024), https://doi.org/10.1007/s11118-024-10165-1

  16. [16]

    Gmeineder and J

    F. Gmeineder and J. Kristensen , Partial Regularity for BV Minimizers , Arch. Rational. Mech. Anal., 232 (2019), pp. 1429–1473, https://doi.org/10.1007/s00205-018-01346-5

  17. [17]

    Gmeineder, P

    F. Gmeineder, P. Lewintan, and P. Neff , Korn–Maxwell–Sobolev inequalities for general incompatibilities, Math. Models Methods Appl. Sci., 34 (2024), pp. 523–570, https://doi. org/10.1142/S0218202524500088

  18. [18]

    Gmeineder, P

    F. Gmeineder, P. Lewintan, and J. V. Schaftingen , Limiting Korn-Maxwell-Sobolev in- equalities for general incompatibilities, 2024, https://doi.org/10.48550/arXiv.2405.10349

  19. [19]

    Gmeineder, B

    F. Gmeineder, B. Rait˘a, and J. Van Schaftingen, On limiting trace inequalities for vectorial differential operators, Indiana Univ. Math. J., 70 (2021), pp. 2133–2176, https://doi.org/ 10.1512/iumj.2021.70.8682

  20. [20]

    Gmeineder and D

    F. Gmeineder and D. Spector, On Korn-Maxwell-Sobolev inequalities, J. Math. Anal. Appl., 502 (2021), p. 125226, https://doi.org/10.1016/j.jmaa.2021.125226

  21. [21]

    Grad, On the kinetic theory of rarefied gases, Comm

    H. Grad, On the kinetic theory of rarefied gases, Comm. Pure. Appl. Math., 2 (1949), pp. 331– 407, https://doi.org/10.1002/cpa.3160020403

  22. [22]

    Gu and D

    X.-J. Gu and D. R. Emerson , A computational strategy for the regularized 13 moment equa- tions with enhanced wall-boundary conditions , J. Comput. Phys., 225 (2007), pp. 263–283, https://doi.org/10.1016/j.jcp.2006.11.032

  23. [23]

    Gu and D

    X.-J. Gu and D. R. Emerson , A high-order moment approach for capturing non-equilibrium phenomena in the transition regime , J. Fluid Mech., 636 (2009), pp. 177–216, https://doi. org/10.1017/S002211200900768X

  24. [24]

    C. O. Horgan , Korn’s Inequalities and Their Applications in Continuum Mechanics , SIAM Rev., 37 (1995), pp. 491–511, https://doi.org/10.1137/1037123

  25. [25]

    Korn, ¨Uber einige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen , Bull

    A. Korn, ¨Uber einige Ungleichungen, welche in der Theorie der elastischen und elektrischen Schwingungen eine Rolle spielen , Bull. Int. Cracovie Akademie Umiejet, Classe des Sci. Math. Nat (deuxi` eme semestre), 9 (1909), pp. 705–724

  26. [26]

    Lewintan, S

    P. Lewintan, S. M ¨uller, and P. Neff , Korn inequalities for incompatible tensor fields in three space dimensions with conformally invariant dislocation energy , Calc. Var. Partial Differ. Equ., 60 (2021), p. 150, https://doi.org/10.1007/s00526-021-02000-x

  27. [27]

    D. A. Lockerby and B. Collyer , Fundamental solutions to moment equations for the simulation of microscale gas flows , J. Fluid Mech., 806 (2016), pp. 413–436, https: //doi.org/10.1017/jfm.2016.606

  28. [28]

    P. A. Martin , Acoustic scattering in a rarefied gas: Solving the R13 equations in spherical polar coordinates, Math. Methods Appl. Sci., 43 (2020), pp. 8906–8929, https://doi.org/ 10.1002/mma.6585

  29. [29]

    J. Neˇcas, Sur les normes ´ equivalentes dansW (k) p (Ω) et sur la coercivit´ e des formes formelle- ment positives, S´ eminaire Equations aux D´ eriv´ ees partielles, les presses de l’Universit´ e de Montr´ eal, (1966), pp. 102–128

  30. [30]

    Neff , On Korn’s first inequality with non-constant coefficients , Proc

    P. Neff , On Korn’s first inequality with non-constant coefficients , Proc. R. Soc. Edinb. A: Math., 132 (2002), pp. 221–243, https://doi.org/10.1017/S0308210500001591

  31. [31]

    Neff, I.-D

    P. Neff, I.-D. Ghiba, A. Madeo, L. Placidi, and G. Rosi , A unifying perspective: The relaxed linear micromorphic continuum , Contin. Mech. Thermodyn., 26 (2014), pp. 639– 681, https://doi.org/10.1007/s00161-013-0322-9

  32. [32]

    L. E. Payne and H. F. Weinberger , On Korn’s inequality , Arch. Ration. Mech. Anal., 8 R13 WELL-POSEDNESS USING TENSOR-VALUED KORN INEQUALITIES 19 (1961), pp. 89–98, https://doi.org/10.1007/BF00277432

  33. [33]

    Pompe, Korn’s First Inequality with variable coefficients and its generalization , Comment

    W. Pompe, Korn’s First Inequality with variable coefficients and its generalization , Comment. Math. Univ. Carol., 44 (2003), pp. 57–70

  34. [34]

    A. Rana, M. Torrilhon, and H. Struchtrup , A robust numerical method for the R13 equa- tions of rarefied gas dynamics: Application to lid driven cavity , J. Comput. Phys., 236 (2013), pp. 169–186, https://doi.org/10.1016/j.jcp.2012.11.023

  35. [35]

    A. S. Rana, V. K. Gupta, J. E. Sprittles, and M. Torrilhon , H-theorem and boundary conditions for the linear R26 equations: Application to flow past an evaporating droplet , J. Fluid Mech., 924 (2021), pp. A16:1–A16:40, https://doi.org/10.1017/jfm.2021.622

  36. [36]

    A. S. Rana and H. Struchtrup , Thermodynamically admissible boundary conditions for the regularized 13 moment equations , Phys. Fluids, 28 (2016), p. 027105, https://doi.org/10. 1063/1.4941293

  37. [37]

    Y. G. Reshetnyak, Estimates for certain differential operators with finite-dimensional kernel , Sib. Math. J., 11 (1970), pp. 315–326, https://doi.org/10.1007/BF00967305

  38. [38]

    K. T. Smith , Formulas to represent functions by their derivatives , Math. Ann., 188 (1970), pp. 53–77, https://doi.org/10.1007/BF01435415

  39. [39]

    Struchtrup, Macroscopic Transport Equations for Rarefied Gas Flows, Interaction of Me- chanics and Mathematics, Springer, Berlin, 2005, https://doi.org/10.1007/3-540-32386-4

    H. Struchtrup, Macroscopic Transport Equations for Rarefied Gas Flows, Interaction of Me- chanics and Mathematics, Springer, Berlin, 2005, https://doi.org/10.1007/3-540-32386-4

  40. [40]

    Struchtrup and M

    H. Struchtrup and M. Torrilhon , Regularization of Grad’s 13 moment equations: Deriva- tion and linear analysis , Phys. Fluids, 15 (2003), pp. 2668–2680, https://doi.org/10.1063/ 1.1597472

  41. [41]

    Struchtrup and M

    H. Struchtrup and M. Torrilhon , Regularized 13 moment equations for hard sphere mole- cules: Linear bulk equations , Phys. Fluids, 25 (2013), p. 052001, https://doi.org/10.1063/ 1.4802041

  42. [42]

    Theisen and M

    L. Theisen and M. Torrilhon , fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform (v1.4) . Zenodo, 2020, https://doi.org/10.5281/zenodo.4172951

  43. [43]

    Theisen and M

    L. Theisen and M. Torrilhon , fenicsR13: A Tensorial Mixed Finite Element Solver for the Linear R13 Equations Using the FEniCS Computing Platform , ACM Trans. Math. Softw., 47 (2021), pp. 17:1–17:29, https://doi.org/10.1145/3442378

  44. [44]

    Torrilhon , Modeling Nonequilibrium Gas Flow Based on Moment Equations , Annu

    M. Torrilhon , Modeling Nonequilibrium Gas Flow Based on Moment Equations , Annu. Rev. Fluid Mech., 48 (2016), pp. 429–458, https://doi.org/10.1146/ annurev-fluid-122414-034259

  45. [45]

    Torrilhon and N

    M. Torrilhon and N. Sarna , Hierarchical Boltzmann simulations and model error estima- tion, J. Comput. Phys., 342 (2017), pp. 66–84, https://doi.org/10.1016/j.jcp.2017.04.041

  46. [46]

    A. Westerkamp , A Continuous Interior Penalty Method for the Linear Regularized 13- Moment Equations Describing Rarefied Gas Flows, PhD thesis, RWTH Aachen University, 2017, https://doi.org/10.18154/RWTH-2018-222958

  47. [47]

    Westerkamp and M

    A. Westerkamp and M. Torrilhon , Finite element methods for the linear regularized 13- moment equations describing slow rarefied gas flows , J. Comput. Phys., 389 (2019), pp. 1– 21, https://doi.org/10.1016/j.jcp.2019.03.022