Section 5.4

Functions on the Unit Disc

[22/100%]
Show
LaTeX
Problem 5.4.1

Let α\alpha be a number in (0,π/2)(0, \pi /2). Prove that the function f(z)=e−1/zf(z) = e^{-1/z} is uniformly continuous in Sα={z∣0<∣z∣≤1,∣Arg⁡z∣≤α}S_{\alpha } = \left\{ z \mid 0<\left|z\right| \leq 1, \left|\operatorname {Arg} z\right| \leq \alpha \right\}, a sector of the complex plane.

?
Problem 5.4.2

Let aa and bb be nonzero complex numbers and f(z)=az+bz−1f(z) = az+bz^{-1}. Determine the image under ff of the unit circle {z∣∣z∣=1}\left\{ z \mid \left|z\right| = 1\right\}.

?
Problem 5.4.3

Let ff be analytic on and inside the unit circle C={z∣∣z∣=1}C = \left\{ z \mid \left|z\right| = 1\right\}. Let LL be the length of the image of CC under ff. Show that L≥2π∣f′(0)∣L \geq 2\pi \left|f'(0)\right|.

?
Problem 5.4.4

Let

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

be analytic in the disc D={z∈C∣∣z∣<1}\mathbb {D} = \left\{ z \in \mathbb {C} \mid \left|z\right|<1\right\}. Assume ff maps D\mathbb {D} one-to-one onto a domain GG having area AA. Prove

A=π∑n=1∞n∣cn∣2. A = \pi \sum _{n=1}^{\infty } n\left|c_{n}\right|^{2}.
?
Problem 5.4.5

Compute the area of the image of the unit disc {z∣∣z∣<1}\left\{ z \mid \left|z\right|<1\right\} under the map f(z)=z+z2/2f(z) = z+z^{2}/2.

?
Problem 5.4.6

Let

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

be an analytic function in the open unit disc D\mathbb {D}. Assume that

∑n=2∞n∣an∣≤∣a1∣with a1≠0. \sum _{n=2}^{\infty } n\left|a_{n}\right| \leq \left|a_{1}\right| \quad \text{with } a_{1} \neq 0.

Prove that ff is injective.

?
Problem 5.4.7

Let f(z)f(z) be a function that is analytic in the unit disc D={∣z∣<1}\mathbb {D} = \left\{ \left|z\right|<1\right\}. Suppose that ∣f(z)∣≤1\left|f(z)\right| \leq 1 in D\mathbb {D}. Prove that if f(z)f(z) has at least two fixed points z1z_{1} and z2z_{2}, then f(z)=zf(z) = z for all z∈Dz \in \mathbb {D}.

?
Problem 5.4.8

For each k>0k>0, let XkX_{k} be the set of analytic functions f(z)f(z) on the open unit disc D\mathbb {D} such that

sup⁡z∈D{(1−∣z∣)k∣f(z)∣} \sup _{z \in \mathbb {D}} \left\{ (1-\left|z\right|)^{k}\left|f(z)\right|\right\}

is finite. Show that f∈Xkf \in X_{k} if and only if f′∈Xk+1f' \in X_{k+1}.

?
Problem 5.4.9

Let the function ff be analytic in the open unit disc of the complex plane and real valued on the radii [0,1][0,1] and [0,eiπ2][0, e^{i\pi \sqrt{2}}]. Prove that ff is constant.

?
Problem 5.4.10

Let the function ff be analytic in the disc ∣z∣<1\left|z\right|<1 of the complex plane. Assume that there is a positive constant MM such that

∫02π∣f′(reiθ)∣ dθ≤M,(0≤r<1). \int _{0}^{2\pi } \left|f'(re^{i\theta })\right| \, d\theta \leq M, \qquad (0 \leq r<1).

Prove that

∫[0,1)∣f(x)∣ dx<∞. \int _{[0,1)} \left|f(x)\right| \, dx < \infty .
?
Problem 5.4.11

Suppose h(z)h(z) is analytic in the whole plane, h(0)=3+4ih(0) = 3+4i, and ∣h(z)∣≤5\left|h(z)\right| \leq 5 if ∣z∣<1\left|z\right|<1. What is h′(0)h'(0)?

?
Problem 5.4.12

Let ff be analytic in the closed unit disc, with f(−log⁡2)=0f(-\log 2) = 0 and ∣f(z)∣≤∣ez∣\left|f(z)\right| \leq \left|e^{z}\right| for all zz with ∣z∣=1\left|z\right| = 1. How large can ∣f(log⁡2)∣\left|f(\log 2)\right| be?

?
Problem 5.4.13

Suppose that ff is analytic on the open upper half-plane and satisfies ∣f(z)∣≤1\left|f(z)\right| \leq 1 for all zz, f(i)=0f(i) = 0. How large can ∣f(2i)∣\left|f(2i)\right| be under these conditions?

?
Problem 5.4.14

Let f(z)f(z) be analytic on the right half-plane H={z∣Re(z)>0}H = \left\{ z \mid \mathrm{Re}\left(z\right)>0\right\} and suppose ∣f(z)∣≤1\left|f(z)\right| \leq 1 for z∈Hz \in H. Suppose also that f(1)=0f(1) = 0. What is the largest possible value of ∣f′(1)∣\left|f'(1)\right|?

?
Problem 5.4.15

Let f(z)f(z) be analytic on the open unit disc D={z∣∣z∣<1}\mathbb {D} = \left\{ z \mid \left|z\right|<1\right\}. Prove that there is a sequence (zn)(z_{n}) in D\mathbb {D} such that ∣zn∣→1\left|z_{n}\right| \to 1 and (f(zn))(f(z_{n})) is bounded.

?
Problem 5.4.16

Let ff be an analytic function in the unit disc, ∣z∣<1\left|z\right|<1.

?
(1)

Prove that there is a sequence (zn)(z_{n}) in the unit disc with lim⁡n→∞∣zn∣=1\lim_{n \to \infty } \left|z_{n}\right| = 1 and lim⁡n→∞f(zn)\lim_{n \to \infty } f(z_{n}) exists (finitely).

(2)

Assume ff nonconstant. Prove that there are two sequences (zn)(z_{n}) and (wn)(w_{n}) in the disc such that lim⁡n→∞∣zn∣=lim⁡n→∞∣wn∣=1\lim_{n \to \infty } \left|z_{n}\right| = \lim_{n \to \infty } \left|w_{n}\right| = 1, and such that both limits lim⁡n→∞f(zn)\lim_{n \to \infty } f(z_{n}) and lim⁡n→∞f(wn)\lim_{n \to \infty } f(w_{n}) exist (finitely) and are not equal.

Problem 5.4.17

Let ff be a holomorphic map of the unit disc D={z∣∣z∣<1}\mathbb {D} = \left\{ z \mid \left|z\right|<1\right\} into itself, which is not the identity map f(z)=zf(z) = z. Show that ff can have, at most, one fixed point.

?
Problem 5.4.18

If f(z)f(z) is analytic in the open disc ∣z∣<1\left|z\right|<1, and ∣f(z)∣≤1/(1−∣z∣)\left|f(z)\right| \leq 1/(1-\left|z\right|), show that

∣an∣=∣f(n)(0)n!∣≤(n+1)(1+1n)n<e(n+1). \left|a_{n}\right| = \left|\frac{f^{(n)}(0)}{n!}\right| \leq (n+1)\left(1+\frac{1}{n}\right)^{n} < e(n+1).
?
Problem 5.4.19
?
(1)

Let ff be an analytic function that maps the open unit disc, D\mathbb {D}, into itself and vanishes at the origin. Prove that ∣f(z)+f(−z)∣≤2∣z∣2\left|f(z)+f(-z)\right| \leq 2\left|z\right|^{2} in D\mathbb {D}.

(2)

Prove that the inequality in Part 1 is strict, except at the origin, unless ff has the form f(z)=λz2f(z) = \lambda z^{2} with λ\lambda a constant of absolute value one.

Problem 5.4.20

Let the function ff be analytic in the unit disc, with ∣f(z)∣≤1\left|f(z)\right| \leq 1 and f(0)=0f(0) = 0. Assume that there is a number rr in (0,1)(0,1) such that f(r)=f(−r)=0f(r) = f(-r) = 0. Prove that

∣f(z)∣≤∣z∣∣z2−r21−r2z2∣. \left|f(z)\right| \leq \left|z\right|\left|\frac{z^{2}-r^{2}}{1-r^{2}z^{2}}\right|.
?
Problem 5.4.21

Let f(z)f(z) be an analytic function that maps the open disc ∣z∣<1\left|z\right|<1 into itself. Show that ∣f′(z)∣≤1/(1−∣z∣2)\left|f'(z)\right| \leq 1/(1-\left|z\right|^{2}).

?
Problem 5.4.22

Let ff be an analytic function in the open unit disc of the complex plane such that ∣f(z)∣≤C/(1−∣z∣)\left|f(z)\right| \leq C/(1-\left|z\right|) for all zz in the disc, where CC is a positive constant. Prove that ∣f′(z)∣≤4C/(1−∣z∣)2\left|f'(z)\right| \leq 4C/(1-\left|z\right|)^{2}.

?