title: Teorema di Abel
text: # Teorema di Abel
  
  In matematica, il teorema di Abel o teorema della convergenza radiale di Abel mette in relazione il limite di una serie di potenze (reale o complessa) con la somma dei suoi coefficienti. Prende il nome dal matematico norvegese Niels Henrik Abel.
  
  ## Enunciato
  
  Sia:
  
      $f(z)=\sum _{i=0}^{\infty }a_{i}z^{i}$
  
  una serie di potenze con coefficienti reali o complessi e raggio di convergenza $R>0$. Se la serie numerica:
  
      $\sum _{i=0}^{\infty }a_{i}R^{i}$
  
  converge, allora:
  
      $\lim _{z\rightarrow R}f(z)=\sum _{i=0}^{\infty }a_{i}R^{i}$
  
  purché il limite sia valutato su una successione di numeri reali, o più in generale all'interno di un angolo di Stolz, cioè una regione del disco aperto di centro l'origine e raggio $R$ in cui:
  
      $|R-z|\leq M(R-|z|)$
  
  per qualche $M$ fissato (il teorema è valido per qualsiasi scelta di $M$). Senza questa restrizione il limite può non esistere.
  
  Nel caso speciale in cui tutti i coefficienti $a_{i}$ siano reali positivi per ogni $i$ il limite per $z\to R$ è valido anche quando la serie $\sum _{i=0}^{\infty }a_{i}$ non converge, ma in questo caso ambo i membri della formula sono $+\infty$.
  
  ## Dimostrazione
  
  Possiamo supporre $R=1\!$. Sottraendo una costante da $a_{0}\!$, si può assumere che:
  
      $\sum _{k=0}^{\infty }a_{k}=0\!$
  
  Sia $s_{n}=\sum _{k=0}^{n}a_{k}\!$. Allora sostituendo $a_{k}=s_{k}-s_{k-1}\!$, con semplici manipolazioni della serie si ha:
  
      $f(z)=(1-z)\sum _{k=0}^{\infty }s_{k}z^{k}$
  
  Dato $\epsilon >0$, sia n sufficientemente grande da consentire $|s_{k}|<\epsilon$ per tutti i $k\geq n$. Si nota che:
  
      $\left|(1-z)\sum _{k=n}^{\infty }s_{k}z^{k}\right|\leq \epsilon |1-z|\sum _{k=n}^{\infty }|z|^{k}=\epsilon |1-z|{\frac {|z|^{n}}{1-|z|}}<\epsilon M\!$
  
  quando $z$ è all'interno dell'angolo di Stoltz. Se $z$ è abbastanza vicino a 1 si ha:
  
      $\left|(1-z)\sum _{k=0}^{n-1}s_{k}z^{k}\right|<\epsilon$
  
  in modo che $|f(z)|<(M+1)\epsilon$ quando $z$ è nell'angolo di Stoltz ed è anche abbastanza vicino a 1.
  
  ## Applicazioni
  
  Se una serie di potenze:
  
      $\sum _{n=0}^{\infty }c_{n}(z-z_{0})^{n}$
  
  centrata in $z_{0}$ converge in un punto $z_{1}$, allora essa ha raggio di convergenza $R$ almeno:
  
      $R\geq |z_{0}-z_{1}|$
  
  Il teorema consente di valutare diverse serie in forma chiusa. Ad esempio, quando $a_{k}={\frac {(-1)^{k}}{(k+1)}}$ si ottiene:
  
      $f(z)={\frac {\ln(1+z)}{z}}\qquad 0<z<1$
  
  integrando la serie di potenze geometrica uniformemente convergente termine a termine sull'intervallo $[-z,\infty ]$. In questo modo la serie $\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(k+1)}}\!$ converge a $\ln(2)$ per il teorema di Abel. In modo simile, $\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{(2k+1)}}\!$ converge ad $\arctan(1)={\frac {\pi }{4}}$.
  
  La funzione $f(z)$ è la funzione generatrice della successione $\{a\}$.
  
  