The theory of the distribution of values of meromorphic functions developed in the 1920's by R. Nevanlinna (see ). The basic problem is the study of the set of points in a domain at which a function takes a prescribed value (so-called -points), where .
The fundamental aspects of Nevanlinna theory can be illustrated by taking the case where is a transcendental meromorphic function on the open complex plane . Let denote the number of -points of (counted with multiplicities) lying in the disc . Further, for any , define
is called the Nevanlinna characteristic (or characteristic function) of . The function describes the average rate of convergence of to as , and the function describes the average density of the distribution of the -points of . The following theorem yields a geometric interpretation of the Nevanlinna characteristic . Let denote the part of the Riemann surface of corresponding to the disc , and let be the spherical area of the surface . Then
can be used to determine the order of growth of and its lower order of growth :
Nevanlinna's first main theorem. As ,
that is, up to a term that is bounded as , the left-hand side takes the constant value (whatever the value of ). In this sense, all values of the meromorphic function are equivalent. Of special interest is the behaviour of the function as . In value-distribution theory, use is made of the following quantitative measures of growth of the functions and relative to the growth of the characteristic :
The quantity is called the Nevanlinna defect of at and is called the Valiron defect of at . Let
is called the set of deficient values (cf. Defective value) of in the sense of Nevanlinna, and is called the set of deficient values of in the sense of Valiron. Nevanlinna's theorem on the magnitudes of the defects and on the set of deficient values of is as follows. For an arbitrary meromorphic function : a) the set is at most countable; and b) the defects of satisfy the relation
(the defect relation). The constant 2 figuring in (1) is the Euler characteristic of the extended complex plane , which is covered by the Riemann surface of .
The structure of the set .
Nevanlinna's assertion that the set is at most countable cannot be strengthened. In fact, given any finite or countable set of points in the extended complex plane and any value of , , there is a meromorphic function of order for which coincides with . For meromorphic functions whose lower order is zero, can contain at most one point. Thus, the question on the structure of is completely solved.
Moreover, it can be shown that for any there is an entire function of order for which the set is countable. Entire functions of lower order cannot have finite deficient values.
The structure of the set .
study of the set of Valiron deficient values is as yet (1992) incomplete. G. Valiron showed that there is an entire function of order one for which the set has the cardinality of the continuum. On the other hand, it can be shown that, for an arbitrary meromorphic function , the set always has zero logarithmic capacity.
For every set of class of zero logarithmic capacity there is an entire function of infinite order for which .
Properties of defects of meromorphic functions of finite lower order.
For meromorphic functions of infinite lower order, the defects do not, in general, satisfy any relations other than the defect relation (1). However, if one restricts to meromorphic functions of finite lower order, then the picture changes considerably. In fact, if has finite lower order , then for any , ,
where the constant depends only on and . On the other hand, there are meromorphic functions of finite lower order such that the series on the left-hand side of (2) diverges when . For a meromorphic function of lower order , the existence of a deficient value such that influences its asymptotic properties: such a function cannot have other deficient values.
The inverse problem of value-distribution theory.
In a somewhat simplified form it is possible to formulate the inverse problem of value-distribution theory in any class of meromorphic functions in the following way. Every point of a certain sequence in the extended complex plane is assigned a number , , in such a way that . It is required to find a meromorphic function such that , and for each , or to prove that contains no such function. The inverse problem has been completely solved in the affirmative in the class of entire functions of infinite lower order and in the class of meromorphic functions of infinite lower order. In the solution of the inverse problem in the class of meromorphic functions of finite lower order there arise specific difficulties, due to the fact that in this case the defects satisfy further relations (like (2)) in addition to (1).
The growth of meromorphic functions.
Given a meromorphic function , let
is called the deviation of from , and the set is called the set of positive deviations of ; . It is known that if is an entire function of finite order , then
Thus, there is the following result: If a meromorphic function has finite lower order , then a) is at most countable; b) for each ,
c) for any , ,
where the constant depends only on and ; and d) .
Moreover, there exist meromorphic functions of infinite lower order for which the set has the cardinality of the continuum. For any meromorphic function , the set (like ) has zero logarithmic capacity. The following theorem characterizes the differences between and : For any , , there is a meromorphic function of lower order such that for some ,
Exceptional values of meromorphic functions in the sense of Picard and Borel.
is called an exceptional value of a meromorphic function in the sense of Picard if the number of -points of in is finite. The value is called an exceptional value of in the sense of Borel if increases more slowly (in a certain sense) than as . A non-constant meromorphic function cannot have more than two Borel (and hence Picard) exceptional values.
The value-distribution theory of holomorphic mappings of complex manifolds is being successfully developed as a higher-dimensional analogue of Nevanlinna theory (see , ), as is the value-distribution theory of minimal surfaces (see , ).
The distribution of values of functions meromorphic in a disc.
The value-distribution theory of meromorphic functions in the open complex plane has been described above; this is the parabolic case. A theory of growth and value distribution can also be set up in the hyperbolic case, that is, when is a function meromorphic in the unit disc (see , ). In this case, the functions , , , and are defined for , just as in the parabolic case. The Nevanlinna and Valiron defects of at a point are thus defined as follows:
is called the deviation of with respect to .
Let , and .
The main properties of , and and of the structure of the sets , and in the parabolic case carry over to the hyperbolic case, but only for those functions for which increases rapidly (in a certain sense) as .
|||R. Nevanilinna, "Analytic functions" , Springer (1970) (Translated from German)|
|||W.K. Hayman, "Meromorphic functions" , Clarendon Press (1964)|
|||N.U. Arakelyan, "Entire functions of infinite order with an infinite set of deficient values" Soviet Math. Dokl. , 7 : 5 (1966) pp. 1303–1306 Dokl. Akad. Nauk SSSR , 170 : 5 (1966) pp. 999–1002|
|||A.A. Gol'dberg, I.V. Ostrovskii, "Value distribution of meromorphic functions" , Moscow (1970) (In Russian)|
|[5a]||V.I. Petrenko, "The study of the structure of the set of positive deviations of meromorphic functions" Math. USSR Izv. , 3 : 6 (1969) pp. 1251–1270 Izv. Akad. Nauk SSSR, Ser. Mat. , 33 : 6 (1969) pp. 1330–1348|
|[5b]||V.I. Petrenko, "A study of the structure of the set of positive deviations of meromorphic functions" Math. USSR Izv. , 4 : 1 (1970) pp. 31–57 Izv. Akad. Nauk SSSR, Ser. Mat. , 34 : 1 (1970) pp. 31–56|
|||P. Griffiths, J. King, "Nevanlinna theory and holomorphic mappings between algebraic varieties" Acta Math. , 130 (1975) pp. 145–220|
|||B.V. Shabat, "Introduction of complex analysis" , 2 , Moscow (1976) (In Russian)|
|||V.P. Petrenko, "The growth of meromorphic functions" , Khar'kov (1978) (In Russian)|
|||V.P. Petrenko, "On the growth and distribution of values of minimal surfaces" Dokl. Akad. Nauk SSSR , 255 : 1 (1981) pp. 40–42 (In Russian)|
|||E.F. Beckenbach, G.A. Hutchison, "Meromorphic minimal surfaces" Pacific J. Math. , 28 : 1 (1969) pp. 17–47|
The solution of the inverse problem of value-distribution theory (in a form sharper than that stated above) is due to D. Drasin [a1]; the inverse problem for entire functions had been solved previously by W.H.J. Fuchs and W.K. Hayman (cf. , Chapt. 4). To Drasin [a2] is also due the characterization of functions of finite lower order for which . That the sum in (2) is finite for was proved by A. Weitsman [a3]; earlier, Hayman had shown that this was true for . On the other hand, there are meromorphic functions of finite order for which the sum in (2) diverges for every . For entire functions the situation is different. Recently, J.L. Lewis and J.-M. Wu have shown [a4] that there exists an such that the sum in (2) converges for all whenever is an entire function of finite lower order. In fact, according to an old conjecture of N.U. Arakelyan, for such functions . This is perhaps the major open question concerning deficiencies.
Around 1986 P. Vojta [a6] found a remarkable analogy between the main theorems in value-distribution theory and theorems from Diophantine approximations. Let be an algebraic number field of degree and an infinite subset. Let be a finite set of (suitably normalized) valuations on including the infinite ones. The guiding principle of the analogy is that the set of from Nevanlinna theory is replaced by , the angles become elements of and becomes . See [a6] for a more complete dictionary. The analogue of is , the analogue of is and is translated into . The first main theorem then changes into and this is a well-known property of heights in algebraic number theory. One can also introduce a defect, . The statement is precisely Roth's theorem on the approximation of algebraic numbers by elements from .
A similar translation of value distribution of meromorphic functions in several variables leads to a number of fascinating conjectures in the area of Diophantine approximations and Diophantine equations.
|[a1]||D. Drasin, "The inverse problem of Nevanlinna theory" Acta. Math. , 138 (1977) pp. 83–151|
|[a2]||D. Drasin, "Proof of a conjecture of F. Nevanlinna concerning functions which have deficiency sum two" Acta Math. , 158 (1987) pp. 1–94|
|[a3]||A. Weitsman, "A theorem on Nevanlinna deficiencies" Acta Math. , 125 (1972) pp. 41–52|
|[a4]||J.L. Lewis, J.-M. Wu, "On conjectures of Arakelyan and Littlewood" J. d'Anal. Math. , 50 (1988) pp. 259–283|
|[a5]||I. Laine (ed.) S. Rickman (ed.) , Value distribution theory , Lect. notes in math. , 981 , Springer (1983)|
|[a6]||P. Vojta, "Diophantine approximation and value distribution theory" , Lect. notes in math. , 1239 , Springer (1987)|
|[a7]||P.A. Griffiths, "Entire holomorphic mappings in one and several variables" , Annals Math. Studies , 85 , Princeton Univ. Press (1976)|
Value-distribution theory. V.P. Petrenko (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Value-distribution_theory&oldid=16270