Conceptos Básicos
二次遞迴的漸近行為在不同參數值下有顯著差異,其中臨界情況(p=1/2)尤其有趣,需要複雜的分析才能得到精確的漸近展開式。
Resumen
本文探討了一個二次遞迴的漸近行為,其遞迴式為:
a0 = 0,
ak = (1-p) + p a^2_k-1 (k≥1)
其中0<p<1。
-
亞臨界情況(0<p<1/2):
- 證明了{ak}序列以指數速度收斂到某個常數C,並給出了C的無窮乘積表達式。
-
超臨界情況(1/2<p<1):
- 證明了{ak}序列以指數速度收斂到某個常數C,並給出了C的無窮乘積表達式。
-
臨界情況(p=1/2):
- 利用Schoenfield的分析,得到了ak的漸近展開式,包含了對數項和多項式項。
- 推導出每個係數都可以用常數C來表示。
- 計算得到C的數值約為3.535987572272308。
-
附加討論:
- 發現該遞迴式在另一種形式下也有出現,涉及一些有趣的數學常數。
- 介紹了一種稱為"bootstrapping"的技巧,可以得到C的另一種表達式,但仍存在局限性。
總的來說,本文深入分析了一個看似簡單的二次遞迴,揭示了其複雜的漸近行為,特別是在臨界情況下需要精細的數學分析才能得到精確的結果。
Estadísticas
ak ∼ 1 - 2^k + 2 ln(k) + C/k^2 - 2 ln(k)^2 + (2C-2) ln(k) + (1/2C^2 - C + 1)/k^3 + ...
C = 3.535987572272308
Citas
"The gap between theory and experimentation seems insurmountable, however, at a single outlier (p = 1/2)."
"Schoenfield [2, 3] hypothesized that the next terms of the asymptotic series must be of the form c3,2 ln(k)^2 + c3,1 ln(k) + c3,0/k^3 + c4,3 ln(k)^3 + c4,2 ln(k)^2 + c4,1 ln(k) + c4,0/k^4 + · · ·."
"Closed-form expressions for sm = Σ_k=0^∞ α^m_k remain unknown."