一般化された超幾何関数

テンプレート:複数の問題 数学において、一般化された超幾何関数（いっぱんかされたちょうきかかんすう、テンプレート:Lang-en-short）は、一般に

${}_r{F}_s[\begin{array}{c}{a}_1,a_2,\dots ,a_r\\ b_1,b_2,\dots ,b_s\end{array};z]:=\sum _{n=0}^{\mathrm{\infty }}\frac{(a_1{)}_n(a_2{)}_n\cdots (a_r{)}_n}{(b_1{)}_n(b_2{)}_n\cdots (b_s{)}_n}\frac{z^n}{n!}$

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

$\begin{array}{cc}(x{)}_0& :=1,\\ (x{)}_n& :=\prod _{k=0}^{n-1}(x+k)\\ \end{array}$

はポッホハマー記号である。

${}_{r+1}{F}_r$型超幾何級数

${}_{r+1}{F}_r[\begin{array}{c}{\alpha }_0,{\alpha }_1,\dots ,{\alpha }_r\\ {\beta }_1,\dots ,{\beta }_r\end{array};x]=\sum _{k=0}^{\mathrm{\infty }}\frac{({\alpha }_0{)}_k({\alpha }_1{)}_k\cdots ({\alpha }_r{)}_k}{(1{)}_k({\beta }_1{)}_k\cdots ({\beta }_r{)}_k}{x}^k$

ガウスの超幾何関数

古典的にはガウスの超幾何関数 テンプレート:Indent を単に超幾何級数というテンプレート:Sfn。なお、厳密にいうと、右辺の級数が超幾何級数であり、左辺の記号は原点の近傍で絶対収束する冪級数の和とそれから解析接続によって定義される解析関数としての超幾何関数を表すものである。

超幾何級数

級数 ${\sum }_{n=0}^{\mathrm{\infty }}{t}_n$ の連続する項の比が テンプレート:Mvar の有理関数であるとき、これを超幾何級数（テンプレート:Lang）という。慣習的にはあらかじめ初項を括り出しておき、定義に テンプレート:Math も含め正規化する。定義から

$\frac{t_{n+1}}{t_n}=\frac{P(n)}{Q(n)}$

となる テンプレート:Mvar の多項式 テンプレート:Math が存在する。

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

$\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{n!}$

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

$t_n=\frac{z^n}{n!},\frac{t_{n+1}}{t_n}=\frac{z}{n+1}$

ゆえ テンプレート:Math, テンプレート:Math となる。

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

$\frac{P(n)}{Q(n)}=\frac{(a_1+n)(a_2+n)\cdots (a_r+n)}{(b_1+n)(b_2+n)\cdots (b_s+n)}\frac{z}{n+1}$

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

$\sum _{n=0}^{\mathrm{\infty }}{t}_n=\sum _{n=0}^{\mathrm{\infty }}\frac{(a_1{)}_n\cdots (a_r{)}_n}{(b_1{)}_n\cdots (b_s{)}_n}\frac{z^n}{n!}$

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

${}_r{F}_s[\begin{array}{c}{a}_1,a_2,\dots ,a_r\\ b_1,b_2,\dots ,b_s\end{array};z]$

と表記する。

収束条件

超幾何級数${}_r{F}_s[a_1,\dots ,a_r;b_1,\dots ,b_s;z]$は、$r<s+1$であれば絶対収束し、$r>s+1$であれば発散する。$r=s+1$の場合は、$|z|<1$であれば絶対収束し、$|z|>1$であれば発散する。$|z|=1$の場合は、$\sum \mathrm{\Re }{a}_j<\sum \mathrm{\Re }{b}_j$であれば絶対収束し、$\sum \mathrm{\Re }{a}_j>\sum \mathrm{\Re }{b}_j$であれば発散する。但し、$a_j$又は$b_j$が正でない整数$k\in \mathbb{Z}\setminus \mathbb{N}$である場合は、$(a_j{)}_{n\ge k}=0$となって$z<\mathrm{\infty }$で収束、或いは$(b_j{)}_{n\ge k}=0$となって$z\ne 0$で発散する場合がある。

収束条件の証明

第$n$項を$c_n$とする:

$\begin{array}{c}{}_r{F}_{r-1}[\begin{array}{c}{a}_1,a_2,\dots ,a_r\\ b_1,b_2,\dots ,b_{r-1}\end{array};z]=\sum _{n=0}^{\mathrm{\infty }}{c}_n{z}^n\\ c_n=\frac{(a_1{)}_n(a_2{)}_n\cdots (a_{r-1}{)}_n(a_r{)}_n}{(b_1{)}_n(b_2{)}_n\cdots (b_{r-1}{)}_{n}n!}\end{array}$

公比は

$\underset{n\to \mathrm{\infty }}{\lim }\frac{c_{n+1}}{c_n}=\underset{n\to \mathrm{\infty }}{\lim }\frac{(a_1+n)(a_2+n)\cdots (a_{r-1}+n)(a_r+n)}{(b_1+n)(b_2+n)\cdots (b_{r-1}+n)(1+n)}z=z$

であるから、$|z|<1$であれば絶対収束し、$|z|>1$であれば発散する。$|z|=1$の場合は、

$\begin{array}{cc}\frac{a+n}{n}& =1+\frac{a}{n}+O\left(n^{-2}\right)(n\gg a)\\ \frac{n}{b+n}& =1-\frac{b}{n}+O\left(n^{-2}\right)(n\gg a)\\ \end{array}$

であるから、

$\begin{array}{cc}\frac{c_{n+1}}{c_n}& =\prod _{j=1}^r(1+\frac{a_j}{n})\cdot \prod _{j=1}^{r-1}(1-\frac{b_j}{n})\cdot (1-\frac{1}{n})+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)(n\gg a_j,b_k)\\ {\left|\frac{c_{n+1}}{c_n}\right|}^2& ={(1+\sum _{j=1}^r\frac{\mathrm{\Re }{a}_j}{n}-\sum _{j=1}^{r-1}\frac{\mathrm{\Re }{b}_j}{n}-\frac{1}{n})}^2+{(\sum _{j-1}^r\frac{\mathrm{\Im }{a}_j}{n}-\sum _{j=1}^{r-1}\frac{\mathrm{\Im }{b}_j}{n})}^2+O\left(n^{-2}\right)\\ & =1+\frac{2}{n}(\sum _{j=1}^r\mathrm{\Re }{a}_j-\sum _{j=1}^{r-1}\mathrm{\Re }{b}_j-1)+O\left(n^{-2}\right)(n\gg a_j,b_k)\\ \left|\frac{c_n}{c_{n+1}}\right|& =1-\frac{1}{n}(\sum _{j=1}^r\mathrm{\Re }{a}_j-\sum _{j=1}^{r-1}\mathrm{\Re }{b}_j-1)+O\left(n^{-2}\right)(n\gg a_j,b_k)\\ \end{array}$

であり、

$\underset{n\to \mathrm{\infty }}{\lim }n(\frac{|c_n|}{|c_{n+1}|}-1)-1=-(\sum _{j=1}^r\mathrm{\Re }{a}_j-\sum _{j=1}^{r-1}\mathrm{\Re }{b}_j)$

である。従って、ラーベの判定法 (Raabe's test)により、$\sum \mathrm{\Re }{a}_j-\sum \mathrm{\Re }{b}_j<0$であれば絶対収束し、$\sum \mathrm{\Re }{a}_j-\sum \mathrm{\Re }{b}_j>0$であれば発散する。

超幾何関数

テンプレート:Main 代数関数、指数関数、三角関数

$\begin{array}{cc}(1-z{)}^{-a}& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-a)(-a-1)\cdots (-a-n+1)}{n!}(-z{)}^n={}_1{F}_0[\begin{array}{c}a\\ -\end{array};z]\\ e^z& =\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}{z}^n={}_0{F}_0[\begin{array}{c}-\\ -\end{array};z]\\ \sin z& =z\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n+1)!}{z}^{2n}=z\cdot {}_0{F}_1[\begin{array}{c}-\\ \frac{3}{2}\end{array};-\frac{z^2}{4}]\\ \cos z& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n)!}{z}^{2n}={}_0{F}_1[\begin{array}{c}-\\ \frac{1}{2}\end{array};-\frac{z^2}{4}]\\ \end{array}$

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

$\begin{array}{cc}\mathrm{Si}(z)& =z\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n+1)(2n+1)!}{z}^{2n}=z\cdot {}_1{F}_2[\begin{array}{c}\frac{1}{2}\\ \frac{3}{2},\frac{3}{2}\end{array};-\frac{z^2}{4}]\\ \mathrm{Ci}(z)& =\gamma +\log z+\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n)(2n)!}{z}^{2n}=\gamma +\log z-\frac{z^2}{4}\cdot {}_2{F}_3[\begin{array}{c}1,1\\ 2,2,\frac{3}{2}\end{array};-\frac{z^2}{4}]\\ \mathrm{Ei}(z)& =\gamma +\log z+\sum _{n=1}^{\mathrm{\infty }}\frac{1}{nn!}{z}^n=\gamma +\log z+z\cdot {}_2{F}_2[\begin{array}{c}1,1\\ 2,2\end{array};z]\\ \end{array}$

参考文献

• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• 超幾何関数
• テンプレート:仮リンク
• オイラー積分
• 特殊関数
  • ガンマ関数
  • ベッセル関数
• q超幾何級数（基本的な超幾何級数）
• テンプレート:仮リンク
• テンプレート:仮リンク ・・・ さらに一般化された超幾何関数
• テンプレート:仮リンク（アペル級数） ・・・ 2変数に一般化
• テンプレート:仮リンク（アンベール級数、アンベールの超幾何関数） ・・・ 合流型超幾何関数を2変数に一般化
• 超冪根（ブリング根） ・・・ 一般化された超幾何級数で書ける。一般的な五次方程式は、超冪根を代数的操作と許容した場合、代数的に解ける。
• テンプレート:仮リンク（カンペドフェリエ関数、カンペ・ド・フェリエ関数） ・・・ 2変数に一般化（一般的な六次方程式の解法で使用）
• テンプレート:仮リンク（ラウリチェッラ超幾何級数） 3変数、さらなる多変数化