Un fonctionnel linéaire sur un espace de fonctions tests qui généralise les fonctions ordinaires pour inclure des objets idéalisés comme la distribution de Dirac et ses dérivées ; les distributions agissent en envoyant chaque fonction test sur un nombre et permettent la différentiation et d'autres opérations linéaires au-delà des fonctions définies point par point.

Principe

Les distributions sont des éléments du dual d'un espace de fonctions tests choisi (par ex. Schwartz S ou C_c^∞), et des opérations comme la différentiation sont définies par dualité ; ce cadre permet un traitement rigoureux des objets singuliers et des états propres non normalisables en mécanique quantique.

Démonstration

La distribution de Dirac δ(x-a) est définie par ⟨δ,φ⟩=φ(a) et modélise une localisation de position parfaite ; l'onde plane en espace des impulsions correspond à une distribution tempérée dont la transformée de Fourier se relie à δ et fournit les fonctions propres distributionnelles d'opérateurs à spectre continu.

Mauvaise application

Multiplier des distributions sans qualification (par ex. considérer δ(x)2 comme une fonction ordinaire) ou insérer des distributions dans des expressions non linéaires sans régularisation ; ignorer le choix requis de l'espace de fonctions tests et les conditions de continuité lors de manipulations distributionnelles.

Conséquence

Les distributions permettent de représenter et manipuler des états idéalisés et des fonctions de Green, de différencier des solutions singulières d'équations différentielles et de justifier des manipulations formelles (par ex. transformées de Fourier d'ondes planes) lorsqu'elles sont replacées dans un contexte fonctionnel-analytique adapté.

Inversion

Les fonctions ordinaires (L1, L2, fonctions continues) qui sont définies point par point et stables sous multiplication et autres opérations non linéaires ; des suites de fonctions ordinaires approchant une distribution (mollificateurs) fournissent une inversion explicite vers des fonctions régulières.

Limite

Valable pour les opérations linéaires et la différentiation définie par dualité ; la multiplication des distributions n'est pas généralement définie sans structure supplémentaire (algèbres de Colombeau ou renormalisation) ; le choix de l'espace test (tempéré vs support compact) restreint les distributions et transformées autorisées.

Tension sémantique

Tension entre l'usage informel des physiciens qui traitent les distributions comme des fonctions (par ex. voir δ(x) comme une fonction) et la formulation mathématique précise en tant qu'espace dual ; tension aussi entre les distributions tempérées adaptées à l'analyse de Fourier et des distributions plus singulières nécessitant d'autres espaces tests.

Synthèse

Une distribution est une fonction généralisée définie comme un fonctionnel linéaire continu sur un espace de fonctions tests ; elle représente rigoureusement des objets idéalisés comme δ et les ondes planes, supporte les opérations linéaires et la différentiation par dualité, et doit être manipulée en respectant le choix de l'espace test et les limites de multiplication.