Un opérateur linéaire qui fait évoluer des densités sous une application dynamique, décrivant comment les distributions de probabilité évoluent en transportant la masse selon le jacobien inverse de l'application.

Principe

Pour une transformation mesurable, l'opérateur de Perron–Frobenius L agit sur les mesures ou densités ρ de sorte que ∫_A Lρ = ∫_{f^{-1}(A)} ρ ; il encode l'évolution statistique induite par l'application.

Démonstration

Pour l'application de l'intervalle unité f(x)=2x mod 1, l'opérateur laisse la densité uniforme invariante ; on vérifie que L1 = 1, ce qui indique la préservation de la mesure de Lebesgue.

Mauvaise application

Employer la formalisation de l'opérateur sans vérifier l'absolue continuité (agir sur des densités alors que la mesure invariante est singulière) conduit à des conclusions erronées sur le mélange et la relaxation.

Conséquence

Utilisé correctement, il fournit des densités invariantes, des taux de mélange via des lacunes spectrales, et permet de prédire des propriétés statistiques à long terme à partir de l'action de l'application.

Inversion

Au lieu de pousser les densités vers l'avant, l'action adjointe (opérateur de Koopman) fait évoluer les observables ; confronter ces deux perspectives clarifie si l'on se concentre sur les états (densités) ou les mesures (observables).

Limite

Défini pour des applications mesurables et nécessite un choix d'espace fonctionnel (L1, BV, etc.) ; les propriétés spectrales dépendent de cet espace et des hypothèses de régularité de l'application (expansive, par morceaux lisse).

Tension sémantique

Concurrence avec le point de vue de l'opérateur de Koopman ; les deux codent la même dynamique mais sur des espaces duaux (densités vs observables), menant à des outils analytiques et intuitions différents.

Synthèse

L'opérateur de Perron–Frobenius est l'opérateur de transport linéaire sur les densités induit par une application dynamique, qui encode mesures invariantes et évolution statistique via sa structure spectrale.