Asymptotic stability implies the existence of a local polynomial   Lyapunov function
  We show that every globally asymptotically stable system with a twice continuously differentiable vector field admits a local polynomial Lyapunov function on an arbitrary bounded neighborhood of the origin. 
M. Rungger and J. Kloos and R. Majumdar
math.OC