Proposition 5Distributions et EDP
Multiplication par une fonction de classe C∞
Soit et une fonction de classe sur . Le produit est la forme
(i) est une distribution ; pour ; et
(ii) pour . Sur , et .
(iii) Sur , si et seulement si pour un réel .
(iv) Sur , les solutions de sont les distributions , .
Démonstration
(i) Si dans , alors (Fonctions test, (i)), et . La fonction est localement intégrable, étant bornée sur chaque compact, et . Enfin, la dérivée d'une distribution étant définie par (Dérivation), et comme ,
(ii) , et en est le cas . Pour la valeur principale, l'intégrande vaut , et la limite qui la définit est (Exemples de distributions, (iv)).
(iii) Lemme de division. Soit égale à sur un voisinage de (Fonctions test, (iii)). Pour , la fonction est une fonction test nulle en . Par le théorème fondamental appliqué à ,
La fonction est de classe (Schwarz, (ii), appliqué à , dont les dérivées en , , sont continues). Pour , ; donc , et , qui est compact : .
Conclusion. Si , c'est-à-dire avec . La réciproque est (ii).
(iv) Par (ii), . Si , alors , et (iii) conclut.
□On ne sait pas multiplier deux distributions en général, et aucune extension raisonnable du produit ne peut être associative. Si l'on pouvait former , on aurait d'un côté par (ii), de l'autre . Le produit par une fonction de classe est le cas où ce conflit ne peut pas se produire.
Le point (iii) est le premier cas d'un théorème plus général : une distribution dont le support est réduit à un point est une combinaison linéaire finie de dérivées . Il est énoncé au nœud Support.