Exact determination of a Lyapunov function and the asymptotic stability domain