Construction of Lyapunov functions on the domain of asymptotic null-controllability: Theory