• Korean Journal of Mathematics
• /
• 제21권3호
• /
• pp.293-304
• /
• 2013

In this paper we analyze an error estimator for the lowest-order triangular Raviart-Thomas mixed finite element which is based on solution of local problems for the error. This estimator was proposed in [Alonso, Error estimators for a mixed method, Numer. Math. 74 (1996), 385{395] and has a similar concept to that of Bank and Weiser. We show that it is asymptotically exact for the Poisson equation if the underlying triangulations are uniform and the exact solution is regular enough.

• 대한수학회보
• /
• 제57권2호
• /
• pp.393-406
• /
• 2020

We analyze a posteriori error estimator for the conforming P2 finite element on triangular meshes which is based on the solution of local Neumann problems. This error estimator extends the one for the conforming P1 finite element proposed in [4]. We prove that it is asymptotically exact for the Poisson equation when the underlying triangulations are mildly structured and the solution is smooth enough.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제21권4호
• /
• pp.203-214
• /
• 2017

In this paper we propose and analyze two a posteriori error estimators for the stabilized $P_1/P_1$ finite element discretization of the Stokes equations. These error estimators are computed by solving local Poisson or Stokes problems on elements of the underlying triangulation. We establish their asymptotic exactness with respect to the velocity error under certain conditions on the triangulation and the regularity of the exact solution.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제27권4호
• /
• pp.245-271
• /
• 2023

In this paper we discuss some recovery of H(div)-conforming flux approximations from the equilibrated fluxes of Ainsworth and Oden for quadratic finite element methods of second-order elliptic problems. Combined with the hypercircle method of Prager and Synge, these flux approximations lead to a posteriori error estimators which provide guaranteed upper bounds on the numerical error. Furthermore, we prove some superconvergence results for the flux approximations and asymptotic exactness for the error estimator under proper conditions on the triangulation and the exact solution. The results extend those of the previous paper for linear finite element methods.

• Korean Journal of Mathematics
• /
• 제22권3호
• /
• pp.429-441
• /
• 2014

In this work we study two a posteriori error estimators of hierarchical type for lowest-order mixed finite element methods. One estimator is computed by solving a global defect problem based on the splitting of the lowest-order Brezzi-Douglas-Marini space, and the other estimator is locally computable by applying the standard localization to the first estimator. We establish the reliability and efficiency of both estimators by comparing them with the standard residual estimator. In addition, it is shown that the error estimator based on the global defect problem is asymptotically exact under suitable conditions.

• Korean Journal of Mathematics
• /
• 제26권3호
• /
• pp.467-481
• /
• 2018

In this paper we present a postprocessing scheme for the Raviart-Thomas mixed finite element approximation of the second order elliptic eigenvalue problem. This scheme is carried out by solving a primal source problem on a higher order space, and thereby can improve the convergence rate of the eigenfunction and eigenvalue approximations. It is also used to compute a posteriori error estimates which are asymptotically exact for the $L^2$ errors of the eigenfunctions. Some numerical results are provided to confirm the theoretical results.

• 대한수학회지
• /
• 제52권5호
• /
• pp.891-906
• /
• 2015

In this work we analyze a postprocessing scheme for improving the guaranteed error bound based on the equilibrated fluxes for the P1 conforming FEM. The improved error bound is shown to be asymptotically exact under suitable conditions on the triangulations and the regularity of the true solution. We also present some numerical results to illustrate the effect of the postprocessing scheme.