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

Austin Juhl, David Shirokoff

In this work, we present approaches to rigorously certify $A$- and $A(\alpha )$-stability in Runge-Kutta methods through the solution of convex feasibility problems defined by linear mat…