Parameter dependent Lyapunov function