[论文解读] Some remarks regarding a, b, x0, x1 numbers and a, b, x0, x1 quaternions

Cristina Flaut, Diana Savin|arXiv (Cornell University)|Apr 30, 2017

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

一句话总结

本文引入并研究了基于二阶线性递推的广义$(a,b,x_0,x_1)$-数与四元数，重点关注广义斐波那契-卢卡斯数与四元数等特殊情况。推导了生成函数、比内公式以及卡西尼恒等式与卡塔兰恒等式等恒等式，并证明了某些四元数元素在四元数代数中构成一个序，为$(1,a,p+2q,q)$-四元数提供了新颖的代数结构。

ABSTRACT

In this paper we define and study properties and applications of a, b, x0, x1 elements in some special cases.

研究动机与目标

• 通过任意初值 $a,b,x_0,x_1$ 的二阶线性递推推广斐波那契数与卢卡斯数。
• 将这些数推广至四元数，并分析其代数与数论性质。
• 为广义序列推导闭式表达式、生成函数以及经典恒等式（卡西尼、卡塔兰）。
• 证明某些四元数元素在有理四元数代数中构成一个序，从而提供一种新的代数结构。

提出的方法

• 通过递推关系 $d_n = a d_{n-1} + b d_{n-2}$ 及初值 $d_0 = x_0$，$d_1 = x_1$ 定义 $(a,b,x_0,x_1)$-数。
• 推导出 $(1,1,p+2q,q)$-数的生成函数为 $A(z) = \frac{qz + (p+2q)z^2}{1 - z - z^2}$。
• 利用比内公式及斐波那契与卢卡斯数的性质，为广义序列推导卡西尼与卡塔兰恒等式。
• 构造 $(1,1,p+2q,q)$-四元数，并证明其生成函数与比内公式。
• 定义一组缩放四元数元素集合 $O$，并证明其在四元数代数 $\mathbb{H}_{\mathbb{Q}}(\alpha,\beta)$ 中构成子环，从而形成一个序。
• 通过代数恒等变形与已知恒等式，验证其在加法与乘法下的封闭性，从而确认其序结构。

实验结果

研究问题

• RQ1 $(1,1,p+2q,q)$-数及其关联四元数的生成函数与闭式表达式是什么？
• RQ2 卡西尼与卡塔兰等经典恒等式如何推广至这些 $(a,b,x_0,x_1)$-序列？
• RQ3 $(1,a,p+2q,q)$-四元数能否构成环结构？若能，其条件是什么？
• RQ4 在有理四元数代数中，缩放四元数集合 $O$ 具有何种代数结构？
• RQ5 广义斐波那契-卢卡斯数的性质如何推广至四元数等高阶代数结构？

主要发现

• $(1,1,p+2q,q)$-数的生成函数为 $A(z) = \frac{qz + (p+2q)z^2}{1 - z - z^2}$，通过递推关系的代数处理推导得出。
• 生成函数的平方满足 $5s_n = n g_{n}^{10pq,p^2+5q^2} + g_{n}^{p^2+5q^2-10pq,5pq} + g_{n-1}^{p^2+5q^2,0} - n g_{n-1}^{0,p^2}$，将项的乘积与广义序列联系起来。
• 卡西尼与卡塔兰恒等式被推广至 $(1,1,p+2q,q)$-四元数，扩展了经典斐波那契恒等式。
• 集合 $O = \left\{ \sum_{i=1}^n (1+4a) S_{n_i}^{p_i,q_i} \right\} \cup \{1\}$ 在四元数代数 $\mathbb{H}_{\mathbb{Q}}(\alpha,\beta)$ 中构成一个序，通过加法与乘法下的封闭性得证。
• $(1,a,p+2q,q)$-四元数具有明确定义的代数结构，其乘法在给定缩放与递推规则下封闭。
• 本文确认所有特殊情况（如斐波那契、卢卡斯、广义斐波那契-卢卡斯）均从属于 $(a,b,x_0,x_1)$-元素的更广泛框架。