Derivation: Richardson raises the order

From the error form to the extrapolation formula: why combining N1(h)N_1(h) and N1(h/2)N_1(h/2) removes the O(h)\mathcal{O}(h) term.

Eliminating the O(h) term

  1. Start from the all-powers error and also evaluate with step h/2h/2:

    M=N1(h)+k1h+k2h2+M=N1 ⁣(h2)+k1h2+k2h24+\begin{aligned} M&=N_1(h)+k_1 h+k_2 h^2+\cdots\\ M&=N_1\!\left(\tfrac{h}{2}\right)+k_1\tfrac{h}{2}+k_2\tfrac{h^2}{4}+\cdots \end{aligned}
  2. Compute 2(second)(first)2\cdot(\text{second})-(\text{first}). The k1hk_1h term cancels and an O(h2)\mathcal{O}(h^2) error remains:

    M=N1 ⁣(h2)+[N1 ⁣(h2)N1(h)]k2h22M=N_1\!\left(\tfrac{h}{2}\right)+\left[N_1\!\left(\tfrac{h}{2}\right)-N_1(h)\right]-k_2\tfrac{h^2}{2}-\cdots
  3. Call the known part N2(h)N_2(h): it is an order-2 approximation. Repeating with weights 13\tfrac13, 115\tfrac{1}{15}, … raises the order further.

    N2(h)=N1 ⁣(h2)+[N1 ⁣(h2)N1(h)]N_2(h)=N_1\!\left(\tfrac{h}{2}\right)+\left[N_1\!\left(\tfrac{h}{2}\right)-N_1(h)\right]