Nevanlinna value-distribution theory
/ Nevanlinna -> NEH-vahn-lin-nah /
Picard and Borel give qualitative verdicts — at most one omitted value, at most one sparse value. Nevanlinna theory is the full quantitative accounting that grows out of them, a kind of bookkeeping that tracks, for every target value w at once, exactly how much a meromorphic function leans toward or away from taking that value. It is the mature theory that turns 'misses at most one' into a precise budget, balancing how big a function gets against how often it hits each value, and it extends the whole subject from entire functions to meromorphic functions, where poles are just the w-points for w = infinity.
The machinery rests on three pieces, assembled into the characteristic function T(r). For a meromorphic function f, define the proximity function m(r, w) (how close on average f stays to the value w on the circle of radius r) and the counting function N(r, w) (the integrated count of w-points inside radius r). Nevanlinna's First Main Theorem says their sum m(r, w) + N(r, w) is essentially independent of w: it equals T(r) plus a bounded error. So T(r) is a single growth gauge — for entire functions it grows like log M(r) — and every value gets the same total budget T(r), split between 'staying near w' and 'actually hitting w.' The Second Main Theorem is the deep one: summed over several values, the proximity terms cannot all be large, which forces the defect relation — the deficiencies delta(w) (the share of the budget spent on proximity rather than hits) sum to at most 2 over all w. Picard falls out instantly: an omitted value has deficiency 1, two omitted values would give total 2 with no room for the generic values, and three is impossible.
Nevanlinna theory is one of the great achievements of twentieth-century analysis: it gives the order, the zeros, the poles, and the value distribution a single unified language, and it generalizes the whole Picard-Borel circle. It seeds entire research areas — value distribution of meromorphic functions, complex dynamics, even a celebrated analogy with Diophantine approximation in number theory (Vojta's dictionary). The honest scope: it is a measure-theoretic and integral-geometric theory, far heavier machinery than the elementary residue calculus, and its sharp results (like the defect relation summing to 2) are deep; the constant 2 is not arbitrary but reflects the Euler characteristic of the sphere, hinting at the geometry underneath.
For an entire function the characteristic simplifies: T(r) is comparable to log M(r), so the order can equally be defined as rho = limsup of log T(r) / log r. For e^z, T(r) grows like r (matching order 1), the value infinity (the 'pole side') is deficient with deficiency 1 because an entire function has no poles, the value 0 is deficient with deficiency 1, and these two deficiencies already sum to 2 — the maximum the Second Main Theorem allows, so no other value can be deficient.
For e^z the deficiencies at 0 and at infinity already total 2, saturating the defect relation — a vivid reading of Picard.
The defect relation's bound of 2 is sharp and not arbitrary — it mirrors the topology of the Riemann sphere — but achieving it requires deficient values, which most functions do not have. And N(r, w) counting poles when w = infinity is why the theory naturally lives among meromorphic, not just entire, functions.