[論文レビュー] 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

ひとこと要約

本稿では、2階線形再帰に基づく一般化された$(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.

研究の動機と目的

• 2階線形再帰と任意の初期条件$a,b,x_0,x_1$を用いたフィボナッチ数およびルカス数の一般化。
• これらの数をクォータニオンに拡張し、その代数的および数論的性質を分析すること。
• $(a,b,x_0,x_1)$-数列に対する閉形式表現、生成関数、および古典的恒等式（カッシーニ、カタラン）の導出。
• 特定のクォータニオン的要素が有理数クォータニオン代数における順序をなすことを確立し、$(1,a,p+2q,q)$-クォータニオンのための新しい代数的構造を提供すること。

提案手法

• 初期値$d_0 = x_0$、$d_1 = x_1$を用いて再帰式$d_n = a d_{n-1} + b d_{n-2}$により$(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)$-要素のより包括的な枠組みに従属していることを確認している。