[论文解读] On the Determinants and Inverses of Circulant Matrices with Pell and Pell-Lucas Numbers

Durmuş Bozkurt, Fatih Yılmaz|arXiv (Cornell University)|Jan 29, 2012

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

一句话总结

本文推导了由佩尔数和佩尔-卢卡斯数构成的循环矩阵的行列式与逆矩阵的显式公式。通过矩阵分解及这些数列的性质，建立了行列式与逆矩阵的闭式表达式，证明了当 $ n \geq 3 $ 时矩阵可逆，且其逆矩阵为循环矩阵，其表达式涉及佩尔-卢卡斯项的递推关系。

ABSTRACT

Let P=\circ(P_{1},P_{2},...,P_{n}) and Q=\circ(Q_{1},Q_{2},...,Q_{n}) be n imesn circulant matrices where P_{n} and Q_{n} are nth Pell and Pell-Lucas numbers, respectively. The determinants of the matrices P and Q were expressed by the Pell and Pell-Lucas numbers. After, we prove that the matrices P and Q are the invertible for n\geq3 and then the inverses of the matrices P and Q are derived.

研究动机与目标

• 推导由佩尔数与佩尔-卢卡斯数构成的 $ n \times n $ 循环矩阵的行列式显式公式。
• 建立此类矩阵在 $ n \geq 3 $ 时的可逆性。
• 利用矩阵分解与数列恒等式计算这些循环矩阵的逆矩阵。
• 利用佩尔数与佩尔-卢卡斯数列的根与递推性质，以闭式表达逆矩阵。

提出的方法

• 利用佩尔数与佩尔-卢卡斯数的比内公式，表达为 $ P_n = \frac{\alpha^n - \beta^n}{2\sqrt{2}} $ 与 $ Q_n = \alpha^n + \beta^n $，其中 $ \alpha, \beta $ 为方程 $ x^2 - 2x - 1 = 0 $ 的根。
• 应用矩阵分解技术，将原始循环矩阵转化为赫森堡形式，以简化行列式与逆矩阵的计算。
• 利用离散傅里叶变换方法，结合 $ \omega = \exp(2\pi i / n) $，研究循环矩阵的特征值与特征向量性质。
• 通过特征值乘积推导行列式：$ \det(\mathbb{P}) = \prod_{j=0}^{n-1} \sum_{k=0}^{n-1} P_{k+1} \omega^{jk} $。
• 通过公式 $ C_n^{-1} = \text{circ}(a_0, \dots, a_{n-1}) $ 构造逆矩阵，其中 $ a_k = \frac{1}{n} \sum_{j=0}^{n-1} \lambda_j \omega^{-jk} $。
• 利用递推关系与归一化常数（如 $ u_n $, $ u_n' $）将逆矩阵元素表示为佩尔-卢卡斯数差值与 $ Q_n - 2 $ 幂次的组合。

实验结果

研究问题

• RQ1 由前 $ n $ 个佩尔数构成的循环矩阵的行列式是什么？
• RQ2 佩尔-卢卡斯数循环矩阵在何种条件下可逆？
• RQ3 基于佩尔数的循环矩阵的逆是否能通过数列恒等式以闭式表达？
• RQ4 此类矩阵的特征值与特征向量如何与特征方程 $ x^2 - 2x - 1 = 0 $ 的根相关联？
• RQ5 通过对佩尔数与佩尔-卢卡斯数循环矩阵进行矩阵分解，会涌现出哪些结构性质（如逆矩阵的循环性）？

主要发现

• $ n \times n $ 循环矩阵 $ \mathbb{P} = \text{circ}(P_1, \dots, P_n) $ 的行列式为 $ \det(\mathbb{P}) = (P_1 - P_{n+1})^{n-2}(P_1 - 2P_n) + \sum_{k=2}^{n-1} \left[ P_{k-1} P_n^{n-k} (P_1 - P_{n+1})^{k-2} \right] $。
• 当 $ n \geq 3 $ 时，矩阵 $ \mathbb{P} $ 可逆，其逆矩阵为循环矩阵，其元素由涉及佩尔数差值与 $ \frac{P_n}{1 - P_{n+1}} $ 幂次的复数和导出。
• 佩尔-卢卡斯循环矩阵 $ \mathbb{Q} = \text{circ}(Q_1, \dots, Q_n) $ 的逆矩阵同样为循环矩阵，表达式为 $ \mathbb{Q}^{-1} = \frac{1}{u_n} \text{circ}(\dots) $，其中 $ u_n $ 为涉及 $ Q_k $ 差值之和的归一化因子。
• 当 $ i \geq 4 $ 时，$ \mathbb{Q}^{-1} $ 的元素满足模式 $ q_i = \frac{4(Q_n - 2)^{n-i}}{(Q_1 - Q_{n+1})^{n-i}} $，从而简化了逆矩阵的结构。
• 由 $ \mathbb{Q} $ 导出的块矩阵 $ K $ 的逆矩阵被证明具有块结构 $ \left[ \begin{smallmatrix} 1 & 0 \\ D & E \end{smallmatrix} \right] $，其中 $ E $ 为第一行为 $ [P_{n-1}, \dots, P_1] $、最后一列为 $ [P_1, 0, \dots, 0]^T $ 的汉克尔矩阵。
• 逆矩阵被证明为循环矩阵，确认了其结构一致性，并可通过对称递推模式实现高效计算。