Abstract:Sixty years ago, Butcher (Butcher Math. Soc. 3, 185–201 1963) characterized a natural tabulation of the order conditions for Runge–Kutta methods of order p as an isomorphism from the set of rooted trees having up to p nodes and provided examples of explicit and implicit methods of several orders. Within a few years, Fehlberg (Fehlberg 1968) derived pairs of explicit methods of successive orders that could be implemented efficiently by using the difference of each pair of estimates to control the local error. Unfortunately, Fehlberg's pairs were deficient for quadrature problems. Subsequently, this author (Verner SIAM J. Numer. Anal. 15, 772–790 1978, Verner SIAM J. Numer. Anal. 16, 857–875 1979) derived parametric families of explicit Runge–Kutta pairs of increasing orders 6 to 9 that avoided this problem altogether. These, and most known explicit methods, have been derived by exploiting certain "simplifying conditions" suggested by Butcher (Butcher Math. Soc. 3, 185–201 1963, Butcher 1987 [pp. 194 f.]) that imposed constraints on subsets of the coefficients and thereby simplified the solution of the order conditions for moderate to high-order methods. "RK-Test-21", a MAPLE program developed recently by Butcher (Butcher 2021), was applied to derive known 13-stage pairs of orders 7 and 8. Unexpectedly, results of this application revealed the existence of some previously unknown pairs—i.e., some with the correct orders that satisfied most, but not all, of the previously known simplifying conditions. This present study develops formulas for directly computing exact coefficients of these new pairs together with others lying within this new parametric family of (13,7-8) pairs. While the best of these new pairs falls short of the best of pairs already known, the properties discovered might be utilized to precisely characterize recently reported higher-order methods found using other approaches by Khashin (Khashin 2009) and Zhang (Zhang 2019) and possibly lead to finding other Runge–Kutta and related yet unknown methods.

Runge-Kutta methods, trees, and Mathematica

Runge–Kutta methods and renormalization

On modified Runge–Kutta trees and methods

The Recursions of Order Conditions for Some Runge–Kutta-like Methods

Runge-Kutta methods: some historical notes

On the B-series composition theorem

Nullspaces yield new explicit Runge–Kutta pairs

A history of Runge-Kutta methods

An explicit 16-stage Runge–Kutta method of order 10 discovered by numerical search

On the random generation of Butcher trees

Two-step Runge-Kutta Methods of Order over Five with Reduced Function Evaluations.

An introduction to “Almost Runge-Kutta” methods

Lattice Paths and Branched Continued Fractions: An Infinite Sequence of Generalizations of the Stieltjes–Rogers and Thron–Rogers Polynomials, with Coefficientwise Hankel-Total Positivity

Order Conditions for Integrators and Mappings with Applications

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

Runs in labelled trees and mappings

Algebraic Conditions for Stability in Runge-Kutta Methods and Their Certification via Semidefinite Programming

A new way of deriving implicit Runge-Kutta methods based on repeated integrals

Aromatic Butcher Series

A proof of the Brill-Noether method from scratch

An implementation of Runge's method for Diophantine equations