Related papers: Computer Assisted Proof for Normally Hyperbolic In…

We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally…

We numerically study quasiperiodic normally hyperbolic attracting invariant circles that appear for certain parameter values in a family of three-dimensional Henon-like maps. These parameter values make up contour segments in the parameter…

We present numerical verification of hyperbolic nature for chaotic attractor in a system of two coupled non-autonomous van der Pol oscillators (Kuznetsov, Phys. Rev. Lett., 95, 144101, 2005). At certain parameter values, in the…

Here we study the space of real hyperbolic plane curves that are invariant under actions of the cyclic and dihedral groups and show they have determinantal representations that certify this invariance. We show an analogue of Nuij's theorem…

We present a method for establishing invariant manifolds for saddle--center fixed points. The method is based on cone conditions, suitably formulated to allow for application in computer assisted proofs, and does not require rigorous…

In this paper we study the computability of the stable and unstable manifolds of a hyperbolic equilibrium point. These manifolds are the essential feature which characterizes a hyperbolic system. We show that (i) locally these manifolds can…

We present a computer assisted proof or diffusion in the Planar Elliptic Restricted Three Body Problem. We treat the elliptic problem as a perturbation of the circular problem, where the perturbation parameter is the eccentricity of the…

We prove that the system resulting of coupling the standard map with a fast hyperbolic system is robustly non-uniformly hyperbolic.

We develop a numerical test of hyperbolicity of chaotic dynamics in time-delay systems. The test is based on the angle criterion and includes computation of angle distributions between expanding, contracting and neutral manifolds of…

If a $C^{1 + a}$, $a >0$, volume-preserving diffeomorphism on a compact manifold has a hyperbolic invariant set with positive volume, then the map is Anosov. We also give a direct proof of ergodicity of volume-preserving $CC^{1+a}$, $a>0$,…

This paper introduces a rigorous computer-assisted procedure for analyzing hyperbolic 3-manifolds. This technique is used to complete the proof of several long-standing rigidity conjectures in 3-manifold theory as well as to provide a new…

We consider the Cauchy problem for first order systems. Assuming that the set of the singular points of the characteristic variety is a smooth manifold and the characteristic values are real and semi-simple we introduce a new class which is…

For piecewise-linear maps the stable and unstable manifolds of hyperbolic periodic solutions are themselves piecewise-linear. Hence compact subsets of these manifolds can be represented using polytopes (i.e. polygons, in the case of…

In this work, we relate the geometry of chaotic attractors of typical analytic unimodal maps to the behavior of the critical orbit. Our main result is an explicit formula relating the combinatorics of the critical orbit with the exponents…

We study the existence and regularity of invariant graphs for bundle maps (or bundle correspondences with generating bundle maps motivated by ill-posed differential equations) having some relative partial hyperbolicity on non-trivial and…

By the Lyapunov-Perron method,we prove the existence of random inertial manifolds for a class of equations driven simultaneously by non-autonomous deterministic and stochastic forcing. These invariant manifolds contain tempered pullback…

The goal of this paper is to provide a methodology to prove existence of (fiberwise hyperbolic) real-analytic invariant tori in real-analytic quasi-periodic skew-product dynamical systems that present nearly-invariant tori of the same…

Asymptotic behavior of energy of a harmonic map defined on an asymptotically hyperbolic manifold is considered. Using the growth of energy, we show that a harmonic map defined on some asymptotically hyperbolic manifolds has to be constant…

The existence of non-continuous invariant graphs (or strange non-chaotic attractors) in quasiperiodically forced systems has generated great interest, but there are still very few rigorous results about the properties of these objects. In…

We consider the geodesic flow on a complete connected negatively curved manifold. We show that the set of invariant borel probability measures contains a dense $G_\delta$-subset consisting of ergodic measures fully supported on the…