超幾何級数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

数学において、超幾何級数(ちょうきかきゅうすう、: hypergeometric series)は、一般に

の形式で表される級数である[1]。但し、

ポッホハマー記号である。古典的にはガウスの超幾何関数

を単に超幾何級数という[2][3][4]。なお、厳密にいうと、右辺の級数が超幾何級数であり、左辺の記号は級数の和によって定義される超幾何関数を表すものである。

収束条件[編集]

超幾何級数は、であれば絶対収束し、であれば発散する。の場合は、であれば絶対収束し、であれば発散する。の場合は、であれば絶対収束し、であれば発散する。但し、又はが正でない整数である場合は、となってで収束、或いはとなってで発散する場合がある。

収束条件の証明[編集]

項をとする:

公比

であるから、であれば絶対収束し、であれば発散する。の場合は、

であるから、

であり、

である。従って、ラーベの判定法 (Raabe's test[5][6])により、であれば絶対収束し、であれば発散する。

超幾何関数[編集]

超幾何級数で定義される、或いは表示される関数を超幾何関数という。超幾何関数は多くの初等関数特殊関数を包含する。

完全楕円積分

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

オイラー積分表示[編集]

ガウスの超幾何関数はオイラー積分で表される[3][4]

これは

として導かれる。

超幾何定理[編集]

ガウスの超幾何関数のオイラー積分表示にを代入するとガウスの超幾何定理を得る[4][7]

となる。更にを代入するとヴァンデルモンドの恒等式英語版を得る[8]

脚注[編集]

  1. ^ Weisstein, Eric W. "Hypergeometric Series". MathWorld(英語).
  2. ^ Whittaker & Watson 1927, p. 281.
  3. ^ a b 原岡喜重. (2002). 超幾何関数. 朝倉書店.
  4. ^ a b c 時弘哲治. (2006). 工学における特殊関数. 共立出版.
  5. ^ Weisstein, Eric W. "Raabe's Test." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/RaabesTest.html
  6. ^ Huelsman, C. B. (1965). RAABE'S TEST. Pi Mu Epsilon Journal, 4(2), 67-70.
  7. ^ Weisstein, Eric W. "Gauss's Hypergeometric Theorem". MathWorld(英語).
  8. ^ Weisstein, Eric W. "Chu-Vandermonde Identity". MathWorld(英語).

参考文献[編集]

関連項目[編集]