[論文レビュー] On computing the generalized Lambert series

Jörg Arndt|arXiv (Cornell University)|Feb 29, 2012

Sports Dynamics and Biomechanics参考文献 8被引用数 4

ひとこと要約

本稿では、ロジャース＝ファイン恒等式から導出され、オズラーおよびハッセンの恒等式を用いて精錬された、シータ収束を用いた一般化ラムベルト級数の高速収束計算手法を提示する。主な貢献は、$\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ に対する対称的恒等式であり、これは偶数項と奇数項に分ける必要なく、逆フィボナッチ数の和を効率的に計算可能にし、シータ収束率を達成する。

ABSTRACT

We show how the generalized Lambert series sum(n>=1, x*q^n/(1-x*q^n)) can be computed with Theta convergence. This allows the computation of the sum of the inverse Fibonacci numbers without splitting the sum into even and odd part. The method is a special case of an expression for the more general series sum(n>=0, t^n/(1-x*q^n)), which can be obtained from either the Rogers-Fine identity or an identity by Osler and Hassen.

研究の動機と目的

• 一般化ラムベルト級数 $\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ を高速収束で計算するための効率的かつ効果的な手法の開発。
• 逆フィボナッチ数の和を偶数項と奇数項に分ける必要を排除すること。
• 一般化ラムベルト級数において $x$ と $t$ の間の対称的恒等式を確立し、計算の安定性と洞察を向上させること。
• 生成関数恒等式を用いてフィボナッチ数のような線形逐次数列に適用可能な統一的枠組みを提供すること。
• ゴスパーの公式やホラダムの和公式を補正・拡張し、$q$-超幾何構造を持つ収束級数を導出すること。

提案手法

• ロジャース＝ファイン恒等式を代入および簡略化することで、主恒等式 $\sum_{n\geq0} \frac{t^n}{1 - xq^n} = \sum_{n\geq0} \frac{(1 - x t q^{2n})}{(1 - x q^n)(1 - t q^n)} x^n t^n q^{n^2}$ を導出する。
• この恒等式を $x = q$, $t = q$ の場合に適用し、$L(q) = \sum_{n\geq1} \frac{q^n}{1 - q^n}$ に対するクラウゼンの恒等式を回復し、シータ収束が顕在化することを明らかにする。
• 恒等式を $L(x,q) = \sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ の場合に特化し、ホラダムの公式を用いて $\sum_{n\geq1} \frac{1}{F_n}$ の直接的和計算を可能にする。
• 恒等式 $\sum_{n\geq0} \frac{t^n}{1 - xq^n} = \sum_{n\geq0} \frac{x^n}{1 - tq^n}$ の対称性を用いて収束性を検証および一般化する。
• ゴスパーの行列積恒等式およびジョルダンの両側級数恒等式を用いた代替的導出により、手法の妥当性を検証する。
• 主恒等式の右辺がシータ収束を示すことを確立する—線形より速いが指数的ではない—これにより高精度計算に適している。

実験結果

リサーチクエスチョン

• RQ1 一般化ラムベルト級数 $\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ は、対称的 $q$-級数恒等式を用いて、線形より速い収束を達成できるか？
• RQ2 偶数項と奇数項に分けることなく、$\sum_{n\geq1} \frac{1}{F_n}$ を統一的に計算する方法は存在するか？
• RQ3 ロジャース＝ファイン恒等式は、一般化ラムベルト級数に対して、対称的かつ高速収束する表現をどのように導くか？
• RQ4 $q$-超幾何恒等式および $q$-ポッホハマー記号は、高速収束表現を導出する際に果たす役割は何か？
• RQ5 恒等式 $\sum_{n\geq0} \frac{t^n}{1 - xq^n} = \sum_{n\geq0} \frac{x^n}{1 - tq^n}$ は、既知の $q$-級数恒等式から独立に導出可能か？また、収束性にどのような含意をもたらすか？

主な発見

• 主恒等式 $\sum_{n\geq0} \frac{t^n}{1 - xq^n} = \sum_{n\geq0} \frac{(1 - x t q^{2n})}{(1 - x q^n)(1 - t q^n)} x^n t^n q^{n^2}$ は、ロジャース＝ファイン恒等式から導出され、複数の導出法により確認された。
• この恒等式は $x$ と $t$ の間の対称性を示し、$\sum_{n\geq0} \frac{t^n}{1 - xq^n} = \sum_{n\geq0} \frac{x^n}{1 - tq^n}$ が成り立つことを確認する。これは $|q|<1$, $|x|<1$, $|t|<1$ の範囲で成立する。
• 級数 $\sum_{n\geq1} \frac{1}{F_n} \approx 3.359885$ は、偶数項と奇数項に分けることなく、この恒等式を用いて効率的に計算可能である。
• この手法はシータ収束を達成する。これは線形より速いが指数的ではない収束であり、少ない項数で高精度評価が可能である。
• この恒等式は本稿以前に存在しており、アガルワル（1993）の論文において、特にその式 (6.17) として既に発表済みであることが判明した。
• 一般化ラムベルト級数 $L(x,q) = \sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ は、$\sum_{n\geq1} \frac{(1 - x q^{2n})}{(1 - x q^n)(1 - q^n)} x^n q^{n^2}$ として表現可能であり、ホラダムの公式を用いて逆フィボナッチ数の和を高速に計算可能である。