Intrinsic and extrinsic curvature approximation with distributional finite elements
In several applications, such as shells, general relativity, geometric flows, and cell membranes, the curvature of surfaces and Riemannian manifolds plays a fundamental role. In discrete differential geometry (DDG), algorithms to approximate curvature quantities of discretized domains have been intensively investigated. Many of these procedures rely on computing angles, such as the dihedral angle to approximate the shape operator on polyhedral surfaces or the angle defect for the Gauss curvature of surfaces and two-dimensional Riemannian manifolds. Rigorous convergence analysis and extension to high-order methods can be difficult or unfeasible in this setting. By embedding DDG into a FEM context, rigorous numerical analysis tools become available to investigate and extend those algorithms. To this end, so-called distributional finite elements are essential. They entail weak regularity such that differential operators must be understood in the sense of distributions.
For intrinsic curvatures of (pseudo-)Riemannian manifolds with corresponding metric tensor, the question arises for a given approximation of a metric tensor, how close is the discrete curvature to the exact one? Moreover, how to define the nonlinear curvature on such a discrete metric, which is, in general, non-smooth. It turned out that Regge finite elements are the appropriate space to approximate metrics. They are symmetric, matrix-valued, and only their tangential-tangential components are continuous over element interfaces. We were able to define and analyze the Gauss curvature for 2D manifolds [2023, 2024], the scalar curvature for arbitrary dimensional manifolds [2024], the Einstein tensor [2025] (for arbitrary dimension), and recently the full Riemann curvature tensor in any dimension [2024], which is a fourth-order tensor encoding all intrinsic curvature information of a (pseudo-)Riemannian manifold. Future applications include geometric flows and especially numerical relativity, solving the Einstein field equations of general relativity. We successfully used the Regge elements to construct a simple and general method to avoid membrane locking in nonlinear shells.
NGSolve add-on package for differential geometry support, especially for Riemannian manifolds: NGSDiffGeo.
![]() | ![]() |
Approximated Gauss curvature on a polyhedral surface and a surface with quadratically curved elements. |
We extended the concept of the dihedral angle from DDG to approximate the shape operator (Weingarten tensor) on an arbitrarily approximated surface embedded in \(\mathbb{R}^3\). The distributional shape operator acts on Hellan–Herrmann–Johnson finite elements as test functions. We successfully applied the distributional shape operator to compute the curvature of cell membranes and for the bending term of nonlinear shells. A rigorous numerical analysis and convergence is a work in progress.
![]() | ![]() | ![]() |
Mean curvature on quadratically curved surfaces. |