Ein pseudodifferentielles Kalkül, eingeführt von Melrose, das aus den am Rand tangentialen Vektorfeldern (dem b-Tangentialbündel) aufgebaut ist und Symbole sowie Operatoren anordnet, die an Mannigfaltigkeiten mit Rand und Randdegenerierungen angepasst sind.

Prinzip

Ersetze das standardmäßige Tangentialbündel durch das b-Tangentialbündel und verwende symmetrische homogene Symbole bezüglich reskalierter Kovariablen, so dass von b-Vektorfeldern erzeugte Operatoren eine abgeschlossene Algebra mit berechenbaren Abbildungs- und Indexeigenschaften bilden.

Demonstration

Auf einer kompakten Mannigfaltigkeit mit Rand modelliert der b-Laplacian (aus b-Vektorfeldern konstruiert) Probleme mit zylindrischen Enden; der b-Kalkül liefert Parametrizes und präzise Abbildungseigenschaften in gewichteten Sobolev-Räumen, die das Randverhalten erfassen.

Fehlanwendung

Behandelt man einen am Rand degenerierenden Operator wie einen klassischen Pseudodifferentialoperator und ignoriert die b-Struktur, führt das zu falschen Parametrizes, fehlenden einheitlichen Abschätzungen nahe dem Rand und fehlerhafter Bestimmung der Fredholm-Eigenschaften.

Konsequenz

Stellt einen funktionalen Rahmen zur Konstruktion von Parametrizes, zum Beweis der Fredholm-Eigenschaft und zur Berechnung von Indizes für elliptische b-Operatoren bereit und erlaubt die Analyse der Asymptotik von Lösungen nahe dem Rand mithilfe gewichteter Räume und des b-Symbols.

Umkehrung

Wenn man die b-Perspektive aufgibt und den klassischen Kalkül benutzt, erscheinen Randdegenerationen als singulär und wichtige spektrale bzw. Indexinformationen gehen verloren; umgekehrt verkompliziert die unnötige Einführung der b-Struktur die Symbolklassen ohne Vorteil.

Abgrenzung

Richtet sich an differentielle und pseudodifferenzielle Operatoren, die von tangentialen Vektorfeldern am Rand auf Mannigfaltigkeiten mit Rand oder zylindrischen Enden erzeugt werden; behandelt nicht automatisch Ecken, konische Singularitäten oder scattering-ähnliche Asymptotik ohne Erweiterungen.

Semantische Spannung

Der b-Kalkül steht nahe bei anderen Kalkülen (Scattering-Kalkül, Cusp-Kalkül, Boutet-de-Monvel-Algebra); Spannung entsteht bei der Entscheidung, ob eine Randsingularität besser durch tangentiale Reskalierung (b) oder durch eine Transmissionstyp-Algebra behandelt werden sollte.

Synthese

Der B-Kalkül setzt die Analyse auf Mannigfaltigkeiten mit Rand durch Priorisierung der b-Vektorfelder und reskalierter Symbole in eine kohärente mikrolokale und algebraische Sprache um, die Randdegenerationen erfasst, Parametrizes in gewichteten Räumen liefert und Index- sowie Asymptotikfragen klärt.