Eine Situation, in der die Eigenschaft der eindeutigen Fortsetzung versagt: Es existiert eine nichttriviale Lösung einer PDE, die auf einer nichttrivialen Menge (offene Menge, Fläche oder Menge positiver Maßzahl) verschwindet, aber nicht identisch anderweitig verschwindet, womit klassische Fortsetzungssätze verletzt werden.

Prinzip

Eindeutige Fortsetzung beruht typischerweise auf Carleman-Abschätzungen, Analytizität oder starker elliptischer/hyperbolischer Struktur; Versagen tritt ein, wenn diese unterstützenden Hypothesen wegen rauer Koeffizienten, Degeneration des Operators oder pathologischer Potentiale, die versteckte lokalisierte Moden erlauben, nicht gegeben sind.

Demonstration

Konstruktive Gegenbeispiele für bestimmte Schrödinger-Operatoren mit rauen Potentialen zeigen eigenfunktionen mit kompaktem Träger oder rascher Abklingung; ebenso können entartete elliptische Operatoren nichttriviale Lösungen besitzen, die auf Mengen verschwinden, wo klassische Fortsetzungssätze Trivialität vorhersagen würden.

Fehlanwendung

Die Annahme eindeutiger Fortsetzung bei der Konstruktion von Steuerungs- oder Inversionsproblemen führt zu übermäßigem Vertrauen: Randmessungen können den inneren Zustand nicht bestimmen, Beobachtbarkeitsungleichungen brechen zusammen und Steuerungen basierend auf Fortsetzungsargumenten erreichen möglicherweise versteckte Moden nicht.

Konsequenz

Versagen der eindeutigen Fortsetzung kennzeichnet mögliche Nicht-Eindeutigkeit, das Vorhandensein lokalisierter oder gefangener Moden, den Zusammenbruch bestimmter inverser und steuerungstheoretischer Resultate und die Notwendigkeit zusätzlicher Daten, Regularität oder geometrischer Einschränkungen, um Eindeutigkeit wiederherzustellen.

Umkehrung

Die Umkehr ist die Wiederherstellung der eindeutigen Fortsetzung unter stärkeren Hypothesen: glatte oder analytische Koeffizienten, Positivität/Carleman-Abschätzungen oder geometrische Kontrollbedingungen, die lokalisierte Gegenbeispiele ausschließen.

Abgrenzung

Dieser Begriff gilt für PDEs und differentielle Ungleichungen in Kontexten, in denen Fortsetzungssätze zu erwarten wären; er schließt klassische analytische Kontexte aus, in denen Holmgren-ähnliche Theoreme die eindeutige Fortsetzung garantieren, und bezieht sich nicht auf unabhängige Nicht-Eindeutigkeiten durch Randbedingungen allein.

Semantische Spannung

Es bestehen Spannungen zwischen 'schwacher' und 'starker' eindeutiger Fortsetzung (Verschwinden unendlicher Ordnung vs Verschwinden auf offenen Mengen) sowie zwischen analytischer Fortsetzung und quantitativen Carleman-basierten Resultaten; das Versagen kann in jedem Sinn subtil unterschiedlich sein.

Synthese

Versagen der eindeutigen Fortsetzung bezeichnet das Vorhandensein nichttrivialer Lösungen, die sich der Erweiterung von Nullmengen entziehen wegen fehlender analytischer oder Carleman-ähnlicher Struktur, mit konkreten Folgen für Steuerung, inverse Probleme und spektrale Lokalisierung.