Opération binaire sur fonctions, mesures ou distributions définie (clairement dans le cas classique) par (f * g)(x) = ∫ f(y) g(x − y) dy (ou une formule analogue sur des groupes) qui produit une fonction combinée utilisée pour lisser, filtrer et représenter des opérateurs linéaires invariants par translation.

Principe

La convolution moyenne une fonction par rapport aux translations d'une autre ; elle est commutative et associative sur les groupes abéliens, correspond à la multiplication point par point sous la transformée de Fourier, et réalise les opérateurs linéaires invariants par translation comme des convolutions par un noyau.

Démonstration

Convoluer une fonction avec un mollificateur donne une famille d'approximations lisses f * ρ_ε qui convergent vers f dans des normes appropriées ; en traitement du signal un filtre s'implémente par convolution avec la réponse impulsionnelle ; en EDP la convolution avec une fonction de Green fournit des solutions particulières.

Mauvaise application

Calculer formellement f * g sans vérifier les conditions d'intégrabilité, de support ou d'accouplement distributionnel peut être invalide ; supposer la commutativité de la convolution sur des groupes non abéliens ou négliger les conditions aux bords sur des domaines à bord conduit à des erreurs.

Conséquence

Offre un ensemble d'outils pour la régularisation, la construction d'identités approchées, l'analyse de systèmes linéaires invariants par translation et la conversion d'opérateurs différentiels/intégraux en formes multiplicatives dans le domaine fréquentiel, facilitant estimations et inversions quand c'est possible.

Inversion

L'opération duale est la multiplication point par point dans le domaine fréquentiel correspondant à une convolution dans le domaine temporel ; la déconvolution (inversion de la convolution) est souvent mal posée et amplifie le bruit, inversant l'effet de lissage en instabilité.

Limite

La définition et les propriétés algébriques de base dépendent du domaine (espace euclidien, groupe localement compact), des espaces fonctionnels considérés (L^1, L^2, distributions tempérées) et de la commutativité du groupe ; sur des groupes non abéliens la convolution est généralement non commutative et requiert le choix d'une mesure de Haar.

Tension sémantique

Tension entre la convolution en tant que produit algébrique et en tant que transformée intégrale : en analyse on met l'accent sur les propriétés de régularisation et de mappage, alors qu'en contexte algébrique ou représentationnel on voit la convolution comme multiplication dans une algèbre de fonctions ou d'opérateurs.

Synthèse

La convolution est la moyenne intégrale d'une fonction par les translations d'une autre qui réalise le lissage et encode les opérateurs invariants par translation ; via la transformée de Fourier elle devient une multiplication point par point, unifiant l'opération d'espace/temps et l'algèbre fréquentielle.