読む編集履歴表示

超幾何関数

ウィキペディアから、無料の百科事典

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2024年2月）

定義
導関数 (一般化（英語版）) 微分無限小関数の全
概念
微分の記法二階導関数三階導関数（英語版）変数変換（英語版）陰関数の微分 Related rates（英語版）テイラーの定理
法則と恒等式（英語版）
和（英語版）積合成冪（英語版）商一般ライプニッツファー・ディ・ブルーノの公式（英語版）

積分法

定義
積分一覧
不定積分積分 (広義) リーマン積分ルベーグ積分線積分複素線積分
道具
部分 Discs（英語版）円殻（バウムクーヘン）置換三角置換（英語版）部分分数（英語版）順序（英語版）漸化式

級数

収束判定法（英語版）
幾何 (算術幾何) 調和交代冪二項テイラー
項の極限（項判定法）（英語版）比冪根積分比較極限比較（英語版）交代級数（英語版）凝集ディリクレアーベル（英語版）

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

数学における超幾何関数（ちょうきかかんすう、英: 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!}}

で定義される関数 $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$ が零もしくは負の整数ではないことが必要である。超幾何関数は、ガウスがこの関数について詳しく研究していたことから、彼の名前を冠してガウスの超幾何関数と呼ばれることもある。

概要

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

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

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

諸関数の表現

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

有理関数

{\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 ]}

積分表現

オイラー積分表示

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

{}_{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

が成り立つ。

特殊値の公式

ガウスの超幾何定理

以下の式をガウスの超幾何定理（英: 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}}

変換公式

パーフの変換公式

不等式 $| 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）という。

超幾何微分方程式

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

参考文献

齋藤利弥『常微分方程式論』朝倉書店〈近代数学講座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。

外部リンク

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

級数・数列

等差数列

発散級数	1 + 1 + 1 + 1 + ⋯ 1 + 2 + 3 + 4 + ⋯ 無限算術級数

等比数列

収束級数	1/2 − 1/4 + 1/8 − 1/16 + ⋯ 1/2 + 1/4 + 1/8 + 1/16 + ⋯ 1/4 + 1/16 + 1/64 + 1/256 + ⋯
発散級数	1 + 1 + 1 + 1 + ⋯ 1 + 2 + 4 + 8 + ⋯ 1 − 2 + 4 − 8 + ⋯ グランディ級数

整数列

その他の数列

発散級数	1 − 2 + 3 − 4 + ⋯ 1 − 1 + 2 − 6 + 24 − 120 + ⋯ 調和級数
収束級数	交項級数幾何級数超幾何級数 q超幾何級数ライプニッツの公式

数列の加速法

エイトケンのΔ2乗加速法

カテゴリ:級数・カテゴリ:数列

超幾何関数

概要

諸関数の表現

有理関数

対数関数

逆三角関数

完全楕円積分

不完全ベータ関数

ルジャンドル陪多項式

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

積分表現

オイラー積分表示

証明

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

特殊値の公式

ガウスの超幾何定理

証明

クンマーの定理

証明

変換公式

パーフの変換公式

証明

オイラーの変換公式

証明

クンマーの二次変換公式

ベイリーの変換公式

超幾何微分方程式

参考文献

関連項目

超幾何級数

合流型超幾何関数

その他

外部リンク

⌬ あなたはすでに守護者です