Un calcul pseudodifférentiel microlocal développé pour analyser des opérateurs différentiels sur des variétés présentant des singularités de type arête ou des frontières stratifiées ; il organise les symboles et classes d'opérateurs selon une décomposition base–fibre près de l'arête et capture le comportement anisotrope transverse et tangent à l'arête.

Principe

Décomposer localement la géométrie près d'une arête en produit d'une base (l'arête) et d'une fibre (conique ou modèle) ; construire des hiérarchies de symboles pseudodifférentiels le long de la base et de type Mellin/conique transverse pour que les parametrix reflètent la régularité mixte.

Démonstration

Sur une variété dont un voisinage local est B × C(F) avec B l'arête et C(F) un cône sur la fibre F, le calcul d'arête fournit des classes d'opérateurs et des parametrix pour les opérateurs elliptiques d'arête, donnant des propriétés de mappage entre espaces de Sobolev pondérés adaptés à la régularité sur la base et la fibre.

Mauvaise application

Employer seulement l'algèbre des cônes ou le calcul pseudodifférentiel standard sur une géométrie réellement en arête ; cette erreur ne saisit pas le couplage entre le comportement pseudodifférentiel tangent sur la base et les singularités coniques transverses, menant à des conclusions incorrectes sur Fredholm et la régularité.

Conséquence

Le calcul d'arête permet d'obtenir des parametrix précis, des invariants symboliques et des énoncés d'indice pour les opérateurs elliptiques d'arête et fournit une description microlocale de la propagation et de la régularité le long et au travers de l'arête ; il est essentiel pour résoudre des problèmes spectraux et aux limites en géométries stratifiées.

Inversion

Si la singularité se réduit à un cône isolé (pas de base), le calcul d'arête se simplifie en algèbre des cônes ; inversement, sur une variété lisse sans stratification il se réduit au calcul pseudodifférentiel standard.

Limite

Destiné aux variétés avec singularités de type arête ou frontières fibrées où existe une claire décomposition base–fibre ; il ne s'applique pas directement à des stratifications plus compliquées sans versions itérées ni à des contextes non microlocaux.

Tension sémantique

Entrecroisé avec l'algèbre des cônes et le b-calculus ; la tension sémantique tient au choix du calcul adapté pour modéliser une géométrie singulière donnée (arête vs cône vs bord) car chaque cadre impose des structures symboliques et des cadres fonctionnels différents.

Synthèse

Le calcul d'arête est un cadre microlocal hybride qui scinde les variables en directions arête (base) et transverses (fibre) et assemble des classes de symboles pseudodifférentiels et de type Mellin pour construire des parametrix et saisir la régularité anisotrope propre aux singularités d'arête.