Logaritm

Logaritmfunktioner, ritade för 3 olika baser. Samtliga grafer avbildar punkten (1, 0) då alla tal upphöjda till 0 är lika med 1 och dessutom punkten (b, 1) för basen b, då ett tal upphöjt till 1 är lika med talet självt. Graferna har högergränsvärdet -∞ då x → 0 från höger

Logaritmen är inom matematiken den inversa funktionen till exponentiering. Logaritmen för ett tal a är den exponent x till vilket ett givet tal, med basen b, måste upphöjas för att anta värdet a:

$a=b^x$

Logaritmer kan vara ett hjälpmedel, i synnerhet vid manuella beräkningar med stora antal av tal, genom att multiplikationer och divisioner kan omvandlas till additioner respektive subtraktioner.

Logaritmernas uppfinnare anses vara skotten John Napier (1600-talet).

Reell logaritm

För reella tal måste det gälla att a > 0 och b > 0 för att logaritmen ska kunna beräknas. Logaritmen x kan anta godtyckliga värden. I uttrycket a = b^x kallas x logaritmen av a i basen b och skrivs

$x={\log }_{b}a$, eller $x={}^{\mathrm{b}}\mathrm{l}\mathrm{o}\mathrm{g}a$,     där alltså $a,b\in ℝ$ och $a,b>0$

Binär logaritm - tvålogaritm

Om $b=2$ kan även skrivningen Mall:Math förekomma (b:et står för binär") och även skrivningen Mall:Math förekommer (speciellt i tyskspråkig litteratur - "ld" står för latin logarithmus dualis). I viss amerikansk litteratur används Mall:Math för tvålogaritmer, vilket inte rekommenderas eftersom denna betckning är standard för tiologaritmer i exempelvis svensk- eller tyskspråkig litteratur.

Tiologaritm eller briggsk logaritm

Tiologaritmen

Ett praktiskt val av logaritmbas vid användning av den decimala notationen är den briggska logaritmen (10-logaritmen utvecklad av Henry Briggs). Den briggska logaritmen för ett tal a är den exponent x till vilken 10 skall upphöjas för att bilda talet a:

$10^x=a\iff x={\log }_{10}a=\lg a$

Andra beteckningssätt för log₁₀ a är ¹⁰log a och log a.

Naturlig logaritm (logarithmus naturalis)

Mall:Fördjupning En speciell bas är e (Eulers tal). Beteckningen för log_e a, den naturliga logaritmen av a, är ln a.

Detta ger sambanden

$a={\mathrm{e}}^x\iff x=\ln a.$

En viktig anledning till att denna logaritm används är att den är den inversa funktionen till exponentialfunktionen e^x.

En intressant egenskap hos den naturliga logaritmfunktionen är att dess derivata är 1/x, vilket gör att den fyller ut en lucka bland de primitiva funktionerna till potensfunktioner:

$\int x^{n}dx=$$\{\begin{array}{cc}\frac{x^{n+1}}{n+1}+C& \text{om }n\ne -1\\ \ln x+C& \text{om }n=-1\end{array}$

n = -1 leder till division med noll, vilket är otillåtet. För varje tal nära -1 kommer "första primitiva funktionen" att vara godtyckligt nära ln x. Därför kan logaritmen ses som en kontinuerlig utvidgning av polynomen, ett faktum som även kan motiveras genom att betrakta vissa speciella gränsfall av interpolationspolynomen (kanske enklast via Newtons interpolationspolynom).

Se även definitionen av talet e.

Komplex logaritm

Den flervärda komplexa logaritmen log definieras som urbilden till exponentialfunktionen, det vill säga

$\log :ℂ\to 2^{ℂ},z\mapsto \{w\in ℂ:\exp w=z\}$

Vilket också kan uttryckas som

$\log z=\ln |z|+i*(arg(z)+n*2\pi )$

där + innebär addition av vektormängder och arg är argumentsfunktionen. Den komplexa logaritmen uppfyller de flesta räkneregler för den reella logaritmen; problem kan uppstå om exempelvis summan av två argument hamnar utanför grenen. Man kan studera en gren av logaritmen, som då blir en envärd funktion. För principalgrenen Log används principalgrenen av argumentsfunktionen, dvs

$\mathrm{I}\mathrm{m}\mathrm{L}\mathrm{o}\mathrm{g}z\in (-\pi ,\pi )$.

Diskret logaritm

På samma sätt som ovan kan man definiera en logaritm i en godtycklig ändlig kropp. Det är då ett väldefinierat begrepp eftersom en kropp under multiplikation (andra kompositionsoperatorn) är isomorf med en cyklisk delgrupp. Som bas för logaritmen väljer man en generator för denna cykliska grupp. Utvidgningen är helt analog med reella logaritmer. Skillnaden mellan reella logaritmer och diskreta logaritmer är att den diskreta logaritmen alltid blir ett heltal. I övrigt har diskreta och reella logaritmen likartade lagar och följer ungefärligen samma teori.

Till skillnad från vanliga (reella) logaritmer är det generellt sett svårt att hitta logaritmen för ett givet tal. Man kallar detta diskreta logaritmproblemet. Faktum är att det är så svårt, att man använder denna svårighet för att konstruera säker kryptering. Poängen är att det är lätt att verifiera en föreslagen logaritm, men svårt att finna den. Metoden påminner om hur man i krypteringsalgoritmer utnyttjar problemet med finna primtalsfaktorisering av stora tal.

Integrallogaritm

Med en integrallogaritm, eller logaritmisk integral, avses en funktion, betecknad med li(x), på formen:

$\mathrm{li}(x)=\underset{0}{\overset{x}{\int }}\frac{dt}{\ln t},$ för $0<x<1$

och

$\mathrm{li}(x)=\lim \underset{x}{\overset{1-ϵ}{\int }}\frac{dt}{\ln t}+\lim \underset{1+ϵ}{\overset{\mathrm{\infty }}{\int }}\frac{dt}{\ln t},$ för $x>1$

Funktionen har en singularitet vid $x=1$ eftersom $\ln 1=0$.

Derivata

Derivatan av en logaritmfunktion

$y={\log }_{b}x$

är

$\frac{dy}{dx}=\frac{1}{x\ln b}$

Speciellt är

$\frac{d}{dx}\ln x=\frac{1}{x}$

Identiteter

• ${\log }_{b}a=x\leftrightarrow b^x=a$

• $b^{{\log }_{b}a}=a$

• $a^x={\mathrm{e}}^{x\ln a}$

• ${\log }_a(xy)={\log }_a(x)+{\log }_a(y)$

• ${\log }_b(a^p)=p{\log }_b(a)$

• ${\log }_a\left(\frac{x}{y}\right)={\log }_a(x)-{\log }_a(y)$

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

• ${\log }_b(\sqrt[p]{a})=\frac{1}{p}{\log }_b(a)$

Exempel

Logaritmernas främsta ursprungliga nytta var att ersätta långa sekvenser av multiplikationer med mindre tidskrävande sekvenser av additioner.

Antag att produkten 217 · 596 skall beräknas utan användande av multiplikation. Enligt logaritmlagarna är summan av faktorernas logaritmer lika med logaritmen för produkten:

$\log a+\log b=\log ab\Rightarrow$

$\log 217+\log 596=2.33646+2.77525=5.11171$

Med hjälp av en tabell går det att bestämma vilket tal som har logaritmen 5.11171:

$\log x=5.11171\Rightarrow \text{tabelluppslagning}\Rightarrow x=129332$

Exempel (reella logaritmen)

Logaritmerna kan användas för att lösa vissa ekvationer. Antag att ekvationen

$7^x=1234$

skall lösas med hjälp av logaritmer. Bilda 10-logaritmen av båda sidor:

$\log 7^x=\log 1234$

Utnyttja en av logaritmlagarna:

$x\cdot \log 7=\log 1234$

Beräkna värdet av x på miniräknaren:

$x=\frac{\log 1234}{\log 7}=3.65794$

Exempel (diskreta logaritmen)

Det går att använda diskreta logaritmer för att lösa ekvationer i godtyckliga kroppar. Här visas hur man bestämmer diskreta logaritmer i en given kropp.

I exemplet kommer vi att betrakta galoiskroppen av ordning 27, GF(3³). Den genereras av ett kubiskt irreducibelt polynom över ℤ₃ via Kroneckers konstruktion. Ett sådant irreducibelt polynom är Mall:Nowrap vilket inses genom att manuellt undersöka de möjliga rötterna. Därmed har vi en kropp

${\mathbb{Z}}_3[x]/<x^3+2x+1>$

med 27 element som kommer att vara isomorf med GF(27). I den går det nu att beräkna diskreta logaritmer.

Låt oss här återge stegen vi tagit lite mer detaljerat. Vi har hittat ett irreducibelt polynom över ℤ₃. Då kommer

${\mathbb{Z}}_3[x]/<x^3+2x+1>$

att bli en kropp, som genereras av ett principalt ideal.

Detta förklaras genom att ℤ₃ är en kropp och därför är varje ideal i ℤ₃[x] principalt och genom att polynomet Mall:Nowrap är irreducibelt. Därför är Mall:Nowrap ett maximalt ideal. Och därför är kvotringen

${\mathbb{Z}}_3[x]/<x^3+2x+1>$

inte bara en kvotring, utan en kropp.

Låt oss ta reda på vad elementet/sidoklassen Mall:Nowrap har som diskret logaritm. Genom att successivt beräkna potenser xⁿ där $n=0,1,\dots ,26$ fås att första gången Mall:Nowrap är när n = 21:

$n=0,x^0=1$

$n=1,x^1=x$

$n=2,x^2=x^2$

$n=3,x^3=x+2$

$n=4,x^4=x^2+2x$

$n=5,x^5=2x^2+x+2$

$n=6,x^6=x^2+x+1$

$\dots$

$n=21,x^{21}=x^2+1$

Därför är log_x(x² + 1) = 21. Notera att det var nödvändigt att gå igenom ett stort antal exponenter n = 0, 1, … för att hitta den vi sökte. Det finns bättre algoritmer för att hitta diskreta logaritmen. Men även med dessa är det generellt sett en tidsödande process, eftersom man kan konstruera kroppar av mycket hög ordning.

Antilogaritm

Antilogaritmen är ett annat namn för potens. Även om termen visserligen används är det ett inte helt lyckat bruk, eftersom potens är konventionen.

Se även

• Karakteristika
• Mantissa
• Logaritmisk skala

Externa länkar

• Mall:Commons