An efficient hybrid numerical method based on an additive scheme for solving coupled systems of singularly perturbed linear parabolic problems

We construct an efficient hybrid numerical method for solving coupled systems of singularly perturbed linear parabolic problems of reaction-diffusion type. The discretization of the coupled system is based on the use of an additive or splitting scheme on a uniform mesh in time and a hybrid scheme on a layer-adapted mesh in space. It is proven that the developed numerical method is uniformly convergent of first order in time and third order in space. The purpose of the additive scheme is to decouple the components of the vector approximate solution at each time step and thus make the computation more efficient. The numerical results confirm the theoretical convergence result and illustrate the efficiency of the proposed strategy.     

DOMAIN DECOMPOSITION PRECONDITIONERS FOR SECOND-ORDER HYPERBOLIC EQUATIONS ON L-SHAPED REGIONS

Linear systems arising from implicit time discretizations and finite difference space discretizations of second-order hyperbolic equations on L-shaped region are considered. We analyse the use of domain deocmposilion preconditioner.s for the solution of linear systems via the preconditioned conjugate gradient method. For the constant-coefficient second-order hyperbolic equaions with initial and Dirichlet boundary conditions,we prove that the conditionnumber of the preconditioned interface system is bounded by 2+x2 2+0.46x2 where x is the quo-tient between the lime and space steps. Such condition number produces a convergence rale that is independent of gridsize and aspect ratios. The results could be extended to parabolic equations.     

Backward Euler discretization of fully nonlinear parabolic problems

This paper is concerned with the time discretization of nonlinear evolution equations. We work in an abstract Banach space setting of analytic semigroups that covers fully nonlinear parabolic initial-boundary value problems with smooth coefficients. We prove convergence of variable stepsize backward Euler discretizations under various smoothness assumptions on the exact solution. We further show that the geometric properties near a hyperbolic equilibrium are well captured by the discretization. A numerical example is given.

     

A high order HODIE finite difference scheme for 1D parabolic singularly perturbed reaction-diffusion problems

This paper deals with the numerical approximation of the solution of 1D parabolic singularly perturbed problems of reaction-diffusion type. The numerical method combines the standard implicit Euler method on a uniform mesh to discretize in time and a HODIE compact fourth order finite difference scheme to discretize in space, which is defined on a priori special meshes condensing the grid points in the boundary layer regions. The method is uniformly convergent having first order in time and almost fourth order in space. The analysis of the uniform convergence is made in two steps, splitting the contribution to the error from the time and the space discretization. Although this idea has been previously used to prove the uniform convergence for parabolic singularly perturbed problems, here the proof is based on a new study of the asymptotic behavior of the exact solution of the semidiscrete problems obtained after the time discretization by using the Euler method. Some numerical results are given corroborating in practice the theoretical results.     

Convergence Analysis of Spatially Adaptive Rothe Methods

This paper is concerned with the convergence analysis of the horizontal method of lines for evolution equations of the parabolic type. Following a semidiscretization in time by \(S\) -stage one-step methods, the resulting elliptic stage equations per time step are solved with adaptive space discretization schemes. We investigate how the tolerances in each time step must be tuned in order to preserve the asymptotic temporal convergence order of the time stepping also in the presence of spatial discretization errors. In particular, we discuss the case of linearly implicit time integrators and adaptive wavelet discretizations in space. Using concepts from regularity theory for partial differential equations and from nonlinear approximation theory, we determine an upper bound for the degrees of freedom for the overall scheme that are needed to adaptively approximate the solution up to a prescribed tolerance.     

A uniformly convergent scheme for a system of reaction–diffusion equations

In this work a system of two parabolic singularly perturbed equations of reaction–diffusion type is considered. The asymptotic behaviour of the solution and its partial derivatives is given. A decomposition of the solution in its regular and singular parts has been used for the asymptotic analysis of the spatial derivatives. To approximate the solution we consider the implicit Euler method for time stepping and the central difference scheme for spatial discretization on a special piecewise uniform Shishkin mesh. We prove that this scheme is uniformly convergent, with respect to the diffusion parameters, having first-order convergence in time and almost second-order convergence in space, in the discrete maximum norm. Numerical experiments illustrate the order of convergence proved theoretically.     

A higher order uniformly convergent method for singularly perturbed parabolic turning point problems

In this article, we study numerical approximation for a class of singularly perturbed parabolic (SPP) convection-diffusion turning point problems. The considered SPP problem exhibits a parabolic boundary layer in the neighborhood of one of the sides of the domain. Some a priori bounds are given on the exact solution and its derivatives, which are necessary for the error analysis. A numerical scheme comprising of implicit finite difference method for time discretization on a uniform mesh and a hybrid scheme for spatial discretization on a generalized Shishkin mesh is proposed. Then Richardson extrapolation method is applied to increase the order of convergence in time direction. The resulting scheme has second-order convergence up to a logarithmic factor in space and second-order convergence in time. Numerical experiments are conducted to demonstrate the theoretical results and the comparative study is done with the existing schemes in literature to show better accuracy of the proposed schemes.     

On the uniform convergence of a finite difference scheme for time dependent singularly perturbed reaction-diffusion problems

In this work we are interested in the numerical approximation of 1D parabolic singularly perturbed problems of reaction-diffusion type. To approximate the multiscale solution of this problem we use a numerical scheme combining the classical backward Euler method and central differencing. The scheme is defined on some special meshes which are the tensor product of a uniform mesh in time and a special mesh in space, condensing the mesh points in the boundary layer regions. In this paper three different meshes of Shishkin, Bahkvalov and Vulanovic type are used, proving the uniform convergence with respect to the diffusion parameter. The analysis of the uniform convergence is based on a new study of the asymptotic behavior of the solution of the semidiscrete problems, which are obtained after the time discretization by the Euler method. Some numerical results are showed corroborating in practice the theoretical results on the uniform convergence and the order of the method.     

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.     

A higher order difference method for singularly perturbed parabolic partial differential equations

This paper studies a higher order numerical method for the singularly perturbed parabolic convection-diffusion problems where the diffusion term is multiplied by a small perturbation parameter. In general, the solutions of these type of problems have a boundary layer. Here, we generate a spatial adaptive mesh based on the equidistribution of a positive monitor function. Implicit Euler method is used to discretize the time variable and an upwind scheme is considered in space direction. A higher order convergent solution with respect to space and time is obtained using the postprocessing based extrapolation approach. It is observed that the convergence is independent of perturbation parameter. This technique enhances the order of accuracy from first order uniform convergence to second order uniform convergence in space as well as in time. Comparative study with the existed meshes show the highly effective behavior of the present method.     

Optimal multilevel methods for graded bisection grids

We design and analyze optimal additive and multiplicative multilevel methods for solving H ¹ problems on graded grids obtained by bisection. We deal with economical local smoothers: after a global smoothing in the finest mesh, local smoothing for each added node during the refinement needs to be performed only for three vertices - the new vertex and its two parent vertices. We show that our methods lead to optimal complexity for any dimensions and polynomial degree. The theory hinges on a new decomposition of bisection grids in any dimension, which is of independent interest and yields a corresponding decomposition of spaces. We use the latter to bridge the gap between graded and quasi-uniform grids, for which the multilevel theory is well-established.     

Discontinuous Galerkin methods for solving a quasistatic contact problem

We consider the numerical solution of a nonlinear evolutionary variational inequality, arising in the study of quasistatic contact problems. We study spatially semi-discrete and fully discrete schemes for the problem with several discontinuous Galerkin discretizations in space and finite difference discretization in time. Under appropriate regularity assumptions on the solution, a unified error analysis is established for the schemes, reaching the optimal convergence order for linear elements. Numerical results are presented on a two dimensional test problem to illustrate numerical convergence orders.     

A FINITE DIFFERENCE METHOD FOR THE HEAT EQUATION WITH A NONLINEAR BOUNDARY CONDITION

This article is concerned with the numerical solution to a parabolic equation with a kind of nonlinear boundary conditions. A difference scheme is constructed by the method of reduction of order on uniform mesh to solve the problem. It is proved that the difference scheme is uniquely solvable and uncon-ditionaUy convergent with the convergence order 2 in both space and time in an energy norm. An effective iterative algorithm is given and a numerical example is presented to demonstrate the theoretical results.     

热方程非线性边界条件问题的有限差分方法

This article is concerned with the numerical solution to a parabolic equation with a kind of nonlinear boundary conditions. A difference scheme is constructed by the method of reduction of order on uniform mesh to solve the problem. It is proved that the difference scheme is uniquely solvable and uncon-ditionaUy convergent with the convergence order 2 in both space and time in an energy norm. An effective iterative algorithm is given and a numerical example is presented to demonstrate the theoretical results.     

Composite finite element approximation for nonlinear parabolic problems in nonconvex polygonal domains

We study a new class of finite elements so‐called composite finite elements (CFEs), introduced earlier by Hackbusch and Sauter, Numer. Math., 1997; 75:447‐472, for the approximation of nonlinear parabolic equation in a nonconvex polygonal domain. A two‐scale CFE discretization is used for the space discretizations, where the coarse‐scale grid discretized the domain at an appropriate distance from the boundary and the fine‐scale grid is used to resolve the boundary. A continuous, piecewise linear CFE space is employed for the spatially semidiscrete finite element approximation and the temporal discretizations is based on modified linearized backward Euler scheme. We derive almost optimal‐order convergence in space and optimal order in time for the CFE method in the L^∞(L²) norm. Numerical experiment is carried out for an L‐shaped domain to illustrate our theoretical findings.     

Stabilization of algebraic multilevel iteration methods; additive methods

There exist two main versions of preconditioners of algebraic multilevel type, the additive and the multiplicative methods. They correspond to preconditioners in block diagonal and block matrix factorized form, respectively. Both can be defined and analysed as recursive two-by-two block methods. Although the analytical framework for such methods is simple, for many finite element approximations it still permits the derivation of the strongest results, such as optimal, or nearly optimal, rate of convergence and optimal, or nearly optimal order of computational complexity, when proper recursive global orderings of node points have been used or when they are applied for hierarchical basis function finite element methods for elliptic self-adjoint equations and stabilized in a certain way. This holds for general elliptic problems of second order, independent of the regularity of the problem, including independence of discontinuities of coefficients between elements and of anisotropy. Important ingredients in the methods are a proper balance of the size of the coarse mesh to the finest mesh and a proper solver on the coarse mesh. This paper presents in a survey form the basic results of such methods and considers in particular additive methods. This method has excellent parallelization properties. This revised version was published online in June 2006 with corrections to the Cover Date.     

Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces

Convergence results are shown for full discretizations of quasilinear parabolic partial differential equations on evolving surfaces. As a semidiscretization in space the evolving surface finite element method is considered, using a regularity result of a generalized Ritz map, optimal order error estimates for the spatial discretization is shown. Combining this with the stability results for Runge–Kutta and backward differentiation formulae time integrators, we obtain convergence results for the fully discrete problems. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1200–1231, 2016     

A finite volume method on general meshes for a degenerate parabolic convection–reaction–diffusion equation

We propose a finite volume method on general meshes for the discretization of a degenerate parabolic convection–reaction–diffusion equation. Equations of this type arise in many contexts, such as for example the modeling of contaminant transport in porous media. The diffusion term, which can be anisotropic and heterogeneous, is discretized using a recently developed hybrid mimetic mixed framework. We construct a family of discretizations for the convection term, which uses the hybrid interface unknowns. We consider a wide range of unstructured possibly nonmatching polyhedral meshes in arbitrary space dimension. The scheme is fully implicit in time, it is locally conservative and robust with respect to the Péclet number. We obtain a convergence result based upon a priori estimates and the Fréchet–Kolmogorov compactness theorem. We implement the scheme both in two and three space dimensions and compare the numerical results obtained with the upwind and the centered discretizations of the convection term numerically.     

Optimal Convergence Results for Runge-Kutta Discretizations of Linear Nonautonomous Parabolic Problems

We analyze the convergence properties of implicit Runge-Kutta methods for the time-discretization of linear nonautonomous parabolic problems. We work in an abstract Banach space setting that covers standard parabolic initial-boundary value problems with time-dependent smooth coefficients. The Runge-Kutta methods are only assumed to be A()-stable, and variable stepsizes are allowed in the analysis. As the main result, we derive optimal convergence rates for Runge-Kutta discretizations of temporally smooth solutions.     

Convergence analysis of a covolume scheme for Maxwell's equations in three dimensions

This paper contains error estimates for covolume discretizations of Maxwell's equations in three space dimensions. Several estimates are proved. First, an estimate for a semi-discrete scheme is given. Second, the estimate is extended to cover the classical interlaced time marching technique. Third, some of our unstructured mesh results are specialized to rectangular meshes, both uniform and nonuniform. By means of some additional analysis it is shown that the spatial convergence rate is one order higher than for the unstructured case.