一般化された超幾何関数

数学において、一般化された超幾何関数（いっぱんかされたちょうきかかんすう、）は、一般に

の形式で表される級数である。ただし、

はポッホハマー記号である。古典的にはガウスの超幾何関数

を単に超幾何級数という。なお、厳密にいうと、右辺の級数が超幾何級数であり、左辺の記号は原点の近傍で絶対収束する冪級数の和とそれから解析接続によって定義される解析関数としての超幾何関数を表すものである。

超幾何級数 
級数  の連続する項の比が  の有理関数であるとき、これを超幾何級数（）という。慣習的にはあらかじめ初項を括り出しておき、定義に  も含め正規化する。定義から

となる  の多項式  が存在する。

たとえば指数関数のテイラー級数

は超幾何級数で、この場合

ゆえ ,  となる。

分母分子を一次式の積へ分解することで有理関数を

の形に書くことができる。ここで  は分母分子の最高次係数の比である。歴史的な理由により分母の因子  を仮定しているが、必要なら分子に同じ因子を掛ければよいので一般性は失わない。以上から級数は

の形に書くことができる。この右辺を通常

と表記する。

収束条件 
超幾何級数は、であれば絶対収束し、であれば発散する。の場合は、であれば絶対収束し、であれば発散する。の場合は、であれば絶対収束し、であれば発散する。但し、又はが正でない整数である場合は、となってで収束、或いはとなってで発散する場合がある。

収束条件の証明 
第項をとする:

公比は

であるから、であれば絶対収束し、であれば発散する。の場合は、

であるから、

であり、

である。従って、ラーベの判定法 (Raabe's test)により、であれば絶対収束し、であれば発散する。

超幾何関数 

代数関数、指数関数、三角関数

正弦積分、余弦積分、指数積分

脚注

参考文献

関連項目 
オイラー積分
ガンマ関数
q超幾何級数
:en:confluent hypergeometric function
:en:elliptic hypergeometric series
特殊関数
ベッセル関数
  ・・・ さらに一般化された超幾何関数
  ・・・ 2変数に一般化
 超冪根（ブリング根） ・・・ 一般化された超幾何級数で書ける。一般的な五次方程式は、超冪根を代数的操作と許容した場合、代数的に解ける。
 （カンペドフェリエ関数、カンペ・ド・フェリエ関数） ・・・ 2変数に一般化（一般的な六次方程式の解法で使用）

離散数学
特殊関数
常微分方程式
級数

数学に関する記事