Luonnollinen logaritmi

Luonnollinen logaritmi on logaritmifunktio, jonka kantaluku on Neperin luku "e", eräs irrationaalinen ja transsendenttinen matemaattinen vakio, likiarvoltaan 2,718 281 828. Luvun "x" luonnollinen logaritmi voidaan merkitä log"e" "x", mutta tavallisesti sille käytetään merkintää ln "x", joskus myös yksinkertaisesti log "x". Selvyyden vuoksi merkintään liitetään toisinaan sulku­merkit: ln("x"), log"e"("x") tai log("x") Näin menetellään varsinkin, jos funktion argumenttina ei ole yksittäinen luku tai symboli vaan lauseke.
Luvun "x" luonnollinen logaritmi on se eksponentti, jonka osoittamaan potenssiin "e" on korotettava, jotta saadaan luku "x". Esimerkiksi ln 7,5 on noin 2,0149, koska "e"2,0149 on noin 7,5. Neperin luvun "e" luonnollinen logaritmi on ln e = 1, koska "e"1 = "e", ja ln 1 = 0, koska "e"0 = 1.
Luonnollinen logaritmifunktio on siis eksponenttifunktion "e""x" käänteisfunktio, jolle pätevät:
formula_1
formula_2,
ylempi näistä edellyttäen, että "x" &gt; 0.
Luonnollinen logaritmi on määritelty kaikille positiivisille reaali­luvuille. Luvun "a" luonnollinen logaritmi voitaisiin yhtäpitävästi määritellä myös sen alueen pinta-alana, joka jää x-akselin, käyrän "y" = 1/"x" sekä suorien "x" = 1 ja 'x" = "a" väliin, tai jos "a" &lt; 1, tämän pinta-alan vastalukuna. Tämän määritelmän yksinkertaisuus sekä monet muut kaavat, joissa luonnollinen logaritmi esiintyy, ovat johtaneet siihen, että sitä on alettu nimittämään "luonnolliseksi".
Luonnollisen logaritmin määritelmää voidaan laajentaa niin, että logaritmi voidaan ottaa myös negatiivisista luvuista ja kaikista kompleksi­luvuista nollaa lukuun ottamatta, joskin tällöin logaritmista tulee moniarvoinen funktio.
Kaikkien logaritmien tavoin luonnolliselle logaritmille pätee, että kahden luvun tulon logaritmi on lukujen logaritmien summa:
formula_3
Täten logaritmi tavallaan muuntaa kertolaskun yhteenlaskuksi. Logaritmifunktio onkin isomorfismi positiivisten reaalilukujen ryhmästä, jossa laskutoimituksena on kertolasku, kaikkien reaalilukujen ryhmälle, jossa laskutoimituksena on yhteenlasku:
formula_4
Logaritmifunktion kantalukuna voi olla, paitsi "e", mikä tahansa muukin positiivinen reaaliluku, ei kuitenkaan luku 1. Eri logaritmifunktioita erottaa toisistaan kuitenkin vain vakiokerroin, ja muut logaritmit määritelläänkin usein luonnollisen logaritmin avulla:
log"b" "a" = ln "a" / ln "b". 
Esimerkiksi jokaisen luvun binäärinen eli kaksi­kantainen logaritmi saadaan jakamalla luvun luonnollinen logaritmi luvulla ln 2, luvun 2 luonnollisella logaritmilla ja vastaavasti Briggsin eli kymmen­kantainen logaritmi jakamalla luonnollinen logaritmi luvulla ln 10. 
Logaritmeja tarvitaan sellaisten yhtälöiden ratkaisemiseen, joiden eksponentissa esiintyy tuntematon. Niitä sovelletaan varsinkin tapauksiin, joissa jokin suure kasvaa tai vähenee eksponentiaalisesti jonkin toisen suureen, esimerkiksi ajan funktiona. Niillä on runsaasti sovelluksia luonnon­tieteissä ja myös monissa taloudellisissa yhteyksissä kuten koron­korkoon liittyvissä laskuissa.
Historia.
Luonnollisen logaritmin käsitteen ottivat käyttöön Gregoire de Saint-Vincent ja Alphonse Antonio de Sarasa ennen vuotta 1649. He tutkivat hyperbelin formula_5 rajoittaman alueen neliöimistä eli sen pinta-alan määrittämistä. Ratkaistaakseen tehtävän he määrittelivät "hyperboliseksi logaritmiksi" nimittämänsä funktion, joka oli käytännössä sama, jota nykyisin sanotaan luonnolliseksi logaritmiksi.
Eräs varhainen maininta luonnollisesta logaritmistä sisältyy Nicholas Mercatorin vuonna 1668 julkaistuun teokseen "Logarithmotechnia", joskin matemaatikko John Speidell oli jo vuonna 1619 laatinut taulukon arvoista, jotka käytännössä olivat lukujen luonnollisia logaritmeja. 
Luonnollista logaritmia nimitetään toisinaan myös "Napierin logaritmiksi" John Napierin mukaan, vaikka Napierin alun perin käyttämien logaritmien kantaluku poikkesi jonkin verran Neperin luvusta "e".
Merkintätapoja.
Merkinnät ja tarkoittavat molemmat yksi­selitteisesti luvun "x" luonnollista logaritmia.
Myös merkintää , jossa kanta­lukua ei ole ilmoitettu, käytetään toisinaan tarkoittamaan luonnollista logaritmia. Tämä käytäntö on tavallinen matematiikassa ja joissakin tieteellisissä yhteyksissä, ja sitä noudatetaan myös monissa ohjelmointikielissä (esimerkiksi C, C++, SAS, MATLAB, Mathematica, Fortran ja BASIC). Eräissä muissa yhteyksissä saattaa kuitenkin tarkoittaa myös kymmen­kantaista eli Briggsin logaritmia.
Luonnollisen logaritmin erityisominaisuuksia ja nimityksen alkuperä.
Tämän sivun alussa oleva luonnollisen logaritmifunktion kuvaaja ilmentää joitakin ominaisuuksia, jotka ovat yhteisiä kaikille logaritmifunktioille kantaluvusta riippumatta. Tärkeimpiä niistä ovat: luvun 1 logaritmi on 0, ja luvun lähestyessä 0:aa sen logaritmi lähestyy -∞:tä. Luonnollisen logaritmin erikois­asema ilmenee parhaiten ehkä siinä pisteessä, jossa logaritmi on kaikilla kantaluvuilla nolla, nimittäin luvun 1 kohdalla. Siinä kohdassa nimittäin luonnollisen logaritmin, ja vain sen, kuvaajan kulmakerroin on myös 1, toisin sanoen kuvaaja leikkaa x-akselin 45 asteen kulmassa. Jos logaritmi­funktion kanta­luku on suurempi kuin "e", kuten on esimerkiksi 10-kantaisen eli Briggsin logaritmin laita, kulma­kerroin on tässä kohdassa pienempi kuin 1, ja jos kantaluku on pienempi kuin "e", kuten esimerkiksi 2-kantaisella logaritmilla, kulma­kerroin on tässä kohdassa suurempi kuin 1. Kaikkien menetelmien, joilla luvulle "e" tai luonnollisille logaritmeille voidaan laskea likiarvoja, voidaan katsoa perustuvan viime kädessä juuri tähän ominaisuuteen. Tästä seuraa myös, että kun annettu luku on tarpeeksi lähellä lukua 1, sen luonnolliselle logaritmille saadaan hyvä likiarvo yksin­kertaisesti vähentämällä luvusta 1. Esimerkiksi luvun 1,01 luonnollinen logaritmi on noin 0,00995 eli noin viiden tuhannesosan tarkkuudella 0,01. Samaan tapaan voidaan todeta, että luvun 0,99 luonnollinen logaritmi on hyvin lähellä lukua -0,01. Tämä pätee sitä tarkemmin, mitä lähempänä yhtä alku­peräinen luku on. Samassa mielessä kuin luku 1 itse on yhteinen kaikille lukujärjestelmille, voidaan luonnollista logaritmia pitää luku­järjestelmästä riippumattomana. Tämän erikois­asemansa vuoksi tätä logaritmi­funktiota on alettu nimittää "luonnolliseksi" (, ). 
Voisi ajatella, että koska kymmenjärjestelmä on yleis­maailmallisesti käytetty lukujärjestelmä, luku 10 olisi "luonnollisempi" myös logaritmi­järjestelmän kanta­luvuksi. Kymmen­kantaisia eli Briggsin logaritmeja ja niistä koottuja taulukoita onkin ennen taskulaskinten yleistymistä paljon käytetty lasku­toimitusten apu­välineenä. Matemaattisesti luku 10 ei kuitenkaan ole mitenkään erikois­asemassa. Todennäköisesti sen asema luku­järjestelmän kantal­ukuna onkin saanut alkunsa sormilla laskemisesta ja siten ihmisen sormien luku­määrästä. Joissakin kulttureissa on käytetty myös muita luku­järjestelmiä, joiden kanta­lukuina ovat olleet esimerkiksi 5, 8, 12, 20 tai 60.
Funktio log"e" on "luonnollinen" logaritmi, koska se esiintyy matematiikassa luonnostaan monissa yhteyksissä. Tarkastellaan esimerkiksi logaritmi­funktioiden derivaattoja:
formula_6
Jos kantaluvuksi "b" valitaan "e", derivaatta on yksin­kertaisesti 1/"x", ja pisteessä "x" = 1 derivaatta saa arvon 1. Toinen syy, jonka vuoksi "e"-kantaista logaritmia voidaan pitää luonnollisimpana, on, että se voidaan varsin helposti määritellä yksin­kertaisena integraalina tai Taylorin sarjana, mikä ei ole mahdollista muille logaritmi­funktioille.
Luonnollisen logaritmin "luonnollisuus" ei kuitenkaan liity yksinomaan differentiaali- ja integraalilaskentaan. Esimerkiksi on olemassa monia yksin­kertaisia sarjoja, jotka johtavat luonnolliseen logaritmiin. Pietro Mengoli ja Nicholas Mercator käyttivätkin siitä nimitystä "logaritmhmus naturalis" jo vuosikymmeniä ennen kuin Newton ja Leibniz kehittivät differentiaali- ja integraalilaskennan.
Määritelmiä.
Muodollisesti ln("a") voidaan määritellä integraalina,
formula_7
Tämä funktio on logaritmi, koska se toteuttaa logaritmien perusominaisuuden:
formula_8
Tämä voidaan osoittaa jakamalla ln("ab"):n määrittelevä integraali osiin ja suorittamalla jälkimmäisessä muuttujan vaihto seuraavasti:
formula_9
Luku e voidaan tämän jälkeen määritellä ainoaksi reaaliluvuksi "a", jolla ln("a") = 1.
Vaihtoehtoisesti voidaan eksponenttifunktio määritellä ensin, esimerkiksi päättymättömän sarjan avulla, jolloin luonnollinen logaritmi voidaan määritellä sen käänteisfunktiona, toisin sanoen ln on funktio, jolle pätee exp(ln("x")) = "x". Koska eksponentti­funktion arvojoukko käsittää kaikki positiiviset reaali­luvut ja koska se on aidosti kasvava, luonnollinen logaritmi on tällöin hyvin määritelty kaikille positiivisille argumentin arvoille.
Ominaisuuksia.
Lause on tosi, kun formula_17, ja osoitamme, että formula_18 kaikille formula_19, jolloin todistuksen täydentää analyysin peruslause. Yritämme siis todistaa, että 
formula_20
(Emme kuitenkaan ole vielä osoittaneet tätä todeksi). Jos tämä kaksoisepäyhtälö pätee, kertomalla keskimmänen lauseke positiivisella lausekkeella formula_21 ja vähentämällä formula_22 saataisiin
formula_23
formula_24
Tämä pätee tietenkin, jos formula_25 sillä vasen puoli on tällöin negatiivinen tai nolla. Se pätee myös, kun formula_26, sillä vasemmalla puolella molemmat tekijät ovat pienempiä kuin 1, sillä formula_27). Niinpä jälkimmäinen lause on tosi, ja toistamalla samat askelet päinvastaisessa järjestyksessä todetaan, että 
formula_18 kaikilla formula_19:n arvoilla. mot.
Derivaatta ja Taylorin sarjat.
Luonnollisen logaritmin derivaatta on 
formula_30
Tästä saadaan muodostetuksi luonnollisen logaritmin ln(1 + "x") Taylorin sarja nollan läheisyydessä:
formula_31
joka pätee välillä -1 &lt; "x" ≤ 1.
Tätä nimitetään myös Mercatorin sarjaksi.
Leonhard Euler yritti rohkeasti soveltaa tätä sarjakehitelmää myös arvolle "x" = -1 osoittaakseen, että harmonisen sarjan summa on yhtä kuin ln (1/(1-1)), siis äärettömän luonnollinen logaritmi. Nykyisin tätä todistusta ei pidetä pätevänä. Sen sijaan voidaan kyllä todistaa, että mitä suurempi luku "N" on, sitä lähempänä harmonisen sarjan ensimmäisten "N" termin summan ja "N":n luonnollisen logaritmin erotus on niin sanottua Eulerin–Mascheronin vakiota, jonka likiarvo on 0,57721566490153286061.
Oikealla olevassa kaaviossa on funktion ln(1 + "x") ja sen joidenkin Taylorin polynomien kuvaajat nollan ympäristössä. Nämä antavat likiarvoja, jotka suppenevat kohti funktiota ln(1 + "x") ainoastaan välillä −1 &lt; "x" ≤ 1; tämän välin ulkopuolella Taylorin sarja hajaantuu ja korkeammat Taylorin polynomit antavat vain "huonompia" likiarvoja itse funktiolle.
Jos "x":n tilalle vaihdetaan ""x" − 1, saadaan vaihtoehtoinen esitys ln(x):lle itselleen, nimittäin
formula_32
formula_33
formula_34
Soveltamalla Mercatorin sarjaan Eulerin muunnosta saadaan seuraava sarjakehitelmä, joka pätee kaikilla x:n arvoilla, joiden itseisarvo on suurempi kuin 1:
formula_35
Tämä sarja muistuttaa BBP-tyypin kaavaa. 
On myös huomattava, että formula_36 on itsensä käänteisfunktio, ja niinpä annetun luvun "y" luonnollinen logaritmi voidaan saada korvaamalla "x" lausekkeella formula_37.
Tällä tavoin voidaam muodostaa sarjakehitelmä
formula_38
joka pätee, kun formula_39
Luonnollinen logaritmi integraalilaskennassa.
Luonnollisen logaritmin avulla voidaan helposti integroida muotoa "g"("x") = "f" '("x")/"f"("x") olevat funktiot: funktion "g"("x") eräs integraalifunktio on ln(|"f"("x")|). Tämä perustuu ketjusääntöön ja siihen, että
formula_40
Toisin sanoen 
formula_41
ja
formula_42
Esimerkkinä voidaan mainita tapaus, jossa "g"("x") = tan("x"):
formula_43
formula_44
Letting "f"("x") = cos("x") and "f"'("x")= – sin("x"):
formula_45
formula_46
missä "C" on mielivaltainen integroimisvakio.
Itse luonnollisen logaritmin integraalifunktio saadaan osittaisintegroinnilla:
formula_47
Likiarvojen laskenta.
Annetun luvun luonnollisen logaritmin laskemiseksi Taylorin sarja voidaan muuntaa muotoon:
formula_48
Jotta saataisiin nopeammin suppeneva sarja, voidaan käyttää seuraavia identiteettejä:
formula_49
edellyttäen, että "y" = ("x"−1)/("x"+1) ja Re("x") ≥ 0 mutta "x" ≠ 0.
Kun "x" &gt; 1; tämä sarja suppenee sitä nopeammin, mitä lähempänä "x" on arvoa 1. Logaritmin laskemiseksi suurista luvuista voidaan käyttää seuraavanlaista apukeinoa, esimerkiksi:
formula_50
Tällaisia apukeinoja käytettiin varsinkin ennen nykyaikaisten laskinten aikaa: pienten lukujen logaritmit katsottiin taulukosta ja suuret luvut muunnettiin pienen luvun ja jonkin 10:n potenssin tuloksi.
Luvun 10 luonnollinen logaritmi.
Luvun 10 luonnollinen logartimi on desimaalilukuna 2,30258509..., Tätä voidaan käyttää hyväksi laskettaessa arvoja hyvinkin suurten lukujen luonnollisille logaritmeille. Tällaiset luvut esitetään usein kymmenpotenssimuodossa, jolloin pätee:
 formula_51
Hyvin suurten ja hyvin pienten lukujen luonnolliset logaritmit voidaan näin laskea käyttämällä taulukkoja, joissa ovat ainoastaan välillä formula_52 olevien lukujen luonnolliset logaritmit.
Suuri tarkkuus.
Luonnollisen logaritmin laskemiseen monen desimaalin tarkkuudella ei Taylorin sarja ole tehokas, koska se suppenee hitaasti. Jos "x" on lähellä 1:tä, vaihtoehtoinen tapa on käyttää Newtonin menetelmää eksponenttifunktion kääntämiseksi, sillä eksponenttifunktion sarja suppenee nopeammin. Parhaiten valitulla funktiolla iteraatio yksinkertaistuu muotoon 
formula_53
joka suppenee kuutiollisesti kohti arvoa ln("x").
Toinen keino erittäin suuren tarkkuuden saamiseksi on kaava
formula_54
missä "M" tarkoittaa lukujen 1 ja 4/s aritmeettis-geometrista keskiarvoa ja
formula_55
missä "m" valitaan niin, että saavutetaan "p" bitin tarkkuus. Useimpiin tarkoituksiin riittää arvo m = 8. Itse asiassa tämän tuloksen avulla voidaan Newtonin menetelmää käyttää eksponentti­funktion arvojen tehokkaaseen laskentaan. Vakiot ln 2 ja π on laskettava ennalta halutulla tarkkuudella käyttämällä jotakin niille kehitetyistä nopeasti suppenevista sarjoista.
formula_56
Ketjumurtolukuesitys.
Vaikka luonnolliselle logaritmille ei ole yksinkertaista ketjumurtolukuesitystä, se voidaan muodostaa useammallakin tavalla yleistettynä ketju­murto­lukuna, esimerkiksi:
formula_57
formula_58
Nämä ketjumurtoluvut, varsinkin jälkimmäinen, suppenevat nopeasti lähellä 1:tä olevilla arvoilla. Paljon suurempienkien lukujen luonnolliset logaritmit voidaan helposti saada laskemalla yhteen pienempien lukujen logaritmeja, joiden ketju­murto­luku­esitykset suppenevat nopeasti.
Esimerkiksi, koska 2 = 1x253 · 1,024, voidaan luvun 2 luonnollinen logaritmi laskea seuraavasti:
formula_59
Vastaavasti koska 10 = 1,2510 · 1,0243, voidaan myös luvun 10 luonnollinen logaritmi laskea samaan tapaan:
formula_60
Kompleksinen logaritmi.
Eksponenttifunktio voidaan laajentaa kompleksilukujen joukkoon niin, että jokaiselle kompleksiluvuille "z" saadaan funktion arvo "e""z" samalla Taylorin sarjalla kuin reaaliluvuillekin. Tämän laajennetun funktion käänteisfunktiona voidaan kompleksi­luvuille määritellä myös luonnollinen logaritmi, jolla pätevät useimmat reaalisen luonnollisen logaritmin ominaisuudet. Kaksi seikkaa aiheuttaa kuitenkin vaikeuksia: ensinnäkään millekään luvulle "z" ei ole "e""z" = 0, ja toiseksi osoittauutuu, että "e"2"πi" = 1 = "e"0. Koska kerto­lasku­ominaisuus kuitenkin toimii kompleksisellakin eksponentti­funktiolla, on
"e""z" = "e""z"+2"nπi" 
kaikilla kompleksiluvuilla "z" ja kokonaisluvuilla "n".
Näin ollen logaritmia ei voida määritellä koko kompleksitasossa, ja määrittelyjoukossaankin sen on moniarvoinen: jokaiseen kompleksiluvun logaritmi voidaan muuntaa toiseksi saman kompleksiluvun logaritmiksi lisäämällä siihen mielivaltainen 2π"i":n monikerta. Esimerkiksi ln "i" = 1/2 π"i", 5/2 π"i" tai −3/2 π"i" jne, ja vaikka "i"4 = 1, voidaan määritellä, että 4 log "i" on 2π"i", 10π"i" tai −6π"i" ja niin edelleen. Kompleksinen logaritmi voidaan kuitenkin määritellä yksiarvoisena jatkuvana funktiona jokaisessa sellaisessa kompleksitason yhdesti yhtenäisessä alueessa, johon origo ei sisälly. Tällöin valitaan alueesta jokin piste ja jokin kyseistä pistettä vastaavan luonnollisen logaritmifunktion arvoista funktion arvoksi. Tällöin on olemassa yksi ja vain yksi sellainen yksiarvoinen jatkuva funktio, jonka arvo kaikissa kyseisen alueen pisteissä on jokin pistettä vastaavan kompleksiluvun luonnollisen logaritmin arvoista. Tämä funktio on myös analyyttinen kyseisessä alueessa.
Kompleksitason yhdesti yhtenäisiä alueita, joissa luonnollinen logaritmi voidaan tällä tavoin yksikäsitteisesti määritellä, ovat esimerkiksi sellaiset kiekot, joihin origo ei sisälly, sekä myös alueet, jotka saadaan poistamalla tasosta ainoastaan jokin origosta alkava puolisuora, joka tällöin ei sisälly alueeseen. Usein tällaiseksi puolisuoraksi valitaan negatiivinen reaaliakseli, jolloin jäljelle jäävän alueen jokaisen luvun luonnollisella logaritmilla on sellainen arvo, jonka imaginääriosa "y" on välillä formula_61. Tätä sanotaan logaritmin "päähaaraksi", ja sille käytetään merkintää Log "z".