Belykh map - davidar/scholarpedia GitHub Wiki
The Belykh map is a piecewise linear map possessing a chaotic attractor, called the Belykh attractor. The Belykh attractor contains only hyperbolic (saddle) orbits and belongs to the class of quasi-hyperbolic chaotic attractors.
The two-dimensional Belykh map <math>f</math> is defined by <math>\label{label1} \begin{cases} \bar{x}= \lambda x\\ \bar{y}= \gamma y \end{cases} \mbox{if} \;\;L(x,y)\le 0 </math>
and <math>\label{label2} \begin{cases} \bar{x}= \lambda (x-1)+1\\ \bar{y}= \gamma (y-1)+1 \end{cases} \mbox{if} \;\;L(x,y)>0, </math>
where <math> L(x,y)=k(2x-1)+2y-1 \ .</math> The map <math>f</math> is defined on a square <math> S=\{(x,y): 0\le x\le 1,\;\; 0\le y\le 1\}\ .</math> The square <math> S </math> is cut into two parts <math> S_1 </math> and <math> S_2 </math> by a line <math> L(x,y)=k(2x-1)+2y-1=0</math> (see <figref>Your_article_title_belykh_first_image.png</figref>). The dynamics of the map <math>f</math> is governed by \eqref{label1} on the lower part <math> S_1 \ ,</math> where <math> L(x,y) \le 0 \ ,</math> and by \eqref{label2} on the upper part <math> S_2 \ .</math>
The set <math> A=\bigcap \limits_{n=1}^{\infty} f^n(S) </math> is called the attractor of <math>f\ ,</math> or the Belykh attractor.
The map was first introduced and studied in (Belykh, 1976; Belykh, 1980; Belykh, 1982) as a simple model of digital phase locked loop (PLL). The Belykh map is a special case of a hyperbolic map with singularities. Another examples of such a map are the Lozi map (Lozi, 1978) and a dispersing dynamical billiard (Sinai, 1970; Bunimovich, 1974).
The Belykh map is invertible if <math>0<\lambda<1/2\ .</math> The ergodic properties of the Belykh map in the parameter range of invertibility were studied in (Pesin, 1992; Afraimovich et al, 1995; Sataev, 1992; Belykh 1995; Sataev, 1999). It has been proved that under the conditions <math>\label{label3} 0<\lambda<1/2, \;\;1<\gamma \le \frac{2}{1+|k|}, \;\;\mbox{and}\;\; |k|<1 </math>
the map <math>f</math> has a hyperbolic attractor in the sense that it contains only hyperbolic (saddle) orbits. However, the attractor might be structurally unstable as its saddle periodic orbits bifurcate or disappear when at least one point on the periodic orbit hits the discontinuity line <math>L(x,y)=0.</math> Such structurally unstable attractors containing only saddle orbits are called quasi-hyperbolic chaotic attractors (see, for example, (Afraimovich and Hsu, 2003)). The famous Lorenz attractor (Lorenz, 1963) also belongs to this class.
Pesin (1992) and Sataev (1992) proved the existence of the Sinai-Ruelle-Bowen measure for the chaotic map <math>f\ .</math>
Schmeling and Troubetzkoy (1998) considered the Belykh map in a wider range of parameters (<math> 1/2<\lambda <1 </math>) where the map is non-invertible. In analogy with the fat baker's transformation (Alexander and Yorke, 1984), they called the map <math>f</math> within the wider range of parameters the fat Belykh map and proved that the fat map is chaotic and has a continuous invariant measure (Schmeling, 1998; Schmeling and Troubetzkoy, 1998; Persson, 2008).
<figref>Your_article_title_figure_belykh_p5.png</figref> demonstrates the chaotic structure of the Belykh attractor in the parameter range of invertibility \eqref{label3}. The fat Belykh attractor in the parameter range of non-invertibility is depicted in <figref>Your_article_title_figure_fat_belykh.png</figref>.
The Belykh map and its planar attractor can be embedded into the phase space of a system of ordinary differential equations (ODEs). The motivation for finding possible flow embeddings of planar discrete-time chaotic attractors is two-fold. First, it gives specific examples of ODE systems, possessing strange attractors with rigorously proven chaotic properties. While planar attractors of discrete-time maps such as, for example, the baker's map, the Lozi map, and the Belykh map have been analytically shown to exhibit quasi-hyperbolic strange attractors, rigorous proofs of chaoticity in ODE systems are rare and often require computer assistance. In light of this, finding a systematic way of planar attractors embedding has its own value for the theory of dynamical systems. Second, these embeddings are an excellent way of visualizing discrete-time attractors and creating graphically appealing images.
The construction that generates the Belykh attractor is formed by two saddle-focus equilibria of two 3-D linear systems. The details of the construction are given below. The same technique can be used for embedding various piecewise-linear chaotic maps into the 3-D phase space by means of hybrid ODE systems.
Consider the following linear system of three ODEs that has a saddle-focus equilibrium at the origin: <math>\label{label4} \left \{\begin{array}{l} \dot{x}=-\delta x\\ \dot{y}=\sigma y+ 2 \pi z,\\ \dot{z}=-2\pi y+ \sigma z \end{array} \right. </math> where <math>\delta</math> and <math>\sigma</math> are positive parameters to be defined.
System \eqref{label4} has a solution <math>\label{label5} x=x_0 e^{-\delta t},\;\;y=y_0 e^{\sigma t}\cos 2\pi t,\;\;z=-y_0 e^{\sigma t}\sin 2\pi t </math>
for the initial conditions <math>x(0)=x_0 \ge 0,</math> <math>y(0)=y_0 \ge 0,</math> and <math>z(0)=0.</math> Therefore, the system \eqref{label4} generates a Poincaré map of the quarter plane <math> P^{+}=\{(x,y): x\ge 0,\;\; y\ge 0,\;\;z=0\}</math> into itself as the solution \eqref{label5} returns to <math>P^{+}</math> at every instant <math>t=i\in \mathbb{Z}.</math> The Poincaré map on the cross-section <math>P^{+}</math> reads <math>\label{label6} \bar{x}=e^{-\delta}x,\;\;\bar{y}=e^{\sigma}y. </math>
Setting <math>e^{-\delta}=\lambda</math> and <math>e^{\sigma}=\gamma,</math> where <math>\lambda</math> and <math>\gamma</math> are the original parameters of the Belykh map \eqref{label1}-\eqref{label2}, one transforms the Poincaré map \eqref{label6} into the first part of the Belykh map \eqref{label1} defined for the region <math> S_1</math> where <math> L(x,y)\le 0.</math>
Changing the variables <math>(x,y)\rightarrow (1-x,1-y)</math> in the system \eqref{label4} yields another linear system with the saddle-focus equilibrium shifted to <math>(1,1,0)\ .</math> The new system reads <math>\label{label7} \left \{\begin{array}{l} \dot{x}=-\delta (x-1)\\ \dot{y}=\sigma (y-1)- 2 \pi z\\ \dot{z}=2\pi (y-1)+ \sigma z. \end{array} \right. </math>
The corresponding Poincaré map on the cross-section <math> P^{-}=\{(x,y): x\le 1,\;\; y\le 1,\;\;z=0\}</math> takes the form <math>\label{label8} \bar{x}=e^{-\delta}(x-1)+1,\;\;\bar{y}=e^{\sigma}(y-1)+1</math>
which coincides with the second part of the Belykh map \eqref{label2} for <math> L(x,y)>0.</math>
Therefore, two ODE systems \eqref{label4} and \eqref{label7} act on a common cross-section <math> P=P^{+} \cap P^{-}=\{(x,y):0 \le x\le 1,\;\; 0 \le y\le 1,\;\;z=0\}</math> according to the following rule
<math>\label{label9} \left \{\begin{array}{l} \dot{x}=-\delta [x-H(L(x_i,y_i))]\\ \dot{y}=\sigma [y-H(L(x_i,y_i))]+2\pi(-1)^{H(L(x_i,y_i))}z\\ \dot{z}=-2\pi (-1)^{H(L(x_i,y_i))}[y-H(L(x_i,y_i))]+ \sigma z, \end{array} \right. </math>
where <math>H \left (L(x_i,y_i) \right )</math> is the Heaviside step function with <math>H(0)=0</math> and <math>L(x_i,y_i)=k(2x_i-1)+2y_i-1.</math> The system \eqref{label9} must be integrated over the time intervals <math>t\in [i,i+1], </math> <math>i=0,1,2,...</math> The Heaviside step function <math>H(L(x_i,y_i))</math> can only switch its value at time <math>t=i</math> when the trajectory leaves the cross-section <math>P</math> to come back at time <math>t=i+1\ .</math> Note that the system \eqref{label9} becomes \eqref{label4} when <math>H(L(x_i,y_i))=0\ .</math> This happens when the trajectory hits the cross-section <math>P</math> at a point for which <math>L(x_i,y_i) \le 0.</math> At the same time, <math>H(L(x_i,y_i))=1</math> yields the system \eqref{label7}.
In short, the hybrid ODE system \eqref{label9} is a way of gluing trajectories of two linear systems \eqref{label4} and \eqref{label7} periodically in time such that the trajectory of one system is continued by the other system if the trajectory returns to the cross-section <math> P</math> on the other side of the line <math>L(x_i,y_i).</math>
To ensure the one-to-one correspondence between the original Belykh map \eqref{label1}-\eqref{label2} and the Poincaré map \eqref{label6}-\eqref{label8} on the cross-section <math>P\ ,</math> the parameters of the system \eqref{label9} must be recalculated via <math>\lambda</math> and <math>\gamma</math> as follows: <math>\delta=-{\rm ln} \lambda</math> and <math>\sigma={\rm ln} \gamma\ .</math> The parameter <math>k,</math> present in <math> L(x_i,y_i),</math> remains the same.
Under these conditions, the hybrid ODE system \eqref{label9} with initial conditions <math> \{0 \le x(0) \le 1,\;\; 0 \le y(0) \le 1,\;\;z(0)=0\}</math> acts as the Belykh map on the cross-section <math> P</math> (<figref>Title_poincare_section_transparent.png</figref>-<figref>Title_poincare_section_xy_final.png</figref>) and generates a quasi-hyperbolic Belykh attractor (<figref>Title_poincare_map_final.png</figref>).
Anosov diffeomorphism, Chaos, Chirikov standard map, Hénon map, Hyperbolic dynamics, Ergodic theory, Lorenz attractor, Noninvertible maps, Pesin entropy formula, Smale horseshoe, Zaslavsky map