SearcharxivSearch

arXiv subjects

Michael Neunteufel

Publications and source records attributed to Michael Neunteufel.

At least 19 recordsLinked to original sources

Generalizing Riemann curvature to Regge metrics

In this paper, we propose a generalization of the Riemann curvature tensor on manifolds (of dimension two or higher) endowed with a Regge metric. Specifically, while all components of the metric tensor are assumed to be smooth within elements of a triangulation of the manifold, they need not be smooth across element interfaces, where only continuity of the tangential components is assumed. While linear derivatives of the metric can be generalized to Schwartz distributions, similarly generalizing the classical Riemann curvature tensor, a nonlinear second-order derivative of the metric, requires more care. We propose a generalization that combines the classical angle defect and jumps in the second fundamental form across element interfaces, and argue its correctness. Specifically, if a piecewise smooth metric approximates a globally smooth metric, then our generalized Riemann curvature tensor approximates the classical Riemann curvature tensor associated with the latter. Moreover, we show that if the metric approximation converges at some rate in a mesh-dependent norm equivalent to the $L^2$ norm, then the curvature approximation converges in the negative Sobolev space $H^{-2}$, the dual space of $H^2_0$, at the same rate, under additional assumptions. By appropriate contractions of the generalized Riemann curvature tensor, this work also provides generalizations of scalar curvature, the Ricci curvature tensor, and the Einstein tensor in any dimension.

math.NA

Babuška's paradox in a nonlinear bending-folding model

The Babuška or plate paradox concerns the failure of convergence when a domain with curved boundary is approximated by polygonal domains in linear bending problems with simply supported boundary conditions. It can be explained via a boundary integral representation of the total Gaussian curvature that is part of the Kirchhoff--Love bending energy. It is shown that the paradox also occurs for a nonlinear bending-folding model which enforces vanishing Gaussian curvature. A simple remedy that is compatible with simplicial finite element methods to avoid incorrect convergence is devised.

math.NA

A four-field mixed formulation for incompressible finite elasticity

In this work, we generalize the mass-conserving mixed stress (MCS) finite element method for Stokes equations [Gopalakrishnan J., Lederer P., and Schöberl J., A mass conserving mixed stress formulation for the Stokes equations, IMA Journal of Numerical Analysis 40(3), 1838-1874 (2019)], involving normal velocity and tangential-normal stress continuous fields, to incompressible finite elasticity. By means of the three-field Hu-Washizu principle, introducing the displacement gradient and 1st Piola-Kirchhoff stress tensor as additional fields, we circumvent the inversion of the constitutive law. We lift the arising distributional derivatives of the displacement gradient to a regular auxiliary displacement gradient field. Static condensation can be applied at the element level, providing a global pure displacement problem to be solved. We present a stabilization motivated by Hybrid Discontinuous Galerkin methods. A solving algorithm is discussed, which asserts the solvability of the arising linearized subproblems for problems with physically positive eigenvalues. The excellent performance of the proposed method is corroborated by several numerical experiments.

math.NA

A novel finite element method for simulating surface plasmon polaritons on complex graphene sheets

Surface plasmon polaritons (SPPs) are generated on the graphene surface, and provide a window into the nano-optical and electrodynamic response of their host material and its dielectric environment. An accurate simulation of SPPs presents several unique challenges, since SPPs often occur at complex interfaces between materials of different dielectric constants and appropriate boundary conditions at the graphene interfaces are crucial. Here we develop a simplified graphene model and propose a new finite element method accordingly. Stability for the continuous model is established, and extensive numerical results are presented to demonstrate that the new model can capture the SPPs very well for various complex graphene sheets.

math.NA

Intrinsic mixed finite element methods for linear Cosserat elasticity

We propose two parameter-robust mixed finite element methods for linear Cosserat elasticity. The Cosserat coupling constant $μ_c$, connecting the displacement $u$ and rotation vector $ω$, leads to possible locking phenomena in finite element methods. The formal limit of $μ_c\to\infty$ enforces the constraint $\frac{1}{2}\operatorname{curl} u = ω$ and leads to the fourth-order couple stress problem. Viewing the linear Cosserat model as the Hodge-Laplacian problem of a twisted de~Rham complex, we derive structure-preserving distributional finite element spaces, where the limit constraint is fulfilled in the discrete setting. Applying the mass conserving mixed stress (MCS) method for the rotations, the resulting scheme is robust in $μ_c$. Combining it with the tangential-displacement normal-normal-stress (TDNNS) method for the displacement part, we obtain additional robustness in the nearly incompressible regime and for anisotropic structures. Using a post-processing scheme for the rotations, we prove optimal convergence rates independent of the Cosserat coupling constant $μ_c$. We demonstrate the performance of the proposed methods in several numerical benchmark examples.

math.NA

Guided modes of helical waveguides

This paper studies guided transverse scalar modes propagating through helically coiled waveguides. Modeling the modes as solutions of the Helmholtz equation within the three-dimensional (3D) waveguide geometry, a propagation ansatz transforms the mode-finding problem into a 3D quadratic eigenproblem. Through an untwisting map, the problem is shown to be equivalent to a 3D quadratic eigenproblem on a straightened configuration. Next, exploiting the constant torsion and curvature of the Frenet frame of a circular helix, the 3D eigenproblem is further reduced to a two-dimensional (2D) eigenproblem on the waveguide cross section. All three eigenproblems are numerically treated. As expected, significant computational savings are realized in the 2D model. A few nontrivial numerical techniques are needed to make the computation of modes within the 3D geometry feasible. They are presented along with a procedure to effectively filter out unwanted non-propagating eigenfunctions. Computational results show that the geometric effect of coiling is to shift the localization of guided modes away from the coiling center. The variations in modes as coiling pitch is changed are reported considering the example of a coiled optical fiber.

physics.optics

Direct coupling of continuum and shell elements in large deformation problems

In many applications, thin shell-like structures are integrated within or attached to volumetric bodies. This includes reinforcements placed in soft matrix material in lightweight structure design, or hollow structures that are partially or completely filled. Finite element simulations of such setups are highly challenging. A brute force discretization of structural as well as volumetric parts using well-shaped three-dimensional elements may be accurate, but leads to problems of enormous computational complexity even for simple models. One desired alternative is the use of shell elements for thin-walled parts, as such a discretization greatly alleviates size restrictions on the underlying finite element mesh. However, the coupling of different formulations within a single framework is often not straightforward and may lead to locking if not done carefully. Neunteufel and Schöberl proposed a mixed shell element where, apart from displacements of the center surface, bending moments are used as independent unknowns. These elements were not only shown to be locking free and highly accurate in large-deformation regime, but also do not require differentiability of the shell surface. They can directly be coupled to classical volume elements of arbitrary order by sharing displacement degrees of freedom at the center surface, thus achieving the desired coupled discretization. As the elements can be used on unstructured meshes, adaptive mesh refinement based on local stress and bending moments can be used. We present computational results that confirm exceptional accuracy for problems where thin-walled structures are embedded as reinforcements within soft matrix material.

math.NA

Formulae and transformations for simplicial tensorial finite elements via polytopal templates

We introduce a unified method for constructing the basis functions of a wide variety of partially continuous tensor-valued finite elements on simplices using polytopal templates. These finite element spaces are essential for achieving well-posed discretisations of mixed formulations of partial differential equations that involve tensor-valued functions, such as the Hellinger-Reissner formulation of linear elasticity. In our proposed polytopal template method, the basis functions are constructed from template tensors associated with the geometric polytopes (vertices, edges, faces etc.) of the reference simplex and any scalar-valued $H^1$-conforming finite element space. From this starting point we can construct the Regge, Hellan-Herrmann-Johnson, Pechstein-Schöberl, Hu-Zhang, Hu-Ma-Sun and Gopalakrishnan-Lederer-Schöberl elements. Because the Hu-Zhang element and the Hu-Ma-Sun element cannot be mapped from the reference simplex to a physical simplex via standard double Piola mappings, we also demonstrate that the polytopal template tensors can be used to define a consistent mapping from a reference simplex even to a non-affine simplex in the physical mesh. Finally, we discuss the implications of element regularity with two numerical examples for the Reissner-Mindlin plate problem.

math.NA

On the improved convergence of lifted distributional Gauss curvature from Regge elements

Although Regge finite element functions are not continuous, useful generalizations of nonlinear derivatives like the curvature, can be defined using them. This paper is devoted to studying the convergence of the finite element lifting of a generalized (distributional) Gauss curvature defined using a metric tensor approximation in the Regge finite element space. Specifically, we investigate the interplay between the polynomial degree of the curvature lifting by Lagrange elements and the degree of the metric tensor in the Regge finite element space. Previously, a superconvergence result, where convergence rate of one order higher than expected, was obtained when the approximate metric is the canonical Regge interpolant of the exact metric. In this work, we show that an even higher order can be obtained if the degree of the curvature lifting is reduced by one polynomial degree and if at least linear Regge elements are used. These improved convergence rates are confirmed by numerical examples.

math.NA

Novel $H^\mathrm{dev}(\mathrm{Curl})$-conforming elements on regular triangulations and Clough--Tocher splits for the planar relaxed micromorphic model

In this work we present a consistent reduction of the relaxed micromorphic model to its corresponding two-dimensional planar model, such that its capacity to capture discontinuous dilatation fields is preserved. As a direct consequence of our approach, new conforming finite elements for $H^\mathrm{dev}(\mathrm{Curl},A)$ become necessary. We present two novel $H^\mathrm{dev}(\mathrm{Curl},A)$-conforming finite element spaces, of which one is a macro element based on Clough--Tocher splits, as well as primal and mixed variational formulations of the planar relaxed micromorphic model. Finally, we demonstrate the effectiveness of our approach with two numerical examples.

math.NA

The Hellan-Herrmann-Johnson and TDNNS method for linear and nonlinear shells

In this paper we extend the recently introduced mixed Hellan-Herrmann-Johnson (HHJ) method for nonlinear Koiter shells to nonlinear Naghdi shells by means of a hierarchical approach. The additional shearing degrees of freedom are discretized by H(curl)-conforming Nédélec finite elements entailing a shear locking free method. By linearizing the models we obtain in the small strain regime linear Kirchhoff-Love and Reissner-Mindlin shell formulations, which reduce for plates to the originally proposed HHJ and TDNNS method for Kirchhoff-Love and Reissner-Mindlin plates, respectively. By using the Regge interpolation operator we obtain locking-free arbitrary order shell methods. Additionally, the methods can be directly applied to structures with kinks and branched shells. Several numerical examples and experiments are performed validating the excellence performance of the proposed shell elements.

math.NA

Finite element approximation of the Einstein tensor

We construct and analyze finite element approximations of the Einstein tensor in dimension $N \ge 3$. We focus on the setting where a smooth Riemannian metric tensor $g$ on a polyhedral domain $Ω\subset \mathbb{R}^N$ has been approximated by a piecewise polynomial metric $g_h$ on a simplicial triangulation $\mathcal{T}$ of $Ω$ having maximum element diameter $h$. We assume that $g_h$ possesses single-valued tangential-tangential components on every codimension-1 simplex in $\mathcal{T}$. Such a metric is not classically differentiable in general, but it turns out that one can still attribute meaning to its Einstein curvature in a distributional sense. We study the convergence of the distributional Einstein curvature of $g_h$ to the Einstein curvature of $g$ under refinement of the triangulation. We show that in the $H^{-2}(Ω)$-norm, this convergence takes place at a rate of $O(h^{r+1})$ when $g_h$ is an optimal-order interpolant of $g$ that is piecewise polynomial of degree $r \ge 1$. We provide numerical evidence to support this claim.

math.NA

Novel $H(\mathrm{sym} \mathrm{Curl})$-conforming finite elements for the relaxed micromorphic sequence

In this work we construct novel $H(\mathrm{sym} \mathrm{Curl})$-conforming finite elements for the recently introduced relaxed micromorphic sequence, which can be considered as the completion of the $\mathrm{div} \mathrm{Div}$-sequence with respect to the $H(\mathrm{sym} \mathrm{Curl})$-space. The elements respect $H(\mathrm{Curl})$-regularity and their lowest order versions converge optimally for $[H(\mathrm{sym} \mathrm{Curl}) \setminus H(\mathrm{Curl})]$-fields. This work introduces a detailed construction, proofs of linear independence and conformity of the basis, and numerical examples. Further, we demonstrate an application to the computation of metamaterials with the relaxed micromorphic model.

math.NA

Hierarchical confusion matrix for classification performance evaluation

In this work we propose a novel concept of a hierarchical confusion matrix, opening the door for popular confusion matrix based (flat) evaluation measures from binary classification problems, while considering the peculiarities of hierarchical classification problems. We develop the concept to a generalized form and prove its applicability to all types of hierarchical classification problems including directed acyclic graphs, multi path labelling, and non mandatory leaf node prediction. Finally, we use measures based on the novel confusion matrix to evaluate models within a benchmark for three real world hierarchical classification applications and compare the results to established evaluation measures. The results outline the reasonability of this approach and its usefulness to evaluate hierarchical classification problems. The implementation of hierarchical confusion matrix is available on GitHub.

cs.LG

A Reissner-Mindlin plate formulation using symmetric Hu-Zhang elements via polytopal transformations

In this work we develop new finite element discretisations of the shear-deformable Reissner--Mindlin plate problem based on the Hellinger-Reissner principle of symmetric stresses. Specifically, we use conforming Hu-Zhang elements to discretise the bending moments in the space of symmetric square integrable fields with a square integrable divergence $\boldsymbol{M} \in \mathcal{HZ} \subset H^{\mathrm{sym}}(\mathrm{Div})$. The latter results in highly accurate approximations of the bending moments $\boldsymbol{M}$ and in the rotation field being in the discontinuous Lebesgue space $\boldsymbolϕ \in [L]^2$, such that the Kirchhoff-Love constraint can be satisfied for $t \to 0$. In order to preserve optimal convergence rates across all variables for the case $t \to 0$, we present an extension of the formulation using Raviart-Thomas elements for the shear stress $\mathbf{q} \in \mathcal{RT} \subset H(\mathrm{div})$. We prove existence and uniqueness in the continuous setting and rely on exact complexes for inheritance of well-posedness in the discrete setting. This work introduces an efficient construction of the Hu-Zhang base functions on the reference element via the polytopal template methodology and Legendre polynomials, making it applicable to hp-FEM. The base functions on the reference element are then mapped to the physical element using novel polytopal transformations, which are suitable also for curved geometries. The robustness of the formulations and the construction of the Hu-Zhang element are tested for shear-locking, curved geometries and an L-shaped domain with a singularity in the bending moments $\boldsymbol{M}$. Further, we compare the performance of the novel formulations with the primal-, MITC- and recently introduced TDNNS methods.

math.NA

Finite element approximation of scalar curvature in arbitrary dimension

We analyze finite element discretizations of scalar curvature in dimension $N \ge 2$. Our analysis focuses on piecewise polynomial interpolants of a smooth Riemannian metric $g$ on a simplicial triangulation of a polyhedral domain $Ω\subset \mathbb{R}^N$ having maximum element diameter $h$. We show that if such an interpolant $g_h$ has polynomial degree $r \ge 0$ and possesses single-valued tangential-tangential components on codimension-1 simplices, then it admits a natural notion of (densitized) scalar curvature that converges in the $H^{-2}(Ω)$-norm to the (densitized) scalar curvature of $g$ at a rate of $O(h^{r+1})$ as $h \to 0$, provided that either $N = 2$ or $r \ge 1$. As a special case, our result implies the convergence in $H^{-2}(Ω)$ of the widely used "angle defect" approximation of Gaussian curvature on two-dimensional triangulations, without stringent assumptions on the interpolated metric $g_h$. We present numerical experiments that indicate that our analytical estimates are sharp.

math.NA

Analysis of curvature approximations via covariant curl and incompatibility for Regge metrics

The metric tensor of a Riemannian manifold can be approximated using Regge finite elements and such approximations can be used to compute approximations to the Gauss curvature and the Levi-Civita connection of the manifold. It is shown that certain Regge approximations yield curvature and connection approximations that converge at a higher rate than previously known. The analysis is based on covariant (distributional) curl and incompatibility operators which can be applied to piecewise smooth matrix fields whose tangential-tangential component is continuous across element interfaces. Using the properties of the canonical interpolant of the Regge space, we obtain superconvergence of approximations of these covariant operators. Numerical experiments further illustrate the results from the error analysis.

math.NA

Numerical shape optimization of the Canham-Helfrich-Evans bending energy

In this paper we propose a novel numerical scheme for the Canham-Helfrich-Evans bending energy based on a three-field lifting procedure of the distributional shape operator to an auxiliary mean curvature field. Together with its energetic conjugate scalar stress field as Lagrange multiplier the resulting fourth order problem is circumvented and reduced to a mixed saddle point problem involving only second order differential operators. Further, we derive its analytical first variation (also called first shape derivative), which is valid for arbitrary polynomial order, and discuss how the arising shape derivatives can be computed automatically in the finite element software NGSolve. We finish the paper with several numerical simulations showing the pertinence of the proposed scheme and method.

math.NA