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
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.
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
- 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.
Referee Report
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)
- [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.
- [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)
- The abstract should state the precise function spaces (e.g., the Sobolev regularity of each moment variable) in which the weak solutions are obtained.
- 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
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
-
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
-
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
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
axioms (2)
- domain assumption Abstract LBB saddle-point theory applies once the 2-by-2 block structure is identified
- standard math Standard Sobolev-space setting and trace theorems for tensor fields
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
These Korn-type inequalities are established by analyzing the symbol map of the symmetric and trace-free part of tensor derivative fields.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanD3_admits_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
the symmetric trace-free gradient on symmetric trace-free 2-tensor fields is C-elliptic if and only if d ≥ 3
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
-
Global well-posedness of the linearized R13 moment equations with Onsager boundary conditions
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
-
[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]
N. Aronszajn, On coercive integro-differential quadratic forms, in Conference on Partial Dif- ferential Equations, Summer 1954, Univ. Kansas, 1955, pp. 94–106
work page 1954
-
[3]
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]
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]
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
work page 2008
-
[6]
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
work page 1991
-
[7]
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]
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]
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]
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]
G. Duvaut and J.-L. Lions , Les in´ equations en m´ ecanique et en physique , Travaux et Recherches Math´ ematiques 21, Dunod, Paris, 1972
work page 1972
-
[12]
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]
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]
E. Giusti , Direct Methods in the Calculus of Variations , World Scientific, New Jersey, re- printed ed., 2005
work page 2005
-
[15]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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
work page 1909
-
[26]
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]
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]
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]
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
work page 1966
-
[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]
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]
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]
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
work page 2003
-
[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]
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]
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
work page 2016
-
[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]
K. T. Smith , Formulas to represent functions by their derivatives , Math. Ann., 188 (1970), pp. 53–77, https://doi.org/10.1007/BF01435415
-
[39]
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]
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
work page 2003
-
[41]
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
work page 2013
-
[42]
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]
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]
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
work page 2016
-
[45]
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]
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]
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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.