Une fonction généralisée définie comme un fonctionnel linéaire continu sur un espace de fonctions test qui envoie une fonction test sur sa valeur en un point donné ; ce n'est pas une fonction ordinaire mais une distribution possédant la propriété de criblage.

Principe

Agir par évaluation : pour une fonction test phi et un point a, la delta en a renvoie phi(a), et la linéarité plus la continuité sur l'espace test la caractérisent.

Démonstration

Pour toute fonction lisse à support compact f, l'intégrale de f(x) fois delta(x - a) sur le domaine vaut f(a) ; des suites de fonctions normalisées et concentrées (mollificateurs) convergent vers la delta au sens distributionnel.

Mauvaise application

Traiter la delta comme une fonction définie ponctuellement et tenter des opérations algébriques telles que l'élévation au carré ponctuelle sans cadre de renormalisation conduisent à des contradictions.

Conséquence

Permet de représenter des sources ponctuelles, des réponses impulsionnelles, des données initiales concentrées en points et d'exprimer de façon concise les formules de Green en théorie des opérateurs linéaires.

Inversion

Approcher la delta par une suite de fonctions régulières montre la perspective opposée : une limite de fonctions véritables plutôt qu'une fonction élémentaire en elle-même.

Limite

Définie comme distribution sur un espace choisi de fonctions test (par exemple C_c^9), les produits avec d'autres distributions ou les manipulations non définies sont hors du domaine sûr sans structure supplémentaire.

Tension sémantique

Souvent confondue avec le delta de Kronecker discret : ce dernier agit sur des suites et est un tableau indexé véritable ; la delta de Dirac est une distribution sur l'espace continu agissant sur des fonctions test.

Synthèse

La distribution delta de Dirac est un fonctionnel linéaire évaluant les fonctions test en un point, réalisée comme limite distributionnelle de suites concentrées et servant de modèle canonique de source ponctuelle en théories continues.