Computer-assisted proofs for Cauchy problems of delay equations and PDEs via Chebyshev series
Jean-Philippe Lessard (McGill University, Canada)
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 |