lyapunov condition