la derivada respecto al tiempo de una función candidata de Liapunov formula_7.