Rigorous enclosure of Lyapunov exponents of stochastic flows

Maxime Breden, Hugo Chu, Jeroen S. W. Lamb +1

We develop a powerful and general method to provide rigorous and accurate upper and lower bounds for Lyapunov exponents of stochastic flows. Our approach is based on computer-assis…