Lyapunov stability of polynomial vector fields is undecidable
En palabras de los autores
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.
Resultado principalLimitación que admiten los autores
Apareció: lunes, 21 de septiembre. arXiv. Preprint, todavía sin revisión por pares.