vix.ing · top · new · best · stats · spec

Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature

2021/03/23 by Jean‐Philippe Lessard, Lessard, Jean-Philippe, Kaname Matsue +3
Mathematics · Medicine · #Advanced Differential Equations and Dynamical Systems #Classical Analysis and ODEs (math.CA) #Dynamical Systems (math.DS) #FOS: Mathematics #Mathematical and Theoretical Epidemiology and Ecology Models #Numerical Analysis (math.NA) #Numerical methods for differential equations

paper · pdf · doi:10.48550/arxiv.2103.12390

openalex publication_date 2021/03/23 · openalex created_date 2022/11/06 · openalex updated_date 2026/07/28

Abstract

In this paper, blow-up solutions of autonomous ordinary differential equations (ODEs) which are unstable under perturbations of initial points, referred to as saddle-type blow-up solutions, are studied. Combining dynamical systems machinery (e.g., compactifications, time-scale desingularizations of vector fields) with tools from computer-assisted proofs (e.g., rigorous integrators, the parameterization method for invariant manifolds), these blow-up solutions are obtained as trajectories on local stable manifolds of hyperbolic saddle equilibria at infinity. With the help of computer-assisted proofs, global trajectories on stable manifolds, inducing blow-up solutions, provide a global picture organized by global-in-time solutions and blow-up solutions simultaneously. Using the proposed methodology, intrinsic features of saddle-type blow-ups are observed: locally smooth dependence of blow-up times on initial points, level set distribution of blow-up times, and decomposition of the phase space playing a role as separatrixes among solutions, where the magnitude of initial points near those blow-ups does not matter for asymptotic behavior. Finally, singular behavior of blow-up times on initial points belonging to different family of blow-up solutions is addressed.

Related