超幾何関数

Remove ads

数学における超幾何関数（ちょうきかかんすう、英: hypergeometric function）とは、超幾何微分方程式なる常微分方程式の解となる特殊関数をいう。超幾何関数は、絶対値が $1$ より小さい複素数 $z$ を引数として、以下の超幾何級数

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}\equiv \sum _{0\leqslant n}{\frac {(a)_{n}(b)_{n}}{(c)_{n}}}{\frac {z^{n}}{n!}}

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。

Thumb — ガウスの超幾何関数 $2 F 1 (2, 3; 4; z)$ の複素数平面上における挙動

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

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}={\frac {\varGamma (c)}{\varGamma (a)\,\varGamma (b)}}\sum _{0\leqslant n}{\frac {\varGamma (a+n)\,\varGamma (b+n)}{\varGamma (c+n)}}{\frac {z^{n}}{n!}}

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

Remove ads

概要

要約

視点

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

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

この微分方程式は $z = 0$ , $1$ , $\infty$ において確定特異点（英語版）をもち、それ以外の点では特異点をもたない。各特異点での一般解はガウスの超幾何関数を用いて表せる事が知られており、適当な定数 $c 1$ , $c 2$ を用いて

w=c_{1}\cdot {}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}+c_{2}\cdot z^{1-c}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a-c+1,\,b-c+1\\2-c\end{matrix}}\mid z{\biggr ]}

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

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

は（クンマーの）合流型超幾何微分方程式と呼ばれ、この一般解を合流型超幾何関数（英語版）という。

Remove ads

諸関数の表現

要約

視点

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

有理関数

{\frac {1}{(1-z)^{a}}}=\sum _{0\leqslant n}{\frac {(a)_{n}}{n!}}\,z^{n}={}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,-\\-\end{matrix}}\mid z{\biggr ]}

対数関数

{\begin{aligned}&\log(1+z)=z\sum _{0\leqslant n}{\frac {(-1)^{n}}{n+1}}\,z^{n}=z\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1,\,1\\2\end{matrix}}\mid -z{\biggr ]}\\&\log {\frac {1+z}{1-z}}=2z\sum _{0\leqslant n}{\frac {1}{2n+1}}\,z^{2n}=2z\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1/2,\,1\\3/2\end{matrix}}\mid z^{2}{\biggr ]}\end{aligned}}

逆三角関数

{\begin{aligned}&\arcsin z=z\sum _{0\leqslant n}{\frac {\binom {2n}{n}}{2^{2n}\,(2n+1)}}\,z^{2n}=z\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1/2,\,1/2\\3/2\end{matrix}}\mid z^{2}{\biggr ]}\\&\arctan z=z\sum _{0\leqslant n}{\frac {(-1)^{n}}{2n+1}}\,z^{2n}=z\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1/2,\,1\\3/2\end{matrix}}\mid -z^{2}{\biggr ]}\end{aligned}}

完全楕円積分

{\begin{aligned}&K(k)={\frac {\pi }{2}}\sum _{0\leqslant n}{\frac {{\binom {2n}{n}}^{2}}{2^{4n}}}\,k^{2n}={\frac {\pi }{2}}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1/2,\,1/2\\1\end{matrix}}\mid k^{2}{\biggr ]}\\&E(k)={\frac {\pi }{2}}\sum _{0\leqslant n}{\frac {{\binom {2n}{n}}^{2}}{2^{4n}\,(1-2n)}}\,k^{2n}={\frac {\pi }{2}}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}1/2,\,-1/2\\1\end{matrix}}\mid k^{2}{\biggr ]}\\\end{aligned}}

不完全ベータ関数

B_{z}(a,\,b)=\int _{0}^{z}t^{a-1}\,(1-t)^{b-1}\,dt={\frac {z^{a}}{a}}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,1-b\\a+1\end{matrix}}\mid z{\biggr ]}

ルジャンドル陪多項式

P_{\lambda }^{\mu }(z)={\frac {1}{\varGamma (1-\mu )}}{\biggl (}{\frac {1+z}{1-z}}{\biggr )}^{\!\mu /2}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}-\lambda ,\,\lambda +1\\1-\mu \end{matrix}}\mid {\frac {1-z}{2}}{\biggr ]}

ヤコビ多項式（英語版、ドイツ語版）

P_{n}^{(\alpha ,\,\beta )}(z)={\frac {(\alpha +1)_{n}}{n!}}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}-n,\,\alpha +\beta +n+1\\\alpha +1\end{matrix}}\mid {\frac {1-z}{2}}{\biggr ]}

Remove ads

積分表現

要約

視点

オイラー積分表示

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

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\,(1-tz)^{-a}\,dt

として表現することができる。ここで $0 < Re b < Re c$ である。ベータ関数を用いれば

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}={\frac {1}{B(b,\,c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\,(1-tz)^{-a}\,dt

となる。

証明

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}{\frac {\varGamma (b)\,\varGamma (c-b)}{\varGamma (c)}}\sum _{0\leqslant n}{\frac {(a)_{n}(b)_{n}}{(c)_{n}}}{\frac {z^{n}}{n!}}\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\sum _{0\leqslant n}{\frac {\varGamma (b+n)\,\varGamma (c-b)\,(a)_{n}}{\varGamma (c+n)}}{\frac {z^{n}}{n!}}\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\sum _{0\leqslant n}B(b+n,\,c-b)\,(a)_{n}\,{\frac {z^{n}}{n!}}\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\sum _{0\leqslant n}\int _{0}^{1}t^{b+n-1}\,(1-t)^{c-b-1}\,dt\,(a)_{n}\,{\frac {z^{n}}{n!}}\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\sum _{0\leqslant n}\,(a)_{n}\,{\frac {(tz)^{n}}{n!}}\,dt\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,-\\-\end{matrix}}\mid tz{\biggr ]}\,dt\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\,(1-tz)^{-a}\,dt\end{aligned}}

バーンズ積分（英語版）表示

不等式 $| arg(- z) | < π$ を満たす任意の複素数 $z$ に対し、

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}={\frac {\varGamma (c)}{\varGamma (a)\,\varGamma (b)}}{\frac {1}{2\pi i}}\int _{-i\infty }^{+i\infty }{\frac {\varGamma (a+t)\,\Gamma (b+t)\,\varGamma (-t)}{\varGamma (c+t)}}\,(-z)^{t}\,dt

が成り立つ。

Remove ads

特殊値の公式

要約

視点

ガウスの超幾何定理

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

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid 1{\biggr ]}={\frac {\varGamma (c)\,\varGamma (c-a-b)}{\varGamma (c-a)\,\varGamma (c-b)}}

ここに $Re(c - a - b) > 0$ である。また、この式に $a = - k$ を代入すると、ヴァンデルモンドの恒等式（英語版）を得る。

{}_{2}F_{1}{\biggl [}{\begin{matrix}-k,\,b\\c\end{matrix}}\mid 1{\biggr ]}={\frac {\Gamma (c)}{\varGamma (c+k)}}{\frac {\Gamma (c-b+k)}{\varGamma (c-b)}}={\frac {(c-b)_{k}}{(c)_{k}}}

証明

ガウスの超幾何関数のオイラー積分表示に $z = 1$ を代入する。

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid 1{\biggr ]}&={\frac {\varGamma (c)}{\varGamma (a)\,\varGamma (c-a)}}\int _{0}^{1}t^{a-1}(1-t)^{c-a-b-1}\,dt\\&={\frac {\varGamma (c)}{\varGamma (a)\,\varGamma (c-a)}}\,B(a,\,c-a-b)\\&={\frac {\varGamma (c)\,\varGamma (c-a-b)}{\varGamma (c-a)\,\varGamma (c-b)}}\end{aligned}}

クンマーの定理

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

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\a-b+1\end{matrix}}\mid 1{\biggr ]}={\frac {\varGamma ({\frac {a}{2}}+1)\,\varGamma (a-b+1)}{\varGamma (a+1)\,\varGamma ({\frac {a}{2}}-b+1)}}

証明

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

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\a-b+1\end{matrix}}\mid 1{\biggr ]}&={\frac {\varGamma (a-b+1)}{\varGamma (a)\,\varGamma (1-b)}}\int _{0}^{1}t^{a-1}\,(1-t)^{-b}\,(1+t)^{-b}\,dt\\&={\frac {\varGamma (a-b+1)}{\varGamma (a)\,\varGamma (1-b)}}\int _{0}^{1}t^{a-1}\,(1-t^{2})^{-b}\,dt\\\end{aligned}}

ここで、右辺の積分において $t = \sqrt s$ と置換する。

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\a-b+1\end{matrix}}\mid 1{\biggr ]}&={\frac {\varGamma (a-b+1)}{2\,\varGamma (a)\,\varGamma (1-b)}}\int _{0}^{1}s^{a/2-1}\,(1-s)^{-b}\,ds\\&={\frac {\varGamma (a-b+1)}{2\,\varGamma (a)\,\varGamma (1-b)}}\,B{\biggl (}{\frac {a}{2}},\,1-b{\biggr )}\\&={\frac {\varGamma ({\frac {a}{2}}+1)\,\varGamma (a-b+1)}{\varGamma (a+1)\,\varGamma ({\frac {a}{2}}-b+1)}}\end{aligned}}

Remove ads

変換公式

要約

視点

パーフの変換公式

不等式 $| z | < 1/2$ を満たす任意の複素数 $z$ に対し、

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}=(1-z)^{-a}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,c-b\\c\end{matrix}}\mid {\frac {z}{z-1}}{\biggr ]}

が成り立つ。ここで $0 < Re b < Re c$ である。これをパーフの変換公式（英: Pfaff's transformation）という。

証明

ガウスの超幾何関数のオイラー積分表示において $t = 1 - s$ と変数変換する。

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}t^{b-1}\,(1-t)^{c-b-1}\,(1-tz)^{-a}\,dt\\&={\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}(1-s)^{b-1}\,s^{c-b-1}\,(1-z+sz)^{-a}\,ds\\&=(1-z)^{-a}\,{\frac {\varGamma (c)}{\varGamma (b)\,\varGamma (c-b)}}\int _{0}^{1}s^{c-b-1}\,(1-s)^{b-1}\,{\biggl (}1-s\,{\frac {z}{z-1}}{\biggr )}^{\!-a}\,ds\\&=(1-z)^{-a}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,c-b\\c\end{matrix}}\mid {\frac {z}{z-1}}{\biggr ]}\end{aligned}}

オイラーの変換公式

不等式 $| z | < 1/2$ を満たす任意の複素数 $z$ に対し、

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}=(1-z)^{c-a-b}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}c-a,\,c-b\\c\end{matrix}}\mid z{\biggr ]}

が成り立つ。ここで $0 < Re b < Re c$ である。これをオイラーの変換公式（英: Euler's transformation）という。

証明

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

{\begin{aligned}{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\c\end{matrix}}\mid z{\biggr ]}&=(1-z)^{-a}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,c-b\\c\end{matrix}}\mid {\frac {z}{z-1}}{\biggr ]}\\&=(1-z)^{-a}\,{\biggl (}1-{\frac {z}{z-1}}{\biggr )}^{\!b-c}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}c-a,\,c-b\\c\end{matrix}}\mid {\frac {z/(z-1)}{z/(z-1)-1}}{\biggr ]}\\&=(1-z)^{c-a-b}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}c-b,\,c-a\\c\end{matrix}}\mid z{\biggr ]}\end{aligned}}

クンマーの二次変換公式

不等式 $| z | < 1/2$ を満たす任意の複素数 $z$ に対し、

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\2b\end{matrix}}\mid 2z{\biggr ]}=(1-z)^{-a}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}{\frac {a}{2}},\,{\frac {a+1}{2}}\\b+{\frac {1}{2}}\end{matrix}}\mid {\biggl (}{\frac {z}{1-z}}{\biggr )}^{\!2}{\biggr ]}

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

ベイリーの変換公式

不等式 $| z | < 3 - 2 \sqrt 2$ を満たす任意の複素数 $z$ に対し、

{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,b\\2b\end{matrix}}\mid {\frac {4z}{(1+z)^{2}}}{\biggr ]}=(1+z)^{2a}\,{}_{2}F_{1}{\biggl [}{\begin{matrix}a,\,a-b+{\frac {1}{2}}\\b+{\frac {1}{2}}\end{matrix}}\mid z^{2}{\biggr ]}

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

Remove ads

超幾何微分方程式

→詳細は「ガウスの微分方程式」を参照

参考文献

齋藤利弥『常微分方程式論』朝倉書店〈近代数学講座5〉、1967年8月25日。ISBN 978-4254116533。
福原満洲雄『常微分方程式』（第2版）岩波書店〈岩波全書116〉、1980年5月23日。ISBN 978-4-00-021234-2。
青本和彦; 喜多通武『超幾何関数論』シュプリンガー・フェアラーク東京〈シュプリンガー現代数学シリーズ〉、1994年8月23日。ISBN 978-4431706625。
西本敏彦『超幾何・合流型超幾何微分方程式』共立出版、1998年11月。ISBN 978-4-320-01593-7。
原岡喜重『超幾何関数』朝倉書店〈すうがくの風景7〉、2002年10月25日。ISBN 978-4-254-11557-4。
坂井秀隆『常微分方程式』東京大学出版会〈大学数学の入門10〉、2015年8月24日。ISBN 978-4-13-062960-7。

Remove ads

外部リンク

Weisstein, Eric W. "Hypergeometric Function". mathworld.wolfram.com (英語).

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads

概要

諸関数の表現

有理関数

対数関数

逆三角関数

完全楕円積分

不完全ベータ関数

ルジャンドル陪多項式

ヤコビ多項式（英語版、ドイツ語版）

積分表現

オイラー積分表示

証明

バーンズ積分（英語版）表示

特殊値の公式

ガウスの超幾何定理

証明

クンマーの定理

証明

変換公式

パーフの変換公式

証明

オイラーの変換公式

証明

クンマーの二次変換公式

ベイリーの変換公式

超幾何微分方程式

参考文献

関連項目

超幾何級数

合流型超幾何関数

その他

外部リンク

Wikiwand - on