Computer-assisted proofs, proof assistants and visualization in dynamical systems
timetable:
Wed 19 Jun, 10:10 - 11:00, Aula Dini
<< Go back
Explicit resolvent bounds for transfer operators
speaker: Oscar Bandtlow (Queen Mary University of London)abstract: In this talk I will explain how to obtain explicit upper bounds for the resolvent R(z,L) of any compact operator L on a Hilbert space in terms of its singular values and the distance of z to the spectrum of L. I will then discuss applications of this estimate to obtaining explicit a priori error bounds for spectral approximations of transfer operators. Time permitting, I will also explain how to extend these results to the Banach space setting.
timetable:
Wed 19 Jun, 10:10 - 11:00, Aula Dini
<< Go back