Sommation par parties

Modèle:ConfusionEn mathématiques, la formule de sommation par parties (parfois appelée transformation d'Abel ou sommation d'Abel) permet de transformer une somme d'un produit de suites finies en d'autres sommes, simplifiant souvent le calcul et permettant l'estimation de certains types de sommes. C'est un analogue discret de l'intégration par parties.

Elle est à la base du critère d'Abel permettant d'obtenir la semi-convergence de certaines séries.

Énoncé et démonstration

Si

$(a_n{)}_{n\in \mathbb{N}}$

et

$(b_n{)}_{n\in \mathbb{N}}$

sont des suites numériques, la formule de sommation par parties s'écrit :

$\sum _{k=0}^{n-1}(a_{k+1}-a_k)b_k=(a_n{b}_n-a_0{b}_0)-\sum _{k=0}^{n-1}{a}_{k+1}(b_{k+1}-b_k)$

En effet, d'une part par télescopage,

$\sum _{k=0}^{n-1}(a_{k+1}{b}_{k+1}-a_k{b}_k)=(a_n{b}_n-a_0{b}_0)$

et d'autre part :

$\sum _{k=0}^{n-1}(a_{k+1}{b}_{k+1}-a_k{b}_k)=\sum _{k=0}^{n-1}(a_{k+1}(b_{k+1}-b_k)+(a_{k+1}-a_k)b_k)$

Exemple d’application directe

Le calcul $(x-1)\sum _{k=0}^{n-1}k{x}^k=\sum _{k=0}^{n-1}k(x^{k+1}-x^k)\stackrel{formule}{=}n{x}^n-\sum _{k=0}^{n-1}{x}^{k+1}=n{x}^n-\frac{x^{n+1}-x}{x-1}$, permet d'écrire :Modèle:Centrer

Similitude avec l'intégration par parties

La formule d'intégration par parties s'écrit :

$\underset{a}{\overset{b}{\int }}{f}^{\prime }(x)g(x)\mathrm{d}x={[f(x)g(x)]}_a^b-\underset{a}{\overset{b}{\int }}f(x)g^{\prime }(x)\mathrm{d}x.$

Si on laisse de côté les conditions aux limites, on s'aperçoit que l'intégration par parties consiste à intégrer une des deux fonctions présentes dans l'intégrale initiale (

$f^{\prime }$

devient

$f$

) et à dériver l'autre (

$g$

devient

$g^{\prime }$

).

La sommation par parties consiste en une opération analogue dans un contexte discret, puisque l'une des deux séries est sommée ($a_{n+1}-a_n$ devient $a_n$) et l'autre est différenciée ( $b_n$devient $b_{n+1}-b_n$ ).

On peut considérer la formule sommatoire d'Abel comme une généralisation de ces deux formules.

Reformulation conduisant au critère d'Abel

Reformulation

Soient deux suites $(a_n{)}_{n\in \mathbb{N}}$ et $(b_n{)}_{n\in \mathbb{N}}$. Notons, pour tout entier naturel $N$

$S_N=\sum _{n=0}^N{a}_n{b}_n\text{ et }{B}_N=\sum _{n=0}^N{b}_n$

les sommes partielles des séries de termes généraux $a_n{b}_n$ et $b_n$.

AlorsModèle:,  :

$S_N=a_N{B}_N-\sum _{n=0}^{N-1}{B}_n(a_{n+1}-a_n)$.

Inégalité d'Abel

On en déduit l'inégalité d'Abel: si la suite $(a_n{)}_{n\in \mathbb{N}}$ est décroissante positive, alors

$a_{0}m⩽S_N⩽a_{0}M$,

où $m$ est un minorant des $B_N$, et $M$ un majorant.

En effet, $S_N=a_N{B}_N+\sum _{n=0}^{N-1}{B}_n(a_n-a_{n+1})$, donc $S_N⩾a_{N}m+m\sum _{n=0}^{N-1}(a_n-a_{n+1})=a_{0}m$ et de même pour l'autre inégalité.

Critère d'Abel

Modèle:Article connexe Le théorème suivant est une conséquence directe de la formule précédente.Modèle:ThéorèmeLa démonstration montre de plus l'inégalité :

$\left|\sum _{n=n_0}^{\mathrm{\infty }}{a}_n{b}_n\right|⩽M_{n_0}\sum _{n⩾n_0}|a_{n+1}-a_n|$,

pour tout majorant $M_{n_0}$ des $\left|\sum _{n=n_0}^N{b}_n\right|$.

Test de Dirichlet

Un cas particulier est le test de Dirichlet, parfois appelé lui aussi « théorème d'Abel » :Modèle:ÉnoncéLe critère de convergence des séries alternées en est lui-même un sous-cas : si $(a_n)$ est décroissante et de limite nulle, alors la série $\sum (-1{)}^n{a}_n$ est convergente.

Exemples d'applications

1. La suite $\left(\frac{1}{n}\right)$ est monotone et de limite nulle et la série $\sum \sin n$ a ses sommes partielles bornées car $\sum _{k=1}^n\sin k=\frac{\sin \frac{n}{2}\sin \frac{n+1}{2}}{\sin \frac{1}{2}}$ donc d'après le test de Dirichlet, la série $\sum \frac{\sin n}{n}$ converge.
2. De même, pour tout nombre complexe $z\ne -1$ de module Modèle:Math, la série du logarithme complexe $\ln (1+z)=-\sum _{n=1}^{\mathrm{\infty }}\frac{(-z{)}^n}{n}$ converge.
3. La sommation par parties sert dans la preuve du théorème d'Abel sur les séries entières.

Voir aussi

Article connexe

Formule sommatoire d'Abel

Lien externe

Article de Niels Henrik Abel de 1826 (où figure la sommation par parties), en ligne et commenté sur BibnumModèle:Portail