[論文レビュー] The integrals in Gradshteyn and Ryzhik. Part 3: Combinations of Logarithms and Exponentials

Victor H. Moll|arXiv (Cornell University)|May 1, 2007

Mathematical functions and polynomials参考文献 3被引用数 6

ひとこと要約

この論文は、$P$ が多項式である形 $\int_0^\infty e^{-tx} P(\ln x)\,dx$ の指数対数積分を、ガンマ関数の導関数に還元することで評価する。主な貢献は、$(\ln x)^n$ を含む積分を評価するための体系的な手法であり、$\Gamma(s)$ の $n$ 階微分を用いる。明示的な結果は、オイラーの定数 $\gamma$、リーマンゼータ関数 $\zeta(s)$、およびポリガンマ関数を用いて得られる。

ABSTRACT

We present the evaluation of a family of exponential-logarithmic integrals. These have integrands of the form P(exp(x),ln(x)) where P is a polynomial. The examples presented here appear in sections 4.33, 4.34 and 4.35 in the classical table of integrals by I. Gradshteyn and I. Ryzhik.

研究の動機と目的

• グラツドシュタインとリジクの積分表に見られる、指数関数と $\ln x$ の多項式の積を含む定積分を体系的に評価すること。
• ガンマ関数の $n$ 階微分を用いて、$\int_0^\infty e^{-tx} (\ln x)^n dx$ を計算する一般的手法を確立すること。
• グラツドシュタインとリジクの表の 4.33, 4.34, 4.35 章の特定の項目に対して閉形式の評価を提供すること。
• 得られた式の重み構造（$\zeta(j)$ は重み $j$、微分は重みを 1 増やす）が $I_n = \int_0^\infty e^{-x} (\ln x)^n dx$ に対して確認できることを明らかにすること。

提案手法

• 置換 $s = tx$ を用いて $\int_0^\infty e^{-tx} (\ln x)^n dx$ を $\frac{1}{t} \int_0^\infty e^{-s} (\ln s - \ln t)^n ds$ に変換し、問題を $I_m = \int_0^\infty e^{-x} (\ln x)^m dx$ の線形結合に還元する。
• 恒等式 $\int_0^\infty x^{s-1} e^{-x} (\ln x)^n dx = \left(\frac{d}{ds}\right)^n \Gamma(s)$ を適用し、ガンマ関数の $n$ 階微分とガンマ測度下での $\ln x$ のモーメントとの関係を確立する。
• 結果を $\Gamma^{(n)}(1)$、$\psi^{(m)}(1)$、および $\psi(1) = -\gamma$、$\psi'(1) = \zeta(2) = \pi^2/6$、$\psi''(1) = -2\zeta(3)$ などの既知の特殊値を用いて表現する。
• 関数等式 $\psi(x+1) = \psi(x) + 1/x$ を用いて、半整数および整数シフトにおける値を導出する。
• ガンマ関数の積分表現を $s$ で微分することにより、$\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx = \mu^{-s} \Gamma(s) (\psi(s) - \ln \mu)$ の一般式を導出する。
• 導出された恒等式と $\Gamma(s)$、$\psi(s)$ の既知の特殊値を用いて、グラツドシュタインとリジクの特定の項目（例：4.331.1, 4.335.1, 4.352.1）を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般の $n$ および $t > 0$ に対して、$\int_0^\infty e^{-tx} (\ln x)^n dx$ を閉形式でどのように評価できるか。
• RQ2 ガンマ関数の $n$ 階微分と指数測度下での $\ln x$ のモーメントとの間にはどのような関係があるか。
• RQ3 これらの積分の評価において、ポリガンマ関数 $\psi^{(m)}(1)$ およびゼータ関数 $\zeta(m+1)$ の特殊値がどのように現れるか。
• RQ4 得られた式の重み構造（$\zeta(j)$ は重み $j$、微分は重みを 1 増やす）が $I_n = \int_0^\infty e^{-x} (\ln x)^n dx$ に対して確認できるか。
• RQ5 一般形 $\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx$ はどのようなものか。また、これはグラツドシュタインとリジクの既知の項目にどのように還元されるか。

主な発見

• 置換 $s = tx$ と $\Gamma'(1) = -\gamma$ を用いて、$\int_0^\infty e^{-tx} \ln x\,dx = -\frac{\gamma + \ln t}{t}$ が導出される。
• 第二モーメントは $\int_0^\infty e^{-x} (\ln x)^2 dx = \zeta(2) + \gamma^2 = \frac{\pi^2}{6} + \gamma^2$ に評価され、$\Gamma''(1) = \psi'(1) + \psi(1)^2 = \frac{\pi^2}{6} + \gamma^2$ を用いる。
• 第三モーメントは $\int_0^\infty e^{-x} (\ln x)^3 dx = -\gamma^3 - \frac{1}{2}\pi^2\gamma - 2\zeta(3)$ に達し、導出には $\psi''(1) = -2\zeta(3)$ が用いられる。
• 微分法を用いてガンマ関数の積分表現を $s$ で微分することで、一般形 $\int_0^\infty x^{s-1} e^{-\mu x} \ln x\,dx = \mu^{-s} \Gamma(s) (\psi(s) - \ln \mu)$ が導出される。
• $\psi(n+1) = -\gamma + \sum_{k=1}^n \frac{1}{k}$ を用いて、$\int_0^\infty x^n e^{-\mu x} \ln x\,dx = \frac{n!}{\mu^{n+1}} \left(\sum_{k=1}^n \frac{1}{k} - \gamma - \ln \mu \right)$ の評価が確認される。
• $\Gamma(n+1/2) = \frac{\sqrt{\pi}}{2^n} (2n-1)!!$ および $\psi(n+1/2) = -\gamma + 2\left(\sum_{k=1}^n \frac{1}{2k-1} - \ln 2\right)$ を用いて、$\int_0^\infty x^{n-1/2} e^{-\mu x} \ln x\,dx = \frac{\sqrt{\pi} (2n-1)!!}{2^n \mu^{n+1/2}} \left(2\sum_{k=1}^n \frac{1}{2k-1} - \gamma - \ln(4\mu) \right)$ が導出される。