-
Fast and high-order approximation of parabolic equations using hierarchical direct solvers and implicit Runge-Kutta methods
Authors:
Ke Chen,
Daniel Appelö,
Tracy Babb,
Per-Gunnar Martinsson
Abstract:
An additive Runge-Kutta method is used for the time stepping, which integrates the linear stiff terms by an explicit singly diagonally implicit Runge-Kutta (ESDIRK) method and the nonlinear terms by an explicit Runge-Kutta (ERK) method. In each time step, the implicit solve is performed by the recently developed Hierarchical Poincaré-Steklov (HPS) method. This is a fast direct solver for elliptic…
▽ More
An additive Runge-Kutta method is used for the time stepping, which integrates the linear stiff terms by an explicit singly diagonally implicit Runge-Kutta (ESDIRK) method and the nonlinear terms by an explicit Runge-Kutta (ERK) method. In each time step, the implicit solve is performed by the recently developed Hierarchical Poincaré-Steklov (HPS) method. This is a fast direct solver for elliptic equations that decomposes the space domain into a hierarchical tree of subdomains and builds spectral collocation solvers locally on the subdomains. These ideas are naturally combined in the presented method since the singly diagonal coefficient in ESDIRK and a fixed time-step ensures that the coefficient matrix in the implicit solve of HPS remains the same for all time stages. This means that the precomputed inverse can be efficiently reused, leading to a scheme with complexity (in two dimensions) $\mathcal{O}(N^{1.5})$ for the precomputation where the solution operator to the elliptic problems is built, and then $\mathcal{O}(N \log N)$ for the solve in each time step. The stability of the method is proved for first order in time and any order in space, and numerical evidence substantiates a claim of stability for a much broader class of time discretization methods. Numerical experiments supporting the accuracy of efficiency of the method in one and two dimensions are presented.
△ Less
Submitted 7 May, 2024; v1 submitted 4 June, 2023;
originally announced June 2023.
-
Safe trajectory of a piece moved by a robot
Authors:
Ernest Benedito,
Oliver Bond,
Thomas Babb,
Juan R. Pacha,
Sandeep Kumar,
Joan Solà-Morales
Abstract:
In this work, we propose a mathematical model for a physical problem based on the movement of a metal piece held by a robot. Using the principles of Kirchoff plate theory, a set of equations determining stresses and deformations caused during the motion, have been provided. We also discuss possible numerical treatment of these equations and finally, a solution to the one-dimensional analog of the…
▽ More
In this work, we propose a mathematical model for a physical problem based on the movement of a metal piece held by a robot. Using the principles of Kirchoff plate theory, a set of equations determining stresses and deformations caused during the motion, have been provided. We also discuss possible numerical treatment of these equations and finally, a solution to the one-dimensional analog of the problem has been presented.
△ Less
Submitted 22 October, 2020;
originally announced November 2020.
-
HPS Accelerated Spectral Solvers for Time Dependent Problems
Authors:
Tracy Babb,
Per-Gunnar Martinsson,
Daniel Appelo
Abstract:
A high-order convergent numerical method for solving linear and non-linear parabolic PDEs is presented. The time-stepping is done via an explicit, singly diagonally implicit Runge-Kutta (ESDIRK) method of order 4 or 5, and for the implicit solve, we use the recently developed "Hierarchial Poincare-Steklov (HPS)" method. The HPS method combines a multidomain spectral collocation discretization tech…
▽ More
A high-order convergent numerical method for solving linear and non-linear parabolic PDEs is presented. The time-stepping is done via an explicit, singly diagonally implicit Runge-Kutta (ESDIRK) method of order 4 or 5, and for the implicit solve, we use the recently developed "Hierarchial Poincare-Steklov (HPS)" method. The HPS method combines a multidomain spectral collocation discretization technique (a "patching method") with a nested-dissection type direct solver. In the context under consideration, the elliptic solve required in each time-step involves the same coefficient matrix, which makes the use of a direct solver particularly effective. The manuscript describes the methodology and presents numerical experiments.
△ Less
Submitted 12 November, 2018;
originally announced November 2018.
-
An accelerated Poisson solver based on multidomain spectral discretization
Authors:
Tracy Babb,
Adrianna Gillman,
Sijia Hao,
Per-Gunnar Martinsson
Abstract:
This paper presents a numerical method for variable coefficient elliptic PDEs with mostly smooth solutions on two dimensional domains. The PDE is discretized via a multi-domain spectral collocation method of high local order (order 30 and higher have been tested and work well). Local mesh refinement results in highly accurate solutions even in the presence of local irregular behavior due to corner…
▽ More
This paper presents a numerical method for variable coefficient elliptic PDEs with mostly smooth solutions on two dimensional domains. The PDE is discretized via a multi-domain spectral collocation method of high local order (order 30 and higher have been tested and work well). Local mesh refinement results in highly accurate solutions even in the presence of local irregular behavior due to corner singularities, localized loads, etc. The system of linear equations attained upon discretization is solved using a direct (as opposed to iterative) solver with $O(N^{1.5})$ complexity for the factorization stage and $O(N \log N)$ complexity for the solve. The scheme is ideally suited for executing the elliptic solve required when parabolic problems are discretized via time-implicit techniques. In situations where the geometry remains unchanged between time-steps, very fast execution speeds are obtained since the solution operator for each implicit solve can be pre-computed.
△ Less
Submitted 8 December, 2016;
originally announced December 2016.
-
A high-order scheme for solving wave propagation problems via the direct construction of an approximate time-evolution operator
Authors:
T. S. Haut,
T. Babb,
P. G. Martinsson,
B. A. Wingate
Abstract:
The manuscript presents a new technique for computing the exponential of skew-Hermitian operators. Principal advantages of the proposed method include: stability even for large time-steps, the possibility to parallelize in time over many characteristic wavelengths, and large speed-ups over existing methods in situations where simulation over long times are required. Numerical examples involving th…
▽ More
The manuscript presents a new technique for computing the exponential of skew-Hermitian operators. Principal advantages of the proposed method include: stability even for large time-steps, the possibility to parallelize in time over many characteristic wavelengths, and large speed-ups over existing methods in situations where simulation over long times are required. Numerical examples involving the 2D rotating shallow water equations and the 2D wave equation in an inhomogenous medium are presented, and the method is compared to the 4th order Runge-Kutta (RK4) method and to the use of Chebyshev polynomials. Is is demonstrated that the new method achieves high accuracy over long time intervals, and with speeds that are orders of magnitude faster than both RK4 and the use of Chebyshev polynomials.
△ Less
Submitted 20 February, 2014;
originally announced February 2014.