[論文レビュー] Fibonacci Modules and Multiple Fibonacci Sequences

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

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

ひとこと要約

本稿では、モジュール上の二重フィボナッチ数列を導入し、古典的なフィボナッチ数列を2次元の漸化式に一般化する。このような数列の空間がランク4の自由モジュールであることが示され、2つのフィボナッチモジュールのテンソル積と同型であり、有理型の母関数および対角線に関する性質が導かれる。

ABSTRACT

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

研究の動機と目的

• モジュール上での2次元の漸化式にフィボナッチ数列を一般化すること。
• 2つのインデックスにおける独立した線形漸化式を満たす二重フィボナッチ数列を定義し、それらを研究すること。
• フィボナッチモジュールのテンソル積と二重フィボナッチ数列モジュールとの間の同型を確立すること。
• 二重フィボナッチ数列のための有理型母関数を導出すること。
• 対角線の単調性や対角線に沿った漸化式といった構造的性質を調査すること。

提案手法

• 各 $ n,k \geq 0 $ に対して $ 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} $ を満たす二重フィボナッチ数列 $ (x_{n,k}) $ を定義する。
• 数列の $ \r $-モジュール構造とシフト作用素 $ H $ および $ V $ を用いて、二重数列の $ \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)) $ を証明する。
• 有理型母関数 $ 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 $ インデックスにおける複数のフィボナッチ数列に一般化する。
• 対角線の漸化式 $ 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} $ を、条件 $ a^2 d = b c^2 $ の下で確立する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ数列は、各インデックスで独立した線形漸化式を満たす2次元配列にどのように一般化できるか？
• RQ2 可換環 $ \r $ 上の二重フィボナッチ数列モジュールの代数的構造は何か？
• RQ3 2つのフィボナッチモジュールのテンソル積と二重フィボナッチ数列モジュールとの間に自然な同型は存在するか？
• 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)) $ の明示的な基底は、$ (i,j) \notin \big\brace{0,1\big\brace}^2 $ を満たす $ P_{i}^{[n]}(a,b) P_{j}^{[k]}(c,d) $ の数列である。
• 二重フィボナッチ数列の母関数は有理型であり、次のように明示的に与えられる：$ 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} $ が成り立つ。
• $ p $ インデックスにおける複数のフィボナッチ数列のモジュール $ \r_{\r}^{[p]}(\textbf{a}^{(1)}, \textbf{a}^{(2)}, \textbf{a}^{(3)}, \textbf{a}^{(4)}) $ はランク $ D = d_1 d_2 \times \times d_p $ の自由モジュールである。