Computer-assisted validation of the existence of periodic orbit in the Brusselator system
From MaRDI portal
Publication:6593389
DOI10.57262/ade029-1112-815zbMATH Open1547.3503MaRDI QIDQ6593389
Piotr Zgliczyński, Piotr Kalita, Jakub Banaśkiewicz
Publication date: 26 August 2024
Published in: Advances in Differential Equations (Search for Journal in Brave)
Asymptotic behavior of solutions to PDEs (35B40) Periodic solutions to PDEs (35B10) Bifurcations in context of PDEs (35B32) Semilinear parabolic equations (35K58) Initial-boundary value problems for second-order parabolic systems (35K51)
Cites Work
- Unnamed Item
- Unnamed Item
- Hopf bifurcation in general Brusselator system with diffusion
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Bifurcation analysis of nonlinear reaction diffusion equations I. Evolution equations and the steady state solutions
- \(C^1\) Lohner algorithm.
- Regular dynamics and diffusion chaos in the Brusselator model
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Spontaneous periodic orbits in the Navier-Stokes flow
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- A Hopf bifurcation in the planar Navier-Stokes equations
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
- Recent advances in a rigorous computation of Poincaré maps
- Global dynamics of the Brusselator equations
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- The Well-Posedness of the Kuramoto–Sivashinsky Equation
- Global bifurcation in the Brusselator system
- Rigorous FEM for One-Dimensional Burgers Equation
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
This page was built for publication: Computer-assisted validation of the existence of periodic orbit in the Brusselator system
