Si las funciones candidatas de Liapunov formula_7 están definidas como positiva sobre todo el dominio y si su derivada respecto al tiempo es globalmente definida como negativa, esto es