ミッタク＝レフラーの定理

ミッタク＝レフラーの定理

ミッタク＝レフラーの定理とは、複素解析の分野で重要な役割を果たす定理で、与えられた極を持つ有理型関数の存在を示します。この定理の名は、スウェーデンの数学者ヨースタ・ミッタク＝レフラーに由来し、特に有理型関数の特性を探求するための基礎となる理論を提供します。

定理の内容

定理の内容を具体的に示します。まず、D を複素数平面 C の開集合とし、E ⊂ D を閉鎖的な離散集合と考えます。各点 a ∈ E に対し、関数 $p_a(z) = rac{1}{z-a}$ を定義します。このとき、D 上の有理型関数 f が存在し、その関数に対して任意の a ∈ E において f(z) − p_a(z) が a において正則であることが保証されます。すなわち、f の a における主要部は p_a(z) です。

この定理の証明は、E が有限な場合と無限な場合で異なります。E が有限の場合、f を E の全ての点に対しての p_a の総和として表現できます。具体的には、次のように関数を設定します：

$$f(z) = ext{sum}_{a ext{ in } E} p_a(z)$$

一方、E が無限の場合は、E の有限部分集合 F を選び、対応する有限和を考えます。E の点が F に近づくとき、常に収束するとは限りませんが、ルンゲの定理を利用することで D の外に適切な極を持つ有理関数を選んで、元々の有限和の主要部を変えずに収束性を保証することが可能です。

例: 留数 1 の一位の極を持つ関数

具体例として、すべての正の整数で留数 1 を持つ有理型関数を考えましょう。上記の定義に従い、$p_k = rac{1}{z-k}$ とし、E を正の整数の集合 Z⁺ = {1, 2, 3, ...} と設定します。この場合、ミッタク＝レフラーの定理は、各整数 k に対し、z = k での主要部が p_k(z) であるような有理型関数 f が存在することを示しています。

具体的な構成例として、次のように表現できます：

$$f(z) = z ext{sum}_{k=1}^{ ext{∞}} rac{1}{k(z-k)}$$

この級数は、C 上での正規収束を持つ有理型関数として機能します。

有理型関数の極展開の例

次に、有理型関数の極展開に関するいくつかの例を紹介します：

• - $$rac{1}{ ext{sin} ext{z}} = ext{sum}_{n ext{ in } ext{Z}} rac{(-1)^n}{z-n ext{π}} = rac{1}{z} + ext{sum}_{n=1}^{ ext{∞}} (-1)^n rac{2z}{z^2-n^2 ext{π}^2}$$
• - $$ ext{cot} ext{z} = rac{ ext{cos} ext{z}}{ ext{sin} ext{z}} = ext{sum}_{n ext{ in } ext{Z}} rac{1}{z-n ext{π}} = rac{1}{z} + ext{sum}_{k=1}^{ ext{∞}} rac{2z}{z^2-k^2 ext{π}^2}$$

このような極展開は、複素解析において非常に有用で、特に三角関数やその他の数学的関数の性質を理解するために役立ちます。

関連項目と参考文献

ミッタク＝レフラーの定理は、ワイエルシュトラスの因数分解定理やリーマン・ロッホの定理など、他の重要な定理と関連しています。これらの理論は、より高度な数学の理解を深めるための基盤を提供します。

参考文献には、Lars Ahlfors の 「Complex analysis」や、John B. Conway の 「Functions of One Complex Variable I」などがあります。

もう一度検索