Définition : Soit (an)n≥0 une série entière de la variable réelle x est une série du type ∑n≥0anxn.
Remarque : une série entière est une généralisation de la notion de polynôme. Un polynôme est une somme finie p∑n=0anxn.
Définition et théorème :
On admet l’existence d’un réel R ou éventuellement R=+∞ tel que pour tout réel x tel que |x|<R, la série entière ∑n≥0anxn converge et pour x tel que |x|>R la série entière ∑n≥0anxn. diverge.
R s’appelle le rayon de convergence et l’intervalle ]−R,R[ s’appelle l’intervalle de convergence.
Exemple : la série géométrique ∑n≥0xn est une série entière de rayon 1.
De plus, pour tout x tel que |x|<1, +∞∑n=0xn=11−x.
Théorème : le critère de D’Alembert. On considère la série entière ∑n≥0anxn avec (an)n≥0 non nulle (à partir d’un certain rang).
Supposons que limn→+∞|an+1an|=ℓ avec ℓ∈R∪{+∞}.
- Si ℓ∈R∗+ alors R=1ℓ.
- Si ℓ=+∞ alors R=0 c’est-à-dire que la série en converge qu’en x=0.
- Si ℓ=0 R=+∞ c’est-à-dire que la série en converge sur tout R.
Définition : soit f une fonction définie sur un voisinage V de 0. On dit qu’une fonction f est développable en série entière (DSE) en 0 s’il existe une série entière ∑n≥0xn de rayon R>0 tel que pour tout x∈V∩]−R,R[, f(x)=sum+∞n=0xn.
Exemple de référence :
a) La fonction x↦11−x est DSE au voisinage de 0 car ∀x∈]−1,1[, 11−x=+∞∑n=0xn.
b) La fonction x↦ln(1+x) est DSE au voisinage de 0 car ∀x∈]−1,1[, ln(1+x)=+∞∑n=1(−1)n−1xnn.
c) La fonction x↦ex est DSE au voisinage de 0 car ∀x∈R, ex=+∞∑n=0xnn!.