Runge-Kutta methods, trees, and Mathematica
数值分析
2025-10-20 v1 数值分析
摘要
A simple and elementary proof of Butcher's theorem on the order conditions of Runge-Kutta methods is presented. It is based on a recursive definition of rooted trees and avoids combinatorial tools such as labelings and Faa di Bruno's formula. This strictly recursive approach can easily and elegantly be implemented using modern computer algrebra systems like Mathematica. The full but short source code is included and applied to some instructive examples.
引用
@article{arxiv.math/0211049,
title = {Runge-Kutta methods, trees, and Mathematica},
author = {Folkmar Bornemann},
journal= {arXiv preprint arXiv:math/0211049},
year = {2025}
}
备注
9 pages, source files include a Mathematica notebook