Title: Explicit representations of Lyapunov functions for stable analytic systems