曲面上の流れを解く有限要素法の誤差を詳しく評価

In recent years a number of finite element methods have been developed for the surface Stokes equations. Constructing standard conforming surface finite element methods for the velocity-pressure formulation of this problem would require simultaneously enforcing $H^1$ conformity and tangentiality of the velocity field, which is not possible on the generalized polyhedral approximating surfaces on which surface FEM are typically posed. Thus methods for this problem weakly enforce either tangentiality or $H^1$ conformity of the velocity field. In this paper we provide an error analysis for an $H({\rm div})$-conforming method based on classical Brezzi-Douglas-Marini elements. In this method continuity of the velocity field is weakly enforced using an interior penalty-type formulation. Advantages of this formulation include exact enforcement of the incompressibility constraint and its construction based on a standard mixed finite element pair. Error analysis of this method in previous work was only valid for lowest-order elements and did not account for ``geometric errors'', i.e., variational crimes due to approximation of the continuous surface on which the PDE is posed by an approximating surface on which the finite element method is posed. Here we provide a full error analysis in a natural discontinuous Galerkin energy norm, with geometric errors accounted for. Optimal estimates for the $L_2$ velocity error are also presented. In the case of lowest-order (polyhedral) surface approximations, our proof of optimal $L_2$ estimates requires a stricter than usual condition on the placement of mesh nodes relative to the surface. Numerical experiments are used to illustrate our results.