COMPUTER-ASSISTED VALIDATION OF THE EXISTENCE OF PERIODIC ORBITS IN THE BRUSSELATOR SYSTEM

被引:0
|
作者
Banaskiewicz, Jakub [1 ]
Kalita, Piotr [2 ]
Zgliczynski, Piotr [2 ]
机构
[1] AGH Univ Sci & Technol, Al Mickiewicza 30, PL-30059 Krakow, Poland
[2] Jagiellonian Univ, Fac Math & Comp Sci, Ul Lojasiewicza 6, PL-30348 Krakow, Poland
关键词
KURAMOTO-SIVASHINSKY PDE; BIFURCATION; DYNAMICS; EQUATIONS; CHAOS;
D O I
10.57262/ade029-1112-815
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
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.
引用
收藏
页码:815 / 862
页数:48
相关论文
共 50 条
  • [1] Computer-assisted proof of skeletons of periodic orbits
    Barrio, Roberto
    Rodriguez, Marcos
    Blesa, Fernando
    [J]. COMPUTER PHYSICS COMMUNICATIONS, 2012, 183 (01) : 80 - 85
  • [2] Computer assisted 'proof' of the global existence of periodic orbits in the Rossler system
    Botha, Andre E.
    Dednam, Wynand
    [J]. PROCEEDINGS OF SAIP2014: THE 59TH ANNUAL CONFERENCE OF THE SOUTH AFRICAN INSTITUTE OF PHYSICS, 2014, : 571 - 577
  • [3] A computer-assisted proof of existence of a periodic solution
    Miyaji, Tomoyuki
    Okamoto, Hisashi
    [J]. PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 2014, 90 (10) : 139 - 144
  • [4] Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
    Burgos-Garcia, Jaime
    Lessard, Jean-Philippe
    James, J. D. Mireles
    [J]. CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 2019, 131 (01):
  • [5] Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
    Jaime Burgos-García
    Jean-Philippe Lessard
    J. D. Mireles James
    [J]. Celestial Mechanics and Dynamical Astronomy, 2019, 131
  • [6] Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards
    Church, Kevin E. M.
    Fortin, Clement
    [J]. INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2021, 31 (08):
  • [7] COMPUTER-ASSISTED VALIDATION
    ROGARI, E
    DEGRAEVE, J
    VALDIGUIE, P
    [J]. ANNALES DE BIOLOGIE CLINIQUE, 1988, 46 (07) : 611 - 611
  • [8] A computer-assisted proof for the existence of horseshoe in a novel chaotic system
    Wu, Wen-Juan
    Chen, Zeng-Qiang
    Yuan, Zhu-Zhi
    [J]. CHAOS SOLITONS & FRACTALS, 2009, 41 (05) : 2756 - 2761
  • [9] The Existence of Shilnikov Homoclinic Orbits in the Michelson System: A Computer Assisted Proof
    Daniel Wilczak
    [J]. Foundations of Computational Mathematics, 2006, 6 : 495 - 535
  • [10] The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
    Wilczak, Daniel
    [J]. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2006, 6 (04) : 495 - 535