複素指数函数

複素指数函数（ふくそしすうかんすう、）とは、数学の複素解析における複素関数で、実関数としての自然指数関数 （ はネイピア数）を複素数全体に解析接続したものである。
概説.
具体的には、複素指数函数は次の冪級数で与えられる：
したがって、複素指数函数は整関数である。
オイラーの公式、複素数についての指数法則： より、複素指数函数は、実関数で代数的に与えられる：
複素数全体からなる加法群を , 非零複素数からなる乗法群を で表すとき、複素指数函数 は、位相群の準同型（連続指標）のうちで微分可能かつ を満たすものとして特徴づけられる。
実数 を
へ対応させる関数を純虚指数函数といい、右辺を "" の省略形として で表す。このとき複素指数函数 は
と表される。これを複素指数函数の定義として採用することもある。
函数 は実数の加法群 から絶対値 の複素数の乗法群 への全射な連続指標であり、そのようなものの中で （つまり周期 あるいは核 ）のものとして特徴づけられる。
複素数 （ は実数）に対する複素指数函数は、
ガウス平面内の帯 への制限 () は一価の函数として全単射となり、 上でこの函数の一価な逆函数として対数の主値 が定まる。この は正の実半軸 上の実函数としての自然対数函数 の への解析的延長であり、特に に対して を満たす。複素対数函数は の更なる延長として formula_3 で与えられるが、これは大域的には一価でなく、特異点 を囲む閉曲線に沿った積分の寄与によって無限多価性を示す。それでも非零複素数 に対して等式 は常に成り立つ（その意味では はまだ の「逆函数」である）。
定義.
複素指数函数の定義の仕方は大まかに2通りある。
これは整関数である。
これら2つの定義が同値であることを確かめるには、
を証明すればよい。
複素変数への拡張は他にも方法があり、マクローリン展開を用いずに微分の自己再帰性と初期条件だけを与えた正則函数を考えても同じ結論を得ることができる。
基本的な性質.
 は実数として、 と書く。以下の性質は定義から直ちに確認できる:
さらに以下の性質は重要である：
これらは三角函数の性質から導くこともできるし、級数による定義に対してコーシー積を直接計算しても示せる。あるいは実指数函数の対応する性質に解析接続の一般論を適用しても示せる。