# American Institute of Mathematical Sciences

July  2005, 13(4): 901-920. doi: 10.3934/dcds.2005.13.901

## Topological method for rigorously computing periodic orbits using Fourier modes

 1 Institute for Mathematics, University of Paderborn, D-33095 Paderborn, Germany, Germany, Germany

Received  December 2004 Revised  July 2005 Published  August 2005

We present a technique for the rigorous computation of periodic orbits in certain ordinary differential equations. The method combines set oriented numerical techniques for the computation of invariant sets in dynamical systems with topological index arguments. It not only allows for the proof of existence of periodic orbits but also for a precise (and rigorous) approximation of these. As an example we compute a periodic orbit for a differential equation introduced in [2].
Citation: Anthony W. Baker, Michael Dellnitz, Oliver Junge. Topological method for rigorously computing periodic orbits using Fourier modes. Discrete & Continuous Dynamical Systems, 2005, 13 (4) : 901-920. doi: 10.3934/dcds.2005.13.901
 [1] A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete & Continuous Dynamical Systems, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721 [2] Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95 [3] Dietmar Szolnoki. Set oriented methods for computing reachable sets and control sets. Discrete & Continuous Dynamical Systems - B, 2003, 3 (3) : 361-382. doi: 10.3934/dcdsb.2003.3.361 [4] Anete S. Cavalcanti. An existence proof of a symmetric periodic orbit in the octahedral six-body problem. Discrete & Continuous Dynamical Systems, 2017, 37 (4) : 1903-1922. doi: 10.3934/dcds.2017080 [5] Chiara Caracciolo, Ugo Locatelli. Computer-assisted estimates for Birkhoff normal forms. Journal of Computational Dynamics, 2020, 7 (2) : 425-460. doi: 10.3934/jcd.2020017 [6] Tatiane C. Batista, Juliano S. Gonschorowski, Fábio A. Tal. Density of the set of endomorphisms with a maximizing measure supported on a periodic orbit. Discrete & Continuous Dynamical Systems, 2015, 35 (8) : 3315-3326. doi: 10.3934/dcds.2015.35.3315 [7] Maxime Breden, Jean-Philippe Lessard. Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. Discrete & Continuous Dynamical Systems - B, 2018, 23 (7) : 2825-2858. doi: 10.3934/dcdsb.2018164 [8] Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete & Continuous Dynamical Systems, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045 [9] Maciej J. Capiński, Emmanuel Fleurantin, J. D. Mireles James. Computer assisted proofs of two-dimensional attracting invariant tori for ODEs. Discrete & Continuous Dynamical Systems, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162 [10] István Balázs, Jan Bouwe van den Berg, Julien Courtois, János Dudás, Jean-Philippe Lessard, Anett Vörös-Kiss, JF Williams, Xi Yuan Yin. Computer-assisted proofs for radially symmetric solutions of PDEs. Journal of Computational Dynamics, 2018, 5 (1&2) : 61-80. doi: 10.3934/jcd.2018003 [11] Katja Polotzek, Kathrin Padberg-Gehle, Tobias Jäger. Set-oriented numerical computation of rotation sets. Journal of Computational Dynamics, 2017, 4 (1&2) : 119-141. doi: 10.3934/jcd.2017004 [12] Andrea Venturelli. A Variational proof of the existence of Von Schubart's orbit. Discrete & Continuous Dynamical Systems - B, 2008, 10 (2&3, September) : 699-717. doi: 10.3934/dcdsb.2008.10.699 [13] Wade Hindes. Orbit counting in polarized dynamical systems. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021112 [14] Ugo Locatelli, Letizia Stefanelli. Quasi-periodic motions in a special class of dynamical equations with dissipative effects: A pair of detection methods. Discrete & Continuous Dynamical Systems - B, 2015, 20 (4) : 1155-1187. doi: 10.3934/dcdsb.2015.20.1155 [15] Shi-Liang Wu, Cheng-Hsiung Hsu. Entire solutions with merging fronts to a bistable periodic lattice dynamical system. Discrete & Continuous Dynamical Systems, 2016, 36 (4) : 2329-2346. doi: 10.3934/dcds.2016.36.2329 [16] Jong-Shenq Guo, Chang-Hong Wu. Front propagation for a two-dimensional periodic monostable lattice dynamical system. Discrete & Continuous Dynamical Systems, 2010, 26 (1) : 197-223. doi: 10.3934/dcds.2010.26.197 [17] Peter Giesl. Converse theorem on a global contraction metric for a periodic orbit. Discrete & Continuous Dynamical Systems, 2019, 39 (9) : 5339-5363. doi: 10.3934/dcds.2019218 [18] Minju Lee, Hee Oh. Topological proof of Benoist-Quint's orbit closure theorem for $\boldsymbol{ \operatorname{SO}(d, 1)}$. Journal of Modern Dynamics, 2019, 15: 263-276. doi: 10.3934/jmd.2019021 [19] S. Aubry, G. Kopidakis, V. Kadelburg. Variational proof for hard Discrete breathers in some classes of Hamiltonian dynamical systems. Discrete & Continuous Dynamical Systems - B, 2001, 1 (3) : 271-298. doi: 10.3934/dcdsb.2001.1.271 [20] W.-J. Beyn, Y.-K Zou. Discretizations of dynamical systems with a saddle-node homoclinic orbit. Discrete & Continuous Dynamical Systems, 1996, 2 (3) : 351-365. doi: 10.3934/dcds.1996.2.351

2020 Impact Factor: 1.392