Fully implicit Runge-Kutta (IRK) methods have many desirable properties as time integration schemes in terms of accuracy and stability, but are rarely used in practice with numerical PDEs due to the difficulty of solving the stage equations. This paper introduces a theoretical and algorithmic framework for the fast, parallel solution of the systems of equations that arise from IRK methods applied to linear numerical PDEs (without algebraic constraints). This framework also naturally applies to discontinuous Galerkin discretizations in time. The new method can be used with arbitrary existing preconditioners for backward Euler-type time stepping schemes, and is amenable to the use of three-term recursion Krylov methods when the underlying spatial discretization is symmetric. Under quite general assumptions on the spatial discretization that yield stable time integration, the preconditioned operator is proven to have conditioning ~O(1), with only weak dependence on number of stages/polynomial order; for example, the preconditioned operator for 10th-order Gauss integration has condition number less than two. The new method is demonstrated to be effective on various high-order finite-difference and finite-element discretizations of linear parabolic and hyperbolic problems, demonstrating fast, scalable solution of up to 10th order accuracy. In several cases, the new method can achieve 4th-order accuracy using Gauss integration with roughly half the number of preconditioner applications as required using standard SDIRK techniques.
翻译:完全隐含的龙格-库塔(IRK)方法作为准确性和稳定性方面的时间整合计划有许多可取的特性,但很少在数字PDE中实际使用,因为难以解决阶段方程式。本文件介绍了一个理论和算法框架,用于对线性数字PDE(无代数限制)采用IRK方法产生的方程式系统的快速平行解决方案。这个框架自然也适用于不连续的加勒金分解,新的方法可以与落后的Euler型时间过渡计划任意存在的前提条件一起使用,但在基本空间离散具有对称性的情况下,可以使用三期递递归Krylov 方法。在对空间离散性进行空间分解从而产生稳定时间整合的空间分解的相当一般假设下,前提条件操作员已证明对 ~O(1) 具有调节性,对阶段/球团秩序数的依赖性较弱;例如,10级高分级整合的操作员的前提条件数量比2个条件要小。新的方法在各种高阶级级级的定序、可快速度和定质性方法中展示了10级的快速分级办法。