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).
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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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 | modifica wikitesto]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]
Esempi
[modifica | modifica wikitesto]Esempio fisico di funzione esponenziale
[modifica | modifica wikitesto]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 | modifica wikitesto]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.
Note
[modifica | modifica wikitesto]- ^ a b W. Rudin, p. 1.
- ^ W. Rudin, p. 2.
- ^ W. Rudin, p. 88.
- ^ W. Rudin, p. 89.
- ^ W. Rudin, p. 91.
- ^ W. Rudin, p. 180.
- ^ W. Rudin, p. 189.
- ^ Wolfram Mathworld - Exponential Function, su mathworld.wolfram.com. URL consultato il 12 aprile 2020.
- ^ Mauro Fiorentini - Funzioni espresse tramite frazioni continue, su bitman.name. URL consultato il 10 aprile 2020.
Bibliografia
[modifica | modifica wikitesto]- Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
Voci correlate
[modifica | modifica wikitesto]- Crescita esponenziale
- Decadimento esponenziale
- e (costante matematica)
- Funzione iperbolica
- Logaritmo naturale
- Matrice esponenziale
- Serie di Fourier
- Trasformata di Fourier
Altri progetti
[modifica | modifica wikitesto]- Wikibooks contiene testi o manuali sulla funzione esponenziale
- Wikimedia Commons contiene immagini o altri file sulla funzione esponenziale
Collegamenti esterni
[modifica | modifica wikitesto]- funzione esponenziale, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
- (EN) exponential function, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Opere riguardanti Exponential functions, su Open Library, Internet Archive.
- (EN) Eric W. Weisstein, Natural Exponential Function, su MathWorld, Wolfram Research.
- (EN) Exponential function, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
- (EN) Denis Howe, exponential, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- (EN) exponential function, in PlanetMath.
- (EN) complex exponential function, in PlanetMath.
Controllo di autorità | Thesaurus BNCF 67951 · NDL (EN, JA) 00571261 |
---|