Functional A Posteriori Error Estimates for Time-Periodic Parabolic Optimal Control Problems

This article is devoted to the a posteriori error analysis of multiharmonic finite element approximations to distributed optimal control problems with time-periodic state equations of parabolic type. We derive a posteriori estimates of the functional type, which are easily computable and provide guaranteed upper bounds for the state and co-state errors as well as for the cost functional. These theoretical results are confirmed by several numerical tests that show high efficiency of the a posteriori error bounds.     

A note on functional a posteriori estimates for elliptic optimal control problems

In this work, new results on functional type a posteriori estimates for elliptic optimal control problems with control constraints are presented. More precisely, we derive new, sharp, guaranteed, and fully computable lower bounds for the cost functional in addition to the already existing upper bounds. Using both, the lower and the upper bounds, we arrive at two‐sided estimates for the cost functional. We prove that these bounds finally lead to sharp, guaranteed and fully computable upper estimates for the discretization error in the state and the control of the optimal control problem. First numerical tests are presented confirming the efficiency of the a posteriori estimates derived. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 403–424, 2017     

Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

In this paper, we discuss with guaranteed a priori and a posteriori error estimates of finite element approximations for not necessarily coercive linear second order Dirichlet problems. Here, ‘guaranteed’ means we can get the error bounds in which all constants included are explicitly given or represented as a numerically computable form. Using the invertibility condition of concerning elliptic operator, guaranteed a priori and a posteriori error estimates are formulated. This kind of estimates plays essential and important roles in the numerical verification of solutions for nonlinear elliptic problems. Several numerical examples that confirm the actual effectiveness of the method are presented.     

Guaranteed a posteriori error estimates for nonconforming finite element approximations to a singularly perturbed reaction–diffusion problem

We derive guaranteed a posteriori error estimates for nonconforming finite element approximations to a singularly perturbed reaction–diffusion problem. First, an abstract a posteriori error bound is derived under a special equilibration condition. Based on conservative flux reconstruction, two error estimators are proposed and provide actual upper error bounds in the usual energy norm without unknown constants, one of which can be directly constructed without solving local Neumann problems and provide practical computable error bounds. The error estimators also provide local lower bounds but with the multiplicative constants dependent on the diffusion coefficient and mesh size, where the constants can be bounded for enough small mesh size comparable with the square root of the diffusion coefficient. By adding edge jumps with weights to the energy norm, two modified error estimators with additional edge tangential jumps are shown to be robust with respect to the diffusion coefficient and provide guaranteed upper bounds on the error in the modified norm. Finally, the performance of the estimators are illustrated by the numerical results.     

On the Convergence of Adaptive Finite Element Methods

State of the art simulations in computational mechanics aim reliability and efficiency via adaptive finite element methods (AFEMs) with a posteriori error control. The a priori convergence of finite element methods is justified by the density property of the sequence of finite element spaces which essentially assumes a quasi‐uniform mesh‐refining. The advantage is guaranteed convergence for a large class of data and solutions; the disadvantage is a global mesh refinement everywhere accompanied by large computational costs. AFEMs automatically refine exclusively wherever the refinement indication suggests to do so and so violate the density property on purpose. Then, the a priori convergence of AFEMs is not guaranteed automatically and, in fact, crucially depends on algorithmic details. The advantage of AFEMs is a more effective mesh accompanied by smaller computational costs in many practical examples; the disadvantage is that the desirable error reduction property is not always guaranteed a priori. Efficient error estimators can justify a numerical approximation a posteriori and so achieve reliability. But it is not clear from the start that the adaptive mesh‐refinement will generate an accurate solution at all. This paper discusses particular versions of an AFEMs and their analyses for error reduction, energy reduction, and convergence results for linear and nonlinear problems. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Effective postprocessing for equilibration a posteriori error estimators

Guaranteed error control via fully discrete a posteriori error estimators is possible with typical overestimation between 1.25 and 2 in simple computer benchmarks. The equilibration techniques due to Braess and that due to Luce–Wohlmuth are efficient tools with an accuracy limited by the hyper-circle threshold. This motivates postprocessing strategies and the analysis of successive improvements of guaranteed upper error bounds with a few pcg iterations result in reduced overestimation factors between 1 and 1.25. Numerical simulations for three classes of applications illustrate the efficiency for the Poisson model problem with and without jumping coefficients or a simple obstacle problem.     

Guaranteed and locally computable a posteriori error estimate

^** Email: vejchod{at}math.cas.cz A new approach, based on the combination of the equilibratedresidual method and the method of hypercircle, is proposed fora posteriori error estimation. Computer implementation of theequilibrated residual method is fast, but it does not produceguaranteed estimates. On the other hand, the method of hypercircledelivers guaranteed estimates, but it is not fast because itinvolves solving a global linear algebraic system. The combinationof these two methods leads to guaranteed and locally computablea posteriori error estimator. This combined method is appliedto linear elliptic problem in two dimensions with mixed boundaryconditions and non-negative absolute terms.     

Guaranteed velocity error control for the pseudostress approximation of the Stokes equations

The pseudostress approximation of the Stokes equations rewrites the stationary Stokes equations with pure (but possibly inhomogeneous) Dirichlet boundary conditions as another (equivalent) mixed scheme based on a stress in H(div) and the velocity in L². Any standard mixed finite element function space can be utilized for this mixed formulation, e.g., the Raviart‐Thomas discretization which is related to the Crouzeix‐Raviart nonconforming finite element scheme in the lowest‐order case. The effective and guaranteed a posteriori error control for this nonconforming velocity‐oriented discretization can be generalized to the error control of some piecewise quadratic velocity approximation that is related to the discrete pseudostress. The analysis allows for local inf‐sup constants which can be chosen in a global partition to improve the estimation. Numerical examples provide strong evidence for an effective and guaranteed error control with very small overestimation factors even for domains with large anisotropy.© 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1411–1432, 2016     

A posteriori error estimates for viscous flow problems with rotation

A new functional type a posteriori error estimates for the Stokes problem with rotating term are presented. The estimates give guaranteed upper bounds for the energy norm of the error and provide reliable error indication. Computational properties of the estimates are demonstrated by a number of numerical examples. Bibliography: 37 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 34, 2006, pp. 23–34.     

A posteriori error estimation of the p‐Laplace problem

Two a posteriori error estimates are discussed for the p‐Laplace problem. Up to errors in their numerical computation, they provide a guaranteed upper bound for the W^1,p‐seminorm and a weighted W^1,2‐seminorm of u – u_h. The first, sharper a posteriori estimate is based on the numerical solution of local interface problems. The standard residual‐based error estimate is addressed with emphasis on involved constants, determined as local eigenvalues. Numerical examples that illustrate the performance of these estimators can be found in [3].     

Robust a posteriori error estimation for the nonconforming Fortin-Soulie finite element approximation

We obtain a computable a posteriori error bound on the broken energy norm of the error in the Fortin-Soulie finite element approximation of a linear second order elliptic problem with variable permeability. This bound is shown to be efficient in the sense that it also provides a lower bound for the broken energy norm of the error up to a constant and higher order data oscillation terms. The estimator is completely free of unknown constants and provides a guaranteed numerical bound on the error.

     

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

We describe a method to estimate the guaranteed error bounds of the finite element solutions for the Stokes problem in mathematically rigorous sense. We show that an a posteriori error can be computed by using the numerical estimates of a constant related to the so-called inf-sup condition for the continuous problem. Also a method to derive the constructive a priori error bounds are considered. Some numerical examples which confirm us the expected rate of convergence are presented.     

Functional approach to a posteriori error estimation for elliptic optimal control problems with distributed control

A new approach to the a posteriori analysis of distributed optimal control problems is presented. The approach is based on functional type a posteriori estimates that provide computable and guaranteed bounds of errors for any conforming approximations of a boundary value problem. Computable two-sided a posteriori estimates for the cost functional and estimates for approximations of the state and control functions are derived. Numerical results illustrate the efficiency of the approach. Bibliography: 35 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 35, 2007, pp. 3–14     

A discontinuous Galerkin method for the Rosenau equation

A priori error estimates for the Rosenau equation, which is a K-dV like Rosenau equation modelled to describe the dynamics of dense discrete systems, have been studied by one of the authors. But since a priori error bounds contain the unknown solution and its derivatives, it is not effective to control error bounds with only a given step size. Thus we need to estimate a posteriori errors in order to control accuracy of approximate solutions using variable step sizes. A posteriori error estimates of the Rosenau equation are obtained by a discontinuous Galerkin method and the stability analysis is discussed for the dual problem. Numerical results on a posteriori error and wave propagation are given, which are obtained by using various spatial and temporal meshes controlled automatically by a posteriori error.     

Residual Based a Posteriori Error Estimates for Convex Optimal Control Problems Governed by Stokes-Darcy Equations

In this paper, we derive a posteriori error estimates for finite element approximations of the optimal control problems governed by the Stokes-Darcy system. We obtain a posteriori error estimators for both the state and the control based on the residual of the finite element approximation. It is proved that the a posteriori error estimate provided in this paper is both reliable and efficient.     

Functional a posteriori error estimates for discontinuous Galerkin approximations of elliptic problems

In this article, we develop functional a posteriori error estimates for discontinuous Galerkin (DG) approximations of elliptic boundary‐value problems. These estimates are based on a certain projection of DG approximations to the respective energy space and functional a posteriori estimates for conforming approximations developed by S. Repin (see e.g., Math Comp 69 (2000) 481–500). On these grounds, we derive two‐sided guaranteed and computable bounds for the errors in “broken” energy norms. A series of numerical examples presented confirm the efficiency of the estimates. © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

A posteriori error estimates for mixed finite element solutions of convex optimal control problems

In this paper, we present an a posteriori error analysis for mixed finite element approximation of convex optimal control problems. We derive a posteriori error estimates for the coupled state and control approximations under some assumptions which hold in many applications. Such estimates can be used to construct reliable adaptive mixed finite elements for the control problems.     

A Posteriori Error Estimators of Gradient Recovery Type for Fem of a Model Optimal Control Problem

In this paper, we derive an a posteriori error estimator of gradient recovery type for a model optimal control problem. We show that the a posteriori error estimator is equivalent to the discretization error in a norm of energy type on general meshes. Furthermore, when the solution of the control problem is smooth and the meshes are uniform, it is shown to be asymptotically exact.     

A POSTERIORI ERROR ESTIMATE OF OPTIMAL CONTROL PROBLEM OF PDE WITH INTEGRAL CONSTRAINT FOR STATE

In this paper, we study adaptive finite element discretization schemes for an optimal control problem governed by elliptic PDE with an integral constraint for the state. We derive the equivalent a posteriori error estimator for the finite element approximation, which particularly suits adaptive multi-meshes to capture different singularities of the control and the state. Numerical examples are presented to demonstrate the efficiency of a posteriori error estimator and to confirm the theoretical results.     

A Posteriori Error Estimates for Finite Element Exterior Calculus: The de Rham Complex

Finite element exterior calculus (FEEC) has been developed over the past decade as a framework for constructing and analyzing stable and accurate numerical methods for partial differential equations by employing differential complexes. The recent work of Arnold, Falk, and Winther includes a well-developed theory of finite element methods for Hodge–Laplace problems, including a priori error estimates. In this work we focus on developing a posteriori error estimates in which the computational error is bounded by some computable functional of the discrete solution and problem data. More precisely, we prove a posteriori error estimates of a residual type for Arnold–Falk–Winther mixed finite element methods for Hodge–de Rham–Laplace problems. While a number of previous works consider a posteriori error estimation for Maxwell’s equations and mixed formulations of the scalar Laplacian, the approach we take is distinguished by a unified treatment of the various Hodge–Laplace problems arising in the de Rham complex, consistent use of the language and analytical framework of differential forms, and the development of a posteriori error estimates for harmonic forms and the effects of their approximation on the resulting numerical method for the Hodge–Laplacian.