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.

Existence and Stability of Periodic Orbits in $N$-Dimensional Piecewise Linear Continuous Maps

Periodic orbits for 2n-dimensional control piecewise smooth dynamical systems

How to compute multi-dimensional stable and unstable manifolds of piecewise-linear maps

Existence of n-cycles and border-collision bifurcations in piecewise-linear continuous maps with applications to recurrent neural networks

Invariant graphs and dynamics of a family of continuous piecewise linear planar maps

Dynamics of Newton Maps

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

Piecewise Linear Models for the Quasiperiodic Transition to Chaos

One-dimensional Dynamics for a Discontinuous Singular Map and the Routes to Chaos

Dynamics of a family of piecewise-linear area-preserving plane maps III. Cantor set spectra

The bifurcation structure within robust chaos for two-dimensional piecewise-linear maps

On Stability Discrimination of Limit Cycles for Piecewise Smooth Systems

Piecewise linear periodic maps of the plane with integer coefficients

Bifurcations of mode-locked periodic orbits in three-dimensional maps

Trajectories associated with parabolic and hyperbolic periodic points of piecewise linear area-preserving map

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

Bifurcation analysis of piecewise-smooth engineering systems with delays through numeric continuation of periodic orbits

A piecewise contractive map on triangles

Counting The Number Of Periods In One-Dimensional Maps With Multiple Critical-Points

Periodic Waves for the Regularized Camassa-Holm Equation: Existence and Spectral Stability

The Dynamics of a Class of One-dimensional Chaotic Maps