Постоянная Чемперноуна

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

Постоянная Чемперноуна — трансцендентная действительная константа, чьё разложение на десятичные дроби обладает определёнными важными свойствами. Названа в честь английского экономиста и математика Дэвида Чемперноуна (англ. D. G. Champernowne), который опубликовал о ней работу в 1933 году, когда был студентом[1].

Для десятичной системы счисления, данное число, обозначаемое обычно как [math]\displaystyle{ C_{10} }[/math], определяется как конкатенация следующих друг за другом положительных целых чисел:

0,12345678910111213141516… [2].

Постоянная Чемперноуна также может быть сконструирована в других системах счисления похожим способом. К примеру:

C2 = 0,11011100101110111… 2,
C3 = 0,12101112202122… 3.

Постоянные Чемперноуна могут быть выражены в точности как бесконечный ряд:

[math]\displaystyle{ C_{m}=\sum_{n=1}^\infty\frac n{10_b^{\big({\sum}_{k=1}^n\left\lceil\log_{10_b}(k+1)\right\rceil\big)}}, }[/math]

где [math]\displaystyle{ \lceil{x}\rceil }[/math] — округление [math]\displaystyle{ x }[/math] вверх, [math]\displaystyle{ 10_b^{~x}=b^x }[/math] в десятичной системе счисления, [math]\displaystyle{ \log_{10_b}(x)=\log_{b_{10}}(x) }[/math] и [math]\displaystyle{ b }[/math] — система счисления для постоянной.

Примечания

  1. Champernowne, 1933
  2. последовательность A033307 в OEIS

Ссылки