A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
From MaRDI portal
Publication:778220
DOI10.1016/j.jde.2020.06.020zbMath1439.35218arXiv1710.00329OpenAlexW2762652717MaRDI QIDQ778220
Piotr Zgliczyński, Daniel Wilczak
Publication date: 2 July 2020
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.00329
periodic orbitssymbolic dynamicscomputer-assisted proofrigorous numericsGalerkin projectiondissipative PDEs
Asymptotic behavior of solutions to PDEs (35B40) Initial-boundary value problems for higher-order parabolic equations (35K35) Periodic solutions to PDEs (35B10) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Interval and finite arithmetic (65G30) A priori estimates in context of PDEs (35B45) Dependence of solutions to PDEs on initial and/or boundary data and/or on parameters of PDEs (35B30)
Related Items (13)
Chaos of the 2D linear hyperbolic equation with general van der Pol type boundary condition ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Recent advances in a rigorous computation of Poincaré maps ⋮ Rigorous numerics for nonlinear heat equations in the complex plane of time ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Deep learning of conjugate mappings ⋮ Rigorous FEM for One-Dimensional Burgers Equation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Inertial manifolds for the Kuramoto-Sivashinsky equation and an estimate of their lowest dimension
- Gevrey class regularity for the solutions of the Navier-Stokes equations
- Approximate inertial manifolds for the Kuramoto-Sivashinsky equation: Analysis and computations
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
- Some global dynamical properties of the Kuramoto-Sivashinsky equations: nonlinear stability and attractors
- The Kuramoto-Sivashinsky equation: a bridge between PDE's and dynamical systems
- Isolating blocks and symbolic dynamics
- Homoclinic phenomena in Hamiltonian systems with several degrees of freedom
- Analyticity for the Kuramoto-Sivashinsky equation
- Infinite-dimensional dynamical systems in mechanics and physics.
- Fixed point index for iterations of maps, topological horseshoe and chaos
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach.
- Sharkovskiĭ theorem for multidimensional perturbations of one-dimensional maps. II
- Leray-Schauder degree: A half century of extensions and applications
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- A rigorous ODE solver and Smale's 14th problem
- Quantitative universality for a class of nonlinear transformations
- Covering relations for multidimensional dynamical systems
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Isolating neighborhoods and chaos
- Computer assisted proof of chaos in the Lorenz equations
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof
- Integration of Dissipative Partial Differential Equations: A Case Study
- Stable and Random Motions in Dynamical Systems
- Spatiotemporal chaos in terms of unstable recurrent patterns
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- Predicting chaos for infinite dimensional dynamical systems: the Kuramoto-Sivashinsky equation, a case study.
- The Lorenz attractor exists
- Chaos in the Lorenz equations: a computer-assisted proof
- Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- THE OSEBERG TRANSITION: VISUALIZATION OF GLOBAL BIFURCATIONS FOR THE KURAMOTO–SIVASHINSKY EQUATION
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
This page was built for publication: A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
