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

modifica

Sia   la serie di potenze definita sul campo complesso:

 

Sia   l'insieme di convergenza puntuale della serie, ossia

 .

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

 ,

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

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

Proprietà

modifica

Di seguito, scegliamo senza perdita di generalità  .

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

  1. se  ,   converge solo nell'origine;
  2. se  ,   converge assolutamente sul cerchio aperto   e converge uniformemente in ogni insieme compatto incluso in  , mentre non converge in   se  ;
  3. se  ,   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   non basta per conoscere il comportamento della serie sulla circonferenza  ; esistono infatti serie che hanno il medesimo raggio di convergenza, ma comportamento diverso sulla frontiera  .

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   così definita[4]:
 

ha raggio di convergenza  , e converge sull'insieme aperto  . La convergenza è assoluta su tutto l'insieme.

  • La serie   così definita:
 

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

  • La serie   così definita:
 

ha raggio di convergenza  , e converge sull'insieme chiuso  . La convergenza è assoluta su tutto l'insieme.

Calcolo del raggio di convergenza

modifica
  Lo stesso argomento in dettaglio: Teorema di Cauchy-Hadamard.

Esiste un metodo piuttosto semplice per calcolare il raggio di convergenza   di una serie, basato su un'analisi dei coefficienti della serie stessa. Sia infatti   come sopra, e sia   la successione dei suoi coefficienti. Sia   il limite superiore della successione  [5]:

 ;

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

  1. se  , allora  ;
  2. se  , allora  ;
  3. se  , allora  .

Inoltre, se esiste il limite   della successione   dei rapporti dei coefficienti consecutivi (che devono però essere in questo caso definitivamente non nulli), vale lo stesso risultato di cui sopra con   anziché  . In effetti è possibile dimostrare che vale la più generale relazione:

 .

Teorema di Abel

modifica
  Lo stesso argomento in dettaglio: 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  , avendo per ipotesi la convergenza puntuale della serie nel punto  .

  1. ^ Maderna, pagg. 102-104.
  2. ^ Maderna, pagg. 94-95.
  3. ^ Maderna, pagg. 96; 102-103.
  4. ^ Si pone per convenzione   anche quando  .
  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.

Bibliografia

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

Voci correlate

modifica

Collegamenti esterni

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