Design/analysis of GEGS4-1 time integration framework with improved stability and solution accuracy for first-order transient systems

Abstract In this work, the fundamental design procedure, termed as Algorithms by Design, is exploited to establish novel explicit algorithms under the umbrella of linear multi-step (LMS) methods for first-order linear and/or nonlinear transient systems with second-/third-/fourth-order accuracy features. To this end, we focus on developing and designing General Explicit time integration algorithms in an advanced algorithmic fashion typical of the Generalized Single-Step Single-Solve framework for the first-order transient system (GEGS4-1), in which the original GS4-1 has been acknowledged to encompass a wide variety of implicit LMS algorithms of second-order accuracy developed over the past few decades. In contrast to the existing explicit LMS family of algorithms (specifically, second-/third-/fourth-order Adams-Bashforth methods), the proposed algorithmic framework is a single-step formulation and is proved to significantly improve stability and solution accuracy with rigor via mathematical derivations and numerical demonstrations; Moreover, it does not need any additional numerical techniques, such as Runge-Kutta method, for the starting procedure. New/Optimized algorithms can be generated in the proposed framework to circumvent the stability and accuracy limitation with respect to the classical LMS family (not multi-stage method), which is most useful for practical applications. Most significantly, the proposed method readily provides a promising and controllable trade off between stability and accuracy. Specifically, (i) with different selections of free algorithmic parameters, one can recover second-order Adams-Bashforth and Taylor-Galerkin algorithms with critical stability frequency Ω s = λ Δ t c r = 1 , third-order Adams-Bashforth algorithm with Ω s = 6 11 ≈ 0.5455 , and fourth-order Adams-Bashforth algorithm with Ω s = 0.3 ; (ii) new algorithms are originated from the proposed method with improved stability (such as second-order GEGS4-1 with Ω s = 1.2 and/or 1.5, third-order GEGS4-1 with Ω s =1, 1.2, and/or 1.5, and fourth-order GEGS4-1 with Ω s =0.6, 0.8, and/or 1.0) and solution accuracy are presented. Both single-degree of freedom (SDOF) and multi-degree of freedom (MDOF) problems are utilized to validate and demonstrate the ability of proposed algorithmic framework.

[1]  Kumar K. Tamma,et al.  Algorithms by design with illustrations to solid and structural mechanics/dynamics , 2006 .

[2]  Kumar K. Tamma,et al.  Advances in Computational Dynamics of Particles, Materials and Structures , 2012 .

[3]  J. Z. Zhu,et al.  The finite element method , 1977 .

[4]  Luigi de Luca,et al.  Explicit Runge-Kutta schemes for incompressible flow with improved energy-conservation properties , 2017, J. Comput. Phys..

[5]  Kumar K. Tamma,et al.  An Overview and Recent Advances in Vector and Scalar Formalisms: Space/Time Discretizations in Computational Dynamics—A Unified Approach , 2011 .

[6]  Andreas Klöckner,et al.  Multi-rate time integration on overset meshes , 2018, J. Comput. Phys..

[7]  K. Tamma,et al.  A new finite element based Lax-Wendroff/Taylor-Galerkin methodology for computational dynamics , 1988 .

[8]  Jun Zhu,et al.  High-order Runge-Kutta discontinuous Galerkin methods with a new type of multi-resolution WENO limiters , 2020, J. Comput. Phys..

[9]  K. Tamma,et al.  A consistent Moving Particle System Simulation method: Applications to parabolic/hyperbolic heat conduction type problems , 2016 .

[10]  Dale R. Durran,et al.  The Third-Order Adams-Bashforth Method: An Attractive Alternative to Leapfrog Time Differencing , 1991 .

[11]  Laurent Stainier,et al.  Energy conserving balance of explicit time steps to combine implicit and explicit algorithms in structural dynamics , 2006 .

[12]  Kumar K. Tamma,et al.  Design, analysis, and synthesis of generalized single step single solve and optimal algorithms for structural dynamics , 2004 .

[13]  Zhonghua Qiao,et al.  Characterizing the Stabilization Size for Semi-Implicit Fourier-Spectral Method to Phase Field Equations , 2014, SIAM J. Numer. Anal..

[14]  Dana A. Knoll,et al.  A fully second order implicit/explicit time integration technique for hydrodynamics plus nonlinear heat conduction problems , 2010, J. Comput. Phys..

[15]  Lorenzo Pareschi,et al.  Implicit-explicit runge-kutta schemes and applications to hyperbolic systems with relaxation , 2010, 1009.2757.

[16]  Kumar K. Tamma,et al.  Accurate solution for natural convection around single and tandem circular cylinders inside a square enclosure using SEM , 2019, Numerical Heat Transfer, Part A: Applications.

[17]  T. Belytschko,et al.  Computational Methods for Transient Analysis , 1985 .

[18]  Kumar K. Tamma,et al.  The time dimension: A theory towards the evolution, classification, characterization and design of computational algorithms for transient/ dynamic applications , 2000 .

[19]  Kumar K. Tamma,et al.  Generalized heat conduction model involving imperfect thermal contact surface: Application of the GSSSS-1 differential-algebraic equation time integration , 2018 .

[20]  Cheng Wang,et al.  Stability and Convergence Analysis of Fully Discrete Fourier Collocation Spectral Method for 3-D Viscous Burgers’ Equation , 2012, J. Sci. Comput..

[21]  Kumar K. Tamma,et al.  EXPLICIT SECOND-ORDER ACCURATE TAYLOR-GALERKIN-BASED FINITE-ELEMENT FORMULATIONS FOR LINEAR/NONLINEAR TRANSIENT HEAT TRANSFER , 1988 .

[22]  Kumar K. Tamma,et al.  Design of order‐preserving algorithms for transient first‐order systems with controllable numerical dissipation , 2011 .

[23]  Kumar K. Tamma,et al.  A novel extension of GS4-1 time integrator to fluid dynamics type non-linear problems with illustrations to Burgers’ equation , 2016 .

[24]  S. Orszag,et al.  High-order splitting methods for the incompressible Navier-Stokes equations , 1991 .

[25]  Einar M. Rønquist,et al.  A high order splitting method for time-dependent domains , 2008 .

[26]  Kumar K. Tamma,et al.  A new unified theory underlying time dependent linear first‐order systems: a prelude to algorithms by design , 2004 .

[27]  Wenbin Chen,et al.  Energy stable higher-order linear ETD multi-step methods for gradient flows: application to thin film epitaxy , 2020 .

[28]  Kumar K. Tamma,et al.  A two-field state-based Peridynamic theory for thermal contact problems , 2018, J. Comput. Phys..

[29]  Marc Montagnac,et al.  A coupled implicit-explicit time integration method for compressible unsteady flows , 2019, J. Comput. Phys..

[30]  Kumar K. Tamma,et al.  A unified computational methodology for dynamic thermoelasticity with multiple subdomains under the GSSSS framework involving differential algebraic equation systems , 2019, Journal of Thermal Stresses.

[31]  G. Dahlquist A special stability problem for linear multistep methods , 1963 .

[32]  K. Tamma,et al.  A novel design of an isochronous integration [iIntegration] framework for first/second order multidisciplinary transient systems , 2015 .

[33]  T. Tang,et al.  Nonlinear stability of the implicit-explicit methods for the Allen-Cahn equation , 2013 .

[34]  Cheng Wang,et al.  Long Time Stability of High Order MultiStep Numerical Schemes for Two-Dimensional Incompressible Navier-Stokes Equations , 2016, SIAM J. Numer. Anal..

[35]  J. Oden Finite Elements of Nonlinear Continua , 1971 .

[36]  Guoliang Qin,et al.  An improved time-splitting method for simulating natural convection heat transfer in a square cavity by Legendre spectral element approximation , 2018, Computers & Fluids.

[37]  Brian C. Vermeire Paired explicit Runge-Kutta schemes for stiff systems of equations , 2019, J. Comput. Phys..

[38]  Kumar K. Tamma,et al.  A novel and simple a posteriori error estimator for LMS methods under the umbrella of GSSSS framework: Adaptive time stepping in second-order dynamical systems , 2018, Computer Methods in Applied Mechanics and Engineering.

[39]  Jiang Yang,et al.  Implicit-Explicit Scheme for the Allen-Cahn Equation Preserves the Maximum Principle , 2016 .

[40]  Zhonghua Qiao,et al.  A Third Order Exponential Time Differencing Numerical Scheme for No-Slope-Selection Epitaxial Thin Film Model with Energy Stability , 2019, Journal of Scientific Computing.

[41]  Randall J. LeVeque,et al.  Finite difference methods for ordinary and partial differential equations - steady-state and time-dependent problems , 2007 .

[42]  Per-Olof Persson,et al.  High-order, linearly stable, partitioned solvers for general multiphysics problems based on implicit–explicit Runge–Kutta schemes , 2018, Computer Methods in Applied Mechanics and Engineering.