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, Akitoshi Takayasu, Kaname Matsue

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

compactificationsdesingularizationrigorous numericsparameterization methodseparatrixsaddle-type blow-up solutions

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) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical detection of blow-up: a new sufficient condition for blow-up
• Viscous singular shock profiles for a system of conservation laws modeling two-phase flow
• Blowup profile for a complex valued semilinear heat equation
• Type II blowup in a doubly parabolic Keller-Segel system in two dimensions
• Numerical validation of blow-up solutions of ordinary differential equations
• Finite volume methods for a Keller-Segel system: discrete energy, error estimates and numerical blow-up analysis
• Qualitative behavior of global solutions to some nonlinear fourth order differential equations
• Blow up oscillating solutions to some nonlinear fourth order differential equations
• Nonstrictly hyperbolic conservation laws with a parabolic line
• Approximation of unbounded functions via compactification
• Numerical validation of blow-up solutions with quasi-homogeneous compactifications
• Computation of maximal local (un)stable manifold patches by the parameterization method
• Covering relations, cone conditions and the stable manifold theorem
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Polynomial Liénard equations near infinity
• Lack of hyperbolicity in the two-fluid model for two-phase incompressible flow
• The problem of blow-up in nonlinear parabolic equations
• A rigorous ODE solver and Smale's 14th problem
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
• A verified ODE solver and the Lorenz attractor
• Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences. I
• \(C^1\) Lohner algorithm.
• Existence of Dafermos profiles for singular shocks
• Wide oscillation finite time blow up for solutions to nonlinear fourth-order differential equations
• Nonsimultaneous blowup for a complex valued semilinear heat equation
• Computing connecting orbits to infinity associated with a homoclinic flip bifurcation
• Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity
• A new mathematical explanation of what triggered the catastrophic torsional mode of the tacoma narrows bridge
• Blow-up profile for solutions of a fourth order nonlinear equation
• Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller-Segel system
• 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
• Compactification and desingularization of spaces of polynomial Liénard equations
• Qualitative theory of planar differential systems
• The parameterization method for invariant manifolds. III: Overview and applications
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Rigorous Numerics in Dynamics
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Profile for a Simultaneously Blowing up Solution to a Complex Valued Semilinear Heat Equation
• Structural localization phenomena and the dynamical phase-space analogy
• ANALYSIS OF THE EARLY STAGE OF THERMAL RUNAWAY
• A rescaling algorithm for the numerical calculation of blowing-up solutions
• A computer-assisted proof of the Feigenbaum conjectures
• The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
• The parameterization method for invariant manifolds II: regularity with respect to parameters
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps
• On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications
• Parameterization Method for Unstable Manifolds of Standing Waves on the Line
• Large-Amplitude Periodic Oscillations in Suspension Bridges: Some New Connections with Nonlinear Analysis
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• Distribution solutions of nonlinear systems of conservation laws
• On the nonlinear equations Δ𝑢+𝑒^{𝑢}=0 and ∂𝑣/∂𝑡=Δ𝑣+𝑒^{𝑣}

This page was built for publication: Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature