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

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

γ=limn(k=1n1klnn)=limn(1+12+13++1nlnn)
 Константа введена в 1735 году Леонардом Эйлером, он же предложил для неёобозначение C, которое до сих пор иногда применяется. Итальянскийматематик Лоренцо Маскерони в 1790 году вычислил 32 знака константы.Карл Антон Бретшнайдер предложил современное обозначение γ(греческая буква «гамма»).
 Значение константы:

γ ≈ 0,577 215 664 901 532 860 606 512 090 082 402 431 042 159 335939 923 598 805 767 234 884 867 726 777 664 670 936 947 063 291 746 749515\ldots
 В теории чисел нередко используется константа

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

Свойства



  • Постоянная Эйлера может быть выражена как интеграл:
    γ=0lnxexdx
    γ=101{1x}dx=11{x}x2dx, где {t} — дробная часть числа t.
    γ2+π26=0exln2xdx.
    14(γ+2ln2)π=0ex2lnxdx
  • Также она выражается через производную гамма-функции:
    γ=Γ(1)=Ψ(1).
  • До сих пор не выявлено, является ли это число рациональным. Однако теория цепных дробей показывает, что если постоянная Эйлера — рациональная дробь, её знаменатель больше 10242080
  • \{begin\{align\} \{gamma \&= \{frac\{3\}\{2\}- \{ln 2 - \{sum\_\{m=2\}\^\{infty (-1)\^m\{,\{frac\{m-1\}\{m\} [\{zeta(m)-1] \{\{

 \texttt\&= \{lim\_\{n \{to \{infty\} \{left [ \{frac\{2\{,n-1\}\{2\{,n\} - \{ln\{,n + \{sum\_\{k=2\}\^n \{left ( \{frac\{1\}\{k\} - \{frac\{\{zeta(1-k)\}\{n\^k\} \{right ) \{right ] \{\{\\\texttt\&=\{frac\{2\^n\}\{e\^\{2\^n\}\} \{sum\_\{m=0\}\^\{infty \{frac\{2\^\{m \{,n\}\}\{(m+1)!\} \{sum\_\{t=0\}\^m \{frac\{1\}\{t+1\} - n\{, \{ln 2+ O \{left ( \{frac\{1\}\{2\^n\{,e\^\{2\^n\}\} \{right ).\{end\{align\} 

  • γ=limmk=1m(mk)(1)kkln(k!).
  • γ=limn{Γ(1n)Γ(n+1)n1+1/nΓ(2+n+1n)n2n+1}
  • γ+ζ(2)=k=2(1k21k)=k=2kk2kk2=12+23+122k=12×2kk+22+132k=13×2kk+32+.
  • 2γ=limz01z{1Γ(1+z)1Γ(1z)}
  • π23γ2=limz01z{1Ψ(1z)1Ψ(1+z)}.
  • γ=lnπ4lnΓ(34)+4πk=1(1)k+1ln(2k+1)2k+1.
  • eγ=limxlnxpx(11p).
  • pxlnpp1=lnxγ+o(1).