Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849): Difference between revisions

Latest revision as of 02:03, 1 August 2024

scientific article; zbMATH DE number 7681486

Language	Label	Description	Also known as
English	Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature	scientific article; zbMATH DE number 7681486

Statements

instance of

scholarly article

0 references

title

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

0 references

zbMATH Open document ID

0 references

0 references

10.1007/s00332-023-09900-6

0 references

author

Jean-Philippe Lessard

0 references

Kaname Matsue

0 references

Akitoshi Takayasu

0 references

published in

Journal of Nonlinear Science

0 references

publication date

3 May 2023

0 references

full work available at URL

https://arxiv.org/abs/2103.12390

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

saddle-type blow-up solutions

0 references

rigorous numerics

0 references

compactifications

0 references

desingularization

0 references

parameterization method

0 references

separatrix

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

A new mathematical explanation of what triggered the catastrophic torsional mode of the tacoma narrows bridge

0 references

Parameterization Method for Unstable Manifolds of Standing Waves on the Line

0 references

Qualitative behavior of global solutions to some nonlinear fourth order differential equations

0 references

A rescaling algorithm for the numerical calculation of blowing-up solutions

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

0 references

Computation of maximal local (un)stable manifold patches by the parameterization method

0 references

A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB

0 references

The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces

0 references

The parameterization method for invariant manifolds II: regularity with respect to parameters

0 references

The parameterization method for invariant manifolds. III: Overview and applications

0 references

Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds

0 references

Numerical detection of blow-up: a new sufficient condition for blow-up

0 references

On the finite difference approximation for a parabolic blow-up problem

0 references

Blow-up profile for solutions of a fourth order nonlinear equation

0 references

Q3281164

0 references

ANALYSIS OF THE EARLY STAGE OF THERMAL RUNAWAY

0 references

Q4280766

0 references

Compactification and desingularization of spaces of polynomial Liénard equations

0 references

Polynomial Liénard equations near infinity

0 references

Qualitative theory of planar differential systems

0 references

Critical points at infinity and blow up of solutions of autonomous polynomial differential systems via compactification

0 references

Q4550346

0 references

On the nonlinear equations Δ𝑢+𝑒^{𝑢}=0 and ∂𝑣/∂𝑡=Δ𝑣+𝑒^{𝑣}

0 references

The problem of blow-up in nonlinear parabolic equations

0 references

Blow up oscillating solutions to some nonlinear fourth order differential equations

0 references

Wide oscillation finite time blow up for solutions to nonlinear fourth-order differential equations

0 references

Approximation of unbounded functions via compactification

0 references

Computing connecting orbits to infinity associated with a homoclinic flip bifurcation

0 references

High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps

0 references

Blowup profile for a complex valued semilinear heat equation

0 references

Nonsimultaneous blowup for a complex valued semilinear heat equation

0 references

Q4398321

0 references

Viscous singular shock profiles for a system of conservation laws modeling two-phase flow

0 references

Structural localization phenomena and the dynamical phase-space analogy

0 references

A verified ODE solver and the Lorenz attractor

0 references

Lack of hyperbolicity in the two-fluid model for two-phase incompressible flow

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

Existence of a singularly degenerate heteroclinic cycle in the Lorenz system and its dynamical consequences. I

0 references

Q5750611

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

Large-Amplitude Periodic Oscillations in Suspension Bridges: Some New Connections with Nonlinear Analysis

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications

0 references

Geometric treatments and a common mechanism in finite-time singularities for autonomous ODEs

0 references

Numerical validation of blow-up solutions with quasi-homogeneous compactifications

0 references

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

0 references

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

0 references

Type II blowup in a doubly parabolic Keller-Segel system in two dimensions

0 references

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

Profile for a Simultaneously Blowing up Solution to a Complex Valued Semilinear Heat Equation

0 references

Nonstrictly hyperbolic conservation laws with a parabolic line

0 references

Existence of Dafermos profiles for singular shocks

0 references

Distribution solutions of nonlinear systems of conservation laws

0 references

Numerical validation of blow-up solutions of ordinary differential equations

0 references

A rigorous ODE solver and Smale's 14th problem

0 references

Q5198996

0 references

Rigorous Numerics in Dynamics

0 references

Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation

0 references

Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller-Segel system

0 references

\(C^1\) Lohner algorithm.

0 references

Covering relations, cone conditions and the stable manifold theorem

0 references

Finite volume methods for a Keller-Segel system: discrete energy, error estimates and numerical blow-up analysis

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6038849

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