Théorie physique des distributions/Introduction des distributions

Début de la boite de navigation du chapitre

Ce deuxième chapitre introduit la notion de distribution tout en justifiant les motivations qui sont à l'origine de cette introduction.

fin de la boite de navigation du chapitre

Position du problème

Soit ℘ l’ensemble des fonctions physiques. Ces fonctions sont censées représenter la plupart des fonctions que l’on rencontre en physique. Si l’on considère, par exemple, les circuits électriques, nous savons que l’on peut décrire le comportement d'une tension ou d'un courant dans une partie d'un circuit électrique par une équation différentielle. En fait, des considérations sur le circuit électrique amènent à établir une équation différentielle dont la résolution est censée nous donner toutes les possibilités d'évolution de la tension ou du courant considéré. En réalité, on se heurte ici à un problème que nous allons exposer :

Les équations différentielles, que l’on établit dans un circuit électrique, sont la plupart du temps, pour les circuits les plus simples, des équations du premier ordre ou du second ordre. Ce qui entraîne que les fonctions, solutions de ces équations, admettent respectivement une dérivée première ou une dérivée seconde. Nous savons pourtant que les intensités dans les condensateurs ou les tensions aux bornes des bobines peuvent être discontinues et, par conséquent, sont des fonctions non dérivables en certains points. Nous sommes donc amenés à penser que les équations différentielles, qui décrivent un circuit, ne nous permettent de trouver que les fonctions qui sont dérivables et passent sous silence toutes les fonctions qui ne le sont pas.

En fait, ce que l’on reproche à l’ensemble ℘, c’est de contenir des fonctions qui ne sont pas dérivables, car ces fonctions ne peuvent pas être solutions d'une équation différentielle. Si nous réfléchissons à ce problème, nous ne pouvons pas nous empêcher de penser que, dans l'évolution historique des mathématiques, nous nous sommes déjà trouvés dans des situations similaires. Par exemple, certaines équations numériques ne pouvaient pas être résolues parce que, dans l’ensemble des nombres réels, les nombres négatifs n'ont pas de racine carrée. Nous savons que ce problème a été résolu en introduisant un ensemble plus vaste que l’ensemble des nombres réels et dont un de ses sous-ensembles pouvait être identifié à l’ensemble des nombres réels. Cet ensemble, que l’on a nommé ensemble des nombres complexes, permettait aux nombres négatifs d’avoir des racines carrées en dehors de ℝ et permettait ainsi de résoudre des équations qui n'avaient pas, jusqu'alors, de solutions.

Pour en revenir à notre ensemble ℘, le problème qui se pose est donc le suivant : Cet ensemble contient des fonctions qui ne sont pas dérivables. Ne peut-on pas définir un ensemble plus vaste dont une partie pourrait être identifiée à ℘ et qui permettrait de rendre toutes les fonctions de ℘ dérivables, quitte à ce que ses dérivées soient en dehors de ℘ ?

Résolution du problème

On rappelle qu'une application linéaire d'un espace vectoriel dans l’ensemble des nombres réels est appelée forme linéaire.

On rappelle aussi que l’ensemble des formes linéaires sur un espace vectoriel V, est un espace vectoriel que l’on notera V'. V' est appelé dual de V.

Si u est un vecteur de V et f une forme linéaire de V'. Plutôt que de désigner par f(u) l'image du u par f, on préférera utiliser le crochet de dualité en posant :

$\langle f,u\rangle :=f(u)$.

Début d’un théorème

Théorème d'« inclusion »

Soient W un espace vectoriel et V ⊂ W un sous-espace. Alors, il existe un plongement canonique de W' dans V'.

Fin du théorème

Démonstration

Soit φ un élément de W', c'est-à-dire une forme linéaire sur W. Sa restriction à V est une forme linéaire sur V, donc appartient à V'. L'application (linéaire) de restriction ainsi définie (de W' dans V') est injective car toute forme linéaire sur V s'étend en (au moins) une forme linéaire sur W (par exemple : nulle sur un supplémentaire arbitraire de V dans W).

 

Nous avons défini au chapitre précédent trois espaces vectoriels ${\textstyle {\mathcal {D}}}$, ${\textstyle {\mathcal {S}}}$, ${\textstyle {\mathcal {E}}}$,

vérifiant :

${\mathcal {D}}\subset {\mathcal {S}}\subset {\mathcal {E}}$

D'après le théorème précédent, nous aurons donc :

« ${\mathcal {E'}}\subset {\mathcal {S'}}\subset {\mathcal {D'}}$ ».

Nous voyons que ${\textstyle {\mathcal {D'}}}$ est le plus grand dual au sens de l'inclusion. C'est donc lui que nous choisirons pour résoudre le problème, exposé dans le paragraphe précédent. Nous poserons donc la définition suivante :

Espace des distributions

On appelle espace des distributions, le dual ${\textstyle {\mathcal {D}}'}$ de l'espace vectoriel ${\textstyle {\mathcal {D}}}$ des fonctions indéfiniment dérivables à support compact. Une distribution est donc une forme linéaire sur ${\textstyle {\mathcal {D}}}$.

Le sous-espace ${\textstyle {\mathcal {S'}}}$ sera le sous-espace des distributions tempérées (sur lequel on peut définir une transformée de Fourier).

Le sous-espace ${\textstyle {\mathcal {E'}}}$ sera le sous-espace des distributions à support compact (qui joue un rôle dans le produit de convolution).

Dans le contexte de la théorie des distributions, ${\textstyle {\mathcal {D}}}$, ${\textstyle {\mathcal {S}}}$, ${\textstyle {\mathcal {E}}}$ seront appelés espaces de fonctions-test.

Il nous reste à vérifier que cet espace répond bien à ce que l’on attendait. Nous devons donc vérifier deux choses :

• d’abord qu’il existe bien un isomorphisme de l'espace ℘ des fonctions physiques vers un sous-espace P des distributions ${\textstyle {\mathcal {D}}'}$;
• ensuite, il faut définir une dérivation dans ${\textstyle {\mathcal {D}}'}$ telle que les distributions dans P soient toutes dérivables et prolongent bien la dérivation dans ℘.

Nous réservons le chapitre suivant au deuxième point et nous nous contenterons, dans la fin de ce chapitre, de vérifier le premier point.

Morphisme injectif de ℘ dans l’ensemble des distributions

Soit ψ une fonction de ℘ dans ${\textstyle {\mathcal {D}}'}$ ainsi défini :

Soit p une fonction physique de ℘. L'image de p par ψ sera la forme linéaire T_p de ${\textstyle {\mathcal {D}}'}$ qui a tout φ de ${\textstyle {\mathcal {D}}}$ associe le réel :

$T_{p}(\varphi )\,=\,<T_{p},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x)\,p(x)\,\mathrm {d} x$

L'intégrale précédente est bien définie puisque φ est à support compact.

Pour simplifier l'écriture, nous avons noté Tp la forme linéaire (distribution) qui est l'image de p par ψ. Toutes les distributions ne pourront pas se noter ainsi car nous verrons qu’il existe dans ${\textstyle {\mathcal {D}}'}$ des distributions (forme linéaire) qui n'ont pas d'antécédent par ψ. Ces distributions seront alors la plupart du temps notée simplement T. Parmi les distributions de ${\textstyle {\mathcal {D}}'}$, celles qui ont un antécédent par ψ seront appelées distributions régulières.

Montrons que la fonction ψ est bien un morphisme injectif de ℘ dans ${\textstyle {\mathcal {D}}'}$.

Nous devons montrer, tout d’abord, que : ∀ p, q ∈ ℘, ψ(p + q) = ψ(p) + ψ(q)

Calculons ψ(p + q) : L'image par ψ de p+q est la forme linéaire qui a toute fonction φ de ${\textstyle {\mathcal {D}}}$ associe le réel :

$<T_{p+q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).(p+q)(x)\,\mathrm {d} x$

Qui peut s'écrire par linéarité de l'intégrale :

$<T_{p+q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).p(x)\,\mathrm {d} x+\int _{-\infty }^{\infty }\varphi (x).q(x)\,\mathrm {d} x=\,<T_{p},\varphi >\,+\,<T_{q},\varphi >$

Où l’on voit apparaître la somme des images de la forme linéaire, image de p par ψ avec la forme linéaire image de q par ψ.

On a donc bien : ∀ p, q ∈ ℘, ψ(p + q) = ψ(p) + ψ(q)

Nous devons montrer ensuite que : ∀ p ∈ ℘, ∀ λ ∈ ℝ, ψ(λp) = λψ(p)

Calculons ψ(λp) : L'image par ψ de λp est la forme linéaire qui a toute fonction φ de ${\textstyle {\mathcal {D}}}$ associe le réel :

$<T_{\lambda p},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).(\lambda p)(x)\,\mathrm {d} x$

Qui peut s'écrire par linéarité de l'intégrale :

$<T_{\lambda p},\varphi >\,=\lambda \int _{-\infty }^{\infty }\varphi (x).p(x)\,\mathrm {d} x=\lambda <T_{p},\varphi >=<\lambda T_{p},\varphi >$

Où l’on voit apparaître le produit du scalaire λ par l'image de la forme linéaire, image de p par ψ.

On a donc bien : ∀ p ∈ ℘, ∀ λ ∈ ℝ, ψ(λp) = λψ(p)

Montrons ensuite que ψ est injective. Pour cela, nous devons montrer que, si pour deux fonctions physiques p et q, nous avons ψ(p) = ψ(q), alors nous avons nécessairement p = q.

Nous voyons que cela revient à montrer que :

$\left\{\forall \varphi \in {\mathcal {D}}\quad \int _{-\infty }^{\infty }\varphi (x).p(x)\,\mathrm {d} x=\int _{-\infty }^{\infty }\varphi (x).q(x)\,\mathrm {d} x\right\}\Rightarrow p=q$

Nous admettrons ce résultat qui est un peu fastidieux à démontrer.

notons au passage que ce résultat est faux dans la théorie des distributions générales où l’on ne se limite pas aux fonctions physiques. Pour les connaisseurs, on devra remplacer « p = q » par « p diffère de q sur un ensemble de mesure nulle ». C'est d'ailleurs là, le principal intérêt d’avoir introduit l'espace physique des fonctions continues à droite en tout point. Pour d'autres ensembles de fonctions, le morphisme ψ n'aurait pas été injectif. Si nous étions parti de l’ensemble des fonctions continues sur ℝ, ψ aurait aussi été injectif, mais cet ensemble aurait été moins satisfaisant, car ne rendant pas compte des discontinuités que l’on peut observer en physique.

Soit maintenant P l'espace image par ψ de l'espace vectoriel ℘ des fonctions physiques. D'après ce qui précède, nous voyons que ψ est un isomorphisme de ℘ dans P. Nous pouvons donc identifier ℘ à P et nous dirons, par abus de langage, que l’ensemble des fonctions physiques est un sous-espace vectoriel des distributions. Nous pourrons donc parler indifféremment de fonctions ou de distributions lorsque nous envisagerons un élément de P.

Nous rappelons qu'une distribution de P sera dite régulière. P est le sous-ensemble des distributions régulières de ${\textstyle {\mathcal {D}}'}$.

Toujours par abus de langage, comme la valeur en un point d'une fonction f se note f(x), on pourra rencontrer pour les distributions non régulières la notation T(x) qui, bien sûr, n'a aucun sens et ne sert qu’à rappeler le type de variable sur lequel on travaille. Ce sera souvent le cas pour la distribution de Dirac (définie plus loin) que l’on notera quelquefois δ(x) ou δ(t) si la variable est le temps.

Nous voyons que nous avons réalisé pour ℘ et ${\textstyle {\mathcal {D}}'}$ une démarche similaire à celle qui avait été réalisée avec les ensembles des nombres réels et des nombres complexes.

Distributions à support compact

Dans un paragraphe précédent, nous avons nommé l’ensemble ${\textstyle {\mathcal {E'}}}$ comme étant l’ensemble des distributions à support compact. Dans ce paragraphe, nous allons donner une définition équivalente en se basant sur l'espace ${\textstyle {\mathcal {D'}}}$ et les fonctions-test de ${\textstyle {\mathcal {D}}}$ pour mieux expliciter ce que l’on entends par distribution à support compact. Nous admettrons que le sous-espace de ${\textstyle {\mathcal {D'}}}$ obtenu coïncide avec le sous-espace ${\textstyle {\mathcal {E'}}}$.

nous définirons, tout d’abord, le support d'une fonction-test.

Définition

Soit φ, une fonction-test de ${\textstyle {\mathcal {D}}}$. On appelle support de φ, que l’on note supp(φ), l’ensemble des réels pour lesquels φ n’est pas nul.

On définira une distribution à support compact de ${\textstyle {\mathcal {D}}'}$ ainsi :

Distribution à support compact

Une distribution T sera dite à support compact s'il existe un intervalle [a;b] de ℝ tel que :

$\forall \varphi \in {\mathcal {D}}\quad {\text{supp}}(\varphi )\cap [a;b]=\varnothing \quad \Rightarrow \quad <T,\varphi >\,=0$

Le support de T sera alors le plus petit fermé F(au sens de l'inclusion) de ℝ tel que :

$\forall \varphi \in {\mathcal {D}}\quad {\text{supp}}(\varphi )\cap F=\varnothing \quad \Rightarrow \quad <T,\varphi >\,=0$

F étant fermé et borné par [a;b] sera, par conséquent, un ensemble compact. Ceci justifie l'appellation de distribution à support compact.

On démontre et nous admettrons que le sous-espace des fonctions à support compact de ${\textstyle {\mathcal {D'}}}$ résultant de la définition ci-dessus coïncide avec ${\textstyle {\mathcal {E'}}}$.

Opérateur de translation

Pour une simple fonction, si l’on souhaite faire une translation de sa courbe représentative dans un repère, d'une valeur a, nous savons qu’il nous suffit d'enlever la valeur a, à sa variable x. Autrement dit, si une fonction est définie par :

$x\mapsto f(x)$

La translatée de la valeur a sera défini par :

$x\mapsto f(x-a)$

Si a est positif, la courbe représentative sera translatée vers la droite. Si a est négatif, la courbe représentative sera translatée vers la gauche.

Par commodité d'écriture, nous pouvons définir un opérateur de translation que l’on notera τ_a et nous noterons τ_a.f la fonction qui a pour courbe représentative, la translatée de la courbe représentative de f, de la valeur a.

On peut donc écrire :

$\tau _{a}.f(x)=f(x-a)$

Nous nous proposons de généraliser à une distribution T, l'opérateur de translation et de donner un sens à τ_a.T.

Commençons donc par les distributions régulières.

Soit f une fonction physique et soit T_f, la distribution régulière associée. Essayons alors d'exprimer la distribution régulière T_τa.f associé à τ_a.f. On a :

$\forall \varphi \in {\mathcal {D}}\quad <T_{\tau _{a}.f},\varphi >\,=\,\int _{-\infty }^{\infty }\varphi (x).\tau _{a}.f(x)\,\mathrm {d} x=\,\int _{-\infty }^{\infty }\varphi (x).f(x-a)\,\mathrm {d} x$

Nous pouvons faire un changement de variable en posant y = x- a, on obtient :

$\forall \varphi \in {\mathcal {D}}\quad <T_{\tau _{a}.f},\varphi >\,=\int _{-\infty }^{\infty }\varphi (y+a).f(y)\,\mathrm {d} y=\int _{-\infty }^{\infty }\tau _{-a}.\varphi (y).f(y)\,\mathrm {d} y=\,<T_{f},\tau _{-a}.\varphi >$

Nous généraliserons donc l'opérateur de translation aux distributions ainsi :

Translation d'une distribution

Soit T une distribution. La translatée de a de la distribution T sera définie par :

$\forall \varphi \in {\mathcal {D}}\quad <\tau _{a}.T,\varphi >\,=\,<T,\tau _{-a}.\varphi >$

Suite de distributions et convergence au sens des distributions

Lorsque l’on étudie les fonctions, nous sommes amené à définir des suites de fonctions. Ces suites de fonctions étant définis, nous nous posons la question de savoir si celles-ci convergent vers une fonction limite. Nous définissons même plusieurs types de convergences comme la convergence simple ou la convergence uniforme. Bien souvent, nous avons vu qu'une suite de fonctions ne converge pas vers une limite.

Sur ce point , une idée s'élève peu à peu dans notre esprit. Maintenant que nous avons agrandi notre ensemble de fonction physique en créant l'espace des distributions, dans lequel l’ensemble des fonctions physiques a été immergé, est-ce que les suites de fonctions qui ne convergeaient pas avant, ne vont-elles pas converger vers une distribution en dehors de l'espace des distributions régulières. C'est ce que nous allons étudier dans ce paragraphe !

Nous commencerons par donner une définition de la convergence des distributions.

Convergence simple (ou ponctuelle) des distributions

Soit (T_n)_n∈ℕ une suite de distributions. On dit que (T_n) converge simplement vers une distribution T, dans ${\textstyle {\mathcal {D'}}}$ si :

$\forall \varphi \in {\mathcal {D}}\quad \lim _{n\to \infty }<T_{n},\varphi >=<T,\varphi >$

Pour mettre en application cette définition, nous allons donner un exemple de suite de fonctions physiques qui ne converge pas dans l’ensemble des fonctions, mais qui va converger, dans ${\textstyle {\mathcal {D'}}}$, vers une distribution qui n’est pas régulière.

Soit la suite de fonctions (f_n)_n∈ℕ, définie par :

$\forall x\in \mathbb {R} ,\ f_{n}(x)=\left\{{\begin{matrix}0&\mathrm {si} &x<-{\frac {1}{2n}}\\n&\mathrm {si} &-{\frac {1}{2n}}\leqslant x<{\frac {1}{2n}}\\0&\mathrm {si} &x\geqslant {\frac {1}{2n}}.\end{matrix}}\right.$

Nous voyons que cette suite de fonctions ne converge pas dans l’ensemble des fonctions puisque l’on a :

$\lim _{n\to \infty }f_{n}(0)=\lim _{n\to \infty }n=+\infty$

Calculons toutefois la limite de cette suite en les considérant comme des distributions. Nous appellerons T_n la distribution régulière correspondant à f_n

Nous avons alors :

${\begin{aligned}\forall \varphi \in {\mathcal {D}}\quad \lim _{n\to \infty }<T_{n},\varphi >&=\lim _{n\to \infty }\int _{-\infty }^{\infty }\varphi (x).f_{n}(x)\,\mathrm {d} x\\&=\lim _{n\to \infty }\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\varphi (x).n\,\mathrm {d} x\\&=\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\varphi (x)\,\mathrm {d} x\\&=\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\varphi (0)\,\mathrm {d} x+\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x\end{aligned}}$

La deuxième intégrale est plus délicate à calculer. Calculons donc à part :

$\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x$

En introduisant les valeurs absolues, nous avons :

$\lim _{n\to \infty }|n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x|\leqslant \lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}|\varphi (x)-\varphi (0)|\,\mathrm {d} x$

φ étant une fonction continue, nous avons :

$\forall \epsilon >0\quad \exists \alpha >0\quad /\quad |x-0|<\alpha \Rightarrow |\varphi (x)-\varphi (0)|<\epsilon$

Nous voyons qu’à partir d'une certaine valeur de n, nous aurons :

${\frac {1}{2n}}<\alpha$

Compte-tenu des bornes d'intégration de l'intégrale, nos avons alors :

$|x-0|<{\frac {1}{2n}}<\alpha \Rightarrow |\varphi (x)-\varphi (0)|<\epsilon$

Nous en déduisons que :

$\forall \epsilon >0\quad \lim _{n\to \infty }|n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x|\leqslant \lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}|\varphi (x)-\varphi (0)|\,\mathrm {d} x<\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\epsilon \,\mathrm {d} x=\epsilon \lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\,\mathrm {d} x=\epsilon \lim _{n\to \infty }n\times {\frac {1}{n}}=\epsilon$

On a obtenu :

$\forall \epsilon >0\quad \lim _{n\to \infty }|n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x|<\epsilon$

Ce qui nous permet de conclure que :

$\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x=0$

Nous pouvons finir le calcul commencé plus haut :

${\begin{aligned}\forall \varphi \in {\mathcal {D}}\quad \lim _{n\to \infty }<T_{n},\varphi >&=\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\varphi (0)\,\mathrm {d} x+\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}(\varphi (x)-\varphi (0))\,\mathrm {d} x\\&=\varphi (0)\lim _{n\to \infty }n\int _{-{\frac {1}{2n}}}^{\frac {1}{2n}}\,\mathrm {d} x+0\\&=\varphi (0)\lim _{n\to \infty }n[x]_{-{\frac {1}{2n}}}^{\frac {1}{2n}}\\&=\varphi (0)\lim _{n\to \infty }n\times {\frac {1}{n}}\\&=\varphi (0)\lim _{n\to \infty }1\\&=\varphi (0)\end{aligned}}$

Nous voyons que la suite de distributions (T_n) convergerait vers une distribution T qui serait définie par :

$\forall \varphi \in {\mathcal {D}}\quad <T,\varphi >=\varphi (0)$

On vérifie que cette définition correspond bien à la définition d'une forme linéaire sur ${\textstyle {\mathcal {D}}}$ et par conséquent T est bien une distribution que l’on nomme « distribution de Dirac » et que l’on notera δ₀ ou simplement δ par la suite.

Distribution de Dirac

On appelle distribution de Dirac, que nous noterons δ, la forme linéaire qui, à toutes fonctions-test φ de ${\textstyle {\mathcal {D}}}$, associe sa valeur en 0.

$\forall \varphi \in {\mathcal {D}}\quad <\delta ,\varphi >\,=\varphi (0)$

Nous avons donc bien constaté qu'une suite de fonctions qui ne convergeaient pas dans l’ensemble des fonctions peut très bien converger dans l’ensemble des distributions.

Notons que nous pouvons généraliser la définition de la distribution de Dirac en 0 en un point quelconque a :

Distribution de Dirac en a

On appelle distribution de Dirac en a, que nous noterons δ_a, la forme linéaire qui, à toutes fonctions-test φ de ${\textstyle {\mathcal {D}}}$, associe sa valeur en a.

$\forall \varphi \in {\mathcal {D}}\quad <\delta _{a},\varphi >\,=\varphi (a)$

Une application au circuit électrique, de ce qui précède, est celle-ci : Supposons que l’on applique, à l'instant a, une tension aux bornes d'un circuit durant un temps très court. Si notre intention est d'appliquer cette tension durant le temps le plus court possible, on pourra alors, pour simplifier les calculs, remplacer cette action par une distribution de Dirac en a, affectée d'un facteur égal au produit de la tension appliquée par le temps d'application de la tension. On dira alors que l’on a appliqué une impulsion au circuit à l'instant a.

Produit de distributions

Nous allons aborder, dans ce paragraphe, la question concernant le produit des distributions. La somme de deux distributions découle naturellement du fait que l’ensemble des distributions est un espace vectoriel, mais peut-on définir le produit de deux distributions.

Pour cela, nous commencerons à raisonner sur les distributions régulières pour essayer de voir si l’on peut en déduire une première formule, quitte à voir si cette formule peut se généraliser à toutes les distributions. Si nous considérons deux fonctions physiques p et q, nous savons, de façon classique, que :

$\forall x\in \mathbb {R} \quad (p.q)(x)=p(x).q(x)$

En notant • le produit hypothétique de deux distributions, nous devrions alors avoir :

$T_{p.q}=T_{p}\bullet T_{q}$

Il nous faut donc trouver une définition du produit de deux distributions qui soit compatible avec cette formule. Nous voyons que nous avons successivement :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).p(x)\,\mathrm {d} x$

$\forall \varphi \in {\mathcal {D}}\quad <T_{q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).q(x)\,\mathrm {d} x$

$\forall \varphi \in {\mathcal {D}}\quad <T_{p.q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).p(x).q(x)\,\mathrm {d} x$

Une longue réflexion nous montre qu'aucune relation ne semble émerger pour lier ces trois formules. Il semble donc que l’on doivent abandonner tout espoir de définir un produit entre deux distributions d'une façon générale.

Pourtant, si nous observons la troisième relation, nous voyons qu'elle peut se mettre sous la forme :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p.q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).p(x).q(x)\,\mathrm {d} x=\int _{-\infty }^{\infty }(p.\varphi )(x).q(x)\,\mathrm {d} x$

Et là, un faible espoir commence à naître. Il faudrait pour poursuivre les calculs que p.φ soit une fonction-test. Et cela ne peut se produire que si p est indéfiniment dérivable. Par conséquent, si p est infiniment dérivable, nous voyons que nous avons :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p.q},\varphi >\,=\int _{-\infty }^{\infty }\varphi (x).p(x).q(x)\,\mathrm {d} x=\int _{-\infty }^{\infty }(p.\varphi )(x).q(x)\,\mathrm {d} x=\,<T_{q},p.\varphi >$

Ce qui est déjà mieux que rien !

En faisant abstraction des intégrales, nous retiendrons :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p.q},\varphi >\,=\,<T_{q},p.\varphi >$

Et en combinant avec la relation :

$T_{p.q}=T_{p}\bullet T_{q}$

que l’on espérait avoir, nous obtenons :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p}\bullet T_{q},\varphi >\,=\,<T_{q},p.\varphi >$

Si nous essayons de généraliser, nous voyons que nous ne pouvons faire aucun compromis sur p qui doit être indéfiniment dérivable. Par contre, nous n'avons aucune contrainte sur la fonction q de T_q et donc nous généraliserons à ce niveau-là, en remplaçant T_q par T, fonction quelconque de ${\textstyle {\mathcal {D}}'}$. Nous obtenons donc :

$\forall \varphi \in {\mathcal {D}}\quad <T_{p}\bullet T,\varphi >\,=\,<T,p.\varphi >$

Et nous voyons que nous avons réussit à définir le produit de deux distributions dans le cas très particulier, où l'une des deux est la distribution associée à une fonction indéfiniment dérivable.

Par abus de langage, nous identifierons T_p avec p et laisserons tomber la notation •. Nous poserons alors la définition suivante :

Définition

Le produit d'une distribution T par une fonction indéfiniment dérivable p est défini par la relation :

$\forall \varphi \in {\mathcal {D}}\quad <p.T,\varphi >\,=\,<T,p.\varphi >$

Étudions, à titre d'exemple, le produit de la distribution de Diras en a par une fonction indéfiniment dérivable g.

Nous avons :

$\forall \varphi \in {\mathcal {D}}\quad <g.\delta _{a},\varphi >\,=\,<\delta _{a},g\varphi >=g\varphi (a)=g(a).\varphi (a)=g(a)<\delta _{a},\varphi >=<g(a).\delta _{a},\varphi >$

On retiendra :

Propriété

Soit g, une fonction indéfiniment dérivable. Le produit de la fonction g par la distribution de Dirac en a vérifie :

$g.\delta _{a}=g(a).\delta _{a}$

Ou encore, par abus d'écriture :

$g(x).\delta _{a}(x)=g(a).\delta _{a}(x)$