Eine sprunghafte Änderung um eine ganze Zahl des Fredholm-Index einer parameterabhängigen Familie linearer Operatoren, die auftritt, wenn der Parameter Werte durchquert, bei denen Elliptizität, Randbedingungen oder die Fredholm-Eigenschaft ausfallen.

Prinzip

Der Fredholm-Index ist auf Parameterbereichen konstant, in denen die Operatoren Fredholm sind; führt ein Parameterwert zum Verlust der Elliptizität oder zur Randdegeneration, können sich die Dimensionen von Kern und/oder Korkern plötzlich ändern, wodurch ein Indexsprung entsteht, der dem Nettowechsel dieser Dimensionen entspricht.

Demonstration

Betrachte eine Familie elliptischer Randwertoperatoren L(t) auf einer Mannigfaltigkeit mit Rand, die glatt von t abhängt. Wenn bei t = t0 das Hauptsymbol in gewissen kotangentialen Richtungen nicht mehr invertierbar wird oder eine Randbedingung degeneriert, kann sich dim ker L(t) oder dim coker L(t) bei t0 ändern, sodass Index(L(t)) beim Überschreiten von t0 eine ganze Unstetigkeit zeigt.

Fehlanwendung

Jeden Spektralkreuzung eines Eigenwerts als Indexsprung zu bezeichnen; Spektralkreuzungen im kontinuierlichen Spektrum oder nicht-Fredholm-Perturbationen ändern nicht notwendigerweise den Fredholm-Index und werden so fälschlich als Indexsprung klassifiziert.

Konsequenz

Richtig erkannt signalisiert ein Indexsprung eine Änderung der Lösbarkeit: Auf beiden Seiten des Sprungs unterscheiden sich die Dimensionen der Lösungs- und Störungsräume um die Sprungszahl, was Existenz und Eindeutigkeit von Lösungen sowie notwendige Kompatibilitätsbedingungen beeinflusst.

Umkehrung

Das Umgekehrte ist eine kontinuierliche Indexsituation: Familien, die gezwungen sind, für alle Parameter elliptisch und Fredholm zu bleiben, sodass der Index konstant ist und keine ganzen Sprünge auftreten.

Abgrenzung

Gilt für Familien von Operatoren, die außer an isolierten Parameterwerten Fredholm sind, wobei diese Werte durch Verlust der Elliptizität oder Randdegeneration verursacht werden. Schließt Änderungen aus, die nur durch Bewegung des wesentlichen Spektrums ohne Fredholm-Ausfall entstehen, und schließt nicht-Fredholm-Familien aus, für die der Index nicht definiert ist.

Semantische Spannung

Häufige Verwechslung besteht zwischen Indexsprung und Spektralfluss: Der Spektralfluss zählt Vorzeichenwechsel von Eigenwerten durch Null für selbstadjungierte Familien, während der Indexsprung ganze Änderungen des Fredholm-Index erfasst und auch ohne die Spektralfluss-Perspektive auftreten kann, wenn Operatoren nicht selbstadjungiert sind oder Randbedingungen wechseln.

Synthese

Ein Indexsprung ist die ganze Änderung des Fredholm-Index einer parameterabhängigen Operatorfamilie, hervorgerufen durch isolierte Parameterwerte, bei denen Elliptizität oder Randbedingungen degenerieren; er verbindet lokale Symbol- und Randanalyse mit der Zählung von Kern- und Korkern-Dimensionen, um abrupte Änderungen der Lösbarkeit vorherzusagen.