Fonction C∞ à support compact

Fichier:Bump2D illustration.png

Représentation graphique d'une fonction CModèle:Exp à support compact à deux variables.

En mathématiques, une fonction CModèle:Exp à support compact (également appelée fonction test) est une fonction infiniment dérivable dont le support est compact.

Ces fonctions sont au cœur de la théorie des distributions, puisque ces dernières sont construites comme éléments du dual topologique de l'espace des fonctions tests.

Les fonctions CModèle:Exp à support compact sont également utilisées pour construire des suites régularisantes et des partitions de l'unité de classe CModèle:Exp.

Si Ω est un ouvert non vide de ℝModèle:Exp, l'espace des fonctions CModèle:Exp à support compact de Ω dans ℝ est noté CModèle:ExpInd(Ω), Modèle:Nobr ou 𝒟(Ω).

Exemples

Fichier:Mollifier Illustration.svg

Graphe de la fonction Ψ.

La fonction d'une variable $\mathrm{\Psi }:ℝ\to ℝ$ définie par

$\mathrm{\Psi }(x)=\{\begin{array}{cc}{\mathrm{e}}^{-1/(1-x^2)}& \text{ si }|x|<1\\ 0& \text{ sinon}\end{array}$

est à support compact. La preuve qu'elle est infiniment dérivable peut se faire par récurrence. Par ailleurs, la fonction peut être vue comme la fonction gaussienne Modèle:Math qu'on a « fait rentrer dans le disque unité » par le changement de variables yModèle:2 = 1/(1 – xModèle:2) qui envoie x = ±1 sur y = Modèle:Math.

Un exemple simple de fonction CModèle:Exp à support compact à n variables est obtenu en prenant le produit de n copies de la fonction à une variable ci-dessus :

$\mathrm{\Phi }(x_1,x_2,\dots ,x_n)=\mathrm{\Psi }(x_1)\mathrm{\Psi }(x_2)\cdots \mathrm{\Psi }(x_n).$

Sur Ω = ℝModèle:Exp, la fonction

$x\mapsto \{\begin{array}{cc}\exp (-\frac{1}{1-\Vert x{\Vert }^2})& \text{si }\Vert x\Vert <1\\ 0& \text{sinon}\end{array}$

est CModèle:Exp et son support est la boule fermée B(0, 1) pour la norme ║.║ utilisée.

Propriétés

• Une fonction CModèle:Exp à support compact ne peut pas être analytique, à moins d'être identiquement nulle. C'est une conséquence directe du théorème d'identité.
• L'espace des fonctions CModèle:Exp à support compact est stable par de nombreuses opérations. Par exemple, la somme, le produit, le produit de convolution de deux fonctions CModèle:Exp à support compact est encore une fonction CModèle:Exp à support compact.

Topologie

On munit 𝒟(Ω) de la topologie suivante : les voisinages d'un élément de l'espace sont — comme dans tout groupe topologique — les translatés par cet élément des voisinages de 0, et un ensemble $V\subset 𝒟(\mathrm{\Omega })$ est un voisinage de la fonction nulle si, pour tout compact K de Ω, il existe un entier m > 0 tel que V contienne l'ensemble suivant :

$A_{K,m}:=\{\phi \in {𝒟}_K(\mathrm{\Omega })|\underset{\genfrac{}{}{0ex}{}{\alpha \in {\mathbb{N}}^N}{|\alpha |\le m}}{\max }\Vert {\partial }^{\alpha }\phi {\Vert }_{\mathrm{\infty }}\le 1/m\},$

où ${𝒟}_K(\mathrm{\Omega })$ désigne l'ensemble des fonctions de $𝒟(\mathrm{\Omega })$ dont le support est inclus dans K, et ‖f‖Modèle:Ind est la norme de f au sens de la convergence uniforme (pour f continue à support compact, c'est le maximum global de |f|).

Autrement dit, si Ω est la réunion d'une suite croissante de compacts KModèle:Ind, une base de voisinages de 0 est constituée des $V_m:={\cup }_{n\in \mathbb{N}}{A}_{K_n,m_n}$, quand $m=(m_n{)}_{n\in \mathbb{N}}$ parcourt l'ensemble (non dénombrable) des suites à valeurs dans ℕ*.

Muni de cette topologie, $𝒟(\mathrm{\Omega })$ est un espace localement convexe, non métrisable puisqu'il est maigre dans lui-même et séquentiellement complet (il est même complet).

Dans $𝒟(\mathrm{\Omega }),$ la convergence vers 0 d'une suite de fonctions φModèle:Ind se traduit par l'existence d'un compact K de Ω, contenant les supports de toutes les φModèle:Ind à partir d'un certain rang, et tel que φModèle:Ind ainsi que toutes ses dérivées tendent vers 0 uniformément sur K.

Voir aussi

Article connexe

Fonction régulière non analytique