J un 2 01 4 A local characterization of Lyapunov functions on Riemannian manifolds ⋆