Eine pseudodifferentiale Kalkül, angepasst an Mannigfaltigkeiten mit isolierten konischen Singularitäten, das das Operatorverhalten nahe der Kegelspitze erfasst, indem Mellin-ähnliche Symbole in der radialen Variablen mit klassischen pseudodifferentialen Symbolen auf der Link gekoppelt werden; ausgelegt zur Konstruktion von Parametrix und zur Beschreibung von Abbildungseigenschaften in gewichteten Sobolev-Räumen.

Prinzip

Ersetze die üblichen Symbolentwicklungen nahe einem glatten Punkt durch eine Kombination aus radialen Mellin-Symbolen und angularen pseudodifferentialen Symbolen auf der Link, sodass das Kalkül die Dilationssymmetrie des Kegels respektiert und asymptotische Entwicklungen an der Spitze kodiert.

Demonstration

Für einen exakten metrischen Kegel (0,1)_r × Y mit einem Laplace-Typ-Operator drückt die Kegel-Algebra den Operator als r^{-2} mal eine Mellin-Familie im komplexen Dual von log r, gekoppelt mit einem Operator auf der Link Y, aus; diese Formulierung liefert Parametris und kontrolliert Asymptotik von Lösungen und Resolvantenentwicklungen.

Fehlanwendung

Die Anwendung des Standard-Pseudodifferentialkalküls unter Ignorierung der Kegelstruktur nahe einer Spitze; dies verfehlt wesentliche singuläre Terme, liefert falsche Parametrix und erfasst nicht den korrekten Definitionsbereich oder Fredholm-Eigenschaften.

Konsequenz

Mit der Kegel-Algebra erhält man präzise Parametrix, Indexformeln und Resolvantenasymptotik für elliptische Kegeloperatoren sowie eine klare Beschreibung der Definitionbereiche in gewichteten Sobolev-Skalen; sie ermöglicht die Behandlung des Rand-Spektrums (indicial roots) und der Daten selbstadjungierter Erweiterungen.

Umkehrung

Auf einer glatten Mannigfaltigkeit ohne konische Singularitäten reduziert sich die Kegel-Algebra auf das Standardkalkül; sind die Singularitäten dagegen ausgeprägter (z. B. Kanten), genügt die Kegel-Algebra nicht und es ist ein feineres Kalkül nötig.

Abgrenzung

Zielt auf isolierte konische Singularitäten oder exakte Kegelumgebungen; schließt Kanten oder Cusps aus, bei denen die Geometrie ein Kantenkalkül oder Cusp-Kalküle und andere Symbolzerlegungen verlangt.

Semantische Spannung

Nahe verwandt mit dem b-Kalkül und dem Kantenkalkül; semantische Spannung entsteht bei der Wahl des geeigneten Kalküls für eine gegebene singuläre Geometrie, da jedes unterschiedliche Variablenaufteilungen (radial vs. tangential) und Modelloperatoren betont.

Synthese

Die Kegel-Algebra ist ein maßgeschneidertes pseudodifferentielles Rahmenwerk, das Mellin-Analyse in radialer Richtung mit pseudodifferentieller Struktur auf der Link verbindet und so Parametrix und Abbildungsergebnisse liefert, die konische Asymptotik treu widerspiegeln.