Arxiv:2106.10725V2 [Nlin.CD] 23 Jun 2021

Analytical and numerical study of the hidden boundary of practical stability: complex versus real Lorenz systems

1, 2, 3, 1 1, 4 5 6 N.V. Kuznetsov, ∗ T.N. Mokaev, A.A.-H. Shoreh, A. Prasad, and M.D. Shrimali 1Faculty of Mathematics and Mechanics, St. Petersburg State University, Peterhof, St. Petersburg, Russia 2Faculty of Information Technology, University of Jyväskylä,Jyväskylä,Finland 3Institute for Problems in Mechanical Engineering RAS, Russia 4Department of Mathematics, Faculty of Science, Al-Azhar University, Assiut, Egypt 5Department of Physics & Astrophysics, Delhi University, India 6Central University of Rajasthan, Ajmer, India (Dated: June 25, 2021) This work presents the continuation of the recent article ”The Lorenz system: hidden boundary of practical stability and the Lyapunov dimension” [1], published in the Nonlinear Dynamics journal. In this work, in comparison with the results for classical real-valued Lorenz system (henceforward – Lorenz system), the problem of analytical and numerical identification of the boundary of global stability for the complex-valued Lorenz system (henceforward – complex Lorenz system) is studied. As in the case of the Lorenz system, to estimate the inner boundary of global stability the possibility of using the mathematical apparatus of Lyapunov functions (namely, the Barbashin-Krasovskii and LaSalle theorems) is demonstrated. For additional analysis of homoclinic bifurcations in complex Lorenz system a special analytical approach by Vladimirov is utilized. To outline the outer boundary of global stability and identify the so-called hidden boundary of global stability, possible birth of hidden attractors and transient chaotic sets is analyzed. Keywords: chaos, Lorenz system, complex Lorenz system, boundary of global stability, hidden attractors, transient chaos

I. INTRODUCTION other hand, crossing the analytical boundary of global stability can lead to the loss of stability of the station- In the study of the dynamics of applied systems, an im- ary set. Then, if the system is dissipative in the sense portant role is played by the property of global stability1, Levinson ([19], see also [17]), but all stationary points when there are no oscillations in the system, and all tra- are unstable, then inside the absorbing set a self-excited jectories are attracted to a stationary set. In some cases, nontrivial attractor can be observed and easily localized. the global stability property can be established analyt- Finally, after crossing the boundary of global stability, ically (e.g. by Lyapunov-type, either frequency-domain the stationary set can remain locally stable (or partially methods, see [6–9]), and the global stability boundary locally stable), but at the same time hidden oscillations can be constructed in the parameter space. Crossing (periodic or chaotic) [17, 20–23] may appear in the phase this analytical boundary can lead to the following sce- space, which basins of attraction do not intersect with ar- narios. After crossing the analytical border of global bitrarily small open vicinities of equilibria. This part of stability, the system can still exhibits practical 2 global border of global stability, accordingly, can be also called stability [1], i.e. almost all trajectories are attracted to a ”hidden” [1, 23]. stationary set, however, in this case a countable number This work is the continuation of the recent article ”The of orbits may appear, which nevertheless are not realized Lorenz system: hidden boundary of practical stability in practice and in standard numerical experiments (e.g., and the Lyapunov dimension” [1], where the analytical unstable periodic or homoclinic orbits [12–18]). On the and numerical analysis of the boundary of global stability was performed for the classical Lorenz system [24]: arXiv:2106.10725v2 [nlin.CD] 23 Jun 2021  x˙ = σ(x y),  − − ∗ y˙ = rx y xz, (1) Corresponding author: [email protected] − − 1 We use the term “global stability” for simplicity of further pre- z˙ = bz + xy, sentation, while in the literature there are used different notions, − e.g. “globally asymptotically stable” [2, p. 137], [3, p. 144], where parameters r, σ > 0, b (0, 4]. Here in the intro- “gradient-like” [4, p. 2], [5, p. 56], “quasi-gradient-like” [4, p. 2], duction, we briefly outline these∈ results to compare them [5, p. 56] and others, reflecting the features of the stationary set and the convergence of trajectories to it. further with the results for the complex Lorenz system. 2 Let us remark here a different notion of practical stability, sug- 1)Dissipativity. The Lorenz system (1) is dissipative in gested and developed in [10, 11]. According to this notion, a unique equilibrium of a perturbed system is practically stable, if the sense of Levinson, since it has the absorbing set [25] for all bounded perturbations and all initial points from a vicinity 2 3 2 2 2 b(σ+r) Q0 of equilibrium, corresponding trajectories stay inside a larger B= (x,y,z) x +y +(z r σ) . R 2 min(1,σ, b ) vicinity Q ⊃ Q0 for all moments of time; at the same time, the ∈ | − − ≤ 2 equilibrium can be Lyapunov unstable. (2) 2

This implies that all solutions of (1) exist for t r = 28, it is possible to observe the self-excited chaotic ∈ [0, + ) and, thus, system (1) generates a dynamical attractor with respect to all three equilibria S0, S (see system.∞ For 0 < r 1, the stationary set of sys- Fig. 2c). ± ≤ tem (1) consists of a unique stable equilibrium S0 = (0, 0, 0); for r > 1 a pair of symmetric equilibria S = 4)Boundary of practical global stability. The pres- p p ± ( b(r 1), b(r 1), r 1) is added to the station- ence of an absorbing set implies the existence of a glob- ± − ± − − ally attractor , which contains all local self-excited ary set, and S0 turns into a saddle. glob and hidden attractors,A and stationary set. Thus, inside 2)Inner estimation of global stability. For the the set it is possible to study numerically the pres- B Lorenz system (1), combining several approaches based ence of nontrivial self-excited and hidden attractors for on the construction of Lyapunov functions [6,7, 26] it is parameters r, σ, b not satisfying conditions (3) of global possible to prove the following criterion for the absence stability, i.e. by fixing σ and b, and by decreasing r from of self-excited and hidden oscillations (see Figs. 1a, 1b). rcr. For σ = 10, b = 8/3, this gives us the following region r (rgs, rcr), where rgs 4.64, rcr 24.74. Theorem 1. If for parameters of system (1) one of the A nontrivial∈ self-exited attractor≈ can be observed≈ numer- following cases holds: ically for 24.06 r < r 24.74 (see e.g. [27]). In this / cr ≈ ( case of nontrivial multistability, system (1) possesses a lo- 2σ > b, cal chaotic attractor which is self-excited with respect 2σ b, or (σ+b)(b+1) (3) A ≤ r < rgs = σ , to equilibrium S0 and co-exists with the trivial attractors S (see Fig. 2b). then there are no nontrivial self-excited and hidden os- ± cillations in the phase space of system (1), and any its 5)Hidden attractor or transient set? For the Lorenz solution (x(t), y(t), z(t)) tends to the stationary set as system (1) it is still an open question [22, p. 14], whether t + . for some parameters there exists a hidden chaotic attrac- → ∞ tor, i.e. whether it is possible by changing parameters Beyond the estimate (3) in Theorem1, the analysis of to disconnect the basin of attraction from equilibria S0, global stability and the birth of nontrivial attractors can S (e.g. for the parameters σ = 10, b = 8 : if r = 28, be performed numerically. It is further known that the ± 3 then attractor is connected with S0, S ; if r = 24.5, then separatrix of saddle S0 can form a homoclinic loop from ± attractor is connected with only S0). The current results which unstable cycles can arise and violate the global on the existence of the hidden attractors in the Lorenz stability (however, a set of measure zero does not affect system are the following: recently reported hidden at- the global attraction on a stationary set from a practical tractors in the Lorenz system with r < rcr and locally point of view). Using the Fishing principle [16–18] for the stable equilibria S turn out to be a transient chaotic Lorenz system (1) it is possible to prove the following: set (a set in the phase± space, which can persist for a long sustained Theorem 2. For σ and b fixed, there exists r = rh time, but after all collapses), but not a hidden (1, + ) corresponding to the homoclinic orbit of the sad-∈ chaotic attractor [28, 29]. ∞ dle equilibrium S0 if and only if 3σ > 2b + 1. In a numerical computation of a trajectory over a finite- time interval it is difficult to distinguish a sustained For instance, for the classical values of parameters σ = chaos from a transient chaos [30, 31], thus it is reason- 10, b = 8/3 of system (1) it is possible to find numeri- able to give a similar classification for transient chaotic cally the approximate value of such homoclinic bifurca- sets [32, 33]: transient chaotic set is a hidden one if it tion rh 13.926, when two symmetric homoclinic orbits does not involve and attract trajectories from a small ≈ forming a homoclinic butterfly appear (see Fig. 1c). Fur- neighborhood of equilibria; otherwise, it is self-excited. ther increase of the parameter r leads to the birth of two 8 For the Lorenz system (1) with parameters σ = 10, b = 3 saddle periodic orbits from each homoclinic orbit [15]. fixed, near the point r 24.06 it is possible to observe a long living transient chaotic≈ set, which is hidden since 3)Outer estimation of global stability. For systems it’s basin of attraction does not intersect with the small with a global absorbing set and an unstable stationary vicinities of equilibrium S0 (see Fig. 2a). set, the existence of self-excited attractors is obvious. In our experiments, consider system (1) with parameters From a computational perspective this allows one to use a r = 24, σ = 10, b = 8/3. Using MATLAB’s standard standard computational procedure, in which after a tran- procedure ode45 with default parameters (relative tol- sient process, a trajectory, starting from a point of unsta- 3 6 erance 10− , absolute tolerance 10− ) for trajectory of ble manifold in a neighborhood of equilibrium, reaches a system (1) with initial point u0 = (20, 20, 20) a tran- state of oscillation, thus one can easily identify it. sient chaotic behavior is observed on the time interval System (1) possesses the absorbing set (see Eq. (2)) [0, 1.8 104], for initial point u = ( 7, 8, 22) — on the σ+b+3 B 0 and for σ > b + 1, r > r = σ( ) all equilibria are · 4 − cr σ b 1 time interval [0, 7.2 10 ], for initial point u0 = (2, 2, 2) − − unstable. Thus, in this case, system (1) has a nontrivial — on the time interval· [0, 2.26 105], and for initial point · self-excited attractor: if we consider classical values of u0 = (0, 0.5, 0.5) a transient chaotic behavior contin- parameters σ = 10, b = 8/3, then for r > rcr, e.g. for − 3

(0, 0, z0 exp( bt)) (0, 0, z0 exp( bt)) (0, 0, z0 exp( bt)) − − − S S + S S+ 1 14 − 25 − 0.8 12 20 10 0.6 15 z 8 0.4 z z 6 10 0.2 20 4 10 1 5 0 S 5 0 2 0.5 0 0 0 0 S -0.2 0 S0 y 0 y -5 −10 1 -0.5 x -6 −5 0 0.5 -4 -2 5 −20 0 0 2 -10 10 y -0.5 -1 4 6 -1 x x

(a) r < 1 (b) 1 < r < rgs 4.64 (c) r = rh 13.926 ≈ ≈ 8 Figure 1: Dynamics of the Lorenz system (1) with ﬁxed parameters σ = 10, b = 3 , when parameter r varying according to the inner estimation of global stability.

S S+ − 50 S S+ − 40

30 z Z 20 50 10 S S+ 0 − S Y0 0 0 -20 -10 S X0 -50 0 S0 10 20 Y x y

50 S S+ − 40

z 30 Z S S+ 20 − S S 50 − + 10 S0 Y0 0 S S0 -20 0 -10 0X 10 -50 Y x y 20

45 S S+ 40 50 −

30 40 z 25 20 30 S 15 Z S + − 10 S S 20 − + 5 50

0 10 -20 0 S 30 -10 0 20 S Y0 S0 10 0 0 0 0 10 -10 x -20 y -20 -10 20 -30 X0 -50 10 20 Y (a) r = 24, hidden transient chaotic set (b) r = 24.5, self-excited attractor w.r.t S0 (c) r = 28, self-excited attractor w.r.t S0, S±

8 Figure 2: Dynamics of the Lorenz system (1) with ﬁxed parameters σ = 10, b = 3 , when parameter r varying according to the outer estimation of global stability.

7 6 ues over a time interval of more than [0, 10 ]. Remark LAB’s procedure ode45 with relative tolerance 10− , for that, if we consider the same initial points, but use MAT- all these initial points the chaotic transient behavior will 4 last over a time interval of more than [0, 106], and corre- It is also useful to consider the following equiv- sponding transient chaotic sets won’t collapse. alent form of system (4) in terms of real variables x1, x2, x3, x4, x5 and real parameters r1, r2, σ, b, e (see, e.g. [39]): II. THE COMPLEX LORENZ SYSTEM  x˙ = σ(x x ),  1 3 − 1  x˙ = σ(x x ), The classical Lorenz system (1) has gained and still  2 4 − 2 attracts much attention of scientists3, however, it is a x˙ 3 = r1x1 r2x2 x3 ex4 x1x5, (8)  − − − − rather simple mathematical model of the fluid dynam-  x˙ 4 = r2x1 + r1x2 + ex3 x4 x2x5,  x˙ = bx + x x + x x−. − ics problem, which E. Lorenz has initially investigated. 5 − 5 1 3 2 4 A more complicated model of many real-world physical For problems, such as two-layer baroclinic instability with Im(r a) = 0, weak viscosity and beta-effect [34–36] and detuned laser Im(r a) = 0, or − (9) − 6 Re(r a) 0 optics [37, 38], is described by the following complex − ≤ Lorenz system: system (8) has a unique equilibrium S0 = (0, 0, 0, 0, 0).  X˙ = σ(Y X), For  − Y˙ = rX aY XZ, (4) Im(r a) = 0,  − 1 − − (10) Z˙ = bZ + (X∗Y + XY ∗), Re(r a) > 0 − 2 − where X = x1 + x2i, Y = x3 + x4i are complex variables, system (8) has a stationary set containing S0 and a whole Z = x is real, and ” ” denotes complex conjugation circle of equilibria given by the expression: 5 ∗ operator. Parameters σ, b > 0 are real, r = r1 + r2i and 2 2 x + x = b(r1 1), x1 = x3, x2 = x4, x5 = r1 1. a = 1 ei are complex with r1, e R. Note that since the 1 2 − ∈ − − transformation X X∗,Y Y ∗ changes only the sign → → These equilibria could be parameterized as follows: of r2 in (4), this parameter may be chosen positive [39]. System (4) is also dissipative in the sense of Levin- Sθ = ( ρ cos(θ), ρ sin(θ), ρ cos(θ), ρ sin(θ), r1 1), son, and the bounded convex absorbing set could be con- ± ± ± ± − p structed according to the following theorem [40]. where ρ = b(r1 1) and θ [0, 2π). In literature, relation Im(r a)− = 0 is often∈ called the ”laser case”, Theorem 3. Let for λ = min(1, b, σ) there exist λ − 0 ∈ since in this case system (4) describe the dynamics of (0, λ0), γ > 0, ϑ such that some lasers, e.g. a detuned laser [37, 39]. Let us outline the following statements about local sta- γ(σ λ)(1 λ) 1 σ + γr ϑ 2 0. (5) − − − 4 | − | ≥ bility of the stationary set of system (8) (see e.g. [35]). 2 2 2 2 ϑ (b 2λ) ϑ (b 2λ) Lemma 1. The equilibrium S0 of system (8) is stable if Define Γ = 8λγ(−b λ) , β = γ(1+γ) 4λ−(b λ) + 1 and the − − and only if the following condition hold: following function W : C C R R: × × → (e+r2)(e σ r2) r1 < r1c, where r1c = 1 + −2 . W (X,Y,Z) = 1 X 2 + γ( Y 2 + Z2) ϑZ. (σ+1) 2 | | | | − Lemma 2. The equilibria S of system (8) are stable4 if Then for any solution of and any θ (X(t),Y (t),Z(t)) (4) and only if one of the following conditions hold: δ > 0 with T = T δ, X(0),Y (0),Z(0), the following in- equalities hold for all t T : ( σ > b + 1, ≥ or 2 σ < b + 1, √Q2+4Q1Q3 Q2 1 < r < r0 = 1 + − , W (X(t),Y (t),Z(t)) Γ + δ, (6) 1 1c 2bQ1 ≤ and where

Q1 =(3σ + 1)(σ b 1), X(t) 2 < β + 4δ . (7) − − | | 1+γ Q =γ (b + 2γ )( 2bγ bγ + 2γ γ ) 2 2 2 − 2 − 3 2 3 Thus, if condition (5) holds, then the solutions of sys- γ (b2 + bγ bγ + 2γ2 + 2γ γ ), − 1 2 − 3 2 2 3 tem (4) exist for t [0, + ) and, thus, system (4) gen- 2 Q3 =2γ1γ2 b (b + 2bγ2 + γ1), erates a dynamical∈ system∞ and possesses a global attrac- 2 tor [41] containing a set of all equilibria. and γ = (σ + 1)2 + 2σ(e+r2) e , γ = σ + 1, γ = 2σ. 1 σ+1 − 2 3

3 The original celebrated work by Lorenz [24] has gained more than 4 One could easily check that the eigenvalues of the Jacobi matrix 24000 cites according to Google Scholar. at all equilibria Sθ are the same for any θ ∈ [0, 2π). 5

III. INNER ESTIMATION: THE GLOBAL The derivative of V with respect to system (8) reads: STABILITY AND TRIVIAL ATTRACTORS V˙ = σD2(x2+x2) (x2+x2) r (x x x x ) bx2. − 1 2 − 3 4 − 2 2 3− 1 4 − 5 Constructing complex-valued Lyapunov functions, by (14) analogy with Theorem1, it is possible to derive the following criterion for the absence of self-excited and hidden By using the following scaled variables (u1, u2, u3, u4, u5) as: x = u1 , x = u2 , x = u , x = u , x = u5 , oscillations in the complex Lorenz system (4). 1 D√σ 2 D√σ 3 3 4 4 5 √b we have Theorem 4. If for parameters of the system (4) one of the following conditions holds: V˙ = (u2 + u2 + u2 + u2 + u2) 2∆(u u u u ), (15) − 1 2 3 4 5 − 2 3 − 1 4 1) r + 1 < 2 , r | | 2 where ∆ = 2 . 2)4r1 < r2 , 2D√σ 3) − and conditions hold. If , then The transformation u v, u = Av with 2σ b = 0 (10) 2σ b > 0 → for λ−=6 min(1, b, σ), there exist λ (0, λ )−, γ > 0, ϑ, 0 0  0 1 0 1 0  such that condition on dissipativity (∈5) and the following 0− 0 1 0 1 inequality hold: 1  −  A =  0 0 1 0 1  , √2   ϑ2 (b 2λ)2 b2(σ+1)  0 1 0 1 0  γ(1+γ) 4λ−(b λ) + 1 < 2σ b . (11) − − √2 0 0 0 0 Then in the phase space of system (4), there are no non- leads to the following expression: trivial self-excited and hidden oscillations, and any of its solution (X(t),Y (t),Z(t)) tends to the stationary set as V˙ = v2 (1 + ∆)(v2 + v2) (1 ∆)(v2 + v2). − 1 − 2 3 − − 4 5 t . → ∞ One can see that initial assumption 4r < r2 implies 1 − 2 Proof. We consider the following cases: ∆2 < 1 and, therefore, V˙ < 0, and all conditions of Case 1. For r+1 < 2, one can check that conditions (9) Barbashin-Krasovskii theorem are satisfied. Thus, the | | are satisfied and in this case S0 is the only equilibria of equilibrium S0 is globally stable. system (4). So, the absence of self-excited oscillations fol- As we discussed earlier, if conditions (9) are not sat- lows from the Routh-Hurwitz criterion on local stability isfied, system (4) has a stationary set containing a con- for the equilibrium S0. The absence of hidden oscilla- tinuum of equilibria, i.e the zero equilibrium S0 and the tions can be obtained by Barbashin-Krasovskii theorem equilibria Sθ. In this case, the Barbashin-Krasovskii the- (see e.g. [6,9]) and the Lyapunov function, if r + 1 < 2, orem is not applicable. from Theorem3 for ϑ := 0 and γ := σ we get| the follow-| Case 3. Suppose conditions (10) are satisfied, then the ing Lyapunov function: absence of nontrivial oscillations (and, thus, the global stability of the stationary set S0,Sθ can be demon- V (X,Y,Z) = 1 [ X 2 + σ( Y 2 + Z2)] { } 2 | | | | strated (see, [40]) by the LaSalle principal [7]. For this purpose, consider the following time and coordinate with λ0 = min(1, b, σ), λ (0, λ0), δ > 0 and the inequal- transformations: ities σ(σ λ)(1 λ) 1 σ2∈ r+1 2 0 and X(t) 2 < 4δ − − − 4 | | ≥ | | 1+σ  hold. The derivative of V with respect to system (4) is t τ, ψ :(X,Y,Z) (χ, η, ξ),  → √σ → 2 τ = t, χ = ε X, η = ε (Y X), as follows [40]: ε √2σ √2 (16) 2 −  2 X 1 2 2  ξ = ε (Z | | ), ε = > 0. V˙ (X,Y,Z) λ X + σ Y < 0, X,Y,Z = 0. − b √r a ≤ − | | | | ∀ 6 − System (4) transform into the following system: Also, V (X,Y,Z) 0, V (0, 0, 0) = 0 and V (X,Y,Z) ≥ → as X,Y,Z ; thus, all conditions of Barbashin-  χ˙ = dχ = η, ∞ | | → ∞  dτ Krasovskii theorem are satisfied implying global stability   dη of the unique equilibrium S0.  η˙ = = %η ξχ ϕ(χ), 2 dτ − − − (17) Case 2. For 4r1 < r2, conditions (9) are also fulfilled −  dξ and for this case we introduce the following Lyapunov  ξ˙ = = κξ Λ (χ?η + χη?),  dτ 2 function (see, [39]): − −

1 2 2 2 2 ε(a+σ) 2 2σ εb V (X,Y,Z) = 2 D X + Y + Z , (12) where % = √σ , ϕ(χ) = χ+Θχ χ , Θ = b , κ = √σ , | | | | 2 − | | q Λ = b (2σ b). Here, the variables χ and η are complex r1 − where D = −σ . It is clear that Lyapunov function (12) while ξ is real. The new parameters Θ, κ, and Λ are is positive deﬁnite. Rewrite Lyapunov function (12) in real with Θ > 0, κ > 0, and % is complex. Consider the terms of real variables: following Lyapunov function: h i 1 2 2 2 2 2 2 1 1 2 2 2 Θ 4 V (x1, x2, x3, x4, x5) = D (x +x )+x +x +x . (13) V (χ, η, ξ) = 2 Λ ξ + η χ + 2 χ . (18) 2 1 2 3 4 5 | | | | − | | | | 6

Note that, the LaSalle principle requires the compact- Remark 2. In the special case, when r2 = e = 0, the re- ness of the set, where the Lyapunov function V is deﬁned maining parameters in the complex Lorenz system (4) are to show its boundedness from below. In our case, one can the same as the parameters of the real one (1). However, show that the inequality V (χ, η, ξ) > 1 is valid for any we can not strictly deduce the condition of global stability − 4Θ (χ, η, ξ) C C R. of the stationary set S0,S of the Lorenz system (1) ∈ × × { ±} From the relation V˙ (χ, η, ξ) = 0, it follows that the from the conditions of Theorem4. This due to the dif- largest invariant set ferent behavior of these two systems in this case. The complex Lorenz system (4) still has a continuum of equi- M (χ, η, ξ) C C R V˙ (χ, η, ξ) = 0 ⊂ { ∈ × × | } libria Sθ in its phase space, while the real one has only consists of the equilibrium points of system (17). two symmetric equilibria S . Remark that, for the complex Lorenz system (4) when± 2σ = b, we can only apply The derivative of function V with respect to sys- 6 tem (17) is as follows: the LaSalle principle, and yet it is not possible to apply the Leonov approach [42–44]. While for the real Lorenz ˙ κ 2 1 system (1), if 2σ < b, we can use the LaSalle principle, V (χ, η, ξ) = Λ ξ 2 (sgn(Λ) + 1)χξη∗ − | | − and if 2σ > b, we can apply the Leonov approach [1]. It is 1 2 (sgn(Λ) + 1)χ∗ξη Re% η . (19) also possible to prove global stability, when in system (1) − 2 − | | we have 2σ = b [1, 45]. The last thing to check is that V˙ (χ, η, ξ) 0, χ,η C, ≤ ∀ ∈ Note also that, if in the third condition of Theorem4 ξ R. Consider two cases. we take the parameters λ, γ, ϑ as follows: γ = σ, ϑ = 3.1∈. If Λ = 2σ b > 0, then following [40] and using − σ + σr1 2σ√r1, λ (0, b) with b (0, 1], then we get Theorem3, there exist > 0 such that for any solution the following− relations∈ between the∈ conditions of global (χ(τ), η(τ), ξ(τ)) of (17) with t0 = t0(χ(0), η(0), ξ(0)) the stability for systems (1) and (4): following inequality: (σ+b)(1+b) 2 κ r < rgs = σ for system (1), χ(t) Λ Re% , (20) | | ≤ − (σ λ)(1 λ) r1 < r1gs = − σ − for system (4). holds for all t t0. ≥ √2σ From relations (16) we have X(t) = ε χ(t), and tak- The case, corresponding to condition 3) of Theorem4, ing into account (7) we get: when all trajectories tend to the stationary set, however, not all equilibria of the stationary set are locally stable, 2 ε2β 2δε2 χ(t) < + t t0. (21) is illustrated in Fig.3. | | 2σ σ(1+γ) ∀ ≥ It is easy to check that condition (11) with (21) and using the following constant in Theorem3:

2√2γλ(2σ b)(b λ)[b2σ(γ+1)(σ+1)+ε(b 2σ)(σ(γ+1)+2εδ)] ± − − − ϑ = εb(2σ b) , − implies (20). If Λ > 0, then expression (19) reads as follows: ˙ κ 2 2 V (χ, η, ξ) = Λ ξ χξη∗ χ∗ξη Re% η . (22) − | | − − − | | ε(1+σ) Since κ > 0 and Re% = √σ > 0 (see relation (20)), Eq. (22) can be written as follows: V˙ (χ, η, ξ) δ (ξ2 + η 2) 0, δ > 0. (23) ≤ − 1 | | ≤ 1 3.2. If Λ < 0, then the mixed products in (19) do not appear. Hence, expression (19) can be written immediately in the form (23). Then, according to LaSalle principle any solution of Figure 3: The absence of self-excited and hidden system (17) (and thus system (4)) tends to an equilibrium attractors and the global stability of the stationary set state as τ . S0,Sθ in the system (8) with parameters → ∞ { } σ = 4, r1 = 5, r2 = e = 0.001, b = 4. Trajectories Remark 1. For some values of parameters of the com- (blue, purple) in a− small vicinity of the unstable plex Lorenz system , one can find similar conditions (4) equilibrium S0 tend to to the stable set of equilibria Sθ on the global stability as for the Lorenz system (1). For (trivial attractors). instance, if r + 1 < 2, S of the system (4) is globally | | 0 stable, and choosing r2 = 0 we obtain r1 < 1 that corresponds to the condition of global stability of zero equilib- Remark 3. One of the significant differences between rium point of system (1) (see Theorem1). the complex Lorenz (4) and the real one is the following: 7 in the case when S is the only equilibria of system (4), Expression (27) defines the projection map: Π : . 0 H → P there could exist a nontrivial attractor, that is a stable This map projects all states (X0,Y 0,Z0) in the phase limit cycle or even a torus (see Fig.4). space = C C R of system (26) (and system (4)), whichH are invariant× × with respect to a common phase fac- tor ψ in X0 and Y 0, i.e.     X0 X0 exp(iψ)  Y 0   Y 0 exp(iψ)  , (28) → Z0 Z0

4 into the same point (ξ0, υ0, w0, Z0) in = R . Indeed, if P X00 = X0 exp(iψ) and Y 00 = Y 0 exp(iψ), then 2 2 2 2 2 ξ00 = ( X00 Y 00 )/2 = ( exp(iψ) [ X0 Y 0 ])/2 | | − | | | | | | − | | 2 2 2 2 = ((cos (ψ) + sin (ψ))[ X0 Y 0 ])/2 | | − | | 2 2 = ( X0 Y 0 )/2 = ξ0, | | − | | ? υ00 + iw00 = X00∗Y 00 = X0 exp( iψ) Y 0 exp(iψ) ? − = X0 Y 0 = υ0 + iw0. As mentioned in [48, 49], the set of points in corresponding to the same point in in geometry isH called a ”ray”, and the space is calledP a ”ray space”. Figure 4: Co-existence of a nontrivial attractive torus The derivative of expressionsP (27) with respect to the and the unstable equilibria S in the system (8) with 0 dynamics of system (26) leads to the following equations parameters σ = 4, r1 = 5, r2 = 0.002, e = 0.001, b = 4. − of motion in the projective space (ξ0, υ0, w0,Z0) : Trajectories (blue, purple) in small neighborhoods of ∈ P the unstable equilibrium S attractors to the torus  ˙ 0  ξ0 = υ0 + µ(R ξ0) κw0 υ0(1 Z0 %(R + ξ0)), (nontrivial attractors).  ˙ − − − − −  υ0 = µυ0 + R ξ0 + (R + ξ0)(1 Z0 %(R + ξ0)), ˙ − − − −  w0 = µw0 + κ(R + ξ0), Beyond the conditions of Theorem4, the analysis of  ˙ − Z0 = βZ0 + R + ξ0, global stability and the birth of nontrivial attractors in − (29) system (4) can be carried out numerically. For the conve- where R satisfies the following relations: nience of this analysis, additional transformations taking 2 2 2 1 2 2 into account the structure of a complex system may be R = (ξ0 +υ0 +w0 ) 2 = ( X0 + Y 0 )/2, | | | | useful [46, 47]. For instance, in [48, 49], Vladimirov et. al 2 2 R + ξ = X0 ,R ξ = Y 0 . introduced the following transformation for system (4). | | − | | If the conditions: e2 Using projective system (29) it is convenient to study 2σ > b, σ(r1 1) η > 0 (24) and visualize the dynamics of the initial system (4). − − 4 ≡ For instance, it possible to demonstrate the presence of are satisfied, then using the time and coordinate trans- global stability, when conditions of Theorem4 and con- formations: dition (24) hold. Taking the same values of parameters  t t0, ψ :(X,Y,Z) (X0,Y 0,Z0), σ = 4, r1 = 5, r2 = 0.001, e = 0.001, b = 5, considered  → −3 → −5 for system (4) (see Fig.3), one gets− the same qualitative t0 =√ηt, X0 =η 4 δX, Y 0 =η 4 σδ[Y (1+iδ/2σ)X], 1 − 1 behavior in the phase space of system (29) (see Fig.5).  Z =η σ(Z XX /2), δ = exp(iet/2)[(2σ b)/2] 2 . 0 − ∗ As in the classical Lorenz system (1), for the complex − − (25) Lorenz system (4) it is also known that the separatrix of one can re-write system (4) in the form: saddle S0 can form a homoclinic loop, from which unsta-  dX0 ble cycles can arise and violate global stability (however,  dt0 = Y 0, dY 0 2 a set of measure zero does not affect the global attraction dt0 = (1 + iκ)X0 µY 0 X0Z0 %X0 X0 , (26)  dZ0 −2 − − | | on a stationary set from a practical point of view). The 0 = βZ0 + X0 dt − | | following theorem provide the necessary condition for the (2σr2+e(σ 1)) 1+σ √η b − existence of homoclinic orbits in the complex Lorenz sys- where κ = 2η , µ = √η , % = 2σ b , β = √η . − tem (4) (see [48–50]): Since the transformation (25) is continuous and invertible then its a diffeomorphism, and the dynamical behavior of Theorem 5. If conditions (24) are satisfied, then the systems (4) and (26) are topologically equivalent [48, 49]. necessary condition for the presence of a homoclinic orbit Next, introduce the following real variables ξ0, υ0, w0,Z0: of the saddle equilibrium S0 is as follows: 2 2 e(1 σ) ξ0 = ( X0 Y 0 )/2, υ0 + iw0 = X0∗Y 0. (27) r = − . (30) | | − | | 2 2σ 8

To illustrate this statement, let us list the following different types of attractors: (1)For the zero equilibrium S0 of system (26): Π(S0) = S0 , where S0 = (0, 0, 0, 0) is the zero equilibrium point of projective system (29); (2)For the circle of equilibria Sθ of system (26): Π(Sθ) = S10 , where S10 is an equilibrium point of system (29); (3)For limit cycle of system (26) the image is an equilibrium S10 of system (29) in ; (4)For a torus of system (26P) the image is a limit cycle of system (29) in ; (5)For a single homoclinicP orbit of projective system (29) one has (as a preimage of map Π) a continuum of homoclinic orbits in the original space , differing only by the common phase according to Eq. (H28); (6)For a chaotic attractor of projective system (29) in one has (as a preimage) a chaotic attractor in ; P Figure 5: Global stability of the stationary set S0 ,S0 H { 0 1} (7)For a transient chaotic set of projective system (29) in the projective system (29) with parameters σ = 4, in , which collapses by colliding with stable equilibria r = 5, r = e = 0.001, b = 4. P 1 2 − or stable limit cycle, there exists (as a preimage) a transient chaotic set which after a certain time approaches eventually circle of equilibria Sθ or a torus, respectively. Corollary 1. For the ”laser case”, i.e., when e = r , − 2 Summarizing the written above, further in our exper- the homoclinic orbit can only be obtained if e = r2 = 0. iments we will examine the appearance of attractors in To prove condition (30), Vladimirov et al. considered projective system (29), which has 1-dimensional unstable the projective system (29), because unlike system (4), it manifold of zero saddle equilibrium S0 and use map (27) has a 1-dimensional unstable manifold. The projections to get the corresponding preimages of the discovered at- of unstable manifold W u and stable manifold W s in the tractors in the original system (4). space , i.e. Π(W u) and Π(W s), can intersect only along P the Z0-axis and a possible homoclinic orbit exists only if κ = 0, which coincides with condition (30). IV. OUTER ESTIMATION: THE ABSENCE OF 4 For the parameters σ = 10, r2 = 4.5 10− , e = TRIVIAL ATTRACTORS 0.001, b = 8 of system (4), condition× (30) is satis- − 3 fied. In this case, system (4) has a unique equilibrium System (4) possesses the absorbing set (defined by S0 (since e = r2), and it is possible to find numeri- 6 − Eq. (6)) and for σ > b + 1, r1 > max r1c, r10 c (see cally the approximate value of such homoclinic bifurca- Lemma1 and2) all equilibria are unstable.{ Further,} tion r h 13.9, when two symmetric homoclinic orbits 1 ≈ in this article for the system (1) (and (8)) we will fix appear, forming a homoclinic butterfly (see Fig.6). A 8 the classical values of parameters σ = 10, b = 3 of real further increase in the parameter r1 leads to the birth Lorenz model (1) and, following the ”laser case”, will of two periodic saddle orbits from each homoclinic orbit. 8 specify two additional parameters: r2 = e = 0.001. For For the parameters σ = 10, r2 = 0, e = 0, b = , con- − 3 instance, when r1 = 28 > r10 c, it is possible to observe a dition (30) holds and system (4) has the following equi- self-excited chaotic attractor with respect to all equilib- librium points: S ,Sθ (since e = r ), with r h 13.9, 0 − 2 1 ≈ ria of a stationary set (see Fig.8). This gives an outer system (4) has homoclinic orbits (see Fig.7.) estimation of practical global stability. Finally, let us mention the action of the projection map Π on various attractors in the space . In other words, preimages of different kinds of attractorsH in the original space and the corresponding images in the projection V. THE BOUNDARY OF PRACTICAL space H. Basing on some geometrical properties of the STABILITY AND ABSENCE OF NONTRIVIAL map Π,P in [48, 49] it is discussed that every limit set in ATTRACTORS / can be represented locally (in a neighborhood of the givenH Z ray) by the direct product of a set in / and the Inside the absorbing set, it is possible to study numer- P Z ray, i.e., the set R1. Here we exlude the sets of points ically the presence of nontrivial self-excited and hidden Z on the Z0-axes in phase spaces and , which are invari- attractors for parameters r , σ, r , b not satisfying condi- H P 1 2 ant with respect to systems (26) and (29), respectively. tions (11) of global stability, i.e., by fixing σ, r2, b and by 8 Moreover, the triplet ( / , P/Z, Π) forms a fiber bun- decreasing r from r0 . For σ = 10, r = 0.001, b = H Z 1 1c 2 3 dle (see e.g. [51]), Π is continuous map and, thus, it maps this gives us the following region r (r gs, r0 ), where 1 ∈ 1 1c connected/compact sets into connected/compact sets. r gs 1.96 and r0 24.73. 1 ≈ 1c ≈ 9

(a) Two symmetric homoclinic orbits (homoclinic (b) Some homoclinic orbits in the phase space of the (c) Projection of a homoclinic orbit in the projective butterﬂy) in the complex Lorenz system (8) original system (8) system (29)

4 8 Figure 6: Visualization of homoclinic orbits with σ = 10, r = 4.5 10− , e = 0.001, b = and r h 13.9. 2 × − 3 1 ≈

(a) Two symmetric homoclinic orbits in the complex (b) Some homoclinic orbits in the phase space of the (c) Projection of a homoclinic orbit in the projective Lorenz system (8) original system (8) space (29)

8 Figure 7: Visualization of homoclinic orbits with σ = 10, r = 0, e = 0, b = and r h 13.9. 2 3 1 ≈

A nontrivial self-excited attractor can be observed nu- solver with speciﬁc parameters, we estimate the moment merically for 24.09 / r1 < r10 c 24.73. In this case of the end of transient behavior as the moment when of nontrivial multistability, system≈ (8) possesses a local the trajectory falls into a small vicinity of the stable chaotic attractor which is self-excited with respect to equilibrium S10 . Using MATLAB’s standard procedure A 3 equilibrium S0 and coexists with the set of trivial attrac- ode45 with default parameters (relative tolerance 10− , 6 tors Sθ (see Fig.9). absolute tolerance 10− ) for system (29) with parameters r = 23.5, σ = 10, r = e = 0.001, b = 8 and for initial 1 2 − 3 point u0 = (0.5, 0.5, 0.5, 0.5), a transient chaotic behavior A. Hidden attractor or hidden transient set? is observed on the time interval [0, 1.78 104], for ini- × tial point u0 = (0.4, 0.4, 0.3, 0.5) — on the time interval 4 − As we discussed above on the example of the classi- [0, 2.7 10 ] and for initial point u0 = (0.4, 0.4, 0.4, 0.4) cal Lorenz model (1), for a system possessing a transient — on the× time interval [0, 4.6 104]. If we slightly change × chaotic set, the time of the transient process depends the bifurcation parameter r1, taking r1 = 23.6 and leav- strongly on the choice of initial data in the phase space ing all other parameters the same, and choosing initial and also on the parameters of numerical solvers to inte- point u0 = (0.5, 0.5, 0.5, 0.5) a transient chaotic behav- grate a trajectory (e.g., the order of the method, the step ior is observed on the time interval [0, 3.49 107]. For × of integration, relative and absolute tolerances) [1]. This r1 = 23.7 with the same parameters and initial point complicates the task of distinguishing a transient chaotic a transient chaotic behavior continues over a time in- set from a sustained chaotic set (attractor) in numerical terval of more than [0, 108]. Thus, one can observe experiments. that a small increment of the bifurcation parameter r1 Consider system (29), which represents the complex leads to a large increment of the time of transient pro- Lorenz system (4) in the projective space , with r1 = cess. For r (23.7, 24.09), it is a tough problem to es- P 1 ∈ 23.5, r1 = 23.6 and r1 = 23.7. For a trajectory with timate the time of transient process since the time for a certain initial point, which is computed by a certain 10

(a) Initial data near the equilibrium S0 (b) Initial data near an equilibrium Sθ

0 0 (c) Initial data near the equilibrium S0 (d) Initial data near the equilibrium S1

Figure 8: (a), (b) Numerical visualization of the self-excited chaotic attractor in system (8) with r1 = 28, σ = 10, b = 8 , r = e = 0.001 by integrating the trajectories with initial data from small vicinities of the unstable 3 2 − equilibria S , Sθ; (c), (d) The corresponding images in the projective space . 0 P numerical integration is very large. Therefore, inside VI. CONCLUSION this interval of parameters for the particular trajectories it is hard to say whether the chaotic behavior is a long-hidden transient process, or a hidden sustained In this work, the complex Lorenz system, describing attractor. Note also that, if we consider parameters baroclinic instability in the atmosphere either the physics 8 r1 = 23.5, σ = 10, r2 = e = 0.001, b = 3 with the same of detuned lasers, is considered. Analytical and numeri- initial points and use ode45− procedure with relative tol- cal results demonstrate that the complex Lorenz system’s 6 erance 10− , for all these initial points the chaotic tran- dynamics is very rich, and, in comparison with the real sient behavior will last over a time interval of more than Lorenz system, the loss of global stability may be con- [0, 107], and corresponding transient chaotic sets won’t nected with appearance of signiﬁcantly diﬀerent dynam- collapse. To conclude this numerical study of transient ical regimes. As for the Lorenz system, for the complex chaotic behavior, we may suggest to specify precisely nu- Lorenz system, on the one hand, it is demonstrated the merical solver, its parameters, initial data and time in- possibility of using the apparatus of Lyapunov functions terval, along which the transient behavior continues. to estimate the boundary of global stability. On the other hand, it is shown that this problem is connected Further in Appendices A-E, we study in detail the visu- with the localization of sustained hidden chaotic attrac- alization of hidden transient chaotic sets in the complex tors and their distinguishing from the hidden long-term Lorenz system in the form (8). We consider the ”laser transient chaotic sets. An attempt to study the prob- case”, i.e., e = r , when system (8) has the equilibrium lem of existence of sustained hidden chaotic attractor in − 2 S0 and a circle of equilibria Sθ. Two special techniques, the complex Lorenz system is made in the framework of i.e. numerical continuation method (NCM) and perpet- a special analytical transformation, tacking into account ual points method, are utilized to visualize hidden sets. the symmetry of the model. 11

(a) Initial data near the equilibrium S0 (b) Initial data near an equilibrium Sθ

0 0 (c) Initial data near the equilibrium S0 (d) Initial data near the equilibrium S1

Figure 9: (a), (b) Numerical visualization of the self-excited local chaotic attractor in system (8) with r1 = 24.6, σ = 10, b = 8 , r = e = 0.001 by a trajectory starting in the vicinity of the unstable equilibrium S . This attractor 3 2 − 0 coexists with the stable set of equilibria Sθ; (c), (d) The corresponding images in the projective space . P

ACKNOWLEDGEMENT

This work is supported by the joint Grant from the De- partment of Science & Technology (DST, India) and the Russian Science Foundation (RSF, Russia) project 19-41- 02002 (sects. I-IV) and by the General Administration of Missions (Ministry of Higher Education of Egypt).

[1] N. Kuznetsov, T. Mokaev, O. Kuznetsova, Stuttgart-Leipzig, 1992. E. Kudryashova, The Lorenz system: hidden [5] V. Yakubovich, G. Leonov, A. Gelig, Stability of Station- boundary of practical stability and the Lyapunov ary Sets in Control Systems with Discontinuous Non- dimension, Nonlinear Dynamics 102 (2020) 713–732. linearities, World Scientiﬁc, Singapure, 2004, [Transl doi:10.1007/s11071-020-05856-4. from Russian: A.Kh. Gelig and G.A. Leonov and V.A. [2] M. Vidyasagar, Nonlinear Systems Analysis, Prentice- Yakubovich, Nauka, 1978]. Hall, 1978. [6] E. Barbashin, N. Krasovsky, On the stability of a motion [3] W. Haddad, V. Chellaboina, Nonlinear Dynamical Sys- in the large, Dokl. Akad. Nauk SSSR (In Russian) 86 (3) tems and Control: A Lyapunov-Based Approach, Prince- (1952) 453–456. ton University Press, 2011. [7] J. LaSalle, Some extensions of Liapunov’s second [4] G. Leonov, V. Reitmann, V. Smirnova, Nonlocal Meth- method, IRE Transactions on circuit theory 7 (4) (1960) ods for Pendulum-like Feedback Systems, Teubner, 520–527. 12

[8] G. Leonov, D. Ponomarenko, V. Smirnova, Frequency- [24] E. Lorenz, Deterministic nonperiodic flow, J. Atmos. Sci. Domain Methods for Nonlinear Analysis. Theory and Ap- 20 (2) (1963) 130–141. plications, World Scientific, Singapore, 1996. [25] G. Leonov, V. Boichenko, Lyapunov’s direct method in [9] N. Kuznetsov, M. Lobachev, M. Yuldashev, R. Yulda- the estimation of the Hausdorff dimension of attractors, shev, E. Kudryashova, O. Kuznetsova, E. Rosenwasser, Acta Applicandae Mathematicae 26 (1) (1992) 1–60. S. Abramovich, The birth of the global stability theory [26] G. Leonov, Lyapunov functions in the global analysis of and the theory of hidden oscillations, in: 2020 Euro- chaotic systems, Ukr. Mat. Journal 70 (1) (2018) 40–62, pean Control Conference Proceedings, 2020, pp. 769–774. (in Russian). doi:10.23919/ECC51009.2020.9143726. [27] C. Sparrow, The Lorenz Equations: Bifurcations, Chaos, [10] J. LaSalle, S. Lefschetz, Stability by Liapunov’s direct and Strange Attractors, Applied Mathematical Sciences, method: with applications, Academic Press, New-York- Springer New York, 1982. London, 1961. [28] Q. Yuan, F.-Y. Yang, L. Wang, A note on hidden tran- [11] V. Lakshmikantham, S. Leela, A. Martynyuk, Practical sient chaos in the Lorenz system, International Journal stability of nonlinear systems, World Scientific, 1990. of Nonlinear Sciences and Numerical Simulation 18 (5) [12] V. Afraımovic, V. Bykov, L. Silnikov, On the origin and (2017) 427–434. structure of the Lorenz attractor 234 (2) (1977) 336–339. [29] B. Munmuangsaen, B. Srisuchinwong, A hidden chaotic [13] D. Auerbach, P. Cvitanović, J.-P. Eckmann, G. Gu- attractor in the classical Lorenz system, Chaos, Solitons naratne, I. Procaccia, Exploring chaotic motion through & Fractals 107 (2018) 61 – 66. periodic orbits, Physical Review Letters 58 (23) (1987) [30] C. Grebogi, E. Ott, J. Yorke, Fractal basin boundaries, 2387. long-lived chaotic transients, and unstable-unstable pair [14] P. Cvitanović, Periodic orbits as the skeleton of classical bifurcation, Physical Review Letters 50 (13) (1983) 935– and quantum chaos, Physica D: Nonlinear Phenomena 938. 51 (1-3) (1991) 138–151. [31] Y. Lai, T. Tel, Transient Chaos: Complex Dynamics on [15] L. P. Shilnikov, A. L. Shilnikov, D. V. Turaev, L. Chua, Finite Time Scales, Springer, New York, 2011. Methods of Qualitative Theory in Nonlinear Dynamics: [32] M.-F. Danca, N. Kuznetsov, Hidden chaotic sets in Part 2, World Scientific, 2001. a Hopfield neural system, Chaos, Solitons & Fractals [16] G. Leonov, Shilnikov chaos in Lorenz-like systems, Inter- 103 (2017) 144–150. doi:https://doi.org/10.1016/ national Journal of Bifurcation and Chaos 23 (03), art. j.chaos.2017.06.002. num. 1350058. doi:10.1142/S0218127413500582. [33] G. Chen, N. Kuznetsov, G. Leonov, T. Mokaev, Hidden [17] G. Leonov, N. Kuznetsov, T. Mokaev, Homoclinic or- attractors on one path: Glukhovsky-Dolzhansky, Lorenz, bits, and self-excited and hidden attractors in a Lorenz- and Rabinovich systems, International Journal of Bifur- like system describing convective fluid motion, The Eu- cation and Chaos in Applied Sciences and Engineering ropean Physical Journal Special Topics 224 (8) (2015) 27 (8), art. num. 1750115. 1421–1458. doi:10.1140/epjst/e2015-02470-3. [34] J. Gibbon, M. McGuinness, The real and complex Lorenz [18] G. Leonov, R. Mokaev, N. Kuznetsov, T. Mokaev, equations in rotating fluids and lasers, Physica D: Non- Homoclinic bifurcations and chaos in the Fish- linear Phenomena 5 (1) (1982) 108–122. ing principle for the Lorenz-like systems, In- [35] A. Fowler, J. Gibbon, M. McGuinness, The complex ternational Journal of Bifurcation and Chaos Lorenz equations, Physica D: Nonlinear Phenomena 4 (2) 30, (https://doi.org/S0218127420501205). doi: (1982) 139–163. S0218127420501205. [36] A. Fowler, J. Gibbon, M. McGuinness, The real and com- [19] N. Levinson, Transformation theory of non-linear differ- plex Lorenz equations and their relevance to physical sys- ential equations of the second order, Annals of Mathe- tems, Physica D: Nonlinear Phenomena 7 (1-3) (1983) matics (1944) 723–737. 126–134. [20] G. Leonov, N. Kuznetsov, V. Vagaitsev, Localization of [37] C. Ning, H. Haken, Detuned lasers and the complex hidden Chua’s attractors, Physics Letters A 375 (23) Lorenz equations: subcritical and supercritical hopf bi- (2011) 2230–2233. doi:10.1016/j.physleta.2011.04.037. furcations, Physical Review A 41 (7) (1990) 3826. [21] G. Leonov, N. Kuznetsov, Hidden attractors in dy- [38] Y. I. Neimark, P. S. Landa, Stochastic and Chaotic Os- namical systems. From hidden oscillations in Hilbert- cillations, Kluwer Academic Publishers, Dordrecht, The Kolmogorov, Aizerman, and Kalman problems to hid- Netherlands, 1992. den chaotic attractors in Chua circuits, International [39] A. Rauh, L. Hannibal, N. Abraham, Global stability Journal of Bifurcation and Chaos in Applied Sciences properties of the complex Lorenz model, Physica D: Non- and Engineering 23 (1), art. no. 1330002. doi:10.1142/ linear Phenomena 99 (1) (1996) 45–58. S0218127413300024. [40] G. Leonov, V. Reitmann, Attraktoreingrenzung fur [22] N. Kuznetsov, Hidden attractors in fundamental prob- nichtlineare Systeme (in German), Teubner, 1987. lems and engineering models. A short survey, Lec- [41] I. D. Chueshov, Introduction to the Theory of Infinite- ture Notes in Electrical Engineering 371 (2016) 13– Dimensional Dissipative Systems, ACTA Scientific Pub- 25, (Plenary lecture at International Conference on Ad- lishing House, Kharkov, 2002. vanced Engineering Theory and Applications 2015). doi: [42] G. Leonov, On estimations of Hausdorff dimension of at- 10.1007/978-3-319-27247-4\ 2. tractors, Vestnik St. Petersburg University: Mathemat- [23] N. Kuznetsov, Theory of hidden oscillations and stabil- ics 24 (3) (1991) 38–41, [Transl. from Russian: Vestnik ity of control systems, Journal of Computer and Sys- Leningradskogo Universiteta. Mathematika, 24(3), 1991, tems Sciences International 59 (5) (2020) 647–668. doi: pp. 41-44]. 10.1134/S1064230720050093. [43] N. Kuznetsov, T. Alexeeva, G. Leonov, Invariance of Lya- punov exponents and Lyapunov dimension for regular 13

and irregular linearizations, Nonlinear Dynamics 85 (1) (2016) 195–201. doi:10.1007/s11071-016-2678-4. [44] N. Kuznetsov, The Lyapunov dimension and its estimation via the Leonov method, Physics Letters A 380 (25- 26). doi:10.1016/j.physleta.2016.04.036. [45] G. Leonov, Lyapunov functions in the global analysis of chaotic systems, Ukrainian Mathematical Journal 70 (1) (2018) 42–66. doi:10.1007/s11253-018-1487-y. [46] E. Siminos, P. Cvitanović,Continuous symmetry reduction and return maps for high-dimensional flows, Physica D: Nonlinear Phenomena 240 (2) (2011) 187–198. [47] S. Froehlich, P. Cvitanović,Reduction of continuous sym- metries of chaotic flows by the method of slices, Commu- nications in Nonlinear Science and Numerical Simulation 17 (5) (2012) 2074–2084. [48] A. Vladimirov, V. Toronov, V. Derbov, On the complex Lorenz equations, in: Proceedings of SPIE-The Interna- tional Society for Optical Engineering, 1997, pp. 97–106. [49] A. Vladimirov, V. Toronov, V. Derbov, The complex Lorenz model: Geometric structure, homoclinic bifurcation and one-dimensional map, International Journal of Bifurcation and Chaos 8 (04) (1998) 723–729. [50] A. Vladimirov, V. Toronov, V. Derbov, Properties of the phase space and bifurcations in the complex Lorenz model, Technical Physics 43 (8) (1998) 877–884. [51] S. Kobayashi, K. Nomizu, Foundations of differential geometry, Vol. 1,2, New York, London, 1963. [52] N. Kuznetsov, G. Leonov, T. Mokaev, A. Prasad, M. Shrimali, Finite-time Lyapunov dimension and hidden attractor of the Rabinovich system, Nonlinear Dy- namics 92 (2) (2018) 267–285. doi:10.1007/s11071- 018-4054-z. [53] G. Leonov, N. Kuznetsov, T. Mokaev, Hidden attractor and homoclinic orbit in Lorenz-like system describing convective fluid motion in rotating cavity, Communica- tions in Nonlinear Science and Numerical Simulation 28 (2015) 166–174. doi:10.1016/j.cnsns.2015.04.007. [54] A. Prasad, Existence of perpetual points in nonlinear dynamical systems and its applications, International Jour- nal of Bifurcation and Chaos 25 (2), art. num. 1530005. [55] D. Dudkowski, S. Jafari, T. Kapitaniak, N. Kuznetsov, G. Leonov, A. Prasad, Hidden attractors in dynamical systems, Physics Reports 637 (2016) 1–50. doi:10.1016/ j.physrep.2016.05.002. [56] A. Prasad, A note on topological conjugacy for perpetual points, International Journal of Nonlinear Science 21 (1) (2016) 60–64. 14

Appendix A: Localization via numerical continuation method 16

14 2 P (r ,σ*) P (r1,σ*) One of the eﬀective methods for numerical localiza- 2 1 1 1 12 tion of hidden attractors in multidimensional dynamical systems is based on the homotopy and numerical con- 10 tinuation method (NCM). It is based on the assumption

σ 8 that the position of the attractor changes continuously with the parameters changing. The idea is to construct a 6 P (r0,σ*) sequence of similar systems such that for the first (start- 0 1 ing) system, the initial point for numerical computation 4 of oscillating solution (starting attractor) can be obtained 2 analytically. For example, it is often possible to consider 0 the starting system with a self-excited starting attrac- 23 23.5 24 24.5 25 25.5 26 tor; then, the transformation of this starting attractor in r the phase space is tracked numerically while passing from 1 one system to another; the last system corresponds to the 0 1 2 Figure 10: Path P (r , σ∗) P (r , σ∗) P (r , σ∗), system in which a hidden attractor is searched [1, 52, 53]. 0 1 → 1 1 → 2 1 in parameters plane (r1, σ) for the localization of hidden In our experiment, we fix parameters σ, r2, e, b, define parameters r = 26.1 ε and σ = σ = 10. For chaotic set in system (29) with r2 = 0.001, e = 0.001, 1 ∗ b = 8 . Here r0 = 25.4, r1 = 24.7, r2 = 24, σ = σ−= 10; r = 0.001, e = 0.001, b−= 8/3, ε = 0.7, we obtain 3 1 1 1 ∗ 2 0 0 − 0 ( ) P (r , σ∗) : self-excited attractor w.r.t. S0 ; r1 = r = 25.4 and take P0(r , σ∗) as the initial point of 0 1 0,1 1 1 • 1 line segment on the plane (r1, σ). The eigenvalues of the ( ) P1(r1, σ∗) : self-excited attractor w.r.t. S0 ; • 2 Jacobian matrix at the equilibria S , S of system (29) ( ) P2(r1, σ∗) : hidden chaotic set. 0 10 • for these parameters are the following:

S0 : 2.00002, 0.1707, 0.7042, 0.7042, equilibria of the system (8). In this case, we can also vi- − − − S0 : 0.0013 0.6238i, 0.8775, 0.7042. sualize a hidden chaotic set in the system (8). To verify 1 ± − − that the set in Fig. 13b is hidden, around equilibrium S0, Consider on the plane (r1, σ) a line segment, intersect- we choose a small spherical vicinity of radius δ = 0.2 and ing a boundary of stability domain of the equilibria Sθ take N random initial points on it (in our experiment, 2 2 0 with the final point P2(r , σ∗), where r = r 2ε = 24, N = 100 as in Fig. 14b). Using MATLAB, we inte- 1 1 1 − i.e. the equilibrium Sθ changes from saddle point to sta- grate system (8) with these initial points to explore the ble focus-node obtained trajectories. We repeat this procedure several times in order to get different initial points for trajecto- S0 : 2.00003, 0.1758, 0.7253, 0.7253 0 − − − ries on the sphere. We get the following results: all the S0 : 0.0015 0.6257i, 0.8982, 0.7253. 1 − ± − − obtained trajectories tend to the torus and do not tend to the chaotic set (see Fig. 14a), this torus is closer5 to the The initial point P (r0, σ ) corresponds to the param- 0 1 ∗ set of equilibria S (see Fig. 13a). This gives us a reason eters for which in the system (29), there exists a self- θ to classify the chaotic set, obtained in the system (8), as excited attractor. Then for the considered line segment, the hidden one (see Fig. 13b). a sufficiently small partition step is chosen. At each iteration step of the procedure, an attractor in the phase space of the system (29) is computed. The last computed point at each step is used as the initial point for the 5 The distance between the torus and the equilibria Sθ can be computation at the next step. In this experiment, we use estimated by considering the last point on torus and plane, which 0 1 5 NCM with 3 steps on the path P0(r1, σ∗) P1(r1, σ∗) contains the set of equilibria Sθ. If we consider in R the point 2 1 1 0 2 → → ∗ ∗ ∗ ∗ ∗ P2(r1, σ∗), with r1 = 2 (r1 + r1) (see Fig. 10). At the P (x1, x2, x3, x4, x5) and the plane A(x1 − x01) + B(x2 − x02) + first step, we have a self-excited attractor with respect C(x3 − x03) + D(x4 − x04) + E(x5 − x05) = 0, then the distance from the point P to the plane is: to unstable equilibria S0 and Sθ; at the second step, the ∗ ∗ ∗ ∗ ∗ equilibria Sθ become stable, but the attractor remains d = |Ax1√+Bx2 +Cx3 +Dx4 +Ex5 +F | . A2+B2+C2+D2+E2 self-excited with respect to equilibrium S0; at the third 5 step, it is possible to visualize a hidden chaotic set of To determine the equation of a plane in R one can con- system (29) (see Fig. 11). In Fig. 12 visualizations of the sider five points, which do not lie on the same straight line. hidden chaotic set in both initial space and projective The normal vector to a plane can be obtained by taking the H cross product of four vectors on this plane. In our case equa- space are depicted. tion of the plane which contains the set of equilibria S is: P 8 θ For σ = 10, r = 24, r = 0.002, e = 0.001, b = , x − 23 = 0. From Fig. 13a the last point on the torus is 1 2 − 3 5 here the parameter r2 is slightly different from that in P (−2.5011, 7.6357, −2.5958, 7.9228, 22.8110), then the distance the above case and e = r . Therefore S is the only from this point to the plane x5 − 23 = 0 is: d = 0.1890. 6 − 2 0 15

Step 1: r1 = 25.4, self-exc. attractor Step 2: r1 = 24.7, self-exc. attractor Step 3: r1 = 24, hidden chaotic set 1 2 3 se w. r. t equilibrium S' 0 , S' 1 se w. r. t. equilibrium S' 0 hid, separates of S' 0 , S' 1

8 Figure 11: Localization, by NCM, of hidden chaotic set in system (29) with (σ, r1, r2, e, b) = (10, 24, 0.001, 0.001, 3 ). i 3 − Trajectories u (t) = (x1, x2, x3, x4, x5) (blue and green) are defined on the time interval [0,T = 10 ], and initial point i+1 i i i (gray) on (i + 1)-th iteration is defined as u0 := uT (violet arrows), where uT = u (T ) is a final point (orange). 16

(a) Initial space (b) Projective space P H Figure 12: Localization of hidden chaotic set in system (8) and the corresponding image in system (29) for (σ, r , r , e, b) = (10, 24, 0.001, 0.001, 8/3). 1 2 −

(a) (b)

Figure 13: (a) A trajectory that attracts to a torus (blue) in the time interval [0, 7000], which closer to the equilibria Sθ (magenta) (b) Visualization of a hidden chaotic set in system (8) with time interval [0, 100], (σ, r , r , e, b) = (10, 24, 0.002, 0.001, 8 ) and the initial point is (5, 5, 5, 5, 5). 1 2 − 3 17

(a) (b)

Figure 14: (a) Visualization of trajectories that tend to the torus in the time interval [0, 7000], with starting points from a spherical of random points in a vicinity of S0; (b) Magniﬁcation of the area around S0 to show the spherical of random points and the considered 100 trajectories that tend to the torus. 18

Appendix B: Localization using perpetual points where Ω is a constant that represent the size of the vicinity and should be small, α, β are real and imaginary Consider system (8) as an autonomous diﬀerential parts of the eigenvalues respectively, δ is an auxiliary an- equation of general form: gle, η = Re v1 and µ = Im v1. Initial points of unstable manifolds of S0 can be obtained by putting t = 0 in u˙ = f(u), (B1) Eq. (C1) as

5 u(0) = Ω[η sin(δ) + µ cos(δ)], (C2) where u = (x1, x2, x3, x4, x5) R represents the right- ∈ hand side of system (8). In Fig. 15 we plotted local stable, unstable manifolds of The equilibrium points of a dynamical system are the S0 and random initial points on local 2-D unstable man- ones at which the velocity and acceleration of the system ifolds of S0. Fig. 16 shows unstable manifolds with ran- simultaneously become zero. In this subsection, we state dom initial points from local 2-D unstable manifolds of S0 that there are points, termed as perpetual points [54], (in our experiment, we choose 100 random points for the which may help to visualize hidden attractors. angle δ inside interval (0, 2π) and fix the size of vicinity as For system (B1), the equilibrium points uep are defined Ω = 0.5. We repeat this procedure several times in order by the equationu ˙ = f(uep) = 0. Consider a derivative of to get different initial points). From Fig. 16 one can see system (B1) with respect to time: that, these unstable manifolds form by their scrolling a tube around the circle of equilibria Sθ. This experiment u¨ = J(u)f(u) = g(u), (B2) confirms that all trajectories which start from a vicinity 5 of the unstable equilibria S0 go to the circle of equilibria where J(u) = ∂fi(u) is the Jacobian matrix. Here, ∂uj i,j=1 Sθ, and this means that the green set in Fig. 12a is not g(u) may be termed as an acceleration vector. Sys- self-excited. We can do the same experiment in the case tem (B2) shows the variation of acceleration in the phase of the torus as in Fig 13b. In Fig. 17 we plotted trajec- space. Similar to the equilibrium points estimation, tories with random initial points on local 2-D unstable where we set the velocity vector to zero, we can also get manifolds of S0, which tend to the torus. So the green a set of points, whereu ¨ = g(upp) = 0 in (B2), i.e. the set in Fig 13b is not self-excited. In order to demon- points corresponding to the zero acceleration. At these strate separation between basins of attraction of Sθ and points, the velocityu ˙ may be either zero or nonzero. This the green set (as in Fig. 12a) which is located between set includes the equilibrium points uep with zero veloc- the blue tube that is formed by scrolling of these trajecto- ity as well as a subset of points with nonzero velocity. ries and the domain which is defined by separatricies. We These nonzero velocity points upp are termed as perpet- need not only to separate basin of attraction of this green ual points [54–56]. set from these blue manifolds, but also from trajectory going from infinity to S0 which can be derived analyti- Remark 4. The analytical formula of the perpetual cally by formula u(t) = (0, 0, 0, 0, z0 exp( bt)), z0 R. points of system (8) can not be derived, meanwhile the Because of the system (8) is 5-dimensional− it is difficult∈ numerical solution of the algebraic system u¨ = g(upp) = 0 to show such separation, so we can say that the green set is x1 = x2 = x3 = x4 = x5 = 0, which coincide with the it is possible to be an attractor. equilibrium S0, so system (8) has no perpetual points. For system (29), which structure seems simpler than the original system (8), x10 = x20 = x30 = x40 = x50 = 0 is the Appendix D: Numerical verification of basins of only solution of the system u¨ = g(upp) = 0, thus, there attraction around the set of equilibria are also no nonzero velocity points upp. In order to numerically verify the attractiveness of the chaotic set the following numerical experiment can Appendix C: Numerical verification of basins of be used. In this experiment, we consider initial points attraction near the zero equilibrium point on the various line segments in the vicinity around the set of equilibria Sθ in Figs. 12a and 13b (see Fig. 18). For the system (8) the eigenvalues at S are: 10.6323 From Fig. 18 we can conclude the following: around the 0 ± 0.0003i, 21.6323 0.0007i, 2.6667. So the equilib- equilibria Sθ there is a vicinity such that trajectories − ± − ria S0 has 2-dimensional unstable manifold. For the starting from this vicinity approach equilibria Sθ and fist two eigenvalues λ1,2 = 10.6323 0.0003i with outside it approach attractor. For Fig. 13b the vertical positive real part, the corresponding eigenvectors± are: and horizontal diagonals are considered with radius 2.5 v1 = ( 0.3084, 0.3084i, 0.6363, 0.6363i, 0) and v2 = and 2 respectively and partition step 0.01. And for ( 0.3084− , 0.3084−i, 0.6363−, 0.6363i,−0) respectively. In the others line segments as in Figs. 18b and 18c we the− case of complex− eigenvalues we can use the follow- used the same partition step. In Fig. 19 we plotted ing formula to plot trajectories in a vicinity of S0 two trajectories with initial points from blue and red parts of vertical diagonal. The same procedure can be u(t) = Ω eαt[η sin(βt + δ) + µ cos(βt + δ)], (C1) used for Fig. 12a with vertical and horizontal diagonals 19

Figure 15: Visualization of local stable, unstable Figure 17: Visualization of trajectories in the time manifolds of S0 and random initial points on local 2-D interval [0, 7000] with in system (8) with σ = 10, unstable manifolds of S . (Red) local 2-D unstable r = 24, r = 0.002, e = 0.001, b = 8 and 100 random 0 1 2 − 3 manifold corresponding to λ1,2 = 10.6323 0.0003i, initial points in a vicinity of S0 tending to the torus. (Green) local 2-D stable submanifold corresponding± to λ , = 21.6323 0.0007i. 3 4 ±

Appendix E: Attempts to prove the attractiveness of the transient set

To demonstrate strictly the attractiveness of the green sets as in Figs. 12a and 13b, another technique can be utilized. The idea of this technique is based on the fact that the complex Lorenz system (4) has a projective space, in which the states diﬀering only by a common phase of variables X and Y are considered to be equivalent (see SectionIII). Now, it is important to mention the following properties of the projective system (29)[48, 49]: (i) All physical information and dynamics in the phase space of the system (4) can be derived from the equations Figure 16: Visualization of unstable manifolds in of motion (29) in the projective space. 8 (ii) The projective system (29) has a 1-dimensional un- system (8) with σ = 10, r1 = 24, r2 = e = 0.001, b = 3 and 100 random initial points in a vicinity− of S , that stable manifold and 3-dimensional stable manifold. 0 Note that the projective system (29) has the following tend to the circle of equilibria Sθ. two equilibria: S0 = (0, 0, 0, 0) and S10 = (ξ10 , υ10 , w10 ,Z10 ), where

β(µ2+κ2)(µ2 κ2) βυ(µ2+κ2) µ2+κ2 have radius 3 and 2.5 respectively and partition step ξ10 = 2µ4(β%+1)− , υ10 =0, w10 = µ3(β%+1) ,Z10 = µ2(β%+1) . 0.01 on all considered line segments. Fig. 20 shows two trajectories with starting points from blue and red parts The equilibria S0 and S10 in the projective space represent of vertical diagonal. In addition, another procedure the projections of the equilibria S0 and Sθ of the system can be used to verify that the green set in Fig. 12a not (8) respectively. For the torus as in Fig. 13a its projection fall on the circle of equilibria Sθ. Around one scroll of in the projective space is a limit cycle Γ. trajectory of an unstable manifold from its outer sides Because of the projectionP system (29) has a 1- we consider line segments with length 5 and partition dimensional unstable manifold and the projective map- step 0.01 as in Fig. 21a. In Fig. 21b we plotted a ping (27) preserves the ”chaoticity” of attractors. So, it trajectory with starting point from the upper outer line is reasonable to use the projection system (29) to iden- segment. tify whether the chaotic sets in Figs. 12a and 13b are 20

5 5 5

4 4 4

3 3 3

2 2 2

1 1 1

0 0 0

-1 -1 -1

-2 -2 -2

-3 -3 -3

-4 -4 -4

-5 -5 -5 -5 -4 -3 -2 -1 0 1 2 3 4 5 -5 -4 -3 -2 -1 0 1 2 3 4 5 -5 -4 -3 -2 -1 0 1 2 3 4 5

(a) The starting trajectories from all points lie on (b) The starting trajectories from all points lie on (c) The starting trajectories from all points lie on blue parts and red parts of these diagonals these blue line segments approach attractor these red line segments approach equilibria approach attractor and equilibria respectively

Figure 18: Visualization of the white region around the set of equilibria Sθ in Figs. 13 and 12a and the considered line segments.

(a) (b)

Figure 19: Visualization of two trajectories with initial points from blue and red parts of vertical diagonal in the white gape of Fig. 13.

15 5 x 10

5 S 0 θ -10 S 0 0

-5 -10 10 0 x 10 5 3 x 2 (a) (b)

Figure 20: Visualization of two trajectories with initial points from blue and red parts of vertical diagonal in the white gape of Fig.12a. attractors or transient chaotic sets. For the parameters σ = 10, r = 24, r = 0.001, e = 0.001, b = 8 (see 1 2 − 3 21

0 -20 -15 -10 -5 0 5 10 15 20

(a) (b)

Figure 21: (a) Visualization of line segments around the unstable manifold in Fig. 13, starting trajectories from all points on these line segments approach attractor; (b) Localization of a trajectory with initial point on the upper outer line segment.

Fig. 12a), around the equilibria S0 we choose a small go in one direction and approach S10 . We did the same spherical vicinity of radius 0.002 and consider 100 ran- experiment for the case of the torus and got the same dom initial points on it. From Fig. 22 one can observe conclusion (see Fig. 23). the following: all the considered unstable manifolds of S0 22

(a) (b)

Figure 22: (a) Localization of the chaotic set (green) in the projective space and 100 unstable manifolds with 8 starting points from a spherical of random points in a vicinity of S0 , with (σ, r , r , e, b) = (10, 24, 0.001, 0.001, ); 0 1 2 − 3 (b) Magniﬁcation of the area around S0 to show the sphere of random initial points and the corresponding 100 trajectories tending to S10 .

(a) (b)

Figure 23: (a) Localization of the chaotic set (green) in the projective space and 100 unstable manifolds with 8 starting points from a spherical of random points in a vicinity of S0 ,(σ, r , r , e, b) = (10, 24, 0.002, 0.001, ); 0 1 2 − 3 (b) Magniﬁcation of the area around S0 to show the spherical of random points and the considered 100 trajectories tending to the limit cycle Γ.