成人VR视频

Event

Jean-Philippe Lessard, Universit茅 Laval

Friday, October 14, 2016 16:00to17:00
Room 6254, Pavillon Andr茅-Aisenstadt, 2920, Chemin de la tour, 5th floor, Montreal, QC, H3T 1J4, CA

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

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.

Follow us on

Back to top