Bernstein's theorem (polynomials)

See also: Bernstein's inequality (mathematical analysis)

Bernstein's theorem is an inequality relating the maximum modulus of a complex polynomial function on the unit disk with the maximum modulus of its derivative on the unit disk. It was proven by Sergei Bernstein while he was working on approximation theory.

Statement

Let $\max _{|z|=1}|f(z)|$ denote the maximum modulus of an arbitrary function f(z) on |z| = 1, and let f′(z) denote its derivative. Then for every polynomial P(z) of degree n we have

$\max _{|z|=1}|P'(z)|\leq n\max _{|z|=1}|P(z)|.$

The inequality is best possible with equality holding if and only if

$P(z)=\alpha z^{n},\ |\alpha |=\max _{|z|=1}|P(z)|.$

Proof

Let $P(z)$ be a polynomial of degree $n$, and let $Q(z)$ be another polynomial of the same degree with no zeros in $|z|\geq 1$. We show first that if $|P(z)|<|Q(z)|$ on $|z|=1$, then $|P'(z)|<|Q'(z)|$ on $|z|\geq 1$.

By Rouché's theorem, $P(z)+\varepsilon \ Q(z)$ with $|\varepsilon |\geq 1$ has all its zeros in $|z|<1$. By virtue of the Gauss–Lucas theorem, $P'(z)+\varepsilon \ Q'(z)$ has all its zeros in $|z|<1$ as well. It follows that $|P'(z)|<|Q'(z)|$ on $|z|\geq 1$, otherwise we could choose an $\varepsilon$ with $|\varepsilon |\geq 1$ such that $P'(z)+\varepsilon Q'(z)$ has a zero in $|z|\geq 1$.

For an arbitrary polynomial $P(z)$ of degree $n$, we obtain Bernstein's Theorem by applying the above result to the polynomials $Q(z)=Cz^{n}$, where $C$ is an arbitrary constant exceeding $\max _{|z|=1}|P(z)|$.

Similar results

Paul Erdős conjectured that if $P(z)$ has no zeros in $|z|<1$, then $\max _{|z|=1}|P'(z)|\leq {\frac {n}{2}}\max _{|z|=1}|P(z)|$. This was proved by Peter Lax.

M. A. Malik showed that if $P(z)$ has no zeros in $|z|<k$ for a given $k\geq 1$, then $\max _{|z|=1}|P'(z)|\leq {\frac {n}{1+k}}\max _{|z|=1}|P(z)|$.