Liouville's theorem (complex analysis)

In complex analysis, Liouville's theorem, named after Joseph Liouville (although the theorem was first proven by Cauchy in 1844^[1] ), states that every bounded entire function must be constant. That is, every holomorphic function ${\displaystyle f}${\displaystyle f} for which there exists a positive number ${\displaystyle M}${\displaystyle M} such that ${\displaystyle |f(z)|\leq M}${\displaystyle |f(z)|\leq M} for all ${\displaystyle z\in \mathbb {C} }${\displaystyle z\in \mathbb {C} } is constant. Equivalently, non-constant holomorphic functions on ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} } have unbounded images.

The theorem is considerably improved by Picard's little theorem, which says that every entire function whose image omits two or more complex numbers must be constant.

Liouville's theorem: Every holomorphic function ${\displaystyle f:\mathbb {C} \to \mathbb {C} }${\displaystyle f:\mathbb {C} \to \mathbb {C} } for which there exists a positive number ${\displaystyle M}${\displaystyle M} such that ${\displaystyle |f(z)|\leq M}${\displaystyle |f(z)|\leq M} for all ${\displaystyle z\in \mathbb {C} }${\displaystyle z\in \mathbb {C} } is constant.

More succinctly, Liouville's theorem states that every bounded entire function must be constant.

This important theorem has several proofs.

A standard analytical proof uses the fact that holomorphic functions are analytic.

Another proof uses the mean value property of harmonic functions.

The proof can be adapted to the case where the harmonic function ${\displaystyle f}${\displaystyle f} is merely bounded above or below. See Harmonic function#Liouville's theorem.

Another approach to prove the theorem is

There is a short proof of the fundamental theorem of algebra using Liouville's theorem.^[4]

A consequence of the theorem is that "genuinely different" entire functions cannot dominate each other, i.e. if ${\displaystyle f}${\displaystyle f} and ${\displaystyle g}${\displaystyle g} are entire, and ${\displaystyle |f|\leq |g|}${\displaystyle |f|\leq |g|} everywhere, then ${\displaystyle f=\alpha g}${\displaystyle f=\alpha g} for some complex number ${\displaystyle \alpha }${\displaystyle \alpha }. Consider that for ${\displaystyle g=0}${\displaystyle g=0} the theorem is trivial so we assume ${\displaystyle g\neq 0}${\displaystyle g\neq 0}. Consider the function ${\displaystyle h=f/g}${\displaystyle h=f/g}. It is enough to prove that ${\displaystyle h}${\displaystyle h} can be extended to an entire function, in which case the result follows by Liouville's theorem. The holomorphy of ${\displaystyle h}${\displaystyle h} is clear except at points in ${\displaystyle g^{-1}(0)}${\displaystyle g^{-1}(0)}. But since ${\displaystyle h}${\displaystyle h} is bounded and all the zeroes of ${\displaystyle g}${\displaystyle g} are isolated, any singularities must be removable. Thus ${\displaystyle h}${\displaystyle h} can be extended to an entire bounded function which by Liouville's theorem implies it is constant.

Suppose that ${\displaystyle f}${\displaystyle f} is entire and ${\displaystyle |f(z)|\leq M|z|}${\displaystyle |f(z)|\leq M|z|}, for ${\displaystyle M>0}${\displaystyle M>0}. We can apply Cauchy's integral formula; we have that

${\displaystyle |f'(z)|={\frac {1}{2\pi }}\left|\oint _{C_{r}}{\frac {f(\zeta )}{(\zeta -z)^{2}}}d\zeta \right|\leq {\frac {1}{2\pi }}\oint _{C_{r}}{\frac {|f(\zeta )|}{\left|(\zeta -z)^{2}\right|}}|d\zeta |\leq {\frac {1}{2\pi }}\oint _{C_{r}}{\frac {M|\zeta |}{\left|(\zeta -z)^{2}\right|}}\left|d\zeta \right|={\frac {MI}{2\pi }}}${\displaystyle |f'(z)|={\frac {1}{2\pi }}\left|\oint _{C_{r}}{\frac {f(\zeta )}{(\zeta -z)^{2}}}d\zeta \right|\leq {\frac {1}{2\pi }}\oint _{C_{r}}{\frac {|f(\zeta )|}{\left|(\zeta -z)^{2}\right|}}|d\zeta |\leq {\frac {1}{2\pi }}\oint _{C_{r}}{\frac {M|\zeta |}{\left|(\zeta -z)^{2}\right|}}\left|d\zeta \right|={\frac {MI}{2\pi }}}

where ${\displaystyle I}${\displaystyle I} is the value of the remaining integral. This shows that ${\displaystyle f'}${\displaystyle f'} is bounded and entire, so it must be constant, by Liouville's theorem. Integrating then shows that ${\displaystyle f}${\displaystyle f} is affine and then, by referring back to the original inequality, we have that the constant term is zero.

The theorem can also be used to deduce that the domain of a non-constant elliptic function ${\displaystyle f}${\displaystyle f} cannot be ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} }. Suppose it was. Then, if ${\displaystyle a}${\displaystyle a} and ${\displaystyle b}${\displaystyle b} are two periods of ${\displaystyle f}${\displaystyle f} such that ${\displaystyle {\tfrac {a}{b}}}${\displaystyle {\tfrac {a}{b}}} is not real, consider the parallelogram ${\displaystyle P}${\displaystyle P} whose vertices are 0, ${\displaystyle a}${\displaystyle a}, ${\displaystyle b}${\displaystyle b}, and ${\displaystyle a+b}${\displaystyle a+b}. Then the image of ${\displaystyle f}${\displaystyle f} is equal to ${\displaystyle f(P)}${\displaystyle f(P)}. Since ${\displaystyle f}${\displaystyle f} is continuous and ${\displaystyle P}${\displaystyle P} is compact, ${\displaystyle f(P)}${\displaystyle f(P)} is also compact and, therefore, it is bounded. So, ${\displaystyle f}${\displaystyle f} is constant.

The fact that the domain of a non-constant elliptic function ${\displaystyle f}${\displaystyle f} cannot be ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} } is what Liouville actually proved, in 1847, using the theory of elliptic functions.^[5] In fact, it was Cauchy who proved Liouville's theorem.^{[6] [7]}

If ${\displaystyle f}${\displaystyle f} is a non-constant entire function, then its image is dense in ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} }. This might seem to be a much stronger result than Liouville's theorem, but it is actually an easy corollary. If the image of ${\displaystyle f}${\displaystyle f} is not dense, then there is a complex number ${\displaystyle w}${\displaystyle w} and a real number ${\displaystyle r>0}${\displaystyle r>0} such that the open disk centered at ${\displaystyle w}${\displaystyle w} with radius ${\displaystyle r}${\displaystyle r} has no element of the image of ${\displaystyle f}${\displaystyle f}. Define

${\displaystyle g(z)={\frac {1}{f(z)-w}}.}${\displaystyle g(z)={\frac {1}{f(z)-w}}.}

Then ${\displaystyle g}${\displaystyle g} is a bounded entire function, since for all ${\displaystyle z}${\displaystyle z},

${\displaystyle |g(z)|={\frac {1}{|f(z)-w|}}<{\frac {1}{r}}.}${\displaystyle |g(z)|={\frac {1}{|f(z)-w|}}<{\frac {1}{r}}.}

So, ${\displaystyle g}${\displaystyle g} is constant, and therefore ${\displaystyle f}${\displaystyle f} is constant.

Any holomorphic function on a compact Riemann surface is necessarily constant.^[8]

Let ${\displaystyle f(z)}${\displaystyle f(z)} be holomorphic on a compact Riemann surface ${\displaystyle M}${\displaystyle M}. By compactness, there is a point ${\displaystyle p_{0}\in M}${\displaystyle p_{0}\in M} where ${\displaystyle |f(p)|}${\displaystyle |f(p)|} attains its maximum. Then we can find a chart from a neighborhood of ${\displaystyle p_{0}}${\displaystyle p_{0}} to the unit disk ${\displaystyle \mathbb {D} }${\displaystyle \mathbb {D} } such that ${\displaystyle f(\varphi ^{-1}(z))}${\displaystyle f(\varphi ^{-1}(z))} is holomorphic on the unit disk and has a maximum at ${\displaystyle \varphi (p_{0})\in \mathbb {D} }${\displaystyle \varphi (p_{0})\in \mathbb {D} }, so it is constant, by the maximum modulus principle.

Let ${\displaystyle \mathbb {C} \cup \{\infty \}}${\displaystyle \mathbb {C} \cup \{\infty \}} be the one-point compactification of the complex plane ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} }. In place of holomorphic functions defined on regions in ${\displaystyle \mathbb {C} }${\displaystyle \mathbb {C} }, one can consider regions in ${\displaystyle \mathbb {C} \cup \{\infty \}}${\displaystyle \mathbb {C} \cup \{\infty \}}. Viewed this way, the only possible singularity for entire functions, defined on ${\displaystyle \mathbb {C} \subset \mathbb {C} \cup \{\infty \}}${\displaystyle \mathbb {C} \subset \mathbb {C} \cup \{\infty \}}, is the point ${\displaystyle \infty }${\displaystyle \infty }. If an entire function ${\displaystyle f}${\displaystyle f} is bounded in a neighborhood of ${\displaystyle \infty }${\displaystyle \infty }, then ${\displaystyle \infty }${\displaystyle \infty } is a removable singularity of ${\displaystyle f}${\displaystyle f}, i.e. ${\displaystyle f}${\displaystyle f} cannot blow up or behave erratically at ${\displaystyle \infty }${\displaystyle \infty }. 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 ${\displaystyle n}${\displaystyle n} at ${\displaystyle \infty }${\displaystyle \infty } —that is, it grows in magnitude comparably to ${\displaystyle z^{n}}${\displaystyle z^{n}} in some neighborhood of ${\displaystyle \infty }${\displaystyle \infty } —then ${\displaystyle f}${\displaystyle f} is a polynomial. This extended version of Liouville's theorem can be more precisely stated: if ${\displaystyle |f(z)|\leq M|z|^{n}}${\displaystyle |f(z)|\leq M|z|^{n}} for ${\displaystyle |z|}${\displaystyle |z|} sufficiently large, then ${\displaystyle f}${\displaystyle f} is a polynomial of degree at most ${\displaystyle n}${\displaystyle n}. This can be proved as follows. Again take the Taylor series representation of ${\displaystyle f}${\displaystyle f},

${\displaystyle f(z)=\sum _{k=0}^{\infty }a_{k}z^{k}.}${\displaystyle f(z)=\sum _{k=0}^{\infty }a_{k}z^{k}.}

The argument used during the proof using Cauchy estimates shows that for all ${\displaystyle k\geq 0}${\displaystyle k\geq 0},

${\displaystyle |a_{k}|\leq Mr^{n-k}.}${\displaystyle |a_{k}|\leq Mr^{n-k}.}

So, if ${\displaystyle k>n}${\displaystyle k>n}, then

${\displaystyle |a_{k}|\leq \lim _{r\to \infty }Mr^{n-k}=0.}${\displaystyle |a_{k}|\leq \lim _{r\to \infty }Mr^{n-k}=0.}

Therefore, ${\displaystyle a_{k}=0}${\displaystyle a_{k}=0}.

Liouville's theorem does not extend to the generalizations of complex numbers known as double numbers and dual numbers.^[9]

• Mittag-Leffler's theorem

• Gamelin, Theodore W. (2004). Complex Analysis. Springer. ISBN 9788181281142.

• "Liouville's theorem". PlanetMath .
• Weisstein, Eric W. "Liouville's Boundedness Theorem". MathWorld .

• Theorems in complex analysis
• Analytic functions

• Webarchive template wayback links
• Articles with short description
• Short description is different from Wikidata
• Articles containing proofs