Milne device for forward and backward Euler
= Milne device for forward and backward Euler
{c}
Starting at the same value, forward and backward Euler have opposite leading local errors. Their half-difference therefore estimates either local error:
$$
E_n=\frac12\lVert y_B-y_F\rVert.
$$
For a first-order method, a local-tolerance controller consequently scales the next step by $(\mathrm{tol}/E_n)^{1/2}$, usually with a safety factor.