Bernstein's theorem (polynomials)

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)| \le 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| \ge 1$$. We show first that if $$|P(z)| < |Q(z)|$$ on $$|z| = 1$$, then $$|P'(z)| < |Q'(z)|$$ on $$|z| \ge 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) = C z^n$$, where $$C$$ is an arbitrary constant exceeding $$\max_{|z|=1}|P(z)|$$.

Bernstein's inequality
In mathematical analysis, Bernstein's inequality states that on the complex plane, within the disk of radius 1, the degree of a polynomial times the maximum value of a polynomial is an upper bound for the similar maximum of its derivative. Taking the k-th derivative of the theorem,


 * $$\max_{|z| \le 1}( |P^{(k)}(z)| ) \le \frac{n!}{(n-k)!} \cdot\max_{|z| \le 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)| \le \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 \ge 1$$, then $$\max_{|z| = 1} |P'(z)| \le \frac{n}{1+k} \max_{|z| = 1}|P(z)|$$.