Abstract
Full Text
MATHEMATICS
G. V. KORITSKII
ON THE CURVATURE OF LEVEL LINES UNDER UNIVALENT CONFORMAL MAPPINGS
(Presented by Academician M. A. Lavrent’ev, 12 III 1957)
The theorems set forth below are a continuation of results obtained earlier by the author ((^1)).
We study the curvature (K_\rho) of level lines (images of the circles
(|\zeta|=\rho=\mathrm{const},\ \zeta=\rho e^{i\varphi})) in the class (\Sigma) of functions
[
F(\zeta)=\zeta+a_0+\sum_{n=1}^{\infty}\frac{a_n}{\zeta^n},
]
univalent and regular in the domain (|\zeta|=\rho>1), except for the simple pole (\zeta=\infty), and also in the subclass (\Sigma_2) of the class (\Sigma), consisting of functions
[
F_2(\zeta)=\zeta+\sum_{n=1}^{\infty}\frac{a_n}{\zeta^{2n-1}},
]
and in the subclasses (\Sigma_p^*,\ p=1,2,\ldots,) consisting of functions
[
w=F_p^*(\zeta)=\zeta+\sum_{n=1}^{\infty}\frac{a_n}{\zeta^{np-1}},
]
which map the domain (\rho>1) onto domains with (p)-fold rotational symmetry and with complements star-shaped with respect to the point (w=0).
The results obtained constitute the following theorems.
Theorem 1. In the class (\Sigma) the following sharp estimate holds:
[
K_\rho \leqslant \frac{\rho(\rho^2+1)}{(\rho^2-1)^2}.
\tag{I}
]
Proof. It is known that
[
K_\rho=R\left{1+\frac{\zeta F''(\zeta)}{F'(\zeta)}\right}\frac{1}{|\zeta|\,|F'(\zeta)|}.
\tag{1}
]
From the estimate of G. M. Goluzin ((^2))
[
\left|
\frac{\zeta F''(\zeta)}{F'(\zeta)}
+\frac{4\rho^2-2}{\rho^2-1}
-\frac{4\rho^2}{\rho^2-1}\frac{E(1/\rho)}{K(1/\rho)}
\right|
\leqslant
\frac{4\rho^2}{\rho^2-1}
\left{
1-\frac{E(1/\rho)}{K(1/\rho)}
\right},
]
where
[
E\left(\frac{1}{\rho}\right)
=
\int_0^1
\sqrt{\frac{1-x^2/\rho^2}{1-x^2}}\,dx,
\qquad
K\left(\frac{1}{\rho}\right)
=
\int_0^1
\frac{dx}{\sqrt{(1-x^2)(1-x^2/\rho^2)}},
]
it follows that
[
R\left{\frac{\zeta F''(\zeta)}{F'(\zeta)}\right}
\leqslant
\frac{2}{\rho^2-1}.
\tag{2}
]
In addition, we have the well-known Löwner estimate ((^3))
[
1-\frac{1}{\rho^2}\leqslant |F'(\zeta)|.
\tag{3}
]
From (1), (2), and (3) we obtain (I).
The right-hand side of (I) is attained by the function (F(\zeta)=\zeta+\alpha_0+1/\zeta) at the point (\zeta=\rho).
Corollary. Since the function (F_2(\zeta)=\zeta+1/\zeta) is extremal in Theorem 1, the theorem obviously remains valid for the subclasses (\Sigma_2,\ \Sigma_1^,\ \Sigma_2^), to which this function belongs.
Theorem 2. In the subclasses (\Sigma_p^*,\ p=2,3,\ldots,) the sharp estimate holds
[
K_\rho \leq
\frac{\rho\,[\rho^{2p}+2(p-1)\rho^p+1]}
{(\rho^p-1)^2(\rho^p+1)^{2/p}} .
\tag{II}
]
Proof. From the known relation (F_p^(\zeta)=\sqrt[p]{F_1^(\zeta^p)}) we obtain
[
R\left{1+\frac{\zeta F_p^{''}(\zeta)}{F_p^{'}(\zeta)}\right}
=
pR\left{\frac{\zeta^p F_1^{''}(\zeta^p)}{F_1^{'}(\zeta^p)}\right}
-(p-1)R\left{\frac{\zeta^p F_1^{'}(\zeta^p)}{F_1^(\zeta^p)}\right}
+p.
\tag{4}
]
But from (2) it follows that
[
R\left{\frac{\zeta^p F_1^{''}(\zeta^p)}{F_1^{'}(\zeta^p)}\right}
\leq
\frac{2}{\rho^{2p}-1},
\tag{5}
]
and, since by virtue of the starlikeness of the complement of the image of the domain (\rho>1) we shall have
(R\left{\dfrac{\zeta F_1^{'}(\zeta)}{F_1^(\zeta)}\right}>0) and the function
(\Phi(z)=\dfrac{1}{z}\dfrac{F_1^{'}(1/z)}{F_1^(1/z)},\ z=\dfrac{1}{\zeta},)
is regular in the disk (|z|<1), we may use the known estimate for functions regular in the disk with positive real part(^4), from which we obtain
(R{\Phi(z)}\geq \dfrac{1-|z|}{1+|z|}=\dfrac{\rho-1}{\rho+1}), whence
[
\frac{\rho^p-1}{\rho^p+1}
\leq
R\left{\frac{\zeta^p F_1^{'}(\zeta^p)}{F_1^(\zeta^p)}\right}.
\tag{6}
]
Moreover, for functions of (\Sigma_p^*) we have the estimate of I. E. Bazilevich(^5)
[
\frac{(\rho^p-1)(\rho^p+1)^{2/p-1}}{\rho^2}
\leq
\left|F_p^{*'}(\zeta)\right|.
\tag{7}
]
From (1), (4), (5), (6), and (7) we obtain (II).
The right-hand side of (II) is attained by the function
[
F_p^*(\zeta)=\frac{(\zeta^p+1)^{2/p}}{\zeta}
]
at the point (\zeta=\rho).
Moscow Aviation Institute
named after Sergo Ordzhonikidze
Received
7 III 1957
REFERENCES
- G. V. Koritskii, Matem. sborn., 37 (79), 1, 103 (1955).
- G. M. Goluzin, Geometric Theory of Functions of a Complex Variable, 1952, p. 171.
- K. Löwner, Math. Zs., 3, 65 (1919).
- I. I. Privalov, Subharmonic Functions, 1937, p. 114.
- I. E. Bazilevich, Matem. sborn., 2 (44), 4, 689 (1937).