Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature

DOI10.1007/s00332-023-09900-6zbMath1518.34010arXiv2103.12390MaRDI QIDQ6038849

Jean-Philippe Lessard, Kaname Matsue, Akitoshi Takayasu

Publication date: 3 May 2023

Published in: Journal of Nonlinear Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.12390

zbMATH Keywords

compactifications; desingularization; rigorous numerics; parameterization method; separatrix; saddle-type blow-up solutions

Mathematics Subject Classification ID

34A12: Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations

34C11: Growth and boundedness of solutions to ordinary differential equations

68V05: Computer assisted proofs of proofs-by-exhaustion type