A time kink reduces the explicit midpoint local order

For $t<0$, $y(t)=-t^2\mathrm{/}2$ and $y^{\mathrm{\prime }}(t)=-t=\mathrm{\mid }t\mathrm{\mid }$; for $t>0$, $y(t)=t^2\mathrm{/}2$ and $y^{\mathrm{\prime }}(t)=t=\mathrm{\mid }t\mathrm{\mid }$. At $t=0$, ${\lim }_{s\to 0}(y(s)-y(0))\mathrm{/}s={\lim }_{s\to 0}\mathrm{\mid }s\mathrm{\mid }\mathrm{/}2=0=\mathrm{\mid }0\mathrm{\mid }$. Hence $y$ is the exact solution through $y(0)=0$.

At $t_h=-h\mathrm{/}2$, the exact value is $y(t_h)=-h^2\mathrm{/}8$ and the explicit midpoint stage time is $0$, where $f(0,z)=0$ for every stage value $z$. Thus $M_h(t_h,y(t_h))=y(t_h)=-h^2\mathrm{/}8$, while $y(t_h+h)=y(h\mathrm{/}2)=h^2\mathrm{/}8$.

Therefore ${\delta }_h(t_h;y)=-h^2\mathrm{/}4$. The exact segment has $\mathrm{\mid }t\mathrm{\mid }\le h\mathrm{/}2\le 1\mathrm{/}2$ and $\mathrm{\mid }y(t)\mathrm{\mid }\le 1\mathrm{/}8$; the input and output states are $-h^2\mathrm{/}8$, and the midpoint stage state is $h^2\mathrm{/}8$, all in $[-1,1]$. Their time coordinates also lie in $[-1,1]$, so the definition applies on the fixed compact set $K$. If a uniform order-two bound held, $h^2\mathrm{/}4\le C{h}^3$ for every $0<h\le 1$, forcing $C\ge 1\mathrm{/}(4h)$ as $h\downarrow 0$, which is impossible.

For an arbitrary $t\in \mathbb{R}$ and $h>0$, the method increment from the exact state is $h\mathrm{\mid }t+h\mathrm{/}2\mathrm{\mid }$. If $[t,t+h]$ lies on either side of $0$, then $y$ is quadratic there and this increment equals $y(t+h)-y(t)$, so the defect is zero. If $t<0<t+h$, put $r=-t\mathrm{/}h\in (0,1)$. Using $y(t)=-t^2\mathrm{/}2$ and $y(t+h)=(t+h{)}^2\mathrm{/}2$ gives ${\delta }_h(t;y)=-h^2{r}^2$ for $0<r\le 1\mathrm{/}2$ and ${\delta }_h(t;y)=-h^2(1-r{)}^2$ for $1\mathrm{/}2\le r<1$. Thus every crossing step has $\mathrm{\mid }{\delta }_h(t;y)\mathrm{\mid }\le h^2\mathrm{/}4$, and the same bound holds for every step. In particular, it holds uniformly for all admitted starts and steps in $K$; together with step 3.1, the uniform local order is exactly one.