Section 5.8

Zeros and Singularities

[35/97%]
Show
LaTeX
Problem 5.8.1

Let C3\mathbb {C}^{3} denote the set of ordered triples of complex numbers. Define a map F:C3→C3F : \mathbb {C}^{3} \to \mathbb {C}^{3} by

F(u,v,w)=(u+v+w,uv+vw+wu,uvw). F(u,v,w) = (u+v+w, uv+vw+wu, uvw) .

Prove that FF is onto but not one-to-one.

?
Problem 5.8.2

Prove that the polynomial

p(z)=z47−z23+2z11−z5+4z2+1 p(z) = z^{47} - z^{23} + 2z^{11} - z^{5} + 4z^{2} + 1

has at least one root in the disc ∣z∣<1\left|z\right| < 1.

?
Problem 5.8.3

Suppose that ff is analytic inside and on the unit circle ∣z∣=1\left|z\right| = 1 and satisfies ∣f(z)∣<1\left|f(z)\right| < 1 for ∣z∣=1\left|z\right| = 1. Show that the equation f(z)=z3f(z) = z^{3} has exactly three solutions (counting multiplicities) inside the unit circle.

?
Problem 5.8.4
?
(1)

How many zeros does the function f(z)=3z100−ezf(z) = 3z^{100} - e^{z} have inside the unit circle (counting multiplicities)?

(2)

Are the zeros distinct?

Problem 5.8.5
?
(1)

How many roots does the polynomial defined by p(z)=2z5+4z2+1p(z) = 2z^{5} + 4z^{2} + 1 have in the disc ∣z∣<1\left|z\right| < 1?

(2)

How many roots does the same polynomial have on the real axis?

Problem 5.8.6

How many zeros does the complex polynomial

3z9+8z6+z5+2z3+1 3z^{9} + 8z^{6} + z^{5} + 2z^{3} + 1

have in the annulus 1<∣z∣<21 < \left|z\right| < 2?

?
Problem 5.8.7

Consider the polynomial

p(z)=z5+z3+5z2+2. p(z) = z^{5} + z^{3} + 5z^{2} + 2 .

How many zeros (counting multiplicities) does pp have in the annular region 1<∣z∣<21 < \left|z\right| < 2?

?
Problem 5.8.8

Find the number of roots of

z7−4z3−11=0 z^{7} - 4z^{3} - 11 = 0

which lie between the two circles ∣z∣=1\left|z\right| = 1 and ∣z∣=2\left|z\right| = 2.

?
Problem 5.8.9

Let ε\varepsilon be a positive number. Prove that the polynomial p(z)=εz3−z2−1p(z) = \varepsilon z^{3} - z^{2} - 1 has exactly two roots in the half-plane Re(z)<0\mathrm{Re}\left(z\right) < 0.

?
Problem 5.8.10

Let r<1<Rr < 1 < R. Show that for all sufficiently small ε>0\varepsilon > 0, the polynomial

p(z)=εz7+z2+1 p(z) = \varepsilon z^{7} + z^{2} + 1

has exactly five roots (counted with their multiplicities) inside the annulus

rε−1/5<∣z∣<Rε−1/5. r\varepsilon ^{-1/5} < \left|z\right| < R\varepsilon ^{-1/5} .
?
Problem 5.8.11

Let the 3×33 \times 3 matrix function AA be defined on the complex plane by

A(z)=(4z21−1−12z20301). A(z) = \begin{pmatrix} 4z^{2} & 1 & -1 \\ -1 & 2z^{2} & 0 \\ 3 & 0 & 1 \end{pmatrix} .

How many distinct values of zz are there such that ∣z∣<1\left|z\right| < 1 and A(z)A(z) is not invertible?

?
Problem 5.8.12

How many roots does the polynomial z4+3z2+z+1z^{4} + 3z^{2} + z + 1 have in the right half zz-plane?

?
Problem 5.8.13

Prove that if the nonconstant polynomial p(z)p(z), with complex coefficients, has all of its roots in the half-plane Re(z)>0\mathrm{Re}\left(z\right) > 0, then all of the roots of its derivative are in the same half-plane.

?
Problem 5.8.14

Let ff be a nonconstant entire function whose values on the real axis are real and nonnegative. Prove that all real zeros of ff have even order.

?
Problem 5.8.15

Let pp be a nonconstant polynomial with real coefficients and only real roots. Prove that for each real number rr, the polynomial p−rp′p - rp' has only real roots.

?
Problem 5.8.16

Prove that if 1<λ<∞1 < \lambda < \infty, the function

fλ(z)=z+λ−ez f_{\lambda }(z) = z + \lambda - e^{z}

has only one zero in the half-plane Re(z)<0\mathrm{Re}\left(z\right) < 0, and that this zero is real.

?
Problem 5.8.17

Prove that for every λ>1\lambda > 1, the equation zeλ−z=1ze^{\lambda -z} = 1 has exactly one root in the disc ∣z∣<1\left|z\right| < 1 and that this root is real.

?
Problem 5.8.18

Prove that for any a∈Ca \in \mathbb {C} and any integer n≥2n \geq 2, the equation 1+z+azn=01 + z + az^{n} = 0 has at least one root in the disc ∣z∣≤2\left|z\right| \leq 2.

?
Problem 5.8.19

Prove that the polynomial z4+z3+1z^{4} + z^{3} + 1 has exactly one root in the quadrant {z=x+iy∣x,y>0}\left\{ z = x+iy \mid x,y > 0\right\}.

?
Problem 5.8.20

Let ff be analytic in an open set containing the closed unit disc. Suppose that ∣f(z)∣>m\left|f(z)\right| > m for ∣z∣=1\left|z\right| = 1 and ∣f(0)∣<m\left|f(0)\right| < m. Prove that f(z)f(z) has at least one zero in the open unit disc ∣z∣<1\left|z\right| < 1.

?
Problem 5.8.21

Let 0<a0≤a1≤⋯≤an0 < a_{0} \leq a_{1} \leq \cdots \leq a_{n}. Prove that the equation

a0zn+a1zn−1+⋯+an=0 a_{0}z^{n} + a_{1}z^{n-1} + \cdots + a_{n} = 0

has no roots in the disc ∣z∣<1\left|z\right| < 1.

?
Problem 5.8.22

Show that the polynomial p(z)=z5−6z+3p(z) = z^{5} - 6z + 3 has five distinct complex roots, of which exactly three (and not five) are real.

?
Problem 5.8.23

Let c0,c1,…,cn−1c_{0}, c_{1}, \ldots , c_{n-1} be complex numbers. Prove that all the zeros of the polynomial

zn+cn−1zn−1+⋯+c1z+c0 z^{n} + c_{n-1}z^{n-1} + \cdots + c_{1}z + c_{0}

lie in the open disc with center 00 and radius

1+∣cn−1∣2+⋯+∣c1∣2+∣c0∣2. \sqrt{1 + \left|c_{n-1}\right|^{2} + \cdots + \left|c_{1}\right|^{2} + \left|c_{0}\right|^{2}} .
?
Problem 5.8.24

Let P(x)P(x) be a polynomial with real coefficients and with leading coefficient 11. Suppose that P(0)=−1P(0) = -1 and that P(x)P(x) has no complex zeros inside the unit circle. Prove that P(1)=0P(1) = 0.

?
Problem 5.8.25

Prove that the number of roots of the equation z2n+α2z2n−1+β2=0z^{2n} + \alpha^{2}z^{2n-1} + \beta^{2} = 0 (nn a natural number, α\alpha and β\beta real, nonzero) that have positive real part is

?
(1)

nn if nn is even, and

(2)

n−1n-1 if nn is odd.

Problem 5.8.26

Let ρ>0\rho > 0. Show that for nn large enough, all the zeros of

fn(z)=1+1z+12!z2+⋯+1n!zn f_{n}(z) = 1 + \frac{1}{z} + \frac{1}{2!z^{2}} + \cdots + \frac{1}{n!z^{n}}

lie in the circle ∣z∣<ρ\left|z\right| < \rho.

?
Problem 5.8.27

Do the functions f(z)=ez+zf(z) = e^{z} + z and g(z)=zez+1g(z) = ze^{z} + 1 have the same number of zeros in the strip −π2<Im(z)<π2-\frac{\pi }{2} < \mathrm{Im}\left(z\right) < \frac{\pi }{2}?

?
Problem 5.8.28

Let aa be a complex number and ε\varepsilon a positive number. Prove that the function f(z)=sin⁡z+1z−af(z) = \sin z + \dfrac {1}{z-a} has infinitely many zeros in the strip ∣Im(z)∣<ε\left|\mathrm{Im}\left(z\right)\right| < \varepsilon.

?
Problem 5.8.29

Suppose that ff is holomorphic on some neighborhood of aa in the complex plane. Prove that either ff is constant on some neighborhood of aa, or there exist an integer n>0n > 0 and real numbers δ,ε>0\delta , \varepsilon > 0 such that for each complex number bb satisfying 0<∣b−f(a)∣<ε0 < \left|b-f(a)\right| < \varepsilon, the equation f(z)=bf(z) = b has exactly nn roots in {z∈C∣∣z−a∣<δ}\left\{ z \in \mathbb {C} \mid \left|z-a\right| < \delta \right\}.

?
Problem 5.8.30

Let a^0+a^1z+⋯+a^nzn\hat{a}_{0} + \hat{a}_{1}z + \cdots + \hat{a}_{n}z^{n} be a polynomial having z^\hat{z} as a simple root. Show that there is a continuous function r:U→Cr : U \to \mathbb {C}, where UU is a neighborhood of (a^0,…,a^n)(\hat{a}_{0}, \ldots , \hat{a}_{n}) in Cn+1\mathbb {C}^{n+1}, such that r(a0,…,an)r(a_{0}, \ldots , a_{n}) is always a root of a0+a1z+⋯+anzna_{0} + a_{1}z + \cdots + a_{n}z^{n}, and r(a^0,…,a^n)=z^r(\hat{a}_{0}, \ldots , \hat{a}_{n}) = \hat{z}.

?
Problem 5.8.31

Let

f(z)=∑n=0∞anzn f(z) = \sum _{n=0}^{\infty } a_{n}z^{n}

where all the ana_{n} are nonnegative reals, and the series has radius of convergence 11. Prove that f(z)f(z) cannot be analytically continued to a function analytic in a neighborhood of z=1z = 1.

?
Problem 5.8.32

Let ff be a meromorphic function on C\mathbb {C} which is analytic in a neighborhood of 00. Let its Maclaurin series be

∑k=0∞akzk \sum _{k=0}^{\infty } a_{k}z^{k}

with all ak≥0a_{k} \geq 0. Suppose there is a pole of modulus r>0r > 0 and no pole has modulus <r< r. Prove there is a pole at z=rz = r.

?
Problem 5.8.33

Decide, without too much computation, whether a finite limit

lim⁡z→0((tan⁡z)−2−z−2) \lim _{z \to 0} \left((\tan z)^{-2} - z^{-2}\right)

exists, where zz is a complex variable, and if yes, compute the limit.

?
Problem 5.8.34

Let ff and gg be entire functions such that lim⁡z→∞f(g(z))=∞\lim_{z \to \infty } f(g(z)) = \infty. Prove that ff and gg are polynomials.

?
Problem 5.8.35

Let z1,…,znz_{1}, \ldots , z_{n} be distinct complex numbers, and let a1,…,ana_{1}, \ldots , a_{n} be nonzero complex numbers such that Sp=∑j=1najzjp=0S_{p} = \sum_{j=1}^{n} a_{j}z_{j}^{p} = 0 for p=0,1,…,m−1p = 0, 1, \ldots , m-1 but Sm≠0S_{m} \neq 0. Here 1≤m≤n−11 \leq m \leq n-1. How many zeros does the rational function f(z)=∑j=1najz−zjf(z) = \sum_{j=1}^{n} \dfrac {a_{j}}{z-z_{j}} have in C\mathbb {C}? Why is m≥nm \geq n impossible.

?