Abel-Type Transformations and Telescoping Structures in Reciprocal Series of Second-Order Linear Recurrences

技术摘要：二阶线性递推序列倒数级数中的 Abel 型变换与级联结构

问题陈述
本文研究了涉及二阶线性递推序列（如斐波那契、卢卡斯及一般 Horadam 序列）项之乘积的无穷倒数级数的求值与变换。虽然文献中存在大量针对此类级数的特定恒等式——当涉及连续项乘积时通常被称为“Brousseau 和”——但这些结果通常是针对特定序列或参数选择而采用的特例化方法（ad hoc methods）推导而出的。作者指出，目前缺乏一个能够统一这些零散恒等式，并将研究范围扩展到分母中包含三个或更多因子的级数的通用且系统的框架。

方法论
所提议方法的核心是离散 Abel 型求和公式（分部求和法）。作者利用引理 1 中的两个主要恒等式，将倒数和转化为表现出部分级联（telescoping）或交错抵消结构的表达式。

1. 变换机制： 通过在分部求和公式中适当设定 $x_k$ 和 $y_k$，作者将形式为 $\sum \frac{1}{w_{rk+l}w_{mk+s}w_{m(k+1)+s}}$ 的级数（其中 $w_n$ 为二阶递推序列）转换为交错和。
2. 关键恒等式： 该方法在很大程度上依赖于恒等式 $w_t w_{q+1} - w_{t+1} w_q = (-1)^q E u_{t-q}$。其中 $u_n$ 是伴随序列，$E$ 是由初始条件决定的常数。该恒等式使得内部求和能够实现级联。
3. 奇偶性依赖： 该方法的一个关键特征是区分参数 $m$ 的奇偶性。变换公式在结构上取决于 $m$ 的奇偶性，导致定性的表示形式不同（例如，在不同的上下文中，奇数 $m$ 对应分子中出现交错符号，而偶数 $m$ 则不然）。
4. 向高阶扩展： 该方法通过迭代扩展，以处理分母中包含四个或更多因子的级数，从而产生涉及底层序列中更多连续项的高阶级联结构。

主要贡献与结果

• 通用变换公式： 本文建立了通用定理（定理 1, 4, 7, 及 9），提供了对于如下形式无穷级数的变换规则：
  $$\sum_{k=1}^{\infty} \frac{(\pm 1)^k}{w_{rk+l} w_{mk+s} w_{m(k+1)+s}}$$
  以及它们向包含四个或更多项乘积的扩展。这些公式将原始的倒数级数转换为具有内置级联或交错性质的交错和。
• 斐波那契与卢卡斯恒等式的统一： 通过将通用参数特化为斐波那契（$F_n$）和卢卡斯（$L_n$）数，作者推导出了大量已知及新的恒等式。例如，他们为形如 $\sum \frac{1}{F_k F_{k+1} F_{k+2}}$ 和 $\sum \frac{1}{L_k L_{k+1} L_{k+2}}$ 的级数提供了闭式变换，将其表示为更简单项的交错和。
• 对组合序列的应用： 该框架被用于推导涉及经典组合序列的恒等式。具体而言，作者提出了涉及以下内容的计算结果：
  • 调和数 ($H_n$)： 变换涉及分子中含有 $H_k$ 的级数。
  • 卡塔兰数 ($C_n$)： 推导涉及二项式系数和卡塔兰数的恒等式。
  • 斯特林数： 建立关于第一类和第二类斯特林数的联系。
  • 切比雪夫多项式： 提供关于 $T_n(x)$ 和 $U_n(x)$ 的恒等式。
• 对称恒等式： 作者展示了一种对称性质（命题 9），即分部求和中序列的角色可以互换，从而产生关于倒数级数的新的对偶恒等式。

意义与主张
本文声称提供了一种“统一方法”，能够系统地解释并产生此前通过孤立的、针对特定序列的论证获得的倒数级数恒等式。其意义在于：

1. 系统化简化： 能够将复杂的多因子倒数和简化为具有内在级联或交错结构的更简单形式。
2. 通用性： 该方法统一适用于广泛的二阶递推序列（Horadam 序列），而非局限于斐波那契或卢卡斯数。
3. 结构洞察： 该方法自然地区分了偶数和奇数参数，揭示了这些级数在以往未能在统一框架下强调的结构特性。
4. 灵活性： 该方法作为一个灵活的工具，可用于生成涉及各种组合序列（如调和数和斯特林数）的新恒等式，将倒数级数与这些领域联系起来。

作者总结道，尽管未来的工作可以探索 $q$-类似物或更一般的递推关系，但目前的框架已成功为变换和评估广泛的无穷倒数级数建立了稳固的基础。