Computational Methods in Dynamical Systems 2024
Computational Methods in Dynamical Systems 2024
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:
Zin Arai (Tokyo Institute of Technology, Japan), George Datseris (University of Exeter, UK, remoter), Stefano Galatolo (University of Pisa, Italy, remote), Isaia Nisoli (UFRJ, Rio de Janeiro, Brazil), Takao Namiki (Hokkaido University, Japan), Yoshitaka Saiki (Hitotsubashi University, Japan), Yuzuru Sato (Hokkaido University, Japan), Warwick Tucker (Monash University, Australia, remote), Sandro Vaienti (University of Taulon, France)
Date:
19-23 August, 2024
Place:
3-413, Department of Mathematics, Hokkaido University
Registration:
Please register here to join the zoom meeting and to watch the lecture videos.
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, 19 August 16:00-20:00 (JST) / 9:00-13:00 (CET)
16:00-16:50 Lecture 1-1: Stefano Galatolo, Introduction to the trasfer operator method I [handout1][handout2]
17:00-17:50 Lecture 1-2: Isaia Nisoli, An introduction to interval arithmetics by Julia I [codes] [github]
18:00-18:50 Lecture 1-3: Sandro Vaienti, New techniques to analyze extreme values distributions, Poisson point processes and stable laws, with applications to a simple attractor I [lecture_notes]
19:00-19:50 Lecture 1-4: Warwick Tucker, Computer-assisted proofs in Dynamical Systems [handout]
20:00- Open discussions at spatial chat discussion room
Tuesday, 20 August 16:00-20:00 (JST) / 9:00-13:00 (CET)
16:00-16:50 Lecture 2-1: Stefano Galatolo, Introduction to the trasfer operator method II [handout]
17:00-17:50 Lecture 2-2: Isaia Nisoli, An introduction to interval arithmetics by Julia II [github]
18:00-18:50 Lecture 2-3: Sandro Vaienti, New techniques to analyze extreme values distributions, Poisson point processes and stable laws, with applications to a simple attractor II [lecture_notes]
19:00-19:50 Lecture 2-4: Takao Namiki, Permutation Entropy Analysis for Epilepsy
20:00- Open discussions at spatial chat discussion room
Wednesday, 21 August 16:00-20:00 (JST) / 9:00-13:00 (CET)
16:00-16:50 Lecture 3-1: Stefano Galatolo, Introduction to the trasfer operator method III [handout]
17:00-17:50 Lecture 3-2: Isaia Nisoli, An introduction to interval arithmetics by Julia III [github]
18:00-18:50 Lecture 3-3: Sandro Vaienti, New techniques to analyze extreme values distributions, Poisson point processes and stable laws, with applications to a simple attractor III [lecture_notes]
19:00-19:50 Lecture 3-4: Yoshitaka Saiki, Weighted Birkhoff averaging along a quasiperiodic orbit and its related topics [handout]
20:00- Open discussions at spatial chat discussion room
Thursday, 22 August 16:00-20:00 (JST) / 9:00-13:00 (CET)
16:00-16:50 Lecture 4-1: Stefano Galatolo, Introduction to the trasfer operator method IV [handout]
17:00-17:50 Lecture 4-2: Isaia Nisoli, An introduction to interval arithmetics by Julia IV [github]
18:00-18:50 Lecture 4-3: Sandro Vaienti, New techniques to analyze extreme values distributions, Poisson point processes and stable laws, with applications to a simple attractor IV [lecture_notes]
19:00-19:50 Lecture 4-4: Zin Arai, Julia for Julia [codes] [handout]
20: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, 23 August. If you have questions, please join us for discussion at spatial chat at 8pm (JST) on Thursday, 22 August and Friday, 23 August.
Friday, 23 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
17:00-17:50 Lecture 5-2: George Datseris, Introduction to DynamicalSystems.jl: a software library for the entire field of nonlinear dynamics and nonlinear timeseries analysis. [codes]
18:00-18:50 Lecture 5-3: George Datseris, Multistability and nonlocal stability analysis with DynamicalSystems.jl: a new era of stability analysis. [codes]
19:00- Open discussions at spatial chat discussion room
Stefano Galatolo
"Statistical properties of dynamics. Introduction to the functional analytic approach"
George Datseris
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.
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