Multivalent function

A notion which is a natural generalization of that of a univalent function. A regular or meromorphic function in a domain of the complex -plane is called -valent in () if in this domain it takes each of its values at most times, that is, if the number of roots of the equation in , for any , does not exceed . Geometrically this means that above each point of the -plane lie at most points of the Riemann surface into which maps . For , is univalent in .

Alongside this most simple class of -valent functions, a major role in the theory of multivalent functions is played by functions which are -valent in a certain generalized sense: "p-valent in the mean" . Let be a regular or meromorphic function in a domain of the -plane, let be the number of roots in of the equation and let be a positive number. The function is called -valent in the mean over circles in if for all :

Geometrically this means that the linear measure of the arc on the Riemann surface to which maps and projecting to the circle does not exceed times the length of this circle. A function is called -valent in the mean over areas in if

for all . Geometrically this means that the area of a part of the Riemann surface to which maps and projecting to a disc does not exceed times the area of this disc. From these definitions it follows that a function which is -valent in some domain is also -valent in the mean over circles in it, and a function which is -valent in the mean over circles is -valent in the mean over areas. A function which is -valent in the mean may turn out to be infinitely-valent.

Multivalent functions, like univalent ones, have been studied in various ways: from the point of view of distortion characteristics of the domain under the mappings by these functions, from estimates on the coefficients of series of representing these functions, etc. They have many extremal properties, similar to the extremal properties of univalent functions. For example, there are the following generalizations to the case of -valent functions of two classical results in the theory of univalent functions: the area principle and estimates for the second coefficient (see Bieberbach conjecture).

If a function

(1)

is -valent and regular in the domain , except for a pole at , then

(2)

If a function

(3)

is regular and -valent in the disc , then

(4)

Inequalities (2) and (4) are best possible. These two results are related to the earliest fundamental results in the theory of -valent functions. Inequality (2) has also been proved for functions of the form (1) that are -valent in the mean over areas in , and (4) has been proved for functions of the form (3) that are -valent in the mean over areas in .

Research into the class of -valent functions was significantly advanced by the possibility of considering it as a subclass of the functions that are -valent in the mean. Precise analogues of the basic distortion and covering theorems for univalent functions have also been obtained for -valent functions (see Distortion theorems; Covering theorems). Namely: For a function of the form (3) that is -valent in the mean over circles in the disc , one has the sharp estimates:

the function takes, in , each value with exactly times (a direct analogue of the Koebe covering theorem, cf. Koebe theorem). This latter property also holds for functions of the form (3) that are -valent in the mean over areas in . For functions that are -valent in the mean over circles there are a number of best possible results characterizing the growth of their coefficients. Thus, for functions of the form

(5)

that are -valent in the mean over circles in , , the limit

exists and is, moreover, finite, and

for . Whenever an estimate for is obtained, a corresponding sharp estimate for the asymptotic growth of the coefficients follows. In particular, if has the form (3), then the latter equality takes the form

where , except for the case when ( real). Furthermore, for functions of the form (3) that are -valent in the mean over circles in , one has the sharp estimate

while for the subclass of -valent functions of this form there is a sharp estimate for the following coefficient:

The two latter inequalities are, for multivalent functions, the analogues of the estimates and , known for univalent functions (see Bieberbach conjecture). Since the extremal functions in the above turn out to be -valent functions, all of these results are best possible even in the class of -valent functions.

For functions of the form (5) that are -valent in the mean over areas in the disc , the following estimates for their coefficients are known to hold for all :

(6)

(7)

(8)

(9)

as well as the estimate

(10)

here depends only on and . The order of the quantities in (6), (9) and (10) is best possible.

There is also the following analogue for multivalent functions of a theorem known for univalent meromorphic functions: In the class of all functions

that are -valent and regular in , except for a pole at , and have at a fixed point of this domain the expansion

the range of values of the functional

is the disc

Apart from the above-mentioned fundamental classes of multivalent functions, a significant place in the investigations is held by special classes of multivalent functions, for example, functions which are typically real of order , -valent star-like, -valent convex, -valent close-to-convex, -valent bounded, and others, which are generalizations of, respectively, typically-real, star-like, convex, close-to-convex, bounded univalent, and other functions (cf. Typically-real function; Star-like function; Convex function (of a complex variable)). A function

(11)

is called typically real of order in if it is regular, has real coefficients and if there is a number , , such that for each in the interval the imaginary part changes its sign on the circle exactly times. Here may be more than -valent in . For its coefficients one has the sharp estimates:

(12)

One of the analogues of the Bieberbach conjecture for functions of the form (11) that are regular and -valent in is Goodman's conjecture on the validity of (12) for the coefficients . In particular, Goodman's conjecture holds for -valent typically-real functions of order in . It has also been proved to hold for a class of -valent functions which is a generalization of the class of univalent functions that are convex in the direction of the imaginary axis. Another analogue of the Bieberbach conjecture for -valent functions is the following conjecture of Goodman. Let a function

be regular and -valent, in , and let it have zeros in , . The conjecture is that , , where is the -th coefficient in the expansion

For typically-real functions of order in this inequality has been proved.

The classes of -valent star-like and -valent convex functions, and respectively, are defined as follows. A function belongs to , if it is regular in , if and if there is a number , , such that

for . A function belongs to , if it is regular in , if and if there is a such that

for . A number of sharp estimates has been obtained for functions of these two classes.

The classes and turn out to be subclasses of a wider class of -valent functions: the class of -valent close-to-convex functions. A function

that is regular in is called -valent close-to-convex if it satisfies one of the following conditions:

A) there is a function and a number , , such that

(13)

B) is regular on and there is a function , also regular on , such that (13) is satisfied on .

For functions of this class sharp upper and lower bounds for have been found and (12) has been proved: for for all functions of this class, and for for the functions in this class with real coefficients. Sharp estimates generalizing certain results for bounded univalent functions have been obtained for bounded functions that are -valent in the corresponding generalized sense. Thus, the radius of -valency has been found in the class of functions regular and bounded in a disc: If is regular and bounded in modulus by one in the disc and normalized by the conditions , , , then the radius of the largest disc in which it is -valent is given by the equation

This theorem generalizes, to the case , Landau's theorem on the radius of univalency of functions that are regular and bounded in the disc .

Various sufficient conditions are known for a function that is regular in a domain to be -valent in it. For example, if is regular in a convex domain and if there are a real number and an integer , , such that

then is -valent in .

Multivalent functions have also been studied in multiply-connected domains. In this case many estimates can be expressed in terms of functions mapping the given multiply-connected domain into a canonical Riemann surface, and in terms of the Bergman kernel function. The first basic result related to the question of the existence of conformal mappings of a multiply-connected domain onto a multi-sheeted canonical surface is the following theorem of Grunsky: Let be a finitely-connected domain in the -plane with as an interior point and with boundary components which are not points, and let be a given polynomial of degree ; then for any given , , there is a unique function , regular in except for a pole at , whose principal part at (including the free term) coincides with and which associates with each boundary component of a rectilinear segment of slope with the real axis. In other words, the function maps into the whole -sheeted -plane with parallel slits of slope . The existence of conformal mappings of a given finitely-connected domain onto other canonical multi-sheeted surfaces has also been proved; extremal properties similar to certain extremal properties of univalent functions have been established for multivalent functions. It has been shown that the most general class of multivalent functions, meromorphic in a finitely-connected domain, for which the area theorem holds has a simple geometric characterization.

The basic methods of research of multivalent functions are the method of boundary integration, the symmetrization method and the method of quadratic differentials (cf. Quadratic differential).

Variational methods in the theory of multivalent functions are less effective than in the theory of univalent functions.

References

[1]	G.M. Goluzin, "On -valent functions" Mat. Sb. , 8 : 2 (1940) pp. 277–283 (In Russian) (German abstract)
[2]	W.K. Hayman, "Multivalent functions" , Cambridge Univ. Press (1958)
[3]	J.A. Jenkins, "Univalent functions and conformal mapping" , Springer (1958)
[4]	K. Pethe, "Estimation du coefficient de la fonction -valente dans le cercle unité" Bull. Acad. Polon. Sci. , 20 : 3 (1972) pp. 219–220 (Russian and English abstracts)
[5]	A.E. Livingston, "-valent close-to-convex functions" Trans. Amer. Math. Soc. , 115 : 3 (1965) pp. 161–179
[6]	R.J. Leach, "Coefficient estimates for certain multivalent functions" Pacific J. Math. , 74 : 1 (1978) pp. 133–142
[7a]	J. Krzyz, "On the derivative of bounded -valent functions" Ann. Univ. Mariae Curie-Sklodowska Sect. A , 12 : 2 (1958) pp. 23–28 (Russian and Polish abstracts)
[7b]	J. Krzyz, "Distortion theorems for bounded -valent functions" Ann. Univ. Mariae Curie-Sklodowska Sect. A , 12 : 3 (1958) pp. 29–38 (English and Polish abstracts)
[8]	S. Ozaki, Sci. Rep. Tokyo Bunrika Daigaku A , 2 : 40 (1935) pp. 167–188
[9]	Yu.E. Alenitsyn, "Area theorems for functions analytic in a finitely connected domain" Math. USSR Izv. , 7 : 5 (1973) pp. 1129–1151 Izv. Akad. Nauk SSSR Ser. Mat. , 37 : 5 (1973) pp. 1132–1154
[10]	S.K. Singh, Math. Student , 30 : 1–2 (1973) pp. 79–90
[11]	A.W. Goodman, "Open problems on univalent and multivalent functions" Bull. Amer. Math. Soc. , 74 : 6 (1968) pp. 1035–1050