[论文解读] On the g-Circulant Matrix involving the Generalized k-Horadam Numbers

Nazmiye Yılmaz, Yasin Yazlık+1 more|arXiv (Cornell University)|Mar 2, 2015

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

一句话总结

本文提出了一种基于广义 $k$-Horadam 数列的广义 $g$-循环矩阵结构，利用递推关系和特征值分解，推导出其行列式、谱范数和逆矩阵的显式公式。主要贡献在于构建了一个统一框架，将先前关于斐波那契、卢卡斯及其他二阶序列的循环矩阵结果，推广至更广泛的线性递推序列类别，通过 $g$-循环矩阵结构与矩阵代数实现。

ABSTRACT

In this study, we present a new generalization of circulant matrices for the generalized $k$-Horadam numbers, by considering the $g$-circulant matrix $C_{n,g}(H)=g -circ(H_{k,1},H_{k,2},\ldots ,H_{k,n})$. Also, we calculate the spectral norm, determinant and inverse of $C_{n,g}(H)$ in such matrices having the elements of all second order sequences.

研究动机与目标

• 将循环矩阵理论推广至涉及广义 $k$-Horadam 数列的 $g$-循环矩阵。
• 将现有关于斐波那契、卢卡斯及其他二阶序列的循环矩阵结果，扩展至更广泛的线性递推序列类别。
• 推导出广义 $k$-Horadam 数列作为元素的 $g$-循环矩阵的行列式、谱范数和逆矩阵的闭式表达式。
• 通过单一代数框架，统一并推广先前关于特殊数列循环矩阵的研究成果。

提出的方法

• 利用广义 $k$-Horadam 数列 $\{H_{k,n}\}$ 的递推关系 $H_{k,n+2} = f(k)H_{k,n+1} + g(k)H_{k,n}$，定义 $g$-循环矩阵 $C_{n,g}(H)$。
• 利用特征方程 $x^2 - f(k)x - g(k) = 0$ 的根 $r_1, r_2$ 表示 $H_{k,n}$ 的 Binet 公式。
• 应用矩阵代数与特征值分解技术，推导 $C_{n,g}(H)$ 的谱范数、行列式与逆矩阵。
• 通过单位矩阵 $Q_g$ 与条件 $(n,g)=1$，促进逆矩阵的变换计算。
• 将逆矩阵表示为一个系数由递推恒等式与归一化因子导出的循环矩阵与 $Q_g$ 转置的乘积。
• 利用涉及 $H_{k,i}$、$M = g(k)(H_{k,n} - H_{k,0})$ 与 $N = H_{k,1} - H_{k,n+1}$ 的求和恒等式，推导出行列式与逆矩阵的闭式表达式。

实验结果

研究问题

• RQ1 如何将 $g$-循环矩阵结构推广，以包含广义 $k$-Horadam 数列作为矩阵元素？
• RQ2 由广义 $k$-Horadam 数列构成的 $g$-循环矩阵的谱范数、行列式与逆矩阵为何值？
• RQ3 所推导的行列式与逆矩阵公式在斐波那契、卢卡斯、佩尔与雅各布斯特定列中如何退化为已知结果？
• RQ4 参数 $f(k)$、$g(k)$、$a$ 与 $b$ 在决定矩阵性质方面起何作用？
• RQ5 该框架能否扩展至标准序列之外的其他二阶线性递推序列？

主要发现

• 矩阵 $C_{n,g}(H)$ 的行列式由包含比值 $M/N$ 的项之和的闭式表达式给出，其中 $M = g(k)(H_{k,n} - H_{k,0})$，$N = H_{k,1} - H_{k,n+1}$。
• 在 $(n,g) = 1$ 条件下，$C_{n,g}(H)$ 的逆矩阵可表示为一个系数由递推恒等式导出的循环矩阵与单位矩阵 $Q_g$ 的转置的乘积。
• 对于斐波那契数列（$f(k)=g(k)=1$，$a=0$，$b=1$），逆矩阵公式简化为涉及斐波那契数与归一化因子 $f_n$ 的特定表达式。
• 对于卢卡斯数列（$f(k)=g(k)=1$，$a=2$，$b=1$），逆矩阵通过包含 $L_{n+2-i} - 3L_{n+1-i}$ 的系数与归一化因子 $l_n$ 推导得出，与已知结果一致。
• 对于佩尔数列（$f(k)=2$，$g(k)=1$，$a=0$，$b=1$），逆矩阵公式与先前结果的结构一致，仅需调整归一化因子与系数缩放。
• 通过代入适当的 $f(k)$、$g(k)$、$a$ 与 $b$ 值，该框架可成功推广至 $k$-斐波那契、$k$-卢卡斯、佩尔-卢卡斯、雅各布斯特定列与霍拉姆数列等其他序列。