Funzione esponenziale

funzione consistente nell'elemento a potenza della costante di Eulero e
(Reindirizzamento da Serie esponenziale)

In matematica, si definisce funzione esponenziale ogni funzione del tipo dove è un numero reale positivo diverso da 1 fissato e la variabile indipendente è reale e compare come esponente (da qui il nome).

Se la funzione esponenziale è strettamente crescente. In particolare si dà il nome di "funzione esponenziale naturale" (o, sinteticamente, di "esponenziale" alla particolare funzione esponenziale ( numero di Nepero).

Come funzione della variabile reale x, ex è sempre positiva e crescente. Il semiasse negativo dell'asse x è un asintoto orizzontale al grafico.

Nel seguito della presente voce si farà riferimento, tranne quando altrimenti specificato, alla funzione esponenziale con base peraltro rappresentata con la notazione quando è difficoltoso scrivere la variabile come un esponente. L'importanza della base è motivata anche dal fatto che la derivata di questa funzione esponenziale è la funzione esponenziale stessa.

Riveste una grande importanza in moltissimi ambiti della matematica, come la trigonometria, lo studio delle equazioni differenziali, la teoria degli sviluppi di Taylor, lo studio delle trasformate integrali. Può essere definita, oltre che sui numeri reali, anche sui numeri complessi o anche su oggetti più complicati, come ad esempio le matrici quadrate oppure operatori. È inoltre la funzione inversa della funzione logaritmo (la funzione esponenziale naturale è l'inversa della funzione logaritmo naturale, ossia quella con base ).

Definizioni

modifica
  Lo stesso argomento in dettaglio: Definizioni della funzione esponenziale.
 
La funzione esponenziale (in blu) e la somma dei primi   termini della serie di potenze attraverso la quale viene definita (in rosso).

La funzione esponenziale può essere definita in molti modi: una di quelle più usate, poiché generalizzabile a molti ambiti, è la definizione attraverso la sua serie di potenze.

Si dice funzione esponenziale   la funzione continua definita dalla somma della seguente serie[1]

 

detta serie esponenziale, dove   denota il fattoriale di  . La definizione risulta ben posta poiché la serie di potenze converge in modo assoluto per ogni   (sia reale che complesso). Inoltre, la serie converge uniformemente su ogni sottoinsieme limitato del campo complesso e di conseguenza la funzione   è differenziabile in senso complesso in ogni punto del piano complesso.

In modo diverso, ma del tutto equivalente, si può definire la funzione esponenziale come il limite della successione

 

convergente per ogni   (reale o complesso).

Equivalenza delle definizioni

modifica

Le definizioni

 

sono coincidenti. Infatti, grazie al teorema binomiale si ha:

 

dove:

 

Di conseguenza si ottiene

 

Considerando il limite per   si ha:

 

Per ogni addendo della sommatoria, il fattore

 

tende ad 1. Inoltre il passaggio al limite trasforma la sommatoria in una serie infinita

 

da cui discende che

 

Proprietà

modifica

La convergenza assoluta della serie che definisce la funzione esponenziale implica che

 

da cui si evince l'importante proprietà[1]

 

valida per ogni coppia di numeri complessi   e  .

Si dimostra inoltre che valgono le seguenti proprietà per ogni numero complesso  :[2]

  • Il numero   è diverso da zero.
  • La funzione   è uguale alla sua derivata.
  • La restrizione della funzione   all'asse reale è una funzione monotona e positiva.
  • Esiste un numero   tale che
    •  
    •   se e solo se   è intero.
  • La funzione   è periodica con periodo  
  • La funzione che associa al numero reale   il numero   parametrizza il cerchio unitario.
  • Per ogni numero complesso   diverso da zero esiste un numero   tale che  .

Importanza

modifica

La derivata della funzione esponenziale è la funzione stessa, infatti:

 

Utilizzando la definizione si ottiene, in modo equivalente:

 

Le funzioni della forma  , con   costante, sono le uniche a godere di tale proprietà. Più precisamente, per ogni costante reale   la funzione   nella variabile   soddisfa l'equazione differenziale   se e solo se   per una qualche costante  . In modo equivalente, si può dire che la pendenza del grafico è in ogni punto pari al valore della funzione stessa.

Per funzioni esponenziali con basi diverse si ha:

 

Ogni esponenziale è quindi multiplo della sua derivata.

Per funzioni esponenziali con basi diverse e una costante moltiplicativa all'esponente si ha:

 

La funzione   e le funzioni da essa composte risolvono una classe di equazioni differenziali che esprimono in termini matematici molti dei più importanti problemi fisici. In particolare, questo tipo di funzioni si utilizza quando il tasso di crescita di una grandezza fisica è proporzionale all'entità della grandezza stessa. Molte importanti equazioni differenziali danno origine a funzioni esponenziali, ad esempio l'equazione di Schrödinger, l'equazione di Laplace, o il moto armonico semplice. Essa definisce la cosiddetta crescita esponenziale che è tipica di molti sistemi, fenomeni fisici e demografici.

Trigonometria

modifica
 
Interpretazione geometrica della formula di Eulero sul piano complesso.

La formula di Eulero permette di utilizzare la funzione esponenziale per rappresentare le funzioni trigonometriche. La formula afferma che per ogni numero reale   si ha:

 

dove   è l'unità immaginaria, mentre   e   sono rispettivamente seno e coseno.

Si tratta di una relazione usata per rappresentare i numeri complessi in coordinate polari, e permettere la definizione del logaritmo per argomenti complessi. La rappresentazione della funzione   nel piano complesso è un cerchio unitario, ed   è l'angolo formato con l'asse reale positivo dal segmento congiungente l'origine con un punto del cerchio unitario, misurato in senso antiorario e in radianti.

Usando le proprietà degli esponenziali si possono derivare facilmente da esse molte identità trigonometriche e la formula di De Moivre. La formula di Eulero permette inoltre di interpretare le funzioni seno e coseno come semplici varianti della funzione esponenziale:

 
 
 

L'esponenziale complesso è una funzione olomorfa e periodica con periodo immaginario  , che mappa ogni retta del piano complesso in una spirale logaritmica con centro nell'origine. Ciò si può vedere osservando che rette parallele all'asse reale e immaginario vengono mappate rispettivamente in una retta e in un cerchio.

Estendere la definizione di logaritmo naturale a valori complessi porta ad una funzione polidroma, il logaritmo complesso  , che permette di definire un'esponenziazione con base diversa da  :

 

per tutti i numeri complessi   e  . Anche questa è una funzione polidroma, e le leggi esponenziali sopracitate rimangono valide se interpretate propriamente come affermazioni sulle funzioni polidrome.

Analisi armonica

modifica
  Lo stesso argomento in dettaglio: Serie di Fourier e Trasformata di Fourier.

Un polinomio trigonometrico è una funzione periodica di periodo   definita sul campo reale del tipo:[3]

 

dove   e   sono numeri complessi e n è intero.

Sia:

 

e sia:

 

un prodotto interno in  , dove   è la circonferenza unitaria.

Allora   è una base ortonormale rispetto al prodotto interno così definito, infatti:[4]

 

Un tale sistema ortonormale in   è detto sistema ortonormale trigonometrico, ed è un sistema completo.

Si definisce serie di Fourier di una funzione   a quadrato sommabile la rappresentazione della funzione per mezzo di una combinazione lineare dei vettori di base   del sistema ortonormale trigonometrico:[5]

 

I coefficienti della combinazione sono quindi la proiezione della funzione sui vettori di base stessi:

 

e sono detti coefficienti di Fourier.

Si supponga di estendere   ad un intervallo sufficientemente ampio in modo che il supporto di una funzione periodica   con periodo   sia contenuto in  . Allora l'n-esimo coefficiente   è dato da:

 

In modo informale si può affermare che all'aumentare dell'ampiezza dell'intervallo   sul quale si calcola la serie di Fourier di una funzione   i coefficienti della serie approssimano il valore della trasformata di Fourier   della funzione stessa, e la somma della serie approssima il valore della trasformata inversa. Più precisamente, nel caso in cui   sia identicamente nulla al di fuori dell'intervallo di integrazione  , il valore dell' -esimo coefficiente di Fourier è pari a  . Estendendo   all'intero asse reale si ottiene in questo modo la trasformata di Fourier.

Si definisce trasformata di Fourier di una funzione   appartenente allo spazio di Schwartz l'integrale:[6]

 

Dal momento che   appartiene a  , l'integrale è ben definito per ogni numero reale. Come conseguenza del teorema di Plancherel, la trasformata si può estendere in modo unico anche nello spazio di Hilbert  , tuttavia come funzione puntuale è definita quasi ovunque in tale insieme.[7]

Algebra di Banach

modifica
  Lo stesso argomento in dettaglio: Funzione di matrice e Matrice esponenziale.

L'associazione di una serie di Taylor all'esponenziale permette di estenderne il concetto ad ogni algebra di Banach.

In particolare risulta utile applicarlo alle matrici quadrate:

 

dove   è la matrice identica di rango   e   è l'elevamento a potenza della matrice. La matrice esponenziale gode delle stesse proprietà dell'esponenziale di scalare, come quella di invertibilità e di unitarietà dell'elevazione alla matrice nulla, e quelle delle potenze, tranne la seguente:

 

che è valida solamente se il prodotto è commutativo  , in generale non vero per tutte le coppie di matrici (nel caso non commutativo occorre la formula di Baker-Campbell-Hausdorff).

Si ha inoltre che   è invertibile, ed il suo inverso è uguale a  , mentre la derivata nel punto   è la mappa lineare che manda   in  .

Il teorema di Hamilton-Cayley permette di ridurre la procedura dal calcolo delle potenze di matrice da quello infinito fornito dalla definizione a quello di n-2 potenze (l'identità e la matrice stessa banalmente non si calcolano), pur complicandone i coefficienti:

 

questi   coefficienti si ottengono infatti dalla soluzione di un sistema lineare sempre unica in quanto la matrice del sistema è quadrata di tipo tipo Vandermonde di   righe e   colonne negli   autovalori della matrice di partenza, ciascuno con molteplicità  , quindi con  :

 

Nell'ambito delle algebre di Banach non commutative, come le algebre di matrici o operatori nello spazio di Banach o nello spazio di Hilbert, la funzione esponenziale è spesso considerata come una funzione di argomento reale:

 

dove   è un elemento dell'algebra fissato e   è un qualsiasi numero reale. Questa funzione possiede alcune importanti proprietà:

 

Esempio di calcolo

modifica

Si voglia calcolare l'esponenziale

 

gli autovalori risultano essere λ1=-1 con molteplicità n1=1 e λ2=-2 con molteplicità n2=2 perciò i coefficienti sono:

 

perciò risulta che:

 

Si può osservare che nella matrice esponenziale non compare il modo   che risulta invece presente nei coefficienti iniziali.

Algebra di Lie

modifica

La mappa esponenziale che manda un'algebra di Lie nel gruppo di Lie che dà origine ad essa possiede le proprietà dette sopra, e ciò giustifica la terminologia. Infatti, poiché   è l'algebra di Lie del gruppo di Lie di tutti i numeri reali positivi con la somma, l'ordinaria funzione esponenziale di argomenti reali è un caso speciale della situazione dell'algebra di Lie. Analogamente, poiché l'algebra di Lie   di tutte le matrici quadrate appartiene al gruppo di Lie di tutte le matrici quadrate invertibili, la funzione esponenziale per le matrici quadrate è un caso speciale dell'algebra di Lie mappa esponenziale.

Doppia funzione esponenziale

modifica

Il termine doppia funzione esponenziale può avere due significati:

  • Una funzione con due termini esponenziali, con esponenti diversi.
  • Una funzione  , la quale cresce più velocemente di una funzione esponenziale. Ad esempio, se  :  ,  ,  ,   googol,  ,   googolplex.

Rappresentazione mediante frazione continua

modifica

Applicando la formula della frazione continua di Eulero è possibile rappresentare la funzione esponenziale mediante frazione continua:

 

la quale converge uniformemente su ogni dominio limitato nel piano complesso.

Un'altra rappresentazione è la seguente:[8][9]

 

Esempio fisico di funzione esponenziale

modifica

Un esempio semplice è quello di un oggetto lanciato ad una velocità   in un mezzo viscoso. Se supponiamo che la resistenza posta dal mezzo all'avanzamento dell'oggetto sia proporzionale alla velocità   di quest'ultimo:

 

si ha una relazione tra la velocità e la sua variazione nel tempo (l'accelerazione  ):

 

ovvero:

 

È possibile dimostrare che la soluzione di questa equazione è:

 

Nel caso di un proiettile sparato nell'aria sarebbe più corretto supporre che la resistenza sia proporzionale al quadrato della velocità, cionondimeno l'andamento della velocità nel tempo è descritto da una funzione formata a partire dalla costante matematica  .

Calcolo numerico

modifica

Per ottenere un'approssimazione numerica della funzione esponenziale, si può scrivere la serie infinita come segue:

 

Questa espressione converge rapidamente se   è minore di 1.

In caso contrario, è possibile utilizzare la seguente identità:

 

dove   è la parte intera di  ,   e di conseguenza   è un numero intero e   è un numero reale minore di 1.

  1. ^ a b W. Rudin, p. 1.
  2. ^ W. Rudin, p. 2.
  3. ^ W. Rudin, p. 88.
  4. ^ W. Rudin, p. 89.
  5. ^ W. Rudin, p. 91.
  6. ^ W. Rudin, p. 180.
  7. ^ W. Rudin, p. 189.
  8. ^ Wolfram Mathworld - Exponential Function, su mathworld.wolfram.com. URL consultato il 12 aprile 2020.
  9. ^ Mauro Fiorentini - Funzioni espresse tramite frazioni continue, su bitman.name. URL consultato il 10 aprile 2020.

Bibliografia

modifica

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 67951 · NDL (ENJA00571261
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica