[論文レビュー] Identities for the Generalized Fibonacci Polynomial

Rigoberto Flórez, Nathan McAnally+1 more|arXiv (Cornell University)|Feb 7, 2017

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

ひとこと要約

この論文は、ビネの公式を用いて、一般化フィボナッチ多項式（GFPs）およびルカス型多項式への古典的フィボナッチ数およびルカス数の恒等式を一般化する。再帰関係および閉形式表現の代数的変形を通じて、数値的恒等式を多項式形式に拡張することで、フィボナッチ、ペル、チェビシェフ、モーガン・ボイスなど11の多項式系列にわたる恒等式を統一的な枠組みで扱う。

ABSTRACT

A second order polynomial sequence is of Fibonacci type (Lucas type) if its Binet formula is similar in structure to the Binet formula for the Fibonacci (Lucas) numbers. In this paper we generalize identities from Fibonacci numbers and Lucas numbers to Fibonacci type and Lucas type polynomials. A Fibonacci type polynomial is equivalent to a Lucas type polynomial if they both satisfy the same recurrence relations. Most of the identities provide relationships between two equivalent polynomials. In particular, each type of identities in this paper relate the following polynomial sequences: Fibonacci with Lucas, Pell with Pell-Lucas, Fermat with Fermat-Lucas, both types of Chebyshev polynomials, Jacobsthal with Jacobsthal-Lucas and both types of Morgan-Voyce.

研究の動機と目的

• 既知のフィボナッチ数およびルカス数の恒等式を一般化フィボナッチ多項式（GFPs）およびルカス型多項式へ拡張すること。
• 複数の代表的な多項式系列を1つの代数的枠組みで統一的に恒等式を扱うこと。
• 古典的数値結果を一般化するGFP用の包括的な恒等式リストを提供すること。
• 既存の文献（例：Bergum, Koshy, Wu）からの恒等式を、ビネの公式を用いてGFP定義へ適応すること。
• 数列の恒等式が適切な調整を加えることで、多項式系列へ体系的に拡張可能であることを示すこと。

提案手法

• 2階線形再帰により一般化フィボナッチ多項式（GFPs）を定義：$\mathcal{F}_n(x) = d(x)\mathcal{F}_{n-1}(x) + g(x)\mathcal{F}_{n-2}(x)$ かつ $\mathcal{F}_0=0$, $\mathcal{F}_1=1$。
• ルカス型多項式を $\mathcal{L}_n(x) = d(x)\mathcal{L}_{n-1}(x) + g(x)\mathcal{L}_{n-2}(x)$ により定義し、$\mathcal{L}_0 = p_0$, $\mathcal{L}_1 = p_1(x)$ とし、$p_0 = 1$ または $2$ で $\alpha = 2/p_0$ とする。
• GFP用のビネの公式を用いる：$\mathcal{F}_n(x) = \frac{a^n - b^n}{a - b}$、およびルカス型用：$\mathcal{L}_n(x) = \frac{a^n + b^n}{\alpha}$、ここで $a, b$ は $z^2 - d(x)z - g(x) = 0$ の根である。
• ビネの公式の代数的変形により恒等式を導出。$a^n$ および $b^n$ 項を置き換え、$a+b = d(x)$, $ab = -g(x)$ を用いて簡略化する。
• 複雑な多項式式のバランスと検証のために、記号計算（例：Mathematica®）を用いて恒等式を検証する。
• 適切な $d(x)$, $g(x)$, $\alpha$ の値を代入することで、恒等式を特定の系列（例：フィボナッチ、ペル、チェビシェフ）へマッピングする。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチ数およびルカス数の恒等式が、一般化フィボナッチ多項式へ一般化可能な条件は何か？
• RQ2 GFPおよびルカス型多項式のビネの公式が、異なる多項式系列にわたる統一的恒等式の導出をどのように可能にするか？
• RQ3 数値的恒等式をGFPの多項式形に拡張するために必要な代数的変換は何か？
• RQ4 既存のフィボナッチおよびルカス多項式の恒等式のうち、提示された一般化枠組みに適応可能なものは何か？
• RQ5 GFP用の恒等式は、ペル、チェビシェフ、ジャコブスティアンなどの古典的恒等式とどのように関係しているか？

主な発見

• この論文は、ビネの公式を用いて、古典的フィボナッチ数およびルカス数理論の98の恒等式を一般化フィボナッチ多項式へ成功裏に拡張した。
• 主な恒等式として、$\mathcal{F}_{m+n} = \mathcal{F}_m\mathcal{F}_{n+1} + g\mathcal{F}_{m-1}\mathcal{F}_n$ および $\mathcal{F}_{n+2} - g^2\mathcal{F}_{n-2} = (a+b)(a^n + b^n)$ が挙げられ、これらはフィボナッチおよびルカス多項式の振る舞いを統一する。
• 恒等式 $\mathcal{F}_{3^{n+1}} = (a-b)^2\mathcal{F}_{3^n}^3 + 3(-g)^{3^n}\mathcal{F}_{3^n}$ は、3の累乗におけるGFPの立方再帰を示している。
• ルカス型多項式では、$\mathcal{L}_{2^{n+1}} = \alpha\mathcal{L}_{2^n}^2 - 2\alpha^{-1}(-g)^{2^n}$ が2の累乗における2次再帰を示している。
• 論文は、$\left(d^2\mathcal{F}_{n+1}^2 + \mathcal{F}_{n+2}^2\right)^2 = \mathcal{F}_n^2\left(\mathcal{F}_{n+4} - d^2\mathcal{F}_{n+2}\right)^2 + (2d\mathcal{F}_{n+1}\mathcal{F}_{n+2})^2$ が、ピタゴラスの定理の多項式版であることを証明した。
• 恒等式 $\alpha^2\left(\mathcal{F}_{n+m}^2\mathcal{L}_{n+m}^2 - g^{2n}\mathcal{F}_m^2\mathcal{L}_m^2\right) = \mathcal{F}_{2n}\mathcal{F}_{4m+2n}$ は、フィボナッチおよびルカス型多項式間の深い構造的対称性を明らかにしている。