A theory of symmetric one-step methods for differential-algebraic equations

Russian Journal of Numerical Analysis and Mathematical Modelling, 12(6) (1997), 501-523
http://dx.doi.org/10.1515/rnam.1997.12.6.501

In this paper we develop a theory of adjoint and symmetric methods in the class of general implicit one-step fixed-stepsize methods for solving differential-algebraic equations. We prove a number of theorems for methods having these properties and show that many results of the theory of adjoint and symmetric one-step fixed-stepsize methods for ordinary differential equations hold in the case of methods for differential-algebraic equations. In particular, we prove that only the symmetric methods possess a quadratic asymptotic expansion of the global error and provide a basis for \tau^2-extrapolation.