The Hermite polynomials are defined as $$H_n(x)=(-1)^n e^{x^2}\dfrac{d^n}{dx^n}e^{-x^2}.$$

How does one prove that all the roots of the Hermite polynomial are real?


By induction, $H_n$ is a polynomial of degree $n$. Its roots are the zeros of $u_n(x) = \frac{d^n}{dx^n} e^{-x^2}$. But by Rolle's theorem, between any two zeros of a differentiable function there is a zero of its derivative. The same is true between a zero and $+\infty$ or $-\infty$ for a function that goes to $0$ at $\pm \infty$.

  • $\begingroup$ This is a great answer! $\endgroup$ – rotten Feb 2 '12 at 6:48
  • 2
    $\begingroup$ @Robert Israel I will complete the answer in the following:Assume the result is right when k=n-1, that is $u_{n-1}(x)$ has n-1 real roots.Then consider when k=n, by Rolle's theorem, there are n-2 real roots which satisfies u_n(x)=0, name them $$a_1<a_1<...<a_{n-2}$$ Then, notice that ±∞ are also the roots.Use Rolle's theorem again, there are one real root between −∞ and $a_1$, one real root between $a_{n-2}$ and +∞. So we have already found n real roots. Given H_n is a polynomial of degree n, these are all roots of H_n. $\endgroup$ – 89085731 Feb 2 '12 at 7:06
  • $\begingroup$ Right. [comments must be at least 15 characters in length] $\endgroup$ – Robert Israel Feb 2 '12 at 7:07
  • $\begingroup$ This is also one route to show that the Hermite polynomials form a Sturm sequence. $\endgroup$ – J. M. isn't a mathematician Feb 3 '12 at 4:06

The high-minded, linear algebraic route involves deriving the recursion relation


for the monic Hermite polynomial $\hat{H}_n(x)=2^{-n}H_n(x)$ (that is, the polynomial normalized to have unit leading coefficient), and from this derive the symmetric tridiagonal Jacobi matrix


whose characteristic polynomial is $\hat{H}_n(x)$. Show that the eigenvalues of a symmetric matrix are all real, and you're done.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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