[论文解读] Summation Identities Involving Padovan and Perrin Numbers

Kunle Adegoke|arXiv (Cornell University)|Dec 7, 2018

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

一句话总结

本文利用特征多项式 $x^3 - x - 1$ 的根的代数性质，推导出帕多瓦数与佩林数的新型二项式及双重二项式求和恒等式。通过利用该多项式的零点 $α$、$β$ 和 $γ$ 及其对称函数，作者建立了包含等差数列下标帕多瓦数与佩林数之和的闭式恒等式，涵盖基于行列式的表达式与生成函数，显著扩展了这些数列已知的代数框架。

ABSTRACT

Unlike in the case of Fibonacci and Lucas numbers, there is a paucity of literature dealing with summation identities involving the Padovan and Perrin numbers. In this paper, we derive various summation identities for these numbers, including binomial and double binomial identities. Our results derive from the rich algebraic properties exhibited by the zeros of the characteristic polynomial of the Padovan/Perrin sequence.

研究动机与目标

• 为解决帕多瓦数与佩林数求和恒等式文献稀缺的问题，相较于斐波那契数列与卢卡斯数列。
• 利用 $x^3 - x - 1$ 的根的代数结构，推导帕多瓦数与佩林数的闭式二项式与双重二项式求和恒等式。
• 通过行列式与生成函数表达帕多瓦数与佩林数在等差数列下标下的和。
• 通过涉及 $Q_n = 2P_{n-4} + 3P_{n-5}$ 与 $Q_n = 2P_{n-2} + P_{n-5}$ 的恒等式，建立帕多瓦数与佩林数序列之间的联系。
• 通过利用根 $\alpha$、$\beta$ 与 $\gamma$ 的对称函数，提供求和恒等式的全面代数框架。

提出的方法

• 利用特征多项式 $x^3 - x - 1$ 及其根 $\alpha$、$\beta$ 与 $\gamma$，并应用韦达定理推导对称恒等式。
• 应用引理1，将 $\alpha^n$、$\beta^n$ 与 $\gamma^n$ 表示为帕多瓦数的线性组合：$\alpha^n = \alpha^2 P_{n-4} + \alpha P_{n-3} + P_{n-5}$。
• 利用恒等式 $Q_n = \alpha^n + \beta^n + \gamma^n$ 将佩林数与帕多瓦数关联，并推导出 $Q_n = 2P_{n-4} + 3P_{n-5}$。
• 应用生成函数技术与矩阵行列式表示法，表达帕多瓦数与佩林数在等差数列下标下的无穷级数与有限和。
• 通过在一般恒等式 (2.53) 与 (2.54) 中代入特定 $x$ 与 $y$ 值，并利用引理5进行简化，推导出双重二项式恒等式。
• 建立涉及 $\frac{n}{n-j}\binom{n-j}{j}$ 系数的恒等式，以生成具有移位下标的序列的递推型恒等式。

实验结果

研究问题

• RQ1 如何利用 $x^3 - x - 1$ 的根推导帕多瓦数与佩林数的二项式求和恒等式？
• RQ2 如何利用根的对称函数构建帕多瓦数与佩林数序列的双重二项式恒等式？
• RQ3 帕多瓦数与佩林数在等差数列下标下的和能否用行列式表示？
• RQ4 当子指标遵循等差数列时，帕多瓦数与佩林数的生成函数如何呈现？
• RQ5 涉及 $Q_n = 2P_{n-4} + 3P_{n-5}$ 与 $Q_n = 2P_{n-2} + P_{n-5}$ 的恒等式如何促进新求和公式的推导？

主要发现

• 本文推导出恒等式 $\sum_{j=0}^{\lfloor n/2 \rfloor} (-1)^j \frac{n}{n-j} \binom{n-j}{j} P_{p+n-3j} = (-1)^n (Q_n P_p - P_{n+p})$，将二项式和与帕多瓦数及佩林数联系起来。
• 建立了双重二项式恒等式：$\sum_{j=0}^{\lfloor n/2 \rfloor} \sum_{k=0}^{n-2j} (-1)^{j+k} \frac{n}{n-j} \binom{n-j}{j} \binom{n-2j}{k} Q_p^{n-2j-k} P_{q-pj+pk} = Q_{pn} P_q - P_{pn+q}$。
• 和 $\sum_{j=0}^{n} P_{pj+q}$ 被表示为帕多瓦数构成的行列式之比，其中分子中的行列式包含 $P_{pn+p+q}-P_q$ 及相关项。
• 帕多瓦数在等差数列下标下的生成函数表示为行列式之比：$\sum_{j=0}^{\infty} P_{pj+q} y^j = \frac{\left| \text{矩阵含 } P_q, -yP_{p-3}, \dots \right|}{\left| \text{矩阵含 } -yP_{p-2}+1, \dots \right|}$。
• 推导出恒等式 $Q_{-n} = \frac{1}{2}(Q_n^2 - Q_{2n})$，将序列扩展至负下标。
• 对于特定参数集（如第13组），证明了恒等式 $\sum_{j=0}^{\lfloor n/2 \rfloor} \frac{n}{n-j} \binom{n-j}{j} 2^{2n-4j} P_{(m+2)n+p-4j} = P_{(m+7)n+p} + (-1)^n P_{(m-7)n+p}$，表明其具有周期性与对称性。