arXiv subjects

Snorre H. Christiansen

Publications and source records attributed to Snorre H. Christiansen.

14 recordsLinked to original sources

arXiv2026

A note on short and long exact sequences in the BGG construction of complexes from complexes

We first show how the cohomology of some Bernstein-Gelfand-Gelfand (BGG) sequences that are important for the numerical analysis of partial differential equations, can be obtained through the construction of a long exact sequence connecting cohomology groups. Then we explain the extension of this result to the non-injective/surjective case through the systematic use of short exact sequences of complexes and their associated long exact sequences of cohomology groups. Finally an interpretation in terms of spectral sequences is given.

math.NA↗

arXiv2026

Convergence and Stability of Discrete Exterior Calculus for the Hodge Laplace Problem in Two Dimensions

We prove convergence and stability of the discrete exterior calculus (DEC) solutions for the Hodge-Laplace problems in two dimensions for families of meshes that are non-degenerate Delaunay and shape regular. We do this by relating the DEC solutions to the lowest order finite element exterior calculus (FEEC) solutions. A Poincaré inequality and a discrete inf-sup condition for DEC are part of this proof. We also prove that under appropriate geometric conditions on the mesh the DEC and FEEC norms are equivalent. Only one side of the norm equivalence is needed for proving stability and convergence and this allows us to relax the conditions on the meshes.

math.NA↗

arXiv2026

Regge metrics with enhanced trace

We introduce variants of Regge finite element metrics with enhanced properties of the trace. In particular the trace operator is surjective to a finite element space of continuous functions. Multiplying these scalar functions by the identity tensor brings one back to the finite element space of metrics. The metrics can be based on high order polynomials and be constructed on refinements, such as the Clough-Tocher or Worsey-Farin splits. Potential applications to general relativity, incompressible elasticity and conformal geometry are sketched.

math.NA↗

arXiv2025

Interpretation of a Discrete de Rham method as a Finite Element System

We show that the DDR method can be interpreted as defining a computable consistent discrete $\mathrm{L}^2$ product on a conforming FES defined by PDEs. Without modifying the numerical method itself, this point of view provides an alternative approach to the analysis. The conformity and consistency properties we obtain are stronger than those previously shown, even in low dimensions. We can also recover some of the other results that have been proved about DDR, from those that have already been proved, in principle, in the general context of FES. We also bring VEM, the Virtual Element Method, into the discussion.

math.NA↗

arXiv2023

Extended Regge complex for linearized Riemann-Cartan geometry and cohomology

We show that the cohomology of the Regge complex in three dimensions is isomorphic to $\mathcal{H}^{\scriptscriptstyle \bullet}_{dR}(Ω)\otimes\mathcal{RM}$, the infinitesimal-rigid-body-motion-valued de~Rham cohomology. Based on an observation that the twisted de~Rham complex extends the elasticity (Riemannian deformation) complex to the linearized version of coframes, connection 1-forms, curvature and Cartan's torsion, we construct a discrete version of linearized Riemann-Cartan geometry on any triangulation and determine its cohomology.

math.NA↗

arXiv2020

A discrete elasticity complex on three-dimensional Alfeld splits

We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham complexes, and smoother finite element differential forms.

math.NA↗

arXiv2020

Finite Element Systems for vector bundles : elasticity and curvature

We develop a theory of Finite Element Systems, for the purpose of discretizing sections of vector bundles, in particular those arizing in the theory of elasticity. In the presence of curvature we prove a discrete Bianchi identity. In the flat case we prove a de Rham theorem on cohomology groups. We check that some known mixed finite elements for the stress-displacement formulation of elasticity fit our framework. We also define, in dimension two, the first conforming finite element spaces of metrics with good linearized curvature, corresponding to strain tensors with Saint-Venant compatibility conditions. Cochains with coefficients in rigid motions are given a key role in relating continuous and discrete elasticity complexes.

math.NA↗

arXiv2019

Poincaré path integrals for elasticity

We propose a general strategy to derive null-homotopy operators for differential complexes based on the Bernstein-Gelfand-Gelfand (BGG) construction and properties of the de Rham complex. Focusing on the elasticity complex, we derive path integral operators $\mathscr{P}$ for elasticity satisfying $\mathscr{D}\mathscr{P}+\mathscr{P}\mathscr{D}=\mathrm{id}$ and $\mathscr{P}^{2}=0$, where the differential operators $\mathscr{D}$ correspond to the linearized strain, the linearized curvature and the divergence, respectively. In general we derive path integral formulas in the presence of defects. As a special case, this gives the classical Cesàro-Volterra path integral for strain tensors satisfying the Saint-Venant compatibility condition.

math-ph↗

arXiv2017

Nodal Finite Element de Rham Complexes

We construct 2D and 3D finite element de Rham sequences of arbitrary polynomial degrees with extra smoothness. Some of these elements have nodal degrees of freedom (DoFs) and can be considered as generalisations of scalar Hermite and Lagrange elements. Using the nodal values, the number of global degrees of freedom is reduced compared with the classical Nédélec and Brezzi-Douglas-Marini (BDM) finite elements, and the basis functions are more canonical and easier to construct. Our finite elements for ${H}(\mathrm{div})$ with regularity $r=2$ coincide with the nonstandard elements given by Stenberg (Numer Math 115(1): 131-139, 2010). We show how regularity decreases in the finite element complexes, so that they branch into known complexes. The standard de Rham complexes of Whitney forms and their higher order version can be regarded as the family with the lowest regularity. The construction of the new families is motivated by the finite element systems.%, and we also establish local exact sequences (geometric decomposition) for the new elements.

math.NA↗

arXiv2016

On eigenmode approximation for Dirac equations: differential forms and fractional Sobolev spaces

We comment on the discretization of the Dirac equation using finite element spaces of differential forms. In order to treat perturbations by low order terms, such as those arizing from electromagnetic fields, we develop some abstract discretization theory and provide estimates in fractional order Sobolev spaces for finite element systems. Eigenmode convergence is proved, as well as optimal convergence orders, assuming a flat background metric on a periodic domain.

math.NA↗

arXiv2016

Stability of an upwind Petrov Galerkin discretization of convection diffusion equations

We study a numerical method for convection diffusion equations, in the regime of small viscosity. It can be described as an exponentially fitted conforming Petrov-Galerkin method. We identify norms for which we have both continuity and an inf-sup condition, which are uniform in mesh-width and viscosity, up to a logarithm, as long as the viscosity is smaller than the mesh-width or the crosswind diffusion is smaller than the streamline diffusion. The analysis allows for the formation of a boundary layer.

math.NA↗

arXiv2015

Constructions of some minimal finite element systems

Within the framework of finite element systems, we show how spaces of differential forms may be constructed, in such a way that they are equipped with commuting interpolators and contain prescribed functions, and are minimal under these constraints. We show how various known mixed finite element spaces fulfill such a design principle, including trimmed polynomial differential forms, serendipity elements and TNT elements. We also comment on virtual element methods and provide a dimension formula for minimal compatible finite element systems containing polynomials of a given degree on hypercubes.

math.NA↗

arXiv2015

Mathematics ... Applications

We consider a definition of mathematics as the art of thinking in terms of formalized systems, and the science of relations, structures and algorithms. We also touch upon the relation of mathematics to other sciences, in particular through modelling and scientific computing. We discuss mathematics as a martial art and a key to paradigm changes.

math.HO↗

arXiv2011

On the linearization of Regge calculus

We study the linearization of three dimensional Regge calculus around Euclidean metric. We provide an explicit formula for the corresponding quadratic form and relate it to the curlTcurl operator which appears in the quadratic part of the Einstein-Hilbert action and also in the linear elasticity complex. We insert Regge metrics in a discrete version of this complex, equipped with densely defined and commuting interpolators. We show that the eigenpairs of the curlTcurl operator, approximated using the quadratic part of the Regge action on Regge metrics, converge to their continuous counterparts, interpreting the computation as a non-conforming finite element method.

math.NA↗