In this communication, we investigate the behavior of the derivatives
of invariants for Hamiltonian systems, using information derived from
an analysis of the Liapunov exponents of the system. We show that unde
r certain conditions on the analyticity properties of the solutions of
the equations of motion, it is possible to construct 2n invariants of
motion which are guaranteed to be C-infinity as functions of phase sp
ace and time in a suitably defined domain D.