Ein Rand, der in jedem Punkt unendlich differenzierbar (C∞) ist, sodass lokale Karten C∞-Übergangsabbildungen besitzen und Tangenten- sowie Normalfelder glatt über den Rand hinweg verlaufen.

Prinzip

Die unendliche Differenzierbarkeit des Randes erlaubt die Anwendung klassischer differentialgeometrischer und analytischer Werkzeuge: lokale Parametrisierungen, wohl definierte Randkrümmungen und höherordentliche elliptische Regularität bis zum Rand.

Demonstration

Ein glattes beschränktes Gebiet in R^n mit einer C∞-definierenden Funktion zeigt, dass Lösungen elliptischer PDG mit glatten Daten C∞-Regularität bis zum Rand besitzen und geometrische Größen wie mittlere Krümmung glatte Funktionen auf dem Rand sind.

Fehlanwendung

Das Anwenden von Schlussfolgerungen für glatten Rand auf Gebiete, die nur C^k oder Lipschitz sind, kann falsche Aussagen höherer Regularität ergeben; numerische Verfahren, die auf Kontinuität der Randkrümmung beruhen, können bei fehlender Glattheit versagen.

Konsequenz

Gültig angewendet gewährt glatter Rand volle elliptische Regularität, glatte Abhängigkeit geometrischer Flüsse von Randdaten und ermöglicht Konstruktionen, die unendliche Jets benötigen, wie mikrolokale Parametrix-Entwicklungen.

Umkehrung

Die Umkehr ist ein nichtglatter Rand (C^k für endliches k, Lipschitz, polygonal oder fraktal), in dem Krümmungen undefiniert sein können, höhere Regularität versagt und singuläre Phänomene sich an den nichtglatten Stellen konzentrieren.

Abgrenzung

Anwendungsbereich sind Ränder mit C∞-Regularität; ausgeschlossen sind schwächere Regularitätsklassen (C^k), analytische Regularität ist stärker, aber verschieden, und Ränder, die nur schwach oder maßtheoretisch bekannt sind.

Semantische Spannung

Spannung besteht zwischen C∞-Glattheit und echt-analytischer Regularität: Beides impliziert unendliche Differenzierbarkeit, aber Analytizität erzwingt Potenzreihenfortsetzungs-Eigenschaften, die andere Techniken ermöglichen.

Synthese

Ein glatter Rand ist das ideale Regularitätssetting, in dem geometrische und analytische Operationen beliebiger Ordnung ausgeführt werden können, wodurch klassische Differentialgeometrie, präzise Krümmungsanalyse und volle elliptische Regularität bis zum Rand möglich werden.