Eulerin–Mascheronin vakio

Eulerin–Mascheronin vakio on matemaattinen vakio, jota käytetään pääosin lukuteoriassa. Se määritellään harmonisen sarjan ja luonnollisen logaritmin erotuksen raja-arvona:

$\gamma =\lim _{n\rightarrow \infty }\left[\left(\sum _{k=1}^{n}{\frac {1}{k}}\right)-\ln n\right]=\int _{1}^{\infty }\left({1 \over \lfloor x\rfloor }-{1 \over x}\right)\,dx$

Sitä merkitään yleensä pienellä kreikkalaisella kirjaimella γ (gamma), ja sen likiarvo 20 desimaalin tarkkuudella on 0,57721566490153286061. Ei tiedetä, onko γ rationaali- vai irrationaaliluku. Vakiota kutsutaan myös joskus Eulerin vakioksi, mutta sitä ei pidä sekoittaa e:n, joka tunnetaan paremmin Neperin lukuna, kanssa.

Eulerin–Mascheronin vakio esiintyy muun muassa gammafunktion tulokaavassa, luonnollisen logaritmin Laplacen muunnoksessa, Eulerin φ-funktion epäyhtälössä ja osana Meisselin–Mertensin vakiota.

Historiaa

Eulerin–Mascheronin vakion määritteli ensimmäisenä sveitsiläinen matemaatikko Leonhard Euler paperissaan De Progressionibus harmonicis observationes vuonna 1735. Euler käytti vakiolle merkintöjä C ja O ja laski sen arvon viiden desimaalin tarkkuudella. Vuonna 1781 hän oli laskenut vakion 15 desimaalin tarkkuudella.

Vuonna 1790 italialainen matemaatikko Lorenzo Mascheroni esitti vakiolle merkinnän A ja esitti sen arvon 31 desimaalin tarkkuudella, tosin 20.–22. desimaalit osoittautuivat virheellisiksi. Mascheroni ei koskaan käyttänyt merkintää γ. Vakiolla on sittemmin ollut yhteyksiä gammafunktioon.

Joulukuussa 2006 opiskelija Alexander J. Yee laski Eulerin–Mascheronin vakion 116 580 040 desimaalin tarkkuudella.

Integraaleja

${\begin{aligned}\gamma &=-\int _{0}^{\infty }{e^{-x}\ln x}\,dx=-4\int _{0}^{\infty }{e^{-x^{2}}x\ln x}\,dx\\&=-\int _{0}^{1}\ln \ln \left({\frac {1}{x}}\right)dx\\&=\int _{0}^{\infty }\left({\frac {1}{e^{x}-1}}-{\frac {1}{xe^{x}}}\right)dx=\int _{0}^{1}\left({\frac {1}{\ln x}}+{\frac {1}{1-x}}\right)dx\\&=\int _{0}^{\infty }\left({\frac {1}{1+x^{k}}}-e^{-x}\right){\frac {dx}{x}},\quad k>0\\&=\int _{0}^{\infty }\left({\frac {1}{kx+1}}-e^{-kx}\right){\frac {\mathrm {d} x}{x}},\quad k>0\\&=\int _{0}^{\infty }{\frac {\ln(1+x)}{\ln ^{2}x+\pi ^{2}}}\cdot {\frac {dx}{x^{2}}}\\&={\frac {1}{2}}+2\int _{0}^{\infty }{\frac {\sin(\arctan x)}{(e^{2\pi x}-1){\sqrt {1+x^{2}}}}}\mathrm {d} x=\int _{0}^{1}H_{x}dx=-\int _{0}^{\infty }\left({\frac {\ln x}{e^{x}}}\right)dx\end{aligned}}.$

Hieman monimutkaisempia integraaleja:

$\int _{0}^{\infty }{e^{-x^{2}}\ln x}\,dx=-{\tfrac {1}{4}}(\gamma +2\ln 2){\sqrt {\pi }}$

$\int _{0}^{\infty }{e^{-x}\ln ^{2}x}\,dx=\gamma ^{2}+{\frac {\pi ^{2}}{6}}.$

Kaksoisintegraali gammalle on

$\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).$

Vertaa

$\ln \left({\frac {4}{\pi }}\right)=\int _{0}^{1}\int _{0}^{1}{\frac {x-1}{(1+x\,y)\ln(x\,y)}}\,dx\,dy=\sum _{n=1}^{\infty }(-1)^{n-1}\left({\frac {1}{n}}-\ln {\frac {n+1}{n}}\right).$

Catalan löysi integraalin

$\gamma =\int _{0}^{1}{\frac {1}{1+x}}\sum _{n=1}^{\infty }x^{2^{n}-1}\,dx.$