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.

A dynamical interpretation of the connection map of an attractor-repeller decomposition

Nonautonomous Conley Index Theory: The Homology Index and Attractor-Repeller decompositions

A Conley index study of the evolution of the Lorenz strange set

Conley index for random dynamical systems

On Conley's fundamental theorem of dynamical systems

Computing the Conley Index: a Cautionary Tale

Topological Inference of the Conley Index

Conley index for multivalued maps on finite topological spaces

Regular blocks and Conley index of isolated invariant continua in surfaces

Attractor-repeller collision and the heterodimensional dynamics

Detection of bistable structures via the Conley index and applications to biological systems

On the stable Conley index in Hilbert spaces

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

The Conley Index and the Critical Groups Via an Extension of Gromoll-Meyer Theory

Local attractor continuation of non-autonomously perturbed systems

Stability of Periodic Orbits by Conley-Zehnder index theory

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

Numerical Study of Discrete Lorenz-Like Attractors

Stability index for chaotically driven concave maps

Upper, down, two-sided Lorenz attractor, collisions, merging and switching

Characterization of the attractor for nonautonomous reaction-diffusion equations with discontinuous nonlinearity