Colloque des sciences mathématiques du Québec

14 octobre 2016 de 16 h 00 à 18 h 00 (heure de Montréal/Miami) Sur place

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

Colloque par Jean-Philippe Lessard (McGill University)

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.

Adresse

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