Computer-assisted validation of the existence of periodic orbit in the Brusselator system

Jakub Banaśkiewicz,Piotr Kalita,Piotr Zgliczyński
2023-11-21
Abstract:We investigate the Brusselator system with diffusion and Dirichlet boundary conditions on one dimensional space interval. Our proof demonstrates that, for certain parameter values, a periodic orbit exists. This proof is computer-assisted and rooted in the rigorous integration of partial differential equations. Additionally, we present the evidence of the occurrence of period-doubling bifurcation.
Dynamical Systems,Analysis of PDEs
What problem does this paper attempt to address?