[論文レビュー] The integrals in Gradshteyn and Rhyzik. Part 1: A family of logarithmic integrals

Victor H. Moll|arXiv (Cornell University)|Apr 30, 2007

Analytic Number Theory Research参考文献 4被引用数 14

ひとこと要約

本稿は、$ n \geq 2 $、$ a > 0 $ の条件下で、$ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ の形をした対数積分の族について、多ログリム関数、ベルヌーイ多項式、およびフルヴィッツゼータ関数を用いて、統一的な解析的評価を提供する。主な結果は、ベルヌーイ数および $ \pi $ と $ \ln a $ の累乗を含む閉形式で $ f_n(a) $ を表現するものであり、グラドシュタインとリーズヒクの積分表に掲載された複数の項目を、一貫した枠組みで解決する。

ABSTRACT

We present the evaluation of a family of logarithmic integrals. This provides a unified proof of several formulas in the classical table of integrals by I. S. Gradshteyn and I. M. Rhyzik.

研究の動機と目的

• グレーデシュタインとリーズヒクの古典的積分表に掲載された複数の対数積分公式の統一的解析的証明を提供すること。
• 特に対数積分および多ログリム関数を含む項目に生じる不整合や誤りを是正すること。
• $ n \geq 2 $、$ a > 0 $ の条件下で有効な、$ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ の族に対する閉形式の式を導出すること。
• これらの積分とフルヴィッツゼータ関数、多ログリム関数、ベルヌーイ多項式などの特殊関数との関係を確立すること。

提案手法

• 積分 $ f_n(a) $ を $ (0,1) $ と $ (1,\infty) $ の二部分に分け、第二の部分に対して $ x = 1/t $ の置換を適用して対称化する。
• 部分分数分解を用いて、$ \frac{1}{(x-1)(x+a)} $ を $ \frac{1}{x-1} $ と $ \frac{1}{x+a} $ の線形結合として表現する。
• 級数展開と多ログリム関数 $ \text{Li}_n(x) = \sum_{k=1}^\infty \frac{x^k}{k^n} $ の定義を用いて、得られた積分を評価する。
• 多ログリム関数の関数的恒等式を適用する：$ \text{Li}_n(-a) - (-1)^n \text{Li}_n(-1/a) = \frac{(2\pi i)^n}{n! i^n} B_n\left(\frac{\log a}{2\pi i} + \frac{1}{2}\right) $。
• ベルヌーイ多項式の相反および加法定理を用いて、式を $ \log a $ の多項式に簡約する。
• オイラーの公式 $ \zeta(2m) = \frac{(-1)^{m+1}(2\pi)^{2m} B_{2m}}{2(2m)!} $ を用いて、最終的な結果をベルヌーイ数 $ B_{2j} $、$ \pi $ の累乗、および偶数のゼータ値で表現する。

実験結果

リサーチクエスチョン

• RQ1 グレーデシュタインとリーズヒクの積分表に掲載された対数積分を評価する統一的解析的フレームワークは、どのように構築できるか？
• RQ2 族 $ f_n(a) = \int_0^\infty \frac{\ln^{n-1}x}{(x-1)(x+a)}\,dx $ の閉形式式は何か？ また、特殊関数とどのように関係しているか？
• RQ3 なぜ $ \int \ln \ln \tan x\,dx $ のような項目は、フルヴィッツゼータ関数やディリクレL関数といった高度な道具を必要とするのか？
• RQ4 $ \ln a $ の累乗で表される $ h_n(a) = (1+a)f_n(a) $ の多項式の係数は、ベルヌーイ数およびゼータ値にどのように依存するか？
• RQ5 多ログリム関数の相反恒等式は、積分評価の簡略化にどのように寄与するか？

主な発見

• 積分 $ f_n(a) $ は、閉形式で $ f_n(a) = \frac{(-1)^n (n-1)!}{1+a} \left[1 + (-1)^n\right] \zeta(n) + \frac{1}{n(1+a)} \sum_{j=0}^{\lfloor n/2 \rfloor} \binom{n}{2j} (2^{2j} - 2)(-1)^{j-1} B_{2j} \pi^{2j} (\ln a)^{n-2j} $ と与えられる。
• $ n $ が奇数の場合、最初の項は消え、結果は偶数ベルヌーイ数および $ \ln a $ の累乗のみに依存する。
• $ n $ が偶数の場合、最初の項はオイラーの公式による $ \pi^n $ の有理数倍として寄与する。
• 多項式 $ h_n(a) = (1+a)f_n(a) $ は、$ \ln a $ の次数 $ n $ の斉次多項式であり、$ (-1)^{j-1} B_{2j} $ の符号の性質により正の係数を持つ。
• この式により、グレーデシュタインとリーズヒクの表中の項目 $ \mathbf{4.232.3} $、$ \mathbf{4.261.4} $、$ \mathbf{4.262.3} $、$ \mathbf{4.263.1} $、および $ \mathbf{4.264.3} $ の有効性が確認され、最新版における既知のタイプミスが是正される。
• Mathematica 5.2 などの記号計算ツールは、$ n $ が記号的である場合に $ f_n(a) $ を記号的に評価できないが、固定された整数 $ n $ に対しては成功するため、解析的導出の必要性が裏付けられる。