[論文レビュー] Special Values of Generalized Log-sine Integrals

Jonathan M. Borwein, Armin Straub|NOVA (University of Newcastle, Australia)|Mar 22, 2011

Advanced Mathematical Identities参考文献 23被引用数 7

ひとこと要約

本稿では、特にπおよびπ/3における一般化対数正弦積分の明示的記号的評価を、ニールセン多polylogarithmおよび多重zeta値を用いて提示する。これらの積分を既知の特殊関数に還元するためのアルゴリズム的枠組みを構築し、MathematicaおよびSAGEにおける実装を提供することで、量子場理論および数論における関連する積分の正確な記号的計算を可能にする。

ABSTRACT

We study generalized log-sine integrals at special values. At $π$ and multiples thereof explicit evaluations are obtained in terms of Nielsen polylogarithms at $\pm1$. For general arguments we present algorithmic evaluations involving Nielsen polylogarithms at related arguments. In particular, we consider log-sine integrals at $π/3$ which evaluate in terms of polylogarithms at the sixth root of unity. An implementation of our results for the computer algebra systems Mathematica and SAGE is provided.

研究の動機と目的

• πおよびπ/3などの特別な値における一般化対数正弦積分の閉形式評価を導出すること。
• これらの積分を多重polylogarithm、多重zeta値、およびクラウゼン／グレイシャー関数に還元するためのアルゴリズム的還元を確立すること。
• コンピュータ代数システムにおける対数正弦積分の正確な記号的評価のための計算フレームワークを提供すること。
• 特にフェインマン図のε展開および多重マーラー測度の応用を含む理論物理学への支援をすること。
• 高精度および正確な結果を得るための記号的実装を、既存の数値ツールに補完すること。

提案手法

• 指数的母関数および再帰関係を用いて、πにおける対数正弦積分を二項係数およびガンマ関数に関連付けて評価する。
• 解析接続およびフーリエ級数展開を適用し、π/3における対数正弦積分を6乗単位根における多変数polylogarithmで表現する。
• 多重クラウゼンおよびグレイシャー関数を用いて、特別な角度における多重polylogarithmの実部および虚部を表現する。
• z = 1およびz = -1における多重polylogarithm、およびπ/2、2π/3、πにおけるクラウゼン／グレイシャー関数の還元システムを導入する。
• PSLQアルゴリズムを用いて、多重zeta値およびpolylogarithmic恒等式の還元を発見および検証する。
• MathematicaおよびSAGEにおける記号的変換パイプラインを実装し、σ（例：σ = 2mπ または σ ≤ π）のケース分析に基づいてLs_n^(k)(σ)をpolylogarithmic表現にマッピングする。

実験結果

リサーチクエスチョン

• RQ1 πにおける一般化対数正弦積分は、どのように多重zeta値およびニールセン多polylogarithmで表現できるか？
• RQ2 π/3における対数正弦積分の記号的評価は何か？また、6乗単位根におけるpolylogarithmとどのように関係するか？
• RQ3 特別な引数における多重polylogarithmのアルゴリズム的還元を体系的に導出し、実装することは可能か？
• RQ4 MathematicaやSAGEのような記号的計算システムを用いて、対数正弦積分を正確に評価することは可能か？特に物理的応用において。
• RQ5 π/3における対数正弦積分の評価からどのような正確な恒等式が得られるか？また、マーラー測度論における既知の結果とどのように関係するか？

主な発見

• 対数正弦積分Ls_5^(2)(2π)は正確に−13/45 π⁵に評価され、既知の恒等式を確認する。
• π/3において、Ls_5^(0)(π/3)は1543/19440 π⁵ − 6 Gl_{4,1}(π/3)に評価され、多重グレイシャー関数の役割が明確になる。
• Ls_5^(1)(π)は6 Li_{3,1,1}(−1) + (π² ζ(3))/4 − (105 ζ(5))/32に評価され、多重zeta値と関連する。
• Ls_4^(2)(π)の評価からζ(3,1) = π⁴/360という恒等式が導かれ、既知の多重zeta値を確認する。
• Ls_6^(3)(π/3) − 2 Ls_6^(1)(π/3)の評価は313/204120 π⁶をもたらし、ズッカーマン（2007）の結果を記号的に証明する。
• 実装により、複雑な対数正弦積分が既知の特殊関数に還元され、外部ライブラリを介した高精度数値評価を伴う正確な記号的計算が可能になる。