Der lineare (oft unendlichdimensionale) Operator U, der Observablen eines dynamischen Systems durch Zusammensetzung mit dem Fluss oder der Abbildung vorwärtsschiebt: (U g)(x)=g(f(x)) für eine diskrete Abbildung x↦f(x) oder (U^t g)=g∘Φ^t für einen kontinuierlichen Fluss Φ^t; er kodiert die nichtlineare Zustandsentwicklung als lineare Wirkung auf Funktionen des Zustandes.

Prinzip

Pushforward von Observablen: Anstatt Punkte im Zustandsraum zu entwickeln, betrachtet man, wie skalare Observablen transportiert werden; der Koopman‑Operator ist linear, weil die Komposition mit der deterministischen Abbildung linear auf dem Funktionenraum wirkt.

Demonstration

Bei einer Kreisrotation θ_{n+1}=θ_n+ω mod 2π wirkt der Koopman‑Operator auf Fourier‑Observablen e^{ikθ} durch Multiplikation mit e^{ikω}; seine Eigenfunktionen sind Fourier‑Modi und Eigenwerte sind Phasenfaktoren e^{ikω}, die persistente Frequenzen offenbaren.

Fehlanwendung

Zu erwarten, dass eine auf eine endliche Dimension getrimmte Approximation (Basisprojektion) des Koopman‑Operators die gesamte Dynamik erfasst, ohne Abschluss oder Konvergenz zu prüfen, führt zu Modellfehlern und Scheinkomponenten.

Konsequenz

Ermöglicht die Anwendung linearer Spektraltheorie auf nichtlineare Systeme: Eigenfunktionen und Eigenwerte von U identifizieren kohärente Strukturen, Invarianzmengen und oszillatorische Komponenten; daraus entstehen datengetriebene Verfahren wie Dynamic Mode Decomposition.

Umkehrung

Der Perron–Frobenius‑Operator ist das duale Objekt, das auf Dichten (Maßen) durch Pullback wirkt; er betont die Ensemble‑Entwicklung statt der Observablen und liefert komplementäre spektrale Information.

Abgrenzung

Definiert auf gewählten Observablenräumen (z. B. L^2, stetige Funktionen); Eigenschaften und Spektraldekomposition hängen von dieser Wahl und von invarianten Maßen ab — endlichdimensionale lineare Repräsentationen sind meist Approximationen und können für generische nichtlineare Systeme versagen.

Semantische Spannung

Vergleich mit der Linearisierung im Zustandsraum (Jacobian): Koopman ist eine globale lineare Darstellung im Raum der Observablen, während die Jacobian‑Linearisierung eine lokale lineare Approximation der Trajektorien im Zustandsraum darstellt.

Synthese

Der Koopman‑Operator ist der lineare Pushforward auf Observablen, der durch die Dynamik induziert wird und nichtlineare Zustandsentwicklung in eine lineare Operatorwirkung verwandelt, deren Spektrum dynamische Muster offenlegt.