arXiv Science⌕ Search

arXiv subjects

Tabea Tscherpel

Publications and source records attributed to Tabea Tscherpel.

16 recordsLinked to original sources
arXiv2026

Construction of trace-preserving Fortin operators

We present a unifying framework to construct local Fortin operators for conforming mixed finite element pairs for the Stokes equations. The operators are constructed to satisfy the divergence-preservation property, local stability and approximation properties, and certain trace-preservation properties. For the latter, some of the finite element pairs require an enrichment of the velocity space. We present the construction for the $P_d-P_0$ element, the Bernardi-Raugel element, the conforming Crouzeix-Raviart element, a modified MINI element and generalised Taylor-Hood elements. Furthermore, we discuss implications of the existence of such a Fortin operator beyond inf-sup stability. These include applications to non-Newtonian fluid flow, problems with inhomogeneous Dirichlet boundary conditions, as well as uniform inf-sup stability relevant for domain approximation and moving domains.

math.NA↗
arXiv2026

Sobolev stability of the $L^2$-projection on hybrid meshes

We establish $L^p$- and $W^{1,p}$-stability of the $L^2$-projection onto mapped Lagrange finite elements on hybrid meshes consisting of triangles and convex quadrilaterals arising from adaptive mesh refinement. If $K$ is the (tensor product) degree of polynomials of the discretisation, then we show, in particular, $W^{1,2}$-stability for all $K\geq 2$ for the Q-RG and Q-RB refinements. This extends results by Ali, Funken, and Schmidt (2022) which hold for the range $2 \leq K \leq 9$ for initial meshes consisting of parallelograms. Our proof relies on an extension of the technique by Diening, Storn and Tscherpel (2021) to general convex quadrilaterals.

math.NA↗
arXiv2026

Scott-Vogelius element and iterated penalty method for inhomogeneous Dirichlet boundary conditions

We present quasi-optimal a priori error estimates for general mixed finite element methods to approximate solutions of the Stokes problem subject to inhomogeneous Dirichlet boundary conditions. For the Scott--Vogelius element this yields pressure-robust a priori error stimates. Due to the exact divergence constraint, this requires a compatibility condition for the boundary data to hold. A key tool is a modified Fortin operator, capable of preserving this compatibility condition. Furthermore, we analyse the iterated penalty method, an Uzawa-type algorithm and we show its convergence and asymptotic pressure robustness. Numerical experiments support the theory and highlight the importance of the compatibility condition and the appropriate treatment of nearly singular vertices.

math.NA↗
arXiv2026

A local Fortin projection for the Scott-Vogelius elements on general meshes

We construct a local Fortin projection for the Scott-Vogelius finite element pair for polynomial degree $k \ge 4$ on general shape-regular triangulations in two dimensions. In particular, the triangulation may contain singular vertices. In addition to preserving the divergence in the dual of the pressure space, the projection preserves discrete boundary data and satisfies local stability estimates.

math.NA↗
arXiv2026

A Nitsche method for incompressible fluids with general dynamic boundary conditions

Both Newtonian and non-Newtonian fluids may exhibit complex slip behaviour at the boundary. We examine a broad class of slip boundary conditions that generalises the commonly used Navier slip, perfect slip, stick-slip and Tresca friction boundary conditions. In particular, set-valued, nonmonotone, noncoercive and dynamic relations may occur. For a unifying framework of such relations, we present a fully discrete numerical scheme for the time-dependent Navier-Stokes equations subject to impermeability and general slip-type boundary conditions on polyhedral domains. Based on compactness arguments, we prove convergence of subsequences, finally ensuring the existence of a weak solution. The numerical scheme uses a general inf-sup stable pair of finite element spaces for the velocity and pressure, a regularisation approach for the implicit slip boundary condition and, most importantly, a general Nitsche method to impose the impermeability and a backward Euler time stepping. One of the key tools in the convergence proof is an inhomogeneous Korn inequality that includes a normal trace term.

math.NA↗
arXiv2025

On Korn inequalities with lower order trace terms

We give an elementary estimate that entails and generalises numerous Korn inequalities scattered in the literature. As special instances, we obtain general Korn-type inequalities involving normal or tangential trace components, or lower dimensional trace integrals.

math.AP↗
arXiv2025

A posteriori existence of strong solutions to the Navier-Stokes equations in 3D

Global existence of strong solutions to the three-dimensional incompressible Navier-Stokes equations remains an open problem. A posteriori existence results offer a way to rigorously verify the existence of strong solutions by ruling out blow-up on a certain time interval, using only numerical solutions. In this work we present such a result for the Navier-Stokes equations subject to periodic boundary conditions, which makes use of a version of the celebrated blow-up criterion in the critical space $L^\infty(L^3)$ by Iskauriaza, Serëgin and Shverak (2003). Our approach is based on a conditional stability estimate in $L^2$ and $L^3$. The a posteriori criterion that, if satisfied, verifies existence of strong solutions, involves only negative Sobolev norms of the residual. We apply the criterion to numerical approximations computed with mixed finite elements and an implicit Euler time discretisation. A posteriori error estimates allow us to derive a fully computable criterion without imposing any extra assumptions on the solution. While limited to short time intervals, with sufficient computational resources in principle the criterion might allow for a verification over longer time intervals than what can be achieved by theoretical means.

math.NA↗
arXiv2024

Energy-consistent Petrov-Galerkin time discretization of port-Hamiltonian systems

For a general class of nonlinear port-Hamiltonian systems we develop a high-order time discretization scheme with certain structure preservation properties. The finite or infinite-dimensional system under consideration possesses a Hamiltonian function, which represents an energy in the system and is conserved or dissipated along solutions. For infinite-dimensional systems this structure is preserved under suitable Galerkin discretization in space. The numerical scheme is energy-consistent in the sense that the Hamiltonian of the approximate solutions at time grid points behaves accordingly. This structure preservation property is achieved by specific design of a continuous Petrov-Galerkin (cPG) method in time. It coincides with standard cPG methods in special cases, in which the latter are energy-consistent. Examples of port-Hamiltonian ODEs and PDEs are presented to visualize the framework. In numerical experiments the energy consistency is verified and the convergence behavior is investigated.

math.NA↗
arXiv2024

Dimensions of exactly divergence-free finite element spaces in 3D

We examine the dimensions of various inf-sup stable mixed finite element spaces on tetrahedral meshes in 3D with exact divergence constraints. More precisely, we compare the standard Scott-Vogelius elements of higher polynomial degree and low order methods on split meshes, the Alfeld and the Worsey-Farin split. The main tool is a counting strategy to express the degrees of freedom for given polynomial degree and given split in terms of few mesh quantities, for which bounds and asymptotic behavior under mesh refinement is investigated. Furthermore, this is used to obtain insights on potential precursor spaces in full de Rham complexes for finite element methods on the Worsey-Farin split.

math.NA↗
arXiv2023

Grading of Triangulations Generated by Bisection

For triangulations generated by the adaptive bisection algorithm by Maubach and Traxler we prove existence of a regularized mesh function with grading two. This sharpens previous results in two dimensions for the newest vertex bisection and generalizes them to arbitrary dimensions. In combination with Diening et al. (2021) this yields $H^1$-stability of the $L^2$-projection onto Lagrange finite element spaces for all polynomial degrees and dimensions smaller than seven.

math.NA↗
arXiv2022

Interpolation Operator on negative Sobolev Spaces

We introduce a Scott--Zhang type projection operator mapping to Lagrange elements for arbitrary polynomial order. In addition to the usual properties, this operator is compatible with duals of first order Sobolev spaces. More specifically, it is stable in the corresponding negative norms and allows for optimal rates of convergence. We discuss alternative operators with similar properties. As applications of the operator we prove interpolation error estimates for parabolic problems and smoothen rough right-hand sides in a least squares finite element method.

math.NA↗
arXiv2022

A class of boundary conditions for time-discrete Green-Naghdi equations with bathymetry

This work is devoted to the structure of the time-discrete Green-Naghdi equations including bathymetry. We use the projection structure of the equations to characterize homogeneous and inhomogeneous boundary conditions for which the semi-discrete equations are well-posed. This structure allows us to propose efficient and robust numerical treatment of the boundary conditions that ensures entropy stability of the scheme by construction. Numerical evidence is provided to illustrate that our approach is suitable for situations of practical interest that are not covered by existing theory.

math.NA↗
arXiv2021

On the Sobolev and $L^p$-Stability of the $L^2$-projection

We show stability of the $L^2$-projection onto Lagrange finite element spaces with respect to (weighted) $L^p$ and $W^{1,p}$-norms for any polynomial degree and for any space dimension under suitable conditions on the mesh grading. This includes $W^{1,2}$-stability in two space dimensions for any polynomial degree and meshes generated by newest vertex bisection. Under realistic but conjectured assumptions on the mesh grading in three dimensions we show $W^{1,2}$-stability for all polynomial degrees. We also propose a modified bisection strategy that leads to better $W^{1,p}$-stability. Moreover, we investigate the stability of the $L^2$-projection onto Crouzeix-Raviart elements.

math.NA↗
arXiv2021

Fortin Operator for the Taylor-Hood Element

We design a Fortin operator for the lowest-order Taylor-Hood element in any dimension, which was previously constructed only in 2D. In the construction we use tangential edge bubble functions for the divergence correcting operator. This naturally leads to an alternative inf-sup stable reduced finite element pair. Furthermore, we provide a counterexample to the inf-sup stability and hence to existence of a Fortin operator for the $P_2$-$P_0$ and the augmented Taylor-Hood element in 3D.

math.NA↗
arXiv2018

Fully discrete finite element approximation of unsteady flows of implicitly constituted incompressible fluids

Implicit constitutive theory provides a very general framework for fluid flow models, including both Newtonian and generalized Newtonian fluids, where the Cauchy stress tensor and the rate of strain tensor are assumed to be related by an implicit relation associated with a maximal monotone graph. For incompressible unsteady flows of such fluids, subject to a homogeneous Dirichlet boundary condition on a Lipschitz polytopal domain $Ω\subset \mathbb{R}^d$, $d \in \{2,3\}$, we investigate a fully-discrete approximation scheme, using a spatial mixed finite element approximation combined with backward Euler time-stepping. We show convergence of a subsequence of approximate solutions, when the velocity field belongs to the space of solenoidal functions contained in $L^\infty(0,T;L^2(Ω)^d)\cap L^q(0,T;W^{1,q}_0(Ω)^d)$, provided that $q\in \big(\frac{2d}{d+2},\infty\big)$, which is the maximal range for $q$ with respect to existence of weak solutions. This is achieved by a technique based on splitting and regularizing, the use of a solenoidal parabolic Lipschitz truncation method, a local Minty-type monotonicity result, and various weak compactness results.

math.NA↗