In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations with arbitrary accuracy. By arbitrary accuracy it is meant that any accuracy required by the input can be achieved. The algorithm can be further extended to a root-finding algorithm that computes the exact number of zeros as well the location of each zero of a continuously differentiable function $f$ defined on the closed unit ball of $\mathbb{R}^{d}$, provided that the Jacobian of $f$ is invertible at each zero of $f$; moreover, the computation is uniform in $f$.
翻译:在本说明中,我们构建了一种算法,根据对封闭单元盘上界定的结构稳定的平面动态流量描述的输入,可以任意精确地输出(双曲)平衡点的确切数目及其位置,通过武断的准确性,这意味着输入所需的任何准确性都可以实现。这一算法可以进一步扩展为根算算法,计算零的确切数以及封闭单元球上固定的连续差异函数零的每个位置,即$\mathbb{R ⁇ d}美元,只要每0美元中每0美元就无法忽略美元;此外,计算法以美元统一。