Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userConstructing robust chaos: invariant manifolds and expanding cones
59
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 provide formal results for robust chaos in the original parameter regime of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We first construct a trapping region in phase space to prove the existence of a topological attractor. We then construct an invariant expanding cone in tangent space to prove that tangent vectors expand and so no invariant set can have only negative Lyapunov exponents. Under additional assumptions we also characterise an attractor as the closure of the unstable manifold of a fixed point.
rate research
Read More
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.
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 the strategy by considering an induced map (a first return map for a well-chosen subset of phase space). In this paper we show that such a construction can be applied to the two-dimensional border-collision normal form (a continuous piecewise-linear map) if a certain set of conditions are satisfied and develop an algorithm for checking these conditions. The algorithm requires relatively few computations, so it is a more efficient method than, for example, estimating the Lyapunov exponent from a single orbit in terms of speed, numerical accuracy, and rigor. The algorithm is used to prove the existence of an attractor with a positive Lyapunov exponent numerically in an area of parameter space where the map has strong rotational characteristics and the consideration of an induced map is critical for the proof of robust chaos.
As the parameters of a map are varied an attractor may vary continuously in the Hausdorff metric. The purpose of this paper is to explore the continuation of chaotic attractors. We argue that this is not a helpful concept for smooth unimodal maps for which periodic windows fill parameter space densely, but that for piecewise-smooth maps it provides a way to delineate structure within parameter regions of robust chaos and form a stronger notion of robustness. We obtain conditions for the continuity of an attractor and demonstrate the results with coupled skew tent maps, the Lozi map, and the border-collision normal form.
We consider a pair (H,I) where I is an involutive ideal of a Poisson algebra and H lies in I. We show that if I defines a 2n-gon singularity then, under arithmetical conditions on H, any deformation of H can integrated as a deformation of (H,I).
We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
