[论文解读] Weighted sums of some second-order sequences

Kunle Adegoke|arXiv (Cornell University)|Mar 24, 2018

Advanced Mathematical Theories and Applications参考文献 3被引用 13

一句话总结

本文推导了由 $w_0 = a$，$w_1 = b$，$w_n = p w_{n-1} - q w_{n-2}$ 定义的二阶线性递推序列 $\{w_n\}$ 的新加权求和恒等式，其中 $a, b, p, q \in \mathbb{C}$，且 $p,q \neq 0$。通过广义二项式求和框架与基于递推的生成函数技术，建立了涉及二项式系数、特征序列的幂以及加权和的恒等式，这些恒等式推广了斐波那契数、佩尔数和雅可布斯塔回数的已知结果。

ABSTRACT

We derive weighted summation identities involving the second order recurrence sequence $\{w_n\} =\{ w_n(a,b; p, q)\}$ defined by $w_0 = a,\,w_1 = b;\,w_n = pw_{n - 1} - qw_{n - 2}\, (n \ge 2)$, where $a$, $b$, $p$ and $q$ are arbitrary complex numbers, with $p e 0$ and $q e 0$.

研究动机与目标

• 推导由 $w_n = p w_{n-1} - q w_{n-2}$ 定义的广义二阶递推序列 $\{w_n\}$ 的新加权求和恒等式，其中参数为任意复数。
• 将斐波那契数、卢卡斯数、佩尔数与雅可布斯塔回数等特殊序列的已知二项式求和恒等式统一到一个框架中。
• 建立涉及加权和、二项式系数、特征序列 $u_r$ 的幂以及基于递推的归一化因子的恒等式。
• 通过引入适用于任意复参数与所有整数 $n$ 的参数化恒等式族，扩展了霍拉达姆及其他研究者先前的结果。
• 利用递推结构与生成函数技术，对非平凡的加权和（包括非二项式与超几何型求和）提供闭式表达。

提出的方法

• 利用广义二项式求和引理（引理3），该引理将满足二阶线性递推的序列与带二项式系数的加权和联系起来。
• 应用递推恒等式 $w_{m+r} = u_r w_m - q u_{r-1} w_{m-1}$，将加权和表示为特征序列 $u_r$ 与 $v_r$ 的形式。
• 使用辅助序列 $u_n = u_n(p,q)$，即广义斐波那契序列，作为二项式求和恒等式中归一化的基础。
• 通过将 $x$、$y$、$\alpha$、$\beta$ 的特定值代入引理3中的通式，推导出适用于 $w_n$ 递推结构的恒等式。
• 应用恒等式 $w_{n-r} w_{m+n+r} = w_n w_{m+n} + q^{n-r} e u_{r-1} u_{m+r-1}$，其中 $e = pab - qa^2 - b^2$，推导出非二项式求和恒等式。
• 通过将已知恒等式（如霍拉达姆1967年的结果）作为所推导定理的特例进行还原，验证了结果的一致性。

实验结果

研究问题

• RQ1 如何利用递推结构系统地推导广义二阶序列 $\{w_n\}$ 的加权二项式求和？
• RQ2 涉及 $\binom{k}{j}$、$u_r$ 的幂以及 $w_n$ 索引偏移的加权和的一般形式是什么？
• RQ3 能否对涉及 $w_{rj}$ 与几何序列如 $(-q u_{r-2})^{-j}$ 的非二项式加权和进行闭式求值？
• RQ4 所推导的恒等式如何推广斐波那契数、佩尔数与雅可布斯塔回数的已知结果？
• RQ5 特征序列 $u_r$、$v_r$ 以及参数 $e = pab - qa^2 - b^2$ 在构造这些恒等式中起什么作用？

主要发现

• 恒等式 $(-q u_{r-1})^k \sum_{j=0}^k \binom{k}{j} \left(-\frac{u_r}{q u_{r-1}}\right)^j w_{m - k(r+1) + j} = w_m$ 推广了霍拉达姆（1967）的结果，对所有整数 $r \neq 0$ 成立。
• 恒等式 $\sum_{j=0}^k \binom{k}{j} \frac{w_{m - k + rj}}{(q u_{r-2})^j} = \left(\frac{u_{r-1}}{q u_{r-2}}\right)^k w_m$ 对所有整数 $r \neq 1$ 成立，为涉及 $w_{rj}$ 的加权和提供了新闭式。
• 对于特殊情形 $w_n = G_n(a,b)$，推导出恒等式 $\sum_{j=0}^k (-1)^j \binom{k}{j} \frac{G_{rj}}{F_{r-1}^j} = (-1)^k \left(\frac{F_r}{F_{r-1}}\right)^k G_k$，推广了已知的斐波那契求和恒等式。
• 证明了非二项式求和 $u_{r-1} \sum_{j=0}^k \frac{w_{rj}}{(-q u_{r-2})^j} = \frac{w_{kr + r - 1}}{(-q u_{r-2})^k} + (a p - b) u_{r-2}$，其中包含斐波那契数与 $G_n$ 序列的特例。
• 恒等式 $\sum_{j=0}^k \binom{k}{j} \frac{w_{m - k r + 2 r j}}{q^{r j}} = \left(\frac{v_r}{q^r}\right)^k w_m$ 对所有整数 $r$ 成立，其中 $v_r$ 为广义卢卡斯序列。
• 将主恒等式中的 $p=1$，$q=-1$ 代入，可恢复 $G_n$ 序列的已知结果，如 $\sum_{j=0}^k (-1)^{rj} \binom{k}{j} G_{m - k r + 2 r j} = (-1)^{r k} L_r^k G_m$，与先前工作一致。