Ein linearer Operator, der Dichten unter einer dynamischen Abbildung vorwärts treibt und beschreibt, wie Wahrscheinlichkeitsverteilungen durch Transport der Masse gemäß dem inversen Jacobian der Abbildung evolvieren.

Prinzip

Für eine messbare Transformation wirkt der Perron–Frobenius-Operator L auf Maßen oder Dichtefunktionen ρ so, dass ∫_A Lρ = ∫_{f^{-1}(A)} ρ gilt; er kodiert die statistische Entwicklung, die die Abbildung induziert.

Demonstration

Für die Abbildung auf dem Einheitsintervall f(x)=2x mod 1 erhält der Operator die gleichförmige Dichte; man findet L1 = 1, was die Erhaltung des Lebesgue-Maßes anzeigt.

Fehlanwendung

Die Operatorformulierung anzuwenden, ohne die absolute Stetigkeit zu prüfen (auf Dichten zu wirken, wenn das invariante Maß singulär ist), führt zu irreführenden Aussagen über Mischen und Relaxation.

Konsequenz

Korrekt eingesetzt liefert er invariante Dichten, Mischraten über spektrale Lücken und erlaubt Vorhersagen über langfristige statistische Eigenschaften aus der Wirkung der Abbildung.

Umkehrung

Statt Dichten vorwärts zu treiben, zieht die adjungierte Wirkung (Koopman-Operator) Observablen vorwärts; der Gegensatz dieser beiden Perspektiven klärt, ob man sich auf Zustände (Dichten) oder Messgrößen (Observablen) fokussiert.

Abgrenzung

Definiert für messbare Abbildungen und erfordert die Wahl eines Funktionsraums (L1, BV, etc.); spektrale Eigenschaften hängen von diesem Raum und von Regularitätsannahmen der Abbildung (expansiv, stückweise glatt) ab.

Semantische Spannung

Wettstreit mit der Koopman-Perspektive; beide kodieren dieselbe Dynamik, jedoch auf dualen Räumen (Dichten vs. Observablen), was zu unterschiedlichen analytischen Werkzeugen und Intuitionen führt.

Synthese

Der Perron–Frobenius-Operator ist der lineare Transportoperator auf Dichten, der durch eine dynamische Abbildung induziert wird und invariante Maße sowie statistische Entwicklung über seine spektrale Struktur kodiert.