Стала Ейлера — Маскероні

Площа синьої області збігається до сталої Ейлера.

Не плутати з числом Ейлера, $\mathrm{e}\approx 2,71828$, основою натурального логарифма.

Стала Ейлера (або Ейлера — Маскероні) — математична константа, яку позначають малою грецькою літерою гамма $\gamma$.

Вона визначається як границя різниці між гармонійним рядом і натуральним логарифмом, що позначається як $\ln$:

$\begin{array}{cc}\gamma & =\underset{n\to +\mathrm{\infty }}{\lim }(-\ln n+\sum _{k=1}^n\frac{1}{k})\\ & =\underset{1}{\overset{\mathrm{\infty }}{\int }}(-\frac{1}{x}+\frac{1}{\lfloor x\rfloor })\mathrm{d}x.\end{array}$

Тут $\lfloor x\rfloor$ — ціла частина числа.

Числове значення сталої Ейлера з точністю до 50 знаків після коми:

$0,57721566490153286060651209008240243104215933593992\dots .$

Історія

Константа вперше з'явилася в 1734 році в роботі швейцарського математика Леонарда Ейлера «De Progressionibus harmonicis observationes» (Eneström Index 43). Для константи Ейлер використовував позначення Шаблон:Math та Шаблон:Math. У 1790 році італійський математик Шаблон:Нп використав для константи позначення Шаблон:Math та Шаблон:Math. Позначення Шаблон:Mvar ніде не зустрічається в роботах ні Ейлера, ні Маскероні, і було обране пізніше, можливо, через зв'язок константи з гамма-функцією. Наприклад, німецький математик Шаблон:Нп використовував позначення Шаблон:Mvar у 1835 році, Шаблон:Sfn а Август де Морган використовував його в підручнику, опублікованому частинами з 1836 по 1842 роки.

Застосування

Стала Ейлера, серед іншого, зустрічається ('*' означає, що відповідний елемент містить рівняння у явному вигляді), зокрема, в таких поняттях:

• співвідношення з експоненційним інтегралом*;
• перетворення Лапласа* для натурального логарифма;
• перший член розкладу в Ряд Лорана для Дзета-функції Рімана*, де вона є першою з констант Стілтьєса*;
• обчислення дигамма-функції;
• формула добутку для гамма-функції;
• асимптотичний розклад гамма-функції для малих аргументів;
• нерівність для функції Ейлера;
• швидкість зростання функції дільників;
• у регуляризації розмірності Діаграм Фейнмана в квантовій теорії поля;
• обчислення сталої Мейселя — Мертенса;
• третя теорема Мертенса*;
• розв'язок рівняння Бесселя другого роду;
• у регуляризації/перенормуванні гармонічного ряду як скінченне значення;
• математичне сподівання Шаблон:Не перекладено;
• інформаційна ентропія розподілів Вейбулла і Леві і, неявно, розподілу хі-квадрат для одного або двох степенів вільності;
• розв'язок задачі про збирача купонів*;
• у деяких формулюваннях закону Ципфа;
• означення інтегрального косинуса*;
• нижня межа щілини простих чисел;
• верхня межа ентропії Шеннона в квантовій теорії інформації;.
• модель Фішера—Орра для генетики адаптації в еволюційній біології;

Властивості

Не доведено чи є число $\gamma$ алгебраїчним або трансцендентним. Насправді навіть невідомо, чи є $\gamma$ ірраціональним. Використовуючи ланцюгові дроби, Папаніколау показав у 1997 році, що якщо $\gamma$ є раціональним, його знаменник повинен бути більшим за 10²⁴⁴⁶⁶³. Універсальність числа $\gamma$ підтверджується великою кількістю рівнянь нижче, що робить питання ірраціональності $\gamma$ є головним відкритим питанням у математиці.

Проте певний прогрес все ж досягнуто. Курт Малер показав у 1968 р., що число $\frac{\pi Y_0(2)}{2J_0(2)}-\gamma$ є трансцендентним (тут $J_{\alpha }(x)$ і $Y_{\alpha }(x)$ є функціями Бесселя. У 2009 році Олександр Аптекарев довів, що принаймні одна з констант Ейлера $\gamma$ або Шаблон:Не перекладено $\delta$ є ірраціональною. Тангі Рівоаль довів у 2012 році, що принаймні одна з них є трансцендентною. У 2010 р. Шаблон:Не перекладено та Н.Сарадха показали, що принаймі одне з чисел вигляду

$\gamma (a,q)=\underset{n\to +\mathrm{\infty }}{\lim }(\left(\sum _{k=0}^n\frac{1}{a+kq}\right)-\frac{\log (a+nq)}{q}),$

де $q\ge 2$ і $1\le a<q$, є алгебраїчним; це сімейство включає частинний випадок $\gamma (2,4)=\frac{\gamma }{4}$. У 2013 році М. Рам Мурті та А. Зайцева знайшли іншу сім'ю, що містить $\gamma$, яке базується на сумах обернених цілих чисел, які не діляться на фіксований список простих чисел з однією і тією ж властивістю.

Зв'язок з гамма-функцією

$\gamma$ пов'язана з дигамма-функцією $\mathrm{\Psi }$, а отже із похідною від гамма-функції, якщо обидві функції обчислювати в 1. Таким чином,

$-\gamma ={\mathrm{\Gamma }}^{\prime }(1)=\mathrm{\Psi }(1).$

Це дорівнює границям:

$\begin{array}{cc}-\gamma & =\underset{z\to 0}{\lim }(\mathrm{\Gamma }(z)-\frac{1}{z})=\underset{z\to 0}{\lim }(\mathrm{\Psi }(z)+\frac{1}{z}).\end{array}$

Подальші обчислення границь:

$\begin{array}{cc}\underset{z\to 0}{\lim }\frac{1}{z}(\frac{1}{\mathrm{\Gamma }(1+z)}-\frac{1}{\mathrm{\Gamma }(1-z)})& =2\gamma \\ \underset{z\to 0}{\lim }\frac{1}{z}(\frac{1}{\mathrm{\Psi }(1-z)}-\frac{1}{\mathrm{\Psi }(1+z)})& =\frac{{\pi }^2}{3{\gamma }^2}.\end{array}$

Границя пов'язана з бета-функцією (записана за допомогою гамма-функції):

$\begin{array}{cc}\gamma & =\underset{n\to \mathrm{\infty }}{\lim }(\frac{\mathrm{\Gamma }\left(\frac{1}{n}\right)\mathrm{\Gamma }(n+1)n^{1+\frac{1}{n}}}{\mathrm{\Gamma }(2+n+\frac{1}{n})}-\frac{n^2}{n+1})=\lim {\mathrm{\backslash limits}}_{m\to \mathrm{\infty }}\sum _{k=1}^m(\genfrac{}{}{0ex}{}{m}{k})\frac{(-1{)}^k}{k}\log (\mathrm{\Gamma }(k+1)).\end{array}$

Зв'язок з дзета-функцією

$\gamma$ також можна виразити як нескінченну суму, члени якої включають дзета-функцію Рімана, яка обчислюється для цілих додатних числах:

$\begin{array}{cc}\gamma & =\sum _{m=2}^{\mathrm{\infty }}(-1{)}^m\frac{\zeta (m)}{m}=\log \frac{4}{\pi }+\sum _{m=2}^{\mathrm{\infty }}(-1{)}^m\frac{\zeta (m)}{2^{m-1}m}.\end{array}$

Інші ряди, пов'язані з дзета-функцією, включають:

$\begin{array}{cc}\gamma & =\frac{3}{2}-\log 2-\sum _{m=2}^{\mathrm{\infty }}(-1{)}^m\frac{m-1}{m}(\zeta (m)-1)=\underset{n\to \mathrm{\infty }}{\lim }(\frac{2n-1}{2n}-\log n+\sum _{k=2}^n(\frac{1}{k}-\frac{\zeta (1-k)}{n^k}))=\\ & =\underset{n\to \mathrm{\infty }}{\lim }(\frac{2^n}{e^{2^n}}\sum _{m=0}^{\mathrm{\infty }}\frac{2^{mn}}{(m+1)!}\sum _{t=0}^m\frac{1}{t+1}-n\log 2+O\left(\frac{1}{2^n{e}^{2^n}}\right)).\end{array}$

Похибка в останньому рівнянні є швидкоспадною функцією змінної $n$. У результаті формула добре підходить для ефективного обчислення константи з високою точністю.

Іншими цікавими границями, що дорівнюють сталій Ейлера, є антисиметрична границя:

$\begin{array}{cc}\gamma & =\underset{s\to 1^{+}}{\lim }\sum _{n=1}^{\mathrm{\infty }}(\frac{1}{n^s}-\frac{1}{s^n})=\underset{s\to 1}{\lim }(\zeta (s)-\frac{1}{s-1})=\underset{s\to 0}{\lim }\frac{\zeta (1+s)+\zeta (1-s)}{2}\end{array}$

і наступна формула, отримана в 1898 році де ла Валле-Пуссеном:

$\gamma =\underset{n\to \mathrm{\infty }}{\lim }\frac{1}{n}\sum _{k=1}^n(\lceil \frac{n}{k}\rceil -\frac{n}{k})$

де $\lceil \rceil$ функція стелі Ця формула вказує, що коли беремо будь-яке натуральне число $n$ і ділимо його на будь—яке натуральне число $k$ менше за $n$, то середня частка до якої спадає частка $\frac{n}{k}$ менша наступного цілого числа, прямує до $\gamma$ (ніж до $0,5$), якщо $n$ прямує до нескінченності.

З цим тісно пов'язане представлення у вигляді раціонального дзета-ряду. Взявши окремо декілька перших членів ряду наведеного вище, можна отримати оцінку для класичної границі ряду:

$\gamma =\sum _{k=1}^n\frac{1}{k}-\log n-\sum _{m=2}^{\mathrm{\infty }}\frac{\zeta (m,n+1)}{m},$

де $\zeta (s,k)$ дзета-функція Гурвіца. Сума в цьому рівнянні включає гармонічні числа $H_n$. Розписавши деякі члени дзета-функції Гурвіца отримуємо:

$H_n=\log (n)+\gamma +\frac{1}{2n}-\frac{1}{12n^2}+\frac{1}{120n^4}-\epsilon ,$

де $0<\epsilon <\frac{1}{252n^6}$. $\gamma$ також можна представити наступним чином:

$\gamma =12\log (A)-\log (2\pi )+\frac{6}{{\pi }^2}{\zeta }^{\prime }(2)$

де $A$ стала Глейшера — Кінкеліна. $\gamma$ також можна представити у вигляді:

$\gamma =\underset{n\to \mathrm{\infty }}{\lim }(-n+\zeta (\frac{n+1}{n}\left)\right)$

який отримується з розкладу дзета-функції у ряд Лорана.

Інтеграли

$\gamma$ дорівнює таким значенням визначених інтегралів:

$\begin{array}{cc}\gamma & =-\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}\log xdx=-\underset{0}{\overset{1}{\int }}\log (\log \frac{1}{x})dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{e^x-1}-\frac{1}{x\cdot e^x})dx=\\ & =\underset{0}{\overset{1}{\int }}\frac{1-e^{-x}}{x}dx-\underset{1}{\overset{\mathrm{\infty }}{\int }}\frac{e^{-x}}{x}dx=\underset{0}{\overset{1}{\int }}(\frac{1}{\log x}+\frac{1}{1-x})dx=\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{1+x^k}-e^{-x})\frac{dx}{x},k>0\\ & =2\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{e^{-x^2}-e^{-x}}{x}dx=\underset{0}{\overset{1}{\int }}{H}_{x}dx,\end{array}$

де $H_x$ дробове Гармонічне число. Третю формулу в інтегральному списку можна довести наступним чином:

$\begin{array}{cc}& \underset{0}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{e^x-1}-\frac{1}{x{e}^x})dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{e^{-x}+x-1}{x[e^x-1]}dx=\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{1}{x[e^x-1]}\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}{x}^{m+1}}{(m+1)!}dx\\ & =\underset{0}{\overset{\mathrm{\infty }}{\int }}\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}{x}^m}{(m+1)![e^x-1]}dx=\sum _{m=1}^{\mathrm{\infty }}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{(-1{)}^{m+1}{x}^m}{(m+1)![e^x-1]}dx=\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{(m+1)!}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^m}{e^x-1}dx\\ & =\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{(m+1)!}m!\zeta (m+1)=\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{m+1}\zeta (m+1)=\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{m+1}\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{m+1}}=\sum _{m=1}^{\mathrm{\infty }}\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{m+1}\frac{1}{n^{m+1}}\\ & =\sum _{n=1}^{\mathrm{\infty }}\sum _{m=1}^{\mathrm{\infty }}\frac{(-1{)}^{m+1}}{m+1}\frac{1}{n^{m+1}}=\sum _{n=1}^{\mathrm{\infty }}[\frac{1}{n}-\ln (1+\frac{1}{n})]=\gamma \end{array}$

Інтеграл у третьому рядку— значення функції Дебая в $+\mathrm{\infty }$, яке в свою чергу дорівнює $m!\zeta (m+1)$.

Визначені інтеграли, у яких зустрічається $\gamma$ :

$\begin{array}{cc}\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}\log xdx& =-\frac{(\gamma +2\log 2)\sqrt{\pi }}{4}\\ \underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}{\log }^{2}xdx& ={\gamma }^2+\frac{{\pi }^2}{6}\\ \underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{e^{-|x|}\log |x|}{2}dx& =\gamma \end{array}$

Можна виразити $\gamma$, використовуючи частинний випадок формули Хаджикостаса як подвійний інтеграл з еквівалентним рядом:

$\begin{array}{cc}\gamma & =\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\frac{x-1}{(1-xy)\log xy}dxdy=\sum _{n=1}^{\mathrm{\infty }}(\frac{1}{n}-\log \frac{n+1}{n}).\end{array}$

Цікавим є порівняння Сондоу:

$\begin{array}{cc}\log \frac{4}{\pi }& =\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\frac{x-1}{(1+xy)\log xy}\mathrm{d}x\mathrm{d}y\\ & =\sum _{n=1}^{\mathrm{\infty }}((-1{)}^{n-1}(\frac{1}{n}-\log \frac{n+1}{n})).\end{array}$

Це показує, що $\log \frac{4}{\pi }$ можна розглядати як «знакозмінну сталу Ейлера». Ці дві сталі також пов'язані за допомогою пари рядів

$\begin{array}{cc}\gamma & =\sum _{n=1}^{\mathrm{\infty }}\frac{N_1(n)+N_0(n)}{2n(2n+1)}\\ \log \frac{4}{\pi }& =\sum _{n=1}^{\mathrm{\infty }}\frac{N_1(n)-N_0(n)}{2n(2n+1)},\end{array}$

де $N_1(n)$ і $N_0(n)$— відповідно кількість одиниць і нулів у розкладі $n$ за основою 2. Також $\gamma$ можна записати за допомогою інтеграла Каталана

$\gamma =\underset{0}{\overset{1}{\int }}\left(\frac{1}{1+x}\sum _{n=1}^{\mathrm{\infty }}{x}^{2^n-1}\right)dx.$

Розклад в ряд

У загальному випадку

$\gamma =\underset{n\to \mathrm{\infty }}{\lim }(\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\dots +\frac{1}{n}-\log (n+\alpha ))\equiv \underset{n\to \mathrm{\infty }}{\lim }{\gamma }_n(\alpha )$

для будь-якого $\alpha >-n$. Однак швидкість збіжності цього розкладу значною мірою залежить від $\alpha$. Зокрема, ${\gamma }_n\left(\frac{1}{2}\right)$ демонструє набагато швидшу збіжність, ніж стандартний розклад ${\gamma }_n(0)$. Це тому, що

$\frac{1}{2(n+1)}<{\gamma }_n(0)-\gamma <\frac{1}{2n},$

коли

$\frac{1}{24(n+1{)}^2}<{\gamma }_n(1/2)-\gamma <\frac{1}{24n^2}.$

Тим не менш, існують інші розклади рядів, які збігаються швидше, ніж цей; деякі з них розглянуті нижче.

Ейлер показав, що наступний нескінченний ряд збігається до $\gamma$:

$\gamma =\sum _{k=1}^{\mathrm{\infty }}(\frac{1}{k}-\log (1+\frac{1}{k})).$

Цей ряд для $\gamma$ еквівалентний ряду Нільсена, знайденому в 1897 році:

$\gamma =1-\sum _{k=2}^{\mathrm{\infty }}(-1{)}^k\frac{\lfloor {\log }_{2}k\rfloor }{k+1}.$

У 1810 році Вакка знайшов тісно пов'язаний ряд

$\begin{array}{cc}\gamma & =\sum _{k=2}^{\mathrm{\infty }}(-1{)}^k\frac{\lfloor {\log }_{2}k\rfloor }{k}\\ & =\frac{1}{2}-\frac{1}{3}+2(\frac{1}{4}-\frac{1}{5}+\frac{1}{6}-\frac{1}{7})+3(\frac{1}{8}-\frac{1}{9}+\frac{1}{10}-\frac{1}{11}+\cdots -\frac{1}{15})+\cdots ,\end{array}$

де ${\log }_2$ — це логарифм за основою 2, $\lfloor \rfloor$ — функція підлоги.

У 1926 році він знайшов інший ряд:

$\begin{array}{cc}\gamma +\zeta (2)& =\sum _{k=2}^{\mathrm{\infty }}(\frac{1}{{\lfloor \sqrt{k}\rfloor }^2}-\frac{1}{k})\\ & =\sum _{k=2}^{\mathrm{\infty }}\frac{k-{\lfloor \sqrt{k}\rfloor }^2}{k{\lfloor \sqrt{k}\rfloor }^2}\\ & =\frac{1}{2}+\frac{2}{3}+\frac{1}{2^2}\sum _{k=1}^{2\cdot 2}\frac{k}{k+2^2}+\frac{1}{3^2}\sum _{k=1}^{3\cdot 2}\frac{k}{k+3^2}+\cdots \end{array}$

Із розкладу в ряд Шаблон:Не перекладено—Куммера для логарифма гамма-функціїотримуємо

$\gamma =\log \pi -4\log (\mathrm{\Gamma }(\frac{3}{4}))+\frac{4}{\pi }\sum _{k=1}^{\mathrm{\infty }}(-1{)}^{k+1}\frac{\log (2k+1)}{2k+1}.$

Важливий розклад у ряд сталої Ейлера отримали Шаблон:Не перекладено і Маскероні:

$\gamma =\sum _{n=1}^{\mathrm{\infty }}\frac{|G_n|}{n}=\frac{1}{2}+\frac{1}{24}+\frac{1}{72}+\frac{19}{2880}+\frac{3}{800}+\cdots ,$

де $G_n$— коефіцієнти Грегорі. Цей ряд є частинним випадком (при $k=1$) наступного розкладів:

$\begin{array}{cccc}\gamma & =H_{k-1}-\log k+\sum _{n=1}^{\mathrm{\infty }}\frac{(n-1)!|G_n|}{k(k+1)\cdots (k+n-1)}& & \\ & =H_{k-1}-\log k+\frac{1}{2k}+\frac{1}{12k(k+1)}+\frac{1}{12k(k+1)(k+2)}+\frac{19}{120k(k+1)(k+2)(k+3)}+\cdots & & \end{array}$

які є збіжними при.

Аналогічний ряд записаний з використанням чисел Коші другого роду $C_n$ має вигляд:

$\gamma =1-\sum _{n=1}^{\mathrm{\infty }}\frac{C_n}{n(n+1)!}=1-\frac{1}{4}-\frac{5}{72}-\frac{1}{32}-\frac{251}{14400}-\frac{19}{1728}-\dots$

Благоучин (2018) знайшов цікаве узагальнення ряду Фонтана—Машероні

$\gamma =\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n+1}}{2n}\{{\psi }_n(a)+{\psi }_n(-\frac{a}{1+a}\left)\right\},a>-1$

де ${\psi }_n(a)$ — Шаблон:Не перекладено, які визначаються твірною функцією

$\frac{z(1+z{)}^s}{\log (1+z)}=\sum _{n=0}^{\mathrm{\infty }}{z}^n{\psi }_n(s),|z|<1,$

Для будь-якого раціонального $a$ цей ряд містить лише раціональні доданки. Наприклад, при $a=1$ маємо

$\gamma =\frac{3}{4}-\frac{11}{96}-\frac{1}{72}-\frac{311}{46080}-\frac{5}{1152}-\frac{7291}{2322432}-\frac{243}{100352}-\dots$

Інші ряди з такими ж многочленами включають такі приклади:

$\gamma =-\log (a+1)-\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n{\psi }_n(a)}{n},\mathrm{\Re }(a)>-1$

та

$\gamma =-\frac{2}{1+2a}\{\log \mathrm{\Gamma }(a+1)-\frac{1}{2}\log (2\pi )+\frac{1}{2}+\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n{\psi }_{n+1}(a)}{n}\},\mathrm{\Re }(a)>-1$

де $\mathrm{\Gamma }(a)$ — гамма-функція. Ряд, пов'язаний з алгоритмом Акіяма—Танігави, має вигляд

$\gamma =\log (2\pi )-2-2\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^n{G}_n(2)}{n}=\log (2\pi )-2+\frac{2}{3}+\frac{1}{24}+\frac{7}{540}+\frac{17}{2880}+\frac{41}{12600}+\dots$

де $G_n(2)$ — коефіцієнти Грегорі другого порядку

Ряд простих чисел:

$\gamma =\underset{n\to \mathrm{\infty }}{\lim }(\log n-\sum _{p\le n}\frac{\log p}{p-1}).$

Асимптотичні розклади

$\gamma$ можна визначити за допомогою наступних асимптотичних формул (де $H_n$—$n$-е гармонічне число):

$\gamma \sim H_n-\log n-\frac{1}{2n}+\frac{1}{12n^2}-\frac{1}{120n^4}+\cdots$ (Ейлер)

$\gamma \sim H_n-\log \left(n+\frac{1}{2}+\frac{1}{24n}-\frac{1}{48n^2}+\cdots \right)$ (Негой)

$\gamma \sim H_n-\frac{\log n+\log (n+1)}{2}-\frac{1}{6n(n+1)}+\frac{1}{30n^2(n+1{)}^2}-\cdots$ (Ернесто)

Третя формула також називається розкладом Рамануджана.

Алабдулмохсін отримав у замкненій формі співвідношення для сум похибок цих наближень. Він показав, що (теорема A.1): $$\sum _{n=1}^{\mathrm{\infty }}\log n+\gamma -H_n+\frac{1}{2n}=\frac{\log (2\pi )-1-\gamma }{2}$$ $$\sum _{n=1}^{\mathrm{\infty }}\log \sqrt{n(n+1)}+\gamma -H_n=\frac{\log (2\pi )-1}{2}-\gamma$$ $$\sum _{n=1}^{\mathrm{\infty }}(-1{)}^n(\log n+\gamma -H_n)=\frac{\log \pi -\gamma }{2}$$

Експонента

Стала ${\mathrm{e}}^{\mathrm{\gamma }}$ є важливою в теорії чисел. Деякі автори позначають цю величину просто як ${\gamma }^{\prime }$. ${\mathrm{e}}^{\mathrm{\gamma }}$ дорівнює наступній границі, де $p_n$— $n$-е просте число:

$e^{\gamma }=\underset{n\to \mathrm{\infty }}{\lim }\frac{1}{\log p_n}\prod _{i=1}^n\frac{p_i}{p_i-1}.$

Це підтверджує третю теорему Мертенса.. Числове значення ${\mathrm{e}}^{\mathrm{\gamma }}$:

Шаблон:Gaps.

Інші нескінченні добутки, що пов'язані з ${\mathrm{e}}^{\gamma }$, включають:

$\begin{array}{cc}\frac{e^{1+\frac{\gamma }{2}}}{\sqrt{2\pi }}& =\prod _{n=1}^{\mathrm{\infty }}{e}^{-1+\frac{1}{2n}}{(1+\frac{1}{n})}^n\\ \frac{e^{3+2\gamma }}{2\pi }& =\prod _{n=1}^{\mathrm{\infty }}{e}^{-2+\frac{2}{n}}{(1+\frac{2}{n})}^n.\end{array}$

Ці доданки є результатом Шаблон:Не перекладено.

Додатково

$e^{\gamma }=\sqrt{\frac{2}{1}}\cdot \sqrt[3]{\frac{2^2}{1\cdot 3}}\cdot \sqrt[4]{\frac{2^3\cdot 4}{1\cdot 3^3}}\cdot \sqrt[5]{\frac{2^4\cdot 4^4}{1\cdot 3^6\cdot 5}}\cdots$

де $n$-й множник — це $(n+1)$-й корінь з

$\prod _{k=0}^n(k+1{)}^{(-1{)}^{k+1}(\genfrac{}{}{0ex}{}{n}{k})}.$

Цей нескінченний добуток, вперше відкритий Сером у 1926 році, був перевідкритий Сонду за допомогою гіпергеометричних функцій. Також справедлива наступна формула:

$\frac{e^{\frac{\pi }{2}}+e^{-\frac{\pi }{2}}}{\pi e^{\gamma }}=\prod _{n=1}^{\mathrm{\infty }}\left(e^{-\frac{1}{n}}(1+\frac{1}{n}+\frac{1}{2n^2})\right).$

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

Розклад ланцюгового дробу для сталої $\gamma$ починається з $[0;1,1,2,1,2,1,4,3,13,5,1,1,8,1,2,4,1,1,40,\dots ]$, і немає видимої закономірності. Відомо, що цей ланцюговий дріб має щонайменше 475 006 доданків і має нескінченно багато доданків тоді й лише тоді, коли стала є ірраціональним числом.

Узагальнення

Шаблон:Math

Узагальнені сталі Ейлера визначаються як

${\gamma }_{\alpha }=\underset{n\to \mathrm{\infty }}{\lim }(\sum _{k=1}^n\frac{1}{k^{\alpha }}-\underset{1}{\overset{n}{\int }}\frac{1}{x^{\alpha }}dx),$

для $0<\alpha <1$, де $\gamma$ є особливим випадком при $\alpha =1$. Подальші узагальнення мають вигляд

$c_f=\underset{n\to \mathrm{\infty }}{\lim }(\sum _{k=1}^{n}f(k)-\underset{1}{\overset{n}{\int }}f(x)dx)$

для деякої довільної спадної функції $f$. Наприклад,

$f_n(x)=\frac{(\log x{)}^n}{x}$

приводить до констант Стілтьєса, а

$f_a(x)=x^{-a}$

дає

${\gamma }_{f_a}=\frac{(a-1)\zeta (a)-1}{a-1}$

де знову з'являється границя

$\gamma =\underset{a\to 1}{\lim }(\zeta (a)-\frac{1}{a-1})$

Двовимірним граничним узагальненням є константа Массера — Гремена.

Сталі Ейлера — Лемера визначаються шляхом підсумовування обернених чисел у загальному класі за модулем:

$\gamma (a,q)=\underset{x\to \mathrm{\infty }}{\lim }(\sum _{\genfrac{}{}{0ex}{}{0<n\le x}{n\equiv a(\mathrm{mod}q)}}\frac{1}{n}-\frac{\log x}{q}).$

Основними властивостями яких є

$\begin{array}{cc}\gamma (0,q)& =\frac{\gamma -\log q}{q},\\ \sum _{a=0}^{q-1}\gamma (a,q)& =\gamma ,\\ q\gamma (a,q)& =\gamma -\sum _{j=1}^{q-1}{e}^{-\frac{2\pi aij}{q}}\log (1-e^{\frac{2\pi ij}{q}}),\end{array}$

і якщо, то

$q\gamma (a,q)=\frac{q}{d}\gamma (\frac{a}{d},\frac{q}{d})-\log d.$

Опубліковані десяткові розклади для $\gamma$

Спочатку Ейлер обчислив значення константи з точністю до 6 знаків після коми. У 1781 році він обчислив його до 16 знаків після коми. Маскероні спробував обчислити константу з точністю до 32 знаків після коми, але допустив помилку в 20-22 і 31-32 знаках після коми; починаючи з 20-ї цифри, він обчислив $\dots 1811209008239$, хоча правильне значення дорівнює $\dots 0651209008240$.

Published Decimal Expansions of Шаблон:Mvar

Date	Decimal digits	Author	Sources
1734	5	Леонард Ейлер
1735	15	Леонард Ейлер
1781	16	Леонард Ейлер
1790	32	Лоренцо Маскероні, 20-22 і 31-32 неправильні
1809	22	Йоганн Георг фон Зольднер
1811	22	Карл Фрідріх Гаусс
1812	40	Фрідріх Бернхард Готфрід Ніколай
1857	34	Крістіан Фредрік Ліндман
1861	41	Людвіг Оттінгер
1867	49	Вільям Шенкс
1871	99	Джон Кауч Адамс
1871	101	Вільям Шенкс
1877	262	Джон Кауч Адамс
1952	328	Джон Ренч
1961	Шаблон:Val	Гельмут Фішер і Карл Целлер
1962	Шаблон:Val	Дональд Кнут
1962	Шаблон:Val	Дура В. Суїні
1973	Шаблон:Val	Вільям А. Бейєр і Майкл С. Уотерман
1977	Шаблон:Val	Річард П. Брент
1980	Шаблон:Val	Річард П. Брент і Едвін М. Макміллан
1993	Шаблон:Val	Джонатан Борвейн
1999	Шаблон:Val	Патрік Демішель і Ксав'є Гурдон
March 13, 2009	Шаблон:Val	Олександр Дж. Йі та Реймонд Чан
December 22, 2013	Шаблон:Val	Олександр Дж.
March 15, 2016	Шаблон:Val	Пітер Труб
May 18, 2016	Шаблон:Val	Рон Уоткінс
August 23, 2017	Шаблон:Val	Рон Уоткінс
May 26, 2020	Шаблон:Val	Кім Синмін і Ян Катресс

Література

• Шаблон:Фіхтенгольц.укр
• Bretschneider, Carl Anton (1837) [1835]. «Theoriae logarithmi integralis lineamenta nova». Crelle's Journal (in Latin). 17: 257—285.
• Ram Murty, M.; Saradha, N. (2010). «Euler—Lehmer constants and a conjecture of Erdos». Journal of Number Theory. 130 (12): 2671—2681. doi:10.1016/j.jnt.2010.07.004. ISSN 0022-314X.

Додаткова література

• Шаблон:Cite journal Derives Шаблон:Mvar as sums over Riemann zeta functions.
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Cite web
• Шаблон:Cite web
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Cite book
• Шаблон:Cite journal
• Шаблон:Cite journal
• Шаблон:Citation
• Шаблон:Cite journal with an Appendix by Sergey Zlobin

Зовнішні лінки

• Шаблон:Springer
• Шаблон:MathWorld
• Jonathan Sondow.
• Fast Algorithms and the FEE Method, E.A. Karatsuba (2005)
• Further formulae which make use of the constant: Gourdon and Sebah (2004).

Див. також

• Формула сумування Абеля