-
Sparsity comparison of polytopal finite element methods
Authors:
Christoph Lehrenfeld,
Paul Stocker,
Maximilian Zienecker
Abstract:
In this work we compare crucial parameters for efficiency of different finite element methods for solving partial differential equations (PDEs) on polytopal meshes. We consider the Virtual Element Method (VEM) and different Discontinuous Galerkin (DG) methods, namely the Hybrid DG and Trefftz DG methods. The VEM is a conforming method, that can be seen as a generalization of the classic finite ele…
▽ More
In this work we compare crucial parameters for efficiency of different finite element methods for solving partial differential equations (PDEs) on polytopal meshes. We consider the Virtual Element Method (VEM) and different Discontinuous Galerkin (DG) methods, namely the Hybrid DG and Trefftz DG methods. The VEM is a conforming method, that can be seen as a generalization of the classic finite element method to arbitrary polytopal meshes. DG methods are non-conforming methods that offer high flexibility, but also come with high computational costs. Hybridization reduces these costs by introducing additional facet variables, onto which the computational costs can be transfered to. Trefftz DG methods achieve a similar reduction in complexity by selecting a special and smaller set of basis functions on each element. The association of computational costs to different geometrical entities (elements or facets) leads to differences in the performance of these methods on different grid types. This paper aims to compare the dependency of these approaches across different grid configurations.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
LiveDocs: Crafting Interactive Development Environments From Research Findings
Authors:
Pedro Costa Klein,
Christoph Lehrenfeld,
Markus Osterhoff,
Martin Uecker
Abstract:
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 -…
▽ More
Open Science is a recurrent topic in scientific discussion, and there is a current effort to make research more accessible to a broader audience. A focus on delivering research findings that are reproducible, or even re-usable has been proposed as one way of achieving such accessibility goals. In this work, we present the LiveDocs initiative, an effort of the ``Collaborative Research Center 1456 - Mathematics of Experiment'' on tackling common issues of reproducibility and re-usability in scientific publications. The LiveDocs initiative is proposed as a concept alongside a collection of methods that enable scientists to provide research findings under an interactive development environment. This environment allows users from a broader audience to easily reproduce research findings by re-running scripts, for instance, those that generate figures, tables, and other elements from scientific publications. Moreover, LiveDocs also allow the audience to interact with code and data in such environments, thus allowing users to explore algorithms, datasets and software interfaces. This directly lowers the barriers to access and comprehend research methods and findings, which facilitates more scientific exchange and fosters knowledge advancement.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Geometrically Higher Order Unfitted Space-Time Methods for PDEs on Moving Domains: Geometry Error Analysis
Authors:
Fabian Heimann,
Christoph Lehrenfeld
Abstract:
In [Heimann, Lehrenfeld, Preuß, SIAM J. Sci. Comp. 45(2), 2023, B139 - B165] new geometrically unfitted space-time Finite Element methods for partial differential equations posed on moving domains of higher-order accuracy in space and time have been introduced. For geometrically higher-order accuracy a parametric map** on a background space-time tensor-product mesh has been used. In this paper,…
▽ More
In [Heimann, Lehrenfeld, Preuß, SIAM J. Sci. Comp. 45(2), 2023, B139 - B165] new geometrically unfitted space-time Finite Element methods for partial differential equations posed on moving domains of higher-order accuracy in space and time have been introduced. For geometrically higher-order accuracy a parametric map** on a background space-time tensor-product mesh has been used. In this paper, we concentrate on the geometrical accuracy of the approximation and derive rigorous bounds for the distance between the realized and an ideal map** in different norms and derive results for the space-time regularity of the parametric map**. These results are important and lay the ground for the error analysis of corresponding unfitted space-time finite element methods.
△ Less
Submitted 22 January, 2024; v1 submitted 4 November, 2023;
originally announced November 2023.
-
Trefftz Discontinuous Galerkin discretization for the Stokes problem
Authors:
Philip L. Lederer,
Christoph Lehrenfeld,
Paul Stocker
Abstract:
We introduce a new discretization based on the Trefftz-DG method for solving the Stokes equations. Discrete solutions of a corresponding method fulfill the Stokes equation pointwise within each element and yield element-wise divergence-free solutions. Compared to standard DG methods, a strong reduction of the degrees of freedom is achieved, especially for higher order polynomial degrees. In additi…
▽ More
We introduce a new discretization based on the Trefftz-DG method for solving the Stokes equations. Discrete solutions of a corresponding method fulfill the Stokes equation pointwise within each element and yield element-wise divergence-free solutions. Compared to standard DG methods, a strong reduction of the degrees of freedom is achieved, especially for higher order polynomial degrees. In addition, in contrast to many other Trefftz-DG methods, our approach allows to easily incorporate inhomogeneous right hand sides (driving forces) by using the concept of the embedded Trefftz-DG method. On top of a detailed a priori error analysis, we further compare our approach to standard discontinuous Galerkin Stokes discretizations and present numerical examples.
△ Less
Submitted 17 January, 2024; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Analysis of divergence-preserving unfitted finite element methods for the mixed Poisson problem
Authors:
Christoph Lehrenfeld,
Tim van Beeck,
Igor Voulis
Abstract:
In this paper we present a new H(div)-conforming unfitted finite element method for the mixed Poisson problem which is robust in the cut configuration and preserves conservation properties of body-fitted finite element methods. The key is to formulate the divergence-constraint on the active mesh, instead of the physical domain, in order to obtain robustness with respect to cut configurations witho…
▽ More
In this paper we present a new H(div)-conforming unfitted finite element method for the mixed Poisson problem which is robust in the cut configuration and preserves conservation properties of body-fitted finite element methods. The key is to formulate the divergence-constraint on the active mesh, instead of the physical domain, in order to obtain robustness with respect to cut configurations without the need for a stabilization that pollutes the mass balance. This change in the formulation results in a slight inconsistency, but does not affect the accuracy of the flux variable. By applying post-processings for the scalar variable, in virtue of classical local post-processings in body-fitted methods, we retain optimal convergence rates for both variables and even the superconvergence after post-processing of the scalar variable. We present the method and perform a rigorous a-priori error analysis of the method and discuss several variants and extensions. Numerical experiments confirm the theoretical results.
△ Less
Submitted 5 April, 2024; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Unfitted Trefftz discontinuous Galerkin methods for elliptic boundary value problems
Authors:
Fabian Heimann,
Christoph Lehrenfeld,
Paul Stocker,
Henry von Wahl
Abstract:
We propose a new geometrically unfitted finite element method based on discontinuous Trefftz ansatz spaces. Trefftz methods allow for a reduction in the number of degrees of freedom in discontinuous Galerkin methods, thereby, the costs for solving arising linear systems significantly. This work shows that they are also an excellent way to reduce the number of degrees of freedom in an unfitted sett…
▽ More
We propose a new geometrically unfitted finite element method based on discontinuous Trefftz ansatz spaces. Trefftz methods allow for a reduction in the number of degrees of freedom in discontinuous Galerkin methods, thereby, the costs for solving arising linear systems significantly. This work shows that they are also an excellent way to reduce the number of degrees of freedom in an unfitted setting. We present a unified analysis of a class of geometrically unfitted discontinuous Galerkin methods with different stabilisation mechanisms to deal with small cuts between the geometry and the mesh. We cover stability and derive a-priori error bounds, including errors arising from geometry approximation for the class of discretisations for a model Poisson problem in a unified manner. The analysis covers Trefftz and full polynomial ansatz spaces, alike. Numerical examples validate the theoretical findings and demonstrate the potential of the approach.
△ Less
Submitted 9 June, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Research-Data Management Planning in the German Mathematical Community
Authors:
Tobias Boege,
René Fritze,
Christiane Görgen,
Jeroen Hanselman,
Dorothea Iglezakis,
Lars Kastner,
Thomas Koprucki,
Tabea Krause,
Christoph Lehrenfeld,
Silvia Polla,
Marco Reidelbach,
Christian Riedel,
Jens Saak,
Björn Schembera,
Karsten Tabelow,
Marcus Weber
Abstract:
In this paper we discuss the notion of research data for the field of mathematics and report on the status quo of research-data management and planning. A number of decentralized approaches are presented and compared to needs and challenges faced in three use cases from different mathematical subdisciplines. We highlight the importance of tailoring research-data management plans to mathematicians'…
▽ More
In this paper we discuss the notion of research data for the field of mathematics and report on the status quo of research-data management and planning. A number of decentralized approaches are presented and compared to needs and challenges faced in three use cases from different mathematical subdisciplines. We highlight the importance of tailoring research-data management plans to mathematicians' research processes and discuss their usage all along the data life cycle.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
A new T-compatibility condition and its application to the discretization of the damped time-harmonic Galbrun's equation
Authors:
Martin Halla,
Christoph Lehrenfeld,
Paul Stocker
Abstract:
We consider the approximation of weakly T-coercive operators. The main property to ensure the convergence thereof is the regularity of the approximation (in the vocabulary of discrete approximation schemes). In a previous work the existence of discrete operators $T_n$ which converge to $T$ in a discrete norm was shown to be sufficient to obtain regularity. Although this framework proved usefull fo…
▽ More
We consider the approximation of weakly T-coercive operators. The main property to ensure the convergence thereof is the regularity of the approximation (in the vocabulary of discrete approximation schemes). In a previous work the existence of discrete operators $T_n$ which converge to $T$ in a discrete norm was shown to be sufficient to obtain regularity. Although this framework proved usefull for many applications for some instances the former assumption is too strong. Thus in the present article we report a weaker criterium for which the discrete operators $T_n$ only have to converge point-wise, but in addition a weak T-coercivity condition has to be satisfied on the discrete level. We apply the new framework to prove the convergence of certain $H^1$-conforming finite element discretizations of the damped time-harmonic Galbrun's equation, which is used to model the oscillations of stars. A main ingredient in the latter analysis is the uniformly stable invertibility of the divergence operator on certain spaces, which is related to the topic of divergence free elements for the Stokes equation.
△ Less
Submitted 7 December, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Robust finite element discretizations for a simplified Galbrun's equation
Authors:
Tilman Alemán,
Martin Halla,
Christoph Lehrenfeld,
Paul Stocker
Abstract:
Driven by the challenging task of finding robust discretization methods for Galbrun's equation, we investigate conditions for stability and different aspects of robustness for different finite element schemes on a simplified version of the equations. The considered PDE is a second order indefinite vector-PDE which remains if only the highest order terms of Galbrun's equation are taken into account…
▽ More
Driven by the challenging task of finding robust discretization methods for Galbrun's equation, we investigate conditions for stability and different aspects of robustness for different finite element schemes on a simplified version of the equations. The considered PDE is a second order indefinite vector-PDE which remains if only the highest order terms of Galbrun's equation are taken into account. A key property for stability is a Helmholtz-type decomposition which results in a strong connection between stable discretizations for Galbrun's equation and Stokes and nearly incompressible linear elasticity problems.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Geometrically Higher Order Unfitted Space-Time Methods for PDEs on Moving Domains
Authors:
Fabian Heimann,
Christoph Lehrenfeld,
Janosch Preuß
Abstract:
In this paper, we propose new geometrically unfitted space-time Finite Element methods for partial differential equations posed on moving domains of higher order accuracy in space and time. As a model problem, the convection-diffusion problem on a moving domain is studied. For geometrically higher order accuracy, we apply a parametric map** on a background space-time tensor-product mesh. Concern…
▽ More
In this paper, we propose new geometrically unfitted space-time Finite Element methods for partial differential equations posed on moving domains of higher order accuracy in space and time. As a model problem, the convection-diffusion problem on a moving domain is studied. For geometrically higher order accuracy, we apply a parametric map** on a background space-time tensor-product mesh. Concerning discretisation in time, we consider discontinuous Galerkin, as well as related continuous (Petrov-)Galerkin and Galerkin collocation methods. For stabilisation with respect to bad cut configurations and as an extension mechanism that is required for the latter two schemes, a ghost penalty stabilisation is employed. The article puts an emphasis on the techniques that allow to achieve a robust but higher order geometry handling for smooth domains. We investigate the computational properties of the respective methods in a series of numerical experiments. These include studies in different dimensions for different polynomial degrees in space and time, validating the higher order accuracy in both variables.
△ Less
Submitted 21 October, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Embedded Trefftz discontinuous Galerkin methods
Authors:
Christoph Lehrenfeld,
Paul Stocker
Abstract:
In Trefftz discontinuous Galerkin methods a partial differential equation is discretized using discontinuous shape functions that are chosen to be elementwise in the kernel of the corresponding differential operator. We propose a new variant, the embedded Trefftz discontinuous Galerkin method, which is the Galerkin projection of an underlying discontinuous Galerkin method onto a subspace of Trefft…
▽ More
In Trefftz discontinuous Galerkin methods a partial differential equation is discretized using discontinuous shape functions that are chosen to be elementwise in the kernel of the corresponding differential operator. We propose a new variant, the embedded Trefftz discontinuous Galerkin method, which is the Galerkin projection of an underlying discontinuous Galerkin method onto a subspace of Trefftz-type. The subspace can be described in a very general way and to obtain it no Trefftz functions have to be calculated explicitly, instead the corresponding embedding operator is constructed. In the simplest cases the method recovers established Trefftz discontinuous Galerkin methods. But the approach allows to conveniently extend to general cases, including inhomogeneous sources and non-constant coefficient differential operators. We introduce the method, discuss implementational aspects and explore its potential on a set of standard PDE problems. Compared to standard discontinuous Galerkin methods we observe a severe reduction of the globally coupled unknowns in all considered cases, reducing the corresponding computing time significantly. Moreover, for the Helmholtz problem we even observe an improved accuracy similar to Trefftz discontinuous Galerkin methods based on plane waves.
△ Less
Submitted 26 April, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Isoparametric unfitted BDF -- Finite element method for PDEs on evolving domains
Authors:
Yimin Lou,
Christoph Lehrenfeld
Abstract:
We propose a new discretization method for PDEs on moving domains in the setting of unfitted finite element methods, which is provably higher-order accurate in space and time. In the considered setting, the physical domain that evolves essentially arbitrarily through a time-independent computational background domain, is represented by a level set function. For the time discretization, the applica…
▽ More
We propose a new discretization method for PDEs on moving domains in the setting of unfitted finite element methods, which is provably higher-order accurate in space and time. In the considered setting, the physical domain that evolves essentially arbitrarily through a time-independent computational background domain, is represented by a level set function. For the time discretization, the application of standard time step** schemes that are based on finite difference approximations of the time derivative is not directly possible, as the degrees of freedom may get active or inactive across such a finite difference stencil in time. In [Lehrenfeld, Olshanskii. An Eulerian finite element method for PDEs in time-dependent domains. ESAIM: M2AN, 53:585--614, 2019] this problem is overcome by extending the discrete solution at every timestep to a sufficiently large neighborhood so that all the degrees of freedom that are relevant at the next time step stay active. But that paper focuses on low-order methods. We advance these results with introducing and analyzing realizable techniques for the extension to higher order. To obtain higher-order convergence in space and time, we combine the BDF time step** with the isoparametric unfitted FEM. The latter has been used and analyzed for several stationary problems before. However, for moving domains the key ingredient in the method, the transformation of the underlying mesh, becomes time-dependent which gives rise to some technical issues. We treat these with special care, carry out an a priori error analysis and two numerical experiments.
△ Less
Submitted 16 February, 2022; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Learned infinite elements
Authors:
Thorsten Hohage,
Christoph Lehrenfeld,
Janosch Preuss
Abstract:
We study the numerical solution of scalar time-harmonic wave equations on unbounded domains which can be split into a bounded interior domain of primary interest and an exterior domain with separable geometry. To compute the solution in the interior domain, approximations to the Dirichlet-to-Neumann (DtN) map of the exterior domain have to be imposed as transparent boundary conditions on the artif…
▽ More
We study the numerical solution of scalar time-harmonic wave equations on unbounded domains which can be split into a bounded interior domain of primary interest and an exterior domain with separable geometry. To compute the solution in the interior domain, approximations to the Dirichlet-to-Neumann (DtN) map of the exterior domain have to be imposed as transparent boundary conditions on the artificial coupling boundary. Although the DtN map can be computed by separation of variables, it is a nonlocal operator with dense matrix representations, and hence computationally inefficient. Therefore, approximations of DtN maps by sparse matrices, usually involving additional degrees of freedom, have been studied intensively in the literature using a variety of approaches including different types of infinite elements, local non-reflecting boundary conditions, and perfectly matched layers. The entries of these sparse matrices are derived analytically, e.g. from transformations or asymptotic expansions of solutions to the differential equation in the exterior domain. In contrast, in this paper we propose to `learn' the matrix entries from the DtN map in its separated form by solving an optimization problem as a preprocessing step. Theoretical considerations suggest that the approximation quality of learned infinite elements improves exponentially with increasing number of infinite element degrees of freedom, which is confirmed in numerical experiments. These numerical studies also show that learned infinite elements outperform state-of-the-art methods for the Helmholtz equation. At the same time, learned infinite elements are much more flexible than traditional methods as they, e.g., work similarly well for exterior domains involving strong reflections, for example, for the atmosphere of the Sun, which is strongly inhomogeneous and exhibits reflections at the corona.
△ Less
Submitted 10 June, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Swee** preconditioners for stratified media in the presence of reflections
Authors:
Janosch Preuß,
Thorsten Hohage,
Christoph Lehrenfeld
Abstract:
In this paper we consider swee** preconditioners for time harmonic wave propagation in stratified media, especially in the presence of reflections. In the most famous class of swee** preconditioners Dirichlet-to-Neumann operators for half-space problems are approximated through absorbing boundary conditions. In the presence of reflections absorbing boundary conditions are not accurate resultin…
▽ More
In this paper we consider swee** preconditioners for time harmonic wave propagation in stratified media, especially in the presence of reflections. In the most famous class of swee** preconditioners Dirichlet-to-Neumann operators for half-space problems are approximated through absorbing boundary conditions. In the presence of reflections absorbing boundary conditions are not accurate resulting in an unsatisfactory performance of these swee** preconditioners. We explore the potential of using more accurate Dirichlet-to-Neumann operators within the sweep. To this end, we make use of the separability of the equation for the background model. While this improves the accuracy of the Dirichlet-to-Neumann operator, we find both from numerical tests and analytical arguments that it is very sensitive to perturbations in the presence of reflections. This implies that even if accurate approximations to Dirichlet-to-Neumann operators can be devised for a stratified medium, swee** preconditioners are limited to very small perturbations.
△ Less
Submitted 10 June, 2020; v1 submitted 27 February, 2020;
originally announced February 2020.
-
An unfitted Eulerian finite element method for the time-dependent Stokes problem on moving domains
Authors:
Henry von Wahl,
Thomas Richter,
Christoph Lehrenfeld
Abstract:
We analyse a Eulerian Finite Element method, combining a Eulerian time-step** scheme applied to the time-dependent Stokes equations using the CutFEM approach with inf-sup stable Taylor-Hood elements for the spatial discretisation. This is based on the method introduced by Lehrenfeld \& Olshanskii [ESAIM: M2AN 53(2):585--614] in the context of a scalar convection-diffusion problems on moving doma…
▽ More
We analyse a Eulerian Finite Element method, combining a Eulerian time-step** scheme applied to the time-dependent Stokes equations using the CutFEM approach with inf-sup stable Taylor-Hood elements for the spatial discretisation. This is based on the method introduced by Lehrenfeld \& Olshanskii [ESAIM: M2AN 53(2):585--614] in the context of a scalar convection-diffusion problems on moving domains, and extended to the non-stationary Stokes problem on moving domains by Burman, Frei \& Massing [arXiv:1910.03054 [math.NA]] using stabilised equal-order elements. The analysis includes the geometrical error made by integrating over approximated levelset domains in the discrete CutFEM setting. The method is implemented and the theoretical results are illustrated using numerical examples.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Locking free and gradient robust H(div)-conforming HDG methods for linear elasticity
Authors:
Guosheng Fu,
Christoph Lehrenfeld,
Alexander Linke,
Timo Streckenbach
Abstract:
Robust discretization methods for (nearly-incompressible) linear elasticity are free of volume-locking and gradient-robust. While volume-locking is a well-known problem that can be dealt with in many different discretization approaches, the concept of gradient-robustness for linear elasticity is new. We discuss both aspects and propose novel Hybrid Discontinuous Galerkin (HDG) methods for linear e…
▽ More
Robust discretization methods for (nearly-incompressible) linear elasticity are free of volume-locking and gradient-robust. While volume-locking is a well-known problem that can be dealt with in many different discretization approaches, the concept of gradient-robustness for linear elasticity is new. We discuss both aspects and propose novel Hybrid Discontinuous Galerkin (HDG) methods for linear elasticity. The starting point for these methods is a divergence-conforming discretization. As a consequence of its well-behaved Stokes limit the method is gradient-robust and free of volume-locking. To improve computational efficiency, we additionally consider discretizations with relaxed divergence-conformity and a modification which re-enables gradient-robustness, yielding a robust and quasi-optimal discretization also in the sense of HDG superconvergence.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Divergence-free tangential finite element methods for incompressible flows on surfaces
Authors:
Philip L. Lederer,
Christoph Lehrenfeld,
Joachim Schöberl
Abstract:
In this work we consider the numerical solution of incompressible flows on two-dimensional manifolds. Whereas the compatibility demands of the velocity and the pressure spaces are known from the flat case one further has to deal with the approximation of a velocity field that lies only in the tangential space of the given geometry. Abandoning $H^1$-conformity allows us to construct finite elements…
▽ More
In this work we consider the numerical solution of incompressible flows on two-dimensional manifolds. Whereas the compatibility demands of the velocity and the pressure spaces are known from the flat case one further has to deal with the approximation of a velocity field that lies only in the tangential space of the given geometry. Abandoning $H^1$-conformity allows us to construct finite elements which are -- due to an application of the Piola transformation -- exactly tangential. To reintroduce continuity (in a weak sense) we make use of (hybrid) discontinuous Galerkin techniques. To further improve this approach, $H(\operatorname{div}_Γ)$-conforming finite elements can be used to obtain exactly divergence-free velocity solutions. We present several new finite element discretizations. On a number of numerical examples we examine and compare their qualitative properties and accuracy.
△ Less
Submitted 19 December, 2019; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Numerical benchmarking of fluid-rigid body interactions
Authors:
Henry von Wahl,
Thomas Richter,
Christoph Lehrenfeld,
Jan Heiland,
Piotr Minakowski
Abstract:
We propose a fluid-rigid body interaction benchmark problem, consisting of a solid spherical obstacle in a Newtonian fluid, whose centre of mass is fixed but is free to rotate. A number of different problems are defined for both two and three spatial dimensions. The geometry is chosen specifically, such that the fluid-solid partition does not change over time and classical fluid solvers are able t…
▽ More
We propose a fluid-rigid body interaction benchmark problem, consisting of a solid spherical obstacle in a Newtonian fluid, whose centre of mass is fixed but is free to rotate. A number of different problems are defined for both two and three spatial dimensions. The geometry is chosen specifically, such that the fluid-solid partition does not change over time and classical fluid solvers are able to solve the fluid-structure interaction problem. We summarise the different approaches used to handle the fluid-solid coupling and numerical methods used to solve the arising problems. The results obtained by the described methods are presented and we give reference intervals for the relevant quantities of interest.
△ Less
Submitted 19 September, 2019; v1 submitted 13 August, 2019;
originally announced August 2019.
-
High-order DG solvers for under-resolved turbulent incompressible flows: A comparison of $L^2$ and $H$(div) methods
Authors:
Niklas Fehn,
Martin Kronbichler,
Christoph Lehrenfeld,
Gert Lube,
Philipp W. Schroeder
Abstract:
The accurate numerical simulation of turbulent incompressible flows is a challenging topic in computational fluid dynamics. For discretisation methods to be robust in the under-resolved regime, mass conservation as well as energy stability are key ingredients to obtain robust and accurate discretisations. Recently, two approaches have been proposed in the context of high-order discontinuous Galerk…
▽ More
The accurate numerical simulation of turbulent incompressible flows is a challenging topic in computational fluid dynamics. For discretisation methods to be robust in the under-resolved regime, mass conservation as well as energy stability are key ingredients to obtain robust and accurate discretisations. Recently, two approaches have been proposed in the context of high-order discontinuous Galerkin (DG) discretisations that address these aspects differently. On the one hand, standard $L^2$-based DG discretisations enforce mass conservation and energy stability weakly by the use of additional stabilisation terms. On the other hand, pointwise divergence-free $H(\operatorname{div})$-conforming approaches ensure exact mass conservation and energy stability by the use of tailored finite element function spaces. The present work raises the question whether and to which extent these two approaches are equivalent when applied to under-resolved turbulent flows. This comparative study highlights similarities and differences of these two approaches. The numerical results emphasise that both discretisation strategies are promising for under-resolved simulations of turbulent flows due to their inherent dissipation mechanisms.
△ Less
Submitted 29 April, 2019;
originally announced May 2019.
-
A natural decomposition of viscous dissipation in DG methods for turbulent incompressible flows
Authors:
Christoph Lehrenfeld,
Gert Lube,
Philipp W. Schroeder
Abstract:
In this note we aim at a characterisation of the discretisation of viscous dissipation which allows to distinguish `physical' (also frequently called `molecular', or `resolved') from `numerical' dissipation in DG-discretised incompressible flow simulations.
In this note we aim at a characterisation of the discretisation of viscous dissipation which allows to distinguish `physical' (also frequently called `molecular', or `resolved') from `numerical' dissipation in DG-discretised incompressible flow simulations.
△ Less
Submitted 11 April, 2019; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity for incompressible flows. Part II
Authors:
Philip L. Lederer,
Christoph Lehrenfeld,
Joachim Schöberl
Abstract:
The present work is the second part of a pair of papers, considering Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity. The first part mainly dealt with presenting a robust analysis with respect to the mesh size $h$ and the introduction of a reconstruction operator to restore divergence-conformity and pressure robustness using a non conforming right hand side. The aim of this pa…
▽ More
The present work is the second part of a pair of papers, considering Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity. The first part mainly dealt with presenting a robust analysis with respect to the mesh size $h$ and the introduction of a reconstruction operator to restore divergence-conformity and pressure robustness using a non conforming right hand side. The aim of this part is the presentation of a high order polynomial robust analysis for the relaxed $H(\operatorname{div})$-conforming Hybrid Discontinuous Galerkin discretization of the two dimensional Stokes problem. It is based on the recently proven polynomial robust LBB-condition for BDM elements [P. L. Lederer, J. Schöberl, IMA Journal of Numerical Analysis, 2017] and is derived by a direct approach instead of using a best approximation Céa like result. We further treat the impact of the reconstruction operator on the $hp$ analysis and present a numerical investigation considering polynomial robustness. We conclude the paper presenting an efficient operator splitting time integration scheme for the Navier--Stokes equations which is based on the methods recently presented in [C. Lehrenfeld, J. Schöberl, \emph{Comp. Meth. Appl. Mech. Eng.}, 361 (2016)] and includes the ideas of the reconstruction operator.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
Mass Conservative Reduced Order Modeling of a Free Boundary Osmotic Cell Swelling Problem
Authors:
Christoph Lehrenfeld,
Stephan Rave
Abstract:
We consider model order reduction for a free boundary problem of an osmotic cell that is parameterized by material parameters as well as the initial shape of the cell. Our approach is based on an Arbitrary-Lagrangian-Eulerian description of the model that is discretized by a mass-conservative finite element scheme. Using reduced basis techniques and empirical interpolation, we construct a paramete…
▽ More
We consider model order reduction for a free boundary problem of an osmotic cell that is parameterized by material parameters as well as the initial shape of the cell. Our approach is based on an Arbitrary-Lagrangian-Eulerian description of the model that is discretized by a mass-conservative finite element scheme. Using reduced basis techniques and empirical interpolation, we construct a parameterized reduced order model in which the mass conservation property of the full-order model is exactly preserved. Numerical experiments are provided that highlight the performance of the resulting reduced order model.
△ Less
Submitted 4 May, 2018;
originally announced May 2018.
-
On reference solutions and the sensitivity of the 2D Kelvin-Helmholtz instability problem
Authors:
Philipp W. Schroeder,
Volker John,
Philip L. Lederer,
Christoph Lehrenfeld,
Gert Lube,
Joachim Schöberl
Abstract:
Two-dimensional Kelvin-Helmholtz instability problems are popular examples for assessing discretizations for incompressible flows at high Reynolds number. Unfortunately, the results in the literature differ considerably. This paper presents computational studies of a Kelvin-Helmholtz instability problem with high order divergence-free finite element methods. Reference results in several quantities…
▽ More
Two-dimensional Kelvin-Helmholtz instability problems are popular examples for assessing discretizations for incompressible flows at high Reynolds number. Unfortunately, the results in the literature differ considerably. This paper presents computational studies of a Kelvin-Helmholtz instability problem with high order divergence-free finite element methods. Reference results in several quantities of interest are obtained for three different Reynolds numbers up to the beginning of the final vortex pairing. A mesh-independent prediction of the final pairing is not achieved due to the sensitivity of the considered problem with respect to small perturbations. A theoretical explanation of this sensitivity to small perturbations is provided based on the theory of self-organization of 2D turbulence. Possible sources of perturbations that arise in almost any numerical simulation are discussed.
△ Less
Submitted 20 November, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
An Eulerian Finite Element Method for PDEs in time-dependent domains
Authors:
Christoph Lehrenfeld,
Maxim A. Olshanskii
Abstract:
The paper introduces a new finite element numerical method for the solution of partial differential equations on evolving domains. The approach uses a completely Eulerian description of the domain motion. The physical domain is embedded in a triangulated computational domain and can overlap the time-independent background mesh in an arbitrary way. The numerical method is based on finite difference…
▽ More
The paper introduces a new finite element numerical method for the solution of partial differential equations on evolving domains. The approach uses a completely Eulerian description of the domain motion. The physical domain is embedded in a triangulated computational domain and can overlap the time-independent background mesh in an arbitrary way. The numerical method is based on finite difference discretizations of time derivatives and a standard geometrically unfitted finite element method with an additional stabilization term in the spatial domain. The performance and analysis of the method rely on the fundamental extension result in Sobolev spaces for functions defined on bounded domains. This paper includes a complete stability and error analysis, which accounts for discretization errors resulting from finite difference and finite element approximations as well as for geometric errors coming from a possible approximate recovery of the physical domain. Several numerical examples illustrate the theory and demonstrate the practical efficiency of the method.
△ Less
Submitted 2 August, 2018; v1 submitted 5 March, 2018;
originally announced March 2018.
-
A stabilized trace finite element method for partial differential equations on evolving surfaces
Authors:
Christoph Lehrenfeld,
Maxim A. Olshanskii,
Xianmin Xu
Abstract:
In this paper, we study a numerical method for the solution of partial differential equations on evolving surfaces. The numerical method is built on the stabilized trace finite element method (TraceFEM) for the spatial discretization and finite differences for the time discretization. The TraceFEM uses a stationary background mesh, which can be chosen independent of time and the position of the su…
▽ More
In this paper, we study a numerical method for the solution of partial differential equations on evolving surfaces. The numerical method is built on the stabilized trace finite element method (TraceFEM) for the spatial discretization and finite differences for the time discretization. The TraceFEM uses a stationary background mesh, which can be chosen independent of time and the position of the surface. The stabilization ensures well-conditioning of the algebraic systems and defines a regular extension of the solution from the surface to its volumetric neighborhood. Having such an extension is essential for the numerical method to be well-defined. The paper proves numerical stability and optimal order error estimates for the case of simplicial background meshes and finite element spaces of order $m\ge1$. For the algebraic condition numbers of the resulting systems we prove estimates, which are independent of the position of the interface. The method allows that the surface and its evolution are given implicitly with the help of an indicator function. Results of numerical experiments for a set of 2D evolving surfaces are provided.
△ Less
Submitted 22 March, 2018; v1 submitted 20 September, 2017;
originally announced September 2017.
-
A note on the penalty parameter in Nitsche's method for unfitted boundary value problems
Authors:
Frits de Prenter,
Christoph Lehrenfeld,
André Massing
Abstract:
Nitsche's method is a popular approach to implement Dirichlet-type boundary conditions in situations where a strong imposition is either inconvenient or simply not feasible. The method is widely applied in the context of unfitted finite element methods. From the classical (symmetric) Nitsche's method it is well-known that the stabilization parameter in the method has to be chosen sufficiently larg…
▽ More
Nitsche's method is a popular approach to implement Dirichlet-type boundary conditions in situations where a strong imposition is either inconvenient or simply not feasible. The method is widely applied in the context of unfitted finite element methods. From the classical (symmetric) Nitsche's method it is well-known that the stabilization parameter in the method has to be chosen sufficiently large to obtain unique solvability of discrete systems. In this short note we discuss an often used strategy to set the stabilization parameter and describe a possible problem that can arise from this. We show that in specific situations error bounds can deteriorate and give examples of computations where Nitsche's method yields large and even diverging discretization errors.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
Towards computable flows and robust estimates for inf-sup stable FEM applied to the time-dependent incompressible Navier-Stokes equations
Authors:
Philipp W. Schroeder,
Christoph Lehrenfeld,
Alexander Linke,
Gert Lube
Abstract:
Inf-sup stable FEM applied to time-dependent incompressible Navier-Stokes flows are considered. The focus lies on robust estimates for the kinetic and dissipation energies in a twofold sense. Firstly, pressure-robustness ensures the fulfilment of a fundamental invariance principle and velocity error estimates are not corrupted by the pressure approximability. Secondly, $Re$-semi-robustness means t…
▽ More
Inf-sup stable FEM applied to time-dependent incompressible Navier-Stokes flows are considered. The focus lies on robust estimates for the kinetic and dissipation energies in a twofold sense. Firstly, pressure-robustness ensures the fulfilment of a fundamental invariance principle and velocity error estimates are not corrupted by the pressure approximability. Secondly, $Re$-semi-robustness means that constants appearing on the right-hand side of kinetic and dissipation energy error estimates (including Gronwall constants) do not explicitly depend on the Reynolds number. Such estimates rely on the essential regularity assumption $\nabla u \in L^1(0,T;L^\infty(Ω))$ which is discussed in detail. In the sense of best practice, we review and establish pressure- and $Re$-semi-robust estimates for pointwise divergence-free $H^1$-conforming FEM (like Scott-Vogelius pairs or certain isogeometric based FEM) and pointwise divergence-free $H$(div)-conforming discontinuous Galerkin FEM. For convection-dominated problems, the latter naturally includes an upwind stabilisation for the velocity which is not gradient-based.
△ Less
Submitted 16 April, 2018; v1 submitted 10 September, 2017;
originally announced September 2017.
-
Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity for incompressible flows. Part I
Authors:
Philip L. Lederer,
Christoph Lehrenfeld,
Joachim Schöberl
Abstract:
We propose a new discretization method for the Stokes equations. The method is an improved version of the method recently presented in [C. Lehrenfeld, J. Schöberl, Comp. Meth. Appl. Mech. Eng., 361 (2016)] which is based on an $H(\operatorname{div})$-conforming finite element space and a Hybrid Discontinuous Galerkin (HDG) formulation of the viscous forces. $H(\operatorname{div})$-conformity resul…
▽ More
We propose a new discretization method for the Stokes equations. The method is an improved version of the method recently presented in [C. Lehrenfeld, J. Schöberl, Comp. Meth. Appl. Mech. Eng., 361 (2016)] which is based on an $H(\operatorname{div})$-conforming finite element space and a Hybrid Discontinuous Galerkin (HDG) formulation of the viscous forces. $H(\operatorname{div})$-conformity results in favourable properties such as pointwise divergence free solutions and pressure-robustness. However, for the approximation of the velocity with a polynomial degree $k$ it requires unknowns of degree $k$ on every facet of the mesh. In view of the superconvergence property of other HDG methods, where only unknowns of polynomial degree $k-1$ on the facets are required to obtain an accurate polynomial approximation of order $k$ (possibly after a local post-processing) this is sub-optimal. The key idea in this paper is to slightly relax the $H(\operatorname{div})$-conformity so that only unknowns of polynomial degree $k-1$ are involved for normal-continuity. This allows for optimality of the method also in the sense of superconvergent HDG methods. In order not to loose the benefits of $H(\operatorname{div})$-conformity we introduce a cheap reconstruction operator which restores pressure-robustness and pointwise divergence free solutions and suits well to the finite element space with relaxed $H(\operatorname{div})$-conformity. We present this new method, carry out a thorough $h$-version error analysis and demonstrate the performance of the method on numerical examples.
△ Less
Submitted 28 March, 2018; v1 submitted 10 July, 2017;
originally announced July 2017.
-
A Higher Order Isoparametric Fictitious Domain Method for Level Set Domains
Authors:
Christoph Lehrenfeld
Abstract:
We consider a new fictitious domain approach of higher order accuracy. To implement Dirichlet conditions we apply the classical Nitsche method combined with a facet-based stabilization (ghost penalty). Both techniques are combined with a higher order isoparametric finite element space which is based on a special mesh transformation. The mesh transformation is build upon a higher order accurate lev…
▽ More
We consider a new fictitious domain approach of higher order accuracy. To implement Dirichlet conditions we apply the classical Nitsche method combined with a facet-based stabilization (ghost penalty). Both techniques are combined with a higher order isoparametric finite element space which is based on a special mesh transformation. The mesh transformation is build upon a higher order accurate level set representation and allows to reduce the problem of numerical integration to problems on domains which are described by piecewise linear level set functions. The combination of this strategy for the numerical integration and the stabilized Nitsche formulation results in an accurate and robust method. We introduce and analyze it and give numerical examples.
△ Less
Submitted 3 July, 2017; v1 submitted 8 December, 2016;
originally announced December 2016.
-
Analysis of a high order Trace Finite Element Method for PDEs on level set surfaces
Authors:
Jörg Grande,
Christoph Lehrenfeld,
Arnold Reusken
Abstract:
We present a new high order finite element method for the discretization of partial differential equations on stationary smooth surfaces which are implicitly described as the zero level of a level set function. The discretization is based on a trace finite element technique. The higher discretization accuracy is obtained by using an isoparametric map** of the volume mesh, based on the level set…
▽ More
We present a new high order finite element method for the discretization of partial differential equations on stationary smooth surfaces which are implicitly described as the zero level of a level set function. The discretization is based on a trace finite element technique. The higher discretization accuracy is obtained by using an isoparametric map** of the volume mesh, based on the level set function, as introduced in [C. Lehrenfeld, \emph{High order unfitted finite element methods on level set domains using isoparametric map**s}, Comp. Meth. Appl. Mech. Engrg. 2016]. The resulting trace finite element method is easy to implement. We present an error analysis of this method and derive optimal order $H^1(Γ)$-norm error bounds. A second topic of this paper is a unified analysis of several stabilization methods for trace finite element methods. Only a stabilization method which is based on adding an anisotropic diffusion in the volume mesh is able to control the condition number of the stiffness matrix also for the case of higher order discretizations. Results of numerical experiments are included which confirm the theoretical findings on optimal order discretization errors and uniformly bounded condition numbers.
△ Less
Submitted 13 April, 2017; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Higher order unfitted FEM for Stokes interface problems
Authors:
Philip Lederer,
Carl-Martin Pfeiler,
Christoph Wintersteiger,
Christoph Lehrenfeld
Abstract:
We consider the discretization of a stationary Stokes interface problem in a velocity-pressure formulation. The interface is described implicitly as the zero level of a scalar function as it is common in level set based methods. Hence, the interface is not aligned with the mesh. An unfitted finite element discretization based on a Taylor-Hood velocity-pressure pair and an XFEM (or CutFEM) modifica…
▽ More
We consider the discretization of a stationary Stokes interface problem in a velocity-pressure formulation. The interface is described implicitly as the zero level of a scalar function as it is common in level set based methods. Hence, the interface is not aligned with the mesh. An unfitted finite element discretization based on a Taylor-Hood velocity-pressure pair and an XFEM (or CutFEM) modification is used for the approximation of the solution. This allows for the accurate approximation of solutions which have strong or weak discontinuities across interfaces which are not aligned with the mesh. To arrive at a consistent, stable and accurate formulation we require several additional techniques. First, a Nitsche-type formulation is used to implement interface conditions in a weak sense. Secondly, we use the ghost penalty stabilization to obtain an inf-sup stable variational formulation. Finally, for the highly accurate approximation of the implicitly described geometry, we use a combination of a piecewise linear interface reconstruction and a parametric map** of the underlying mesh. We introduce the method and discuss results of numerical examples.
△ Less
Submitted 13 May, 2016;
originally announced May 2016.
-
$L^2$-error analysis of an isoparametric unfitted finite element method for elliptic interface problems
Authors:
Christoph Lehrenfeld,
Arnold Reusken
Abstract:
In the context of unfitted finite element discretizations the realization of high order methods is challenging due to the fact that the geometry approximation has to be sufficiently accurate. Recently a new unfitted finite element method was introduced which achieves a high order approximation of the geometry for domains which are implicitly described by smooth level set functions. This method is…
▽ More
In the context of unfitted finite element discretizations the realization of high order methods is challenging due to the fact that the geometry approximation has to be sufficiently accurate. Recently a new unfitted finite element method was introduced which achieves a high order approximation of the geometry for domains which are implicitly described by smooth level set functions. This method is based on a parametric map** which transforms a piecewise planar interface (or surface) reconstruction to a high order approximation. In the paper [C. Lehrenfeld, A. Reusken, \emph{Analysis of a High Order Finite Element Method for Elliptic Interface Problems}, arXiv 1602.02970, Accepted for publication in IMA J. Numer. Anal.] an a priori error analysis of the method applied to an interface problem is presented. The analysis reveals optimal order discretization error bounds in the $H^1$-norm. In this paper we extend this analysis and derive optimal $L^2$-error bounds.
△ Less
Submitted 31 August, 2017; v1 submitted 15 April, 2016;
originally announced April 2016.
-
Removing the stabilization parameter in fitted and unfitted symmetric Nitsche formulations
Authors:
Christoph Lehrenfeld
Abstract:
In many situations with finite element discretizations it is desirable or necessary to impose boundary or interface conditions not as essential conditions -- i.e. through the finite element space -- but through the variational formulation. One popular way to do this is Nitsche's method. In Nitsche's method a stabilization parameter $λ$ has to be chosen "sufficiently large" to provide a stable form…
▽ More
In many situations with finite element discretizations it is desirable or necessary to impose boundary or interface conditions not as essential conditions -- i.e. through the finite element space -- but through the variational formulation. One popular way to do this is Nitsche's method. In Nitsche's method a stabilization parameter $λ$ has to be chosen "sufficiently large" to provide a stable formulation. Sometimes discretizations based on a Nitsche formulation are criticized because of the need to manually choose this parameter. While in the discontinuous Galerkin community variants of the Nitsche method -- known as "interior penalty" method in the DG context -- are known which do not require such a manually chosen stabilization parameter, this has not been considered for Nitsche formulations in other contexts. We introduce and analyse such a parameter-free variant for two applications of Nitsche's method. First, the classical Nitsche formulation for the imposition of boundary conditions with fitted meshes and secondly, an unfitted finite element discretizations for the imposition of interface conditions is considered. The introduced variants of corresponding Nitsche formulations do not change the sparsity pattern and can easily be implemented into existing finite element codes. The benefit of the new formulations is the removal of the Nitsche stabilization parameter $λ$ while kee** the stability properties of the original formulations for a "sufficiently large" stabilization parameter $λ$.
△ Less
Submitted 2 March, 2016;
originally announced March 2016.
-
Analysis of a high order unfitted finite element method for elliptic interface problems
Authors:
Christoph Lehrenfeld,
Arnold Reusken
Abstract:
In the context of unfitted finite element discretizations the realization of high order methods is challenging due to the fact that the geometry approximation has to be sufficiently accurate. We consider a new unfitted finite element method which achieves a high order approximation of the geometry for domains which are implicitly described by smooth level set functions. The method is based on a pa…
▽ More
In the context of unfitted finite element discretizations the realization of high order methods is challenging due to the fact that the geometry approximation has to be sufficiently accurate. We consider a new unfitted finite element method which achieves a high order approximation of the geometry for domains which are implicitly described by smooth level set functions. The method is based on a parametric map** which transforms a piecewise planar interface (or surface) reconstruction to a high order approximation. Both components, the piecewise planar interface reconstruction and the parametric map** are easy to implement. In this paper we present an a priori error analysis of the method applied to an interface problem. The analysis reveals optimal order error bounds for the geometry approximation and for the finite element approximation, for arbitrary high order discretization. The theoretical results are confirmed in numerical experiments.
△ Less
Submitted 25 June, 2017; v1 submitted 9 February, 2016;
originally announced February 2016.
-
High order unfitted finite element methods on level set domains using isoparametric map**s
Authors:
Christoph Lehrenfeld
Abstract:
We introduce a new class of unfitted finite element methods with high order accurate numerical integration over curved surfaces and volumes which are only implicitly defined by level set functions. An unfitted finite element method which is suitable for the case of piecewise planar interfaces is combined with a parametric map** of the underlying mesh resulting in an isoparametric unfitted finite…
▽ More
We introduce a new class of unfitted finite element methods with high order accurate numerical integration over curved surfaces and volumes which are only implicitly defined by level set functions. An unfitted finite element method which is suitable for the case of piecewise planar interfaces is combined with a parametric map** of the underlying mesh resulting in an isoparametric unfitted finite element method. The parametric map** is constructed in a way such that the quality of the piecewise planar interface reconstruction is significantly improved allowing for high order accurate computations of (unfitted) domain and surface integrals. This approach is new. We present the method, discuss implementational aspects and present numerical examples which demonstrate the quality and potential of this method.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
High order exactly divergence-free Hybrid Discontinuous Galerkin Methods for unsteady incompressible flows
Authors:
Christoph Lehrenfeld,
Joachim Schöberl
Abstract:
In this paper we present an efficient discretization method for the solution of the unsteady incompressible Navier-Stokes equations based on a high order (Hybrid) Discontinuous Galerkin formulation. The crucial component for the efficiency of the discretization method is the disctinction between stiff linear parts and less stiff non-linear parts with respect to their temporal and spatial treatment…
▽ More
In this paper we present an efficient discretization method for the solution of the unsteady incompressible Navier-Stokes equations based on a high order (Hybrid) Discontinuous Galerkin formulation. The crucial component for the efficiency of the discretization method is the disctinction between stiff linear parts and less stiff non-linear parts with respect to their temporal and spatial treatment. Exploiting the flexibility of operator-splitting time integration schemes we combine two spatial discretizations which are tailored for two simpler sub-problems: a corresponding hyperbolic transport problem and an unsteady Stokes problem. For the hyperbolic transport problem a spatial discretization with an Upwind Discontinuous Galerkin method and an explicit treatment in the time integration scheme is rather natural and allows for an efficient implementation. The treatment of the Stokes part involves the solution of linear systems. In this case a discretization with Hybrid Discontinuous Galerkin methods is better suited. We consider such a discretization for the Stokes part with two important features: H(div)-conforming finite elements to garantuee exactly divergence-free velocity solutions and a projection operator which reduces the number of globally coupled unknowns. We present the method, discuss implementational aspects and demonstrate the performance on two and three dimensional benchmark problems.
△ Less
Submitted 26 April, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
The Nitsche XFEM-DG space-time method and its implementation in three space dimensions
Authors:
Christoph Lehrenfeld
Abstract:
In the recent paper [C. Lehrenfeld, A. Reusken, SIAM J. Num. Anal., 51 (2013)] a new finite element discretization method for a class of two-phase mass transport problems is presented and analyzed. The transport problem describes mass transport in a domain with an evolving interface. Across the evolving interface a jump condition has to be satisfies. The discretization in that paper is a space-tim…
▽ More
In the recent paper [C. Lehrenfeld, A. Reusken, SIAM J. Num. Anal., 51 (2013)] a new finite element discretization method for a class of two-phase mass transport problems is presented and analyzed. The transport problem describes mass transport in a domain with an evolving interface. Across the evolving interface a jump condition has to be satisfies. The discretization in that paper is a space-time approach which combines a discontinuous Galerkin (DG) technique (in time) with an extended finite element method (XFEM). Using the Nitsche method the jump condition is enforced in a weak sense. While the emphasis in that paper was on the analysis and one dimensional numerical experiments the main contribution of this paper is the discussion of implementation aspects for the spatially three dimensional case. As the space-time interface is typically given only implicitly as the zero-level of a level-set function, we construct a piecewise planar approximation of the space-time interface. This discrete interface is used to divide the space-time domain into its subdomains. An important component within this decomposition is a new method for dividing four-dimensional prisms intersected by a piecewise planar space-time interface into simplices. Such a subdivision algorithm is necessary for numerical integration on the subdomains as well as on the space-time interface. These numerical integrations are needed in the implementation of the Nitsche XFEM-DG method in three space dimensions. Corresponding numerical studies are presented and discussed.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
Optimal preconditioners for Nitsche-XFEM discretizations of interface problems
Authors:
Christoph Lehrenfeld,
Arnold Reusken
Abstract:
In the past decade, a combination of unfitted finite elements (or XFEM) with the Nitsche method has become a popular discretization method for elliptic interface problems. This development started with the introduction and analysis of this Nitsche-XFEM technique in the paper [A. Hansbo, P. Hansbo, Comput. Methods Appl. Mech. Engrg. 191 (2002)]. In general, the resulting linear systems have very la…
▽ More
In the past decade, a combination of unfitted finite elements (or XFEM) with the Nitsche method has become a popular discretization method for elliptic interface problems. This development started with the introduction and analysis of this Nitsche-XFEM technique in the paper [A. Hansbo, P. Hansbo, Comput. Methods Appl. Mech. Engrg. 191 (2002)]. In general, the resulting linear systems have very large condition numbers, which depend not only on the mesh size $h$, but also on how the interface intersects the mesh. This paper is concerned with the design and analysis of optimal preconditioners for such linear systems. We propose an additive subspace preconditioner which is optimal in the sense that the resulting condition number is independent of the mesh size $h$ and the interface position. We further show that already the simple diagonal scaling of the stifness matrix results in a condition number that is bounded by $ch^{-2}$, with a constant $c$ that does not depend on the location of the interface. Both results are proven for the two-dimensional case. Results of numerical experiments in two and three dimensions are presented, which illustrate the quality of the preconditioner.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations
Authors:
Christoph Koutschan,
Christoph Lehrenfeld,
Joachim Schoeberl
Abstract:
We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-prod…
▽ More
We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-product structure of the chosen shape functions. These recurrences have been derived symbolically with computer algebra methods reminiscent of the holonomic systems approach.
△ Less
Submitted 9 January, 2012; v1 submitted 21 April, 2011;
originally announced April 2011.