[論文レビュー] Logarithmic Integrals, Polylogarithmic Integrals and Euler sums

Bernard J. Laurenzi|arXiv (Cornell University)|Oct 29, 2010

Advanced Mathematical Identities参考文献 20被引用数 5

ひとこと要約

本稿は、ニールセンの一般化された多重対数関数を用いて、対数的・多対数的・オイラー和を統一的な枠組みで取り扱うものであり、異なる順序の多重対数関数の積を含む積分について、閉形式の解と再帰関係を導出する。主な結果として、奇数または偶数の整数差を持つパラメータを持つ積分について、対称的な差分方程式と有限和表現が得られ、リーマン・ゼータ関数および特別な和を用いた正確な評価が可能になる。

ABSTRACT

Relations among integrals of logarithms, polylogarithms and Euler sums are presented. A unifying element being the introduction of Nielsen's generalized polylogarithms.

研究の動機と目的

• ニールセンの一般化された多重対数関数を用いて、対数積分、多対数積分、オイラー和の取り扱いを統一すること。
• 異なる順序の多対数関数の積の積分についての再帰関係を導出すること。
• パラメータの差が奇数または偶数の整数であるような積分を、ゼータ関数と有限和を用いて閉形式で表現すること。
• 級数展開と特別な関数の恒等式を用いて、交代オイラー和の正確および近似評価を提供すること。

提案手法

• 積分の多対数関数の積とゼータ関数を含む境界項との間の対称的偏差分方程式（式5）を導出。
• 部分積分と和の技法を適用し、パラメータがずれた積分を初期値とR(p,q)項で表す再帰関係（式6）を導出。
• 対称性とパラメータの置換（例：p = q + 2n − 1の設定）を用いて、奇数の整数差を持つ積分の閉形式表現を導出。
• 特別な和（例：𝒥₁(r) と 𝒥₂(r)）をニールセン積分、ゼータ関数、調和和（σ̃ および s 項を含む）で表現。
• スターリング数と多重対数関数の微分を用いた級数展開により、交代オイラー和の高精度近似を導出。
• log(1±t)/(1−t) を含む積分を特別な和に関連付け、ゼータ関数と対数積分を用いて表現。

実験結果

リサーチクエスチョン

• RQ1 異なる順序の多対数関数の積の積分は、再帰関係によってどのように系統立てて関連づけられるか？
• RQ2 パラメータの差が奇数または偶数の整数であるような積分について、どのような閉形式表現が得られるか？
• RQ3 ニールセンの一般化された多重対数関数は、対数積分、多対数積分、オイラー和の取り扱いをどのように統一するか？
• RQ4 スターリング数とゼータ関数を含む級数展開を用いて、交代オイラー和を高精度に近似できるか？
• RQ5 多重対数関数と特別な和 𝒥₁(r) および 𝒥₂(r) の間にはどのような関係があるか？

主な発見

• 積分 I(p,q) は対称的差分方程式（式5）を満たし、ゼータ関数を含む R(p,q) 項を用いた再帰的評価が可能になる。
• パラメータの差が奇数の整数（例：I(p,p+2n−1)）である場合、有限和によるゼータ関数の和としての閉形式表現が得られ（式8）、
• パラメータの差が偶数の整数（例：I(p,p+2n)）である場合、I(p+n,p+n) と R(p,q) 項の有限和で表現される（式9）。
• 和 𝒥₂(2n+1) は ½[s₂ₙ,₂ + σ̃₂ₙ,₂] − 𝒞(2n+1) + 2⁻²ⁿ⁻²ζ(2n+2) として表現され、ここで 𝒞(2n+1) はニールセン積分に関連する。
• 交代オイラー和 S₋(5) は、ゼータ関数とスターリング数を含む切り捨てられた級数を用いて、小数点以下9桁まで近似され、有理数および超越的表現が得られる。
• 和 𝒥₁(r) は ½[sᵣ₋₁,₂ − σ̃ᵣ₋₁,₂] − 𝒪(r) として表現され、𝒥₂(r) は (1−2⁻ʳ)sᵣ₋₁,₂ + σ̃ᵣ₋₁,₂ を用いて再定式化され、ゼータ関数および調和和への明示的依存関係が示される。