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.
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
)
|
≤
n
max
|
z
|
=
1
|
P
(
z
)
|
.
The inequality is best possible with equality holding if and only if
P
(
z
)
=
α
z
n
,
|
α
|
=
max
|
z
|
=
1
|
P
(
z
)
|
.
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
|
≥
1
. We show that if
|
P
(
z
)
|
<
|
Q
(
z
)
|
o
n
|
z
|
=
1
, then
|
P
′
(
z
)
|
≤
|
Q
′
(
z
)
|
o
n
|
z
|
≥
1
.
From Rouché's theorem we have
P
(
z
)
+
ε
Q
(
z
)
, with
|
ε
|
>
1
has all it's zeros in |z| < 1. By virtue of Gauss–Lucas theorem,
P
′
(
z
)
+
ε
Q
′
(
z
)
has all its zeros in
|
z
|
≤
1
. It follow's that
|
P
′
(
z
)
|
≤
|
Q
′
(
z
)
|
on
|
z
|
>
1
, otherwise it would have been possible to choose
ε
such that
P
(
z
)
+
ε
Q
(
z
)
had a zero in |z| > 1, with
|
ε
|
>
1
. Since P′(z) and Q′(z) are both continuous, we have
|
P
′
(
z
)
|
≤
|
Q
′
(
z
)
|
on
|
z
|
≥
1
.
For an arbitrary polynomial P(z) of degree n, choosing
Q
(
z
)
=
(
max
|
z
|
=
1
|
P
(
z
)
|
)
z
n
proves Bernstein's Theorem.
Paul Erdős had conjectured that if P(z) has no zeros in |z| < 1, then
max
|
z
|
=
1
|
P
′
(
z
)
|
≤
n
2
max
|
z
|
=
1
|
P
(
z
)
|
, and was proven by Peter Lax.
Prof M.A. Malik showed that if P(z) has no zeros in
|
z
|
≥
k
,
k
≥
1
, then
max
|
z
|
=
1
|
P
′
(
z
)
|
≤
n
1
+
k
n
max
|
z
|
=
1
|
P
(
z
)
|
