[论文解读] 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.

研究动机与目标

• 确认孙的猜想：序列 $ (\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，其中 $ D_n $ 为第 $ n $ 个错位排列数。
• 验证孙的猜想：序列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ 对所有正整数 $ m $ 严格递增。
• 建立一般条件，使得形如 $ (\sqrt[n+1]{a_{n+1}}/\sqrt[n]{a_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} $，以确定根比序列的单调性。
• 在调和数分析中应用不等式 $ \log(1 + x) > x - x^2/2 $（当 $ x > 0 $ 时）以界定对数项。
• 利用 $ 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 序列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ 是否对每个正整数 $ m $ 严格递增？
• RQ4 能否对任意卢卡斯序列 $ u_n(A,B) $（满足 $ A > 0 $，$ B \neq 0 $，且 $ \Delta > 0 $）建立根比序列 $ \sqrt[n+1]{u_{n+1}}/\sqrt[n]{u_n} $ 的单调性？
• 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，确认了孙的猜想。
• 序列 $ (\sqrt[n+1]{D_{n+1}}/\sqrt[n]{D_n})_{n \geq 3} $ 严格递减并收敛于 1，证明了孙关于错位排列数的猜想。
• 对所有 $ m \geq 1 $，序列 $ (\sqrt[n+1]{H_{n+1}^{(m)}}/\sqrt[n]{H_n^{(m)}})_{n \geq 3} $ 严格递增，确认了孙的猜想 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} $ 单调的序列集合在乘法下封闭，暗示了此类序列的结构性质。