Holomorphic surjection theorem (Picard's little theorem)

post by dkl9 · 2024-07-21T13:24:18.300Z · LW · GW · 0 comments

This is a link post for https://dkl9.net/essays/little_picard.html

Contents

No comments

Consider an entire function (complex-differentiable everywhere) . I will intuitively prove that certain lemmas hold on any such . If  is a polynomial, I can combine those lemmas with another one, showing that the holomorphic surjection theorem (more commonly, Picard's little theorem) applies. Any entire function is the limit of a sequence of polynomials, so a theorem holding for all polynomials is a compelling hint that it may also hold for all entire functions.

Pick an input point . Suppose  is a small positive real number, and  is a unit-modulus complex number. Incrementing  to  takes  to . That approximation holds sith  is entire, and is closer to exact for smaller .

From any complex  — except 0 — exactly two directions of increment keep its modulus constant, which are those directions along the circle in output space centred at 0.  is arbitrary, so the direction of the increment  is arbitrary. Hence, for any input , there are two directions to increment it, along which to develop a contour of constant modulus. We can repeat this operation at the ends of the contour, so every such contour is either closed or infinite. The exceptions are , which form degenerate "contours" of a single point.

Every point in the input space (complex numbers) lies on some contour, either degenerate, closed, or infinite. The contours we care about are defined by the modulus of the outputs along them, which precludes intersections. So any closed contour encloses some area, within which all points are on contours either closed — fitting entirely within the enclosing contour — or degenerate.

Pick a closed contour , as described above. Suppose the smallest-area contour within it is , enclosing area exceeding zero. But  is a closed contour, holding points within it belonging to other contours, which must enclose smaller areas. Contradiction. The smallest-area contour within  has area zero.

A zero-area contour is either open or degenerate. An open contour within a closed contour must be finite. Our earlier contour construction forbade finite open contours. The smallest-area contour within  is degenerate, i.e. a single point, which only arises when . Any closed contour of constant modulus of  contains a zero.

 is entire, so it contains zero poles. By the argument principle, any closed contour of constant modulus, mapped to output space, winds around zero at least once. Thus, if  has a closed contour for output modulus , f maps at least once to every complex number with modulus .

Any path from a closed contour to a zero within must, by the IVT, cross (in output space) every modulus less than the modulus along the contour. That  and  is in the interior of a constant-modulus contour implies that  lies on a closed contour of constant modulus . So, if  has a closed contour for output modulus  maps at least once to every complex number with modulus .

Let's take as a lemma that entire functions, unless constant, output numbers with arbitrarily large moduli (Liouville's theorem). A stronger similar theorem holds for polynomials : that for any modulus , there exists a radius  past which () all outputs are bigger than  (). Intuitive proof: visualise each ring (points  with ) of input mapping to a sum of rings, one for each term in the polynomial. For large enough , higher-degree terms dominate, such that any possible sum of the ring-vectors stays outside a circle of radius .

Say  is a polynomial. Pick a starting point . Plug in  as  for the preceding lemma. Outside some ring (radius ), all outputs are bigger than . The contour for the starting point is bound to that ring, and so must be closed. So  maps at least once to every complex number with modulus .

By Liouville's theorem,  can be made arbitrarily large. So polynomial  maps at least once to every complex number. QED.

0 comments

Comments sorted by top scores.