[论文解读] Determinants Containing Powers of Generalized Fibonacci Numbers

Aram Tangboonduangjit, Thotsaporn Thanatipanonda|arXiv (Cornell University)|Dec 22, 2015

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

一句话总结

本文通过矩阵分解和Desnanot-Jacobi恒等式，推导出其元素为广义斐波那契数幂或此类项乘积的矩阵的行列式显式封闭公式。核心结果将Carlitz对斐波那契数幂行列式的公式推广至任意二阶线性递推关系，得到一个包含斐波那契类项、递推关系判别式的幂以及二项式系数的行列式表达式。

ABSTRACT

We study determinants of matrices whose entries are powers of Fibonacci numbers. We then extend the results to include entries that are powers of generalized Fibonacci numbers defined as a second-order linear recurrence relation. These studies have led us to discover a fundamental identity of determinant involving powers of linear polynomials. Finally, we discuss the determinants of matrices whose entries are products of the generalized Fibonacci numbers.

研究动机与目标

• 将Carlitz对斐波那契数幂的行列式公式推广至具有常系数的任意二阶线性递推关系。
• 推导矩阵 $ F_{s+k(n+i+j)}^r $ 的行列式显式表达式，其中 $ F_n $ 为广义斐波那契序列。
• 将结果扩展至其元素为此类递推项乘积的行列式。
• 建立关于元素为线性多项式幂的行列式的根本恒等式。
• 应用Desnanot-Jacobi恒等式计算具有递推项乘积元素的矩阵的行列式。

提出的方法

• 使用矩阵分解技术，特别是Krattenthaler的方法，将行列式矩阵分解为更简单矩阵的乘积。
• 通过矩阵表示和数学归纳法，证明了二阶线性递推关系的广义Catalan恒等式。
• 应用Desnanot-Jacobi恒等式，推导出元素为递推项乘积的矩阵的行列式公式。
• 利用Binet公式和矩阵幂表示递推项，从而实现对行列式表达式的代数化简。
• 引入一个涉及线性形式 $ A(j)X_i + B(j)Y_i $ 的多项式行列式恒等式，该恒等式用于推导主要的行列式公式。
• 依赖第二作者开发的计算工具，以验证和推导复杂的行列式恒等式。

实验结果

研究问题

• RQ1 对于广义斐波那契序列 $ F_n $，矩阵 $ \mathbb{A}_n^{s,k}(r) = \left( F_{s+k(n+i+j)}^r \right)_{0\leq i,j\leq r} $ 的行列式是什么？
• RQ2 如何通过矩阵方法证明二阶线性递推关系的广义Catalan恒等式？
• RQ3 对于其元素为两个不同二阶线性递推关系项乘积的矩阵，其行列式是什么？
• RQ4 能否为元素为递推项中线性多项式幂的矩阵推导出统一的行列式公式？
• RQ5 Desnanot-Jacobi恒等式如何促进对具有递推项乘积元素的矩阵行列式的计算？

主要发现

• 矩阵 $ \mathbb{A}_n^{s,k}(r) = \left( F_{s+k(n+i+j)}^r \right)_{0\leq i,j\leq r} $ 的行列式为 $ (-1)^{(s+kn+1)\binom{r+1}{2}} \cdot c_2^{(s+kn)\binom{r+1}{2} + 2k\binom{r+1}{3}} \cdot \Delta^{\binom{r+1}{2}} \cdot \prod_{i=0}^r \binom{r}{i} \cdot \prod_{\ell=1}^r U_{(\ell+1)k}^{2(r-\ell)} $，其中 $ U_n $ 为关联的卢卡斯序列。
• 对于斐波那契序列（$ c_2 = 1, \Delta = 1 $），公式简化为 $ D(r,s,k,n) = (-1)^{(s+kn+1)\binom{r+1}{2}} (F_k^r F_{2k}^{r-1} \cdots F_{rk})^2 \cdot \prod_{i=0}^r \binom{r}{i} $，与Carlitz的主要结果一致。
• 通过矩阵表示和数学归纳法，证明了广义Catalan恒等式 $ W_{s+i}Y_{s+j} - W_s Y_{s+i+j} = (-c_2)^s (W_1 Y_j - W_0 Y_{j+1}) U_i $。
• 元素为 $ \prod_{\ell=j+1}^r W_{s+k(n+i+d_\ell)} \cdot \prod_{m=1}^j W_{s+k(n+i+e_m)} $ 的矩阵的行列式由包含 $ \Delta^{\binom{r+1}{2}} $、$ c_2 $ 的幂以及卢卡斯数乘积的公式给出。
• 建立了恒等式 $ \det((A(j)X_i + B(j)Y_i)^r) = \prod_{i<j} (X_i Y_j - X_j Y_i) \cdot \prod_{i<j} (A(i)B(j) - A(j)B(i)) \cdot \prod_{i=0}^r \binom{r}{i} $，适用于多项式元素。
• 推论9确认，当 $ d_j = 0 $，$ e_j = 1 $，且 $ n = 0 $ 时，斐波那契数的基本幂行列式与推导出的公式一致。