Постоянная Эйлера — Маскерони

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Иррациональные числа
γζ(3) — 2 — 3 — 5 — φ — α — e — π — δ

Постоянная Э́йлера — Маскеро́ни или постоянная Эйлера — математическая константа, определяемая как предел разности между частичной суммой гармонического ряда и натуральным логарифмом числа:

\gamma = \lim_{n\to\infty} \left( \sum_{k=1}^{n}{1\over k} - \ln n \right)=\lim_{n\to\infty} \left( 1+\frac12+\frac13+\ldots+\frac1n - \ln n \right)

Константа введена в 1735 году Леонардом Эйлером, он же предложил для неё обозначение C, которое до сих пор иногда применяется. Итальянский математик Лоренцо Маскерони в 1790 году вычислил 32 знака константы и предложил современное обозначение \gamma (греческая буква «гамма»).

Значение константы:

\gamma ≈ 0,577 215 664 901 532 860 606 512 090 082 402 431 042 159 335 939 923 598 805 767 234 884 867 726 777 664 670 936 947 063 291 746 749 515…

В теории чисел нередко используется константа

eγ ≈ 1,781 072 417 990 197 985 236 504 103 107 179 549 169 645 214 303 430 205 357 665 876 512 841 076 813 588 293 707 574 216 488 418 280…
 e^{\gamma} = \left ( \frac{2}{1} \right )^{1/2} \left (\frac{2^2}{1 \cdot 3} \right )^{1/3} \left (\frac{2^3 \cdot 4}{1 \cdot 3^3} \right )^{1/4}
\left (\frac{2^4 \cdot 4^4}{1 \cdot 3^6 \cdot 5} \right )^{1/5} \cdots

Свойства[править | править исходный текст]

  • \gamma = \lim\limits_{m \to \infty}\sum\limits_{k=1}^m{m \choose k}\frac{(-1)^k}{k}\ln(k!).
  • \gamma = \lim_{n \to \infty} \left \{\frac{ \Gamma(\frac{1}{n}) \Gamma(n+1)\, n^{1+1/n}}{\Gamma(2+n+\frac{1}{n})} - \frac{n^2}{n+1} \right\}
  • {\gamma + \zeta(2) = \sum_{k=2}^\infty\left(\frac1{\lfloor \sqrt{k} \rfloor^2} - \frac1{k}\right) = \sum_{k=2}^{\infty} \frac{k - \lfloor\sqrt{k}\rfloor^2}{k\lfloor\sqrt{k}\rfloor^2} = \frac12 + \frac23 + \frac1{2^2} \sum_{k=1}^{2 \times 2} \frac k {k+2^2} + \frac1{3^2} \sum_{k=1}^{3 \times 2} \frac k {k+3^2} + \dots.}
  • 2\gamma = \lim\limits_{z\to 0} \frac1{z}\left\{\frac1{\Gamma(1+z)} - \frac1{\Gamma(1-z)} \right\}
  •  \frac{\pi^2}{3\gamma^2} = \lim_{z\to 0} \frac1{z}\left\{\frac1{\Psi(1-z)} - \frac1{\Psi(1+z)} \right\}.
  •  \gamma = \ln\pi - 4\ln\Gamma(\tfrac34) + \frac4{\pi}\sum_{k=1}^{\infty}(-1)^{k+1}\frac{\ln(2k+1)}{2k+1}.
  •  e^{-\gamma} = \lim\limits_{x\to\infty}\ln x\prod\limits_{p\leqslant x}\left(1-\frac{1}{p}\right).
  •  \sum\limits_{p\leqslant x}\frac{\ln p}{p-1}=\ln x - \gamma +o(1).

См. также[править | править исходный текст]