Die Fredholm-Determinante det(I+K) ist ein Skalar, definiert für Spurklasse-(nukleare) Operatoren K auf einem Hilbertraum, konstruiert als konvergentes Produkt ∏_j (1+λ_j) über Eigenwerte λ_j von K (mit algebraischer Vielfachheit), bzw. äquivalent durch det(I+K)=exp(Tr log(I+K)). Sie charakterisiert die Invertierbarkeit von I+K und die analytische Parameterabhängigkeit.

Prinzip

Kompaktheits- und Spurklasse-Eigenschaften sichern die Konvergenz des Spektralprodukts und die Existenz analytischer Erweiterungen; Nullstellen von det(I+K) entsprechen −1 im Spektrum von K, was Nichtinvertierbarkeit und das Vorhandensein von Eigenwerten signalisiert.

Demonstration

Für einen Integraloperator K auf L^2 mit quadratintegrierbarem Kernel k(x,y) in der Spurklasse ist die Fredholm-Determinante eine ganze Funktion eines spektralen Parameters, deren Nullstellen Eigenwerte lokalisieren und Resonanzen in Streuproblemen bestimmen.

Fehlanwendung

Das Produkt ∏(1+λ_j) auf einen kompakten Operator anzuwenden, der nicht zur Spurklasse gehört und für den ∑|λ_j| divergiert, führt zu einem divergenten unendlichen Produkt und ungültigen Schlüssen über Spektrum oder Invertierbarkeit.

Konsequenz

Fredholm-Determinanten ermöglichen analytische Fortsetzungen, Determinantenidentitäten (z. B. Spurformeln), das Zählen von Eigenwerten und das parametrische Verfolgen spektraler Übergänge in Familien kompakter Störungen.

Umkehrung

In endlichen Dimensionen liefert die Determinante einer Matrix die Invertierbarkeit direkt aus den Einträgen; die Fredholm-Determinante erweitert dieses Konzept auf unendliche Dimensionen, verlangt jedoch Operator-Klassen-Annahmen und spektrale Regularisierung.

Abgrenzung

Definiert für Spurklasse-Operatoren; für Operatoren außerhalb der Spurklasse verwendet man reguläre Determinanten (z. B. Carleman- oder ζ-Regularisierung) oder andere spektrale Invarianten. Die Wahl des Logarithmus-Branches ist zu kontrollieren.

Semantische Spannung

Analog zum charakteristischen Polynom in endlichen Dimensionen, unterscheidet sie sich jedoch in analytischer Struktur und Geltungsbereich: die Fredholm-Determinante ist unter Operator-Klassenannahmen eine analytische Funktion, kein Polynom, und erfordert Spurklasse-Annahmen, die bei Matrizen trivial sind.

Synthese

Ein unendlichdimensionales Determinantenäquivalent für Spurklasse-Perturbationen der Identität, das spektrale Nullstellen kodiert, die Invertierbarkeit von I+K steuert und analytische Werkzeuge für Operatorfamilien liefert.