A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE

DOI10.1137/16M1073789zbMath1365.35222OpenAlexW2602871343MaRDI QIDQ5739157

Marcio Gameiro, Jean-Philippe Lessard

Publication date: 2 June 2017

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/16m1073789

zbMATH Keywords

periodic orbitsevolution equationinterval analysisrigorous computationscontraction mappingKuramoto-Sivashinsky

Mathematics Subject Classification ID

Periodic solutions to PDEs (35B10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) General methods in interval analysis (65G40) Abstract bifurcation theory involving nonlinear operators (47J15) Bifurcations in context of PDEs (35B32) Operator partial differential equations (= PDEs on finite-dimensional spaces for abstract space valued functions) (35R20)

Related Items (20)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Persistence and smooth dependence on parameters of periodic orbits in functional differential equations close to an ODE or an evolutionary PDE ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system ⋮ Nonlinear two-point boundary value problems: applications to a cholera epidemic model ⋮ Numerical Verification of Solutions for Nonlinear Parabolic Problems ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ Analysis and computations of a non-local thin-film model for two-fluid shear driven flows ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

Cites Work

• Unnamed Item
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Validated continuation over large parameter ranges for equilibria of PDEs
• Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Rigorous numerics for NLS: bound states, spectra, and controllability
• Integration of Dissipative Partial Differential Equations: A Case Study
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Spatiotemporal chaos in terms of unstable recurrent patterns
• Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
• Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
• 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
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

This page was built for publication: A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE