The spectral deferred correction method is a variant of the deferred correction method for solving ordinary differential equations. A benefit of this method is that is uses low order schemes iteratively to produce a high order approximation. In this paper we consider adjoint-based a posteriori analysis to estimate the error in a quantity of interest of the solution. This error formula is derived by first developing a nodally equivalent finite element method to the spectral deferred correction method. The error formula is then split into various terms, each of which characterizes a different component of the error. These components may be used to determine the optimal strategy for changing the method parameters to best improve the error.
This paper presents a sequence of deferred correction (DC) schemes built recursively from the implicit midpoint scheme for the numerical solution of general first order ordinary differential equations (ODEs). It is proven that each scheme is A-stable, satisfies a B-convergence property, and that the correction on a scheme DC(2j) of order 2j of accuracy leads to a scheme DC2j+2 of order 2j+2. The order of accuracy is guaranteed by a deferred correction condition. Numerical experiments with standard stiff and non-stiff ODEs are performed with the DC2, ..., DC10 schemes. The results show a high a…
A defect-deferred correction method, increasing both temporal and spatial accuracy, for fluid-fluid interaction problem with nonlinear interface condition is considered by geometric averaging of the previous two-time levels. In the defect step, an artificial viscosity is added only on the fluctuations in the velocity gradient by removing this effect on a coarse mesh. The dissipative influence of the artificial viscosity is further eliminated in the correction step while gaining additional temporal accuracy at the same time. The stability and accuracy analyses of the resulting algorithm are inv…
An alternative first step approximation based on subgrid artificial viscosity modeling (SAV) is proposed for defect-deferred correction method (DDC) for incompresible Navier-Stokes equation at high Reynolds number. This new approach not only preserves all qualifications of the conventional artificial viscosity (AV) based DDC, such as unconditional stability, high order of accuracy and so on, it has also shown its superiority over choosing AV approximation in the predictor step. Both theory and computational results presented in this paper illustrate that this alternative approach indeed increa…
This paper presents a semi-implicit spectral deferred correction (SDC) method for incompressible Navier-Stokes problems with variable viscosity and time-dependent boundary conditions. The proposed method integrates elements of velocity- and pressure-correction schemes, which yields a simpler pressure handling and a smaller splitting error than the SDPC method of Minion & Saye (J. Comput. Phys. 375: 797-822, 2018). Combined with the discontinuous Galerkin spectral-element method for spatial discretization it can in theory reach arbitrary order of accuracy in time and space. Numerical experiment…
This paper provides a new approach to derive various arbitrary high order finite difference formulae for the numerical differentiation of analytic functions. In this approach, various first and second order formulae for the numerical approximation of analytic functions are given with error terms explicitly expanded as Taylor series of the analytic function. These lower order approximations are successively improved by one or two (two order improvement for centered formulae) to give finite difference formulae of arbitrary high order. The new approach allows to recover the standard backward, for…
The spectral deferred correction (SDC) method is class of iterative solvers for ordinary differential equations (ODEs). It can be interpreted as a preconditioned Picard iteration for the collocation problem. The convergence of this method is well-known, for suitable problems it gains one order per iteration up to the order of the quadrature method of the collocation problem provided. This appealing feature enables an easy creation of flexible, high-order accurate methods for ODEs. A variation of SDC are multi-level spectral deferred corrections (MLSDC). Here, iterations are performed on a hier…
Production-destruction systems (PDS) of ordinary differential equations (ODEs) are used to describe physical and biological reactions in nature. The considered quantities are subject to natural laws. Therefore, they preserve positivity and conservation of mass at the analytical level. In order to maintain these properties at the discrete level, the so-called modified Patankar-Runge-Kutta (MPRK) schemes are often used in this context. However, up to our knowledge, the family of MPRK has been only developed up to third order of accuracy. In this work, we propose a method to solve PDS problems, b…
Jülich Supercomputing Centre, Forschungszentrum Jülich（于利希超级计算中心，于利希研究中心）；Institute of Computational Science, Università della Svizzera italiana（瑞士意大利语大学计算科学研究所）；Center for Computational Sciences and Engineering, Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室计算科学与工程中心）；Institute for Computational and Mathematical Engineering, Stanford University（斯坦福大学计算与数学工程研究所）；Department of Mathematics, Bergische Universität Wuppertal（伍珀塔尔山岳大学数学系）
In this paper, we use an implicit two-derivative deferred correction time discretization approach and combine it with a spatial discretization of the discontinuous Galerkin spectral element method to solve (non-)linear PDEs. The resulting numerical method is high order accurate in space and time. As the novel scheme handles two time derivatives, the spatial operator for both derivatives has to be defined. This results in an extended system matrix of the scheme. We analyze this matrix regarding possible simplifications and an efficient way to solve the arising (non-)linear system of equations. …
Jülich Supercomputing Centre, Forschungszentrum Jülich GmbH（于利希超级计算中心，于利希研究中心有限公司）；Institute of Computational Science, Università della Svizzera italiana（意大利瑞士大学计算科学研究所）；Institute for Computational and Mathematical Engineering, Stanford University（斯坦福大学计算与数学工程研究所）；Center for Computational Sciences and Engineering, Lawrence Berkeley National Laboratory（劳伦斯伯克利国家实验室计算科学与工程中心）
The paper investigates two new use cases for the Boris Spectral Deferred Corrections (Boris-SDC) time integrator for plasma simulations. First, we show that using Boris-SDC as a particle pusher in an electrostatic particle-in-cell (PIC) code can, at least in the linear regime, improve simulation accuracy compared with the standard second order Boris method. In some instances, the higher order of Boris-SDC even allows a much larger time step, leading to modest computational gains. Second, we propose a modification of Boris-SDC for the relativistic regime. Based on an implementation of Boris-SDC…
Arbitrary high order numerical methods for time-harmonic acoustic scattering problems originally defined on unbounded domains are constructed. This is done by coupling recently developed high order local absorbing boundary conditions (ABCs) with finite difference methods for the Helmholtz equation. These ABCs are based on exact representations of the outgoing waves by means of farfield expansions. The finite difference methods, which are constructed from a deferred-correction (DC) technique, approximate the Helmholtz equation and the ABCs, with the appropriate number of terms, to any desired o…
In [1] is proposed a simplified DeC method, that, when combined with the residual distribution (RD) framework, allows to construct a high order, explicit FE scheme with continuous approximation avoiding the inversion of the mass matrix for hyperbolic problems. In this paper, we close some open gaps in the context of deferred correction (DeC) and their application within the RD framework. First, we demonstrate the connection between the DeC schemes and the RK methods. With this knowledge, DeC can be rewritten as a convex combination of explicit Euler steps, showing the connection to the strong …
The paper investigates a variant of semi-implicit spectral deferred corrections (SISDC) in which the stiff, fast dynamics correspond to fast propagating waves ("fast-wave slow-wave problem"). We show that for a scalar test problem with two imaginary eigenvalues $i λ_{fast}$, $i λ_{slow}$, having $Δt \left(\left| λ_{fast} \right| + \left| λ_{slow} \right| \right) < 1$ is sufficient for the fast-wave slow-wave SDC (FWSW-SDC) iteration to converge and that in the limit of infinitely fast waves the convergence rate of the non-split version is retained. Stability function and discrete dispersion re…
In this paper we analyse full discretizations of an initial boundary value problem (IBVP) related to reaction-diffusion equations. To avoid possible order reduction, the IBVP is first transformed into an IBVP with homogeneous boundary conditions (IBVPHBC) via a lifting of inhomogeneous Dirichlet, Neumann or mixed Dirichlet-Neumann boundary conditions. The IBVPHBC is discretized in time via the deferred correction method for the implicit midpoint rule and leads to a time-stepping scheme of order $2p+2$ of accuracy at the stage $p=0,1,2,\cdots $ of the correction. Each semi-discretized scheme re…
Parallel performance of shared memory parallel spectral deferred corrections
Hamburg University of Technology（汉堡工业大学）；Univ. Grenoble Alpes / Laboratoire Jean Kuntzmann / Inria（格勒诺布尔阿尔卑斯大学/让·孔特实验室/法国国家信息与自动化研究所）；Technical University of Munich（慕尼黑工业大学）
This paper presents a high-order deferred correction algorithm combined with penalty iteration for solving free and moving boundary problems, using a fourth-order finite difference method. Typically, when free boundary problems are solved on a fixed computational grid, the order of the solution is low due to the discontinuity in the solution at the free boundary, even if a high-order method is used. Using a detailed error analysis, we observe that the order of convergence of the solution can be increased to fourth-order by solving successively corrected finite difference systems, where the cor…
We present an arbitrarily high-order, conditionally stable, partitioned spectral deferred correction (SDC) method for solving multiphysics problems using a sequence of pre-existing single-physics solvers. This method extends the work in [1, 2], which used implicit-explicit Runge-Kutta methods (IMEX) to build high-order, partitioned multiphysics solvers. We consider a generic multiphysics problem modeled as a system of coupled ordinary differential equations (ODEs), coupled through coupling terms that can depend on the state of each subsystem; therefore the method applies to both a semi-discret…
We present the two-dimensional unstructured grids extension of the a posteriori local subcell correction of discontinuous Galerkin (DG) schemes introduced in [52]. The technique is based on the reformulation of DG scheme as a finite volume (FV) like method through the definition of some specific numerical fluxes referred to as reconstructed fluxes. High-order DG numerical scheme combined with this new local subcell correction technique ensures positivity preservation of the solution, along with a low oscillatory and sharp shocks representation. The main idea of this correction procedure is to …
We present a framework that relates preconditioning with a posteriori error estimates in finite element methods. In particular, we use standard tools in subspace correction methods to obtain reliable and efficient error estimators. As a simple example, we recover the classical residual error estimators for the second order elliptic equations.
A posteriori analysis of Chorin-Temam scheme for Stokes equations
Université Paris Est, Laboratoire d’hydraulique Saint-Venant (Ecole Nationale des Ponts et Chaussées – EDF R&D – CETMEF)（巴黎东大学，圣维南水力学实验室（国立路桥学校-法国电力研发集团-CETMEF））；INRIA（法国国家信息与自动化研究所）
We present an equilibration-based a posteriori error estimator for Nédélec element discretizations of the magnetostatic problem. The estimator is obtained by adding a gradient correction to the estimator for Nédélec elements of arbitrary degree presented in [J. Gedicke, S. Geevers, and I. Perugia. An equilibrated a posteriori error estimator for arbitrary-order Nédélec elements for magnetostatic problems. Journal of Scientific Computing, 83:1-23, 2020]. This new estimator is proven to be reliable, with reliability constant 1, and efficient, with an efficiency constant that is independent of th…
