Définition
Un calcul pseudodifférentiel, introduit par Melrose, construit à partir des champs de vecteurs tangents au bord (le fibré b-tangent) qui organise symboles et opérateurs adaptés aux variétés à bord et aux dégénérescences au bord.
Principe
Principe
Remplacer le fibré tangent standard par le fibré b-tangent et utiliser des symboles homogènes par rapport à des covariables rescalées afin que les opérateurs engendrés par les champs b forment une algèbre stable avec des propriétés de mappage et d'indice calculables.
Démonstration
Démonstration
Sur une variété compacte à bord, le b-Laplacien (construit à partir des champs b) modélise des problèmes à bouts cylindriques ; le b-calcul fournit des paramétrices et des propriétés de mappage précises dans des espaces de Sobolev pondérés adaptés au comportement au bord.
Mauvaise application
Mauvaise application
Traiter un opérateur présentant des coefficients dégénérants au bord comme s'il appartenait au calcul pseudodifférentiel classique (en ignorant la structure b) conduit à des paramétrices incorrectes, à la perte d'estimations uniformes près du bord et à une identification erronée des propriétés de Fredholm.
Conséquence
Conséquence
Offre un cadre fonctionnel pour construire des paramétrices, démontrer la propriété de Fredholm et calculer des indices pour des b-opérateurs elliptiques, et pour analyser les asymptotiques des solutions près du bord à l'aide d'espaces pondérés et du b-symbole.
Inversion
Inversion
Abandonner la perspective b au profit du calcul classique rend les dégénérescences au bord singulières et peut faire perdre des informations essentielles sur le spectre et l'indice ; inversement, introduire une structure b quand elle n'est pas nécessaire alourdit inutilement les classes de symboles.
Limite
Limite
S'adresse aux opérateurs différentiels et pseudodifférentiels engendrés par des champs de vecteurs tangents au bord sur des variétés à bord ou à bouts cylindriques ; ne traite pas automatiquement les coins, singularités coniques ou asymptotiques de type scattering sans adaptations supplémentaires.
Tension sémantique
Tension sémantique
Le b-calcul se situe proche d'autres calculs (calcul de scattering, calcul cusp, algèbre de Boutet de Monvel) ; la tension apparaît lorsqu'il faut décider si la singularité au bord est mieux traitée par un rescalage tangent (b) ou par une algèbre d'opérateurs de bord de type transmission.
Synthèse
Synthèse
Le B-Calcul reformule l'analyse sur variétés à bord en privilégiant les champs b et les symboles rescalés, fournissant un outillage microlocal et algébrique qui capture les dégénérescences au bord, construit des paramétrices sur des espaces pondérés et éclaire les comportements asymptotiques et d'indice.