Abstract. This paper surveys some surprising applications of a lemma characterizing normal families of meromorphic functions on plane domains. These include short and efficient proofs of generalizations of (i) the Picard Theorems, (ii) Gol'dberg's Theorem (a meromorphic function on C which is the solution of a first-order algebraic differential equation has finite order), and (iii) the Fatou-Julia Theorem (the Julia set of a rational function of degree d ≥ 2 is the closure of the repelling periodic points). We also discuss Bloch's Principle and provide simple solutions to some problems of Hayman connected with this principle.Over twenty years ago, on the way to a partial explication of the phenomenon known as Bloch's Principle, I proved a little lemma characterizing normal families of holomorphic and meromorphic functions on plane domains [68]. Over the years, the lemma has grown and, in dextrous hands, proved amazingly versatile, with applications to a wide variety of topics in function theory and related areas. With the renewed interest in normal families 1 (arising largely from the important role they play in complex dynamics), it seems sensible to survey some of the most striking of these applications to the one-variable theory, with the aim of making this technique available to as broad an audience as possible. That is the purpose of this report.One pleasant aspect of the theory is that judicious application of the lemma often leads to proofs which seem almost magical in their brevity. In such cases, we have made no effort to resist the temptation to write out complete proofs. Hardly anything beyond a basic knowledge of function theory is required to understand what follows, so the reader is urged to take courage and plough on through. And now we turn to our tale.

No abstract

No abstract

For f a meromorphic function on the plane domain D and a ∈ C, let Ēf(a) = {z ∈ D: f(z) = a}. Let F be a family of meromorphic functions on D, all of whose zeros are of multiplicity at least k. If there exist b ≠ 0 and h > 0 such that for every f ∈ F, E―f(0)=E―f(k)(b) and 0 < |f(k+1)(z)| ⩽ h whenever z ∈ Ēf(0), then F is a normal family on D. The case Ēf(0) = Ø is a celebrated result of Gu [5]. 1991 Mathematics Subject Classification 30D45, 30D35.

No abstract