Étude des singularités des distributions et des solutions d'EDP au niveau combiné position–fréquence (espace des phases) à l'aide d'outils tels que le front d'onde, les opérateurs pseudodifférentiels et les intégrales de Fourier, et la géométrie symplectique pour suivre la propagation et l'interaction des singularités.

Principe

Localiser simultanément en espace et en fréquence : les singularités se décrivent par leur position et les directions du cotangent (front d'onde), et leur propagation sous EDP linéaires suit le flux des bicharactéristiques dans l'espace des phases déterminé par le symbole principal ; l'ellipticité microlocale assure la régularité locale en espace des phases.

Démonstration

Pour l'équation des ondes sur une variété lisse, les singularités des données initiales se propagent le long des null‑bicharactéristiques ; l'emploi d'un parametrix pseudodifférentiel permet de contrôler le front d'onde et de démontrer la propagation à vitesse finie et les lois de réflexion/transmission aux interfaces lisses.

Mauvaise application

Se fier uniquement à la transformée de Fourier ponctuelle ou à une localisation purement spatiale en négligeant l'information directionnelle en fréquence ; ou utiliser la calcul pseudodifférentiel de façon heuristique sans vérifier les classes de symboles et l'ellipticité microlocale, ce qui conduit à des conclusions erronées sur la propagation.

Conséquence

Fournit des théorèmes de régularité et de propagation précis, permet la construction de parametrix, clarifie les phénomènes de diffusion et de diffraction, et relie le comportement des EDP à des invariants symplectiques/topologiques employés en théorie de l'indice et en correspondances quantique/classique.

Inversion

Une analyse purement locale (en espace physique) ignorant le contenu fréquentiel ne peut résoudre les singularités directionnelles ni la propagation le long de bicharactéristiques ; l'analyse harmonique globale saisit la fréquence mais perd la localisation spatiale nécessaire pour les interfaces/conditions aux limites.

Limite

S'applique principalement aux EDP linéaires, aux distributions et aux opérateurs linéaires qui admettent un calcul de symboles (cadre des pseudodifférentiels/OPFI) ; elle est moins directement applicable aux EDP entièrement non linéaires sans linéarisation ni aux modèles purement probabilistes sans description en espace des phases.

Tension sémantique

Recoupe l'analyse harmonique et l'optique géométrique : l'analyse harmonique met l'accent sur les décompositions fréquentielles globales, l'optique géométrique sur l'asymptotique haute fréquence ; l'analyse microlocale se distingue en combinant position locale et direction fréquentielle pour résoudre des structures singulières.

Synthèse

L'analyse microlocale est le calcul en espace des phases qui décrit où et dans quelles directions les solutions perdent leur régularité, utilisant des méthodes symboliques et la dynamique symplectique pour prédire et contrôler la propagation, l'interaction et la résolution des singularités.