Normal families: New perspectives

TLDR: A survey of the application of the Bloch's Principle to one-variable theory can be found in this article, with the aim of making this technique available to as broad an audience as possible.

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 (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. 1. Let D be a domain in the complex plane C. We shall be concerned with analytic maps (i.e., meromorphic functions) f : (D, | |R2) → (Ĉ, χ) Received by the editors October 15, 1997, and, in revised form, May 26, 1998. 1991 Mathematics Subject Classification. Primary 30D45; Secondary 30D35, 34A20, 58F23.