Naturlig logaritme

Graf for den naturlige logaritme, $y=\ln (x)$. Funktionen går mod minus uendelig når $x$ går mod nul. Funktionen går langsomt mod uendelig for $x$ gående mod uendelig.

Den naturlige logaritme, $\ln$ er en af de vigtigste matematiske funktioner, og den har utallige teoretiske og praktiske anvendelser. Det er en trancendent funktion, hvilket vil sige at den ikke kan defineres ved hjælp af polynomier og roduddragning men er defineret ved hjælp af infinitisimalregning. Det er en logaritmefunktion med grundtallet e, $e\approx 2,718281828$, for hvilken der gælder at

$\ln (e)=1.$

Den naturlige logaritme er den inverse funktion af den naturlige eksponentialfunktion.

Til forskel fra andre logaritmer, der som oftest betegnes ${\log }_a(x)$, hvor a repræsenterer grundtallet, bruger man hyppigst blot notationen $\ln (x)$ for den naturlige logaritme. Mange steder i litteraturen benyttes dog, lidt misvisende, $\log (x)$ til at betegne den naturlige logaritme.

Siden man begyndte at bruge lommeregnere og computere til at foretage beregninger, er man i mange tilfælde gået over til at anvende naturlige logarimer i stedet for 10-talslogaritmer.

Definition

Den naturlige logaritme i punktet $a>0$ er defineret som integralet af funktionen $1/x$ fra 1 til $a$

$\ln (a)\equiv \underset{1}{\overset{a}{\int }}\frac{1}{x}\mathrm{d}x$.

Definitionen på den naturlige logaritme af $a$, givet ved arealet under $1/x$, fra $1$ til $a$. For $a=e$ er arealet eksakt $1$.

Regneregler

Ud fra definitionen af naturlig logaritme kan man bevise følgende logaritmeregler:

$\ln (a\cdot b)=\ln \left(a\right)+\ln \left(b\right)\text{ for }a,b>0,$

$\ln \left(\frac{a}{b}\right)=\ln (a)-\ln (b),$

$\ln \left(a^x\right)=x\cdot \ln (a).$

Den første af disse logaritmeregler kan vises ved at benytte substitutionen $t=\frac{x}{a}$ som vist her

$\ln (a\cdot b)$	$=\underset{1}{\overset{ab}{\int }}\frac{1}{x}\mathrm{d}x$
	$=\underset{1}{\overset{a}{\int }}\frac{1}{x}\mathrm{d}x+\underset{a}{\overset{ab}{\int }}\frac{1}{x}\mathrm{d}x$
	$=\underset{1}{\overset{a}{\int }}\frac{1}{x}\mathrm{d}x+\underset{1}{\overset{b}{\int }}\frac{1}{t}\mathrm{d}t$
	$=\ln \left(a\right)+\ln \left(b\right).$

De øvrige regneregler kan vises på lignende måde ud fra definitionen. Derudover gælder følgende regneregler:

$\ln \left(\frac{a}{b}\right)=-\ln \left(\frac{b}{a}\right),$

${\mathrm{e}}^{\ln \left(a\right)}=a.$

Differentiation og integration

Differentialkvotienten af $\ln (x)$ er givet ved følgende:

$\frac{\mathrm{d}}{\mathrm{d}x}(\ln (x))=\frac{1}{x},$

hvilket følger umiddelbart af definitionen.

Det ubestemte integral af $\ln (x)$ er givet ved

$\int (\ln (x))\text{d}x=x(\ln \left(x\right)-1)+c.$

Rækkerepræsentationer

Illustration af hvorledes rækken $\sum _{k=1}^n(-1{)}^{(k-1)}\frac{(x-1{)}^k}{k}$ konvergerer mod $\ln (x)$ for $0<x\le 2$ for et stigende antal led $n$ i rækken.

Maclaurinrækken for funktionen $\ln (1+x)$ kaldes Mercators række og er givet ved

$\begin{array}{cc}\ln (1+x)& =x-\frac{1}{2}{x}^2+\frac{1}{3}{x}^3-\frac{1}{4}{x}^4+\cdots \\ & =\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{(n-1)}\frac{x^n}{n}\text{ for }-1<x\le 1\end{array}$

Foretages substitutionen $x\to x-1$, finder man følgende rækkerepræsentation for den naturlige logaritme:

$\begin{array}{cc}\ln \left(x\right)& =(x-1)-\frac{1}{2}(x-1{)}^2+\frac{1}{3}(x-1{)}^3-\frac{1}{4}(x-1{)}^4+\cdots \\ & =\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{(n-1)}\frac{(x-1{)}^n}{n}\text{ for }0<x\le 2\end{array}$

Denne række, er den simpleste rækkerepræsentation for den naturlige logaritme, men den konvergerer kun forholdsvis langsomt og er altså kun gyldigt i et mindre værdiområde.

Ved at kombinere Mercators række med de basale regneregler for den naturlige logaritme kan man fremkomme med andre interessante rækkerepræsentationer. Foretager man f.eks. substitutionen $x\to -x$ skifter fortegnet på alle de ulige led i Mercators rækken

$\begin{array}{cc}\ln (1-x)& =(-x)-\frac{1}{2}(-x{)}^2+\frac{1}{3}(-x{)}^3-\frac{1}{4}(-x{)}^4+\cdots \\ & =-x-\frac{1}{2}{x}^2-\frac{1}{3}{x}^3-\frac{1}{4}{x}^4+\cdots ,\text{ for }-1\le x<1\end{array}$

Ved hjælp af rækkerepræsentationerne for $\ln (1+x)$ og $\ln (1-x)$ findes da

$\begin{array}{cc}\ln \left(\frac{1+x}{1-x}\right)& =\ln (1+x)-\ln (1-x)\\ & =2x+\frac{2}{3}{x}^3+\frac{2}{5}{x}^5+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{2}{2n+1}{x}^{2n+1}\text{ for }|x|<1\\ \end{array}$

Dette er en interessant række, idet argumentet $(1+x)/(1-x)$ antager alle mulige positive reelle værdier for $|x|<1$. Dette kan benyttes til at udlede en generel rækkerepræsentation for $\ln (x)$ gældende for hele funktionens værdiområde. Hvis vi definerer

$t=\frac{x-1}{x+1}$

Illustration af hvorledes rækken $\sum _{k=0}^n\frac{2}{2k+1}{\left(\frac{x-1}{x+1}\right)}^{2k+1}$ konvergerer mod $\ln (x)$ for et stigende antal led $n$ i rækken.

kan vi udtrykke $x(t)$ som

$x=\frac{1+t}{1-t}.$

Derved findes følgende rækkerepræsentation for den naturlige logaritme

$\begin{array}{cc}\ln \left(x\right)& =\ln \left(\frac{1+t}{1-t}\right)\\ & =2t+\frac{2}{3}{t}^3+\frac{2}{5}{t}^5+\cdots \\ & =2\cdot \frac{x-1}{x+1}+\frac{2}{3}{\left(\frac{x-1}{x+1}\right)}^3+\frac{2}{5}{\left(\frac{x-1}{x+1}\right)}^5+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{2}{2n+1}{\left(\frac{x-1}{x+1}\right)}^{2n+1}\text{ for }x>0\end{array}$

som altså er gældende for alle positive reelle tal. Rækken konvergerer hurtigst for værdier omkring $x=1$, som vist i figuren.

Specielle værdier

Af definitionen på den naturlige logaritme fremgår det at

$\ln \left(1\right)=0.$

Indsættes $x=1$ i Maclaurin rækken for $\ln (1+x)$ fremkommer den alternerende harmoniske række

$\ln \left(2\right)$	$=\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{(n-1)}\frac{1}{n}$
	$=1-\frac{1}{2}+\frac{1}{3}-\frac{1}{4}+\cdots$
	$\simeq 0.69314718055994530941723212145818\dots$

Relation til andre logaritmefunktioner

Logaritmefunktionen med grundtal a er relateret til den naturlige eksponentialfunktion ved ligningen

${\log }_a(x)=\frac{\ln (x)}{\ln (a)}.$

Denne ligning kan bruges til at definere de øvrige logaritmefunktioner ud fra den naturlige logaritmefunktion og regnereglerne for for de øvrige logaritmefunktioner følger også umiddelbart ud fra denne ligning. Tilsvarende gælder at

$\ln (x)=\frac{{\log }_a(x)}{{\log }_a(\mathrm{e})}.$

Den naturlige logaritmefunktion skiller sig ud blandt logaritmefunktionerne ved at den er simplere at differentiere og integrere.