¿Qué es?
Muestrear la pendiente en varios puntos dentro del paso y combinarlas para cancelar términos de error. El RK4
clásico tiene error : con la mitad de paso, el error se divide entre 16. Los pares adaptativos
(Dormand–Prince, ode45, solve_ivp) ajustan automáticamente.
Intuición
Euler se fía de la pendiente al principio del paso. RK2 (punto medio) da medio paso, mira la pendiente ahí y usa esa pendiente para el paso completo. RK4 lo hace cuatro veces y promedia con pesos , como la regla de Simpson para integrales. Los pesos se eligen para que el resultado coincida con el desarrollo de Taylor hasta .
Fórmulas
- RK4 clásico
¿Por qué importa?
Los métodos RK son la opción por defecto para problemas no rígidos en computación científica (ode45 de MATLAB,
RK45 de SciPy), y se usan en propagación de órbitas, cinética química y los resolvedores adaptativos de las
neural ODE. Los videojuegos prefieren esquemas más baratos y simplécticos; la ciencia prefiere precisión por
evaluación de la función.
Aplicaciones en informática
Los pares de Runge–Kutta adaptativos son los resolvedores de EDO de propósito general estándar.
Se usa RK de orden alto para órbitas precisas a corto plazo y métodos simplécticos para la estabilidad a largo plazo.
Los modelos atmosféricos avanzan en el tiempo sus ecuaciones discretizadas con esquemas de tipo Runge–Kutta.
Dónde aparece en IA
Las librerías de neural ODE (torchdiffeq, Diffrax) usan por defecto resolvedores de Runge–Kutta adaptativos.
¿Dónde se utiliza?
Temas de informática a los que se llega desde aquí, con la cadena de ideas que lleva a ellos:
Ejercicios
RK4 cuesta 4 evaluaciones de por paso y Euler 1. Para un error de en , ¿cuántas evaluaciones necesita aproximadamente cada uno si las constantes de error son del orden de 1?
Solución
Euler: → evaluaciones. RK4: → , unos 32 pasos → ~130 evaluaciones. El orden alto gana por órdenes de magnitud.