一般化された超幾何関数

数学において、一般化された超幾何関数（いっぱんかされたちょうきかかんすう、）は、一般に
の形式で表される級数である。ただし、
はポッホハマー記号である。古典的にはガウスの超幾何関数
を単に超幾何級数という。なお、厳密にいうと、右辺の級数が超幾何級数であり、左辺の記号は原点の近傍で絶対収束する冪級数の和とそれから解析接続によって定義される解析関数としての超幾何関数を表すものである。
超幾何級数.
級数 formula_3 の連続する項の比が の有理関数であるとき、これを超幾何級数（）という。慣習的にはあらかじめ初項を括り出しておき、定義に も含め正規化する。定義から
となる の多項式 が存在する。
たとえば指数関数のテイラー級数
は超幾何級数で、この場合
ゆえ , となる。
分母分子を一次式の積へ分解することで有理関数を
の形に書くことができる。ここで は分母分子の最高次係数の比である。歴史的な理由により分母の因子 を仮定しているが、必要なら分子に同じ因子を掛ければよいので一般性は失わない。以上から級数は
の形に書くことができる。この右辺を通常
と表記する。
収束条件.
超幾何級数formula_10は、formula_11であれば発散する。formula_12の場合は、formula_13であれば絶対収束し、formula_14であれば発散する。formula_15の場合は、formula_16であれば絶対収束し、formula_17であれば発散する。但し、formula_18又はformula_19が正でない整数formula_20である場合は、formula_21となってformula_22で収束、或いはformula_23となってformula_24で発散する場合がある。
収束条件の証明.
第formula_25項をformula_26とする:
公比は
であるから、formula_13であれば絶対収束し、formula_14であれば発散する。formula_15の場合は、
であるから、
であり、
である。従って、 (Raabe's test)により、formula_35であれば絶対収束し、formula_36であれば発散する。
超幾何関数.
代数関数、指数関数、三角関数
正弦積分、余弦積分、指数積分