Past exam of the differential equations 1 course of the University of Oxford / 2023 / 1 / b / iii / Solution

The difference of two successive Picard iterates factors asThe preceding bound and the kernel estimate therefore giveMoreover $D_1:=\Vert y_1-y_0{\Vert }_{\infty }\le B^2/C_1$. Summing the resulting geometric series, for $m>n$,Thus there is a uniform limit $y$ on $[0,\infty )$, continuous by the uniform limit theorem, with $\Vert y{\Vert }_{\infty }\le 2B$. The integral passes to this limit becauseTherefore $y$ satisfies the Volterra integral equation, and hence the initial value problem. This proves global existence by Global Picard iteration with a decaying kernel. The same estimate gives the useful error boundIf $b=0$, every iterate is zero and the convergence assertion is immediate.