General theory of interpolation error estimates on anisotropic meshes
Hiroki Ishizaka, Kenta Kobayashi, Takuya Tsuchiya
备注:
29 pages, 2 figures. In "General theory of interpolation error estimates on anisotropic meshes" (Japan Journal of Industrial and Applied Mathematics, 38 (2021) 163-191), Theorem 2 has been found to be incorrect and misleading. Corrections to an error are given in "General theory of interpolation error estimates on anisotropic meshes, part II", arXiv:2106.03339
We propose a general theory of estimating interpolation error for smooth functions in two and three dimensions. In our theory, the error of interpolation is bound in terms of the diameter of a simplex and a geometric parameter. In the two-dimensional case, our geometric parameter is equivalent to the circumradius of a triangle. In the three-dimensional case, our geometric parameter also represents the flatness of a tetrahedron. Through the introduction of the geometric parameter, the error estimates newly obtained can be applied to cases that violate the maximum-angle condition.
A MATLAB program for computing differentiation matrices for arbitrary one-dimensional meshes is presented in this manuscript. The differentiation matrices for a mesh of N arbitrarily spaced points are formed from those obtained using Lagrangian interpolation on stencils of a fixed but arbitrary number M<=N of contiguous mesh points. For the particular case M=N and meshes with Chebyshev or Legendre distributions of points, the program yields the well known spectral differentiation matrices. For M<N and M odd, the differentiation matrices coincide, for the special case of an evenly spaced mesh, …
A finite element cochain complex on Cartesian meshes of any dimension based on the H1-inner product is introduced. It yields H1-conforming finite element spaces with exterior derivatives in H1. We use a tensor product construction to obtain L2-stable projectors into these spaces which commute with the exterior derivative. The finite element complex is generalized to a family of arbitrary order.
We introduce interpolation operators with approximation and stability properties suited for parabolic problems in primal and mixed formulations. We derive localized error estimates for tensor product meshes (occurring in classical time-marching schemes) as well as locally in space-time refined meshes.
Solution interpolation between deforming meshes is an important component for several applications in scientific computing, including indirect arbitrary-Lagrangian-Eulerian and rezoning moving mesh methods in numerical solution of partial differential equations. In this paper, a high-order, conservative, and positivity-preserving interpolation scheme is developed based on the discontinuous Galerkin solution of a linear time-dependent equation on deforming meshes. The scheme works for bounded but otherwise arbitrary mesh deformation from the old mesh to the new one. The cost and positivity pres…
This paper analyzes the Scott-Vogelius divergence-free element pair on anisotropic meshes. Weexplore the behavior of the inf-sup stability constant with respect to the aspect ratio on meshes generated with astandard barycenter mesh refinement strategy, as well as a newly introduced incenter refinement strategy. Numericalexperiments are presented which support the theoretical results
Discontinuous Galerkin (DG) methods are extensions of the usual Galerkin finite element methods. Although there are vast amount of studies on DG methods, most of them have assumed shape-regularity conditions on meshes for both theoretical error analysis and practical computations. In this paper, we present a new symmetric interior penalty DG scheme with a modified penalty term. We show that, without imposing the shape-regularity condition on the meshes, the new DG scheme inherits all of the good properties of standard DG methods, and is thus robust on anisotropic meshes. Numerical experiments …
Anisotropic mesh quality measures and anisotropic mesh adaptation are studied for polygonal meshes. Three sets of alignment and equidistribution measures are developed, one based on least squares fitting, one based on generalized barycentric mapping, and the other based on singular value decomposition of edge matrices. Numerical tests show that all three sets of mesh quality measures provide good measurements for the quality of polygonal meshes under given metrics. Based on one of these sets of quality measures and using a moving mesh partial differential equation, an anisotropic adaptive poly…
Lower a posteriori error bounds obtained using the standard bubble function approach are reviewed in the context of anisotropic meshes. A numerical example is given that clearly demonstrates that the short-edge jump residual terms in such bounds are not sharp. Hence, for linear finite element approximations of the Laplace equation in polygonal domains, a new approach is employed to obtain essentially sharper lower a posteriori error bounds and thus to show that the upper error estimator in the recent paper [N. Kopteva, Numer. Math., 137 (2017), 607-642] is efficient on certain anisotropic mesh…
We investigate the piecewise linear nonconforming Crouzeix-Raviar and the lowest order Raviart-Thomas finite-element methods for the Poisson problem on three-dimensional anisotropic meshes. We first give error estimates of the Crouzeix-Raviart and the Raviart-Thomas finite-element approximate problems. We next present the equivalence between the Raviart-Thomas finite-element method and the enriched Crouzeix-Raviart finite-element method. We emphasise that we do not impose either shape-regular or maximum-angle condition during mesh partitioning. Numerical results confirm the results that we obt…
We present precise anisotropic interpolation error estimates for smooth functions using a new geometric parameter and derive inverse inequalities on anisotropic meshes. In our theory, the interpolation error is bounded in terms of the diameter of a simplex and the geometric parameter. Imposing additional assumptions makes it possible to obtain anisotropic error estimates. This paper also includes corrections to an error in Theorem 2 of our previous paper, "General theory of interpolation error estimates on anisotropic meshes" (Japan Journal of Industrial and Applied Mathematics, 38 (2021) 163-…
We present precise Raviart-Thomas interpolation error estimates on anisotropic meshes. The novel aspect of our theory is the introduction of a new geometric parameter of simplices. It is possible to obtain new anisotropic Raviart-Thoma error estimates using the parameter. We also include corrections to an error in "General theory of interpolation error estimates on anisotropic meshes" (Japan Journal of Industrial and Applied Mathematics, 38 (2021) 163-191), in which Theorem 3 was incorrect.
Embedded Trefftz DG method for reaction-diffusion problems on anisotropic meshes
University of Milano–Bicocca(米兰比可卡大学);IMATI-CNR “Enrico Magenes”(IMATI-CNR“恩里科·马盖斯”研究所);University of Pavia(帕维亚大学);University of Vienna(维也纳大学);Georg-August-Universität Göttingen(哥廷根乔治-奥古斯特大学)
Pressure-robustness has been widely studied since the conception of the notion and the introduction of the reconstruction approach for classical mixed methods in [5]. Using discretizations capable of yielding velocity solutions that are independent of the pressure approximation has been recognized as essential, and a large number of recent articles attest to this fact, e.g., [1,6]. Apart from the pressure-robustness aspect, incompressible flows exhibit anisotropic phenomena in the solutions which can be dealt with by using anisotropic mesh grading. The recent publications [3,4] deal with the c…
We consider spectral mixed discontinuous Galerkin finite element discretizations of the Lamé system of linear elasticity in polyhedral domains in $\mathbb{R}^3$. In order to resolve possible corner, edge, and corner-edge singularities, anisotropic geometric edge meshes consisting of hexahedral elements are applied. We perform a computational study on the discrete inf-sup stability of these methods, and especially focus on the robustness with respect to the Poisson ratio close to the incompressible limit (i.e. the Stokes system). Furthermore, under certain realistic assumptions (for analytic da…
In the recent article [Kopteva, N., Numer. Math., 137, 607--642 (2017)] the author obtained residual-type a posteriori error estimates in the energy norm for singularly perturbed semilinear reaction-diffusion equations on anisotropic triangulations. The error constants in these estimates are independent of the diameters and the aspect ratios of mesh elements and of the small perturbation parameter. The purpose of this note is to improve the weights in the jump residual part of the estimator. This is attained by using a novel sharper version of the scaled trace theorem for anisotropic elements,…
A simple and efficient interface-fitted mesh generation algorithm is developed in this paper. This algorithm can produce a local anisotropic fitting mixed mesh which consists of both triangles and quadrilaterals near the interface. A new finite element method is proposed for second order elliptic interface problems based on the resulting mesh. Optimal approximation capabilities on anisotropic elements are proved in both the $H^1$ and $L^2$ norms. The discrete system is usually ill-conditioned due to anisotropic and small elements near the interface. Thereupon, a multigrid method is presented t…
Discretisation of heterogeneous and anisotropic diffusion problems on general non-conforming meshes. SUSHI: a scheme using stabilisation and hybrid interfaces
Université Paris-Est(巴黎东大学);Université de Provence(普罗旺斯大学)
Most classical finite element schemes for the (Navier-)Stokes equations are neither pressure-robust, nor are they inf-sup stable on general anisotropic triangulations. A lack of pressure-robustness may lead to large velocity errors, whenever the Stokes momentum balance is dominated by a strong and complicated pressure gradient. It is a consequence of a method, which does not exactly satisfy the divergence constraint. However, inf-sup stable schemes can often be made pressure-robust just by a recent, modified discretization of the exterior forcing term, using $\mathbf{H}(\operatorname{div})$-co…
Recently, the $\vec{H}(\operatorname{div})$-conforming finite element families for second order elliptic problems have come more into focus, since due to hybridization and subsequent advances in computational efficiency their use is no longer mainly theoretical. Their property of yielding exactly divergence-free solutions for mixed problems makes them interesting for a variety of applications, including incompressible fluids. In this area, boundary and interior layers are present, which demand the use of anisotropic elements. While for the Raviart-Thomas interpolation of any order on anisotrop…
Smooth Bezier Surfaces over Arbitrary Quadrilateral Meshes
The Rachel and Selim Benin School of Computer Science and Engineering(Rachel和Selim Benin计算机科学与工程学);Hebrew University of Jerusalem(耶路撒冷希伯来大学);Microsoft Corp.(微软公司)