Logaritmus

A logaritmus két szám között értelmezett matematikai művelet, a hatványozás egyik megfordított (inverz) művelete (a másik a gyökvonás). A pozitív b szám a alapú logaritmusán (ahol a egytől különböző pozitív szám) azt a kitevőt értjük, melyre a-t emelve b-t kapjuk. Például 1000 10-es alapú logaritmusa 3, mert 10 harmadik hatványa 1000.

A b szám a alapú logaritmusát

$\log _{a}b\;$

jelöli, amely tehát az egyetlen valós szám, amelyre

$a^{\log _{a}\,b}=b.$

Például ${\mbox{ }}_{\log _{3}81=4}$, ugyanis, ha a 81-et a logaritmus alapjának, azaz a 3-nak hatványaként írjuk fel, akkor a kitevő 4 lesz:

$\log _{3}\,81=4\;\;\Leftarrow \;\;81=3^{4}$

A logaritmust John Napier vezette be a szorzást, hatványozást tartalmazó számolások megkönnyítésére. Az elnevezés a görög „λόγος” (logosz, arány) és „ἀριθμός” (arithmosz, szám) szavak összetételéből származik. A számítások megkönnyítésére logarléceket és logaritmustáblázatokat készítettek, amelyek hamarosan elterjedtek a tengerészetben, a tudományokban és a mérnökök között. Ezek az eszközök a logaritmus azonosságait használják fel. A logaritmus mai jelölése Leonhard Eulertől származik, aki elsőként kapcsolta össze az exponenciális függvénnyel.

A 10-es alapú logaritmust a természettudományokban és a mérnöki tudományokban használják. Jelölése: $\operatorname {lg} x$. A természetes logaritmus alapja az e Euler-konstans, és a matematikában széles körűen alkalmazzák. Jelölése $\operatorname {ln} x$. A 2-es alapú logaritmust a számítástudományban és az informatikában alkalmazzák. Jelölése egyszerűen $\log x$, az alap kiírása nélkül. Német nyelvterületen erre az $\operatorname {ld} x$ jelet használják.

A logaritmikus skálák kis tartományon széles tartományú mennyiségeket képesek ábrázolni. Így működik például a látás és a hallás. A decibel egy olyan viszonylagos egység, ami az erő logaritmusának és az amplitúdó logaritmusának arányát méri. A kémiában a pH a vizes oldatok kémhatását méri. A földrengések nagyságát is logaritmikus skálában mérik. A bonyolultságelméletben is megjelennek, például az összehasonlításos rendezések bonyolultsága legalább O(n · log n).

A valós számokon a logaritmus a hatványozás inverz művelete. Ez megmarad a komplex számok fölött is. Egy másik változat a diszkrét logaritmus, amit a kriptográfiában is használnak.

Jellemzés

Ahogy a logaritmus definíciója is mutatja, a pozitív számokon értelmezett (nem egy, pozitív alapú)

$\log _{a}:\;x\mapsto \log _{a}x$

függvény az a alapú exponenciális függvény inverze (egészen pontosan a képlet szerint a jobbinverze), vagyis az a^x = exp_a(x) jelölést alkalmazva, minden pozitív x számra

$\exp _{a}(\log _{a}(x))=x\,$.

Emellett a logaritmusfüggvény balinverze is az a alapú exponenciális függvénynek:

$\log _{a}(\exp _{a}(x))=x\,$.

Eszerint a logaritmus művelete a következő eljárással állítja elő a kimenetét. A log_a x az az utasítás, mely az x pozitív számot felírja az a alap valahányadik hatványaként, majd ennek a hatványnak a kitevőjét leolvassa és ezt adja értékül a log_a x kifejezésnek:

$\log _{a}x=\log _{a}a^{n}=n\,$

Például log₁₀1000=3, log₁₀100000=5, log₁₀1 000 000 000=9, illetve log₁₀10ⁿ=n. A tízes alapú logaritmus tehát „a 0-kat számolja meg”. Így az A szám számjegyeinek száma 10-es számrendszerben az (lg A)+1 szám egészrésze. Általában c-es számrendszerben felírt A szám számjegyeinek száma: (log_cA)+1 egész része.

Alternatív definíciók

Egy alternatív definíció a logaritmus azonosságaira támaszkodik, de hatványsorával és a természetes logaritmus az 1/x integráljaként is definiálható, amiből a többi logaritmus az alap megváltoztatására szolgáló képlettel kapható. Ez az utóbbi két definíció nem vonatkoztatható a diszkrét logaritmusra.

• A logaritmus egy $L:\,(\mathbb {R} ^{+}\!,\,\cdot \,)\longrightarrow (\mathbb {R} ,+)$ izomorfiasereg, és más ilyen izomorfia nincs.
• A természetes logaritmus az $L:t\mapsto \int _{1}^{t}{\frac {1}{x}}\,\mathrm {d} x$ integrállal kapható, ha t > 0.
• A logaritmus hatványsora: $\ln(1+x)=\sum _{k=1}^{\infty }(-1)^{k+1}{\frac {x^{k}}{k}}=x-{\frac {x^{2}}{2}}+{\frac {x^{3}}{3}}-{\frac {x^{4}}{4}}+\dotsb$.

Mindezekről az összefüggésekről alább bővebben is szót ejtünk.

Jelölésrendszer

A számításokban leggyakrabban a tízes és a kettes alapú logaritmust, valamint az e alapú ún. természetes logaritmust használják. Ezek jelölésére országonként és tudományáganként különböző rövidítések használatosak.

Magyarországon a 10-es alapú logaritmust leggyakrabban

${\mbox{lg}}(x)\,$

jelöli (például középiskolai tankönyvekben is). Az angolszász mintára készült számológépeken a tízes alapú logaritmus jele log(x). A tízes alapú logaritmust még közönséges logaritmusnak is nevezik. Kézi számolásokhoz egyszerű használni a tízes számrendszerhez való alkalmazkodás miatt:

${\mbox{lg}}(10x)={\mbox{lg}}(10)+{\mbox{lg}}(x)=1+{\mbox{lg}}(x).\$

Így a 10-es alapú logaritmus kapcsolódik a decimális jegyek számához: a számjegyek száma az a legkisebb egész, ami szigorúan nagyobb a szám 10-es alapú logaritmusánál. Például ${\mbox{lg}}1430\approx 3,15\,$. A következő egész a 4, ami valóban megegyezik a számjegyek számával. A függvénytáblázatból a logaritmus törtrésze, a mantissza olvasható ki; a karakterisztikát a felhasználónak kell megadnia a szám nagyságrendje alapján.

A másik gyakran használt logaritmus a természetes logaritmus, aminek az alapja az Euler-féle szám, az e. Ennek jele általában

$\ln(x)\,$,

ami a latin „logarithmus naturalis” (természetes logaritmus) kifejezés rövidítése. Gyakran azonban, főleg a számítástudományban log(x) jelöli a természetes logaritmust, míg a tízes alapút log₁₀(x). A matematikai analízisben széles körűen használják kellemes analitikai tulajdonságai miatt. Elterjedt a statisztikában, a gazdaságtani elméletekben, a fizikában, kémiában és egyes mérnöki alkalmazásokban is.

A kettes alapú logaritmust az információelméletben és a számítógéptudományban használják, alkalmazkodva a kettes számrendszerhez. Az információelméletben a természetes logaritmus is előfordul. A zeneelméletben szintén eleve adva van a kettes alap, mivel egy hang és oktávjának frekvenciájának aránya 2. A cent két szomszédos, egyenletesen temperált hang frekvenciájának arányának logaritmusa 1200-zal szorozva. A fényképészetben az expozíciós időt mérik kettes alapú logaritmikus skálán.

Tulajdonságok

Alakja:

Összefüggések

A logaritmusfüggvény művelettartó leképezés a pozitív számok szorzással ellátott halmaza és a valós számok összeadással ellátott halmaza között. Az algebra szaknyelvén ez azt jelenti, hogy a log_a:(0,+∞)$\rightarrow$ R függvény izomorfizmus a ((0,+∞),$\cdot$) és az (R,+) csoport között. A szorzásból összeadást csinál, az osztásból kivonást, az 1-ből 0-t. Mondhatjuk, hogy a logaritmus függvény a hatványozást szorzásra, a szorzást összeadásra vezeti vissza. Tetszőleges a pozitív, nem 1 számra és x, y pozitív számra:

$\log _{a}xy=\log _{a}x+\log _{a}y\,$

$\log _{a}{\frac {x}{y}}=\log _{a}x-\log _{a}y\,$

$\log _{a}x^{k}=k\log _{a}x\,$

$\log _{a}{\sqrt[{p}]{x}}={\frac {\log _{a}(x)}{p}}$

Az azonosságok a logaritmus $x=b^{\log _{b}(x)}$ vagy $y=b^{\log _{b}(y)}$ definíciójából helyettesítéssel származtathatók.

Az összeg és a különbség logaritmusára ismert azonosság nem könnyíti meg a számolást:

$x+y=x\left(1+{\frac {y}{x}}\right).$

tehát

$\log _{b}(x+y)=\log _{b}x+\log _{b}\left(1+{\frac {y}{x}}\right).$

Bármely logaritmus visszavezethető egy tetszőleges másik alapra:

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

A tudományos számológépek általában csak 10-es vagy természetes logaritmust tudnak számolni.

Egy adott x pozitív számnak még a log_b(x) logaritmusa is ismert egy ismeretlen b-re, akkor a b szám így számítható:

$b=x^{\frac {1}{\log _{b}(x)}}.$

Analitikai tulajdonságok

A logaritmus mélyebb tanulmányozása a függvény fogalmára támaszkodik. Ez egy olyan reláció, ami értelmezési tartományának minden eleméhez hozzárendel egy, és csakis egy értéket. Ezekből az értékekből áll a függvény értékkészlete. A valós logaritmus, mint függvény a pozitív számokon értelmezett, és értéke befutja a teljes valós számkört.

Ahhoz, hogy a logaritmusfüggvény jóldefiniált legyen, meg kell mutatni, hogy a

$b^{x}=y\,$

egyenlet megoldható, és megoldása egyértelmű, ha b és y is pozitív, és b nem egyenlő eggyel. Ez a Bolzano-tétellel bizonyítható. Eszerint egy folytonos függvény nem ugorhat át egy értéket; ha azon az intervallumon, ahol folytonos, felveszi az a és a b értékeket, akkor minden olyan értéket felvesz, ami a és b között van.

Ez megmutatható az f(x) = b^x függvényre a fenti kikötésekkel. Mivel f akármilyen kicsi és akármilyen nagy pozitív értékeket is felvesz, így minden y > 0 számhoz található f(x₀) és f(x₁) alkalmas x₀-ra és x₁-re. Emiatt a Bolzano-tétel szerint f(x) = y megoldható. Továbbá, mivel f monoton nő, ha b 1-nél nagyobb, és monoton csökken, ha b 1-nél kisebb, a megoldás egyértelmű.

Ez az egyértelmű megoldás y b alapú logaritmusa, log_b(y). A fenti kikötéseknek megfelelő b-vel, mint alappal az y-hoz annak logaritmusát hozzárendelő függvény a logaritmusfüggvény, vagy logaritmus.

A log_b(x) függvény alapvető jellemzője a fenti szorzatképlet:

$\log _{b}(xy)=\log _{b}(x)+\log _{b}(y).$

Pontosabban, ha b > 1, akkor a logaritmus az egyetlen monoton növő függvény, ami eleget tesz az f(b) = 1 és :$f(xy)=f(x)+f(y).$ függvényegyenlet-rendszernek.

Inverz függvény

A log_b(x) logaritmus függvény grafikonja (kék) megkapható a b^x függvény grafikonjának (piros) tükrözésével az x = yegyenesre)

A hatvány logaritmusára vonatkozó képlet alapján minden x számra

$\log _{b}\left(b^{x}\right)=x\log _{b}(b)=x.$

Szavakkal: a b alapot x-edik hatványra emelve és ennek b alapú logaritmusát véve visszakapjuk a b számot.

Megfordítva, ha y pozitív szám, és

$b^{\log _{b}(y)}=y$

akkor először a logaritmust véve és erre emelve az alapot visszakapjuk az y számot. Tehát bármelyik műveletet végezzük előbb és a másikat később, mindannyiszor visszakapjuk az eredeti számot. Emiatt a b alapú logaritmus a b alapú hatványfüggvény inverz függvénye.

Az inverz függvények közeli kapcsolatban állnak az eredeti függvénnyel. Grafikonjuk megkapható az x és az y koordináták felcserélésével, azaz az x = y egyenesre való tükrözéssel. A hatványfüggvény grafikonjának (t, u = b^t) pontja az (u, t = log_bu) pontot adja a logaritmus grafikonján, és megfordítva. Emiatt log_b(x) tart a végtelenbe, ha x tart a végtelenbe, hogyha b nagyobb 1-nél. Ekkor log_b(x) monoton nő. Ha b < 1, akkor a log_b(x) függvény a mínusz végtelenhez tart. Ha x a nullához tart, és b > 1, akkor a logaritmus a mínusz végtelenhez tart; ha pedig b < 1, akkor végtelenhez tart.

Derivált és primitív függvény

A természetes logaritmus grafikonja (zöld) és érintője az x = 1,5 pontban (fekete)

A függvények egyes analitikai tulajdonságai átvihetők az inverz függvényre. Ilyen tulajdonság a folytonosság és a differenciálhatóság. Így, mivel f(x) = b^x deriválható, ezért log_b(y) is differenciálható. Szavakkal: egy folytonos függvény ott deriválható, ahol nincs töréspontja. Továbbá, mivel f(x) deriváltja ln(b)b^x az exponenciális függvény tulajdonsága alapján, ezért a láncszabály szerint log_b(x) deriváltja:

${\frac {d}{dx}}\log _{b}(x)={\frac {1}{x\ln(b)}}.$

Így a b alapú logaritmusfüggvényt az (x, log_b(x)) pontbeli érintő meredeksége 1/(x ln(b)). Továbbá ln(x) deriváltja 1/x, eszerint 1/x határozatlan integrálja ln(x) + c. Az általánosított f(x) általánosított függvény argumentummal:

${\frac {d}{dx}}\ln(f(x))={\frac {f'(x)}{f(x)}}.$

A jobb oldalon álló hányados f logaritmikus deriváltja. AZ f'(x) derivált kiszámítása a ln(f(x)) felhasználásával logaritmuikus differenciálás néven ismert. Az ln(x) primitív függvénye:

$\int \ln(x)\,dx=x\ln(x)-x+C.$

Más alapú logaritmusokra a logaritmus alapváltásával egy szorzótényező jelenik meg.

A természetes logaritmus mint integrál

A t természetes alapú logaritmusa megegyezik az f(x) = 1/x grafikonja alatt besötétített területtel

Ha t pozitív, akkor a természetes logaritmusa megegyezik 1/x dx integráljával 1 -től t-ig:

$\ln(t)=\int _{1}^{t}{\frac {1}{x}}\,dx.$

Más szavakkal, ln(t) megegyezik az x tengely és az 1/x grafikonja között 1-től t-ig terjedő területtel. Ez az analízis alaptételének és annak a következménye, hogy ln(x) deriváltja 1/x. Az egyenlet jobboldala a természetes logaritmus definíciója lehet. A logaritmus szorzásra és hatványozásra vonatkozó összefüggései is származtathatók ebből. Például az 1=ln(tu) = ln(t) + ln(u) szorzatképlet:

$\ln(tu)=\int _{1}^{tu}{\frac {1}{x}}\,dx\ {\stackrel {(1)}{=}}\int _{1}^{t}{\frac {1}{x}}\,dx+\int _{t}^{tu}{\frac {1}{x}}\,dx\ {\stackrel {(2)}{=}}\ln(t)+\int _{1}^{u}{\frac {1}{w}}\,dw=\ln(t)+\ln(u).$

Az első egyenlet két részre osztja az integrált, míg a második elvégzi az 1=w = x/t helyettesítést. A bal oldali területet felfelé megnyújtjuk t-szeresére, és vízszintesen összenyomjuk t-edrészére, akkor a terület területe változatlan. Megfelelően eltolva újra illeszkedni fog az 1=f(x) = 1/x függvény grafikonjához. Emiatt a bal terület, ami f(x) integrálja t-től tu-ig, ugyanaz, mint 1 integrálja u-ig. Ez a második egyenlőséget geometriailag demonstrálja.

A geometriai bizonyítás bemutatása

A hatványra vonatkozó 1=ln(t^r) = r ln(t) összefüggés hasonlóan bizonyítható:

$\ln(t^{r})=\int _{1}^{t^{r}}{\frac {1}{x}}dx=\int _{1}^{t}{\frac {1}{w^{r}}}\left(rw^{r-1}\,dw\right)=r\int _{1}^{t}{\frac {1}{w}}\,dw=r\ln(t).$

ahol a második egyenletben a változók helyettesítése: 1=w = x^1/r.

A természetes számok reciprokainak összege a harmonikus sor:

$1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}=\sum _{k=1}^{n}{\frac {1}{k}},$

szorosan kapcsolódik a

$\sum _{k=1}^{n}{\frac {1}{k}}-\ln(n),$

különbséghez. Ha n tart a végtelenbe, akkor a különbség az Euler–Mascheroni-konstanshoz konvergál. Ez segít elemezni az algoritmusok bonyolultságát.

A logaritmus egy másik integrál reprezentációja:

$\ln(x)=-\lim _{\epsilon \to 0}\int _{\epsilon }^{\infty }{\frac {dt}{t}}\left(e^{-xt}-e^{-t}\right)$

Ez azzal igazolható, hogy értéke megegyezik x = 1-ben, és ugyanaz a deriváltja.

Transzcendencia

A nem algebrai valós számokat transzcendensnek nevezzük. Például a π és az e transzcendens számok, de például ${\sqrt {2-{\sqrt {3}}}}$ nem. Majdnem minden valós vagy komplex szám transzcendens. A logaritmus egy példa a transzcendens függvényekre. A Gelfond–Schneider-tétel szerint a logaritmus értéke majdnem mindig transzcendens.

Kiszámítása

Bizonyos esetekben a logaritmus könnyen számítható, például lg 1000 = 3. Általában hatványsorok vagy a számtani-mértani közép felhasználásával számítják. Használhatók adott pontosságú táblázatok is a logaritmushoz. A Newton-módszer szintén alkalmazható, mivel inverz függvénye, az exponenciális függvény gyorsan számítható. Ha csak a bitenkénti eltolás és az összeadás érhető el alapműveletként, akkor keresőtáblák és CORDIC-szerű módszerek használhatók a logaritmus számítására. A bináris logaritmus algoritmus a kettes alapú logaritmust számolja sorozatos négyzetre emeléssel, ami ezt a kapcsolatot használja ki:

$\log _{2}(x^{2})=2\log _{2}(x).\,$

Hatványsorok

ln(z) Taylor-sora z = 1 körül.Az animáción az első 10 és a 99. és a 100 approximáció látható. Az approximációk nem konvergálnak a középponttól mért 1 távolságon kívül

Minden 0 < z < 2 valós számra:

$\ln(z)=(z-1)-{\frac {(z-1)^{2}}{2}}+{\frac {(z-1)^{3}}{3}}-{\frac {(z-1)^{4}}{4}}+\cdots$

Mivel ez a logaritmus Taylor-sora, ezért ez értelmezhető úgy is, hogy a

${\begin{array}{lllll}(z-1)&&\\(z-1)&-&{\frac {(z-1)^{2}}{2}}&\\(z-1)&-&{\frac {(z-1)^{2}}{2}}&+&{\frac {(z-1)^{3}}{3}}\\\vdots &\end{array}}$

függvények egyre jobban megközelítik a természetes logaritmust. Például, ha z = 1,5, akkor a harmadik approximáció értéke 0,4167, ami 0,011-del nagyobb, mint ln(1,5) ~ 0,405465. A sorral a természetes logaritmus akármennyire megközelíthető, ha elég sok tagot összegezünk.Az elemi analízisben ln(z)-t tekintik a sor határértékének. Azonban a konvergencia nem érvényes mindenütt az értelmezési tartományban, ugyanis ez a sorozat a természetes logaritmus z = 1 körüli Taylor-sora, ami nem konvergálhat nagyobb sugarú körben, mert z = 0-ban a logaritmus nincs értelmezve. A Taylor-sor z = 1, |z| < 1-re nyújt közelítést:

$\ln(1+z)=z-{\frac {z^{2}}{2}}+{\frac {z^{3}}{3}}\cdots \approx z.$

Például a z = 0,1-re az első közelítés ln(1,1) ≈ 0,1, aminek hibája kevesebb, mint 5%, hiszen ln(1,1) ~ 0,0953.

Gyorsabban konvergáló sorok

Egy másik ismert sor az area hiperbolikus tangens függvényen alapul:

$\ln(z)=2\cdot \operatorname {arth} \,{\frac {z-1}{z+1}}=2\left({\frac {z-1}{z+1}}+{\frac {1}{3}}{\left({\frac {z-1}{z+1}}\right)}^{3}+{\frac {1}{5}}{\left({\frac {z-1}{z+1}}\right)}^{5}+\cdots \right),$

minden valós z > 0 számra. A szigma jelöléssel

$\ln(z)=2\sum _{n=0}^{\infty }{\frac {1}{2n+1}}\left({\frac {z-1}{z+1}}\right)^{2n+1}.$

Ez a sor a Taylor-sorból származtatható, de gyorsabban konvergál annál, különösen, ha z közel van 1-hez. Ha z = 1,5, akkor az első három tag által a logaritmusra adott közelítés hibája megközelítően 3 · 10^-6. A gyors konvergencia tovább gyorsítható: Legyen y ≈ ln(z) egy pontatlan közelítés. Legyen $A={\frac {z}{\exp(y)}}\,$. Ekkor z logaritmusa: $\ln(z)=y+\ln(A).\,$. Minél jobb a kezdeti y közelítés, annál közelebb lesz A 1-hez. Ez az A az exponenciális hatványsorral számítható, ami gyorsan konvergál, ha az adott y nem túl nagy. A nagyobb számok logaritmusa kisebb számok logaritmusának összegére bontható, például ha z = a · 10^b, akkor ln(z) = ln(a) + b · ln(10).

Az egészek logaritmusa egy rokon módszerrel számolható. A fenti sor alapján:

$\ln(n+1)=\ln(n)+2\sum _{k=0}^{\infty }{\frac {1}{2k+1}}\left({\frac {1}{2n+1}}\right)^{2k+1}.$

Ha az n szám logaritmusa ismert, akkor ez alapján számolható log(n+1).

A számtani-mértani közepek módszere

A számtani-mértani közepek módszere egy viszonylag pontos közelítést ad a természetes logaritmusra. A következő képlet ln(x)-et 2^−p pontossággal (vagy p jegy pontossággal) közelíti (Carl Friedrich Gauss nyomán):

$\ln(x)\approx {\frac {\pi }{2M(1,2^{2-m}/x)}}-m\ln(2).$

Itt M(x,y) x és y számtani-mértani közepét jelöli. Ez úgy kapható, hogy először kiszámoljuk a pozitív x és y számok számtani és mértani közepét. Ezután ezt ismételgetjük a megkapott két számmal. Ezek gyorsan konvergálnak egy közös határértékhez, az M(x,y) számtani-mértani középhez. Az m szám a pontosságot biztosítja. Nagyobb m-ekhez az M(x,y) pontosabb értéke kell, de az eredmény is pontosabb. A π és az ln(2) konstansok más módszerekkel számolhatók.

Határértékek Hurwitz nyomán

A természetes logaritmusra teljesül:

$\ln x=\lim _{n\to \infty }n\left({\sqrt[{n}]{x}}-1\right)=\lim _{n\to \infty }n\left(1-{\frac {1}{\sqrt[{n}]{x}}}\right)$

ekvivalensen

$\ln x=\lim _{h\to 0}{\frac {x^{h}-1}{h}}=\lim _{h\to 0}\int _{1}^{x}{\frac {1}{t^{1-h}}}\ dt$

amit a L’Hospital-szabály is megerősít.

Ezen alapulnak az Adolf Hurwitz által a $a_{n}$ illetve $b_{n}$ sorozatok a természetes logaritmussal definiált határértékei

${\begin{aligned}a_{n}&=2^{n}(x_{n}-1)\\b_{n}&=2^{n}(1-1/x_{n}),\end{aligned}}$

ahol

$x_{n+1}={\sqrt {x_{n}}}\quad {\text{ahol}}\quad x_{0}=x$

Mivel $1-{\tfrac {1}{x}}\leq b_{n}\leq a_{n}<x-1$ és mert $a_{n}$ monoton csökken és $b_{n}$ monoton nő, azért mindkét sorozat konvergens. Mivel $a_{n}=b_{n}x_{n}$ és $x_{n}$→1, adódik az egyenlőség mindkét határértékre:

$\lim _{n\to \infty }a_{n}=\lim _{n\to \infty }b_{n}=\ln x.$

Azonban az ln $x$ kiszámítására a vészes kiegyszerűsödés (kivonáskor elvesző pontosság) miatt gyakorlatilag alkalmatlan.

Egyes bináris jegyek kiszámítása

Egy másik lehetőség a logaritmus kiszámítására, ha a számításokat kettes számrendszerben végezzük, és a jegyeket egymás után rendre számítjuk. Ez az eljárás egyszerűen implementálható, mivel elkerüli a hosszas osztásokat, és könnyen alkalmazható a fixpontos aritmetikához is.

A kettes alapú logaritmus kiszámításához először megszámolják a kettes számrendszerbeli jegyeket, majd a számot 1 és 2 közé normálják.

Ha az adott szám x, akkor logaritmusa ábrázolható, mint:

${\begin{aligned}\log _{2}(x)&=0,b_{1}b_{2}b_{3}\cdots =\sum _{k>0}b_{k}2^{-k}{\text{ mivel }}b_{k}\in \{0,1\}\\\log _{2}(x^{2})&=b_{1},b_{2}b_{3}\cdots \qquad {\text{ mivel }}\quad \log(x^{2})=2\log x\end{aligned}}$

Az x szám negyedelése (nem inkább felezése?) a kettes logaritmust egy jeggyel balra tolja, ezzel elérhető, hogy az egészrész 1 legyen. Ez akkor teljesül, ha x² ≥ 2. Ekkor x-et felezéssel újra normálják, ami nincs hatással a további jegyekre. Az algoritmus pszeudokódja:

INPUT  1 ≤ x < 2
OUTPUT A log2(x) törtrészének bi bitjei

i ← 0
LOOP
   i ← i + 1
   x ← x2
   IF x ≥ 2 THEN
      x ← x / 2
      bi ← 1
   ELSE
      bi ← 0
   END IF
END LOOP

Analóg számológép

Egy logaritmáló egyszerűsített kapcsolási rajza

A logaritmus analóg számológéppel is kiszámítható. Az eredmény az U_a feszültség, ami a bemeneti U_e feszültség logaritmusa. Ez a dióda áram-feszültség exponenciális karakterisztikáját használja ki. A mellékelt ábra a logaritmáló elvi felépítését mutatja be, egy D diódával és egy R ellenállással.

---

Negatív és komplex számok logaritmusa

A z = x + iy komplex szám poláris alakja. Az argumentum nem egyértelmű: φ és φ' is argumentuma z-nek.

A komplex logaritmus Riemann-felülete

A komplex logaritmus főága, Log(z). A fekete pont z = 1-ben a nulla abszolútértéknek felel meg. A telítettebb színek a nagyobb abszolútértéket, a szín az argumentumot jelöli

A logaritmus általánosítható minden, nullától különböző komplex számra, így a negatív számokra is. Adott z komplex szám természetes logaritmusa az a komplex szám, ha $e^{a}=z.\,$ A más alapú logaritmusok ebből számíthatók. Ez azonban nem egyértelmű.

• Nézzük meg egy z = a+bi komplex szám logaritmusát:

log(z) = ln(r) + i*arg(z), ahol a valós szám, r a z komplex szám abszolútértéke, mely a $r={\sqrt {x^{2}+y^{2}}}.\,$ képlettel számítható ki és arg(z) pedig a z komplex szám és a valós tengely pozitív része által bezárt szög (radiánban). Az argumentum nem egyértelmű; ha α argumentuma a z komplex számnak, akkor φ + 2π és φ - 2π is argumentuma z-nek. Ugyanis a 2π hozzáadása vagy kivonása a komplex számsík egy 360 fokos forgatásnak felel meg, ami minden komplex számot önmagára képez. Az argumentum főértéke az a φ, amire −π < φ és φ ≤ π. Jelölése Arg(z). (An alternative normalization is 0 ≤ Arg(z) < 2π.)

A komplex szinusz és koszinusz, vagy a komplex exponenciális függvény felhasználásával r-re és φ-re rendre a következők teljesülnek:

${\begin{array}{lll}z&=&r\left(\cos \varphi +i\sin \varphi \right)\\&=&re^{i\varphi }.\end{array}}\,$

Innen következik, hogy e a-adik hatványa z, ha

$a=\ln(r)+i(\varphi +2n\pi ),\,$

ahol φ a z argumentumának főértéke, és n tetszőleges egész. Minden ilyen a érték logaritmusa z-nek. Ezekből végtelen sok van, szemben az egyértelmű valós logaritmussal. A logaritmus egyenletei erre a végtelen értékű logaritmusra megmaradnak. Az Arg(z) = a-val definiált érték a logaritmus főértéke, Log(z). A pozitív számok argumentumának főértéke 0, így a komplex logaritmus főértéke valós szám, és megegyezik a valós logaritmussal. A főértékre szorítkozva azonban elvesznek az azonosságok, mert az egyenlőség lehet, hogy a logaritmus egy másik értékét válasdztva teljesülne.

A jobbra lent látható kép a természetes logaritmus főágát mutatja be. A negatív oldalon a szín az argumentum ugrása miatt változik meg hirtelen. Ez csak azzal kerülhető el, hogy az argumentum nagyságára nem teszünk kikötést, de ekkor visszakapjuk a végtelen értékű logaritmust. Habár a negatív számok logaritmusa is értelmezett a komplex számsíkon, a negatív számok logaritmusának nincs főértéke.

• Egy komplex szám alapú logaritmust pedig kiszámíthatunk az előbbi összefüggések alapján,

log_w(z) = log(z) ÷ log(w), ahol w és z komplex szám

• Negatív számok logaritmusa kiszámítható az előző összefüggésekkel, ugyanis minden valós szám egyben komplex szám is.

log_a(b) = ln(|b|)+i*π, ahol b egy negatív szám

• Az eredmény képzetes része π, mert minden negatív szám az arg függvényben i*π-t ér. Most nézzünk meg pár példát:

1. Példa:

log(-30)=ln(30)+i*π

Ellenőrzés:

10^ln(30)+i*π=e^{(ln(30)+i*π)*log(10)}=e^ln(30)*(cos(π)+i*sin(π))=30(-1+0*i)=-30

2. Példa:

log_i/2(-1/2) = log(-1/2) / log(i/2) = (ln(1/2)+i*π) / (ln(1/2)+i*π/2)≈ 0,050647 + i*0,361058

Ellenőrzés:

(i/2)^{(ln(1/2)+i*π)/(ln(1/2)+i*π/2)}=e^{(ln(1/2)+i*π)/(ln(1/2)+i*π/2) * (ln(1/2)+i*π/2)}=e^ln(1/2)+i*π=e^ln(1/2)*(cos(π)+i*sin(π))=-1/2

Más exponenciális függvények inverzei

A matematikában több részterületen is használják a hatványozást, így az inverz függvények is szóba kerülnek. Például a mátrixok hatványozásának egyik inverz függvénye a többértékű mátrix logaritmus. Egy másik példa a p-adikus számokon értelmezett p-adikus logaritmus, ami a p-adikus exponenciális inverze. Mindezeket a valós Taylor-sor alapján definiálják. A differenciálgeometriában egy exponenciális leképezés egy sokaság egy pontjabeli érintőteret a pont környezetére képezi. Ennek inverzét szintén logaritmikus leképezésnek nevezik.

A véges csoportok körében egy elem hatványa az elem önmagával való szorzásával kapható meg. Mivel véges csoportban az elemek rendje véges, negatív kitevőkre nincs szükség, mivel az elemek inverze is előáll pozitív kitevős hatványként. Az x csoportelem b csoportelem alapú diszkrét logaritmusa az az egész n szám, ami megoldja az

$b^{n}=x,\,$

egyenletet. Jelen ismereteink szerint míg a hatványozás véges csoportokban gyorsan elvégezhető, addig a diszkrét logaritmus bizonyos csoportokban nehezen számítható. Ezt az aszimmetriát kihasználják a nyilvános kulcsú titkosírásban, például a Diffie–Hellman-kulcscsere eljárásban, ami lehetővé teszi a titkosírás kulcsának cseréjét nyilvános csatornán. A Zech-féle logaritmus véges testek multiplikatív csoportján értelmezett diszkrét logaritmus.

A további logaritmusszerű inverz függvények közé tartoznak az iterált logaritmus, a ln(ln(x)) kettős logaritmus, ami a kettős exponenciális inverze; a hiper- vagy szuperlogaritmus, ami a tetráció inverze; a Lambert-féle W függvény ami a f(w) = we^w inverze; és a logit, ami a logisztikus függvény inverze.

Kapcsolódó fogalmak

Absztrakt algebrai szempontból a log(cd) = log(c) + log(d) egyenlőség csoportizomorfia a pozitív valós számok szorzásra vett csoportja és a valós számok additív csoportja között. E között a két csoport között csak a logaritmusfüggvények teremtenek csoportizomorfiát. Ezzel az izomorfiával a Haar-mérték, Lebesgue-mérték a valós számokon megfelel a dx/x mértéknek a pozitív valós számokon.

A komplex analízisben és az algebrai geometriában a df/f alakú differenciálformák logaritmikus pólusokkánt ismertek.

A polilogaritmus definíciója:

$\operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}}.$

A természetes logaritmussal kifejezve: Li₁(z) = −ln(1 − z), továbbá Li_s(1) éppen a ζ(s) Riemann-féle zéta-függvény.

Alkalmazások

Egy nautilus héja logaritmikus spirál alakzatot mutat

Logaritmustáblázat

A logaritmusnak számos alkalmazása van a matematikában és azon kívül. Ezek jelentős része a skálainvarianciát használja fel. Például a nautilus héjának minden egyes kamrája olyan, mint az előző, de egy konstans tényezővel nagyobb. Emiatt a héj keresztmetszete logaritmikus spirál. Benford törvénye is a skálainvarianciára hivatkozik. A logaritmus az önhasonlósághoz is kapcsolódik, emiatt jelenik meg az oszd meg és uralkodj típusú algoritmusok műveletigényében önhasonló geometriai alakzatok fraktáldimenziójának is logaritmus használatával számítható ki. A logaritmikus skálák akkor hasznosak, ha vagy különböző nagyságrendű mennyiségeket kell egy skálán ábrázolni, vagy az abszolút különbség helyett a relatív megváltozást kell megjeleníteni. A logaritmus több tudományos képletnek is része, mint a Ciolkovszkij-egyenlet, a Fenske-egyenlet és a Nernst-egyenlet.

Számítások

A fenti tulajdonságok segítségével, ha minden szám logaritmusát tudjuk, akkor a szorzások csupán összeadás műveletével elvégezhetőek, sőt, a hatványozást először szorzásra visszavezetve szintén két összeadással elvégezhetjük. A kitevők összeadását a logaritmus értékeket skálájában tartalmazó logarléc használatakor egyszerű tologatással megoldhatjuk. A logarlécet napjainkban már nemigen használják, de az elv továbbra is használható például számológépekben.

Mivel a logaritmus additívvá teszi az egymással szorzódó mennyiségeket, mint például állapotok valószínűségét, alapvető szerepet játszik a statisztikus fizikában használatos entrópia, illetve azzal gazdag analógiákat mutató információmennyiség, hírérték megadásában.

Bonyolultság

A bonyolultságelmélet a számítástudománynak az az ága, amely az algoritmusok végrehajtásának idejét vizsgálja. A logaritmusok azoknak a feladatoknak a vizsgálatában jelennek meg, amelyeket úgy oldanak meg, hogy részproblémákra osztják, azokat megoldják, majd ezekből állítják elő a feladat megoldására. Erre a módszerre oszd meg és uralkodj módszerként is utalnak.

Például a logaritmikus keresés egy rendezett listában keres egy elemet. Ehhez a középső elemet vizsgálja meg. Ha ez kisebb, akkor a nagyobb, ha nagyobb, mint a keresett elem, akkor a kisebb elemek között keres tovább ugyanígy. Ha az adott elem megegyezik a vizsgált elemmel, akkor megvan a keresett elem. Ha a lista már nem osztható tovább, és nem találta meg a keresett elemet, akkor a keresett elem nincs a listában. Az esetek legalább felében ez összesen log₂(N) összehasonlítást jelent. Hasonlóan az összefuttatásos rendezés megfelezi a kapott listát, rendezi a két részt, majd összefuttatva kapja meg a teljes lista rendezését. Az egy elemű listák rendezettje önmaguk. Ez összesen N · log(N). A bonyolultságelméletben rendszerint nem határozzák meg a logaritmus alapját, mert az egy konstans szorzót jelent, és ettől a bonyolultságelmélet eltekint.

Ha f(x) függvény, akkor logaritmikusan nő, ha egy logaritmusfüggvény konstansszorosa. Ez azt is jelenti, hogy logaritmusfüggvény. Például egy természetes szám leírásához egy rögzített számrendszerben szükséges jegyek száma logaritmikusan nő a számhoz képest. Más szavakkal, az eltárolásához szükséges memória logaritmikusan nő a számmal. A biológiában azonban az exponenciális növekedést nevezik logaritmikusnak.

Entrópia és káosz

Billiárd ovális billiárdasztalon. Két részecske az asztal közepéről indul, de kis mértékben különböző szögben indulnak el. Útjuk kaotikusan divergál, mivel visszaverődnek az asztal széléről

Az entrópia egy adott rendszer rendezettségét méri. A statisztikai termodinamikában

$S=-k\sum _{i}p_{i}\ln(p_{i}).\,$

az információk elméletében

$H=-\sum _{i}p_{i}\log _{2}(p_{i}).\,$

Az összeg az összes i állapotot, illetve elemet magába foglalja. Itt p_i az adott állapot vagy elem valószínűsége, k a Boltzmann-állandó. Az információelméletben az információ mennyiségét méri. Ha N üzenet mindegyike egyforma valószínűségű, akkor a kiválasztott üzenet információtartalma log₂(N) bit.

A Ljapunov-kitevők dinamikus rendszerek kaotikusságát méri a logaritmussal. Például, ha egy részecske egy ovális billiárdasztalon mozog, akkor a kiindulópont kis mértékű megváltoztatása is a részecske útjának nagy mértékű változását eredményezi. Az ilyen rendszerek determinisztikusan kaotikusak, mivel megjósolható, hogy kis mérési hibák is nagy különbséget eredményeznek a végső állapotban. A determinisztikusan kaotikus rendszerekben legalább egy Ljapunov-kitevő pozitív.

Fraktálok

A Sierpiński-háromszög konstrukciója. Minden lépésben minden háromszöglemezből kivágják a középvonalai által határolt belső háromszöget. A határérték a Sierpiński-háromszög (jobb szélen)

A logaritmus megjelenik a fraktáldimenziók definíciójában. A fraktálok önhasonló geometriai alakzatok, ami azt jelenti, hogy (legalább köznapi vagy statisztikai értelemben) hasonlók önmaguk egy részével. Például a Sierpiński-háromszög lefedhető három önmaga felére kicsínyített másolatával, így Hausdorff-dimenziója log(3)/log(2) ≈ 1,58. Egy másik logaritmuson alapuló definíció a dobozszámlálási dimenzió, ami különböző méretű dobozokkal való fedésből indul ki.

Valószínűségszámítás és statisztika

Három lognormális eloszlás sűrűségfüggvényének grafikonja. A lokációs paraméter (μ) mindhárom függvénynél 0. Ez megegyezik a valószínűségi változó logaritmusának várható értékével

Benford törvényének bemutatása a világ 237 országának népességi adatainak felhasználásával. A tényleges eloszlást oszlopdiagram jelzi, a fekete pöttyök a Benford-törvény által megjósolt eloszlást jelölik

A valószínűségszámításban is megjelenik a logaritmus. A nagy számok törvénye szerint egy szabályos érmével nagyon sokszor dobva a fejek aránya megközelíti az 1/2-et. A tétel nem állít semmit sem a fej és az írás különbségéről, az a végtelenbe tartva végtelenre nőhet. Az 1/2-es arány körüli ingadozásokat az iterált logaritmus törvénye írja le.

A logaritmus a lognormál eloszlásra is jellemző. Ha egy mennyiség eloszlása normális, akkor logaritmusának eloszlása lognormális. A lognormális eloszlás gyakori, és hátterében sok pozitív értékű, összeszorzódó valószínűségi változó áll. Erre egy példa a turbulencia tanulmányozása.

A paraméteres statisztikai modellek egyike a maximum-likelihood becslés. Ebben a modellben a likelihood függvény legalább egy olyan paramétertől függ, amit becsülni kell. Ez a függvény ott maximális, ahol logaritmusa maximális, mivel a logaritmus monoton nő. Ennek egyszerűbb megtalálni a maximumát, különösen akkor, ha a likelihood függvény független valószínűségi változók több tényezős szorzata.

Benford törvénye a számjegyek eloszlását írja le különféle adathalmazokban, például épületek magassága. Eszerint annak a valószínűsége, hogy egy számadat első jegye d, megegyezik a log₁₀(d + 1) − log₁₀(d) mennyiséggel, függetlenül a mértékegységtől. Így az adatok 30%-a 1-gyel, 18%-a 2-vel kezdődik, és így tovább. Ezt a szabályszerűséget használják például könyvelési csalások leleplezésére.

Számelmélet

A természetes logaritmus kapcsolódik a prímszámok (2, 3, 5, 7, 11 stb.) eloszlásához, ami a számelmélet egy régi nevezetes problémája. Minden x egész számhoz rendeljük hozzá a nála nem nagyobb pozitív prímek számát; ezt a függvényt π(x) jelöli. Ennek aszimptotikus közelítése a prímszámtétel szerint:

${\frac {x}{\ln(x)}},$

ami azt jelenti, hogy a két függvény hányadosa tart az egyhez, ha x tart a végtelenbe. Eszerint annak a valószínűsége, hogy egy x-nél nem nagyobb véletlen szám prím, közelítőleg fordítottan arányos x számjegyeinek számával.

Egy jobb közelítés:

$\mathrm {Li} (x)=\int _{2}^{x}{\frac {1}{\ln(t)}}\,dt.$

A Riemann-hipotézis megfogalmazható π(x) and Li(x) összehasonlításával. A számok prímtényezőiről szóló Erdős–Kac-tételben szintén megjelenik a logaritmus.

Az n faktoriálisának logaritmusa (n! = 1 · 2 · ... · n) kifejezhető, mint

$\ln(n!)=\ln(1)+\ln(2)+\cdots +\ln(n).\,$

Ebből levezethető a Stirling-formula, ami n! approximációja.

Logaritmikus skálák

A logaritmus használatával mennyiségek sok nagyságrendjét egy skálára sűríthetjük. Ennek hasznosságát gyakran a gyakorlat és természet törvényszerűségei is alátámasztják. A különböző fizikai mennyiségék (hangerősség, hangmagasság, fényintenzitás stb.) által keltett, általunk érzékelt fiziológiai érzet a fizikai jel (teljesítményének) logaritmusával arányos. Ez indokolja a logaritmussal arányos decibel-skálák bevezetését. A decibel a teljesítmény 10-es alapú logaritmusának 10-szerese, vagy az elektromos feszültség 10-es alapú logaritmusának 20-szorosa. Használják az elektromos jelek szállítása közbeni feszültségesés mérésére, a hangok teljesítményének mérésére az akusztikában, vagy a fény elnyelődésének mérésére az optikában és a spektrometriában. A jel-zaj arányt is decibelben mérik. A csúcs jel-zaj arányt használják a képtömörítés és a hangminőség mérésére.

Az érzékelés leírásában gyakran jelenik meg a logaritmus. A hangmagasság érzete a hang frekvenciájának logaritmusával arányos, azaz például egyenletes léptéknek észlelt oktávok rendre a frekvencia 2-, 4-, 8-szorosát jelentik. A csillagok fényességét mérő magnitudó is logaritmikus. A pszichofizikában a Weber–Fechner-törvény szerint az inger és az érzet erőssége között logaritmikus kapcsolat van. Ez azonban kevésbé pontos, mint egyes ma használt összefüggések, mint például Steven törvénye.

Hick törvénye szerint a választási idő arányos az alternatívák számának logaritmusával. Fitt törvénye szerint egy tágy méretének és távolságának logaritmusa arányos az odasietés idejével. A matematikában képzetlen egyéneknél tendencia, hogy a mennyiségeket logaritmusuk szerint becsülik meg, például a 10 az 1 és a 100 között félúton van. Az alaposabb matematikai képzés ezt bizonyos körülmények esetén lineáris irányba tolja el.

Logaritmikus továbbá a földrengés erősségét jelző Richter-skála is; a földrengés által kibocsátott energia 10 alapú logaritmusa. Például, ha egy földrengés erőssége 5,0, akkor 32-szer (10^1,5) akkora; a 6,0 erősségű 1000-szer ((10³)) akkora, mint egy 4,0 erejű földrengés.

Egy további példa a vizes oldatok pH-ja, ami a oxóniumionok koncentrációjának 10-es alapú logaritmusának negatívja. Például a semleges pH-jú vízben ez a koncentráció 10⁻⁷ mol·L⁻¹, ami szerint a pH 7. Az ecet pH-ja 3. A különbség az oldatbvan levő oxóniumionok koncentrációjának 10000-szeresét jelzi; eszerint az ecetben 10⁻³ mol·L⁻¹ oxóniumion található.

Zene

Négy oktáv elhelyezkedése lineáris skálán

Négy oktáv elhelyezkedése logaritmikus skálán, ahogy a fül hallja

A hangmagasság logaritmikus észleléséhez a zenének is alkalmazkodnia kell. Az egyenletes hangolásban az egyes hangközök mérete csak a két hang távolságától függ, és nem maguktól a hangoktól. Például az a' (440 Hz) és a b' hangok (466 Hz) közötti hangköz ugyanakkora, mint a b (466 Hz) és a h (493 Hz) hangok közötti. Eszerint a frekvenciák közötti arányok megegyeznek, vagy csak annyiban térnek el, amennyiben a fül nem érzékeli a különbséget:

${\frac {466}{440}}\approx {\frac {493}{466}}\approx 1.059\approx {\sqrt[{12}]{2}}.$

A hangközöket az elnevezések mellett (például nagy szekund, kis terc, tiszta kvint) logaritmikusan célszerű mérni. A logaritmus alapja 2^1/12, ami az oktáv frekvenciaarányához és az oktáv által tartalmazott 12 hanghoz alkalmazkodva ez a legkisebb nem prím hangköz, a kis szekund frekvenciaaránya. Ez a száz cent. A centet a nem egyenletesen temperált hangolások beállításához használják.

Hangköz (két egyszerre játszott hang között)	1/12 hang play	Kis szekund  play	Just nagy terc  play	Nagy terc  play	Tritón  play	Oktáv  play
Frekvenciaarány r	$2^{\frac {1}{72}}\approx 1.0097$	$2^{\frac {1}{12}}\approx 1.0595$	${\tfrac {5}{4}}=1.25$	${\begin{aligned}2^{\frac {4}{12}}&={\sqrt[{3}]{2}}\\&\approx 1.2599\end{aligned}}$	${\begin{aligned}2^{\frac {6}{12}}&={\sqrt {2}}\\&\approx 1.4142\end{aligned}}$	$2^{\frac {12}{12}}=2$
Kis szekundokban (félhangokban) $\log _{\sqrt[{12}]{2}}(r)=12\log _{2}(r)$	${\tfrac {1}{6}}\,$	$1\,$	$\approx 3.8631\,$	$4\,$	$6\,$	$12\,$
Centekben $\log _{\sqrt[{1200}]{2}}(r)=1200\log _{2}(r)$	$16{\tfrac {2}{3}}\,$	$100\,$	$\approx 386.31\,$	$400\,$	$600\,$	$1200\,$

Grafikonok

Hiperinfláció a Weimari Köztársaságban az 1920-as években

A szemilog grafikonok a logaritmikus skálát is szemléltetik. Az egyik tengelyen, tipikusan a függőlegesen a skála logaritmikus, Például az itt látható grafikon több nagyságrendet összenyomva mutatja be a német hiperinflációt az 1920-as években. Ezeken a grafikonokon az f(x) = a · b^x alakú exponenciális függvények képe egyenes.

A természetben talált legtöbb összefüggés (például fizikai képlet) hatványfüggvény alakú. Ha mindkét tengelyen szereplő értékeknek logaritmusát ábrázoljuk, az ún. log-log ábrán bármely hatványfüggvény lineáris alakot vesz fel, a meredekség pedig a kitevőt adja meg:

$y=cx^{\alpha }$

$\log {y}=\log {c}+\alpha \log x$

$Y=\alpha X+C$

A fenti elvet használják ki a gyakran alkalmazott különböző logaritmikus grafikonokon, például a Bode-diagram, amely egy rendszer átviteli függvényének log-log ábrázolása.

Különböző skálákat használó grafikonok $y=10^{x}$ exponenciális (piros), $y=x$ identitás (zöld) és $y=\ln x$ logaritmusfüggvény (kék) ábrázolásával

Története

Előzmények

A babilóniak Kr. e. 2000–1600 körül kezdték el alkalmazni a negyednégyzet algoritmust szorzásra, ami csak összeadást, kivonás, és egy négyzetek negyedét tartalmazó táblázatot használt. Azonban ez még nem volt alkalmas osztásra, mert ahhoz még a reciprokok táblázatára is szükség lett volna, vagy egy olyan eljárásra, amivel gyorsan lehetett volna reciprokot számolni. A módszert az újkorban újra felfedezték, és 1817-től kezdve egészen a számológépek elterjedéséig kiadtak negyednégyzeteket tartalmazó táblázatokat nagy számok pontos szorzásához.

Az indiai Virasena azzal foglalkozott, hogy hányszor lehet elfelezni egy páros számot. 2 egész kitevős hatványaira ez a logaritmus. Ezt ardhacchedának nevezte. Továbbá foglalkozott hasonló függvényekkel 3 és 4 alapra (trakacheda és caturthacheda). Ma ezt a p-adikus számok kapcsán a számok rendjének nevezzük.

Michael Stifel 1544-ben Nurenbergben kiadott Arithmetica integrája tartalmazott egy táblázatot az egészekről és 2 hatványairól, ami egy korai logaritmustáblának tekinthető.

A 16. és a 17. században közelítő pontosságú szorzásra és osztásra a prosthaphaeresis algoritmust használták, ami az

$\cos \,\alpha \,\cos \,\beta ={\frac {1}{2}}[\cos(\alpha +\beta )+\cos(\alpha -\beta )]$

képleten alapulva összeadásra, kivonásra és táblázatok használatára egyszerűsítette a műveleteket. A logaritmus azonban még ezt is tovább egyszerűsítette. Az Euler-formulával kimutatható az összefüggés a két képlet között.

Napiertől Eulerig

John Napier (1550–1617), a logaritmus felfedezője

A logaritmusok módszerét John Napier 1614-ben jelentette meg Mirifici Logarithmorum Canonis Descriptio címen. Joost Bürgi logaritmustáblája 1620-ban jelent meg, de nem terjedt el széles körben. Ez egy egyhez közeli számot használt alapnak, és az 1-től 10-ig terjedő számok logaritmusát tartalmazta. Napiertől eltérően nem definiálta a folytonos logaritmusfüggvényt, és nem elemezte az interpolációk pontosságát sem. Még a használat szabályait sem írta le, bár ezt a hiányosságát később pótolta. Ezt különj adták ki.

Johannes Kepler az Ephemeris fordításához logaritmustáblákat használt, ezért művét Napiernek ajánlotta:, Napier rendszerének megjelenését ugyan megelőzte Justus Byrgius [Joost Bürgi], ámde ő ahelyett, hogy a köz szeme előtt nevelte volna fel gyermekét, már születése után magára hagyta.

Napier ismételt kivonásokkal kiszámolta (1 − 10⁻⁷)^L értékét minden egész L-re 1-től 100-ig, ahol is megközelítően 0,99999 = 1 − 10⁻⁵-t ért el. Ezután kiszámolta ezeknek a szorzatait 10⁷(1 − 10⁻⁵)^L-nel 1-től 50-ig, és hasonlókat számolt 0,9998 ≈ (1 − 10⁻⁵)²⁰-nal és |0,9 ≈ 0,995²⁰-nal is. Mindezek a számítások 20 évig tartottak, és lehetővé tették, hogy 5 és 10 millió között minden N-hez megadja azt az L számot, ami megoldja az

$N=10^{7}{(1-10^{-7})}^{L}.\,$

egyenletet. Az L számot először mesterséges számnak nevezte, de később a logaritmus nevet adta neki, mivel a szám arányt jelöl. Napier kapcsolata a természetes logaritmussal:

$L=\log _{(1-10^{-7})}\!\left({\frac {N}{10^{7}}}\right)\approx 10^{7}\log _{\frac {1}{e}}\!\left({\frac {N}{10^{7}}}\right)=-10^{7}\log _{e}\!\left({\frac {N}{10^{7}}}\right),$

ami egy nagyon pontos approximáció, és megfelel az

${(1-10^{-7})}^{10^{7}}\approx {\frac {1}{e}}.\,$

megfigyelésnek. A logaritmus hamarosan találkozott az igényekkel, és gyorsan népszerűvé vált. Bonaventura Cavalieri (Itália), Edmund Wingate (Franciaország), Xue Fengzuo (Kína) művei, és Johannes Kepler Chilias logarithmorum (német államok) segítette az elterjedésben.

A hiperbola (y = 1/x, pirossal) és az alatta levő terület x = 1-től 6-ig (narancssárgával)

1649-ben Alphonse Antonio de Sarasa, aki korábban Grégoire de Saint-Vincent tanítványa volt, kapcsolatba hozta a logaritmust a hiperbola kvadratúrájával. Rámutatott arra, hogy a hiperbola alatti f(t) terület x = 1-től x = t-ig eleget tesz a következőnek:

$f(tu)=f(t)+f(u).\,$

Ennek előzményeként Grégoire de Saint-Vincent 1647-ben megjelent könyvében, az Opus geometricum quadraturae circuli et sectionum coni vizsgálta a kúpszeleteket. Ebben bizonyította, ha a pontok abszcisszái mértani arányban állnak, akkor a hiperbola íve és az abszcisszák által meghatározott görbe alatti terület számtani arányban van. Ezt felhasználva látta be Alphonse Antonio de Sarasa a fenti összefüggést, és a kapcsolatot a logaritmussal.

A természetes logaritmust Nicholas Mercator 1668-ban kiadott könyvében, a Logarithmotechniában vezette be, habár John Speidell matematikatanár Napier nyomán már készített természetes logaritmus táblázatot. 1730-ban Euler definiálta a természetes alapú exponenciális függvényt és logaritmust,

$e^{x}=\lim _{n\rightarrow \infty }(1+x/n)^{n},$

$\ln(x)=\lim _{n\rightarrow \infty }n(x^{1/n}-1).$

és megmutatta, hogy e kettő inverze egymásnak.

Történelmi alkalmazások

Az 1797-es kiadású Encyclopaedia Britannica cikke a logaritmusról

A számítások leegyszerűsítésével a logaritmus hozzájárult a természettudományok, különösen a csillagászat fejlődéséhez. Kritikus fontosságú volt a geodéziában, az égi navigációhoz, és sok más területhez. Pierre-Simon Laplace szerint a több hónapos számításokat néhány naposra rövidíti, és a hibákat is csökkenti.

A számológépek megjelenése előtt a logaritmust táblázatok alapján használták. Az első ilyen táblázatot Napier után nem sokkal Henry Briggs készítette 1617-ben. Ezután egyre pontosabb és egyre nagyobb számtartományokra készültek logaritmustáblázatok. Ezek a táblázatok tartalmazták log_b(x) és b^x értékét, ahol az x szám egy bizonyos lépésközzel befutott egy tartományt, és b legtöbbször 10 volt a 10-es számrendszerhez való alkalmazkodás miatt. Briggs táblázata az 1–1000 egészek logaritmusát tartalmazta 8 jegyes pontossággal. A log_b(x) inverz függvényét, f(x) = b^x-et antilogaritmusnak nevezték. A logaritmus alapvető tulajdonságai alapján a szorzást összeadásra, az osztéást kivonásra, a hatványozást szorzásra, és a gyökvonást osztásra vezették vissza. Ezután az így kapott érték antilogaritmusát keresték vissza ugyanabban a táblában.

Így a c és a d számok szorzata

$cd=b^{\log _{b}(c)}\,b^{\log _{b}(d)}=b^{\log _{b}(c)+\log _{b}(d)}\,$

és hányadosa

${\frac {c}{d}}=cd^{-1}=b^{\log _{b}(c)-\log _{b}(d)}.\,$

A 10-es alapú logaritmus nullákat számláló tulajdonságára támaszkodva egyes táblák külön adták meg a a karakterisztikát (a logaritmus egészrészét) és a mantisszát (a logaritmus törtrészét). A 10 · x 10-es alapú logaritmusának karakterisztikája 1-gyel nagyobb, mint x karakterisztikája, így a 10-es alapú logaritmustábla értelmezési tartománya kibővíthető. Így például, ha adva vannak az 1-től 1000-ig terjedő egész számok 10-es alapú logaritmusai, 3542 logaritmusa közelíthető így:

$\log _{10}(3542)=\log _{10}(10\cdot 354.2)=1+\log _{10}(354.2)\approx 1+\log _{10}(354).\,$

Egy másik alkalmazás a logarléc volt, amiben két logaritmikus skálát használtak a számításokhoz.

Egy logarléc sematikus ábrája. Az alsó skála 2-eséhez a felső skála 3 távolságot ad, ami az alsó skálán 6-ot jelöl ki. A logarléc azért használható így, mivel minden x 1-től mért távolsága arányos x logaritmusával

Az első logarlécet 1620–1630 körül az oxfordi Edmund Gunter készítette, és csak egy logaritmikus skálája volt. További mérőeszközökkel kombinálva szorozni és osztani lehetett vele. 1632-ben a cambridge-i William Oughtred két Gunter-vonalzó összetételével megalkotta a modern logarlécet. Ezeken a skálákon a számok logaritmusuk különbségével arányos tábvolságra kerültek. A felső skála elcsúsztatásával lehetett összeadni a logaritmusokat. Például a felső skálán az 1 és a 2 közötti távolságot az alsó skálán 1-től 3-ig terjedő távolsághoz adva a szorzat az alsó skáláról olvasható le. Az elektronikus számológépek elterjedéséig (1970-es évek) használták még mérnökök és kutatók is, mert a pontosság árán fel lehetett gyorsítani a számításokat.

Jegyzetek

Ez a szócikk részben vagy egészben a Logarithm című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.