リウヴィルの定理 (解析学)

リウヴィルの定理（Liouville's theorem）は、有界な整関数は定数関数に限るということを主張する複素解析の定理である。ジョゼフ・リウヴィルにちなむ。整関数とは複素平面全体において正則（複素微分可能）な関数をいう。有界であるとは、ある実定数  が存在して、任意の複素数  に対して  となることをいう。

証明 
f(z) を整関数で、M を定数、任意の z ∈ C に対して |f(z)| ≤ M とする。f を原点を中心にテイラー展開する：

コーシーの積分公式により

である。ただし、Cr は原点を中心とする半径 r > 0 の円である。仮定により |f(z)| ≤ M であるから

である。r は任意であるから n ≥ 1 のとき r → +∞ として an = 0 を得る。

適用例 
以下の記事にリウヴィルの定理を適用する例がある。
 三角関数の部分分数展開
 代数学の基本定理
 楕円関数
 ヤコビの虚数変換式
 ヤコビの三重積

代数学の基本定理 
リウヴィルの定理が応用される例として、代数学の基本定理の証明がある。 を定数関数ではない、複素係数の多項式とする。任意の  に対し、 とすると、 は有界な整関数となる。したがって、リウヴィルの定理により、 は定数関数となり、仮定に矛盾する。

スペクトル集合の性質 
リウヴィルの定理は、複素バナッハ空間の有界線形作用素のスペクトル集合が空集合でないことを示すのに適用される。

をでない複素バナッハ空間とし、を上の有界線形作用素とすると、そのスペクトル集合は空ではない。実際、とすると、補集合であるレゾルベント集合は全体となる。このとき、すべてのに対して、レゾルベント作用素は、について作用素ノルムでの極限の意味で正則となる。よって、任意のとに対し、は上の有界な整関数となる。リウヴィルの定理より、これは定数関数であり、さらにはゼロとなる。したがって、となり、矛盾する。

このリウヴィルの定理を用いた証明はイズライル・ゲルファントによって、与えられた。

脚注

参考文献

関連項目 
 ピカールの定理

外部リンク 

複素解析の定理
ジョゼフ・リウヴィル
数学に関する記事
数学のエポニム