1 定義と基本概念
ローラン級数は、複素関数をある点のまわりで正のべきと負のべきの和として表す展開である。テイラー級数が通常のべきのみを用いるのに対し、こちらは特異性を含む状況まで扱えるため、より広い範囲の解析に用いられる。中心点の近傍だけでなく、穴のあいた領域で成り立つ点が重要である。
1.1 ローラン級数の定義
点 \(a\) のまわりで、関数 \(f(z)\) が \[ f(z)=\sum_{n=-\infty}^{\infty} c_n (z-a)^n \] の形に表されるとき、これをローラン級数という。通常は、負の指数をもつ部分と、非負の指数をもつ部分に分けて考える。前者は特異性に関する情報を含み、後者は通常の級数展開に対応する。
1.2 テイラー級数との関係
関数が点 \(a\) で正則であれば、ローラン級数の負のべきはすべて消え、テイラー級数と一致する。したがって、テイラー級数はローラン級数の特殊な場合とみなせる。逆に、正則性が失われる場合には、負の部分が現れて関数の局所的な挙動を記述する。
1.3 正則関数と環状領域
ローラン級数が自然に現れるのは、中心点を取り囲む環状領域で関数が正則なときである。この領域では、中心そのものが含まれなくても級数展開が可能である。円板ではなく環状の範囲を考えることで、特異点の周囲における関数の性質を捉えやすくなる。
2 係数と表現
ローラン級数の係数は、関数の局所構造を反映する。正のべきの係数は滑らかな部分を、負のべきの係数は特異な部分を表す。したがって、係数の取り方を理解することは、展開そのものの意味をつかむうえで欠かせない。
2.1 係数の求め方
係数は、関数の周回積分や微分との対応を用いて決定できる。特に、ある円周上での値を使う方法は、解析関数の局所情報を抽出する手段として基本的である。展開可能な領域が与えられれば、係数はそこから一意に定まる。
2.1.1 積分による係数表示
係数 \(c_n\) は、中心 \(a\) のまわりの閉曲線 \(\gamma\) を用いて \[ c_n=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{(z-a)^{n+1}}\,dz \] で表せる。これは、複素積分によって級数係数を取り出す標準的な式である。曲線が領域内にあり、向きが適切であれば、この表示は広く用いられる。
2.1.2 正則部分と主要部分
ローラン級数は、非負のべきからなる正則部分と、負のべきからなる主要部分に分けられる。正則部分は点 \(a\) で滑らかに振る舞う成分であり、主要部分は特異性の種類や強さを示す。両者を区別することで、関数の近傍での構造が整理される。
2.2 一意性
ある環状領域でローラン級数が存在するとき、その係数列は一意である。同じ関数に対して異なる展開が複数あることはない。これは、複素解析における冪級数展開の強い決定性を示す性質である。
2.3 収束半径と収束域
ローラン級数の収束域は、一般のテイラー級数のような単一の円板ではなく、内側と外側の境界をもつ環状領域になることがある。収束範囲は、中心から最も近い特異点と、外側の制約によって決まる。したがって、どの範囲で級数が意味をもつかを確認することが重要である。
3 特異点との関係
ローラン級数の大きな意義は、特異点の性質を明確に読み取れる点にある。負のべきの並び方や有無によって、関数がどのような異常を示すかが判定しやすくなる。特異点の解析は、複素関数論の中心的話題の一つである。
3.1 孤立特異点
孤立特異点とは、ある点の近傍ではそれ以外に特異点が存在しない場合の特異点をいう。ローラン級数は、この種の点の近くで特に有効である。主要部分の様子から、特異点のタイプを区別できる。
3.1.1 除去可能特異点
主要部分が消える、あるいは本質的に現れない場合、その特異点は除去可能である。適切に値を補えば正則関数として拡張できる。ローラン級数では、負のべきが現れないことが特徴になる。
3.1.2 極
主要部分に有限個の負のべきしか現れないとき、その点は極である。負の次数の最小項は、発散の強さを示す指標となる。留数計算でも極は扱いやすく、応用上きわめて重要である。
3.1.3 本質的特異点
負のべきが無限に続く場合、その点は本質的特異点と呼ばれる。ここでは挙動が非常に複雑で、極のような単純な分類に収まらない。ローラン級数は、この複雑さを係数列の形で明示する。
3.2 主要部分の意味
主要部分は、特異点の核心を示す情報源である。どのべきがどの程度現れるかによって、関数の発散の仕方や局所的な異常が把握できる。特に留数は主要部分の特定係数として現れ、積分評価と直結する。
3.3 特異点の分類への応用
ローラン級数の形を調べることで、孤立特異点を除去可能特異点、極、本質的特異点に分類できる。この分類は、関数の解析接続や局所挙動の理解に役立つ。局所展開が、全体構造を読み解く手がかりになる点に特徴がある。
4 応用
ローラン級数は、理論的な分類にとどまらず、複素積分の計算や関数の延長にも利用される。とくに留数を介した手法は、実数積分の評価にも波及する。複素解析の実用面を支える基本道具の一つである。
4.1 留数と留数定理
留数は、ローラン級数の \((z-a)^{-1}\) の係数である。留数定理では、閉曲線積分が領域内の留数の総和で表される。これにより、複雑な積分が局所データへ還元される。
4.2 複素積分への応用
ローラン級数を用いると、特異点を含む積分路の近くで被積分関数を分解できる。これにより、積分値の主要部分を抽出しやすくなる。特に円周や閉曲線まわりの評価で、その効果は大きい。
4.3 解析接続への応用
解析接続では、関数をより広い領域へ延長する際に、局所展開が手がかりとなる。ローラン級数は、特異点の近傍での振る舞いを明示するため、延長可能性の判断に役立つ。境界を越える際の局所情報としても機能する。
</INTERNAL_LINK_CANDIDATES> テイラー級数（正則点での通常のべき級数展開） 正則関数（複素微分可能な関数） 環状領域（中心を除いた円環状の領域） 特異点（関数が正則でない点） 主要部分（負のべきからなるローラン級数の部分） 正則部分（非負のべきからなるローラン級数の部分） 留数（\((z-a)^{-1}\) の係数） 留数定理（閉曲線積分を留数の和で表す定理） 解析接続（関数をより広い領域へ延長する手法） 孤立特異点（近傍に他の特異点をもたない特異点） 除去可能特異点（値を補えば正則にできる特異点） 極（有限個の負のべきで表される特異点） 本質的特異点（負のべきが無限に続く特異点） 複素積分（複素平面上の経路積分） 収束域（級数が意味をもって収束する範囲） 収束半径（級数の収束を決める尺度） 周回積分（閉曲線に沿う積分） 係数（級数展開の各項の重み） 解析関数（局所的にべき級数で表せる関数）