poster: Rigorous computation in random dynamics and computer-aided proof of noise-induced-order

speaker: Maurizio Monge (University of Pisa)

abstract: We will explain the techniques used to compute rigorously the invariant measure and rigorously estimate observables for general dynamical systems with noise. We will illustrate the interplay of Wasserstein, $L^1$ and variation norms on the space of signed measures, and show how it can be exploited to obtain a surprisingly effective estimation of the invariant measure in the $L^1$ norm. We conclude showing how this allows to prove rigorously the noise-induced order phenomenon for a model of the Belousov-Zhabotinsky reaction, that had been discovered with numerical simulations by Matsumoto-Tsuda in 1983.

<< Go back