数学において、ポリガンマ関数(ぽりがんまかんすう、: polygamma function)とは、ガンマ関数対数微分による導関数として定義される特殊関数ディガンマ関数トリガンマ関数はポリガンマ関数の一種である。

実数x に対するψ(n)(x)の挙動。 オレンジがディガンマ関数、黄色がトリガンマ関数、緑がテトラガンマ関数、赤がペンタガンマ関数、青がヘキサガンマ関数に対応する。
複素平面上でのディガンマ関数ψ(z)
複素平面上でのトリガンマ関数ψ(1)(z)
複素平面上でのテトラガンマ関数ψ(2)(z)
複素平面上でのペンタガンマ関数ψ(3)(z)

定義 編集

ガンマ関数 Γ(z) に対し、その対数微分

 

で、定義される関数をポリガンマ関数と呼ぶ。

ψ(z), ψ(1)(z), ψ(2)(z), ψ(3)(z), ψ(4)(z) は、それぞれディ-、トリ-、テトラ-、ペンタ-、ヘキサ-ガンマ関数と呼ばれる。

ポリガンマ関数 ψ(n)(z ) は z = 0, −1, −2, ... で n + 1 位のをもち,それらの点を除く全複素平面では解析的になる。

漸化式 編集

ポリガンマ関数は次の漸化式を満たす。

 

級数表示 編集

ポリガンマ関数はz ≠0, -1, -2, -3...で次の級数表示を持つ。

  •  
  •  

また、z =0でのテイラー展開により、|z |<1の領域で次のように表される。

  •  
  •  

但し、γ =0.5772...はオイラーの定数ζ(n )はリーマンゼータ関数を表す。

積分表示 編集

Rez >0のとき、ポリガンマ関数は次の積分表示を持つ。

  •  
  •  

相反公式 編集

ガンマ関数の相反公式に対し、対数微分をとることで次の関係式が導かれる。

 

但し、cot πz余接関数を表す。

漸近展開 編集

z →∞ (|argz | < π)のとき、ポリガンマ関数は次の漸近展開をもつ。

  •  
  •  

但し、B2kベルヌーイ数である。

特殊値 編集

ポリガンマ関数は、m=1において、次の値をとる。

  •  
  •  

ポリガンマ関数は、m≧2の正の整数において、次の値をとる。

  •  
  •  

但し、γ はオイラーの定数、Hm-1調和数を表す。

参考文献 編集

関連項目 編集