Eine Algebra von Operatoren, die innere pseudodifferentiale Operatoren mit Randoperatoren (Spur-, Poisson- und singulären Green-Teilen) kombiniert und klassische elliptische Randprobleme auf Mannigfaltigkeiten mit Rand sowie deren Parametrizes kodiert.

Prinzip

Bilde eine unter Komposition modulo Glättungsoperatoren abgeschlossene Algebra, indem Randoperatoren an den pseudodifferentiellen Kalkül angefügt werden, sodass Randwertprobleme Parametrizes innerhalb der Algebra besitzen und Fredholm-Theorie mikrolokal durchgeführt werden kann.

Demonstration

Das Dirichlet-Problem für einen klassischen elliptischen Operator auf einer kompakten Mannigfaltigkeit mit Rand lässt sich durch einen Boutet-de-Monvel-Blockoperator darstellen; die Konstruktion einer inversen bis auf Glättung in der Algebra liefert ein Parametrix und zeigt Fredholm-Eigenschaften in Sobolev-Räumen.

Fehlanwendung

Zu erwarten, dass die Algebra beliebige nichtlokale oder hochsinguläre Randbedingungen, Mannigfaltigkeiten mit Ecken oder Operatoren ohne Transmissionseigenschaft behandelt, führt zu Fehlern: die Algebra setzt bestimmte Abbildungsarten und Symbolverhalten am Rand voraus.

Konsequenz

Ist die Algebra anwendbar, erhält man explizite Parametrizes, präzise Abbildungseigenschaften randwertiger Operatoren, Indexformeln und ein mikrolokales Rahmenwerk zur Untersuchung elliptischer Randprobleme und der Regularität bis zum Rand.

Umkehrung

Beschränkt man sich auf den inneren pseudodifferentiellen Kalkül, bleiben Randbedingungen extern und Parametrizes existieren möglicherweise nicht in diesem Kalkül; umgekehrt führt die Anwendung von Boutet-de-Monvel bei fehlender Transmission zu Operatoren außerhalb der algebraischen Abschließung.

Abgrenzung

Entwickelt für klassische pseudodifferentiale Operatoren auf glatten Mannigfaltigkeiten mit glattem Rand, mit Randoperatoren vom Typ Spur, Poisson und Green und mit Symbolen, die Kompatibilitätsbedingungen (Transmission) erfüllen; schließt Ecken, nichtklassische singuläre Symbole und viele nichtlokale Randregeln ohne Erweiterung aus.

Semantische Spannung

Es besteht Spannung zwischen der Boutet-de-Monvel-Algebra und Kalkülen, die reskaliertes tangentiales Verhalten (b-Kalkül) oder Scattering-Asymptotik betonen; außerdem beruht die Algebra auf der Transmissionseigenschaft, die nicht für alle Pseudodifferentialoperatoren gegeben ist.

Synthese

Die Boutet-de-Monvel-Algebra verbindet innere pseudodifferentiale Operatoren mit Randspuren, Poisson- und Green-Anteilen zu einer kompositionstauglichen Algebra, die klassische elliptische Randprobleme realisiert, Parametrizes konstruiert und mikrolokale Kontrolle bis zum Rand liefert.