[論文レビュー] Generalized metallic means

Juan B. Gil, Aaron Worley|arXiv (Cornell University)|Jan 9, 2019

Advanced Mathematical Theories and Applications被引用数 4

ひとこと要約

本稿では、$k \geq 2$ の任意の次数に対して一般化された金属比を導入する。これは $k$ 階フィボナッチ数列に逆変換を適用することで得られ、古典的な二次の金属比（例えば、黄金比、銀比、銅比）を拡張する。主な結果として、各 $m$ 番目の一般化された金属比 $ρ_m$ は $k$ 次多項式の唯一の正の実根であり、その数列の連続する項の比は $ρ_m$ に収束する。これは、フィボナッチ型数列の古典的な極限挙動を一般化するものである。

ABSTRACT

The metallic means (also known as metallic ratios) may be defined as the limiting ratio of consecutive terms of sequences connected to the Fibonacci sequence via the INVERT transform. For example, the Pell sequence (invert transform of the Fibonacci sequence) gives the so-called silver mean, and the invert transform of the Pell sequence leads to the bronze mean. The limiting ratio of the Fibonacci sequence itself is known as the golden mean or ratio. We introduce a new family of kth-degree metallic means obtained through invert transforms of the generalized kth-order Fibonacci sequence. As it is the case for k=2, each generalized metallic mean is shown to be the unique positive root of a kth-degree polynomial determined by the sequence.

研究の動機と目的

• フィボナッチ数列やペル数列などの二次的数列に定義された金属比の概念を、次数 $k \geq 2$ の高次線形漸化式へ拡張すること。
• 一般化された $k$ 階フィボナッチ数列への逆変換を通じて、$k$ 次金属比の新しい族を定義すること。
• 各金属比が、漸化式関係から導かれる $k$ 次多項式の唯一の正の実根であることを確立すること。
• その結果得られる数列の連続する項の比が金属比に収束することを証明し、古典的な黄金比の極限結果を高次数列へ一般化すること。

提案手法

• 初期条件 $g_0 = 0$, $g_1 = 1$, $g_2 = \dots = g_{k-1} = 1$ を用いた漸化式 $g_n = g_{n-1} + g_{n-2} + \cdots + g_{n-k}$ により、一般化された $k$ 階フィボナッチ数列を定義し、母関数 $G(x) = \frac{x}{1 - x - x^2 - \cdots - x^k}$ を得る。
• 逆変換を適用して、母関数 $G_m(x) = \frac{x}{1 - mx - x^2 - \cdots - x^k}$ を持つ新しい数列 $g^{(m)}_n$ を生成し、1次項に係数 $m$ を持つ漸化式に対応させる。
• 特性多項式 $p_m(x) = x^k - m x^{k-1} - x^{k-2} - \cdots - 1$ を導出し、その唯一の正の実根 $\varrho_m$ が $k$ 次金属比の $m$ 番目のものとして定義される。
• 不等式 $p_m(m) < 0 < p_m(m+1)$ を示すことにより、$\varrho_m \in (m, m+1)$ を証明し、正の実根の存在と一意性を保証する。
• 関連多項式 $q(x) = (x-1)p_m(x)$ の微分を分析することで、$p_m(x)$ のすべての根が単純（重複がない）であることを確認し、重解がないことを証明する。
• 線形漸化式の閉形式解を用いて、すべての他の根の絶対値が $\varrho_m$ より厳密に小さいことから、比 $g^{(m)}_{n+1}/g^{(m)}_n$ が $n \to \infty$ のとき $\varrho_m$ に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 金属比の概念を二次のケースを超えて、次数 $k \geq 3$ の高次数列へどのように一般化できるか？
• RQ2 逆変換を施した $k$ 階フィボナッチ数列から得られる数列の極限比の代数的構造は何か？
• RQ3 このような一般化された数列の連続する項の比が、$k$ 次多項式の唯一の正の実根に収束するか？
• RQ4 色分けされたまたは重み付きのタイルを用いた高次数列において、黄金比の古典的収束結果を拡張できるか？
• RQ5 一般化された金属比およびそれらに関連する数列に、組合せ論的解釈は存在するか？

主な発見

• 次数 $k$ の $m$ 番目の金属比 $\varrho_m$ は、多項式 $x^k - m x^{k-1} - x^{k-2} - \cdots - 1$ の唯一の正の実根であり、区間 $(m, m+1)$ 内に存在する。
• $k=3$ の場合、立方金属比 $\tau_m$ は多項式 $x^3 - m x^2 - x - 1$ の唯一の正の実根として定義され、$\tau_1 \approx 1.839$（トリボナッチ定数）、$\tau_2 \approx 2.547$、$\tau_3 \approx 3.383$ である。
• 数列 $g^{(m)}_n$ の連続する項の比は $\varrho_m$ に収束する。これは、線形漸化式の閉形式解において、支配的根 $\varrho_m$ が他の $k-1$ 個の根の寄与を圧倒するためである。
• 特性多項式 $p_m(x)$ のすべての根が単純であることが確認され、これにより漸近的挙動が支配的根 $\varrho_m$ のみによって決定され、比の収束が保証される。
• 組合せ論的には、$g^{(m)}_n$ は $1 \times 1$、$2 \times 1$、…、$k \times 1$ のタイルを用いて $(n-1) \times 1$ のボードをタイル張りする方法の数を表し、$1 \times 1$ タイルには $m$ 種類の色が利用可能である。
• $k=3$ かつ $m=2$ の場合、数列 $T^{(2)}_n$ は $1, 2, 5, 13, 33, 84, 214, \dots$ で始まり、一般化された金属比の組合せ論的解釈を示している。