title: Suite régularisante
text: # Suite régularisante
  
  En mathématiques, une suite régularisante est une suite de fonctions régulières utilisées afin de donner une approximation lisse de fonctions généralisées, le plus souvent par convolution afin de lisser les discontinuités.
  
  ## Définition
  
  Une suite $(\varphi _{n})$ de fonctions tests (c.-à-d. $C^∞$ à support compact) sur $\mathbb {R} ^{d}$ est dite régularisante $si^,^,,$ pour tout indice $n$ :
  
  * $\varphi _{n}\geq 0$ ;
  * $\int _{\mathbb {R} ^{d}}\varphi _{n}(x)\,\mathrm {d} x=1$ ;
  * le support de $\varphi _{n}$ est inclus dans une boule $B(0,\varepsilon _{n})$ avec $\lim _{n\to \infty }\varepsilon _{n}=0$ : les fonctions sont donc de plus en plus resserrées autour de l'origine.
  
  ## Fonction régularisante
  
  La façon la plus simple de construire une suite régularisante est de partir d'une fonction régularisante, c.-à-d. une fonction $\varphi$, $C^∞$ à support compact, positive et d'intégrale 1 (sur $ℝ^d),$ et de poser $\varphi _{n}(x):=n^{d}\varphi (nx)$.
  
  Une telle fonction $\varphi$ $existe^,$ : il suffit par exemple de considérer la fonction $\psi$ sur $ℝ^d$ définie par
  
      $\psi (x)={\begin{cases}\exp \left(-{\tfrac {1}{1-|x|^{2}}}\right)&{\text{ si }}|x|<1\\0&{\text{ si }}|x|\geq 1\end{cases}}$
  
  (où $|~~|$ désigne la norme euclidienne) puis, en notant $c$ l'intégrale de $\psi$, de poser
  
      $\varphi :={\frac {1}{c}}\psi$.
  
  Cette fonction régularisante est même symétrique, c.-à-d. que $\varphi (x)$ ne dépend que de $|x|$.
  
  ## Propriétés
  
  Les suites régularisantes sont principalement utilisées en théorie des distributions, afin de passer d'un problème sur des fonctions généralisées à une restriction aux fonctions régulières, plus simples à manier.
  
  La convolée d'une distribution $T$ par une fonction test $\varphi$ est une fonction de classe $C^∞,$ dont le support est inclus dans la somme de Minkowski du support de $\varphi$ et du support de la distribution $T$.
  
  Soit $T$ une distribution et $(\varphi _{n})$ une suite régularisante. Alors la suite des distributions régulières associées aux fonctions $T\ast \varphi _{n}$ converge vers $T$ dans ${\mathcal {D}}'$, autrement dit : $\forall f\in {\mathcal {D}}\quad \varphi _{n}\ast f\to f$ (dans ${\mathcal {D}}$). Plus généralement :
  
  Théorème — Pour toute suite régularisante $(\varphi _{n})$ sur $\mathbb {R} ^{d}$ :
  
  * si $X$ est l'un des espaces ${\mathcal {D}}^{m}(\mathbb {R} ^{d})$, ${\mathcal {E}}^{m}(\mathbb {R} ^{d})$ ($0\leq m\leq \infty$) ou $L^p(ℝ^d)$ ($1\leq p<\infty$) alors $\forall f\in X\quad \varphi _{n}\ast f\to f$ dans $X$ ;
  * pour toute fonction $f$ mesurable bornée sur $\mathbb {R} ^{d}$ et continue sur un compact $K$, $\varphi _{n}\ast f\to f$ uniformément sur $K$.
  
  ## Applications
  
  Les suites régularisantes sont utilisées pour démontrer la densité des fonctions continues dans des espaces fonctionnels plus généraux, comme les espaces $L^p$ ou de Sobolev.
  
  Elles sont également utilisées pour montrer l'équivalence des formulations faibles et fortes d'équations différentielles au sens des distributions.
  
  