Boundary properties of analytic functions
Properties of analytic functions that are displayed as the function approaches the boundary of its domain of definition.
It can be said that the study of boundary properties of analytic functions, understood in the widest sense of the word, began with the Sokhotskii theorem and the Picard theorem about the behaviour of analytic functions in a neighbourhood of isolated essential singular points (cf. Essential singular point), which were obtained in the second half of the 19th century. The terms relevant to this approach to the study of boundary properties of analytic functions — which is now called the theory of prime ends and cluster sets (cf. Limit elements) — first appeared in a course given by P. Painlevé in 1895. The dissertation of P. Fatou (1906) is the first systematic study of certain boundary properties of analytic functions in a neighbourhood of the continuous boundary of their domain of definition. The theory of boundary properties made considerable advances in the first third of the 20th century, owing to the work of several scientists; it resumed its rapid advance in the second half of that century, accompanied by the appearance of new ideas and methods, novel directions and objects of study. Its development is closely connected with various fields of mathematical analysis and mathematics in general, first and foremost with probability theory, the theory of harmonic functions, the theory of conformal mapping, boundary value problems of analytic function theory, potential theory, value-distribution theory, Riemann surfaces, subharmonic functions and function algebras. The theory of boundary properties of analytic functions is closely connected with various fields of application of mathematics by way of boundary value problems.
Since the study of boundary properties is connected, in the first place, with the geometry of the boundary of the domain of definition of an analytic function in one complex variable , three main approaches can be distinguished in the theory of boundary properties of analytic functions.
a) The study of the behaviour of in a neighbourhood of an isolated boundary point . The most important case is that of an essential singular point , which is dealt with in the theorems of Sokhotskii, Picard, Julia, and Iversen (cf. Sokhotskii theorem; Picard theorem; Julia theorem; Iversen theorem).
b) The study of the behaviour of in the case when the boundary is an everywhere-discontinuous set. V.V. Golubev's dissertation Single-valued analytic functions with a perfect set of singular points (1916, cf. ) was of great importance in this connection.
c) The study of the behaviour of when the domain is bounded by a continuous closed curve and, in particular, by the unit circle.
Cases a) and c) are, in a sense, extreme cases, while case b) is intermediate. Case c), which is discussed below, has been the subject of most intense study.
Let an analytic function be defined in a finite simply-connected domain of the complex -plane bounded by a rectifiable Jordan curve . The following problems are fundamental in the classical approach to the study of boundary properties of analytic functions.
1) The problem of the existence of boundary values, i.e. the question under which conditions and in which sense the boundary values of exist as the point approaches . This problem, as well as the succeeding ones, can be formulated in a different manner as the problem of identifying sufficiently extensive classes of analytic functions in that have, in some sense, boundary values for sufficiently large sets of points on .
2) The problem of boundary representation of , i.e. the problem under which conditions and with what kind of analytic apparatus the dependence of on its boundary values on can be expressed. Clearly, this apparatus will be different for different classes of analytic functions.
3) The uniqueness problem, or the problem of the properties that a set should have such that two analytic functions of a given class coincide in if their boundary values on are identical.
The first result in the solution of the existence problem is the theorem of Fatou (1906): If an analytic function is bounded in the unit disc , , then radial boundary, or limit, values exist almost everywhere with respect to the Lebesgue measure on the unit circle . It can be shown that, under these conditions, not only radial, but also angular boundary values, or boundary values along all non-tangential paths, exist almost everywhere on . This means that, for almost-all points , tends to a definite limit as tends to the point while remaining within an arbitrary fixed angle
, of width , with apex at the point , bisected by the radius drawn through the point . Fatou's theorem cannot, in a certain sense, be improved upon; it was in fact shown by N.N. Luzin (1919) that for any set of measure zero on there exists a bounded analytic function not having radial limits on .
The class of bounded analytic functions in a domain is denoted by or . Following the results of Fatou, the next problem appeared to be the generalization of his theorems to wider classes of functions. One distinguishes between the following basic classes of functions in the unit disc , which are related by proper inclusions:
The class is the class of single-valued analytic functions in that are continuous in the closed domain .
The classes , for all positive numbers , are defined by the condition
The proper inclusions are valid for any . The classes were first introduced by G.H. Hardy (1915), and are often named Hardy classes. If , one can introduce the norm (2) on , and the norm
on ; the classes , , have a natural structure of a vector space, and become Banach Hardy spaces. If , it is only possible to introduce the metric on , which converts the latter into a complete metric non-normable space. The class of bounded analytic functions is contained in any class , .
The class of certain meromorphic functions in the unit disc is said to be the class of functions of bounded characteristic; it was introduced in 1924 by R. Nevanlinna. The class can be characterized as the set of meromorphic functions in that can be represented as the ratio of two bounded regular functions and in , .
All regular functions form a subclass , and if and only if the condition
where if and if , is fulfilled. The class contains all classes , .
The classes have the following generalization. Let be a strictly-convex function for , i.e. a non-negative, convex, non-decreasing function such that as . The class is then defined by the condition
compare with condition (2), where .
The principal result obtained for the problem of the existence of boundary values in the case of the unit disc states that each meromorphic function of bounded characteristic in has angular boundary values almost everywhere on ; these boundary values are such that the function is Lebesgue integrable on . The following additional property is displayed by the classes , , or : The function or, correspondingly, is Lebesgue integrable on . For bounded functions , , one has instead of the above, , . Thus, condition (3) is the widest sufficient condition on the average increase of an analytic function , as , that ensures the existence of angular boundary values almost everywhere on .
It has been shown that condition (3) cannot be substantially weakened. Thus, it was shown by A. Zygmund that for an arbitrary increasing function , as , there exists an analytic function in such that
but which has no boundary values anywhere on . Even if the maximum grows as slowly as one pleases, there still exist analytic functions without radial boundary values.
The boundary representation of functions of class , characterizing the functions of this class, has the form
where is an integer, if the point is a zero of multiplicity and if is a pole of multiplicity ; is a real number;
is the Blaschke product taken over all the zeros of inside taking into account their multiplicity; is the Blaschke product of type (5) taken over all poles of in ; and is a singular function of bounded variation on with a derivative that vanishes almost everywhere. In (4), the last integral is of Lebesgue–Stieltjes type, while the first is of Lebesgue type.
It was shown by M.M. Dzhrbashyan  that the theory of meromorphic functions of bounded characteristic can be considerably extended. It is possible, in fact, to introduce a family of classes of meromorphic functions depending on a continuous parameter , , and the classes are characterized by representations yielding (4) when . As increases, the classes become larger, and becomes identical with Nevanlinna's class .
For analytic functions in the representation (4) one must put . For the functions , , or , in the representation (4) one has , and is a non-increasing function of the indicated type. See also Cauchy integral.
The first results in the uniqueness problem were obtained in 1916 by the brothers F. and M. Riesz: If a function has radial boundary values on a set of positive Lebesgue measure on , then in . The representation (4) makes it possible to extend this theorem to meromorphic functions of bounded characteristic (cf. Function of bounded form). N.N. Luzin (1919) constructed, for any set of measure zero, an analytic function such that everywhere on as in an arbitrary manner, but is not identically equal to zero. The deepest and most general boundary uniqueness theorems for meromorphic functions of general form were obtained in 1925 by Luzin and I.I. Privalov (cf. Uniqueness properties of analytic functions; Luzin–Privalov theorems).
Consider the case of an arbitrary plane domain ; for the sake of brevity, only simply-connected domains with a rectifiable boundary will be discussed. The conditions (2), (3) and (2prm) are equivalent to stipulating that the subharmonic functions , and , respectively, have a harmonic majorant in . In such a form these conditions are fully suitable, and furnish a natural definition of the classes , and in arbitrary domains. It is known that a rectifiable curve has a definite tangent and normal at almost all of its points. The inclusions (1) remain valid, as does Fatou's theorem on the almost-everywhere existence on of angular boundary values for the class . Here, as the bisectrix of the angular domains the normal to at the point is taken. The Riesz uniqueness theorem for the class is also applicable.
V.I. Smirnov also introduced the frequently employed classes , , for the case of an arbitrary domain . These classes have the following definition: if there exist a sequence of contours , , such that
The classes are especially convenient in the study of problems of representation of functions in the form of a Cauchy integral.
Of major interest is the study of the boundary properties of analytic functions realizing a conformal mapping. Let a function realize a conformal mapping of the unit disc onto a domain of the -plane with a rectifiable boundary . It has been shown, for example, that in such a case the derivative belongs to the Hardy class in the disc , so that it is representable in the form (4) with and a non-increasing singular function . Smirnov pointed out the importance of the class of such domains for which this singular function . In 1937 M.V. Keldysh and M.A. Lavrent'ev constructed an example of a domain with a rectifiable boundary that is not included in the Smirnov classes just mentioned; this renders the characterization of domains of Smirnov type even more important.
Numerous workers also attempt to study boundary properties of analytic functions in several variables . Let be the unit polydisc, and let be its skeleton. The class of analytic functions in is defined by the condition
which is analogous to (3), while the classes or by the condition of the type ( for the case , ):
where is the normalized Haar measure on , . Inclusions of the type are preserved. Analytic functions have "radial" boundary values , , almost everywhere on with respect to the Haar measure ; and is summable on with respect to . Sufficiently simple and general characteristics for boundary representations and uniqueness properties of functions in for have not yet (1986) been found.
Many boundary properties may be applied to various generalizations of analytic functions, in particular to abstract analytic functions , which have values in, say, a separable locally convex topological space over the field .
|||V.V. Golubev, "Univalent analytic functions. Automorphic functions" , Moscow (1961) (In Russian)|
|||G.M. Goluzin, "Geometric theory of functions of a complex variable" , Transl. Math. Monogr. , 26 , Amer. Math. Soc. (1969) (Translated from Russian)|
|||I.I. [I.I. Privalov] Priwalow, "Randeigenschaften analytischer Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian)|
|||S.Ya. Khavinson, "Analytic functions of bounded type" Itogi Nauk. Mat. Anal. 1963 (1965) pp. 5–80 (In Russian)|
|||R. Nevanilinna, "Analytic functions" , Springer (1970) (Translated from German)|
|||K. Noshiro, "Cluster sets" , Springer (1960)|
|||E.F. Collingwood, A.J. Lohwater, "The theory of cluster sets" , Cambridge Univ. Press (1966) pp. Chapt. 9|
|||G.R. MacLane, "Asymptotic values of holomorphic functions" , Rice Univ. Studies, Math. Monographs , 49 : 1 , Rice Univ. , Houston (1963)|
|||A. Lohwater, "The boundary behaviour of analytic functions" Itogi Nauk. Mat. Anal. , 10 (1973) pp. 99–259 (In Russian)|
|||M.M. Dzhrbashyan, "Integral transforms and representation of functions in the complex domain" , Moscow (1966) (In Russian)|
|||W. Rudin, "Function theory in polydiscs" , Benjamin (1969)|
|||G.M. Khenkin, E.M. Chirka, "Boundary properties of holomorphic functions of several complex variables" J. Soviet Math. , 5 : 5 (1971) pp. 612–687 Itogi Nauk. i Tekhn. Sovrem. Probl. Mat. , 4 (1975) pp. 13–142|
Sokhotskii's theorem is better known as the Casorati–Weierstrass theorem. In (4) the first integral on the right-hand side is called the outer factor, while the other factors on the right-hand side form together the inner factor; the latter has absolute boundary values 1 almost-everywhere. If the outer factor in (4) equals 1, is called an inner function. Recent general references are [a2], [a3].
For smooth domains in , , there is a strong version of Fatou's theorem for and : Boundary values exist almost-everywhere (or even better than almost-everywhere) if the boundary is approached over admissible approach regions, see [a5], [a7]. In contrast with the one-dimensional case, zero sets of -functions can be essentially different for different values of , see , [a5]. A characterization of zero sets of functions of Nevanlinna class on smooth strongly pseudo-convex domains was obtained by G.M. Khenkin and, independently, by H. Skoda, see [a5]. A.B. Aleksandrov and E. Løw proved independently the existence of non-constant inner functions for the unit-ball in , see [a1], [a4]. In an other direction, -spaces have been introduced for the upper half-space in , [a6].
|[a1]||A.B. Aleksandrov, "The existence of inner functions in the ball" Math. USSR Sb. , 46 (1983) pp. 143–159|
|[a2]||J.-B. Garnett, "Bounded analytic functions" , Acad. Press (1981)|
|[a3]||P. Koosis, "Introduction to -spaces. With an appendix on Wolff's proof of the corona theorem" , Cambridge Univ. Press (1980)|
|[a4]||E. Løw, "A construction of inner functions on the unit ball in " Invent. Math. , 67 (1982) pp. 223–229|
|[a5]||W. Rudin, "Function theory in the unit ball in " , Springer (1980)|
|[a6]||E.M. Stein, "Singular integrals and differentiability properties of functions" , Princeton Univ. Press (1970) pp. Chapt. 7|
|[a7]||E.M. Stein, "Boundary behavior of holomorphic functions of several complex variables" , Princeton Univ. Press (1972)|
Boundary properties of analytic functions. E.D. Solomentsev (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Boundary_properties_of_analytic_functions&oldid=14985