« Série numérique/Introduction » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 1 :
| idfaculté ={{ébauche mathématiques}}
{{Chapitre
| titre = IntroductionDéfinition
| idfaculté = mathématiques
| leçon = [[../]]
| numero = 13
| précédent = [[../|sommaireRappels/]]
| suivant = [[../RappelsPropriétés/]]
| niveau = 14
}}
Voyons ce qu'est formellement une [[w:Série convergente|Série convergente]] et les propriétés qui en découle directement.
 
== Convergence d'une série ==
 
== Introduction ==
{{Définition
| contenu =
 
*On appelle '''série''' de '''terme général''' <math>u_n</math> la suite <math>(S_n)</math> définie par : <math> S_n = \Sigma_{k = 0}^{n}u_k </math> où <math>u_k</math> est une suite de nombres réels.
*On dit qu'une série '''converge''' si la suite <math>(S_n)</math> admet une limite S.
*Si une série ne converge pas, on dit qu'elle est '''divergente'''.}}
 
<math>\sum_{n\ge0}{u_n}</math>désigne la série de terme général <math>(u_n)_{n \in \mathbb{N}}</math>.
=== Exemples ===
<math>u_n = (-1)^n</math><br />
<math>S_n = 1-1+1-1 + ... + (-1)^n</math><br />
Pour n pair, <math>S_n</math> vaut 1, pour n impair, <math>S_n</math> vaut 0.<br />
La série <math>\Sigma (-1)^n</math> est donc divergente.
 
*Elle converge lorsque la suite <math>(S_n)_{n\in\mathbb{N}}</math> des sommes partielles [[w:Limite de suite|converge]], où pour tout entier naturel n,
== Convergence ==
 
:<math>S_n=\sum_{k=0}^{n}{u_k}</math>
=== Condition nécessaire ===
Pour qu'une série converge, il faut que son terme général <math>u_n</math> tende vers 0 lorsque n tend vers l'infini.
 
C'est une condition nécessaire mais non suffisante. Un exemple classique de série divergente de terme général vérifiant cette condition est la série harmonique : <math>u_n = 1/n</math>.
 
*Dans ce cas la '''somme de la série''' est la limite de la suite des sommes partielles
En effet <math>S_n = 1 + 1/2 + ... + 1/n</math> et <math>S_{2n} = 1 + 1/2 + ... + 1/n + ... + 1/2n</math>.<br />
 
D'où <math>S_{2n} - S_n = 1/(n + 1) + 1/(n + 2) + ... + 1/2n > n/2n</math> et <math>S_{2n} - S_n > 1/2</math><br />
:<math>\sum_{k=0}^{+\infty} u_k = \lim_{n\to +\infty} S_n</math>
Supposons que la série converge, alors <math>S_n</math> et <math>S_{2n}</math> admenttent une même limite S et <math>S_{2n} - S_n = 0</math> lorsque n tend vers l'infini. Ce qui est en contradiction avec <math>S_{2n} - S_n > 1/2</math>, donc la série diverge.
 
{{Bas de page
| idfaculté = mathématiques
| leçon = [[../]]
| précédent = [[../|Sommaire]]
| suivant = [[../Rappels/]]
}}
 
'''Remarque''' : Bien faire attention aux notations : <math>\sum_{k\ge0} u_n</math>, <math>\sum_{k=0}^n u_k</math> et <math>\sum_{k=0}^{+\infty} u_k</math> désignent bien des choses différentes.
 
=== ExemplesExemple ===
 
Considérons une suite géométrique <math>(u_n)\,</math> de raison <math>q\,</math> strictement positive.
 
La somme <math>S_n\,</math> des n+1 premiers termes de <math>(u_n)\,</math> est donnée par la formule :
 
<center><math>S_n=u_0 + u_{1} + \cdots + u_n =u_0\times \frac{1-q^{n+1}}{1-q}</math></center>
 
*Si <math>q<1\,</math> alors <math>q^{n+1}\,</math> tend vers <math>0</math> quand <math>n</math> tend vers l'infini. Donc la suite <math>(S_n)\,</math> admet une limite :
 
:<math>\lim_{n \to +\infty}S_n = \frac{1}{1-q}</math>
 
la série de terme général <math>u_n\,</math> converge et on peut écrire :
 
:<math>\sum_{k=0}^{+\infty} u_k=\frac{1}{1-q}</math>
 
*Si <math>q\ge1\,</math> alors <math>q^{n+1}\,</math> tend vers <math>+\infty</math> quand <math>n</math> tend vers l'infini. Donc la suite <math>(S_n)\,</math> n'admet pas de limite finie :
 
:<math>\lim_{n \to +\infty}S_n = +\infty</math>
 
la série de terme général <math>u_n\,</math> diverge.
 
=== Condition nécessaire =de convergence ==
 
Si la série <math>\sum_{n \ge 0} u_n</math> est convergente, alors la suite <math>(u_n)_{n\in\mathbb{N}}\,</math> converge vers 0 puisque <math>\forall n \geq 1, \qquad u_n=S_n-S_{n-1}</math>
 
Lorsque le terme général d'une série ne tend pas vers 0, celle-ci est dite '''trivialement''' ou '''grossièrement divergente'''.
 
Attention : la réciproque est fausse. Prenons la série harmonique <math>\sum_{n \ge 0} \frac{1}{n}</math> comme contre-exemple. C'est une série dont le terme général tend vers 0, pourtant elle est divergente. Voir l'[[Série numérique/Exercices/Série harmonique|exercice 4 : Série harmonique]]
 
== Critère de Cauchy ==
 
== Opérations et nature des séries ==
 
[[Catégorie:Série numérique]]