Serie di Taylor

rappresentazione di una funzione nell'intorno di un punto come serie di termini calcolati a partire dalle derivate della funzione nel punto
(Reindirizzamento da Serie di Maclaurin)

In analisi matematica, la serie di Taylor di una funzione in un punto è la rappresentazione della funzione come serie di termini calcolati a partire dalle derivate della funzione stessa nel punto.

Quando cresce il grado della serie di Taylor troncata, essa si avvicina alla funzione data (teorema di Bernstein). Questa figura mostra sin(x) e le sue approssimazioni di Taylor, polinomi di grado 1, 3, 5, 7, 9, 11 e 13.
Funzione seno approssimata con un polinomio di Taylor di grado 7.

La serie di Taylor prende il nome dal matematico inglese Brook Taylor che pubblicò alcuni studi sulle serie di potenze nel 1715. Esistono in realtà alcuni precedenti storici: casi particolari di queste serie furono forse sviluppati nel Quattrocento da Madhava di Sangamagrama; il suo lavoro, da ricondursi alla cosiddetta scuola del Kerala, è andato perduto e l'ipotesi si basa su ricostruzioni storiche. Gregory invece pubblicò per certo varie serie di Maclaurin quando Taylor non era ancora nato, anche se sembra che quest'ultimo non ne fosse a conoscenza quando pubblicò i propri risultati.

Definizione

modifica

La serie di Taylor di una funzione  , definita in un intervallo aperto   a valori reali o complessi e infinite volte derivabile, è la serie di potenze

 

che può essere scritta più compattamente come

 

Qui   denota il fattoriale di   e   denota la  -esima derivata della   valutata nel punto  . Se  , la serie viene chiamata anche serie di Maclaurin.

Proprietà

modifica

Se la serie di Taylor della funzione   converge per ogni   nell'intervallo   e se la sua somma è uguale alla  , questa funzione viene detta funzione analitica. Per verificare se la serie converge verso  , normalmente si usa effettuare stime del termine resto che compare nel teorema di Taylor. Una funzione è analitica se e solo se può essere rappresentata da una serie di potenze; i coefficienti di una tale serie di potenze coincidono necessariamente con quelli che compaiono nella precedente formula per la serie di Taylor.

Le conseguenze pratiche dello sviluppo in serie di potenze di Taylor, nel caso in cui la funzione sia analitica, sono molteplici.

  • La differenziazione e l'integrazione delle serie di potenze possono essere effettuate termine a termine ed è tendenzialmente piuttosto facile.
  • Una funzione analitica può essere estesa univocamente a una funzione olomorfa definita su un disco aperto nel piano complesso e questa possibilità rende disponibili tutti gli strumenti dell'analisi complessa.
  • Si può troncare la serie, cioè prendere solo i primi   termini e ottenere un polinomio, detto "polinomio di Taylor", che approssima la funzione con la precisione desiderata (basta prendere   sufficientemente grande) in un intorno di  .
  • Spesso le operazioni algebriche sulle funzioni possono essere effettuate più rapidamente sulle loro rappresentazioni mediante serie di potenze; ad esempio la dimostrazione più semplice della formula di Eulero si ottiene dagli sviluppi in serie di Taylor per le funzioni esponenziali, seno e coseno. Questo risultato sta a fondamento, ad esempio, dell'analisi armonica.

Funzioni non analitiche

modifica
 
La funzione e-1/x² si estende in 0 a una funzione derivabile infinite volte, ma non analitica: la serie di Taylor ha tutti i coefficienti nulli, mentre la funzione non è la funzione nulla.

Non tutte le funzioni differenziabili infinite volte sono analitiche. Esistono cioè delle funzioni   la cui serie di Taylor converge a una funzione differente da  . Ad esempio, la funzione definita a tratti:

 

ha tutte le derivate nulle in  , quindi la sua serie di Taylor è la serie nulla in   e il suo raggio di convergenza è infinito, ma la funzione è diversa dalla funzione nulla.

Questa particolare situazione "patologica" non si verifica nelle funzioni olomorfe, cioè nelle funzioni derivabili in ambito complesso. Nell'esempio specifico, la funzione exp(−1/z²) non è estendibile per olomorfia nell'origine nel campo complesso.

In ambito reale esistono anche situazioni molto più "patologiche" di quella dell'esempio precedente. La funzione definita dalla serie

 

è di classe  , ma la sua serie di Taylor risulta essere divergente in ogni punto   diverso da  .

Criteri di analiticità

modifica

Esistono teoremi che costituiscono condizioni sufficienti affinché una funzione reale di variabile reale e di classe   sia analitica.

Tra questi si può ricordare il teorema di Bernstein: se   è di classe   e non negativa su   insieme alle sue derivate di ogni ordine, allora

 

Una condizione sufficiente a garantire che una funzione di classe   sia rappresentata localmente dalla sua serie di Taylor è la seguente: se esistono   e   tali che, per ogni   intero non negativo si abbia

 

allora

 

Un caso particolare del teorema si ha quando   cioè quando la funzione e tutte le sue derivate sono equilimitate su  .

Serie di Laurent

modifica
  Lo stesso argomento in dettaglio: Serie di Laurent.

La serie di Laurent è una generalizzazione della serie di Taylor, che contiene termini   anche con esponente   negativo. Questa serie è particolarmente utile in analisi complessa perché modellizza una funzione olomorfa intorno a un punto in cui essa non è definita (cioè una singolarità). La serie può comunque essere utilizzata anche in ambito reale, ad esempio per rappresentare la funzione f(x) = exp(−1/x²) intorno all'origine.

Teorema di Taylor

modifica
  Lo stesso argomento in dettaglio: Teorema di Taylor.

Il teorema di Taylor permette di approssimare una funzione mediante un polinomio: maggiore è il grado del polinomio, migliore sarà l'approssimazione che si ottiene. In termini più rigorosi, l'errore che si commette approssimando una funzione con il suo polinomio di Taylor è un infinitesimo di ordine superiore al grado del polinomio stesso.

Serie di Taylor in più variabili

modifica

Uno sviluppo di Taylor che può considerarsi una generalizzazione del precedente si può applicare anche a funzioni di più di una variabile reale o complessa:

 

Oppure, riorganizzando i termini in una forma che mette in evidenza il grado di ognuno:

 

Lo sviluppo di Taylor troncato al secondo ordine per una funzione a valori scalari in più di una variabile si può scrivere nella seguente forma compatta

 

dove   denota il gradiente della funzione e   la sua matrice hessiana. Servendosi della notazione multi-indice la serie di Taylor per più variabili si scrive

 

in completa analogia con il caso della singola variabile.

Serie di Mac Laurin

modifica
 
Funzione esponenziale approssimata con una successione di Maclaurin

Il risultato ottenuto tramite uno sviluppo di Taylor è quindi un'approssimazione di una funzione, nell'intorno di un punto   con   numero reale o numero complesso.

Uno sviluppo di Taylor in cui   sia uguale a   è definito sviluppo di Maclaurin. Il polinomio che si ottiene è l'approssimazione di ordine   di   intorno a  

 

Le seguenti serie sono alcuni importanti sviluppi in serie di Maclaurin. Tutti questi sviluppi sono validi anche per argomenti   complessi. In alcuni casi vi è convergenza anche su alcuni punti del bordo del disco indicato.

Funzione esponenziale e logaritmo naturale:

 
 

Serie geometrica:

 

Sviluppo binomiale:

 

in cui il fattore   rappresenta il coefficiente binomiale.

Casi particolari:

 
 

Funzioni trigonometriche:

 
 
 
 
 
 

Funzioni iperboliche:

 
 
 
 
 

Funzione W di Lambert:

 

I numeri   che compaiono negli sviluppi di   e   sono i numeri di Bernoulli. Lo sviluppo binomiale si serve dei coefficienti binomiali. Gli   nello sviluppo della   sono i numeri di Eulero. Il simbolo   nello sviluppo binomiale indica il semifattoriale.

Calcoli delle serie di Taylor

modifica

Sono stati sviluppati molti metodi per il calcolo delle serie di Taylor per le molte funzioni analitiche utilizzate nella matematica e nelle sue applicazioni. Una strada consiste nell'utilizzare la serie di Taylor attraverso la sua definizione e generalizzare la forma dei coefficienti. Un'altra procede a eseguire manipolazioni formali, come sostituzioni, moltiplicazioni o divisioni, addizioni o sottrazioni di serie di Taylor note per costruire la serie di Taylor di nuove funzioni, sfruttando le possibilità di manipolazione delle serie di potenze; in questo ambito può rivelarsi utile fare riferimento ai risultati riguardanti le serie ipergeometriche, i polinomi ortogonali e il calcolo umbrale. In taluni casi si riescono a derivare serie di Taylor applicando ripetutamente l'integrazione per parti.

Va anche osservato che per effettuare molte di queste elaborazioni possono essere molto utili gli odierni strumenti per il calcolo simbolico automatico.

Presentiamo ora due esempi di calcoli manuali. Cerchiamo di individuare la serie di Taylor centrata in 0 della funzione

 

Si parte dalla considerazione che

 
 

Ora si può semplicemente sostituire la seconda serie nella prima ottenendo

 

Sviluppando un adeguato numero di potenze mediante i coefficienti multinomiali si ottengono i primi termini della serie di Taylor richiesta:

 

Come secondo esempio consideriamo la funzione

 

che si estende a una funzione continua e derivabile nell'origine.

Sappiamo che

 
 

Di conseguenza

 

Scriviamo la serie di potenze richiesta nella forma

 

Per questi coefficienti si trova

 
 

In conclusione

 

e dal confronto dei coefficienti delle successive potenze si ottiene un sistema illimitatamente estendibile di equazioni lineari che evidentemente consente di individuare la serie della funzione proposta.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 38236 · LCCN (ENsh85120247 · GND (DE4184548-1 · J9U (ENHE987007531746505171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica