A posteriori error estimate for finite volume approximations to singularly perturbed nonlinear convection-diffusion equations

Summary. This paper is devoted to the study of a posteriori and a priori error estimates for the scalar nonlinear convection diffusion equation . The estimates for the error between the exact solution and an upwind finite volume approximation to the solution are derived in the -norm in the situation, where the diffusion parameter is smaller or comparable to the mesh size. Numerical experiments underline the theoretical results. Received February 25, 1999 / Revised version received July 6, 1999 / Published online August 2, 2000     

A COMPLETE ANALYSIS FOR SOME A POSTERIORI ERROR ESTIMATES WITH THE FINITE ELEMENT METHOD OF LINES FOR A NONLINEAR PARABOLIC EQUATION

ABSTRACT

A posteriori error estimates for semidiscrete finite element methods for a nonlinear parabolic initial-boundary value problem are considered. The error estimates are obtained by solving local parabolic or elliptic equations for corrections to the solution on each element. The convergence results improve previous results where unnecessary assumptions are imposed on the approximate solution and the elliptic projection of the exact solution.     

On Mixed Error Estimates for Elliptic Obstacle Problems

We establish in this paper sharp error estimates of residual type for finite element approximation to elliptic obstacle problems. The estimates are of mixed nature, which are neither of a pure a priori form nor of a pure a posteriori form but instead they are combined by an a priori part and an a posteriori part. The key ingredient in our derivation for the mixed error estimates is the use of a new interpolator which enables us to eliminate inactive data from the error estimators. One application of our mixed error estimates is to construct a posteriori error indicators reliable and efficient up to higher order terms, and these indicators are useful in mesh-refinements and adaptive grid generations. In particular, by approximating the a priori part with some a posteriori quantities we can successfully track the free boundary for elliptic obstacle problems.     

Analysis of a one-dimensional free boundary flow problem

A one-dimensional free surface problem is considered. It consists in Burgers’ equation with an additional diffusion term on a moving interval. The well-posedness of the problem is investigated and existence and uniqueness results are obtained locally in time. A semi-discretization in space with a piecewise linear finite element method is considered. A priori and a posteriori error estimates are given for the semi-discretization in space. A time splitting scheme allows to obtain numerical results in agreement with the theoretical investigations.Supported by the Swiss National Science Foundation     

Backward Euler method for abstract time-dependent parabolic equations with variable domains

We consider semidiscretizations in time, based on the backward Euler method, of an abstract, non-autonomous parabolic initial value problem where , , is a family of sectorial operators in a Banach space X. The domains are allowed to depend on t. Our hypotheses are fulfilled for classical parabolic problems in the , , norms. We prove that the semidiscretization is stable in a suitable sense. We get optimal estimates for the error even when non-homogeneous boundary values are considered. In particular, the results are applicable to the analysis of the semidiscretizations of time-dependent parabolic problems under non-homogeneous Neumann boundary conditions. Received October 17, 1997 / Revised version received April 17, 1998     

On one approach to a posteriori error estimates for evolution problems solved by the method of lines

Summary. In this paper, we describe a new technique for a posteriori error estimates suitable to parabolic and hyperbolic equations solved by the method of lines. One of our goals is to apply known estimates derived for elliptic problems to evolution equations. We apply the new technique to three distinct problems: a general nonlinear parabolic problem with a strongly monotonic elliptic operator, a linear nonstationary convection-diffusion problem, and a linear second order hyperbolic problem. The error is measured with the aid of the -norm in the space-time cylinder combined with a special time-weighted energy norm. Theory as well as computational results are presented. Received September 2, 1999 / Revised version received March 6, 2000 / Published online March 20, 2001     

A-priori error estimates of Galerkin backward differentiation methods in time-inhomogeneous parabolic problems

Summary Backward differentiation methods up to orderk=5 are applied to solve linear ordinary and partial (parabolic) differential equations where in the second case the space variables are discretized by Galerkin procedures. Using a mean square norm over all considered time levels a-priori error estimates are derived. The emphasis of the results lies on the fact that the obtained error bounds do not depend on a Lipschitz constant and the dimension of the basic system of ordinary differential equations even though this system is allowed to have time-varying coefficients. It is therefore possible to use the bounds to estimate the error of systems with arbitrary varying dimension as they arise in the finite element regression of parabolic problems.     

High-order adaptive finite element-singly implicit Runge-Kutta methods for parabolic differential equations

We describe an adaptive mesh refinement finite element method-of-lines procedure for solving one-dimensional parabolic partial differential equations. Solutions are calculated using Galerkin's method with a piecewise hierarchical polynomial basis in space and singly implicit Runge-Kutta (SIRK) methods in time. A modified SIRK formulation eliminates a linear systems solution that is required by the traditional SIRK formulation and leads to a new reduced-order interpolation formula. Stability and temporal error estimation techniques allow acceptance of approximate solutions at intermediate stages, yielding increased efficiency when solving partial differential equations. A priori energy estimates of the local discretization error are obtained for a nonlinear scalar problem. A posteriori estimates of local spatial discretization errors, obtained by order variation, are used with the a priori error estimates to control the adaptive mesh refinement strategy. Computational results suggest convergence of the a posteriori error estimate to the exact discretization error and verify the utility of the adaptive technique.This research was partially supported by the U.S. Air Force Office of Scientific Research, Air Force Systems Command, USAF, under Grant Number AFOSR-90-0194; the U.S. Army Research Office under Contract Number DAAL 03-91-G-0215; by the National Science Foundation under Grant Number CDA-8805910; and by a grant from the Committee on Research, Tulane University.     

A posteriori error estimation with finite element methods of lines for one-dimensional parabolic systems

Summary Consider the solution of one-dimensional linear initial-boundary value problems by a finite element method of lines using a piecewiseP ^th -degree polynomial basis. A posteriori estimates of the discretization error are obtained as the solutions of either local parabolic or local elliptic finite element problems using piecewise polynomial corrections of degreep+1 that vanish at element ends. Error estimates computed in this manner are shown to converge in energy under mesh refinement to the exact finite element discretization error. Computational results indicate that the error estimates are robust over a wide range of mesh spacings and polynomial degrees and are, furthermore, applicable in situations that are not supported by the analysis.This research was partially supported by the U.S. Air Force Office of Scientific Research, Air Force Systems Command, USAF, under Grant Number AFOSR 90-0194; by the U.S. Army Research Office under Contract Number DAAL03-91-G-0215; and by the National Science Foundation under Institutional Infrastructure Grant Number CDA-8805910     

A Priori and a Posteriori Error Analysis of a Wavelet-Based Stabilization for the Mixed Finite Element Method

We use Galerkin least-squares terms and biorthogonal wavelet bases to develop a new stabilized dual-mixed finite element method for second-order elliptic equations in divergence form with Neumann boundary conditions. The approach introduces the trace of the solution on the boundary as a new unknown that acts also as a Lagrange multiplier. We show that the resulting stabilized dual-mixed variational formulation and the associated discrete scheme defined with Raviart–Thomas spaces are well-posed and derive the usual a priori error estimates and the corresponding rate of convergence. Furthermore, a reliable and efficient residual-based a posteriori error estimator and a reliable and quasi-efficient one are provided.     

Towards adaptive finite element schemes for partial differential Volterra equation solvers

We give a brief indication of how elliptic, parabolic and hyperbolic partial differential equations with memory arise when modelling viscoelastic materials. We then point out the urgent need for adaptive solvers for these problems and, employing the methodology of Eriksson, Johnson et al. (e.g., SIAM J. Numer. Anal. 28 (1991)), we given ana posteriori error estimate for a model two-point hereditary boundary value problem. The strengths and weaknesses of the analysis and estimate are discussed.Dedicated to Professor J. Crank on the occasion of his 80th birthday     

Analysis and finite element approximations for distributed optimal control problems for implicit parabolic equations

This work concerns analysis and error estimates for optimal control problems related to implicit parabolic equations. The minimization of the tracking functional subject to implicit parabolic equations is examined. Existence of an optimal solution is proved and an optimality system of equations is derived. Semi-discrete (in space) error estimates for the finite element approximations of the optimality system are presented. These estimates are symmetric and applicable for higher-order discretizations. Finally, fully-discrete error estimates of arbitrarily high-order are presented based on a discontinuous Galerkin (in time) and conforming (in space) scheme. Two examples related to the Lagrangian moving mesh Galerkin formulation for the convection-diffusion equation are described.     

$L^1$-Stability and error estimates for approximate Hamilton-Jacobi solutions

Summary.   We study the -stability and error estimates of general approximate solutions for the Cauchy problem associated with multidimensional Hamilton-Jacobi (H-J) equations. For strictly convex Hamiltonians, we obtain a priori error estimates in terms of the truncation errors and the initial perturbation errors. We then demonstrate this general theory for two types of approximations: approximate solutions constructed by the vanishing viscosity method, and by Godunov-type finite difference methods. If we let denote the `small scale' of such approximations (– the viscosity amplitude , the spatial grad-size , etc.), then our -error estimates are of , and are sharper than the classical -results of order one half, . The main building blocks of our theory are the notions of the semi-concave stability condition and -measure of the truncation error. The whole theory could be viewed as a multidimensional extension of the -stability theory for one-dimensional nonlinear conservation laws developed by Tadmor et. al. [34,24,25]. In addition, we construct new Godunov-type schemes for H-J equations which consist of an exact evolution operator and a global projection operator. Here, we restrict our attention to linear projection operators (first-order schemes). We note, however, that our convergence theory applies equally well to nonlinear projections used in the context of modern high-resolution conservation laws. We prove semi-concave stability and obtain -bounds on their associated truncation errors; -convergence of order one then follows. Second-order (central) Godunov-type schemes are also constructed. Numerical experiments are performed; errors and orders are calculated to confirm our -theory. Received April 20, 1998 / Revised version received November 8, 1999 / Published online August 24, 2000     

A posteriori error estimates for H 1-Galerkin mixed finite-element method for parabolic problems

The purpose of this article is to derive a posteriori error estimates for the H ¹-Galerkin mixed finite element method for parabolic problems. We study both semidiscrete and fully discrete a posteriori error analyses using standard energy argument. A fully discrete a posteriori error analysis based on the backward Euler method is analysed and upper bounds for the errors are derived. The estimators yield upper bounds for the errors which are global in space and time. Our analysis is based on residual approach and the estimators are free from edge residuals.     

An Alternate Approach to Optimal L 2-Error Analysis of Semidiscrete Galerkin Methods for Linear Parabolic Problems with Nonsmooth Initial Data

In this article, we propose and analyze an alternate proof of a priori error estimates for semidiscrete Galerkin approximations to a general second order linear parabolic initial and boundary value problem with rough initial data. Our analysis is based on energy arguments without using parabolic duality. Further, it follows the spirit of the proof technique used for deriving optimal error estimates for finite element approximations to parabolic problems with smooth initial data and hence, it unifies both theories, that is, one for smooth initial data and other for nonsmooth data. Moreover, the proposed technique is also extended to a semidiscrete mixed method for linear parabolic problems. In both cases, optimal L ²-error estimates are derived, when the initial data is in L ². A superconvergence phenomenon is also observed, which is then used to prove L ^∞-estimates for linear parabolic problems defined on two-dimensional spatial domain again with rough initial data.     

On the convergence of multistep methods for nonlinear stiff differential equations

Summary Convergence estimates are given forA()-stable multistep methods applied to singularly perturbed differential equations and nonlinear parabolic problems. The approach taken here combines perturbation arguments with frequency domain techniques.     

Nonnegativity preserving convergent schemes for the thin film equation

Summary. We present numerical schemes for fourth order degenerate parabolic equations that arise e.g. in lubrication theory for time evolution of thin films of viscous fluids. We prove convergence and nonnegativity results in arbitrary space dimensions. A proper choice of the discrete mobility enables us to establish discrete counterparts of the essential integral estimates known from the continuous setting. Hence, the numerical cost in each time step reduces to the solution of a linear system involving a sparse matrix. Furthermore, by introducing a time step control that makes use of an explicit formula for the normal velocity of the free boundary we keep the numerical cost for tracing the free boundary low. Received June 29, 1998 / Published online June 21, 2000     

Error indicators for the Navier-Stokes equations in stream function and vorticity formulation

This paper deals with a posteriori estimates for the finite element solution of the Stokes problem in stream function and vorticity formulation. For two different discretizations, we propose error indicators and we prove estimates in order to compare them with the local error. In a second step, these results are extended to the Navier-Stokes equations. Received March 25, 1996 / Revised version received April 7, 1997     

A posteriori error estimates with the finite element method of lines for a Sobolev equation

A posteriori error estimates for semidiscrete finite element methods for a nonlinear Sobolev equation are considered. The error estimates are obtained by solving local nonlinear or linear pseudo‐parabolic equations for corrections to the solution on each element. The ratios of these estimates and the true errors are proved to converge to 1, implying that the estimates can be used as indicators in adaptive schemes for the problem. Numerical results underline our theoretical results. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

An Error Analysis of Discontinuous Finite Element Methods for the Optimal Control Problems Governed by Stokes Equation

In this article, an abstract framework for the error analysis of discontinuous finite element method is developed for the distributed and Neumann boundary control problems governed by the stationary Stokes equation with control constraints. A priori error estimates of optimal order are derived for velocity and pressure in the energy norm and the L²-norm, respectively. Moreover, a reliable and efficient a posteriori error estimator is derived. The results are applicable to a variety of problems just under the minimal regularity possessed by the well-posedness of the problem. In particular, we consider the abstract results with suitable stable pairs of velocity and pressure spaces like as the lowest-order Crouzeix–Raviart finite element and piecewise constant spaces, piecewise linear and constant finite element spaces. The theoretical results are illustrated by the numerical experiments.