Produit de Cauchy

En analyse, le produit de Cauchy est une opération portant sur certaines séries. Il permet de généraliser la propriété de distributivité. Son nom est un hommage à l'analyste français Augustin Louis Cauchy. Il s'agit d'un produit de convolution discret.

Préliminaire : une écriture du produit de polynômes

Une écriture particulière des coefficients du produit de polynômes permet de comprendre l'introduction de la formule du produit de Cauchy. Soient deux polynômes à coefficients complexes Modèle:Mvar et Modèle:Mvar donnés par leur décomposition dans la base canonique

$P=\sum _{i=0}^{+\mathrm{\infty }}{a}_i{X}^i,Q=\sum _{j=0}^{+\mathrm{\infty }}{b}_j{X}^j$

où les coefficients de Modèle:Mvar et de Modèle:Mvar sont nuls à partir d'un certain rang. Alors leur produit se décompose comme

$PQ=\sum _{i\in \mathbb{N},j\in \mathbb{N}}{a}_i{b}_j{X}^{i+j}=\sum _{s=0}^{+\mathrm{\infty }}\left(\sum _{k=0}^s{a}_k{b}_{s-k}\right)X^s$.

La réindexation nécessaire ne pose pas de difficulté puisque la somme est finie.

Produit de Cauchy de séries complexes

Le produit de Cauchy de deux séries $\sum a_n$ et $\sum b_n$ de nombres complexes est la série de terme général

$c_n=\sum _{k=0}^n{a}_k{b}_{n-k}$.

Sous des hypothèses convenables sur les deux séries $\sum a_n$ et $\sum b_n$ Modèle:Infra, leur produit de Cauchy converge, et l'on peut écrire la formule de distributivité généralisée

$\sum _{n=0}^{\mathrm{\infty }}{c}_n=\left(\sum _{i=0}^{\mathrm{\infty }}{a}_i\right)\left(\sum _{j=0}^{\mathrm{\infty }}{b}_j\right)$.

Un cas particulier trivial est celui où les séries sont toutes les deux à termes nuls à partir d'un certain rang : dans ce cas, les sommes sont finies et il suffit d'utiliser le résultat du paragraphe précédent en évaluant les polynômes en 1.

En revanche, le produit de Cauchy de deux séries convergentes n'est pas toujours convergent. Par exemple, le produit de Cauchy par elle-même de la série $\sum \frac{(-1{)}^n}{\sqrt{n}}$ a pour terme général

$c_n=(-1{)}^n\sum _{k=1}^{n-1}\frac{1}{\sqrt{k(n-k)}}$.

Or Modèle:Math, si bien que Modèle:Math ; la série est donc grossièrement divergente.

Il peut aussi arriver que $\sum a_n$ et $\sum b_n$ divergent et que $\sum c_n$ soit absolument convergente. Par exemple, le produit de Cauchy des séries 1 + 2 + 2 + 2 + 2 + … et 1 – 2 + 2 – 2 + 2 – … est la série nulle (pour d'autres exemples, voir le § ci-dessous sur les séries entières).

Cas de deux séries absolument convergentes

Lorsque les séries $\sum a_n$ et $\sum b_n$ sont toutes deux absolument convergentes, leur produit de Cauchy converge et la formule de distributivité généralisée est vérifiée. Il suffit en effet d'utiliser les propriétés de commutativité et d'associativité des familles sommables.

Notamment, pour deux complexes a et b, on peut faire le produit de Cauchy des séries définissant l'exponentielle

${\mathrm{e}}^a\cdot {\mathrm{e}}^b=\sum _{n=0}^{\mathrm{\infty }}\left(\sum _{k=0}^n\frac{a^k{b}^{n-k}}{k!(n-k)!}\right)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}(a+b{)}^n={\mathrm{e}}^{a+b}$.

À partir de cette propriété, il est possible également de définir le produit de Cauchy de deux séries entières Modèle:Infra.

Théorème de Mertens

Le mathématicien allemand Franz Mertens a prouvé une propriété de convergence plus forte : Modèle:Énoncé

Le théorème de Mertens admet une réciproque : si la série des Modèle:Math est telle que son produit de Cauchy par toute série convergente est convergente, alors $\sum |a_n|<\mathrm{\infty }$.

Théorèmes de convergence

Si deux séries convergent il y a pourtant des résultats de convergence positifs pour leur produit de Cauchy. En reprenant les notations Modèle:Math pour les termes généraux des deux séries et de la série produit de Cauchy, et en notant Modèle:Math et Modèle:Math les sommes des deux premières séries :

• si la série produit $\sum c_n$ converge, alors ce ne peut être que vers le produit Modèle:Math (on peut le déduire du théorème de convergence radiale d'Abel) ;
• il y a en tout cas toujours une convergence en un sens plus faible, au sens du procédé de sommation de Cesàro. C'est-à-direModèle:RetraitPlus généralement, si une série est (C, α)-sommable de somme Modèle:Math et une autre (C, β)-sommable de somme Modèle:Math, avec α, β > −1, alors leur série produit est (C, α + β + 1)-sommable de somme Modèle:Math. Une généralisation analogue du théorème de Mertens vu précédemment est : si l'une des deux séries est absolument convergente de somme Modèle:Math et l'autre (C, β)-sommable de somme Modèle:Math, avec β ≥ 0, alors le produit est (C, β)-sommable de somme Modèle:Math.

Produit de Cauchy de séries entières

Deux séries entières $\sum a_n{x}^n$ et $\sum b_n{x}^n$ étant données, leur produit de Cauchy est également une série entière, puisque le terme général vaut Modèle:Math avec

$c_n=\sum _{k=0}^n{a}_k{b}_{n-k}$.

Les rayons de convergence Modèle:Math des trois séries entières vérifient l'inégalité

$R_c\ge \min (R_a,R_b)$.

En effet, si l'on considère un complexe de module strictement inférieur à ce minimum, les deux séries entières convergent absolument, la série produit aussi, et sa fonction somme est le produit des fonctions sommes des deux séries. On en déduit que le produit de deux fonctions développables en série entière sur un ouvert est lui aussi développable en série entière.

L'inégalité précédente peut être stricte. C'est le cas par exemple si l'on prend pour les deux séries Modèle:Math (rayon 1) d'une part et Modèle:Math d'autre part (polynôme, donc de rayon infini). La série produit est réduite à Modèle:Math (rayon infini). Ou encore, si l'on considère le développement de Modèle:Racine en série entière, le rayon de convergence est 1. Mais quand on fait le produit de Cauchy de cette série avec elle-même, on obtient la série Modèle:Math (rayon infini).

Généralisation aux algèbres de Banach

On suppose que A est une algèbre de Banach. Alors il est possible de définir la notion de produit de Cauchy de deux séries à valeurs dans A. En outre, le produit de Cauchy de deux séries absolument convergentes converge, et la formule de distributivité généralisée tient toujours.

Par exemple, il est possible de reprendre le calcul du produit de deux exponentielles effectué dans le cas complexe Modèle:Supra. La seule propriété qui manque pour pouvoir écrire la formule est la possibilité d'appliquer la formule du binôme de Newton, ce qui demande de supposer par exemple que a et b commutent. Sous cette hypothèse,

${\mathrm{e}}^{a+b}={\mathrm{e}}^a\times {\mathrm{e}}^b$.

Par exemple, si t et u sont des scalaires, on a toujours

${\mathrm{e}}^{(t+u)a}={\mathrm{e}}^{ta}\times {\mathrm{e}}^{ua}$,

en particulier

${\mathrm{e}}^a\times {\mathrm{e}}^{-a}={\mathrm{e}}^0=1$.