Namespaces
Variants
Actions

Univalent function

From Encyclopedia of Mathematics
Revision as of 08:27, 6 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
Jump to: navigation, search


A regular or meromorphic function $ f $ in a domain $ B $ of the extended complex plane $ \overline{\mathbf C}\; $ such that $ f ( z _ {1} ) \neq f ( z _ {2} ) $ whenever $ z _ {1} \neq z _ {2} $, $ z _ {1} , z _ {2} \in B $, that is, $ f $ is a one-to-one mapping from $ B $ into $ \overline{\mathbf C}\; $. The inverse function $ z = f ^ { - 1 } ( w) $ is then also univalent. Multivalent functions (cf. Multivalent function), and in particular $ p $- valent functions, are a generalization of univalent functions.

In the study of univalent functions one of the fundamental problems is whether there exists a univalent mapping from a given domain $ B $ onto a given domain $ B ^ \prime $. A necessary condition for the existence of such a mapping is that $ B $ and $ B ^ \prime $ have equal degrees of connectivity (see, for example, [1]). If $ B $ and $ B ^ \prime $ are simply-connected domains whose boundaries contain more than one point, then this condition is also sufficient (see Riemann theorem), and the problem reduces to mapping a given domain onto a disc. In this connection, a special role is played in the theory of univalent functions on simply-connected domains by the class $ S $ of functions $ f $ that are regular and univalent on the disc $ \Delta = \{ {z \in \mathbf C } : {| z | < 1 } \} $, normalized by the conditions $ f ( 0) = 0 $, $ f ^ { \prime } ( 0) = 1 $, and having the expansion

$$ \tag{1 } f ( z) = z + c _ {2} z ^ {2} + \dots + c _ {n} z ^ {n} + \dots ,\ \ z \in \Delta . $$

In the case of multiply-connected domains, mappings of a given multiply-connected domain onto so-called canonical domains are studied (see Conformal mapping). Let $ \Sigma ( B) $ be the class of functions $ F $ that are meromorphic and univalent on a domain $ B $ containing the point $ \infty $, and having an expansion

$$ \tag{2 } F ( z) = z + \alpha _ {0} + \alpha _ {1} z ^ {-} 1 + \dots + \alpha _ {n} z ^ {-} n + \dots $$

in a neighbourhood of $ \infty $. If $ B = \{ {z \in \overline{\mathbf C}\; } : {| z | > 1 } \} = \Delta ^ \prime $, then this class is denoted by $ \Sigma $.

The basic problems in the theory of univalent functions are the following: 1) the study of the correspondence of boundaries under conformal mapping (see Boundary correspondence (under conformal mapping); Limit elements; Attainable boundary point); 2) obtaining univalency conditions; and 3) the solution of various extremal problems in function theory, in particular obtaining bounds for various functionals and for the range of values of functionals (see below) and systems of them in some class or other.

Suppose that $ K $ is some class (set) of regular or meromorphic functions, and suppose that a complex functional $ w = \phi ( f ) $( or system of functionals $ \{ \phi _ {k} ( f ) \} _ {k=} 1 ^ {n} $) is given on $ K $. The range of values of the functional $ \phi ( f ) $( or of the system of functionals $ \{ \phi _ {k} ( f ) \} _ {k=} 1 ^ {n} $) on the class $ K $ is the set $ D $ of points $ w = \phi ( f ) $ in $ \mathbf C $( respectively, the set in points $ ( \phi _ {1} ( f ) \dots \phi _ {n} ( f )) $ in $ n $- dimensional complex space $ \mathbf C ^ {n} $) such that $ f \in K $. Real-valued functionals are also considered. Any set $ D ^ \prime $ containing $ D $ is called a majorant domain of the functional (or of the system of functionals). Knowledge of the range of values of a functional enables one to reduce the solution of a number of extremal problems to simple problems in analysis. For example, if the range of values $ D $ is known for the functional $ f ( z _ {0} ) $, $ f \in K $( $ z _ {0} $ fixed), then the problem of finding upper and lower bounds for $ | f ( z _ {0} ) | $ reduces to finding the points of $ D $ farthest from and closest to the point $ w = 0 $.

The first substantial results in the theory of univalent functions were obtained using the area principle. With the aid of the outer area theorem (1916), L. Bieberbach obtained precise upper and lower bounds for $ | f ( z) | $ and $ | f ^ { \prime } ( z) | $ for $ f \in S $( see Distortion theorems), gave the bound $ | c _ {2} | \leq 2 $ for $ f \in S $ and conjectured that $ | c _ {n} | \leq n $ for $ f \in S $( see Bieberbach conjecture; Coefficient problem). He also found the exact value of the Koebe constant. Bounds were found for the modulus of a function and its derivative, as well as other bounds for the classes of convex, star-like, typically-real, etc., functions (cf. Convex function (of a complex variable); Star-like function; Typically-real function). The convexity radius and the radius of "star-likeness" were found for a number of classes (see Limit of star-likeness).

The basic methods of the theory of univalent functions and some of the results obtained from them are given below.

1. The method of integral representations.

This method enables one to solve many problems in the theory of functions quite simply, in particular extremal problems in classes of functions that can be represented by means of Stieltjes integrals: convex functions, close-to-convex functions, star-like functions, typically-real functions, and functions with positive real part (see Carathéodory class). A variational method (see [1]) was developed for classes of functions representable by Stieltjes integrals, by means of which a number of extremal problems have been solved. The method of internal variations (cf. Internal variations, method of) was developed for such classes.

The convex hulls of certain subclasses of $ S $ have been found (see [3]). In particular, it has been proved that for every star-like function $ f $ there exists a non-decreasing function $ \mu $ on $ [ 0 , 2 \pi ] $ such that $ \mu ( 2 \pi ) - \mu ( 0) = 1 $ and

$$ f ( z) = \ \int\limits _ { 0 } ^ { {2 } \pi } \frac{z}{( 1 - e ^ {i \theta } z ) ^ {2} } d \mu ( \theta ) . $$

See also Integral representation of an analytic function; Parametric representation of univalent functions; Parametric representation method.

2. The method of boundary integration.

With the aid of this method it has been proved, in particular, that an $ f \in S $ satisfies the inequality (see [1])

$$ \left | \frac{z}{f(} z) + c _ {2} z + 1 - | z | ^ {2} - 2 \frac{\mathbf E ( | z | ) }{\mathbf K ( | z | ) } \right | \leq $$

$$ \leq \ 2 \left ( 1 - \frac{\mathbf E ( | z | ) }{ \mathbf K ( | z | ) } \right ) ,\ | z | < 1 , $$

where $ \mathbf E $ and $ \mathbf K $ are complete elliptic integrals (cf. Elliptic integral). If $ z $ is fixed $ ( 0 < | z | < 1 ) $, then this inequality determines the range of values of the functional $ c _ {2} z + z / f ( z) $ on the class $ S $. Stronger versions of the distortion theorems were obtained, and theorems were proved on the distortion of chords in the classes $ \Sigma $ and $ \Sigma ( B) $( see Distortion theorems and [1]).

See also Method of boundary integration; Area principle.

3. The area method.

Let $ \mathfrak M ( a _ {1} \dots a _ {n} ) $ be the class of systems of functions $ \{ f _ {k} ( x) \} _ {k=} 1 ^ {n} $ mapping the disc $ \Delta = \{ | z | < 1 \} $ conformally and univalently onto pairwise disjoint (non-overlapping) domains $ B _ {k} \ni a _ {k} $ and normalized by the conditions $ f _ {k} ( 0) = a _ {k} $. The following results have been obtained by means of the area theorem in the class $ \mathfrak M ( \infty , a _ {1} \dots a _ {n} ) $:

1) If

$$ \{ f _ {k} \} _ {k=} 1 ^ {n} \in \mathfrak M ( a _ {1} \dots a _ {n} ) ,\ a _ {k} \neq \infty , $$

then

$$ \tag{3 } \prod _ { k= } 1 ^ { n } | f _ {k} ^ { \prime } ( 0) | ^ {| \gamma _ {k} | ^ {2} } \leq \ \prod _ {1 \leq k < l \leq n } | a _ {k} - a _ {l} | ^ {- 2 \mathop{\rm Re} ( \gamma _ {k} , \overline \gamma \; _ {l} ) } , $$

$$ \sum _ { k= } 1 ^ { n } \gamma _ {k} = 0 ; $$

this inequality generalizes an inequality previously known for real $ \gamma _ {k} $ to the class of complex $ \gamma _ {k} $.

2) If $ \{ f _ {0} , f _ {1} \} \in \mathfrak M ( 0 , \infty ) $, then

$$ \tag{4 } \frac{1}{2 \pi } \int\limits _ { 0 } ^ { {2 } \pi } | f _ {0} ( e ^ {it} ) | ^ {2} d t \cdot \ \frac{1}{2 \pi } \int\limits _ { 0 } ^ { {2 } \pi } | f _ {1} ( e ^ {it} ) | ^ {-} 2 d t \leq 1 . $$

For the Bieberbach–Eilenberg functions

$$ f ( z) = \sum _ { k= } 1 ^ \infty a _ {k} z ^ {k} $$

there follows the inequality

$$ \tag{4'} \sum _ { k= } 1 ^ \infty | a _ {k} | ^ {2} = \ \frac{1}{2 \pi } \int\limits _ { 0 } ^ { {2 } \pi } | f ( e ^ {it} ) | ^ {2} d t \leq 1 ; $$

and conditions have been determined for equality to hold in (4) and (4'}).

Using the area theorem for non-overlapping domains, bounds have been obtained for the approximation to a regular function on a closed multiply-connected domain by a rational function interpolating the given function at nodes uniformly distributed on the boundary of the domain (see [4]). The range of values of the Schwarzian

$$ \{ F ( z) , z \} = \ \left ( \frac{F ^ { \prime\prime } ( z) }{F ^ { \prime } ( z) } \right ) ^ \prime - \frac{1}{2} \left ( \frac{F ^ { \prime\prime } ( z) }{F ^ { \prime } ( z) } \right ) ^ {2} $$

has been obtained for $ F \in \Sigma ( B) $, and a number of other ranges of values have been found for classes of functions given on multiply-connected domains (see [4], [5]).

4. Löwner's method.

K. Löwner himself (1923) found the exact bound $ | c _ {3} | \leq 3 $ for functions $ f \in S $ and exact bounds for the coefficients of the expansion of the function inverse to $ f $, in a neighbourhood of the point $ w = 0 $. In particular, an exact form of the rotation theorem in the class $ S $ was obtained by this method (see Rotation theorems). The following theorem was proved: For $ f \in S $ and given $ z \in \Delta $ and $ | f ( z) | $, the following inequality is valid:

$$ \tag{5 } | f ^ { \prime } ( z) | \leq \frac{1}{1 - | z | ^ {2} } \left | \frac{f ( z) }{z} \right | ^ {2} ( 1 - x ^ {2} ) ^ {2} \left | \frac{x}{2} \right | ^ {4 x ^ {2} / ( 1 - x ^ {2} ) } , $$

where $ x $, $ | x | < | z | $, is determined by the condition

$$ \left | \frac{f ( x) }{z} \right | ( 1 + x ) ^ {2} \left | \frac{z}{x} \right | ^ {2 x / ( 1 + x ) } = 1 . $$

Inequality (5) is sharp; it implies the following sharp inequalities in the class $ S $( $ 0 \leq \theta < 2 \pi $, $ 0 \leq r < 1 $):

$$ \tag{6 } \left . \begin{array}{c} | f ( r e ^ {i \theta } ) | + | f ( - r e ^ {i \theta } ) | \leq \ \frac{r}{( 1 - r ) ^ {2} } + \frac{r}{( 1 + r ) ^ {2} } , \\ | f ^ { \prime } ( r e ^ {i \theta } ) | + | f ^ { \prime } ( - r e ^ {i \theta } ) | \leq \ 1+ \frac{r}{( 1 - r ) ^ {3} } + 1- \frac{r}{( 1 + r ) ^ {3} } . \end{array} \right \} $$

By means of distortion theorems it has been established that the Koebe function

$$ K _ \alpha ( z) = z ( 1 - e ^ {i \alpha } z ) ^ {-} 2 \in S $$

( $ \alpha $ real) realizes the maximum of the linear measure of covering the circle $ | w | = \rho $ by the image $ B ( r) $ of the disc $ \Delta _ {r} = \{ | z | < r < 1 \} $ under mappings by functions of class $ S $ when $ \rho > e ^ {\pi / e } r $. This property of functions of class $ S $ implies bounds for the area $ \sigma ( r) $ of the domain $ B ( r) $, bounds for the average modulus of a function, and other bounds in the class $ S $; these are asymptotically sharp as $ r \rightarrow 1 $( see [1]).

A convenient reduction of extremal problems on $ S $ and some of its subclasses to certain extremal problems on a simpler class has been proposed (see Carathéodory class). This turns out to be applicable to the solution of several extremal problems, in particular to finding the range of values of the system of functionals $ \{ \mathop{\rm ln} ( f ( z) / z), \mathop{\rm ln} f ^ { \prime } ( z) \} $( here $ z $, $ 0 < | z | < 1 $, is fixed) for $ f \in S $( see [6]).

Löwner's method has been successfully applied to investigate the properties of level curves and to solve extremal problems in the subclass $ S _ {M} $ of bounded functions $ f \in S $: $ | f ( z) | \leq M $, $ z \in \Delta $( see [6]).

See also Löwner equation; Löwner method; Parametric representation method.

5. Variational methods.

Boundary and internal variations in the solution of extremal problems lead to differential equations for the boundaries of the extremal domains and for extremal functions, respectively. As a rule, the left-hand side of these equations is a quadratic differential. Various qualitative characteristics of the functions realizing the extremum can be obtained by investigating the properties of the corresponding quadratic differentials. In particular, it turns out that for a large number of extremal problems in the class $ S $( and in other classes), the extremal function maps the disc $ \Delta $ onto the whole plane with a finite number of analytic slits. Sometimes the differential equation for the extremal function can be integrated, and one obtains the extremal quantity and all extremal functions in the problem considered. More often one only obtains one or a few equations for the extremal quantity. Some results obtained by variational methods are listed below.

Suppose that $ F \in \Sigma $, that $ w _ {k} $, $ k = 1 \dots n $, $ n \geq 2 $, do not belong to the image of the domain $ \Delta ^ \prime = \{ | z | > 1 \} $ under the mapping $ w = F ( z) $, and that

$$ d _ {n} ( F ) = \ \prod _ {1 \leq k < l \leq n } | w _ {k} - w _ {l} | . $$

It has been proved that

$$ d _ {3} ( F ) = \ | ( w _ {1} - w _ {2} ) ( w _ {2} - w _ {3} ) ( w _ {3} - w _ {1} ) | \leq 12 \sqrt 3 , $$

with equality only for

$$ F ( z) = z ( 1 + e ^ {i \alpha } z ^ {-} 3 ) ^ {2/3} , $$

where $ \alpha $ is real (see [1]).

It has been proved (see [1]) that the range of values of the functional

$$ w = \sum _ {\nu , \nu ^ \prime = 1 } ^ { n } \gamma _ \nu \gamma _ {\nu ^ \prime } \mathop{\rm ln} \ \frac{F ( \zeta _ \nu ) - F ( \zeta _ {\nu ^ \prime } ) }{\zeta _ \nu - \zeta _ {\nu ^ \prime } } $$

for $ F \in \Sigma $, where $ \gamma _ \nu $ are given numbers not all zero and $ \zeta _ \nu $ are given points in $ \Delta ^ \prime $, is the disc

$$ | w | \leq - \mathop{\rm Re} \ \sum _ {\nu , \nu ^ \prime = 1 } ^ { n } \gamma _ \nu \overline \gamma \; _ {\nu ^ \prime } \mathop{\rm ln} ( 1 - \zeta _ \nu ^ {-} 1 {\zeta _ {\nu ^ \prime } ^ {-} 1 } bar ) . $$

The problem has been investigated of extremizing $ | c _ {n} | $, $ n \geq 1 $, in the class $ S _ {a} $ of functions $ f ( z) = c _ {1} z + c _ {2} z ^ {2} + \dots $ that are regular and univalent in the disc $ \Delta $ and do not take on given values $ a _ {1} \dots a _ {n} $ in $ \Delta $( see [1]). The special case $ n = 1 $ is the problem of determining a continuum of least capacity (for a consideration of this problem and its generalizations see [7]).

Various problems for non-overlapping domains have been investigated by a variational method. Thus, the problem of maximizing the product

$$ I _ {n} = \ \prod _ { k= } 1 ^ { n } | f _ {k} ^ { \prime } ( 0) | $$

in the class $ \mathfrak M ( a _ {1} \dots a _ {n} ) $ has been considered (see [1]). A precise bound has been obtained for the product

$$ \prod _ { k= } 1 ^ { n } | f _ {k} ^ { \prime } ( 0) | ^ {\alpha _ {k} } , $$

where $ \alpha _ {k} $ are any given positive numbers, for $ n = 2 $ and 3 (see [1]). This problem is equivalent to the problem of finding the range $ D $ of the system of functionals $ ( | f _ {1} ( 0) | \dots | f _ {n} ( 0) | ) $ in the class $ \mathfrak M ( a _ {1} \dots a _ {n} ) $.

See also Variational principles (in complex function theory); Variation of a univalent function; Internal variations, method of; Boundary variation, method of; Variation-parametric method.

6. The method of the extremal metric.

In the solution of extremal problems by the method of the extremal metric, a fundamental role is played, as a rule, by the metric generated by a certain quadratic differential $ Q ( z) d z ^ {2} $. This is the same quadratic differential that arises in the solution of the problem by the variational method. As an example, two results obtained by this method are given below (see [1], [7][9]).

By means of the general coefficient theorem, J.A. Jenkins (1960) has solved the problem of the range of values of the functional $ f ( z) $ for fixed $ z $ in the disc $ \Delta = \{ | z | < 1 \} $ in the class $ S _ {r} $ of functions in $ S $ with real coefficients $ c _ {2} , c _ {3} ,\dots $. In the classes $ \Sigma $ and $ M $, where $ M $ is the class of functions $ f $, $ f ( 0) = 0 $, $ f ^ { \prime } ( 0) = 1 $, that are meromorphic and univalent in the disc $ \Delta $, he clarified the influence of the vanishing of a certain number of the initial coefficients on the growth of the subsequent ones.

A supplement to the general coefficient theorem has been given in the case when the differential $ Q ( z) d z ^ {2} $ has no poles of order higher than one; in addition, by means of the extremal-metric approach, very general theorems have been established on the covering of curves under a univalent conformal mapping of simply- and doubly-connected domains, including, in particular, a refinement of the result on covering of intervals for functions meromorphic and univalent on the disc, and an analogous result for a circular annulus (see [1]).

See also Grötzsch principle; Grötzsch theorems; Strip method (analytic functions); Quadratic differential; Bieberbach–Eilenberg functions; Extremal metric, method of the.

7. The method of symmetrization.

Several complicated extremal problems not lending themselves to solution by other methods have been solved by this method, often in conjunction with others. For example, the following problems are of this kind (see [1], [7][10]). For functions $ f $ in the class $ S $, a sharp upper bound has been found for the set of points of the circle $ | w | = R $, $ 1 / 4 \leq R < 1 $, not belonging to the image of the disc $ \Delta $ under the mapping $ w = f ( z) $. In conjunction with the method of the extremal metric, a sharp upper bound has been found for $ | f ( z) | $ for fixed $ | z | = r $, $ 0 < r < 1 $, for

$$ f ( z) = z + c _ {2} z ^ {2} + \dots \in S $$

with given $ c _ {2} = c = \textrm{ const } $, $ 0 \leq c \leq 2 $; the inequalities (6) have been generalized and extended to the class of functions that are $ p $- valent in the mean on the circle:

$$ f ( z) = z ^ {p} + c _ {p+} 1 z ^ {p+} 1 + \dots $$

(see Multivalent function).

By the method of symmetrization it has been proved that if $ \phi $ is a convex and non-decreasing function on $ ( - \infty , + \infty ) $, then for $ f \in S $ and $ 0 < r < 1 $,

$$ \int\limits _ {- \pi } ^ \pi \Phi ( \mathop{\rm ln} | f ( r e ^ {it} ) | ) d t \leq \int\limits _ {- \pi } ^ \pi \Phi ( \mathop{\rm ln} | K ( r e ^ {it} ) | ) d t , $$

where $ K ( z) = z ( 1 - z ) ^ {-} 2 $( see [11]). If equality holds for some $ r $, $ 0 < r < 1 $, and for some strictly convex function $ \phi $, then

$$ f ( z) = e ^ {i \alpha } K ( e ^ {i \alpha } z ) , $$

where $ \alpha $ is real.

See [12], [13] for applications of the method of symmetrization to multiply-connected domains. See also Symmetrization method.

References

[1] G.M. Goluzin, "Geometric theory of functions of a complex variable" , Transl. Math. Monogr. , 26 , Amer. Math. Soc. (1969) (Translated from Russian)
[2] N.A. Lebedev, I.A. Aleksandrov, "On the variational method in classes of functions representable by means of Stieltjes integrals" Proc. Steklov Inst. Math. , 94 (1969) pp. 91–104 Trudy Mat. Inst. Steklov. , 94 (1968) pp. 79–89
[3] L. Brickman, T.H. MacGregor, D.R. Wilken, "Convex hulls of some classical families of univalent functions" Trans. Amer. Math. Soc. , 156 (1971) pp. 91–107
[4] N.A. Lebedev, "The area principle in the theory of univalent functions" , Moscow (1975) (In Russian)
[5] I.M. Milin, "Univalent functions and orthonormal systems" , Transl. Math. Monogr. , 49 , Amer. Math. Soc. (1977) (Translated from Russian)
[6] I.A. Aleksandrov, "Parametric extensions in the theory of univalent functions" , Moscow (1976) (In Russian)
[7] G.V. Kuz'mina, "Moduli of families of curves and quadratic differentials" Proc. Steklov Inst. Math. , 139 (1982) Trudy Mat. Inst. Steklov. , 139 (1980) pp. 1–241
[8] J.A. Jenkins, "Univalent functions and conformal mappings" , Springer (1958)
[9] C. Pommerenke, "Univalent functions" , Vandenhoeck & Ruprecht (1975)
[10] W.K. Hayman, "Multivalent functions" , Cambridge Univ. Press (1958)
[11] A. Baernstein, "Integral means, univalent functions and circular symmetrization" Acta Math. , 133 (1974) pp. 139–169
[12] O.P. Mityuk, "The symmetrization principle for multiply-connected domains and certain of its applications" Ukrain. Mat. Zh. , 17 : 4 (1965) pp. 46–54 (In Russian)
[13] I.P. Mityuk, "The symmetrization principle for an annulus and certain of its applications" Sibirsk. Mat. Zh. , 6 : 6 (1965) pp. 1282–1291 (In Russian)

Comments

Instead of "univalent function" the phrase "Schlicht function" is sometimes used.

References

[a1] P.L. Duren, "Univalent functions" , Springer (1983) pp. Sect. 10.11
[a2] A.W. Goodman, "Univalent functions" , 1–2 , Mariner (1983)
How to Cite This Entry:
Univalent function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Univalent_function&oldid=49087
This article was adapted from an original article by N.A. Lebedev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article