Shadowing orbits of ordinary differential equations

A new notion of shadowing of a pseudo orbit, an approximate solution, of an autonomous system of ordinary differential equations by an associated nearby true orbit is introduced. Then a general shadowing theorem for finite time, which guarantees the existence of shadowing in ordinary differential equations and provides error bounds for the distance between the true and the pseudo orbit in terms of computable quantities, is proved. The use of this theorem in numerical computations of orbits is outlined.