Quebec Mathematical Sciences Colloquium

October 14, 2016 from 16:00 to 18:00 (Montreal/EST time) On location

Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach

Colloquium presented by Jean-Philippe Lessard (Centre de recherches mathématiques)

Studying and proving existence of solutions of nonlinear dynamical systems using standard analytic techniques is a challenging problem. In particular, this problem is even more challenging for partial differential equations, variational problems or functional delay equations which are naturally defined on infinite dimensional function spaces. The goal of this talk is to present rigorous numerical technique relying on functional analytic and topological tools to prove existence of steady states, time periodic solutions, traveling waves and connecting orbits for the above mentioned dynamical systems. We will spend some time identifying difficulties of the proposed approach as well as time to identify future directions of research.


CRM, Pavillon André­-Aisenstadt, 2920 chemin de la tour, room 6254