论文标题

Weierstrass root Finder通常不是收敛

The Weierstrass root finder is not generally convergent

论文作者

Reinke, Bernhard, Schleicher, Dierk, Stoll, Michael

论文摘要

找到单变量多项式的根源是数字的基本任务之一,并且在理论上良好理解的根发现器与在实践中表现良好的根发现器之间仍然存在很大的差距。我们研究了WeierStrass的根发现方法,该方法是一种root Finder,它试图并行近似给定多项式的所有根(在Jacobi版本中,即带有并行更新)。除了在明显的对称情况下,该方法在实践中找到所有根源方面具有良好的声誉,但对其全局动力学和收敛属性知之甚少。我们表明,WeierStrass方法(例如著名的牛顿方法)通常不是收敛的:每个度$ d \ ge 3 $的一个开放式多项式$ p $,因此适用于$ p $的Weierstrass方法的动力学展示了吸引周期轨道的$ P $。具体而言,所有多项式都足够接近$ z^3 + z + 180 $吸引了周期$ 4 $的周期。在这里,周期$ 4 $很少:我们表明,对于立方多项式,没有$ 2 $或3 $的周期性轨道吸引开放的起点。我们还为WeierStrass方法建立了另一个融合问题:几乎每个度量的多项式$ d \ ge 3 $都有针对所有迭代定义的轨道,但会收敛到$ \ infty $;这是牛顿方法不会出现的问题。我们的结果是通过首先根据高维复杂动力学来解释来自数值数学的原始问题,然后以代数术语来逐步措辞,以便我们最终可以通过计算机代数从计算机代数中应用方法来回答它。

Finding roots of univariate polynomials is one of the fundamental tasks of numerics, and there is still a wide gap between root finders that are well understood in theory and those that perform well in practice. We investigate the root finding method of Weierstrass, a root finder that tries to approximate all roots of a given polynomial in parallel (in the Jacobi version, i.e., with parallel updates). This method has a good reputation for finding all roots in practice except in obvious cases of symmetry, but very little is known about its global dynamics and convergence properties. We show that the Weierstrass method, like the well known Newton method, is not generally convergent: there are open sets of polynomials $p$ of every degree $d \ge 3$ such that the dynamics of the Weierstrass method applied to $p$ exhibits attracting periodic orbits. Specifically, all polynomials sufficiently close to $Z^3 + Z + 180$ have attracting cycles of period $4$. Here, period $4$ is minimal: we show that for cubic polynomials, there are no periodic orbits of length $2$ or $3$ that attract open sets of starting points. We also establish another convergence problem for the Weierstrass method: for almost every polynomial of degree $d\ge 3$ there are orbits that are defined for all iterates but converge to $\infty$; this is a problem that does not occur for Newton's method. Our results are obtained by first interpreting the original problem coming from numerical mathematics in terms of higher-dimensional complex dynamics, then phrasing the question in algebraic terms in such a way that we could finally answer it by applying methods from computer algebra.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源