Differenze tra le versioni di "Analisi complessa/Serie di potenze"

nessun oggetto della modifica
(cambio avanzamento a 75%)
In particolare, sarà utile costruire legami tra le successioni in <math>C</math> e le successioni in <math>R</math>.
 
===DefinizioneSuccessione 1.5.1e Serie===
Una successione in <math>\C</math> è una funzione <math>\mathbb{N}\rightarrow \C</math>, che indichiamo come un insieme di valori con indice, <math>z_{n}</math>.
 
*Diciamo che una successione converge a <math>z</math> , o che <math>\lim_{n\rightarrow\infty}z_{n}=z</math> se
:<math>\forall\epsilonvarepsilon>0:\quad\exists N\in\N:n>N \Rightarrow |z_{n}-z|<\epsilonvarepsilon</math>
 
*Una ''serie'' è una somma infinita
::<math>\sum_{n=1}^{\infty}z_{n}</math>
:e diciamo che converge se converge la successione delle somme parziali
::<math>s_{N}=\sum_{n=1}^{N}z_{n}\qquad N\in\N</math>
 
===TEOREMATeorema 1.5.2.===
Sia <math>z_{n}=x_{n}+Ii y_{n}</math> una successione in <math>\C</math>, e <math>z =x+Ii y</math>. allora
:<math>[\lim_{n\rightarrow\infty}z_{n}=z \iff \lim_{n\rightarrow\infty}x_{n}=x</math> e <math>\lim_{n\rightarrow\infty}y_{n}=y</math>
Allora
In modo analogo, se <math>S=Xx+IYiy</math>, la serie
:<math>[\lim_{n\rightarrow\infty}z_{n}=z \iff \lim_{n\rightarrow\infty}x_{n}=x e \lim_{n\rightarrow\infty}y_{n}=y</math>
:<math>\sum_{n=1}^{\infty}z_{n}=S \iff \sum_{n=1}^{\infty}x_{n}=Xx</math> e <math>\sum_{n=1}^{\infty}y_{n}=Yy</math>
In modo analogo, se <math>S=X+IY</math>, la serie
:<math>\sum_{n=1}^{\infty}z_{n}=S \iff \sum_{n=1}^{\infty}x_{n}=X e \sum_{n=1}^{\infty}y_{n}=Y</math>
 
===Teorema sulla convergenza assoluta===
Se una serie di numeri complessi converge in valore assoluto, converge anche in senso proprio: se
:<math>\sum_{n=1}^{\infty} |z_{n}|</math>
converge, allora converge anche
:<math>\sum_{n=1}^{\infty}z_{n}</math>.
 
==Serie di potenze==
===Definizione 1.5.4===
:<math>\sum_{n=0}^{\infty}a_{n}(z-z_0)^{n}</math>
 
===Teorema===
Se una serie di potenze
:<math>\sum_{n=0}^{\infty}a_{n}(z-z_0)^{n}</math>
converge per <math>z =z_1 \neq z_0</math>
:<math>z =z_1 \neq z_0</math>
allora converge assolutamente in ogni punto del disco aperto
:<math>|z-z_0|<R_1=|z_1-z_0|\!</math>
 
Definendo il ''raggio di convergenza'' <math>R</math> come il
:<math>\sup|z-z_0|</math>
:<math> S(z)=\sum_{n=0}^{\infty}a_{n}(z-z_0)^{n}\qquad(|z-z_0|<R) </math>
 
===TEOREMATeorema 1.5.6.===
Una serie di potenze con raggio di convergenza <math>R</math> converge uniformemente entro ogni cerchio chiuso di raggio <math>R'<R</math> centrato in <math>z_0</math> , ed è uniformemente continua entro tale cerchio.
 
===TEOREMATeorema 1.5.7.===
Sia <math>S(z)</math> una serie di potenze definita come sopra, e <math>C</math> un contorno interno al cerchio di convergenza della serie. Sia <math>g(z)</math> una funzione continua sul percorso <math>C</math>. Allora
:<math>\int_{C}g(z)S(z)dz =\sum_{n=0}^{\infty}a_{n}\int_{C}g(z)(z-z_0)^{n}dz</math>
 
===TEOREMATeorema 1.5.8.===
<math>S(z)</math> è analitica all'interno del suo cerchio di convergenza, e può essere derivata termine a termine, cioè
:<math>S'(z)=\sum_{n=1}^{\infty}na_{n}(z-z_0)^{n-1}</math>
:<math>a_{n}=\frac{S^{(n)}(z_0)}{n!}</math>
 
===Teorema 1.5.9 (di Taylor)===
Sia <math>f</math> una funzione analitica in un cerchio aperto <math>|z-z_0|<R</math>. Allora la serie di potenze definita come
:<math>S(z)=\sum_{n=0}^{\infty}\frac{f^{(n)}(z_0)}{n!}(z-z_0)^{n}</math>
:<math>S(z)=\sum_{n=0}^{\infty}a_{n}(z-z_0)^{n}</math>
converge a <math>f(z)</math> solo se i suoi coefficienti sono
:<math>a_{n}=\frac{f^{(n)}(z_0)/}{n!} \!</math>
 
===Teorema 1.5.10 (di Laurent)===
Sia <math>f</math> una funzione analitica in una corona circolare
:<math>R_1<|z-z_0|<R_2</math>
Tale sviluppo è unico.
 
===Prodotto di serie===
;Definizione
:Date due serie <math>\sum a_{n}</math> e <math>\sum b_{n}</math> è possibile definire il '''prodotto di Cauchy''' delle due serie come
:<math> \sum_{n} c_{n} \,</math>
con <math>c_{n}=\sum_{k=0}^{n}a_{k}b_{n-k}</math>.
 
===TEOREMA1Teorema 1.5.11===
Se <math>f</math> e <math>g</math> sono due funzioni analitiche, esprimibili in serie di Taylor all'interno
di due cerchi
:<math>|z-z_f|<R_f\!</math>
e
:<math>|z-z_g|<R_g\!</math>
rispettivamente, il prodotto di Cauchy delle loro serie di Taylor converge
al prodotto delle due funzioni, all'interno dell'intersezione dei due cerchi
155

contributi