Computational unsolvability of domains of attraction of nonlinear systems
Ning Zhong · Proceedings of the American Mathematical Society · 2009
Let S S be the domain of attraction of a computable and asymptotically stable hyperbolic equilibrium point of the non-linear system x ˙ = f ( x ) \dot {x}=f(x) . We show that the problem of determining S S is computationally unsolvable. We also present an upper bound of the degree of unsolvability of this problem.