Un operador lineal que impulsa densidades hacia delante bajo un mapa dinámico, describiendo cómo evolucionan las distribuciones de probabilidad al transportar masa según el jacobiano inverso del mapa.

Principio

Para una transformación medible, el operador de Perron–Frobenius L actúa sobre medidas o funciones de densidad ρ de modo que ∫_A Lρ = ∫_{f^{-1}(A)} ρ; codifica la evolución estadística inducida por el mapa.

Demostración

Para la aplicación en el intervalo unidad f(x)=2x mod 1, el operador deja invariante la densidad uniforme; se comprueba que L1 = 1, indicando preservación de la medida de Lebesgue.

Aplicación incorrecta

Aplicar la formalidad del operador sin comprobar la continuidad absoluta (actuar sobre densidades cuando la medida invariante es singular) conduce a conclusiones engañosas sobre mezcla y relajación.

Consecuencia

Usado correctamente, proporciona densidades invariantes, tasas de mezcla mediante huecos espectrales y permite predecir propiedades estadísticas a largo plazo a partir de la acción del mapa.

Inversión

En lugar de empujar densidades adelante, la acción adjunta (operador de Koopman) hace evolucionar observables; contrastar ambas perspectivas aclara si se centra en estados (densidades) o mediciones (observables).

Límite

Definido para mapas medibles y requiere elección de espacio funcional (L1, BV, etc.); las propiedades espectrales dependen de ese espacio y de supuestos de regularidad del mapa (expansivo, a trozos suave).

Tensión semántica

Compite con la visión del operador de Koopman; ambos codifican la misma dinámica pero en espacios duales (densidades vs. observables), lo que conduce a distintas herramientas analíticas e intuiciones.

Síntesis

El operador de Perron–Frobenius es el operador lineal de transporte sobre densidades inducido por un mapa dinámico que codifica medidas invariantes y evolución estadística mediante su estructura espectral.