Robust non-computability and stability of dynamical systems

arXiv2305.14448MaRDI QIDQ6510243FDOQ6510243

Authors: Daniel Graça, Ning Zhong 

Abstract: In this paper, we examine the relationship between the stability of the dynamical system $x^{prime}=f(x)$ and the computability of its basins of attraction. We present a computable $C^{infty}$ system $x^{prime}=f(x)$ that possesses a computable and stable equilibrium point, yet whose basin of attraction is robustly non-computable in a neighborhood of $f$ in the sense that both the equilibrium point and the non-computability of its associated basin of attraction persist when $f$ is slightly perturbed. This indicates that local stability near a stable equilibrium point alone is insufficient to guarantee the computability of its basin of attraction. However, we also demonstrate that the basins of attraction associated with a structurally stable - globally stable - planar system are computable. Our findings suggest that the global stability of a system plays a pivotal role in determining the computability of its basins of attraction.

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Dynamical systems with hyperbolic orbits and sets (37D05) Perturbations, asymptotics of solutions to ordinary differential equations (34E10)

This page was built for publication: Robust non-computability and stability of dynamical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6510243)