Ein Rand, der lokal durch reell-analytische Funktionen definiert ist, sodass in der Umgebung jedes Punktes die definierenden Funktionen konvergente Potenzreihen besitzen und der Rand lokal die Nullstelle solcher analytischen Funktionen ist.

Prinzip

Reell-analytische Regularität bringt rigide Fortsetzungseigenschaften über die unendliche Differenzierbarkeit hinaus: lokale Potenzreihenexpansion kontrolliert eindeutige Fortsetzung, erlaubt analytische Fortsetzungsmethoden und schränkt die mögliche lokale Geometrie stärker ein als C∞.

Demonstration

Als Demonstration erlaubt ein Gebiet mit reell-analytischer definierender Funktion in R^n Spiegelungsargumente und analytische Fortsetzung für Lösungen elliptischer Gleichungen, was oft zur Folge hat, dass Randdaten, die bis unendlicher Ordnung verschwinden, auch in einer Umgebung verschwinden.

Fehlanwendung

Analytische Eigenschaften aus bloßer C∞-Glattheit abzuleiten (etwa globale analytische Fortsetzung oder Determiniertheit endlichen Grades zu erwarten) ist ein Missbrauch; C∞-Daten müssen keine konvergenten Potenzreihen erfüllen.

Konsequenz

Ist die Annahme erfüllt, liefert die analytische Grenze stärkere Starrheit: Eindeutigkeit analytischer Fortsetzung harmonischer oder holomorpher Objekte, Anwendbarkeit komplexanalytischer Techniken in geeigneten Situationen und scharfe Struktur singulärer Entwicklungen.

Umkehrung

Die Umkehr ist ein Rand, der zwar C∞, aber nicht analytisch ist; unendliche Jets existieren, stammen jedoch nicht aus konvergenten Potenzreihen, sodass analytische Fortsetzung und verwandte Starrheitsphänomene ausfallen.

Abgrenzung

Geltungsbereich sind lokal reell-analytische Ränder; ausgeschlossen sind lediglich glatte (C∞) Ränder ohne konvergente Reihenrepräsentation und komplex-analytische Strukturen, sofern der reell-analytische Rahmen nicht erweitert wird.

Semantische Spannung

Spannung besteht zwischen analytischer und glatter Kategorie: Beide erlauben Ableitungen beliebiger Ordnung, aber Analytizität erfordert zusätzlich konvergente Taylorreihen, was qualitativ andere Fortsetzungs- und Eindeutigkeitsaussagen nach sich zieht.

Synthese

Eine analytische Grenze ist eine strengere Regularitätsbedingung als Glattheit: Durch die Forderung lokaler konvergenter Potenzreihendarstellungen erzeugt sie Starrheit und Fortsetzungseigenschaften, die die geometrische und analytische Kontrolle in Randnähe schärfen.