Logaritme

De logaritme van een getal is de exponent waartoe een vast getal, het zogenaamde grondtal, moet worden verheven om dat eerste getal als resultaat te verkrijgen. Voor het grondtal 10 is de logaritme van 1000 bijvoorbeeld gelijk aan 3, omdat 1000 gelijk is aan 10 tot de macht 3: 1000 = 10 × 10 × 10 = 10³. Meer in het algemeen geldt dat als $x=a^{y}$, het getal $y$ de logaritme van $x$ is voor het grondtal $a$. Dit wordt geschreven als $y=\log _{a}(x)$ of, minder gangbaar, als $y=^{a}\!\log(x)$ . Zo is bijvoorbeeld $\log _{10}(1000)=3$. De logaritme is rond 1600 bedacht om makkelijk getallen te vermenigvuldigen en te delen. Met behulp van logaritmen kan vermenigvuldiging vervangen worden door optelling, wat eenvoudiger en minder foutgevoelig is.

Grafiek van de wiskundige functies ln(x) en log₁₀(x)
Beide functies hebben aan de linkerzijde van de grafiek als verticale asymptoot de lijn $x=0$.

Geschiedenis

Titelpagina van de logaritmetabellen van Briggs

De Zwitserse klokkenmaker Jost Bürgi, in dienst van de landgraaf van Hessen-Kassel, was de eerste die het begrip logaritme ontwikkelde.

De natuurlijke logaritme werd voor het eerst in 1614 door John Napier genoemd, die beschouwd wordt als de uitvinder van de logaritme. Hij schreef erover in zijn boek Mirifici Logarithmorum Canonis Descriptio. Aanvankelijk gebruikte Napier het getal 1/e als grondtal. Hij noemde logaritmen "artificial numbers", kunstmatige getallen. Later bedacht hij de term "logaritme", om aan te geven dat het zowel om een verhouding als om een getal ging, van het Oudgrieks: λόγος, logos, in de betekenis van verhouding en άριθμός, arithmos, getal.

Het gebruik van logaritmen droeg door de vereenvoudiging van ingewikkelde berekeningen bij aan de vooruitgang van de wetenschap, speciaal aan de sterrenkunde. De logaritmen verdrongen de ingewikkelder prosthaphaeresis, gebaseerd op goniometrische vergelijkingen, als snelle methode om te vermenigvuldigen. Voorafgaand aan de komst van rekenmachines en computers werden logaritmen veel gebruikt voor berekeningen, o.a. in de navigatie en de technische wetenschappen.

De Briggse logaritme is genoemd naar de Engelse wiskundige Henry Briggs. De logaritmetafels met het grondtal $e$ waren zeer moeilijk op te stellen. Ze waren daardoor onnauwkeurig. Briggs stelde voor het grondtal 10 toe te passen. Dit rekende gemakkelijker. Na een bezoek aan Napier in 1615 schreef Briggs zijn eerste werk, Logarithmorum Chilias Prima, Inleiding in de logaritmen, dat in 1617 verscheen. Hij schreef in 1624 nog een wiskundige verhandeling onder de titel Arithmetica Logarithmica. Dit werk bevatte de logaritmen van de natuurlijke getallen van 1 tot 20.000 en van 90.000 tot 100.000 berekend tot op 14 decimale cijfers. Hij stelde die tafels op door met pen en papier de eerste 27 opeenvolgende vierkantswortels uit 10 te trekken met 16 cijfers na de komma. De 27 volgende wortels bepaalde hij met een benaderingsformule. In hetzelfde werk vinden we ook tafels voor de sinus tot 15 decimale cijfers en van de tangens en secans tot op 10 decimale cijfers.

De nog aanwezige leemte in de logaritmetafel, 70%, tussen 20.000 en 90.000 was nog niet berekend, werd in Gouda door de landmeter Ezechiel de Decker opgevuld in twee afzonderlijke uitgaven. In 1626 verscheen zijn Eerste deel der nieuwe telkonst en in 1627 samen met Adriaen Vlacq het Tweede deel van de nieuwe telkonst. De volledige tafels werden in 1628 in Vlacqs Arithematica Logarithmica voor het eerst gepubliceerd.

De uiteindelijke complete tabellen van Briggs werden in 1631 in Gouda gedrukt en in 1633 onder de titel van Trigonometria Britannica gepubliceerd. Dit werk was de opvolger van Briggs' in 1617 gepubliceerde Logarithmorum Chilias Prima. Dit was het eerste rekensysteem dat goed werkte.

Definitie

De logaritme voor het grondtal $a$ van een getal $x$ is de macht waartoe men het grondtal $a$ moet verheffen om $x$ als uitkomst te krijgen, dus:

$q=\log _{a}(x)\Longleftrightarrow a^{q}=x$

Zowel het grondtal $a$ als het argument $x$ moeten groter zijn dan 0; bovendien mag het grondtal $a$ niet gelijk zijn aan 1.

Bestaan

Als $a>1$ dan heeft de exponentiële functie

$\exp _{a}\colon \mathbb {R} \to \mathbb {R} ;q\mapsto a^{q}$

een horizontale asymptoot bij $y=0$ en bereikt ze willekeurig grote waarden aan de rechterkant van haar domein:

$\lim _{x\to +\infty }\exp _{a}(x)=+\infty$

Bovendien is $\exp _{a}$ continu, zodat ze alle positieve reële waarden bereikt. Daaruit volgt dat iedere $x>0$ een logaritme $\log _{a}(x)$ heeft volgens bovenstaande definitie. Dat er precies één zulke waarde $q$ bestaat, volgt uit het feit dat de functie $\exp _{a}$ strikt stijgend is.

Voor $0<a<1$ geldt een gelijkaardige redenering, behalve dat de willekeurig grote waarden aan de linkerkant worden bereikt:

$\lim _{x\to -\infty }\exp _{a}(x)=+\infty$

en dat de functie $\exp _{a}$ strikt dalend is in plaats van stijgend.

De logaritme van 0 met welk grondtal dan ook is niet gedefinieerd, omdat er geen macht bestaat met welk grondtal dan ook die resulteert in nul. Daarom heeft elke grafiek van de logaritme geen beeld in nul. Er is steeds een verticale asymptoot bij $x=0$.

Grondtal

Voor de logaritmefunctie en de inverse ervan – de exponentiële functie – is een vast grondtal vereist. Elk getal groter dan 1 is hiervoor geschikt, en bij uitbreiding ook elk getal tussen 0 en 1. Maar vooral de volgende drie grondtallen worden veel gebruikt:

• Logaritmen met het grondtal $e=2{,}718281828\ldots$. Men spreekt van natuurlijke logaritme, of neperiaanse of neperse logaritme, naar de bedenker ervan, John Napier. De natuurlijke logaritme wordt genoteerd als $\ln$, maar historisch werd ook $\log$ gebruikt in vakgebieden waarbij het vanzelfsprekend was dat de natuurlijke logaritme werd bedoeld. Bijvoorbeeld:

$\ln(e^{3})=\log _{e}(e^{3})=3$

• Logaritmen met het grondtal 10. Men spreekt van de briggse logaritme en noteert deze als $\lg$ of $\log _{10}$; bijvoorbeeld:

$\lg(100)=\log _{10}(100)=2$

• Logaritmen met het grondtal 2. Dit type logaritmen komt voor in onder andere de informatica en vooral de informatietheorie. Deze logaritme wordt genoteerd als $\log _{2}$ of $\operatorname {lb}$; bijvoorbeeld:

$\operatorname {lb} (8)=\log _{2}(8)=3$

Omzetting tussen verschillende grondtallen

Logaritmen laten zich gemakkelijk omzetten naar een ander grondtal; zij verhouden zich als een constante factor. Uit

${\frac {\log _{a}(x)}{\log _{b}(x)}}={\frac {\frac {1}{\log _{x}(a)}}{\frac {1}{\log _{x}(b)}}}={\frac {\log _{x}(b)}{\log _{x}(a)}}=\log _{a}(b)$,

volgt namelijk dat

$\log _{a}(x)=\log _{a}(b)\log _{b}(x)$

Overigens ziet deze betrekking er fraaier uit in de andere notatie voor logaritmen (het treintje):

${}^{a}\!\log x={}^{a}\!\log b\cdot {}^{b}\!\log x$

Voorbeelden

• Praktisch voorbeeld met een rekenmachine die toelaat $\ln(x)$ of $\lg(x)$ te berekenen, maar niet rechtstreeks $\log _{7}(x)$:

$\ln(3)=\log _{e}(3)=\log _{e}(7)\cdot \log _{7}(3)={}\ln(7)\cdot \log _{7}(3)$, dus

$\log _{7}(3)={\frac {\ln(3)}{\ln(7)}}={\frac {1{,}099\ldots }{1{,}946\ldots }}=0{,}565\ldots$ of ook $\log _{7}(3)={\frac {\lg(3)}{\lg(7)}}={\frac {0{,}477\ldots }{0{,}845\ldots }}=0,565\ldots$.

• Omrekening van $\operatorname {lb}$ naar $\lg$

$\lg(x)=\log _{10}(x)=\log _{10}(2)\cdot \log _{2}(x)=\lg(2)\cdot \operatorname {lb} (x)=0{,}301\cdot \operatorname {lb} (x)$.

Notatie

De logaritme is een wiskundige functie die wordt genoteerd als $\log$ met het grondtal $a$ als benedenindex: $\log _{a}(x)$, of als vooraangeplaatst superscript: $^{a}\!\log(x)$. Vaak wordt in een tekst met logaritmen steeds hetzelfde grondtal gebruikt. Men schrijft dan in de formules gewoon telkens $\log$. Het grondtal wordt dan eventueel eenmalig vermeld.

De ISO-standaard voor wiskundige tekens en symbolen in de natuurwetenschappen en technologie is ISO 80000-2. Voor logaritmen vermeldt de standaard de volgende notaties:

Grondtal	Symbool
$a$	$\log _{a}$
$e$	$\ln$
10	$\lg$
2	$\operatorname {lb}$

De standaard specificeert ook dat de notatie $\log$ (dus met weglating van het grondtal $a$) niet mag gebruikt worden voor de grondtallen $e$, 10 of 2.

Eigenschappen

Rekenen met logaritmen

Bij het werken met logaritmen kan gebruik worden gemaakt van de onderstaande regels:

• $b^{\log _{b}(a)}=a$, per definitie
• $\log _{a}(x^{g})=g\log _{a}(x)$
• ${\frac {\log _{n}b}{\log _{n}a}}=\log _{a}{b}$, als $n,a,b>0$ en $n,a\neq 1$
• $\log _{a}{bc}=\log _{a}(b)+\log _{a}(c)$

volgt uit: $a^{\log _{a}(bc)}=bc=a^{\log _{a}(b)}a^{\log _{a}(c)}=a^{\log _{a}(b)+\log _{a}(c)}$

• $\log _{a}\left({\frac {b}{c}}\right)=\log _{a}(b)-\log _{a}(c)$

volgt uit: $\log _{a}(bc^{-1})=\log _{a}(b)+\log _{a}(c^{-1})=\log _{a}(b)-\log _{a}(c)$

• $\log _{a}(1)=0$
• $\log _{a}(a)=1$ voor $a>0$
• $\log _{a}\left({\frac {1}{x}}\right)=-\log _{a}(x)$, soms ook geschreven als $\mathrm {co} \log(x)$
• $\log _{a}(b)={\frac {1}{\log _{b}(a)}}$
• $\log _{a}(b)={\frac {\log _{c}(b)}{\log _{c}(a)}}$
• $\log _{\left(a^{n}\right)}(b^{n})=\log _{a}(b)$ voor $b>0$ en $n\neq 0$

volgt uit: $\log _{a}(b)={\frac {\log _{c}(b)}{\log _{c}(a)}}={\frac {n\log _{c}(b)}{n\log _{c}(a)}}={\frac {\log _{c}(b^{n})}{\log _{c}(a^{n})}}=\log _{\left(a^{n}\right)}(b^{n})$

Inverse

Inverse bewerking

De logaritme kan worden gezien als een bewerking die met twee getallen $a$ en $x$ een nieuw getal $\log _{a}x$ associeert, ongeveer zoals de optelling met twee getallen hun som associeert.

De omgekeerde bewerking van de optelling is de aftrekking, want de uitspraak $a+b=c$ is gelijkwaardig met $a=c-b$ en ook met $b=c-a.$ De omgekeerde bewerking van de vermenigvuldiging is de deling, omdat $a.b=c$ gelijkwaardig is met $a=c/b$ en met $b=c/a$.

Voor de machtsverheffing zijn er evenwel twee verschillende omgekeerde bewerkingen, omdat bij de machtsverheffing het resultaat afhangt van de volgorde der operanda: $x^{y}$ is meestal niet hetzelfde als $y^{x}$. Naargelang of we de vergelijking $a^{b}=c$ willen oplossen naar $a$ of naar $b$, is de omgekeerde bewerking de worteltrekking respectievelijk de logaritme: $a={\sqrt[{b}]{c}}$ en $b=\log _{a}c$.

Inverse functie

De logaritme met een vast grondtal $a$ kan worden gezien als een functie die met één getal $x$ een nieuw getal $\log _{a}x$ associeert. De logaritmische functie is de inverse functie van de exponentiële functie. In opeenvolging maken zij elkaar dus ongedaan.

Gevolg: machtsverheffen en dan logaritme nemen, beide met hetzelfde grondtal, heeft geen effect.

$\log _{a}(a^{q})=q$

En logaritme nemen en dan machtsverheffen evenmin.

$a^{\log _{a}(x)}=x$

De logaritme voor het grondtal $a$ is dus de inverse van de exponentiële functie met $a$ als grondtal. Wanneer men de grafiek van de logaritme voor het grondtal $a$ spiegelt ten opzichte van de lijn $y=x$, krijgt men zoals altijd de grafiek van de inverse functie, hier dus $x\to a^{x}$.

Groepsisomorfisme en commutatief diagram

Logaritmen vormen de brug van de wereld van vermenigvuldigen, van strikt positieve reële getallen, naar de wereld van optellen, van alle reële getallen. De omgekeerde weg is zoals gezegd de exponentiële functie. Deze weg heen en terug heet een groepsisomorfisme omdat de mooie groepseigenschappen van de ene wereld erdoor automatisch worden overgedragen op de andere. Optellen en vermenigvuldigen blijken zich in zekere zin identiek te gedragen.

Commutativiteit betekent dat wanneer men eerst het ene doet en dan het andere, men hetzelfde uitkomt als omgekeerd. Er is een interessant commutatief diagram te tekenen. Als men een vierkant pad tekent en linksboven begint, dan leidt eerst naar rechts gaan en dan naar beneden tot rechtsonder. Maar eerst naar beneden gaan en dan naar rechts ook. Naar beneden gaan commuteert dus met horizontaal van kant wisselen. Laat nu links de wereld van vermenigvuldigen zijn, rechts die van optellen. Dan is naar rechts gaan logaritme nemen, en naar links gaan de exponentiële nemen. Naar beneden gaan is de bewerking doen (vermenigvuldigen of optellen). Door in dit vierkant van boven naar beneden te wandelen, komt men een aantal van de belangrijkste formules verderop uit. Bijvoorbeeld dat de logaritme van een product gelijk is aan de som van de logaritmen.

Rationaliteit

Zijn $a$ en $b$ natuurlijke getallen, dan is $\log _{a}(b)$ over het algemeen een irrationaal getal. Alleen als er gehele getallen $n$ en $m$ zijn zodat $a^{m}=b^{n}$ is de logaritme rationaal, want gelijk aan $m/n$.

Verklaring

Uit $a^{m}=b^{n}$ volgt $({a^{m}})^{1/n}=({b^{n}})^{1/n}$, dus $b=a^{m/n}$.

Links en rechts logaritme nemen levert

$\log _{a}(b)=\log _{a}(a^{m/n})={\frac {m}{n}}\in \mathbb {Q}$

Bijvoorbeeld, voor $a=27$ en $b=9$ geldt $a^{2}=b^{3}=3^{6}$, dus:

$\log _{27}(9)={\tfrac {2}{3}}$

Toepassingen

Herleiden van bewerkingen

Met behulp van logaritmen kunnen de volgende bewerkingen worden herleid tot optellingen en aftrekkingen.

Vermenigvuldigen

Vermenigvuldigen met een rekenliniaal

Al eeuwen geleden was de logaritme belangrijk voor mensen die veel moesten rekenen. Een eigenschap van logaritmen is namelijk dat een vermenigvuldiging omgezet kan worden naar een optelling:

$\log(a)+\log(b)=\log(ab)$

Om het product van $a$ en $b$ te berekenen, worden de logaritmen van $a$ en van $b$ bij elkaar opgeteld. Daarna wordt het getal gezocht waarvan dit resultaat de logaritme is. De logaritmen worden niet berekend, maar over en weer opgezocht in tabellen. Deze logaritmetafels, tabellen van getallen met hun logaritme, zijn al eeuwen geleden uitgerekend en gepubliceerd. Ze werden gebruikt door zeelieden bij de plaatsbepaling op zee, dus voor navigatie, door ingenieurs enzovoort.

Delen

Door logaritmen van elkaar af te trekken kunnen ook delingen uitgevoerd worden.

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

Machtsverheffen

Neemt men tweemaal achter elkaar de logaritme, dan kan men door op te tellen een getal verheffen tot een willekeurige macht.

$\log(\log(a))+\log(b)=\log \left(\log \left(a^{b}\right)\right)$

Worteltrekken

Neemt men tweemaal achter elkaar de logaritme, dan kan men door af te trekken een willekeurige wortel trekken.

$\log(\log(a))-\log(b)=\log \left(\log \left(a^{1/b}\right)\right)=\log \left(\log({\sqrt[{b}]{a}})\right)$

Ook de rekenliniaal is op het principe van logaritmen gebaseerd: de schalen zijn zo ingedeeld dat de logaritmen van de weergegeven getallen lineair verlopen: het lijnstuk tussen 1 en 2 is even lang als het lijnstuk tussen 2 en 4. Door het optellen van twee lijnstukken ter lengte van de logaritme van de getallen leest men bij de uitkomst het resultaat van de vermenigvuldiging ervan af. Door de opkomst van de rekenmachine zijn zowel logaritmetafels als rekenlinialen in onbruik geraakt.

De logaritme is een rekenkundige bewerking van de derde orde.

Logaritmische schalen

Zie Logaritmische schaal voor het hoofdartikel over dit onderwerp.

De logaritme komt goed van pas wanneer iets zo'n enorm bereik heeft, dat het verschil tussen de allerlaagste en allerhoogste waarde ons ook niet zo veel meer zegt. De wet van Weber zegt dat de menselijke zintuigen een logaritmische indruk opdoen van de intensiteit van de prikkel.

Bekende logaritmische schalen zijn:

• geluidssterkte: de decibel
• toonhoogte: de cent, maar ook in zekere zin de toonladder zelf (chromatische toonladder in gelijkzwevende stemming)
• zuurgraad: de pH
• zelfinformatie: de bit
• kracht van aardbevingen: de schaal van Richter
• helderheid van een ster: magnitude
• de neper voor toe- en afnames van toestandsgrootheden

Grootte-ordes en logaritmen

De logaritme van een getal $x$ geeft de grootte-orde van $x$ aan. Als we 10 als grondtal nemen is dat goed te zien:

logaritme van 1 is 0, want 10⁰= 1

logaritme van 10 is 1, want 10¹= 10

logaritme van 100 is 2

logaritme van 1000 is 3

De orde van grootte van 3269 is $\lfloor \lg 3269\rfloor =3$; de wetenschappelijke notatie is dan 3269 = 3,269·10³.

Het werkt ook voor negatieve machten. De orde van grootte van 0,03269 is $\lfloor \lg 0{,}03269\rfloor =-2$; de wetenschappelijke notatie is: 0,03269=3,269·10⁻².

In een $n$-tallig talstelsel is het mogelijk om op onderstaande wijze het aantal cijfers $a$ voor de komma van een willekeurig getal $x$ te bepalen.

$a=\lfloor \log _{n}(x)+1\rfloor$

Het aantal cijfers van een getal in het tientallige stelsel wordt dus bepaald door $\lfloor \lg(x)+1\rfloor$.

Berekeningen met grote getallen

Logaritmen zijn een hulp bij berekeningen met grote getallen, geschreven als een macht, die met een grafische rekenmachine onmogelijk zijn uit te rekenen (zonder herschrijven).

Voorbeeld

De berekening

$X={\sqrt[{18}]{\frac {3000^{140}\cdot (9\pi )^{3002}}{2008^{2008}}}}$

is onmogelijk met een rekenmachine te doen. Met logaritmen gaat dit wel:

$\lg(X)=\lg \left({\sqrt[{18}]{\frac {3000^{140}\cdot (9\pi )^{3002}}{2008^{2008}}}}\right)$

$={\tfrac {1}{18}}\lg \left({\frac {3000^{140}\cdot (9\pi )^{3002}}{2008^{2008}}}\right)$

$={\tfrac {1}{18}}\left[\lg \left(3000^{140}\cdot (9\pi )^{3002}\right)-\lg \left(2008^{2008}\right)\right]$

$={\tfrac {1}{18}}\left[\lg \left(3000^{140}\right)+\lg \left((9\pi )^{3002}\right)-\lg \left(2008^{2008}\right)\right]$

$={\tfrac {1}{18}}[140\cdot \lg(3000)+3002\cdot \lg(9\pi )-2008\cdot \lg(2008)]$

$\approx -99{,}33736779$

Nu is de logaritme van het gezochte antwoord berekend. Voor het antwoord moet deze macht van 10 berekend worden:

$X\approx 10^{-99{,}33736779}$

$=10^{-0{,}33736779}\times 10^{-99}$

$\approx 0{,}4598669977\times 10^{-99}$

Analytische definitie en eigenschappen

Logaritmische functies zijn de inversen van exponentiële functies en zijn daarom op hun hele domein $(0,+\infty )$ continu en onbeperkt afleidbaar.

Analytische definitie

De natuurlijke logaritme van een positief reëel getal $x$ kan ook worden gedefinieerd als een bepaalde integraal, namelijk de oppervlakte van een figuur begrensd door de grafiek van de functie $f(t)=1/t$:

$\ln x=\int _{t=1}^{x}{\frac {1}{t}}\,\mathrm {d} t$

Men verifieert dat deze functie voldoet aan de rekenregel $\ln(xy)=\ln(x)+\ln(y)$ en daaruit volgt dat ze de logaritme is in een bepaalde basis. Die basis, $e$ genaamd, wordt uniek bepaald door de voorwaarde dat haar natuurlijke logaritme 1 moet zijn:

$\int _{t=1}^{e}{\frac {1}{t}}\,\mathrm {d} t$

Limieten

Voor logaritmen gelden de onderstaande limieten.

Voor $a>1$ geldt:

${\begin{array}{clr}\lim _{x\to +\infty }&\log _{a}(x)=+\infty \\\lim _{x\downarrow 0}&\log _{a}(x)=-\infty \\\end{array}}$

Voor $0<a<1$ geldt:

${\begin{array}{clr}\lim _{x\to +\infty }&\log _{a}(x)=-\infty \\\lim _{x\downarrow 0}&\log _{a}(x)=+\infty \\\end{array}}$

Grafiek

In de onderstaande figuur zijn de waarden van de Briggse logaritme met grondtal 10 af te lezen. Omdat de functie naar de limiet $-\infty$ gaat als $x$ (langs de rechterkant) nul nadert, heeft de grafiek een verticale asymptoot aan de linkerrand van het domein: de rechte $x=0$. Aan de rechterkant is er geen asymptoot: de functie bereikt willekeurig hoge waarden en de afgeleide blijft positief maar wordt willekeurig klein.

Grafiek van de logaritme met grondtal 10

Afgeleide

Een bijzondere eigenschap van de natuurlijke logaritme is de eenvoudige vorm van z'n eerste afgeleide, namelijk:

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

Uit de kettingregel volgt namelijk:

$1=x'=\left(e^{\ln(x)}\right)'=e^{\ln(x)}\ln '(x)=x\ln '(x)$,

waaruit het gestelde volgt.

Door gebruik te maken van de natuurlijke logaritme en zijn afgeleide, is het mogelijk om de afgeleiden van andere logaritmen te bepalen.

${\frac {\mathrm {d} }{\mathrm {d} x}}\log _{a}(x)={\frac {\mathrm {d} }{\mathrm {d} x}}{\frac {\log _{e}(x)}{\log _{e}(a)}}={\frac {1}{\ln(a)}}{\frac {\mathrm {d} }{\mathrm {d} x}}\ln(x)={\frac {1}{x\ln(a)}}$

Aangezien $x$ altijd positief is, en $\ln(a)>0$ is voor $a>1$ en $\ln(a)<0$ is voor $0<a<1$, is $f(x)=\log _{a}(x)$ een strikt stijgende functie als $a>1$ en een strikt dalende functie als $0<a<1$.

De partiële afgeleide van $\log _{a}(x)$ naar het grondtal $a$ is

${\frac {\partial }{\partial a}}\left({\frac {\ln x}{\ln a}}\right)=-{\frac {\ln x}{a(\ln a)^{2}}}$

Onbepaalde integraal

Een primitieve functie voor de natuurlijke logaritmische functie wordt gegeven door

$\int \ln(x)\,\mathrm {d} x=x\ln(x)-x+C$

Dit kan rechtstreeks geverifieerd worden door afleiding van het rechterlid, maar het resultaat kan ook worden teruggevonden door partiële integratie.

Logaritmen in andere getallenverzamelingen

Logaritmen van complexe getallen

Driedimensionale voorstelling van het reële deel van de natuurlijke logaritme van een complex getal. Op de horizontale assen staan respectievelijk het reële en imaginaire deel van het getal $z;$ op de verticale as het reële deel van $\ln z$

Driedimensionale voorstelling van de hoofdwaarde van het imaginaire deel van de natuurlijke logaritme van een complex getal. Deze functie (de argumentsfunctie van complexe getallen) is discontinu op de negatief reële as.

Hierboven was het argument $x$, het getal waarvan we een logaritme nemen, steeds een positief reëel getal. Het is echter mogelijk de definitie van de logaritme uit te breiden naar de complexe getallen verschillend van 0 en daarmee ook naar de negatieve getallen. De logaritme van de complexe getallen kan niet voor verschillende grondtallen worden genomen, maar de complexe logaritme van een positief getal $x$ komt met de natuurlijke logaritme $\ln(x)$ van $x$ overeen.

Het complexe getal $w$ heet een logaritme van $z$, dus $w=\ln \,z$, als $e^{w}=z$. Men spreekt van een logaritme omdat er in het algemeen bij $z$ oneindig veel getallen $w$ zijn die als logaritme optreden. Vanwege de identiteit van Euler, $e^{2\pi i}=1$, verschillen de diverse logaritmen van een complex getal een geheel veelvoud van $2\pi i$ van elkaar. Schrijft men het complexe getal in poolcoördinaten:

$z=re^{i\varphi }$,

met absolute waarde $r$ en argument $\varphi$, dan voor ieder geheel getal $n$ het complexe getal

$w=\ln r+i\varphi +2n\pi i$

een logaritme van $z$. De logaritme voor complexe getallen $z\neq 0$ is een meerwaardige functie:

$\ln z=\ln r+i\varphi +2n\pi i$

Het is gebruikelijk het argument $\varphi$ zo te definiëren dat $-\pi <\varphi \leq \pi$. Deze waarde van de logaritme, dus met $n=0$, heet de hoofdwaarde van de logaritme.

Negatieve getallen zijn complexe getallen. Bijvoorbeeld $z=-1$ is een complex getal op de eenheidscirkel met argument $\varphi =\pi$. De logaritme van −1 heeft daarom een hoofdwaarde van $\ln 1+\pi i=\pi i$.

Uit deze definitie van de logaritme van een complex getal volgen ook de identiteiten voor het reële en het imaginaire deel (van de hoofdwaarde) afzonderlijk:

${\hbox{Re }}\ln z=\ln |z|$

${\hbox{Im }}\ln z=\arg(z)$

Logaritmen van quaternionen

Het is mogelijk de definitie van de logaritme uit te breiden naar quaternionen.

Een quaternion $w$ heet een logaritme van $q$, $w=\ln q$, als $e^{w}=q$.

Men spreekt van een logaritme omdat er bij $q$ oneindig veel getallen $w$ zijn die als logaritme optreden. Zij verschillen onderling een geheel veelvoud van $2\pi v$, waarin $v$ de eenheidsvector is die overeenkomt met $q$, zodanig dat $v^{2}=-1$ en

$v={\frac {q-\mathrm {Re} (q)}{|q-\mathrm {Re} (q)|}}$.

Dit komt doordat $e^{2n\pi i}=1$.

Schrijft men $q$ als:

$q=re^{v\phi }$,

met absolute waarde $r$, argument $\varphi$ en eenheidsvector $v$, dan is elk van de getallen

$w=\ln r+v\phi +2n\pi v$

een logaritme van $q$. Er is dus een rij van getallen die de logaritme van een quaternion $q$ zijn:

$\ln q=\ln r+v\phi +2n\pi v$

N.B. Het is gebruikelijk het argument $\varphi$ zo te definiëren dat $-\pi <\varphi \leq \pi$.

De waarde van de logaritme voor $n=9$ heet de hoofdwaarde van de logaritme.

Voor twee quaternionen $a$ en $b$ geldt:

$\log _{b}a={\frac {\ln a}{\ln b}}$

Dit is opnieuw een meerwaardige functie die afhangt van twee gehele getallen $n_{1}$ (behorend bij $\ln(a)$) en $n_{2}$ (behorend bij $\ln(b)$). Stelt men nu $n_{1}=n_{1}=0$, dan krijgt men de hoofdwaarde van $\log _{b}a$.

Discrete logaritme

Zie Discrete logaritme voor het hoofdartikel over dit onderwerp.

Bij het modulair rekenen met als modulus een priemgetal vormen de restklassen verschillend van de nulklasse een cyclische groep voor de vermenigvuldiging. Zo is bijvoorbeeld de groep van inverteerbare restklassen modulo 11

$(\mathbb {Z} /11\mathbb {Z} )^{*}=\{2,2^{2},2^{3},2^{4},\ldots ,2^{10}\}=\{2,4,8,5,10,9,7,3,6,1\}$

een cyclische groep met generator 2.

De discrete logaritme met basis 2 is de functie die ieder element van die groep afbeeldt op de bijhorende exponent van 2:

$\log _{2}(10)=5,\ \log _{2}(9)=6,\ldots$

Algemener, als $g$ een generator is van een cyclische groep $G,$ dan wordt de discrete logaritme met basis $g$ gedefinieerd door

$\log _{g}(a)=b\Leftrightarrow g^{b}=a$

Het natuurlijke getal $b$ is slechts bepaald op een veelvoud van de orde van de groep $n=|G|$ na, en kan dus worden opgevat als een restklasse module $n$. De discrete logaritme is een groepsisomorfisme tussen $G$ en de optelgroep van restklassen modulo $n$. Voor alle $x,y\in G$ is:

$\log _{g}(x*y)=\log _{g}(x)+\log _{g}(y)$

Voor grote priemgetallen $p$ is de discrete logaritme van een restklasse (in de vermenigvuldigingsgroep modulo $p,$ een cyclische groep van orde $n=p-1$) een moeilijk probleem voor een computer. Het Elgamal-encryptiesysteem steunt op deze moeilijkheid. De communicerende partners delen in het openbaar het priemgetal $p,$ de generator $g$ en de machten $g^{a}$ en $g^{b},$ maar houden $a$ en $b$ geheim. Beiden zijn in staat de encryptiesleutel $K=g^{ab}$ en de decryptiesleutel $K^{-1}$ te berekenen.

Reeksontwikkeling

Nauwkeurigheid van de opeenvolgende benaderingen van de natuurlijke logaritme door partieelsommen van de taylorreeks. In deze illustratie zijn de assen een eenheid naar rechts verschoven, we zien dus de taylorreeks van $\ln(z+1)$ rond $z=0$ absoluut convergent in het open interval $(-1,1)$. De rode kromme is de grafiek van de logaritme zelf. De beige kromme is de benadering van de 3de graad; de blauwe van de 10de graad en de lichtgroene kromme geeft de taylorbenadering tot en met graad 25.

Logaritmen zijn analytische functies en kunnen dus worden benaderd door machtreeksen, evenwel niet door een reeks in machten van $z$ (d.w.z. gecentreerd rond 0, ook wel maclaurin-reeks genoemd) omdat 0 niet tot het domein van de logaritme behoort. Het punt 0 is ook geen geïsoleerde singulariteit, zodat een laurentreeks (reeksontwikkeling met inbegrip van negatieve machten) evenmin bestaat.

De reeksontwikkeling van de natuurlijke logaritme rond $z=1$ wordt gegeven door

$\ln(z)=\sum _{k=1}^{\infty }(-1)^{k-1}{\tfrac {1}{k}}(z-1)^{k}=(z-1)-{\tfrac {1}{2}}(z-1)^{2}+{\tfrac {1}{3}}(z-1)^{3}\pm \ldots$,

vaak geschreven als

$\ln(1+z)=\sum _{k=1}^{\infty }(-1)^{k-1}{\tfrac {1}{k}}z^{k}=z-{\tfrac {1}{2}}z^{2}+{\tfrac {1}{3}}z^{3}\pm \ldots$

Deze reeks bevat geen nulde-ordeterm (constante) omdat de logaritme van 1 reeds 0 is. Haar convergentiestraal is 1, dat wil zeggen dat ze absoluut convergeert voor alle complexe getallen $z$ waarvoor $|z-1|<1$ en divergeert als $|z-1|>1$.

Voor $z=2$ wordt dit de alternerende harmonische reeks, die convergeert (maar niet absoluut convergeert) naar $\ln 2.$

Bovenstaande formule volgt bijvoorbeeld uit integratie term per term van de meetkundige reeks

${\frac {1}{1+(z-1)}}=\sum _{k=0}^{\infty }(-1)^{k}(z-1)^{k}=1-(z-1)+(z-1)^{2}-(z-1)^{3}\pm \ldots$

Voor een algemeen grondtal $a\neq 1$ is de logaritme een constant veelvoud van de natuurlijke logaritme, dus haar reeks bestaat uit dezelfde termen, gedeeld door de natuurlijke logaritme van $a$:

$\log _{a}(z)=\sum _{k=1}^{\infty }(-1)^{k-1}{\frac {(z-1)^{k}}{k\ln a}}={\frac {z-1}{\ln a}}-{\frac {(z-1)^{2}}{2\ln a}}+{\frac {(z-1)^{3}}{3\ln a}}\pm \ldots$

Voor getallen buiten het convergentiegebied $|z-1|<1$ kan in principe analytische voortzetting worden gebruikt; voor reële $z\geq 2$ is het evenwel eenvoudiger de oorspronkelijke reeks toe te passen op $z$ gedeeld door een voldoende groot getal waarvan de natuurlijke logaritme bekend wordt verondersteld, bijvoorbeeld een macht van twee. Stel $u=z2^{-n}$ met een natuurlijk getal $n$ zo gekozen dat $1\leq u<2$, dan is

$\ln(2^{n}u)=n\ln 2+\sum _{k=1}^{\infty }(-1)^{k-1}{\frac {(u-1)^{k}}{k}}=n\ln 2+(z-1)-{\frac {(u-1)^{2}}{2}}+{\frac {(u-1)^{3}}{3}}\pm \ldots$

$\ln z=n\ln 2+\sum _{k=1}^{\infty }(-1)^{k-1}{\frac {(z2^{-n}-1)^{k}}{k}}=n\ln 2+{\frac {(z-2^{n})}{2^{n}}}-{\frac {(z-2^{n})^{2}}{2.2^{2n}}}+{\frac {(z-2^{n})^{3}}{3.2^{3n}}}\pm \ldots$

Dit is dan de taylorreeks van $\ln z$ rond $z=2^{n}$; ze heeft convergentiestraal $2^{n}$.

Logaritme van vierkante matrices

In deze paragraaf beschouwen we matrices waarvan de elementen reële getallen zijn; de begrippen en redeneringen gaan evenwel net zo goed op voor complexe matrices.

De verzameling der vierkante $n\times n$-matrices vormt een algebra, dat wil zeggen dat matrices niet alleen kunnen worden vermenigvuldigd met een reëel getal en bij elkaar worden opgeteld, maar dat matrices ook onderling met elkaar kunnen worden vermenigvuldigd. Daardoor kan een vierkante matrix $M$ ook tot de $n$-de macht worden verheven voor ieder willekeurig natuurlijk getal $n,$ en dit geeft op zijn beurt een betekenis aan de afzonderlijke termen van de taylorreeks

$\ln(M)=\sum _{k=1}^{\infty }(-1)^{k-1}{\frac {(M-I)^{k}}{k}}=(M-I)-{\frac {(M-I)^{2}}{2}}+{\frac {(M-I)^{3}}{3}}\pm \ldots$

waar $I$ de eenheidsmatrix van dezelfde afmetingen als $M$ is.

Om over convergentie en limieten van dergelijke reeksen te kunnen spreken, hebben we een convergentiebegrip voor vierkante matrices nodig; vaak wordt daarvoor de operatornorm gebruikt:

$\|M\|=\sup\{\|Mv\|;v\in \mathbb {R} ^{n},\,\|v\|\leq 1\}$

De taylorreeks hierboven convergeert als $\|M-I\|<1$ en definieert dus (althans voor matrices die "dicht" bij de eenheidsmatrix liggen) de natuurlijke logaritme van een vierkante matrix. Ook hier is de logaritme de inverse van de exponentiële functie, op voorwaarde dat we de exponentiële functie ook via haar taylorreeks definiëren. De logaritme van de eenheidsmatrix is de nulmatrix. De rekenregel $\ln(M.N)=\ln M+\ln N$ geldt evenwel alleen als $M$ en $N$ commuterende matrices zijn, dat wil zeggen als $MN=NM$

voetnoten

websites

• MathWorld. Logarithm.

Wiskundige functies