Eine Integralgleichung mit festen Integrationsgrenzen, unabhängig vom Auswertungspunkt, typischerweise ∫_{a}^{b} K(x,y)φ(y) dy = f(x) (1. Art) oder φ(x) − λ∫_{a}^{b} K(x,y)φ(y) dy = f(x) (2. Art), die häufig zu kompakten Operatoren auf Funktionsräumen führt.

Prinzip

Feste Integrationsgrenzen erzeugen globale Operatoren, deren spektrale Eigenschaften analysierbar sind; unter Annahmen wie Quadratintegrierbarkeit oder Stetigkeit von K ist der zugehörige Operator oft kompakt, was zu diskreten Spektren und Fredholm-Theorie (Index, Alternative) führt.

Demonstration

Klassisches Beispiel: Fredholm-Gleichung 2. Art φ(x)=f(x)+λ∫_{0}^{1} K(x,y)φ(y) dy; ist K auf [0,1]^2 stetig, ist der Integraloperator kompakt auf C[0,1], was Eigenentwicklungen und numerische Nyström-Discretisierungen ermöglicht.

Fehlanwendung

Die Annahme von Invertierbarkeit oder Lösungsexistenz für beliebiges λ ohne Prüfung des Fredholm-Determinanten oder Index; Kerne, die Kompaktheitsannahmen verletzen, so zu behandeln, als gelte Fredholm-Theorie, führt zu falschen spektralen Schlüssen.

Konsequenz

Unter Fredholm-Voraussetzungen existiert eine ausgereifte Lösungstheorie: endlichdimensionale Nullräume, Fredholm-Alternative verknüpft homogene und inhomogene Lösbarkeit, und Stabilität unter Störungen, die numerische Approximationen mittels endlich-rangiger Diskretisierungen stützt.

Umkehrung

Im Gegensatz zu Volterra-Problemen sind Fredholm-Gleichungen global und erlauben kein einfaches Vorwärts-Marschieren; ihre Inversion hängt von globalen spektralen Informationen ab und kann nichttriviale Nullräume oder Resonanzen bei bestimmten Parametern aufweisen.

Abgrenzung

Die Fredholm-Eigenschaft bezieht sich auf Integralgleichungen mit Integralen über feste, kompakte Bereiche und auf Operatoren mit kompaktähnlichen Eigenschaften; sie schließt variable Grenzfälle (Volterra) und Operatoren mit geeignetem wesentlichen Spektrum aus.

Semantische Spannung

Spannung besteht zwischen Fredholm-Integralgleichungen und Randintegralformulierungen: Beides kann bei elliptischen Problemen kompakte Randoperatoren liefern, unterscheidet sich jedoch in Bereich (Volumen vs Rand) und im Umgang mit singulären Kernen und Sprungrelationen.

Synthese

Eine Fredholm-Integralgleichung ist eine feste-Grenzen-Integralrelation, die einen globalen linearen Operator definiert, der auf Standard-Funktionsräumen oft kompakt ist; die Fredholm-Theorie liefert diskrete Spektren, Index- und Lösbarkeitsresultate, die analytische und numerische Lösungsverfahren begründen.