pith. sign in

arxiv: 2311.16077 · v3 · submitted 2023-11-27 · 🧮 math.NA · cs.NA

Finite elements for symmetric and traceless tensors in three dimensions

Kaibo Hu , Ting Lin , Bowen Shi This is my paper

Pith reviewed 2026-05-24 06:19 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords finite elementssymmetric traceless tensorsconformal complextransverse traceless tensorsinf-sup stabilitytetrahedral meshesexact sequencesmixed finite elements
0
0 comments X

The pith

Finite element sub-complexes of the conformal complex on tetrahedral meshes are exact on contractible domains and yield stable discretizations of symmetric traceless tensors.

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

The paper constructs finite element spaces that form sub-complexes of the conformal complex on tetrahedral meshes, linking vector fields to symmetric and traceless tensor fields through the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator. It establishes that these discrete complexes are exact on contractible domains, which produces discrete transverse traceless tensors that satisfy symmetry, tracelessness, and divergence-free conditions. The construction also proves inf-sup stability for the H(div)-conforming symmetric traceless tensor spaces paired with discontinuous vector spaces. This approach supplies structure-preserving discretizations that inherit algebraic and topological features from the continuous setting for use in continuum mechanics and general relativity.

Core claim

We construct a family of finite element sub-complexes of the conformal complex on tetrahedral meshes and show their exactness on contractible domains. This complex includes vector fields and symmetric and traceless tensor fields, connected through the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator, respectively. This leads to discrete versions of transverse traceless (TT) tensors, i.e., symmetric, traceless and divergence-free matrix fields, in continuum mechanics and general relativity. We also show the inf-sup stability of the H(div)-conforming finite element symmetric and traceless tensors paired with discontinuous vectors.

What carries the argument

Finite element sub-complexes of the conformal complex on tetrahedral meshes, with spaces for vectors and symmetric traceless tensors linked by the conformal Killing, linearized Cotton-York, and divergence operators.

If this is right

  • Discrete transverse traceless tensors arise directly as the kernel of the discrete divergence inside the symmetric traceless space.
  • The exact sequences enable structure-preserving approximations that maintain the topological properties of the continuous conformal complex.
  • Inf-sup stable mixed pairs support stable discretizations of variational problems involving symmetric traceless tensors and vectors.
  • The sub-complexes provide conforming approximations that commute with the relevant differential operators on the given meshes.

Where Pith is reading between the lines

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

  • The discrete TT tensors could support structure-preserving time-stepping schemes in numerical relativity on tetrahedral grids.
  • Similar sub-complex constructions might apply to other tensor complexes arising in linearized elasticity or differential geometry.
  • The stability results indicate that these elements can be used in mixed formulations without additional stabilization terms on contractible domains.
  • Extensions to non-tetrahedral meshes would require new constructions to recover the exactness property.

Load-bearing premise

Exactness of the discrete complex and inf-sup stability require tetrahedral meshes and contractible domains.

What would settle it

A counterexample on a contractible tetrahedral mesh where the discrete sequence has nontrivial cohomology in one of the spaces, or a numerical computation showing the inf-sup constant for the tensor-vector pair tends to zero under refinement.

Figures

Figures reproduced from arXiv: 2311.16077 by Bowen Shi, Kaibo Hu, Ting Lin.

Figure 1
Figure 1. Figure 1: Illustration of the decomposition of a finite element space into bub￾bles and the rest (skeleton). At the end of the complex, div maps bubbles onto piecewise polynomials module a finite dimensional space, which is controlled by face degrees of freedom. In general, the bubbles living on each entity (cells, faces, edges etc.) form a complex; a finite element space can be decomposed into bubbles in different … view at source ↗
Figure 2
Figure 2. Figure 2: Vector notations on a tetrahedron K Denote λF as the corresponding barycentric coordinate of a face F. The tetrahedron bubble is defined as bK = Q F ∈F(K) λF . For face F, the face bubble is given by bF = bK/λF . In the case of an edge e = F+ ∩ F−, the edge bubble is defined as be = bK/(λF+ λF− ). Note that grad (λF ) = −n/hF , where hF is the distance between a face F and its opposed vertex. 3.2. Tensor o… view at source ↗
read the original abstract

We construct a family of finite element sub-complexes of the conformal complex on tetrahedral meshes and show their exactness on contractible domains. This complex includes vector fields and symmetric and traceless tensor fields, connected through the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator, respectively. This leads to discrete versions of transverse traceless (TT) tensors, i.e., symmetric, traceless and divergence-free matrix fields, in continuum mechanics and general relativity. We also show the inf-sup stability of the $H(\operatorname{div})$-conforming finite element symmetric and traceless tensors paired with discontinuous vectors.

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 constructs a family of finite element sub-complexes of the conformal complex on tetrahedral meshes in 3D. These sub-complexes involve vector fields and symmetric traceless tensor fields linked by the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator. Exactness is claimed on contractible domains, yielding discrete transverse traceless (TT) tensors. The work also establishes inf-sup stability for the H(div)-conforming symmetric traceless tensor elements paired with discontinuous vector fields, with applications to continuum mechanics and general relativity.

Significance. If the constructions, exactness proofs, and stability results hold, the paper supplies new conforming finite element spaces and complexes for symmetric traceless divergence-free fields, which are central to formulations in elasticity and numerical relativity. The explicit sub-complex structure and the inf-sup condition would support stable discretizations of TT-tensor problems. The restriction to tetrahedral meshes and contractible domains is standard but narrows applicability; the parameter-free character of the construction (if verified) would be a notable strength.

major comments (2)
  1. [Abstract and §3] The abstract asserts exactness of the sub-complex on contractible domains and inf-sup stability, but without the explicit definition of the finite element spaces (likely in §3 or §4) and the corresponding diagram or sequence, it is impossible to verify that the discrete operators form a true sub-complex of the continuous conformal complex or that the cohomology vanishes as claimed.
  2. [§5] The inf-sup stability statement for the H(div)-conforming symmetric traceless tensors paired with discontinuous vectors is load-bearing for well-posedness of the discrete TT problem, yet the proof sketch or argument (presumably in §5) is not available for inspection; the topological assumptions on the domain must be shown to be necessary and sufficient.
minor comments (2)
  1. Notation for the finite element spaces and operators should be introduced consistently with standard references on finite element exterior calculus to aid readability.
  2. The manuscript would benefit from a short table summarizing the polynomial degrees and degrees of freedom for each space in the sub-complex.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for summarizing the contributions of our manuscript. We address each major comment below, pointing to the relevant sections where the constructions, diagrams, and proofs appear. We are prepared to make clarifications or expansions as needed to improve verifiability.

read point-by-point responses

  1. Referee: [Abstract and §3] The abstract asserts exactness of the sub-complex on contractible domains and inf-sup stability, but without the explicit definition of the finite element spaces (likely in §3 or §4) and the corresponding diagram or sequence, it is impossible to verify that the discrete operators form a true sub-complex of the continuous conformal complex or that the cohomology vanishes as claimed.

    Authors: Section 3 contains the explicit definitions of the finite element spaces, including the polynomial degrees, degrees of freedom, and basis constructions for both the vector fields and the symmetric traceless tensor fields. The discrete sub-complex diagram is given as Figure 1 in that section, and the exactness (vanishing cohomology) on contractible domains is stated and proved as Theorem 3.1. The abstract summarizes these results; we will add an explicit cross-reference to Section 3 in a revised abstract to aid readers. revision: partial

  2. Referee: [§5] The inf-sup stability statement for the H(div)-conforming symmetric traceless tensors paired with discontinuous vectors is load-bearing for well-posedness of the discrete TT problem, yet the proof sketch or argument (presumably in §5) is not available for inspection; the topological assumptions on the domain must be shown to be necessary and sufficient.

    Authors: The inf-sup stability result is proved in full in Theorem 5.1 of Section 5, using the exact sequence property established in Section 3 together with standard arguments for the kernel of the divergence operator on the discrete spaces. The contractible-domain assumption is sufficient for exactness (as required for the stability proof) and is the standard topological hypothesis in the finite element exterior calculus literature; necessity follows from the continuous complex and is noted in the introduction. We can expand the discussion of necessity in a revised Section 5 if the referee finds the current treatment insufficient. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents an explicit construction of finite element spaces forming sub-complexes of the conformal complex on tetrahedral meshes, followed by direct proofs of exactness on contractible domains and inf-sup stability. These steps rely on standard topological assumptions and mesh properties stated upfront rather than any self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The central results (discrete TT tensors and stability) follow from the constructed operators and exact sequence properties without reducing to the inputs by construction. No instances of the enumerated circularity patterns appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper introduces no free parameters, no invented physical entities, and relies only on standard mathematical axioms of finite element theory and differential complexes. No ad-hoc constants or new postulated objects are described in the abstract.

axioms (2)
  • standard math Standard exactness properties of the continuous conformal complex on contractible domains in 3D
    Invoked to establish that the discrete sub-complex inherits exactness
  • domain assumption Tetrahedral meshes admit conforming finite element spaces with the stated degrees of freedom
    Required for the construction of the H(div)-conforming symmetric traceless elements

pith-pipeline@v0.9.0 · 5627 in / 1413 out tokens · 28643 ms · 2026-05-24T06:19:44.505486+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

77 extracted references · 77 canonical work pages · 3 internal anchors

  1. [1]

    ComputingH 2-conforming finite element approximations without having to implementC 1-elements.arXiv preprint arXiv:2311.04771, 2023

    Mark Ainsworth and Charles Parker. ComputingH 2-conforming finite element approximations without having to implementC 1-elements.arXiv preprint arXiv:2311.04771, 2023

    work page arXiv 2023

  2. [2]

    Finite elements for symmetric tensors in three dimensions.Mathematics of Computation, 77(263):1229–1251, 2008

    Douglas Arnold, Gerard Awanou, and Ragnar Winther. Finite elements for symmetric tensors in three dimensions.Mathematics of Computation, 77(263):1229–1251, 2008

    work page 2008

  3. [3]

    Mixed finite element methods for linear elasticity with weakly imposed symmetry.Mathematics of Computation, 76(260):1699–1723, 2007

    Douglas Arnold, Richard Falk, and Ragnar Winther. Mixed finite element methods for linear elasticity with weakly imposed symmetry.Mathematics of Computation, 76(260):1699–1723, 2007

    work page 2007

  4. [4]

    Douglas N. Arnold. From exact sequences to colliding black holes: Differential complexes in numerical analysis. InProceedings of the International Congress of Mathematicians (ICM 2002), Beijing, China,

    work page 2002

  5. [5]

    SIAM, 2018

    Douglas N Arnold.Finite element exterior calculus. SIAM, 2018

    work page 2018

  6. [6]

    Differential complexes and stability of finite element methods II: The elasticity complex

    Douglas N Arnold, Richard S Falk, and Ragnar Winther. Differential complexes and stability of finite element methods II: The elasticity complex. InCompatible spatial discretizations, pages 47–67. Springer, 2006

    work page 2006

  7. [7]

    Finite element exterior calculus, homological techniques, and applications.Acta Numerica, 15:1–155, 2006

    Douglas N Arnold, Richard S Falk, and Ragnar Winther. Finite element exterior calculus, homological techniques, and applications.Acta Numerica, 15:1–155, 2006

    work page 2006

  8. [8]

    Geometric decompositions and local bases for spaces of finite element differential forms.Computer Methods in Applied Mechanics and Engineering, 198(21- 26):1660–1672, 2009

    Douglas N Arnold, Richard S Falk, and Ragnar Winther. Geometric decompositions and local bases for spaces of finite element differential forms.Computer Methods in Applied Mechanics and Engineering, 198(21- 26):1660–1672, 2009

    work page 2009

  9. [9]

    Complexes from complexes.Foundations of Computational Mathematics, 21(6):1739–1774, 2021

    Douglas N Arnold and Kaibo Hu. Complexes from complexes.Foundations of Computational Mathematics, 21(6):1739–1774, 2021

    work page 2021

  10. [10]

    Periodic table of the finite elements.Siam News, 47(9):212, 2014

    Douglas N Arnold and Anders Logg. Periodic table of the finite elements.Siam News, 47(9):212, 2014

    work page 2014

  11. [11]

    Mixed finite elements for elasticity.Numerische Mathematik, 92:401–419, 2002

    Douglas N Arnold and Ragnar Winther. Mixed finite elements for elasticity.Numerische Mathematik, 92:401–419, 2002

    work page 2002

  12. [12]

    TT-tensors and conformally flat structures on 3-manifolds

    Robert Beig. TT-tensors and conformally flat structures on 3-manifolds.arXiv preprint gr-qc/9606055, 1996

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  13. [13]

    Shielding linearized gravity.Physical Review D, 95(6):064063, 2017

    Robert Beig and Piotr T Chru´ sciel. Shielding linearized gravity.Physical Review D, 95(6):064063, 2017

    work page 2017

  14. [14]

    On linearised vacuum constraint equations on Einstein manifolds

    Robert Beig and Piotr T Chru´ sciel. On linearised vacuum constraint equations on Einstein manifolds. Classical and Quantum Gravity, 37(21):215012, 2020

    work page 2020

  15. [15]

    Finite element spaces of double forms.arXiv preprint arXiv:2505.17243, 2025

    Yakov Berchenko-Kogan and Evan S Gawlik. Finite element spaces of double forms.arXiv preprint arXiv:2505.17243, 2025

    work page arXiv 2025

  16. [16]

    Homology of smooth splines: generic triangulations and a conjecture of Strang.Transactions of the american Mathematical Society, 310(1):325–340, 1988

    Louis J Billera. Homology of smooth splines: generic triangulations and a conjecture of Strang.Transactions of the american Mathematical Society, 310(1):325–340, 1988

    work page 1988

  17. [17]

    Springer, 2013

    Daniele Boffi, Franco Brezzi, Michel Fortin, et al.Mixed finite element methods and applications, volume 44. Springer, 2013

    work page 2013

  18. [18]

    Discrete tensor product BGG sequences: splines and finite elements.arXiv preprint arXiv:2302.02434, 2023

    Francesca Bonizzoni, Kaibo Hu, Guido Kanschat, and Duygu Sap. Discrete tensor product BGG sequences: splines and finite elements.arXiv preprint arXiv:2302.02434, 2023. 54

    work page arXiv 2023

  19. [19]

    Franco Brezzi. On the existence, uniqueness and approximation of saddle-point problems arising from la- grangian multipliers.Publications des s´ eminaires de math´ ematiques et informatique de Rennes, (S4):1–26, 1974

    work page 1974

  20. [20]

    Two families of mixed finite elements for second order elliptic problems.Numerische Mathematik, 47(2):217–235, 1985

    Franco Brezzi, Jim Douglas Jr, and L Donatella Marini. Two families of mixed finite elements for second order elliptic problems.Numerische Mathematik, 47(2):217–235, 1985

    work page 1985

  21. [21]

    Hilbert complexes.Journal of Functional Analysis, 108(1):88–132, 1992

    J Bru, Matthias Lesch, et al. Hilbert complexes.Journal of Functional Analysis, 108(1):88–132, 1992

    work page 1992

  22. [22]

    BGG sequences with weak regularity and applications.Foundations of Com- putational Mathematics, pages 1–40, 2023

    Andreas ˇCap and Kaibo Hu. BGG sequences with weak regularity and applications.Foundations of Com- putational Mathematics, pages 1–40, 2023

    work page 2023

  23. [23]

    Bounded Poincar´ e operators for twisted and BGG complexes.arXiv preprint arXiv:2304.07185, 2023

    Andreas ˇCap and Kaibo Hu. Bounded Poincar´ e operators for twisted and BGG complexes.arXiv preprint arXiv:2304.07185, 2023

    work page arXiv 2023

  24. [24]

    Bernstein-Gelfand-Gelfand sequences.Annals of Mathe- matics, pages 97–113, 2001

    Andreas ˇCap, Jan Slov´ ak, and Vladim´ ır Souˇ cek. Bernstein-Gelfand-Gelfand sequences.Annals of Mathe- matics, pages 97–113, 2001

    work page 2001

  25. [25]

    Finite element complexes in two dimensions.arXiv preprint arXiv:2206.00851, 2022

    Long Chen and Xuehai Huang. Finite element complexes in two dimensions.arXiv preprint arXiv:2206.00851, 2022

    work page arXiv 2022

  26. [26]

    A finite element elasticity complex in three dimensions.Mathematics of Computation, 91(337):2095–2127, 2022

    Long Chen and Xuehai Huang. A finite element elasticity complex in three dimensions.Mathematics of Computation, 91(337):2095–2127, 2022

    work page 2095

  27. [27]

    Finite elements for div-and divdiv-conforming symmetric tensors in arbitrary dimension.SIAM Journal on Numerical Analysis, 60(4):1932–1961, 2022

    Long Chen and Xuehai Huang. Finite elements for div-and divdiv-conforming symmetric tensors in arbitrary dimension.SIAM Journal on Numerical Analysis, 60(4):1932–1961, 2022

    work page 1932

  28. [28]

    Finite elements for divdiv conforming symmetric tensors in three dimensions

    Long Chen and Xuehai Huang. Finite elements for divdiv conforming symmetric tensors in three dimensions. Mathematics of Computation, 91(335):1107–1142, 2022

    work page 2022

  29. [29]

    Finite element de rham and stokes complexes in three dimensions.Mathe- matics of Computation, 93(345):55–110, 2024

    Long Chen and Xuehai Huang. Finite element de rham and stokes complexes in three dimensions.Mathe- matics of Computation, 93(345):55–110, 2024

    work page 2024

  30. [30]

    Complexes from complexes: Finite element complexes in three dimensions

    Long Chen and Xuehai Huang. Complexes from complexes: Finite element complexes in three dimensions. Mathematics of Computation, 2025

    work page 2025

  31. [31]

    A new div-div-conforming symmetric tensor finite element space with ap- plications to the biharmonic equation.Mathematics of Computation, 94(351):33–72, 2025

    Long Chen and Xuehai Huang. A new div-div-conforming symmetric tensor finite element space with ap- plications to the biharmonic equation.Mathematics of Computation, 94(351):33–72, 2025

    work page 2025

  32. [32]

    Oxford university press, 2009

    Yvonne Choquet-Bruhat.General relativity and the Einstein equations. Oxford university press, 2009

    work page 2009

  33. [33]

    Finite element systems of differential forms

    Snorre H Christiansen. Finite element systems of differential forms.arXiv preprint arXiv:1006.4779, 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  34. [34]

    On the linearization of Regge calculus.Numerische Mathematik, 119:613–640, 2011

    Snorre H Christiansen. On the linearization of Regge calculus.Numerische Mathematik, 119:613–640, 2011

    work page 2011

  35. [35]

    A discrete elasticity complex on three-dimensional Alfeld splits.arXiv preprint arXiv:2009.07744, 2020

    Snorre H Christiansen, Jay Gopalakrishnan, Johnny Guzm´ an, and Kaibo Hu. A discrete elasticity complex on three-dimensional Alfeld splits.arXiv preprint arXiv:2009.07744, 2020

    work page arXiv 2009

  36. [36]

    Generalized finite element systems for smooth differential forms and Stokes problem.Numerische Mathematik, 140:327–371, 2018

    Snorre H Christiansen and Kaibo Hu. Generalized finite element systems for smooth differential forms and Stokes problem.Numerische Mathematik, 140:327–371, 2018

    work page 2018

  37. [37]

    Finite element systems for vector bundles: elasticity and curvature

    Snorre H Christiansen and Kaibo Hu. Finite element systems for vector bundles: elasticity and curvature. Foundations of Computational Mathematics, 23(2):545–596, 2023

    work page 2023

  38. [38]

    Generalized korn’s inequality and conformal killing vectors.Calculus of variations and partial differential equations, 25:535–540, 2006

    Sergio Dain. Generalized korn’s inequality and conformal killing vectors.Calculus of variations and partial differential equations, 25:535–540, 2006

    work page 2006

  39. [39]

    Covariant decomposition of symmetric tensors and the gravitational Cauchy problem

    Stanley Deser. Covariant decomposition of symmetric tensors and the gravitational Cauchy problem. In Annales de l’IHP Physique th´ eorique, volume 7, pages 149–188, 1967

    work page 1967

  40. [40]

    A complex from linear elasticity

    Michael Eastwood. A complex from linear elasticity. InProceedings of the 19th Winter School” Geometry and Physics”, pages 23–29. Circolo Matematico di Palermo, 2000

    work page 2000

  41. [41]

    Stokes complexes and the construction of stable finite elements with pointwise mass conservation.SIAM Journal on Numerical Analysis, 51(2): 1308–1326, 2013

    Richard S Falk and Michael Neilan. Stokes complexes and the construction of stable finite elements with pointwise mass conservation.SIAM Journal on Numerical Analysis, 51(2): 1308–1326, 2013

    work page 2013

  42. [42]

    Springer, 2009

    Eduard Feireisl, Anton´ ın Novotn` y, et al.Singular limits in thermodynamics of viscous fluids, volume 2. Springer, 2009

    work page 2009

  43. [43]

    Fischer and Jerrold E

    Arthur E. Fischer and Jerrold E. Marsden. The manifold of conformally equivalent metrics.Canadian Journal of Mathematics, 29(1):193–209, 1977

    work page 1977

  44. [44]

    A characterization of supersmoothness of multivariate splines.Advances in Computational Mathematics, 46(5):70, 2020

    Michael S Floater and Kaibo Hu. A characterization of supersmoothness of multivariate splines.Advances in Computational Mathematics, 46(5):70, 2020

    work page 2020

  45. [45]

    Martin Fuchs. Generalizations of Korn’s inequality based on gradient estimates in Orlicz spaces and appli- cations to variational problems in 2D involving the trace free part of the symmetric gradient.Journal of Mathematical Sciences, 167(3), 2010

    work page 2010

  46. [46]

    Martin Fuchs and Oliver Schirra. An application of a new coercive inequality to variational problems studied in general relativity and in Cosserat elasticity giving the smoothness of minimizers.Archiv der Mathematik, 93:587–596, 2009

    work page 2009

  47. [47]

    Deformations infinitesimales des structures conformes plates

    Jacques Gasqui and Hubert Goldschmidt. Deformations infinitesimales des structures conformes plates. Birkhauser, Basel, 1984

    work page 1984

  48. [48]

    Finite element approximation of the Einstein tensor.IMA Journal of Numerical Analysis, page draf004, 2025

    Evan S Gawlik and Michael Neunteufel. Finite element approximation of the Einstein tensor.IMA Journal of Numerical Analysis, page draf004, 2025. 55

    work page 2025

  49. [49]

    Discrete Elasticity Exact Sequences on Worsey-Farin splits.arXiv preprint arXiv:2302.08598, 2023

    Sining Gong, Jay Gopalakrishnan, Johnny Guzm´ an, and Michael Neilan. Discrete Elasticity Exact Sequences on Worsey-Farin splits.arXiv preprint arXiv:2302.08598, 2023

    work page arXiv 2023

  50. [50]

    A mass conserving mixed stress formulation for the Stokes equations.IMA Journal of Numerical Analysis, 40(3):1838–1874, 2020

    Jay Gopalakrishnan, Philip L Lederer, and Joachim Sch¨ oberl. A mass conserving mixed stress formulation for the Stokes equations.IMA Journal of Numerical Analysis, 40(3):1838–1874, 2020

    work page 2020

  51. [51]

    A mass conserving mixed stress formulation for Stokes flow with weakly imposed stress symmetry.SIAM Journal on Numerical Analysis, 58(1):706–732, 2020

    Jay Gopalakrishnan, Philip L Lederer, and Joachim Sch¨ oberl. A mass conserving mixed stress formulation for Stokes flow with weakly imposed stress symmetry.SIAM Journal on Numerical Analysis, 58(1):706–732, 2020

    work page 2020

  52. [52]

    P Hauret, E Kuhl, and M Ortiz. Diamond elements: a finite element/discrete-mechanics approximation scheme with guaranteed optimal convergence in incompressible elasticity.International Journal for Numer- ical Methods in Engineering, 72(3):253–294, 2007

    work page 2007

  53. [53]

    Canonical construction of finite elements.Mathematics of Computation, 68(228):1325–1346, 1999

    Ralf Hiptmair. Canonical construction of finite elements.Mathematics of Computation, 68(228):1325–1346, 1999

    work page 1999

  54. [54]

    Conforming discrete gradgrad-complexes in three dimensions.Mathematics of Computation, 90(330):1637–1662, 2021

    Jun Hu and Yizhou Liang. Conforming discrete gradgrad-complexes in three dimensions.Mathematics of Computation, 90(330):1637–1662, 2021

    work page 2021

  55. [55]

    Conforming finite element divdiv complexes and the application for the linearized Einstein–Bianchi system.SIAM Journal on Numerical Analysis, 60(3):1307–1330, 2022

    Jun Hu, Yizhou Liang, and Rui Ma. Conforming finite element divdiv complexes and the application for the linearized Einstein–Bianchi system.SIAM Journal on Numerical Analysis, 60(3):1307–1330, 2022

    work page 2022

  56. [56]

    A construction ofC r conforming finite element spaces in any dimension

    Jun Hu, Ting Lin, and Qingyu Wu. A construction ofC r conforming finite element spaces in any dimension. Foundations of Computational Mathematics, pages 1–37, 2023

    work page 2023

  57. [57]

    The condition for constructing a finite element from a superspline.arXiv preprint arXiv:2407.03680, 2024

    Jun Hu, Ting Lin, Qingyu Wu, and Beihui Yuan. The condition for constructing a finite element from a superspline.arXiv preprint arXiv:2407.03680, 2024

    work page arXiv 2024

  58. [58]

    A family of conforming mixed finite elements for linear elasticity on triangular grids

    Jun Hu and Shangyou Zhang. A family of conforming mixed finite elements for linear elasticity on triangular grids.arXiv preprint arXiv:1406.7457, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  59. [59]

    A family of symmetric mixed finite elements for linear elasticity on tetrahedral grids.Science China Mathematics, 58(2):297–307, 2015

    Jun Hu and ShangYou Zhang. A family of symmetric mixed finite elements for linear elasticity on tetrahedral grids.Science China Mathematics, 58(2):297–307, 2015

    work page 2015

  60. [60]

    Nonlinear elasticity complex and a finite element diagram chase.arXiv preprint arXiv:2302.02442, 2023

    Kaibo Hu. Nonlinear elasticity complex and a finite element diagram chase.arXiv preprint arXiv:2302.02442, 2023

    work page arXiv 2023

  61. [61]

    Finite element form-valued forms: Construction.arXiv preprint arXiv:2503.03243, 2025

    Kaibo Hu and Ting Lin. Finite element form-valued forms: Construction.arXiv preprint arXiv:2503.03243, 2025

    work page arXiv 2025

  62. [62]

    Finite element conformal complexes in three dimensions.arXiv preprint arXiv:2508.01238, 2025

    Xuehai Huang. Finite element conformal complexes in three dimensions.arXiv preprint arXiv:2508.01238, 2025

    work page arXiv 2025

  63. [63]

    Jena Jeong, Hamidr´ eza Ram´ ezani, Ingo M¨ unch, and Patrizio Neff. A numerical study for linear isotropic Cosserat elasticity with conformally invariant curvature.ZAMM-Journal of Applied Mathematics and Me- chanics/Zeitschrift f¨ ur Angewandte Mathematik und Mechanik: Applied Mathematics and Mechanics, 89(7):552–569, 2009

    work page 2009

  64. [64]

    Number 110

    Ming-Jun Lai and Larry L Schumaker.Spline functions on triangulations. Number 110. Cambridge Univer- sity Press, 2007

    work page 2007

  65. [65]

    OUP Oxford, 2007

    Michele Maggiore.Gravitational waves: Volume 1: Theory and experiments. OUP Oxford, 2007

    work page 2007

  66. [66]

    Mixed finite elements in ir3.Numerische Mathematik, 35:315–342, 1980

    JC Nedelec. Mixed finite elements in ir3.Numerische Mathematik, 35:315–342, 1980

    work page 1980

  67. [67]

    Patrizio Neff and Jena Jeong. A new paradigm: the linear isotropic cosserat model with conformally invariant curvature energy.Journal of Applied Mathematics and Mechanics/Zeitschrift f¨ ur Angewandte Mathematik und Mechanik (ZAMM), 89(2):107, 2009

    work page 2009

  68. [68]

    Discrete and conforming smooth de Rham complexes in three dimensions.Mathematics of Computation, 84(295):2059–2081, 2015

    Michael Neilan. Discrete and conforming smooth de Rham complexes in three dimensions.Mathematics of Computation, 84(295):2059–2081, 2015

    work page 2059

  69. [69]

    A new approach to finite element simulations of general relativity

    Vincent Quenneville-Belair. A new approach to finite element simulations of general relativity. 2015

    work page 2015

  70. [70]

    A mixed finite element method for 2-nd order elliptic problems

    Pierre-Arnaud Raviart and Jean-Marie Thomas. A mixed finite element method for 2-nd order elliptic problems. InMathematical Aspects of Finite Element Methods: Proceedings of the Conference Held in Rome, December 10–12, 1975, pages 292–315. Springer, 2006

    work page 1975

  71. [71]

    General relativity without coordinates.Il Nuovo Cimento (1955-1965), 19:558–571, 1961

    Tullio Regge. General relativity without coordinates.Il Nuovo Cimento (1955-1965), 19:558–571, 1961

    work page 1955

  72. [72]

    Multivariate splines and algebraic geometry

    Henry K Schenck, Larry L Schumaker, and Tatyana Sorokina. Multivariate splines and algebraic geometry. Oberwolfach Reports, 12(2):1139–1200, 2016

    work page 2016

  73. [73]

    Joachim Sch¨ oberl and Sabine Zaglmayr. High order N´ ed´ elec elements with local complete sequence prop- erties.COMPEL-The international journal for computation and mathematics in electrical and electronic engineering, 24(2):374–384, 2005

    work page 2005

  74. [74]

    Finite element interpolation of nonsmooth functions satisfying boundary conditions.Mathematics of Computation, 54(190):483–493, 1990

    L Ridgway Scott and Shangyou Zhang. Finite element interpolation of nonsmooth functions satisfying boundary conditions.Mathematics of Computation, 54(190):483–493, 1990

    work page 1990

  75. [75]

    Intrinsic supersmoothness of multivariate splines.Numerische Mathematik, 116:421–434, 2010

    Tatyana Sorokina. Intrinsic supersmoothness of multivariate splines.Numerische Mathematik, 116:421–434, 2010

    work page 2010

  76. [76]

    A right-inverse for the divergence operator in spaces of piecewise polynomials: Application to the p-version of the finite element method.Numerische Mathematik, 41(1):19–37, 1983

    Michael Vogelius. A right-inverse for the divergence operator in spaces of piecewise polynomials: Application to the p-version of the finite element method.Numerische Mathematik, 41(1):19–37, 1983. 56

    work page 1983

  77. [77]

    James W York Jr. Conformally invariant orthogonal decomposition of symmetric tensors on Riemannian manifolds and the initial-value problem of general relativity.Journal of Mathematical Physics, 14(4):456– 464, 1973. School of Mathematics, the University of Edinburgh, James Clerk Maxwell Building, Peter Guthrie Tait Rd, Edinburgh EH9 3FD, UK. Email address...

    work page 1973