一般化された超幾何関数

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

:_rF_s \left[ \begin{matrix}a_1, a_2, \dotsc, a_r \\ b_1, b_2, \dotsc, b_s \end{matrix}; z \right] := \sum_{n=0}^{\infty} \frac{(a_1)_n (a_2)_n \dotsb (a_r)_n}{(b_1)_n (b_2)_n \dotsb (b_s)_n} \frac{z^n}{n!}

の形式で表される級数である。ただし、
:\begin{align}
(x)_0 &:= 1, \\
(x)_n &:= \prod_{k=0}^{n-1} (x+k) \\
\end{align}
はポッホハマー記号である。

;_{r+1}F_r型超幾何級数
:_{r+1}F_r \left[ \begin{matrix}\alpha_0, \alpha_1, \dotsc, \alpha_r \\ \beta_1, \dotsc, \beta_r \end{matrix}; x \right] = \sum_{k=0}^{\infty} \frac{(\alpha_0)_k (\alpha_1)_k \dotsb (\alpha_r)_k}{(1)_k (\beta_1)_k \dotsb (\beta_r)_k} {x^k}

## ガウスの超幾何関数
古典的にはガウスの超幾何関数

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

## 超幾何級数
級数  \textstyle \sum_{n=0}^\infty t_n  の連続する項の比が  の有理関数であるとき、これを超幾何級数（）という。慣習的にはあらかじめ初項を括り出しておき、定義に  も含め正規化する。定義から
: \frac{t_{n+1}}{t_n} = \frac{P(n)}{Q(n)} 
となる  の多項式  が存在する。

たとえば指数関数のテイラー級数
: \sum_{n=0}^\infty \frac{z^n}{n!} 
は超幾何級数で、この場合
: t_n = \frac{z^n}{n!}, \quad \frac{t_{n+1}}{t_n} = \frac{z}{n+1} 
ゆえ ,  となる。

分母分子を一次式の積へ分解することで有理関数を
: \frac{P(n)}{Q(n)} = \frac{(a_1 + n) (a_2 + n) \dotsm (a_r + n)}{(b_1 + n) (b_2 + n) \dotsm (b_s + n)} \frac{z}{n + 1} 
の形に書くことができる。ここで  は分母分子の最高次係数の比である。歴史的な理由により分母の因子  を仮定しているが、必要なら分子に同じ因子を掛ければよいので一般性は失わない。以上から級数は
: \sum_{n=0}^\infty t_n = \sum_{n=0}^\infty \frac{(a_1)_n \dotsm (a_r)_n}{(b_1)_n \dotsm (b_s)_n} \frac{z^n}{n!} 
の形に書くことができる。この右辺を通常
: _rF_s \left[ \begin{matrix}a_1, a_2, \dotsc, a_r \\ b_1, b_2, \dotsc, b_s \end{matrix}; z \right] 
と表記する。

## 収束条件
超幾何級数_rF_s[a_1,\dots,a_r;b_1,\dots,b_s;z]は、rであれば絶対収束し、r>s+1であれば発散する。r=s+1の場合は、|z|であれば絶対収束し、|z|>1であれば発散する。|z|=1の場合は、\textstyle\sum\real{a_j}であれば絶対収束し、\textstyle\sum\real{a_j}>\sum\real{b_j}であれば発散する。但し、a_j又はb_jが正でない整数k\in\mathbb{Z}\setminus\mathbb{N}である場合は、(a_j)_{n{\ge}k}=0となって{z}で収束、或いは(b_j)_{n{\ge}k}=0となってz\ne0で発散する場合がある。
### 収束条件の証明
第n項をc_nとする:

:\begin{align}
{}_rF_{r-1} \left[ \begin{matrix} a_1, a_2, \dotsc, a_r \\ b_1, b_2, \dotsc, b_{r-1} \end{matrix}; z \right] = \sum_{n=0}^{\infty} c_nz^n \\
c_n = \frac{(a_1)_n (a_2)_n \dotsb (a_{r-1})_n (a_r)_n}{(b_1)_n (b_2)_n \dotsb (b_{r-1})_n \; n!}
\end{align}

公比は
:\lim_{n\to\infty} \frac{c_{n+1}}{c_{n}} = \lim_{n\to\infty} \frac{(a_1+n) (a_2+n) \dotsb (a_{r-1}+n) (a_r+n)}{(b_1+n) (b_2+n) \dotsb (b_{r-1}+n)(1+n)}z = z
であるから、|z|であれば絶対収束し、|z|>1であれば発散する。|z|=1の場合は、
:\begin{align}
\frac{a+n}{n} &= 1+\frac{a}{n}+O\left(n^{-2}\right)\qquad(n{\gg}a)\\
\frac{n}{b+n} &= 1-\frac{b}{n}+O\left(n^{-2}\right)\qquad(n{\gg}a)\\
\end{align}
であるから、
:\begin{align}
\frac{c_{n+1}}{c_{n}}
&= \prod_{j=1}^{r} \left( 1 + \frac{a_j}{n} \right) \cdot \prod_{j=1}^{r-1} \left( 1 - \frac{b_j}{n} \right) \cdot \left( 1 - \frac{1}{n} \right) + O \left( n^{-2} \right) \\
&= 1 + \sum_{j=1}^{r} \frac{a_j}{n} - \sum_{j=1}^{r-1} \frac{b_j}{n} - \frac{1}{n} + O \left( n^{-2} \right) \qquad (n \gg a_j, b_k) \\
\left| \frac{c_{n+1}}{c_{n}} \right|^2
&= \left( 1 + \sum_{j=1}^{r} \frac{\real{a_j}}{n} - \sum_{j=1}^{r-1} \frac{\real{b_j}}{n} - \frac{1}{n} \right)^2 + \left( \sum_{j-1}^{r} \frac{\image{a_j}}{n} - \sum_{j=1}^{r-1} \frac{\image{b_j}}{n} \right)^2 + O \left( n^{-2} \right) \\
&= 1 + \frac{2}{n} \left( \sum_{j=1}^{r} \real{a_j} - \sum_{j=1}^{r-1} \real{b_j} - 1 \right) + O \left( n^{-2} \right) \qquad (n \gg a_j, b_k) \\
\left| \frac{c_{n}}{c_{n+1}} \right|
&= 1 - \frac{1}{n} \left( \sum_{j=1}^{r} \real{a_j} - \sum_{j=1}^{r-1} \real{b_j} - 1 \right) + O \left( n^{-2} \right) \qquad (n \gg a_j, b_k)
\\
\end{align}

であり、
:\lim_{n\to\infty}n\left(\frac-1\right)-1=-\left(\sum_{j=1}^{r}\real{a_j}-\sum_{j=1}^{r-1}\real{b_j}\right)
である。従って、ラーベの判定法 (Raabe's test)により、\textstyle\sum\real{a_j}-\sum\real{b_j}であれば絶対収束し、\textstyle\sum\real{a_j}-\sum\real{b_j}>0であれば発散する。

## 超幾何関数

代数関数、指数関数、三角関数
:\begin{align}
(1-z)^{-a} &= \sum_{n=0}^{\infty}\frac{(-a)(-a-1)\cdots(-a-n+1)}{n!}(-z)^n={_1F_0}\left[\begin{matrix}a\\-\end{matrix};z\right]\\
e^z &= \sum_{n=0}^{\infty}\frac{1}{n!}z^n={_0F_0}\left[\begin{matrix}-\\-\end{matrix};z\right]\\
\sin z &= z\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)!}z^{2n}=z\cdot{_0F_1}\left[\begin{matrix}-\\\frac{3}{2}\end{matrix};-\frac{z^2}{4}\right]\\
\cos z &= \sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}z^{2n}={_0F_1}\left[\begin{matrix}-\\\frac{1}{2}\end{matrix};-\frac{z^2}{4}\right]\\
\end{align}

正弦積分、余弦積分、指数積分
:\begin{align}
\operatorname{Si}(z) &= z\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)(2n+1)!}z^{2n}=z\cdot{_1F_2}\left[\begin{matrix}\frac{1}{2}\\\frac{3}{2},\frac{3}{2}\end{matrix};-\frac{z^2}{4}\right]\\
\operatorname{Ci}(z) &= \gamma+\log{z}+\sum_{n=1}^{\infty}\frac{(-1)^n}{(2n)(2n)!}z^{2n}=\gamma+\log{z}-\frac{z^2}{4}\cdot{_2F_3}\left[\begin{matrix}1,1\\2,2,\frac{3}{2}\end{matrix};-\frac{z^2}{4}\right]\\
\operatorname{Ei}(z) &= \gamma+\log{z}+\sum_{n=1}^{\infty}\frac{1}{nn!}z^{n}=\gamma+\log{z}+z\cdot{_2F_2}\left[\begin{matrix}1,1\\2,2\end{matrix};z\right]\\
\end{align}

## 脚注

## 参考文献

*
* 

## 関連項目
* 超幾何関数
* 
* オイラー積分
* 特殊関数
** ガンマ関数
** ベッセル関数
* q超幾何級数（基本的な超幾何級数）
* 
*  ・・・ さらに一般化された超幾何関数 - 
* （アペル級数） ・・・ 2変数に一般化 - ポール・エミール・アペル
* （アンベール級数、アンベールの超幾何関数） ・・・ 合流型超幾何関数を2変数に一般化 - 
* 超冪根（ブリング根） ・・・ 一般化された超幾何級数で書ける。一般的な五次方程式は、超冪根を代数的操作と許容した場合、代数的に解ける。
* （ホルンの超幾何関数） - 
* （カンペドフェリエ関数、カンペ・ド・フェリエ関数） ・・・ 2変数に一般化（一般的な六次方程式の解法で使用） - 
* （ラウリチェッラ超幾何級数） 3変数、さらなる多変数化 - 
* ハロルド・エクストン
* H.M.スリヴァスタヴァ (Hari Mohan Srivastava)
* ダオウスト(Martha C. Daoust)（マーサ・クリスティーン・ダオスト (Martha Christine Daoust)）
*  -