数理科学セミナー: Computer assisted proofs in ergodic theory (Isaia Nisoli (UFRJ, Brazil / Hokkaido University))

Time：2022/7/5 16:30～17:30,  Place: 4-501

Speaker：Isaia Nisoli (UFRJ, Brazil / Hokkaido University)

Title： Computer assisted proofs in ergodic theory

Abstract：In this talk I will present some techniques used in computer assisted proofs for deterministic and random dynamical systems. The main idea is to find an explicit bound for the distance between the fixed point of a Markov operator acting on a Banach space and the fixed point of an appropriate discretization of this operator. This explicit bound allows us to compute some constants associated with the system, as the Lyapunov exponent. The talk will focus on the main idea behind the tools, their application and the properties of the dynamical system that allow these techniques to work.

世話役: 佐藤譲, 行木孝夫

（共催）大学院教育推進機構DX教育連携部門