什么是刘维尔定理？
刘维尔定理（Liouville's Theorem）是复分析中一个看似简单却蕴含深刻思想的基本结果。其标准表述为：
若函数 f(z) 在整个复平面 ℂ 上解析（即全纯），且存在常数 M > 0，使得对所有 z ∈ ℂ，均有 |f(z)| ≤ M，则 f(z) 必为常数。
简言之，有界整函数必为常数——这是刘维尔定理最精炼的表达。它揭示了复平面上“全局有界性”与“函数恒定性”之间的强联系，是理解整函数行为的关键桥梁。
为何它如此重要？
刘维尔定理远不止是一个理论结论；它是复分析诸多核心定理的起点，例如：
- 代数基本定理的证明基础：通过反证法构造有界整函数，导出矛盾。
- 最大模原理的推论之一：非恒定解析函数的模不能在内部达到最大值。
- 复微分方程解的有界性分析：判断解是否恒定的重要工具。
- 复动力系统中平凡吸引子的判定：如Julia集上的有界轨道分析。
它将“局部有界性”提升为“全局恒定性”，体现了复解析函数极强的刚性（rigidity）特征——这是与实分析的根本差异所在。
与实分析的本质区别
在实数域上，函数 f(x) = sin x 显然是有界的（|sin x| ≤ 1），但它绝非常数，且在实轴上无限次可导。然而在复平面上，sin z 是无界的——当 z = iy（y ∈ ℝ）时，
例：正弦函数在复平面上的增长性
sin(iy) = frac{e^{i(iy)} - e^{-i(iy)}}{2i} = frac{e^{-y} - e^{y}}{2i} = i cdot frac{e^{y} - e^{-y}}{2} = i sinh y
当 y → +∞ 时，|sin(iy)| = |sinh y| → +∞，故 sin z 在 ℂ 上无界——正符合刘维尔定理的逻辑前提。
这一差异源于复可导（全纯）比实可导严格得多：复解析函数自动无限可微，且可展开为收敛幂级数，其行为被局部信息完全决定。