Roots of a polynomial depend continuously on its coefficients
Statement
Let be a monic polynomial with complex roots (with multiplicity), and let be monic with for all . Show that there is a constant depending only on and such that every root of is within of some root of , and vice versa.
Hint
At a root of we have , which is small. And .
Use the Cauchy bound to control and hence the size of .
Show solutionHide solution
Solution
Idea. If then the product of the distances is at most , so one of them is at most . Smallness of at a root of comes from the closeness of the coefficients.
Step 1: Cauchy bound. Every root of a monic satisfies . (If then , so .) Put and . Since , , so all roots of and of lie in , and .
Step 2: is small at a root of . Let , . Then
Step 3: some root is close. , so ? Careful: this needs *every* factor to be , so . Hence
Step 4: converse. Let be a root of ; . Then by the same computation, and with the roots of , so some satisfies .
Sharpness of the exponent . For and the roots of have modulus : with , , the roots have modulus (checked numerically). So one can't replace by in general; with *simple* roots one can (implicit function theorem).
Remark. This is a "quantitative" form of the theorem that roots are continuous functions of coefficients. It applies to characteristic polynomials, since the coefficients of are polynomial in the entries of .