Computer-assisted proofs for Cauchy problems of delay equations and PDEs via Chebyshev series

Jean-Philippe Lessard (McGill University, Canada)

30-Mar-2021, 14:00-15:00 (3 years ago)

Abstract: In this talk we introduce recent general methods to rigorously compute solutions of infinite dimensional Cauchy problems. The idea is to expand the solutions in time using Chebyshev series and use the contraction mapping theorem to construct a neighbourhood about an approximate solution which contains the exact solution of the Cauchy problem. We apply the methods to delay differential equations and to semi-linear parabolic partial differential equations.

analysis of PDEsclassical analysis and ODEsdynamical systemsfunctional analysisnumerical analysis

Audience: researchers in the discipline


CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

Series comments: To have access to the zoom details of the talks, please register at www.crm.math.ca/camp-nonlinear

Organizers: Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg
*contact for this listing

Export talk to