Abstract. In this paper a new finite element approach for the discretization of elliptic partial differential equations on surfaces is treated. The main idea is to use finite element spaces that are induced by triangulations of an "outer" domain to discretize the partial differential equation on the surface. The method is particularly suitable for problems in which there is a coupling with a flow problem in an outer domain that contains the surface. We give an analysis that shows that the method has optimal order of convergence both in the H 1 -and in the L 2 -norm. Results of numerical experiments are included that confirm this optimality. 1. Introduction. Moving hypersurfaces and interfaces appear in many physical processes, for example, in multiphase flows and flows with free surfaces. Certain mathematical models involve elliptic partial differential equations posed on such surfaces. This happens, for example, in multiphase fluids if one takes so-called surface active agents (surfactants) into account. These surfactants induce tangential surface tension forces and thus cause Marangoni phenomena [9,10]. Numerical simulations play an important role in a better understanding and prediction of processes involving this or other surface phenomena. In mathematical models surface equations are often coupled with other equations that are formulated in a (fixed) domain which contains the surface. In such a setting a common approach is to use a splitting scheme that allows to solve at each time step a sequence of simpler (decoupled) equations. In doing so one has to solve numerically at each time step an elliptic type of equation on a surface. The surface may vary from one time step to another and usually only some discrete approximation of the surface is available. A well-known finite element method for solving elliptic equations on surfaces, initiated by the paper [5], consists of approximating the surface by a piecewise polygonal surface and using a finite element space on a triangulation of this discrete surface, cf. [3,9]. If the surface is changing in time, then this approach leads to time-dependent triangulations and time-dependent finite element spaces. Implementing this requires substantial data handling and programming effort. Another approach has recently been introduced in [2]. The method in that paper applies to cases in which the surface is given implicitly by some level set function, and the key idea is to solve the partial differential equation on a narrow band around the surface. Unfitted finite element spaces on this narrow band are used for discretization.

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 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.

We present a new high order finite element method for the discretization of partial differential equations on stationary smooth surfaces which are implicitly described as the zero level of a level set function. The discretization is based on a trace finite element technique. The higher discretization accuracy is obtained by using an isoparametric mapping of the volume mesh, based on the level set function, as introduced in [C. Lehrenfeld, High order unfitted finite element methods on level set domains using isoparametric mappings, Comp. Meth. Appl. Mech. Engrg. 2016]. The resulting trace finite element method is easy to implement. We present an error analysis of this method and derive optimal order H 1 (Γ)-norm error bounds. A second topic of this paper is a unified analysis of several stabilization methods for trace finite element methods. Only a stabilization method which is based on adding an anisotropic diffusion in the volume mesh is able to control the condition number of the stiffness matrix also for the case of higher order discretizations. Results of numerical experiments are included which confirm the theoretical findings on optimal order discretization errors and uniformly bounded condition numbers.

Abstract. In this paper a stabilizing augmented Lagrangian technique for the Stokes equations is studied. The method is consistent and hence does not change the continuous solution. We show that this stabilization improves the well-posedness of the continuous problem for small values of the viscosity coefficient. We analyze the influence of this stabilization on the accuracy of the finite element solution and on the convergence properties of the inexact Uzawa method.

No abstract