Section 1

Introductory Material

[7/100%]
Show
LaTeX
Problem 4.77

Let the polynomial

z+a2z2+a3z3+⋯+anzn z + a_{2} z^{2} + a_{3} z^{3} + \cdots + a_{n} z^{n}

be schlicht (univalent) in the unit circle ∣z∣<1\left|z\right| < 1. Then n∣an∣≤1n \left|a_{n}\right| \leq 1.

?
Problem 4.78

Let the function w=f(z)w = f(z) effect a schlicht mapping of the unit circle ∣z∣<1\left|z\right| < 1 onto a region (non-empty connected open set) R\mathfrak {R} and let φ(w)\varphi (w) be schlicht in R\mathfrak {R}. Then φ[f(z)]\varphi [f(z)] is schlicht in ∣z∣<1\left|z\right| < 1.

?
Problem 4.79

Let the function f(z)f(z) be schlicht in the unit circle ∣z∣<1\left|z\right| < 1 and let f(0)=0f(0) = 0. Then the function

φ(z)=f(z2)=zf(z2)z2, \varphi (z) = \sqrt{f(z^{2})} = z \sqrt{\frac{f(z^{2})}{z^{2}}},

with a fixed branch of the square root, is also schlicht in ∣z∣<1\left|z\right| < 1. A similar result holds for f(zn)n\sqrt[n]{f(z^{n})}, where nn is a positive integer.

?
Problem 4.80

The function φ(z)\varphi (z) in problem 79 is the most general odd function that induces a schlicht mapping of the unit circle ∣z∣<1\left|z\right| < 1. More precisely: If φ(z)\varphi (z) is an odd function schlicht for ∣z∣<1\left|z\right| < 1, then there exists a function f(z)f(z) which is schlicht for ∣z∣<1\left|z\right| < 1 from which φ(z)\varphi (z) is derived as in problem 79.

?
Problem 4.81

Let the open circular disc C\mathfrak {C} be mapped one-to-one and conformally onto the region R\mathfrak {R}. In particular, let the concentric circular disc c\mathfrak {c} contained in C\mathfrak {C} be mapped onto the sub-region r\mathfrak {r} of R\mathfrak {R}. Denoting the respective areas by ∣R∣,∣C∣,∣c∣,∣r∣\left|\mathfrak {R}\right|, \left|\mathfrak {C}\right|, \left|\mathfrak {c}\right|, \left|\mathfrak {r}\right|, we have

∣R∣∣r∣≥∣C∣∣c∣. \frac{\left|\mathfrak {R}\right|}{\left|\mathfrak {r}\right|} \geq \frac{\left|\mathfrak {C}\right|}{\left|\mathfrak {c}\right|}.
?
Remark.
?

We have equality if and only if the mapping is effected by means of a linear entire function.

Problem 4.82

Let the open circular disc C\mathfrak {C} be mapped one-to-one and conformally onto the region R\mathfrak {R}. In particular let the center c\mathfrak {c} of C\mathfrak {C} be mapped into the point r\mathfrak {r} of R\mathfrak {R}. Denote by a2a^{2} the area enlargement ratio at c\mathfrak {c} (see Volume I, p. 117). Then we have (using the notation of problem 81)

∣R∣∣C∣≥a2. \frac{\left|\mathfrak {R}\right|}{\left|\mathfrak {C}\right|} \geq a^{2}.
?
Problem 4.83

Let the open annular region A\mathfrak {A} between two concentric circles be mapped one-to-one and conformally onto the doubly connected region S\mathfrak {S}. Let the smallest open circular disc which contains A\mathfrak {A} be C\mathfrak {C}. Those points of C\mathfrak {C} not belonging to A\mathfrak {A} form a closed circular disc c\mathfrak {c}. Similarly let R\mathfrak {R} be the smallest simply connected region containing S\mathfrak {S}, and let r\mathfrak {r} be the set of all points of R\mathfrak {R} which do not belong to S\mathfrak {S} (r\mathfrak {r} is closed). Finally let a circle concentric with c\mathfrak {c} and C\mathfrak {C} contained in A\mathfrak {A} and its image curve in S\mathfrak {S} be traversed in the same sense. Then we have the relation between the areas

∣R∣∣r∣≥∣C∣∣c∣. \frac{\left|\mathfrak {R}\right|}{\left|\mathfrak {r}\right|} \geq \frac{\left|\mathfrak {C}\right|}{\left|\mathfrak {c}\right|}.
?
Remark.
?

We have equality if and only if the mapping is effected by means of a linear entire function. This is a generalization of problem 81, not contained in it.