-
Analysis of a finite element method for PDEs in evolving domains with topological changes
Authors:
Maxim A. Olshanskii,
Arnold Reusken
Abstract:
The paper presents the first rigorous error analysis of an unfitted finite element method for a linear parabolic problem posed on an evolving domain $Ω(t)$ that may undergo a topological change, such as, for example, a domain splitting. The domain evolution is assumed to be $C^2$-smooth away from a critical time $t_c$, at which the topology may change instantaneously. To accommodate such topologic…
▽ More
The paper presents the first rigorous error analysis of an unfitted finite element method for a linear parabolic problem posed on an evolving domain $Ω(t)$ that may undergo a topological change, such as, for example, a domain splitting. The domain evolution is assumed to be $C^2$-smooth away from a critical time $t_c$, at which the topology may change instantaneously. To accommodate such topological transitions in the error analysis, we introduce several structural assumptions on the evolution of $Ω(t)$ in the vicinity of the critical time. These assumptions allow a specific stability estimate even across singularities. Based on this stability result we derive optimal-order discretization error bounds, provided the continuous solution is sufficiently smooth. We demonstrate the applicability of our assumptions with examples of level-set domains undergoing topological transitions and discuss cases where the analysis fails. The theoretical error estimate is confirmed by the results of a numerical experiment.
△ Less
Submitted 2 May, 2025; v1 submitted 18 April, 2025;
originally announced April 2025.
-
Model order reduction of parametric dynamical systems by slice sampling tensor completion
Authors:
Alexander V. Mamonov,
Maxim A. Olshanskii
Abstract:
Recent studies have demonstrated the great potential of reduced order modeling for parametric dynamical systems using low-rank tensor decompositions (LRTD). In particular, within the framework of interpolatory tensorial reduced order models (ROM), LRTD is computed for tensors composed of snapshots of the system's solutions, where each parameter corresponds to a distinct tensor mode. This approach…
▽ More
Recent studies have demonstrated the great potential of reduced order modeling for parametric dynamical systems using low-rank tensor decompositions (LRTD). In particular, within the framework of interpolatory tensorial reduced order models (ROM), LRTD is computed for tensors composed of snapshots of the system's solutions, where each parameter corresponds to a distinct tensor mode. This approach requires full sampling of the parameter domain on a tensor product grid, which suffers from the curse of dimensionality, making it practical only for systems with a small number of parameters. To overcome this limitation, we propose a sparse sampling of the parameter domain, followed by a low-rank tensor completion. The resulting specialized tensor completion problem is formulated for a tensor of order $C + D$, where $C$ fully sampled modes correspond to the snapshot degrees of freedom, and $D$ partially sampled modes correspond to the system's parameters. To address this non-standard tensor completion problem, we introduce a low-rank tensor format called the hybrid tensor train. Completion in this format is then integrated into an interpolatory tensorial ROM. We demonstrate the effectiveness of both the completion method and the ROM on several examples of dynamical systems derived from finite element discretizations of parabolic partial differential equations with parameter-dependent coefficients or boundary conditions.
△ Less
Submitted 9 April, 2025; v1 submitted 11 November, 2024;
originally announced November 2024.
-
Approximating a branch of solutions to the Navier--Stokes equations by reduced-order modeling
Authors:
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
This paper extends a low-rank tensor decomposition (LRTD) reduced order model (ROM) methodology to simulate viscous flows and in particular to predict a smooth branch of solutions for the incompressible Navier-Stokes equations. Additionally, it enhances the LRTD-ROM methodology by introducing a non-interpolatory variant, which demonstrates improved accuracy compared to the interpolatory method uti…
▽ More
This paper extends a low-rank tensor decomposition (LRTD) reduced order model (ROM) methodology to simulate viscous flows and in particular to predict a smooth branch of solutions for the incompressible Navier-Stokes equations. Additionally, it enhances the LRTD-ROM methodology by introducing a non-interpolatory variant, which demonstrates improved accuracy compared to the interpolatory method utilized in previous LRTD-ROM studies. After presenting both the interpolatory and non-interpolatory LRTD-ROM, we demonstrate that with snapshots from a few different viscosities, the proposed method is able to accurately predict flow statistics in the Reynolds number range $[25,400]$. This is a significantly wider and higher range than state of the art (and similar size) ROMs built for use on varying Reynolds number have been successful on. The paper also discusses how LRTD may offer new insights into the properties of parametric solutions.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
A priori analysis of a tensor ROM for parameter dependent parabolic problems
Authors:
Alexander V. Mamonov,
Maxim A. Olshanskii
Abstract:
A space-time-parameters structure of parametric parabolic PDEs motivates the application of tensor methods to define reduced order models (ROMs). Within a tensor-based ROM framework, the matrix SVD - a traditional dimension reduction technique - yields to a low-rank tensor decomposition (LRTD). Such tensor extension of the Galerkin proper orthogonal decomposition ROMs (POD-ROMs) benefits both the…
▽ More
A space-time-parameters structure of parametric parabolic PDEs motivates the application of tensor methods to define reduced order models (ROMs). Within a tensor-based ROM framework, the matrix SVD - a traditional dimension reduction technique - yields to a low-rank tensor decomposition (LRTD). Such tensor extension of the Galerkin proper orthogonal decomposition ROMs (POD-ROMs) benefits both the practical efficiency of the ROM and its amenability for rigorous error analysis when applied to parametric PDEs. The paper addresses the error analysis of the Galerkin LRTD-ROM for an abstract linear parabolic problem that depends on multiple physical parameters. An error estimate for the LRTD-ROM solution is proved, which is uniform with respect to problem parameters and extends to parameter values not in a sampling/training set. The estimate is given in terms of discretization and sampling mesh properties, and LRTD accuracy. The estimate depends on the local smoothness rather than on the Kolmogorov n-widths of the parameterized manifold of solutions. Theoretical results are illustrated with several numerical experiments.
△ Less
Submitted 20 August, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
An adaptive stabilized trace finite element method for surface PDEs
Authors:
Timo Heister,
Maxim A. Olshanskii,
Vladimir Yushutin
Abstract:
The paper introduces an adaptive version of the stabilized Trace Finite Element Method (TraceFEM) designed to solve low-regularity elliptic problems on level-set surfaces using a shape-regular bulk mesh in the embedding space. Two stabilization variants, gradient-jump face and normal-gradient volume, are considered for continuous trace spaces of the first and second degrees, based on the polynomia…
▽ More
The paper introduces an adaptive version of the stabilized Trace Finite Element Method (TraceFEM) designed to solve low-regularity elliptic problems on level-set surfaces using a shape-regular bulk mesh in the embedding space. Two stabilization variants, gradient-jump face and normal-gradient volume, are considered for continuous trace spaces of the first and second degrees, based on the polynomial families $Q_1$ and $Q_2$. We propose a practical error indicator that estimates the `jumps' of finite element solution derivatives across background mesh faces and it avoids integration of any quantities along implicitly defined curvilinear edges of the discrete surface elements. For the $Q_1$ family of piecewise trilinear polynomials on bulk cells, the solve-estimate-mark-refine strategy, combined with the suggested error indicator, achieves optimal convergence rates typical of two-dimensional problems. We also provide a posteriori error estimates, establishing the reliability of the error indicator for the $Q_1$ and $Q_2$ elements and for two types of stabilization. In numerical experiments, we assess the reliability and efficiency of the error indicator. While both stabilizations are found to deliver comparable performance,the lowest degree finite element space appears to be the more robust choice for the adaptive TraceFEM framework.
△ Less
Submitted 19 August, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Local conservation laws of continuous Galerkin method for the incompressible Navier--Stokes equations in EMAC form
Authors:
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
We consider local balances of momentum and angular momentum for the incompressible Navier-Stokes equations. First, we formulate new weak forms of the physical balances (conservation laws) of these quantities, and prove they are equivalent to the usual conservation law formulations. We then show that continuous Galerkin discretizations of the Navier-Stokes equations using the EMAC form of the nonli…
▽ More
We consider local balances of momentum and angular momentum for the incompressible Navier-Stokes equations. First, we formulate new weak forms of the physical balances (conservation laws) of these quantities, and prove they are equivalent to the usual conservation law formulations. We then show that continuous Galerkin discretizations of the Navier-Stokes equations using the EMAC form of the nonlinearity preserve discrete analogues of the weak form conservation laws, both in the Eulerian formulation and the Lagrangian formulation (which are not equivalent after discretizations). Numerical tests illustrate the new theory.
△ Less
Submitted 22 August, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
On equilibrium states of fluid membranes
Authors:
Maxim A. Olshanskii
Abstract:
The paper studies the equilibrium configurations of inextensible elastic membranes exhibiting lateral fluidity. Using a continuum description of the membrane's motions based on the surface Navier--Stokes equations with bending forces, the paper derives differential equations governing the mechanical equilibrium. The equilibrium conditions are found to be independent of lateral viscosity and relate…
▽ More
The paper studies the equilibrium configurations of inextensible elastic membranes exhibiting lateral fluidity. Using a continuum description of the membrane's motions based on the surface Navier--Stokes equations with bending forces, the paper derives differential equations governing the mechanical equilibrium. The equilibrium conditions are found to be independent of lateral viscosity and relate tension, pressure, and tangential velocity of the fluid. These conditions suggest that either the lateral fluid motion ceases or non-decaying stationary flow of mass can only be supported by surfaces with Killing vector fields, such as axisymmetric shapes. A shape equation is derived that extends the classical Helfrich model with an area constraint to membranes of non-negligible mass. Furthermore, the paper suggests a simple numerical method to compute solutions of the shape equation. Numerical experiments conducted reveal a diverse family of equilibrium configurations. The stability of equilibrium states involving lateral flow of mass remains an unresolved question.
△ Less
Submitted 27 May, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Tensorial parametric model order reduction of nonlinear dynamical systems
Authors:
Alexander V. Mamonov,
Maxim A. Olshanskii
Abstract:
For a nonlinear dynamical system that depends on parameters, the paper introduces a novel tensorial reduced-order model (TROM). The reduced model is projection-based, and for systems with no parameters involved, it resembles proper orthogonal decomposition (POD) combined with the discrete empirical interpolation method (DEIM). For parametric systems, TROM employs low-rank tensor approximations in…
▽ More
For a nonlinear dynamical system that depends on parameters, the paper introduces a novel tensorial reduced-order model (TROM). The reduced model is projection-based, and for systems with no parameters involved, it resembles proper orthogonal decomposition (POD) combined with the discrete empirical interpolation method (DEIM). For parametric systems, TROM employs low-rank tensor approximations in place of truncated SVD, a key dimension-reduction technique in POD with DEIM. Three popular low-rank tensor compression formats are considered for this purpose: canonical polyadic, Tucker, and tensor train. The use of multilinear algebra tools allows the incorporation of information about the parameter dependence of the system into the reduced model and leads to a POD-DEIM type ROM that (i) is parameter-specific (localized) and predicts the system dynamics for out-of-training set (unseen) parameter values, (ii) mitigates the adverse effects of high parameter space dimension, (iii) has online computational costs that depend only on tensor compression ranks but not on the full-order model size, and (iv) achieves lower reduced space dimensions compared to the conventional POD-DEIM ROM. The paper explains the method, analyzes its prediction power, and assesses its performance for two specific parameter-dependent nonlinear dynamical systems.
△ Less
Submitted 14 November, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
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.
-
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.
-
Interpolatory tensorial reduced order models for parametric dynamical systems
Authors:
Alexander V. Mamonov,
Maxim A. Olshanskii
Abstract:
The paper introduces a reduced order model (ROM) for numerical integration of a dynamical system which depends on multiple parameters. The ROM is a projection of the dynamical system on a low dimensional space that is both problem-dependent and parameter-specific. The ROM exploits compressed tensor formats to find a low rank representation for a sample of high-fidelity snapshots of the system stat…
▽ More
The paper introduces a reduced order model (ROM) for numerical integration of a dynamical system which depends on multiple parameters. The ROM is a projection of the dynamical system on a low dimensional space that is both problem-dependent and parameter-specific. The ROM exploits compressed tensor formats to find a low rank representation for a sample of high-fidelity snapshots of the system state. This tensorial representation provides ROM with an orthogonal basis in a universal space of all snapshots and encodes information about the state variation in parameter domain. During the online phase and for any incoming parameter, this information is used to find a reduced basis that spans a parameter-specific subspace in the universal space. The computational cost of the online phase then depends only on tensor compression ranks, but not on space or time resolution of high-fidelity computations. Moreover, certain compressed tensor formats enable to avoid the adverse effect of parameter space dimension on the online costs (known as the curse of dimension). The analysis of the approach includes an estimate for the representation power of the acquired ROM basis. We illustrate the performance and prediction properties of the ROM with several numerical experiments, where tensorial ROM's complexity and accuracy is compared to those of conventional POD-ROM.
△ Less
Submitted 12 May, 2022; v1 submitted 31 October, 2021;
originally announced November 2021.
-
A monolithic fluid-porous structure interaction finite element method
Authors:
Alexander Lozovskiy,
Maxim A. Olshanskii,
Yuri V. Vassilevski
Abstract:
The paper introduces a fully discrete quasi-Lagrangian finite element method for a monolithic formulation of a fluid-porous structure interaction problem. The method is second order in time and allows a standard $P_2-P_1$ (Taylor--Hood) finite element spaces for fluid problems in both fluid and porous domains. The performance of the method is illustrated on a series of numerical experiments.
The paper introduces a fully discrete quasi-Lagrangian finite element method for a monolithic formulation of a fluid-porous structure interaction problem. The method is second order in time and allows a standard $P_2-P_1$ (Taylor--Hood) finite element spaces for fluid problems in both fluid and porous domains. The performance of the method is illustrated on a series of numerical experiments.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Speed-direction description of turbulent flows
Authors:
Maxim A. Olshanskii
Abstract:
In this note we introduce speed and direction variables to describe the motion of incompressible viscous flows. Fluid velocity ${\bf u}$ is decomposed into ${\bf u}=u{\bf r}$, with $u=|{\bf u}|$ and ${\bf r}={\bf u}/|{\bf u}|$. We consider a directional split of the Navier-Stokes equations into a coupled system of equations for $u$ and for ${\bf r}$. Equation for $u$ is particularly simple but sol…
▽ More
In this note we introduce speed and direction variables to describe the motion of incompressible viscous flows. Fluid velocity ${\bf u}$ is decomposed into ${\bf u}=u{\bf r}$, with $u=|{\bf u}|$ and ${\bf r}={\bf u}/|{\bf u}|$. We consider a directional split of the Navier-Stokes equations into a coupled system of equations for $u$ and for ${\bf r}$. Equation for $u$ is particularly simple but solely maintains the energy balance of the system. Under the assumption of a weak correlation between fluctuations in speed and direction in a developed turbulent flow, we further illustrate the application of $u$-${\bf r}$ variables to describe mean statistics of a shear turbulence. The standard (full) Reynolds stress tensor does not appear in a resulting equation for the mean flow profile.
△ Less
Submitted 18 November, 2020; v1 submitted 22 September, 2020;
originally announced September 2020.
-
A stable method for 4D CT-based CFD simulation in the right ventricle of a TGA patient
Authors:
Alexander Danilov,
Yushui Han,
Chun H. Lin,
Alexander Lozovskiy,
Maxim A. Olshanskii,
Victoria Yu. Salamatova,
Yuri V. Vassilevski
Abstract:
The paper discusses a stabilization of a finite element method for the equations of fluid motion in a time-dependent domain. After experimental convergence analysis, the method is applied to simulate a blood flow in the right ventricle of a post-surgery patient with the transposition of the great arteries disorder. The flow domain is reconstructed from a sequence of 4D CT images. The corresponding…
▽ More
The paper discusses a stabilization of a finite element method for the equations of fluid motion in a time-dependent domain. After experimental convergence analysis, the method is applied to simulate a blood flow in the right ventricle of a post-surgery patient with the transposition of the great arteries disorder. The flow domain is reconstructed from a sequence of 4D CT images. The corresponding segmentation and triangulation algorithms are also addressed in brief.
△ Less
Submitted 20 September, 2020;
originally announced September 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.
-
Longer time accuracy for incompressible Navier-Stokes simulations with the EMAC formulation
Authors:
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
In this paper, we consider the recently introduced EMAC formulation for the incompressible Navier-Stokes (NS) equations, which is the only known NS formulation that conserves energy, momentum and angular momentum when the divergence constraint is only weakly enforced. Since its introduction, the EMAC formulation has been successfully used for a wide variety of fluid dynamics problems. We prove tha…
▽ More
In this paper, we consider the recently introduced EMAC formulation for the incompressible Navier-Stokes (NS) equations, which is the only known NS formulation that conserves energy, momentum and angular momentum when the divergence constraint is only weakly enforced. Since its introduction, the EMAC formulation has been successfully used for a wide variety of fluid dynamics problems. We prove that discretizations using the EMAC formulation are potentially better than those built on the commonly used skew-symmetric formulation, by deriving a better longer time error estimate for EMAC: while the classical results for schemes using the skew-symmetric formulation have Gronwall constants dependent on $\exp(C\cdot Re\cdot T)$ with $Re$ the Reynolds number, it turns out that the EMAC error estimate is free from this explicit exponential dependence on the Reynolds number. Additionally, it is demonstrated how EMAC admits smaller lower bounds on its velocity error, since {incorrect treatment of linear momentum, angular momentum and energy induces} lower bounds for $L^2$ velocity error, and EMAC treats these quantities more accurately. Results of numerical tests for channel flow past a cylinder and 2D Kelvin-Helmholtz instability are also given, both of which show that the advantages of EMAC over the skew-symmetric formulation increase as the Reynolds number gets larger and for longer simulation times.
△ Less
Submitted 25 June, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
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.
-
An unfitted finite element method for the Darcy problem in a fracture network
Authors:
Alexey Y. Chernyshenko,
Maxim A. Olshanskii
Abstract:
The paper develops an unfitted finite element method for solving the Darcy system of equations posed in a network of fractures embedded in a porous matrix. The approach builds on the Hughes--Masud stabilized formulation of the Darcy problem and the trace finite element method. The system of fractures is allowed to cut through the background mesh in an arbitrary way. Moreover, the fractures are not…
▽ More
The paper develops an unfitted finite element method for solving the Darcy system of equations posed in a network of fractures embedded in a porous matrix. The approach builds on the Hughes--Masud stabilized formulation of the Darcy problem and the trace finite element method. The system of fractures is allowed to cut through the background mesh in an arbitrary way. Moreover, the fractures are not triangulated in the common sense and the junctions of fractures are not fitted by the mesh. To couple the flow variables at multiple fracture junctions, we extend the Hughes--Masud formulation by including penalty terms to handle interface conditions. One observation made here is that by over-penalizing the pressure continuity interface condition one can avoid including additional jump terms along the fracture junctions. This simplifies the formulation while ensuring the optimal convergence order of the method. The application of the trace finite element allows to treat both planar and curvilinear fractures with the same ease. The paper presents convergence analysis and assesses the performance of the method in a series of numerical experiments. For the background mesh we use an octree grid with cubic cells. The flow in the fracture can be easily coupled with the flow in matrix, but we do not pursue the topic of discretizing such coupled system here.
△ Less
Submitted 2 September, 2019; v1 submitted 15 March, 2019;
originally announced March 2019.
-
A penalty finite element method for a fluid system posed on embedded surface
Authors:
Maxim A. Olshanskii,
Vladimir Yushutin
Abstract:
The paper introduces a finite element method for the incompressible Navier--Stokes equations posed on a closed surface $Γ\subset\R^3$. The method needs a shape regular tetrahedra mesh in $\mathbb{R}^3$ to discretize equations on the surface, which can cut through this mesh in a fairly arbitrary way. Stability and error analysis of the fully discrete (in space and in time) scheme is given. The tang…
▽ More
The paper introduces a finite element method for the incompressible Navier--Stokes equations posed on a closed surface $Γ\subset\R^3$. The method needs a shape regular tetrahedra mesh in $\mathbb{R}^3$ to discretize equations on the surface, which can cut through this mesh in a fairly arbitrary way. Stability and error analysis of the fully discrete (in space and in time) scheme is given. The tangentiality condition for the velocity field on $Γ$ is enforced weakly by a penalty term. The paper studies both theoretically and numerically the dependence of the error on the penalty parameter. Several numerical examples demonstrate convergence and conservation properties of the finite element method.
△ Less
Submitted 18 June, 2018;
originally announced June 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 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.
-
Efficient discretizations for the EMAC formulation of the incompressible Navier-Stokes equations
Authors:
Sergey Charnyi,
Timo Heister,
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
We study discretizations of the incompressible Navier-Stokes equations, written in the newly developed energy-momentum-angular momentum conserving (EMAC) formulation. We consider linearizations of the problem, which at each time step will reduce the computational cost, but can alter the conservation properties. We show that a skew-symmetrized linearization delivers the correct balance of (only) en…
▽ More
We study discretizations of the incompressible Navier-Stokes equations, written in the newly developed energy-momentum-angular momentum conserving (EMAC) formulation. We consider linearizations of the problem, which at each time step will reduce the computational cost, but can alter the conservation properties. We show that a skew-symmetrized linearization delivers the correct balance of (only) energy and that the Newton linearization conserves momentum and angular momentum, but conserves energy only up to the nonlinear residual. Numerical tests show that linearizing with 2 Newton steps at each time step is very effective at preserving all conservation laws at once, and giving accurate answers on long time intervals. The tests also show that the skew-symmetrized linearization is significantly less accurate. The tests also show that the Newton linearization of EMAC finite element formulation compares favorably to other traditionally used finite element formulation of the incompressible Navier-Stokes equations in primitive variables.
△ Less
Submitted 3 December, 2017;
originally announced December 2017.
-
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 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.
-
On well-posedness of a velocity-vorticity formulation of the Navier-Stokes equations with no-slip boundary conditions
Authors:
Maxim A. Olshanskii,
Leo G. Rebholz,
Abner J. Salgado
Abstract:
We study well-posedness of a velocity-vorticity formulation of the Navier--Stokes equations, supplemented with no-slip velocity boundary conditions, a no-penetration vorticity boundary condition, along with a natural vorticity boundary condition depending on a pressure functional. In the stationary case we prove existence and uniqueness of a suitable weak solution to the system under a small data…
▽ More
We study well-posedness of a velocity-vorticity formulation of the Navier--Stokes equations, supplemented with no-slip velocity boundary conditions, a no-penetration vorticity boundary condition, along with a natural vorticity boundary condition depending on a pressure functional. In the stationary case we prove existence and uniqueness of a suitable weak solution to the system under a small data condition. The topic of the paper is driven by recent developments of vorticity based numerical methods for the Navier--Stokes equations.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
A quasi-Lagrangian finite element method for the Navier-Stokes equations in a time-dependent domain
Authors:
Alexander Lozovskiy,
Maxim A. Olshanskii,
Yuri V. Vassilevski
Abstract:
The paper develops a finite element method for the Navier-Stokes equations of incompressible viscous fluid in a time-dependent domain. The method builds on a quasi-Lagrangian formulation of the problem. The paper provides stability and convergence analysis of the fully discrete (finite-difference in time and finite-element in space) method. The analysis does not assume any CFL time-step restrictio…
▽ More
The paper develops a finite element method for the Navier-Stokes equations of incompressible viscous fluid in a time-dependent domain. The method builds on a quasi-Lagrangian formulation of the problem. The paper provides stability and convergence analysis of the fully discrete (finite-difference in time and finite-element in space) method. The analysis does not assume any CFL time-step restriction, it rather needs mild conditions of the form $Δt\le C$, where $C$ depends only on problem data, and $h^{2m_u+2}\le c\,Δt$, $m_u$ is polynomial degree of velocity finite element space. Both conditions result from a numerical treatment of practically important non-homogeneous boundary conditions. The theoretically predicted convergence rate is confirmed by a set of numerical experiments. Further we apply the method to simulate a flow in a simplified model of the left ventricle of a human heart, where the ventricle wall dynamics is reconstructed from a sequence of contrast enhanced Computed Tomography images.
△ Less
Submitted 11 May, 2018; v1 submitted 20 July, 2017;
originally announced July 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.
-
A hybrid finite volume -- finite element method for bulk--surface coupled problems
Authors:
Alexey Y. Chernyshenko,
Maxim A. Olshanskii,
Yuri V. Vassilevski
Abstract:
The paper develops a hybrid method for solving a system of advection--diffusion equations in a bulk domain coupled to advection--diffusion equations on an embedded surface. A monotone nonlinear finite volume method for equations posed in the bulk is combined with a trace finite element method for equations posed on the surface. In our approach, the surface is not fitted by the mesh and is allowed…
▽ More
The paper develops a hybrid method for solving a system of advection--diffusion equations in a bulk domain coupled to advection--diffusion equations on an embedded surface. A monotone nonlinear finite volume method for equations posed in the bulk is combined with a trace finite element method for equations posed on the surface. In our approach, the surface is not fitted by the mesh and is allowed to cut through the background mesh in an arbitrary way. Moreover, a triangulation of the surface into regular shaped elements is not required. The background mesh is an octree grid with cubic cells. As an example of an application, we consider the modeling of contaminant transport in fractured porous media. One standard model leads to a coupled system of advection--diffusion equations in a bulk (matrix) and along a surface (fracture). A series of numerical experiments with both steady and unsteady problems and different embedded geometries illustrate the numerical properties of the hybrid approach. The method demonstrates great flexibility in handling curvilinear or branching lower dimensional embedded structures.
△ Less
Submitted 4 June, 2018; v1 submitted 31 December, 2016;
originally announced January 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.
-
A trace finite element method for PDEs on evolving surfaces
Authors:
Maxim A. Olshanskii,
Xianmin Xu
Abstract:
In this paper, we propose an approach for solving PDEs on evolving surfaces using a combination of the trace finite element method and a fast marching method. The numerical approach is based on the Eulerian description of the surface problem and employs a time-independent background mesh that is not fitted to the surface. The surface and its evolution may be given implicitly, for example, by the l…
▽ More
In this paper, we propose an approach for solving PDEs on evolving surfaces using a combination of the trace finite element method and a fast marching method. The numerical approach is based on the Eulerian description of the surface problem and employs a time-independent background mesh that is not fitted to the surface. The surface and its evolution may be given implicitly, for example, by the level set method. Extension of the PDE off the surface is not required. The method introduced in this paper naturally allows a surface to undergo topological changes and experience local geometric singularities. In the simplest setting, the numerical method is second order accurate in space and time. Higher order variants are feasible, but not studied in this paper. We show results of several numerical experiments, which demonstrate the convergence properties of the method and its ability to handle the case of the surface with topological changes.
△ Less
Submitted 10 February, 2017; v1 submitted 18 October, 2016;
originally announced October 2016.
-
An adaptive numerical method for free surface flows passing rigidly mounted obstacles
Authors:
Kirill D. Nikitin,
Maxim A. Olshanskii,
Kirill M. Terekhov,
Yuri V. Vassilevski,
Ruslan Yanbarisov
Abstract:
The paper develops a method for the numerical simulation of a free-surface flow of incompressible viscous fluid around a streamlined body. The body is a rigid stationary construction partially submerged in the fluid. The application we are interested in the paper is a flow around a surface mounted offshore oil platform. The numerical method builds on a hybrid finite volume / finite difference disc…
▽ More
The paper develops a method for the numerical simulation of a free-surface flow of incompressible viscous fluid around a streamlined body. The body is a rigid stationary construction partially submerged in the fluid. The application we are interested in the paper is a flow around a surface mounted offshore oil platform. The numerical method builds on a hybrid finite volume / finite difference discretization using adaptive octree cubic meshes. The mesh is dynamically refined towards the free surface and the construction. Special care is taken to devise a discretization for the case of curvilinear boundaries and interfaces immersed in the octree Cartesian background computational mesh. To demonstrate the accuracy of the method, we show the results for two benchmark problems: the sloshing 3D container and the channel laminar flow passing the 3D cylinder of circular cross-section. Further, we simulate numerically a flow with surface waves around an offshore oil platform for the realistic set of geophysical data.
△ Less
Submitted 9 February, 2017; v1 submitted 18 September, 2016;
originally announced September 2016.
-
On conservation laws of Navier-Stokes Galerkin discretizations
Authors:
Sergey Charnyi,
Timo Heister,
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
We study conservation properties of Galerkin methods for the incompressible Navier-Stokes equations, without the divergence constraint strongly enforced. In typical discretizations such as the mixed finite element method, the conservation of mass is enforced only weakly, and this leads to discrete solutions which may not conserve energy, momentum, angular momentum, helicity, or vorticity, even tho…
▽ More
We study conservation properties of Galerkin methods for the incompressible Navier-Stokes equations, without the divergence constraint strongly enforced. In typical discretizations such as the mixed finite element method, the conservation of mass is enforced only weakly, and this leads to discrete solutions which may not conserve energy, momentum, angular momentum, helicity, or vorticity, even though the physics of the Navier-Stokes equations dictate that they should. We aim in this work to construct discrete formulations that conserve as many physical laws as possible without utilizing a strong enforcement of the divergence constraint, and doing so leads us to a new formulation that conserves each of energy, momentum, angular momentum, enstrophy in 2D, helicity and vorticity (for reference, the usual convective formulation does not conserve most of these quantities). Several numerical experiments are performed, which verify the theory and test the new formulation.
△ Less
Submitted 20 January, 2017; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Finite stopping times for freely oscillating drop of a yield stress fluid
Authors:
Wanli Cheng,
Maxim A. Olshanskii
Abstract:
The paper addresses the question if there exists a finite stopping time for an unforced motion of a yield stress fluid with free surface. A variation inequality formulation is deduced for the problem of yield stress fluid dynamics with a free surface. Free surface is assumed to evolve with a normal velocity the flow. We also consider capillary forces acting along the free surface. Based on the var…
▽ More
The paper addresses the question if there exists a finite stopping time for an unforced motion of a yield stress fluid with free surface. A variation inequality formulation is deduced for the problem of yield stress fluid dynamics with a free surface. Free surface is assumed to evolve with a normal velocity the flow. We also consider capillary forces acting along the free surface. Based on the variational inequality formulation an energy equality is obtained, where kinetic and free energy rate of change is in a balance with the internal energy viscoplastic dissipation and the work of external forces. Further, the paper considers free small-amplitude oscillations of a droplet of Herschel-Bulkley fluid under the action of surface tension forces. Under certain assumptions it is shown that the finite stopping time $T_f$ of oscillations exists once the yield stress parameter is positive and the flow index $α$ satisfies ($α\ge1$). Results of several numerical experiments illustrate the analysis, reveal the dependence of $T_f$ on problem parameters and suggest an instantaneous transition of the whole drop from yielding state to the rigid one.
△ Less
Submitted 24 November, 2016; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Unconditional long-time stability of a velocity-vorticity method for the 2D Navier-Stokes equations
Authors:
Timo Heister,
Maxim A. Olshanskii,
Leo G. Rebholz
Abstract:
We prove unconditional long-time stability for a particular velocity-vorticity discretization of the 2D Navier-Stokes equations. The scheme begins with a formulation that uses the Lamb vector to couple the usual velocity-pressure system to the vorticity dynamics equation, and then discretizes with the finite element method in space and implicit-explicit BDF2 in time, with the vorticity equation de…
▽ More
We prove unconditional long-time stability for a particular velocity-vorticity discretization of the 2D Navier-Stokes equations. The scheme begins with a formulation that uses the Lamb vector to couple the usual velocity-pressure system to the vorticity dynamics equation, and then discretizes with the finite element method in space and implicit-explicit BDF2 in time, with the vorticity equation decoupling at each time step. We prove the method's vorticity and velocity are both long-time stable in the $L^2$ and $H^1$ norms, without any timestep restriction. Moreover, our analysis avoids the use of Gronwall-type estimates, which leads us to stability bounds with only polynomial (instead of exponential) dependence on the Reynolds number. Numerical experiments are given that demonstrate the effectiveness of the method.
△ Less
Submitted 25 November, 2015;
originally announced November 2015.
-
An adaptive octree finite element method for PDEs posed on surfaces
Authors:
Alexey Y. Chernyshenko,
Maxim A. Olshanskii
Abstract:
The paper develops a finite element method for partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method uses traces of bulk finite element functions on a surface embedded in a volumetric domain. The bulk finite element space is defined on an octree grid which is locally refined or coarsened depending on error indicators and estimated values of the surface curvat…
▽ More
The paper develops a finite element method for partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method uses traces of bulk finite element functions on a surface embedded in a volumetric domain. The bulk finite element space is defined on an octree grid which is locally refined or coarsened depending on error indicators and estimated values of the surface curvatures. The cartesian structure of the bulk mesh leads to easy and efficient adaptation process, while the trace finite element method makes fitting the mesh to the surface unnecessary. The number of degrees of freedom involved in computations is consistent with the two-dimension nature of surface PDEs. No parametrization of the surface is required; it can be given implicitly by a level set function. In practice, a variant of the marching cubes method is used to recover the surface with the second order accuracy. We prove the optimal order of accuracy for the trace finite element method in $H^1$ and $L^2$ surface norms for a problem with smooth solution and quasi-uniform mesh refinement. Experiments with less regular problems demonstrate optimal convergence with respect to the number of degrees of freedom, if grid adaptation is based on an appropriate error indicator. The paper shows results of numerical experiments for a variety of geometries and problems, including advection-diffusion equations on surfaces. Analysis and numerical results of the paper suggest that combination of cartesian adaptive meshes and the unfitted (trace) finite elements provide simple, efficient, and reliable tool for numerical treatment of PDEs posed on surfaces.
△ Less
Submitted 17 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.
-
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.
-
A narrow-band unfitted finite element method for elliptic PDEs posed on surfaces
Authors:
Maxim A. Olshanskii,
Danil Safin
Abstract:
The paper studies a method for solving elliptic partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method allows a surface to be given implicitly as a zero level of a level set function. A surface equation is extended to a narrow-band neighborhood of the surface. The resulting extended equation is a non-degenerate PDE and it is solved on a bulk mesh that is unali…
▽ More
The paper studies a method for solving elliptic partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method allows a surface to be given implicitly as a zero level of a level set function. A surface equation is extended to a narrow-band neighborhood of the surface. The resulting extended equation is a non-degenerate PDE and it is solved on a bulk mesh that is unaligned to the surface. An unfitted finite element method is used to discretize extended equations. Error estimates are proved for finite element solutions in the bulk domain and restricted to the surface. The analysis admits finite elements of a higher order and gives sufficient conditions for archiving the optimal convergence order in the energy norm. Several numerical examples illustrate the properties of the method.
△ Less
Submitted 14 January, 2015; v1 submitted 29 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.
-
A connection between filter stabilization and eddy viscosity models
Authors:
Maxim A. Olshanskii,
Xin Xiong
Abstract:
Recently, a new approach for the stabilization of the incompressible Navier-Stokes equations for higher Reynolds numbers was introduced based on the nonlinear differential filtering of solutions on every time step of a discrete scheme. In this paper, the stabilization is shown to be equivalent to a certain eddy-viscosity model in LES. This allows a refined analysis and further understanding of des…
▽ More
Recently, a new approach for the stabilization of the incompressible Navier-Stokes equations for higher Reynolds numbers was introduced based on the nonlinear differential filtering of solutions on every time step of a discrete scheme. In this paper, the stabilization is shown to be equivalent to a certain eddy-viscosity model in LES. This allows a refined analysis and further understanding of desired filter properties. We also consider the application of the filtering in a projection (pressure correction) method, the standard splitting algorithm for time integration of the incompressible fluid equations. The paper proves an estimate on the convergence of the filtered numerical solution to the corresponding DNS solution.
△ Less
Submitted 13 April, 2013; v1 submitted 18 February, 2013;
originally announced February 2013.
-
Non-degenerate Eulerian finite element method for solving PDEs on surfaces
Authors:
Alexey Y. Chernyshenko,
Maxim A. Olshanskii
Abstract:
The paper studies a method for solving elliptic partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method builds upon the formulation introduced in Bertalmio et al., J. Comput. Phys., 174 (2001), 759--780., where a surface equation is extended to a neighborhood of the surface. The resulting degenerate PDE is then solved in one dimension higher, but can be solved…
▽ More
The paper studies a method for solving elliptic partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method builds upon the formulation introduced in Bertalmio et al., J. Comput. Phys., 174 (2001), 759--780., where a surface equation is extended to a neighborhood of the surface. The resulting degenerate PDE is then solved in one dimension higher, but can be solved on a mesh that is unaligned to the surface. We introduce another extended formulation, which leads to uniformly elliptic (non-degenerate) equations in a bulk domain containing the surface. We apply a finite element method to solve this extended PDE and prove the convergence of finite element solutions restricted to the surface to the solution of the original surface problem. Several numerical examples illustrate the properties of the method.
△ Less
Submitted 20 January, 2013;
originally announced January 2013.
-
A finite element solver and energy stable coupling for 3D and 1D fluid models
Authors:
Tatiana K. Dobroserdova,
Maxim A. Olshanskii
Abstract:
The paper develops a solver based on a conforming finite element method for a 3D--1D coupled incompressible flow problem. New coupling conditions are introduced to ensure a suitable bound for the cumulative energy of the model. We study the stability and accuracy of the discretization method, and the performance of some state-of-the-art linear algebraic solvers for such flow configurations. Motiva…
▽ More
The paper develops a solver based on a conforming finite element method for a 3D--1D coupled incompressible flow problem. New coupling conditions are introduced to ensure a suitable bound for the cumulative energy of the model. We study the stability and accuracy of the discretization method, and the performance of some state-of-the-art linear algebraic solvers for such flow configurations. Motivated by the simulation of the flow over inferior vena cava (IVC) filter, we consider the coupling of a 1D fluid model and a 3D fluid model posed in a domain with anisotropic inclusions. The relevance of our approach to realistic cardiovascular simulations is demonstrated by computing a blood flow over a model IVC filter.
△ Less
Submitted 20 March, 2013; v1 submitted 16 January, 2013;
originally announced January 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.
