A teoria do transporte ótimo aplicada ao estudo de sistemas de funções iteradas

Abstract

This work consists of a study of Iterated Function Systems that contract on average, using concepts and results from Optimal Transport Theory for this analysis. To support the discussion, it was necessary to revisit notions such as complete metric spaces, weak topology, as well as concepts from Measure Theory, Ergodic Theory, and Probability Theory. Within the latter, the notions of homogeneous Markov chains and the stationary measures associated with these chains are explored. Based on these preliminary concepts, optimal coupling is defined, demonstrating that, under certain conditions, the existence of such coupling is always guaranteed. The Wasserstein distance is also introduced, which plays an essential role in the subsequent results. Equipped with the tools of Optimal Transport Theory, this work investigates the stationary measures of Iterated Function Systems that contract on average, proving that, in this context, there is existence and uniqueness of a stationary measure, in addition to obtaining estimates for its moments of order q. Finally, the developed concepts are applied to the study of skew-products that have contractive fibers, showing that such systems admit a single "stationary measure'' with limited support.