Picard theorem

Picard's theorem on the behaviour of an analytic function of a complex variable near an essential singular point is a result in classical function theory that is the starting point of numerous profound researches. It consists of two parts: a) Picard's little theorem: Any entire function assumes any finite complex value with the possible exception of one value; and b) Picard's big theorem: Any single-valued analytic function assumes any finite complex value, with the possible exception of one value, in an arbitrary neighbourhood around an isolated essential singular point .

and it substantially supplements the Sokhotskii theorem. Picard's little theorem is a consequence of the big one. It follows directly from Picard's big theorem that any finite complex value, with the possible exception of one value, is assumed in an arbitrary neighbourhood of an essential singular point infinitely often. For a meromorphic function in the finite plane , Picard's theorem takes the form: If the point is essentially singular for a function that is meromorphic in , then in an arbitrary neighbourhood of the function assumes any complex value in the extended complex plane , with the possible exception of two values, and moreover infinitely often. The examples of the entire function and the meromorphic function show that all these assertions are precise. The exceptional values appearing in Picard's theorem are called Picard exceptional values.

Picard's theorem is substantially supplemented by the Iversen theorem and the Julia theorem, which show, respectively, that the Picard exceptional values are asymptotic values (cf. Asymptotic value) and that there exist Julia rays starting at the essential singular point and such that the non-exceptional values are taken infinitely often even in an arbitrary small sector having its vertex at and as symmetry axis.

The following two directions are characteristic in modern studies related to Picard's theorem. Let be the set of essential singular points of a meromorphic function , i.e. is a meromorphic function in a certain neighbourhood of any point , and suppose that the cluster set of at a point does not reduce to one value. Let , , be the set of those values that are assumed infinitely often in any neighbourhood of . Then Picard's theorem asserts that if is an isolated point in , the complement

has the Picard property, i.e. it consists of at most two points. V.V. Golubev established in 1916 that if the capacity of is zero, , then has capacity zero for all . It has not been completely determined (up till 1983) what minimal conditions must be imposed on in order that the set has the Picard property for all . Examples show that on the one hand the condition is not sufficient, while on the other that there is a set , , outside which there do not exist meromorphic transcendental functions omitting four values , , .

The second direction is related to generalizations of Picard's theorem to analytic functions of several complex variables , . For , Picard's theorem can also be formulated as follows: Any holomorphic mapping that omits at least two points is constant. However, in 1922, P. Fatou constructed an example of a non-singular holomorphic mapping (and even of a biholomorphic mapping) for which the set of exceptional values contains a non-empty open set. This means that Picard's theorem (and even Sokhotskii's theorem) cannot be generalized directly to the case . Generalizations of Picard's theorem are possible if one starts, for example, from another formulation, which is somewhat artificial for : Any holomorphic mapping into the complex projective plane that omits at least three hyperplanes (i.e. points for ) is constant. In particular, Green's theorem applies: Any holomorphic mapping that omits at least hyperplanes in general position is constant (cf. , , ).

Picard's theorem on the uniformization of algebraic curves: If an algebraic curve has genus , then there exists no pair of meromorphic functions , such that . In other words, uniformization of algebraic curves of genus by means of meromorphic functions is impossible. On the other hand, one can always perform uniformization in the case by means of (meromorphic) elliptic functions.

The theorem was established by E. Picard [7].

References

 [1a] E. Picard, "Sur une propriété des fonctions entières" C.R. Acad. Sci. Paris , 88 (1879) pp. 1024–1027 [1b] E. Picard, "Sur les fonctions entières" C.R. Acad. Sci. Paris , 89 (1879) pp. 662–665 [2] E. Picard, "Mémoire sur les fonctions entières" Ann. Ecole Norm. Sup. , 9 (1880) pp. 145–166 [3] B.V. Shabat, "Introduction of complex analysis" , 1–2 , Moscow (1976) (In Russian) [4] E.F. Collingwood, A.J. Lohwater, "The theory of cluster sets" , Cambridge Univ. Press (1966) pp. Chapt. 1;6 [5] A. Lohwater, "The boundary behaviour of analytic functions" Itogi Nauk. i Tekhn. Mat. Anal. , 10 (1973) pp. 99–259 (In Russian) [6] P. Griffiths, J. King, "Nevanlinna theory and holomorphic mappings between algebraic varieties" Acta Math. , 130 (1973) pp. 145–220 [7] E. Picard, "Démonstration d'un théorème général sur les fonctions uniformes liées par une équation algébrique" Acta Math. , 11 (1887–1888) pp. 1–12 [8] B.V. Shabat, "Distribution of values of holomorphic mappings" , Amer. Math. Soc. (1987) (Translated from Russian)