Redigerer Euler-Mascheronis konstant

[[Fil:Gamma-area.svg|thumb|320px|Den blå delen representerer Euler-Mascheronis konstant som differensen mellom den [[harmonisk rekke|harmoniske rekken]] (areal av rektangler) og den [[naturlig logaritme|naturlige logaritmen]] log ''x'' (areal under kurven 1/''x'' vist i lilla farge).]]
'''Euler-Mascheronis konstant''' (også omtalt som '''Eulers konstant''') er en [[matematikk|matematisk]] konstant som er viktig i [[matematisk analyse]] og [[tallteori]]. Den blir betegnet med en liten, [[gamma|gresk gamma]] &gamma; og er definert som grensen av differensen mellom det ''n''-te [[harmonisk tall|harmoniske tallet]]  ''H<sub>n</sub>'' og den [[naturlig logaritme|naturlige logaritmen]] ln''n'' for store ''n'',

: <math>\gamma = \lim_{n\to\infty} \Big(H_n - \ln n\Big) = \lim_{n \rightarrow \infty } \Big(1+\frac12+\frac13 + \dots + \frac1n  - \ln n \Big) </math>

Denne differansen konvergerer svært langsomt mot en nøyaktig verdi, men det finnes mange andre definisjoner av konstanten som gir en raskere beregning.

En beste numerisk tilnærming til Euler–Mascheroni konstanten, er: 𝛾 ≅ {{#invoke:LargeNum|property|P1181|trailing=…}} {{OEIS|A001620}}

Konstanten ble først undersøkt og beregnet med 6 desimalers nøyaktighet av [[Leonhard Euler]] i 1734. Noen år senere fant han en mer presis verdi med 15 sikre desimaler. I 1790 klarte Lorenzo Mascheroni å regne ut en verdi med hele 32 desimaler, men noen få år senere viste det seg at de 12 siste var feil. På tross av dette ble likevel hans navn knyttet til konstanten i årene som fulgte. 

I tillegg til å opptre i mange rent matematiske sammenhenger, har det vist seg at den inngår i [[elementærpartikkel]]fysikk basert på beregninger gjort i [[kvantefeltteori]]. Her opptrer divergenser som kan fjernes ved bruk av «renormalisering». Det er fra denne prosessen at Euler-Mascheronis konstant også får en fysisk betydning.

==Numerisk beregning==

Definisjonen av konstanten kan også skrives som

: <math> \gamma = \lim_{n \rightarrow \infty } \Big(\sum_{k=1}^n \frac1{k} - \ln(n+1) \Big)
       = \sum_{k=1}^{\infty}\Big( \frac1{k} - \ln\frac{k+1}{k} \Big) </math>

når man benytter den trinnvise kanselleringen av de to bidragene fra logaritmen i hvert ledd som inngår i summasjonen. Selv om denne omskrivningen gjør den numeriske beregningen av konstanten noe enklere, er konvergensen likevel langsom.

Euler tok opprinnelig utgangspunkt i den kjente rekken

: <math> \ln(1 + x) = \sum_{k=1}^\infty(-1)^{k+1} {x^k\over k} = x - {x^2\over 2} + {x^3\over 3} + \cdots </math>

Ved her å sette inn ''x'' = 1/2, 1/3, 1/4, ... , 1/''n'' og så legge sammen rekkene i grensen at ''n'' ble veldig stor, fant han ''&gamma;'' uttrykt ved verdiene til raskt konvergerende serier. Disse ble senere kalt for [[Riemanns zetafunksjon]] ''&zeta;''(''x'') med heltallige argument,

: <math> \gamma = \sum_{k=2}^\infty (-1)^k {\zeta(k)\over k} = {1\over 2}\zeta(2) - {1\over 3}\zeta(3) + {1\over 4}\zeta(4) + \cdots </math>

På denne måten fant han i 1734 verdien ''&gamma;'' = 0.577218, et resultat med 5 sikre desimaler.

[[Fil:Euler mascheroni constant.svg|left|thumb|300px|Det grå arealet representer  Euler-Mascheroni-konstanten ''&gamma;'' som integralet av  - ln(ln(1/x)) fra 0 til 1.]]
Omtrent på samme tid utviklet han [[Euler-Maclaurins formel]] for summasjon av rekker. Den benyttet han til å beregne det ''n''-te [[harmonisk tall|harmoniske tallet]] ''H<sub>n</sub>'' med det resultat at

: <math> \gamma = H_n -  \ln n - \frac{1}{2n} + \frac{1}{12n^2} - {1\over 120 n^4} + \cdots </math>

Her konvergerer uttrykket på høyre side raskt for økende verdier av ''n''. Ved å velge ''n'' = 10 klarte Euler å finne konstanten med 15 korrekte desimaler ved å ta med ledd opp til orden {{nowrap|1/''n''<sup>&thinsp;8</sup>}}.

De harmoniske tallene er direkte forbundet med [[digammafunksjon]]en ''&psi;''(''x'') som igjen er gitt ved den deriverte av [[gammafunksjon]]en,

: <math> H_n  = \gamma +  \psi(n + 1) </math>

Denne sammenhengen har sitt utgangspunkt i at ''&psi;''(1) = &Gamma;'(1) = - ''&gamma;''. Fra det [[gammafunksjon#Digammafunksjonen|definerende integralet]] for gammafunksjonen følger da at

: <math> \gamma =  - \int_0^\infty\!dt\, \ln t\, e^{-t} = - \int_0^1\!dx \ln \ln {1\over x} </math>

Dette uttrykket egner seg godt til numerisk beregning av konstanten. Mange andre, lignende formler finnes og kan benyttes for det formål. Millioner av desimaler er i dag funnet med slike metoder.

==Divergenser==

Mange [[analytisk funksjon|analytiske funksjoner]] har [[singularitet]]er hvor de divergerer. Det mest vanlige er at disse er [[kompleks analyse|enkle poler]]. Det gjelder også for [[gammafunksjon]]en &Gamma;(''z'') som har slike poler for ''z'' = 0 og dermed også for alle negative heltall. Like i nærheten til en av disse er det Euler-Mascheronis konstant som bestemmer verdien av funksjonen. Det har sitt opphav i at {{nowrap|&Gamma;'(1) {{=}} - ''&gamma;''}}. Ved å utvikle funksjonen om punktet ''z'' = 1 i en [[Taylor-rekke]], har man da

: <math> \Gamma(1+x) = \Gamma(1) + x\Gamma'(1) + \cdots = 1 - \gamma x + \cdots </math>

når ''x'' blir veldig liten. Men nå er &Gamma;(''x'') = (1/''x'')&thinsp;&Gamma;(1 + ''x'') slik at når ''x'' &rarr; 0 divergerer gammafunksjonen i dette punktet som

: <math> \Gamma(x) = {1\over x} - \gamma + O(x) </math>

Ut fra dette resultatet kan man finne oppførselen av funksjonen ved de andre polene. For eksempel,

: <math>\begin{align} \Gamma( -1 + x) &= {\Gamma(x)\over - 1 +x} = - \big(1 + x + x^2 + \cdots\big) \Big({1\over x} - \gamma + \cdots \Big) \\ 
&=  -{1\over x} - 1 + \gamma + O(x) \end{align}</math>

Slik kan man fortsette og finner den singulære oppførselen ved den ''n''-te polen som

: <math> \Gamma( -n + x)  ={(-1)^n\over n!}\Big({1\over x} + H_n - \gamma  +  O(x) \Big)</math>

hvor ''H<sub>n</sub>'' = 1 + 1/2 + 1/3 + ... + 1/''n''&thinsp; er the ''n''-te [[harmonisk tall|harmoniske tallet]]. Kombinasjonen {{nowrap|''H<sub>n</sub>'' - ''&gamma;'' {{=}} ''&psi;''(''n'' + 1)}} når man benytter definisjonen av [[digammafunksjon]]en.

Euler-Mascheronis konstant opptrer på en lignende måten ved den enkle polen som [[Riemanns zetafunksjon]] ''&zeta;''(''z'') har i punktet ''z'' = 1. Der har den formen

: <math> \zeta(1 + x) = {1\over x} +  \gamma  + O(x) </math>

når ''x'' går mot null. Dette er den eneste singulariteten til denne funksjonen. Med bruk av [[Gammafunksjon|gammafunkjonen]] vet man også at:

<math>\lim_{n \to 0^-}\bigr(\frac{1}{n}-\Gamma(-n)\bigr).</math>

===Kvantefeltteori===

Moderne [[elementærpartikkel]]fysikk er beskrevet ved [[kvantefeltteori|relativistisk kvantefeltteori]] i et firedimensjonalt [[tidrom]]. Ved konkrete beregninger opptrer det nesten alltid divergente integral  som kan gjøres fysisk meningsfulle ved en  omstendelig prosess som kalles «renormalisering». 

På begynnelsen av 70-tallet viste [[Kenneth Wilson]] og [[Gerardus 't Hooft]] at dette kan gjøres mer systematisk ved å benytte en ny metode som nå kalles «dimensjonell regularisering». Man tenker seg da at tidsrommet ikke har nøyaktig {{nowrap|''D'' {{=}} 4}} dimensjoner, men i stedet {{nowrap|4 + ''&epsilon;''}} hvor ''&epsilon;'' er et lite tall som på slutten av beregningen må bli null. Med denne antagelsen vil nå alle integral være endelige og kan føres tilbake til integral over [[kule (geometri)#Kuler i høyere dimensjoner|kuleflater]] i {{nowrap|''D'' {{=}} 4 + ''&epsilon;''}} dimensjoner. Integralene kan uttrykkes ved gammafunksjoner hvor divergensene er isolerte til denne funksjonens poler for negative heltall. Det endelige, fysiske innhold av integrasjonene ligger i den forøvrige oppførselen til funksjonen i nærheten av disse. Dermed vil det fysiske eller observerbare resultatet av beregningen inneholde Euler-Mascheronis konstant.

==Litteratur==

* J. Havil,  ''Gamma: Exploring Euler's Constant'', Princeton University Press, New Jersey (2003). ISBN 0-691-09983-9.
* W. Dunham,  ''Euler: The Master of Us All'',  The Mathematical Association of America (1999). ISBN 0-88385-328-0.
* J.C. Lagarias, [http://www.ams.org/journals/bull/2013-50-04/S0273-0979-2013-01423-X/S0273-0979-2013-01423-X.pdf ''Euler's constant: Euler's work and modern developments''],  Bull. Am. Math. Soc. '''50''' (4), 527–628 (2013).
* C. Itzykson and J-B. Zuber, ''Quantum Field Theory'', McGraw-Hill, New York (1980). ISBN 0-07-032071-3.

==Eksterne lenker==

* E.W. Weisstein, MathWorld, [http://mathworld.wolfram.com/Euler-MascheroniConstant.html ''Euler-Mascheroni Constant'']

{{Autoritetsdata}}

[[Kategori:Matematiske konstanter]]