A note on the convergence of discretized dynamic iteration

In this note we prove convergence results, including error estimates, for the dynamic iteration scheme where the forward Euler and backward Euler method are used to compute the iterates. The proofs are interesting in that they are exact analogues of the proof for the continuous case, using discrete versions of Gronwall's inequality.