On a class of enclosure methods for initial value problems (Q1340885)

The author presents a class of methods for enclosing solutions of initial value problems with autonomous systems of ordinary differential equations (ODE's). This class is based on the well-known Taylor series method combined with an interval evaluation of the underlying Taylor polynomial and an enclosure of the remainder term. Depending on the way of introducing intervals in this expansion the author distinguishes three variants: the direct method, the mean-value method and the extended mean- value method. The latter one depends on additional matrices which can be chosen according to properties of the given system of ODE's. Three suggestions are made. For systems of linear ODE's expressions for the width of the enclosure of the solution are derived. It is shown that in this case the inclusions obtained by the direct method are never tighter than those of the mean-value method.