Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
From MaRDI portal
Publication:494285
DOI10.3934/jcd.2015.2.95zbMath1326.35029OpenAlexW2525124707MaRDI QIDQ494285
Publication date: 31 August 2015
Published in: Journal of Computational Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3934/jcd.2015.2.95
Bifurcations of singular points in dynamical systems (37G10) Algorithms with automatic result verification (65G20) Bifurcations in context of PDEs (35B32)
Related Items (13)
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Analysis and computations of a non-local thin-film model for two-fluid shear driven flows ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Inertial manifolds for the Kuramoto-Sivashinsky equation and an estimate of their lowest dimension
- Approximate inertial manifolds for the Kuramoto-Sivashinsky equation: Analysis and computations
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- The Kuramoto-Sivashinsky equation: a bridge between PDE's and dynamical systems
- Global analysis of the phase portrait for the Kuramoto-Sivashinsky equation
- Analyticity for the Kuramoto-Sivashinsky equation
- On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach.
- Functional analysis and Galerkin's method
- Accurate Computations on Inertial Manifolds
- Back in the Saddle Again: A Computer Assisted Study of the Kuramoto–Sivashinsky Equation
- Spatiotemporal chaos in terms of unstable recurrent patterns
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- Interval Methods for Systems of Equations
- Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Evaluating the dimension of an inertial manifold for the Kuramoto-Sivashinsky equation.
This page was built for publication: Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof