1. 假设

考虑一阶常微分方程(ODE):

假设:

  • 上足够光滑(至少三阶连续可导)
  • 时间步长为

2. 真实解的泰勒展开(基准)

对真实解 点展开:

一阶导数

二阶导数

由于 同时依赖于 ,而 ,使用多变量链式法则:

代入


3. 欧拉法的误差阶(对照)

欧拉法更新公式:

局部截断误差

全局误差,步数 ,误差累积:


4. RK2(中点法)的定义

第一步:中点预测

第二步:中点斜率

最终更新


5. 中点速度的泰勒展开

在点 做二阶泰勒展开:

整理得:


6. RK2 更新公式的展开

代入更新公式:


7. 与真实解逐项对比

真实解:

RK2 数值解:

步数