Lyapunov stability of polynomial vector fields is undecidable

Milan Korda

We show that there are integers $N$ and odd $D$ such that no algorithm can decide, from the rational coefficients of a homogeneous polynomial vector field F of degree $D$ in dimens…