Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Say we have a polynomial with real coefficients and no repeated roots. Knowing that the roots of a polynomial vary continuously in the coefficients (so long as we don't change the degree), it seems intuitive that all sufficiently close polynomials will have the same number of real roots, because in order to make two real roots non-real, or vice versa, you'd have to first bring them together in order to satisfy the constraint that the non-real ones must be conjugates, and it's not too hard to see that all sufficiently close polynomials will also have no repeated roots (nonzero discriminant is an open set).

However I'm at a loss as to how to formalize the "you'd have to bring them together" argument above. That repeated roots can be avoided is easy because we have the discriminant as noted above, and looking at the sign of the discriminant shows the number of real roots won't change mod 4, but I'm not sure how to do better than that algebraically. It would be nice if Sturm's Theorem could be used but I don't expect that the polynomial quotients involved would be continuous at all the relevant points.

Is there any sort of nice algebraic way to do this, or is the best way to formalize the intuitive argument using continuity of roots? In the latter case, how would you actually prove that you have to bring two of them together?

(A possible workaround I thought of for the algebraic approach would be to use a different, more general Sturm chain -- in particular, for polynomials of degree n, consider $\mathbb{R}(a_0,\ldots,a_n)$ ($a_0,\ldots,a_n$ indeterminates) and the generic polynomial $a_n x^n+\ldots+a_0$ and its derivative, take quotients and remainders there, and only afterward plug in the real numbers, thus getting rid of discontinuous-degree-change issues. However this, or at least this particular variant, doesn't seem to actually work, as far as I can tell -- checking by hand the degree 3 case seems to indicate that this won't work since anything that's an intermediate initial coefficient will end up getting divided by, and the first one of those is $\frac{2}{9}\frac{a_2^2}{9a_3}-\frac{2}{3}a_1$, which can still be 0 without either $a_3$ or the discriminant being 0, which are the two things that can obviously be safely divided by.)

share|improve this question
    
I see from your other thread that you've been shown Wilkinson's polynomial, $\prod\limits_{k=1}^{20}(x+k)$. Just adding a tiny perturbation to the coefficient of $x^{19}$ causes it to develop complex roots... –  J. M. Sep 12 '11 at 5:32
    
OK, but is this actually a counterexample, i.e., can arbitrarily small perturbations do this? I dont think that's possible, but if I'm wrong and this is actually a counterexample, please post it as an answer! –  Harry Altman Sep 12 '11 at 5:40
    
Well, $2^{-32}$ would be considered tiny, yes? Adding or subtracting that to the coefficient of $x^{19}$ in Wilkinson's polynomial gets you complex roots. –  J. M. Sep 12 '11 at 5:49
2  
@J. M.: I don't think that's the point. The question is whether the polynomial will have complex roots for any perturbation of the coefficients, no matter how small. (And the answer is no, it won't. As Harry says: by continuity, it must keep having real roots for all sufficiently small perturbations.) –  Hans Lundmark Sep 12 '11 at 6:40
    
Yeah, I wasn't entirely sure if Wilkinson breaks Harry's claim. Thanks @Hans. –  J. M. Sep 12 '11 at 6:43

1 Answer 1

up vote 3 down vote accepted

Suppose $p(X)\in\mathbb{R}[X]$ is a polynomial and $x_1,x_2\in\mathbb{R}$ are different roots that after some perturbation $e(x)\in\mathbb{R}$ become non-real, complex-conjugate roots $u+iv,u-iv$, $u,v\in\mathbb{R}$. Then either $|x_1-u|\geq\frac{|x_1-x_2|}{2}$ or $|x_2-u|\geq\frac{|x_1-x_2|}{2}$. In particular $|x_1-(u+iv)|\geq\frac{|x_1-x_2|}{2}$ or $|x_1-(u+iv)|\geq\frac{|x_1-x_2|}{2}$. Thus by the continuity of roots for $\epsilon>0$ and smaller than the minimal value among $\frac{|x-x^\prime|}{2}$, where $x,x^\prime$ runs through the pairs of real roots $x\neq x^\prime$, there exists $\delta>0$ such that for all perturbation smaller than $\delta$ the real roots of $p$ remain real and pairwise different roots of $p+e$.

One also has to make sure that none of the non-real roots becomes real. This is done by incorporating the distances of the non-real roots from the real line into the above argument, i.e. lowering $\epsilon$ again if necessary.

share|improve this answer
    
...huh, I had to read this a few times to make sure it really worked, but it seems it does. Thank you! –  Harry Altman Sep 15 '11 at 5:25

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.