[論文レビュー] One Parameter Generalizations of the Fibonacci and Lucas Numbers

Mourad E. H. Ismail|ArXiv.org|Jun 29, 2006

Advanced Mathematical Theories and Applications参考文献 14被引用数 15

ひとこと要約

本稿は、双曲線関数とチェビシェフ多項式を用いて、$ F_n(\theta) $ および $ L_n(\theta) $ と表記される一パラメータ一般化フィボナッチ数およびルカス数を導入する。この一般化数列の逆数のハンケル行列が閉形式で評価可能であり、その逆行列が整数行列であることが示され、リチャードソンのフィルバート行列に関する結果をより広い代数的・解析的構造を持つ数列のクラスへと拡張する。

ABSTRACT

We give one parameter generalizations of the Fibonacci and Lucas numbers denoted by $\{F_n(þ)\}$ and $\{L_n(þ)\}$, respectively. We evaluate the Hankel determinants with entries $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and $\{1/L_{j+k+1}(þ): 0\le i,j\le n\}$. We also find the entries in the inverse of $\{1/F_{j+k+1}(þ): 0\le i,j \le n\}$ and show that all its entries are integers. Some of the identities satisfied by the Fibonacci and Lucas numbers are extended to more general numbers. All integer solutions to three diophantine equtions related to the Pell equation are also found.

研究の動機と目的

• リチャードソンのフィルバート行列（整数成分の逆行列をもつ）に関する結果を、一パラメータ族としての一般化フィボナッチ数およびルカス数へと拡張すること。
• これらの一般化数列の逆数から形成されるハンケル行列式の評価。
• ペル方程式に関連する3つのディオファントス方程式のすべての整数解の同定。
• 古典的フィボナッチ数およびルカス数の恒等式を、新しいパラメータ化された数列へと一般化すること。
• 双曲線関数、直交多項式、およびモーメント列が一般化整数数列の文脈でどのように関連するかを調査すること。

提案手法

• 初期条件を指定して、再帰関係 $ y_{n+1}(\theta) = 2\sinh\theta \cdot y_n(\theta) + y_{n-1}(\theta) $ を用いて一般化フィボナッチ数およびルカス数 $ F_n(\theta) $ および $ L_n(\theta) $ を定義する。
• 恒等式 $ T_n(\cos\theta) = \cos(n\theta) $ および $ U_n(\cos\theta) = \frac{\sin((n+1)\theta)}{\sin\theta} $ を用いて、これらの数列と第一種および第二種チェビシェフ多項式との関係を確立する。
• モーメント表現理論および直交多項式理論を用いて、$ \{1/F_{j+k+1}(\theta)\} $ および $ \{1/L_{j+k+1}(\theta)\} $ のハンケル行列式をモーメント行列の行列式として表現する。
• トレーシー＝ウィドムの補題1.1およびベルグの研究を応用し、逆数のハンケル行列の逆行列がすべて整数成分を持つことを示す。
• 母関数および双曲線恒等式を用いて、ハンケル行列式の閉形式表現を導出し、一般化恒等式を検証する。
• 代数的数論およびディオファントス解析を用いて、$ y^2 - kxy - x^2 = \pm 1 $ の形の式のすべての整数解を分類する。

実験結果

リサーチクエスチョン

• RQ1 フィルバート行列の性質（整数成分の逆行列）は、標準フィボナッチ数列を超えて一般化可能か？
• RQ2 一般化フィボナッチ数 $ F_n(\theta) $ の逆数から形成されるハンケル行列式の閉形式評価は何か？
• RQ3 一般化ルカス数 $ L_n(\theta) $ は、フィボナッチの場合と同様にハンケル行列式および逆行列の性質を満たすか？
• RQ4 古典的フィボナッチ数およびルカス数の恒等式のうち、どの恒等式が一パラメータ族 $ F_n(\theta) $ および $ L_n(\theta) $ へと拡張可能か？
• RQ5 整数 $ k > 1 $ に対して、ディオファントス方程式 $ y^2 - kxy - x^2 = \pm 1 $ のすべての整数解は何か？ また、それらは一般化数列とどのように関連するか？

主な発見

• エントリが $ \{1/F_{j+k+1}(\theta)\} $ であるハンケル行列式は、既知のヒルベルト行列およびフィルバート行列の結果を拡張し、閉形式で評価可能である。
• エントリが $ \{1/F_{j+k+1}(\theta)\} $ であるハンケル行列の逆行列は、すべての成分が整数である。これはリチャードソンのフィルバート行列に関する結果を一般化する。
• 一般化ルカス数 $ L_n(\theta) $ は $ F_n(\theta) $ と同じ再帰関係を満たし、その逆数のハンケル行列に対しても、閉形式で評価可能なハンケル行列式が得られる。
• ディオファントス方程式 $ y^2 - kxy - x^2 = \pm 1 $ のすべての整数解は完全に同定され、一般化フィボナッチ数およびルカス数列によってパラメータ表示可能であることが示された。
• 恒等式 $ Z_{n+1}^3(\theta) - k^3 Z_n^3(\theta) - Z_{n-1}^3(\theta) = 3k Z_{n+1}(\theta) Z_n(\theta) Z_{n-1}(\theta) $ は、$ Z_n(\theta) = F_n(\theta) $ および $ Z_n(\theta) = L_n(\theta) $ の両方で成り立ち、カルリッツの恒等式を一般化する。
• フィボナッチ数の積に関する古典的恒等式（例：$ F_n F_{n+4} F_{n+5} - F_{n+1}^3 $）は、$ k = \sinh\theta $ を含む補正項を伴って $ F_n(\theta) $ へと拡張可能である。