Related papers: Computer Assisted Proof for Normally Hyperbolic In…

We present a topological proof of the existence of invariant manifolds for maps with normally hyperbolic-like properties. The proof is conducted in the phase space of the system. In our approach we do not require that the map is a…

Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…

We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a…

This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the…

We prove existence and uniqueness of an unstable manifold for a degenerate hyperbolic map of the plane arising in statistics.

In some maps the existence of an attractor with a positive Lyapunov exponent can be proved by constructing a trapping region in phase space and an invariant expanding cone in tangent space. If this approach fails it may be possible to adapt…

We consider perturbations of normally hyperbolic invariant manifolds, under which they can lose their hyperbolic properties. We show that if the perturbed map which drives the dynamical system exhibits some topological properties, then the…

We show that special perturbations of a particular holomorphic map on $\mathbf{P}^k$ give us examples of maps that possess chaotic nonalgebraic attractors. Furthermore, we study the dynamics of the maps on the attractors. In particular, we…

We prove a persistence result for noncompact normally hyperbolic invariant manifolds in Riemannian manifolds of bounded geometry. The bounded geometry of the ambient manifold is a crucial assumption in order to control the uniformity of all…

The paper deals with topical issues of modern mathematical theory of dynamical chaos and its applications. At present, it is customary to assume that dynamical chaos in finitedimensional smooth systems can exist in three different forms.…

Let $N$ be a smooth manifold and $f:N\to N$ be a $C^l$, $l\geq 2$ diffeomorphism. Let $M$ be a normally hyperbolic invariant manifold, not necessarily compact. We prove an analogue of the $\lambda$-lemma in this case.

We investigate dynamical systems obtained by coupling two maps, one of which is chaotic and is exemplified by an Anosov diffeomorphism, and the other is of gradient type and is exemplified by a N-pole-to-S-pole map of the circle. Leveraging…

For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our…

We treat $n$-dimensional piecewise-linear continuous maps with two pieces, each of which has exactly one unstable direction, and identify an explicit set of sufficient conditions for the existence of a chaotic attractor. The conditions…

We present a simple, computation free and geometrical proof of the following classical result: for a diffeomorphism of a manifold, any compact submanifold which is invariant and normally hyperbolic persists under small perturbations of the…

For a given a normally hyperbolic invariant manifold, whose stable and unstable manifolds intersect transversally, we consider several tools and techniques to detect trajectories with prescribed itineraries: the scattering map, the…

Chaotic attractors in the two-dimensional border-collision normal form (a piecewise-linear map) can persist throughout open regions of parameter space. Such robust chaos has been established rigorously in some parameter regimes. Here we…

Let $T$ be a competitive map on a rectangular region $\mathcal{R}\subset \mathbb{R}^2$, and assume $T$ is $C^1$ in a neighborhood of a fixed point $\bar{\rm x}\in \mathcal{R}$. The main results of this paper give conditions on $T$ that…

We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.

We consider compact sets which are invariant and partially hyperbolic under the dynamics of a diffeomorphism of a manifold. We prove that such a set K is contained in a locally invariant center submanifold if and only if each strong stable…