Opération de lissage d’une fonction en la convoluant avec une famille de noyaux lisses à support compact (mollificateurs) qui approchent l’identité quand le paramètre d’échelle tend vers zéro ; fournit des approximants lisses de fonctions éventuellement irrégulières.

Principe

Principe de l’approximation de l’identité : choisir un noyau lisse η de masse 1 et poser η_ε(x)=ε^{-n}η(x/ε) ; la convolution f*η_ε donne des fonctions C^∞ qui approchent f dans diverses normes quand ε→0, tout en contrôlant les dérivées grâce au comportement d’échelle de η.

Démonstration

Exemple concret : mollifier la fonction caractéristique d’un intervalle en R en la convoluant avec une bosse standard η_ε pour obtenir une suite de fonctions C^∞ supportées dans un intervalle légèrement élargi et qui convergent en L^1 ou ponctuellement loin de la frontière.

Mauvaise application

Mollifier sans prolonger correctement une fonction définie seulement sur un domaine peut détruire les conditions aux bords ; mollifier sans vérifier l’intégrabilité ou pour une distribution à croissance trop rapide peut être invalide.

Conséquence

La mollification fournit des approximations lisses qui préservent la convergence en L^p et régularisent les distributions ; outil standard pour justifier des manipulations sur solutions faibles, approcher en espaces de Sobolev et prouver la densité des fonctions lisses dans de nombreux espaces fonctionnels.

Inversion

Employer un noyau non approximatif (qui ne se concentre pas en zéro) ou une moyenne de support global échouera à approcher la fonction originale ou fera perdre des caractéristiques locales ; l’inverse de la mollification est l’introduction de rugosité ou de hautes fréquences, non leur suppression.

Limite

Exige que la fonction d’origine soit localement intégrable (ou une distribution) pour que la convolution soit définie ; la mollification peut ne pas préserver le support ou les conditions aux bords sauf si un prolongement approprié est effectué, et peut modifier des invariants globaux comme la variation totale sans contrôle.

Tension sémantique

S’oppose à d’autres méthodes de régularisation (coupures spectrales, lissage par noyau de chaleur, régularisation de Tikhonov) : tension entre le lissage local par convolution, qui préserve la localité, et les méthodes spectrales globales adaptées à d’autres normes fonctionnelles.

Synthèse

La mollification est la régularisation locale par convolution avec des noyaux lisses scalés approchant l’identité : elle produit systématiquement des approximants lisses d’objets rugueux en contrôlant la qualité d’approximation dans les normes choisies.