Do approximately the same polynomials have approximately the same roots? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-06-18T21:33:00Z http://mathoverflow.net/feeds/question/103874 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103874/do-approximately-the-same-polynomials-have-approximately-the-same-roots Do approximately the same polynomials have approximately the same roots? Murat Güngör 2012-08-03T15:28:03Z 2012-08-05T11:28:22Z <p>"If $U$ is an open subset of the complex plane, then matrices $X\in\textrm{M}(n,\mathbb C)$ all of whose eigenvalues belong to $U$ make up an open subset of $\textrm{M}(n,\mathbb C)$." Trying to prove this by using the argument principle, I was led to the following question: do approximately the same polynomials have approximately the same roots? More precisely, fix a complex polynomial $p(z)=a_0+a_1 z+\ldots+a_n z^n$ with $a_n\neq 0$. Let us say that a polynomial $q(z)=b_0+b_1 z+\ldots+b_n z^n$ is in the $\varepsilon$-neighborhood of $p(z)$ if $|b_i-a_i|&lt;\varepsilon$ for all $0\leq i\leq n$. Now suppose all roots of $p(z)$ lie in, say, the open unit disk. Does $p(z)$ have an $\varepsilon$-neighborhood consisting of polynomials with the same property?</p> http://mathoverflow.net/questions/103874/do-approximately-the-same-polynomials-have-approximately-the-same-roots/103875#103875 Answer by Matt Hickford for Do approximately the same polynomials have approximately the same roots? Matt Hickford 2012-08-03T15:35:15Z 2012-08-03T15:42:25Z <p>I think so, yes. Suppose all the roots lie <em>inside</em> the unit disc. By compactness $|p(z)|$ takes a positive minimum $\delta$ on the contour (the unit circle). For $q(z)$ in the epsilon-neighbourhood, $q(z)-p(z)$ is a polynomial with epsilon coefficients, so we can take epsilon small enough so that on the contour $|q(z)-p(z)|&lt;\delta&lt;|p(z)|$. Then appeal to Rouché's theorem to learn that $p(z)$ and $q(z)$ have the same number of zeros in the region.</p> http://mathoverflow.net/questions/103874/do-approximately-the-same-polynomials-have-approximately-the-same-roots/103879#103879 Answer by John Bentin for Do approximately the same polynomials have approximately the same roots? John Bentin 2012-08-03T16:18:30Z 2012-08-05T11:28:22Z <p>For the headline question, no. See, for example, Wilkinson's polynomial: <a href="http://en.wikipedia.org/wiki/Wilkinson" rel="nofollow">http://en.wikipedia.org/wiki/Wilkinson</a>'s_polynomial.</p> <p><strong>Edit:</strong> From the response to this answer, it seems that some expansion is needed. The OP asks two questions. In the the title, and repeated in the text, the question is: Do approximately the same polynomials have approximately the same roots? The answer to this question is no, as Wilkinson shows with his monic degree-20 polynomial, which has well separated roots of moderate size, namely the integers 1 to 20. A decrement of $2^{-23}$ in the coefficient of the degree-19 term (which is $-210$)---a proportional change of less than 1 in 1.7 billion---induces substantial changes in the roots: for example, the root pair $16.5\pm 0.5$ becomes the root pair $16.73024\pm 2.81262\mathrm i$ (to 5 d.p.). The second question asked by the OP is whether the coefficients-to-roots map is continuous, which was already answered (affirmatively) by others. </p> http://mathoverflow.net/questions/103874/do-approximately-the-same-polynomials-have-approximately-the-same-roots/103883#103883 Answer by Igor Rivin for Do approximately the same polynomials have approximately the same roots? Igor Rivin 2012-08-03T17:01:35Z 2012-08-03T17:01:35Z <p>The question about matrices is analyzed to death in Kato's "perturbation theory of linear operators", chapters 1 and 2. The question in the title than is answered (in the affirmative by associating to each polynomial its companion matrix. Note that the roots depend analytically on the coefficients when they are all distinct, but only $C^0$ when there are multiple roots.</p>