[論文レビュー] On monotonicity of some combinatorial sequences

Qing-Hu Hou, Zhi‐Wei Sun+1 more|arXiv (Cornell University)|Aug 19, 2012

Advanced Mathematical Identities参考文献 3被引用数 10

ひとこと要約

この論文は、根の比を含むいくつかの組合せ的数列の単調性を証明している：フィボナッチ数列 $(\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4}$ は 1 に厳密に単調減少に収束する；デラングマン数 $(\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3}$ は 1 に厳密に単調減少に収束する；$m$ 次の調和数 $(\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3}$ はすべての $m \geq 1$ に対して厳密に単調増加である。証明は、対数差分の漸近解析および $\gamma = \beta/\alpha$ と $\log(1 - \gamma^n)$ の級数展開に関する不等式に依存している。

ABSTRACT

We confirm Sun's conjecture that $( oot{n+1}\of{F_{n+1}}/ oot{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where $(F_n)_{n\ge0}$ is the Fibonacci sequence. We also prove that the sequence $( oot{n+1}\of{D_{n+1}}/ oot{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit $1$, where $D_n$ is the $n$-th derangement number. For $m$-th order harmonic numbers $H_n^{(m)}=\sum_{k=1}^n 1/k^m\ (n=1,2,3,\ldots)$, we show that $( oot{n+1}\of{H^{(m)}_{n+1}}/ oot{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.

研究の動機と目的

• Sun による予想、すなわち数列 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $ が厳密に単調減少であり、1 に収束することを確認すること。
• デラングマン数 $ D_n $ に対して、数列 $ (\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3} $ が 1 に収束する厳密に単調減少であるという予想を証明すること。
• Sun による予想、すなわちすべての正の整数 $ m $ に対して、数列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ が厳密に単調増加であることの検証。
• 組合せ的数列 $ (a_n) $ に対して、形式 $ (\sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n}) $ の数列が単調性を示す一般条件を確立すること。
• 対数差分および $ \log(1 - \gamma^n) $ の級数展開を用いた、厳密な漸近的・解析的証明を提供すること。

提案手法

• ルーカス数列の閉形式表現 $ u_n = (\alpha^n - \beta^n)/(\alpha - \beta) $ を用いて $ \log u_n $ を分析する。ここで $ \alpha $ と $ \beta $ は特性方程式の根である。
• $ \gamma = \beta / \alpha $ を定義し、$ \log u_n = n \log \alpha + \log(1 - \gamma^n) - \log \sqrt{\Delta} $ を得る。これにより漸近解析が可能になる。
• 数列の単調性を決定するために、差分 $ \Delta_n = \frac{2\log u_{n+1}}{n+1} - \frac{\log u_n}{n} - \frac{\log u_{n+2}}{n+2} $ を分析する。
• 正の $ x $ に対して $ \log(1 + x) > x - x^2/2 $ という不等式を用いて、調和数の解析における対数項を評価する。
• $ H_n^{(m)} \log H_n^{(m)} $ の境界および漸近的推定値を用い、差分 $ \Delta_n(m) $ が負であることを示し、これにより厳密な増加性が導かれる。
• 直接計算により、小さな $ n $ および $ m $ における厳密な単調性を検証し、$ n \geq 30 $ または $ m \geq 11 $ については解析的境界を用いて一般化する。

実験結果

リサーチクエスチョン

• RQ1 数列 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $ は厳密に単調減少であり、1 に収束するか？
• RQ2 比 $ \sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n} $ は $ n \geq 3 $ に対して厳密に減少し、1 に収束するか？
• RQ3 すべての正の整数 $ m $ に対して、数列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ は厳密に単調増加か？
• RQ4 任意のルーカス数列 $ u_n(A,B) $ に対して、$ A > 0 $、$ B \neq 0 $、$ \Delta > 0 $ を満たす場合、比 $ \sqrt[n+1]{u_{n+1}}/\sqrt[n]{u_n} $ は最終的に厳密に単調減少であり、1 に収束するか？
• RQ5 組合せ的数列 $ a_n $ に対して、$ (\sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n}) $ の単調性を証明するために使用できる解析的手法は何か？

主な発見

• 数列 $ (\sqrt[n+1]{F_{n+1}}/\sqrt[n]{F_n})_{n \geq 4} $ は厳密に単調減少であり、1 に収束する。Sun の予想を確認した。
• 数列 $ (\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3} $ は厳密に単調減少であり、1 に収束する。デラングマン数に関する Sun の予想を証明した。
• すべての $ m \geq 1 $ に対して、数列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ は厳密に単調増加である。Sun の予想 2.16 を確認した。
• 任意のルーカス数列 $ u_n(A,B) $ に対して、$ A > 0 $、$ B \neq 0 $、$ \Delta > 0 $ を満たす場合、比 $ \sqrt[n+1]{u_{n+1}}/\sqrt[n]{u_n} $ は最終的に厳密に単調減少であり、1 に収束する。
• 対数差分および $ \log(1 - \gamma^n) $ の境界を用いる証明技法は、組合せ的数列における根の比の単調性を分析するのに効果的である。
• $ \sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_n} $ が単調であるような数列の集合は、積に関して閉じている。これは、このような数列の構造的性質を示唆している。