The theorem follows from the fact that holomorphic functions are analytic. If f is an entire function, it can be represented by its Taylor series about 0: where and Cr is the circle about 0 of radius r > 0. Suppose f is bounded: i.e. there exists a constant M such that |f| ≤ M for all z. We can estimate directly where in the second inequality we have used the fact that |z| = r on the circle Cr. But the choice of r in the above is an arbitrary positive number. Therefore, letting r tend to infinity gives ak = 0 for all k ≥ 1. Thus f = a0 and this proves the theorem.
No entire function dominates another entire function
A consequence of the theorem is that "genuinely different" entire functions cannot dominate each other, i.e. if f and g are entire, and |f| ≤ |g| everywhere, then f = α·g for some complex number α. Consider that for g = 0 the theorem is trivial so we assume Consider the function h = f/g. It is enough to prove that h can be extended to an entire function, in which case the result follows by Liouville's theorem. The holomorphy of h is clear except at points in g−1. But since h is bounded and all the zeroes of g are isolated, any singularities must be removable. Thus h can be extended to an entire bounded function which by Liouville's theorem implies it is constant.
Suppose that f is entire and |f| is less than or equal to M|z|, for M a positive real number. We can apply Cauchy's integral formula; we have that where I is the value of the remaining integral. This shows that f′ is bounded and entire, so it must be constant, by Liouville's theorem. Integrating then shows that f is affine and then, by referring back to the original inequality, we have that the constant term is zero.
Non-constant elliptic functions cannot be defined on ℂ
The theorem can also be used to deduce that the domain of a non-constant elliptic functionf cannot be Suppose it was. Then, if a and b are two periods of f such that is not real, consider the parallelogramP whose vertices are 0, a, b and a + b. Then the image off is equal tof. Since f is continuous and P is compact, f is also compact and, therefore, it is bounded. So, f is constant. The fact that the domain of a non-constant elliptic function f can not be is what Liouville actually proved, in 1847, using the theory of elliptic functions. In fact, it was Cauchy who proved Liouville's theorem.
If f is a non-constant entire function, then its image is dense in This might seem to be a much stronger result than Liouville's theorem, but it is actually an easy corollary. If the image of f is not dense, then there is a complex number w and a real numberr > 0 such that the open disk centered at w with radius r has no element of the image of f. Define Then g is a bounded entire function, since for all, So, g is constant, and therefore f is constant.
On compact Riemann surfaces
Any holomorphic function on a compact Riemann surface is necessarily constant. Let be holomorphic on a compact Riemann surface. By compactness, there is a point where attains its maximum. Then we can find a chart from a neighborhood of to the unit disk such that is holomorphic on the unit disk and has a maximum at, so it is constant, by the maximum modulus principle.
Remarks
Let be the one point compactification of the complex plane In place of holomorphic functions defined on regions in, one can consider regions in Viewed this way, the only possible singularity for entire functions, defined on is the point. If an entire function is bounded in a neighborhood of, then is a removable singularity of, i.e. cannot blow up or behave erratically at. In light of the power series expansion, it is not surprising that Liouville's theorem holds. Similarly, if an entire function has a pole of order at —that is, it grows in magnitude comparably to in some neighborhood of —then is a polynomial. This extended version of Liouville's theorem can be more precisely stated: if for sufficiently large, then is a polynomial of degree at most. This can be proved as follows. Again take the Taylor series representation of, The argument used during the proof using Cauchy estimates shows that for all, So, if, then Therefore,. Liouville's theorem does not extend to the generalizations of complex numbers known as double numbers and dual numbers.
