Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity

DOI10.1016/j.cam.2019.112607zbMath1436.34029arXiv1902.01842OpenAlexW3004348164WikidataQ115581023 ScholiaQ115581023MaRDI QIDQ2306381

Kaname Matsue, Akitoshi Takayasu

Publication date: 23 March 2020

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

compactificationexponential nonlinearitynumerical validationblow-up solutions for ODEs

Mathematics Subject Classification ID

Growth and boundedness of solutions to ordinary differential equations (34C11) Error analysis and interval analysis (65G99)

Related Items (4)

Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Rigorous numerics for fast-slow systems ⋮ Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases ⋮ Rigorous numerical inclusion of the blow-up time for the Fujita-type equation

Cites Work

• Unnamed Item
• Numerical validation of blow-up solutions of ordinary differential equations
• On the construction of Lyapunov functions with computer assistance
• On the stability or instability of the singular solution of the semilinear heat equation with exponential reaction term
• Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs
• ANALYSIS OF THE EARLY STAGE OF THERMAL RUNAWAY
• On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications
• On the nonlinear equations Δ𝑢+𝑒^{𝑢}=0 and ∂𝑣/∂𝑡=Δ𝑣+𝑒^{𝑣}

This page was built for publication: Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity