[論文レビュー] 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

ひとこと要約

この論文は、CalkinとWilfが提起した長年の未解決問題を解決し、Sternの二項係数列の最大順序を証明することで、limsup a(n)/n^{log₂φ} が φ^{log₂3}/√5 ≈ 0.958854 に等しいことを示している。これは、漸近的に列の成長率と一致する区分的線形上界関数 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] の範囲にあることが分かっている。
• Stern列を上界とする連続的で区分的線形関数 h(x) を構成し、その漸近的成長率が φ^{log₂3}x^{log₂φ}/√5 と一致することを示すこと。
• a(n)/h(n) の limsup が正確に 1 に等しいことを証明することで、列の最大成長率に対するきめ細かい漸近的制御を確立すること。
• 構築された関数 h(x) が、予想された極値関数と漸近的に同値に成長することを示し、limsup の正確な値を確認すること。

提案手法

• mₙ = (2ⁿ − (−1)ⁿ)/3 および a(mₙ) = Fₙ（n番目のフィボナッチ数）となる点 (mₙ, a(mₙ)) を結ぶ区分的線形関数 h(x) を定義する。
• Binetの公式 Fₙ = (φⁿ − (−φ)⁻ⁿ)/√5 を用いて、h(x) を φⁿ と 2⁻ⁿ の補正項を含む形で漸近的に表現する。
• 再帰的構造と区間のネストを用いて、x ≥ 5 に対して不等式 h(4x+1) > h(2x+1) + h(x) および h(4x−1) > h(2x−1) + h(x) が成り立つことを証明する。
• Stern列の再帰的定義と h(x) の単調性を用いて、数学的帰納法によりすべての n ≥ 0 に対して a(n) ≤ h(n) を示す。
• Fₙ と φⁿ/√5 の漸近的同値性を用いて、n → ∞ のとき a(mₙ)/h(mₙ) → 1 であることを証明することで、limsup a(n)/h(n) = 1 を示す。
• 差分関数の2階微分を用いた背理法により、十分大きな x に対して √5·h(x) ≤ φ^{log₂3}x^{log₂φ} + ε が成り立つことを証明する。

実験結果

リサーチクエスチョン

• 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) が漸近的に鋭い上界であることが示された。
• 十分大きな x に対して √5·h(x) が φ^{log₂3}x^{log₂φ} + ε よりも速く成長しないことが示され、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₂φ} の2階微分が十分大きな x に対して正であることが示され、局所的最大値が存在しないことが背理法で証明され、漸近的不等式が正当化された。
• 以前の境界を改善した。CalkinとWilfは limsup が [0.958854, 1.170820] の範囲にあることを示していたが、本論文では下界が鋭いことを証明した。