Symbole d'un opérateur différentiel
En mathématiques, le symbole d'un opérateur différentiel est le polynôme obtenu à partir d'un opérateur différentiel linéaire en remplaçant, grosso modo, chaque dérivée partielle par une indéterminée. Le symbole d'un opérateur différentiel a d'importantes applications en analyse de Fourier puisqu'il représente l'effet de l'opérateur sur le spectre d'une fonction. Pris en sens inverse, ce lien conduit à une notion plus générale d'opérateur pseudo-différentiel.
Le terme de plus haut degré du symbole, appelé symbole principal, contrôle presque complètement le comportement qualitatif des solutions de l'équation aux dérivées partielles linéaire correspondante à l'opérateur différentiel. Les équations aux dérivées partielles elliptiques peuvent être caractérisées comme celles dont le symbole principal correspondant ne s'annule jamais. Dans l'étude des équation aux dérivées partielles hyperboliques, les zéros du symbole principal correspondent aux caractéristiques de l'équation.
La notion d'opérateur différentiel s'étend au cadre des variétés, mais les coefficients sont modifiés lors des changements de cartes. On arrive cependant à définir le symbole principal sous forme d'un tenseur symétrique, ce qui permet de retrouver les concepts d'opérateur pseudo-différentiels, d'opérateur elliptique[1]...
Définition
Soit P un opérateur différentiel linéaire d'ordre k dans Rd. Alors P est un polynôme par rapport à la dérivation D, qui peut s'écrire à l'aide de multi-indices sous la forme
Le symbole de P est le polynôme p défini par
Le symbole principal est la partie de plus haut degré de p notée σP et définie par
Le symbole de P apparait naturellement en lien avec la transformée de Fourier. Soit f une fonction appartenant à l'espace de Schwartz. Alors, par la formule d'inversion de Fourier,
Cela montre que P peut se voir comme un multiplicateur de Fourier. Ce genre de considérations est à la base de la notion d'opérateurs pseudo-différentiels.
Notes et références
- (en) H. Blaine Lawson (en) et Marie-Louise Michelsohn, Spin Geometry, PUP, (ISBN 978-0-691-08542-5).
Bibliographie
- L. Hörmander, The analysis of linear partial differential operators I, vol. 256, Springer, coll. « Grundl. Math. Wissenschaft. », , 391 p. (ISBN 3-540-12104-8, DOI 10.1007/978-3-642-96750-4, MR 0717035).
- R.O. Wells, Differential analysis on complex manifolds, Springer-Verlag, (ISBN 0-387-90419-0).