American Institute of Mathematical Sciences

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

Topological method for rigorously computing periodic orbits using Fourier modes

Anthony W. Baker 1, , Michael Dellnitz 1, and  Oliver Junge 1,

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].
Keywords: periodic orbit, set oriented methods, Dynamical system, computer assisted proof..
Mathematics Subject Classification: Primary: 34L30, 37B30, 37M99; Secondary: 37C25, 65P9.
Citation: Anthony W. Baker, Michael Dellnitz, Oliver Junge. Topological method for rigorously computing periodic orbits using Fourier modes. Discrete & Continuous Dynamical Systems - A, 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 - A, 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 - A, 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 - A, 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]

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
[9]

Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete & Continuous Dynamical Systems - A, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045
[10]

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 - A, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162
[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]

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
[14]

Shi-Liang Wu, Cheng-Hsiung Hsu. Entire solutions with merging fronts to a bistable periodic lattice dynamical system. Discrete & Continuous Dynamical Systems - A, 2016, 36 (4) : 2329-2346. doi: 10.3934/dcds.2016.36.2329
[15]

Jong-Shenq Guo, Chang-Hong Wu. Front propagation for a two-dimensional periodic monostable lattice dynamical system. Discrete & Continuous Dynamical Systems - A, 2010, 26 (1) : 197-223. doi: 10.3934/dcds.2010.26.197
[16]

Peter Giesl. Converse theorem on a global contraction metric for a periodic orbit. Discrete & Continuous Dynamical Systems - A, 2019, 39 (9) : 5339-5363. doi: 10.3934/dcds.2019218
[17]

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
[18]

Gary Froyland, Oliver Junge, Kathrin Padberg-Gehle. Preface: Special issue on the occasion of the 4th International Workshop on Set-Oriented Numerics (SON 13, Dresden, 2013). Journal of Computational Dynamics, 2015, 2 (1) : i-ii. doi: 10.3934/jcd.2015.2.1i
[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 - A, 1996, 2 (3) : 351-365. doi: 10.3934/dcds.1996.2.351

2019 Impact Factor: 1.338

Tools

Metrics

  • PDF downloads (33)
  • HTML views (0)
  • Cited by (3)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences