Maths WorkshopMaths problems with full solutions
Exercise 1430Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL3Added 7 Nov 2026

Roots of a polynomial depend continuously on its coefficients

#roots of polynomials#Cauchy bound#Hölder continuity#characteristic polynomial

Statement

Let p(z)=zn+cn−1zn−1+⋯+c0p(z)=z^n+c_{n-1}z^{n-1}+\dots+c_0 be a monic polynomial with complex roots r1,…,rnr_1,\dots,r_n (with multiplicity), and let q(z)=zn+dn−1zn−1+⋯+d0q(z)=z^n+d_{n-1}z^{n-1}+\dots+d_0 be monic with ∣dk−ck∣≤η≤1|d_k-c_k|\le\eta\le1 for all kk. Show that there is a constant CC depending only on nn and max⁡k∣ck∣\max_k|c_k| such that every root of qq is within Cη1/nC\eta^{1/n} of some root of pp, and vice versa.

Hint

At a root zz of qq we have p(z)=p(z)−q(z)p(z)=p(z)-q(z), which is small. And p(z)=∏i(z−ri)p(z)=\prod_i(z-r_i).

Use the Cauchy bound to control ∣z∣|z| and hence the size of p(z)−q(z)p(z)-q(z).

Show solutionHide solution

Solution

Idea. If ∣p(z)∣≤δ|p(z)|\le\delta then the product of the nn distances ∣z−ri∣|z-r_i| is at most δ\delta, so one of them is at most δ1/n\delta^{1/n}. Smallness of p(z)p(z) at a root of qq comes from the closeness of the coefficients.

Step 1: Cauchy bound. Every root zz of a monic zn+an−1zn−1+⋯+a0z^n+a_{n-1}z^{n-1}+\dots+a_0 satisfies ∣z∣≤1+max⁡k∣ak∣|z|\le1+\max_k|a_k|. (If ∣z∣>1|z|>1 then ∣z∣n=∣∑akzk∣≤max⁡∣ak∣∣z∣n−1∣z∣−1<max⁡∣ak∣∣z∣n∣z∣−1|z|^n=|\sum a_kz^k|\le\max|a_k|\frac{|z|^n-1}{|z|-1}<\max|a_k|\frac{|z|^n}{|z|-1}, so ∣z∣−1<max⁡∣ak∣|z|-1<\max|a_k|.) Put m=max⁡k∣ck∣m=\max_k|c_k| and R=2+mR=2+m. Since η≤1\eta\le1, max⁡∣dk∣≤m+1\max|d_k|\le m+1, so all roots of pp and of qq lie in {∣z∣≤R}\{|z|\le R\}, and R≥2≥1R\ge2\ge1.

Step 2: p(z)p(z) is small at a root of qq. Let q(z0)=0q(z_0)=0, ∣z0∣≤R|z_0|\le R. Then
∣p(z0)∣=∣p(z0)−q(z0)∣=∣∑k<n(ck−dk)z0k∣≤η∑k=0n−1Rk≤η nRn−1=:δ.|p(z_0)|=|p(z_0)-q(z_0)|=\Big|\sum_{k<n}(c_k-d_k)z_0^k\Big|\le\eta\sum_{k=0}^{n-1}R^k\le\eta\,nR^{n-1}=:\delta.

Step 3: some root is close. ∣p(z0)∣=∏i=1n∣z0−ri∣≤δ|p(z_0)|=\prod_{i=1}^n|z_0-r_i|\le\delta, so min⁡i∣z0−ri∣n≤∏i∣z0−ri∣≤δ\min_i|z_0-r_i|^n\le\prod_i|z_0-r_i|\le\delta? Careful: this needs *every* factor to be ≥min⁡\ge\min, so min⁡i∣z0−ri∣n≤∏i∣z0−ri∣\min_i|z_0-r_i|^n\le\prod_i|z_0-r_i|. Hence
min⁡i∣z0−ri∣≤δ1/n=(nRn−1)1/nη1/n=:Cη1/n.\min_i|z_0-r_i|\le\delta^{1/n}=(nR^{n-1})^{1/n}\eta^{1/n}=:C\eta^{1/n}.

Step 4: converse. Let rir_i be a root of pp; ∣ri∣≤R|r_i|\le R. Then ∣q(ri)∣=∣q(ri)−p(ri)∣≤δ|q(r_i)|=|q(r_i)-p(r_i)|\le\delta by the same computation, and q(ri)=∏j(ri−sj)q(r_i)=\prod_j(r_i-s_j) with sjs_j the roots of qq, so some sjs_j satisfies ∣ri−sj∣≤δ1/n|r_i-s_j|\le\delta^{1/n}.

Sharpness of the exponent 1n\frac1n. For p=znp=z^n and q=zn−ηq=z^n-\eta the roots of qq have modulus η1/n\eta^{1/n}: with n=3n=3, η=10−6\eta=10^{-6}, the roots have modulus 0.010.01 (checked numerically). So one can't replace η1/n\eta^{1/n} by η\eta 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 χA\chi_A are polynomial in the entries of AA.