Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE

DOI10.1016/j.cnsns.2021.106133zbMath1483.35020arXiv2009.13597OpenAlexW3089576061WikidataQ114196497 ScholiaQ114196497MaRDI QIDQ2076212

Elena Queirolo, Jan Bouwe Van Den Berg

Publication date: 16 February 2022

Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

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

zbMATH Keywords

periodic boundary conditionsone space dimensiona posteriori validation of numerical computations

Mathematics Subject Classification ID

Initial-boundary value problems for higher-order parabolic equations (35K35) Bifurcations in context of PDEs (35B32) Semilinear parabolic equations (35K58)

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
• Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Integration of Dissipative Partial Differential Equations: A Case Study
• Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
• On Flame Propagation Under Conditions of Stoichiometry
• Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
• Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
• A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

This page was built for publication: Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE