Ein Lösbarkeitsprinzip für lineare kompakte oder Fredholm-Operatoren, das besagt: Für Lx = f gilt entweder, dass das homogene Problem Lx = 0 nur die triviale Lösung besitzt und L auf den Zielraum abbildet (also Lx=f für jedes f lösbar ist), oder dass das homogene Problem nichttriviale Lösungen besitzt und Lx=f genau dann lösbar ist, wenn f zu jedem Element des adjungierten homogenen Lösungsraums orthogonal ist.

Prinzip

Ordnung gebend ist die endlich-dimensionale Dichotomie von Kern und Kokern für Fredholm-Operatoren: index(L)=dim ker L − dim coker L steuert die Lösbarkeit; Orthogonalität zum adjungierten Kern (Fredholm-Alternative-Bedingung) charakterisiert den Wertebereich bei nichttrivialem Kern.

Demonstration

Integralgleichungen zweiter Art auf einem Hilbertraum mit L = I − K und K kompakt. Falls 1 kein Eigenwert von K ist, ist (I−K) invertierbar und (I−K)u = f hat für jedes f eine eindeutige Lösung. Ist 1 Eigenwert, so erfordert die Lösbarkeit, dass f orthogonal zu allen Lösungen v der adjungierten homogenen Gleichung (I−K^*)v = 0 ist.

Fehlanwendung

Die Fredholm-Alternative auf nicht-Fredholm-Operatoren anzuwenden (z. B. Operatoren mit kontinuierlichem Spektrum oder unbeschränkte nicht-Fredholm-Operatoren), oder Orthogonalitätsbedingungen fälschlich als hinreichend für Eindeutigkeit statt nur für Existenz zu interpretieren, führt zu Fehlern.

Konsequenz

Gibt ein klares Kriterium zur Trennung von Existenz- und Eindeutigkeitsfragen, liefert Dimensionsbeziehungen für Lösungsräume und leitet die Konstruktion verallgemeinerter Inversen sowie Lösbarkeitsbedingungen in Randwert- und Integralproblemen.

Umkehrung

In nicht-Fredholm-Situationen (Operatoren mit wesentlichem Spektrum oder unendlichem Kokern) gibt es keine einfache Alternative: Die Lösbarkeit hängt von feineren spektralen Maßnahmen, vom Verhalten des kontinuierlichen Spektrums oder von distributionsartigen Obstruktionen ab statt einer endlichen Orthogonalitätsbedingung.

Abgrenzung

Gilt für Fredholm-Operatoren auf Banach- oder Hilberträumen und für kompakte Störungen der Identität; ausgeschlossen sind viele unbeschränkte Differentialoperatoren ohne Fredholm-Eigenschaft, Operatoren mit einwirkendem wesentlichem Spektrum und echte nichtlineare Probleme ohne passende Linearisierung.

Semantische Spannung

Spannung zwischen der Fredholm-Alternative und anderen Lösbarkeitsrahmen: Die Riesz–Schauder-Theorie für kompakte Operatoren betont das diskrete Spektrum, während Pseudo-Inverse-Ansätze parametrische Lösungsfamilien in den Vordergrund stellen; die Wahl der passenden Perspektive hängt von der Operatorenklasse ab.

Synthese

Die Fredholm-Alternative ist eine dichotome Lösbarkeitsaussage für lineare Fredholm/kompakte Operatoren: Entweder besteht Invertierbarkeit und alle rechten Seiten sind lösbar, oder es existiert ein endlichdimensionaler homogener Lösungsraum, und die Lösbarkeit ist genau durch Orthogonalität zum Adjunkten gegeben.