超幾何関数

ガウスの超幾何関数 テンプレート:Math の複素数平面上における挙動

数学における超幾何関数（ちょうきかかんすう、テンプレート:Lang-en-short）とは、超幾何微分方程式なる常微分方程式の解となる特殊関数をいう。超幾何関数は、絶対値が テンプレート:Math より小さい複素数 テンプレート:Math を引数として、以下の超幾何級数

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]\equiv \sum _{0⩽n}\frac{(a{)}_n(b{)}_n}{(c{)}_n}\frac{z^n}{n!}$

で定義される関数 テンプレート:Math をいい、多くの初等関数や特殊関数を包含する。ここで テンプレート:Math はポッホハマー記号で表した昇べきである。厳密には、左辺の記号は原点の近傍で絶対収束するべき級数の和と、それから解析接続によって定義される解析関数としての超幾何関数を表すものである。ポッホハマー記号のガンマ関数による表現を用いれば、超幾何関数は

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=\frac{𝛤(c)}{𝛤(a)𝛤(b)}\sum _{0⩽n}\frac{𝛤(a+n)𝛤(b+n)}{𝛤(c+n)}\frac{z^n}{n!}$

と書き直すこともできる。このことからもわかるように、右辺の級数が収束するためには テンプレート:Math が零もしくは負の整数ではないことが必要である。超幾何関数は、ガウスがこの関数について詳しく研究していたことから、彼の名前を冠してガウスの超幾何関数と呼ばれることもある。

概要

以下の形をした二階線型常微分方程式をガウスの微分方程式または超幾何微分方程式という。

$z(z-1)\frac{d^{2}w}{d{z}^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw=0$

この微分方程式は テンプレート:Math, テンプレート:Math, テンプレート:Math においてテンプレート:仮リンクをもち、それ以外の点では特異点をもたない。各特異点での一般解はガウスの超幾何関数を用いて表せる事が知られており、適当な定数 テンプレート:Math, テンプレート:Math を用いて

$w=c_1\cdot {}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]+c_2\cdot z^{1-c}{}_2{F}_1[\begin{array}{c}a-c+1,b-c+1\\ 2-c\end{array}\mid z]$

と表せる。超幾何級数そのものはオイラーがよく研究したが、最初の体系的な扱いをしたのはガウスであるとされる。その後の研究には、クンマーやリーマンらによる、超幾何関数が満たす微分方程式を用いた超幾何関数の基本的な特徴付けなどがある。超幾何微分方程式の確定特異点のうち、テンプレート:Math を テンプレート:Math に「融合させて」一級の不確定特異点とした二階線形常微分方程式

$z\frac{d^{2}w}{d{z}^2}+(b-z)\frac{dw}{dz}-aw=0$

は（クンマーの）合流型超幾何微分方程式と呼ばれ、この一般解をテンプレート:仮リンクという。

諸関数の表現

超幾何関数は、多くの初等関数や特殊関数を包含する。さらに一般化された超幾何関数を用いれば、より多くの関数を表現することができる。

有理関数

$\frac{1}{(1-z{)}^a}=\sum _{0⩽n}\frac{(a{)}_n}{n!}{z}^n={}_2{F}_1[\begin{array}{c}a,-\\ -\end{array}\mid z]$

対数関数

$\begin{array}{cc}& \log (1+z)=z\sum _{0⩽n}\frac{(-1{)}^n}{n+1}{z}^n=z{}_2{F}_1[\begin{array}{c}1,1\\ 2\end{array}\mid -z]\\ & \log \frac{1+z}{1-z}=2z\sum _{0⩽n}\frac{1}{2n+1}{z}^{2n}=2z{}_2{F}_1[\begin{array}{c}1/2,1\\ 3/2\end{array}\mid z^2]\end{array}$

逆三角関数

$\begin{array}{cc}& \arcsin z=z\sum _{0⩽n}\frac{(\genfrac{}{}{0ex}{}{2n}{n})}{2^{2n}(2n+1)}{z}^{2n}=z{}_2{F}_1[\begin{array}{c}1/2,1/2\\ 3/2\end{array}\mid z^2]\\ & \arctan z=z\sum _{0⩽n}\frac{(-1{)}^n}{2n+1}{z}^{2n}=z{}_2{F}_1[\begin{array}{c}1/2,1\\ 3/2\end{array}\mid -z^2]\end{array}$

完全楕円積分

$\begin{array}{cc}& K(k)=\frac{\pi }{2}\sum _{0⩽n}\frac{{(\genfrac{}{}{0ex}{}{2n}{n})}^2}{2^{4n}}{k}^{2n}=\frac{\pi }{2}{}_2{F}_1[\begin{array}{c}1/2,1/2\\ 1\end{array}\mid k^2]\\ & E(k)=\frac{\pi }{2}\sum _{0⩽n}\frac{{(\genfrac{}{}{0ex}{}{2n}{n})}^2}{2^{4n}(1-2n)}{k}^{2n}=\frac{\pi }{2}{}_2{F}_1[\begin{array}{c}1/2,-1/2\\ 1\end{array}\mid k^2]\\ \end{array}$

不完全ベータ関数

$B_z(a,b)=\underset{0}{\overset{z}{\int }}{t}^{a-1}(1-t{)}^{b-1}dt=\frac{z^a}{a}{}_2{F}_1[\begin{array}{c}a,1-b\\ a+1\end{array}\mid z]$

ルジャンドル陪多項式

$P_{\lambda }^{\mu }(z)=\frac{1}{𝛤(1-\mu )}\left(\frac{1+z}{1-z}{)}^{\mu /2}{}_2{F}_1\right[\begin{array}{c}-\lambda ,\lambda +1\\ 1-\mu \end{array}\mid \frac{1-z}{2}]$

テンプレート:仮リンク

$P_n^{(\alpha ,\beta )}(z)=\frac{(\alpha +1{)}_n}{n!}{}_2{F}_1[\begin{array}{c}-n,\alpha +\beta +n+1\\ \alpha +1\end{array}\mid \frac{1-z}{2}]$

積分表現

オイラー積分表示

ガウスの超幾何関数は、以下のようにオイラー積分

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}(1-tz{)}^{-a}dt$

として表現することができる。ここで テンプレート:Math である。ベータ関数を用いれば

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=\frac{1}{B(b,c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}(1-tz{)}^{-a}dt$

となる。

証明

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]& =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\frac{𝛤(b)𝛤(c-b)}{𝛤(c)}\sum _{0⩽n}\frac{(a{)}_n(b{)}_n}{(c{)}_n}\frac{z^n}{n!}\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\sum _{0⩽n}\frac{𝛤(b+n)𝛤(c-b)(a{)}_n}{𝛤(c+n)}\frac{z^n}{n!}\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\sum _{0⩽n}B(b+n,c-b)(a{)}_n\frac{z^n}{n!}\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\sum _{0⩽n}\underset{0}{\overset{1}{\int }}{t}^{b+n-1}(1-t{)}^{c-b-1}dt(a{)}_n\frac{z^n}{n!}\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}\sum _{0⩽n}(a{)}_n\frac{(tz{)}^n}{n!}dt\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}{}_2{F}_1[\begin{array}{c}a,-\\ -\end{array}\mid tz]dt\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}(1-tz{)}^{-a}dt\end{array}$

テンプレート:仮リンク表示

不等式 テンプレート:Math を満たす任意の複素数 テンプレート:Math に対し、

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=\frac{𝛤(c)}{𝛤(a)𝛤(b)}\frac{1}{2\pi i}\underset{-i\mathrm{\infty }}{\overset{+i\mathrm{\infty }}{\int }}\frac{𝛤(a+t)\mathrm{\Gamma }(b+t)𝛤(-t)}{𝛤(c+t)}(-z{)}^{t}dt$

が成り立つ。

特殊値の公式

ガウスの超幾何定理

以下の式をガウスの超幾何定理（英: Gaussian hypergeometric theorem）という。

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid 1]=\frac{𝛤(c)𝛤(c-a-b)}{𝛤(c-a)𝛤(c-b)}$

ここに テンプレート:Math である。また、この式に テンプレート:Math を代入すると、テンプレート:仮リンクを得る。

${}_2{F}_1[\begin{array}{c}-k,b\\ c\end{array}\mid 1]=\frac{\mathrm{\Gamma }(c)}{𝛤(c+k)}\frac{\mathrm{\Gamma }(c-b+k)}{𝛤(c-b)}=\frac{(c-b{)}_k}{(c{)}_k}$

証明

ガウスの超幾何関数のオイラー積分表示に テンプレート:Math を代入する。

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid 1]& =\frac{𝛤(c)}{𝛤(a)𝛤(c-a)}\underset{0}{\overset{1}{\int }}{t}^{a-1}(1-t{)}^{c-a-b-1}dt\\ & =\frac{𝛤(c)}{𝛤(a)𝛤(c-a)}B(a,c-a-b)\\ & =\frac{𝛤(c)𝛤(c-a-b)}{𝛤(c-a)𝛤(c-b)}\end{array}$

クンマーの定理

以下の式をクンマーの定理（英: Kummer's theorem）という。

${}_2{F}_1[\begin{array}{c}a,b\\ a-b+1\end{array}\mid 1]=\frac{𝛤(\frac{a}{2}+1)𝛤(a-b+1)}{𝛤(a+1)𝛤(\frac{a}{2}-b+1)}$

証明

左辺をガウスの超幾何関数のオイラー積分表示を用いて計算する。

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ a-b+1\end{array}\mid 1]& =\frac{𝛤(a-b+1)}{𝛤(a)𝛤(1-b)}\underset{0}{\overset{1}{\int }}{t}^{a-1}(1-t{)}^{-b}(1+t{)}^{-b}dt\\ & =\frac{𝛤(a-b+1)}{𝛤(a)𝛤(1-b)}\underset{0}{\overset{1}{\int }}{t}^{a-1}(1-t^2{)}^{-b}dt\\ \end{array}$

ここで、右辺の積分において テンプレート:Math と置換する。

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ a-b+1\end{array}\mid 1]& =\frac{𝛤(a-b+1)}{2𝛤(a)𝛤(1-b)}\underset{0}{\overset{1}{\int }}{s}^{a/2-1}(1-s{)}^{-b}ds\\ & =\frac{𝛤(a-b+1)}{2𝛤(a)𝛤(1-b)}B(\frac{a}{2},1-b)\\ & =\frac{𝛤(\frac{a}{2}+1)𝛤(a-b+1)}{𝛤(a+1)𝛤(\frac{a}{2}-b+1)}\end{array}$

変換公式

パーフの変換公式

不等式 テンプレート:Math を満たす任意の複素数 テンプレート:Math に対し、

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=(1-z{)}^{-a}{}_2{F}_1[\begin{array}{c}a,c-b\\ c\end{array}\mid \frac{z}{z-1}]$

が成り立つ。ここで テンプレート:Math である。これをパーフの変換公式（英: Pfaff's transformation）という。

証明

ガウスの超幾何関数のオイラー積分表示において テンプレート:Math と変数変換する。

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]& =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{t}^{b-1}(1-t{)}^{c-b-1}(1-tz{)}^{-a}dt\\ & =\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}(1-s{)}^{b-1}{s}^{c-b-1}(1-z+sz{)}^{-a}ds\\ & =(1-z{)}^{-a}\frac{𝛤(c)}{𝛤(b)𝛤(c-b)}\underset{0}{\overset{1}{\int }}{s}^{c-b-1}(1-s{)}^{b-1}(1-s\frac{z}{z-1}{)}^{-a}ds\\ & =(1-z{)}^{-a}{}_2{F}_1[\begin{array}{c}a,c-b\\ c\end{array}\mid \frac{z}{z-1}]\end{array}$

オイラーの変換公式

不等式 テンプレート:Math を満たす任意の複素数 テンプレート:Math に対し、

${}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]=(1-z{)}^{c-a-b}{}_2{F}_1[\begin{array}{c}c-a,c-b\\ c\end{array}\mid z]$

が成り立つ。ここで テンプレート:Math である。これをオイラーの変換公式（英: Euler's transformation）という。

証明

パーフの変換公式を繰り返し適用する。

$\begin{array}{cc}{}_2{F}_1[\begin{array}{c}a,b\\ c\end{array}\mid z]& =(1-z{)}^{-a}{}_2{F}_1[\begin{array}{c}a,c-b\\ c\end{array}\mid \frac{z}{z-1}]\\ & =(1-z{)}^{-a}(1-\frac{z}{z-1}{)}^{b-c}{}_2{F}_1[\begin{array}{c}c-a,c-b\\ c\end{array}\mid \frac{z/(z-1)}{z/(z-1)-1}]\\ & =(1-z{)}^{c-a-b}{}_2{F}_1[\begin{array}{c}c-b,c-a\\ c\end{array}\mid z]\end{array}$

クンマーの二次変換公式

不等式 テンプレート:Math を満たす任意の複素数 テンプレート:Math に対し、

${}_2{F}_1[\begin{array}{c}a,b\\ 2b\end{array}\mid 2z]=(1-z{)}^{-a}{}_2{F}_1[\begin{array}{c}\frac{a}{2},\frac{a+1}{2}\\ b+\frac{1}{2}\end{array}\mid \left(\frac{z}{1-z}{)}^2\right]$

が成り立つ。これをクンマーの二次変換公式（英: Kummer's quadratic transformation）という。

ベイリーの変換公式

不等式 テンプレート:Math を満たす任意の複素数 テンプレート:Math に対し、

${}_2{F}_1[\begin{array}{c}a,b\\ 2b\end{array}\mid \frac{4z}{(1+z{)}^2}]=(1+z{)}^{2a}{}_2{F}_1[\begin{array}{c}a,a-b+\frac{1}{2}\\ b+\frac{1}{2}\end{array}\mid z^2]$

が成り立つ。これをベイリーの変換公式（英: Bailey's transformation）という。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation

関連項目

超幾何級数

• 一般化された超幾何関数
• [[q超幾何級数|テンプレート:Math 超幾何関数]]
• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク
• テンプレート:仮リンク

合流型超幾何関数

• テンプレート:仮リンク
• テンプレート:仮リンク

その他

• オイラー積分
• 特殊関数
  • ガンマ関数
  • ベッセル関数
• テンプレート:仮リンク

外部リンク

• テンプレート:MathWorld