Jump to content

Константа Чамперноуна

В математике C константа Чамперноуна 10 это трансцендентная действительная константа , десятичное разложение которой имеет важные свойства. Она названа в честь экономиста и математика Д. Г. Чамперноуна , опубликовавшего ее еще будучи студентом в 1933 году. [1] Число определяется путем объединения представлений по основанию 10 положительных целых чисел :

C 10 = 0,12345678910111213141516... (последовательность A033307 в OEIS ).

Константы Чамперноуна также могут быть построены аналогичным образом в других базисах; например,

С 2 = 0,11011100101110111... 2

и

С 3 = 0,12101112202122... 3 .

Слово Champernowe или слово Barbier представляет собой последовательность цифр C 10, полученную путем записи ее по основанию 10 и сопоставления цифр: [2] [3]

12345678910111213141516... (последовательность A007376 в OEIS )

В более общем смысле, последовательность Чамперноуна (иногда также называемая словом Чамперноуна ) — это любая последовательность цифр, полученная путем объединения всех конечных строк цифр (в любой заданной базе) в некотором рекурсивном порядке. [4] Например, двоичная последовательность Чамперноуна в шортлексном порядке имеет вид

0 1 00 01 10 11 000 001 ... (последовательность A076478 в OEIS )

где пробелы (в противном случае их следует игнорировать) были вставлены только для того, чтобы показать объединяемые строки.

Свойства [ править ]

Действительное число x называется нормальным , если его цифры по каждому основанию распределены равномерно: все цифры одинаково вероятны, все пары цифр одинаково вероятны, все тройки цифр одинаково вероятны и т. д. Число x называется нормальным. по базе b, если его цифры по базе b распределены равномерно.

Если мы обозначим строку цифр как [ a 0 , a 1 , ...], то в системе счисления 10 мы ожидаем, что строки [0], [1], [2], …, [9] будут встречаться 1/ 10 раз, строки [0,0], [0,1], ..., [9,8], [9,9] встречаются в 1/100 случаев и т. д. в нормальном количестве. .

Чамперноун доказал, что нормально по основанию 10, [1] в то время как Накаи и Сиокава доказали более общую теорему, следствием которой является то, что в базе это нормально для любого б . [5] Это открытый вопрос, является ли в базах это нормально . Например, неизвестно, нормально в системе счисления 9. Например, 54 цифры числа составляет 0,123456789101112131415161718192021222324252627282930313. Выразив это в системе счисления 9, мы получим .

Курт Малер показал, что константа трансцендентна . [6] Мера иррациональности является и вообще для любой базы . [7]

Слово Champernowne представляет собой дизъюнктивную последовательность . Дизъюнктивная последовательность — это бесконечная последовательность (по конечному алфавиту символов . ), в которой каждая конечная строка появляется как подстрока

Серия [ править ]

Определение постоянной Чамперноуна немедленно приводит к представлению бесконечной серии, включающей двойную сумму:

где — количество цифр между десятичной запятой и первым вкладом n- значного числа по основанию 10; эти выражения обобщаются на произвольную базу b путем замены 10 и 9 на b и b - 1 соответственно. Альтернативные формы:
и
где и обозначают функции пола и потолка . [8] [9]

Возвращаясь к первому из этих рядов, и слагаемое внешней суммы, и выражение для можно упростить, используя замкнутую форму двумерного геометрического ряда :

Полученное выражение для является

а слагаемое внешней суммы становится
Суммирование по всем n ≥ 1 дает
Заметим, что в слагаемом выражение в скобках приблизительно равно для n ≥ 2 и быстро приближается к этому значению с ростом n , а показатель степени растет экспоненциально с ростом n . Как следствие, каждый дополнительный член дает экспоненциально растущее количество правильных цифр, хотя количество цифр в числителях и знаменателях дробей, составляющих эти члены, растет только линейно. Например, первые несколько членов C 10 равны

дроби Продолжение расширения

Первые 161 частное цепной дроби константы Чамперноуна. 4-й, 18-й, 40-й и 101-й намного больше 270, поэтому не отображаются на графике.
Первые 161 частное цепной дроби константы Чамперноуна в логарифмическом масштабе .

Простое в цепную дробь разложение константы Чамперноуна не заканчивается (поскольку константа нерациональна ) и является апериодическим (поскольку она не является неприводимым квадратичным уравнением). Простая цепная дробь — это цепная дробь, знаменатель которой равен 1. в простую цепную дробь Разложение константы Чамперноуна демонстрирует чрезвычайно большие члены, возникающие между многими маленькими. Например, по основанию 10,

С 10 = [0; 8, 9, 1, 149083, 1, 1, 1, 4, 1, 1, 1, 3, 4, 1, 1, 1, 15, 4 57540 11139 10310 76483 64662 82429 56118 59960 39397 10457 555 00 06620 04393 09026 26592 56314 93795 32077 47128 65631 38641 20937 55035 52094 60718 30899 84575 80146 98631 48833 59214 17830 10987, 6, 1, 1, ...]. (последовательность A030167 в OEIS )

Большое число в позиции 18 имеет 166 цифр, а следующий очень большой член в позиции 40 цепной дроби имеет 2504 цифры. Наличие таких больших чисел в качестве членов разложения в цепную дробь означает, что подходящие дроби, полученные остановкой перед этими большими числами, обеспечивают исключительно хорошее приближение константы Чамперноуна. Например, усечение непосредственно перед четвертым частным дает

который соответствует первому члену в быстро сходящемся разложении в ряд из предыдущего раздела и аппроксимирует константу Чамперноуна с ошибкой около 1 × 10. −9 . Усечение непосредственно перед 18-м частным дает приближение, соответствующее первым двум членам ряда, то есть членам до члена, содержащего 10. −9 ,
которая аппроксимирует константу Чамперноуна с ошибкой примерно 9 × 10. −190 .

Первый и второй по величине члены («высшие показатели») после начального нуля равны 8 и 9 соответственно и встречаются в позициях 1 и 2. Сикора (2012) заметил, что количество цифр в верхних точках начиная с четвертого отображения видимой закономерности. [10] Действительно, сами верхние отметки растут вдвойне экспоненциально, а количество цифр в n- й отметке за являются

6, 166, 25 04, 33 102 , 41 1 100 , 49 11 098 , 57 111 096 , 65 1111 094 , 73 11111 092 , ...

закономерность которого становится очевидной, начиная с 6-й максимальной отметки. Количество терминов может быть задано выражением

Однако до сих пор неизвестно, существует ли способ определить, где встречаются большие термины (минимум из 6 цифр) или их значения. Сами отметки паводков располагаются на позициях

1, 2, 4, 18, 40, 162, 526, 1708, 4838, 13522, 34062, .... (последовательность A143533 в OEIS )

См. также [ править ]

Ссылки [ править ]

  1. ^ Jump up to: Перейти обратно: а б Чамперноун 1933 г.
  2. ^ Кассень и Николя (2010) стр.165
  3. ^ Аллуш, Жан-Поль; Шалит, Джеффри (2003). Автоматические последовательности: теория, приложения, обобщения . Издательство Кембриджского университета . п. 299. ИСБН  978-0-521-82332-6 . Збл   1086.11015 .
  4. ^ Калуд, К. ; Призе, Л .; Стейгер, Л. (1997), Дизъюнктивные последовательности: обзор , Университет Окленда, Новая Зеландия, стр. 1–35, CiteSeerX   10.1.1.34.1370.
  5. ^ Накаи и Сиокава, 1992 г.
  6. ^ К. Малер, Арифметические свойства одного класса десятичных дробей , Proc. Конин. Недер. Академическая влажная. Сер. А. 40 (1937), с. 421-428.
  7. ^ Масааки Амоу , Приближение некоторых трансцендентных десятичных дробей алгебраическими числами , Журнал теории чисел , том 37, выпуск 2, февраль 1991 г., страницы 231–241
  8. ^ Джон К. Сикора: Анализ конвергентов высшей точки константы Чамперноуна в различных базисах , в: arXiv:1408.0261, 1 августа 2014 г., см. Определение 9
  9. ^ Вайсштейн, Эрик В. «Константа Чамперноуна» . Математический мир .
  10. ^ Сикора, Дж. К. «О конвергентах высшей точки константы Чамперноуна в десятичной базе». 3 октября 2012 г. http://arxiv.org/abs/1210.1263 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 5d50249e849be3c58ec9c18e8fcafc0f__1708531680
URL1:https://arc.ask3.ru/arc/aa/5d/0f/5d50249e849be3c58ec9c18e8fcafc0f.html
Заголовок, (Title) документа по адресу, URL1:
Champernowne constant - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)