Lyapunov stability of polynomial vector fields is undecidable
In the authors' words
We show that there are integers and odd such that no algorithm can decide, from the rational coefficients of a homogeneous polynomial vector field F of degree in dimension , whether the origin is Lyapunov stable for . This proves, for some large and unoptimized dimension and degree, a conjecture of V. I. Arnold.
Main resultLimitation the authors admit
Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.