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

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

$\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\frac{1}{5^2}+\dots <!--\; \dots \; -->$${\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}+\dots$

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

$\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{6}\approx <!--\; \approx \; -->\mathrm{1,644}9340668482264364724151666460251892189499012067984377355582293\dots <!--\; \dots \; -->$${\frac {\pi ^{2}}{6}}\approx 1{,}6449340668482264364724151666460251892189499012067984377355582293\dots$

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

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

Решение данной проблемы (и смежных с ней) не только принесло молодому Эйлеру мировую славу, но и оказало значительное влияние на дальнейшее развитие анализа, теории чисел, а впоследствии — комплексного анализа^[⇨]. В очередной раз (после открытия ряда Лейбница) число $\mathrm{\pi <!--\; \pi \; -->}$$\pi$ вышло за пределы геометрии и подтвердило свою универсальность. Наконец, ряд обратных квадратов оказался первым шагом к введению дзета-функции Римана. Начал этот путь сам Эйлер, рассмотрев обобщение ряда обратных квадратов — ряд для произвольной чётной степени s, а также выведя фундаментальное тождество Эйлера^[⇨]:

$\frac{1}{1^s}+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\cdots <!--\; \cdots \; -->=\frac{1}{1-<!--\; -\; -->2^{-<!--\; -\; -->s}}\cdot <!--\; \cdot \; -->\frac{1}{1-<!--\; -\; -->3^{-<!--\; -\; -->s}}\cdot <!--\; \cdot \; -->\frac{1}{1-<!--\; -\; -->5^{-<!--\; -\; -->s}}\cdot <!--\; \cdot \; -->\frac{1}{1-<!--\; -\; -->7^{-<!--\; -\; -->s}}\cdot <!--\; \cdot \; -->\frac{1}{1-<!--\; -\; -->{11}^{-<!--\; -\; -->s}}\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->$${\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+{\frac {1}{4^{s}}}+\dots ={\frac {1}{1-2^{-s}}}\cdot {\frac {1}{1-3^{-s}}}\cdot {\frac {1}{1-5^{-s}}}\cdot {\frac {1}{1-7^{-s}}}\cdot {\frac {1}{1-11^{-s}}}\cdot \dots$

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

Формула суммы ряда обратных квадратов на серебряной монете Банка России 2007 года, посвящённой 300-летию со дня рождения Леонарда Эйлера

ИсторияПравить

 

Пьетро Менголи

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

$\frac{1968329}{1270080}\approx <!--\; \approx \; -->\mathrm{1,549}77.$${\frac {1968329}{1270080}}\approx 1{,}54977.$ 

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

 

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

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

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

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

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

Как отмечает Джон Дербишир, второе (после ряда Лейбница) появление числа $\mathrm{\pi <!--\; \pi \; -->}$$\pi$  в неожиданном, совершенно не геометрическом контексте, произвело на математиков XVIII века сильное впечатление.

Для контроля Эйлер вычислил вручную сумму ряда с 20 знаками (видимо, используя формулу Эйлера — Маклорена, так как ряд обратных квадратов сходится довольно медленно). Далее он сопоставил сумму со значением $\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{6},$${\frac {\pi ^{2}}{6}},$  используя уже известное в тот период приближённое значение числа $\mathrm{\pi <!--\; \pi \; -->}$$\pi$ , и убедился, что оба значения, в пределах точности счёта, совпадают. Впоследствии (1743) Эйлер опубликовал ещё два разных способа суммирования ряда обратных квадратов.

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

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

$1+\frac{1}{1\cdot <!--\; \cdot \; -->2}+\frac{1}{2\cdot <!--\; \cdot \; -->3}+\frac{1}{3\cdot <!--\; \cdot \; -->4}+\frac{1}{4\cdot <!--\; \cdot \; -->5}+\dots <!--\; \dots \; -->$$1+{\frac {1}{1\cdot 2}}+{\frac {1}{2\cdot 3}}+{\frac {1}{3\cdot 4}}+{\frac {1}{4\cdot 5}}+\dots$ 

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

$1+\left(1-<!--\; -\; -->\frac{1}{2}\right)+\left(\frac{1}{2}-<!--\; -\; -->\frac{1}{3}\right)+\left(\frac{1}{3}-<!--\; -\; -->\frac{1}{4}\right)+\dots <!--\; \dots \; -->$$1+\left(1-{\frac {1}{2}}\right)+\left({\frac {1}{2}}-{\frac {1}{3}}\right)+\left({\frac {1}{3}}-{\frac {1}{4}}\right)+\dots$ 

Частичная сумма $S_n$$S_{n}$  этого ряда равна $2-<!--\; -\; -->\frac{1}{n},$$2-{1 \over n},$  поэтому ряд сходится, и его сумма равна 2. Следовательно, по признаку сравнения, и ряд обратных квадратов сходится к некоторому числу в интервале (1, 2).

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

${\frac {1}{m+1}}=\int \limits _{m+1}^{\infty }{{\frac {1}{t^{2}}}dt}<\sum _{n=m+1}^{\mathcal {\infty }}{\frac {1}{n^{2}}}<\int \limits _{m}^{\infty }{{\frac {1}{t^{2}}}dt}={\frac {1}{m}}.$ 

Сумма в середине формулы представляет собой разность ряда и его $m$$m$ -й частичной суммы, то есть абсолютную погрешность частичной суммы. Из формулы видно, что сходимость ряда довольно медленная — тысяча первых членов ряда ($m=1000$$m=1000$ ) дают погрешность порядка ${10}^{-<!--\; -\; -->3}$$10^{-3}$ , то есть в третьем десятичном знаке. Чтобы получить 6 верных знаков, понадобится сложить миллион членов ряда.

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

Полная сумма ряда (${\mathrm{\pi <!--\; \pi \; -->}}^2/6$$\pi ^{2}/6$ )	1,644934066848226436472415166646025189218949901…
Частичная сумма миллиона членов	1,644933066848726436305748499979391855885616544…
Погрешность	0,000000999999500000166666666666633333333333357…

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

${10}^{-<!--\; -\; -->6}-<!--\; -\; -->\frac{1}{2}{10}^{-<!--\; -\; -->12}+\frac{1}{6}{10}^{-<!--\; -\; -->18}-<!--\; -\; -->\frac{1}{30}{10}^{-<!--\; -\; -->30}+\frac{1}{42}{10}^{-<!--\; -\; -->42}+\dots <!--\; \dots \; -->,$$10^{-6}-{\frac {1}{2}}10^{-12}+{\frac {1}{6}}10^{-18}-{\frac {1}{30}}10^{-30}+{\frac {1}{42}}10^{-42}+\dots \,,$ 

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

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

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

$\sin <!--\; \; -->x=x-<!--\; -\; -->\frac{x^3}{3!}+\frac{x^5}{5!}-<!--\; -\; -->\frac{x^7}{7!}+\dots <!--\; \dots \; -->$$\sin x=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\dots$ 

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

$\sin <!--\; \; -->x=x\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{4{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{9{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{16{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\dots <!--\; \dots \; -->$$\sin x=x\cdot \left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{16\pi ^{2}}}\right)\cdot \dots$ 

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

$\left(1-<!--\; -\; -->\frac{x^2}{{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{4{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{9{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\left(1-<!--\; -\; -->\frac{x^2}{16{\mathrm{\pi <!--\; \pi \; -->}}^2}\right)\cdot <!--\; \cdot \; -->\cdots <!--\; \cdots \; -->=1-<!--\; -\; -->\frac{x^2}{3!}+\frac{x^4}{5!}-<!--\; -\; -->\frac{x^6}{7!}+\dots <!--\; \dots \; -->$$\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdot \left(1-{\frac {x^{2}}{16\pi ^{2}}}\right)\cdot \dots =1-{\frac {x^{2}}{3!}}+{\frac {x^{4}}{5!}}-{\frac {x^{6}}{7!}}+\dots$

(1)

Поскольку это тождество выполняется при всех $x,$$x,$  коэффициенты при $x^2$$x^{2}$  в обеих его частях должны быть равны:

$-<!--\; -\; -->\frac{1}{{\mathrm{\pi <!--\; \pi \; -->}}^2}-<!--\; -\; -->\frac{1}{4{\mathrm{\pi <!--\; \pi \; -->}}^2}-<!--\; -\; -->\frac{1}{9{\mathrm{\pi <!--\; \pi \; -->}}^2}-<!--\; -\; -->\frac{1}{16{\mathrm{\pi <!--\; \pi \; -->}}^2}-<!--\; -\; -->\cdots <!--\; \cdots \; -->=-<!--\; -\; -->\frac{1}{6}.$$-{\frac {1}{\pi ^{2}}}-{\frac {1}{4\pi ^{2}}}-{\frac {1}{9\pi ^{2}}}-{\frac {1}{16\pi ^{2}}}-\dots =-{\frac {1}{6}}.$ 

Умножив обе части равенства на $-<!--\; -\; -->{\mathrm{\pi <!--\; \pi \; -->}}^2,$$-\pi ^{2},$  можно окончательно получить:

$\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\frac{1}{5^2}+\cdots <!--\; \cdots \; -->=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{6}.$${\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}+\dots ={\frac {\pi ^{2}}{6}}.$ 

Изложенный метод основан на разложении синуса в бесконечное произведение, однако Эйлер не дал этому разложению должного обоснования, ограничившись ссылкой на то, что и левая, и правая части, рассматриваемые как многочлены, имеют одни и те же корни: $0,\pm <!--\; \pm \; -->\mathrm{\pi <!--\; \pi \; -->},\pm <!--\; \pm \; -->2\mathrm{\pi <!--\; \pi \; -->},\pm <!--\; \pm \; -->3\mathrm{\pi <!--\; \pi \; -->},\pm <!--\; \pm \; -->4\mathrm{\pi <!--\; \pi \; -->}\dots <!--\; \dots \; -->$$0,\pm \pi ,\pm 2\pi ,\pm 3\pi ,\pm 4\pi \dots$  Иоганн и Даниил Бернулли указали на некорректность такого вывода, поскольку он применим только к многочленам конечной степени, а не к бесконечным рядам. В связи с этим Эйлер опубликовал ещё несколько способов суммирования, обоснованных более строго и приводящих к тому же результату. Тем не менее указанное разложение оказалось верным и было впоследствии доказано.

Второй метод ЭйлераПравить

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

$E=\underset{0}{\overset{1}{\int <!--\; \int \; -->}}\frac{\arcsin <!--\; \; -->x}{\sqrt{1-<!--\; -\; -->x^2}}dx=\underset{0}{\overset{1}{\int <!--\; \int \; -->}}\arcsin <!--\; \; -->xd\arcsin <!--\; \; -->x=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{8}.$$E=\int \limits _{0}^{1}{{\frac {\arcsin x}{\sqrt {1-x^{2}}}}\ dx}=\int \limits _{0}^{1}{\arcsin x\ d\arcsin x}={\frac {\pi ^{2}}{8}}.$ 

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

$\arcsin <!--\; \; -->x=x+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{(2n-<!--\; -\; -->1)!!}{(2n)!!}\cdot <!--\; \cdot \; -->\frac{x^{2n+1}}{2n+1}.$$\arcsin x=x+\sum _{n=1}^{\infty }{\frac {(2n-1)!!}{(2n)!!}}\cdot {\frac {x^{2n+1}}{2n+1}}.$ 

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

$E=\underset{0}{\overset{1}{\int <!--\; \int \; -->}}\frac{x}{\sqrt{1-<!--\; -\; -->x^2}}dx+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{(2n-<!--\; -\; -->1)!!}{(2n)!!(2n+1)}\underset{0}{\overset{1}{\int <!--\; \int \; -->}}\frac{x^{2n+1}}{\sqrt{1-<!--\; -\; -->x^2}}dx.$$E=\int \limits _{0}^{1}{\frac {x}{\sqrt {1-x^{2}}}}\ dx+\sum _{n=1}^{\infty }{\frac {(2n-1)!!}{(2n)!!(2n+1)}}\int \limits _{0}^{1}{\frac {x^{2n+1}}{\sqrt {1-x^{2}}}}\ dx.$ 

Первый интеграл равен $1$$1$ , а второй после подстановки $x=\sin <!--\; \; -->t$$x=\sin t$  оказывается равен $\frac{(2n)!!}{(2n+1)!!},$${\textstyle {\frac {(2n)!!}{(2n+1)!!}},}$  отсюда:

$E=1+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{(2n+1{)}^2}=\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{(2n-<!--\; -\; -->1{)}^2}.$$E=1+\sum _{n=1}^{\infty }{\frac {1}{(2n+1)^{2}}}=\sum _{n=1}^{\infty }{\frac {1}{(2n-1)^{2}}}.$ 

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

$S=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\frac{1}{4^2}+\cdots <!--\; \cdots \; -->=E+\frac{1}{2^2}+\frac{1}{4^2}+\frac{1}{6^2}+\cdots <!--\; \cdots \; -->=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{8}+\frac{1}{4}S.$$S={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\dots =E+{\frac {1}{2^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{6^{2}}}+\dots ={\frac {\pi ^{2}}{8}}+{1 \over 4}S.$ 

То есть $\frac{3}{4}S=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{8},$${3 \over 4}S={\frac {\pi ^{2}}{8}},$  откуда $S=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{6}.$$S={\frac {\pi ^{2}}{6}}.$ 

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

Ряд ФурьеПравить

Один из простейших методов получения данной суммы — использование аппарата разложения в ряд Фурье функции $f(x)=x^2$$f(x)=x^{2}$ . Для чётной функции это разложение имеет вид

$f(x)=a_0+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{a}_n\cos <!--\; \; -->nx.$$f(x)=a_{0}+\sum _{n=1}^{\infty }a_{n}\cos nx.$ 

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

$a_0=\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->\mathrm{\pi <!--\; \pi \; -->}}{\overset{\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}{x}^{2}dx=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{3};a_n=\frac{1}{\mathrm{\pi <!--\; \pi \; -->}}\underset{-<!--\; -\; -->\mathrm{\pi <!--\; \pi \; -->}}{\overset{\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}{x}^2\cos <!--\; \; -->(nx)dx=(-<!--\; -\; -->1{)}^n\frac{4}{n^2}.$$a_{0}={\frac {1}{2\pi }}\int \limits _{-\pi }^{\pi }x^{2}dx={\pi ^{2} \over 3};\quad a_{n}={\frac {1}{\pi }}\int \limits _{-\pi }^{\pi }x^{2}\cos(nx)dx=(-1)^{n}{\frac {4}{n^{2}}}.$ 

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

$x^2=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{3}+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^n\frac{4\cos <!--\; \; -->(nx)}{n^2}.$$x^{2}={\pi ^{2} \over 3}+\sum _{n=1}^{\infty }(-1)^{n}{\frac {4\cos(nx)}{n^{2}}}.$ 

Подстановка в эту формулу значения $x=\mathrm{\pi <!--\; \pi \; -->}$$x=\pi$  даёт результат

${\mathrm{\pi <!--\; \pi \; -->}}^2=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{3}+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^n\frac{4(-<!--\; -\; -->1{)}^n}{n^2},$$\pi ^{2}={\pi ^{2} \over 3}+\sum _{n=1}^{\infty }(-1)^{n}{\frac {4(-1)^{n}}{n^{2}}},$ 

или

$\frac{2}{3}{\mathrm{\pi <!--\; \pi \; -->}}^2=4\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{n^2}.$${2 \over 3}\pi ^{2}=4\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}.$ 

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

Если же вместо $x=\mathrm{\pi <!--\; \pi \; -->}$$x=\pi$  подставить $x=0,$$x=0,$  получится знакочередующаяся сумма:

$\frac{1}{1^2}-<!--\; -\; -->\frac{1}{2^2}+\frac{1}{3^2}-<!--\; -\; -->\frac{1}{4^2}+\frac{1}{5^2}-<!--\; -\; -->\cdots <!--\; \cdots \; -->=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^2}{12}.$${\frac {1}{1^{2}}}-{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}-{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}-\dots ={\pi ^{2} \over 12}.$ 

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

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

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

$S_{2n}=\underset{m=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{m^{2n}}.$$S_{2n}=\sum _{m=1}^{\infty }{\frac {1}{m^{2n}}}.$ 

Он основан на двух формулах разложения гиперболического котангенса. Первая справедлива при $|x|<1$ :

$\mathrm{\pi <!--\; \pi \; -->}x\cdot <!--\; \cdot \; -->\mathrm{cth}<!--\; \; -->(\mathrm{\pi <!--\; \pi \; -->}x)=1+2\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}(-<!--\; -\; -->1{)}^{n-<!--\; -\; -->1}{S}_{2n}{x}^{2n}.$$\pi x\cdot \operatorname {cth} (\pi x)=1+2\sum _{n=1}^{\infty }(-1)^{n-1}S_{2n}x^{2n}.$ 

Вторая формула связывает гиперболический котангенс с числами Бернулли $B_n$$B_{n}$ :

$\mathrm{\pi <!--\; \pi \; -->}x\cdot <!--\; \cdot \; -->\mathrm{cth}<!--\; \; -->(\mathrm{\pi <!--\; \pi \; -->}x)=1+\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{(2\mathrm{\pi <!--\; \pi \; -->}{)}^{2n}{B}_n}{(2n)!}{x}^{2n}$$\pi x\cdot \operatorname {cth} (\pi x)=1+\sum _{n=1}^{\infty }{\frac {(2\pi )^{2n}B_{n}}{(2n)!}}x^{2n}$ 

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

$B_n=(-<!--\; -\; -->1{)}^{n-<!--\; -\; -->1}\frac{2(2n)!}{(2\mathrm{\pi <!--\; \pi \; -->}{)}^{2n}}{S}_{2n}.$$B_{n}=(-1)^{n-1}{\frac {2(2n)!}{(2\pi )^{2n}}}S_{2n}.$ 

В частности, исходный результат получается при рассмотрении $n=1$$n=1$  с учётом $B_1=\frac{1}{6}.$${\textstyle B_{1}={1 \over 6}.}$ 

Другие подходыПравить

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

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

Вариации и обобщенияПравить

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

$\frac{1}{1^4}+\frac{1}{2^4}+\frac{1}{3^4}+\frac{1}{4^4}+\frac{1}{5^4}+\cdots <!--\; \cdots \; -->=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^4}{90},$${\frac {1}{1^{4}}}+{\frac {1}{2^{4}}}+{\frac {1}{3^{4}}}+{\frac {1}{4^{4}}}+{\frac {1}{5^{4}}}+\dots ={\frac {\pi ^{4}}{90}},$ 

$\frac{1}{1^6}+\frac{1}{2^6}+\frac{1}{3^6}+\frac{1}{4^6}+\frac{1}{5^6}+\cdots <!--\; \cdots \; -->=\frac{{\mathrm{\pi <!--\; \pi \; -->}}^6}{945}$${\frac {1}{1^{6}}}+{\frac {1}{2^{6}}}+{\frac {1}{3^{6}}}+{\frac {1}{4^{6}}}+{\frac {1}{5^{6}}}+\dots ={\frac {\pi ^{6}}{945}}$ 

и т. д. Эйлер также выяснил, что суммы таких рядов связаны с числами Бернулли $B_n$$B_{{n}}$  следующим образом:

$S_{2k}=(-<!--\; -\; -->1{)}^{k-<!--\; -\; -->1}\frac{(2\mathrm{\pi <!--\; \pi \; -->}{)}^{2k}}{2(2k)!}{B}_{2k}.$$S_{2k}=(-1)^{k-1}{\frac {(2\pi )^{2k}}{2(2k)!}}B_{2k}.$ 

Эйлер просуммировал и модификацию ряда обратных квадратов, содержащую (в знаменателях) квадраты или иные чётные степени нечётных чисел; суммы рядов оказались также связаны с числом $\mathrm{\pi <!--\; \pi \; -->}.$$\pi.$ 

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

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

$\mathrm{\zeta <!--\; \zeta \; -->}(s)=\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{n^s}.$$\zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.$ 

Таким образом, сумма ряда обратных квадратов есть $\mathrm{\zeta <!--\; \zeta \; -->}(2).$$\zeta (2).$ 

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

$\underset{n=1}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\frac{1}{n^s}=\underset{p}{\prod <!--\; \prod \; -->}\frac{1}{1-<!--\; -\; -->p^{-<!--\; -\; -->s}},$$\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}{1-p^{-s}}},$ 

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

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

${\mathrm{Li}}_2<!--\; \; -->(x)=-<!--\; -\; -->{\int <!--\; \int \; -->}_0^x\frac{\ln <!--\; \; -->(1-<!--\; -\; -->t)}{t}\mathrm{d}t=\frac{x^1}{1^2}+\frac{x^2}{2^2}+\frac{x^3}{3^2}+\dots <!--\; \dots \; -->$$\operatorname {Li} _{2}(x)=-\int _{0}^{x}{\frac {\ln(1-t)}{t}}\,\mathrm {d} t={\frac {x^{1}}{1^{2}}}+{\frac {x^{2}}{2^{2}}}+{\frac {x^{3}}{3^{2}}}+\dots$ 

Некоторые примененияПравить

См. также: Дзета-функция Римана § ζ(2)

Сумма ряда обратных квадратов, она же $\mathrm{\zeta <!--\; \zeta \; -->}(2),$$\zeta (2),$  появляется во многих задачах теории чисел.

Сумма делителей натурального числа $N$$N$  растёт в среднем как линейная функция $\mathrm{\zeta <!--\; \zeta \; -->}(2)\cdot <!--\; \cdot \; -->N$$\zeta (2)\cdot N$ .

Вероятность того, что два случайным образом выбранных натуральных числа в интервале от 1 до $N$$N$  окажутся взаимно простыми, с ростом $N$$N$  стремится к $1/\mathrm{\zeta <!--\; \zeta \; -->}(2).$${\textstyle 1/\zeta (2).}$  Другими словами, средняя плотность взаимно простых чисел в числовом ряду равна $1/\mathrm{\zeta <!--\; \zeta \; -->}(2).$${\textstyle 1/\zeta (2).}$ 

Пусть $Q(x)$$Q(x)$  — количество свободных от квадратов натуральных чисел в промежутке от 1 до $x.$$x.$  Для него имеет место приближённая формула

$Q(x)\approx <!--\; \approx \; -->\frac{x}{\mathrm{\zeta <!--\; \zeta \; -->}(2)}$$Q(x)\approx {\frac {x}{\zeta (2)}}$ 

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

$\mathrm{\Phi <!--\; \Phi \; -->}(n):=\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}\mathrm{\phi <!--\; \phi \; -->}(k),n\in <!--\; \in \; -->\mathbf{N},$$\Phi (n):=\sum _{k=1}^{n}\varphi (k),\quad n\in \mathbf {N} ,$ 

где $\mathrm{\phi <!--\; \phi \; -->}(n)$$\varphi (n)$  — функция Эйлера, имеет следующую асимптотику:

$\mathrm{\Phi <!--\; \Phi \; -->}(n)\sim <!--\; \sim \; -->\frac{1}{2\mathrm{\zeta <!--\; \zeta \; -->}(2)}\cdot <!--\; \cdot \; -->n^2+O\left(n\log <!--\; \; -->n\right).$$\Phi (n)\sim {\frac {1}{2\zeta (2)}}\cdot n^{2}+O\left(n\log n\right).$ 

ЛитератураПравить

• Айгнер М., Циглер Г. Доказательства из Книги. Лучшие доказательства со времён Евклида до наших дней. — М.: Мир, 2006. — С. 49. — 256 с. — ISBN 5-03-003690-3.
• Дербишир, Джон. Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. — Астрель, 2010. — С. 90—92, 103—109. — 464 с. — ISBN 978-5-271-25422-2.
• Дуран, Антонио. Поэзия чисел. Прекрасное и математика. — М.: Де Агостини, 2014. — 160 с. — (Мир математики: в 45 томах, том 27). — ISBN 978-5-9774-0722-9.
• Математика XVIII столетия // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1972. — Т. III.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — изд. 6-е. — М.: Наука, 1966. — Т. II. — С. 461—462, 490, 496, 671. — 800 с. — ISBN 5-9221-0155-2.
• Borwein J. М., Borwein P. В., Dilcher K. Pi, Euler numbers, and asymptotic expansions // Amer. Math. Monthly. — 1989. — № 96. — P. 681—687.

СсылкиПравить

• Кохась К. П. Сумма обратных квадратов // Математическое просвещение. — 2004. — Вып. 8. — С. 142–163.
• Соболевский А., доктор физ.-мат. наук (ИППИ РАН). Вокруг Базельской задачи: Бернулли, Эйлер, Риман  (неопр.) (2014). — видеолекция. Дата обращения: 24 мая 2016.
• Chapman, Robin. Evaluating ζ(2) (англ.) (1999). Дата обращения: 17 апреля 2016.
• Pengelley D. J. Dances between continuous and discrete: Euler's summation formula (англ.). Euler 2K+2 conference, Rumford, Maine (2002). Дата обращения: 17 апреля 2016. Архивировано из оригинала 9 августа 2017 года.
• Weisstein E. W. Riemann Zeta Function zeta(2) (англ.). MathWorld — A Wolfram Web Resource. Дата обращения: 17 апреля 2016.