Un opérateur linéaire défini par un symbole a(x, ξ) sur l'espace des phases via une intégrale oscillante ou une règle de quantification qui généralise les opérateurs différentiels en autorisant une dépendance non polynomiale en fréquence et en encodant le comportement microlocal et non local utilisé en EDP et en analyse spectrale.

Principe

Caractériser un opérateur par son symbole sur l'espace cotangent et contrôler la propagation des singularités et la régularité par des estimations sur le symbole (classes S^m et règles de calcul) plutôt que par des coefficients différentiels purement locaux.

Démonstration

Sur R^n la quantification de Kohn–Nirenberg associe à un symbole a(x, ξ) ∈ S^m l'opérateur (Op(a)u)(x)=∫ e^{i x·ξ} a(x, ξ) û(ξ) dξ; si a(x, ξ)=|ξ|^2 on retrouve le Laplacien, tandis que des a non polynomiaux produisent des laplaciens fractionnaires ou des opérateurs régularisants selon la décroissance en ξ.

Mauvaise application

Considérer comme pseudodifférentiel tout opérateur défini par un noyau ou une intégrale sans vérifier la régularité du symbole et les estimations en espace des phases, ce qui conduit à des conclusions erronées sur les propriétés de continuité ou le comportement microlocal.

Conséquence

Si le symbole satisfait les estimations appropriées, l'opérateur hérite de propriétés de continuité (bornitude en L^2, déplacement de régularité entre espaces de Sobolev, paramétrices elliptiques) et l'on peut composer, prendre l'adjoint et calculer le symbole principal pour analyser les singularités.

Inversion

Un opérateur différentiel local est le cas restreint à symbole polynomial en ξ; inverser la perspective mène à un calcul purement local en coefficients algébriques au lieu d'un calcul microlocal en fréquences.

Limite

S'applique aux opérateurs dont les noyaux admettent une description par symbole en espace des phases; exclut les opérateurs d'intégrales de Fourier globaux sans quantification de symbole, les opérateurs sur des espaces non variétés sans quantification adaptée, ou les symboles hors des classes standards sauf extensions explicites.

Tension sémantique

Conflit fréquent avec les opérateurs intégrales de Fourier : tous deux utilisent l'espace des phases, mais les opérateurs intégrales de Fourier mettent l'accent sur la phase globale et la propagation tandis que les pseudodifférentiels insistent sur le développement local du symbole et le calcul formel; confondre les deux masque la distinction propagation/ régularité microlocale.

Synthèse

Un opérateur pseudodifférentiel est la quantification microlocale d'un symbole en espace des phases fournissant un calcul qui étend les opérateurs différentiels à des dépendances en fréquence non polynomiales, permettant un contrôle précis de la régularité, de la composition et de la propagation des singularités en EDP et en analyse spectrale.