解析的連続とは？
かいせきてきれんぞく
解析的連続とは、正則関数を定義域の外側に拡張する「解析接続」の操作を指す日本語表現で、複素解析の核心的概念です。
解析的連続（analytic continuation）は、複素解析において正則関数をより広い定義域へ一意的に拡張する操作であり、「解析接続」とも呼ばれます。正則関数は定義域の一部での値によって全体が決定されるという「一致の原理」から、この拡張が一意的に存在することが保証されます。
解析的連続の基本構造は次のとおりです。開領域 D₁ で定義された正則関数 f₁ と、D₁ と交わりを持つ別の開領域 D₂ があるとき、D₁ ∩ D₂ 上で f₁ と一致する正則関数 f₂ を D₂ 上に定義できれば、f₂ を f₁ の解析的連続と呼びます。
この概念の重要な特徴を整理すると以下のとおりです。
- 拡張は一意的である（一致の原理による）
- 異なる経路をたどると異なる値になることがある（多価性の起源）
- リーマン面は多価関数を一価に整理するための舞台
- 自然境界（これ以上拡張できない境界）が存在する場合もある
代表的な例として、Re(s) > 1 で定義されるリーマンゼータ関数を複素平面全体に拡張すること、ガンマ関数の正の実軸から複素平面への拡張などがあります。物理学でも散乱行列の解析的性質や分散関係の導出に用いられる、数学・物理双方に重要な概念です。
使い方・例文
実軸上で定義されている実解析関数（例えば e^x や sin x）は、解析的連続によって複素平面全体に一意的に拡張でき、複素指数関数 e^z や複素三角関数 sin z が得られます。
この用語をシェア
最終更新: