-
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.
-
A conservative Eulerian finite element method for transport and diffusion in moving domains
Authors:
Maxim Olshanskii,
Henry von Wahl
Abstract:
The paper introduces a finite element method for an Eulerian formulation of partial differential equations governing the transport and diffusion of a scalar quantity in a time-dependent domain. The method follows the idea from Lehrenfeld & Olshanskii [ESAIM: M2AN, 53(2): 585-614, 2019] of a solution extension to realise the Eulearian time-step** scheme. However, a reformulation of the partial di…
▽ More
The paper introduces a finite element method for an Eulerian formulation of partial differential equations governing the transport and diffusion of a scalar quantity in a time-dependent domain. The method follows the idea from Lehrenfeld & Olshanskii [ESAIM: M2AN, 53(2): 585-614, 2019] of a solution extension to realise the Eulearian time-step** scheme. However, a reformulation of the partial differential equation is suggested to derive a scheme which conserves the quantity under consideration exactly on the discrete level. For the spatial discretisation, the paper considers an unfitted finite element method. Ghost-penalty stabilisation is used to release the discrete solution extension and gives a scheme robust against arbitrary intersections between the mesh and geometry interface. The stability is analysed for both first- and second-order backward differentiation formula versions of the scheme. Several numerical examples in two and three spatial dimensions are included to illustrate the potential of this method.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Analysis of a tensor POD-ROM for parameter dependent parabolic problems
Authors:
Alexander V. Mamonov,
Maxim A. Olshanskii
Abstract:
A space-time-parameters structure of the 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 bot…
▽ More
A space-time-parameters structure of the 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 the 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 smoothness rather than on the Kolmogorov n-widths of the parameterized manifold of solutions. Theoretical results are illustrated with several numerical experiments.
△ Less
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 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 {\it 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…
▽ More
We consider {\it 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 11 September, 2023;
originally announced September 2023.
-
On fusogenicity of positively charged phased-separated lipid vesicles: experiments and computational simulations
Authors:
Yifei Wang,
Yerbol Palzhanov,
Dang Thien Dang,
Annalisa Quaini,
Maxim Olshanskii,
Sheereen Majd
Abstract:
This paper studies the fusogenicity of cationic liposomes in relation to their surface distribution of cationic lipids and utilizes membrane phase separation to control this surface distribution. It is found that concentrating the cationic lipids into small surface patches on liposomes, through phase-separation, can enhance liposome's fusogenicity. Further concentrating these lipids into smaller p…
▽ More
This paper studies the fusogenicity of cationic liposomes in relation to their surface distribution of cationic lipids and utilizes membrane phase separation to control this surface distribution. It is found that concentrating the cationic lipids into small surface patches on liposomes, through phase-separation, can enhance liposome's fusogenicity. Further concentrating these lipids into smaller patches on the surface of liposomes led to an increased level of fusogenicity. These experimental findings are supported by numerical simulations using a mathematical model for phase-separated charged liposomes. Findings of this study may be used for design and development of highly fusogenic liposomes with minimal level of toxicity.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
An Eulerian finite element method for the linearized Navier--Stokes problem in an evolving domain
Authors:
Michael Neilan,
Maxim Olshanskii
Abstract:
The paper addresses an error analysis of an Eulerian finite element method used for solving a linearized Navier--Stokes problem in a time-dependent domain. In this study, the domain's evolution is assumed to be known and independent of the solution to the problem at hand. The numerical method employed in the study combines a standard Backward Differentiation Formula (BDF)-type time-step** proced…
▽ More
The paper addresses an error analysis of an Eulerian finite element method used for solving a linearized Navier--Stokes problem in a time-dependent domain. In this study, the domain's evolution is assumed to be known and independent of the solution to the problem at hand. The numerical method employed in the study combines a standard Backward Differentiation Formula (BDF)-type time-step** procedure with a geometrically unfitted finite element discretization technique. Additionally, Nitsche's method is utilized to enforce the boundary conditions. The paper presents a convergence estimate for several velocity--pressure elements that are inf-sup stable. The estimate demonstrates optimal order convergence in the energy norm for the velocity component and a scaled $L^2(H^1)$-type norm for the pressure component.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
A scalar auxiliary variable unfitted FEM for the surface Cahn-Hilliard equation
Authors:
Maxim Olshanskii,
Yerbol Palzhanov,
Annalisa Quaini
Abstract:
The paper studies a scalar auxiliary variable (SAV) method to solve the Cahn-Hilliard equation with degenerate mobility posed on a smooth closed surface Γ. The SAV formulation is combined with adaptive time step** and a geometrically unfitted trace finite element method (TraceFEM), which embeds Γ in R3. The stability is proven to hold in an appropriate sense for both first- and second-order in t…
▽ More
The paper studies a scalar auxiliary variable (SAV) method to solve the Cahn-Hilliard equation with degenerate mobility posed on a smooth closed surface Γ. The SAV formulation is combined with adaptive time step** and a geometrically unfitted trace finite element method (TraceFEM), which embeds Γ in R3. The stability is proven to hold in an appropriate sense for both first- and second-order in time variants of the method. The performance of our SAV method is illustrated through a series of numerical experiments, which include systematic comparison with a stabilized semi-explicit method.
△ Less
Submitted 31 May, 2023;
originally announced June 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.
-
Lipid domain coarsening and fluidity in multicomponent lipid vesicles: A continuum based model and its experimental validation
Authors:
Y. Wang,
Y. Palzhanov,
A. Quaini,
M. Olshanskii,
S. Majd
Abstract:
Liposomes that achieve a heterogeneous and spatially organized surface through phase separation have been recognized to be a promising platform for delivery purposes. However, their design and optimization through experimentation can be expensive and time-consuming. To assist with the design and reduce the associated cost, we propose a computational platform for modeling membrane coarsening dynami…
▽ More
Liposomes that achieve a heterogeneous and spatially organized surface through phase separation have been recognized to be a promising platform for delivery purposes. However, their design and optimization through experimentation can be expensive and time-consuming. To assist with the design and reduce the associated cost, we propose a computational platform for modeling membrane coarsening dynamics based on the principles of continuum mechanics and thermodynamics. This model couples phase separation to lateral flow and accounts for different membrane fluidity within the different phases, which is known to affect the coarsening dynamics on lipid membranes. The simulation results are in agreement with the experimental data in terms of liquid ordered domains area fraction, total domains perimeter over time and total number of domains over time for two different membrane compositions (DOPC:DPPC with a 1:1 molar ratio with 15% Chol and DOPC:DPPC with a 1:2 molar ratio with 25% Chol) that yield opposite and nearly inverse phase behavior. This quantitative validation shows that the developed platform can be a valuable tool in complementing experimental practice. Keywords: Multicomponent Membranes; Membrane fluidity; Membrane Phase Separation; Computational Modeling; Fluorescence Microscopy; Liposomes
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
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 comparison of Cahn-Hilliard and Navier-Stokes-Cahn-Hilliard models on manifolds
Authors:
Maxim Olshanskii,
Yerbol Palzhanov,
Annalisa Quaini
Abstract:
We consider phase-field models with and without lateral flow for the numerical simulation of lateral phase separation and coarsening in lipid membranes. For the numerical solution of these models, we apply an unfitted finite element method that is flexible in handling complex and possibly evolving shapes in the absence of an explicit surface parametrization. Through several numerical tests, we inv…
▽ More
We consider phase-field models with and without lateral flow for the numerical simulation of lateral phase separation and coarsening in lipid membranes. For the numerical solution of these models, we apply an unfitted finite element method that is flexible in handling complex and possibly evolving shapes in the absence of an explicit surface parametrization. Through several numerical tests, we investigate the effect of the presence of lateral flow on the evolution of phases. In particular, we focus on understanding how variable line tension, viscosity, membrane composition, and surface shape affect the pattern formation. Keywords: Lateral phase separation, surface Cahn-Hilliard equation, lateral flow, surface Navier-Stokes-Cahn-Hilliard system, TraceFEM
△ Less
Submitted 29 October, 2021;
originally announced October 2021.
-
A CutFEM divergence-free discretization for the Stokes problem
Authors:
Haoran Liu,
Michael Neilan,
Maxim Olshanskii
Abstract:
We construct and analyze a CutFEM discretization for the Stokes problem based on the Scott-Vogelius pair. The discrete piecewise polynomial spaces are defined on macro-element triangulations which are not fitted to the smooth physical domain. Boundary conditions are imposed via penalization through the help of a Nitsche-type discretization, whereas stability with respect to small and anisotropic c…
▽ More
We construct and analyze a CutFEM discretization for the Stokes problem based on the Scott-Vogelius pair. The discrete piecewise polynomial spaces are defined on macro-element triangulations which are not fitted to the smooth physical domain. Boundary conditions are imposed via penalization through the help of a Nitsche-type discretization, whereas stability with respect to small and anisotropic cuts of the bulk elements is ensured by adding local ghost penalty stabilization terms. We show stability of the scheme as well as a divergence--free property of the discrete velocity outside an $O(h)$ neighborhood of the boundary. To mitigate the error caused by the violation of the divergence-free condition, we introduce local grad-div stabilization. The error analysis shows that the grad-div parameter can scale like $O(h^{-1})$, allowing a rather heavy penalty for the violation of mass conservation, while still ensuring optimal order error estimates.
△ Less
Submitted 9 August, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
A finite element method for two-phase flow with material viscous interface
Authors:
Maxim Olshanskii,
Annalisa Quaini,
Qi Sun
Abstract:
This paper studies a model of two-phase flow with an immersed material viscous interface and a finite element method for numerical solution of the resulting system of PDEs. The interaction between the bulk and surface media is characterized by no-penetration and slip with friction interface conditions. The system is shown to be dissipative and a model stationary problem is proved to be well-posed.…
▽ More
This paper studies a model of two-phase flow with an immersed material viscous interface and a finite element method for numerical solution of the resulting system of PDEs. The interaction between the bulk and surface media is characterized by no-penetration and slip with friction interface conditions. The system is shown to be dissipative and a model stationary problem is proved to be well-posed. The finite element method applied in this paper belongs to a family of unfitted discretizations. The performance of the method when model and discretization parameters vary is assessed. Moreover, an iterative procedure based on the splitting of the system into bulk and surface problems is introduced and studied numerically.
△ Less
Submitted 5 June, 2021;
originally announced June 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.
-
A decoupled, stable, and linear FEM for a phase-field model of variable density two-phase incompressible surface flow
Authors:
Yerbol Palzhanov,
Alexander Zhiliakov,
Annalisa Quaini,
Maxim Olshanskii
Abstract:
The paper considers a thermodynamically consistent phase-field model of a two-phase flow of incompressible viscous fluids. The model allows for a non-linear dependence of fluid density on the phase-field order parameter. Driven by applications in biomembrane studies, the model is written for tangential flows of fluids constrained to a surface and consists of (surface) Navier-Stokes-Cahn-Hilliard t…
▽ More
The paper considers a thermodynamically consistent phase-field model of a two-phase flow of incompressible viscous fluids. The model allows for a non-linear dependence of fluid density on the phase-field order parameter. Driven by applications in biomembrane studies, the model is written for tangential flows of fluids constrained to a surface and consists of (surface) Navier-Stokes-Cahn-Hilliard type equations. We apply an unfitted finite element method to discretize the system and introduce a fully discrete time-step** scheme with the following properties: (i) the scheme decouples the fluid and phase-field equation solvers at each time step, (ii) the resulting two algebraic systems are linear, and (iii) the numerical solution satisfies the same stability bound as the solution of the original system under some restrictions on the discretization parameters. Numerical examples are provided to demonstrate the stability, accuracy, and overall efficiency of the approach. Our computational study of several two-phase surface flows reveals some interesting dependencies of flow statistics on the geometry.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
An unfitted finite element method for two-phase Stokes problems with slip between phases
Authors:
Maxim Olshanskii,
Annalisa Quaini,
Qi Sun
Abstract:
We present an isoparametric unfitted finite element approach of the CutFEM or Nitsche-XFEM family for the simulation of two-phase Stokes problems with slip between phases. For the unfitted generalized Taylor--Hood finite element pair $\mathbf{P}_{k+1}-P_k$, $k\ge1$, we show an inf-sup stability property with a stability constant that is independent of the viscosity ratio, slip coefficient, positio…
▽ More
We present an isoparametric unfitted finite element approach of the CutFEM or Nitsche-XFEM family for the simulation of two-phase Stokes problems with slip between phases. For the unfitted generalized Taylor--Hood finite element pair $\mathbf{P}_{k+1}-P_k$, $k\ge1$, we show an inf-sup stability property with a stability constant that is independent of the viscosity ratio, slip coefficient, position of the interface with respect to the background mesh and, of course, mesh size. In addition, we prove stability and optimal error estimates that follow from this inf-sup property. We provide numerical results in two and three dimensions to corroborate the theoretical findings and demonstrate the robustness of our approach with respect to the contrast in viscosity, slip coefficient value, and position of the interface relative to the fixed computational mesh.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
Recycling augmented Lagrangian preconditioner in an incompressible fluid solver
Authors:
Maxim Olshanskii,
Alexander Zhiliakov
Abstract:
The paper discusses a reuse of matrix factorization as a building block in the Augmented Lagrangian (AL) and modified AL preconditioners for non-symmetric saddle point linear algebraic systems. The strategy is applied to solve two-dimensional incompressible fluid problems with efficiency rates independent of the Reynolds number. The solver is then tested to simulate motion of a surface fluid, an e…
▽ More
The paper discusses a reuse of matrix factorization as a building block in the Augmented Lagrangian (AL) and modified AL preconditioners for non-symmetric saddle point linear algebraic systems. The strategy is applied to solve two-dimensional incompressible fluid problems with efficiency rates independent of the Reynolds number. The solver is then tested to simulate motion of a surface fluid, an example of a 2D flow motivated by an interest in lateral fluidity of inextensible viscous membranes. Numerical examples include the Kelvin--Helmholtz instability problem posed on the sphere and on the torus. Some new eigenvalue estimates for the AL preconditioner are derived.
△ Less
Submitted 15 January, 2022; v1 submitted 18 December, 2020;
originally announced December 2020.
-
A finite element method for Allen-Cahn equation on deforming surface
Authors:
Maxim Olshanskii,
Xianmin Xu,
Vladimir Yushutin
Abstract:
The paper studies an Allen-Cahn-type equation defined on a time-dependent surface as a model of phase separation with order-disorder transition in a thin material layer. By a formal inner-outer expansion, it is shown that the limiting behavior of the solution is a geodesic mean curvature type flow in reference coordinates. A geometrically unfitted finite element method, known as a trace FEM, is co…
▽ More
The paper studies an Allen-Cahn-type equation defined on a time-dependent surface as a model of phase separation with order-disorder transition in a thin material layer. By a formal inner-outer expansion, it is shown that the limiting behavior of the solution is a geodesic mean curvature type flow in reference coordinates. A geometrically unfitted finite element method, known as a trace FEM, is considered for the numerical solution of the equation. The paper provides full stability analysis and convergence analysis that accounts for interpolation errors and an approximate recovery of the geometry.
△ Less
Submitted 26 May, 2021; v1 submitted 18 July, 2020;
originally announced July 2020.
-
Experimental validation of a phase-field model to predict coarsening dynamics of lipid domains in multicomponent membranes
Authors:
Alexander Zhiliakov,
Yifei Wang,
Annalisa Quaini,
Maxim Olshanskii,
Sheereen Majd
Abstract:
Membrane phase-separation is a mechanism that biological membranes often use to locally concentrate specific lipid species in order to organize diverse membrane processes. Phase separation has also been explored as a tool for the design of liposomes with heterogeneous and spatially organized surfaces. These "patchy" liposomes are promising platforms for delivery purposes, however their design and…
▽ More
Membrane phase-separation is a mechanism that biological membranes often use to locally concentrate specific lipid species in order to organize diverse membrane processes. Phase separation has also been explored as a tool for the design of liposomes with heterogeneous and spatially organized surfaces. These "patchy" liposomes are promising platforms for delivery purposes, however their design and optimization through experimentation can be expensive and time-consuming. We developed a computationally efficient method based on the surface Cahn-Hilliard phase-field model to complement experimental investigations in the design of patchy liposomes. The method relies on thermodynamic considerations to set the initial state for numerical simulations. We show that our computational approach delivers not only qualitative pictures, but also accurate quantitative information about the dynamics of the membrane organization. In particular, the computational and experimental results are in excellent agreement in terms of raft area fraction, total raft perimeter over time and total number of rafts over time for two different membrane compositions (DOPC:DPPC with a 2:1 molar ratio with 20% Chol and DOPC:DPPC with a 3:1 molar ratio with 20% Chol). Thus, the computational phase-field model informed by experiments has a considerable potential to assist in the design of liposomes with spatially organized surfaces, thereby containing the cost and time required by the design process.
△ Less
Submitted 24 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.
-
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.
-
Numerical modelling of phase separation on dynamic surfaces
Authors:
Vladimir Yushutin,
Annalisa Quaini,
Maxim Olshanskii
Abstract:
The paper presents a model of lateral phase separation in a two component material surface. The resulting fourth order nonlinear PDE can be seen as a Cahn-Hilliard equation posed on a time-dependent surface. Only elementary tangential calculus and the embedding of the surface in $\mathbb{R}^3$ are used to formulate the model, thereby facilitating the development of a fully Eulerian discretization…
▽ More
The paper presents a model of lateral phase separation in a two component material surface. The resulting fourth order nonlinear PDE can be seen as a Cahn-Hilliard equation posed on a time-dependent surface. Only elementary tangential calculus and the embedding of the surface in $\mathbb{R}^3$ are used to formulate the model, thereby facilitating the development of a fully Eulerian discretization method to solve the problem numerically. A hybrid method, finite difference in time and trace finite element in space, is introduced and stability of its semi-discrete version is proved. The method avoids any triangulation of the surface and uses a surface-independent background mesh to discretize the equation. Thus, the method is capable of solving the Cahn-Hilliard equation numerically on implicitly defined surfaces and surfaces undergoing strong deformations and topological transitions. We assess the approach on a set of test problems and apply it to model spinodal decomposition and pattern formation on colliding surfaces. Finally, we consider the phase separation on a sphere splitting into two droplets.
△ Less
Submitted 25 July, 2019;
originally announced July 2019.
-
New stability estimates for an unfitted finite element method for two-phase Stokes problem
Authors:
Ernesto Cáceres,
Johnny Guzmán,
Maxim Olshanskii
Abstract:
The paper addresses stability and finite element analysis of the stationary two-phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is…
▽ More
The paper addresses stability and finite element analysis of the stationary two-phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is extended to the approximation of the two-phase Stokes problem by a finite element method. In the method considered, the interface between the phases does not respect the underlying triangulation, which put the finite element method into the class of unfitted discretizations. The finite element error estimates are proved with constants independent of viscosity. Numerical experiments supporting the theoretical results are provided.
△ Less
Submitted 21 April, 2020; v1 submitted 6 June, 2019;
originally announced June 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 computational study of lateral phase separation in biological membranes
Authors:
Vladimir Yushutin,
Annalisa Quaini,
Sheereen Majd,
Maxim Olshanskii
Abstract:
Conservative and non-conservative phase-field models are considered for the numerical simulation of lateral phase separation and coarsening in biological membranes. An unfitted finite element method is devised for these models to allow for a flexible treatment of complex shapes in the absence of an explicit surface parametrization. For a set of biologically relevant shapes and parameter values, th…
▽ More
Conservative and non-conservative phase-field models are considered for the numerical simulation of lateral phase separation and coarsening in biological membranes. An unfitted finite element method is devised for these models to allow for a flexible treatment of complex shapes in the absence of an explicit surface parametrization. For a set of biologically relevant shapes and parameter values, the paper compares the dynamic coarsening produced by conservative and non-conservative numerical models, its dependence on certain geometric characteristics and convergence to the final equilibrium
△ Less
Submitted 5 January, 2019; v1 submitted 20 August, 2018;
originally announced August 2018.
-
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.
-
Inf-sup stability of geometrically unfitted Stokes finite elements
Authors:
Johnny Guzmán,
Maxim Olshanskii
Abstract:
The paper shows an inf-sup stability property for several well-known 2D and 3D Stokes elements on triangulations which are not fitted to a given smooth or polygonal domain. The property implies stability and optimal error estimates for a class of unfitted finite element methods for the Stokes and Stokes interface problems, such as Nitsche-XFEM or cutFEM. The error analysis is presented for the Sto…
▽ More
The paper shows an inf-sup stability property for several well-known 2D and 3D Stokes elements on triangulations which are not fitted to a given smooth or polygonal domain. The property implies stability and optimal error estimates for a class of unfitted finite element methods for the Stokes and Stokes interface problems, such as Nitsche-XFEM or cutFEM. The error analysis is presented for the Stokes problem. All assumptions made in the paper are satisfied once the background mesh is shape-regular and fine enough.
△ Less
Submitted 20 April, 2017; v1 submitted 31 May, 2016;
originally announced May 2016.
-
Numerical integration over implicitly defined domains for higher order unfitted finite element methods
Authors:
Maxim Olshanskii,
Danil Safin
Abstract:
The paper studies several approaches to numerical integration over a domain defined implicitly by an indicator function such as the level set function. The integration methods are based on subdivision, moment--fitting, local quasi-parametrization and Monte-Carlo techniques. As an application of these techniques, the paper addresses numerical solution of elliptic PDEs posed on domains and manifolds…
▽ More
The paper studies several approaches to numerical integration over a domain defined implicitly by an indicator function such as the level set function. The integration methods are based on subdivision, moment--fitting, local quasi-parametrization and Monte-Carlo techniques. As an application of these techniques, the paper addresses numerical solution of elliptic PDEs posed on domains and manifolds defined implicitly. A higher order unfitted finite element method (FEM) is assumed for the discretization. In such a method the underlying mesh is not fitted to the geometry, and hence the errors of numerical integration over curvilinear elements affect the accuracy of the finite element solution together with approximation errors. The paper studies the numerical complexity of the integration procedures and the performance of unfitted FEMs which employ these tools.
△ Less
Submitted 22 January, 2016;
originally announced January 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.
-
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.