# The Abstract Hodge-Dirac Operator and Its Stable Discretization

@article{Leopardi2014TheAH, title={The Abstract Hodge-Dirac Operator and Its Stable Discretization}, author={Paul C. Leopardi and Ari Stern}, journal={SIAM J. Numer. Anal.}, year={2014}, volume={54}, pages={3258-3279} }

This paper adapts the techniques of finite element exterior calculus to study and discretize the abstract Hodge--Dirac operator, which is a square root of the abstract Hodge--Laplace operator considered by Arnold, Falk, and Winther [Bull. Amer. Math. Soc., 47 (2010), pp. 281--354]. Dirac-type operators are central to the field of Clifford analysis, where recently there has been considerable interest in their discretization. We prove a priori stability and convergence estimates, and show that…

## 15 Citations

### 2D discrete Hodge-Dirac operator on the torus

- 2022

Mathematics, Computer Science

Symmetry

The goal of this work is to develop a satisfactory discrete model of the de Rham–Hodge theory on manifolds that are homeomorphic to the torus that is compatible with the Hodge decomposition theorem.

### Numerical solution of the div-curl problem by finite element exterior calculus

- 2022

Mathematics

ArXiv

The goal of the paper is to take advantage of the links between usual vector calculus and exterior calculus and show the interest of the exterior calculus framework, without too much prior knowledge of the subject.

### First-Kind Boundary Integral Equations for the Dirac Operator in 3-Dimensional Lipschitz Domains

- 2022

Mathematics

SIAM J. Math. Anal.

We develop novel first-kind boundary integral equations for Euclidean Dirac operators in 3D Lipschitz domains. They comprise square-integrable potentials and involve only weakly singular kernels.…

### Finite element approximation of the Levi-Civita connection and its curvature in two dimensions

- 2022

Mathematics

Foundations of Computational Mathematics

Finite element approximations of the Levi-Civita connection and its curvature on triangulations of oriented two-dimensional manifolds are constructed and it is shown that these distributional quantities converge in certain dual Sobolev norms to their smooth counterparts under refinement of the triangulation.

### An arbitrary order and pointwise divergence-free finite element scheme for the incompressible 3D Navier-Stokes equations

- 2023

Mathematics, Computer Science

SIAM Journal on Numerical Analysis

This paper makes use of the Lamb identity to rewrite the Navier-Stokes equations into a vorticity-velocity-pressure form which fits into the de Rham complex of minimal regularity and proposes a discretization on a large class of finite elements, including arbitrary order polynomial spaces readily available in many libraries.

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

- 2018

Mathematics

Math. Comput.

Eigenmode convergence is proved, as well as optimal convergence orders, assuming a flat background metric on a periodic domain, in finite element spaces of differential forms.

### A unified discrete framework for intrinsic and extrinsic Dirac operators for geometry processing

- 2018

Mathematics

Comput. Graph. Forum

A unified discretization scheme is introduced that describes both an extrinsic and intrinsic Dirac operator on meshes, based on their continuous counterparts on smooth manifolds, and preserves their key properties from the smooth case.

### Modern trends in hypercomplex analysis

- 2016

Mathematics

In this paper we work in the `split' discrete Clifford analysis setting, i.e. the m-dimensional function theory concerning null-functions of the discrete Dirac operator d, defi ned on the grid Zm,…

### A Dirac Operator for Extrinsic Shape Analysis

- 2017

Mathematics

Comput. Graph. Forum

A new extrinsic differential operator called the relative Dirac operator is introduced, leading to a family of operators with a continuous trade‐off between intrinsic and extrinsics features, and this family spans the entire spectrum.

### Rough metrics on manifolds and quadratic estimates

- 2016

Mathematics

We study the persistence of quadratic estimates related to the Kato square root problem across a change of metric on smooth manifolds by defining a class of “rough” Riemannian-like metrics that are…

## 34 References

### Finite element exterior calculus: From hodge theory to numerical stability

- 2010

Mathematics

This article reports on the confluence of two streams of research, one emanating from the fields of numerical analysis and scientific computation, the other from topology and geometry. In it we…

### Smoothed projections in finite element exterior calculus

- 2008

Mathematics

Math. Comput.

The construction of smoothed projections is generalized, such that also non quasi-uniform meshes and essential boundary conditions are covered and the new tool introduced here is a space dependent smoothing operator which commutes with the exterior derivative.

### Geometric Variational Crimes: Hilbert Complexes, Finite Element Exterior Calculus, and Problems on Hypersurfaces

- 2012

Mathematics

Found. Comput. Math.

This framework extends the work of Arnold, Falk, and Winther to problems that violate their subcomplex assumption, allowing for the extension of finite element exterior calculus to approximate domains, most notably the Hodge–de Rham complex on approximate manifolds.

### Quadratic estimates and functional calculi of perturbed Dirac operators

- 2006

Mathematics

We prove quadratic estimates for complex perturbations of Dirac-type operators, and thereby show that such operators have a bounded functional calculus. As an application we show that spectral…

### Finite element exterior calculus, homological techniques, and applications

- 2006

Mathematics

Acta Numerica

Finite element exterior calculus is an approach to the design and understanding of finite element discretizations for a wide variety of systems of partial differential equations. This approach brings…

### Principles of Mimetic Discretizations of Differential Operators

- 2006

Mathematics, Computer Science

This work provides a common framework for mimetic discretizations using algebraic topology to guide the analysis and demonstrates how to apply the framework for compatible discretization for two scalar versions of the Hodge Laplacian.

### Local bounded cochain projections

- 2014

Mathematics

Math. Comput.

These projections have the properties that they commute with the exterior derivative and are bounded in the HΛk(Ω) norm independent of the mesh size h, and are locally defined in the sense that they are defined by local operators on overlapping macroelements, in the spirit of the Clement interpolant.

### Discrete Clifford analysis

- 2015

Mathematics

This survey is intended as an overview of discrete Clifford analysis and its current developments. Since in the discrete case one has to replace the partial derivative with two difference operators,…

### Discrete exterior calculus

- 2003

Mathematics

This thesis presents the beginnings of a theory of discrete exterior calculus (DEC). Our approach is to develop DEC using only discrete combinatorial and geometric operations on a simplicial complex…

### Hodge Decompositions on Weakly Lipschitz Domains

- 2004

Mathematics

A theory of nilpotent operators in Hilbert space is derived from the L 2 theory of boundary value problems for exterior and interior derivative operators d and δ on a bounded, weakly Lipschitz domain.