[论文解读] The integrals in Gradshteyn and Ryzhik. Part 14: An elementary evaluation of entry 3.411.5

Tewodros Amdeberhan, Victor H. Moll|arXiv (Cornell University)|Apr 14, 2010

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

一句话总结

本文對格拉德什坦與里茲尼克表中第3.411.5條目進行了基礎性評估，涉及從0到a的x/(1 - e^−x)的積分。利用級數展開、多 polylogarithm 函數及調和數恆等式，作者推導出包含π²/12與(ln 2)²的閉合形式結果，透過直接且易懂的證明確認了該恆等式，避免使用高階特殊函數。

ABSTRACT

An elementary proof of an entry in the table of integrals by Gradshteyn and Rhyzik is presented.

研究动机与目标

• 為格拉德什坦與里茲尼克積分表中第3.411.5條目提供一種基礎且易於理解的證明。
• 透過級數運算與已知特殊函數恆等式，驗證涉及積分∫₀ᵃ x/(1 - e⁻ˣ) dx的恆等式。
• 展示僅使用基礎級數與積分技巧，即可推導出PolyLog(2, 1/2) = π²/12 - (1/2)(ln 2)²的結果。
• 為持續驗證與修正古典積分表中的條目（特別是涉及多 polylogarithm 與對數級數者）貢獻一份力量。

提出的方法

• 利用1/(1 - e⁻ˣ)的幾何級數展開，將被積函數x/(1 - e⁻ˣ)展開為級數。
• 將所得級數以二階多 polylogarithm 函數（即PolyLog(2, x) = ∑ₖ xᵏ/k²）表示。
• 利用多 polylogarithm 的積分表示式PolyLog(2, x) = -∫₀ˣ ln(1 - t)/t dt，將級數轉化為積分形式。
• 套用多 polylogarithm 的函數方程：PolyLog(2, x) + PolyLog(2, 1 - x) = π²/6 - ln x ln(1 - x)，並在x = 1/2處求值。
• 利用恆等式ln 2 = -∑ₖ 1/(k 2ᵏ)透過平方與變換指標，推導出(ln 2)²的級數表達式。
• 結合調和數恆等式與∑ Hₙ / n 2ⁿ⁻¹的積分表示，重新獲得ζ(2) = π²/6。

实验结果

研究问题

• RQ1 格拉德什坦與里茲尼克表中第3.411.5條目能否僅透過基礎級數與積分技巧加以證明？
• RQ2 恆等式∑ₖ 1/(2ᵏ⁻¹ k²) = π²/6 - (ln 2)²的基礎推導為何？
• RQ3 多 polylogarithm 的函數方程如何在不使用高階特殊函數理論的情況下，用於計算PolyLog(2, 1/2)？
• RQ4 能否利用調和數的積分表示，以生成函數技巧求得級數∑ₖ Hₖ / (k 2ᵏ⁻¹) 的閉合形式？

主要发现

• 積分∫₀ᵃ x/(1 - e⁻ˣ) dx 的結果為½a² - PolyLog(2, e⁻ᵃ) + π²/6 - a ln(1 - e⁻ᵃ)，確認了第3.411.5條目。
• 透過基礎級數運算與多 polylogarithm 函數方程，確立了特殊值PolyLog(2, ½) = π²/12 - ½(ln 2)²。
• 透過將調和數表示為積分並應用生成函數技巧，推導出∑ₖ Hₖ / (k 2ᵏ⁻¹) = π²/6。
• 確認了相關恆等式∑ₖ Hₖ₋₁ / k² = ζ(3)，並透過級數變換指出其與主結果的關聯。
• 該證明僅依賴已知的級數展開、積分表示與代數恆等式，完全避免使用複分析或高階特殊函數。