メインメニューを開く

数学において、超幾何級数(ちょうきかきゅうすう、: 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(英語).

参考文献編集

関連項目編集