Théorie physique des distributions/Produit de convolution

Début de la boite de navigation du chapitre

Nous savons qu’il est possible de définir entre deux fonctions, une opération que l’on appelle produit de convolution. Cette opération n’est pas nécessairement définie selon les fonctions auxquelles on a affaire. De plus, le produit de convolution, en tant qu'opération, a des propriétés bien médiocres. Il n'a pas d'élément neutre et l'on peut se demander à quoi peut servir une telle opération. Bien sûr, elle a certaines propriétés de régulation puisqu'en faisant le produit de convolution entre une fonction dérivable et une fonction non dérivable, on obtient une fonction dérivable. Nous allons voir que cette opération acquiert des propriétés remarquables si on la généralise à l’ensemble des distributions.

Produit de convolution
Icône de la faculté
Chapitre no 4
Leçon : Théorie physique des distributions
Chap. préc. :Dérivation
Chap. suiv. :Transformée de Fourier

Exercices :

Produit de convolution
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie physique des distributions : Produit de convolution
Théorie physique des distributions/Produit de convolution
 », n'a pu être restituée correctement ci-dessus.

Activité préparatoire

modifier

Nous allons procéder comme au chapitre précédent en commençant par essayer de définir un produit de convolution sur les distributions régulières pour tenter ensuite de le généraliser à toutes les distributions.

Nous rappelons que, sur l’ensemble des fonctions, le produit de convolution de deux fonctions f et g est défini par :

 

Il apparaît alors de façon évidente que cette définition ne peut pas s'appliquer à toutes les fonctions. Encore faut-il que l'intégrale converge. Notre propos n'étant pas de faire une leçon sur le produit de convolution de deux fonctions, nous renvoyons le lecteur intéressé à un cours spécialisé. En ce qui nous concerne, pour nous tranquilliser l'esprit, nous pouvons supposer que g ou f est une fonction physique à support compact, ce qui assure la convergence de l'intégrale.


Soit donc deux fonctions physiques p et q (q étant à support compact). Nous pouvons commencer par calculer la distribution régulière associé à p⋆q avec les moyens dont nous disposons.

Nous avons :

 


Dans l'intégrale entre parenthèse, faisons le changement de variable  , on obtient :

 

Si nous regardons plus en détail la fonction :

 

Nous voyons que c’est une translation de la fonction :

 

En utilisant l'opérateur de translation τα défini au chapitre 2, nous voyons que nous avons :

 

Ce qui nous donne :

 

En portant cette valeur dans notre calcul précédent, nous obtenons :

 

Posons   la fonction définie par :

 

On démontre et nous admettrons que, si q est à support compact, cette fonction est une fonction-test, nous obtenons alors :

 


Si l'on définit l'opération de convolution, notée  , entre deux distributions régulières Tp et Tq en posant :

 ,

nous voyons que nous avons obtenu la définition suivante pour le produit de convolution de deux distributions régulières Tp et Tq :


Pour faire abstraction de la fonction Ψ, on aurait pu poser le produit de convolution ainsi :

 


On retiendra aussi l’expression symétrique (valable uniquement pour les distributions régulières telles que les intégrales convergent) :

 

montrant clairement la commutativité du produit de convolution entre deux distributions régulières.


Produit de convolution entre deux distributions

modifier

L'activité du paragraphe précédent nous incite à définir le produit de convolution de deux distributions (pas forcément régulière) ainsi :

Dans la littérature, on peut aussi trouver des définitions comme celle-ci :

 

Qui sont, bien sûr, mathématiquement incorrecte, et constituent des abus d'écriture.

On montre et nous l'admettrons que si S et T sont toutes les deux, des distributions à support compact, alors le produit de convolution est commutatif.

Par conséquent, si nous devons faire le produit de convolution entre deux distributions, l'une étant à support compact, mais pas l'autre, nous appliquerons la définition en choisissant pour S, la distribution qui n’est pas à support compact et pour T, la distribution qui est à support compact.


La définition précédente n’est pas très satisfaisante, car elle introduit une dissymétrie entre les fonctions S et T, puisque l'une des deux doit être à support compact si rien n'est précisé sur l'autre. Il existe une autre possibilité :

Nous rappelons la suite d'inclusion :

 

Nous voyons que nous avons défini un produit de convolution entre une distribution de   et une distribution de  . On montre et nous admettrons qu’il est possible de faire un compromis en imposant aux deux distributions d’être dans  .

L'ensemble   est suffisamment vaste pour contenir la plus grande partie des distributions utiles. Nous supposerons donc la plupart du temps, sauf cas exceptionnel, que les deux distributions sont dans  , ce qui permettra au produit de convolution d’être défini d'une façon plus symétrique. On a pour S et T dans   :

 

On montre, en effet, qu’il est commutatif dans  .


Propriétés du produit de convolution

modifier

Nous allons, dans ce paragraphe, étudier quelques propriétés du produit de convolution. Nous verrons d'autres propriétés en exercice.

Convolution avec la distribution de Dirac

modifier

Nous rappelons que la distribution de Dirac δ associe à toute fonction-test, sa valeur en 0.

Soit T une distribution. Nous avons :

 

Nous voyons que la distribution de Dirac est élément neutre à droite du produit de convolution.

Mais nous avons aussi en supposant que T est dans   :

 

Ce qui montre que la distribution de Dirac est aussi élément neutre à gauche du produit de convolution.


Nous pouvons conclure :

Nous voyons que le produit de convolution, qui n'avait pas d'élément neutre dans l’ensemble des fonctions, a un élément neutre dans l’ensemble des distributions


Convolution avec une distribution de Dirac en un réel a

modifier

Ce que nous avons vu au paragraphe précédent nous incite à étudier la convolution d'une distribution T avec la distribution de Dirac en a : δa.

Nous avons :

 

Si T est dans  , nous avons aussi :

 


Nous pouvons conclure :


Dérivée du produit de convolution

modifier

Soit S et T, deux distributions de  .Essayons de calculer la dérivée du produit de convolution de S et T. Nous avons :

 


Nous pouvons conclure :


Convolution avec la dérivée de la distribution de Dirac

modifier

Une application immédiate du paragraphe qui précède est

 

On retiendra :


Associativité du produit de convolution

modifier

 

Le produit de convolution n’est, en général, pas associatif. S'il était associatif, on aurait :

 

Nous verrons toutefois dans un prochain chapitre que, si l'on impose certaines conditions aux distributions, alors le produit de convolution devient associatif.