References

This, together with equation (6.11), completes the proof of Theorem 4.2 for the

Stormer/Verlet method.

(d) The implicit methods (2.2) can be similarly interpreted as belonging to a

generalization of the class of methods of Section 5 to symmetric implicit meth­

ods. The analysis of [HaL99] can be extended to that class in a straightforward, though tedious way. The above arguments for the Stormer/Verlet method then carry over to the whole class (2.2). We omit the details of this extension.