Some remarks on numerical verification of closed orbits in dynamical systems

We consider numerical verification methods for existence of a closed orbit in a dynamical system which is described by ODEs. Besides Zgliczyński’s method using Poincaré map, the authors proposed a method of verification for closed orbits and their time period. In this paper, we derive a relationship between our method and one of bordering methods which gives some explanation of superiority of this bordering.