Showing 1–50 of 52 results for author: Ketcheson, D I

Approximation of arbitrarily high-order PDEs by first-order hyperbolic relaxation

Authors: David I. Ketcheson, Abhijit Biswas

Abstract: We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are potentially useful as either analytical or computational tools for understanding the corresponding higher-order equation. We perform a systematic analysis of a fam… ▽ More We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are potentially useful as either analytical or computational tools for understanding the corresponding higher-order equation. We perform a systematic analysis of a family of linear model equations and show that for each member of this family there is a stable hyperbolic approximation whose solution converges to that of the model equation in a certain limit. We then show through several examples that this approach can be applied successfully to a very wide range of nonlinear PDEs of practical interest. △ Less

Submitted 27 May, 2024; originally announced May 2024.

A multiscale model for weakly nonlinear shallow water waves over periodic bathymetry

Authors: David I. Ketcheson, Lajos Lóczi, Giovanni Russo

Abstract: We study the behavior of shallow water waves over periodically-varying bathymetry, based on the first-order hyperbolic Saint-Venant equations. Although solutions of this system are known to generally exhibit wave breaking, numerical experiments suggest a different behavior in the presence of periodic bathymetry. Starting from the first-order variable-coefficient hyperbolic system, we apply a multi… ▽ More We study the behavior of shallow water waves over periodically-varying bathymetry, based on the first-order hyperbolic Saint-Venant equations. Although solutions of this system are known to generally exhibit wave breaking, numerical experiments suggest a different behavior in the presence of periodic bathymetry. Starting from the first-order variable-coefficient hyperbolic system, we apply a multiple-scale perturbation approach in order to derive a system of constant-coefficient high-order partial differential equations whose solution approximates that of the original system. The high-order system turns out to be dispersive and exhibits solitary-wave formation, in close agreement with direct numerical simulations of the original system. We show that the constant-coefficient homogenized system can be used to study the properties of solitary waves and to conduct efficient numerical simulations. △ Less

Submitted 5 November, 2023; originally announced November 2023.

Explicit Runge Kutta Methods that Alleviate Order Reduction

Authors: Abhijit Biswas, David I. Ketcheson, Steven Roberts, Benjamin Seibold, David Shirokoff

Abstract: Explicit Runge--Kutta (RK) methods are susceptible to a reduction in the observed order of convergence when applied to initial-boundary value problem with time-dependent boundary conditions. We study conditions on explicit RK methods that guarantee high-order convergence for linear problems; we refer to these conditions as weak stage order conditions. We prove a general relationship between the me… ▽ More Explicit Runge--Kutta (RK) methods are susceptible to a reduction in the observed order of convergence when applied to initial-boundary value problem with time-dependent boundary conditions. We study conditions on explicit RK methods that guarantee high-order convergence for linear problems; we refer to these conditions as weak stage order conditions. We prove a general relationship between the method's order, weak stage order, and number of stages. We derive explicit RK methods with high weak stage order and demonstrate, through numerical tests, that they avoid the order reduction phenomenon up to any order for linear problems and up to order three for nonlinear problems. △ Less

Submitted 4 October, 2023; v1 submitted 4 October, 2023; originally announced October 2023.

MSC Class: 65L04; 65L20; 65M12

Accurate Solution of the Nonlinear Schrödinger Equation via Conservative Multiple-Relaxation ImEx Methods

Authors: Abhijit Biswas, David I. Ketcheson

Abstract: The nonlinear Schrödinger (NLS) equation possesses an infinite hierarchy of conserved densities and the numerical preservation of some of these quantities is critical for accurate long-time simulations, particularly for multi-soliton solutions. We propose an essentially explicit discretization that conserves one or two of these conserved quantities by combining higher-order Implicit-Explicit (ImEx… ▽ More The nonlinear Schrödinger (NLS) equation possesses an infinite hierarchy of conserved densities and the numerical preservation of some of these quantities is critical for accurate long-time simulations, particularly for multi-soliton solutions. We propose an essentially explicit discretization that conserves one or two of these conserved quantities by combining higher-order Implicit-Explicit (ImEx) Runge-Kutta time integrators with the relaxation technique and adaptive step size control. We show through numerical tests that our mass-conserving method is much more efficient and accurate than the widely-used 2nd-order time-splitting pseudospectral approach. Compared to higher-order operator splitting, it gives similar results in general and significantly better results near the semi-classical limit. Furthermore, for some problems adaptive time step** provides a dramatic reduction in cost without sacrificing accuracy. We also propose a full discretization that conserves both mass and energy by using a conservative finite element spatial discretization and multiple relaxation in time. Our results suggest that this method provides a qualitative improvement in long-time error growth for multi-soliton solutions. △ Less

Submitted 5 September, 2023; originally announced September 2023.

MSC Class: 65L04; 65L20; 65M06; 65M12; 65M22

A high-order finite volume method for Maxwell's equations in heterogeneous and time-varying media

Authors: Damian P. San Roman Alerigi, David I. Ketcheson, Boon S. Ooi

Abstract: We develop a finite volume method for Maxwell's equations in materials whose electromagnetic properties vary in space and time. We investigate both conservative and non-conservative numerical formulations. High-order methods accurately resolve fine structures that develop due to the varying material properties. Numerical examples demonstrate the effectiveness of the proposed method in handling tem… ▽ More We develop a finite volume method for Maxwell's equations in materials whose electromagnetic properties vary in space and time. We investigate both conservative and non-conservative numerical formulations. High-order methods accurately resolve fine structures that develop due to the varying material properties. Numerical examples demonstrate the effectiveness of the proposed method in handling temporal variation and its efficiency relative to traditional 2nd-order FDTD. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Comments: 15 pages, 8 figures

MSC Class: 78M12 (Primary); 78A25 (Secondary); ACM Class: I.6.3; J.2

Order conditions for Runge--Kutta-like methods with solution-dependent coefficients

Authors: Thomas Izgin, David I. Ketcheson, Andreas Meister

Abstract: In recent years, many positivity-preserving schemes for initial value problems have been constructed by modifying a Runge--Kutta (RK) method by weighting the right-hand side of the system of differential equations with solution-dependent factors. These include the classes of modified Patankar--Runge--Kutta (MPRK) and Geometric Conservative (GeCo) methods. Compared to traditional RK methods, the an… ▽ More In recent years, many positivity-preserving schemes for initial value problems have been constructed by modifying a Runge--Kutta (RK) method by weighting the right-hand side of the system of differential equations with solution-dependent factors. These include the classes of modified Patankar--Runge--Kutta (MPRK) and Geometric Conservative (GeCo) methods. Compared to traditional RK methods, the analysis of accuracy and stability of these methods is more complicated. In this work, we provide a comprehensive and unifying theory of order conditions for such RK-like methods, which differ from original RK schemes in that their coefficients are solution-dependent. The resulting order conditions are themselves solution-dependent and obtained using the theory of NB-series, and thus, can easily be read off from labeled N-trees. We present for the first time order conditions for MPRK and GeCo schemes of arbitrary order; For MPRK schemes, the order conditions are given implicitly in terms of the stages. From these results, we recover as particular cases all known order conditions from the literature for first- and second-order GeCo as well as first-, second- and third-order MPRK methods. Additionally, we derive sufficient and necessary conditions in an explicit form for 3rd and 4th order GeCo schemes as well as 4th order MPRK methods. We also present a new 4th order MPRK method within this framework and numerically confirm its convergence rate. △ Less

Submitted 31 January, 2024; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 28 pages, 1 figure

MSC Class: 65L05; 65L20

Multiple-Relaxation Runge Kutta Methods for Conservative Dynamical Systems

Authors: Abhijit Biswas, David I. Ketcheson

Abstract: We generalize the idea of relaxation time step** methods in order to preserve multiple nonlinear conserved quantities of a dynamical system by projecting along directions defined by multiple time step** algorithms. Similar to the directional projection method of Calvo et. al., we use embedded Runge-Kutta methods to facilitate this in a computationally efficient manner. Proof of the accuracy of… ▽ More We generalize the idea of relaxation time step** methods in order to preserve multiple nonlinear conserved quantities of a dynamical system by projecting along directions defined by multiple time step** algorithms. Similar to the directional projection method of Calvo et. al., we use embedded Runge-Kutta methods to facilitate this in a computationally efficient manner. Proof of the accuracy of the modified RK methods and the existence of valid relaxation parameters are given, under some restrictions. Among other examples, we apply this technique to Implicit-Explicit Runge-Kutta time integration for the Korteweg-de Vries equation and investigate the feasibility and effect of conserving multiple invariants for multi-soliton solutions. △ Less

Submitted 10 February, 2023; originally announced February 2023.

MSC Class: 65L04; 65L20; 65M06; 65M12; 65M22

Very High-Order A-stable Stiffly Accurate Diagonally Implicit Runge-Kutta Methods with Error Estimators

Authors: Yousef Alamri, David I. Ketcheson

Abstract: A numerical search approach is used to design high-order diagonally implicit Runge-Kutta (DIRK) schemes equipped with embedded error estimators, some of which have identical diagonal elements (SDIRK) and explicit first stage (ESDIRK). In each of these classes, we present new A-stable schemes of order six (the highest order of previously known A-stable DIRK-type schemes) up to order eight. For each… ▽ More A numerical search approach is used to design high-order diagonally implicit Runge-Kutta (DIRK) schemes equipped with embedded error estimators, some of which have identical diagonal elements (SDIRK) and explicit first stage (ESDIRK). In each of these classes, we present new A-stable schemes of order six (the highest order of previously known A-stable DIRK-type schemes) up to order eight. For each order, we include one scheme that is only A-stable as well as schemes that are L-stable, stiffly accurate, and/or have stage order two. The latter types require more stages, but give better convergence rates for differential-algebraic equations (DAEs), and those which have stage order two give better accuracy for moderately stiff problems. The development of the eighth-order schemes requires, in addition to imposing A-stability, finding highly accurate numerical solutions for a system of 200 equations in over 100 variables, which is accomplished via a combination of global and local optimization strategies. The accuracy, stability, and adaptive stepsize control of the schemes are demonstrated on diverse problems. △ Less

Submitted 9 September, 2023; v1 submitted 26 November, 2022; originally announced November 2022.

A Comparative Study of Iterative Riemann Solvers for the Shallow Water and Euler Equations

Authors: Carlos Muñoz Moncayo, Manuel Quezada de Luna, David I. Ketcheson

Abstract: The Riemann problem for first-order hyperbolic systems of partial differential equations is of fundamental importance for both theoretical and numerical purposes. Many approximate solvers have been developed for such systems; exact solution algorithms have received less attention because computation of the exact solution typically requires iterative solution of algebraic equations. Iterative algor… ▽ More The Riemann problem for first-order hyperbolic systems of partial differential equations is of fundamental importance for both theoretical and numerical purposes. Many approximate solvers have been developed for such systems; exact solution algorithms have received less attention because computation of the exact solution typically requires iterative solution of algebraic equations. Iterative algorithms may be less computationally efficient or might fail to converge in some cases. We investigate the achievable efficiency of robust iterative Riemann solvers for relatively simple systems, focusing on the shallow water and Euler equations. We consider a range of initial guesses and iterative schemes applied to an ensemble of test Riemann problems. For the shallow water equations, we find that Newton's method with a simple modification converges quickly and reliably. For the Euler equations we obtain similar results; however, when the required precision is high, a combination of Ostrowski and Newton iterations converges faster. These solvers are slower than standard approximate solvers like Roe and HLLE, but come within a factor of two in speed. We also provide a preliminary comparison of the accuracy of a finite volume discretization using an exact solver versus standard approximate solvers. △ Less

Submitted 21 February, 2024; v1 submitted 25 September, 2022; originally announced September 2022.

MSC Class: 65M99 (Primary) 76B15; 35Q31; 35Q35 (Secondary)

Journal ref: Communications in Applied Mathematics and Computational Science 18.1 (2023): 107-134

Computing with B-series

Authors: David I. Ketcheson, Hendrik Ranocha

Abstract: We present BSeries.jl, a Julia package for the computation and manipulation of B-series, which are a versatile theoretical tool for understanding and designing discretizations of differential equations. We give a short introduction to the theory of B-series and associated concepts and provide examples of their use, including method composition and backward error analysis. The associated software i… ▽ More We present BSeries.jl, a Julia package for the computation and manipulation of B-series, which are a versatile theoretical tool for understanding and designing discretizations of differential equations. We give a short introduction to the theory of B-series and associated concepts and provide examples of their use, including method composition and backward error analysis. The associated software is highly performant and makes it possible to work with B-series of high order. △ Less

Submitted 15 November, 2022; v1 submitted 23 November, 2021; originally announced November 2021.

Journal ref: ACM Transactions on Mathematical Software, 2022

Maximum principle preserving space and time flux limiting for Diagonally Implicit Runge-Kutta discretizations of scalar convection-diffusion equations

Authors: Manuel Quezada de Luna, David I. Ketcheson

Abstract: We provide a framework for high-order discretizations of nonlinear scalar convection-diffusion equations that satisfy a discrete maximum principle. The resulting schemes can have arbitrarily high order accuracy in time and space, and can be stable and maximum-principle-preserving (MPP) with no step size restriction. The schemes are based on a two-tiered limiting strategy, starting with a high-orde… ▽ More We provide a framework for high-order discretizations of nonlinear scalar convection-diffusion equations that satisfy a discrete maximum principle. The resulting schemes can have arbitrarily high order accuracy in time and space, and can be stable and maximum-principle-preserving (MPP) with no step size restriction. The schemes are based on a two-tiered limiting strategy, starting with a high-order limiter-based method that may have small oscillations or maximum-principle violations, followed by an additional limiting step that removes these violations while preserving high order accuracy. The desirable properties of the resulting schemes are demonstrated through several numerical examples. △ Less

Submitted 16 September, 2021; originally announced September 2021.

A review of matrix SIR Arino epidemic models

Authors: Florin Avram, Rim Adenane, David I. Ketcheson

Abstract: Many of the models used nowadays in mathematical epidemiology, in particular in COVID-19 research, belong to a certain sub-class of compartmental models whose classes may be divided into three "(x, y, z)" groups, which we will call respectively "susceptible/entrance, diseased, and output" (in the classic SIR case, there is only one class of each type). Roughly, the ODE dynamics of these models con… ▽ More Many of the models used nowadays in mathematical epidemiology, in particular in COVID-19 research, belong to a certain sub-class of compartmental models whose classes may be divided into three "(x, y, z)" groups, which we will call respectively "susceptible/entrance, diseased, and output" (in the classic SIR case, there is only one class of each type). Roughly, the ODE dynamics of these models contain only linear terms, with the exception of products between x and y terms. It has long been noticed that the basic reproduction number R has a very simple formula (3.3) in terms of the matrices which define the model, and an explicit first integral formula (3.8) is also available. These results can be traced back at least to [ABvdD+07] and [Fen07], respectively, and may be viewed as the "basic laws of SIR-type epidemics"; however many papers continue to reprove them in particular instances (by the next-generation matrix method or by direct computations, which are unnecessary). This motivated us to redraw the attention to these basic laws and provide a self-contained reference of related formulas for (x, y, z) models. We propose to rebaptize the class to which they apply as matrix SIR epidemic models, abbreviated as SYR, to emphasize the similarity to the classic SIR case. For the case of one susceptible class, we propose to use the name SIR-PH, due to a simple probabilistic interpretation as SIR models where the exponential infection time has been replaced by a PH-type distribution. We note that to each SIR-PH model, one may associate a scalar quantity Y(t) which satisfies "classic SIR relations", see (3.8). In the case of several susceptible classes, this generalizes to (5.10); in a future paper, we will show that (3.8), (5.10) may be used to obtain approximate control policies which compare well with the optimal control of the original model. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Positivity preservation of implicit discretizations of the advection equation

Authors: Yiannis Hadjimichael, David I. Ketcheson, Lajos Lóczi

Abstract: We analyze, from the viewpoint of positivity preservation, certain discretizations of a fundamental partial differential equation, the one-dimensional advection equation with periodic boundary condition. The full discretization is obtained by coupling a finite difference spatial semi-discretization (the second- and some higher-order centered difference schemes, or the Fourier spectral collocation… ▽ More We analyze, from the viewpoint of positivity preservation, certain discretizations of a fundamental partial differential equation, the one-dimensional advection equation with periodic boundary condition. The full discretization is obtained by coupling a finite difference spatial semi-discretization (the second- and some higher-order centered difference schemes, or the Fourier spectral collocation method) with an arbitrary $θ$-method in time (including the forward and backward Euler methods, and a second-order method by choosing $θ\in [0,1]$ suitably). The full discretization generates a two-parameter family of circulant matrices $M\in\mathbb{R}^{m\times m}$, where each matrix entry is a rational function in $θ$ and $ν$. Here, $ν$ denotes the CFL number, being proportional to the ratio between the temporal and spatial discretization step sizes. The entrywise non-negativity of the matrix $M$ -- which is equivalent to the positivity preservation of the fully discrete scheme -- is investigated via discrete Fourier analysis and also by solving some low-order parametric linear recursions. We find that positivity preservation of the fully discrete system is impossible if the number of spatial grid points $m$ is even. However, it turns out that positivity preservation of the fully discrete system is recovered for \emph{odd} values of $m$ provided that $θ\ge 1/2$ and $ν$ are chosen suitably. These results are interesting since the systems of ordinary differential equations obtained via the spatial semi-discretizations studied are \emph{not} positivity preserving. △ Less

Submitted 16 May, 2021; originally announced May 2021.

Optimized Runge-Kutta Methods with Automatic Step Size Control for Compressible Computational Fluid Dynamics

Authors: Hendrik Ranocha, Lisandro Dalcin, Matteo Parsani, David I. Ketcheson

Abstract: We develop error-control based time integration algorithms for compressible fluid dynamics (CFD) applications and show that they are efficient and robust in both the accuracy-limited and stability-limited regime. Focusing on discontinuous spectral element semidiscretizations, we design new controllers for existing methods and for some new embedded Runge-Kutta pairs. We demonstrate the importance o… ▽ More We develop error-control based time integration algorithms for compressible fluid dynamics (CFD) applications and show that they are efficient and robust in both the accuracy-limited and stability-limited regime. Focusing on discontinuous spectral element semidiscretizations, we design new controllers for existing methods and for some new embedded Runge-Kutta pairs. We demonstrate the importance of choosing adequate controller parameters and provide a means to obtain these in practice. We compare a wide range of error-control-based methods, along with the common approach in which step size control is based on the Courant-Friedrichs-Lewy (CFL) number. The optimized methods give improved performance and naturally adopt a step size close to the maximum stable CFL number at loose tolerances, while additionally providing control of the temporal error at tighter tolerances. The numerical examples include challenging industrial CFD applications. △ Less

Submitted 24 July, 2021; v1 submitted 14 April, 2021; originally announced April 2021.

MSC Class: 65L06; 65M20; 65M70; 76M10; 76M22; 76N99; 35L50

Journal ref: Communications on Applied Mathematics and Computation, 2021

Numerical simulation and entropy dissipative cure of the carbuncle instability for the shallow water circular hydraulic jump

Authors: David I. Ketcheson, Manuel Quezada de Luna

Abstract: We investigate the numerical artifact known as a carbuncle, in the solution of the shallow water equations. We propose a new Riemann solver that is based on a local measure of the entropy residual and aims to avoid carbuncles while maintaining high accuracy. We propose a new challenging test problem for shallow water codes, consisting of a steady circular hydraulic jump that can be physically unst… ▽ More We investigate the numerical artifact known as a carbuncle, in the solution of the shallow water equations. We propose a new Riemann solver that is based on a local measure of the entropy residual and aims to avoid carbuncles while maintaining high accuracy. We propose a new challenging test problem for shallow water codes, consisting of a steady circular hydraulic jump that can be physically unstable. We show that numerical methods are prone to either suppress the instability completely or form carbuncles. We test existing cures for the carbuncle. In our experiments, only the proposed method is able to avoid unphysical carbuncles without suppressing the physical instability. △ Less

Submitted 17 March, 2021; originally announced March 2021.

On the Rate of Error Growth in Time for Numerical Solutions of Nonlinear Dispersive Wave Equations

Authors: Hendrik Ranocha, Manuel Quezada de Luna, David I. Ketcheson

Abstract: We study the numerical error in solitary wave solutions of nonlinear dispersive wave equations. A number of existing results for discretizations of solitary wave solutions of particular equations indicate that the error grows quadratically in time for numerical methods that do not conserve energy, but grows only linearly for conservative methods. We provide numerical experiments suggesting that th… ▽ More We study the numerical error in solitary wave solutions of nonlinear dispersive wave equations. A number of existing results for discretizations of solitary wave solutions of particular equations indicate that the error grows quadratically in time for numerical methods that do not conserve energy, but grows only linearly for conservative methods. We provide numerical experiments suggesting that this result extends to a very broad class of equations and numerical methods. △ Less

Submitted 8 September, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

MSC Class: 65M12; 65M70; 65M06; 65M60; 65M20; 35Q35

Journal ref: Partial Differential Equations and Applications, 2021

A conservative fully-discrete numerical method for the regularised shallow water wave equations

Authors: Dimitrios Mitsotakis, Hendrik Ranocha, David I. Ketcheson, Endre Süli

Abstract: The paper proposes a new, conservative fully-discrete scheme for the numerical solution of the regularised shallow water Boussinesq system of equations in the cases of periodic and reflective boundary conditions. The particular system is one of a class of equations derived recently and can be used in practical simulations to describe the propagation of weakly nonlinear and weakly dispersive long w… ▽ More The paper proposes a new, conservative fully-discrete scheme for the numerical solution of the regularised shallow water Boussinesq system of equations in the cases of periodic and reflective boundary conditions. The particular system is one of a class of equations derived recently and can be used in practical simulations to describe the propagation of weakly nonlinear and weakly dispersive long water waves, such as tsunamis. Studies of small-amplitude long waves usually require long-time simulations in order to investigate scenarios such as the overtaking collision of two solitary waves or the propagation of transoceanic tsunamis. For long-time simulations of non-dissipative waves such as solitary waves, the preservation of the total energy by the numerical method can be crucial in the quality of the approximation. The new conservative fully-discrete method consists of a Galerkin finite element method for spatial semidiscretisation and an explicit relaxation Runge--Kutta scheme for integration in time. The Galerkin method is expressed and implemented in the framework of mixed finite element methods. The paper provides an extended experimental study of the accuracy and convergence properties of the new numerical method. The experiments reveal a new convergence pattern compared to standard Galerkin methods. △ Less

Submitted 13 January, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Bound-preserving flux limiting for high-order explicit Runge-Kutta time discretizations of hyperbolic conservation laws

Authors: Dmitri Kuzmin, Manuel Quezada de Luna, David I. Ketcheson, Johanna Grüll

Abstract: We introduce a general framework for enforcing local or global maximum principles in high-order space-time discretizations of a scalar hyperbolic conservation law. We begin with sufficient conditions for a space discretization to be bound preserving (BP) and satisfy a semi-discrete maximum principle. Next, we propose a global monolithic convex (GMC) flux limiter which has the structure of a flux-c… ▽ More We introduce a general framework for enforcing local or global maximum principles in high-order space-time discretizations of a scalar hyperbolic conservation law. We begin with sufficient conditions for a space discretization to be bound preserving (BP) and satisfy a semi-discrete maximum principle. Next, we propose a global monolithic convex (GMC) flux limiter which has the structure of a flux-corrected transport (FCT) algorithm but is applicable to spatial semi-discretizations and ensures the BP property of the fully discrete scheme for strong stability preserving (SSP) Runge-Kutta time discretizations. To circumvent the order barrier for SSP time integrators, we constrain the intermediate stages and/or the final stage of a general high-order RK method using GMC-type limiters. In this work, our theoretical and numerical studies are restricted to explicit schemes which are provably BP for sufficiently small time steps. The new GMC limiting framework offers the possibility of relaxing the bounds of inequality constraints to achieve higher accuracy at the cost of more stringent time step restrictions. The ability of the presented limiters to preserve global bounds and recognize well-resolved smooth solutions is verified numerically for three representative RK methods combined with weighted essentially nonoscillatory (WENO) finite volume space discretizations of linear and nonlinear test problems in 1D. △ Less

Submitted 11 June, 2021; v1 submitted 2 September, 2020; originally announced September 2020.

A Broad Class of Conservative Numerical Methods for Dispersive Wave Equations

Authors: Hendrik Ranocha, Dimitrios Mitsotakis, David I. Ketcheson

Abstract: We develop a general framework for designing conservative numerical methods based on summation by parts operators and split forms in space, combined with relaxation Runge-Kutta methods in time. We apply this framework to create new classes of fully-discrete conservative methods for several nonlinear dispersive wave equations: Benjamin-Bona-Mahony (BBM), Fornberg-Whitham, Camassa-Holm, Degasperis-P… ▽ More We develop a general framework for designing conservative numerical methods based on summation by parts operators and split forms in space, combined with relaxation Runge-Kutta methods in time. We apply this framework to create new classes of fully-discrete conservative methods for several nonlinear dispersive wave equations: Benjamin-Bona-Mahony (BBM), Fornberg-Whitham, Camassa-Holm, Degasperis-Procesi, Holm-Hone, and the BBM-BBM system. These full discretizations conserve all linear invariants and one nonlinear invariant for each system. The spatial semidiscretizations include finite difference, spectral collocation, and both discontinuous and continuous finite element methods. The time discretization is essentially explicit, using relaxation Runge-Kutta methods. We implement some specific schemes from among the derived classes, and demonstrate their favorable properties through numerical tests. △ Less

Submitted 9 November, 2020; v1 submitted 26 June, 2020; originally announced June 2020.

MSC Class: 65M12; 65M70; 65M06; 65M60; 65M20; 35Q35

Journal ref: Communications in Computational Physics 29.4 (2021), pp. 979-1029

Positivity-Preserving Adaptive Runge-Kutta Methods

Authors: Stephan Nüßlein, Hendrik Ranocha, David I Ketcheson

Abstract: Many important differential equations model quantities whose value must remain positive or stay in some bounded interval. These bounds may not be preserved when the model is solved numerically. We propose to ensure positivity or other bounds by applying Runge-Kutta integration in which the method weights are adapted in order to enforce the bounds. The weights are chosen at each step after calculat… ▽ More Many important differential equations model quantities whose value must remain positive or stay in some bounded interval. These bounds may not be preserved when the model is solved numerically. We propose to ensure positivity or other bounds by applying Runge-Kutta integration in which the method weights are adapted in order to enforce the bounds. The weights are chosen at each step after calculating the stage derivatives, in a way that also preserves (when possible) the order of accuracy of the method. The choice of weights is given by the solution of a linear program. We investigate different approaches to choosing the weights by considering adding further constraints. We also provide some analysis of the properties of Runge-Kutta methods with perturbed weights. Numerical examples demonstrate the effectiveness of the approach, including application to both stiff and non-stiff problems. △ Less

Submitted 30 April, 2021; v1 submitted 13 May, 2020; originally announced May 2020.

MSC Class: 65L06; 65L20; 65M12

Journal ref: Commun. Appl. Math. Comput. Sci. 16 (2021) 155-179

Optimal control of an SIR epidemic through finite-time non-pharmaceutical intervention

Authors: David I. Ketcheson

Abstract: We consider the problem of controlling an SIR-model epidemic by temporarily reducing the rate of contact within a population. The control takes the form of a multiplicative reduction in the contact rate of infectious individuals. The control is allowed to be applied only over a finite time interval, while the objective is to minimize the total number of individuals infected in the long-time limit,… ▽ More We consider the problem of controlling an SIR-model epidemic by temporarily reducing the rate of contact within a population. The control takes the form of a multiplicative reduction in the contact rate of infectious individuals. The control is allowed to be applied only over a finite time interval, while the objective is to minimize the total number of individuals infected in the long-time limit, subject to some cost function for the control. We first consider the no-cost scenario and analytically determine the optimal control and solution. We then study solutions when a cost of intervention is included, as well as a cost associated with overwhelming the available medical resources. Examples are studied through the numerical solution of the associated Hamilton-Jacobi-Bellman equation. Finally, we provide some examples related directly to the current pandemic. △ Less

Submitted 28 June, 2021; v1 submitted 19 April, 2020; originally announced April 2020.

General Relaxation Methods for Initial-Value Problems with Application to Multistep Schemes

Authors: Hendrik Ranocha, Lajos Lóczi, David I. Ketcheson

Abstract: Recently, an approach known as relaxation has been developed for preserving the correct evolution of a functional in the numerical solution of initial-value problems, using Runge-Kutta methods. We generalize this approach to multistep methods, including all general linear methods of order two or higher, and many other classes of schemes. We prove the existence of a valid relaxation parameter and h… ▽ More Recently, an approach known as relaxation has been developed for preserving the correct evolution of a functional in the numerical solution of initial-value problems, using Runge-Kutta methods. We generalize this approach to multistep methods, including all general linear methods of order two or higher, and many other classes of schemes. We prove the existence of a valid relaxation parameter and high-order accuracy of the resulting method, in the context of general equations, including but not limited to conservative or dissipative systems. The theory is illustrated with several numerical examples. △ Less

Submitted 25 October, 2020; v1 submitted 5 March, 2020; originally announced March 2020.

MSC Class: 65L06; 65L20; 65M12; 65M70; 65P10; 37M99

Journal ref: Numerische Mathematik, 2020

Relaxation Runge-Kutta Methods for Hamiltonian Problems

Authors: Hendrik Ranocha, David I. Ketcheson

Abstract: The recently-introduced relaxation approach for Runge-Kutta methods can be used to enforce conservation of energy in the integration of Hamiltonian systems. We study the behavior of implicit and explicit relaxation Runge-Kutta methods in this context. We find that, in addition to their useful conservation property, the relaxation methods yield other improvements. Experiments show that their soluti… ▽ More The recently-introduced relaxation approach for Runge-Kutta methods can be used to enforce conservation of energy in the integration of Hamiltonian systems. We study the behavior of implicit and explicit relaxation Runge-Kutta methods in this context. We find that, in addition to their useful conservation property, the relaxation methods yield other improvements. Experiments show that their solutions bear stronger qualitative similarity to the true solution and that the error grows more slowly in time. We also prove that these methods are superconvergent for a certain class of Hamiltonian systems. △ Less

Submitted 30 June, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

MSC Class: 65L06; 65L20; 65M12; 65M70; 65P10; 37M99

Journal ref: Journal of Scientific Computing, 2020

Energy Stability of Explicit Runge-Kutta Methods for Non-autonomous or Nonlinear Problems

Authors: Hendrik Ranocha, David I. Ketcheson

Abstract: Many important initial value problems have the property that energy is non-increasing in time. Energy stable methods, also referred to as strongly stable methods, guarantee the same property discretely. We investigate requirements for conditional energy stability of explicit Runge-Kutta methods for nonlinear or non-autonomous problems. We provide both necessary and sufficient conditions for energy… ▽ More Many important initial value problems have the property that energy is non-increasing in time. Energy stable methods, also referred to as strongly stable methods, guarantee the same property discretely. We investigate requirements for conditional energy stability of explicit Runge-Kutta methods for nonlinear or non-autonomous problems. We provide both necessary and sufficient conditions for energy stability over these classes of problems. Examples of conditionally energy stable schemes are constructed and an example is given in which unconditional energy stability is obtained with an explicit scheme. △ Less

Submitted 10 September, 2020; v1 submitted 29 September, 2019; originally announced September 2019.

MSC Class: 65L06; 65L20; 65M12; 65M20

Journal ref: SIAM Journal on Numerical Analysis, Volume 58, Issue 6, Pages 3382-3405, 2020

Effective Rankine-Hugoniot conditions for shock waves in periodic media

Authors: David I. Ketcheson, Manuel Quezada de Luna

Abstract: Solutions of first-order nonlinear hyperbolic conservation laws typically develop shocks in finite time even with smooth initial conditions. However, in heterogeneous media with rapid spatial variation, shock formation may be delayed or avoided. When shocks do form in such media, their speed of propagation depends on the material structure. We investigate conditions for shock formation and propaga… ▽ More Solutions of first-order nonlinear hyperbolic conservation laws typically develop shocks in finite time even with smooth initial conditions. However, in heterogeneous media with rapid spatial variation, shock formation may be delayed or avoided. When shocks do form in such media, their speed of propagation depends on the material structure. We investigate conditions for shock formation and propagation in heterogeneous media. We focus on the propagation of plane waves in two-dimensional periodic media with material variation in only one direction. We propose an estimate for the speed of the shocks that is based on the Rankine-Hugoniot conditions applied to a leading-order homogenized (constant coefficient) system. We verify this estimate via numerical simulations using different nonlinear constitutive relations and layered and smoothly varying periodic media. In addition, we discuss conditions and regimes under which shocks form in this type of media. △ Less

Submitted 7 September, 2020; v1 submitted 11 September, 2019; originally announced September 2019.

MSC Class: 35B27; 35L60; 35L67

Journal ref: Communications in Mathematical Sciences, 18(4) pp. 1023-1040 (2020)

Solitary water waves created by variations in bathymetry

Authors: Manuel Quezada de Luna, David I. Ketcheson

Abstract: We study the flow of water waves over bathymetry that varies periodically along one direction. We derive a linearized, homogenized model and show that the periodic bathymetry induces an effective dispersion, distinct from the dispersion inherently present in water waves. We relate this dispersion to the well-known effective dispersion introduced by changes in the bathymetry in non-rectangular chan… ▽ More We study the flow of water waves over bathymetry that varies periodically along one direction. We derive a linearized, homogenized model and show that the periodic bathymetry induces an effective dispersion, distinct from the dispersion inherently present in water waves. We relate this dispersion to the well-known effective dispersion introduced by changes in the bathymetry in non-rectangular channels. Numerical simulations using the (non-dispersive) shallow water equations reveal that a balance between this effective dispersion and nonlinearity can create solitary waves. We derive a KdV-type equation that approximates the behavior of these waves in the weakly-nonlinear regime. We show that, depending on geometry, dispersion due to bathymetry can be much stronger than traditional water wave dispersion and can prevent wave breaking in strongly nonlinear regimes. Computational experiments using depth-averaged water wave models %, as well as confirm the analysis and suggest that experimental observation of these solitary waves is possible. △ Less

Submitted 17 March, 2021; v1 submitted 16 July, 2019; originally announced July 2019.

Journal ref: J. Fluid Mech. 917 (2021) A45

Relaxation Runge-Kutta Methods: Conservation and stability for Inner-Product Norms

Authors: David I. Ketcheson

Abstract: We further develop a simple modification of Runge--Kutta methods that guarantees conservation or stability with respect to any inner-product norm. The modified methods can be explicit and retain the accuracy and stability properties of the unmodified Runge--Kutta method. We study the properties of the modified methods and show their effectiveness through numerical examples, including application t… ▽ More We further develop a simple modification of Runge--Kutta methods that guarantees conservation or stability with respect to any inner-product norm. The modified methods can be explicit and retain the accuracy and stability properties of the unmodified Runge--Kutta method. We study the properties of the modified methods and show their effectiveness through numerical examples, including application to entropy-stability for first-order hyperbolic PDEs. △ Less

Submitted 23 May, 2019; originally announced May 2019.

Relaxation Runge-Kutta Methods: Fully-Discrete Explicit Entropy-Stable Schemes for the Compressible Euler and Navier-Stokes Equations

Authors: Hendrik Ranocha, Mohammed Sayyari, Lisandro Dalcin, Matteo Parsani, David I. Ketcheson

Abstract: The framework of inner product norm preserving relaxation Runge-Kutta methods (David I. Ketcheson, \emph{Relaxation Runge-Kutta Methods: Conservation and Stability for Inner-Product Norms}, SIAM Journal on Numerical Analysis, 2019) is extended to general convex quantities. Conservation, dissipation, or other solution properties with respect to any convex functional are enforced by the addition of… ▽ More The framework of inner product norm preserving relaxation Runge-Kutta methods (David I. Ketcheson, \emph{Relaxation Runge-Kutta Methods: Conservation and Stability for Inner-Product Norms}, SIAM Journal on Numerical Analysis, 2019) is extended to general convex quantities. Conservation, dissipation, or other solution properties with respect to any convex functional are enforced by the addition of a {\em relaxation parameter} that multiplies the Runge-Kutta update at each step. Moreover, other desirable stability (such as strong stability preservation) and efficiency (such as low storage requirements) properties are preserved. The technique can be applied to both explicit and implicit Runge-Kutta methods and requires only a small modification to existing implementations. The computational cost at each step is the solution of one additional scalar algebraic equation for which a good initial guess is available. The effectiveness of this approach is proved analytically and demonstrated in several numerical examples, including applications to high-order entropy-conservative and entropy-stable semi-discretizations on unstructured grids for the compressible Euler and Navier-Stokes equations. △ Less

Submitted 23 November, 2019; v1 submitted 22 May, 2019; originally announced May 2019.

Journal ref: SIAM Journal on Scientific Computing, 42.2: A612-A638, 2020

A path integral method for solution of the wave equation with continuously-varying coefficients

Authors: Jithin D. George, David I. Ketcheson, Randall J. LeVeque

Abstract: A new method of solution is proposed for solution of the wave equation in one space dimension with continuously-varying coefficients. By considering all paths along which information arrives at a given point, the solution is expressed as an infinite series of integrals, where the integrand involves only the initial data and the PDE coefficients. Each term in the series represents the influence of… ▽ More A new method of solution is proposed for solution of the wave equation in one space dimension with continuously-varying coefficients. By considering all paths along which information arrives at a given point, the solution is expressed as an infinite series of integrals, where the integrand involves only the initial data and the PDE coefficients. Each term in the series represents the influence of paths with a fixed number of turning points. We prove that the series converges and provide bounds for the truncation error. The effectiveness of the approximation is illustrated with examples. We illustrate an interesting combinatorial connection between the traditional reflection and transmission coefficients for a sharp interface, and Green's coefficient for transmission through a smoothly-varying region. △ Less

Submitted 10 October, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Shoaling on Steep Continental Slopes: Relating Transmission and Reflection Coefficients to Green's Law

Authors: Jithin D. George, David I. Ketcheson, Randall J. LeVeque

Abstract: The propagation of long waves onto a continental shelf is of great interest in tsunami modeling and other applications where understanding the amplification of waves during shoaling is important. When the linearized shallow water equations are solved with the continental shelf modeled as a sharp discontinuity, the ratio of the amplitudes is given by the transmission coefficient. On the other hand,… ▽ More The propagation of long waves onto a continental shelf is of great interest in tsunami modeling and other applications where understanding the amplification of waves during shoaling is important. When the linearized shallow water equations are solved with the continental shelf modeled as a sharp discontinuity, the ratio of the amplitudes is given by the transmission coefficient. On the other hand, when the slope is very broad relative to the wavelength of the incoming wave, then amplification is governed by Green's Law, which predicts a larger amplification than the transmission coefficient, and a much smaller amplitude reflection than given by the reflection coefficient of a sharp interface. We explore the relation between these results and elucidate the behavior in the intermediate case of a very steep continental shelf. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Comments: 18 pages, 8 figures

Journal ref: Pure Appl. Geophys. (2019)

More efficient time integration for Fourier pseudo-spectral DNS of incompressible turbulence

Authors: David I. Ketcheson, Mikael Mortensen, Matteo Parsani, Nathanael Schilling

Abstract: Time integration of Fourier pseudo-spectral DNS is usually performed using the classical fourth-order accurate Runge--Kutta method, or other methods of second or third order, with a fixed step size. We investigate the use of higher-order Runge-Kutta pairs and automatic step size control based on local error estimation. We find that the fifth-order accurate Runge--Kutta pair of Bogacki \& Shampine… ▽ More Time integration of Fourier pseudo-spectral DNS is usually performed using the classical fourth-order accurate Runge--Kutta method, or other methods of second or third order, with a fixed step size. We investigate the use of higher-order Runge-Kutta pairs and automatic step size control based on local error estimation. We find that the fifth-order accurate Runge--Kutta pair of Bogacki \& Shampine gives much greater accuracy at a significantly reduced computational cost. Specifically, we demonstrate speedups of 2x-10x for the same accuracy. Numerical tests (including the Taylor-Green vortex, Rayleigh-Taylor instability, and homogeneous isotropic turbulence) confirm the reliability and efficiency of the method. We also show that adaptive time step** provides a significant computational advantage for some problems (like the development of a Rayleigh-Taylor instability) without compromising accuracy. △ Less

Submitted 7 November, 2019; v1 submitted 24 October, 2018; originally announced October 2018.

Journal ref: IJNMF 2019

Positivity for convective semi-discretizations

Authors: Imre Fekete, David I. Ketcheson, Lajos Lóczi

Abstract: We propose a technique for investigating stability properties like positivity and forward invariance of an interval for method-of-lines discretizations, and apply the technique to study positivity preservation for a class of TVD semi-discretizations of 1D scalar hyperbolic conservation laws. This technique is a generalization of the approach suggested in ref. 12. We give more relaxed conditions on… ▽ More We propose a technique for investigating stability properties like positivity and forward invariance of an interval for method-of-lines discretizations, and apply the technique to study positivity preservation for a class of TVD semi-discretizations of 1D scalar hyperbolic conservation laws. This technique is a generalization of the approach suggested in ref. 12. We give more relaxed conditions on the time-step for positivity preservation for slope-limited semi-discretizations integrated in time with explicit Runge-Kutta methods. We show that the step-size restrictions derived are sharp in a certain sense, and that many higher-order explicit Runge-Kutta methods, including the classical 4th-order method and all non-confluent methods with a negative Butcher coefficient, cannot generally maintain positivity for these semi-discretizations under any positive step size. We also apply the proposed technique to centered finite difference discretizations of scalar hyperbolic and parabolic problems. △ Less

Submitted 13 February, 2017; v1 submitted 2 October, 2016; originally announced October 2016.

Dense output for strong stability preserving Runge-Kutta methods

Authors: David I. Ketcheson, Lajos Lóczi, Aliya Jangabylova, Adil Kusmanov

Abstract: We investigate dense output formulae (also known as continuous extensions) for strong stability preserving (SSP) Runge-Kutta methods. We require that the dense output formula also possess the SSP property, ideally under the same step-size restriction as the method itself. A general recipe for first-order SSP dense output formulae for SSP methods is given, and second-order dense output formulae for… ▽ More We investigate dense output formulae (also known as continuous extensions) for strong stability preserving (SSP) Runge-Kutta methods. We require that the dense output formula also possess the SSP property, ideally under the same step-size restriction as the method itself. A general recipe for first-order SSP dense output formulae for SSP methods is given, and second-order dense output formulae for several optimal SSP methods are developed. It is shown that SSP dense output formulae of order 3 and higher do not exist, and that in any method possessing a second-order SSP dense output, the coefficient matrix A has a zero row. △ Less

Submitted 15 November, 2016; v1 submitted 9 May, 2016; originally announced May 2016.

Strong-stability-preserving additive linear multistep methods

Authors: Yiannis Hadjimichael, David I. Ketcheson

Abstract: The analysis of strong-stability-preserving (SSP) linear multistep methods is extended to semi-discretized problems for which different terms on the right-hand side satisfy different forward Euler (or circle) conditions. Optimal additive and perturbed monotonicity-preserving linear multistep methods are studied in the context of such problems. Optimal perturbed methods attain larger monotonicity-p… ▽ More The analysis of strong-stability-preserving (SSP) linear multistep methods is extended to semi-discretized problems for which different terms on the right-hand side satisfy different forward Euler (or circle) conditions. Optimal additive and perturbed monotonicity-preserving linear multistep methods are studied in the context of such problems. Optimal perturbed methods attain larger monotonicity-preserving step sizes when the different forward Euler conditions are taken into account. On the other hand, we show that optimal SSP additive methods achieve a monotonicity-preserving step-size restriction no better than that of the corresponding non-additive SSP linear multistep methods. △ Less

Submitted 6 April, 2016; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 23 pages, 3 figures

MSC Class: 65L06; 65L05; 65M20

Journal ref: Math. Comp. 87 (2018), 2295-2320

Optimal monotonicity-preserving perturbations of a given Runge-Kutta method

Authors: Inmaculada Higueras, David I. Ketcheson, Tihamér A. Kocsis

Abstract: Perturbed Runge--Kutta methods (also referred to as downwind Runge--Kutta methods) can guarantee monotonicity preservation under larger step sizes relative to their traditional Runge--Kutta counterparts. In this paper we study, the question of how to optimally perturb a given method in order to increase the radius of absolute monotonicity (a.m.). We prove that for methods with zero radius of a.m.,… ▽ More Perturbed Runge--Kutta methods (also referred to as downwind Runge--Kutta methods) can guarantee monotonicity preservation under larger step sizes relative to their traditional Runge--Kutta counterparts. In this paper we study, the question of how to optimally perturb a given method in order to increase the radius of absolute monotonicity (a.m.). We prove that for methods with zero radius of a.m., it is always possible to give a perturbation with positive radius. We first study methods for linear problems and then methods for nonlinear problems. In each case, we prove upper bounds on the radius of a.m., and provide algorithms to compute optimal perturbations. We also provide optimal perturbations for many known methods. △ Less

Submitted 15 February, 2018; v1 submitted 15 May, 2015; originally announced May 2015.

Journal ref: J Sci Comput (2018)

Diffractons: solitary waves created by diffraction in periodic media

Authors: David I. Ketcheson, Manuel Quezada de Luna

Abstract: A new class of solitary waves arises in the solution of nonlinear wave equations with constant impedance and no dispersive terms. They depend on a balance between nonlinearity and a dispersion-like effect due to spatial variation in the sound speed of the medium. A high-order homogenized model confirms this effective dispersive behavior and its solutions agree well with those obtained by direct si… ▽ More A new class of solitary waves arises in the solution of nonlinear wave equations with constant impedance and no dispersive terms. They depend on a balance between nonlinearity and a dispersion-like effect due to spatial variation in the sound speed of the medium. A high-order homogenized model confirms this effective dispersive behavior and its solutions agree well with those obtained by direct simulation of the variable-coefficient system. These waves are observed to be long-time stable, globally attracting solutions that arise in general as solutions to nonlinear wave problems with periodically-varying sound speed. They share some properties with known classes of solitary waves, but possess important differences as well. △ Less

Submitted 15 December, 2013; originally announced December 2013.

Error Analysis of Explicit Partitioned Runge-Kutta Schemes for Conservation Laws

Authors: Willem Hundsdorfer, David I. Ketcheson, Igor Savostianov

Abstract: An error analysis is presented for explicit partitioned Runge-Kutta methods and multirate methods applied to conservation laws. The interfaces, across which different methods or time steps are used, lead to order reduction of the schemes. Along with cell-based decompositions, also flux-based decompositions are studied. In the latter case mass conservation is guaranteed, but it will be seen that th… ▽ More An error analysis is presented for explicit partitioned Runge-Kutta methods and multirate methods applied to conservation laws. The interfaces, across which different methods or time steps are used, lead to order reduction of the schemes. Along with cell-based decompositions, also flux-based decompositions are studied. In the latter case mass conservation is guaranteed, but it will be seen that the accuracy may deteriorate. △ Less

Submitted 27 October, 2013; originally announced October 2013.

Two-dimensional wave propagation in layered periodic media

Authors: Manuel Quezada de Luna, David I. Ketcheson

Abstract: We study two-dimensional wave propagation in materials whose properties vary periodically in one direction only. High order homogenization is carried out to derive a dispersive effective medium approximation. One-dimensional materials with constant impedance exhibit no effective dispersion. We show that a new kind of effective dispersion may arise in two dimensions, even in materials with constant… ▽ More We study two-dimensional wave propagation in materials whose properties vary periodically in one direction only. High order homogenization is carried out to derive a dispersive effective medium approximation. One-dimensional materials with constant impedance exhibit no effective dispersion. We show that a new kind of effective dispersion may arise in two dimensions, even in materials with constant impedance. This dispersion is a macroscopic effect of microscopic diffraction caused by spatial variation in the sound speed. We analyze this dispersive effect by using high-order homogenization to derive an anisotropic, dispersive effective medium. We generalize to two dimensions a homogenization approach that has been used previously for one-dimensional problems. Pseudospectral solutions of the effective medium equations agree to high accuracy with finite volume direct numerical simulations of the variable-coefficient equations. △ Less

Submitted 15 September, 2014; v1 submitted 25 September, 2013; originally announced September 2013.

Propagation of internal errors in explicit Runge--Kutta methods and internal stability of SSP and extrapolation methods

Authors: David I. Ketcheson, Lajos Lóczi, Matteo Parsani

Abstract: In practical computation with Runge--Kutta methods, the stage equations are not satisfied exactly, due to roundoff errors, algebraic solver errors, and so forth. We show by example that propagation of such errors within a single step can have catastrophic effects for otherwise practical and well-known methods. We perform a general analysis of internal error propagation, emphasizing that it depends… ▽ More In practical computation with Runge--Kutta methods, the stage equations are not satisfied exactly, due to roundoff errors, algebraic solver errors, and so forth. We show by example that propagation of such errors within a single step can have catastrophic effects for otherwise practical and well-known methods. We perform a general analysis of internal error propagation, emphasizing that it depends significantly on how the method is implemented. We show that for a fixed method, essentially any set of internal stability polynomials can be obtained by modifying the implementation details. We provide bounds on the internal error amplification constants for some classes of methods with many stages, including strong stability preserving methods and extrapolation methods. These results are used to prove error bounds in the presence of roundoff or other internal errors. △ Less

Submitted 10 April, 2014; v1 submitted 5 September, 2013; originally announced September 2013.

Strong Stability Preserving Multistep Runge-Kutta Methods

Authors: Christopher Bresten, Sigal Gottlieb, Zachary Grant, Daniel Higgs, David I. Ketcheson, Adrian Németh

Abstract: High-order spatial discretizations with strong stability properties (such as monotonicity) are desirable for the solution of hyperbolic PDEs. Methods may be compared in terms of the strong stability preserving (SSP) time-step. We prove an upper bound on the SSP coefficient of explicit multistep Runge--Kutta methods of order two and above. Order conditions and monotonicity conditions for such metho… ▽ More High-order spatial discretizations with strong stability properties (such as monotonicity) are desirable for the solution of hyperbolic PDEs. Methods may be compared in terms of the strong stability preserving (SSP) time-step. We prove an upper bound on the SSP coefficient of explicit multistep Runge--Kutta methods of order two and above. Order conditions and monotonicity conditions for such methods are worked out in terms of the method coefficients. Numerical optimization is used to find optimized explicit methods of up to five steps, eight stages, and tenth order. These methods are tested on the advection and Buckley-Leverett equations, and the results for the observed total variation diminishing and positivity preserving time-step are presented. △ Less

Submitted 28 January, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

A comparison of high order explicit Runge-Kutta, extrapolation, and deferred correction methods in serial and parallel

Authors: David I. Ketcheson, Umair bin Waheed

Abstract: We compare the three main types of high-order one-step initial value solvers: extrapolation, spectral deferred correction, and embedded Runge--Kutta pairs. We consider orders four through twelve, including both serial and parallel implementations. We cast extrapolation and deferred correction methods as fixed-order Runge--Kutta methods, providing a natural framework for the comparison. The stabili… ▽ More We compare the three main types of high-order one-step initial value solvers: extrapolation, spectral deferred correction, and embedded Runge--Kutta pairs. We consider orders four through twelve, including both serial and parallel implementations. We cast extrapolation and deferred correction methods as fixed-order Runge--Kutta methods, providing a natural framework for the comparison. The stability and accuracy properties of the methods are analyzed by theoretical measures, and these are compared with the results of numerical tests. In serial, the 8th-order pair of Prince and Dormand (DOP8) is most efficient. But other high order methods can be more efficient than DOP8 when implemented in parallel. This is demonstrated by comparing a parallelized version of the well-known ODEX code with the (serial) DOP853 code. For an $N$-body problem with $N=400$, the experimental extrapolation code is as fast as the tuned Runge--Kutta pair at loose tolerances, and is up to two times as fast at tight tolerances. △ Less

Submitted 15 March, 2014; v1 submitted 27 May, 2013; originally announced May 2013.

Journal ref: Commun. Appl. Math. Comput. Sci. 9 (2014) 175-200

Rational functions with maximal radius of absolute monotonicity

Authors: Lajos Loczi, David I. Ketcheson

Abstract: We study the radius of absolute monotonicity R of rational functions with numerator and denominator of degree s that approximate the exponential function to order p. Such functions arise in the application of implicit s-stage, order p Runge-Kutta methods for initial value problems and the radius of absolute monotonicity governs the numerical preservation of properties like positivity and maximum-n… ▽ More We study the radius of absolute monotonicity R of rational functions with numerator and denominator of degree s that approximate the exponential function to order p. Such functions arise in the application of implicit s-stage, order p Runge-Kutta methods for initial value problems and the radius of absolute monotonicity governs the numerical preservation of properties like positivity and maximum-norm contractivity. We construct a function with p=2 and R>2s, disproving a conjecture of van de Griend and Kraaijevanger. We determine the maximum attainable radius for functions in several one-parameter families of rational functions. Moreover, we prove earlier conjectured optimal radii in some families with 2 or 3 parameters via uniqueness arguments for systems of polynomial inequalities. Our results also prove the optimality of some strong stability preserving implicit and singly diagonally implicit Runge-Kutta methods. Whereas previous results in this area were primarily numerical, we give all constants as exact algebraic numbers. △ Less

Submitted 26 March, 2013; originally announced March 2013.

MSC Class: 65L06

Journal ref: LMS J. Comput. Math. 17 (2014) 159-205

Spatially partitioned embedded Runge-Kutta methods

Authors: David I. Ketcheson, Colin B. Macdonald, Steven J. Ruuth

Abstract: We study spatially partitioned embedded Runge--Kutta (SPERK) schemes for partial differential equations (PDEs), in which each of the component schemes is applied over a different part of the spatial domain. Such methods may be convenient for problems in which the smoothness of the solution or the magnitudes of the PDE coefficients vary strongly in space. We focus on embedded partitioned methods as… ▽ More We study spatially partitioned embedded Runge--Kutta (SPERK) schemes for partial differential equations (PDEs), in which each of the component schemes is applied over a different part of the spatial domain. Such methods may be convenient for problems in which the smoothness of the solution or the magnitudes of the PDE coefficients vary strongly in space. We focus on embedded partitioned methods as they offer greater efficiency and avoid the order reduction that may occur in non-embedded schemes. We demonstrate that the lack of conservation in partitioned schemes can lead to non-physical effects and propose conservative additive schemes based on partitioning the fluxes rather than the ordinary differential equations. A variety of SPERK schemes are presented, including an embedded pair suitable for the time evolution of fifth-order weighted non-oscillatory (WENO) spatial discretizations. Numerical experiments are provided to support the theory. △ Less

Submitted 26 July, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Report number: OCCAM preprint 13/04

Journal ref: SIAM J. Numer. Anal. 51-5 (2013), pp. 2887-2910

Numerical simulation of cylindrical solitary waves in periodic media

Authors: Manuel Quezada de Luna David I. Ketcheson

Abstract: We study the behavior of nonlinear waves in a two-dimensional medium with density and stress relation that vary periodically in space. Efficient approximate Riemann solvers are developed for the corresponding variable-coefficient first-order hyperbolic system. We present direct numerical simulations of this multiscale problem, focused on the propagation of a single localized perturbation in media… ▽ More We study the behavior of nonlinear waves in a two-dimensional medium with density and stress relation that vary periodically in space. Efficient approximate Riemann solvers are developed for the corresponding variable-coefficient first-order hyperbolic system. We present direct numerical simulations of this multiscale problem, focused on the propagation of a single localized perturbation in media with strongly varying impedance. For the conditions studied, we find little evidence of shock formation. Instead, solutions consist primarily of solitary waves. These solitary waves are observed to be stable over long times and to interact in a manner approximately like solitons. The system considered has no dispersive terms; these solitary waves arise due to the material heterogeneity, which leads to strong reflections and effective dispersion. △ Less

Submitted 24 September, 2012; originally announced September 2012.

Optimized explicit Runge-Kutta schemes for the spectral difference method applied to wave propagation problems

Authors: M. Parsani, D. I. Ketcheson, W. Deconinck

Abstract: Explicit Runge-Kutta schemes with large stable step sizes are developed for integration of high order spectral difference spatial discretization on quadrilateral grids. The new schemes permit an effective time step that is substantially larger than the maximum admissible time step of standard explicit Runge-Kutta schemes available in literature. Furthermore, they have a small principal error norm… ▽ More Explicit Runge-Kutta schemes with large stable step sizes are developed for integration of high order spectral difference spatial discretization on quadrilateral grids. The new schemes permit an effective time step that is substantially larger than the maximum admissible time step of standard explicit Runge-Kutta schemes available in literature. Furthermore, they have a small principal error norm and admit a low-storage implementation. The advantages of the new schemes are demonstrated through application to the Euler equations and the linearized Euler equations. △ Less

Submitted 29 November, 2012; v1 submitted 24 July, 2012; originally announced July 2012.

Comments: 37 pages, 3 pages of appendix

Journal ref: SIAM J. on Sci. Comp. (SISC), 35(2):A957-A986, 2013

Strong stability preserving explicit Runge-Kutta methods of maximal effective order

Authors: Yiannis Hadjimichael, Colin B. Macdonald, David I. Ketcheson, James H. Verner

Abstract: We apply the concept of effective order to strong stability preserving (SSP) explicit Runge-Kutta methods. Relative to classical Runge-Kutta methods, methods with an effective order of accuracy are designed to satisfy a relaxed set of order conditions, but yield higher order accuracy when composed with special starting and stop** methods. We show that this allows the construction of four-stage S… ▽ More We apply the concept of effective order to strong stability preserving (SSP) explicit Runge-Kutta methods. Relative to classical Runge-Kutta methods, methods with an effective order of accuracy are designed to satisfy a relaxed set of order conditions, but yield higher order accuracy when composed with special starting and stop** methods. We show that this allows the construction of four-stage SSP methods with effective order four (such methods cannot have classical order four). However, we also prove that effective order five methods - like classical order five methods - require the use of non-positive weights and so cannot be SSP. By numerical optimization, we construct explicit SSP Runge-Kutta methods up to effective order four and establish the optimality of many of them. Numerical experiments demonstrate the validity of these methods in practice. △ Less

Submitted 10 March, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: 17 pages, 3 figures, 8 tables

Journal ref: SIAM J. Numer. Anal. 51-4 (2013), pp. 2149-2165

Optimal stability polynomials for numerical integration of initial value problems

Authors: David I. Ketcheson, Aron J. Ahmadia

Abstract: We consider the problem of finding optimally stable polynomial approximations to the exponential for application to one-step integration of initial value ordinary and partial differential equations. The objective is to find the largest stable step size and corresponding method for a given problem when the spectrum of the initial value problem is known. The problem is expressed in terms of a genera… ▽ More We consider the problem of finding optimally stable polynomial approximations to the exponential for application to one-step integration of initial value ordinary and partial differential equations. The objective is to find the largest stable step size and corresponding method for a given problem when the spectrum of the initial value problem is known. The problem is expressed in terms of a general least deviation feasibility problem. Its solution is obtained by a new fast, accurate, and robust algorithm based on convex optimization techniques. Global convergence of the algorithm is proven in the case that the order of approximation is one and in the case that the spectrum encloses a starlike region. Examples demonstrate the effectiveness of the proposed algorithm even when these conditions are not satisfied. △ Less

Submitted 12 July, 2012; v1 submitted 14 January, 2012; originally announced January 2012.

Journal ref: CAMCoS 7-2: 247-271 (2012)

PyClaw: Accessible, Extensible, Scalable Tools for Wave Propagation Problems

Authors: David I. Ketcheson, Kyle T. Mandli, Aron Ahmadia, Amal Alghamdi, Manuel Quezada, Matteo Parsani, Matthew G. Knepley, Matthew Emmett

Abstract: Development of scientific software involves tradeoffs between ease of use, generality, and performance. We describe the design of a general hyperbolic PDE solver that can be operated with the convenience of MATLAB yet achieves efficiency near that of hand-coded Fortran and scales to the largest supercomputers. This is achieved by using Python for most of the code while employing automatically-wrap… ▽ More Development of scientific software involves tradeoffs between ease of use, generality, and performance. We describe the design of a general hyperbolic PDE solver that can be operated with the convenience of MATLAB yet achieves efficiency near that of hand-coded Fortran and scales to the largest supercomputers. This is achieved by using Python for most of the code while employing automatically-wrapped Fortran kernels for computationally intensive routines, and using Python bindings to interface with a parallel computing library and other numerical packages. The software described here is PyClaw, a Python-based structured grid solver for general systems of hyperbolic PDEs \cite{pyclaw}. PyClaw provides a powerful and intuitive interface to the algorithms of the existing Fortran codes Clawpack and SharpClaw, simplifying code development and use while providing massive parallelism and scalable solvers via the PETSc library. The package is further augmented by use of PyWENO for generation of efficient high-order weighted essentially non-oscillatory reconstruction code. The simplicity, capability, and performance of this approach are demonstrated through application to example problems in shallow water flow, compressible flow and elasticity. △ Less

Submitted 12 May, 2012; v1 submitted 27 November, 2011; originally announced November 2011.

Journal ref: SISC 34(4):C210-C231 (2012)

High-order Wave Propagation Algorithms for Hyperbolic Systems

Authors: David I. Ketcheson, Matteo Parsani, Randall J. LeVeque

Abstract: We present a finite volume method that is applicable to hyperbolic PDEs including spatially varying and semilinear nonconservative systems. The spatial discretization, like that of the well-known Clawpack software, is based on solving Riemann problems and calculating fluctuations (not fluxes). The implementation employs weighted essentially non-oscillatory reconstruction in space and strong stabil… ▽ More We present a finite volume method that is applicable to hyperbolic PDEs including spatially varying and semilinear nonconservative systems. The spatial discretization, like that of the well-known Clawpack software, is based on solving Riemann problems and calculating fluctuations (not fluxes). The implementation employs weighted essentially non-oscillatory reconstruction in space and strong stability preserving Runge-Kutta integration in time. The method can be extended to arbitrarily high order of accuracy and allows a well-balanced implementation for capturing solutions of balance laws near steady state. This well-balancing is achieved through the $f$-wave Riemann solver and a novel wave-slope WENO reconstruction procedure. The wide applicability and advantageous properties of the method are demonstrated through numerical examples, including problems in nonconservative form, problems with spatially varying fluxes, and problems involving near-equilibrium solutions of balance laws. △ Less

Submitted 29 November, 2012; v1 submitted 15 November, 2011; originally announced November 2011.

Journal ref: SIAM J. on Sci. Comp. (SISC), 35(1):A351-A377, 2013

Strong stability preserving two-step Runge-Kutta methods

Authors: David I. Ketcheson, Sigal Gottlieb, Colin B. Macdonald

Abstract: We investigate the strong stability preserving (SSP) property of two-step Runge-Kutta (TSRK) methods. We prove that all SSP TSRK methods belong to a particularly simple subclass of TSRK methods, in which stages from the previous step are not used. We derive simple order conditions for this subclass. Whereas explicit SSP Runge-Kutta methods have order at most four, we prove that explicit SSP TSRK m… ▽ More We investigate the strong stability preserving (SSP) property of two-step Runge-Kutta (TSRK) methods. We prove that all SSP TSRK methods belong to a particularly simple subclass of TSRK methods, in which stages from the previous step are not used. We derive simple order conditions for this subclass. Whereas explicit SSP Runge-Kutta methods have order at most four, we prove that explicit SSP TSRK methods have order at most eight. We present TSRK methods of up to eighth order that were found by numerical search. These methods have larger SSP coefficients than any known methods of the same order of accuracy, and may be implemented in a form with relatively modest storage requirements. The usefulness of the TSRK methods is demonstrated through numerical examples, including integration of very high order WENO discretizations. △ Less

Submitted 18 June, 2011; originally announced June 2011.

Journal ref: SINUM 49(6):2618-2639 (2012)