Raggio di convergenza

Da Wikipedia, l'enciclopedia libera.

In analisi matematica, il raggio di convergenza è un numero non negativo (non necessariamente finito) associato a una serie di potenze a coefficienti reali o complessi che, intuitivamente, informa sul comportamento globale della serie in materia di convergenza. Più in dettaglio, il raggio di convergenza misura l'estensione dell'insieme aperto più grande su cui la serie converge.

Definizione[modifica | modifica sorgente]

Sia S : \mathbb{C} \to \mathbb{C} la serie di potenze definita sul campo complesso:

S(z) = \sum_{k=0}^{+\infty}{a_k(z - z_0)^k}

Sia E l'insieme di convergenza puntuale della serie, ossia

E := \{ z \in \mathbb{C} : S(z) \text{ converge } \}.

L'insieme contiene almeno il punto z_0, dal momento che S(z_0) = a_0; si definisce allora raggio di convergenza della serie il numero reale[1]:

r := \sup\{|z - z_0| : z \in E\},

cioè la distanza sul piano complesso del numero più lontano da z_0 in cui la serie converge puntualmente; per come è definito, r esiste e non può essere negativo, ma può valere + \infty nel caso in cui E non sia limitato.

Nel caso reale, e se la serie è centrata nell'origine, r è semplicemente l'estremo superiore dell'insieme E[2].

Proprietà[modifica | modifica sorgente]

Di seguito, scegliamo senza perdita di generalità z_0 = 0.

Si può dimostrare[3] che, se r è il raggio di convergenza della serie S:

  1. se r = 0, S converge solo nell'origine;
  2. se 0 < r < + \infty, S converge assolutamente sul cerchio aperto B = \{ z \in \mathbb{C} : |z| < r \} e converge uniformemente in ogni insieme compatto incluso in B, mentre non converge in z se |z| > r;
  3. se r = +\infty, S converge assolutamente sull'intero piano complesso, e uniformemente su ogni suo sottoinsieme compatto.

La sola conoscenza del raggio di convergenza, quindi, determina quasi tutte le informazioni sulla convergenza della serie; tuttavia, la conoscenza di r non basta per conoscere il comportamento della serie sulla circonferenza \delta B = \{ z \in \mathbb{C} : |z| = r \}; esistono infatti serie che hanno il medesimo raggio di convergenza, ma comportamento diverso sulla frontiera \delta B.

Esempi[modifica | modifica sorgente]

Per semplicità, si trattano esempi di serie definite sul campo reale. Le seguenti tre serie hanno il medesimo raggio di convergenza, ma diverso comportamento sulla frontiera del loro insieme di convergenza puntuale.

S(x) := \sum_{k=0}^{+\infty}{x^k}

ha raggio di convergenza r = 1, e converge sull'insieme aperto E = (-1,1). La convergenza è assoluta su tutto l'insieme.

  • La serie S : \mathbb{R} \to \mathbb{R} così definita:
S(x) := \sum_{k=1}^{+\infty}{\frac{x^k}{k}}

ha raggio di convergenza r = 1, e converge sull'insieme E = [-1,1) (si può verificare la convergenza in x=-1 tramite il criterio di Leibniz). La convergenza in x=-1 non è assoluta, mentre lo è all'interno di E.

  • La serie S : \mathbb{R} \to \mathbb{R} così definita:
S(x) := \sum_{k=1}^{+\infty}{\frac{x^k}{k^2}}

ha raggio di convergenza r = 1, e converge sull'insieme chiuso E = [-1,1]. La convergenza è assoluta su tutto l'insieme.

Calcolo del raggio di convergenza[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Teorema di Cauchy-Hadamard.

Esiste un metodo piuttosto semplice per calcolare il raggio di convergenza r di una serie, basato su un'analisi dei coefficienti della serie stessa. Sia infatti S come sopra, e sia \{a_k\}_k la successione dei suoi coefficienti. Sia \ell il limite superiore della successione \{|a_k|^{\frac{1}{k}}\}_k[5]:

\ell := \underset{k \to +\infty}{\limsup}{\sqrt[k]{|a_k|}};

\ell esiste sempre, e si ha evidentemente \ell \ge 0. Si può dimostrare[6] che:

  1. se \ell = 0 , allora r = + \infty ;
  2. se 0< \ell < +\infty, allora r = \frac{1}{\ell};
  3. se \ell = +\infty, allora r = 0.

Inoltre, se esiste il limite \ell^{\prime} della successione \left\{\frac{|a_{k+1}|}{|a_k|}\right\}_k dei rapporti dei coefficienti consecutivi (che devono però essere in questo caso definitivamente non nulli), vale lo stesso risultato di cui sopra con \ell^{\prime} anziché \ell. In effetti è possibile dimostrare che vale la più generale relazione:

\liminf_k{\frac{|a_{k}|}{|a_{k+1}|}} \le r \le \limsup_k{\frac{|a_{k}|}{|a_{k+1}|}}.

Teorema di Abel[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Teorema di Abel.

Il teorema di Abel per le serie di potenze assicura che, se una serie di potenze è convergente in un punto della frontiera del suo insieme di convergenza, allora la serie è anche continua in quel punto. Una seconda formulazione del teorema garantisce la convergenza uniforme su ogni intervallo compatto contenuto in (-r, r], avendo per ipotesi la convergenza puntuale della serie nel punto r.

Note[modifica | modifica sorgente]

  1. ^ Maderna, op. cit., pagg. 102-104.
  2. ^ Maderna, op. cit., pagg. 94-95.
  3. ^ Maderna, op. cit., pagg. 96; 102-103.
  4. ^ Si pone per convenzione x^0 = 1 anche quando x=0.
  5. ^ Il limite superiore di una successione è l'estremo superiore della classe limite di tale successione, ossia il valore massimo (eventualmente infinito) cui è possibile far tendere una sua sottosuccessione. Coincide con l'usuale limite se la successione è convergente.
  6. ^ Maderna, op. cit., pag. 97.

Bibliografia[modifica | modifica sorgente]

  • C. Maderna, Analisi Matematica 2 (nuova edizione), Novara, Città Studi Edizioni, 2010, ISBN 978-88-251-7353-6.

Voci correlate[modifica | modifica sorgente]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica