Functional a posteriori estimates for Maxwell’s equation

The note is concerned with functional type a posteriori estimates of the difference between exact and approximate solutions of the Maxwell problem . The estimates are derived by transformations of the basic integral identity defining a generalized solution to the problem by using the method suggested by the author. The estimates are obtained in the case ℵ > 0 and ℵ = 0. Bibliography: 10 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 34, 2006, pp. 83–88.     

Estimates of deviations from exact solutions of variational inequalities based upon Payne–Weinberger inequality

A new method for obtaining computable estimates for the difference between exact solutions of elliptic variational inequalities and arbitrary functions in the respective energy space is suggested. The estimates are obtained by transforming the corresponding variational inequality without the use of variational duality arguments. These estimates are valid for any function in the energy class and contain no constants depending on the mesh used to find an approximate solution. This method for linear elliptic and parabolic problems was earlier suggested by the author. The guaranteed error bounds we derive can be of two types. Estimates of the first type contain only one global constant, which is a constant in the Friedrichs type inequality. Estimates of the second type are based on the decomposition of Ω into convex subdomains and the Payne–Weinberger inequalities for these subdomains. Bibliography: 20 titles. Translated from Problems in Mathematical Analysis 39 February, 2009, pp. 81–90.     

A posteriori error estimates for approximate solutions to variational problems with strongly convex functionals

A method of obtaining a posteriori estimates for the difference between an exact solution and an approximate solution is suggested. The method is based on the duality theory of variational calculus. The general form of such an estimate is derived for a broad class of variational problems. The estimate converges to zero as the approximate solution converges to the exact one. The general estimates are considered in detail for some classes of variational problems. Bibliography: 25 titles. Translated fromProblemy Matematicheskogo Analiza, No. 17, 1997, pp. 227–237.     

A Posteriori Estimates in Local Norms

We derive a posteriori estimates for the difference between exact solutions and approximate solutions to boundary-value problems in terms of local norms. The diffusion problem, linear elasticity and generalizations to other boundary-value elliptic problems are considered. Computable estimates for the deviation from the exact solution are also obtained in terms of linear functionals. Unlike published works of other authors, the construction of such estimates is not connected with any analysis of the adjoint boundary-value problem. On the basis of multiplicative inequalities, local estimates in certain norms subject to the energy norm are derived. Bibliography: 10 titles.     

Estimates of the indeterminacy set for elliptic boundary value problems with uncertain data

Estimates are derived for the so-called indeterminacy set formed by solutions to an elliptic type boundary value problem with not fully determined coefficients. A two-sided estimate for the diameter of the indeterminacy set is obtained in the energy norm. It is shown that this estimate depends on parameters defining the variability range of the coefficients. The analysis is based on functional a posteriori estimates that provide guaranteed bounds of the difference between an approximate solution and any admissible function in the energy space. The estimates are obtained for the diffusion equation. However, the proposed tools can be used for other classes of partial differential equations if functional a posteriori estimates are established. Bibliography: 2 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 36, 2007, pp. 77–80.     

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.     

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 posteriori error estimates for the Crank-Nicolson method for parabolic equations

We derive optimal order a posteriori error estimates for time discretizations by both the Crank-Nicolson and the Crank-Nicolson-Galerkin methods for linear and nonlinear parabolic equations. We examine both smooth and rough initial data. Our basic tool for deriving a posteriori estimates are second-order Crank-Nicolson reconstructions of the piecewise linear approximate solutions. These functions satisfy two fundamental properties: (i) they are explicitly computable and thus their difference to the numerical solution is controlled a posteriori, and (ii) they lead to optimal order residuals as well as to appropriate pointwise representations of the error equation of the same form as the underlying evolution equation. The resulting estimators are shown to be of optimal order by deriving upper and lower bounds for them depending only on the discretization parameters and the data of our problem. As a consequence we provide alternative proofs for known a priori rates of convergence for the Crank-Nicolson method.

     

A posteriori error estimates for approximations of evolutionary convection–diffusion problems

We derive computable upper bounds for the difference between an exact solution of the evolutionary convection-diffusion problem and an approximation of this solution. The estimates are obtained by certain transformations of the integral identity that defines the generalized solution. These estimates depend on neither special properties of the exact solution nor its approximation and involve only global constants coming from embedding inequalities. The estimates are first derived for functions in the corresponding energy space, and then possible extensions to classes of piecewise continuous approximations are discussed. Bibliography: 7 titles.     

Two-sided a posteriori error estimates for linear elliptic problems with mixed boundary conditions

The paper is devoted to verification of accuracy of approximate solutions obtained in computer simulations. This problem is strongly related to a posteriori error estimates, giving computable bounds for computational errors and detecting zones in the solution domain where such errors are too large and certain mesh refinements should be performed. A mathematical model consisting of a linear elliptic (reaction-diffusion) equation with a mixed Dirichlet/Neumann/Robin boundary condition is considered in this work. On the base of this model, we present simple technologies for straightforward constructing computable upper and lower bounds for the error, which is understood as the difference between the exact solution of the model and its approximation measured in the corresponding energy norm. The estimates obtained are completely independent of the numerical technique used to obtain approximate solutions and are “flexible” in the sense that they can be, in principle, made as close to the true error as the resources of the used computer allow. This work was supported by the Academy Research Fellowship No. 208628 from the Academy of Finland.     

Sharp upper global a posteriori error estimates for nonlinear elliptic variational problems

The paper is devoted to the problem of verification of accuracy of approximate solutions obtained in computer simulations. This problem is strongly related to a posteriori error estimates, giving computable bounds for computational errors and detecting zones in the solution domain where such errors are too large and certain mesh refinements should be performed. A mathematical model embracing nonlinear elliptic variational problems is considered in this work. Based on functional type estimates developed on an abstract level, we present a general technology for constructing computable sharp upper bounds for the global error for various particular classes of elliptic problems. Here the global error is understood as a suitable energy type difference between the true and computed solutions. The estimates obtained are completely independent of the numerical technique used to obtain approximate solutions, and are sharp in the sense that they can be, in principle, made as close to the true error as resources of the used computer allow. The latter can be achieved by suitably tuning the auxiliary parameter functions, involved in the proposed upper error bounds, in the course of the calculations.     

An accurate a posteriori error estimator for the Steklov eigenvalue problem and its applications

In this paper, a type of accurate a posteriori error estimator is proposed for the Steklov eigenvalue problem based on the complementary approach, which provides an asymptotic exact estimate for the approximate eigenpair. Besides, we design a type of cascadic adaptive finite element method for the Steklov eigenvalue problem based on the proposed a posteriori error estimator. In this new cascadic adaptive scheme, instead of solving the Steklov eigenvalue problem in each adaptive space directly, we only need to do some smoothing steps for linearized boundary value problems on a series of adaptive spaces and solve some Steklov eigenvalue problems on a low dimensional space. Furthermore, the proposed a posteriori error estimator provides the way to refine mesh and control the number of smoothing steps for the cascadic adaptive method. Some numerical examples are presented to validate the efficiency of the algorithm in this paper.

     

双线性非协调有限元逼近的梯度恢复后验误差估计

给出了二阶椭圆方程的双线性非协调有限元逼近的梯度恢复后验误差估计.该误差估计是在Q_1非协调元上得到的,并给出了误差的上下界.进一步证明该误差估计在拟一致网格上是渐进精确地.证明依赖于clement插值和Helmholtz分解,数值结果验证了理论的正确性.     

Two-sided a posteriori estimates for a generalized Stokes problem

The paper is concerned with a three-field statement of a generalized Stokes problem related to viscous flow problems for fluids with polymeric chains. For homogeneous Dirichlét boundary conditions, this model and respective numerical methods have been studied previously. In the present paper, a generalized Stokes problem with variable viscosity and nonhomogeneous Dirichlét or mixed Dirichlét/Neumann boundary conditions is considered, and functional a posteriori error estimates for the velocity, pressure, and stress fields are derived. The estimates are practically computable, sharp (i.e., have no gap between the left- and right-hand sides), and are valid for arbitrary functions from respective functional classes. The estimates are obtained by transformations of the integral identity that assigns the generalized solution (this method was suggested and used earlier for certain classes of elliptic type problems). Error majorants are weighted sums of terms penalizing violations of the constitutive, equilibrium, and divergence relations with weights determined by the constants in the Friederichs inequality and the inf-sup (LBB) condition. Bibliography: 53 titles. Dedicated to the jubilee of Professor V. A. Solonnikov Published in Zapiski Nauchnykh Seminarov POMI, Vol. 362, 2008, pp. 272–302.     

Approximation of periodic functions by Steklov averages in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>

In the space L₂ of periodic functions, we establish exact (in the sense of constants) estimates from below for the deviation of the Steklov functions of the first and second order in terms of the modulus of continuity of the second order. Similar results are also established for even continuous periodic functions with nonnegative Fourier coefficients in the space C. Bibliography: 5 titles. __________ Translated from Problemy Matematicheskogo Analiza, No. 35, 2007, pp. 79–90     

Steklov eigenvalue problem and its applications An accurate a posteriori error estimator for the

In this paper, a type of accurate a posteriori error estimator is proposed for the Steklov eigenvalue problem based on the complementary approach, which provides an asymptotic exact estimate for the approximate eigenpair. Besides, we design a type of cascadic adaptive finite element method for the Steklov eigenvalue problem based on the proposed a posteriori error estimator. In this new cascadic adaptive scheme, instead of solving the Steklov eigenvalue problem in each adaptive space directly, we only need to do some smoothing steps for linearized boundary value problems on a series of adaptive spaces and solve some Steklov eigenvalue problems on a low dimensional space. Furthermore, the proposed a posteriori error estimator provides the way to refine meshes and control the number of smoothing steps for the cascadic adaptive method. Some numerical examples are presented to validate the efficiency of the algorithm in this paper.     

Energy Error Estimates for the Projection-Difference Method with the Crank–Nicolson Scheme for Parabolic Equations

We solve an abstract parabolic problem in a separable Hilbert space, using the projection-difference method. The spatial discretization is carried out by the Galerkin method and the time discretization, by the Crank–Nicolson scheme. On assuming weak solvability of the exact problem, we establish effective energy estimates for the error of approximate solutions. These estimates enable us to obtain the rate of convergence of approximate solutions to the exact solution in time up to the second order. Moreover, these estimates involve the approximation properties of the projection subspaces, which is illustrated by subspaces of the finite element type.     

On the choice of initial conditions of difference schemes for parabolic equations

We study finite difference schemes to approximate the first initial-boundary value problem for linear second order parabolic equations and obtain some convergence rate estimates. When difference schemes are constructed for such problems, in the process of obtaining convergence rate estimates compatible with smoothness of the solution, various authors assume that the solution of the problem can be extended to the exterior of the domain of integration, preserving the Sobolev class. Our investigations show that this restriction can be removed if, instead of using the exact initial condition, we use certain approximations of the initial conditions. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A posteriori error bounds for quasi-linear Dirichlet and Neumann problems in full divergent form

Second-order quasi-linear Dirichlet and Neumann problems in four-term divergent form on a simply connected domain with a Lipschitz-continuous boundary of finite length are considered. Derivatives and primitives of distributions on the boundary are defined in such a way that for sufficiently smooth boundary distributions, these derivatives and primitives coincide with derivatives and primitives with respect to arc length on the boundary. Using these concepts, conjugate problems, that is, a pair of one Dirichlet and one Neumann problem, the minima of the energies of which add to zero, are introduced. From the concept of conjugate problems, two-sided bounds for the energy of the exact solution of any given Dirichlet or Neumann problem are constructed. These two-sided bounds for the energy at the exact solution are in turn used to obtain a posteriori error bounds for the norm of the difference of the approximate and exact solutions of the problem. These a posteriori bounds consist of a constant times the sum of the energies of the approximate solutions of the conjugate Dirichlet and Neumann problems and are easily constructed numerically.     

Existence of Exact Penalty and Its Stability for Nonconvex Constrained Optimization Problems in Banach Spaces

In this paper we use the penalty approach in order to study two constrained minimization problems. A penalty function is said to have the generalized exact penalty property if there is a penalty coefficient for which approximate solutions of the unconstrained penalized problem are close enough to approximate solutions of the corresponding constrained problem. In this paper we show that the generalized exact penalty property is stable under perturbations of cost functions, constraint functions and the right-hand side of constraints.