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

提供: miniwiki
2016/8/7/ (日) 22:54時点におけるja>敷島健一による版 (関連項目: 外部リンクを追加。)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

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

証明

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

[math]f(z)=\sum_{n=0}^\infty a_nz^n.[/math]

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

[math]a_n=\frac{f^{(n)}(0)}{n!}=\frac{1}{2{\pi}i}\oint_{C_r}\frac{f(\zeta)}{\zeta^{n+1}}\,d\zeta[/math]

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

[math] |a_n|\le\frac{1}{2\pi}\oint_{C_r}\frac{|f(\zeta)|}{|\zeta|^{n+1}}\,|d\zeta| \le \frac{1}{2\pi}\int_{0}^{2\pi}\frac{M}{r^{n+1}}\,r\,d\theta = \frac{M}{r^n} [/math]

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

適用例

以下の記事にリウヴィルの定理を適用する例がある。

代数学の基本定理

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

スペクトル集合の性質

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

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

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

脚注

  1. Conway 1978, テンプレート:Google books quote.
  2. I. Gelfand, "Normierte Ringe," Mat. Sbornik N. S. 9 (51) pp.3-24 (1941)

参考文献

  • 『複素解析概論』 裳華房〈数学選書12〉、2002年、第6版。ISBN 978-4-7853-1314-2。
  • Conway, John (1978). Functions of One Complex Variable I (Graduate Texts in Mathematics 11). Springer-Verlag. ISBN 0-387-90328-3. 

関連項目

外部リンク