Abstract:We show how the existence of three objects, $\Omega_{\rm trap}$, ${\bf W}$, and $C$, for a continuous piecewise-linear map $f$ on $\mathbb{R}^N$, implies that $f$ has a topological attractor with a positive Lyapunov exponent. First, $\Omega_{\rm trap} \subset \mathbb{R}^N$ is trapping region for $f$. Second, ${\bf W}$ is a finite set of words that encodes the forward orbits of all points in $\Omega_{\rm trap}$. Finally, $C \subset T \mathbb{R}^N$ is an invariant expanding cone for derivatives of compositions of $f$ formed by the words in ${\bf W}$. We develop an algorithm that identifies these objects for two-dimensional homeomorphisms comprised of two affine pieces. The main effort is in the explicit construction of $\Omega_{\rm trap}$ and $C$. Their existence is equated to a set of computable conditions in a general way. This results in a computer-assisted proof of chaos throughout a relatively large regime of parameter space. We also observe how the failure of $C$ to be expanding can coincide with a bifurcation of $f$. Lyapunov exponents are evaluated using one-sided directional derivatives so that forward orbits that intersect a switching manifold (where $f$ is not differentiable) can be included in the analysis.

The Topological Complexity of Cantor Attractors in One-Dimensional Dynamics

The Topological Complexity Of Cantor Attractors For Unimodal Interval Maps

Hausdorff Dimension of Cantor Attractors in One-Dimensional Dynamics

On the algorithmic descriptive complexity of attractors in topological dynamics

Global Topology of Hyperbolic Components: Cantor Circle Case

Topology of attractors and periodic points

Piecewise contracting maps on the interval: Hausdorff dimension, entropy and attractors

An intersection problem of graph-directed attractors and an application

On the Finiteness of Attractors for piecewise $C^2$ Maps of the Interval

On Isolated Periodic Points of Diffeomorphisms with Expanding Attractors of Codimension 1

The Dynamics of a Class of One-dimensional Chaotic Maps

Persistent Non-statistical Dynamics in One-Dimensional Maps

One Dimensional Dynamics and the Rössler attractor

Dynamics, Topology and Bifurcations of Mcmullen Maps

Robust chaos in $\mathbb{R}^n$

Topological entropy and Hausdorff dimension of shrinking target sets

The Categorical Basis of Dynamical Entropy

Detecting invariant expanding cones for generating word sets to identify chaos in piecewise-linear maps

Universal bounds on the entropy of toroidal attractors

A $C^r$-connecting lemma for Lorenz attractors and its application on the space of ergodic measures

Chaotic dynamics at the boundary of a basin of attraction via non-transversal intersections for a non-global smooth diffeomorphism