arXiv subjects

Mathias Anselmann

Publications and source records attributed to Mathias Anselmann.

12 recordsLinked to original sources

arXiv2025

Optimal pressure approximation for the nonstationary Stokes problem by a variational method in time with post-processing

We provide an error analysis for the solution of the nonstationary Stokes problem by a variational method in space and time. We use finite elements of higher order for the approximation in space and a Galerkin-Petrov method with first order polynomials for the approximation in time. We require global continuity of the discrete velocity trajectory in time, while allowing the discrete pressure trajectory to be discontinuous at the endpoints of the time intervals. We show existence and uniqueness of the discrete velocity solution, characterize the set of all discrete pressure solutions and prove an optimal second order estimate in time for the pressure error in the midpoints of the time intervals. The key result and innovation is the construction of approximations to the pressure trajectory by means of post-processing together with the proof of optimal order error estimates. We propose two variants for a post-processed pressure within the set of pressure solutions based on collocation techniques or interpolation. Both variants guarantee that the pressure error measured in the L2-norm converges with optimal second order in time and optimal order in space. For the discrete velocity solution, we prove error estimates of optimal order in time and space. We present some numerical tests to support our theoretical results.

math.NA↗

arXiv2024

Optimal order FEM for dynamic poroelasticity: Error analysis for equal order elements

The numerical approximation of dynamic poroelasticity, modeling flow in deformable porous media, by a family of continuous space-time finite element methods is investigated. Equal order approximation in space without any further stabilization is used for the displacement and pore pressure variable. Optimal order $L^\infty(L^2)$ error estimates are proved and numerically confirmed.

math.NA↗

arXiv2023

Benchmark computations of dynamic poroelasticity

We present benchmark computations of dynamic poroelasticity modeling fluid flow in deformable porous media by a coupled hyperbolic-parabolic system of partial differential equations. A challenging benchmark setting and goal quantities of physical interest for this problem are proposed. Computations performed by space-time finite element approximations with continuous and discontinuous discretizations of the time variable are summarized. By this work we intend to stimulate comparative studies by other research groups for the evaluation of dynamic poroelasticity solver regarding the accuracy of discretization techniques, the efficiency and robustness of iterative methods for the linear systems and the arrangement of the model equations in terms of their variables (two-field or multi-field formulations).

math.NA↗

arXiv2023

An energy-efficient GMRES-Multigrid solver for space-time finite element computation of dynamic poro- and thermoelasticity

We present families of space-time finite element methods (STFEMs) for a coupled hyperbolic-parabolic system of poro- or thermoelasticity. Well-posedness of the discrete problems is proved. Higher order approximations inheriting most of the rich structure of solutions to the continuous problem on computationally feasible grids are naturally embedded. However, the block structure and solution of the algebraic systems become increasingly complex for these members of the families. We present and analyze a robust geometric multigrid (GMG) preconditioner for GMRES iterations. The GMG method uses a local Vanka-type smoother. Its action is defined in an exact mathematical way. Due to nonlocal coupling mechanisms of unknowns, the smoother is applied on patches of elements. This ensures the damping of error frequencies. In a sequence of numerical experiments, including a challenging three-dimensional benchmark of practical interest, the efficiency of the solver for STFEMs is illustrated and confirmed. Its parallel scalability is analyzed. Beyond this study of classical performance engineering, the solver's energy efficiency is investigated as an additional and emerging dimension in the design and tuning of algorithms and their implementation on the hardware.

math.NA↗

arXiv2022

Efficiency of local Vanka smoother geometric multigrid preconditioning for space-time finite element methods to the Navier-Stokes equations

Numerical simulation of incompressible viscous flow, in particular in three space dimensions, continues to remain a challenging task. Space-time finite element methods feature the natural construction of higher order discretization schemes. They offer the potential to achieve accurate results on computationally feasible grids. Linearizing the resulting algebraic problems by Newton's method yields linear systems with block matrices built of $(k+1)\times (k+1)$ saddle point systems, where $k$ denotes the polynomial order of the variational time discretization. We demonstrate numerically the efficiency of preconditioning GMRES iterations for solving these linear systems by a $V$-cycle geometric multigrid approach based on a local Vanka smoother. The studies are done for the two- and three-dimensional benchmark problem of flow around a cylinder. Here, the robustness of the solver with respect to the piecewise polynomial order $k$ in time is analyzed and proved numerically.

math.NA↗

arXiv2022

Convergence of a continuous Galerkin method for hyperbolic-parabolic systems

We study the numerical approximation by space-time finite element methods of a multi-physics system coupling hyperbolic elastodynamics with parabolic transport and modeling poro- and thermoelasticity. The equations are rewritten as a first-order system in time. Discretizations by continuous Galerkin methods in time and inf-sup stable pairs of finite element spaces for the spatial variables are investigated. Optimal order error estimates are proved by an analysis in weighted norms that depict the energy of the system's unknowns. A further important ingredient and challenge of the analysis is the control of the couplings terms. The techniques developed here can be generalized to other families of Galerkin space discretizations and advanced models. The error estimates are confirmed by numerical experiments, also for higher order piecewise polynomials in time and space. The latter lead to algebraic systems with complex block structure and put a facet of challenge on the design of iterative solvers. An efficient solution technique is referenced.

math.NA↗

arXiv2021

A geometric multigrid method for space-time finite element discretizations of the Navier-Stokes equations and its application to 3d flow simulation

We present a parallelized geometric multigrid (GMG) method, based on the cell-based Vanka smoother, for higher order space-time finite element methods (STFEM) to the incompressible Navier--Stokes equations. The STFEM is implemented as a time marching scheme. The GMG solver is applied as a preconditioner for GMRES iterations. Its performance properties are demonstrated for 2d and 3d benchmarks of flow around a cylinder. The key ingredients of the GMG approach are the construction of the local Vanka smoother over all degrees of freedom in time of the respective subinterval and its efficient application. For this, data structures that store pre-computed cell inverses of the Jacobian for all hierarchical levels and require only a reasonable amount of memory overhead are generated. The GMG method is built for the \emph{deal.II} finite element library. The concepts are flexible and can be transferred to similar software platforms.

math.NA↗

arXiv2021

Numerical convergence of discrete extensions in a space-time finite element, fictitious domain method for the Navier-Stokes equations

A key ingredient of our fictitious domain, higher order space-time cut finite element (CutFEM) approach for solving the incompressible Navier--Stokes equations on evolving domains (cf.\ \cite{Bause2021}) is the extension of the physical solution from the time-dependent flow domain $\Omega_f^t$ to the entire, time-independent computational domain $\Omega$. The extension is defined implicitly and, simultaneously, aims at stabilizing the discrete solution in the case of unavoidable irregular small cuts. Here, the convergence properties of the scheme are studied numerically for variations of the combined extension and stabilization.

math.NA↗

arXiv2021

CutFEM and ghost stabilization techniques for higher order space-time discretizations of the Navier-Stokes equations

We propose and analyze computationally a new fictitious domain method, based on higher order space-time finite element discretizations, for the simulation of the nonstationary, incompressible Navier-Stokes equations on evolving domains. The physical domain is embedded into a fixed computational mesh such that arbitrary intersections of the moving domain's boundaries with the background mesh occur. The potential of such cut finite element techniques for higher order space-time finite element methods has rarely been studied in the literature so far and deserves further elucidation. The key ingredients of the approach are the weak formulation of Dirichlet boundary conditions by Nitsche's method, the flexible and efficient integration over all types of intersections of cells by moving boundaries and the spatial extension of the discrete physical quantities to the entire computational background mesh including fictitious (ghost) subdomains of fluid flow. Thereby, an expensive remeshing and adaptation of the sparse matrix data structure are avoided and the computations are accelerated. To prevent spurious oscillations caused by irregular intersections of mesh cells, a penalization, defining also implicitly the extension to ghost domains, is added. These techniques are embedded in an arbitrary order, discontinuous Galerkin discretization of the time variable and an inf-sup stable discretization of the spatial variables. The parallel implementation of the matrix assembly is described. The optimal order convergence properties of the algorithm are illustrated in a numerical experiment for an evolving domain. The well-known 2d benchmark of flow around a cylinder as well as flow around moving obstacles with arising cut cells and fictitious domains are considered further.

math.NA↗

arXiv2019

Higher order Galerkin-collocation time discretization with Nitsche's method for the Navier-Stokes equations

We propose and study numerically the implicit approximation in time of the Navier-Stokes equations by a Galerkin-collocation method in time combined with inf-sup stable finite element methods in space. The conceptual basis of the Galerkin-collocation approach is the establishment of a direct connection between the Galerkin method and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs in terms of less complex algebraic systems of the latter. Regularity of higher order in time of the discrete solution is ensured further. As an additional ingredient, we employ Nitsche's method to impose all boundary conditions in weak form with the perspective that evolving domains become feasible in the future. We carefully compare the performance poroperties of the Galerkin-collocation approach with a standard continuous Galerkin-Petrov method using piecewise linear polynomials in time, that is algebraically equivalent to the popular Crank-Nicholson scheme. The condition number of the arising linear systems after Newton linearization as well as the reliable approximation of the drag and lift coefficient for laminar flow around a cylinder (DFG flow benchmark with $Re=100$) are investigated. The superiority of the Galerkin-collocation approach over the linear in time, continuous Galerkin-Petrov method is demonstrated therein.

math.NA↗

arXiv2019

Galerkin-collocation approximation in time for the wave equation and its post-processing

We introduce and analyze a class of Galerkin-collocation discretization schemes in time for the wave equation. Its conceptual basis is the establishment of a direct connection between the Galerkin method for the time discretization and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs provided by the latter in terms of less complex linear algebraic systems. Continuously differentiable in time discrete solutions are obtained by the application of a special quadrature rule involving derivatives. Optimal order error estimates are proved for fully discrete approximations based on the Galerkin-collocation approach. Further, the concept of Galerkin-collocation approximation is extended to twice continuously differentiable in time discrete solutions. A direct connection between the two families by a computationally cheap post-processing is presented. The error estimates are illustrated by numerical experiments.

math.NA↗

arXiv2019

Numerical study of Galerkin-collocation approximation in time for the wave equation

The elucidation of many physical problems in science and engineering is subject to the accurate numerical modelling of complex wave propagation phenomena. Over the last decades, high-order numerical approximation for partial differential equations has become a well-established tool. Here we propose and study numerically the implicit approximation in time of wave equations by a Galerkin--collocation approach that relies on a higher order space-time finite element approach. The conceptual basis is the establishment of a direct connection between the Galerkin method for the time discretization and the classical collocation methods, with the perspective of achieving the accuracy of the former with reduced computational costs provided by the latter in terms of less complex linear algebraic systems. For the fully discrete solution, higher order regularity in time is further ensured which can be advantageous in the discretization of multi-physics systems. The accuracy and efficiency of the variational collocation approach is carefully studied by numerical experiments.

math.NA↗