[논문 리뷰] The maximal order of Stern's diatomic sequence

Michael James Coons, Jason Tyler|arXiv (Cornell University)|2013. 07. 05.

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 수열을 상한으로 올리고, φ^{log₂3}x^{log₂φ}/√5의 성장률과 渐近적으로 일치하는 연속적인 조각별 선형 함수 h(x)를 구성한다.
• 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임을 증명한다.
• 대조법을 사용하여, √5·h(x) ≤ φ^{log₂3}x^{log₂φ} + ε (큰 x에 대해)임을 증명하며, 차이 함수의 이阶도를 분석하고, 이가 음수가 될 수 없음을 보여 이중도를 증명한다.

실험 결과

연구 질문

• 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가 제기한 미해결 문제를 해결한다.
• 모든 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)가 추측된 극한 함수와 점근적으로 동치임을 입증한다.
• 수열은 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]에 있음을 보였고, 본 논문은 하한이 날카로운 것을 증명한다.