主題
Search

圖厄-摩爾斯常數

DOWNLOAD Mathematica Notebook下載 Wolfram Notebook

圖厄-摩爾斯常數，也稱為奇偶常數，由圖厄-摩爾斯序列的串聯數字給出

P=0.0110100110010110100101100..._2
(1)

(OEIS A010060) 解釋為二進位制數。在十進位制中，它可以寫成

P=1/2sum_(n=0)^(infty)P(n)2^(-n)
(2)
=0.4124540336401075977...
(3)

(OEIS A014571)，其中 P(n) 是 n 的奇偶性 (即，n 的二進位制表示中 1 的個數，模 2 計算)。

Dekking (1977) 證明了圖厄-摩爾斯常數是超越數，Allouche 和 Shallit 給出了完整的證明，糾正了 Dekking 的一個小錯誤。

圖厄-摩爾斯常數可以用 2 為底數分階段寫出，方法是取前一次迭代 a_n，取透過反轉 a_n 的數字獲得的補碼 a^__n，然後附加，產生

a_0=0.0_2
(4)
a_1=0.01_2
(5)
a_2=0.0110_2
(6)
a_3=0.01101001_2
(7)
a_4=0.0110100110010110_2.
(8)

這可以符號化地寫成

a_(n+1)=a_n+a^__n·2^(-2^n)
(9)

其中 a_0=0。這裡，補碼是數字 a^__n 使得 a_n+a^__n=0.11...1_()_(2^n)_2，可以從下式找到

a_n+a^__n=sum_(k=1)^(2^n)(1/2)^k
(10)
=(1-(1/2)^(2^n))/(1-1/2)-1
(11)
=1-2^(-2^n).
(12)

因此，

a^__n=1-2^(-2^n)-a_n,
(13)

並且

a_(n+1)=a_n+(1-2^(-2^n)-a_n)2^(-2^n)
(14)
=2^(-2^(n+1))(2^(2^n)-1)(1+2^(2^n)a_n).
(15)

最初幾次迭代給出 0, 1/4, 3/8, 105/256, 13515/32768, ... (OEIS A074072 和 A074073)。

圖厄-摩爾斯常數的正規連分數是 [0 2 2 2 1 4 3 5 2 1 4 2 1 5 44 1 4 1 2 4 1 1 1 5 14 1 50 15 5 1 1 1 4 2 1 4 1 43 1 4 1 2 1 3 16 1 2 1 2 1 50 1 2 424 1 2 5 2 1 1 1 5 5 2 22 5 1 1 1 1274 3 5 2 1 1 1 4 1 1 15 154 7 2 1 2 2 1 2 1 1 50 1 4 1 2 867374 1 1 1 5 5 1 1 6 1 2 7 2 1650 23 3 1 1 1 2 5 3 84 1 1 1 1284 ...] (OEIS A014572)，並且似乎以可疑模式繼續出現零星的大項。一個非正規連分數是

P=1/(3-1/(2-1/(4-3/(16-(15)/(256-(255)/(65536-...)))))).
(16)

一個相關的無窮乘積是

P=1/4[2-product_(n=0)^(infty)(2^(2^n)-1)/(2^(2^n))]
(17)
=1/4[2-product_(n=0)^(infty)2^(-2^n)(2^(2^n)-1)]
(18)
=1/4(2-(1·3·15·255·65535...)/(2·4·16·256·65536...))
(19)

(Finch 2003, p. 437)。

另請參閱

數字計數, Komornik-Loreti 常數, 奇偶性, 兔子常數, 圖厄常數

使用 探索

參考文獻

Allouche, J. P.; Arnold, A.; Berstel, J.; Brlek, S.; Jockusch, W.; Plouffe, S.; 和 Sagan, B. “圖厄-摩爾斯序列的親屬.” Discr. Math. 139, 455-461, 1995.Allouche, J. P. 和 Shallit, J. “無處不在的 Prouhet-圖厄-摩爾斯序列.” http://www.math.uwaterloo.ca/~shallit/Papers/ubiq.ps.Dekking, F. M. “圖厄-摩爾斯數的超越性.” Comptes Rendus de l'Academie des Sciences de Paris 285, 157-160, 1977.Finch, S. R. “Prouhet-圖厄-摩爾斯常數.” §6.8 in 數學常數. 英國劍橋: 劍橋大學出版社, pp. 436-441, 2003.Goldstein, S.; Kelly, K. A.; 和 Speer, E. R. “圖厄-摩爾斯序列稀疏和的分形結構.” J. Number Th. 42, 1-19, 1992.Schroeppel, R. 和 Gosper, R. W. Beeler, M.; Gosper, R. W.; 和 Schroeppel, R. 中的專案 122. HAKMEM. 馬薩諸塞州劍橋: MIT 人工智慧實驗室, 備忘錄 AIM-239, pp. 56-57, 1972 年 2 月. http://www.inwap.com/pdp10/hbaker/hakmem/series.html#item122.Sloane, N. J. A. “整數序列線上百科全書”中的序列 A010060, A014571, A014572, A074072, 和 A074073 in "The On-Line Encyclopedia of Integer Sequences."

在 中被引用

圖厄-摩爾斯常數

請引用為

Weisstein, Eric W. “圖厄-摩爾斯常數.” 來自 Web 資源. https://mathworld.tw/Thue-MorseConstant.html

主題分類