Analyse/Séries

Définition et Sommes partielles

Soit $(a_n)$ une suite réelle ou complexe. A celle-ci on peut associer la suite des sommes$$S_n=\sum _{p=0}^n{a}_p=a_0+a_1+\cdots +a_n$$ La suite $(S_n)$ ainsi définie est appelée la série de terme général $a_n$. Le terme $S_n$ s'appelle la somme partielle d'ordre $n$ de la série.

Convergence

On dit que la série $\sum a_n$ converge lorsque la suite des sommes partielles converge. Dans ce cas, le nombre

$$S=\underset{n\to +\mathrm{\infty }}{\lim }{S}_n\text{ noté encore }\sum _{n=0}^{+\mathrm{\infty }}{a}_n$$est appelé somme de la série. Une série qui ne converge pas est dite divergente.

Etudier la nature d'une série consiste à démontrer qu'elle est convergente ou divergente.

Reste d'une série convergente

Dans le cas d'une série convergente de somme $S$, on appelle reste d'ordre $n$ le réel

$$R_n=S-S_n=\sum _{p=n+1}^{+\mathrm{\infty }}{a}_p$$On a toujours $\lim R_n=0$ car la série $\sum a_p$ est convergente. Il est utile de majorer la valeur absolue de $R_n$ pour estimer l'erreur commise lorsque l'on approxime la valeur de $S$ par $S_n$.

Exemples

• Série de terme général $a_n=\frac{1}{n(n+1)}$

$\mathrm{\forall }n\in {\mathbb{N}}^{*},a_n=\frac{1}{n}-\frac{1}{n+1}$. On peut donc calculer les sommes partielles $$S_n=a_1+a_2+\cdots +a_n=(1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+\cdots +(\frac{1}{n}-\frac{1}{n+1})=1-\frac{1}{n+1}⟶n\to +\mathrm{\infty }1$$La série est donc convergente et on peut écrire $\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n(n+1)}=1$.

• Série géométrique de terme général $a_n={\left(\frac{2}{3}\right)}^n$ Les sommes partielles sont données par les formules sur les suites géométriques.

$$S_n=a_0+a_1+\cdots +a_n=\frac{1-{\left(\frac{2}{3}\right)}^{n+1}}{1-\frac{2}{3}}=3[1-{\left(\frac{2}{3}\right)}^{n+1}]⟶n\to +\mathrm{\infty }3$$On en déduit que la série est convergente et $\sum _{n=0}^{+\mathrm{\infty }}{\left(\frac{2}{3}\right)}^n=3$.

• Série de terme général $a_n=\ln (1+\frac{1}{n})$

$\mathrm{\forall }n\in {\mathbb{N}}^{*},a_n=\ln \left(\frac{n+1}{n}\right)=\ln (n+1)-\ln n$. On écrit les sommes partielles qui sont télescopiques $$S_n=a_1+a_2+\cdots +a_n=(-\ln 1+\ln 2)+(-\ln 2+\ln 3)+\cdots +(-\ln n+\ln (n+1))=\ln (n+1)⟶n\to +\mathrm{\infty }+\mathrm{\infty }$$La série est divergente.

Divergence grossière

Lorsque le terme général d'une série ne tend pas vers 0, la série diverge et on dit même qu'elle est grossièrement divergente. En effet, toute série convergente a un terme général qui tend vers 0.

Démonstration

Soit $(S_n)$ la suite des sommes partielles d'une série convergente vers $S$. On peut écrire

Attention. Réciproque fausse

On peut se reporter à l'exemple $a_n=\ln (1+\frac{1}{n})$ vu précédemment. Que le terme général de la série tende vers 0 n'est qu'une condition nécessaire de convergence. Elle n'est pas suffisante.

Série harmonique divergente

Un exemple à connaître. Il s'agit de la série de terme général $a_n=\frac{1}{n}$.

Les sommes partielles sont définies par $$\mathrm{\forall }n\in {\mathbb{N}}^{*},S_n=\sum _{p=1}^n\frac{1}{p}=\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\cdots +\frac{1}{n}$$On peut montrer que l'on peut minorer $S_{2n}-S_n$ par un réel non nul et donc conclure à la divergence de la série.

Démonstration

$$\mathrm{\forall }n\in {\mathbb{N}}^{*},S_{2n}-S_n=\sum _{p=n+1}^{2n}\frac{1}{p}⩾\sum _{p=n+1}^{2n}\frac{1}{2n}=n\times \frac{1}{2n}=\frac{1}{2}$$Si $S_n$ était convergente vers $S$, alors $\frac{1}{2}⩽S_{2n}-S_n⟶n\to +\mathrm{\infty }S-S=0$ ce qui est contradictoire.

Suites et séries télescopiques

Nous avons pu remarquer sur plusieurs exemples les simplifications effectuées sur les sommes partielles par télescopage. Nous généralisons ici ce phénomène.

Théorème

La suite $(a_n)$ et la série $\sum _{n=0}^{+\mathrm{\infty }}(a_n-a_{n+1})$ sont de même nature.

Preuve

Soit $S_n$ la somme partielle d'ordre $n$ de la série $\sum _{n=0}^{+\mathrm{\infty }}(a_n-a_{n+1})$.$$S_n=\sum _{p=0}^n(a_p-a_{p+1})=\sum _{p=0}^n{a}_p-\sum _{p=0}^n{a}_{p+1}=\sum _{p=0}^n{a}_p-\sum _{p=1}^{n+1}{a}_p=a_0-a_{n+1}$$La convergence de $(S_n)$ et donc directement reliée à celle de $(a_n)$.

Etude des séries à termes positifs

De nombreux théorèmes sur les séries ne sont valides que lorsque tous les termes de celle-ci sont positifs, au moins à partir d'un certain rang. Voici les principaux.

Sommes partielles

Si tous les termes $a_n$ de la série sont positifs, alors la suite $(S_n)$ des sommes partielles est croissante. Il y a alors équivalence entre majoration et convergence. On en déduit le théorème suivant

Théorème fondamental

Tous les termes $a_n$ étant positifs, la série $\sum a_n$ converge si et seulement si les sommes partielles sont majorées.

Tous les $a_n$ étant des réels positifs, $\sum a_n\text{ converge }⟺\mathrm{\exists }M\in ℝ,\mathrm{\forall }n\in \mathbb{N},\sum _{p=0}^n{a}_n⩽M$

Théorème de comparaison

Soient $\sum a_n$ et $\sum b_n$ deux séries à termes positifs. On suppose qu'au moins à partir d'un certain rang, on a l'inégalité $a_n⩽b_n$. On peut alors affirmer

• si $\sum b_n$ converge, alors $\sum a_n$ converge ;
• si $\sum a_n$ diverge, alors $\sum b_n$ diverge.

La preuve s'effectue immédiatement en utilisant les majorations des sommes partielles.

Théorème d'équivalence

Soient $\sum a_n$ et $\sum b_n$ deux séries à termes positifs. Si $a_n\sim b_n$ au voisinage de $+\mathrm{\infty }$, alors les séries sont de même nature.

Démonstration

Soient $\sum a_n$ et $\sum b_n$ deux séries à termes positifs avec $a_n\sim b_n$ au voisinage de $+\mathrm{\infty }$. Supposons que $\sum b_n$ converge.

$a_n\sim b_n$ donc il existe une suite $(u_n)$ de limite 1 telle que, pour tout $n$ à partir d'un certain rang, on a l'égalité $a_n=b_n\times u_n$.

On en déduit $\mathrm{\exists }{n}_0\in \mathbb{N},n⩾n_0⟹\frac{1}{2}⩽u_n⩽\frac{3}{2}\text{ d'où }\frac{1}{2}{b}_n⩽a_n⩽\frac{3}{2}{b}_n$

Par comparaison, on en déduit que les deux séries sont de même nature.

Exemples

• $\sum _{n=1}^{+\mathrm{\infty }}\ln (1+\frac{1}{n})\text{ diverge et est à termes positifs. }\ln (1+\frac{1}{n})\sim \frac{1}{n}\text{ donc }\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n}\text{ diverge.}$
• $\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n(n+1)}\text{ converge et est à termes positifs. }\frac{1}{n(n+1)}\sim \frac{1}{n^2}\text{ donc }\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^2}\text{ converge.}$

Séries de Riemann

Toute série de la forme $\sum \frac{1}{n^{\alpha }}$ avec $\alpha \in ℝ$ est appelée série de Riemann.

Exemple : $\sum \frac{1}{n^2}$ dont on a déjà observé la convergence.

$$\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^{\alpha }}\text{ converge }⟺\alpha >1$$Preuves

Pour $\alpha =1$, on retrouve la série harmonique divergente.

Pour $\alpha <1$, alors $n^{\alpha }⩽n$ lorsque $n⩾1$. On a donc $\frac{1}{n^{\alpha }}⩾\frac{1}{n}$ qui est lui-même le terme général d'une série divergente. Par comparaison, on en déduit que la série de Riemann diverge.

Pour $\alpha >1$, on peut comparer la série à l'intégrale du même nom (tracer la courbe représentative de la fonction $x⟼\frac{1}{x^{\alpha }}$ pour mieux comprendre les inégalités qui suivent).

$$\mathrm{\forall }p⩾2,\frac{1}{p^{\alpha }}⩽\underset{p-1}{\overset{p}{\int }}\frac{\mathrm{d}\mathrm{x}}{x^{\alpha }}$$Et on en déduit

$$\sum _{p=2}^n\frac{1}{p^{\alpha }}⩽\underset{1}{\overset{n}{\int }}\frac{\mathrm{d}\mathrm{x}}{x^{\alpha }}\text{ qui est convergente pour }\alpha >1$$ce qui montre par comparaison que la série de Riemann est convergente.

Remarque.

On peut montrer également ce dernier résultat en posant $a_n=\frac{1}{n^{\beta }}$ avec $\beta >0$ et en affirmant que la suite $(a_n)$ et la série $\sum (a_n-a_{n+1})$ sont de même nature. Comme la suite converge, on en déduit que la série converge aussi. On montre ensuite en utilisant quelques développements limités que le terme général de la série est équivalent à $\frac{1}{n^{1+\beta }}$, ce qui prouve le théorème dans le cas $\alpha >1$.

Exemple. Constante d'Euler

On donne $u_n=\sum _{p=1}^n\frac{1}{p}-\ln n$.

On veut montrer que la suite $(u_n)$ converge, c'est-à-dire que la série harmonique diverge de manière équivalente au logarithme népérien. On s'intéresse alors à la série de terme général $u_n-u_{n+1}$ et on montre qu'elle est convergente.

$u_n-u_{n+1}=-\frac{1}{n+1}+\ln \left(\frac{n+1}{n}\right)=-\frac{1}{n+1}-\ln \left(\frac{n}{n+1}\right)=-\frac{1}{n+1}-\ln (1-\frac{1}{n+1})$

$=-\frac{1}{n+1}-[-\frac{1}{n+1}-\frac{1}{2(n+1{)}^2}+o{\left(\frac{1}{n+1}\right)}^2]=\frac{1}{2(n+1{)}^2}+o{\left(\frac{1}{n+1}\right)}^2\sim \frac{1}{2n^2}$

qui est le terme général d'une série convergente d'après la règle de Riemann. On en déduit que $(u_n)$ est une série convergente. Sa limite, notée $\gamma$ est appelée constante d'Euler. C'est le décalage asymptotique entre la série harmonique et le logarithme népérien. Sa valeur est environ 0.577.

Règle de Cauchy

Elle repose sur la comparaison avec une série géométrique, et ne concerne que les séries à termes positifs.

Théorème

1. Tous les termes $u_n$ de la série étant strictement positifs, s'il existe un réel $a<1$ tel que à partir d'un certain rang on ait $\sqrt[n]{u_n}=u_n^{\frac{1}{n}}⩽a<1$ alors $\sum _{n=0}^{+\mathrm{\infty }}{u}_n\text{ converge.}$
2. Si $u_n^{\frac{1}{n}}⩾1$ à partir d'un certain rang, alors la série diverge grossièrement.

Démonstration

1. $u_n^{\frac{1}{n}}⩽a⟺u_n⩽a^n.\sum a^n\text{ converge donc }\sum u_n\text{ converge.}$
2. $u_n^{\frac{1}{n}}⩾1⟺u_n⩾1$ donc $u_n$ ne tend pas vers 0 et la série diverge grossièrement.

Corollaire

Les termes $u_n$ de la série étant strictement positifs, si $u_n^{\frac{1}{n}}$ tend vers $l\in [0,+\mathrm{\infty }]$, alors

• si $l<1$, alors la série converge ;
• si $l>1$, alors la série diverge grossièrement ;
• si $l=1$, alors on ne peut conclure (cas douteux de la règle de Cauchy).

Preuves

Pour $l<1$, on se ramène au théorème principal en remarquant que tous les termes $u_n^{\frac{1}{n}}$sont supérieurs à $a=\frac{1+l}{2}\in ]l,1[$ à partir d'un certain rang.

Pour $l>1$, on peut dire que tous les termes $u_n^{\frac{1}{n}}$sont supérieurs ou égaux à 1 à partir d'un certain rang.

Exemples

$$\sum _{n=1}^{+\mathrm{\infty }}{\left(\frac{n}{2n+1}\right)}^n\text{ CV }\sum _{n=1}^{+\mathrm{\infty }}{(1+\frac{1}{n})}^n\text{ DV }\sum _{n=1}^{+\mathrm{\infty }}{(1-\frac{1}{n})}^n\text{cas douteux mais DV.}$$

Règle de d'Alembert

Elle repose également sur la comparaison avec une série géométrique, et ne concerne que les séries à termes positifs.

Lemme

Si on a $$\mathrm{\forall }n⩾p,u_n,v_n>0\text{et}\frac{u_{n+1}}{u_n}⩽\frac{v_{n+1}}{v_n}$$ alors on en déduit

$$\sum v_n\text{CV}⟹\sum u_n\text{CV}\text{ainsi que}\sum u_n\text{DV}⟹\sum v_n\text{DV}$$

Les quotients $\frac{u_{n+1}}{u_n}\text{ et }\frac{v_{n+1}}{v_n}$ pourraient être qualifiés de raison instantanée des suites $(u_n)$ et $(v_n)$.

Preuve

$$\mathrm{\forall }k⩾p,\frac{u_{k+1}}{u_k}⩽\frac{v_{k+1}}{v_k}\text{donc}\prod _{k=p}^{n-1}\frac{u_{k+1}}{u_k}⩽\prod _{k=p}^{n-1}\frac{v_{k+1}}{v_k}$$On en déduit

$$\mathrm{\forall }n⩾p,\frac{u_n}{u_p}⩽\frac{v_n}{v_p}\text{ c'est-à-dire }{u}_n⩽\left(\frac{u_p}{v_p}\right)v_n$$On a donc $\mathrm{\forall }n⩾p,u_n⩽\lambda v_n\text{ avec }\lambda \text{ constant.}$ Par comparaison,

si $\sum v_n$ converge, alors $\sum \lambda v_n$ converge, et donc $\sum u_n$ converge,

et si $\sum u_n$ diverge, alors $\frac{1}{\lambda }\sum u_n$ diverge, et donc $\sum v_n$ diverge.

Théorème

1. Tous les termes $u_n$ de la série étant strictement positifs, s'il existe un réel $a<1$ tel que à partir d'un certain rang on ait $\frac{u_{n+1}}{u_n}⩽a<1$, alors la série $\sum _{n=0}^{+\mathrm{\infty }}{u}_n$ converge.
2. Si $\frac{u_{n+1}}{u_n}⩾1$ à partir d'un certain rang, alors la série diverge grossièrement.

Preuve

1. Soit $v_n=a^n$. On a $\frac{v_{n+1}}{v_n}=a$ et donc à partir d'un certain rang $$\mathrm{\forall }n,\frac{u_{n+1}}{un}⩽a=\frac{v_{n+1}}{v_n}\text{ et }\sum _{n=0}^{+\mathrm{\infty }}{v}_n\text{ converge car }a<1$$On en déduit que $\sum _{n=0}^{+\mathrm{\infty }}{u}_n$ converge.
2. Si $\frac{u_{n+1}}{u_n}⩾1$, alors $u_{n+1}⩾u_n$ et donc $u_n$ ne tend pas vers 0 et la série diverge grossièrement.

Remarque

Le théorème ne s'applique pas avec l'hypothèse affaiblie $\frac{u_{n+1}}{u_n}<1$. Contre-exemple : la série harmonique.

Corollaire

Les termes $u_n$ de la série étant strictement positifs, si $\frac{u_{n+1}}{u_n}$ tend vers $l\in [0,+\mathrm{\infty }]$, alors

• si $l<1$, alors la série converge ;

• si $l>1$, alors la série diverge grossièrement ;
• si $l=1$, alors on ne peut conclure (cas douteux de la règle de d'Alembert).

Exemples

$$\sum _{n=1}^{+\mathrm{\infty }}\frac{n!}{n^n}\text{CV}\sum _{n=1}^{+\mathrm{\infty }}\frac{n^n}{n!}\text{DV}\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n^{\alpha }}\text{cas douteux.}$$

Règle de Raabe Duhamel

Comme les règles précédentes, la règle de Raabe Duhamel ne s'applique qu'aux séries à termes positifs.

Elle repose sur la comparaison de la série à étudier avec une série de Riemann.

Théorème

Les termes $u_n$ étant strictement positifs, si $n[1-\frac{u_{n+1}}{u_n}]$ tend vers $\beta \in [-\mathrm{\infty },+\mathrm{\infty }]$, alors

• $\beta >1⟹\sum _{n=0}^{+\mathrm{\infty }}{u}_n\text{ converge};$
• $\beta <1⟹\sum _{n=0}^{+\mathrm{\infty }}{u}_n\text{ diverge};$
• $\beta =1$ ne permet pas de conclure (cas douteux de la règle de Raabe Duhamel).

Démonstration

On va utiliser le lemme de la règle de d'Alembert avec une série de Riemann. Soit $v_n=\frac{1}{n^{\alpha }}$ avec $\alpha >0$.$$\frac{v_{n+1}}{v_n}={\left(\frac{n}{n+1}\right)}^{\alpha }={\left(\frac{n+1}{n}\right)}^{-\alpha }=1-\frac{\alpha }{n}+o\left(\frac{1}{n}\right)\text{ donc }n[1-\frac{v_{n+1}}{v_n}]⟶n\to +\mathrm{\infty }\alpha$$et on peut écrire$$n[\frac{u_{n+1}}{u_n}-\frac{v_{n+1}}{v_n}]=n[(1-\frac{v_{n+1}}{v_n})-(1-\frac{u_{n+1}}{u_n})]=n[1-\frac{v_{n+1}}{v_n}]-n[1-\frac{u_{n+1}}{u_n}]⟶n\to +\mathrm{\infty }\alpha -\beta$$

1. Pour $\beta >1$, il existe $\alpha \in ]1,\beta [$ tel que $\alpha -\beta <0$. Dans ce cas, la suite $\frac{u_{n+1}}{u_n}-\frac{v_{n+1}}{v_n}$ est négative à partir d'un certain rang. Le lemme de la règle de d'Alembert permet alors d'affirmer que la série $\sum u_n$ est convergente car la série $\sum v_n$ est convergente d'après la règle de Riemann.
2. Pour $\beta <1$, il existe $\alpha \in ]\beta ,1[$ tel que $\alpha -\beta >0$. Dans ce cas, la suite $\frac{u_{n+1}}{u_n}-\frac{v_{n+1}}{v_n}$ est positive à partir d'un certain rang. Le lemme de la règle de d'Alembert permet alors d'affirmer que la série $\sum u_n$ est divergente car la série $\sum v_n$ est divergente d'après la règle de Riemann.

Exemples

1. $\sum _{n=1}^{+\mathrm{\infty }}\frac{1.3.5\dots (2n-1)}{2.4.6\dots (2n)}$ cas douteux pour d'Alembert, diverge d'après Raabe Duhamel ;
2. $\sum _{n=2}^{+\mathrm{\infty }}\frac{1.3.5\dots (2n-3)}{2.4.6\dots (2n)}$ cas douteux pour d'Alembert, converge d'après Raabe-Duhamel ;
3. $\sum _{n=1}^{+\mathrm{\infty }}\frac{1}{n}$ cas douteux pour d'Alembert et pour Raabe-Duhamel.

Comparaison avec une intégrale impropre

Dans le cas d'une série dont les termes sont les images d'une fonction décroissante et positive, les comportements de la série et de l'intégrale de la fonction sont similaires.

Théorème

Si $f$ est une fonction continue sur $[1,+\mathrm{\infty }[$ décroissante et positive, alors on peut affirmer

1. $\sum _{n=1}^{+\mathrm{\infty }}f(n)\text{ et }\underset{1}{\overset{+\mathrm{\infty }}{\int }}f(x)\mathrm{d}\mathrm{x}$ sont de même nature ;
2. Si la série précédente converge, alors pour tout entier naturel non nul $n$, on a l'encadrement$$\underset{n+1}{\overset{+\mathrm{\infty }}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}{\mathrm{R}}_{\mathrm{n}}\mathrm{⩽}\underset{\mathrm{n}}{\overset{\mathrm{+}\mathrm{\infty }}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}$$

Preuve

Le lecteur aura tout intérêt à s'aider d'un graphique pour comprendre pleinement les inégalités suivantes.

1. $$\mathrm{\forall }k⩾1,\mathrm{\forall }x\in [k,k+1],k⩽x⩽k+1⟹f(k+1)⩽f(x)⩽f(k)$$$$⟹\underset{k}{\overset{k+1}{\int }}f(k+1)\mathrm{d}\mathrm{x}\mathrm{⩽}\underset{\mathrm{k}}{\overset{\mathrm{k}\mathrm{+}\mathrm{1}}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}\mathrm{⩽}\underset{\mathrm{k}}{\overset{\mathrm{k}\mathrm{+}\mathrm{1}}{\int }}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}\mathrm{d}\mathrm{x}$$$$⟹f(k+1)⩽\underset{k}{\overset{k+1}{\int }}⩽f(k)$$On en déduit donc $\sum _{k=1}^{n-1}f(k+1)⩽\sum _{k=1}^{n-1}\underset{k}{\overset{k+1}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}\sum _{\mathrm{k}\mathrm{=}\mathrm{1}}^{\mathrm{n}\mathrm{-}\mathrm{1}}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}$ $$⟹\sum _{k=2}^{n}f(k)⩽\underset{1}{\overset{n}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}\sum _{\mathrm{k}\mathrm{=}\mathrm{1}}^{\mathrm{n}\mathrm{-}\mathrm{1}}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}$$et on peut conclure a. si $\underset{1}{\overset{+\mathrm{\infty }}{\int }}f(x)\mathrm{d}\mathrm{x}$ converge, alors ${(\underset{1}{\overset{n}{\int }}f(x)\mathrm{d}\mathrm{x})}_{n⩾1}$ est majorée, donc ${(\sum _{k=2}^{n}f(k))}_{n⩾1}$ est croissante et majorée, donc la série $\sum _{k=1}^{+\mathrm{\infty }}f(k)$ converge ; b. si $\sum _{k=1}^{+\mathrm{\infty }}f(k)$ converge, alors ${(\sum _{k=1}^{n-1}f(k))}_{n⩾1}$ est majorée, alors $F:x⟼\underset{1}{\overset{x}{\int }}f(t)\mathrm{d}\mathrm{t}$ est croissante et majorée sur $[1,+\mathrm{\infty }[$, donc $\underset{1}{\overset{+\mathrm{\infty }}{\int }}f(t)\mathrm{d}\mathrm{t}$ converge (on montre que la limite de $F\text{ en }+\mathrm{\infty }$ est la borne supérieure de $F(t)$ pour $t\in [1,+\mathrm{\infty }[$.
2. $\mathrm{\forall }k⩾2,\mathrm{\forall }x\in [k,k+1],f(x)⩽f(k)⩽f(x-1)$ donc $\underset{k}{\overset{k+1}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}\mathrm{⩽}\underset{\mathrm{k}}{\overset{\mathrm{k}\mathrm{+}\mathrm{1}}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{-}\mathrm{1}\mathrm{)}\mathrm{d}\mathrm{x}$ c'est-à-dire $\underset{k}{\overset{k+1}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}\mathrm{⩽}\underset{\mathrm{k}\mathrm{-}\mathrm{1}}{\overset{\mathrm{k}}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}$ et $\sum _{k=n+1}^p\underset{k}{\overset{k+1}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}\sum _{\mathrm{k}\mathrm{=}\mathrm{n}\mathrm{+}\mathrm{1}}^{\mathrm{p}}\mathrm{f}\mathrm{(}\mathrm{k}\mathrm{)}\mathrm{⩽}\sum _{\mathrm{k}\mathrm{=}\mathrm{n}\mathrm{+}\mathrm{1}}^{\mathrm{p}}\underset{\mathrm{k}\mathrm{-}\mathrm{1}}{\overset{\mathrm{k}}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}$ et donc $\underset{n+1}{\overset{p+1}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}{\mathrm{R}}_{\mathrm{n}}\mathrm{⩽}\underset{\mathrm{n}}{\overset{\mathrm{p}}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}$ ce qui donne en passant à la limite quand $p$ tend vers $+\mathrm{\infty }$$$\underset{n+1}{\overset{+\mathrm{\infty }}{\int }}f(x)\mathrm{d}\mathrm{x}\mathrm{⩽}{\mathrm{R}}_{\mathrm{n}}\mathrm{⩽}\underset{\mathrm{n}}{\overset{\mathrm{+}\mathrm{\infty }}{\int }}\mathrm{f}\mathrm{(}\mathrm{x}\mathrm{)}\mathrm{d}\mathrm{x}$$

Applications aux séries de Bertrand

On désigne par $B(\alpha )=\sum _{n=2}^{+\mathrm{\infty }}\frac{1}{n{\ln }^{\alpha }(n)}$ un cas particulier de série de Bertrand.

La comparaison série-intégrale nous permet d'affirmer que $B(\alpha )$ converge si et seulement si $\alpha >1$.

Série exponentielle

Théorème

$$\mathrm{\forall }x\in ℝ,{\mathrm{e}}^{\mathrm{x}}\mathrm{=}\sum _{\mathrm{n}\mathrm{=}\mathrm{0}}^{\mathrm{+}\mathrm{\infty }}\frac{x^n}{n!}\mathrm{=}\mathrm{1}\mathrm{+}\mathrm{x}\mathrm{+}\frac{x^2}{2!}\mathrm{+}\frac{x^3}{3!}\mathrm{+}\mathrm{\cdots }$$

Preuve

Il s'agit de démontrer que la fonction exponentielle est développable en série entière. Pour cela on va utiliser l'inégalité de Taylor et montrer que le reste d'ordre $n$ tend vers 0. La fonction exponentielle est de classe ${𝒞}^{\mathrm{\infty }}$ sur $ℝ$ donc on peut lui appliquer n'importe laquelle des formules de Taylor, et sur n'importe quel segment.

Appliquons la formule de Taylor avec reste intégral à $f=exp$ entre 0 et $x$. La partie régulière d'ordre $n$ donne la somme partielle d'ordre $n$ :$$f(0)+x{f}^{\prime }(0)+\frac{x^2}{2!}{f}^{″}(0)+\cdots +\frac{x^n}{n!}{f}^{(n)}(0)=1+x+\frac{x^2}{2!}+\cdots +\frac{x^n}{n!}$$Le reste intégral de Taylor d'ordre $n$ peut se majorer en posant $M=\underset{t\in [0,x]}{\sup }|f^{(n+1)}(t)|=\max ({\mathrm{e}}^{\mathrm{x}},\mathrm{1}\mathrm{)}$$$|R_n|⩽\frac{M|x-0{|}^{n+1}}{(n+1)!}=\frac{M|x{|}^{n+1}}{(n+1)!}$$Montrons que ce reste tend vers 0 quand $n$ tend vers $+\mathrm{\infty }$.

Soit $${\alpha }_n=\frac{M|x{|}^{n+1}}{(n+1)!}>0.\mathrm{\forall }n\in \mathbb{N},\frac{{\alpha }_{n+1}}{{\alpha }_n}=\frac{|x|}{n+2}⟶n\to +\mathrm{\infty }0<1$$donc $\sum {\alpha }_n$ est convergente d'après la règle de d'Alembert, ce qui entraîne que ${\alpha }_n$ tend vers 0.

On en déduit que $R_n$ tend vers 0 et donc que la fonction exponentielle est développable en série entière.

Exemples

$$\sum _{n=0}^{+\mathrm{\infty }}\frac{3^n}{n!}={\mathrm{e}}^{\mathrm{3}}$$$$\sum _{n=0}^{+\mathrm{\infty }}\frac{n\times 3^n}{n!}=\sum _{n=1}^{+\mathrm{\infty }}\frac{n\times 3^n}{n!}=\sum _{n=1}^{+\mathrm{\infty }}\frac{3^n}{(n-1)!}=\sum _{n=0}^{+\mathrm{\infty }}\frac{3^{n+1}}{n!}=3\sum _{n=0}^{+\mathrm{\infty }}\frac{3^n}{n!}=3{\mathrm{e}}^{\mathrm{3}}$$

Absolue convergence

On considère la série $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ dans laquelle $(a_n)$ est une suite à termes réels ou complexes.

Si la série des valeurs absolues (ou modules) $\sum _{n=0}^{+\mathrm{\infty }}|a_n|$ converge, alors on dit que $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ est absolument convergente (ACV).

Théorème

Toute série de termes réels ou complexes absolument convergente est convergente. Ce résultat est la conséquence du caractère complet de $ℝ$ ou $ℂ$ muni de la distance euclidienne.

Démonstration

Soit $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ une série absolument convergente. Alors $\sum _{n=0}^{+\mathrm{\infty }}|a_n|$ est convergente. Cette deuxième série vérifie donc le critère de convergence de Cauchy :$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }{n}_0\in \mathbb{N},n⩾p⩾n_0⟹|a_{p+1}|+\cdots +|a_n|⩽\epsilon$$Soit $S_n=\sum _{p=0}^n{a}_p$ la somme partielle d'ordre $n$ de la première série. On peut écrire$$\mathrm{\forall }\epsilon >0,\mathrm{\exists }{n}_0\in \mathbb{N},n⩾p⩾n_0⟹|S_n-S_p|=|a_{p+1}+\cdots +a_n|⩽|a_{p+1}|+\cdots +|a_n|⩽\epsilon$$ce qui montre que $(S_n)$ est de Cauchy dans $ℝ$ ou $ℂ$ complet, donc $(S_n)$ converge.

Semi convergence

Si une série est convergente sans être absolument convergente, on dit qu'elle est semi convergente. Le paragraphe suivant constitue un exemple célèbre de la semi convergence.

Série harmonique alternée

Un exemple à connaître. La série harmonique alternée est la série $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ avec $a_n=\frac{(-1{)}^n}{n+1}$.

Cette série n'est pas absolument convergente car la série harmonique diverge. En revanche, on peut démontrer que la série alternée converge, et même calculer sa somme égale à $\ln 2$.

Pour démontrer la convergence, on pourra utiliser les règle de Leibniz qui suit, et la formule de Taylor pour calculer la somme en l'appliquant à la fonction $\ln (1+t)$ sur l'intervalle $[0,1]$.

Règle de Leibniz

C'est une règle qui s'applique à une série alternée, c'est-à-dire dont le terme général est un réel de la forme $a_n=(-1{)}^n{\alpha }_n$ avec ${\alpha }_n⩾0$.

Théorème

Soit $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ une série alternée. Si $|a_n|$ tend vers 0 en décroissant, alors

1. la série $\sum _{n=0}^{+\mathrm{\infty }}{a}_n$ est convergente ;
2. le signe du reste $R_n$ est celui de son premier terme $a_{n+1}$, et $|R_n|⩽|a_{n+1}|$ ;
3. la somme de la série est encadrée par deux sommes partielles consécutives quelconques.

Preuve

1. On démontre que les suites des sommes partielles de rangs pairs et impairs sont adjacentes, donc convergent vers la même limite, ce qui entraîne la convergence de la série.
2. On se place dans les hypothèses du théorème et donc que la série converge.$$R_n=\sum _{p=n+1}^{+\mathrm{\infty }}{a}_p=\sum _{p=0}^{+\mathrm{\infty }}(a_{n+1+2p}-a_{n+2+2p})=\mathrm{sgn}(a_{n+1})\sum _{p=0}^{\mathrm{\infty }}(|a_{n+1+2p}|-|a_{n+2+2p}|)$$est du signe de $a_{n+1}$ car chacun des termes de la somme est positif du fait de la décroissance de $(|a_n|{)}_{n\in \mathbb{N}}$. D'autre part, $\mathrm{\forall }n\in \mathbb{N},R_n=a_{n+1}+R_{n+1}$ et $R_{n+1}$ est du signe de $a_{n+2}$, c'est-à-dire du signe contraire de $a_{n+1}$. On peut donc écrire$$\mathrm{\forall }n\in \mathbb{N},R_n=a_{n+1}+R_{n+1}=\mathrm{sgn}(a_{n+1})[|a_{n+1}|-|R_{n+1}|]$$que l'on sait être du signe de $a_{n+1}$. On a donc $|a_{n+1}|-|R_{n+1}|⩾0$ et on en déduit$|R_n|=|a_{n+1}|-|R_{n+1}|⩽|a_{n+1}|$.
3. L'encadrement est la conséquence de l'adjacence des sous-suites des termes pairs et impairs.

Règle d'Abel

Théorème

On considère la série de terme général $u_n=a_n{b}_n$ avec

• ${\sigma }_n=\sum _{p=0}^n{b}_p=b_0+b_1+\cdots +b_n$ bornée (indépendamment de $n$ ;
• $a_n$ tend vers 0 en décroissant.

Alors on peut affirmer que $\sum _{n=0}^{+\mathrm{\infty }}{u}_n$ converge.

Exemple

Etude de la convergence de la série $\sum _{n=1}^{+\mathrm{\infty }}\frac{\sin n}{n}$.

Il ne s'agit pas d'une série à termes positifs, ni d'une série alternée. Le terme général s'écrit comme le produit de $\frac{1}{n}$ qui tend vers 0 en décroissant, et de $\sin n$ dont on va démontrer que les sommes partielles sont bornées.

En effet, $\sum _{k=1}^n\sin k$ est la partie imaginaire de $\sum _{k=1}^n{\mathrm{e}}^{\mathrm{i}\mathrm{k}}$ qui est une somme géométrique égale à $\frac{1-{\mathrm{e}}^{\mathrm{i}\mathrm{n}}}{1-{\mathrm{e}}^{\mathrm{i}}}$

dont le module est majoré par $\frac{|1|+|-{\mathrm{e}}^{\mathrm{i}\mathrm{n}}\mathrm{|}}{|1-{\mathrm{e}}^{\mathrm{i}}\mathrm{|}}=\frac{2}{|1-{\mathrm{e}}^{\mathrm{i}}\mathrm{|}}$.

La valeur absolue de la partie imaginaire étant inférieure au égale au module, on en déduit que $|\sum _{k=1}^n\sin k|$ est majorée par le même nombre, et donc que la série $\sum _{n=1}^{+\mathrm{\infty }}\frac{\sin n}{n}$ est convergente d'après la règle d'Abel.

Preuve

On va utiliser le critère de Cauchy pour une série ainsi que la technique de la transformation d'Abel.

Soit $S_n=\sum _{k=0}^n{a}_k{b}_k$ la somme partielle d'ordre $n$. Pour démontrer que $(S_n)$ est de Cauchy, on va chercher à majorer $|S_n-S_p|$ pour $n⩾p⩾1$.

$$|S_n-S_p|=\sum {k=p+1}^n{a}_k{b}_k=\sum _{k=p+1}^{n}ak({\sigma }_k-{\sigma }_{k-1})=\sum _{k=p+1}^n{a}_k{\sigma }_k-\sum _{k=p+1}^n{a}_k{\sigma }_{k-1}$$$$=\sum _{k=p+1}^n{a}_k{\sigma }_k-\sum _{k=p}^{n-1}{a}_{k+1}{\sigma }_k=-a_{p+1}{\sigma }_p+\sum _{k=p+1}^{n-1}(a_k-a_{k+1}){\sigma }_k+a_n{\sigma }_n$$

On en déduit, en désignant par $M$ un majorant de $|{\sigma }_n|$ et en utilisant la décroissance de $(a_n)$ :

$|S_n-S_p|=\left|\sum _{k=p+1}^n{a}_k{b}_k\right|⩽a_{p+1}|{\sigma }_p|+\sum _{k=p+1}^{n-1}(a_k-a_{k+1})|{\sigma }_k|+a_n|{\sigma }_n|$$$⩽a_{p+1}M+\sum _{k=p+1}^{n-1}(a_k-a_{k+1})M+a_{n}M⩽M(a_{p+1}+a_{p+1}-a_n+a_n)=2M{a}_{p+1}$$

On a obtenu une majoration indépendante de $n$ par un terme qui tend vers 0 quand $p$ tend vers $+\mathrm{\infty }$. On en déduit que $(S_n)$ est une suite de Cauchy dans $ℝ\text{ou}ℂ$ complet, ce qui entraîne que la série converge.