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]

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

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

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

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

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

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

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

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

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

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

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

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

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

Mostafa Fazly, Mahmoud Hesaaraki. Periodic solutions for a semi-ratio-dependent predator-prey dynamical system with a class of functional responses on time scales. Discrete & Continuous Dynamical Systems - B, 2008, 9 (2) : 267-279. doi: 10.3934/dcdsb.2008.9.267
[20]

Wenbo Fu, Debnath Narayan. Optimization algorithm for embedded Linux remote video monitoring system oriented to the internet of things (IOT). Discrete & Continuous Dynamical Systems - S, 2019, 12 (4&5) : 1341-1354. doi: 10.3934/dcdss.2019092

2018 Impact Factor: 1.143

Tools

Metrics

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

Other articles
by authors

[Back to Top]

Copyright © 2019 American Institute of Mathematical Sciences