If is an ordinary differential equation in with , a set containing 0 in its interior is the domain of attraction of zero if and only if there exist continuous functions such that:
, for , on
for every there exist such that , if
for or
If f is continuously differentiable, then the differential equation has at most one continuously differentiable solution satisfying .
References
Vladimir Ivanovich Zubov, Methods of A.M. Lyapunov and their application, Izdatel'stvo Leningradskogo Universiteta, 1961. (Translated by the United States Atomic Energy Commission, 1964.) ASIN B0007F2CDQ.