# Logaritmo

In matematica, il logaritmo di un numero in una data base è l'esponente al quale la base deve essere elevata per ottenere il numero stesso. In generale, se $b=a^{c}$, allora $c$ è il logaritmo in base $a$ di $b$, cioè, scritto in notazione matematica,
    $c=\log _{a}b.$
Per esempio, il logaritmo in base $10$ di $1000$ è $3$ poiché bisogna elevare $10$ alla terza potenza per ottenere $1000$, ovvero $10^{3}=1000$. Facendo riferimento alla succitata formula, avremo $a=10$, $b=1000$ e $c=3$.
I logaritmi furono introdotti da Nepero all'inizio del 1600, e trovarono subito applicazione nelle scienze e nell'ingegneria, soprattutto come strumento per semplificare calcoli con numeri molto grandi, grazie all'introduzione di tavole di logaritmi.
La funzione $\log _{a}(x):(0,+\infty )\to \mathbb {R}$ (logaritmo in base $a$ di $x$) è la funzione inversa della funzione esponenziale in base $a$ data da $a^{x}:\mathbb {R} \to (0,+\infty ).$
È di importanza fondamentale il logaritmo naturale, cioè il logaritmo che ha come base il numero di Nepero, indicato con $e\approx 2,718.$ Il logaritmo naturale è l'inverso della funzione esponenziale $e^{x}:\mathbb {R} \to (0,+\infty ).$

## Definizione

Dati due numeri reali positivi $a$ e $b$, con $a\neq 1$, si definisce logaritmo in base $a$ di $b$ l'esponente a cui elevare $a$ per ottenere $b.$ Il numero $b$ viene chiamato argomento del logaritmo. In altre parole, se $b=a^{c},$ si scrive che
    $c=\log _{a}b,$
e si legge: $c$ è il logaritmo in base $a$ di $b.$
Le ipotesi su $a$ e $b$ sono necessarie per avere l'esistenza e l'unicità di $c,$ infatti:
* se $a=0$ e $b\neq 0$, non esistono $c$ tali che $b=a^{c};$
* se $a=0$ e $b=0$, esistono infiniti $c$ con tale proprietà;
* se $a=1$ e $b\neq 1$, non esistono $c$ con tale proprietà, infatti non esiste nessun numero, a parte $1$ stesso, che possa essere ottenuto attraverso una potenza di $1;$
* se $a=1$ e $b=1$, esistono infiniti $c$ con tale proprietà;
* se $a<0$, l'elevamento a potenza $a^{c}$ non è definito per tutti i numeri reali $c$, può essere definito per ogni reale $a$ solo sui numeri razionali esprimibili con una frazione con denominatore dispari e, di conseguenza, anche sui numeri interi;
* il risultato di un elevamento a potenza di un numero positivo è un numero positivo, quindi, per l'osservazione precedente, deve necessariamente essere $b>0.$

### Esempi

Per esempio, $\log _{3}81=4$ perché $3^{4}=3\cdot 3\cdot 3\cdot 3=81.$
I logaritmi possono anche essere negativi (a differenza della base e dell'argomento). Infatti
    $\log _{3}\left({\frac {1}{3}}\right)=-1,$
poiché $3^{-1}={\frac {1}{3}}.$

## Proprietà dei logaritmi

Dalle relazioni $a^{1}=a$ e $a^{0}=1$, che valgono qualsiasi sia la base $a$, derivano le proprietà di base:
    $\log _{a}{a}=1$
    $\log _{a}1=0$
Inoltre, dalla definizione segue che:
    $a^{\log _{a}x}=\log _{a}{a^{x}}=x$

### Prodotto, quoziente, potenza e radice

Una delle più importanti proprietà dei logaritmi è che il logaritmo del prodotto di due numeri è la somma dei logaritmi dei due numeri stessi. Allo stesso modo, il logaritmo del quoziente di due numeri non è altro che la differenza tra i logaritmi degli stessi. In altre parole valgono
    $\log _{a}(x\cdot y)=\log _{a}x+\log _{a}y$
    I logaritmi, assieme alle formule di prostaferesi, consentono quindi di trasformare le somme in prodotti e le differenze in quozienti, proprietà questa talora molto utile nella semplificazione algebrica.
Il logaritmo $\log _{a}(x)$ è, per definizione, l'esponente che si deve mettere alla base $a$ per ottenere $x$ come risultato:
    $a^{\log _{a}(x)}=x$
Se scriviamo:
    $a^{\log _{a}(x)}=x$
    $a^{\log _{a}(y)}=y$
Usando le regole dell'esponenziale:
    $a^{\log _{a}(x)}\cdot a^{\log _{a}(y)}=a^{\log _{a}(x)+\log _{a}(y)}=xy$
Applicando il logaritmo ad ambo i membri:
    $a^{\log _{a}(x)+\log _{a}(y)}=xy\Longrightarrow \log _{a}(a^{\log _{a}(x)+\log _{a}(y)})=\log _{a}(xy)$
    $\log _{a}(a^{\log _{a}(x)+\log _{a}(y)})$ rappresenta quel numero che si deve mettere come esponente alla base $a$ per ottenere $a^{\log _{a}(x)+\log _{a}(y)}$.
Il suo valore è ovviamente l'esponente stesso:
    $\log _{a}(x)+\log _{a}(y)$
    $\log _{a}(a^{\log _{a}(x)+\log _{a}(y)})=\log _{a}(xy)\Longrightarrow \log _{a}(x)+\log _{a}(y)=\log _{a}(xy)$
    $\log _{a}{\frac {x}{y}}=\log _{a}x-\log _{a}y$
Se scriviamo:
    $a^{\log _{a}(x)}=x$
    $a^{\log _{a}(y)}=y$
Usando le regole dell'esponenziale:
    ${\frac {a^{\log _{a}(x)}}{a^{\log _{a}(y)}}}=a^{\log _{a}(x)-\log _{a}(y)}={\frac {x}{y}}$
Applicando il logaritmo ad ambo i membri:
    $a^{\log _{a}(x)-\log _{a}(y)}={\frac {x}{y}}\Longrightarrow \log _{a}(a^{\log _{a}(x)-\log _{a}(y)})=\log _{a}({\frac {x}{y}})$
    $\log _{a}(a^{\log _{a}(x)-\log _{a}(y)})$ rappresenta quel numero che si deve mettere come esponente alla base a per ottenere $a^{\log _{a}(x)-\log _{a}(y)}$.
Il suo valore è ovviamente l'esponente stesso:
    $\log _{a}(x)-\log _{a}(y)$
    $\log _{a}(a^{\log _{a}(x)-\log _{a}(y)})=\log _{a}\left({\frac {x}{y}}\right)\Longrightarrow \log _{a}(x)-\log _{a}(y)=\log _{a}\left({\frac {x}{y}}\right)$
Inoltre, il logaritmo di un numero elevato a una certa potenza $k$ è uguale a $k$ moltiplicato per il logaritmo del numero stesso. Da questo discende che il logaritmo della radice $k$-esima di un numero è uguale all'inverso di $k$ per il logaritmo del numero, e che il logaritmo dell'inverso di un numero è l'opposto del logaritmo del numero stesso. In altre parole valgono le formule:
    $\log _{a}x^{k}=k\cdot \log _{a}x$
Se scriviamo:
    ${\left(a^{\log _{a}x}\right)}^{k}=x^{k}$
Usando le regole dell'esponenziale:
    ${\left(a^{\log _{a}x}\right)}^{k}=x^{k}\Longrightarrow a^{k\log _{a}(x)}=x^{k}$
Questo significa che $k\log _{a}(x)$ è l'esponente da dare alla base $a$ per ottenere $x^{k}$, ovvero usando i logaritmi:
    $k\log _{a}(x)=\log _{a}(x^{k})\Longrightarrow \log _{a}(x^{k})=k\log _{a}(x)$
    $\log _{a}{\sqrt[{k}]{x}}={\frac {1}{k}}\log _{a}(x)$
    $\log _{a}{\frac {1}{x}}=-\log _{a}x.$

### Cambiamento di base

Noto il valore di un logaritmo in una base, è semplice calcolarne il valore in un'altra base (spesso le calcolatrici danno il logaritmo solo in basi $10$ ed $e$).
Se $b$, $x$, e $k$ sono tutti numeri reali positivi (con $b\neq 1$ e $k\neq 1$):
    $\log _{b}x={\frac {\log _{k}x}{\log _{k}b}}$
dove k è una base qualsiasi. La formula può essere scritta nel modo seguente
    $\log _{k}b\cdot \log _{b}x=\log _{k}x$
e segue dalla relazione
    $k^{\log _{k}b\cdot \log _{b}x}=(k^{\log _{k}b})^{\log _{b}x}=b^{\log _{b}x}=x.$
Dalla formula del cambiamento di base, ponendo $k=x$, si ricava la relazione seguente:
    $\log _{b}x={\frac {1}{\log _{x}b}}.$

## Computazione

Supponiamo di voler calcolare $c=\log _{a}b$, con $a\in (1;+\infty )$ e $b\in [1;+\infty )$, rappresentato in una certa base $r\geq 2$.

### Algoritmo ingenuo
#### Calcolo della parte intera

Per calcolare la parte intera del logaritmo si procede nel modo seguente:
* poni $q:=b$, $c:=0$ e vai al punto 3;
* poni $q:={\frac {q}{a}}$ e $c:=c+1$;
* se $q\geq a$, vai al punto 2, altrimenti procedi con il calcolo della mantissa.
Al termine della procedura, $c$ equivale alla parte intera di $\log _{a}b$.

#### Calcolo della mantissa

Per calcolare le prime $n$ cifre della mantissa, rappresentata in una certa base $r$, si esegue la seguente iterazione per $i=1,\dots ,n$:
* poni $q:=q^{r}$, $d_{i}:=0$ e vai al punto 3;
* poni $q:={\frac {q}{a}}$ e $d_{i}:=d_{i}+1$;
* se $q\geq a$, vai al punto 2, altrimenti termina l'iterazione.
Al termine di ogni iterazione, $d_{i}$ equivale all'$i$-esima cifra della mantissa.

### Generalizzazione

L'algoritmo può essere generalizzato anche per valori di $a,b\in (0;1)$, utilizzando le proprietà dei logaritmi. Abbiamo i seguenti tre casi:
* Se $a\in (0;1)$ e $b\in [1;+\infty )$, allora, cambiando la base con ${\frac {1}{a}}$, segue che $\log _{a}b={\frac {\log _{\frac {1}{a}}b}{\log _{\frac {1}{a}}a}}={\frac {\log _{\frac {1}{a}}b}{-1}}=-\log _{\frac {1}{a}}b$; possiamo dunque calcolare $\log _{\frac {1}{a}}b$, dato che $a\in (0;1)\implies {\frac {1}{a}}\in (1;+\infty )$.
* Se $a\in (1;+\infty )$ e $b\in (0;1)$, allora $\log _{a}b=\log _{a}b^{(-1)\cdot (-1)}=(-1)\cdot \log _{a}b^{-1}=-\log _{a}{\frac {1}{b}}$; possiamo dunque calcolare $\log _{a}{\frac {1}{b}}$.
* Se $a\in (0;1)$ e $b\in (0;1)$, allora, combinando i precedenti risultati, $\log _{a}b=-\log _{a}{\frac {1}{b}}=-\left(-\log _{\frac {1}{a}}{\frac {1}{b}}\right)=\log _{\frac {1}{a}}{\frac {1}{b}}$.

## Basi del logaritmo

Anche se in linea di principio i logaritmi possono essere calcolati in qualunque base positiva e diversa da $1$, quelle più utilizzate sono tre:
* base 10 (logaritmi decimali o volgari o di Briggs), usati per le operazioni di calcolo (e per il calcolo di pH e pOH in chimica); li si indica con log$_{10}$, o con Log, oppure anche con log quando la base a cui ci si riferisce è chiara dal contesto (simbolo ISO lg).
* base e (logaritmi naturali o neperiani), usati nel calcolo infinitesimale; li si indica con ln, oppure con log quando la base a cui ci si riferisce è chiara dal contesto (simbolo ISO ln).
* base 2 (logaritmi binari), usati soprattutto nell'analisi della complessità computazionale, nella teoria dei codici e nella teoria dei segnali; li si indica con log$_2$, oppure con log quando la base a cui ci si riferisce è chiara dal contesto (simbolo ISO lb).

## Storia

Il metodo dei logaritmi fu proposto dallo scozzese Nepero nel 1614, in un libro intitolato Mirifici Logarithmorum Canonis Descriptio. Joost Bürgi inventò indipendentemente i logaritmi, ma pubblicò i suoi risultati sei anni dopo Nepero.
Per sottrazioni successive, Nepero calcolò $(1-10^{-7})^{L}$ per $L$ da $1$ a $100$; il risultato per $L=100$ è approssimativamente $0,99999$, ovvero $1-10^{-5}$. Nepero poi calcolò il prodotto di questi numeri per $10^{7}(1-10^{-5})^{L}$, con $L$ da $1$ a $50$. Questi calcoli, che occuparono 20 anni, gli permisero di trovare, per ogni numero intero $N$ da 5 a 10 milioni, il numero $L$ che risolve l'equazione
    $N=10^{7}(1-10^{-7})^{L}.$
Nepero chiamò inizialmente questo valore un "numero artificiale", ma successivamente introdusse il nome "logaritmo", dalle parole del greco "logos", proporzione, e "arithmos", numero. Usando una notazione moderna, i calcoli di Nepero gli permisero di calcolare
    $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),$
dove l'approssimazione compiuta corrisponde alla seguente:
    ${(1-10^{-7})}^{10^{7}}\approx {\frac {1}{e}}.$
L'invenzione di Nepero fu subito largamente acclamata: i lavori di Bonaventura Cavalieri (Italia), Edmund Wingate (Francia), Xue Fengzuo (Cina) e Giovanni Keplero (Germania) permisero di diffondere velocemente l'idea.
Nel 1647, il fiammingo Gregorio di San Vincenzo collegò i logaritmi alla quadratura dell'iperbole, dimostrando che l'area $A(t)$ sottesa da $1$ a $t$ soddisfa
    $A(tu)=A(t)+A(u).$
Il logaritmo naturale fu per la prima volta descritto da Nicolaus Mercator nel suo scritto Logarithmotechnia pubblicato nel 1668, anche se precedentemente l'insegnante di matematica John Speidell aveva compilato una tavola di logaritmi naturali nel 1619.
Intorno al 1730, Eulero definì la funzione esponenziale e la funzione logaritmo come
    $e^{x}=\lim _{n\rightarrow +\infty }\left(1+{\frac {x}{n}}\right)^{n},$
    $\ln(x)=\lim _{n\rightarrow +\infty }n(x^{1/n}-1).$
Eulero inoltre dimostrò che queste due funzioni erano una l'inversa dell'altra.

### Tavole dei logaritmi e applicazioni storiche

Semplificando calcoli complessi, i logaritmi contribuirono ampiamente all'avanzamento della scienza, e in particolare dell'astronomia. Lo strumento che ne permise l'uso pratico furono le tavole dei logaritmi. La prima di esse fu completata da Henry Briggs nel 1617, subito dopo l'invenzione di Nepero. Successivamente, furono scritte altre tavole con diversi scopi e precisione. In esse veniva elencato il valore di $\log _{b}(x)$ e di $b^{x}$ per ogni numero $x$ in un certo intervallo, con una precisione fissata e con una base $b$ scelta (solitamente $b=10$). Per esempio, la tavola di Briggs conteneva il logaritmo in base $10$ di tutti i numeri da $1$ a $1000$, con una precisione di otto cifre decimali. La funzione $b^{x}$, poiché inversa del logaritmo, venne chiamata antilogaritmo.
Il prodotto e il quoziente di due numeri $c$ e $d$ venivano così calcolati con rispettivamente la somma e la differenza dei loro logaritmi. Il prodotto $cd$ è l'antilogaritmo della somma dei logaritmi di $c$ e $d$:
    $cd=b^{\log _{b}(c)}b^{\log _{b}(d)}=b^{\log _{b}(c)+\log _{b}(d)}.$
Il quoziente $c/d$ è l'antilogaritmo della differenza dei logaritmi di $c$ e $d$:
    ${\frac {c}{d}}=cd^{-1}=b^{\log _{b}(c)-\log _{b}(d)}.$
Per compiere calcoli complessi con una buona precisione queste formule erano molto più veloci del calcolo diretto oppure dell'utilizzo di metodi precedenti, come quello di prostaferesi.
Anche il calcolo di potenze e di radici veniva semplificato, riducendosi a moltiplicazione e divisione di logaritmi:
    $c^{d}=(b^{\log _{b}(c)})^{d}=b^{d\log _{b}(c)}$
e
    ${\sqrt[{d}]{c}}=c^{\frac {1}{d}}=b^{{\frac {1}{d}}\log _{b}(c)}.$

## Funzione logaritmo

Operando sui numeri reali, la funzione logaritmo è la funzione $f:(0,+\infty )\to \mathbb {R}$ definita da
    $f(x)=\log _{b}(x).$
La funzione ha come dominio l'intervallo $(0,+\infty ).$ In figura sono disegnati tre esempi della funzione logaritmo con diversi valori per la base $b$. La curva rossa è per la funzione con base $b=e$ costante di Nepero (valore approssimato: $2,718$). Come si può notare dal grafico, il dominio della funzione logaritmo (l'insieme entro cui variano i valori delle $x$), è l'intervallo $(0,+\infty )$; mentre il codominio, insieme in cui variano i valori delle $y$, è $\mathbb {R}$.

### Derivata

La funzione logaritmo è derivabile e la sua derivata è la seguente:
    ${\frac {d}{dx}}\log _{b}x={\frac {1}{x\ln b}}={\frac {\log _{b}e}{x}},$
dove ln è il logaritmo naturale, cioè con base $e$. In particolare, la relazione seguente è fondamentale nel calcolo infinitesimale:
    ${\frac {d}{dx}}\ln x={\frac {1}{x}}.$

#### Dimostrazione con la funzione inversa

L'eguaglianza è dimostrabile usando la regola della funzione inversa:
    $\left(f^{-1}\right)'\left(y_{0}\right)={\frac {1}{f'\left(x_{0}\right)}}$
La funzione inversa del logaritmo è la funzione esponenziale, la cui derivata coincide con se stessa:
    ${\frac {d}{dx}}e^{x}=e^{x}.$
Ne segue:
    ${\frac {d}{dx}}\ln x={\frac {1}{\frac {de^{\ln x}}{d\ln x}}}={\frac {1}{e^{\ln x}}}={\frac {1}{x}}.$

#### Dimostrazione tramite definizione

Si può utilizzare direttamente la definizione di derivata:
    ${\frac {d}{dx}}\log _{b}x=\lim _{h\to 0}{\frac {\log _{b}(x+h)-\log _{b}x}{h}}$
       $=\lim _{h\to 0}{\frac {\log _{b}({\frac {x+h}{x}})}{h}}=\lim _{h\to 0}{\frac {\log _{b}\left(1+{\frac {h}{x}}\right)}{h}}$
       $=\lim _{h\to 0}{\frac {\log _{b}\left(1+{\frac {h}{x}}\right)}{{\frac {h}{x}}x}}$
e, ricordando il limite notevole del logaritmo, si ottiene:
       $={\frac {1}{x\ln b}}.$

### Convessità e concavità

La derivata seconda della funzione logaritmo è
    ${\frac {d^{2}}{dx^{2}}}\log _{b}x=-{\frac {1}{x^{2}\ln b}}.$
Se $b>1$, questo valore è sempre negativo e la funzione è quindi funzione concava. Se $b<1$ è invece sempre positivo e la funzione è convessa.

### Integrale

La funzione logaritmo è continua e quindi integrabile. La funzione integrale del logaritmo, con base generica $b$, è (applicando l'integrazione per parti):
    $\int \log _{b}x\,dx=x\log _{b}x-{\frac {x}{\ln b}}+C=x\log _{b}\left({\frac {x}{e}}\right)+C$
dove $C$ è la costante di integrazione, cioè una costante reale arbitraria.

### Funzione analitica

La funzione logaritmo è analitica. Non è possibile però descrivere la funzione su tutto il suo dominio con una sola serie di potenze (come avviene ad esempio per la funzione esponenziale): lo sviluppo centrato in un punto $R>0$ ha infatti raggio di convergenza $R$ ed è quindi convergente solo nell'intervallo $(0,2R)$. Ad esempio, lo sviluppo in $R=1$ è il seguente:
    $\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}}+\dots$

## Relazione tra funzione esponenziale e logaritmica

Per lo studio di funzioni esponenziali in cui è necessario estrapolare dati o parametri in modo semplice è possibile sfruttare la funzione logaritmo per ricavare una relazione implicita della funzione originale avente il vantaggio di essere lineare. Ad esempio, per una funzione descrivibile come
    $y=ae^{bx}$
con a e b costanti è possibile pervenire alla relazione:
    $\ln \left(y\right)=\ln \left(ae^{bx}\right)=\ln \left(a\right)+\ln \left(e^{bx}\right)=\ln \left(a\right)+bx$
che sul piano semi-logaritmico rappresenta una retta che interseca l'asse delle ordinate in ln(a), con derivata prima b e angolo di inclinazione pari ad arctan(b): in questo modo l'estrapolazione dei dati per la nuova funzione è più semplice ed accessibile.

## Logaritmo complesso

La funzione logaritmo può essere estesa ai numeri complessi diversi da zero. Nel caso in cui si tratti di un logaritmo naturale con argomento complesso vale la formula seguente:
    $\ln {z}=\ln {|z|}+i\left(\arg z+2\pi k\right),z\in \mathbb {C} ,$
con $i$ l'unità immaginaria e $\arg z$ l'argomento di $z$. Il logaritmo complesso è in realtà una funzione a più valori, determinati dal parametro intero $k$.