Proving the existence of periodic solutions using global interval Newton method

In this paper we introduce the global interval Newton method and investigate the possibility of using this method for proving the existence of periodic orbits in continuous-time dynamical systems. We compare this method with a standard version of the interval Newton method. As an example we consider a simple third order electronic circuit for which we prove the existence of several unstable periodic orbits.