[论文解读] On computing the generalized Lambert series

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

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

一句话总结

本文提出了一种基于Theta收敛的快速收敛方法，用于计算广义Lambert级数，其推导源自Rogers-Fine恒等式，并通过Osler和Hassen的恒等式进一步优化。关键贡献在于为 $\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ 建立了一个对称恒等式，使得无需将倒数斐波那契数列之和拆分为偶数项与奇数项，即可实现高效求和，达到Theta收敛速率。

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.

研究动机与目标

• 开发一种高效计算广义Lambert级数 $\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ 的方法，实现快速收敛。
• 消除将倒数斐波那契数列之和拆分为偶数索引与奇数索引部分的需要。
• 在广义Lambert级数中建立 $x$ 与 $t$ 之间的对称恒等式，以提升计算稳定性并深化理解。
• 为斐波那契数列等线性递推序列提供一个统一的框架，基于生成函数恒等式。
• 通过推导具有 $q$-超几何结构的收敛级数，修正并扩展先前结果，包括Gosper公式与Horadam求和公式。

提出的方法

• 通过代入与简化，从Rogers-Fine恒等式推导出主恒等式 $\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$ 的情形，以恢复Clausen对 $L(q) = \sum_{n\geq1} \frac{q^n}{1 - q^n}$ 的恒等式，揭示出Theta收敛特性。
• 将恒等式特化为 $L(x,q) = \sum_{n\geq1} \frac{xq^n}{1 - xq^n}$，从而可直接通过Horadam公式对 $\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}$ 验证并推广收敛行为。
• 通过Gosper的矩阵乘积恒等式与Jordan的双边级数恒等式进行替代推导，验证该方法的有效性。
• 证明主恒等式右侧具有Theta收敛性——收敛速度超过线性但非指数级——因此适用于高精度计算。

实验结果

研究问题

• RQ1 能否利用对称的 $q$-级数恒等式，实现广义Lambert级数 $\sum_{n\geq1} \frac{xq^n}{1 - xq^n}$ 的超线性收敛计算？
• RQ2 是否存在一种统一方法，可在不拆分偶数与奇数索引项的情况下计算 $\sum_{n\geq1} \frac{1}{F_n}$？
• RQ3 Rogers-Fine恒等式如何导出广义Lambert级数的对称且快速收敛的表达式？
• RQ4 在推导快速收敛表示时，$q$-超几何恒等式与 $q$-Pochhammer符号起什么作用？
• 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}$ 由Rogers-Fine恒等式推导得出，并通过多种推导方式得到验证。
• 该恒等式揭示了 $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$ 可通过该恒等式高效计算，无需拆分为偶数与奇数部分。
• 该方法实现了Theta收敛，即收敛速度超过线性但非指数级，因此可用更少项数实现高精度评估。
• 该恒等式已被证明早于本文工作出现，最早见于Agarwal（1993），具体为该文中的关系式（6.17）。
• 广义Lambert级数 $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}$，从而可通过Horadam公式实现倒数斐波那契数列的快速求和。