In mathematics, Grunsky's theorem, due to the German mathematician Helmut Grunsky, is a result in complex analysis concerning holomorphic univalent functions defined on the unit disk in the complex numbers. The theorem states that a univalent function defined on the unit disc, fixing the point 0, maps every disk |z| < r onto a starlike domain for r ≤ tanh π/4. The radius of starlikeness of an univalent function f satisfying f(0) = 0 is the largest radius r for which the function f maps the open disk |z| < r into a starlike domain with respect to the origin.
Statement Let f be a univalent holomorphic function on the unit disc D such that f(0) = 0. Then for all r ≤ tanh π/4, the image of the disc |z| < r is starlike with respect to 0, i.e. it is closed under multiplication by real numbers in (0,1).
An inequality of Grunsky If f(z) is univalent on D with f(0) = 0, then
| log z f ′ ( z ) f ( z ) | ≤ log 1 + | z | 1 − | z | . {\displaystyle \left|\log {zf^{\prime }(z) \over f(z)}\right|\leq \log {1+|z| \over 1-|z|}.}
Taking the real and imaginary parts of the logarithm, this implies the two inequalities
| z f ′ ( z ) f ( z ) | ≤ 1 + | z | 1 − | z | {\displaystyle \left|{zf^{\prime }(z) \over f(z)}\right|\leq {1+|z| \over 1-|z|}}
and
| arg z f ′ ( z ) f ( z ) | ≤ log 1 + | z | 1 − | z | . {\displaystyle \left|\arg {zf^{\prime }(z) \over f(z)}\right|\leq \log {1+|z| \over 1-|z|}.}
For fixed z, both these equalities are attained by suitable Koebe functions
g w ( ζ ) = ζ ( 1 − w ¯ ζ ) 2 , {\displaystyle g_{w}(\zeta )={\zeta \over (1-{\overline {w}}\zeta )^{2}},}
where |w| = 1.
Proof Grunsky (1932) originally proved these inequalities based on extremal techniques of Ludwig Bieberbach. Subsequent proofs, outlined in Goluzin (1939), relied on the Loewner equation. More elementary proofs were subsequently given based on Goluzin's inequalities, an equivalent form of Grunsky's inequalities (1939) for the Grunsky matrix. For a univalent function g in z > 1 with an expansion
g ( z ) = z + b 1 z − 1 + b 2 z − 2 + ⋯ . {\displaystyle g(z)=z+b_{1}z^{-1}+b_{2}z^{-2}+\cdots .}
Goluzin's inequalities state that
… excerpt ends here. Continue reading the full article.
