[论文解读] Identities for Tribonacci-related sequences

Mario Catalani|ArXiv.org|Sep 15, 2002

Advanced Mathematical Theories and Applications参考文献 1被引用 24

一句话总结

本文通过基于矩阵的方法，为与三体纳奇数列相关的序列建立了新恒等式，引入了‘三体矩阵’（Tribomatrix），将广义卢卡斯序列 $ S_n $ 与矩阵 $ \mathbf{A}^n $ 的二阶主子式行列式之和联系起来。关键贡献在于推导出序列 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 的递推关系，其满足 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $，并证明了诸如 $ S_n^2 = S_{2n} + 2C_n $ 和 $ S_n^4 = S_{4n} - 4S_n + 4S_{2n}C_n + 6C_n^2 $ 等恒等式。

ABSTRACT

We establish some identities relating two sequences that are, as explained, related to the Tribonacci sequence. One of these sequences bears the same resemblance to the Tribonacci sequence as the Lucas sequence does to the Fibonacci sequence. Defining a matrix that we call Tribomatrix, which extends the Fibonacci matrix, we see that the other sequence is related to the sum of the determinants of the 2nd order principal minors of this matrix.

研究动机与目标

• 建立广义三体纳奇数列 $ S_n $ 与新序列 $ C_n $ 之间的代数恒等式，其中 $ C_n $ 定义为特征根幂乘积之和。
• 通过‘三体矩阵’开发基于矩阵的框架，将矩阵幂与三体数列及广义卢卡斯数列联系起来。
• 研究 $ C_n $ 的递推结构，证明其满足 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $，初始值为 $ C_0 = 3 $, $ C_1 = -1 $, $ C_2 = -1 $。
• 推导 $ S_n $ 项乘积的闭式恒等式，如 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $，将已知的斐波那契型恒等式推广至三体情形。
• 探讨 $ S_n $ 的高阶幂，推导 $ S_n^3 $ 和 $ S_n^4 $ 的恒等式，并发现一个新颖恒等式 $ 2S_n = C_n^2 - C_{2n} $。

提出的方法

• 定义三体矩阵 $ \mathbf{A} = \begin{bmatrix} 1 & 1 & 0 \\ 1 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix} $，其特征值为三体递推关系特征多项式 $ x^3 - x^2 - x - 1 = 0 $ 的根 $ \alpha, \beta, \gamma $，从而建立与三体数列的联系。
• 将矩阵幂 $ \mathbf{A}^n $ 表示为三体数 $ T_n $ 的形式，且 $ \mathbf{A}^n $ 的迹等于广义卢卡斯序列 $ S_n $。
• 定义序列 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 为 $ \mathbf{A}^n $ 的二阶主子式行列式之和，并证明其满足线性递推关系。
• 以比内公式 $ S_n = \alpha^n + \beta^n + \gamma^n $ 为基础，利用根的对称函数推导涉及 $ S_n $ 项与 $ C_n $ 的恒等式。
• 使用生成函数推导出 $ C_n $ 的普通生成函数：$ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $，以及 $ C_{2n} $ 的生成函数：$ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $。
• 通过对根 $ \alpha, \beta, \gamma $ 的对称幂和进行代数恒等变形，导出恒等式 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $（当 $ n \geq m $ 时成立），并对 $ n < m $ 的情形进行调整。

实验结果

研究问题

• RQ1 广义三体纳奇数列 $ S_n $ 与特征根幂乘积之和 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ 之间存在哪些恒等式？
• RQ2 三体矩阵 $ \mathbf{A} $ 如何通过其特征值与主子式，将矩阵幂与三体数列及广义卢卡斯数列联系起来？
• RQ3 序列 $ C_n $ 的递推关系是什么？它能否从三体特征多项式的根的对称函数中推导得出？
• RQ4 乘积恒等式 $ S_n S_{n+m} $ 如何将斐波那契与卢卡斯恒等式推广至三体情形？
• RQ5 对于 $ S_n $ 的高阶幂，如 $ S_n^3 $ 和 $ S_n^4 $，会涌现出哪些新恒等式？它们与 $ C_n $ 和 $ C_{2n} $ 的关系如何？

主要发现

• 序列 $ C_n $，定义为 $ \mathbf{A}^n $ 的二阶主子式行列式之和，满足递推关系 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $，初始值为 $ C_0 = 3 $, $ C_1 = -1 $, $ C_2 = -1 $。
• $ C_n $ 的普通生成函数为 $ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $，$ C_{2n} $ 的生成函数为 $ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $，均由其递推结构导出。
• 恒等式 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ 在 $ n \geq m $ 时成立，当 $ n < m $ 时为 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - S_{m-n} $，该结果推广了经典的斐波那契恒等式。
• 由恒等式 $ S_n^2 = S_{2n} + 2C_n $ 可知，$ S_n^2 $ 可表示为 $ S_{2n} $ 与 $ C_n $ 的组合，建立了序列平方与高阶项之间的直接联系。
• 推导出恒等式 $ S_n^3 = S_{3n} + 3S_n C_n - 3 $，表明 $ S_n $ 的立方可表示为 $ S_{3n} $、$ S_n C_n $ 与常数项的组合。
• 通过比较 $ S_n^4 $ 的两个表达式，论文建立了新颖且非平凡的恒等式 $ 2S_n = C_n^2 - C_{2n} $，揭示了广义卢卡斯序列与 $ C_n $ 序列之间的深刻关系。