Serie di funzioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Ed088 (discussione | contributi)
m riscrittura di alcuni teoremi
Ed088 (discussione | contributi)
mNessun oggetto della modifica
Riga 39:
====Dimostrazione====
*Già è noto che le successioni di funzioni convergenti uniformemente convergono puntualmente.
DalGrazie alla disuguaglianza triangolare: <math>|f_{n+1}(x)+\dots+f_{n+p}(x)|\le|f_{n+1}(x)|+\dots+|f_{n+p}(x)|, \ \forall x \in I, \forall n,p \in \N</math>, dal criterio di Cauchy puntiforme applicato alla serie di termine generale <math>|f_n|\,\!</math>, si deduce la verifica delil criterio di Cauchy puntiforme applicato alla serie di termine generale <math>f_kf_n\,\!</math>, quindi la tesi.
Per il criterio di Cauchy puntiforme applicato alla serie di termine generale <math>|f_n|\,\!</math>, <math>|f_{n+1}(x)+\dots+f_{n+p}(x)|\le|f_{n+1}(x)|+\dots+|f_{n+p}(x)|</math>.<br/>
Dal criterio di Cauchy puntiforme applicato alla serie di termine generale <math>|f_n|\,\!</math>, si deduce la verifica del criterio di Cauchy puntiforme applicato alla serie di termine generale <math>f_k\,\!</math>, quindi la tesi.
 
*Sia <math>\sum_{k=1}^{\infty}f_k\,\!</math> una serie di funzioni che converge totalmente in <math>I\,\!</math>. Sia <math>(M_n)_{n \in \N}, M_n\ge 0 : |f_n(x)|\le M_n, \ \forall x \in I, \forall n \in \N, \ \sum_{k=1}^{\infty}M_k<+\infty</math>.
Line 54 ⟶ 53:
}}
====Dimostrazione====
Se la serie di funzioni converge totalmente, allora la serie è maggiorata da una serie numerica, di termine generale, ad esempio,: <math>M_n\,\!</math>exists convergente.(M_n)_{n Tuttavia,\in per definizione del sup\N}, <math>M_n\sup_{xge \in0 I}: |f_n(x)|\le M_n</math>, e\ quindi\forall lax serie\in del sup convergeI, per\forall iln criterio\in del\N, confronto\ tra due serie numeriche. Il viceversa è ovvio.\sum_{k=1}^{endproof}\infty}M_k<+\infty</math>.<br/>
Quindi, <math>\forall n \in \N\,\!</math>, <math>f_n\,\!</math> ha un maggiorante che converge. Tuttavia, <math>\sup_{x \in I} |f_n(x)|\le M_n, \forall n \in \N</math>, poichè, per definizione del sup, è il più piccolo dei maggioranti, e quindi la serie del sup converge, per il criterio del confronto tra due serie numeriche. Il viceversa è ovvio.{{endproof}}
 
==Teoremi sulla convergenza uniforme delle serie==
Grazie al teorema di inversione dei limiti e ai teoremi di passaggio sotto il segno di derivata e integrale, si possono dedurre i seguenti teoremi sulle serie di funzioni convergenti uniformemente (stiamo ad indicare <math>I=[a,b],a<b\,\!</math>):
 
===Teorema sulla continuità della somma===
{{riquadro|border=1px solid blue|contenuto=
Se una serie di funzioni continue converge uniformemente in <math>I\,\!</math>, allora il limite è una funzione anch'essa continua in <math>I\,\!</math>
}}
 
Riga 68:
Se la serie <math>\sum_{k=1}^{\infty}f_k</math> di funzioni integrabili in <math>I\,\!</math> converge uniformemente, allora la serie è integrabile in <math>I\,\!</math>, e vale:<br/>
<center><math>\int_{a}^{b} \sum_{k=1}^{\infty}f_k(x)\, dx=\sum_{k=1}^{\infty}\int_{a}^{b} f_k(x)\, dx</math></center>
E quindi, si dice che la serie può essere integrata termine a termine.
}}
E quindi, si dice che la serie può essere integrata termine a termine.
 
===Teorema di derivazione per le serie===
Riga 75:
Se la serie <math>\sum_{k=1}^{\infty}f_k</math> di funzioni derivabili in <math>I\,\!</math> converge in <math>I\,\!</math>, e la serie derivata <math>\sum_{k=1}^{\infty}f'_k</math> converge uniformemente in <math>I\,\!</math>, allora la serie <math>\sum_{k=1}^{\infty}f_k</math> è derivabile in <math>I\,\!</math>, e vale:<br/>
<center><math>\left(\sum_{k=1}^{\infty}f_k\right)'=\sum_{k=1}^{\infty}f'_k</math></center>
E quindi, si dice che la serie può essere derivata termine a termine.
}}
E quindi, si dice che la serie può essere derivata termine a termine.
 
==Serie di potenze==