Agfdhyk

歐拉-馬斯刻若尼常數是一个数学常数，定义为调和级数与自然对数的差值：

γ=limn→∞[(∑k=1n1k)−ln⁡(n)]=∫1∞(1⌊x⌋−1x)dx{displaystyle gamma =lim _{nrightarrow infty }left[left(sum _{k=1}^{n}{frac {1}{k}}right)-ln(n)right]=int _{1}^{infty }left({1 over lfloor xrfloor }-{1 over x}right),dx}

它的近似值为γ≈0.577215664901532860606512090082402431042159335{displaystyle gamma approx 0.577215664901532860606512090082402431042159335}^[1]，

歐拉-馬斯刻若尼常數主要应用于数论。

历史

该常数最先由瑞士数学家莱昂哈德·欧拉在1735年发表的文章De Progressionibus harmonicus observationes中定义。欧拉曾经使用C{displaystyle C}作为它的符号，并计算出了它的前6位小数。1761年他又将该值计算到了16位小数。1790年，意大利数学家洛倫佐·馬斯刻若尼（英语：Lorenzo Mascheroni）引入了γ{displaystyle gamma }作为这个常数的符号，并将该常数计算到小数点后32位。但后来的计算显示他在第20位的时候出现了错误。

目前尚不知道该常数是否为有理数，但是分析表明如果它是一个有理数，那么它的分母位数将超过10²⁴²⁰⁸⁰。^[2]

性质

与伽玛函数的关系

 −γ=Γ′(1)=Ψ(1){displaystyle -gamma =Gamma '(1)=Psi (1)}。

γ=limx→∞[x−Γ(1x)]{displaystyle gamma =lim _{xto infty }left[x-Gamma left({frac {1}{x}}right)right]}。

γ=limn→∞[Γ(1n)Γ(n+1)n1+1nΓ(2+n+1n)−n2n+1]{displaystyle gamma =lim _{nto infty }left[{frac {Gamma ({frac {1}{n}})Gamma (n+1),n^{1+{frac {1}{n}}}}{Gamma (2+n+{frac {1}{n}})}}-{frac {n^{2}}{n+1}}right]}。

与ζ函数的关系

γ=∑m=2∞(−1)mζ(m)m{displaystyle gamma =sum _{m=2}^{infty }{frac {(-1)^{m}zeta (m)}{m}}}

=ln⁡(4π)+∑m=1∞(−1)m−1ζ(m+1)2m(m+1){displaystyle =ln left({frac {4}{pi }}right)+sum _{m=1}^{infty }{frac {(-1)^{m-1}zeta (m+1)}{2^{m}(m+1)}}}。

limε→0ζ(1+ε)+ζ(1−ε)2=γ{displaystyle lim _{varepsilon to 0}{frac {zeta (1+varepsilon )+zeta (1-varepsilon )}{2}}=gamma }

γ=32−ln⁡2−∑m=2∞(−1)mm−1m[ζ(m)−1]{displaystyle gamma ={frac {3}{2}}-ln 2-sum _{m=2}^{infty }(-1)^{m},{frac {m-1}{m}}[zeta (m)-1]}

=limn→∞[2n−12n−lnn+∑k=2n(1k−ζ(1−k)nk)]{displaystyle =lim _{nto 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]}。

=limn→∞[2ne2n∑m=0∞2mn(m+1)!∑t=0m1t+1−nln⁡2+O(12ne2n)]{displaystyle =lim _{nto infty }left[{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+Oleft({frac {1}{2^{n},e^{2^{n}}}}right)right]}

γ=lims→1+∑n=1∞(1ns−1sn)=lims→1+(ζ(s)−1s−1){displaystyle gamma =lim _{sto 1^{+}}sum _{n=1}^{infty }left({frac {1}{n^{s}}}-{frac {1}{s^{n}}}right)=lim _{sto 1^{+}}left(zeta (s)-{frac {1}{s-1}}right)}

γ=limx→∞[x−Γ(1x)]{displaystyle gamma =lim _{xto infty }left[x-Gamma left({frac {1}{x}}right)right]}

=limn→∞1n∑k=1n(⌈nk⌉−nk){displaystyle =lim _{nto infty }{frac {1}{n}},sum _{k=1}^{n}left(leftlceil {frac {n}{k}}rightrceil -{frac {n}{k}}right)}。

γ=∑k=1n1k−ln⁡(n)−∑m=2∞ζ(m,n+1)m{displaystyle gamma =sum _{k=1}^{n}{frac {1}{k}}-ln(n)-sum _{m=2}^{infty }{frac {zeta (m,n+1)}{m}}}

积分

γ=−∫0∞e−xln⁡xdx=∫∞0e−xln⁡xdx{displaystyle gamma =-int _{0}^{infty }{e^{-x}ln x},dx=int _{infty }^{0}{e^{-x}ln x},dx}^{[證明 1]}=−∫01ln⁡ln⁡1xdx{displaystyle =-int _{0}^{1}{ln ln {frac {1}{x}}},dx}

=∫0∞(11−e−x−1x)e−xdx{displaystyle =int _{0}^{infty }{left({frac {1}{1-e^{-x}}}-{frac {1}{x}}right)e^{-x}},dx}

=∫0∞1x(11+x−e−x)dx{displaystyle =int _{0}^{infty }{{frac {1}{x}}left({frac {1}{1+x}}-e^{-x}right)},dx}

∫0∞e−x2ln⁡xdx=−14(γ+2ln⁡2)π{displaystyle int _{0}^{infty }{e^{-x^{2}}ln x},dx=-{tfrac {1}{4}}(gamma +2ln 2){sqrt {pi }}}

∫0∞e−xln2⁡xdx=γ2+π26{displaystyle int _{0}^{infty }{e^{-x}ln ^{2}x},dx=gamma ^{2}+{frac {pi ^{2}}{6}}}。

γ=∫01∫01x−1(1−xy)ln⁡(xy)dxdy=∑n=1∞(1n−ln⁡n+1n){displaystyle gamma =int _{0}^{1}int _{0}^{1}{frac {x-1}{(1-x,y)ln(x,y)}},dx,dy=sum _{n=1}^{infty }left({frac {1}{n}}-ln {frac {n+1}{n}}right)}

∑n=1∞N1(n)+N0(n)2n(2n+1)=γ{displaystyle sum _{n=1}^{infty }{frac {N_{1}(n)+N_{0}(n)}{2n(2n+1)}}=gamma }

级数展开式

γ=∑k=1∞[1k−ln⁡(1+1k)]{displaystyle gamma =sum _{k=1}^{infty }left[{frac {1}{k}}-ln left(1+{frac {1}{k}}right)right]}

γ=1−∑k=2∞(−1)k⌊log2⁡k⌋k+1{displaystyle gamma =1-sum _{k=2}^{infty }(-1)^{k}{frac {lfloor log _{2}krfloor }{k+1}}}.

γ=∑k=2∞(−1)k⌊log2⁡k⌋k=12−13+2(14−15+16−17)+3(18−⋯−115)+…{displaystyle gamma =sum _{k=2}^{infty }(-1)^{k}{frac {leftlfloor log _{2}krightrfloor }{k}}={tfrac {1}{2}}-{tfrac {1}{3}}+2left({tfrac {1}{4}}-{tfrac {1}{5}}+{tfrac {1}{6}}-{tfrac {1}{7}}right)+3left({tfrac {1}{8}}-dots -{tfrac {1}{15}}right)+dots }

γ+ζ(2)=∑k=1∞1k⌊k⌋2=1+12+13+14(14+⋯+18)+19(19+⋯+115)+…{displaystyle gamma +zeta (2)=sum _{k=1}^{infty }{frac {1}{klfloor {sqrt {k}}rfloor ^{2}}}=1+{tfrac {1}{2}}+{tfrac {1}{3}}+{tfrac {1}{4}}left({tfrac {1}{4}}+dots +{tfrac {1}{8}}right)+{tfrac {1}{9}}left({tfrac {1}{9}}+dots +{tfrac {1}{15}}right)+dots }

γ=∑k=2∞k−⌊k⌋2k2⌊k⌋2=122+232+122(152+262+372+482)+132(1102+⋯+6152)+…{displaystyle gamma =sum _{k=2}^{infty }{frac {k-lfloor {sqrt {k}}rfloor ^{2}}{k^{2}lfloor {sqrt {k}}rfloor ^{2}}}={tfrac {1}{2^{2}}}+{tfrac {2}{3^{2}}}+{tfrac {1}{2^{2}}}left({tfrac {1}{5^{2}}}+{tfrac {2}{6^{2}}}+{tfrac {3}{7^{2}}}+{tfrac {4}{8^{2}}}right)+{tfrac {1}{3^{2}}}left({tfrac {1}{10^{2}}}+dots +{tfrac {6}{15^{2}}}right)+dots }

γ=∫0111+x∑n=1∞x2n−1dx{displaystyle gamma =int _{0}^{1}{frac {1}{1+x}}sum _{n=1}^{infty }x^{2^{n}-1},dx}

γ{displaystyle gamma }的连分数展开式为：

γ=[0;1,1,2,1,2,1,4,3,13,5,1,1,8,1,2,4,1,1,40,...]{displaystyle gamma =[0;1,1,2,1,2,1,4,3,13,5,1,1,8,1,2,4,1,1,40,...],} （OEIS中的数列A002852）.

渐近展开式

γ≈Hn−ln⁡(n)−12n+112n2−1120n4+...{displaystyle gamma approx H_{n}-ln left(nright)-{frac {1}{2n}}+{frac {1}{12n^{2}}}-{frac {1}{120n^{4}}}+...}

γ≈Hn−ln⁡(n+12+124n−148n3+...){displaystyle gamma approx H_{n}-ln left({n+{frac {1}{2}}+{frac {1}{24n}}-{frac {1}{48n^{3}}}+...}right)}

γ≈Hn−ln⁡(n)+ln⁡(n+1)2−16n(n+1)+130n2(n+1)2−...{displaystyle gamma approx H_{n}-{frac {ln left(nright)+ln left({n+1}right)}{2}}-{frac {1}{6nleft({n+1}right)}}+{frac {1}{30n^{2}left({n+1}right)^{2}}}-...}

已知位数

γ{displaystyle {boldsymbol {gamma }}}的已知位数

日期	位数	计算者
1734年	5	莱昂哈德·欧拉
1736年	15	莱昂哈德·欧拉
1790年	19	Lorenzo Mascheroni
1809年	24	Johann G. von Soldner
1812年	40	F.B.G. Nicolai
1861年	41	Oettinger
1869年	59	William Shanks
1871年	110	William Shanks
1878年	263	约翰·柯西·亚当斯
1962年	1,271	高德纳
1962年	3,566	D.W. Sweeney
1977年	20,700	Richard P. Brent
1980年	30,100	Richard P. Brent和埃德温·麦克米伦
1993年	172,000	Jonathan Borwein
1997年	1,000,000	Thomas Papanikolaou
1998年12月	7,286,255	Xavier Gourdon
1999年10月	108,000,000	Xavier Gourdon和Patrick Demichel
2006年7月16日	2,000,000,000	Shigeru Kondo和Steve Pagliarulo
2006年12月8日	116,580,041	Alexander J. Yee
2007年7月15日	5,000,000,000	Shigeru Kondo和Steve Pagliarulo
2008年1月1日	1,001,262,777	Richard B. Kreckel
2008年1月3日	131,151,000	Nicholas D. Farrer
2008年6月30日	10,000,000,000	Shigeru Kondo和Steve Pagliarulo
2009年1月18日	14,922,244,771	Alexander J. Yee和Raymond Chan
2009年3月13日	29,844,489,545	Alexander J. Yee和Raymond Chan

相关证明

1. 
   ^ γ=−∫0∞e−xln⁡xdx{displaystyle gamma =-int _{0}^{infty }{e^{-x}ln x},dx}的证明：
   
   
   首先根据放缩法（∫kk+11xdx<1k<∫k−1k1xdx{displaystyle int _{k}^{k+1}{frac {1}{x}},dx<{frac {1}{k}}<int _{k-1}^{k}{frac {1}{x}},dx}）容易知道，∫kk−11xdx−1k<1k(k−1){displaystyle int _{k}^{k-1}{frac {1}{x}},dx-{frac {1}{k}}<{frac {1}{k(k-1)}}}，以及ln⁡n<∑k=1n1k<1+ln⁡n{displaystyle ln n<sum _{k=1}^{n}{frac {1}{k}}<1+ln n}。因此γ{displaystyle gamma }存在并有限。
   ∑k=1n1k{displaystyle sum _{k=1}^{n}{frac {1}{k}}}
   =∑k=1n∫01tk−1dt{displaystyle =sum _{k=1}^{n}int _{0}^{1}t^{k-1},dt}
   =∫01∑k=1ntk−1dt{displaystyle =int _{0}^{1}sum _{k=1}^{n}t^{k-1},dt}
   =∫011−tn1−tdt{displaystyle =int _{0}^{1}{frac {1-t^{n}}{1-t}},dt}
   =∫n01−(1−xn)n1−(1−xn)d(1−xn){displaystyle =int _{n}^{0}{frac {1-left(1-{frac {x}{n}}right)^{n}}{1-left(1-{frac {x}{n}}right)}}dleft(1-{tfrac {x}{n}}right)}
   =∫n01−(1−xn)nxn(−1n)dx{displaystyle =int _{n}^{0}{frac {1-left(1-{frac {x}{n}}right)^{n}}{frac {x}{n}}}left(-{frac {1}{n}}right)dx}
   =∫0n1−(1−xn)nxdx{displaystyle =int _{0}^{n}{frac {1-left(1-{frac {x}{n}}right)^{n}}{x}}dx}
   
   
   而ln⁡n=∫1n1xdx,{displaystyle ln n=int _{1}^{n}{frac {1}{x}},dx,}
   
   
   所以γ=limn→∞(∑k=1n1k−ln⁡n){displaystyle gamma =lim _{nto infty }left(sum _{k=1}^{n}{frac {1}{k}}-ln nright)}
   =limn→∞[∫0n1−(1−x/n)nxdx−∫1n1xdx]{displaystyle =lim _{nto infty }left[int _{0}^{n}{frac {1-(1-x/n)^{n}}{x}},dx-int _{1}^{n}{frac {1}{x}},dxright]}
   =limn→∞[∫011−(1−x/n)nxdx−∫1n(1−x/n)nx]{displaystyle =lim _{nto infty }left[int _{0}^{1}{frac {1-(1-x/n)^{n}}{x}},dx-int _{1}^{n}{frac {(1-x/n)^{n}}{x}}right]}
   =∫011−limn→∞(1−x/n)nxdx−∫1∞limn→∞(1−x/n)nx{displaystyle =int _{0}^{1}{frac {1-lim _{nto infty }(1-x/n)^{n}}{x}},dx-int _{1}^{infty }{frac {lim _{nto infty }(1-x/n)^{n}}{x}}}
   （单调收敛定理）
   =∫011−e−xxdx−∫1∞e−xx{displaystyle =int _{0}^{1}{frac {1-e^{-x}}{x}},dx-int _{1}^{infty }{frac {e^{-x}}{x}}}
   =(1−e−x)ln⁡x|01−∫01ln⁡xd(1−e−x)−e−xln⁡x|1∞+∫1∞ln⁡xde−x{displaystyle =left.(1-e^{-x})ln xright|_{0}^{1}-int _{0}^{1}ln x,d(1-e^{-x})-left.e^{-x}ln xright|_{1}^{infty }+int _{1}^{infty }ln x,de^{-x}}
   =−∫0∞e−xln⁡xdx.{displaystyle =-int _{0}^{infty }e^{-x}ln x,dx.}
   

參考文獻

外部連結

• 埃里克·韦斯坦因. Euler-Mascheroni constant. MathWorld. 


• Krämer, Stefan "Euler's Constant γ=0.577... Its Mathematics and History."


• Jonathan Sondow.


• 
  Fast Algorithms and the FEE Method, E.A. Karatsuba (2005)


• Further formulae which make use of the constant: Gourdon and Sebah (2004).