有理型関数

有理型関数：複素解析における重要な関数

複素解析において、有理型関数は極めて重要な役割を果たす関数です。この解説では、有理型関数の定義、具体例、性質、そして他の関数との関連について詳しく見ていきます。

有理型関数の定義

有理型関数とは、簡単に言うと、複素平面のある領域で定義され、その領域内で極以外の特異点を持たない解析関数のことです。ここで、極とは関数の値が無限大になる点、そして特異点とは関数が正則でない点のことです。重要なのは、有理型関数の極は離散集合、つまり個々の点が孤立している必要があるということです。

言い換えると、有理型関数は正則関数の商として表現できます。このとき、分母となる正則関数の零点が、元の有理型関数の極となります。ただし、分母が常に0となるような関数は除外されます。

有理型関数の例

具体的な例を見てみましょう。

有理関数: 多項式関数の商で表される関数は全て有理型関数です。例えば、`f(z) = (z³ - 2z + 1) / (z⁵ + 3z - 1)` は有理型関数です。
指数関数と多項式の商: `f(z) = exp(z) / z` のように、指数関数と多項式の商も有理型関数となります。
三角関数と多項式の商: `f(z) = sin(z) / (z - 1)²` のように、三角関数と多項式の商も有理型関数です。
ガンマ関数とリーマンゼータ関数: これらの特殊関数は、特定の点に極を持ちますが、それ以外の点では正則であるため、有理型関数として分類されます。

一方、対数関数 `f(z) = log(z)` や `f(z) = exp(1/z)` は有理型関数ではありません。これらの関数は、真性特異点と呼ばれる、極とは異なる種類の特異点を持ちます。

有理型関数の性質

有理型関数はいくつかの重要な性質を持っています。

有界閉領域上の零点と極: 有界閉領域上で定義される0でない有理型関数は、零点も極も有限個しか持ちません。
四則演算の閉じ方: 有理型関数同士で四則演算（ただし、0による除算を除く）を行った結果も、有理型関数となります。このため、同じ領域で定義される有理型関数の集合は体を成します。この体は複素数体の拡大体となります。

リーマン球面による解釈

リーマン球面を用いると、有理型関数は「リーマン球面への正則関数であって、常に無限大の値をとる定数関数ではないもの」と解釈できます。この視点から見ると、有理型関数の極は、リーマン球面上の無限遠点へ写像される複素数に対応します。

まとめ

有理型関数は、複素解析において基本的な関数の一つであり、その性質は複素関数論の多くの分野で重要な役割を果たします。正則関数の商として定義され、極以外の特異点を持たないという特徴を持ち、多様な関数を含みます。リーマン球面を用いた解釈も、その理解を深める上で役立ちます。

もう一度検索