Utilisateur:Mhon/Delta de Dirac

L'objet mathématique que l'on nomme delta de Dirac ou souvent de manière impropre fonction delta de Dirac et que l'on note δ a été introduit par le physicien Paul Dirac. Il ne peut être défini de manière rigoureuse que dans le cadre de la théorie des distributions ou dans un cadre restreint, comme une mesure.

Cependant, le delta de Dirac est souvent représentée de manière informelle comme une fonction dégérére qui serait nulle partout sauf en et dont l'intégrale vaudrait . C'est une représentation analogue à ce qu'en physique on appelle une masse de Dirac pour désigner une masse ou une charge ponctuelle, sans dimension d'espace.

Défintions

modifier

Définition formelle

modifier

Le delta de Dirac peut être défini de manière formelle sous forme intégrale de la manière suivante. Pour une fonction définie sur et continue dans un voisinage de , on a

Cette définition a été introduite par Paul Dirac dans les années 1920 pour ses travaux de recherche en mécanique quantique. Bien qu'il est facilement démontrable qu'une fonction avec une telle propriété ne peut pas exister, cette définition s'est révélée très utile en pratique et a été rapidement adoptée en physique. Bien qu'il était clair pour Paul Dirac que ce n'était pas une fonction au sens strict, son idée était que sa valeur au point 0 était infinie d'un niveau « suffisamment élevé » pour permettre la propriété de cette définition. Une formalisation mathématiquement correcte du delta de Dirac n'a été possible que bien des années plus tard dans le cadre de la théorie des distributions introduite par Laurent Schwartz.

Le delta de Dirac comme distribution

modifier

Une définition rigoureuse du delta de Dirac dans le cadre de la théorie des ditributions consiste le présenter comme une forme linéaire continue sur l'espace noté des fonctions test à valeur réelle définies sur un ensemble , infiniment dérivables et à support compact. Par définition, à une fonction test , la distribution de Dirac fait correspondre la valeur . On note

.

C'est une distribution à support compact, dont le support est réduit à . Par extension, pour un point quelconque , on peut également définir la distribution de Dirac par

.

Dans ce cas, le support de est le point .

Le delta de Dirac comme mesure

modifier

Soit un espace mesurable et . On appelle mesure de Dirac au point (ou encore masse de Dirac au point ) la mesure notée sur telle que

.

Représentations

modifier

Généralités

modifier

La fonction δ peut être vue comme limite d'une suite (δa) de fonctions

Certains appellent de telles fonctions δa des fonctions « naissantes » de δ. On peut construire un exemple de telle suite de fonctions en utilisant des fonction gaussiennes

Celles-ci sont très utilisées en physique.

Mais si la limite est employée de manière trop imprécise, des non-sens peuvent en résulter, comme d’ailleurs dans n'importe quelle branche de l’analyse en mathématique.

La notion d’approximation de l’unité, a une signification particulière en analyse harmonique, en rapport avec la limite d’une suite qui converge vers un élément neutre pour l'opération de convolution (sur des groupes comme par exemple le groupe unité). Ici l’hypothèse et faite que la limite est celle d’une suite de fonctions positives.

Exemple élémentaire

modifier

Pour les non-mathématiciens, la «dérivation» de la fonction de Heaviside ou fonction unité, ou fonction échelon, qui conduit au deuxième exemple donné dans le paragraphe suivant, offre une bonne introduction à la fonction de Dirac ou impulsion.

Pour cela, on considère une suite de fonctions définies par

Les dérivées δa(x) valent 1 / 2a entre x0-a et x0+a : l'aire enfermée par la courbe vaut 1.

A partir de là, on peut écrire

Il existe donc un nombre c compris entre x0-a et x0+a tel que

Cette expression se réduit à f(c) qui tend vers f(x0) lorsque a tend vers 0, ce qui démontre pour la fonction de Dirac l'équation de définition de la distribution de Dirac :

Autres exemples

modifier

Quelques fonctions de limite δ sont :

Applications

modifier

Probabilités

modifier

Une densité de probabilité, par exemple celle de la loi normale, est représentée par une courbe qui enferme une aire égale à 1. Si on fait tendre sa variance vers 0, on obtient à la limite un delta qui représente la densité de probabilité d'une variable certaine avec la probabilité 1. Il s'agit là d'une curiosité qui présente un intérêt pratique limité mais elle se généralise d'une manière intéressante.

La manière la plus simple pour décrire une variable discrète qui prend des valeurs appartenant à un ensemble dénombrable consiste à utiliser sa fonction de probabilité qui associe une probabilité à chacune des valeurs. On peut aussi considérer une pseudo-densité de probabilité constituée par une somme de fonctions de Dirac associées à chacune des valeurs avec un poids égal à leurs probabilités. Dans ces conditions, les formules intégrales qui calculent les espérances des variables continues s'appliquent aux variables discrètes en tenant compte de l'équation rappelée ci-dessus.

Analyse des enregistrements

modifier

Pour déterminer le contenu de l'enregistrement d'un phénomène physique en fonction du temps, on utilise généralement la transformation de Fourier. De nos jours, les enregistrements analogiques continus de phénomènes physiques ont cédé la place à des enregistrements numériques échantillonnés avec un certain pas de temps.

La multiplication d'une fonction continue par un «peigne de Dirac», somme de deltas équidistants, a une transformée de Fourier égale à l'approximation de celle de la fonction d'origine par la méthode des rectangles. En utilisant un développement en série de Fourier du peigne, on montre que le résultat donne la somme de la transformée vraie et de toutes ses translatées par la fréquence d'échantillonnage. Si celles-ci empiètent sur la transformée vraie, c'est-à-dire si le signal contient des fréquences supérieures à la moitié de la fréquence d'échantillonnage, le spectre est replié. Dans le cas contraire il est possible de reconstituer exactement le signal par la formule de Shannon.


Propriétés

modifier

Références

modifier