Rigorous numerics of blow-up solutions for autonomous ODEs

Abstract: Here I talk about the recent studies concerning rigorous numerics of blow-up solutions for autonomous ODEs in a systematic way under a mild assumption of vector fields. The fundamental tools used here are “compactifications” of phase spaces which map the infinity to the boundary of transformed phase spaces (the “horizon”), and “time-scale desingularizations determined by the original vector fields”. Blow-up solutions are then essentially transformed into solutions on stable manifolds of invariant sets on the horizon. In particular, rigorous enclosures of blow-up solutions and their blow-up times can be validated by means of standard machineries of dynamical systems such as ODE integrators, locally defined Lyapunov functions and parameterization of invariant manifolds. Dynamical system approach shown here reveals many quantitative and qualitative nature of blow-up behavior for various concrete dynamical systems. A series of works presented in the present talk (involving rigorous numerics) are based on joint works with Profs. Akitoshi Takayasu, Nobito Yamamoto and Jean-Philippe Lessard.

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