解析接続で広がる複素関数と数値積分の実例
はじめに（直感的なイメージ）
解析接続とは、「関数の領土を拡大する」 手法です。正則関数が共通領域で一致すれば、その一致部分を足がかりにして、定義域を次々に広げていくことができます。
結論（本質と応用）
- 本質 解析接続は、正則関数が共通領域で一致することを利用し、同一性定理の仮定（共通部分が空でなくかつ連結） が満たされたときに唯一の解析的延長を与える手法です。
- 応用 この唯一の延長により、ガンマ関数やリーマンゼータ関数といった特殊関数を特異点（ただし孤立した極）を除く全平面に定義できます。さらに、複素作用をもつ系では積分経路を適切に変形すれば位相が一定となり、符号問題（積分値が大きな正負の打ち消し合いで極めて小さくなるため、相対誤差が指数的に増大する問題）を緩和でき、数値積分が安定化します。
（Ⅰ）解析接続の理論
1. 領域と正則関数
- 領域 連結で開いた集合。
- 正則関数 複素平面上で微分可能であり、任意の点 (z) に対して
[ \lim_{h\to0}\frac{f(z+h)-f(z)}{h} ]
が存在する関数です。正則関数は無限回微分でき、局所的にテイラー級数で表せます。
2. 同一性定理（唯一性定理）
(\Omega) を連結開集合とし、(\Omega) の内部に 蓄積点 (a) が存在するとき、
(\Omega) 上の正則関数 (f, g) が ある点とその近傍で (f(z)=g(z)) を満たせば、(f\equiv g) が (\Omega) 全体で成り立ちます。すなわち「領域内の一点とその近傍で一致すれば全体で一致」します。
3. 解析接続の定義と唯一性
(\Omega_{1},\Omega_{2}) を連結開集合とし、共通部分
[
U=\Omega_{1}\cap\Omega_{2}\neq\varnothing
]
が 空でなくかつ連結 であるとします。
(f_{1}:\Omega_{1}\to\mathbb{C},\;f_{2}:\Omega_{2}\to\mathbb{C}) が正則であり、(U) 上で (f_{1}=f_{2}) が成り立つとき、(f_{2}) は (f_{1}) の (\Omega_{2}) への 唯一の 解析接続です。唯一性は同一性定理の仮定が満たされた場合に限られます。たとえば二つの円が接点だけで交わり共通部分が連結でないときは、同一性定理は適用できず、解析接続は一意に決まりません。
注釈 対数関数や平方根のように多価になる正則関数は、分枝点と分枝切れ線を選択しなければ一価にできません。したがって、解析接続を議論する際は「一価正則関数であること」を前提にすると、唯一性の条件が明確になります。
（Ⅱ）代表的な解析接続例
1. 幾何級数と有理関数
級数
[
f(z)=1+z+z^{2}+z^{3}+\dots
]
は収束半径 1 で単位円板 (|z|<1) 内で正則です。同じ関数は有理式
[
f(z)=\frac{1}{1-z}
]
と書き換えることができ、(\mathbb{C}\setminus{1}) 上でも正則になります。単位円板が共通領域であり連結であるため、(1/(1-z)) が外側への唯一の解析接続となります。
2. ガンマ関数
[
\Gamma(z)=\int_{0}^{\infty} t^{\,z-1}e^{-t}\,dt \qquad (\operatorname{Re}z>0)
]
はこの領域で正則です。部分積分により得られる再帰式
[
\Gamma(z+1)=z\,\Gamma(z)
]
を繰り返し用いると、(\operatorname{Re}z>0) から (\operatorname{Re}z>-1,\operatorname{Re}z>-2,\dots) と段階的に領域を拡張でき、最終的に 全複素平面（ただし非正整数点は孤立した極）への解析的延長が得られます。
- 特異点の性質
- (z=0) は 単純極 であり、(\Gamma(z)\sim 1/z) と振る舞います。
- (z=-m\;(m=1,2,\dots)) も単純極で、留数は
[ \operatorname{Res}\bigl(\Gamma,-m\bigr)=\frac{(-1)^{m}}{m!} ]
で与えられます。
3. リーマンゼータ関数
ディリクレ級数
[
\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^{s}} \qquad (\operatorname{Re}s>1)
]
で定義されますが、次の交代級数に相当する式は (\operatorname{Re}s>0) で収束します。
[
\zeta(s)=\frac{1}{s-1}\sum_{n=1}^{\infty}\Bigl[\frac{n}{(n+1)^{s}}-\frac{n-s}{n^{s}}\Bigr]
]
さらに、関数等式
[
\zeta(s)=2^{s}\pi^{s-1}\sin!\Bigl(\frac{\pi s}{2}\Bigr)\,\Gamma(1-s)\,\zeta(1-s)
]
により、(s=1) の単純極を除く 全平面 へ解析的に拡張できます。たとえば (\zeta(-1)=-\tfrac{1}{12}) は、級数 (1+2+3+4+\dots) をそのまま収束させた結果ではなく、解析接続による正則化 の結果です。
（Ⅲ）物理への応用：複素作用系の数値積分
1. 背景：なぜ複素作用が現れるのか
量子色力学の有限密度系や実時間経路積分など、時間や化学ポテンシャルが実数でなく複素数になる 場面では、作用 (S(x)) が複素数になります。これに伴い指数因子 (e^{-S(x)}) が振動し、確率的解釈が困難になります。
2. 期待値と複素確率密度
統計的観測量 (O(x)) の期待値は
[
\langle O\rangle=\frac{\displaystyle\int_{-\infty}^{\infty} O(x)\,e^{-S(x)}\,dx}
{\displaystyle\int_{-\infty}^{\infty} e^{-S(x)}\,dx}
]
で表されます。ここで
[
p(x)=\frac{e^{-S(x)}}{\displaystyle\int_{-\infty}^{\infty} e^{-S(x)}\,dx}
]
は「確率密度」と呼ばれますが、作用が複素数になると (p(x)) も複素数となり、符号問題 が生じます。
符号問題の定義 積分値が極めて小さい一方で、被積分関数は大きな正負の振動を繰り返すため、数値的に相対誤差が指数的に増大し、信頼できる結果が得にくくなります。
3. 直接離散化の問題点
分母 (\int e^{-S(x)}dx) が激しく振動するため、実軸上で単純に離散化すると正負が相殺し、数値が不安定になることがあります。
4. 解析接続による経路変形の条件
- (S(z)) が局所的に正則で、特異点を含まない 領域に限り経路変形が可能です。
- 変形後の積分路は、端点が無限遠で指数因子が十分に減衰し、かつ特異点を通らない ことが必要です。
このとき、実変数 (x) を複素変数 (z) に拡張し、虚部が一定（すなわち (\operatorname{Im}S(z)=\text一定})）になる曲線上で積分すれば、指数因子 (e^{-S(z)}) の位相が一定となり、正負のキャンセルが抑えられます。結果として、サンプリング効率が向上し、数値積分が安定します。
レフシェッツ・シンブル は、関数の 定常点（(\partial S/\partial z=0)）から伸びる 最急降下経路 の集合です。これらの経路上では必ず (\operatorname{Im}S(z)) が一定になるため、位相が固定され、符号問題が緩和されます。
（図を用いると、実軸上の積分路が定常点を通り、45度傾いた直線（(\operatorname{Im}S) が一定）へ滑らかに変形する様子がイメージしやすくなります。定常点は「鞍点（サドル点）」とも呼ばれます。）
5. 例：ガウス型積分
作用を (S(x)=\frac{i}{2}x^{2}) とし、積分
[
I=\int_{-\infty}^{\infty} e^{-S(x)}dx
]
を考えます。解析接続により (S(z)=\frac{i}{2}z^{2}) と拡張でき、定常点条件 (\partial S/\partial z=0) から唯一の定常点は (z=0) です。
(\operatorname{Im}S(z)=0) を満たす曲線は
[
z=x+iy\;\Longrightarrow\; y^{2}-x^{2}=0\;\Longrightarrow\; y=\pm x
]
の二本の直線です。
- (y=+x)（(z=(1+i)x)） では指数因子が増大し、積分は発散します。
- (y=-x)（(z=(1-i)x)） では
[ I=\int_{-\infty}^{\infty} e^{-x^{2}}(1-i)\,dx=(1-i)\sqrt{\pi} ]
となり、収束するガウス積分に変換できます。
このように、定常点から伸びる最急降下経路（レフシェッツ・シンブル）を選べば、位相が一定になるため振動が抑えられ、積分は収束しやすくなる のです。高次元系でも、モンテカルロ法と組み合わせて複素経路をサンプリングすれば、実務上有用です。
まとめ
- 本質 正則関数が共通領域で一致すれば、同一性定理の仮定（共通部分が空でなくかつ連結）により唯一の解析的延長が得られます。
- 唯一性の条件 共通部分が連結であること、領域が開集合であることが必要で、これが満たされない場合は唯一性は失われます。多価関数の場合は分枝点と分枝切れ線の選択が別途必要です。
- 代表例 幾何級数と有理関数、ガンマ関数の再帰式による全平面への延長（(z=0) と負整数は単純極で、留数は (\frac{(-1)^{m}}{m!})）、リーマンゼータ関数の関数等式による全平面への拡張（(\zeta(-1)=-1/12) は解析接続の結果）。
- 応用例 複素作用系の期待値計算において、符号問題 を緩和するために定常点から伸びる最急降下経路（レフシェッツ・シンブル）へ経路を変形すれば、位相が一定になり振動が抑えられ、数値積分が安定化します。
解析接続は数学的に唯一の拡張手段であると同時に、特殊関数の全平面定義や複素作用系シミュレーションの信頼性向上といった実用的な利点を提供する重要な手法です。
