# Théorie physique des distributions/Espaces fondamentaux

La théorie des distributions établie par Laurent Schwartz entre 1945 et 1950 généralise le concept de fonctions pour permettre notamment de résoudre une plus grande classe d'équations différentielles. La théorie complète considère la totalité des fonctions d'une variable réelle, ce qui nécessite l’introduction d’outils mathématiques plus élaborés comme la théorie de la mesure et l'intégrale de Lebesgue. Ce chapitre définit un sous-ensemble de l’ensemble des fonctions d'une variable réelle qui, tout en étant un sous-espace vectoriel de l’ensemble des fonctions, sera suffisant pour décrire la plupart des phénomènes physiques. Nous définirons ensuite quelques ensembles de fonctions qui nous seront utiles dans les chapitres suivants. Nous définirons ces ensembles dans un ordre tel que le suivant sera un sous-espace vectoriel du précédent. Tous ces ensembles de fonctions sont définis sur ℝ pour des raisons de simplification. Dans une théorie des distributions plus élaborée, on considère des espaces aux propriétés similaires décris sur un ensemble de définition différent.

## Espace des fonctions physiques

Nous donnerons une première définition :
Soit $a$ un réel. Une fonction d'une variable réelle sera dite "continue à droite en $a$" si :
$\quad \lim _{x\to a,\ x>a}f(x)=f(a)$.
Par exemple, la fonction de Heaviside H définie par :
$\forall x\in \mathbb {R} \quad H(x)=\left\{{\begin{matrix}0&\mathrm {si} &x<0\\1&\mathrm {si} &x\geqslant 0.\end{matrix}}\right.$
est continue à droite en 0. En effet :
$\lim _{x\to 0,\ x>0}H(x)=1=H(0)$.
Dans cette leçon, nous appellerons "fonction physique", une fonction qui vérifie les trois propriétés suivantes :
* elle est définie sur l’ensemble des nombres réels ℝ ;
* elle est continue à droite en tout réel ;
* elle est intégrable sur tout intervalle borné [a, b].
Dans cette leçon, nous noterons ℘ l'ensemble des fonctions physiques
* Exemple
* Nous voyons, par exemple, que la fonction de Heaviside est une fonction physique.
* La fonction f définie par f(x) = 1/x n'est pas une fonction physique (bien qu'étant continue à droite en tout point de son ensemble de définition) car elle n'est pas définie en 0.
* La fonction $f$ définie par : $\forall t\in \mathbb {R} \quad f(t)={\begin{cases}{\frac {1}{x}}&{\text{si }}&t<0\\0&\mathrm {si} &t\geqslant 0\end{cases}}$ n'est pas une fonction physique (bien qu'étant définie et continue à droite en tout point) car elle n'est pas intégrable sur [–1, 1] par exemple.
* Remarque
* Les fonctions physiques seront, dans notre leçon, des fonctions d'une variable réelle, mais son ensemble d'arrivée ne sera pas nécessairement l’ensemble des nombres réels. Il se peut que ce soit l’ensemble des nombres complexes. Ce sera le cas, par exemple, lorsque nous étudierons la transformée de Fourier.
L'ensemble ℘ des fonctions physiques est un espace vectoriel sur ℝ.
Nous savons que l’ensemble ℱ des fonctions d'une variable réelle est un espace vectoriel sur ℝ. Il nous suffit donc de montrer que ℘ est un sous-espace vectoriel de ℱ.
Non-vacuité.
La fonction constante nulle est une fonction de ℘.
Stabilité pour la loi interne.
Soit f et g deux fonctions de ℘. Montrons que f + g est aussi une fonction de ℘.
Soit a un réel, f et g étant des fonctions de ℘, nous avons :
$\lim _{x\to a,\ x>a}f(x)=f(a)$ ;
$\lim _{x\to a,\ x>a}g(x)=g(a)$.
On a alors :
$\lim _{x\to a,\ x>a}(f+g)(x)=\lim _{x\to a,\ x>a}[f(x)+g(x)]=\lim _{x\to a,\ x>a}f(x)+\lim _{x\to a,\ x>a}g(x)=f(a)+g(a)=(f+g)(a)$.
f + g est donc une fonction de ℘.
Stabilité pour la loi externe.
Soit f un fonctions de ℘ et α un scalaire. Montrons que αf est aussi une fonction de ℘.
Soit a un réel, f étant une fonction de ℘, nous avons :
$\lim _{x\to a,\ x>a}f(x)=f(a)$.
On a alors :
$\lim _{x\to a,\ x>a}(\alpha f)(x)=\lim _{x\to a,\ x>a}\alpha f(x)=\alpha \lim _{x\to a,\ x>a}f(x)=\alpha f(a)=(\alpha f)(a)$.
αf est donc une fonction de ℘.
℘ est donc bien un sous-espace vectoriel de ℱ et, par conséquent, c’est un espace vectoriel.
* Pourquoi avoir introduit l’ensemble ℘ ?
* Cet ensemble, comme son nom l'indique, représente bien l’ensemble des fonctions rencontrées dans le monde physique. Si l’on considère, par exemple, l'électronique, les tensions aux bornes des composants ou les intensités traversant les composants sont des fonctions qui, la plupart du temps, sont continues, mais peuvent avoir des points de discontinuité. L'intensité peut avoir des points de discontinuité dans un condensateur et la tension peut avoir des points de discontinuité aux bornes d'une bobine. Lorsque l’on ferme un interrupteur à l'instant t, on fait apparaître brusquement aux bornes d'un circuit une tension non nulle à cet instant. La tension, qui était nulle avant l'instant t, devient non nulle à partir de cet instant. Nous voyons alors que cette tension peut se représenter par une fonction qui présente un point de discontinuité en t, tout en étant continue à droite en t.
* On considérera que les phénomènes commencent à un instant t et se poursuivent dans le futur, ce qui signifie qu'en tout point de discontinuité la fonction considérée sera continue à droite.
* La continuité à droite traduit donc l'écoulement du temps pour les fonctions du temps (flèche du temps).
* Une autre raison d'avoir introduit les fonctions physiques est de simplifier considérablement la théorie des distributions. La plupart des tracasseries que l'on rencontre en considérant la totalité de l'ensemble des fonctions réelles n'existent plus et le lecteur peut ainsi disposer d'une théorie des distributions bien suffisante dans la plupart des applications en physique. L'entrainement acquis avec cette théorie simplifiée lui permettra d'aborder plus sereinement une théorie des distributions plus complète si le besoin se fait sentir.

## Espace des fonctions indéfiniment dérivables sur ℝ

Une fonction est dite "indéfiniment dérivable sur ℝ" si elle admet une dérivée à tout ordre sur ℝ.
L’ensemble des fonctions indéfiniment dérivables sur ℝ est noté E{\textstyle {\mathcal {E}}}.
L'ensemble E{\textstyle {\mathcal {E}}} des fonctions indéfiniment dérivables sur ℝ forme un sous-espace vectoriel de l’espace ℘ des fonctions physiques.
La stabilité de la loi interne et de la loi externe proviennent de la linéarité de la dérivation.
De plus, une fonction dérivable est continue et a fortiori continue à droite.
L'espace vectoriel E{\textstyle {\mathcal {E}}} nous permettra de définir, par dualité, l’espace des distributions à support compact.

## Espace de Schwartz

Avant de définir l'espace de Schwartz, nous définirons un autre espace utile à cette définition :

### Espace des fonctions à décroissance rapide

Une fonction est dite "à décroissance rapide" si son produit par n'importe quel polynôme a pour limite 0 en ±∞ ou, ce qui est équivalent : si son produit par n'importe quelle puissance de la variable est borné.
L'ensemble des fonctions à décroissance rapide forme un sous-espace vectoriel de ℱ.
Cet ensemble est l'intersection, sur tous les entiers naturels $n$, des sous-espaces vectoriels $M_{n}^{-1}({\mathcal {F}}_{0})$, où ${\mathcal {F}}_{0}$ désigne ici le sous-espace des fonctions nulles à l'infini et $M_{n}:{\mathcal {F}}\to {\mathcal {F}}$ l'application (linéaire) de multiplication par $x^{n}$ des fonctions de la variable $x$.

### Définition de l'espace de Schwartz

L'espace de Schwartz est l’ensemble des fonctions indéfiniment dérivables dont les dérivées à tout ordre sont à décroissance rapide. Cet ensemble est noté S{\textstyle {\mathcal {S}}}.
L'espace de Schwartz ${\mathcal {S}}$ forme un sous-espace vectoriel de E{\textstyle {\mathcal {E}}}.
Notons ${\mathcal {E}}_{rap}$ l'intersection de ${\mathcal {E}}$ et de l'espace des fonctions à décroissance rapide. C'est donc un sous-espace vectoriel de ${\mathcal {E}}$. L'application de dérivation, $D:{\mathcal {E}}\to {\mathcal {E}}$, est linéaire, et ${\mathcal {S}}=\cap _{n\in \mathbb {N} }D^{-n}\left({\mathcal {E}}_{rap}\right)$.

## Espace des fonctions sommables

Une fonction physique sera dite "sommable sur ℝ" si son intégrale de -∞ à +∞ converge.
L'ensemble des fonctions physiques sommables sur ℝ forme un sous-espace vectoriel de l'espace ℘ des fonctions physiques.
La stabilité de la loi interne et de la loi externe proviennent de la linéarité de l'intégration sur un segment et de celle du passage à la limite (en -∞ et +∞).
Toute fonction physique à décroissance rapide — en particulier toute fonction de Schwartz — est évidemment absolument sommable.

## Espace des fonctions indéfiniment dérivables et à support compact

Une fonction $f:\mathbb {R} \to \mathbb {R}$ est dite "à support compact" s'il existe un intervalle réel borné $[a,b]$ tel que :
$\forall x\not \in [a,b]\quad f(x)=0$.
Une fonction est dite "indéfiniment dérivable à support compact" si elle est de classe C$^∞$ et à support compact.
L’ensemble des fonctions indéfiniment dérivables à support compact est noté D{\textstyle {\mathcal {D}}}.
L'ensemble ${\mathcal {D}}$ des fonctions indéfiniment dérivables à support compact est un sous-espace vectoriel de S{\textstyle {\mathcal {S}}}.
L'ensemble des fonctions à support compact est un sous-espace vectoriel de ℱ, comme union d'une suite croissante de sous-espaces vectoriels : les espaces de fonctions définies sur $[-n,n]$ et complétés par 0 en dehors.
${\mathcal {D}}$ est l'intersection de ce sous-espace et de ${\mathcal {E}}$. C'est donc également un sous-espace vectoriel de ℱ. De plus, ${\mathcal {D}}\subset {\mathcal {S}}$.
Nous montrerons en exercice que cet espace vectoriel n'est pas réduit à la fonction nulle.
| Sommaire | Introduction des distributions |