Serie di funzioni: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Ed088 (discussione | contributi)
perfezionamento esempio
Riga 218:
Da cui segue che: <math>\lim_{n\rightarrow +\infty}\frac{ML^n}{n!}|x-x_0|^n=0</math>, quindi la tesi.{{endproof}}
====Esempio====
Sia <math>f(x)=e^x \,\!</math>. Si sa che <math>f \in C^{\infty}(\R)</math>, e le derivate di <math>f(x)\,\!</math> sono: <math>f^{n}(x)=e^x\,\!</math> , siaper poiogni <math>Rx \in \R</math> une numeroper arbitrarioogni positivo<math>n \in \N</math>. <br/>
LeSia derivatepoi di<math>R \in \R</math>f un numero arbitrario. Dato che la funzione è (xstrettamente) crescente in <math>\R</math>, sono:allora <math>f^{n}(x)=e^x\le e^R, \ \forall x \le R </math> , allora:. <br/>
Quindi posto <math> M = e^R\,\!</math> e <math>L =1\,\!</math>, risulta che <math>f^{n}(x)\le eML^R</math>n, \ <math>\forall x \le \R </math>. <br/>
Per il teorema 1 risulta che <math>f\,\!</math> è sviluppabile in serie di Taylor di punto iniziale <math>x_0\,\!</math> in <math>]-\infty,R[\,\!</math>, qualunque sia <math>x_0 \in ]-\infty,R[\,\!</math>. <br/>
Quindi posto <math> M = e^R</math> e <math>L =1</math> <br/>
Dato che <math>R\,\!</math> è stato scelto in maniera arbitraria in <math>\R</math>, allora si può concludere che <math>f\,\!</math> è sviluppabile in serie di Taylor di punto iniziale <math>x_0\,\!</math> in <math>\bigcup_{R \in \R}]-\infty,R[=]-\infty,+\infty[=\R\,\!</math>.
 
===Teorema 2===