Professional Documents
Culture Documents
Complex Analysis: Chapter I. The Complex Number System Supplement. Location of Zeros of Polynomials-Proofs of Theorems
Complex Analysis: Chapter I. The Complex Number System Supplement. Location of Zeros of Polynomials-Proofs of Theorems
April 2, 2018
Hence, if |z| > 1 + M, then |p(z)| > 0 and so p(z) 6= 0. So all zeros of p
in |z| > 1 must satisfy |z| ≤ 1 + M; of course the zeros of p in |z| ≤ 1
already lie in |z| ≤ 1 + M. Therefore, all zeros of p lie in
|z| ≤ 1 + M = 1 + max0≤k<n |ak /an | (notice that if
M = max0≤k<n |ak /an | = 0 then p(z) = an z n and all zeros are at
z = 0).
() Complex Analysis April 2, 2018 5 / 14
Theorem 1. Cauchy’s Location of Zeros Theorem, Category (1)
Hence, if |z| > 1 + M, then |p(z)| > 0 and so p(z) 6= 0. So all zeros of p
in |z| > 1 must satisfy |z| ≤ 1 + M; of course the zeros of p in |z| ≤ 1
already lie in |z| ≤ 1 + M. Therefore, all zeros of p lie in
|z| ≤ 1 + M = 1 + max0≤k<n |ak /an | (notice that if
M = max0≤k<n |ak /an | = 0 then p(z) = an z n and all zeros are at
z = 0).
() Complex Analysis April 2, 2018 5 / 14
Theorem 2. Cauchy’s Location of Zeros Theorem, Category (2)
Theorem 4
Theorem 4. Kuniyeda, Montel, and Tôya For any p and q such that
1/p + 1/q
P = 1, p > 1, and q > 1, all zeros of polynomial
p(z) = nk=0 ak z k lie in
n−1
!q/p 1/q 1/q
|ak |p |ak | q
X
q/p
|z| < 1 + ≤ 1+n max .
|an |p 0≤k≤n−1 |an |
k=0
Proof. We have
|p(z)| ≥ |an ||z|n − (|an−1 ||z|n−1 + |an−2 ||z|n−2 + · · · + |a1 ||z| + |a0 |)
n−1
X
= |an ||z|n − |ak ||z|k by Triangle Inequality and Exercise I.3.1
k=0
n−1
!1/p n−1
!1/q
X X
n p kq
≥ |an ||z| − |ak | |z| by Hölder’s Inequality
k=0 k=0
Theorem 4
Theorem 4. Kuniyeda, Montel, and Tôya For any p and q such that
1/p + 1/q
P = 1, p > 1, and q > 1, all zeros of polynomial
p(z) = nk=0 ak z k lie in
n−1
!q/p 1/q 1/q
|ak |p |ak | q
X
q/p
|z| < 1 + ≤ 1+n max .
|an |p 0≤k≤n−1 |an |
k=0
Proof. We have
|p(z)| ≥ |an ||z|n − (|an−1 ||z|n−1 + |an−2 ||z|n−2 + · · · + |a1 ||z| + |a0 |)
n−1
X
= |an ||z|n − |ak ||z|k by Triangle Inequality and Exercise I.3.1
k=0
n−1
!1/p n−1
!1/q
X X
n p kq
≥ |an ||z| − |ak | |z| by Hölder’s Inequality
k=0 k=0
Theorem 4 (continued 1)
Proof (continued). . . .
!1/p !1/q
n−1 n−1
X |ak |p X 1
|p(z)| ≥ |an ||z|n 1 − . (∗)
|an |p |z|(n−k)q
k=0 k=0
Theorem 4 (continued 2)
Proof (continued). . . .
n−1
X 1 1 − (1 − |z|−q ) |z|−q 1
< −q
= −q
= q ,
k=0
|z|(n−k)q 1 − |z| 1 − |z| |z| − 1
so from (∗),
!1/p
n−1 1/q
X |ak |p 1
|p(z)| > |an ||z|n 1 − . (∗∗)
|an |p |z|q−1
k=0
P q/p
n−1
So if |z|q − 1 ≥ p
k=0 |ak | /|an |
p
(notice that this also implies that
P −q/p
n−1
|z| > 1) then −1/(|z|q − 1) ≥ − |a
k=0 k |p /|a |p
n and by (∗∗),
n−1
!1/p n−1 !−q/p 1/q
X |ak | p X |ak | p
|p(z)| > |an ||z|n 1 − ...
|an |p |an |p
k=0 k=0
() Complex Analysis April 2, 2018 9 / 14
Theorem 4. Kuniyeda, Montel, and Tôya
Theorem 4 (continued 2)
Proof (continued). . . .
n−1
X 1 1 − (1 − |z|−q ) |z|−q 1
< −q
= −q
= q ,
k=0
|z|(n−k)q 1 − |z| 1 − |z| |z| − 1
so from (∗),
!1/p
n−1 1/q
X |ak |p 1
|p(z)| > |an ||z|n 1 − . (∗∗)
|an |p |z|q−1
k=0
P q/p
n−1
So if |z|q − 1 ≥ p
k=0 |ak | /|an |
p
(notice that this also implies that
P −q/p
n−1
|z| > 1) then −1/(|z|q − 1) ≥ − |a
k=0 k |p /|a |p
n and by (∗∗),
n−1
!1/p n−1 !−q/p 1/q
X |ak | p X |ak | p
|p(z)| > |an ||z|n 1 − ...
|an |p |an |p
k=0 k=0
() Complex Analysis April 2, 2018 9 / 14
Theorem 4. Kuniyeda, Montel, and Tôya
Theorem 4 (continued 3)
Theorem 4. For any p and q such P that 1/p + 1/q = 1, p > 1, and q > 1,
all zeros of polynomial p(z) = nk=0 ak z k lie in
n−1
!q/p 1/q 1/q
p |ak | q
X |ak |
q/p
|z| < 1 + ≤ 1+n max .
|an |p 0≤k≤n−1 |an |
k=0