Aller au contenu

Distribution (mathématiques)

Un article de Wikipédia, l'encyclopédie libre.

En analyse mathématique, une distribution (également appelée fonction généralisée) est un objet qui généralise la notion de fonction et de mesure. La théorie des distributions étend la notion de dérivée à toutes les fonctions localement intégrables et au-delà, et est utilisée pour formuler des solutions à certaines équations aux dérivées partielles. Elles sont importantes en physique et en ingénierie où beaucoup de problèmes discontinus conduisent naturellement à des équations différentielles dont les solutions sont des distributions plutôt que des fonctions ordinaires.

La théorie des distributions fut formalisée par le mathématicien français Laurent Schwartz et lui valut la médaille Fields en 1950. Son introduction utilise des notions d'algèbre linéaire et de topologie centrées autour de l'idée de dualité. Il faut chercher l'origine de cette théorie dans le calcul symbolique de Heaviside (1894) et Poincaré (1912[1]), et dans l'introduction par les physiciens de la « fonction de Dirac » (1926). L'objectif a été alors de généraliser la notion de fonction, afin de donner un sens mathématique correct à ces objets manipulés par les physiciens, en gardant en plus la possibilité de faire des opérations telles que des dérivations, convolutions, transformées de Fourier ou de Laplace. Jacques Hadamard, Salomon Bochner et Sergueï Sobolev ont été les artisans successifs de cette œuvre dont le dernier volet est dû à Laurent Schwartz[2]. Cette généralisation de la notion de fonction a été poursuivie en des directions diverses, et a notamment donné lieu à la notion d'hyperfonction due à Mikio Satō. Une autre voie a conduit aux distributions de Colombeau (en), saluées par Laurent Schwartz lui-même comme étant la découverte du bon point de vue fonctoriel sur les distributions[réf. souhaitée]. En particulier, contrairement à ce qui se passe pour les distributions de Schwartz, la multiplication est enfin pleinement définie sur les distributions de Colombeau.

La distribution de Dirac est un exemple intéressant de distribution car elle n'est pas une fonction, mais peut être représentée de façon informelle par une fonction dégénérée qui serait nulle sur tout son domaine de définition sauf en 0 et dont l'intégrale vaudrait 1. En réalité, de manière tout à fait stricte, elle est la limite au sens des distributions d'une suite de fonctions d'intégrale 1 et convergeant uniformément vers 0 sur tout compact ne contenant pas 0. Un tel objet mathématique est utile en physique ou en traitement du signal, mais aucune fonction ordinaire n'a ces propriétés.

Idées de base

[modifier | modifier le code]

On évalue habituellement une fonction en calculant sa valeur en un point. Toutefois cette méthode fait jouer un rôle considérable aux irrégularités (discontinuités par exemple) de la fonction. L'idée sous-jacente à la théorie des distributions est qu'il existe un meilleur procédé d'évaluation : calculer une moyenne des valeurs de la fonction dans un domaine de plus en plus resserré autour du point d'étude. En envisageant des moyennes pondérées, on est donc conduit à examiner des expressions de la forme

dans laquelle la fonction à évaluer est une fonction localement intégrable et est une fonction appelée « fonction test », indéfiniment dérivable et identiquement nulle en dehors d'un ensemble borné.

L'intégrale est un nombre réel qui dépend de façon linéaire et continue de On voit donc que l'on peut associer à une fonction intégrable une forme linéaire continue sur l'espace des fonctions test. Deux fonctions localement intégrables et qui donnent la même forme linéaire continue sont égales presque partout. Ce qui signifie qu'il revient au même de connaître (à un ensemble négligeable près) ou la forme linéaire d'évaluation des fonctions test associées.

D'une manière plus générale, si est une mesure de Borel sur les réels et est une fonction test, alors l'intégrale

est un nombre réel qui dépend de façon linéaire et continue de Les mesures peuvent aussi être associées à des formes linéaires continues sur l'espace des fonctions test. Cette notion de « forme linéaire continue sur l'espace des fonctions test » est par conséquent utilisée comme définition des distributions.

Les distributions peuvent être multipliées par un réel quelconque et additionnées entre elles. L'ensemble des distributions forme ainsi un espace vectoriel réel. Il n'est pas possible de définir en général le produit de deux distributions en tant que généralisation du produit ponctuel de deux fonctions, mais les distributions peuvent être multipliées par des fonctions indéfiniment dérivables.

Espace des fonctions tests

[modifier | modifier le code]

Soit Ω un ouvert non vide de ℝN. Une fonction test sur Ω est une fonction de Ω dans ℝ, indéfiniment dérivable et à support compact.

Exemple
Sur Ω = ℝN, la fonctionest C et son support est la boule fermée B(0, 1) pour la norme ║.║ utilisée.

On note l'espace vectoriel des fonctions tests sur Ω et on le 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 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 :

désigne l'ensemble des fonctions de dont le support est inclus dans K, et ‖f 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 Kn, une base de voisinages de 0 est constituée des , quand parcourt l'ensemble (non dénombrable) des suites à valeurs dans ℕ*.

Muni de cette topologie, est un espace localement convexe, non métrisable[3] puisqu'il est maigre dans lui-même et séquentiellement complet[3] (il est même complet[4]).

Dans la convergence vers 0 d'une suite de fonctions φn se traduit par l'existence d'un compact K de Ω, contenant les supports de toutes les φn à partir d'un certain rang, et tel que φn ainsi que toutes ses dérivées tendent vers 0 uniformément sur K.

Distributions

[modifier | modifier le code]

Définition

[modifier | modifier le code]

Une distribution sur est une forme linéaire continue sur L'ensemble des distributions sur est donc le dual topologique de c'est pourquoi on le note

L'une des topologies naturelles d'espace localement convexe sur ce dual est la topologie faible-* (celle de la convergence simple sur ).

Caractérisations

[modifier | modifier le code]

Pour une forme linéaire T sur la continuité en 0 suffit à garantir la continuité globale.

Par définition de la topologie de , T est continue (en 0) si et seulement si, pour tout compact K de Ω,

Par ailleurs, si T est continue alors elle est séquentiellement continue (en 0), c'est-à-dire que pour toute suite de fonctions

Mais puisque est un espace bornologique, cette condition nécessaire — bien plus maniable — est également suffisante.

Si est une distribution et une fonction test de le nombre est noté

Ordre d'une distribution

[modifier | modifier le code]

Une distribution T sur Ω est dite d'ordre inférieur ou égal à un entier naturel p si, pour tout compact K de Ω,

c'est-à-dire si le NK dans la caractérisation de la continuité de T peut toujours être pris égal à p.

Elle est bien sûr dite d'ordre p si elle est d'ordre inférieur ou égal à p mais pas à p – 1, et d'ordre infini si elle n'est d'ordre inférieur ou égal à aucun entier.

Un exemple de distribution d'ordre infini sur ℝ est

Les distributions d'ordre 0 sont celles qui se prolongent en des mesures de Radon (signées)[5]. En voici quelques exemples :

  • les distributions positives (en), comme la distribution de Dirac (en 0) définie par  ;
  • toute distribution « régulière », c'est-à-dire toute distribution Tf associée à une fonction localement intégrable f par :L'application linéaire (continue) de L1loc(Ω) dans étant injective, on pourra confondre f et Tf.
    Un exemple célèbre de distribution régulière est celle associée à la fonction de Heaviside que l'on note Y ou H, définie par :

Dérivation des distributions

[modifier | modifier le code]

Pour définir la dérivée d'une distribution, considérons d'abord le cas d'une distribution régulière sur ℝ dont la densité f est de classe C1. Soit Une intégration par parties permet d'écrire :

En effet, puisque la fonction φ est nulle en dehors d'un ensemble borné, les termes de bords s'annulent.

Si est une distribution sur un ouvert de ℝn, cet exemple suggère de définir sa k-ième dérivée partielle par :

Cette définition étend la notion classique de dérivée : chaque distribution devient indéfiniment dérivable (l'application linéaire est même continue de dans lui-même) et la règle de Leibniz est vérifiée (pour les dérivées de la distribution , produit de T par une fonction ψ indéfiniment dérivable), ainsi que l'analogue du théorème de Schwarz. De plus, si T est d'ordre p alors est d'ordre inférieur ou égal à p + 1.

Par exemple la dérivée au sens des distributions de la fonction de Heaviside est la distribution de Dirac en 0.

Plus généralement, la dérivée de T suivant un vecteur h peut aussi se définir par :

(La translation par un vecteur v est définie sur les distributions — en s'inspirant, là aussi, du cas des distributions régulières — comme la transposée de la translation par –v sur les fonctions tests[6] :

En effet, pour toute fonction test

Toute distribution T sur ℝ possède des primitives (c'est-à-dire des distributions dont la dérivée est T), et deux d'entre elles diffèrent d'une constante[7].

Pour qu'une distribution sur ℝ ait pour dérivée une mesure, il faut et il suffit qu'elle soit une fonction à variation bornée sur tout intervalle borné[8].

Si F est une fonction absolument continue sur ℝ, de dérivée presque partout f, alors la distribution régulière Tf est la dérivée de TF. Réciproquement, si une distribution T a pour dérivée une distribution régulière Tf alors T = TF avec F absolument continue, intégrale indéfinie de f ; en presque tout point, et en tout point où f est continue, F est dérivable et de dérivée f[9].

La dérivée au sens des distributions des fonctions appartenant à l'espace Lp intervient dans la définition des espaces de Sobolev.

Lorsque la distribution T modélise un phénomène physique, la fonction test φ peut s'interpréter comme un instrument de mesure, 〈T, φ〉 en étant le résultat ; la définition ci-dessus représente alors la mesure expérimentale (au moins de pensée) de la dérivée du phénomène T à l'aide de l'instrument φ.

Distributions particulières

[modifier | modifier le code]

Deux classes particulières de distributions d'ordre fini sont particulièrement utiles (la première est incluse dans la seconde) :

Distributions à support compact

[modifier | modifier le code]

On note — ou — l'espace de Fréchet des fonctions indéfiniment dérivables sur Ω. Son dual topologique s'identifie de la manière suivante à l'ensemble des distributions à support compact : l'inclusion continue et d'image dense, induit une injection linéaire dont l'image est exactement le sous-espace vectoriel des distributions T telles que supp(T) soit compact, supp désignant ici le support d'une distribution.

Distributions tempérées

[modifier | modifier le code]

Les distributions tempérées sont celles qui s'étendent continûment à l'espace de Schwartz. Elles jouent un rôle très important car la notion de transformée de Fourier peut être étendue à ces dernières.

Théorèmes de structure

[modifier | modifier le code]

Les théorèmes sur la structure locale et globale des distributions ont « évidemment une grande importance aussi bien théorique que pratique » et sont « très utilisables dans la pratique même sans aucune connaissance de leur démonstration »[10], qui n'est pas élémentaire[11].

Localement, les distributions ne sont autres que les « dérivées » (au sens des distributions, et à un ordre quelconque) des fonctions continues :

Théorème — 

  • Structure locale d'une distribution« Une distribution sur ℝN est égale, dans tout ouvert Ω de ℝN d'adhérence Ω compacte, à une dérivée d'une fonction continue, dont le support peut être choisi dans un voisinage arbitraire de Ω[12]. »
  • Structure d'une distribution tempérée — Une distribution sur ℝN est tempérée si et seulement si c'est une dérivée d'une fonction continue à croissance lente, c'est-à-dire du produit d'un polynôme par une fonction continue bornée[13].
  • Structure d'une distribution à support compact« Toute distribution T [sur Ω] à support compact K peut être, d'une infinité de manières, représentée, dans tout l'espace ℝN, par la somme d'un nombre fini de dérivées de fonctions continues, ayant leurs supports dans un voisinage arbitraire U de K[14]. »

Dans l'expression d'une distribution à support compact, la somme pourrait, comme pour les distributions tempérées, être ramenée à un seul terme par intégration, au prix parfois d'une augmentation de l'ordre de dérivation (par exemple ∂(1, 0)g + ∂(0,1)h peut être transformé en ∂(1, 1)f)[15] mais surtout, en perdant la propriété de compacité du support de la fonction, « ce qui lui ôterait tout intérêt[16] ». Par exemple, la distribution de Dirac n'est la dérivée itérée d'aucune fonction continue à support compact[11].

On déduit de l'énoncé sur les distributions à support compact un analogue en remplaçant « fonctions continues » par « mesures »[14], que l'on peut améliorer, si K est « assez régulier », en remplaçant de plus « supports dans un voisinage arbitraire de K » par « supports dans K »[17]. Sans hypothèse de régularité, on peut au moins affirmer que pour toute distribution T à support compact K et toute fonction test φ, la valeur de T, φ〉 ne dépend que des restrictions à K des dérivées d'ordre ≤ p de φ, où p est l'ordre de la distribution T[18]. En appliquant cette propriété, ou bien en utilisant que l'hypothèse de régularité est satisfaite dès que K est convexe, on trouve[19] :

Distributions à support ponctuel — Soient T une distribution de support inclus dans un singleton , et p son ordre. Alors, il existe une suite multi-indicée finie de scalaires telle que

Cette suite de scalaires est unique, puisque cette décomposition de T entraîne :

À l'aide d'une partition de l'unité, la structure des distributions à support compact permet de préciser facilement[11] celle des distributions quelconques :

Structure globale d'une distribution — Toute distribution T peut être décomposée en une somme infinie convergente de dérivées de fonctions continues dont les supports sont compacts, s'éloignent indéfiniment, et sont contenus dans un voisinage arbitraire du support de T[20].

Convolution des distributions

[modifier | modifier le code]

Convolution d'une distribution par une fonction test

[modifier | modifier le code]

Le produit de convolution par une fonction test s'étend facilement des fonctions localement intégrables aux distributions.

Définition

[modifier | modifier le code]

La convoluée d'une distribution et d'une fonction test est la fonction de classe C sur ℝN définie par :

où l'antipodie sur les fonctions tests est la composition par l'homothétie z ↦ – z :

Pour , la distribution de Dirac en a, c'est-à-dire

on obtient :

Propriétés

[modifier | modifier le code]
  • La régularité de vient de celle de et ses dérivées sont données par
  • La convolution garde sa propriété de majoration du support :

En particulier si T est à support compact, alors est une fonction test, si bien que la convolution par une unité approchée convenable « nous donne un procédé linéaire régulier pour approcher une distribution par une suite de fonctions indéfiniment dérivables[21] » à supports compacts.

Dans ce cas de convolution, nous ne pouvons parler de commutativité, ni d'associativité car la fonction obtenue n'est pas nécessairement à support compact.

Convolution d'une distribution par une distribution à support compact

[modifier | modifier le code]

Définition

[modifier | modifier le code]

La convoluée d'une distribution et d'une distribution à support compact est la distribution sur ℝN définie par :

est définie sur les distributions comme la transposée de l'antipodie sur les fonctions tests :

Propriétés

[modifier | modifier le code]
  • Via l'inclusion de dans , cette convolution étend la précédente.
  • Elle a toujours la propriété de majoration du support :En particulier, l'opération de convolution est donc interne à
  • La convolution est commutative. En définissant la distribution par la formulealors
  • La convolution est associative. Soient trois distributions sur ℝN, dont au moins deux sont à support compact. Alors
  • La dérivation d'un produit de convolution s'effectue comme suit. Pour tout multi-indice
  • L'application bilinéaire qui au couple associe est continue lorsqu'on la restreint aux S à support dans un compact fixe[22].

Pour toute distribution et tout vecteur a de ℝN,

En particulier (pour a = 0), la distribution de Dirac est neutre pour la convolution, donc l'anneau commutatif est unifère.

Distributions vectorielles

[modifier | modifier le code]

Une distribution à valeurs dans l'espace vectoriel ℝm peut se définir comme un élément de ou, de façon équivalente, un élément de , les topologies produit correspondantes étant utilisées. La deuxième forme de cette définition permet d'exprimer très simplement les opérateurs de dérivation couramment utilisés dans le domaine des équations aux dérivées partielles en formulation faible et la définition de certains espaces de Sobolev, en particulier les opérateurs gradient (), divergence () et rotationnel () lorsque  ; en notant et , on a les relations,  :

Lorsque ces distributions sont définies par des fonctions, le résultat de ces dérivations est généralement constitué d'une distribution régulière plus des distributions singulières sur les supports desquelles s'expriment des discontinuités qui concernent, au moins lorsque ces supports sont des surfaces, la trace pour le gradient, la trace normale pour la divergence et la trace tangentielle pour le rotationnel. Ces décompositions sont connues sous la dénomination générique de formules de Green.

Notes et références

[modifier | modifier le code]
  1. H. Poincaré, « Sur la théorie des quanta », Journal de physique théorique et appliquée, 5e série, t. 2, p. 5−34 (chap. 6).
  2. Jean-Michel Kantor (de), « Mathématiques d'Est en Ouest – Théorie et pratique : l’exemple des distributions », p. 33-43 et Adolphe P. Yuskevitch, « Quelques remarques sur l'histoire de la théorie des solutions généralisées d'équations aux dérivées partielles et des fonctions généralisées] », p. 44-50, Gazette des mathématiciens, no 100, avril 2004.
  3. a et b (en) Philippe Blanchard et Erwin Brüning, Mathematical Methods in Physics : Distributions, Hilbert Space Operators, and Variational Methods, Springer, , 471 p. (ISBN 978-0-8176-4228-0, lire en ligne), p. 20.
  4. Comme limite inductive stricte des  : N. Bourbaki, Éléments de mathématique : Espaces vectoriels topologiques, Springer, , 368 p. (ISBN 3-540-34497-7, lire en ligne), III.9-III.10.
  5. (en) Abdellah El Kinani et Mohamed Oudadess, Distribution Theory and Applications, World Scientific, (lire en ligne), p. 19.
  6. Laurent Schwartz, Théorie des distributions, Hermann, (1re éd. 1950-1951), p. 55.
  7. Schwartz 1966, p. 51.
  8. Schwartz 1966, p. 53.
  9. Schwartz 1966, p. 54.
  10. Schwartz 1966, p. 63.
  11. a b et c (en) Robert S. Strichartz, A Guide to Distribution Theory and Fourier Transforms, World Scientific, , 226 p. (ISBN 978-981-238-430-0, lire en ligne), p. 85.
  12. Schwartz 1966, p. 82.
  13. Schwartz 1966, p. 239.
  14. a et b Schwartz 1966, p. 91.
  15. Strichartz 2003, p. 84.
  16. Schwartz 1966, p. 92.
  17. Schwartz 1966, p. 99.
  18. Schwartz 1966, p. 93.
  19. Schwartz 1966, p. 100.
  20. Schwartz 1966, p. 96.
  21. Schwartz 1966, p. 166 (voir aussi p. 75).
  22. Schwartz 1966, p. 157-158.

Laurent Schwartz, Méthodes mathématiques pour les sciences physiques, Hermann,

Sur les autres projets Wikimedia :

Articles connexes

[modifier | modifier le code]

Lien externe

[modifier | modifier le code]

[PDF](en) Lecture Notes on Real Analysis (cours de Master 1 d'introduction aux distributions) par Nicolas Lerner, professeur à Paris 6.