Enclosing clusters of zeros of polynomials (Q1398713)

Let \(z_1,\dots, z_n\) be approximations of the zeros \(\zeta_1,\dots, \zeta_n\) of a polynomial \(f\) and let \(g\) be the polynomial which arises if the \(\zeta_k\)'s in the linear factor representation of \(f\) are replaced by the \(z_k\)'s. Then, a partial fraction development of \(f/g\) is used to obtain Gerschgorin-type disks as inclusions for the zeros. The accuracy of the bounds is investigated where multiple roots as well as zero clusters are taken into account. A technique to improve the bounds is also discussed. Finally a sufficient condition is given that a disk contains as many zeros as approximate zeros (Rouché-type theorem). Circular arithmetic is recommended to get reliable bounds.