[论文解读] Matrix Sequences of Tribonacci and Tribonacci-Lucas Numbers

Yüksel Soykan|arXiv (Cornell University)|Sep 20, 2018

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

一句话总结

本文首次引入了Tribonacci矩阵序列与Tribonacci-Lucas矩阵序列，推导出其生成函数、Binet公式及求和恒等式。建立了基本的矩阵恒等式，并证明了关键性质，如矩阵幂关系与乘法结构，将经典数论结果推广至矩阵形式。

ABSTRACT

In this paper, we define Tribonacci and Tribonacci-Lucas matrix sequences and investigate their properties.

研究动机与目标

• 首次在文献中定义并研究Tribonacci与Tribonacci-Lucas矩阵序列。
• 为这些矩阵序列推导生成函数、Binet公式及求和恒等式。
• 建立基本矩阵恒等式，并探索这些序列的代数结构。
• 研究矩阵序列与其幂之间的关系，特别是通过递归与乘法性质。
• 将标量Tribonacci序列的经典Binet与求和公式推广至其矩阵形式。

提出的方法

• 基于递推关系 $T_n = T_{n-1} + T_{n-2} + T_{n-3}$，使用3×3矩阵表示定义Tribonacci矩阵序列 $\mathcal{T}_n$。
• 类似地，基于递推关系 $K_n = K_{n-1} + K_{n-2} + K_{n-3}$ 及初值 $K_0=3, K_1=1, K_2=3$，定义Tribonacci-Lucas矩阵序列 $\mathcal{K}_n$。
• 利用标量生成函数 $\sum T_n x^n = \frac{x}{1-x-x^2-x^3}$ 和 $\sum K_n x^n = \frac{3-2x-x^2}{1-x-x^2-x^3}$，推导出这两类矩阵序列的生成函数。
• 利用三次方程 $x^3 - x^2 - x - 1 = 0$ 的根 $\alpha, \beta, \gamma$，建立矩阵序列的Binet公式，将 $\mathcal{T}_n$ 与 $\mathcal{K}_n$ 表示为 $\alpha^n, \beta^n, \gamma^n$ 的线性组合。
• 证明矩阵乘法恒等式，如 $\mathcal{T}_m \mathcal{T}_n = \mathcal{T}_{m+n}$，将标量恒等式推广至矩阵形式。
• 利用矩阵幂恒等式，包括 $\mathcal{T}_n^m = \mathcal{T}_{mn}$ 与 $\mathcal{K}_n^m = \mathcal{K}_0^m \mathcal{T}_{mn}$，探索序列的结构性质。

实验结果

研究问题

• RQ1 如何将Tribonacci与Tribonacci-Lucas数扩展为具有一致代数性质的矩阵序列？
• RQ2 这些新矩阵序列的生成函数与Binet公式是什么？
• RQ3 在这些序列的背景下，矩阵乘法与幂运算的行为如何？
• RQ4 矩阵序列 $\mathcal{T}_n$ 与 $\mathcal{K}_n$ 之间存在何种关系？
• RQ5 标量Tribonacci序列的经典恒等式能否推广至其矩阵形式？

主要发现

• 矩阵序列 $\mathcal{T}_n$ 满足 $\mathcal{T}_m \mathcal{T}_n = \mathcal{T}_{m+n}$，推广了标量恒等式 $T_m T_n = T_{m+n}$。
• 矩阵幂恒等式 $\mathcal{T}_n^m = \mathcal{T}_{mn}$ 对所有非负整数 $m, n$ 成立，扩展了标量幂运算规律。
• 证明了恒等式 $\mathcal{T}_{n-r} \mathcal{T}_{n+r} = \mathcal{T}_n^2 = \mathcal{T}_2^n$，表明矩阵幂具有对称性与一致性。
• 对于Tribonacci-Lucas矩阵序列，建立了 $\mathcal{K}_n^m = \mathcal{K}_0^m \mathcal{T}_{mn}$，将 $\mathcal{K}_n^m$ 与 $\mathcal{K}_0^m$ 及 $\mathcal{T}_{mn}$ 联系起来。
• 利用Binet公式与根 $\alpha, \beta, \gamma$ 的对称性，证明了矩阵恒等式 $\mathcal{K}_{n-r} \mathcal{K}_{n+r} = \mathcal{K}_n^2$。
• 推导出 $\mathcal{T}_n$ 的生成函数为 $\sum_{n=0}^\infty \mathcal{T}_n x^n = \frac{x}{1-x-x^2-x^3}$，其形式与标量生成函数一致，仅以矩阵形式呈现。