Interested Article - Постоянная Апери

Постоя́нная Апери́ ( англ. Apéry's constant , фр. Constante d'Apéry ) — вещественное число , обозначаемое (иногда ), которое равно сумме обратных к кубам целых положительных чисел и, следовательно, является частным значением дзета-функции Римана :

.

Численное значение постоянной выражается бесконечной непериодической десятичной дробью :

1,202 056 903 159 594 285 399 738 161 511 449 990 764 986 292 340 498 881 792 271 555 3…

Названа в честь Роже Апери , доказавшего в 1978 году , что является иррациональным числом ( ). Изначальное доказательство носило сложный технический характер, позднее найден простой вариант доказательства с использованием многочленов Лежандра . Неизвестно, является ли постоянная Апери трансцендентным числом .

Эта постоянная давно привлекала интерес математиков — ещё в 1735 году Леонард Эйлер вычислил её с точностью до 16 значащих цифр (1,202056903159594).

Приложения в математике и физике

Двухпетлевая диаграмма Фейнмана, результат для которой содержит

В математике постоянная Апери встречается во многих приложениях. В частности, величина, обратная , даёт вероятность того, что любые три случайным образом выбранных положительных целых числа будут взаимно просты — в том смысле, что при вероятность того, что три положительных целых числа, меньших, чем (и выбранных случайным образом) будут взаимно простыми, стремится к .

Постоянная Апери естественным образом возникает в ряде проблем физики, включая поправки второго (и выше) порядков к аномальному магнитному моменту электрона в квантовой электродинамике . Например, результат для двухпетлевой диаграммы Фейнмана , изображённой на рисунке, даёт (здесь предполагается 4-мерное интегрирование по импульсам внутренних петель, содержащих только безмассовые виртуальные частицы , а также соответствующая нормировка, включая степень импульса внешней частицы ). Другой пример — двумерная модель Дебая .

Связь с другими функциями

Постоянная Апери связана с частным значением полигамма-функции второго порядка:

и появляется в разложении гамма-функции в ряд Тейлора :

,

где в виде факторизуются вклады, содержащие постоянную Эйлера — Маскерони .

Постоянная Апери также связана со значениями трилогарифма (частный случай полилогарифма ):

,
.

Представления в виде рядов

Некоторые другие ряды, члены которых обратны к кубам натуральных чисел, также выражаются через постоянную Апери:

,
.

Другие известные результаты — сумма ряда, содержащего гармонические числа :

,

а также двукратная сумма:

.

Для доказательства иррациональности Роже Апери пользовался представлением:

,

где биномиальный коэффициент .

В 1773 году Леонард Эйлер привёл представление в виде ряда (которое впоследствии было несколько раз заново открыто в других работах):

,

в котором значения дзета-функции Римана чётных аргументов могут быть представлены как , где числа Бернулли .

Рамануджан дал несколько представлений в виде рядов, которые замечательны тем, что они обеспечивают несколько новых значащих цифр на каждой итерации. Они включают в себя :

получил ряды другого типа

а также аналогичные представления для других постоянных .

Были также получены другие представления в виде рядов, включая:

Некоторые из этих представлений были использованы для вычисления постоянной Апери со многими миллионами значащих цифр.

В 1998 году получено представление в виде ряда , которое даёт возможность вычислить произвольный бит постоянной Апери.

Представления в виде интегралов

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

или

следующих из простейших интегральных определений дзета-функции Римана , до достаточно сложных, таких, как

( Иоган Йенсен ),
( ),
(Ярослав Благушин ).

Цепные дроби

Цепная дробь для константы Апери (последовательность в OEIS ) выглядит следующим образом:

Первую обобщённую цепную дробь для константы Апери, имеющую закономерность, открыли независимо Стилтьес и Рамануджан :

Она может быть преобразована к виду:

Апери смог ускорить сходимость цепной дроби для константы:

Вычисление десятичных цифр

Число известных значащих цифр постоянной Апери значительно выросло за последние десятилетия благодаря как увеличению компьютерных мощностей, так и улучшению алгоритмов .

Число известных значащих цифр постоянной Апери
Дата Количество значащих цифр Авторы вычисления
1735 16 Леонард Эйлер
1887 32 Томас Иоаннес Стилтьес
1996 520 000 Greg J. Fee & Simon Plouffe
1997 1 000 000 Bruno Haible & Thomas Papanikolaou
1997, май 10 536 006 Patrick Demichel
1998, февраль 14 000 074 Sebastian Wedeniwski
1998, март 32 000 213 Sebastian Wedeniwski
1998, июль 64 000 091 Sebastian Wedeniwski
1998, декабрь 128 000 026 Sebastian Wedeniwski
2001, сентябрь 200 001 000 Shigeru Kondo & Xavier Gourdon
2002, февраль 600 001 000 Shigeru Kondo & Xavier Gourdon
2003, февраль 1 000 000 000 Patrick Demichel & Xavier Gourdon
2006, апрель 10 000 000 000 Shigeru Kondo & Steve Pagliarulo
2009, январь 15 510 000 000 Alexander J. Yee & Raymond Chan
2009, март 31 026 000 000 Alexander J. Yee & Raymond Chan
2010, сентябрь 100 000 001 000 Alexander J. Yee
2013, сентябрь 200 000 001 000 Robert J. Setti
2015, август 250 000 000 000 Ron Watkins
2015, декабрь 400 000 000 000 Dipanjan Nag
2017, август 500 000 000 000 Ron Watkins
2019, май 1 000 000 000 000 Ian Cutress
2020, июль 1 200 000 000 000 Seungmin Kim

Другие значения дзета-функции в нечётных точках

Существует много исследований, посвящённых другим значениям дзета-функции Римана в нечётных точках при . В частности, в работах и Тангая Ривоаля показано, что иррациональными является бесконечное множество чисел , а также что по крайней мере одно из чисел , , , или является иррациональным .

Примечания

  1. Simon Plouffe, (HTML) (англ.) , Дата обращения: 8 февраля 2011 от 5 февраля 2008 на Wayback Machine
  2. последовательность в OEIS
  3. Roger Apéry (1979), "Irrationalité de ζ(2) et ζ(3)", Astérisque (фр.) , 61 : 11—13
  4. A. van der Poorten (1979), (PDF) , The Mathematical Intelligencer (англ.) , 1 : 195—203, doi : , Дата обращения: 8 февраля 2011 от 6 июля 2011 на Wayback Machine
  5. Leonhard Euler (1741), (PDF) , Commentarii academiae scientiarum Petropolitanae (лат.) , 8 : 173—204 , Дата обращения: 9 февраля 2011 от 23 июня 2011 на Wayback Machine
  6. Leonhard Euler (translation by Jordan Bell, 2008), (PDF) , arXiv:0806.4096 (англ.) , Дата обращения: 9 февраля 2011 {{ citation }} : Проверьте значение даты: |year= ( справка ) от 28 июня 2021 на Wayback Machine
  7. Leonhard Euler (1773), (PDF) , Novi Commentarii academiae scientiarum Petropolitanae (лат.) , 17 : 173—204 , Дата обращения: 8 февраля 2011 от 17 сентября 2006 на Wayback Machine
  8. H. M. Srivastava (2000), (PDF) , Taiwanese Journal of Mathematics , 4 (4): 569—598, ISSN , (PDF) из оригинала 19 июля 2011 , Дата обращения: 8 февраля 2011 {{ citation }} : Неизвестный параметр |month= игнорируется ( справка ) от 19 июля 2011 на Wayback Machine
  9. Bruce C. Berndt (1989), , Springer-Verlag, ISBN 978-0-387-96794-3 , Дата обращения: 8 февраля 2011 от 17 августа 2010 на Wayback Machine
  10. Simon Plouffe (1998), (HTML) , Дата обращения: 8 февраля 2011 от 30 января 2009 на Wayback Machine
  11. D. J. Broadhurst (1998), (PDF) , arXiv (math.CA/9803067) , Дата обращения: 8 февраля 2011 от 13 июля 2019 на Wayback Machine
  12. Г. М. Фихтенгольц. Курс дифференциального и интегрального исчисления (7-ое изд.), с. 769. Наука, Москва, 1969
  13. Johan Ludwig William Valdemar Jensen. Note numéro 245. Deuxième réponse. Remarques relatives aux réponses du MM. Franel et Kluyver . L’Intermédiaire des mathématiciens, tome II, pp. 346—347, 1895.
  14. F. Beukers A Note on the Irrationality of ζ(2) and ζ(3) . Bull. London Math. Soc. 11, pp. 268—272, 1979.
  15. от 12 декабря 2017 на Wayback Machine от 7 мая 2021 на Wayback Machine
  16. . Дата обращения: 10 августа 2020. 28 ноября 2020 года.
  17. (1979), (PDF) , The Mathematical Intelligencer , 1 (4): 195—203, doi : {{ citation }} : templatestyles stripmarker в |title= на позиции 69 ( справка )
  18. X. Gourdon & P. Sebah, (HTML) , numbers.computation.free.fr , Дата обращения: 8 февраля 2011 от 15 января 2011 на Wayback Machine
  19. Sebastian Wedeniwski (2001), The Value of Zeta(3) to 1,000,000 places , Project Gutenberg {{ citation }} : |access-date= требует |url= ( справка )
  20. Xavier Gourdon & Pascal Sebah (2003), (HTML) , Дата обращения: 8 февраля 2011 от 13 ноября 2008 на Wayback Machine
  21. Alexander J. Yee & Raymond Chan (2009), (HTML) , Дата обращения: 8 февраля 2011 от 9 декабря 2009 на Wayback Machine
  22. Alexander J. Yee (2015), (HTML) , Дата обращения: 24 ноября 2018 от 18 ноября 2018 на Wayback Machine
  23. . Дата обращения: 27 февраля 2021. 17 октября 2020 года.
  24. T. Rivoal (2000), "La fonction zeta de Riemann prend une infnité de valuers irrationnelles aux entiers impairs", Comptes Rendus Acad. Sci. Paris Sér. I Math. , 331 : 267—270
  25. В. В. Зудилин. // УМН . — 2001. — Т. 56 , вып. 4(340) . — С. 149–150 .

Ссылки

  • Ю. И. Манин, А. А. Панчишкин. I.2.4. Диофантовы приближения и иррациональность ζ(3) // . — ВИНИТИ, 1990. — Т. 49. — С. 83—89. — 341 с. — (Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления».).
  • V. Ramaswami (1934), (PDF) , J. London Math. Soc. , 9 : 165—169, doi :
  • Weisstein, Eric W. (англ.) на сайте Wolfram MathWorld .
Источник —

Same as Постоянная Апери