[論文レビュー] Matrix Sequences of Tribonacci and Tribonacci-Lucas Numbers

Yüksel Soykan|arXiv (Cornell University)|Sep 20, 2018

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

ひとこと要約

本稿では、初めてとしてトライボナッチおよびトライボナッチ＝ルケ数列の行列系列を導入し、その母関数、ビネットの公式、および和の恒等式を導出する。基本的な行列恒等式を確立し、行列のべき乗関係や乗法的構造といった重要な性質を証明することで、古典的な数論的結果を行列形式へと拡張する。

ABSTRACT

In this paper, we define Tribonacci and Tribonacci-Lucas matrix sequences and investigate their properties.

研究の動機と目的

• 文献において初めてトライボナッチおよびトライボナッチ＝ルケの行列系列を定義し、その性質を調査すること。
• これらの行列系列の母関数、ビネットの公式、および和の恒等式を導出すること。
• 基本的な行列恒等式を確立し、これらの系列の代数的構造を調査すること。
• 行列系列とそのべき乗との関係、特に再帰的および乗法的性質を通じての関係を検討すること。
• スカラーのトライボナッチ系列における古典的なビネットの公式および和の恒等式を、その行列形に一般化すること。

提案手法

• 再帰関係 $T_n = T_{n-1} + T_{n-2} + T_{n-3}$ に基づく 3×3 行列表現を用いて、トライボナッチ行列系列 $\mathcal{T}_n$ を定義する。
• 初期値 $K_0=3, K_1=1, K_2=3$ を用いた再帰関係 $K_n = K_{n-1} + K_{n-2} + K_{n-3}$ を用いて、トライボナッチ＝ルケ行列系列 $\mathcal{K}_n$ を同様に定義する。
• スカラーの母関数 $\sum T_n x^n = \frac{x}{1-x-x^2-x^3}$ および $\sum K_n x^n = \frac{3-2x-x^2}{1-x-x^2-x^3}$ を用いて、両行列系列の母関数を導出する。
• 三次方程式 $x^3 - x^2 - x - 1 = 0$ の根 $\alpha, \beta, \gamma$ を用いて、行列系列のビネットの公式を確立し、$\mathcal{T}_n$ および $\mathcal{K}_n$ を $\alpha^n, \beta^n, \gamma^n$ の線形結合として表現する。
• スカラー恒等式を行列に拡張する形で、$\mathcal{T}_m \mathcal{T}_n = \mathcal{T}_{m+n}$ などの行列乗法恒等式を証明する。
• 行列のべきの恒等式、特に $\mathcal{T}_n^m = \mathcal{T}_{mn}$ および $\mathcal{K}_n^m = \mathcal{K}_0^m \mathcal{T}_{mn}$ を用いて、これらの系列の構造的性質を調査する。

実験結果

リサーチクエスチョン

• RQ1 トライボナッチおよびトライボナッチ＝ルケ数は、一貫した代数的性質を持つ行列系列にどのように拡張できるか？
• RQ2 これらの新しい行列系列の母関数およびビネットの公式は何か？
• RQ3 これらの系列の文脈において、行列乗法およびべき演算はどのように振る舞うか？
• RQ4 行列系列 $\mathcal{T}_n$ と $\mathcal{K}_n$ の間にはどのような関係があるか？
• RQ5 スカラーのトライボナッチ系列における古典的恒等式は、その行列形に一般化可能か？

主な発見

• 行列系列 $\mathcal{T}_n$ は $\mathcal{T}_m \mathcal{T}_n = \mathcal{T}_{m+n}$ を満たし、スカラー恒等式 $T_m T_n = T_{m+n}$ を一般化する。
• 行列のべきの恒等式 $\mathcal{T}_n^m = \mathcal{T}_{mn}$ はすべての非負整数 $m, n$ に対して成り立ち、スカラーのべき法則を拡張する。
• $\mathcal{T}_{n-r} \mathcal{T}_{n+r} = \mathcal{T}_n^2 = \mathcal{T}_2^n$ が証明され、行列のべきにおける対称性と一貫性が示される。
• トライボナッチ＝ルケ行列系列に関して、$\mathcal{K}_n^m = \mathcal{K}_0^m \mathcal{T}_{mn}$ が確立され、$\mathcal{K}_n^m$ が $\mathcal{K}_0^m$ および $\mathcal{T}_{mn}$ と関連付けられる。
• ビネットの公式と根 $\alpha, \beta, \gamma$ の対称性を用いて、行列恒等式 $\mathcal{K}_{n-r} \mathcal{K}_{n+r} = \mathcal{K}_n^2$ が証明される。
• 行列系列 $\mathcal{T}_n$ の母関数は $\sum_{n=0}^\infty \mathcal{T}_n x^n = \frac{x}{1-x-x^2-x^3}$ として導出され、スカラー母関数を行列形式で再現する。