[論文レビュー] Chebyshev-Fibonacci polynomial relations using generating functions

Robert Frontczak, Taras Goy|arXiv (Cornell University)|Mar 14, 2021

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

ひとこと要約

本稿では、通常型および指数型母関数を用いて、第一種および第二種チェビシェフ多項式とフィボナッチ多項式の間の新しい関数的関係を確立する。これらの母関数を関連付けることで、フィボナッチ、ラウス、バランス多項式を含む新しい組合せ的恒等式が導かれる。具体的には、特定の引数値におけるチェビシェフ多項式とフィボナッチ数列の関連を示す明示的な和公式およびパラメータ化された恒等式が得られる。

ABSTRACT

The main object of the paper is to reveal connections between Chebyshev polynomials of the first and second kinds and Fibonacci polynomials introduced by Catalan. This is achieved by relating the respective (ordinary and exponential) generating functions to each other. As a consequence, we also establish new combinatorial identities for balancing polynomials and Fibonacci (Lucas) numbers.

研究の動機と目的

• 通常型および指数型母関数を用いて、第一種および第二種チェビシェフ多項式とフィボナッチ多項式の間の構造的関係を明らかにすること。
• 母関数の関数的関係を用いて、フィボナッチ、ラウス、バランス多項式の新しい組合せ的恒等式を導出すること。
• 特定のパラメータ値におけるチェビシェフ多項式とフィボナッチ数列の既知の関連を拡張し、新たな恒等式を導出すること。
• 通常型および指数型母関数の関係を活用することで、恒等式を体系的に生成する手法を提供すること。

提案手法

• チェビシェフ多項式 $ T_n(x), U_n(x) $ 及びその偶数・奇数番目の変種の通常型および指数型母関数を導出する。
• フィボナッチ多項式 $ F_n(x), F_{2n+1}(x), F_{2n}(x) $ の母関数を表現し、それらをチェビシェフ多項式の母関数と関連付ける。
• 母関数を等置または変換することで関数方程式を確立し、多項式恒等式を導出する。
• パラメータの代入（例：$ x = 3/2 $, $ x = i/2 $, $ x = rac{\rho(x)+\rho^{-1}(x)}{2} $）を用いて、チェビシェフ多項式とラウス数・フィボナッチ数の関連を構築する。
• 二項係数の展開および超幾何型恒等式を適用し、和公式を導出する。
• 既知の恒等式（例：$ T_n(3/2) = \frac{1}{2}L_{2n} $, $ U_n(3/2) = F_{2n+2} $）を活用し、多項式恒等式をフィボナッチ数およびラウス数の恒等式に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 チェビシェフ多項式およびフィボナッチ多項式の母関数をどのように関連付けることで、新たな恒等式が得られるか？
• RQ2 母関数から得られる関数方程式を解くと、どのような組合せ的恒等式が導かれるか？
• RQ3 どの特定のパラメータ値 $ x $ が、チェビシェフ多項式とラウス数・フィボナッチ数の関連を生じさせるか？
• RQ4 バランス多項式の恒等式は、フィボナッチ多項式のそれらと同じ枠組みから導出可能か？
• RQ5 導出された多項式恒等式から、フィボナッチ数およびラウス数の新しい和公式は得られるか？

主な発見

• 本稿では、二項係数とチェビシェフ多項式を含む恒等式の族が導出され、たとえば $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k} (\alpha(x) + (-1)^{n-k}\beta(x)) F_{2k}(x) = \text{expression in } T_{2k}(x) $ のような、チェビシェフ多項式とフィボナッチ多項式を結ぶ恒等式が得られる。
• パラメータ $ x = 3/2 $ を代入することで、$ 15F_{2(2n-1)} = 5 \cdot 4^n - 20 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) F_{2(2n-2k-1)} $ という、フィボナッチ数の新しい和恒等式が得られる。
• パラメータ $ x = i/2 $ を用いることで、恒等式 $ T_n(i/2) = \frac{i^n}{2} L_n $ が得られ、$ 11 \sum_{k=1}^{n} F_{4k} L_{6(n-k)} = 3L_{6n} - 2F_{4n+4} + 18F_{4n} $ という、ラウス数とフィボナッチ数を含む新しい恒等式が導出される。
• パラメータ $ x = \sqrt{5}/2 $ を用いることで、$ 15L_{4(n-1)} = 4^n + 104 \cdot 4^{-n} + 11 \sum_{k=1}^{n-1} (4^k - 4^{-k}) L_{4(n-k-1)} $ といった恒等式が導出され、チェビシェフ多項式とラウス数の関連が明確にされる。
• パラメータ $ x = 4 $ を用いることで、$ F_{3n} = 2T_{n-1}(4) - \sum_{k=1}^{n-2} (4T_{n-1-k}(4) - 2T_{n-2-k}(4)) F_{3k} $ という恒等式が得られ、フィボナッチ数がチェビシェフ多項式で表される。
• 本手法により、$ F_n(x) $ および $ U_n(x) $ を含む恒等式が体系的に生成され、たとえば $ \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x^2+2}{4x^2-2} \right)^{k-1} \left( \frac{x\sqrt{x^2+4}}{2} \right)^{n-k-1} (1 - (-1)^{n-k}) U_{2k+1}(x) = 2 \sum_{k=0}^{n} \binom{n}{k} \left( \frac{x(x^2+2)\sqrt{x^2-1}}{2x^2-1} \right)^{n-k-1} (\alpha^2(x) - (-1)^{n-k}\beta^2(x)) F_{2k}(x) $ のような恒等式が得られる。