ディガンマ関数とガンマ関数の商が負の整数に近づくときの極限値を計算してみた。

はじめに

特殊関数の級数展開についての記事等を読み漁っているうちに、ディガンマ関数とガンマ関数の商の極限値の計算結果だけがさらっと書いてあるのを見かけました。

これがいまいち自明な結果じゃないような気がしたので、計算してみることにしました。

問題です。

というわけで、早速問題です。

を正の整数とするとき、(1)式が成り立つことを示せ。

(1)

なお、はディガンマ関数

(2)

である。

実は、(1)式はのときでも成り立つのですが、これについては後述します。

サクサクと解いていきます。

まず、分母と分子に登場する及びをを含む形で表すことを考えます。なお、であることに注意しながら計算を進めていきます。

の場合

は

という関係がありますので、これをさらに回用いると…

であることがわかります。

(4)式の左辺の関数の引数がから先にちょいと行き過ぎているのは気にしない方向でお願いすることにして、(4)式の両辺をで割ると…

となります。(5)式の両辺にをかけると、左辺の分母からが1個だけ消えますので、

となります。

の場合

実はディガンマ関数にも

という関係があります。そこで、これをさらに回用いると、

となります。そこで、(8)式の両辺からを引くと、以下の(9)式を導くことができます。

(9)式の両辺にをかけると、

となります。

組み合わせてみます。

スポンサーリンク

(10)式の両辺を(6)式の両辺でそれぞれ割ると、(11)式のように計算できます。

(11)式でがに近づく時の挙動を調べてみます。

分子の第2項はをかけていることと、括弧の中は(はEulerの定数)であることとが有限の値をとることから、がに近づくときには全体としてに近づくことがわかります。したがって分子全体ではに近づきます。

また、分母についてははに近づき、さらにについては、

となりますので、分母全体としてはに近づきます。

よって、

となる。これは(1)式と一致します。

まとめ

なんか、どこかの大学院(大学ではありません、念の為)の入試に出そうな問題ですね。

「大学への数学」っていう雑誌がありますが、「大学院への数学」なんていう参考書もあります。

予備校の数学の先生が編集に加わっていて、大学合格後に一冊いただきました。

微分積分編はこちらで、線形代数編はこちらです。

関数の級数展開をすると、思わぬところで関数のような特殊関数が登場することがあります。

特殊関数が登場して途方に暮れそうになったときにこの記事を思い出していただけると幸いです。

この記事の本編は以上です。

付録

その1: 関数の留数と極

(11)式の分母のでの極限値

はにおけるの留数になります。また、は正でない整数において位数1の極を持つことがわかります。

その2: での極限値 [2019/03/02追記]

この記事を書くためにこの記事も見直していたところ、での極限値も確認しておかねばならないことに気が付いたので、追加します。

(1)式左辺の分母については(3)式の関係が、分子については(7)式の関係が直接使えますので、

をEulerの定数として、(14)式の両辺の極限をとると…

となります。

これは、(1)式の右辺でとしたときと一致する。

よって、(1)式はのときでも成り立つ。