Computing validated solutions of implicit differential equations (Q1872003)

The authors study the numerical analysis of Taylor model methods to solve explicit and implicit ordinary differential equations including validation. The proposed methods rewrite the original problem first as an integro-differential equation and, finally, as fixed-point problem in an appropriate function space. The validation of the result then appears as a consequence of the stability inequality of the fixed-point theorem. Finally, some explicit computations including the well known double pendulum in Cartesian coordinates on the state level are presented.