Стала Апері

Шаблон:UniboxСта́ла Апері́ (Шаблон:Lang-en, Шаблон:Lang-fr) — дійсне число, що позначається $\zeta (3)$ (іноді ${\zeta }_3$), яке дорівнює сумі обернених до кубів цілих додатних чисел і, отже, є частковим значенням дзета-функції Рімана:

$\zeta (3)=\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3}=\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\frac{1}{4^3}+\dots$.

Чисельне значення сталої виражається нескінченним неперіодичним десятковим дробом:

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

Названа на честь Роже Апері, який довів 1978 року, що $\zeta (3)$ є ірраціональним числом (Шаблон:Не перекладено). Початкове доведення мало складний технічний характер, пізніше знайдено простий варіант доведення з використанням многочленів Лежандра. Невідомо, чи є стала Апері трансцендентним числом.

Ця стала давно приваблювала математиків — ще 1735 році Леонард Ейлер обчислив її з точністю до 16 значущих цифр (+1,202056903159594).

Застосування в математиці і фізиці

Двопетльова діаграма Фейнмана, результат для якої містить $\zeta (3)$

У математиці стала Апері зустрічається у багатьох застосуваннях. Зокрема, величина, обернена до $\zeta (3)$, дає ймовірність того, що будь-які три випадковим чином вибраних додатних цілих числа будуть взаємно простими — в тому сенсі, що при $N\to \mathrm{\infty }$ ймовірність того, що три додатних цілих числа, менших, ніж $N$ (і вибраних випадковим чином) будуть взаємно простими, прямує до $1/\zeta (3)$.

Стала Апері природним чином виникає в низці задач фізики, зокрема в поправках другого (і вище) порядків до аномального магнітного моменту електрона в квантовій електродинаміці. Наприклад, результат для двопетльової діаграми Фейнмана, зображеної на малюнку, дає $6\zeta (3)$ (тут мається на увазі 4-вимірне інтегрування за імпульсами внутрішніх петель, що містять тільки безмасові віртуальні частинки, а також відповідне нормування, включно зі степенем імпульсу зовнішньої частки $k$). Інший приклад — двовимірна модель Дебая.

Зв'язок з іншими функціями

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

$\zeta (3)=-\frac{1}{2}{\psi }^{(2)}(1)$

і з'являється в розкладі гамма-функції в ряд Тейлора:

$\mathrm{\Gamma }(1+\epsilon )=e^{-\gamma \epsilon }[1+\frac{1}{12}{\pi }^2{\epsilon }^2-\frac{1}{3}\zeta (3){\epsilon }^3+O({\epsilon }^4)]$ ,

де у вигляді $e^{-\gamma \epsilon }$ факторизуються внески, що містять сталу Ейлера — Маскероні $\gamma$.

Стала Апері також пов'язана зі значеннями трилогарифма ${\mathrm{L}\mathrm{i}}_3(z)$ (частковий випадок полілогарифма ${\mathrm{L}\mathrm{i}}_n(z)$):

${\mathrm{L}\mathrm{i}}_3(1)=\zeta (3)$ ,

${\mathrm{L}\mathrm{i}}_3\left(\frac{1}{2}\right)=\frac{1}{6}(\ln 2{)}^3-\frac{1}{12}{\pi }^2\ln 2+\frac{7}{8}\zeta (3)$.

Подання у вигляді рядів

Деякі інші ряди, члени яких обернені кубів натуральних чисел, також виражаються через сталу Апері:

$\zeta (3)=\frac{4}{3}\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k-1}}{k^3}=\frac{4}{3}(1-\frac{1}{2^3}+\frac{1}{3^3}-\frac{1}{4^3}+\cdots )$,

$\zeta (3)=\frac{8}{7}\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(2k+1{)}^3}=\frac{8}{7}(1+\frac{1}{3^3}+\frac{1}{5^3}+\frac{1}{7^3}+\cdots )$.

Інші відомі результати — сума ряду, що містить гармонічні числа $H_k$:

$\zeta (3)=\frac{1}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{H_k}{k^2}$ ,

а також подвійна сума:

$\zeta (3)=\frac{1}{2}\sum _{j=1}^{\mathrm{\infty }}\sum _{k=1}^{\mathrm{\infty }}\frac{1}{jk(j+k)}$.

Для доведення ірраціональності $\zeta (3)$ Роже Апері користувався поданням:

$\zeta (3)=\frac{5}{2}\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k-1}\frac{(k!{)}^2}{k^3(2k)!}=\frac{5}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k-1}}{k^3(\genfrac{}{}{0ex}{}{2k}{k})}$,

де $(\genfrac{}{}{0ex}{}{2k}{k})=\frac{(2k)!}{k{!}^2}$ — біноміальний коефіцієнт.

1773 року Леонард Ейлер навів подання у вигляді ряду (яке згодом було кілька разів заново відкрито в інших роботах):

$\zeta (3)=\frac{1}{7}{\pi }^2[1-4\sum _{k=1}^{\mathrm{\infty }}\frac{\zeta (2k)}{(2k+1)(2k+2)2^{2k}}]$,

у якому значення дзета-функції Рімана парних аргументів можна подати як $\zeta (2k)=(-1{)}^{k+1}(2\pi {)}^{2k}{B}_{2k}/(2(2k)!)$, де $B_{2k}$ — числа Бернуллі.

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

$\zeta (3)=\frac{7}{180}{\pi }^3-2\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}-1)}$

Шаблон:Не перекладено отримав ряди іншого типу:

$\zeta (3)=14\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3\sinh (\pi k)}-\frac{11}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}-1)}-\frac{7}{2}\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^3(e^{2\pi k}+1)},$

а також аналогічні подання для інших сталих $\zeta (2n+1)$.

Отримано й інші подання у вигляді рядів, зокрема:

$\zeta (3)=\frac{1}{4}\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k-1}\frac{(56k^2-32k+5)(k-1){!}^3}{(2k-1{)}^2(3k)!}$

$\zeta (3)=\frac{8}{7}-\frac{8}{7}\sum _{k=1}^{\mathrm{\infty }}\frac{{(-1)}^k{2}^{-5+12k}k(-3+9k+148k^2-432k^3-2688k^4+7168k^5){k!}^3{(-1+2k)!}^6}{{(-1+2k)}^3\left(3k\right)!{(1+4k)!}^3}$

$\zeta (3)=\frac{1}{64}\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k\frac{(205k^2+250k+77)\cdot k{!}^{10}}{(2k+1){!}^5}$

$\zeta (3)=\frac{1}{24}\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k\frac{((2k+1)!(2k)!k!{)}^3(126392k^5+412708k^4+531578k^3+336367k^2+104000k+12463)}{(3k+2)!\cdot (4k+3){!}^3}$

Деякі з цих подань використано для обчислення сталої Апері з багатьма мільйонами значущих цифр.

1998 року отримано подання у вигляді ряду, яке дає можливість обчислити довільний біт сталої Апері.

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

Існує також багато різних інтегральних подань для сталої Апері, починаючи від тривіальних формул на зразок

$\zeta (3)=\frac{1}{2}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^2}{e^x-1}dx=\frac{2}{3}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^2}{e^x+1}dx$

або

$\zeta (3)=\underset{0}{\overset{1}{\int }}\frac{\ln (x)\ln (1-x)}{x}dx$,

які випливають із найпростіших інтегральних визначень дзета-функції Рімана, до досить складних, таких, як

$\zeta (3)=\pi \underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\cos (2\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{t}\mathrm{g}x)}{(x^2+1)\left[\mathrm{c}\mathrm{h}\right(\frac{1}{2}\pi x){]}^2}dx$ (Шаблон:Нп),

$\zeta (3)=-\frac{1}{2}\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\frac{\ln (xy)}{1-xy}dxdy$ (Шаблон:Не перекладено),

$\zeta (3)=\frac{8{\pi }^2}{7}\underset{0}{\overset{1}{\int }}\frac{x(x^4-4x^2+1)\ln \ln \frac{1}{x}}{(1+x^2{)}^4}dx$ (Ярослав Благушин).

Ланцюгові дроби

Ланцюговий дріб для сталої Апері (Шаблон:OEIS) має такий вигляд:

$\zeta (3)=[1;4,1,18,1,1,1,4,1,9,9,2,1,1,1,2,7,1,1,7,11,1,1,1,\cdots ]=$

$=1+\frac{1}{4+\frac{1}{1+\frac{1}{18+\frac{1}{1+\dots }}}}$

Перший узагальнений ланцюговий дріб для сталої Апері, що має закономірність, відкрили незалежно Стілтьєс і Рамануджан:

$\zeta (3)=1+\frac{1}{4+\frac{1^3}{1+\frac{1^3}{12+\frac{2^3}{1+\frac{2^3}{20+\frac{3^3}{1+\frac{3^3}{28+\frac{\dots }{\dots +\frac{n^3}{1+\frac{n^3}{4(2n+1)+\dots }}}}}}}}}}$

Його можна перетворити до вигляду:

$\zeta (3)=1+\frac{1}{5-\frac{1^6}{21-\frac{2^6}{55-\frac{3^6}{119-\frac{4^6}{225-\frac{\dots }{\dots +\frac{n^6}{(2n^3+3n^2+11n+5)+\dots }}}}}}}$

Апері зміг прискорити збіжність ланцюгового дробу для сталої:

$\zeta (3)=\frac{6}{5}-\frac{1^6}{117-\frac{2^6}{535-\frac{3^6}{1436-\frac{4^6}{3105-\frac{\dots }{\dots +\frac{n^6}{(34n^3+51n^2+27n+5)+\dots }}}}}}$

Обчислення десяткових цифр

Число відомих значущих цифр сталої Апері $\zeta (3)$ значно зросло за останні десятиліття завдяки як збільшенню комп'ютерних потужностей, так і поліпшенню алгоритмів.

Кількість відомих значущих цифр сталої Апері $\zeta (3)$

Дата	Кількість значущих цифр	Автори обчислення
1735	16	Леонард Ейлер
1887	32	Томас Йоанес Стілтьєс
1996	Шаблон:Number table sorting	Greg J. Fee & Simon Plouffe
1997	Шаблон:Number table sorting	Bruno Haible & Thomas Papanikolaou
1997, травень	Шаблон:Number table sorting	Patrick Demichel
1998, лютий	Шаблон:Number table sorting	Sebastian Wedeniwski
1998, березень	Шаблон:Number table sorting	Sebastian Wedeniwski
1998, липень	Шаблон:Number table sorting	Sebastian Wedeniwski
1998, грудень	Шаблон:Number table sorting	Sebastian Wedeniwski
2001, вересень	Шаблон:Number table sorting	Shigeru Kondo & Xavier Gourdon
2002, лютий	Шаблон:Number table sorting	Shigeru Kondo & Xavier Gourdon
2003, лютий	Шаблон:Number table sorting	Patrick Demichel & Xavier Gourdon
2006, квітень	Шаблон:Number table sorting	Shigeru Kondo & Steve Pagliarulo
2009, січень	Шаблон:Number table sorting	Alexander J. Yee & Raymond Chan
2009, березень	Шаблон:Number table sorting	Alexander J. Yee & Raymond Chan
2010, вересень	Шаблон:Number table sorting	Alexander J. Yee
2013, вересень	Шаблон:Число	Robert J. Setti
2015, серпень	Шаблон:Число	Ron Watkins
2015, грудень	Шаблон:Число	Dipanjan Nag
2017, серпень	Шаблон:Число	Ron Watkins
2019, травень	Шаблон:Число	Ian Cutress
2020, липень	Шаблон:Число	Seungmin Kim

Інші значення дзета-функції в непарних точках

Існує багато досліджень, присвячених іншим значенням дзета-функції Рімана в непарних точках $\zeta (2n+1)$ при $n>1$. Зокрема, в роботах Шаблон:Не перекладено і Тангая Рівоаля показано, що ірраціональними є нескінченна множина чисел $\zeta (2n+1)$, а також що принаймні одне з чисел $\zeta (5)$, $\zeta (7)$, $\zeta (9)$, або $\zeta (11)$ є ірраціональним.

Посилання

• Шаблон:Книга
• Шаблон:Citation
• Шаблон:Mathworld