-
A narrow band finite element method for the level set equation
Authors:
Maxim Olshanskii,
Arnold Reusken,
Paul Schwering
Abstract:
A finite element method is introduced to track interface evolution governed by the level set equation. The method solves for the level set indicator function in a narrow band around the interface. An extension procedure, which is essential for a narrow band level set method, is introduced based on a finite element $L^2$- or $H^1$-projection combined with the ghost-penalty method. This procedure is…
▽ More
A finite element method is introduced to track interface evolution governed by the level set equation. The method solves for the level set indicator function in a narrow band around the interface. An extension procedure, which is essential for a narrow band level set method, is introduced based on a finite element $L^2$- or $H^1$-projection combined with the ghost-penalty method. This procedure is formulated as a linear variational problem in a narrow band around the surface, making it computationally efficient and suitable for rigorous error analysis. The extension method is combined with a discontinuous Galerkin space discretization and a BDF time-step** scheme. The paper analyzes the stability and accuracy of the extension procedure and evaluates the performance of the resulting narrow band finite element method for the level set equation through numerical experiments.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Analysis of the Taylor-Hood Surface Finite Element Method for the surface Stokes equation
Authors:
Arnold Reusken
Abstract:
We consider the surface Stokes equation on a smooth closed hypersurface in three-dimensional space. For discretization of this problem a generalization of the surface finite element method (SFEM) of Dziuk-Elliott combined with a Hood-Taylor pair of finite element spaces has been used in the literature. We call this method Hood-Taylor-SFEM. This method uses a penalty technique to weakly satisfy the…
▽ More
We consider the surface Stokes equation on a smooth closed hypersurface in three-dimensional space. For discretization of this problem a generalization of the surface finite element method (SFEM) of Dziuk-Elliott combined with a Hood-Taylor pair of finite element spaces has been used in the literature. We call this method Hood-Taylor-SFEM. This method uses a penalty technique to weakly satisfy the tangentiality constraint. In this paper we present a discretization error analysis of this method resulting in optimal discretization error bounds in an energy norm. We also address linear algebra aspects related to (pre)conditioning of the system matrix.
△ Less
Submitted 7 January, 2024;
originally announced January 2024.
-
Analysis of a space-time unfitted finite element method for PDEs on evolving surfaces
Authors:
Arnold Reusken,
Hauke Sass
Abstract:
In this paper we analyze a space-time unfitted finite element method for the discretization of scalar surface partial differential equations on evolving surfaces. For higher order approximations of the evolving surface we use the technique of (iso)parametric map**s for which a level set representation of the evolving surface is essential. We derive basic results in which certain geometric charac…
▽ More
In this paper we analyze a space-time unfitted finite element method for the discretization of scalar surface partial differential equations on evolving surfaces. For higher order approximations of the evolving surface we use the technique of (iso)parametric map**s for which a level set representation of the evolving surface is essential. We derive basic results in which certain geometric characteristics of the exact space-time surface are related to corresponding ones of the numerical surface approximation. These results are used in a complete error analysis of a higher order space-time TraceFEM.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
An Eulerian finite element method for tangential Navier-Stokes equations on evolving surfaces
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Paul Schwering
Abstract:
The paper introduces a geometrically unfitted finite element method for the numerical solution of the tangential Navier--Stokes equations posed on a passively evolving smooth closed surface embedded in $\mathbb{R}^3$. The discrete formulation employs finite difference and finite elements methods to handle evolution in time and variation in space, respectively. A complete numerical analysis of the…
▽ More
The paper introduces a geometrically unfitted finite element method for the numerical solution of the tangential Navier--Stokes equations posed on a passively evolving smooth closed surface embedded in $\mathbb{R}^3$. The discrete formulation employs finite difference and finite elements methods to handle evolution in time and variation in space, respectively. A complete numerical analysis of the method is presented, including stability, optimal order convergence, and quantification of the geometric errors. Results of numerical experiments are also provided.
△ Less
Submitted 13 October, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
An Accurate and Robust Eulerian Finite Element Method for Partial Differential Equations on Evolving Surfaces
Authors:
Hauke Sass,
Arnold Reusken
Abstract:
In this paper we present a new Eulerian finite element method for the discretization of scalar partial differential equations on evolving surfaces. In this method we use the restriction of standard space-time finite element spaces on a fixed bulk mesh to the space-time surface. The structure of the method is such that it naturally fits to a level set representation of the evolving surface. The hig…
▽ More
In this paper we present a new Eulerian finite element method for the discretization of scalar partial differential equations on evolving surfaces. In this method we use the restriction of standard space-time finite element spaces on a fixed bulk mesh to the space-time surface. The structure of the method is such that it naturally fits to a level set representation of the evolving surface. The higher order version of the method is based on a space-time variant of a mesh deformation that has been developed in the literature for stationary surfaces. The discretization method that we present is of (optimal) higher order accuracy for smoothly varying surfaces with sufficiently smooth solutions. Without any modifications the method can be used for the discretization of problems with topological singularities. A numerical study demonstrates both the higher order accuracy for smooth cases and the robustness with respect to toplogical singularities.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Diffusion of tangential tensor fields: numerical issues and influence of geometric properties
Authors:
Elena Bachini,
Philip Brandner,
Thomas Jankuhn,
Michael Nestler,
Simon Praetorius,
Arnold Reusken,
Axel Voigt
Abstract:
We study the diffusion of tangential tensor-valued data on curved surfaces. For this purpose, several finite-element-based numerical methods are collected and used to solve a tangential surface n-tensor heat flow problem. These methods differ with respect to the surface representation used, the geometric information required, and the treatment of the tangentiality condition. We emphasize the impor…
▽ More
We study the diffusion of tangential tensor-valued data on curved surfaces. For this purpose, several finite-element-based numerical methods are collected and used to solve a tangential surface n-tensor heat flow problem. These methods differ with respect to the surface representation used, the geometric information required, and the treatment of the tangentiality condition. We emphasize the importance of geometric properties and their increasing influence as the tensorial degree changes from n=0 to n>=1. A specific example is presented that illustrates how curvature drastically affects the behavior of the solution.
△ Less
Submitted 17 April, 2023; v1 submitted 25 May, 2022;
originally announced May 2022.
-
Tangential Navier-Stokes equations on evolving surfaces: Analysis and simulations
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Alexander Zhiliakov
Abstract:
The paper considers a system of equations that models a lateral flow of a Boussinesq--Scriven fluid on a passively evolving surface embedded in $\mathbb{R}^3$. For the resulting Navier-Stokes type system, posed on a smooth closed time-dependent surface, we introduce a weak formulation in terms of functional spaces on a space-time manifold defined by the surface evolution. The weak formulation is s…
▽ More
The paper considers a system of equations that models a lateral flow of a Boussinesq--Scriven fluid on a passively evolving surface embedded in $\mathbb{R}^3$. For the resulting Navier-Stokes type system, posed on a smooth closed time-dependent surface, we introduce a weak formulation in terms of functional spaces on a space-time manifold defined by the surface evolution. The weak formulation is shown to be well-posed for any finite final time and without smallness conditions on data. We further extend an unfitted finite element method, known as TraceFEM, to compute solutions to the fluid system. Convergence of the method is demonstrated numerically. In another series of experiments we visualize lateral flows induced by smooth deformations of a material surface.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Analysis of optimal preconditioners for CutFEM
Authors:
Sven Gross,
Arnold Reusken
Abstract:
In this paper we consider a class of unfitted finite element methods for scalar elliptic problems. These so-called CutFEM methods use standard finite element spaces on a fixed unfitted triangulation combined with the Nitsche technique and a ghost penalty stabilization. As a model problem we consider the application of such a method to the Poisson interface problem. We introduce and analyze a new c…
▽ More
In this paper we consider a class of unfitted finite element methods for scalar elliptic problems. These so-called CutFEM methods use standard finite element spaces on a fixed unfitted triangulation combined with the Nitsche technique and a ghost penalty stabilization. As a model problem we consider the application of such a method to the Poisson interface problem. We introduce and analyze a new class of preconditioners that is based on a subspace decomposition approach. The unfitted finite element space is split into two subspaces, where one subspace is the standard finite element space associated to the background mesh and the second subspace is spanned by all cut basis functions corresponding to nodes on the cut elements. We will show that this splitting is stable, uniformly in the discretization parameter and in the location of the interface in the triangulation. Based on this we introduce an efficient preconditioner that is uniformly spectrally equivalent to the stiffness matrix. Using a similar splitting, it is shown that the same preconditioning approach can also be applied to a fictitious domain CutFEM discretization of the Poisson equation. Results of numerical experiments are included that illustrate optimality of such preconditioners for the Poisson interface problem and the Poisson fictitious domain problem.
△ Less
Submitted 23 December, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
On derivations of evolving surface Navier-Stokes equations
Authors:
Philip Brandner,
Arnold Reusken,
Paul Schwering
Abstract:
In recent literature several derivations of incompressible Navier-Stokes type equations that model the dynamics of an evolving fluidic surface have been presented. These derivations differ in the physical principles used in the modeling approach and in the coordinate systems in which the resulting equations are represented. This paper has overview character in the sense that we put five different…
▽ More
In recent literature several derivations of incompressible Navier-Stokes type equations that model the dynamics of an evolving fluidic surface have been presented. These derivations differ in the physical principles used in the modeling approach and in the coordinate systems in which the resulting equations are represented. This paper has overview character in the sense that we put five different derivations of surface Navier-Stokes equations into one framework. This then allows a systematic comparison of the resulting surface Navier-Stokes equations and shows that some, but not all, of the resulting models are the same. Furthermore, based on a natural splitting approach in tangential and normal components of the velocity we show that all five derivations that we consider yield the same tangential surface Navier-Stokes equations.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Optimal preconditioners for a Nitsche stabilized fictitious domain finite element method
Authors:
Sven Gross,
Arnold Reusken
Abstract:
In this paper we consider a class of fictitious domain finite element methods known from the literature. These methods use standard finite element spaces on a fixed unfitted triangulation combined with the Nitsche technique and a ghost penalty stabilization. As a model problem we consider the application of such a method to the Poisson equation. We introduce and analyze a new class of precondition…
▽ More
In this paper we consider a class of fictitious domain finite element methods known from the literature. These methods use standard finite element spaces on a fixed unfitted triangulation combined with the Nitsche technique and a ghost penalty stabilization. As a model problem we consider the application of such a method to the Poisson equation. We introduce and analyze a new class of preconditioners that is based on a subspace decomposition approach. The finite element space is split into two subspaces, where one subspace is spanned by all nodal basis functions corresponding to nodes on the boundary of the fictitious domain and the other space is spanned by all remaining nodal basis functions. We will show that this splitting is stable, uniformly in the discretization parameter and in the location of the problem boundary in the triangulation. We also prove that the Galerkin discretization in the first subspace leads to a uniformly well-conditioned matrix and that the Galerkin discretization in the second subspace is uniformly equivalent to a standard finite element discretization of a Poisson equation on the fictitious domain with homogeneous Dirichlet boundary conditions. Results of numerical experiments that illustrate optimality of such a preconditioner are included.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Finite element discretization methods for velocity-pressure and stream function formulations of surface Stokes equations
Authors:
Philip Brandner,
Thomas Jankuhn,
Simon Praetorius,
Arnold Reusken,
Axel Voigt
Abstract:
In this paper we study parametric TraceFEM and parametric SurfaceFEM (SFEM) discretizations of a surface Stokes problem. These methods are applied both to the Stokes problem in velocity-pressure formulation and in stream function formulation. A class of higher order methods is presented in a unified framework. Numerical efficiency aspects of the two formulations are discussed and a systematic comp…
▽ More
In this paper we study parametric TraceFEM and parametric SurfaceFEM (SFEM) discretizations of a surface Stokes problem. These methods are applied both to the Stokes problem in velocity-pressure formulation and in stream function formulation. A class of higher order methods is presented in a unified framework. Numerical efficiency aspects of the two formulations are discussed and a systematic comparison of TraceFEM and SFEM is given. A benchmark problem is introduced in which a scalar reference quantity is defined and numerically determined.
△ Less
Submitted 9 February, 2022; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Analysis of finite element methods for surface vector-Laplace eigenproblems
Authors:
Arnold Reusken
Abstract:
In this paper we study finite element discretizations of a surface vector-Laplace eigenproblem. We consider two known classes of finite element methods, namely one based on a vector analogon of the Dziuk-Elliott surface finite element method and one based on the so-called trace finite element technique. A key ingredient in both classes of methods is a penalization method that is used to enforce ta…
▽ More
In this paper we study finite element discretizations of a surface vector-Laplace eigenproblem. We consider two known classes of finite element methods, namely one based on a vector analogon of the Dziuk-Elliott surface finite element method and one based on the so-called trace finite element technique. A key ingredient in both classes of methods is a penalization method that is used to enforce tangentiality of the vector field in a weak sense. This penalization and the perturbations that arise from numerical approximation of the surface lead to essential nonconformities in the discretization of the variational formulation of the vector-Laplace eigenproblem. We present a general abstract framework applicable to such nonconforming discretizations of eigenproblems. Error bounds both for eigenvalue and eigenvector approximations are derived that depend on certain consistency and approximability parameters. Sharpness of these bounds is discussed. Results of a numerical experiment illustrate certain convergence properties of such finite element discretizations of the surface vector-Laplace eigenproblem.
△ Less
Submitted 5 November, 2020;
originally announced November 2020.
-
Analysis of the Schwarz domain decomposition method for the conductor-like screening continuum model
Authors:
Arnold Reusken,
Benjamin Stamm
Abstract:
We study the Schwarz overlap** domain decomposition method applied to the Poisson problem on a special family of domains, which by construction consist of a union of a large number of fixed-size subdomains. These domains are motivated by applications in computational chemistry where the subdomains consist of van der Waals balls. As is usual in the theory of domain decomposition methods, the rate…
▽ More
We study the Schwarz overlap** domain decomposition method applied to the Poisson problem on a special family of domains, which by construction consist of a union of a large number of fixed-size subdomains. These domains are motivated by applications in computational chemistry where the subdomains consist of van der Waals balls. As is usual in the theory of domain decomposition methods, the rate of convergence of the Schwarz method is related to a stable subspace decomposition. We derive such a stable decomposition for this family of domains and analyze how the stability "constant" depends on relevant geometric properties of the domain. For this, we introduce new descriptors that are used to formalize the geometry for the family of domains. We show how, for an increasing number of subdomains, the rate of convergence of the Schwarz method depends on specific local geometry descriptors and on one global geometry descriptor. The analysis also naturally provides lower bounds in terms of the descriptors for the smallest eigenvalue of the Laplace eigenvalue problem for this family of domains.
△ Less
Submitted 30 June, 2021; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Error analysis of higher order trace finite element methods for the surface Stokes equations
Authors:
Thomas Jankuhn,
Maxim A. Olshanskii,
Arnold Reusken,
Alexander Zhiliakov
Abstract:
The paper studies a higher order unfitted finite element method for the Stokes system posed on a surface in three-dimensional space. The method employs generalized Taylor-Hood finite element pairs on tetrahedral bulk mesh to discretize the Stokes system on embedded surface. Stability and optimal order convergence results are proved. The proofs include a complete quantification of geometric errors…
▽ More
The paper studies a higher order unfitted finite element method for the Stokes system posed on a surface in three-dimensional space. The method employs generalized Taylor-Hood finite element pairs on tetrahedral bulk mesh to discretize the Stokes system on embedded surface. Stability and optimal order convergence results are proved. The proofs include a complete quantification of geometric errors stemming from approximate parametric representation of the surface. Numerical experiments include formal convergence studies and an example of the Kelvin-Helmholtz instability problem on the unit sphere.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Finite Element Error Analysis of Surface Stokes Equations in Stream Function Formulation
Authors:
Philip Brandner,
Arnold Reusken
Abstract:
We consider a surface Stokes problem in stream function formulation on a simply connected oriented surface $Γ\subset \mathbb{R}^3$ without boundary. This formulation leads to a coupled system of two second order scalar surface partial differential equations (for the stream function and an auxiliary variable). To this coupled system a trace finite element discretization method is applied. The main…
▽ More
We consider a surface Stokes problem in stream function formulation on a simply connected oriented surface $Γ\subset \mathbb{R}^3$ without boundary. This formulation leads to a coupled system of two second order scalar surface partial differential equations (for the stream function and an auxiliary variable). To this coupled system a trace finite element discretization method is applied. The main topic of the paper is an error analysis of this discretization method, resulting in optimal order discretization error bounds. The analysis applies to the surface finite element method of Dziuk-Elliott, too. We also investigate methods for reconstructing velocity and pressure from the stream function approximation. Results of numerical experiments are included.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
Higher order Trace Finite Element Methods for the Surface Stokes Equation
Authors:
Thomas Jankuhn,
Arnold Reusken
Abstract:
In this paper a class of higher order finite element methods for the discretization of surface Stokes equations is studied. These methods are based on an unfitted finite element approach in which standard Taylor-Hood spaces on an underlying bulk mesh are used. For treating the constraint that the velocity must be tangential to the surface a penalty method is applied. Higher order geometry approxim…
▽ More
In this paper a class of higher order finite element methods for the discretization of surface Stokes equations is studied. These methods are based on an unfitted finite element approach in which standard Taylor-Hood spaces on an underlying bulk mesh are used. For treating the constraint that the velocity must be tangential to the surface a penalty method is applied. Higher order geometry approximation is obtained by using a parametric trace finite element technique, known from the literature on trace finite element methods for scalar surface partial differential equations. Based on theoretical analyses for related problems, specific choices for the parameters in the method are proposed. Results of a systematic numerical study are included in which different variants are compared and convergence properties are illustrated.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
Inf-sup stability of the trace P2-P1 Taylor-Hood elements for surface PDEs
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Alexander Zhiliakov
Abstract:
The paper studies a geometrically unfitted finite element method (FEM), known as trace FEM or cut FEM, for the numerical solution of the Stokes system posed on a closed smooth surface. A trace FEM based on standard Taylor-Hood (continuous P2-P1) bulk elements is proposed. A so-called volume normal derivative stabilization, known from the literature on trace FEM, is an essential ingredient of this…
▽ More
The paper studies a geometrically unfitted finite element method (FEM), known as trace FEM or cut FEM, for the numerical solution of the Stokes system posed on a closed smooth surface. A trace FEM based on standard Taylor-Hood (continuous P2-P1) bulk elements is proposed. A so-called volume normal derivative stabilization, known from the literature on trace FEM, is an essential ingredient of this method. The key result proved in the paper is an inf-sup stability of the trace P2-P1 finite element pair, with the stability constant uniformly bounded with respect to the discretization parameter and the position of the surface in the bulk mesh. Optimal order convergence of a consistent variant of the finite element method follows from this new stability result and interpolation properties of the trace FEM. Properties of the method are illustrated with numerical examples.
△ Less
Submitted 9 April, 2020; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Trace Finite Element Methods for Surface Vector-Laplace Equations
Authors:
Thomas Jankuhn,
Arnold Reusken
Abstract:
In this paper we analyze a class of trace finite element methods (TraceFEM) for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (``tangent condition''). We study three different natural techniques for treating the tangent condition, na…
▽ More
In this paper we analyze a class of trace finite element methods (TraceFEM) for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (``tangent condition''). We study three different natural techniques for treating the tangent condition, namely a consistent penalty method, a simpler inconsistent penalty method and a Lagrange multiplier method. A main goal of the paper is to present an analysis that reveals important properties of these three different techniques for treating the tangent constraint. A detailed error analysis is presented that takes the approximation of both the geometry of the surface and the solution of the partial differential equation into account. Error bounds in the energy norm are derived that show how the discretization error depends on relevant parameters such as the degree of the polynomials used for the approximation of the solution, the degree of the polynomials used for the approximation of the level set function that characterizes the surface, the penalty parameter and the degree of the polynomials used for the approximation of Lagrange multiplier.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
A Multigrid Method for Unfitted Finite Element Discretizations of Elliptic Interface Problems
Authors:
Thomas Ludescher,
Sven Gross,
Arnold Reusken
Abstract:
We consider discrete Poisson interface problems resulting from linear unfitted finite elements, also called cut finite elements (CutFEM). Three of these unfitted finite element methods known from the literature are studied. All three methods rely on Nitsche s method to incorporate the interface conditions. The main topic of the paper is the development of a multigrid method, based on a novel prolo…
▽ More
We consider discrete Poisson interface problems resulting from linear unfitted finite elements, also called cut finite elements (CutFEM). Three of these unfitted finite element methods known from the literature are studied. All three methods rely on Nitsche s method to incorporate the interface conditions. The main topic of the paper is the development of a multigrid method, based on a novel prolongation operator for the unfitted finite element space and an interface smoother that is designed to yield robustness for large jumps in the diffusion coefficients. Numerical results are presented which illustrate efficiency of this multigrid method and demonstrate its robustness properties with respect to variation of the mesh size, location of the interface and contrast in the diffusion coefficients.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
A time dependent Stokes interface problem: well-posedness and space-time finite element discretization
Authors:
Igor Voulis,
Arnold Reusken
Abstract:
In this paper a time dependent Stokes problem that is motivated by a standard sharp interface model for the fluid dynamics of two-phase flows is studied. This Stokes interface problem has discontinuous density and viscosity coefficients and a pressure solution that is discontinuous across an evolving interface. This strongly simplified two-phase Stokes equation is considered to be a good model pro…
▽ More
In this paper a time dependent Stokes problem that is motivated by a standard sharp interface model for the fluid dynamics of two-phase flows is studied. This Stokes interface problem has discontinuous density and viscosity coefficients and a pressure solution that is discontinuous across an evolving interface. This strongly simplified two-phase Stokes equation is considered to be a good model problem for the development and analysis of finite element discretization methods for two-phase flow problems. In view of the unfitted finite element methods that are often used for two-phase flow simulations, we are particularly interested in a well-posed variational formulation of this Stokes interface problem in a Euclidean setting. Such well-posed weak formulations, which are not known in the literature, are the main results of this paper. Different variants are considered, namely one with suitable spaces of divergence free functions, a discrete-in-time version of it, and variants in which the divergence free constraint in the solution space is treated by a pressure Lagrange multiplier. The discrete-in-time variational formulation involving the pressure variable for the divergence free constraint is a natural starting point for a space-time finite element discretization. Such a method is introduced and results of numerical experiments with this method are presented.
△ Less
Submitted 11 July, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
A finite element method for the surface Stokes problem
Authors:
Maxim A. Olshanskii,
Annalisa Quaini,
Arnold Reusken,
Vladimir Yushutin
Abstract:
We consider a Stokes problem posed on a 2D surface embedded in a 3D domain. The equations describe an equilibrium, area-preserving tangential flow of a viscous surface fluid and serve as a model problem in the dynamics of material interfaces. In this paper, we develop and analyze a Trace finite element method (TraceFEM) for such a surface Stokes problem. TraceFEM relies on finite element spaces de…
▽ More
We consider a Stokes problem posed on a 2D surface embedded in a 3D domain. The equations describe an equilibrium, area-preserving tangential flow of a viscous surface fluid and serve as a model problem in the dynamics of material interfaces. In this paper, we develop and analyze a Trace finite element method (TraceFEM) for such a surface Stokes problem. TraceFEM relies on finite element spaces defined on a fixed, surface-independent background mesh which consists of shape-regular tetrahedra. Thus, there is no need for surface parametrization or surface fitting with the mesh. The TraceFEM treated here is based on $P_1$ bulk finite elements for both the velocity and the pressure. In order to enforce the velocity vector field to be tangential to the surface we introduce a penalty term. The method is straightforward to implement and has an $O(h^2)$ geometric consistency error, which is of the same order as the approximation error due to the $P_1$--$P_1$ pair for velocity and pressure. We prove stability and optimal order discretization error bounds in the surface $H^1$ and $L^2$ norms. A series of numerical experiments is presented to illustrate certain features of the proposed TraceFEM.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
Discontinuous Galerkin Time Discretization Methods for Parabolic Problems with Linear Constraints
Authors:
Igor Voulis,
Arnold Reusken
Abstract:
We consider time discretization methods for abstract parabolic problems with inhomogeneous linear constraints. Prototype examples that fit into the general framework are the heat equation with inhomogeneous (time dependent) Dirichlet boundary conditions and the time dependent Stokes equation with an inhomogeneous divergence constraint. Two common ways of treating such linear constraints, namely ex…
▽ More
We consider time discretization methods for abstract parabolic problems with inhomogeneous linear constraints. Prototype examples that fit into the general framework are the heat equation with inhomogeneous (time dependent) Dirichlet boundary conditions and the time dependent Stokes equation with an inhomogeneous divergence constraint. Two common ways of treating such linear constraints, namely explicit or implicit (via Lagrange multipliers) are studied. These different treatments lead to different variational formulations of the parabolic problem. For these formulations we introduce a modification of the standard discontinuous Galerkin (DG) time discretization method in which an appropriate projection is used in the discretization of the constraint. For these discretizations (optimal) error bounds, including superconvergence results, are derived. Discretization error bounds for the Lagrange multiplier are presented. Results of experiments confirm the theoretically predicted optimal convergence rates and show that without the modification the (standard) DG method has sub-optimal convergence behavior.
△ Less
Submitted 13 June, 2018; v1 submitted 19 January, 2018;
originally announced January 2018.
-
A Trace Finite Element Method for Vector-Laplacians on Surfaces
Authors:
Sven Groß,
Thomas Jankuhn,
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
We consider a vector-Laplace problem posed on a 2D surface embedded in a 3D domain, which results from the modeling of surface fluids based on exterior Cartesian differential operators. The main topic of this paper is the development and analysis of a finite element method for the discretization of this surface partial differential equation. We apply the trace finite element technique, in which fi…
▽ More
We consider a vector-Laplace problem posed on a 2D surface embedded in a 3D domain, which results from the modeling of surface fluids based on exterior Cartesian differential operators. The main topic of this paper is the development and analysis of a finite element method for the discretization of this surface partial differential equation. We apply the trace finite element technique, in which finite element spaces on a background shape-regular tetrahedral mesh that is surface-independent are used for discretization. In order to satisfy the constraint that the solution vector field is tangential to the surface we introduce a Lagrange multiplier. We show well-posedness of the resulting saddle point formulation. A discrete variant of this formulation is introduced which contains suitable stabilization terms and is based on trace finite element spaces. For this method we derive optimal discretization error bounds. Furthermore algebraic properties of the resulting discrete saddle point problem are studied. In particular an optimal Schur complement preconditioner is proposed. Results of a numerical experiment are included.
△ Less
Submitted 1 September, 2017;
originally announced September 2017.
-
Incompressible fluid problems on embedded surfaces: Modeling and variational formulations
Authors:
Thomas Jankuhn,
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
Governing equations of motion for a viscous incompressible material surface are derived from the balance laws of continuum mechanics. The surface is treated as a time-dependent smooth orientable manifold of codimension one in an ambient Euclidian space. We use elementary tangential calculus to derive the governing equations in terms of exterior differential operators in Cartesian coordinates. The…
▽ More
Governing equations of motion for a viscous incompressible material surface are derived from the balance laws of continuum mechanics. The surface is treated as a time-dependent smooth orientable manifold of codimension one in an ambient Euclidian space. We use elementary tangential calculus to derive the governing equations in terms of exterior differential operators in Cartesian coordinates. The resulting equations can be seen as the Navier-Stokes equations posed on an evolving manifold. We consider a splitting of the surface Navier-Stokes system into coupled equations for the tangential and normal motions of the material surface. We then restrict ourselves to the case of a geometrically stationary manifold of codimension one embedded in $\Bbb{R}^n$. For this case, we present new well-posedness results for the simplified surface fluid model consisting of the surface Stokes equations. Finally, we propose and analyze several alternative variational formulations for this surface Stokes problem, including constrained and penalized formulations, which are convenient for Galerkin discretization methods.
△ Less
Submitted 9 October, 2018; v1 submitted 9 February, 2017;
originally announced February 2017.
-
Trace Finite Element Methods for PDEs on Surfaces
Authors:
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
In this paper we consider a class of unfitted finite element methods for discretization of partial differential equations on surfaces. In this class of methods known as the Trace Finite Element Method (TraceFEM), restrictions or traces of background surface-independent finite element functions are used to approximate the solution of a PDE on a surface. We treat equations on steady and time-depende…
▽ More
In this paper we consider a class of unfitted finite element methods for discretization of partial differential equations on surfaces. In this class of methods known as the Trace Finite Element Method (TraceFEM), restrictions or traces of background surface-independent finite element functions are used to approximate the solution of a PDE on a surface. We treat equations on steady and time-dependent (evolving) surfaces. Higher order TraceFEM is explained in detail. We review the error analysis and algebraic properties of the method. The paper navigates through the known variants of the TraceFEM and the literature on the subject.
△ Less
Submitted 5 July, 2017; v1 submitted 30 November, 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.
-
$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.
-
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.
-
Finite element methods for a class of continuum models for immiscible flows with moving contact lines
Authors:
A. Reusken,
X. Xu,
L. Zhang
Abstract:
In this paper we present a finite element method (FEM) for two-phase incompressible flows with moving contact lines. We use a sharp interface Navier-Stokes model for the bulk phase fluid dynamics. Surface tension forces, including Marangoni forces and viscous interfacial effects, are modeled. For describing the moving contact we consider a class of continuum models which contains several special c…
▽ More
In this paper we present a finite element method (FEM) for two-phase incompressible flows with moving contact lines. We use a sharp interface Navier-Stokes model for the bulk phase fluid dynamics. Surface tension forces, including Marangoni forces and viscous interfacial effects, are modeled. For describing the moving contact we consider a class of continuum models which contains several special cases known from the literature. For the whole model, describing bulk fluid dynamics, surface tension forces and contact line forces, we derive a variational formulation and a corresponding energy estimate. For handling the evolving interface numerically the level-set technique is applied. The discontinuous pressure is accurately approximated by using a stabilized extended finite element space (XFEM). We apply a Nitsche technique to weakly impose the Navier slip conditions on the solid wall. A unified approach for discretization of the (different types of) surface tension forces and contact line forces is introduced. The numerical methods are first validated for relatively simple test problems, namely a stationary spherical droplet in contact with a flat wall and a spherical droplet on a flat wall that spreads or contracts to a stationary form. A further validation is done for a two-phase Couette flow with contact lines. To illustrate the robustness of our FEM we also present results of simulations for a problem with a curved contact wall and for a problem with more complicated contact line dynamics.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
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.
-
A trace finite element method for a class of coupled bulk-interface transport problems
Authors:
Sven Gross,
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
In this paper we study a system of advection-diffusion equations in a bulk domain coupled to an advection-diffusion equation on an embedded surface. Such systems of coupled partial differential equations arise in, for example, the modeling of transport and diffusion of surfactants in two-phase flows. The model considered here accounts for adsorption-desorption of the surfactants at a sharp interfa…
▽ More
In this paper we study a system of advection-diffusion equations in a bulk domain coupled to an advection-diffusion equation on an embedded surface. Such systems of coupled partial differential equations arise in, for example, the modeling of transport and diffusion of surfactants in two-phase flows. The model considered here accounts for adsorption-desorption of the surfactants at a sharp interface between two fluids and their transport and diffusion in both fluid phases and along the interface. The paper gives a well-posedness analysis for the system of bulk-surface equations and introduces a finite element method for its numerical solution. The finite element method is unfitted, i.e., the mesh is not aligned to the interface. The method is based on taking traces of a standard finite element space both on the bulk domains and the embedded surface. The numerical approach allows an implicit definition of the surface as the zero level of a level-set function. Optimal order error estimates are proved for the finite element method both in the bulk-surface energy norm and the $L^2$-norm. The analysis is not restricted to linear finite elements and a piecewise planar reconstruction of the surface, but also covers the discretization with higher order elements and a higher order surface reconstruction.
△ Less
Submitted 8 December, 2014; v1 submitted 30 June, 2014;
originally announced June 2014.
-
A space-time FEM for PDEs on evolving surfaces
Authors:
Joerg Grande,
Maxim Olshanskii,
Arnold Reusken
Abstract:
The paper studies a finite element method for computing transport and diffusion along evolving surfaces. The method does not require a parametrization of a surface or an extension of a PDE from a surface into a bulk outer domain. The surface and its evolution may be given implicitly, e.g., as the solution of a level set equation. This approach naturally allows a surface to undergo topological chan…
▽ More
The paper studies a finite element method for computing transport and diffusion along evolving surfaces. The method does not require a parametrization of a surface or an extension of a PDE from a surface into a bulk outer domain. The surface and its evolution may be given implicitly, e.g., as the solution of a level set equation. This approach naturally allows a surface to undergo topological changes and experience local geometric singularities. The numerical method uses space-time finite elements and is provably second order accurate. The paper reviews the method, error estimates and shows results for computing the diffusion of a surfactant on surfaces of two colliding droplets.
△ Less
Submitted 2 March, 2014;
originally announced March 2014.
-
Error analysis of a space-time finite element method for solving PDEs on evolving surfaces
Authors:
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
In this paper we present an error analysis of an Eulerian finite element method for solving parabolic partial differential equations posed on evolving hypersurfaces in $\mathbb{R}^d$, $d=2,3$. The method employs discontinuous piecewise linear in time -- continuous piecewise linear in space finite elements and is based on a space-time weak formulation of a surface PDE problem. Trial and test surfac…
▽ More
In this paper we present an error analysis of an Eulerian finite element method for solving parabolic partial differential equations posed on evolving hypersurfaces in $\mathbb{R}^d$, $d=2,3$. The method employs discontinuous piecewise linear in time -- continuous piecewise linear in space finite elements and is based on a space-time weak formulation of a surface PDE problem. Trial and test surface finite element spaces consist of traces of standard volumetric elements on a space-time manifold resulting from the evolution of a surface. We prove first order convergence in space and time of the method in an energy norm and second order convergence in a weaker norm. Furthermore, we derive regularity results for solutions of parabolic PDEs on an evolving surface, which we need in a duality argument used in the proof of the second order convergence estimate.
△ Less
Submitted 8 April, 2014; v1 submitted 31 January, 2014;
originally announced January 2014.
-
An Eulerian space-time finite element method for diffusion problems on evolving surfaces
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Xianmin Xu
Abstract:
In this paper, we study numerical methods for the solution of partial differential equations on evolving surfaces. The evolving hypersurface in $\Bbb{R}^d$ defines a $d$-dimensional space-time manifold in the space-time continuum $\Bbb{R}^{d+1}$. We derive and analyze a variational formulation for a class of diffusion problems on the space-time manifold. For this variational formulation new well-p…
▽ More
In this paper, we study numerical methods for the solution of partial differential equations on evolving surfaces. The evolving hypersurface in $\Bbb{R}^d$ defines a $d$-dimensional space-time manifold in the space-time continuum $\Bbb{R}^{d+1}$. We derive and analyze a variational formulation for a class of diffusion problems on the space-time manifold. For this variational formulation new well-posedness and stability results are derived. The analysis is based on an inf-sup condition and involves some natural, but non-standard, (anisotropic) function spaces. Based on this formulation a discrete in time variational formulation is introduced that is very suitable as a starting point for a discontinuous Galerkin (DG) space-time finite element discretization. This DG space-time method is explained and results of numerical experiments are presented that illustrate its properties.
△ Less
Submitted 8 April, 2014; v1 submitted 22 April, 2013;
originally announced April 2013.
-
On surface meshes induced by level set functions
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Xianmin Xu
Abstract:
The zero level set of a piecewise-affine function with respect to a consistent tetrahedral subdivision of a domain in $\mathbb{R}^3$ is a piecewise-planar hyper-surface. We prove that if a family of consistent tetrahedral subdivions satisfies the minimum angle condition, then after a simple postprocessing this zero level set becomes a consistent surface triangulation which satisfies the maximum an…
▽ More
The zero level set of a piecewise-affine function with respect to a consistent tetrahedral subdivision of a domain in $\mathbb{R}^3$ is a piecewise-planar hyper-surface. We prove that if a family of consistent tetrahedral subdivions satisfies the minimum angle condition, then after a simple postprocessing this zero level set becomes a consistent surface triangulation which satisfies the maximum angle condition. We treat an application of this result to the numerical solution of PDEs posed on surfaces, using a $P_1$ finite element space on such a surface triangulation. For this finite element space we derive optimal interpolation error bounds. We prove that the diagonally scaled mass matrix is well-conditioned, uniformly with respect to $h$. Furthermore, the issue of conditioning of the stiffness matrix is addressed.
△ Less
Submitted 25 March, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.
-
A stabilized finite element method for advection-diffusion equations on surfaces
Authors:
Maxim A. Olshanskii,
Arnold Reusken,
Xianmin Xu
Abstract:
A recently developed Eulerian finite element method is applied to solve advection-diffusion equations posed on hypersurfaces. When transport processes on a surface dominate over diffusion, finite element methods tend to be unstable unless the mesh is sufficiently fine. The paper introduces a stabilized finite element formulation based on the SUPG technique. An error analysis of the method is given…
▽ More
A recently developed Eulerian finite element method is applied to solve advection-diffusion equations posed on hypersurfaces. When transport processes on a surface dominate over diffusion, finite element methods tend to be unstable unless the mesh is sufficiently fine. The paper introduces a stabilized finite element formulation based on the SUPG technique. An error analysis of the method is given. Results of numerical experiments are presented that illustrate the performance of the stabilized method.
△ Less
Submitted 25 March, 2013; v1 submitted 16 January, 2013;
originally announced January 2013.
-
Reduced Basis A Posteriori Error Bounds for the Instationary Stokes Equations
Authors:
Anna-Lena Gerner,
Arnold Reusken,
Karen Veroy
Abstract:
We present reduced basis approximations and rigorous a posteriori error bounds for the instationary Stokes equations. We shall discuss both a method based on the standard formulation as well as a method based on a penalty approach, which combine techniques developed in our previous work on parametrized saddle point problems with current reduced basis techniques for parabolic problems. The analysis…
▽ More
We present reduced basis approximations and rigorous a posteriori error bounds for the instationary Stokes equations. We shall discuss both a method based on the standard formulation as well as a method based on a penalty approach, which combine techniques developed in our previous work on parametrized saddle point problems with current reduced basis techniques for parabolic problems. The analysis then shows how time integration affects the development of reduced basis a posteriori error bounds as well as the construction of computationally efficient reduced basis approximation spaces. To demonstrate their performance in practice, the methods are applied to a Stokes flow in a two-dimensional microchannel with a parametrized rectangular obstacle; evolution in time is induced by a time-dependent velocity profile on the inflow boundary. Numerical results illustrate (i) the rapid convergence of reduced basis approximations, (ii) the performance of a posteriori error bounds with respect to sharpness, and (iii) computational efficiency.
△ Less
Submitted 3 November, 2012; v1 submitted 24 August, 2012;
originally announced August 2012.