Computational Methods
in Dynamical Systems 2025
Embedded Files
Dynamical systems theory and ergodic theory are mathematics as a basis of statistical and nonlinear physics. However, even simple problems such as invariant density and global statistics, bifurcation and stability are difficult to be rigorously analyzed. The main purpose of this lecture series is to learn how computational science approaches are used to solve problems in chaotic dynamical systems. The second purpose is to introduce the recently developed techniques of arbitrary precision calculation, computer aided proof, and computational topology into dynamical systems theory and ergodic theory. Both are closely related to dynamical systems theory and it is expected that motivated students will use this lecture as an introduction of deterministic and random dynamical systems.
Lecturers:
Stefano Galatolo (University of Pisa, Italy, remote), Isaia Nisoli (UFRJ, Rio de Janeiro, Brazil), Yushi Nakano (Hokkaido University, Japan), Yoshitaka Saiki (Hitotsubashi University, Japan), Yuzuru Sato (Hokkaido University, Japan), Warwick Tucker (Monash University, Australia, remote)
Date:
25-29 August, 2029
Place:
3-202, Department of Mathematics, Hokkaido University
Registration:
Please register here to join the zoom meeting (registration deadline 22 August, 2025).
Installing Julia and VSCode:
The latest version of Julia can be found at Julia Download page. Please download and install the version adapted to your hardware. Download and install Visual Studio Code from VSCode Download page. Follow the instructions at VSCode Julia Extension installation guide. Now you can download the course notebooks, open them in VSCode, choose the Julia kernel on the right side and run the course notebooks.
Programme:
Monday, 25 August 16:00-19:00 (JST) / 9:00-12:00 (CET)
16:00-16:50 Lecture 1-1: Stefano Galatolo, Recalls about ergodic theory [handout0][handout1]
17:00-17:50 Lecture 1-2: Isaia Nisoli, Introduction to validated computation in ergodic theory with Julia I [github]
18:00- Open discussions at spatial chat discussion room
Tuesday, 26 August 16:00-19:00 (JST) / 9:00-12:00 (CET)
16:00-16:50 Lecture 2-1: Stefano Galatolo, The transfer operator for expanding maps [handout-2]
17:00-17:50 Lecture 2-2: Isaia Nisoli, Introduction to validated computation in ergodic theory with Julia II [github]
18:00-18:50 Lecture 2-3: Yoshitaka Saiki, Introduction to reservoir computing [handout]
19:00- Open discussions at spatial chat discussion room
Wednesday, 27 August 16:00-18:00 (JST) / 9:00-11:00 (CET)
16:00-16:50 Lecture 3-1: Stefano Galatolo, Quantitative stability and validated computations [handout-3]
17:00-17:50 Lecture 3-2: Isaia Nisoli, Introduction to validated computation in ergodic theory with Julia III [github]
18:00- Open discussions at churrasco party on campus [photo]
Thursday, 28 August 16:00-19:00 (JST) / 9:00-12:00 (CET)
16:00-16:50 Lecture 4-1: Stefano Galatolo, The random case [handout-4]
17:00-17:50 Lecture 4-2: Isaia Nisoli, Introduction to validated computation in ergodic theory with Julia IV [github][Lecture4_old]
18:00-18:50 Lecture 4-3: Warwick Tucker, Computer-assisted proofs in dynamical systems
19:00- Open discussions at spatial chat discussion room
Homework: [Download the notebook], complete the julia program, and run it to solve a given problem. Send the results to ysato_at_math.sci.hokudai.ac.jp until Friday, 29 August. If you have questions, please join us for discussion at spatial chat at 7pm (JST) on Thursday, 28 August.
Friday, 29 August 16:00-19:00 (JST) / 9:00-12:00 (CET)
16:00-16:50 Lecture 5-1: Yuzuru Sato, Julia codes for stochastic nonlinear phenomena [code]
17:00-17:50 Lecture 5-2: Yushi Nakano, Finite-time limit theorems for chaotic dynamics via Stein method [handout]
18:00- Open discussions at spatial chat discussion room
Lecture notes and other resources:
Lecture notes and other resources:
Stefano Galatolo
"Statistical properties of dynamics. Introduction to the functional analytic approach"
Related papers:
Related papers:
S. Galatolo, M. Monge, I. Nisoli Existence of Noise Induced Order, a Computer Aided Proof Nonlinearity, 33(9):4237--4276, (2020).
S. Galatolo, I. Nisoli, B. Saussol. An elementary way to rigorously estimate convergence to equilibrium and escape rates. J. Comput. Dyn., 2015, 2 (1) : 51-64. doi: 10.3934/jcd.2015.2.51
S. Galatolo, I. Nisoli, An elementary approach to rigorous approximation of invariant measures. SIAM J. Appl. Dyn. Syst. 13 (2014), no. 2, 958--985.
S. Galatolo, , I. Nisoli, Rigorous computation of invariant measures and fractal dimension for maps with contracting fibers: 2D Lorenz-like maps. Ergodic Theory Dynam. Systems 36 (2016), no. 6, 1865--1891.
Organizer:
Organizer:
Yuzuru Sato (Hokkaido University) Email: ysato_at_math.sci.hokudai.ac.jp
Isaia Nisoli (UFRJ) Email: nisoli_at_im.ufrj.br
Stefano Galatoro (University of Pisa) Email: stefano.galatolo_at_unipi.it
Y.S. is supported by JSPS Grant-in-Aid for Scientific Research (B) No. 17H02861, and (B) No. 21H01002, London Mathematical Laboratory external fellowshp, Hokkaido Summer Institute Program, and Research Center of Mathematics for Social Creativity at Research Institute for Electronic Sciences, Hokkaido University.
Introduction to computational ergodic theory 2021
Introduction to computational ergodic theory 2022
Google Sites
Report abuse