ATLAS Ouvrir dans l'atlas →

Proposition 5Distributions et EDP

Multiplication par une fonction de classe C∞

Soit T∈𝒟′(Ω)T \in {\mathcal D'}(\Omega) et aa une fonction de classe C∞C^\infty sur Ω\Omega. Le produit aTaT est la forme ⟨aT,φ⟩=⟨T,aφ⟩.\langle aT, \varphi\rangle = \langle T, a\varphi\rangle.

Énoncé

(i) aTaT est une distribution ; aTf=TafaT_f = T_{af} pour f∈Lloc1(Ω)f \in {L^1_{\mathrm{loc}}}(\Omega) ; et ∂j(aT)=(∂ja) T+a ∂jT.\partial_j(aT) = (\partial_j a)\,T + a\,\partial_j T.

(ii) a δb=a(b) δba\,\delta_b = a(b)\,\delta_b pour b∈Ωb \in \Omega. Sur ℝ{\mathbb R}, x δ=0x\,\delta = 0 et xvp⁡1x=1x \operatorname{vp}\frac1x = 1.

(iii) Sur ℝ\mathbb R, xT=0xT = 0 si et seulement si T=c δT = c\,\delta pour un réel cc.

(iv) Sur ℝ\mathbb R, les solutions de xT=1xT = 1 sont les distributions vp⁡1x+c δ\operatorname{vp}\frac1x + c\,\delta, c∈ℝc \in \mathbb R.

Démonstration

(i) Si φk→φ\varphi_k \to \varphi dans 𝒟(Ω){\mathcal D}(\Omega), alors aφk→aφa\varphi_k \to a\varphi (Fonctions test, (i)), et ⟨T,aφk⟩→⟨T,aφ⟩\langle T, a\varphi_k\rangle \to \langle T, a\varphi\rangle. La fonction afaf est localement intégrable, aa étant bornée sur chaque compact, et ⟨Tf,aφ⟩=∫(af)φ\langle T_f, a\varphi\rangle = \int (af)\varphi. Enfin, la dérivée d'une distribution étant définie par ⟨∂jS,φ⟩=−⟨S,∂jφ⟩\langle \partial_j S, \varphi\rangle = -\langle S, \partial_j\varphi\rangle (Dérivation), et comme a ∂jφ=∂j(aφ)−(∂ja)φa\,\partial_j\varphi = \partial_j(a\varphi) - (\partial_j a)\varphi, ⟨∂j(aT),φ⟩=−⟨T,a ∂jφ⟩=−⟨T,∂j(aφ)⟩+⟨T,(∂ja)φ⟩=⟨a ∂jT,φ⟩+⟨(∂ja)T,φ⟩.\begin{aligned} \langle \partial_j(aT), \varphi\rangle &= -\langle T, a\,\partial_j\varphi\rangle \\ &= -\langle T, \partial_j(a\varphi)\rangle \\ &\quad + \langle T, (\partial_j a)\varphi\rangle \\ &= \langle a\,\partial_j T, \varphi\rangle \\ &\quad + \langle (\partial_j a)T, \varphi\rangle. \end{aligned}

(ii) ⟨aδb,φ⟩=a(b)φ(b)\langle a\delta_b, \varphi\rangle = a(b)\varphi(b), et xδ=0x\delta = 0 en est le cas b=0b = 0. Pour la valeur principale, l'intégrande xφ(x)x\frac{x\varphi(x)}x vaut φ(x)\varphi(x), et la limite qui la définit est ∫φ\int\varphi (Exemples de distributions, (iv)).

(iii) Lemme de division. Soit χ∈𝒟(ℝ)\chi \in \mathcal D(\mathbb R) égale à 11 sur un voisinage de 00 (Fonctions test, (iii)). Pour φ∈𝒟(ℝ)\varphi \in \mathcal D(\mathbb R), la fonction g=φ−φ(0)χg = \varphi - \varphi(0)\chi est une fonction test nulle en 00. Par le théorème fondamental appliqué à t↦g(tx)t \mapsto g(tx), g(x)=x ψ(x),ψ(x)=∫01g′(tx) dt.g(x) = x\,\psi(x), \qquad \psi(x) = \int_0^1 g'(tx)\,dt.

La fonction ψ\psi est de classe C∞C^\infty (Schwarz, (ii), appliqué à (t,x)↦g′(tx)(t, x) \mapsto g'(tx), dont les dérivées en xx, tkg(k+1)(tx)t^k g^{(k+1)}(tx), sont continues). Pour x≠0x \neq 0, ψ(x)=g(x)/x\psi(x) = g(x)/x ; donc {ψ≠0}⊂{g≠0}∪{0}\{\psi \neq 0\} \subset \{g \neq 0\} \cup \{0\}, et supp⁡ψ⊂supp⁡g∪{0}\operatorname{supp}\psi \subset \operatorname{supp} g \cup \{0\}, qui est compact : ψ∈𝒟(ℝ)\psi \in \mathcal D(\mathbb R).

Conclusion. Si xT=0xT = 0, ⟨T,φ⟩=φ(0)⟨T,χ⟩+⟨T,xψ⟩=φ(0)⟨T,χ⟩+⟨xT,ψ⟩,\begin{aligned} \langle T, \varphi\rangle &= \varphi(0)\langle T, \chi\rangle + \langle T, x\psi\rangle \\ &= \varphi(0)\langle T, \chi\rangle + \langle xT, \psi\rangle, \end{aligned} c'est-à-dire T=c δT = c\,\delta avec c=⟨T,χ⟩c = \langle T, \chi\rangle. La réciproque est (ii).

(iv) Par (ii), x(vp⁡1x+cδ)=1x\big(\operatorname{vp}\frac1x + c\delta\big) = 1. Si xT=1xT = 1, alors x(T−vp⁡1x)=0x\big(T - \operatorname{vp}\frac1x\big) = 0, et (iii) conclut.

□
Remarque

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 δ⋅vp⁡1x\delta \cdot \operatorname{vp}\frac1x, on aurait d'un côté (δ⋅x)vp⁡1x=0⋅vp⁡1x=0(\delta \cdot x)\operatorname{vp}\frac1x = 0 \cdot \operatorname{vp}\frac1x = 0 par (ii), de l'autre δ (xvp⁡1x)=δ⋅1=δ\delta\,\big(x \operatorname{vp}\frac1x\big) = \delta \cdot 1 = \delta. Le produit par une fonction de classe C∞C^\infty est le cas où ce conflit ne peut pas se produire.

Remarque

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 aa est une combinaison linéaire finie de dérivées ∂αδa\partial^\alpha\delta_a. Il est énoncé au nœud Support.

Repose sur

Sert à

Aucune fiche de ce graphe ne l'utilise encore.
Ouvrir dans l'atlas interactif →