解析接続

解析学において、解析接続  とはリーマン球面 C 上の領域で定義された有理型関数に対して定義域の拡張を行う手法の一つ、あるいは、その拡張によって得られた関数のことである。

1. 定義
-----

ここでは、有理型関数の解析接続を定義する。正則関数に限って定義することもあるが、有理型関数は、分母分子ともに正則関数である分数で表されるような関数なので、有理型関数の解析接続の定義は、正則関数の解析接続の定義も含んでいる。正則関数で定義する場合はローラン級数の代わりに、 テイラー級数を用いる。

1.1. 関数要素
---------

リーマン球面 C の領域 //D// において定義された有理型関数 //f// は任意の //w// ∈ //D// においてローラン展開が可能であり //k// を整数として

という級数と同一視できる。

//z// ∈ //D// が //f////w// の収束円内にあるとき //f// = //f////w// である。//f////w// を //w// を中心とする //f// の関数要素  という。 //w// = ∞ の時は //y// = 1///z// として、変数を //y// に取り替えて級数展開を行うものとする。

領域 //D// において定義された有理型関数 //f//, //g// があり、ある一点 //w// ∈ //D// において //f// と //g// の関数要素が一致するとき、一致の定理により領域 //D// 全体でこの2つの関数は一致する。

この事実によって、解析接続がうまく定義される。関数要素という言葉はワイエルシュトラスによるもので、元々は、収束冪級数と収束円の組として定義されている。関数要素とは収束冪級数だけでなく、それが定義されている領域との組み合わせで意味を持つ。この領域の張り合わせによって、解析接続というものが実現できるのである。

1.2. 解析接続
---------

//f////m// は、複素平面の領域 //D////m// を定義域とする有理型関数とする。

//D//1 ∩ //D//2 が空でないとし、その連結成分の一つ //P//1 を取る。 //f//1 と //f//2 の //w// ∈ //P//1 での関数要素が等しいとき、 連結成分 //P//1 全体で //f//1 ≡ //f//2 となる。このとき //f//2 を //f//1 の 直接解析接続  あるいは単に 直接接続  という。

//D//1 ∩ //D//2 は単連結とは限らず、複数の連結成分よりなっていることもあり、直接接続は連結成分 //P//1 の選び方に依存する。有理型関数 //f//1 に対し、 //f//1 の直接接続 //f//2 を取り、 //f//2 の直接接続 //f//3 を取り、 … と順に直接接続を取ってできる有理型関数の列

//f//1, //f//2, //f//3, …のことを解析接続  といい、その集合

{//f////n//|//n//∈N}を 解析関数  という。一般に直接接続の選び方によってできあがる解析接続は異なる。

2. 例
----

thumb|500px|等比級数とそれの解析接続を複素平面上で可視化したもの。左図の水色点はsを表しており、水色の円形領域は級数sumの収束半径を示している。
右図の連結した黄線は、sumの有限和sumにおいて、n=}}0}}からn=}}20}}までの値をプロットし、それを繋いだものである。緑点は1/1−sを表している。 sが収束半径内にあるとき、有限和の値は1/に吸い込まれる螺旋状に変化することがわかる。sが収束半径外にあるとき、有限和の値は中心を1/として外側に広がる螺旋状に変化することがわかる。※　以下の説明において//i// は虚数単位とする。複素数 //z// を変数とし、無限級数によって定義される関数

を考える。この関数は、収束半径が 1 であり

に収束する。すなわち |//z//| < 1 の時に //g// に収束する。

しかしながら、 //g// は //z//≠1 において定義され、 //f//0 と定義域が異なることが分かる。

※　以下では見通しをよくするために //g// と級数を比べながら説明するが、普通は解析接続を用いるときに //g// のように定義域の広い関数はわかっていない。ここで、 //g// を //f//0 の収束円内の点 //z// = − 1/2 を中心にテイラー展開してみれば

であり、その収束半径は  であるので |//z// + | <  において定義できることになる。つまり、 //f// から //f//− に取り替えることによって定義域を拡げられることがわかる。さらに //z// = − 1, − 2, … でのテイラー展開を考えることにより定義域を拡げていくことができる。この操作により定義域を拡げていけば 実部 Re が 1 より小さい任意の //z// に関して、適当な無限級数をとればその値を定義できることが分かる。

さらに //z// = /2 における //g// のテイラー展開

を考えると収束半径は 1/√2 である。 //O// によって、 //a// を中心とする半径 //r// の開円板を表すことにすると //f//0 は //O// において定義され、 //f///2 は //O///2,1/√2) において定義されていることになる。この 2つの開円板の共通部分では //f//0 = //f///2 であり

という関数を定義できる。この //h// は、共通部分では //f//0 = //f///2 の値を取り、それ以外では、定義されている方の関数の値を取る関数である。これは Re = 1 という線を越えて、 //f//0 の定義域を拡げることができることを意味している。このように級数で表現でき、定義域が異なるが、共通部分では同じ値を取る関数を用いて定義域を拡げていく手法、あるいは、 //f//0に対して 上で与えたような //h// のように定義域を拡げた関数のことを解析接続という。

3. 曲線に沿った解析接続
-------------

リーマン球面 C 上の点 //a//, //b// を結ぶ曲線、すなわち

φ : [0,1] → Cφ = //a//, φ = //b//という連続関数を考え、この曲線上の全ての点に関数要素を与える。与え方は無数にあるが、任意の //t//0 ∈ [0,1] および、ある正の実数 ε > 0 に対して |//t// − //t//0| ≤ ε を満たす //t// ∈ [0,1] における関数要素が //t//0 を中心とする関数要素の直接接続となるように各点に関数要素を与える。

要は十分近い点で定義されている関数要素同士は、互いに直接接続となるように定めるということである。このような関数要素の族を与えることが可能なとき、//a// を中心とする関数要素はこの曲線に沿って解析接続可能  であるという。曲線を定めると、その曲線に沿った解析接続は一意に決まる。

要は、与えられた曲線上に中心を持つ関数要素を次々と取っていくことで曲線に沿った解析接続ができる。//a// を中心とする関数要素 //f////a// が与えられたとき、 //a// を始点とするあらゆる連続曲線を考え、それらの曲線に沿った解析接続を行って得られる関数をワイエルシュトラスの解析関数という。

2つの曲線 φ0 と φ1 がホモトープであり、そのホモトピーが

//H//: [0,1] × [0,1] → C//H// = φ0 ,//H// = φ1を満たすとする。任意の  ∈ [0,1] × [0,1] に対し、 関数要素 //F// が定められ、この関数要素の集合は、ホモトピーで //s// を任意に固定して得られる曲線

φ//s// = //H//に沿った解析接続になっているとする。適当な //H// の近傍で //F// = //F//  であるならば、//H// の適当な近傍を取ると //F// = //F// となり終点で値が一致する。

このようなホモトピーと関数要素の集合が取れない場合は、ワイエルシュトラスの解析関数は一般に多価関数となる。つまり、「関数の定義域」//S// に穴があるとき一般には経路の連続変形の際にそこを無視できず、ホモトープでない曲線同士では、解析接続をしていっても同じ関数要素に辿り着くとは限らない。たとえば自然対数をで定義するとき、//z// = 0 の部分は特異点となりこのような関数要素はとることができない。この積分は 1 から //t// へ到る曲線を与えることによってその値が定まる。 //z// = 0 を通らない //z// = 1 を始点とする曲線をいろいろ考えることによって得られる解析関数は多価関数となり、対数関数は複素数の範囲では多価関数になるという事実に対応している。

4. 自然な境界
--------

べき級数が収束半径 r を持ち、この円板内で解析函数 f を定義すると仮定する。いま収束円の上の点を考えて、その点のある近傍に於いて f を解析接続できる場合はその点を正則 、そうでない場合には特異と呼ぶ。円のすべての点が特異であればその円は自然な境界である。

より一般には、ｆ が解析的である任意の連結な開領域に対して定義を拡張し領域の境界上の点を正則と特異に分類する。領域の境界の点がすべて特異であればそれは自然な境界であり、そのような領域は正則領域である。

5. 出典
-----

6. 関連項目
-------

リーマン球面
リーマン面
モノドロミー行列
数列の加速法