Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Ряд обратных квадратов

Из Википедии — свободной энциклопедии

Ряд обратных квадратов — бесконечный ряд:

Задача нахождения суммы этого ряда долгое время оставалась нерешённой. Поскольку внимание европейских математиков на данную проблему обратил базельский профессор математики Якоб Бернулли (1689 год), в истории она нередко называется «базельской задачей» (или «базельской проблемой»). Первым сумму ряда сумел найти в 1735 году 28-летний Леонард Эйлер, она оказалась равна

(см. последовательность A013661 в OEIS).

Эта сумма встречается во многих других задачах теории чисел[⇨].

Решение данной проблемы (и смежных с ней) не только принесло молодому Эйлеру мировую славу[1], но и оказало значительное влияние на дальнейшее развитие анализа, теории чисел, а впоследствии — комплексного анализа[⇨]. В очередной раз (после открытия ряда Лейбница) число  вышло за пределы геометрии и подтвердило свою универсальность. Наконец, ряд обратных квадратов оказался первым шагом к введению дзета-функции Римана[2]. Начал этот путь сам Эйлер, рассмотрев обобщение ряда обратных квадратов — ряд для произвольной чётной степени s, а также выведя фундаментальное тождество Эйлера[⇨]:

Произведение в правой части берётся по всем простым числам.

История

Впервые рассуждения о ряде обратных квадратов историки обнаружили в диссертации итальянского математика Пьетро Менголи (Novae quadraturae arithmeticae seu de additione fractionum, 1644 год, опубликована в 1650), но тогда задача не вызвала общего интереса. Менголи определил, что ряд сходится, и нашёл сумму первых 10 членов[3]:

Позднее найти сумму ряда безуспешно пытались многие выдающиеся математики, в том числе Лейбниц, Стирлинг, де Муавр, Христиан Гольдбах, братья Якоб и Иоганн Бернулли. Они также вычислили несколько значащих цифр суммы ряда. Гольдбах показал, что сумма заключена в интервале (41/25; 5/3), Стирлинг в трактате «Methodus Differentialis» (1730) сумел вычислить довольно точное значение суммы: 1,644934066, однако никто не мог точно определить, с чем это значение может быть связано[3][4][5].

Леонард Эйлер
Леонард Эйлер

Якоб Бернулли призвал в своей книге «Арифметические предложения о бесконечных рядах» (1689): «Если кому-либо удастся найти то, что до сих пор не поддавалось нашим усилиям, и если он сообщит это нам, то мы будем очень ему обязаны»[2][6]. Но при жизни Якоба Бернулли решение так и не появилось.

Первым успеха добился Эйлер, спустя почти полвека после обращения Бернулли. Скорее всего, о данной проблеме Эйлеру рассказал Иоганн Бернулли, брат Якоба. Эйлер сообщил об открытии в заметке «О суммах обратных рядов» (De summis serierum reciprocarum, 1735 год)[7] для журнала «Commentarii Academiae Scientiarum Imperialis Petropolitanae» Петербургской академии наук. Найденное им значение суммы Эйлер также сообщил письмом своему другу Даниилу Бернулли, сыну Иоганна Бернулли[8]:

Недавно я нашёл, и совсем неожиданно, изящное выражение для суммы ряда, связанного с квадратурой круга… А именно, шестикратная сумма этого ряда равна квадрату периметра круга, диаметр которого 1.

Даниил рассказал отцу, который выразил сомнение в справедливости использованного Эйлером разложения синуса в бесконечное произведение (см. ниже). Поэтому в 1748 году Эйлер более строго обосновал результат в своей монографии «Введение в анализ бесконечно малых» (Introductio in analysin infinitorum, том I, глава X)[9].

Как отмечает Джон Дербишир, второе (после ряда Лейбница) появление числа в неожиданном, совершенно не геометрическом контексте, произвело на математиков XVIII века сильное впечатление[10].

Для контроля Эйлер вычислил вручную сумму ряда с 20 знаками (видимо, используя формулу Эйлера — Маклорена, так как ряд обратных квадратов сходится довольно медленно). Далее он сопоставил сумму со значением используя уже известное в тот период приближённое значение числа , и убедился, что оба значения, в пределах точности счёта, совпадают. Впоследствии (1743) Эйлер опубликовал ещё два разных способа суммирования ряда обратных квадратов[11].

Сходимость ряда

Чтобы убедиться, что ряд обратных квадратов сходится, достаточно доказать, что сходится следующий ряд[12]:

Этот ряд мажорирует ряд обратных квадратов, потому что каждое слагаемое в нём (кроме первого) больше, чем в ряде обратных квадратов. Его можно представить в виде телескопической суммы:

Частичная сумма этого ряда равна поэтому ряд сходится, и его сумма равна 2. Следовательно, по признаку сравнения, и ряд обратных квадратов сходится к некоторому числу в интервале (1, 2)[12].

Для оценки скорости сходимости частичных сумм можно использовать формулу

Сумма в середине формулы представляет собой разность ряда и его -й частичной суммы, то есть абсолютную погрешность частичной суммы. Из формулы видно, что сходимость ряда довольно медленная — тысяча первых членов ряда () дают погрешность порядка , то есть в третьем десятичном знаке. Чтобы получить 6 верных знаков, понадобится сложить миллион членов ряда[13].

В 1988 году Рой Норт (Roy D. North) из Колорадо-Спрингс подсчитал на компьютере сумму миллиона членов ряда обратных квадратов и обнаружил странную закономерность — шестой знак после запятой, как и следовало ожидать, ошибочен, но следующие за ним 6 цифр верны. Далее один знак ошибочен, а после него пять цифр снова верны:

Полная сумма ряда () 1,644934066848226436472415166646025189218949901…
Частичная сумма миллиона членов 1,644933066848726436305748499979391855885616544…
Погрешность 0,000000999999500000166666666666633333333333357…

Данная погрешность может быть представлена в виде суммы

в которой коэффициентами при степенях 10 выступают числа Бернулли[13]. Доказательство этого факта можно найти в статье Борвейна, Борвейна и Дилчера 1989 года[14].

Первый метод Эйлера для нахождения суммы ряда

К концу XVII века, благодаря работам Ньютона и других математиков, было известно разложение в ряд функции синуса:

Эйлер сумел получить другое разложение синуса — не в сумму, а в бесконечное произведение[15]:

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

(1)

Поскольку это тождество выполняется при всех коэффициенты при в обеих его частях должны быть равны:

Умножив обе части равенства на можно окончательно получить[16]:

Изложенный метод основан на разложении синуса в бесконечное произведение, однако Эйлер не дал этому разложению должного обоснования, ограничившись ссылкой на то, что и левая, и правая части, рассматриваемые как многочлены, имеют одни и те же корни: Иоганн и Даниил Бернулли указали на некорректность такого вывода, поскольку он применим только к многочленам конечной степени, а не к бесконечным рядам. В связи с этим Эйлер опубликовал ещё несколько способов суммирования, обоснованных более строго и приводящих к тому же результату[11]. Тем не менее указанное разложение оказалось верным и было впоследствии доказано[17].

Второй метод Эйлера

В 1741 году Эйлер учёл указанную выше критику своего первоначального метода и опубликовал другой метод суммирования, основанный на интегрировании рядов[18]. Для этого рассматривается интеграл вида

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

Этот ряд сходится равномерно, и его можно интегрировать почленно:

Первый интеграл равен , а второй после подстановки оказывается равен отсюда:

Эта сумма содержит обратные квадраты нечётных чисел. Требуемая же сумма ряда обратных квадратов состоит из двух частей, первая из которых равна а вторая содержит обратные квадраты чётных чисел:

То есть откуда

Альтернативные способы нахождения суммы

Ряд Фурье

Один из простейших методов получения данной суммы — использование аппарата разложения в ряд Фурье функции . Для чётной функции это разложение имеет вид[19]

Коэффициенты вычисляются по стандартным формулам:

В итоге разложение приобретает вид[19]

Подстановка в эту формулу значения даёт результат

или

Окончательный результат получается[19] при делении обеих сторон на 4.

Если же вместо подставить получится знакочередующаяся сумма:

Другой путь к решению задачи через Фурье-анализ — использовать равенство Парсеваля для функции

Метод разложения гиперболического котангенса

Данный способ позволяет найти суммы для всех рядов обратных чётных степеней:

Он основан на двух формулах разложения гиперболического котангенса. Первая[20] справедлива при :

Вторая формула[21] связывает гиперболический котангенс с числами Бернулли :

Приравнивание коэффициентов при одинаковых степенях даёт формулу для связи сумм рядов с числами Бернулли:

В частности, исходный результат получается при рассмотрении с учётом

Другие подходы

В статье К. П. Кохася[16] приводится несколько различных способов суммирования ряда: через интегралы, комплексные вычеты, гамма-функцию, разложение арксинуса или котангенса, возведение в квадрат ряда Лейбница. Ещё одна коллекция методов суммирования изложена в статье Чепмена[22].

Интересное физико-геометрическое представление суммирования ряда обратных квадратов изложено в статье Йохана Вестлунда[23] и в видеолекции на ютуб-канале 3Blue1Brown[24].

Вариации и обобщения

Исходя из формулы (1), Эйлер рассчитал суммы не только для ряда обратных квадратов, но и для рядов из других чётных степеней, вплоть до 26-й, например[2]:

и т. д. Эйлер также выяснил, что суммы таких рядов связаны с числами Бернулли следующим образом[9]:

Эйлер просуммировал и модификацию ряда обратных квадратов, содержащую (в знаменателях) квадраты или иные чётные степени нечётных чисел[25]; суммы рядов оказались также связаны с числом

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

Если рассматривать показатель степени в общем ряде обратных степеней как переменную (не обязательно целочисленную), то получится дзета-функция Римана, играющая огромную роль в анализе и теории чисел:

Таким образом, сумма ряда обратных квадратов есть

Первые исследования свойств дзета-функции выполнил Эйлер. В 1748 году он опубликовал монографию «Введение в анализ бесконечно малых», где доказал «тождество Эйлера»[26]:

где произведение берётся по всем простым числам Это равенство сыграло большую роль в развитии аналитической теории чисел, на него опирались исследования Чебышёва и Римана по распределению простых чисел в натуральном ряду. В 1859 году появилась глубокая работа Римана, которая расширила определение дзета-функции на комплексную область. Риман детально рассмотрел связь дзета-функции с распределением простых чисел[26].

В 1768 году Эйлер предложил ещё одно обобщение ряда обратных квадратов — дилогарифм Эйлера[27]:

Некоторые применения

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

Сумма делителей натурального числа растёт в среднем[28] как линейная функция .

Вероятность того, что два случайным образом выбранных натуральных числа в интервале от 1 до окажутся взаимно простыми, с ростом стремится к Другими словами, средняя плотность взаимно простых чисел в числовом ряду[29] равна

Пусть — количество свободных от квадратов натуральных чисел в промежутке от 1 до Для него имеет место приближённая формула[30][31][32]

Накопленная функция Эйлера[en]

где  — функция Эйлера, имеет следующую асимптотику[33]:

Примечания

  1. Стюарт, Иэн. Невероятные числа профессора Стюарта = Professor Stewart's incredible numbers. — М.: Альпина нон-фикшн, 2016. — С. 222—223. — 422 с. — ISBN 978-5-91671-530-9.
  2. 1 2 3 4 Дербишир, 2010, с. 90—92, 103—109.
  3. 1 2 Sofo, Anthony. The Basel Problem with an Extension. Дата обращения: 3 августа 2020.
  4. Leonhard Euler biography. Дата обращения: 16 апреля 2016.
  5. Euler et le problème de Bâle. Дата обращения: 5 августа 2020.
  6. Пойа Д. Математика и правдоподобные рассуждения. — Изд. 2-е, исправленное. — М.: Наука, 1975. — С. 40.
  7. Leonhard Euler. De summis serierum reciprocarum. Дата обращения: 17 апреля 2016.
  8. Наварро, Хоакин. До предела чисел. Дата обращения: 10 августа 2016.
  9. 1 2 История математики, том III, 1972, с. 337.
  10. Дербишир, 2010, с. 92.
  11. 1 2 Вилейтнер Г. История математики от Декарта до середины XIX столетия. — М.: ГИФМЛ, 1960. — С. 143—144. — 468 с.
  12. 1 2 Воробьёв Н. Н. Теория рядов. — 4-е изд. — М.: Наука, 1979. — С. 52. — 408 с. — (Избранные главы высшей математики для инженеров и студентов втузов).
  13. 1 2 Айгнер, Циглер, 2006, с. 49.
  14. Borwein, Borwein, Dilcher, 1989
  15. Антонио Дуран, 2014, с. 109—114.
  16. 1 2 Кохась К. П., 2004.
  17. Фихтенгольц Г. М., 1966, с. 374—376.
  18. Фихтенгольц Г. М., 1966, с. 671.
  19. 1 2 3 Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — Изд. 3-е. — М.: Наука, 1963. — Т. III. — С. 443, 451. — 656 с.
  20. Фихтенгольц Г. М., 1966, с. 484.
  21. Фихтенгольц Г. М., 1966, с. 495—496.
  22. Robin Chapman.
  23. Wästlund, Johan. Summing inverse squares by euclidean geometry.
  24. Why is pi here? And why is it squared? A geometric answer to the Basel problem на YouTube
  25. Жуков А. В. Вездесущее число «пи». — 2-е изд. — М.: Издательство ЛКИ, 2007. — С. 145. — 216 с. — ISBN 978-5-382-00174-6.
  26. 1 2 Отрадных Ф. П. Математика XVIII века и академик Леонард Эйлер. — М.: Советская наука, 1954. — С. 33. — 39 с.
  27. Leonhard Euler, Institutiones calculi integrals
  28. Арнольд В. И. Динамика, статистика и проективная геометрия полей Галуа. — М.: МЦНМО, 2005. — С. 70. — 72 с.
  29. Cohen E. Arithmetical functions associated with arbitrary sets of integers (англ.) // Acta Arithmetica. — 1959. — Vol. 5. — P. 407—415. (см. также замечание к статье: Errata. Замечание касается «Corollary 3.3» на с. 413).
  30. Jia C.-H. The distribution of square-free numbers (англ.) // Science in China. Series A — Mathematics, Physics, Astronomy & Technological Science. — 1993. — Vol. 36, iss. 2. — P. 154—169. — doi:10.1360/ya1993-36-2-154. Открытый доступ
  31. Pappalardi F. A Survey on k-freeness // Number Theory. Proceeding of the Conference in Analytic Number Theory in Honor of Prof. Subbarao (англ.) / Vol. Eds.: S. D. Adhikari, R. Balasubramanian, K. Srinivas. — Mysore: Ramanujan Mathematical Society, 2002. — P. 77—88. — 161 p. — (Lecture Notes Series: Number 1). — ISBN 9788190254510.
  32. Sinha K. Average orders of certain arithmetical functions (англ.) // Journal of the Ramanujan Mathematical Society. — 2006. — Vol. 21, iss. 3. — P. 267—277.
  33. Weisstein, Eric W. Totient Summatory Function (англ.) на сайте Wolfram MathWorld.

Литература

Ссылки

Эта страница в последний раз была отредактирована 7 сентября 2021 в 02:21.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).