Finite-time Lyapunov dimension and hidden attractor of the Rabinovich system

1, 2, 3, 2, 4 2 5 6 N. V. Kuznetsov, ∗ G. A. Leonov, T. N. Mokaev, A. Prasad, and M.D. Shrimali 1Modeling Evolutionary Algorithms Simulation and Artificial Intelligence, Faculty of Electrical & Electronics Engineering, Ton Duc Thang University, Ho Chi Minh, Vietnam 2Faculty of Mathematics and Mechanics, St. Petersburg State University, Peterhof, St. Petersburg, Russia 3Department of Mathematical Information Technology, University of Jyv¨askyl¨a,Jyv¨askyl¨a,Finland 4Institute of Problems of Mechanical Engineering RAS, Russia 5Department of Physics & Astrophysics, Delhi University, India 6Central University of Rajasthan, Ajmer, India (Dated: November 17, 2017) The Rabinovich system, describing the process of interaction between waves in plasma, is con- sidered. It is shown that the Rabinovich system can exhibit a hidden attractor in the case of multistability as well as a classical self-excited attractor. The hidden attractor in this system can be localized by analytical-numerical methods based on the continuation and perpetual points. For numerical study of the attractors’ dimension the concept of finite-time Lyapunov dimension is de- veloped. A conjecture on the Lyapunov dimension of self-excited attractors and the notion of exact Lyapunov dimension are discussed. A comparative survey on the computation of the finite-time Lyapunov exponents by different algorithms is presented and an approach for a reliable numerical estimation of the finite-time Lyapunov dimension is suggested. Various estimates of the finite- time Lyapunov dimension for the hidden attractor and hidden transient chaotic set in the case of multistability are given.

I. INTRODUCTION search and visualization of hidden attractors and tran- sient sets in the phase space are challenging tasks [12]. One of the main tasks of the investigation of dynami- In this paper we study hidden attractors and transient cal systems is the study of established (limiting) behavior chaotic sets in the Rabinovich system. We show that the of the system after transient processes, i.e., the problem methods of numerical continuation and perpetual point of localization and analysis of attractors (limited sets of are helpful for localization and understanding of hidden system’s states, which are reached by the system from attractor in the Rabinovich system. close initial data after transient processes) [1–3]. While For the study of chaotic sets and dimension of attrac- trivial attractors (stable equilibrium points) can be eas- tors the concept of the Lyapunov dimension [13] was ily found analytically, the search of periodic and chaotic found useful and became widely spread [14–18]. Since in attractors can turn out to be a challenging problem (see, numerical experiments we can consider only finite time, e.g. famous 16th Hilbert problem [4] on the number of in this paper we develop the concept of the finite-time coexisting periodic attractors in two dimensional polyno- Lyapunov dimension [19] and an approach for its reli- mial systems, which was formulated in 1900 and is still able numerical computation. Various estimates of the unsolved; see also its generalization for multidimensional finite-time Lyapunov dimension for the Rabinovich hid- systems with chaotic attractors [5]). For numerical local- den attractor in the case of multistability are given. ization of an attractor one needs to choose an initial point in the basin of attraction and observe how the trajectory, II. THE RABINOVICH SYSTEM: starting from this initial point, after a transient process INTERACTION BETWEEN WAVES IN PLASMA visualizes the attractor. Self-excited attractors, even co- existing in the case of multistability [6], can be revealed Consider a system, suggested in 1978 by M. Rabi- arXiv:1504.04723v4 [nlin.CD] 15 Nov 2017 numerically by the integration of trajectories, started in small neighborhoods of unstable equilibria, while hidden novich [20, 21], attractors have the basins of attraction, which are not x˙ = hy ν x yz, connected with equilibria, and are hidden somewhere in − 1 − y˙ = hx ν y + xz, (1) the phase space [7–10]. Remark that in numerical com- − 2 putation of trajectory over a finite-time interval it is dif- z˙ = z + xy, − ficult to distinguish a sustained chaos from a transient chaos (a transient chaotic set in the phase space, which describing the interaction of three resonantly coupled can nevertheless persist for a long time) [11]. Thus, the waves, two of which are parametrically excited. Here, the parameter h is proportional to the pumping ampli- tude and the parameters ν1,2 are normalized dumping decrements. After the linear transformation (see, e.g., [22]): ∗ Corresponding author email: [email protected], [email protected] 1 1 χ :(x, y, z) (ν ν h− y, ν x, ν ν h− z) (2) → 1 2 1 1 2 2 and time rescaling: One can check that inequalities p1(x1, y1, z1) > 0 and 1 p3(x1, y1, z1) > 0 are always valid. If ar + 1 0, then t ν1− t, (3) p (x , y , z )p (x , y , z ) p (x , y , z ) > ≥0, and if → 1 1 1 1 2 1 1 1 − 3 1 1 1 we obtain a generalized Lorenz system: condition (i) also holds, then p2(x1, y1, z1) > 0. If ar + 1 < 0, then p2(x1, y1, z1) > 0, and if con- x˙ = σ(x y) ayz, dition (ii) also holds, then p (x , y , z )p (x , y , z ) − − − 1 1 1 1 2 1 1 1 − y˙ = rx y xz, (4) p3(x1, y1, z1) > 0. − − z˙ = bz + xy, − where III. ATTRACTORS AND TRANSIENT CHAOS

1 1 2 2 1 1 2 σ = ν− ν , b = ν− , a = ν h− , r = ν− ν− h . (5) 1 2 1 − 2 1 2 Consider system (4) as an autonomous differential System (4) with a = 0 coincides with the classical equation of a general form: Lorenz system [23]. As it is discussed in [22], system u˙ = f(u), (7) (4) can also be used to describe the following physical processes: the convective fluid motion inside rotating el- where u = (x, y, z) 3, and the continuously differen- lipsoid, the rotation of rigid body in viscous fluid, the R tiable vector-function∈ f : 3 3 represents the right- gyrostat dynamics, the convection of horizontal layer of R R hand side of system (4). Define→ by u(t, u ) a solution of fluid making harmonic oscillations, and the model of Kol- 0 (7) such that u(0, u ) = u . For system (7), a bounded mogorov’s flow. 0 0 closed invariant set K is Note that since parameters ν , ν , h are positive, the 1 2 (i)a (local) attractor if it is a minimal locally attractive parameters σ, b, r are positive and parameter a is nega- set (i.e. limt + dist(K, u(t, u0)) = 0 u0 K(ε), tive. From relation (5) we have: → ∞ where K(ε) is a certain ε-neighborhood∀ of∈ set K), σ = ar. (6) (ii)a global attractor if it is a minimal globally at- − tractive set (i.e. limt + dist(K, u(t, u0)) = 0 3 → ∞ Further, we study system (4) under the assumption u0 R ), ∀ ∈ (6). If r < 1, then system (4) has a unique equi- where dist(K, u) = infv K v u is the distance from 3 ∈ || − ||3 librium S0 = (0, 0, 0), which is globally asymptotically the point u R to the set K R (see, e.g. [9]). Lyapunov stable (global attractor) [18, 22]. If r > 1, Note that∈ system (4) (or (7))⊂ is dissipative in the sense then system (4) has three equilibria: S0 = (0, 0, 0) and that it possesses a bounded convex absorbing set [9, 22]: S = ( x1, y1, z1), where ± ± ±  2  3 b(σ + δr) σb√ξ p σξ (r, a, b) = u R V (u) , (8) x = , y = ξ, z = , B ∈ | ≤ 2c(a + δ) 1 σb + aξ 1 1 σb + aξ  2 and where V (u) = V (x, y, z) = x2 +δy2 +(a+δ) z σ+δr , − a+δ h i σb p 2 δ is an arbitrary positive number such that a+δ > 0 and ξ = 2 a(r 2) σ + (σ ar) + 4aσ . b 2a − − − c = min(σ, 1, 2 ). Thus, the solutions of (4) exist for t [0, + ) and system (4) possesses a global attractor The stability of equilibria S of system (4) depends on ∈ ∞ ± [9, 24], which contains the set of all equilibria and can be the parameters r, a, and b. Using the Routh-Hurwitz t criterion, we obtain the following constructed as τ>0 t τ ϕ ( ). Computational∩ errors∪ ≥ (causedB by a finite precision Lemma 1. The equilibria S of system (4) with param- ± arithmetic and numerical integration of differential equa- eters (5) are stable if and only if one of the following tions) and sensitivity to initial data allow one to get a conditions holds: reliable visualization of a chaotic attractor by only one (i)0 ar + 1 < 2r , r √r(r 1) pseudo-trajectory computed for a sufficiently large time ≤ − − 4a(r 1)(ar+1)√r(r 1)+(ar 1)3 interval. One needs to choose an initial point in the basin − − − (ii) ar+1 < 0, b > bcr = (ar+1)2 4ar2 . of attraction of the attractor and observe how the trajec- − tory, starting from this initial point, after a transient pro- Sketch of the proof. The coefficients of the charac- cess visualizes the attractor. Thus, from a computational 3 2 teristic polynomial χ(x, y, z) = λ + p1(x, y, z)λ + point of view, it is natural to suggest the following clas- p2(x, y, z)λ + p3(x, y, z) of the Jacobian matrix of sys- sification of attractors, based on the simplicity of finding tem (4) at the point (x, y, z) are the following the basins of attraction in the phase space.

p1(x, y, z) = b ar + 1, Definition 1. [7,9, 10, 25] An attractor is called a self- − 2 2 2 excited attractor if its basin of attraction intersects with p2(x, y, z) = x + ay az ar(b r + 1) + b, − − − any open neighborhood of an equilibrium, otherwise, it p (x, y, z) = a2xyz + rx2 y2 + bz2 br(r 1)
. 3 − − − − is called a hidden attractor. 3

For a self-excited1 attractor its basin of attraction is scenario of transition to chaos (via homoclinic and sub- connected with an unstable equilibrium and, therefore, critical Andronov-Hopf bifurcations) similar to the sce- self-excited attractors can be localized numerically by the nario in the Lorenz system. For 4.84 / h / 13.4 in standard computational procedure in which after a tran- system (1) there is a self-excited chaotic attractor (see sient process a trajectory, starting in a neighborhood of e.g. Fig.1), which coexists with two stable equilibria. an unstable equilibrium, is attracted to the state of os- The same scenario can be obtained for system (4) when cillation and then traces it. Thus, self-excited attrac- parameters b > 0 and a < 0 are fixed and r is increasing. tors can be easily visualized (e.g. the classical Lorenz, Besides self-excited chaotic attractors, a hidden attrac- R¨ossler,and H´enonattractors are self-excited with re- tor was found in the system [74, 75]. Note that in [9, 76] spect to unstable zero equilibrium and can be easily vi- system (4) with a > 0 was studied and a hidden attractor sualized by a trajectory from its vicinity). was also found numerically. For a hidden attractor, its basin of attraction is not In this work we localize a hidden chaotic attractor in connected with equilibria and, thus, the search and visu- system (4) with a < 0 by the numerical continuation alization of hidden attractors in the phase space may be a method starting from a self-excited chaotic attractor. We challenging task. Hidden attractors are attractors in the change parameters, considered in [75], in such a way that systems without equilibria (see, e.g. rotating electrome- the chaotic set locates not too close to the unstable zero chanical systems with Sommerfeld effect (1902) [30, 31]), equilibrium to avoid a situation, when numerically inte- and in the systems with only one stable equilibrium (see, grated trajectory oscillates for a long time and then falls e.g. counterexamples [7, 32] to Aizerman’s (1949) and on the unstable manifold of unstable zero equilibrium, Kalman’s (1957) conjectures on the monostability of non- leaves the chaotic set, and tends to one of the stable linear control systems [33, 34]). One of the first related equilibria. problems is the second part of 16th Hilbert problem [4] on the number and mutual disposition of limit cycles in two dimensional polynomial systems, where nested limit cycles (a special case of multistability and coexistence of periodic attractors) exhibit hidden periodic attractors (see, e.g., [7, 35, 36]). The classification of attractors as being hidden or self-excited was introduced by Leonov & Kuznetsov in connection with the discovery of the first hidden Chua attractor [25, 37–42] and has captured much S S+ attention of scientists from around the world (see, e.g. − [43–71]). Since in the numerical computation of trajectory over a finite-time interval it is difficult to distinguish a sustained chaos from a transient chaos (a transient chaotic set in S0 the phase space, which can nevertheless persist for a long time) [11, 72], a similar to the above classification can be introduced for the transient chaotic sets. Figure 1: Multistability in the Rabinovich system (4) transient chaotic set Definition 2. [73, 74]A is called with the classical values of parameters ν1 = 1, ν2 = 4, a hidden transient chaotic set if it does not involve and h = 4.92 from [21]: coexistence of three local attractors attract trajectories from a small neighborhood of equi- — two stable equilibria S and a chaotic self-excited libria; otherwise, it is called self-excited. attractor (self-excited with± respect to the unstable zero equilibrium S ). In order to distinguish an attracting chaotic set (at- 0 tractor) from a transient chaotic set in numerical ex- periments, one can consider a grid of points in a small neighborhood of the set and check the attraction of cor- responding trajectories towards the set. A. Localization via numerical continuation method For system (1) with parameters ν1 = 1, ν2 = 4, and increasing h it is possible to observe [21] the classical One of the effective methods for numerical localization of hidden attractors in multidimensional dynamical sys- tems is based on the homotopy and numerical continua- tion method (NCM) 1 . The idea is to construct a sequence The term self oscillation (selbsterregten Schwingungen in Ger- of similar systems such that for the first (starting) system man) can be traced back to the works of Barkhausen and An- dronov, where it was used to describe the generation and main- the initial point for numerical computation of oscillating tenance of a periodic motion in electromechanical models by a solution (starting attractor) can be obtained analytically, source of power that lacks any corresponding periodicity (e.g., a e.g, it is often possible to consider the starting system stable limit cycle in the van der Pol oscillator) [26–29]. with a self-excited starting attractor; then the transfor- 4 mation of this starting attractor in the phase space is tem (9) shows the variation of acceleration in the phase tracked numerically while passing from one system to space. another; the last system corresponds to the system in Similar to the equilibrium points estimation, where we which a hidden attractor is searched. set the velocity vector to zero, we can also get a set of For the study of the scenario of transition to chaos, points, whereu ¨ = g(upp) = 0 in (9), i.e. the points we consider system (7) with f(u) = f(u, λ), where corresponding to the zero acceleration. At these points λ Λ Rd is a vector of parameters whose variation the velocityu ˙ may be either zero or nonzero. This set ∈ ⊂ in the parameter space Λ determines the scenario. Let includes the equilibrium points uep with zero velocity as λ Λ define a point corresponding to the system, well as a subset of points with nonzero velocity. These end ∈ where a hidden attractor is searched. Choose a point nonzero velocity points upp are termed as perpetual points λbegin Λ such that we can analytically or numerically [12, 77–79]. The reason why perpetual points may lead localize∈ a certain nontrivial (oscillating) attractor 1 in to hidden states (perpetual point method (PPM)) is still A system (7) with λ = λbegin (e.g., one can consider an ini- not well understood (see, e.g. discussion in [80]). tial self-excited attractor, defined by a trajectory u1(t) Lemma 2. Perpetual points Spp = (xpp, ypp, zpp) of sys- numerically integrated on a sufficiently large time inter- tem (4) can be derived from the following system val t [0,T ] with the initial point u1(0) in the vicinity of ∈ an unstable equilibrium). Consider a path2 in the param-  (x2 az2 + ar2 1) y2 + z2 + r2(a 1)
=  pp − pp − − pp pp − eter space Λ , i.e. a continuous function γ : [0, 1] Λ,  2 2 2 2 →  = r (ar 1) zpp(ar b 1) , for which γ(0) = λbegin and γ(1) = λend, and a se-  − − − − j k 1 2 2 2 quence of points λ j=1 on the path, where λ = λbegin, 2xppyppzpp + rxpp ypp + bzpp br(r 1) = 0, k { } j j+1  − − − λ = λend, such that the distance between λ and λ  2 2  rxpp + (ar b 1)xppypp arypp is sufficiently small. On each next step of the procedure,  zpp = − − − .  x2 + ay2 b2 the initial point for a trajectory to be integrated is cho- pp pp − sen as the last point of the trajectory integrated on the (10) previous step: uj+1(0) = uj(T ). Following this proce- dure and sequentially increasing j, two alternatives are j IV. HIDDEN ATTRACTOR IN possible: the points of are in the basin of attraction THE RABINOVICH SYSTEM of attractor j+1 or, whileA passing from system (7) with λ = λj to systemA (7) with λ = λj+1, a loss of stability bi- furcation is observed and attractor j vanishes. If while Next we apply the NCM for localization of a hidden A attractor in the Rabinovich system (4) and check whether changing λ from λbegin to λend there is no loss of stabil- ity bifurcation of the considered attractors, then a hidden the attractor can be also localized using PPM. attractor for λk = λ (at the end of the procedure) is In this experiment, we fix parameter r and, using con- end dition (ii) of Lemma1, define parameters a = 1 ε localized. r 1 3 − −2 and b = bcr ε2. For r = 100, ε1 = 10− , ε2 = 10− we − 2 2 obtain a = a 1.1 10− , b = b 6.7454 10− and 0 ≡ − · 0 ≡ · B. Localization using perpetual points take P0(a0, b0) as the initial point of line segment on the plane (a, b). The eigenvalues of the Jacobian matrix at the equilibria S0, S of system (4) for these parameters The equilibrium points of a dynamical system are the ± ones, where the velocity and acceleration of the system are the following: simultaneously become zero. If the existing equilibrium S : 9.4382, 0.0675, 11.5382, points are unstable, then we may get either oscillating or 0 − − S : 0.0037 3.6756 i, 2.1749. unbounded solutions. In this section we show numerical ± ± − results, which suggest that there are points, termed as Consider on the plane (a, b) a line segment, inter- perpetual points [77], which may help to visualize hidden secting a boundary of stability domain of the equilib- attractors. ria S , with the final point P2(a2, b2), where a2 = a0 + For system (7), the equilibrium points u are defined ± ep 1.035 10 3 = 9.965 10 3, b = b +ε = 7.7454 10 2, by the equationu ˙ = f(u ) = 0. Consider a derivative of − − 2 0 2 − ep i.e. the· equilibrium− S ·remains saddle and the equilibria· system (7) with respect to time 0 S become stable focus-nodes ± u¨ = J(u) f(u) = g(u), (9) S0 : 8.9842, 0.0775, 10.9807, h in − − ∂fi(u) S : 0.0401 3.9152 i, 1.9937. where J(u) = ∂u is the n n Jacobian matrix. ± − ± − j i,j=1 × Here g(u) may be termed as an acceleration vector. Sys- The initial point P0(a0, b0) corresponds to parameters for which in system (4) there exists a self-excited attrac- tor. Then for the considered line segment a sufficiently 2 In the simplest case, when d = 1, the path is a line segment. small partition step is chosen and at each iteration step 5

b binovich system, which cannot be localized by PPM. For 0.1 example, for parameters r = 6.8, a = 0.5, b [0.99, 1] − ∈ 0.09 P1(a1, b1) [75], the hidden attractor obtained by NCM is not local-

0.08 izable via PPM (see Fig.5).

0.07

0.06 P0(a0, b0) P2(a2, b2) V. COMPUTATION OF THE LYAPUNOV DIMENSION 0.05

0.04 A. The Lyapunov dimension and Lyapunov 0.03 exponents: finite-time and limit values.

0.02 b = bcr(r, a) 0.01 For the study of attractors the Lyapunov exponents ar + 1 = 0 [2] and Lyapunov dimension [13] are found useful and 0 -0.012 -0.0115 -0.011 -0.0105 -0.01 -0.0095 -0.009 a have become widely spread (see, e.g. [14–18]). Since in numerical experiments we can consider only finite time, Figure 2: Path P0(a0, b0) P1(a1, b1) P2(a2, b2) in in this paper we develop the concept of the finite-time → → parameters plane (a, b) for the localization of hidden Lyapunov dimension [19] and an approach to its reliable attractor in system (4) with r = 100. Here numerical computation. 2 2 2 a0 = 1.1 10− , b0 = 6.7454 10− , a1 = 1.049 10− , Nowadays, various approaches to the Lyapunov dimen- − · 2 · − 3 · b1 = 7.2454 10− , a2 = 9.965 10− , sion definition are used. Here, we follow the definition of 3 · − · b2 = 7.7454 10− ; ( ) P0(a0, b0): self-excited attractor finite-time Lyapunov dimension from [19] inspirited by · • with respect to S0, S ; ( ) P1(a1, b1): self-excited the works of Douady & Oesterl´e[81], Hunt [82], and Ra- ± • attractor with respect to S0; ( ) P2(a2, b2): hidden binovich et al. [83]. attractor. Stability domain is defined• using Lemma1. Define by u(t, u0) a solution of system (7) such that u(0, u0) = u0, and consider a map given by the evolu- t tionary operator ϕ (u0) = u(t, u0) (shift operator along of the procedure an attractor in the phase space of sys- a solution of (7)). Since system (7) poses an absorb- tem (4) is computed. The last computed point at each ing set (see (8)), the uniqueness and existence of solu- step is used as the initial point for the computation at tions of system (7) for t [0, + ) take place and the ∈ ∞ t the next step. In this experiment we use NCM with 3 system generates a dynamical system ϕ t 0. Let a 3 { } ≥ steps on the path P0(a0, b0) P1(a1, b1) P2(a2, b2), nonempty closed bounded set K R be invariant with 1 →1 → ⊂ t with a1 = 2 (a0 + a2), b1 = 2 (b0 + b2) (see Fig.2). At respect to dynamical system generated by (7) ϕ t 0, the first step we have self-excited attractor with respect i.e. ϕt(K) = K for all t 0 (e.g. K is an attractor).{ } Fur-≥ ≥ to unstable equilibria S0 and S ; at the second step the ther we use compact notations for finite-time local Lya- ± t equilibria S become stable but the attractor remains punov dimension: dimL(t, u) = dimL(ϕ , u), the finite- ± t self-excited with respect to equilibrium S0; at the third time Lyapunov dimension: dimL(t, K) = dimL(ϕ ,K), step it is possible to visualize a hidden attractor of system and for the Lyapunov dimension (or the Lyapunov di- t (4) (see Fig.3). mension of dynamical system ϕ t 0 with respect to t { } ≥ Using Lemma2 for parameters r = 100, a = 9.965 K): dimL K = dimL( ϕ t 0,K). 3 2 − · { } ≥ 10− , b = 7.7454 10− , we obtain one perpetual point Consider linearization of system (7) along the solution · t Spp = ( 0.2385, 49.1403, 101.4613), which allows one ϕ (u): to localize− a hidden attractor− (see Fig.4). Hence, here t both NCM and PPM allow one to find this hidden at- v˙ = J(ϕ (u))v, J(u) = Df(u), (11) tractor. where J(u) is the 3 3 Jacobian matrix, the elements Around equilibrium S0 we choose a small spherical × vicinity of radius δ (in our experiments we check δ of which are continuous functions of u. Suppose that ∈ det J(u) = 0 u R3. Consider a fundamental ma- [0.1, 0.5]) and take N random initial points on it (in our 6 ∀ ∈ t experiment N = 4000). Using MATLAB, we integrate trix of solutions of linear system (11), Dϕ (u), such that Dϕ0(u) = I, where I is a unit 3 3 matrix. Let system (4) with these initial points in order to explore the t × obtained trajectories. We repeat this procedure several σi(t, u) = σi(Dϕ (u)), i = 1, 2, 3, be the singular values t 2 times in order to get different initial points for trajecto- of Dϕ (u) (i.e. σi(t, u) > 0 and σi(t, u) are the eigen- t t ries on the sphere. We get the following results: all the values of the symmetric matrix Dϕ (u)∗Dϕ (u) with re- 3 obtained trajectories either attract to the stable equilib- spect to their algebraic multiplicity) , ordered so that rium S+ or the equilibrium S and do not tend to the attractor. This gives us a reason− to classify the chaotic attractor, obtained in system (4), as the hidden one. 3 ∗ Remark that there exist hidden chaotic sets in the Ra- Symbol denotes the transposition of matrix. 6

S+ S S − − 1 S+ S u0 − 1 uT

S+

1 Ase S0 S0 2 u2 Ase 0 S+ S 2 − uT S+ S − S0

S − 3 1 1 hid se uT A A S+ 2 u0 3 S+ u S0 S 2 0 − se A 2 uT 1 S0 u0 S0

2 2 2 2 2 2 Step 1 : a = 1.1 10− , b = 6.7454 10− , Step 2 : a = 1.049 10− , b = 7.2454 10− , Step3: a = 9.965 10− , b = 7.7454 10− , − · · − · · − · · 1 2 3 self-exc. attractor se w. r. t. equil. S0, S self-exc. attractor se w. r. t. equilibrium S0 hidden attractor hid, separatrices of S0 S A ± A A → ± 3 2 Figure 3: Localization, by NCM, of a hidden attractor in system (4) with r = 100, a = 9.965 10− , b = 7.7454 10− . Trajectories ui(t) = (xi(t), yi(t), zi(t) (blue) are defined on the time interval [0,T ], T =− 103 and· initial point (yellow)· on i+1 i i i (i + 1)-th iteration is defined as u0 := uT (violet arrows), where uT = u (T ) is a final point (yellow).

S S+ − S S+ S+ S − −

3 Ahid

S Ahid 0 S0 Spp S0 Spp

Figure 4: Localization of hidden attractor in system (4) 3 2 with r = 100, a = 9.965 10− , b = 7.7454 10− from − · · Figure 5: Hidden attractor in system (4) with r = 6.8, the perpetual point Spp = ( 0.2385, 49.1403, 101.4613). a = 0.5, b = 0.99 which can be localized via NCM − − − (initial point u0 = ( 0.1629, 0.2154, 1.9553)), but cannot be localized− from the− perpetual point σ (t, u) σ (t, u) σ (t, u) > 0 for any u and t.A 1 2 3 Spp = (0.7431, 12.6109, 7.4424) (yellow). singular≥ value function≥ of order d [0, 3] is defined as − − ∈ t d d ωd(Dϕ (u)) = σ1(t, u) σ d (t, u)σ d +1(t, u) −b c, ··· b c b c a certain moment of time t finite-time local Lyapunov t t ω0(Dϕ (u)) = 1, ω3(Dϕ (u)) = σ1(t, u)σ2(t, u)σ3(t, u), dimension at the point u is defined as [19] where d is the largest integer less or equal to d. For dim (t, u) = max d [0, 3] : ω (Dϕt(u)) 1 (12) b c L { ∈ d ≥ } 7 and the finite-time Lyapunov dimension of K is defined B. Algorithm for numerical computation as of the finite-time Lyapunov dimension

dimL(t, K) = sup dimL(t, u). (13) u K Applying the statistical physics approach and assum- ∈ ing the ergodicity (see, e.g. [13, 85–87]), the Lyapunov The Douady–Oesterl´etheorem [81] implies that for any dimension of attractor dim K is often estimated by fixed t > 0 the Lyapunov dimension of the map ϕt with L the local Lyapunov dimension dim (t, u ), correspond- respect to a closed bounded invariant set K, defined by L 0 ing to a “typical” trajectory, which belongs to the at- (13), is an upper estimate of the Hausdorff dimension of tractor: u(t, u ), t 0 , u K, and its limit value the set K: dim K dim (t, K). 0 0 H L lim {dim (t, u ).≥ However,} ∈ from a practical point For the estimation≤ of the Hausdorff dimension of in- t + L 0 of view,→ ∞ the rigorous proof of ergodicity is a challeng- variant closed bounded set K one can use the map ϕt ing task [85, 88–90] and hardly it can effectively be with any time t (e.g. t = 0 leads to the trivial es- done in a general case (see, e.g. discussions in [91][92, timate dim K 3) and, thus, the best estimation is H ≤ p.118][93][94, p.9] [95, p.19], and the works [96, 97] dimH K inft 0 dimL(t, K). The following property ≤ ≥ on the Perron effects of the largest Lyapunov exponent inf sup dimL(t, u) = lim inf sup dimL(t, u) (14) sign reversals). An example of the rigorous use of t 0 u K t + u K ≥ ∈ → ∞ ∈ the ergodic theory for effective estimation of the Lya- allows one to introduce the Lyapunov dimension of K as punov dimensions can be found, e.g. in [98]. In one [19] of the pioneering works by Yorke et al. [86, p.190] the exact limit values of finite-time Lyapunov exponents4 dimL K = lim inf sup dimL(t, u) (15) 3 t + u K lim LEi(t, u) i = LEi(u) , if they exist and are the → ∞ ∈ {t + } { } → ∞ 3 3 and get an upper estimation of the Hausdorff dimension: same for all u K i.e. LEi(u) i LEi i u K and KY∈ 3 { }LE≡1 + { +LE}j
∀ ∈ dimL K = d ( LEi ) = j + ··· , are called dimH K dimL K. L { }1 LEj+1 ≤ the absolute ones, and it is noted that| the| absolute Lya- Recall that a set with noninteger Hausdorff dimension is punov exponents rarely exist. Note also that even if a referred to as a fractal set [15]. numerical approximation (visualization) K of the attrac- Consider a set of finite-time Lyapunov exponents at e tor K is obtained, it is not straightforward how to get a the point u: point on the attractor itself: u K. 1 ∈ LE (t, u) = ln σ (t, u), t > 0, i = 1, 2, 3. (16) Thus, a rather easy way to get reliable estimation i t i of the Lyapunov dimension of attractor K is to local- 3 ize the attractor K Kε, to consider a grid of points Here the set LEi(t, u) is ordered by decreasing (i.e. { }i=1 Kε on Kε, and to⊂ find the maximum of the corre- LE1(t, u) LE2(t, u) LE3(t, u) for all t > 0). Then grid for j(t, u)≥ = dim (t, u≥) < 3 and s(t, u) = dim (t, u) sponding finite-time local Lyapunov dimensions for a cer- L L T b c 1 t − tain time t = T : max dimL(ϕ , u) = max j(T, u) + dimL(t, u) we have 0 = ln(ωj(t,u)+s(t,u)(Dϕ (u))) = ε ε t u Kgrid u Kgrid bPj(t,u) c ∈ ∈ LE (t, u) + s(t, u) LE (t, u) and j(t, u) = LE1(T,u)+ +LEj(T,u)(T,u) i=1 i j(t,u)+1 ··· . Pm LEj(T,u)+1(T,u) max m : LE (t, u) 0 . Thus, we get an analog of | | i=1 i Concerning T , remark that while the time series ob- the Kaplan-Yorke{ formula≥ [13} ] with respect to the set of tained from a physical experiment are assumed to be re- finite-time Lyapunov exponents LE (t, u) 3 [19]: { i }i=1 liable on the whole considered time interval, the time se- LE1(t,u)+ + LE (t,u) ries, produced by the integration of mathematical dynam- KY 3 ·· j(t,u) dL ( LEi(t,u) i=1)=j(t, u)+ LE (t,u) (17) 5 { } | j(t,u)+1 | ical model, can be reliable on a limited time interval only which gives the finite-time local Lyapunov dimension: due to computational errors, and the closeness of the dim (t, u) = dKY( LE (t, u) 3 ). L L { i }i=1 Thus, in the above approach the use of Kaplan-Yorke 4 The Lyapunov exponents or LEs (see, e.g. [90]) characterize the formula (17) with the finite-time Lyapunov exponents rates of exponential growth of the singular values of fundamental 3 matrix of the linearized system. The singular values correspond LEi(t, u) i=1 is rigorously justified by the Douady– Oesterl´etheorem.{ } to the semiaxes of n-dimensional ellipsoid, which is the image of the unit sphere by the linearized system. See [99] for various Note that the finite-time local Lyapunov dimension is related notions. invariant under time scaling: t at, a > 0 (e.g., it fol- 5 In [100, 101] for the Lorenz system the time interval of reli- lows from (16) and (17)), and the→ Lyapunov dimension is able computation with 16 significant digits and error 10−4 is invariant under Lipschitz diffeomorphisms [19, 84], i.e. if estimated as [0, 36], with error 10−8 is estimated as [0, 26], and t reliable computation for a longer time interval, e.g. [0, 10000] the dynamical system ϕ t 0 and its closed bounded in- { } ≥ in [102], is a challenging task. Also if u0 belongs to a transient variant set K under a smooth change of coordinates w = chaotic set, then u(t, u0) may have positive finite-time Lyapunov t χ(u) are transformed to the dynamical system ϕχ t 0 exponent on a very large time interval, e.g. [0, 15000], but finally { } ≥ and its closed bounded invariant set χ(K), respectively, u(t, u0) converges to a stable stationary point as t → ∞ and has t t nonpositive limit Lyapunov exponents. then dimL( ϕ t 0,K) = dimL( ϕχ t 0, χ(K)). { } ≥ { } ≥ 8 real trajectory and the corresponding pseudo-trajectory and its Singular Value Decomposition (SVD)6 calculated numerically can be guaranteed on a limited SVD short time interval only. The computation of a pseudo- Φ(t, u0) = U(t, u0)Σ(t, u0)V∗(t, u0), trajectoryu ˜(t, u0) on a longer time interval t [0,T ] ∈ where U(t, u )∗U(t, u ) I V(t, u )∗V(t, u ), often allows one to obtain a more complete visualization 0 0 ≡ ≡ 0 0 of a chaotic attractor (pseudo-attractor) due to compu- Σ(t, u0) = diag σ1(t, u0), σ2(t, u0), σ3(t, u0) is a di- { singular} values tational errors (caused by finite precision arithmetic and agonal matrix composed by the of Φ(t, u0), and compute the finite-time Lyapunov expo- numerical integration of ODE) and sensitivity to initial 3 nents LEi(t, u0) 1 from Σ(t, u0) as in (16). Further we data. However, for two long-time pseudo-trajectories { } 7 1 2 also need the QR decomposition u˜(t, u0) andu ˜(t, u0) the corresponding finite-time LEs can be, within the considered error, similar due to av- QR Φ(t, u ) = Q(t, u )R(t, u ), eraging over time (see (16)) and similar sets of points 0 0 0 1 2 obtained u˜(t, u0) t 0 and u˜(t, u0) t 0. At the same where R(t, u ) is upper-triangular matrix with nonneg- { } ≥ { } ≥ 0 time, the corresponding real trajectories u(t, u1,2) may ative diagonal elements R[i, i] = R[i, i](t, u ) 3 and 0 { 0 }1 have different LEs (e.g. u0 may correspond to an unsta- Q(t, u )∗Q(t, u ) I. 0 0 ≡ ble periodic trajectory u(t, u0), which is embedded in the To avoid the exponential growth of values in the com- attractor and does not allow one to visualize it). Here putation, the time interval has to be represented as a one may recall the conjecture that the maximum of the union of sufficiently small intervals, e.g. (0,T ] = (0, τ] local Lyapunov dimension is achieved on a periodic orbit (τ, 2τ] ((k 1)τ, kτ = T ]. Then, using the cocycle∪ or a stationary point [103, p.98]. Also, if the trajectory property,· · · ∪the fundamental− matrix can be represented as belongs to a transient chaotic set, which can be (almost) Φ(kτ, u0) = Φ(τ, uk 1) ... Φ(τ, u1) Φ(τ, u0). (20) indistinguishable numerically from sustained chaos, then − even very long-time computation may not reveal the limit Here if Φ(mτ, u0) and um = u(mτ, u0) are known, then values of LEs (see Figs. 9a and 10a). Φ((m + 1)τ, u0) = Φ(τ, um)Φ(mτ, u0), where Φ(τ, um) is Thus, in general, the computation for a longer time the solution of initial value problem (19) with u(0) = um does not imply a more precise approximation of LEs. on the time interval [0, τ]. Note, that there is no rigorous justification of the choice By sequential QR decomposition of the product of ma- of t and it is known that unexpected jumps of dimL(t, K) trices in (20) we get can occur (see, e.g. Fig.7). Thus, it is reasonable to com- pute inft [0,T ) dimL(t, K) instead of dimL(T,K), but, at Φ(kτ, u0) = Φ(τ, uk 1)..Φ(τ, u1) Φ(τ, u0) = ∈ − the same time, for any T the value dimL(T,K) gives also an upper estimate of dim K. Q R H z}|{ z }| { Finally, in the numerical experiments, based on the 0 0 QR 0 0 0 = Φ(τ, uk 1).. Φ(τ, u1) Q1 R1 = .. = Qk Rk..R1 . finite-time Lyapunov dimension definition (15) from [19] − and the Douady–Oesterl´etheorem [81], we have Then matrix with singular values Σ(kτ, u0) = U ∗(kτ, u0) Φ(kτ, u0) V (kτ, u0) in the SVD can be approx- dimH K dimL K inf max dimL(t, u) ≤ ≈ t [0,T ] u Kε imated by sequential QR decomposition of the product ∈ ∈ grid  LE (t,u)+ +LE (t,u)  of matrices: = inf max j(t, u) + 1 ··· j(t,u) ε LEj(t,u)+1(t,u) (18) t [0,T ] u Kgrid | | 0 0 0 0 QR 1 1 1 ∈ ∈ Σ = Φ(kτ, u0)∗ Qk = (R1)∗..(Rk)∗ = Qk Rk..R1, max dimL(T, u) dimL(T,K). QR ≤ u Kε ≈ 1 0 1 1 1 2 2 2 ∈ grid Σ = (Qk)∗ Φ(kτ, u0) Qk = (R1)∗..(Rk)∗ = QkRk..R1, ... C. Algorithm for numerical computation of the where finite-time Lyapunov exponents  j  σ1 0 0 j j j j Σ = (R )∗..(R )∗ = σ 0  Nowadays there are several widely used approaches 1 k · 2 σj to numerical computation of the Lyapunov exponents, ·· 3 thus, it is important to state clearly how the LEs being computed [92, p.121]. Next we demonstrate the differ- ences in the approaches. To compute the finite-time Lya- 6 See, e.g. implementation in MATLAB or GNU Octave (https: punov exponents one has to find the fundamental matrix //octave-online.net): [U,S,V]=svd(A). t 7 Φ(t, u0) = Dϕ (u0) of (11) from the following variational For example, it can be done by the Gram-Schmidt orthogonal- equation ization procedure or the Householder transformation. MATLAB and GNU Octave (https://octave-online.net) provide an im- ( u˙(s, u )=f(u(s, u )), u(0, u ) = u U, plementation of the QR decomposition [Q, R] = qr(A). To have 0 0 0 0 ∈ s [0, t], matrix R with positive diagonal elements, one can additionally Φ(˙ s, u0)=J(u(s, u0)) Φ(s, u0), Φ(0, u0)=I, ∈ use Q = Q*diag(sign(diag(R))); R = R*diag(sign(diag(R))). (19) See also [104]. 9 and [105, 106] where LCE = LE . For the finite-time values we have 2 6 2 j j j 1 σi = R1[i, i]..Rk[i, i] σi(kτ, u0). 1 1 2
2 j−→ LCE1(t)= ln (g(t) ) + 1 (0, 0.1], LCE2(t) 0, →∞ t − g(t) ∈ ≡ Thus, the finite-time Lyapunov exponents can be approx- LE1,2(t) LE1,2 = 0.1. imated as ≡ ± k Approximations by the above algorithm with k = 1 are X LE (T, u ) LEj(kτ, u )= 1 ln σj = 1 ln Rj[i, i]. given in TableI. i 0 ≈ i 0 t i kτ l l=1 (21) Table I: Approximation of the finite-time Lyapunov The MATLAB implementation of the above method for exponents. the computation of finite-time Lyapunov exponents with j j j the fixed number of iterations j can be found, e.g., in [9]. j LE1,2(5) LE1,2(25) LE1,2(100) For large k the convergence can be very rapid: e.g. for 0 0 0 0 the Lorenz system with the classical parameters (r = 28, 1 ±0.00797875 ±0.04394912 ±0.09360078 σ = 10, b = 8/3, a = 0), k = 1000 and τ = 1 the number 2 ±0.01585661 ±0.07379280 ±0.09986978 of approximations j = 1 is taken in [106, p. 44]. For a 3 ±0.02353772 ±0.08902280 ±0.09999751 more precise approximation of the finite-time Lyapunov 4 ±0.03093577 ±0.09563887 ±0.09999995 exponents we can adaptively choose j = j(l), l = 1, ..., k 5 ±0.03797757 ±0.09830568 ±0.09999999 so as to obtain a uniform estimate of 10 ±0.06638388 ±0.09998593 ±0.10000000 50 ±0.09993286 ±0.09999999 ±0.10000000 j 1 j max LEi− (lτ, u0) LEi (lτ, u0) < δ. (22) 100 ±0.09999998 ±0.09999999 ±0.10000000 i | − | Remark that there is another widely used defini- Remark that here the approximation of LCEs by Benet- tion of the “Lyapunov exponents” via the exponential tin’s algorithm, i.e. by (23), becomes worse with increas- growth rates of norms of the fundamental matrix columns
ing time: v1(t, u0), v2(t, u0), v3(t, u0) = Φ(t, u0): the finite-time 3 Lyapunov characteristic exponents LCEi(t, u0) 1 are 0 1 1 i 3 { 8 } LCE1(t) 0 LEi (t) = ln 1 0, the set ln v (t, u0) ordered by decreasing . Benet- t−→+0 ≡ t ≡ { t || ||}1 → (24) tin et al. [107] (Benettin’s algorithm) approximate the 0 1 LCE1(t) 0.1 = LEi (t) = ln 1 0. LCEs by (21) with j = 0: t + →−→∞ 6 t ≡ k 1 X Thus, although relying on ergodicity, the notions of LCEs LCE (kτ, u ) LE0(kτ, u ) = ln R0[i, i]. (23) i 0 ≈ i 0 kτ l and LEs often do not differ (see, e.g. Eckmann & Ru- l=1 elle [15, p.620,p.650], Wolf et al. [108, p.286,p.290-291], The LCEs may differ from LEs, thus, the corre- and Abarbanel et al. [17, p.1363,p.1364]), in the general sponding Kaplan-Yorke formulas with respect to LEs case, the computations of LCEs by (21) and LEs by (23) KY 3 may give non relevant results. See also [109, p.289], [97, and LCEs: dimL(t, u0) = dL ( LEi(t, u0) 1) and KY 3 9 { } p.1083], and numerical examples below. dL ( LCEi(t, u0) 1) , may not coincide. The following artificial{ analytical} example demonstrates the difference between LEs and LCEs. The matrix [19, 84] D. Estimation of the Lyapunov dimension 1 g(t) g 1(t) without integration of the system and R(t)= − , g(t) = exp( t ) 0− 1 10 the exact Lyapunov dimension has the following ordered exact limit values While analytical computation of the Lyapunov expo- 1 nents and Lyapunov dimension is impossible in a general LCE1 = lim t− ln g(t) = 0.1, LCE2 = 0, t + → ∞ case, they can be estimated by the eigenvalues of the 1 1 3 LE1,2 = lim t− ln g± (t) = 0.1, symmetrized Jacobian matrix [81, 110]. Let λi(u0) i=1 t + { } → ∞ ± be the eigenvalues of the symmetrized Jacobian matrix 1 (J(u(t, u )) + J(u(t, u ))∗), ordered so that λ (u ) 2 0 0 1 0 ≥ λ2(u0) λ3(u0). The Kaplan-Yorke formula with respect 8 To obtain all possible limit values of the finite-time Lya- to the ordered≥ set of eigenvalues of the symmetrized Ja- punov characteristic exponents (LCEs) [2] of a linear system cobian matrix 3 [19] gives an upper estimation of the Lya- ({lim supt→+∞ LCEi(t, u0)}1), one has to consider a normal KY 3
punov dimension: dimL K supu K dL λj(u0) i=1 . fundamental matrix, whose sum of LCEs of columns is less or ≤ ∈ { } equal to the sum of LCEs of any other fundamental matrix [2]. In the general case, one cannot get the same values of 9 3 Rabinovich et al. [83, p.203,p.262] refer this value as local dimen- λj(u0) i=1 at different points u0, thus, the maximum sion and note that it is a function of time and may be different { KY} 3
of dL λj(u0) i on K has to be computed. To avoid in different parts of the attractor. numerical{ localization} of the set K, we can consider an 10

2 2 analytical localization, e.g. by the absorbing set K. h 3 2 2 σ + δr b(σ + δr) B ⊃ = (x, y, z) R x + δy + (a + δ) z Thus, for the corresponding grid of points grid we expect B ∈ − a + δ ≤ 2c(a + δ) in numerical experiments the following B

KY 3
dimH K dimL K sup dL λj(u0) 1 ≤ ≤ u K { } ≤ 0∈ KY 3
λ1(u0)+ +λj(u0)(u0) supd λj(u0) max j(u0)+ ·· . L 1 λj(u )+1(u0) u { } ≈u0 grid | 0 | 0∈B ∈B (25)

If the Jacobian matrix J(ueq) at one of the equilib- 3 ria has simple real eigenvalues: λi(ueq) i=1, λi(ueq) λ (u ), then [19] the invariance{ of the} Lyapunov di-≥ h h i+1 eq Cgrid C mension with respect to linear change of variables implies ⊂

dim u = dKY( λ (u ) 3 ). (26) L eq L { i eq }i=1 If the maximum of local Lyapunov dimensions on the global attractors, which involves all equilibria, is achieved Figure 6: Localization of the hidden attractor of system cr (4) with r = 100, a = 9.965 10 3, b = 7.7454 10 2 by at an equilibrium point: dimL ueq = maxu0 K dimL u0, − − ∈ − · · then this allows one to get analytical formula of the ex- the absorbing set h with δ = a + 0.1, cuboid B − act Lyapunov dimension10. In general, a conjecture on Ch = [ 11, 11] [ 17, 19] [80, 117], and the − × − × h the Lyapunov dimension of self-excited attractor [19, 112] corresponding grid of points Cgrid. is that for a typical system the Lyapunov dimension of a self-excited attractor does not exceed the Lyapunov di- mension of one of unstable equilibria, the unstable man- t (x0, y0, z0). Since the dynamical system ϕR t 0, gen- ifold of which intersects with the basin of attraction and erated by the Rabinovich system (1), can{ be} obtained≥ visualize the attractor. t 1 from ϕ t 0 by the smooth transformation χ− , in- To avoid numerical computation of the eigenvalues, { } ≥ verse to (2), and inverse rescaling time (3) t ν1t, we one can use an effective analytical approach [19, 22, 113], t t 1→ have dimL( ϕ t 0,K) = dimL( ϕR t 0, χ− (K)). In which is based on a combination of the Douady-Oesterl´e our experiments,{ } ≥ we consider system{ (4})≥ with parameters 3 2 approach with the direct Lyapunov method: for exam- r = 100, a = 9.965 10− , b = 7.7454 10− correspond- ple, in [22] for system (4) with b = 1 it is analytically ing to the hidden− chaotic· attractor. · obtained the following estimate h In Fig.6 it is shown the grid of points Cgrid filling the h 2(σ + 2) hidden attractor: the grid of points fills cuboid C = dimL K 3 q . [ 11, 11] [ 17, 19] [80, 117] with the distance between ≤ − σ + 1 + (σ 1)2 + 16 r − × − × − 3 σ points equals to 0.5. The time interval is [0,T = 100], k = 1000, τ = 0.1, and the integration method is MAT- The proof of the above conjecture and analytical deriva- LAB ode45 with predefined parameters. The infimum on N tion of the exact Lyapunov dimension formula for system the time interval is computed at the points tk 1 with (4) is an open problem. time step τ = t t = 0.1. Note that if for{ a} certain i+1 − i In [114, 115] it is demonstrated how a technique similar time t = tk the computed trajectory is out of the cuboid, to the above can be effectively used to derive constructive the corresponding value of finite-time local Lyapunov di- upper bounds of the topological entropy of dynamical mension is not taken into account in the computation systems. of maximum of the finite-time local Lyapunov dimension (e.g. there are trajectories with initial data in cuboid, which are attracted to the zero equilibria, i.e. belong VI. THE FINITE-TIME LYAPUNOV to its stable manifold, e.g. system (4) with x = y = 0 DIMENSION IN THE CASE OF HIDDEN isz ˙ = bz). For the finite-time Lyapunov exponents ATTRACTOR AND MULTISTABILITY (FTLEs)− computation we use MATLAB realization from [9] based on (21) with j = 2. For computation of the t Consider the dynamical system ϕ t 0 generated by finite-time Lyapunov characteristic exponents (FTLCEs) system (4) with parameters (5) and{ its} attractor≥ K. Here we use MATLAB realization from [116] based on (23). t
ϕ (x0, y0, z0) is a solution of (4) with the initial datum For the considered set of parameters we compute: (i) finite-time local Lyapunov dimensions dim (100, ) L · at the point O1 = (0, 1, 98), which belongs h to the grid Cgrid, and at the point O2 = 10 This term was suggested by Doering et al. in [111]. (0.0099, 0.0995, 0) on the unstable manifold of zero 11

Table II: Numerical estimation of finite-time Lyapunov dimension in the case of hidden attractor (see Fig.3)

t = 100 t = 100 t = 100 inf max t∈[0, 100] u∈Ch u = (0, 1, 98) u = (0.0099, 0.0995, 0) maxu∈Ch grid grid

dimL(t, u) = KY 3 dL ({LEi(t, u)}i=1) 2.1474 1.4987 2.2063 2.2050

dKY({LCE (t, u)}3 ) L i i=1 2.1338 1.1213 2.2105 2.2076

KY 3 KY 3 max dL ( LCEi(t, u) i=1) max dL ( LEi(t, u) i=1) u Ch { } u Ch { } ∈ grid ∈ grid KY 3 KY 3 d ( LCEi(t, O1) ) d ( LE (t, O ) ) L { }i=1 L { i 1 }i=1 dKY( LCE (t, O ) 3 ) dKY( LE (t, O ) 3 ) L { i 2 }i=1 L { i 2 }i=1 KY 3 3 3 max dL ( LEi(100,u) i=1)= max dimL(100,u)=2.2063 u Ch { } u Ch ∈ grid ∈ grid 2.8 KY 3 2.8 max d ( LCEi(100,u) )=2.2105 h L i=1 u Cgrid { } 2.6 ∈ 2.6 dKY( LE (100,O ) 3 )=dim (100,O )=2.1474 L { i 1 }i=1 L 1 2.4 2.4

2.2 2.2

2 KY 3 2 dL ( LCEi(100,O1) i=1)=2.1338 1.8 { } 1.8 KY 3 dL ( LCEi(100,O2) i=1)=1.1213 1.6 { } 1.6

1.4 1.4 KY 3 dL ( LEi(100,O2) i=1)=dimL(100,O2)=1.4987 1.2 1.2 { }

1 1 0102030405060708090 100 t 0102030405060708090 100 t tinf =98.5 tinf =98

Figure 7: Dynamics of the finite-time local Lyapunov dimensions estimation on the time interval t [0, 100]: the maximum on the grid of points (dark red), at the point O = (0, 1, 98) Ch (light red),∈ 1 ∈ grid at the point O2 = (0.0099, 0.0995, 0) from the one-dimensional unstable manifold of S0 (blue).

equilibrium S0; zero equilibrium S0 (ii) maximum of the finite-time local Lyapunov dimen- h i 1 p 2 sions at the points of grid, maxu Ch dimL(t, u), λ1,3(S0) = (σ + 1) (σ 1) + 4σr , λ2(S0) = b ∈ grid − 2 ∓ − − for the time points t = tk = 0.1 k (k = 1, .., 1000); (iii) the corresponding values, given by the Kaplan- have the following order λ1(S0) > λ2(S0) λ3(S0) and ≥ Yorke formula with respect to finite-time Lyapunov by (26) for the considered values of parameters we get characteristic exponents. The results are given in TableII. The dynamics of KY 3 λ1(S0)+λ2(S0) dimL S0 = dL ( λi(S0) i=1) = 2 + λ (S ) finite-time local Lyapunov dimensions for different points { } | 3 0 | and their maximums on a grid of points are shown in Fig.7. = 3 2(σ+b+1) = 2.8111... . (28) h (σ+1)+√(σ 1)2+4σr For the absorbing set and the corresponding grid − − of points h (the distanceB between grid points is 5), by Bgrid The above numerical experiments lead to the following estimation (25) we get the following estimate: important remarks. While the Lyapunov dimension, un- KY 3
like the Hausdorff dimension, is not a dimension in the dimH K dimL K sup dL λj(u) i=1 ≤ ≤ u h { } rigorous sense [117] (e.g. the Lyapunov dimension of the ∈B KY 3
saddle point S0 in (28) is noninteger), it gives an up- sup dL λj(u) i=1 = 2.97001... . (27) per estimate of the Hausdorff dimension. If the attractor ≈ u h { } ∈Bgrid K or the corresponding absorbing set K is known Assuming σ + 1 b, the eigenvalues of the unstable (see, e.g. (8)) and the purpose is to demonstrateB ⊃ that ≥ 12

S+ S S+ S − −

uinit uinit

S0 S0

(a) Trajectory u(t, uinit) for t ∈ [0,T1], T1 ≈ 15295. (b) Trajectory u(t, uinit) for t ∈ [0,T ], T = 500000

Figure 8: The trajectory forms a chaotic set, which looks like an “attractor” (navy blue) and then tends to S+ (cyan).

KY 3 LCE1(t, uinit) d ( LCE (t, u ) ) L { i init }i=1 2.5 0.4 2

0.3 2.1 1.5

0.2 2 1

0.1 1.9 0.5 0 20 40 60 80 100

0 t 0 t 0 5000 10000 15000 0 5000 10000 15000 KY 3 (a) LCE1(t, uinit), t ∈ [0,T1], T1 ≈ 15295. (b) dL ({LCEi(t, uinit)}i=1), t ∈ [0,T1], T1 ≈ 15295. Figure 9: Numerical computation of LCE (t, u ) and dKY( LCE (t, u ) 3 ) for the time interval [0,T 15295]. 1 init L { i init }i=1 1 ≈

KY 3 LCE1(t, uinit) d ( LCE (t, u ) ) L { i init }i=1 2.5 0.4 0.005 2

0.3 1.5

0 0.2 300000 400000 500000 1

0.1 0.5

0 t 0 t 0 100000 200000 300000 400000 500000 0 100000 200000 300000 400000 500000 LCE1 > 0, LD > 2 LCE1 > 0, LD < 2 LCE1 > 0, LD > 2 LCE1 > 0, LD < 2 T1 T2 T3 T1 T2 T3 5 KY 3 5 (a) LCE1(t, uinit), t ∈ [0,T ], T = 5 · 10 . (b) dL ({LCEi(t, uinit)}i=1), t ∈ [0,T ], T = 5 · 10 . Figure 10: Numerical computation of LCE (t, u ) and dKY( LCE (t, u ) 3 ) for the time interval [0, 5 105]. 1 init L { i init }i=1 · dim K dim K < 3, then it can be achieved with- out integration of the considered dynamical system (see, H ≤ L 13

KY 3 e.g. (27)). If the purpose is to get a precise estimation we have dL ( LCEi(t, uinit) i=1) > 2 (see Fig. 10b). of the Hausdorff dimension, then one can use (18) and This effect is due{ to the fact} that the finite-time Lya- has to compute the finite-time Lyapunov dimension, i.e. punov exponents and finite-time Lyapunov dimension are to find the maximum of the finite-time local Lyapunov averaged values over the considered time interval and, dimensions on a grid of points for a certain time. To therefore, may reflect a change in the qualitative behav- be able to repeat a computation of finite-time Lyapunov ior of the trajectory with a delay. Since the lifetime dimension, one need to know the initial points of con- of transient chaotic process can be extremely long and N sidered trajectories ui i=1 = Kgrid on the set K, time taking into account the limitations of reliable integra- SM{ 1} tion of chaotic ODEs, the long-time computation of the interval (0,T ] = i=0− (ti, ti+1], and the method of the finite-time Lyapunov estimation. finite-time Lyapunov exponents and the finite-time Lya- punov dimension does not necessary lead to a more rele- vant approximation of the Lyapunov exponents and the VII. COMPUTATION OF THE LYAPUNOV Lyapunov dimension (see also effects in (24) for the ap- DIMENSION AND TRANSIENT CHAOS proaches of Benettin et al. [107] and Wolf et al. [108]).

Now we consider an example, which demonstrates diffi- culties in the reliable numerical computation of the Lya- VIII. CONCLUSION punov dimension (i.e. numerical approximation of the limit value of the finite-time Lyapunov dimension). In this work the Rabinovich system, describing the Consider system (4) with parameters r = 6.485, a = process of interaction between waves in plasma, is con- 0.5, b = 0.85 for which equilibrium S0 is a saddle sidered. We show that the methods of numerical con- −point and equilibria S are stable focus-nodes. We 11 ± tinuation and perpetual point are helpful in localization integrate numerically the trajectory with initial data and understanding of hidden attractor in the Rabinovich u0 = (0.5, 0.5, 0.5) in the vicinity of the S0. We discard system. For the study of dimension of the hidden attrac- the part of the trajectory, corresponding to the initial tor the notion of the finite-time Lyapunov dimension is transition process (for [0, ttp = 25000]), and get the point developed. An approach to reliable numerical estimation u = ( 2.089862710574761, 2.500837780529156, init − − of the finite-time Lyapunov exponents (see relations (21)- 2.776106323157132). Further, we numerically approxi- (22)) and finite-time Lyapunov dimension (see relations mate the finite-time Lyapunov exponents and dimension (18)) is suggested. Various numerical estimates of the for the time interval [0,T ] by Benettin’s algorithm (see finite-time Lyapunov dimension for the hidden attractor approximation (23) and MATLAB code in [118]). in the case of multistability are given. The trajectory computed on the time interval [0,T1 15295] traces a chaotic set in the phase space, which≈ looks like an “attractor” (see Fig. 8a). Further integra- ACKNOWLEDGEMENTS tion with t > T1 leads to the collapse of the “attrac- tor” (see Fig. 8b), i.e. the “attractor” turns out to be a transient chaotic set. However on the time interval The work in sec. 1-4 is done within the joint grant t [0,T3 431560] we have LCE1(t, uinit) > 0 (see from DST and RFBR (INT/RUS/RFBR/P-230 and 16- Fig.∈ 10a) and,≈ thus, one may conclude that the behavior 51-45002); in sec. 5-7 within Russian Science Foundation is chaotic, and for the time interval t [0,T 223447] project (14-21-00041). ∈ 2 ≈

[1] H. Poincare, Les methodes nouvelles de la mecanique celeste. Vol. 1-3, Gauthiers-Villars, Paris, 1892, 1893, 1899, [English transl. edited by D. Goroff: American Institute of Physics, NY, 1993]. 11 Our experiment was carried out on the 2.5 GHz Intel Core [2] A. M. Lyapunov, The General Problem of the Stability i7 MacBook Pro laptop, for numerical integration we use of Motion (in Russian), Kharkov, 1892, [English transl.: MATLAB R2016b. To simplify the repetition of results, Academic Press, NY, 1966]. we use the single-step fifth-order Runge-Kutta method ode5 [3] G. Leonov, V. Reitmann, Attraktoreingrenzung fur from https://www.mathworks.com/matlabcentral/answers/ nichtlineare Systeme (in German), Teubner, Leipzig, 98293-is-there-a-fixed-step-ordinary-differential- equation-ode-solver-in-matlab-8-0-r2012b#answer\107643. 1987. Corresponding numerical simulation of the considered tra- [4] D. Hilbert, Mathematical problems, Bull. Amer. Math. jectory can be performed using the following code: phiT u Soc. (8) (1901-1902) 437–479. = feval(’ode5’, @(t, u) [-3.2425*u(1) + 3.2425*u(2) + [5] G. Leonov, N. Kuznetsov, On differences and similar- 0.5*u(2)*u(3); 6.485*u(1) - u(2) - u(1)*u(3); u(1)*u(2) ities in the analysis of Lorenz, Chen, and Lu systems, - 0.85*u(3)], 0 : 0.01 : 15295, [-2.089862710574761, Applied Mathematics and Computation 256 (2015) 334– -2.500837780529156, 2.776106323157132]); 343. doi:10.1016/j.amc.2014.12.132. 14

[6] A. Pisarchik, U. Feudel, Control of multistability, Acta Applicandae Mathematicae 26 (1) (1992) 1–60. Physics Reports 540 (4) (2014) 167–218. [23] E. N. Lorenz, Deterministic nonperiodic flow, J. Atmos. [7] G. Leonov, N. Kuznetsov, Hidden attractors in dy- Sci. 20 (2) (1963) 130–141. namical systems. From hidden oscillations in Hilbert- [24] I. Chueshov, Introduction to the Theory of Infinite- Kolmogorov, Aizerman, and Kalman problems to hid- dimensional Dissipative Systems, Electronic library of den chaotic attractors in Chua circuits, International mathematics, ACTA, 2002. Journal of Bifurcation and Chaos 23 (1), art. no. [25] G. Leonov, N. Kuznetsov, V. Vagaitsev, Local- 1330002. doi:10.1142/S0218127413300024. ization of hidden Chua’s attractors, Physics Let- [8] N. Kuznetsov, G. Leonov, Hidden attractors in dynam- ters A 375 (23) (2011) 2230–2233. doi:10.1016/ ical systems: systems with no equilibria, multistabil- j.physleta.2011.04.037. ity and coexisting attractors, IFAC Proceedings Vol- [26] H. Barkhausen, Textbook of Electron Tubes and their umes 47 (2014) 5445–5454. doi:10.3182/20140824-6- Technical Applications (in German), S. Hirzel, Leipzig, ZA-1003.02501. 1935. [9] G. Leonov, N. Kuznetsov, T. Mokaev, Homoclinic or- [27] L. Mandelstam, N. Papalexi, Uber¨ resonanzerscheinun- bits, and self-excited and hidden attractors in a Lorenz- gen bei frequenzteilung, Zeitschrift f¨urPhysik (in Ger- like system describing convective fluid motion, Eur. man) 73 (3) (1932) 223–248. doi:10.1007/BF01351217. Phys. J. Special Topics 224 (8) (2015) 1421–1458. doi: [28] A. A. Andronov, E. A. Vitt, S. E. Khaikin, Theory of 10.1140/epjst/e2015-02470-3. Oscillators (in Russian), ONTI NKTP SSSR, 1937, [En- [10] N. Kuznetsov, Hidden attractors in fundamental prob- glish transl.: 1966, Pergamon Press]. lems and engineering models. A short survey, Lec- [29] A. Jenkins, Self-oscillation, Physics Reports 525 (2) ture Notes in Electrical Engineering 371 (2016) 13– (2013) 167–222. 25, (Plenary lecture at International Conference on [30] A. Sommerfeld, Beitrage zum dynamischen ausbau der Advanced Engineering Theory and Applications 2015). festigkeitslehre, Zeitschrift des Vereins deutscher Inge- doi:10.1007/978-3-319-27247-4\ 2. nieure (in German) 46 (1902) 391–394. [11] C. Grebogi, E. Ott, J. A. Yorke, Fractal basin [31] M. Kiseleva, N. Kuznetsov, G. Leonov, Hidden attrac- boundaries, long-lived chaotic transients, and unstable- tors in electromechanical systems with and without unstable pair bifurcation, Physical Review Letters equilibria, IFAC-PapersOnLine 49 (14) (2016) 51–55. 50 (13) (1983) 935. doi:10.1016/j.ifacol.2016.07.975. [12] D. Dudkowski, S. Jafari, T. Kapitaniak, N. Kuznetsov, [32] G. Leonov, N. Kuznetsov, Algorithms for searching G. Leonov, A. Prasad, Hidden attractors in dynami- for hidden oscillations in the Aizerman and Kalman cal systems, Physics Reports 637 (2016) 1–50. doi: problems, Doklady Mathematics 84 (1) (2011) 475–481. 10.1016/j.physrep.2016.05.002. doi:10.1134/S1064562411040120. [13] J. Kaplan, J. Yorke, Chaotic behavior of multidimen- [33] M. A. Aizerman, On a problem concerning the stability sional difference equations, in: Functional Differen- in the large of dynamical systems, Uspekhi Mat. Nauk tial Equations and Approximations of Fixed Points, (in Russian) 4 (1949) 187–188. Springer, Berlin, 1979, pp. 204–227. [34] R. E. Kalman, Physical and mathematical mechanisms [14] P. Grassberger, I. Procaccia, Measuring the strangeness of instability in nonlinear automatic control systems, of strange attractors, Physica D: Nonlinear Phenomena Transactions of ASME 79 (3) (1957) 553–566. 9 (1-2) (1983) 189–208. [35] N. N. Bautin, On the number of limit cycles generated [15] J.-P. Eckmann, D. Ruelle, Ergodic theory of chaos and on varying the coefficients from a focus or centre type strange attractors, Reviews of Modern Physics 57 (3) equilibrium state, Doklady Akademii Nauk SSSR (in (1985) 617–656. Russian) 24 (7) (1939) 668–671. [16] P. Constantin, C. Foias, R. Temam, Attractors repre- [36] N. Kuznetsov, O. Kuznetsova, G. Leonov, Visualization senting turbulent flows, Memoirs of the American Math- of four normal size limit cycles in two-dimensional poly- ematical Society 53 (314) (1985) 1–67. nomial quadratic system, Differential equations and dy- [17] H. Abarbanel, R. Brown, J. Sidorowich, L. Tsimring, namical systems 21 (1-2) (2013) 29–34. doi:10.1007/ The analysis of observed chaotic data in physical sys- s12591-012-0118-6. tems, Reviews of Modern Physics 65 (4) (1993) 1331– [37] N. Kuznetsov, G. Leonov, V. Vagaitsev, Analytical- 1392. numerical method for attractor localization of gen- [18] V. Boichenko, G. Leonov, V. Reitmann, Dimension eralized Chua’s system, IFAC Proceedings Volumes Theory for Ordinary Differential Equations, Teubner, 43 (11) (2010) 29–33. doi:10.3182/20100826-3-TR- Stuttgart, 2005. 4016.00009. [19] N. Kuznetsov, The Lyapunov dimension and its es- [38] V. Bragin, V. Vagaitsev, N. Kuznetsov, G. Leonov, timation via the Leonov method, Physics Letters Algorithms for finding hidden oscillations in nonlin- A 380 (25–26) (2016) 2142–2149. doi:10.1016/ ear systems. The Aizerman and Kalman conjectures j.physleta.2016.04.036. and Chua’s circuits, Journal of Computer and Systems [20] M. I. Rabinovich, Stochastic autooscillations and tur- Sciences International 50 (4) (2011) 511–543. doi: bulence, Uspehi Physicheskih Nauk 125 (1) (1978) 123– 10.1134/S106423071104006X. 168. [39] G. Leonov, N. Kuznetsov, V. Vagaitsev, Hidden at- [21] A. Pikovski, M. Rabinovich, V. Trakhtengerts, Onset of tractor in smooth Chua systems, Physica D: Nonlinear stochasticity in decay confinement of parametric insta- Phenomena 241 (18) (2012) 1482–1486. doi:10.1016/ bility, Sov. Phys. JETP 47 (1978) 715–719. j.physd.2012.05.016. [22] G. Leonov, V. Boichenko, Lyapunov’s direct method in [40] N. Kuznetsov, O. Kuznetsova, G. Leonov, V. Vagaitsev, the estimation of the Hausdorff dimension of attractors, Analytical-numerical localization of hidden attractor in 15

electrical Chua’s circuit, Lecture Notes in Electrical En- Bifurcation and Chaos 26 (14), art. num. 1630039. gineering 174 (4) (2013) 149–158. doi:10.1007/978-3- [56] O. Ojoniyi, A. Njah, A 5D hyperchaotic Sprott B sys- 642-31353-0\ 11. tem with coexisting hidden attractors, Chaos, Solitons [41] M. Kiseleva, E. Kudryashova, N. Kuznetsov, & Fractals 87 (2016) 172–181. O. Kuznetsova, G. Leonov, M. Yuldashev, R. Yulda- [57] V.-T. Pham, C. Volos, S. Jafari, S. Vaidyanathan, shev, Hidden and self-excited attractors in Chua circuit: T. Kapitaniak, X. Wang, A chaotic system with differ- synchronization and SPICE simulation, International ent families of hidden attractors, International Journal Journal of Parallel, Emergent and Distributed Systems of Bifurcation and Chaos 26 (08) (2016) 1650139. (2017) 1–11 doi:10.1080/17445760.2017.1334776. [58] R. Rocha, R. O. Medrano-T, Finding hidden oscilla- [42] N. Stankevich, N. Kuznetsov, G. Leonov, L. Chua, Sce- tions in the operation of nonlinear electronic circuits, nario of the birth of hidden attractors in the Chua cir- Electronics Letters 52 (12) (2016) 1010–1011. cuit, International Journal of Bifurcation and Chaos [59] Z. Wei, V.-T. Pham, T. Kapitaniak, Z. Wang, Bi- 27 (12), accepted. furcation analysis and circuit realization for multiple- [43] I. Burkin, N. Khien, Analytical-numerical methods of delayed Wang–Chen system with hidden chaotic attrac- finding hidden oscillations in multidimensional dynami- tors, Nonlinear Dynamics 85 (3) (2016) 1635–1650. cal systems, Differential Equations 50 (13) (2014) 1695– [60] I. Zelinka, Evolutionary identification of hidden chaotic 1717. attractors, Engineering Applications of Artificial Intel- [44] C. Li, J. Sprott, Coexisting hidden attractors in a 4-D ligence 50 (2016) 159–167. simplified Lorenz system, International Journal of Bi- [61] M. Borah, B. Roy, Hidden attractor dynamics of a novel furcation and Chaos 24 (03), art. num. 1450034. non-equilibrium fractional-order chaotic system and its [45] Q. Li, H. Zeng, X.-S. Yang, On hidden twin attractors synchronisation control, in: 2017 Indian Control Con- and bifurcation in the Chua’s circuit, Nonlinear Dynam- ference (ICC), 2017, pp. 450–455. ics 77 (1-2) (2014) 255–266. [62] P. Brzeski, J. Wojewoda, T. Kapitaniak, J. Kurths, [46] V.-T. Pham, F. Rahma, M. Frasca, L. Fortuna, Dynam- P. Perlikowski, Sample-based approach can outperform ics and synchronization of a novel hyperchaotic system the classical dynamical analysis - experimental confir- without equilibrium, International Journal of Bifurca- mation of the basin stability method, Scientific Reports tion and Chaos 24 (06), art. num. 1450087. 7, art. num. 6121. [47] M. Chen, M. Li, Q. Yu, B. Bao, Q. Xu, J. Wang, Dy- [63] Y. Feng, W. Pan, Hidden attractors without equilibrium namics of self-excited attractors and hidden attractors and adaptive reduced-order function projective synchro- in generalized memristor-based Chua’s circuit, Nonlin- nization from hyperchaotic Rikitake system, Pramana ear Dynamics 81 (2015) 215–226. 88 (4) (2017) 62. [48] A. Kuznetsov, S. Kuznetsov, E. Mosekilde, N. Stanke- [64] H. Jiang, Y. Liu, Z. Wei, L. Zhang, Hidden chaotic at- vich, Co-existing hidden attractors in a radio-physical tractors in a class of two-dimensional maps, Nonlinear oscillator system, Journal of Physics A: Mathematical Dynamics 85 (4) (2016) 2719–2727. and Theoretical 48 (2015) 125101. [65] N. Kuznetsov, G. Leonov, M. Yuldashev, R. Yuldashev, [49] P. Saha, D. Saha, A. Ray, A. Chowdhury, Memris- Hidden attractors in dynamical models of phase-locked tive non-linear system and hidden attractor, European loop circuits: limitations of simulation in MATLAB Physical Journal: Special Topics 224 (8) (2015) 1563– and SPICE, Commun Nonlinear Sci Numer Simulat 51 1574. (2017) 39–49. doi:10.1016/j.cnsns.2017.03.010. [50] V. Semenov, I. Korneev, P. Arinushkin, G. Strelkova, [66] J. Ma, F. Wu, W. Jin, P. Zhou, T. Hayat, Calcula- T. Vadivasova, V. Anishchenko, Numerical and experi- tion of Hamilton energy and control of dynamical sys- mental studies of attractors in memristor-based Chua’s tems with different types of attractors, Chaos: An Inter- oscillator with a line of equilibria. Noise-induced ef- disciplinary Journal of Nonlinear Science 27 (5) (2017) fects, European Physical Journal: Special Topics 224 (8) 053108. doi:10.1063/1.4983469. (2015) 1553–1561. [67] M. Messias, A. Reinol, On the formation of hidden [51] P. Sharma, M. Shrimali, A. Prasad, N. Kuznetsov, chaotic attractors and nested invariant tori in the Sprott G. Leonov, Control of multistability in hidden attrac- A system, Nonlinear Dynamics 88 (2) (2017) 807–821. tors, Eur. Phys. J. Special Topics 224 (8) (2015) 1485– [68] J. Singh, B. Roy, Multistability and hidden chaotic at- 1491. tractors in a new simple 4-D chaotic system with chaotic [52] Z. Zhusubaliyev, E. Mosekilde, A. Churilov, 2-torus behaviour, International Journal of Dynamics A. Medvedev, Multistability and hidden attrac- and Control doi: 10.1007/s40435-017-0332-8. tors in an impulsive Goodwin oscillator with time [69] C. Volos, V.-T. Pham, E. Zambrano-Serrano, J. M. delay, European Physical Journal: Special Topics Munoz-Pacheco, S. Vaidyanathan, E. Tlelo-Cuautle, 224 (8) (2015) 1519–1539. Advances in Memristors, Memristive Devices and Sys- [53] M.-F. Danca, N. Kuznetsov, G. Chen, Unusual dynam- tems, Springer, 2017, Ch. Analysis of a 4-D hyperchaotic ics and hidden attractors of the Rabinovich–Fabrikant fractional-order memristive system with hidden attrac- system, Nonlinear Dynamics 88 (2017) 791–805. doi: tors, pp. 207–235. 10.1007/s11071-016-3276-1. [70] Z. Wei, I. Moroz, J. Sprott, A. Akgul, W. Zhang, Hidden [54] S. Jafari, V.-T. Pham, S. Golpayegani, M. Moghtadaei, hyperchaos and electronic circuit application in a 5D S. Kingni, The relationship between chaotic maps and self-exciting homopolar disc dynamo, Chaos 27 (3), art. some chaotic systems with hidden attractors, Int. J. Bi- num. 033101. furcat. Chaos 26 (13), art. num. 1650211. [71] G. Zhang, F. Wu, C. Wang, J. Ma, Synchronization [55] T. Menacer, R. Lozi, L. Chua, Hidden bifurcations in behaviors of coupled systems composed of hidden at- the multispiral Chua attractor, International Journal of tractors, International Journal of Modern Physics B 31, 16

art. num. 1750180. [90] V. Oseledets, A multiplicative ergodic theorem. Char- [72] Y. Lai, T. Tel, Transient Chaos: Complex Dynamics on acteristic Ljapunov, exponents of dynamical systems, Finite Time Scales, Springer, New York, 2011. Trudy Moskovskogo Matematicheskogo Obshchestva (in [73] M.-F. Danca, N. Kuznetsov, Hidden chaotic sets in Russian) 19 (1968) 179–210. a Hopfield neural system, Chaos, Solitons & Fractals [91] L. Barreira, J. Schmeling, Sets of “Non-typical” points 103 (2017) 144–150. doi:https://doi.org/10.1016/ have full topological entropy and full Hausdorff dimen- j.chaos.2017.06.002. sion, Israel Journal of Mathematics 116 (1) (2000) 29– [74] G. Chen, N. Kuznetsov, G. Leonov, T. Mokaev, Hid- 70. den attractors on one path: Glukhovsky-Dolzhansky, [92] P. Cvitanovi´c, R. Artuso, R. Mainieri, G. Tanner, Lorenz, and Rabinovich systems, International Journal G. Vattay, Chaos: Classical and Quantum, Niels Bohr of Bifurcation and Chaos 27 (8), art. num. 1750115. Institute, Copenhagen, 2016, http://ChaosBook.org. [75] N. Kuznetsov, G. Leonov, T. Mokaev, S. Seledzhi, Hid- [93] W. Ott, J. Yorke, When Lyapunov exponents fail to den attractor in the Rabinovich system, Chua circuits exist, Phys. Rev. E 78 (2008) 056203. and PLL, AIP Conference Proceedings 1738 (1), art. [94] L.-S. Young, Mathematical theory of Lyapunov expo- num. 210008. nents, Journal of Physics A: Mathematical and Theo- [76] G. Leonov, N. Kuznetsov, T. Mokaev, Hidden attractor retical 46 (25) (2013) 254001. and homoclinic orbit in Lorenz-like system describing [95] A. Pikovsky, A. Politi, Lyapunov Exponents: A Tool convective fluid motion in rotating cavity, Communica- to Explore Complex Dynamics, Cambridge University tions in Nonlinear Science and Numerical Simulation 28 Press, 2016. (2015) 166–174. doi:10.1016/j.cnsns.2015.04.007. [96] N. Kuznetsov, G. Leonov, On stability by the first ap- [77] A. Prasad, Existence of perpetual points in nonlinear proximation for discrete systems, in: 2005 International dynamical systems and its applications, International Conference on Physics and Control, PhysCon 2005, Vol. Journal of Bifurcation and Chaos 25 (2), art. num. Proceedings Volume 2005, IEEE, 2005, pp. 596–599. 1530005. doi:10.1109/PHYCON.2005.1514053. [78] D. Dudkowski, A. Prasad, T. Kapitaniak, Perpetual [97] G. Leonov, N. Kuznetsov, Time-varying linearization points and hidden attractors in dynamical systems, and the Perron effects, International Journal of Bi- Physics Letters A 379 (40-41) (2015) 2591 – 2596. furcation and Chaos 17 (4) (2007) 1079–1107. doi: [79] A. Prasad, A note on topological conjugacy for perpet- 10.1142/S0218127407017732. ual points, International Journal of Nonlinear Science [98] J. Schmeling, A dimension formula for endomorphisms 21 (1) (2016) 60–64. – the Belykh family, Ergodic Theory and Dynamical [80] F. Nazarimehr, B. Saedi, S. Jafari, J. Sprott, Are per- Systems 18 (1998) 1283–1309. petual points sufficient for locating hidden attractors?, [99] J. Vallejo, M. Sanjuan, Predictability of Chaotic Dy- International Journal of Bifurcation and Chaos 27 (03), namics: A Finite-time Lyapunov Exponents Approach, art. num. 1750037. Springer International Publishing, 2017. [81] A. Douady, J. Oesterle, Dimension de Hausdorff des [100] B. Kehlet, A. Logg, Quantifying the computability of attracteurs, C.R. Acad. Sci. Paris, Ser. A. (in French) the Lorenz system using a posteriori analysis, in: Pro- 290 (24) (1980) 1135–1138. ceedings of the VI Int. conf. on Adaptive Modeling and [82] B. Hunt, Maximum local Lyapunov dimension bounds Simulation (ADMOS 2013), 2013. the box dimension of chaotic attractors, Nonlinearity [101] B. Kehlet, A. Logg, A posteriori error analysis of round- 9 (4) (1996) 845–852. off errors in the numerical solution of ordinary differen- [83] M. Rabinovich, A. Ezersky, P. Weidman, The Dynamics tial equations, Numerical Algorithms (2015) 1–20. of Patterns, World Scientific, 2000. [102] S. Liao, P. Wang, On the mathematically reliable long- [84] N. Kuznetsov, T. Alexeeva, G. Leonov, Invariance of term simulation of chaotic solutions of Lorenz equation Lyapunov exponents and Lyapunov dimension for reg- in the interval [0,10000], Science China Physics, Me- ular and irregular linearizations, Nonlinear Dynamics chanics and Astronomy 57 (2) (2014) 330–335. 85 (1) (2016) 195–201. doi:10.1007/s11071-016-2678- [103] A. Eden, An abstract theory of L-exponents with ap- 4. plications to dimension analysis (PhD thesis), Indiana [85] F. Ledrappier, Some relations between dimension and University, 1989. Lyapounov exponents, Communications in Mathemati- [104] K. Ramasubramanian, M. Sriram, A comparative study cal Physics 81 (2) (1981) 229–238. of computation of Lyapunov spectra with different al- [86] P. Frederickson, J. Kaplan, E. Yorke, J. Yorke, The Li- gorithms, Physica D: Nonlinear Phenomena 139 (1-2) apunov dimension of strange attractors, Journal of Dif- (2000) 72–86. ferential Equations 49 (2) (1983) 185–207. [105] H. Rutishauser, H. Schwarz, The LR transformation [87] J. Farmer, E. Ott, J. Yorke, The dimension of chaotic method for symmetric matrices, Numerische Mathe- attractors, Physica D: Nonlinear Phenomena 7 (1-3) matik 5 (1) (1963) 273–289. (1983) 153 – 180. [106] D. Stewart, A new algorithm for the SVD of a long prod- [88] N. Bogoliubov, N. Krylov, La theorie generalie de la uct of matrices and the stability of products, Electronic mesure dans son application a l’etude de systemes dy- Transactions on Numerical Analysis 5 (1997) 29–47. namiques de la mecanique non-lineaire, Ann. Math. II [107] G. Benettin, L. Galgani, A. Giorgilli, J.-M. Strelcyn, (in French) (Annals of Mathematics) 38 (1) (1937) 65– Lyapunov characteristic exponents for smooth dynami- 113. cal systems and for hamiltonian systems. A method for [89] M. Dellnitz, O. Junge, Set oriented numerical methods computing all of them. Part 2: Numerical application, for dynamical systems, in: Handbook of Dynamical Sys- Meccanica 15 (1) (1980) 21–30. tems, Vol. 2, Elsevier Science, 2002, pp. 221–264. 17

[108] A. Wolf, J. B. Swift, H. L. Swinney, J. A. Vastano, [113] G. Leonov, On estimations of Hausdorff dimension of at- Determining Lyapunov exponents from a time series, tractors, Vestnik St. Petersburg University: Mathemat- Physica D: Nonlinear Phenomena 16 (D) (1985) 285– ics 24 (3) (1991) 38–41, [Transl. from Russian: Vest- 317. nik Leningradskogo Universiteta. Mathematika, 24(3), [109] B. E. Bylov, R. E. Vinograd, D. M. Grobman, V. V. Ne- 1991, pp. 41-44]. mytskii, Theory of characteristic exponents and its ap- [114] V. Boichenko, G. Leonov, Lyapunov’s direct method in plications to problems of stability (in Russian), Nauka, estimates of topological entropy, Journal of Mathemat- Moscow, 1966. ical Sciences 91 (6) (1998) 3370–3379. [110] R. Smith, Some application of Hausdorff dimension in- [115] A. Y. Pogromsky, A. S. Matveev, Estimation of topo- equalities for ordinary differential equation, Proc. Royal logical entropy via the direct Lyapunov method, Non- Society Edinburg 104A (1986) 235–259. linearity 24 (7) (2011) 1937–1959. [111] C. Doering, J. Gibbon, D. Holm, B. Nicolaenko, Exact [116] N. Kuznetsov, T. Mokaev, P. Vasilyev, Numerical justi- Lyapunov dimension of the universal attractor for the fication of Leonov conjecture on Lyapunov dimension of complex Ginzburg-Landau equation, Phys. Rev. Lett. Rossler attractor, Commun Nonlinear Sci Numer Simu- 59 (1987) 2911–2914. lat 19 (2014) 1027–1034. [112] N. Kuznetsov, G. Leonov, A short survey on [117] W. Hurewicz, H. Wallman, Dimension Theory, Prince- Lyapunov dimension for finite dimensional dy- ton University Press, Princeton, 1941. namical systems in Euclidean space, arXiv [118] S. Siu, www.mathworks.com/matlabcentral/fileexchange/233- https://arxiv.org/pdf/1510.03835.pdf. let (1998).