Computer-assisted proofs, proof assistants and visualization in dynamical systems
timetable:
Tue 18 Jun, 16:40 - 17:30, Aula Dini
<< Go back
Spectra of transfer and Koopman operators
speaker: Julia Slipantschuk (University of Warwick)abstract: This talk will be about computation and approximation of spectral data of transfer operators and Koopman operators associated to holomorphic expanding and hyperbolic discrete dynamical systems. I will present a special class of systems with explicitly computable eigenvalues. In a more general setting, I will discuss convergence results of algorithms such as Lagrange-Chebyshev or EDMD to approximate spectral data and obtain rigorous bounds in various applications.
timetable:
Tue 18 Jun, 16:40 - 17:30, Aula Dini
<< Go back