Numerical validation of blow-up solutions of ordinary differential equations

DOI10.1016/j.cam.2016.10.013zbMath1376.34035arXiv1606.03039OpenAlexW2963969670MaRDI QIDQ345956

Makoto Mizuguchi, Kaname Matsue, Kazuaki Tanaka, Takiko Sasaki, Shin'ichi Oishi, Akitoshi Takayasu

Publication date: 2 December 2016

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

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

zbMATH Keywords

compactificationsordinary differential equationsLyapunov functionsblow-up solutionsvalidated computations

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Growth and boundedness of solutions to ordinary differential equations (34C11) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Related Items (18)

Rigorous numerics for nonlinear heat equations in the complex plane of time ⋮ Non-monotonic blow-up problems: test problems with solutions in elementary functions, numerical integration based on non-local transformations ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Local radial basis function collocation method preserving maximum and monotonicity principles for nonlinear differential equations ⋮ Rigorous numerics for fast-slow systems ⋮ B-methods for the numerical solution of evolution problems with blow-up solutions. II: Splitting methods ⋮ Unnamed Item ⋮ Delay-induced blow-up in a planar oscillation model ⋮ A numerical method of estimating blow-up rates for nonlinear evolution equations by using rescaling algorithm ⋮ On the construction of Lyapunov functions with computer assistance ⋮ Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs ⋮ A nonlinear second derivative method with a variable step-size based on continued fractions for singular initial value problems ⋮ On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications ⋮ Unnamed Item ⋮ Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity ⋮ Numerical validation of blow-up solutions with quasi-homogeneous compactifications ⋮ Nonlinear problems with blow-up solutions: numerical integration based on differential and nonlocal transformations, and differential constraints ⋮ Rigorous numerical inclusion of the blow-up time for the Fujita-type equation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the construction of Lyapunov functions with computer assistance
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach
• Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
• The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
• On the critical exponent for reaction-diffusion equations
• Monotonicity properties of the blow-up time for nonlinear Schrödinger equations: numerical evidence
• Covering relations, cone conditions and the stable manifold theorem
• Blowing up of a finite difference solution to \(u_t=u_{xx}+u^2\)
• On the blow-up time convergence of semidiscretizations of reaction-diffusion equations
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
• Asymptotic behavior of solutions of a semilinear heat equation with subcritical nonlinearity
• Critical points at infinity and blow up of solutions of autonomous polynomial differential systems via compactification
• On the finite difference approximation for a parabolic blow-up problem
• Integration of Dissipative Partial Differential Equations: A Case Study
• A Finite Difference Scheme for Blow-Up Solutions of Nonlinear Wave Equations
• Blow-up for quasi-linear wave equations in three space dimensions
• On the blowing up of solutions to the Cauchy problem for nonlinear Schrödinger equations
• Numerical Approximation of Blow-Up of Radially Symmetric Solutions of the Nonlinear Schrödinger Equation
• Instability and Nonexistence of Global Solutions to Nonlinear Wave Equations of the Form Pu tt = -Au + ℱ(u)

This page was built for publication: Numerical validation of blow-up solutions of ordinary differential equations