[論文レビュー] Identities for Tribonacci-related sequences

Mario Catalani|ArXiv.org|Sep 15, 2002

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

ひとこと要約

この論文は、行列に基づくアプローチを用いて、トリボナッチ関連の数列に関する新しい恒等式を確立する。特に、'トリボ行列'を導入し、一般化されたルーカス数列 $ S_n $ を2次主小行列式の行列式の和に関連付ける。主な貢献は、$ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ に対して、$ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ を満たす再帰的関係を導出することであり、$ S_n^2 = S_{2n} + 2C_n $ や $ S_n^4 = S_{4n} - 4S_n + 4S_{2n}C_n + 6C_n^2 $ といった恒等式の証明も行う。

ABSTRACT

We establish some identities relating two sequences that are, as explained, related to the Tribonacci sequence. One of these sequences bears the same resemblance to the Tribonacci sequence as the Lucas sequence does to the Fibonacci sequence. Defining a matrix that we call Tribomatrix, which extends the Fibonacci matrix, we see that the other sequence is related to the sum of the determinants of the 2nd order principal minors of this matrix.

研究の動機と目的

• 一般化されたトリボナッチ数列 $ S_n $ と、特性根の累乗の積の和として定義される新しい数列 $ C_n $ を結びつける代数的恒等式を確立する。
• トリボ行列を用いた行列ベースのフレームワークを構築し、行列のべき乗がトリボナッチ数列および一般化されたルーカス数列にどのように関連するかを明らかにする。
• 数列 $ C_n $ の再帰的構造を調査し、$ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ を満たし、初期値 $ C_0 = 3, C_1 = -1, C_2 = -1 $ であることを示す。
• 積 $ S_n S_{n+m} $ の閉形式恒等式を導出し、$ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ と表され、既知のフィボナッチ型恒等式をトリボナッチ設定に拡張する。
• $ S_n $ の高次の累乗、特に $ S_n^3 $ および $ S_n^4 $ の恒等式を導出し、$ 2S_n = C_n^2 - C_{2n} $ という新しい恒等式を特定する。

提案手法

• 特性多項式 $ x^3 - x^2 - x - 1 = 0 $ の根 $ \alpha, \beta, \gamma $ を固有値とするトリボ行列 $ \mathbf{A} = \begin{bmatrix} 1 & 1 & 0 \\ 1 & 0 & 1 \\ 1 & 0 & 0 \end{bmatrix} $ を定義し、トリボナッチ再帰と関連付ける。
• 行列のべき $ \mathbf{A}^n $ をトリボナッチ数 $ T_n $ を用いて表現し、$ \mathbf{A}^n $ のトレースが一般化されたルーカス数列 $ S_n $ に等しいことを示す。
• 数列 $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ を、$ \mathbf{A}^n $ の2次主小行列式の行列式の和として定義し、線形再帰を満たすことを示す。
• バイネの公式 $ S_n = \alpha^n + \beta^n + \gamma^n $ を基盤として、根の対称関数を用い、$ S_n $ 項と $ C_n $ 項の積に関する恒等式を導出する。
• 母関数を用いて、$ C_n $ の通常母関数 $ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $ と $ C_{2n} $ の母関数 $ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $ を導出する。
• 根 $ \alpha, \beta, \gamma $ の対称な累乗和の代数的変形により、$ n \geq m $ のとき $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ が成り立ち、$ n < m $ の場合は $ S_n S_{n+m} = S_{2n+m} + S_m C_n - S_{m-n} $ に調整される。

実験結果

リサーチクエスチョン

• RQ1 一般化されたトリボナッチ数列 $ S_n $ と、特性根の累乗の積の和として定義される $ C_n = \alpha^n\beta^n + \alpha^n\gamma^n + \beta^n\gamma^n $ の間にどのような恒等式が成立するか？
• RQ2 トリボ行列 $ \mathbf{A} $ は、固有値および主小行列式を通じて、行列のべきがトリボナッチ数列および一般化されたルーカス数列にどのように関連するか？
• RQ3 数列 $ C_n $ を支配する再帰的関係は何か？ また、トリボナッチ特性多項式の根の対称関数からどのように導出できるか？
• RQ4 積 $ S_n S_{n+m} $ の恒等式は、フィボナッチおよびルーカスの恒等式をどのようにトリボナッチの場合に一般化するか？
• RQ5 高次の累乗 $ S_n^3 $ および $ S_n^4 $ に対してどのような新しい恒等式が得られ、$ C_n $ および $ C_{2n} $ とどのように関連するか？

主な発見

• 2次主小行列式の行列式の和として定義される数列 $ C_n $ は、初期値 $ C_0 = 3 $、$ C_1 = -1 $、$ C_2 = -1 $ を満たす再帰的関係 $ C_n = -C_{n-1} - C_{n-2} + C_{n-3} $ を満たす。
• $ C_n $ の通常母関数は $ \frac{3 + 2x + x^2}{1 + x + x^2 - x^3} $、$ C_{2n} $ の母関数は $ \frac{3 + 2x + 3x^2}{1 + x + 3x^2 - x^3} $ であり、再帰的構造から導出されたものである。
• 恒等式 $ S_n S_{n+m} = S_{2n+m} + S_m C_n - C_{n-m} $ は $ n \geq m $ のとき成り立ち、$ n < m $ のときは $ S_n S_{n+m} = S_{2n+m} + S_m C_n - S_{m-n} $ に修正される。これは古典的なフィボナッチ恒等式を一般化する。
• 恒等式 $ S_n^2 = S_{2n} + 2C_n $ から、$ S_n^2 $ が $ S_{2n} $ と $ C_n $ の関数として直接表現可能であることが示され、数列の平方と高次の項との間に明確な関係が成立する。
• 恒等式 $ S_n^3 = S_{3n} + 3S_n C_n - 3 $ が導出され、$ S_n $ の立方が $ S_{3n} $、$ S_n C_n $、および定数補正項を用いて表現可能であることが示された。
• 2通りの $ S_n^4 $ の表現を等置することで、$ 2S_n = C_n^2 - C_{2n} $ という新しい非自明な恒等式が確立された。これは一般化されたルーカス数列と $ C_n $ 数列との間の重要な関係を示している。