[论文解读] The maximal order of Stern's diatomic sequence

Michael James Coons, Jason Tyler|arXiv (Cornell University)|Jul 5, 2013

Advanced Mathematical Theories and Applications参考文献 4被引用 13

一句话总结

本文通过证明 limsup a(n)/n^{log₂φ} = φ^{log₂3}/√5 ≈ 0.958854，解决了 Calkin 和 Wilf 长久以来关于 Stern 二项序列最大阶的问题，方法是构造一个分段线性上界函数 h(x)，其渐近增长速率与序列一致。证明结合了该序列的递归性质以及斐波那契数列和黄金比例的渐近分析。

ABSTRACT

We answer a question of Calkin and Wilf concerning the maximal order of Stern's diatomic sequence. Specifically, we prove that $$\limsup_{n o\infty}\frac{a(n)}{φ^{\log_2 n}}=\frac{φ^{\log_2 3}}{\sqrt{5}},$$ where $φ=(\sqrt{5}+1)/2$ is the golden ratio. This improves on previous results given by Berlekamp, Conway, and Guy, who showed that the limit value was bounded above by 1.25, and by Calkin and Wilf, who showed that the exact value was in the interval $[(φ/{\sqrt{5}})({3}/{2})^{\log_2φ},(φ+1)/{\sqrt{5}}].$

研究动机与目标

• 确定 Stern 二项序列中 a(n)/n^{log₂φ} 的 limsup 的精确值，从而解决 Calkin 和 Wilf 提出的问题。
• 弥合先前已知的 limsup 上下界之间的差距，该范围为 [0.958854, 1.170820]。
• 构造一个连续的、分段线性函数 h(x)，使其上界为 Stern 序列，并渐近匹配 φ^{log₂3}x^{log₂φ}/√5 的增长速率。
• 证明 a(n)/h(n) 的 limsup 恰好为 1，从而在序列最大增长方面建立精确的渐近控制。
• 表明所构造的函数 h(x) 渐近增长与猜想的极值函数一致，从而确认 limsup 的精确值。

提出的方法

• 定义一个分段线性函数 h(x)，连接点 (mₙ, a(mₙ))，其中 mₙ = (2ⁿ − (−1)ⁿ)/3，且 a(mₙ) = Fₙ（第 n 个斐波那契数）。
• 利用 Binet 公式 Fₙ = (φⁿ − (−φ)⁻ⁿ)/√5，将 h(x) 的渐近表达式用 φⁿ 和 2⁻ⁿ 修正项表示。
• 通过递归结构和区间嵌套，证明当 x ≥ 5 时，h(4x+1) > h(2x+1) + h(x) 且 h(4x−1) > h(2x−1) + h(x)。
• 通过归纳法证明对所有 n ≥ 0，有 a(n) ≤ h(n)，利用 Stern 序列的递归定义以及 h(x) 的单调性。
• 通过证明当 n → ∞ 时，a(mₙ)/h(mₙ) → 1，从而得出 limsup a(n)/h(n) = 1，利用 Fₙ 与 φⁿ/√5 的渐近等价性。
• 通过反证法证明：对足够大的 x，有 √5·h(x) ≤ φ^{log₂3}x^{log₂φ} + ε（ε > 0），利用差值函数的二阶导数，证明其不能为负。

实验结果

研究问题

• RQ1 Stern 二项序列中 limsup_{n→∞} a(n)/n^{log₂φ} 的精确值是什么？
• RQ2 Berlekamp、Conway 和 Guy 提出的上界 1.25 是否可以改进？若可，其精确值是多少？
• RQ3 Calkin 和 Wilf 猜测的下界 φ/√5 · (3/2)^{log₂φ} ≈ 0.958854 是否就是实际的 limsup？
• RQ4 能否构造一个连续的、分段线性函数 h(x)，使得 h(n) 上界为 a(n)，且渐近匹配 φ^{log₂3}x^{log₂φ}/√5 的增长速率？
• RQ5 比值 a(n)/h(n) 是否沿子序列 n = mₙ 收敛于 1，从而确认 h(n) 为紧致上界？

主要发现

• 证明了 limsup 的精确值为 φ^{log₂3}/√5 ≈ 0.9588541900，解决了 Calkin 和 Wilf 提出的开放问题。
• 上界函数 h(x) 满足对所有 n ≥ 0 有 a(n) ≤ h(n)，且 limsup_{n→∞} a(n)/h(n) = 1，确认 h(n) 为紧致的渐近上界。
• 函数 √5·h(x) 的渐近增长速度不超过 φ^{log₂3}x^{log₂φ} + ε（对任意 ε > 0），表明 h(x) 与猜想的极值函数渐近等价。
• 序列在子序列 n = mₙ = (2ⁿ − (−1)ⁿ)/3 上达到最大增长速率，此时 a(mₙ) = Fₙ 且 mₙ^{log₂φ} ∼ φⁿ，从而 a(mₙ)/mₙ^{log₂φ} → φ^{log₂3}/√5。
• 差值函数 √5·h(x) − φ^{log₂3}x^{log₂φ} 的二阶导数在 x 足够大时严格为正，与局部极大值的存在矛盾，从而确认渐近不等式成立。
• 本结果改进了先前的界：Calkin 和 Wilf 证明 limsup 位于 [0.958854, 1.170820]，而本文证明下界是紧致的。