Une famille de fonctions lisses à support compact (φ_ε) d'intégrale un et φ_ε(x)=ε^{-n} φ(x/ε) utilisée pour approximer des distributions ou des fonctions intégrables par convolution f * φ_ε, produisant des approximations lisses qui convergent vers f dans des normes adaptées quand ε → 0.

Principe

Régulariser des fonctions ou distributions irrégulières par convolution avec une identité approximative qui préserve la masse et se localise quand le paramètre d'échelle tend vers zéro, lissant tout en conservant la valeur limite.

Démonstration

Soit φ(x) une fonction C_c^∞ fixée, non négative, telle que ∫φ=1 et définissons φ_ε(x)=ε^{-n}φ(x/ε). Pour f ∈ L^p(R^n), f_ε = f * φ_ε est C^∞ et f_ε → f dans L^p quand ε → 0 (1 ≤ p < ∞).

Mauvaise application

Convoluer avec une fonction non remise à l'échelle ou omettre le facteur ε^{-n} pour φ_ε, faisant en sorte que l'approximation ne converge pas vers f mais s'effondre ou diverge.

Conséquence

Fournit des approximations lisses permettant l'application d'opérateurs différentiel, justifier des manipulations sous les intégrales et construire des fonctions-test approchantes pour des identités distributionnelles et des arguments de régularité d'EDP.

Inversion

Utiliser un lissage par coupure spectrale (multiplier les modes de Fourier par une coupure) peut produire un lissage analytique global mais modifie différemment l'information de phase à haute fréquence ; revenir aux méthodes spectrales échange compacité spatiale contre filtrage fréquentiel.

Limite

Les mollificateurs sont des outils de lissage locaux sur l'espace euclidien ou les variétés via des cartes ; ils ne préservent généralement pas les valeurs aux frontières sur des domaines à bord et ne peuvent pas créer d'analyticité ni étendre la fonction hors du domaine sans procédures d'extension.

Tension sémantique

Tension avec le lissage par projection/Galerkin : la mollification est une régularisation par convolution locale qui préserve la localité, tandis que la projection de Galerkin impose une contrainte spectrale en dimension finie qui préserve certains invariants mais est non locale en espace.

Synthèse

Un mollificateur est une identité approximative lisse à support compact utilisée pour convoluer et régulariser fonctions ou distributions, produisant des approximations lisses qui convergent vers l'original dans des normes adaptées tout en préservant la masse intégrale.