1 定義と基本概念
1.1 孤立特異点の定義
孤立特異点とは、関数がその点のまわりのある領域では定義されている一方で、その点そのものでは正則でない、あるいは連続に延長できないような特異点を指す。複素解析では、点 \(a\) の近傍で関数 \(f\) が定義されていても、\(a\) 自身を除くと滑らかな振る舞いを示しつつ、中心点だけに例外が現れる場合がある。このような状況を整理するために用いられる基本概念が孤立特異点である。
1.2 特異点の近傍と穴あき近傍
孤立特異点を考える際には、点 \(a\) を中心とする小さな円板から中心だけを抜いた「穴あき近傍」が重要になる。ここでは関数が通常どおり定義され、局所的な性質を調べることができる。中心点を除いた周辺で十分に規則的であれば、その点は孤立特異点として扱われる。逆に、近傍のどこを取っても障害が広がる場合は、孤立的とはいえない。
1.3 解析関数における位置づけ
解析関数では、局所的な展開や極限の性質が点ごとの分類に直結する。孤立特異点は、正則関数の延長可能性や、関数値が無限大へ発散するかどうか、あるいは不規則に振る舞うかを見分ける入口となる。複素関数論では、特異点のタイプを判別することで、積分計算や解析接続の議論が整理される。
2 分類
2.1 除去可能特異点
除去可能特異点は、点そのものの値を適切に定め直せば正則関数へ拡張できる特異点である。見かけ上は欠損があるが、本質的には関数の定義を補うだけで障害が消える。したがって、局所的には最も「軽い」タイプの特異点とみなされる。
2.1.1 判定条件
除去可能特異点かどうかは、関数が近傍で有界か、あるいは極限が有限値をもつかによって判定できることが多い。また、ローラン展開で負の冪の項が現れないことも代表的な条件である。これらの条件が満たされれば、欠けていた点に値を補って正則化できる。
2.1.2 具体例
代表例として、\(\sin z / z\) は \(z=0\) で定義を欠くが、極限をとると 1 に収束するため、0 を除去可能特異点として扱える。また、\((e^z-1)/z\) も同様に、0 で値を適切に定義し直すことで解析的に延長できる。これらは、形式上の不連続が実質的には単なる記述上の不足であることを示す。
2.2 極
極は、関数が特異点の近くで有限次数の冪に従って発散する場合をいう。除去可能特異点と異なり、点に値を補っても正則化はできないが、発散の仕方が整然としている点が特徴である。複素解析では、留数計算と密接に結びつく重要な分類である。
2.2.1 位数の定義
極の位数は、最小の正整数 \(m\) により \((z-a)^m f(z)\) が点 \(a\) で正則かつ非零値を取るとき、その \(m\) として定義される。位数が 1 なら単純極、2 以上なら高次の極という。位数が大きいほど、点の近くでの発散は急激になる。
2.2.2 ローラン級数による特徴づけ
ローラン級数では、極のまわりの展開に負の冪が有限個だけ現れる。最も負の項の次数が極の位数を決めるため、級数表示は分類の有力な手段になる。負の冪が無限に続く本質的特異点と対比すると、極は構造が明確で扱いやすい。
2.3 本質的特異点
本質的特異点は、除去可能特異点でも極でもない孤立特異点である。近傍での挙動が非常に不規則で、単純な発散や延長では説明できない。複素解析において最も強い振る舞いを示す特異点の一つである。
2.3.1 カゾラティ・ワイエルシュトラスの定理
この定理によれば、本質的特異点の近傍で関数値は、中心点を除いた任意の近傍においてほぼ全ての複素数値に近づく。したがって、局所像は極めて密で、規則的な極や除去可能特異点とは対照的である。点の近くでの予測可能性が著しく低いことを示す結果である。
2.3.2 ピカールの定理との関係
ピカールの定理は、本質的特異点の近傍で関数が、例外を高々一つ除いて複素平面上の値をとることを述べる。これは、関数の値域が非常に広がることを意味し、局所的な乱れが大域的にも強い影響を及ぼすことを示している。カゾラティ・ワイエルシュトラスの定理よりもさらに鋭い性質として理解される。
3 判定方法
3.1 極限による判定
特異点の種類は、点への極限の振る舞いから判定できる。関数値が有限な極限をもてば除去可能特異点、無限大へ発散すれば極である可能性が高い。極限が存在せず不規則であれば、本質的特異点が疑われる。
3.2 ローラン展開による判定
ローラン展開は、孤立特異点の分類において最も標準的な道具の一つである。負の冪項がなければ除去可能特異点、有限個なら極、無限個なら本質的特異点と判定できる。局所展開の形そのものが、特異点の性質を直接反映する。
3.3 留数との関係
留数は、ローラン展開における \(1/(z-a)\) の係数であり、孤立特異点の情報を要約する。極では留数が積分計算に直結し、除去可能特異点では留数が 0 になる。さらに本質的特異点でも留数は定義されるが、周辺の複雑な挙動の一部を抽出する役割を果たす。
4 性質と応用
4.1 近傍での関数の挙動
孤立特異点の近くでは、関数は分類ごとに異なる様相を示す。除去可能特異点では滑らかな補完が可能であり、極では大きさが急増する。本質的特異点では値が広く散らばり、局所的な規則性がほとんど失われる。
4.2 解析接続との関係
解析接続では、関数を定義域の外へ延ばす途中で特異点が障害になることがある。孤立特異点の理解は、どこまで延長できるか、またどの点で挙動が変質するかを見極める手掛かりとなる。特異点の分類は、接続可能性の境界を明確にする。
4.3 留数計算への応用
留数定理では、孤立特異点の留数を用いて複素積分を計算する。特に極をもつ関数では、積分路の内部にある特異点の寄与を個別に取り出せるため、実解析の積分評価にも応用される。これにより、複雑な積分が局所情報の和として扱える。
4.4 複素解析における役割
孤立特異点は、複素解析の構造を理解するうえで中心的な位置を占める。局所展開、積分公式、解析接続、値分布の理論など、多くの分野で基礎的な役割を果たす。特異点の分類は、関数の性格を簡潔に記述するための共通言語となっている。