Naturlig logaritme

**Naturlig logaritme** til et positivt, reelt tall er logaritmen til tallet når grunntallet i logaritmen er Eulers tall *e* =  I tillegg til å være reelt, er dette tallet også transcendentalt.

Generelt skrives den naturlige logaritmen av tallet *x* som ln&thinsp;*x*, log*e*&thinsp;*x* eller noen ganger når grunntallet *e* er underforstått, bare log&thinsp;*x*. Noen ganger omsluttes argumentet *x* med en parentes slik at man skriver  eller  istedet. Dette gjøres spesielt når argumentet er en sammensatt eller mer komplisert størrelse.

Enkelt sagt er den naturlige logaritmen til et tall *x* den potensen som *e* må opphøyes i for å gi tallet *x*. For eksempel, ln&thinsp;7.5 er 2.0149... fordi . Den naturlige logaritme til *e* er 1 fordi , mens den naturlige logaritmen til 1 er 0 da  

Den naturlige logaritmen ln&thinsp;*x* kan betraktes som en reell funksjon av the positive argumentet *x* og kalles for den **naturlige logaritmefunksjonen**. Fra definisjonen følger at

:  e^{\ln x} = x 

for all reelle tall *x* > 0. Funksjonen er jevnt økende i dette åpne intervallet. Den naturlige logaritmefunksjonen er derfor den inverse av den naturlige eksponentialfunksjonen. Det er ekvivalent med at ln&thinsp;*e*&thinsp;*x* = *x*.

Ved bruk av naturlige logaritmer kan generelle logaritmer med andre grunntall lett regnes ut. For eksempel er de vanlige, briggske logaritmene med grunntall 10, lik med de naturlige logaritmene dividert med ln&thinsp;10 = 2.302&thinsp;585... . På den måten kan de spesielle og gunstige egenskapene til naturlige logaritmer overføres til bruk av logaritmer med andre grunntall.

Den naturlige logaritmefunksjonen kan utvides til å gjelde også for negative og komplekse argument. Men da er den generelt ikke lenger entydig, men spiller likevel en sentral rolle i kompleks analyse.

De naturlige logaritmene er tett knyttet til de opprinnelige, *nepperske* logaritmene som John Napier foreslo og beregnet i 1614. Men i stedet for grunntallet *e*, er disse basert på grunntallet 1/*e*. Denne logaritmen av et tall blir derfor mindre desto større tallet er. I tillegg hadde de den upraktiske egenskapen at logaritmen til 1 ikke var null. I noen sammenhenger blir også naturlige logaritmer kalt for nepperske, særlig i eldre litteratur.

## Sentrale egenskaper

Fra definisjonen *e*&thinsp;ln&thinsp;*x* = *x* og egenskapene til den naturlige eksponentialfunksjonen, følger som forventet ln&thinsp;1 = 0 og ln&thinsp;*e* = 1. På samme måte finner man

:  e^{\ln x + \ln y} = e^{\ln x}e^{\ln y} = xy = e^{\ln xy} 

slik at 

:  \ln xy = \ln x + \ln y 

Ved å velge *y* = 1/*x*, har man da

:  \ln {1\over x} = - \ln x 

da  ln&thinsp;1 = 0. I praksis betyr dette at logaritmer til små tall kan finnes fra de tilsvarende store, inverse tallene. For eksempel er ln&thinsp;0.02 = - ln&thinsp;50 = - 3.91&thinsp;202... .

Det betyr at ln(*x*/*y*) = ln&thinsp;*x* - ln&thinsp;*y*. Likedan følger at  = 2&thinsp;ln&thinsp;*x* som kan utvides til å gi

:  \ln x^p = p\ln x 

for alle eksponenter *p*. Logaritmen er kvadratroten av et tall er halvparten av logaritmen til tallet, mens det kvadrerte tallet har en logaritme som er dobbel så stor. 

Dette er sentrale egenskaper som karakteriserer alle logaritmer.

## Derivasjon og integrasjon

Den deriverte av den naturlige logaritmefunksjonen  finnes mest direkte ved å betrakte den inverse funksjonen . Da den deriverte av den naturlige eksponentialfunksjonen er funksjonen selv, vil  = *x*. Herfra finnes nå den deriverte av logaritmefunksjonen som  = 1/*x* eller

:  {d\over dx}\ln x = {1\over x} 

Ved å bruke  kjerneregelen for derivasjon er derfor mer generelt 

:  {d\over dx}\ln f(x) = {f'(x)\over f(x)} 

for en reell funksjon *f*(*x*&thinsp;) > 0. Som et eksempel kan man betrakte den trigonometriske funksjonen sin*x*,

:  {d\over dx}\ln\sin x = {\cos x\over \sin x} = \cot x 

Ved å benytte analysens fundamentalteorem som forbinder derivasjon med integrasjon, har man nå at

:  \int\!dx{f'(x)\over f(x)} = \ln f(x) + C 

hvor *C* er en vilkårlig integrasjonskonstant. For eksempel, så er

:   \int\!dx\tan x =  \int\!dx {\sin x\over \cos x} = - \ln\cos x + C 

Det ubestemte Integralet av selve logaritmefunksjonen kan finnes ved delvis integrasjon,

:  \int\!dx\ln x = x\ln x -  \int\!dx x {1\over x} = x\ln x -  x + C  

Mer kompliserte integral hvor logaritmefunksjonen er multiplisert med en potens *x<sup>n</sup>*&thinsp; kan finnes på samme måte.

### Hyperbolsk definisjon

Verdien av den naturlige logaritmefunksjonen er gitt ved integralet

:  \ln a = \int_1^a \frac{1}{x}\,dx 

som tilsvarer arealet under hyperbelen *y* = 1/*x*&thinsp; fra *x* = 1 til *x = a*. Hvis *a*   \ln ab = \int_1^{ab}\frac{1}{x} \, dx = \int_1^a \frac{1}{x} \, dx + \int_a^{ab} \frac{1}{x} \, dx    

I det siste integralet på høyre side kan man innføre den nye integrasjonsvariable *x'&thinsp;* = *ax*. Det gir

:  \ln ab = \int_1^a \frac{1}{x} \, dx + \int_1^b \frac{1}{x'} \, dx' = \ln a + \ln b  

hvorfra det meste følger. Før sammenhengen med eksponentialfunksjonen var kjent, ble denne  geometriske definisjonen benyttet for den naturlige logaritmefunksjonen. Den ble derfor også omtalt som den **hyperbolske logaritmefunksjonen**.

## Rekkeutviklinger

Den hyperbolske definisjonen av den naturlige logaritmefunksjonen gjør det mulig å utvikle den i forskjellige, matematiske rekker. Skriver man den som

:  \ln(1+x) = \int_0^x{dt\over 1 + t} 

Når absoluttverdien |*x*&thinsp;|  {1\over 1 + t} = 1 - t + t^2 - t^3 + \cdots 

slik at man kan integrere hvert ledd i rekken for seg. Det gir

:   \ln(1+x) = x - {1\over 2}x^2 + {1\over 3}x^3 - {1\over 4}x^4 + \cdots 

Isaac Newton utledet dette resultatet, men publiserte ikke beregningen da han oppdaget at  Nicholas Mercator tidligere hadde funnet rekken. I ettertid er det derfor vanligvis Mercator som har fått navnet sitt knyttet til den. 

Rekken konvergerer langsomt og er derfor ikke så praktisk for numerisk beregning av logaritmer. Den konvergerer også for  og gir

:  \ln 2 = 1 - {1\over 2} + {1\over 3} - {1\over 4} + \cdots =  0.693\,147\,180\, .... 

Dette resultatet kan også benyttes til å beregne logaritmen til tall *x* > 1. Man dividerer det da så mange ganger *n* med 2 at det blir mindre enn 1 og benytter Mercators rekke på denne resten. På den måten finner man .

For  ser man at rekken blir den negative av den harmoniske rekken

:  H_\infty =  1 +  \frac{1}{2} +  \frac{1}{3} +  \frac{1}{4} + \frac{1}{5} + \cdots 

som  er divergent. Tar man med de *N* første leddene i denne rekken, vil den vokse som ln&thinsp;*N&thinsp;* pluss  Euler-Mascheronis konstant.

### Beregning av logaritmer
Ved å kombinere rekkene for ln(1 + *x*)  og ln(1 - *x*) finner man 

:  \ln {1 +x\over 1 - x} = 2\left(x + {x^3\over 3} + {x^5\over 5} + {x^7\over 7} + \cdots \right) 

Denne rekken konvergerer raskere for  |*x*|  \ln {N+1\over N} = 2\left({1\over 2N+1}+ {1\over 3\cdot (2N+1)^3}  +  {1\over 5\cdot (2N+1)^5} + \cdots \right) 

Dermed får man for *N* = 1 direkte at

:  \ln 2 =  2\left({1\over 3} + {1\over 3\cdot 3^3} +  {1\over 5\cdot 3^5} + \cdots \right) 

som med ganske få ledd gir en nøyaktig verdi. Denne prosessen kan fortsettes. Rekken for *N* = 2 konvergerer enda raskere og gir  Fra disse to verdiene finner man så direkte  samt . Slik kan man fortsette for større tall.

## Generell definisjon

Bortsett fra Napiers opprinnelige logaritmer, kan man definere den generelle logaritmefunksjonen  for det reelle tallet *x* ved den sentrale egenskapen

:  L(xy) = L(x) + L(y) 

Setter man her *x* = 0, ser man at funksjonen ikke eksisterer for denne verdien av argumentet. På samme måte med  vil  slik at 

:  L(1/x) = - L(x) 

som følger  fra definisjonen ved å sette *y* = 1/*x*. Likedan gir  at  med dets generalisering til vilkårlige potenser.

Mer informasjon om funksjonens egenskaper finnes i dens deriverte. Ved å holde *x* fast og så ta den deriverte av den definerende ligningen med hensyn på *y*,  får man sammenhengen . Velger man her  har man rsultatat

:  L'(x) =  k{1\over x} 

hvor konstanten *k* = *L'&thinsp;*(1) bestemmer grunntallet for logaritmen. Når denne er positiv, er logaritmefunksjonen  jevnt økende for alle argument . 

### Eulers tall

Hvert valg av konstanten  *k* tilsvarer et bestemt grunntall for logaritmen. Det enkleste valget *k* = 1 gir den  naturlige logaritmefunksjonen. Den betegnes med  for argumentet *x* og er gitt ved integralet

:  \ln x = \int_1^x\! \frac{1}{t}\, dt = \lim_{h \rightarrow 0}\int_1^x\! {1\over t^{1-h}} dt = \lim_{h \rightarrow 0} {x^h - 1\over h} 

Siden funksjonen er jevnt økende, finnes det et tall *e* slik at . Dette er Eulers tall og kan bestemmes ut fra kravet at den deriverte av den tilsvarende logaritmefunksjonen skal ha . 

Generelt for *k* &ne; 1 vil logaritmefunksjonen *L*(*x*&thinsp;) være basert på et annet grunntall *a*. For å indikere dette, er det vanlig å betegne den samme funksjonen som log*a*(*x*&thinsp;). Dens deriverte er per definisjon gitt som

:  {d\over dx}\log_a x = \lim_{h\rightarrow 0}{\log_a(x+h) - \log_a x\over h} =  \lim_{h\rightarrow 0}{1\over h}\log_a \Big(1 + {h\over x}\Big)  

Innfører man her 1/*n* = *h*/*x*, vil *n* &rarr; &infin; når *h* &rarr; 0 og *x* holdes fast. Dermed blir

:  {d\over dx}\log_a x = {1\over x}\log_a  \lim_{n\rightarrow\infty}\Big(1 + {1\over n}\Big)^n = {1\over x}\log_a\! e 

hvor Eulers tall er definert som

:  e =  \lim_{n\rightarrow\infty}\Big(1 + {1\over n}\Big)^n 

Hvis man hadde valgt grunntallet å være *a = e*, ville log*e*(*e*&thinsp;) = 1. Det er da naturlig å skrive funksjonen  som  med derivert .

Ved å ta den naturlige logaritmen av Eulers tall  får man at . Det betyr at den deriverte av logaritmefunksjonen for et vilkårlig grundtal *a* > 0 kan skrives som

:  {d\over dx}\log_a\!x = {1\over x}\log_a\!e = {1\over x\ln a} 

Dette generelle resultatet danner grunnlaget for all videreutvikling av logaritmefunksjonens egenskaper.

### Eksponentialfunksjonen

Den generelle eksponentialfunksjonen *E*(*x*&thinsp;) kan også defineres generelt for alle reelle argument *x* ved egenskapen

:  E(x) E(y) = E(x + y) 

En direkte konsekvens er derfor at funksjonen er positiv for alle verdier av argumentet. Setter man her *x* = 0, resulterer det i . Det spesielle valget  gir dermed at

:  E(-x) = {1\over E(x)} 

På samme måte finner man fra *y* = *x* at  =  som kan generaliseres til

:  E(px) = E^p(x) 

for en vilkårlig eksponent *p*. Hele funksjonen kan derfor genereres fra verdien for   Kalles denne for , har man dermed for den generelle eksponentialfunksjonen

:  E(x) = a^x 

Her er *a&thinsp;* grunntallet som nødvendigvis må være positivt. Den deriverte av funksjonen blir dermed

:  {d\over dx} a^x =  \lim_{h \to 0}{a^{x + h} - a^x\over h}  = a^x \lim_{h \to 0}{a^h - 1\over h} = a^x  \ln a 

Hvis man derfor benytter det spesielle grunntallet *a = e*,  er den deriverte av eksponentialfunksjonen funksjonen selv. 

Disse to funksjonene er invers til hverandre. Det betyr at

:  E(L(x)) = L(E(x)) = x 

Er grunntallet i funksjonene *a*, tilsvarer dette at

:  a^{\log_a\!x} = \log_a a^x = x 

Ved å derivere begge sider av ligningen med hensyn på *x*, finner man

:  a^{\log_a\!x}\ln a {d\over dx}\log_a\!x = 1 

Igjen gir dette den deriverte av logaritmefunksjonen som (*d*/*dx*)&thinsp;log*a**x* = 1/*x*&thinsp;ln*a* og dermed bekrefter at den kan betraktes som den inverse til eksponentialfunksjonen.

## Se også
* Logaritmers historie
* Eulers tall ''e''

## Referanser


## Litteratur

* R. Courant, ''Differential and Integral Calculus'', Volume I, Blackie & Son Limited, London (1961).