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（劳伦斯伯克利国家实验室计算科学与工程中心）
Robert Speck, Daniel Ruprecht, Michael Minion, Matthew Emmett, Rolf Krause
发表信息：
Lecture Notes in Computational Science and Engineering 104, Springer International Publishing, pages 389-396, 2016
Spectral deferred correction (SDC) methods are an attractive approach to iteratively computing collocation solutions to an ODE by performing so-called sweeps with a low-order time stepping method. SDC allows to easily construct high order split methods where e.g. stiff terms of the ODE are treated implicitly. This requires the solution to full accuracy of multiple linear systems of equations during each sweep, e.g. with a multigrid method. In this paper, we present an inexact variant of SDC, where each solve of a linear system is replaced by a single multigrid V-cycle and thus significantly reduces the cost for each sweep. For the investigated examples, this strategy results only in a small increase of the number of required sweeps and we demonstrate that "inexact spectral deferred corrections" can provide a dramatic reduction of the overall number of multigrid V-cycles required to complete an SDC time step.
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 co…
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. …
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…
Multigrid is one of the most efficient methods for solving large-scale linear systems that arise from discretized partial differential equations. As a foundation for multigrid analysis, two-grid theory plays an important role in motivating and analyzing multigrid algorithms. For symmetric positive definite problems, the convergence theory of two-grid methods with exact solution of the Galerkin coarse-grid system is mature, and the convergence factor of exact two-grid methods can be characterized by an identity. Compared with the exact case, the convergence theory of inexact two-grid methods (i…
In this paper, we demonstrate that the explicit ADER approach as it is used inter alia in [1] can be seen as a special interpretation of the deferred correction (DeC) method as introduced in [2]. By using this fact, we are able to embed ADER in a theoretical background of time integration schemes and prove the relation between the accuracy order and the number of iterations which are needed to reach the desired order. Next, we extend our investigation to stiff ODEs, treating these source terms implicitly. Some differences in the interpretation and implementation can be found. Using DeC yields …
This paper investigates the competitiveness of semi-implicit Runge-Kutta (RK) and spectral deferred correction (SDC) time-integration methods up to order six for incompressible Navier-Stokes problems in conjunction with a high-order discontinuous Galerkin method for space discretization. It is proposed to harness the implicit and explicit RK parts as a partitioned scheme, which provides a natural basis for the underlying projection scheme and yields a straight-forward approach for accommodating nonlinear viscosity. Numerical experiments on laminar flow, variable viscosity and transition to tur…
This work introduces the high-order Boris-SDC method for integrating the equations of motion for electrically charged particles in an electric and magnetic field. Boris-SDC relies on a combination of the Boris-integrator with spectral deferred corrections (SDC). SDC can be considered as preconditioned Picard iteration to compute the stages of a collocation method. In this interpretation, inverting the preconditioner corresponds to a sweep with a low-order method. In Boris-SDC, the Boris method, a second-order Lorentz force integrator based on velocity-Verlet, is used as a sweeper/preconditione…
