[论文解读] Fibonacci Modules and Multiple Fibonacci Sequences

Abdul Rauf Nizami|ArXiv.org|Oct 22, 2008

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

一句话总结

本文引入了模上的双斐波那契序列，将经典的斐波那契序列推广至二维递推关系。证明了此类序列的空间构成一个秩为4的自由模，同构于两个斐波那契模的张量积，并推导出这些序列的有理生成函数及对角性质。

ABSTRACT

Double Fibonacci sequences are introduced and they are related to operations with Fibonacci modules. Generalizations and examples are also discussed.

研究动机与目标

• 将斐波那契序列推广至模上的二维递推关系。
• 定义并研究满足两个独立线性递推关系的双斐波那契序列（在两个索引上）。
• 建立斐波那契模的张量积与双斐波那契序列模之间的同构关系。
• 推导双斐波那契序列的有理生成函数。
• 研究结构性质，如对角单调性及沿对角线的递推关系。

提出的方法

• 定义双斐波那契序列 $(x_{n,k})$，满足 $x_{n+2,k} = a x_{n+1,k} + b x_{n,k}$ 与 $x_{n,k+2} = c x_{n,k+1} + d x_{n,k}$，其中 $n,k \geq 0$。
• 利用序列的 $\r$-模结构及平移算子 $H$ 和 $V$，定义双序列的 $\r[H,V]$-模。
• 证明 $\r_{\r}(a,b) \bigotimes_{\r} \r_{\r}(c,d) \to \r_{\r \bigotimes \r}^{[2]}((a,b) \bigotimes (c,d))$ 是一个自然的 $\r[H,V]$-模同构。
• 推导有理生成函数 $G(t,s) = q(t)^{-1} r(s)^{-1} \big[ \text{初始项的线性组合} \big]$，其中 $q(t) = 1 - at - bt^2$，$r(s) = 1 - cs - ds^2$。
• 将结果推广至 $p$ 个索引的多重斐波那契序列，使用高阶递推关系与 $p$ 个斐波那契模的张量积。
• 建立对角递推关系：当 $a^2 d = b c^2$ 时，有 $ab x_{n,k+3} + (a^2 + b)c x_{n+1,k+2} = a(c^2 + d)x_{n+2,k+1} + cd x_{n+3,k}$。

实验结果

研究问题

• RQ1 如何将斐波那契序列推广至满足每个索引上独立线性递推关系的二维数组？
• RQ2 在交换环 $\r$ 上，双斐波那契序列模的代数结构是什么？
• RQ3 斐波那契模的张量积与双斐波那契序列模之间是否存在自然同构？
• RQ4 双斐波那契序列的生成函数具有何种形式？
• RQ5 在何种条件下，双斐波那契序列在对角线上表现出交替单调性？

主要发现

• 双斐波那契序列模 $\r_{\r}^{[2]}((a,b) \bigotimes (c,d))$ 同构于 $\r_{\r}^{[2]}(a,b) \bigotimes_{\r} \r_{\r}^{[2]}(c,d)$，且为秩为4的 $\r$-自由模。
• 明确给出了 $\r_{\r}^{[2]}((a,b) \bigotimes (c,d))$ 的一组基：$P_{i}^{[n]}(a,b) P_{j}^{[k]}(c,d)$，其中 $(i,j) \notin \big\brace{0,1\big\brace}^2$。
• 双斐波那契序列的生成函数是有理函数，且显式表达为 $G(t,s) = q(t)^{-1} r(s)^{-1} \big[ x_{0,0}(1-at)(1-cs) + x_{1,0}t(1-cs) + x_{0,1}(1-at)s + x_{1,1}ts \big]$，其中 $q(t) = 1 - at - bt^2$，$r(s) = 1 - cs - ds^2$。
• 在特殊情形 $(a,b) = (c,d) = (1,1)$ 下，对所有 $\r_{\r}^{[2]}(1,1)$ 中的整数序列，有对角性质 $x_{n,k+3} - x_{n+3,k} = 2(x_{n+2,k+1} - x_{n+1,k+2})$。
• 当 $a^2 d = b c^2$ 时，对角递推关系 $ab x_{n,k+3} + (a^2 + b)c x_{n+1,k+2} = a(c^2 + d)x_{n+2,k+1} + cd x_{n+3,k}$ 成立。
• 多重斐波那契序列模 $\r_{\r}^{[p]}(\textbf{a}^{(1)}, \textbf{a}^{(2)}, \textbf{a}^{(3)}, \textbf{a}^{(4)})$ 在 $p$ 个索引下是秩为 $D = d_1 d_2 \times \times d_p$ 的自由模。