Raggio di convergenza

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

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à

Di seguito, scegliamo senza perdita di generalità $z_{0}=0$ .

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

se $r=0$ , $S$ converge solo nell'origine;
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$ ;
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

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.

La serie geometrica $S:\mathbb {R} \to \mathbb {R}$ così definita^[4]:

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

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 \geq 0$ . Si può dimostrare^[6] che:

se $\ell =0$ , allora $r=+\infty$ ;
se $0<\ell <+\infty$ , allora $r={\frac {1}{\ell }}$ ;
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}|}}\leq r\leq \limsup _{k}{\frac {|a_{k}|}{|a_{k+1}|}}

.

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

^ Maderna, pagg. 102-104.
^ Maderna, pagg. 94-95.
^ Maderna, pagg. 96; 102-103.
^ Si pone per convenzione $x^{0}=1$ anche quando $x=0$ .
^ 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.
^ Maderna, pag. 97.

Bibliografia

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

Voci correlate

Collegamenti esterni

(EN) radius of convergence, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Raggio di convergenza, su MathWorld, Wolfram Research.

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

[maderna-1] Maderna, pagg. 102-104.

[2] Maderna, pagg. 94-95.

[3] Maderna, 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, pag. 97.

[1]

[2]

[3]

[4]

[5]

[6]