1 Convergence des Séries Numériques

1.1 Nature d'une série numérique

Définition : Soit $\left( u_{n}\right) _{n\in\mathbb{N}}$ une suite d'éléments de $\mathbb{K}$ $\left( \mathbb{K}=\mathbb{R}\text{ ou }\mathbb{C}\right)$ .
On appelle suite des sommes partielles de $\left( u_{n}\right) _{n\in\mathbb{N}}$ , la suite $\left( s_{n}\right) _{n\in\mathbb{N}}$ , avec $s_{n}=\displaystyle\sum_{k=0}^{n}u_{k}$ .

Définition : On dit que la série de terme général $u_{n}$ , converge $\Leftrightarrow$ la suite des sommes partielles $\left( s_{n}\right) _{n\in\mathbb{N}}$ converge.
Sinon, on dit qu'elle diverge.

Notation : La série de terme général

se note $\displaystyle \sum u_n$ .

Définition : Dans le cas où la série de terme général $u_{n}$ converge, la limite, notée

, de la suite $\left( s_{n}\right) _{n\in\mathbb{N}}$ est appelée somme de la série et on note : $s=\displaystyle\sum\limits_{n=0}^{\infty}u_{n}$ .

Le reste d'ordre

de la série est alors noté $r_{n}$ et il vaut : $r_{n}=s-s_{n}$ .

Définition : La nature d'une série est le fait qu'elle converge ou diverge.

Etudier une série est donc simplement étudier une suite, la suite des sommes partielles de $\left( u_{n}\right)$ .
Le but de ce chapitre est de développer des techniques particulières pour étudier des séries sans nécessairement étudier la suite des sommes partielles.
Dans certains cas, on reviendra à la définition en étudiant directement la convergence de la suite des sommes partielles.

Remarque : La convergence d'une série ne dépend pas des premiers termes...

1.2 Exemple fondamental : les séries géométriques

Théorème : La série de terme général $x^{n}$ converge $\Leftrightarrow\left\vert x\right\vert <1$ .
De plus, la somme est : $s=\displaystyle\sum\limits_{n=0}^{\infty}x^{n}=\dfrac{1}{1-x}$ .

Preuve. $\displaystyle\sum\limits_{k=0}^{n}x^{k}=\dfrac{1-x^{n+1}}{1-x}$ pour $x\neq1$ . $\dfrac{1-x^{n+1}}{1-x}$ n'a de limite finie que si $\left\vert x\right\vert <1$ , cette limite est alors $\dfrac{1}{1-x}$ .
D'autre part, pour

, $\displaystyle\sum\limits_{k=0}^{n}x^{k}=n+1$ diverge. $\qedsymbol$

Remarque : La raison d'une suite géométrique est le coefficient par lequel il faut multiplier chaque terme pour obtenir le suivant.
La somme des termes d'une série géométrique convergente est donc : $\dfrac{\text{« le premier terme »}}{1-\text{« la raison »}}$ .
Ceci prolonge et généralise la somme des termes d'une suite géométrique qui est :

$\displaystyle \dfrac{\text{« le premier terme »}-\text{« le premier terme manquant »}}{1-\text{« la raison »}}$

Quand la série converge, il n'y pas de termes manquants...
La formule est la même.

1.3 Condition nécessaire élémentaire de convergence

Théorème : $\displaystyle\sum u_{n}$ converge $\Rightarrow\lim\limits_{n\rightarrow\infty}u_{n}=0$ .

Preuve. $\displaystyle\sum u_{n}$ converge $\Rightarrow\left( s_{n}\right)$ converge vers $s\Rightarrow\left( s_{n+1}\right)$ converge vers

$\Rightarrow\lim\limits_{n\rightarrow\infty}s_{n+1}-s_{n}=0\Rightarrow \lim\li... ...\rightarrow\infty}u_{n+1}=0\Rightarrow\lim\limits_{n\rightarrow \infty}u_{n}=0$ . $\qedsymbol$

Remarque : Si une série converge, son terme général tend vers 0.
Dans le cas où le terme général ne tend pas vers 0, on dit que la série diverge grossièrement.

1.4 Suite et série des différences

Théorème : La suite $\left( v_{n}\right)$ converge $\Leftrightarrow$ la série $\displaystyle\sum\left( v_{n+1}-v_{n}\right)$ converge.

Preuve. On considère $\displaystyle\sum\left( v_{n+1}-v_{n}\right)$ , sa suite des sommes partielles est $\left( s_{n}\right)$ avec

$\displaystyle s_{n}=\sum\limits_{k=0}^{n}\left( v_{k+1}-v_{k}\right) =v_{n+1}-v_{0}$

Les suites $\left( s_{n}\right)$ et $\left( v_{n+1}\right)$ sont de même nature, il en est de même de $\left( v_{n}\right)$ . $\qedsymbol$

2 Opérations sur les Séries Convergentes

2.1 Somme de 2 séries

Théorème : $\displaystyle\sum u_{n}$ et $\displaystyle\sum u_{n}^{\prime}$ convergent et ont pour somme

et $s^{\prime}$ $\Rightarrow\displaystyle\sum\left( u_{n}+u_{n}^{\prime}\right)$ converge et a pour somme $\left( s+s^{\prime}\right)$ .

Preuve. On applique simplement le théorème équivalent sur les suites, appliqué bien sûr aux suites des sommes partielles. $\qedsymbol$

2.2 Produit par un scalaire

Théorème : $\displaystyle\sum u_{n}$ converge et est de somme $s,\lambda\in\mathbb{K\Rightarrow} \displaystyle\sum\left( \lambda u_{n}\right)$ converge et est de somme $\lambda s$ .

Preuve. On applique encore le théorème équivalent sur les suites à la suite des sommes partielles. $\qedsymbol$

Il y a bien sûr une notion sous-jacente d'espace vectoriel des séries convergentes.

3 Séries à termes positifs

3.1 Séries à termes positifs

Définition : On dit qu'une série $\displaystyle\sum u_{n}$ est une série à termes positifs $\Leftrightarrow\forall n\in\mathbb{N}$ , $u_{n}\geqslant0$ .

Définition : On dit qu'une série $\displaystyle\sum u_{n}$ est une série à termes positifs à partir d'un certain rang

$\displaystyle \Leftrightarrow\exists N\in\mathbb{N},\forall n\geqslant N,u_{n}\geqslant0$

3.2 Critère de comparaison

Théorème : $\displaystyle\sum u_{n}$ et $\displaystyle\sum v_{n}$ deux séries positives à partir d'un certain rang

, telles que

$\displaystyle \forall n\geqslant N, u_{n}\leqslant v_{n}$

Si $\displaystyle\sum v_{n}$ converge, alors $\displaystyle\sum u_{n}$ converge. Si $\displaystyle\sum u_{n}$ diverge, alors $\displaystyle\sum v_{n}$ diverge.

Preuve. Seule la première assertion est à montrer, l'autre est équivalente. On le montre pour les séries positives $\left( N=0\right)$ .
On pose $s_{n}=\displaystyle\sum\limits_{k=0}^{n}u_{k}$ , $s_{n}^{\prime}=\displaystyle\sum \limits_{k=0}^{n}v_{k}$ et $s^{\prime}=\displaystyle\sum\limits_{n=0}^{\infty}v_{n}$ , on a $s_{n}\leqslant s_{n}^{\prime}$ .
Les suites $\left( s_{n}\right)$ et $\left( s_{n}^{\prime}\right)$ sont croissantes et la deuxième converge.
On a donc $s_{n}^{\prime}\leqslant s^{\prime}$ . Ce qui prouve que $\left( s_{n}\right)$ est croissante majorée et donc converge.
Pour le cas de séries positives à partir du rang

, on considère les sommes partielles $s_{n}=\displaystyle\sum\limits_{k=N}^{n}u_{k}$ ... $\qedsymbol$

Exemple : Etudions la convergence de $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{\ln n}{n2^{n}}.$
C'est une série à termes positifs (ou plus simplement positive), on va pouvoir utiliser le critère de comparaison.
A l'infini, $\dfrac{\ln n}{n}$ tend vers 0 et donc $\left( \dfrac{\ln n} {n}\right)$ est une suite bornée par

On a donc $\forall n\in\mathbb{N}^{\ast},$ $0\leqslant\dfrac{\ln n}{n}\leqslant A$ ce qui donne $\forall n\in\mathbb{N}^{\ast},$ $0\leqslant\dfrac{\ln n}{n2^{n}} \leqslant\dfrac{A}{2^{n}}$ qui est le terme général d'une série géométrique de raison $\dfrac{1}{2},$ donc convergente.
Ceci prouve que $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{\ln n}{n2^{n}}$ converge.

3.3 Critère d'équivalence

Théorème : $\displaystyle\sum u_{n}$ et $\displaystyle\sum v_{n}$ deux séries positives à partir d'un certain rang

, telles que : $u_{n}\underset{+\infty}{\sim} v_{n}$
alors $\displaystyle\sum u_{n}$ et $\displaystyle\sum v_{n}$ sont de même nature.

Preuve. A partir d'un certain rang

, on a $0\leqslant\frac{1}{2}u_{n}\leqslant v_{n}\leqslant2u_{n}$ .
Si $\displaystyle\sum u_{n}$ converge, $\displaystyle\sum 2u_{n}$ converge et donc $\displaystyle\sum v_{n}$ converge.
Si $\displaystyle\sum v_{n}$ converge, $\displaystyle\sum\frac{1}{2}u_{n}$ converge et donc $\displaystyle\sum u_{n}$ converge. $\qedsymbol$

On peut remarquer que le critère d'équivalence est, par liné arité, applicable à des séries de signe constant à partir d'un certain rang.

Exemple : Etudions la convergence de $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{1}{1+2^{n}}$ .
C'est une série à termes positifs (ou plus simplement positive), on va pouvoir utiliser le critère d'équivalence. $\dfrac{1}{1+2^{n}}\underset{+\infty}{\sim}\dfrac{1}{2^{n}}$ qui est le terme général d'une série géométrique de raison $\dfrac{1}{2},$ donc convergente.
Ceci prouve que $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{1}{1+2^{n}}$ converge.

3.4 Comparaison à une intégrale impropre

Théorème : Soit

une application positive et décroissante sur $\left[ a,+\infty\right[$ ,
alors la série $\displaystyle\sum f\left( n\right)$ et $\displaystyle\int_{a}^{+\infty}f\left( t\right) dt$ sont de même nature.
Et si elles convergent, ${\displaystyle\int_{n+1}^{+\infty}} f(t)\,dt\leqslant\displaystyle\sum_{k=n+1}^{+\infty}f(k)\leqslant {\displaystyle\int_{n}^{+\infty}} f(t)\,dt$

Preuve. Remarquons d'abord que, comme $\displaystyle\int_{a}^{x}f\left( t\right) dt$ est croissante, $\displaystyle\int_{a}^{+\infty}f\left( t\right) dt$ converge $\Leftrightarrow$ la suite $\left( \displaystyle\int_{a}^{p}f\left( t\right) dt\right)$ converge.
On prendra pour la démonstration

. Comme

décroit sur $\left[ n,n+1\right]$ ,

$\displaystyle \forall x\in\left[ n,n+1\right] , f\left( n+1\right) \leqslant f\left( x\right) \leqslant f\left( n\right)$

et en intégrant, comme on peut le voir sur la figure ci-dessous : $f\left( n+1\right) \leqslant\displaystyle\int_{n}^{n+1}f\left( t\right) dt\leqslant f\left( n\right)$ .

$\includegraphics[ width=4.5in ]{comparaison-serie-integrale}$

d'où en sommant $\displaystyle\sum\limits_{n=1}^{p}f\left( n\right) \leqslant\int_{0}^{p}f\left( t\right) dt\leqslant\displaystyle\sum\limits_{n=0}^{p-1}f\left( n\right)$ , ce qui assure le résultat. $\qedsymbol$

Exemple : Etudions la convergence de $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{1}{1+n^{2}}.$

définie par $f\left( t\right) =\dfrac{1}{1+t^{2}}$ est positive, décroissante sur $\left[ 0,+\infty\right[$ et $\displaystyle\int_{0}^{+\infty} \dfrac{1}{1+t^{2}}\,dt$ converge et est de même nature que la série étudiée.
Ceci prouve que $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{1}{1+n^{2}}$ converge.

3.5 Règle de Riemann

Théorème : $\alpha\in\mathbb{R},\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{1}{n^{\alpha}}$ converge $\Leftrightarrow$ $\alpha>1$ .

Ce sont les séries de Riemann.

Preuve. On compare cette série avec $\displaystyle\int_{1}^{+\infty}f\left( t\right) dt$ et le résultat est immédiat. $\qedsymbol$

Ceci nous donne la règle de Riemann.

Théorème : $\alpha\in\mathbb{R}, u_{n}\underset{+\infty}{\sim}\dfrac{k}{n^{\alpha}}$ , alors : $\displaystyle\sum u_{n}$ converge $\Leftrightarrow\alpha>1$ .

Preuve. Il suffit d'utiliser le critère d'équivalence et le théorème précédent. $\qedsymbol$

3.6 Règle de d'Alembert

Théorème : $\displaystyle\sum u_{n}$ une série à termes positifs non nuls (à partir d'un certain rang) telle que : $\displaystyle\displaystyle\lim\limits_{n\rightarrow\infty}\dfrac{u_{n+1}}{u_{n}}=l$

si , $\displaystyle\sum u_{n}$ diverge grossièrement,
si , $\displaystyle\sum u_{n}$ converge,
et si , on ne peut pas conclure.

Remarque : Ce théorème est séduisant à priori, mais on tombe très souvent sur le cas douteux.
Il s'utilise souvent dans le cadre des séries entières qu'on étudiera dans quelques chapitres. Avec les séries numériques, il s'utilise principalement quand on se trouve en présence de factorielles ou de termes de nature géométrique du type : $a^{n}$ .

Preuve. Pour

, la suite positive $\left( u_{n}\right)$ croit et ne tend donc pas vers 0. On a bien la divergence grossière.
Pour

, à partir d'un certain rang

$\dfrac{u_{n+1}}{u_{n}}\leqslant\dfrac{1+l}{2}$ .
et donc par récurrence très facile, pour $n\geqslant N$ , $u_{n}\leqslant\left( \dfrac{1+l}{2}\right) ^{n-N}u_{N}=\left( \dfrac {1+l}{2}\right) ^{n}\dfrac{u_{N}}{\left( \dfrac{1+l}{2}\right) ^{N}}$ .
Cette dernière série est géométrique, le théorème de comparaison entre séries positives fournit le résultat. $\qedsymbol$

Exemple : Etudions la convergence de $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{n!}{n^{n}}.$
C'est une série à termes strictement positifs, on va pouvoir utiliser le critère de d'Alembert. $\dfrac{\dfrac{\left( n+1\right) !}{\left( n+1\right) ^{n+1}}}{\dfrac {n!}{n^{... ...left( 1+\dfrac{1}{n}\right) ^{n}}\underset{+\infty}{\rightarrow}\dfrac{1}{e}<1$
Ceci prouve que $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{n!}{n^{n}}$ converge.

4 Séries Absolument Convergentes

4.1 Convergence absolue d'une série numérique

Définition : Une série $\displaystyle\sum u_{n}$ est absolument convergente $\Leftrightarrow$ $\displaystyle\sum\left\vert u_{n}\right\vert$ est convergente.
Une série convergente mais non absolument convergente est dite semi-convergente.

4.2 Convergence des séries absolument convergentes

Théorème : Toute série absolument convergente est convergente.

Preuve. Comme $\left\vert \operatorname{Re}u_{n}\right\vert \leqslant\left\vert u_{n}\right\vert$ et $\left\vert \operatorname{Im}u_{n}\right\vert \leqslant\left\vert u_{n}\right\vert$ , il suffit par linéarité de le montrer pour les séries à valeur réelle.
Pour celles-ci, on pose $u_{n}^{+}=\max\left( u_{n},0\right)$ et $u_{n} ^{-}=\max\left( -u_{n},0\right)$ .
Les séries $\displaystyle\sum u_{n}^{+}$ et $\displaystyle\sum u_{n}^{-}$ sont positives et $u_{n}^{+}\leqslant\left\vert u_{n}\right\vert$ , $u_{n}^{-}\leqslant\left\vert u_{n}\right\vert$ prouvent par comparaison que ces séries convergent.
Comme $u_{n}=u_{n}^{+}-u_{n}^{-}$ , on a bien $\displaystyle\sum u_{n}$ converge. $\qedsymbol$

Attention, ceci n'est pas une équivalence, on verra qu'il existe des séries semi-convergentes.
L'exemple le plus classique est $\displaystyle\sum \limits_{n=1}^{+\infty}\dfrac{\left( -1\right) ^{n}}{n}.$

4.3 Un moyen classique de montrer une convergence absolue de série

Ceci n'est pas un théorème mais un procédé usuel qu'il faut justifier à chaque fois.
Si il existe $\alpha>1$ tel que $\lim\limits_{n\rightarrow\infty}n^{\alpha }u_{n}=0$ , alors $\left\vert u_{n}\right\vert =o\left( \dfrac{1}{n^{\alpha} }\right)$ , comme $\displaystyle\sum\dfrac{1}{n^{\alpha}}$ converge, par comparaison, $\displaystyle\sum u_{n}$ converge absolument.

5 Séries Numériques Réelles Alternées

5.1 Séries alternées

Définition : La série $\displaystyle\sum u_{n}$ est alternée $\Leftrightarrow \displaystyle\sum\left( -1\right) ^{n}u_{n}$ est une série de signe constant.
On parle aussi de série alternée à partir d'un certain rang.

Il s'agit donc de séries à valeur réelle.

Exemple : $\displaystyle\sum\dfrac{\left( -1\right) ^{n}}{n}$ est une série alternée, mais pas $\displaystyle\sum\cos n$ .

5.2 Critère spécial des séries alternées

Théorème : $\displaystyle\sum u_{n}$ une série alternée telle que la suite $\left( \left\vert u_{n}\right\vert \right)$ est décroissante tendant vers 0 à l'infini.

Alors, $\displaystyle\sum u_{n}$ est convergente de somme et $s\in\left[ s_{n},s_{n+1}\right]$ $\left( \text{ou }\left[ s_{n+1},s_{n}\right] \right)$ .
De plus, avec $r_{n}=s-s_{n}$ , on a $\left\vert r_{n}\right\vert \leqslant\left\vert u_{n+1}\right\vert$ , et $r_{n}$ est du signe de $u_{n+1}$ .

On dit que la somme de la série est encadrée par 2 termes consécutifs et que le reste de la série est, en valeur absolue, majorée par son premier terme.

Ce théorème est illustré par la figure ci-dessous.

$\begin{picture}(165,40) \thicklines \put(30,10){\vector(1,0){110}} \thinline... ...+1} \right\vert $} \put(102,22){$\left\vert r_{2n} \right\vert $} \end{picture}$

Preuve. On va faire la démonstration quand $u_{n}$ est du signe de $\left( -1\right) ^{n}$ .

$\displaystyle s_{2n+2}-s_{2n}=u_{2n+2}+u_{2n+1}=\left\vert u_{2n+2}\right\vert -\left\vert u_{2n+1}\right\vert \leqslant0$

d'où $\left( s_{2n}\right)$ est décroissante.

$\displaystyle s_{2n+3}-s_{2n+1}=u_{2n+3}+u_{2n+2}=-\left\vert u_{2n+3}\right\vert +\left\vert u_{2n+2}\right\vert \geqslant0$

d'où $\left( s_{2n+1}\right)$ est croissante. D'autre part, $s_{2n+1}\leqslant s_{2n}\leqslant s_{0}=u_{0}$ . $\left( s_{2n+1}\right)$ est croissante majorée, donc convergente.
De même, $s_{2n}\geqslant s_{2n+1}\geqslant s_{1}$ . $\left( s_{2n}\right)$ est décroissante minorée, donc convergente.
Comme $s_{2n+1}-s_{2n}=u_{2n+1}$ tend vers 0, ces deux suites sont adjacentes et convergent vers la même limite

.
D'où, par monotonie $s_{2n+1}\leqslant s\leqslant s_{2n}$ et $s_{2n+1}\leqslant s\leqslant s_{2n+2}$ .
C'est à dire : $\left\vert r_{n}\right\vert \leqslant\left\vert u_{n+1}\right\vert$ que

soit pair ou impair. $\qedsymbol$

Exemple : $\displaystyle\sum\dfrac{\left( -1\right) ^{n}}{n}$ est une série alternée clairement convergente par application du critère spécial des séries alternés.

Il faut bien vérifier qu'on applique scrupuleusement le critère spécial.

Remarque : Le critère spécial des séries alternées ne s'applique pas à des équivalents.
On écrit parfois $u_{n}=v_{n}+w_{n}$ avec $\displaystyle\sum v_{n}$ alternée répondant au critère spécial des séries alternées et $\displaystyle\sum w_{n}$ absolument convergente.

Exemple : $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{\left( -1\right) ^{n}}{\sqrt{n}-\left( -1\right) ^{n}}$ est une série alternée telle que $\dfrac{\left( -1\right) ^{n}}{\sqrt{n}-\left( -1\right) ^{n}}\underset{+\infty}{\sim }\dfrac{\left( -1\right) ^{n}}{\sqrt{n}}$ avec $\displaystyle\sum\limits_{n=1}^{+\infty }\dfrac{\left( -1\right) ^{n}}{\sqrt{n}}$ qui converge par application simple du critère spécial des séries alternées.
Cependant $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac{\left( -1\right) ^{n}}{\sqrt{n}-\left( -1\right) ^{n}}$ diverge.
En effet, $\dfrac{\left( -1\right) ^{n}}{\sqrt{n}-\left( -1\right) ^{n}} =\dfrac{\left( ... ...e}rie divergente}} }_{\text{terme g\'{e}n\'{e}ral d'une s\'{e}rie divergente}}$

On a bien montré sur un exemple que le critère d'équivalence ne s'applique pas aux séries alternées...

6 Compléments

6.1 Avec Maple

C'est le mot-clef « sum » qui permet de calculer une somme de série.
> sum(1/(n**2),n=1..infinity); calcule $\displaystyle\sum\limits_{n=1}^{+\infty}\dfrac {1}{n^{2}}$ qui vaut $\dfrac{\pi^{2}}{6}$ .
Maple connait la somme de nombreuses séries connues. Mais, il lui arrive de ne pas savoir déterminer la nature d'une série...

6.2 Les mathématiciens du chapitre

Bernoulli Jacob 1654-1705: Mathématicien suisse de la grande famille des Bernoulli. On lui doit des travaux sur les courbes, les coordonnées polaires, le calcul intégral, les séries numériques... C'est lui qui a montré la convergence de $\displaystyle\sum\dfrac{1}{n^{2}}$ ...
Euler Léonard 1707-1783: L'apport de ce mathématicien suisse est plus que considérable. La définition précise de fonction, l'exponentielle complexe, les équations différentielles linéaires, les courbes paramétrées, les quadriques et, entre autres, de nombreux résultats sur les séries numériques...

Student in ITC

Wednesday, September 7, 2011

Chapitre 9 : Séries numériques