[論文レビュー] Simson Identity of Generalized m-step Fibonacci Numbers

Yüksel Soykan|arXiv (Cornell University)|Mar 4, 2019

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

ひとこと要約

この論文は、フィボナッチ数に対する古典的なシンプソン（またはカッシーニ）恒等式を、一般化されたm段階フィボナッチ数列へ一般化し、m×m行列の行列式と初期行列式を再帰係数r_mおよびmとnに依存する符号項でスケーリングした閉形式の行列式恒等式を導出する。主な貢献は、すべてのm ≥ 2に対して一様なシンプソン恒等式の公式を提示することにある。

ABSTRACT

One of the best known and oldest identities for the Fibonacci sequence $F_n$ is $F_{n+1}F_{n-1}-F_{n}^2=(-1)^n$ which was derived first by R. Simson in 1753 and it is now called as Simson or Cassini Identity. In this paper, we generalize this result to generalized m-step Fibonacci numbers and give an attractive formula. Furthermore, we present some Simson's identities of particular generalized m-step Fibonacci sequences.

研究の動機と目的

• フィボナッチ数（m=2）に対して有効な古典的シンプソン恒等式を、任意のm ≥ 2に対して一般化されたm段階フィボナッチ数列へ拡張すること。
• 任意の初期条件および再帰係数を持つ一般化されたm段階数列に対して、シンプソン型関係を捉える一様な行列式ベースの恒等式を確立すること。
• 文献における空白を埋めるために、m=2から5までのm段階フィボナッチ、ルカス、ヤコブスティール、ヤコブスティール＝ルカス数列の値を網羅的に収集・表形式で提示する包括的リファレンスを提供すること。
• 一般化されたm段階フィボナッチ数から構成される特定のm×m行列の行列式f(n)の一般式を提示し、初期行列式f(0)と関連付けること。

提案手法

• 任意の係数r_iおよび初期項c_iを用いたm階線形再帰により、一般化されたm段階フィボナッチ数列を定義する。
• 一般化されたm段階数列V_nのシフトされた項を要素とするm×m行列式f(n)を構成する。
• n ≥ 0に対して数学的帰納法を用いて、主恒等式f(n) = y(n) * r_m^n * f(0)の証明を行う。ここでy(n)はmの偶奇に依存する。
• 行および列の変形、特に再帰関係を用いて最初の列を表現する操作を適用し、行列式からr_mを分離する。
• 再帰の構造を活用して、ステップn+1における行列式を、ステップnにおける行列式のスケーリング版に還元し、行列式の置換に起因する符号因子を組み込む。
• 負のnに対しても同様に処理し、再帰および行列式構造における対称性に注目する。

実験結果

リサーチクエスチョン

• RQ1 m ≥ 2の任意のmに対して、フィボナッチ数の古典的シンプソン恒等式をm段階フィボナッチ数列へ一般化できるか？
• RQ2 一般化されたm段階フィボナッチ数列のシフトされた項から構成されるm×m行列の行列式の閉形式表現は何か？
• RQ3 再帰係数および数列の偶奇に応じて、行列式f(n)と初期行列式f(0)の関係はどのように規定されるか？
• RQ4 係数r_mは、連続する項における行列式のスケーリングにどのように寄与するか？
• RQ5 奇数mと偶数mの間で、行列式の符号およびスケーリング挙動はどのように異なるか？

主な発見

• 一般化されたm段階フィボナッチ数列におけるシンプソン恒等式は、f(n) = y(n) * r_m^n * f(0)で与えられる。ここでf(n)は数列項からなるm×m行列式である。
• 符号因子y(n)は、mが奇数の場合は1、mが偶数の場合は(-1)^nである。これは、偶奇に依存する符号挙動を示している。
• 行列式f(n)は、f(0)に対してr_m^nの要因でスケーリングされており、再帰係数r_mに指数関数的依存性があることを示している。
• 再帰を負の添字へ拡張することにより、恒等式はすべての整数n（正・負を含む）に対して成り立つ。
• 証明は帰納法により確立され、再帰関係を用いて最初の列を表現し、行変形により行列式を変形する。
• 本論文は、m=2から5までのm段階フィボナッチ、ルカス、ヤコブスティール、ヤコブスティール＝ルカス数列の値を明示的な表形式で提示しており、理論的結果を支援している。