On the order of iterated defect correction

Summary In a recent article [2] Frank and Überhuber define and motivate the method of iterated defect correction for Runge-Kutta methods. They prove a theorem on the order of that method using the theory of asymptotic expansions.In this paper we give similar results using the theory of Butcher series (see [4]). Our proofs are purely algebraic. We don't restrict our considerations to Runge-Kutta methods, but we admit arbitrary linear one-step methods. At the same time we consider more general defect functions as in [2].