By the chain rule, for any function, <math>H:\R^n \to \R,</math> the time derivative of the function evaluated along a solution of the dynamical system is | By the chain rule, for any function, <math>H:\R^n \to \R,</math> the time derivative of the function evaluated along a solution of the dynamical system is |