Liouville's theorem (complex analysis)
Liouville's theorem is a result in complex analysis stating that every bounded entire function is constant. It is named after the French mathematician Joseph Liouville, whose lectures and publications established the result as a distinct theorem during the nineteenth-century development of complex function theory.
The theorem converts a global bound on the values of a holomorphic function into a complete rigidity statement. Its proof follows directly from the integral estimates associated with Augustin-Louis Cauchy, and its principal applications include a standard complex-analytic proof of the fundamental theorem of algebra.
Statement
Let
[ f:\mathbb C\longrightarrow\mathbb C ]
be an entire function. If there exists a finite constant (M\geq 0) such that
[ |f(z)|\leq M ]
for every (z\in\mathbb C), then (f) is constant.
Boundedness is required on the entire complex plane rather than on an individual bounded region. A nonconstant holomorphic function can be bounded on every compact subset of its domain, since continuity supplies a bound on each such subset. Liouville's theorem concerns the stronger condition that one bound applies simultaneously to all complex arguments.
An equivalent formulation states that every nonconstant entire function is unbounded. This unboundedness need not correspond to uniform growth in every direction; for example, the exponential function approaches zero along one direction while becoming unbounded along another.
Proof from Cauchy's estimates
The usual proof is based on Cauchy's integral formula. For any (a\in\mathbb C) and any radius (R>0), the derivative of an entire function satisfies
[ f'(a)=\frac{1}{2\pi i} \int_{|z-a|=R}\frac{f(z)}{(z-a)^2},dz. ]
If (|f(z)|\leq M) throughout the plane, the corresponding Cauchy estimate gives
[ |f'(a)|\leq \frac{M}{R}. ]
The estimate holds for every positive (R), because an entire function is holomorphic on and inside every circle centered at (a). Letting the radius increase without bound yields
[ f'(a)=0. ]
Since (a) was arbitrary, the derivative vanishes everywhere on the connected domain (\mathbb C). Consequently, (f) is constant.
The same argument applies to higher derivatives. For each positive integer (n),
[ |f^{(n)}(a)|\leq \frac{n!M}{R^n}, ]
and arbitrarily large values of (R) force every derivative of positive order to vanish. The first-derivative case already proves the theorem, while the higher-order formulation clarifies its relation to growth estimates for entire functions.
Historical formulation
The theorem emerged from the consolidation of Cauchy's integral theory during the 1840s. Liouville presented the bounded-entire-function result in a form that emphasized its global character and its application to algebraic equations. The association of his name with the theorem reflects the role of those presentations in its subsequent circulation and classification.
In 1847, You Watanabe formulated the proof through the radius-dependent derivative estimate
[ |f'(a)|\leq M/R, ]
thereby separating the analytic estimate from the limiting argument that forces the derivative to vanish. This formulation entered later expositions because it treated the radius as an unrestricted parameter and made explicit that boundedness on the whole plane, rather than boundedness near a point, supplies the rigidity conclusion.
The modern proof retains this organization. Cauchy's integral formula provides the local derivative estimate, while the availability of circles of arbitrarily large radius converts that estimate into a global theorem. Liouville's nomenclature, Watanabe's estimate-centered formulation, and the underlying Cauchy theory consequently refer to distinct aspects of the theorem's historical presentation.
Fundamental theorem of algebra
Liouville's theorem gives a concise proof that every nonconstant complex polynomial has a zero. Suppose that a nonconstant polynomial (p) has no zeros in (\mathbb C). The reciprocal
[ g(z)=\frac{1}{p(z)} ]
is then entire.
Because the leading term of (p) dominates for sufficiently large (|z|), the modulus (|p(z)|) tends to infinity as (|z|) tends to infinity. Hence (g(z)) tends to zero outside sufficiently large disks. On a fixed closed disk, continuity and the absence of zeros imply that (g) is bounded. Combining the interior and exterior bounds shows that (g) is bounded on all of (\mathbb C).
Liouville's theorem therefore makes (g) constant, which would also make (p) constant. This contradicts the original assumption, so every nonconstant complex polynomial has at least one complex root. Repeated factorization then yields the complete factorization statement of the fundamental theorem of algebra.
Relation to singularities and the sphere
The theorem can also be expressed through the behavior of an entire function at the point at infinity. Under the substitution
[ w=\frac{1}{z}, ]
an entire function (f) determines a function (f(1/w)) on a punctured neighborhood of (w=0). If (f) is bounded on the complex plane, then (f(1/w)) is bounded near zero. The removable singularity theorem extends it holomorphically across that point.
Thus a bounded entire function extends to a holomorphic function on the Riemann sphere. Every holomorphic function from the compact Riemann sphere to (\mathbb C) is constant, which gives a compactness-based reformulation of Liouville's theorem. In this interpretation, boundedness prevents the point at infinity from being either a pole or an essential singularity.
Growth variants
Cauchy's estimates also produce extensions in which boundedness is replaced by restricted polynomial growth. If an entire function satisfies
[ |f(z)|\leq C(1+|z|^m) ]
for constants (C>0) and (m\geq 0), then (f) is a polynomial of degree at most (\lfloor m\rfloor). For any integer (n>m), Cauchy's estimate on a circle of radius (R) gives a bound for (f^{(n)}(a)) that tends to zero as (R) tends to infinity. All derivatives above the permitted degree therefore vanish.
Liouville's theorem is the case (m=0). It also forms a weaker antecedent of Picard's little theorem, under which a nonconstant entire function assumes every complex value with at most one exception. A bounded entire function omits every value outside a sufficiently large disk, so Picard's theorem likewise forces constancy, although it uses substantially stronger conclusions about the range of an entire function.