ミッタク=レフラーの定理
From Wikipedia, the free encyclopedia
複素解析において、ミッタク=レフラーの定理(ミッタク=レフラーのていり、英: Mittag-Leffler's theorem)とは、前もって与えられた極を持つ有理型関数の存在に関する定理である。一方、ワイエルシュトラスの因数分解定理は、前もって与えられた零点を持つ正則関数の存在を主張する定理であり、本定理と対をなす。この定理の名称は、ヨースタ・ミッタク=レフラー (Gösta Mittag-Leffler) に因んでいる。
D を C の開集合とし、E ⊂ D を閉離散部分集合とする。各々の a ∈ E に対し、pa(z) を 1/(z−a) の多項式とする。このとき D 上の有理型関数 f であって任意の a ∈ E に対して関数 f(z) − pa(z) が a において正則であるようなものが存在する。とくに、f の a における主要部は pa(z) である。
1つの証明の概略は以下のようになる。E が有限であれば
ととればよいことに注意する。E が有限でなければ、E の有限部分集合 F に対し有限和
を考える。F が E に近づくときに SF(z) は収束しないかもしれないが、(ルンゲの定理により)D の外部に極を持つ有理関数をうまく選んで SF(z) の主要部を変えることなしに引くことができ、そうして収束は保証される。
例
有理型関数の極展開
有理型関数の極展開の例をいくつか挙げる: