Abstract
After the discovery in early 1960s by E. Lorenz and Y. Ueda of the first example of a chaotic attractor in numerical simulation of a real physical process, a new scientific direction of analysis of chaotic behavior in dynamical systems arose. Despite the key role of this first discovery, later on a number of works have appeared supposing that chaotic attractors of the considered dynamical models are rather artificial, computerinduced objects, i.e., they are generated not due to the physical nature of the process, but only by errors arising from the application of approximate numerical methods and finiteprecision computations. Further justification for the possibility of a real existence of chaos in the study of a physical system developed in two directions. Within the first direction, effective analyticnumerical methods were invented providing the socalled computerassisted proof of the existence of a chaotic attractor. In the framework of the second direction, attempts were made to detect chaotic behavior directly in a physical experiment, by designing a proper experimental setup. The first remarkable result in this direction is the experiment of L. Chua, in which he designed a simple RLC circuit (Chua circuit) containing a nonlinear element (Chua diode), and managed to demonstrate the real evidence of chaotic behavior in this circuit on the screen of oscilloscope. The mathematical model of the Chua circuit (further, Chua system) is also known to be the first example of a system in which the existence of a chaotic hidden attractor was discovered and the bifurcation scenario of its birth was described. Despite the nontriviality of this discovery and cogency of the procedure for hidden attractor localization, the question of detecting this type of attractor in a physical experiment remained open. This article aims to give an exhaustive answer to this question, demonstrating both a detailed formulation of a radiophysical experiment on the localization of a hidden attractor in the Chua circuit, as well as a thorough description of the relationship between a physical experiment, mathematical modeling, and computer simulation.
1 Introduction
The Chua circuit is one of the reference models of nonlinear dynamics [1, 2]. This model was developed by Leon Chua as the first example of a radiophysical generator where dynamical chaos can be observed in a physical experiment [3]. One of the design goals of this generator was to verify, whether chaotic dynamics exists in reality, or it is the result of computational errors in numerical modeling. In a physical experiment, where the electronic circuit starts with zero initial conditions (initial voltages across the capacitors and the current through the coil), corresponding to the zero equilibrium state, only selfexcited attractors could be observed with instability of the zero equilibrium state. Hundreds of such different selfexcited attractors have been found in the Chua circuit [4]. Thus, the conjectures were put forward that only selfexcited chaotic attractors can exist in the circuit [2] (see also discussions in [5, 6]).
In 2009, as a farther development of effective analyticalnumerical methods for the study of oscillations [7], the idea of constructing a hidden chaotic Chua attractor was first proposed by Nikolay Kuznetsov [6, 8,9,10] and, in 2011, the first hidden chaotic attractor in the classical Chua circuit [11,12,13] was discovered. This hidden attractor has a very “thin” basin of attraction, which is not connected with equilibria, and coexists with a stable zero equilibrium, thus being “hidden” for a while for standard physics experiments and mathematical modeling of the circuit with random initial data. In recent years, the discovery of hidden Chua attractors led to the emergence of the theory of hidden oscillations [6, 14, 15], which represents the genesis of the modern era of Andronov’s theory of oscillations and has attracted attention from the world’s scientific community (see, e.g., [16] and references within).^{Footnote 1}
In this work, using the Chua circuit as an example, we demonstrate the features of circuit simulation and the possibility of observing hidden attractors in a radiophysical experiment, and also compare the results obtained with mathematical modeling. For this, a special electronic circuit has been developed, which complements the Chua circuit, allowing to adjust the initial conditions. To analyze the dynamics of the Chua circuit, we consider the following models: a model at the radiophysical level (radiophysical implementation and block diagram of the Chua circuit), a model at the level of radiophysical mathematical relations (radiophysical mathematical model of the Chua circuit) and the classical (idealized) mathematical model of the Chua circuit in the phase space of dimensionless variables.
The work is structured as follows. In Sect. 2, we present the Chua circuit diagram, its derivation, and the relations between the schematic and mathematical models. We pay special attention to the definition and role of the initial conditions in the schematic model. In Sect. 3, we present the results of numerical modeling of a mathematical model for two different configurations of the structure of the phase space with hidden attractors and also consider the current–voltage characteristic (further on, I–V curve) of the model to determine the possibility of realizing such parameters in a physical experiment. Then we carry out a bifurcation analysis of the mathematical model depending on the parameters characterizing the I–V curve, determine the regions and characteristic I–V curve for the existence of hidden attractors and also describe the bifurcation scenarios of the birth of hidden attractors and their transformation into selfexcited ones. In Sect. 4, we present the results of an experiment in which the initial conditions are changed, which allow us to visualize hidden attractors in practice. In Sect. 5, using the harmonic balance method, the initial conditions for the visualization of hidden attractors are analytically determined and the results of numerical and physical experiments are compared.
2 Schematic diagram and mathematical model of the Chua circuit
The Chua circuit (see Fig. 1a) was proposed in 1983 by Leon Chua [1, 17] as the simplest electrical circuit that demonstrates the regimes of chaotic oscillations.
The circuit consists of an inductor L, capacitors C1 and C2, a linear resistor R, and a nonlinear element with negative conductivity \(G\), commonly called the Chua diode.
To describe and analyze the dynamics in physical processes various mathematical models and their properties can be used. The dynamics obeys physical laws, which in our case can be described by a mathematical model in the form of ODEs \(\dot{u} = \frac{\textrm{d}u}{\textrm{d}t} = g(u,p)\), where u is the vector of system states, p is the vector of parameters, and t is the time (from zero to infinity). This model may have equilibria \(u_{\textrm{e}}(p)\) : \(g(u_{\textrm{e}}(p),p)=0\), or one can always supplement the model by additional variable \(v = t\) and equation \(\dot{v}=1\), so the new model has no equilibria. Following this way for the Chua circuit in Fig. 1 we derive corresponding mathematical model from Kirchhoff’s laws:
where \(I_{C1} = C1 \,\dot{U_1}\), \(I_{C2} = C2 \,\dot{U_2}\), \(I_R = (U_1  U_2)/R\), \(I_G =  G(U_1) \, U_1\). In a real physical experiment, one should take into account the parasitic resistance of the inductor L, which physically corresponds to the resistor \(R_L\) connected in series to the inductor (Fig. 1b). The voltage of such a resistor is \(U_{R_{L}} = R_L I_L\), which is added to \(U_L\). The current flowing through the inductor is described by the following relationship: \(U_L = L \dot{I_L}\). Taking into account all the presented relations, we obtain the following system of equations describing the circuit in Fig. 1b:
For \(R_L = 0\), system (2) describes the circuit without taking into account the parasitic resistance of the inductor L (see Fig. 1a).
The Chua diode is an element with a piecewise linear I–V curve \(I_G (U_1)\) having 3 segments with a negative slope. Such an element can be implemented in various ways. The classical one is the configuration of two operational amplifiers (opamps), which was used in the first implementation [18] of the original circuit designed by Chua in [19, see Fig. P4.12]. Other realizations with opamps as well as semiconductor diodes and transistors [20, 21] are possible. In [22], the implementation of the Chua diode as an integrated device with adjustable I–V curve is presented. In [23, 24], one can find detailed descriptions for physical realizations of the Chua circuit via standard offtheshelf electronic components.
In this work, we compare the results of mathematical modeling and experiment and show the effects associated with the emergence of hidden attractors. For that, we consider the simplest implementation, which makes it easy to control the I–V curve. The Chua diode with an adjustable I–V curve is most easily implemented using opamps. Figure 2a shows a diagram of the Chua circuit, in which the diode (highlighted by a rectangle in the diagram) is realized using circuits based on opamps DA1.1 and DA1.2. The Chua diode contains two negative conducting elements. The first element is assembled with the opamp DA1.1 and has a negative smallsignal conductance equal to \(G_1 =  (\frac{R4 + R3}{R4}  1) / R1\), where the ratio \(K_1 = \frac{R4 + R3}{R4} > 1\) defines the gain of DA1.1. Similarly, the second element is assembled with the opamp DA1.2 and has a negative smallsignal conductance equal to \(G_2 =  (\frac{R6 + R5}{R6}  1) / R2 \), where the ratio \( K_2 = \frac{R6 + R5}{R6} > 1\) defines the gain of DA1.2. Without loss of generality, we assume that \(K_1\) is larger than \(K_2\). Thus, each of these subcircuits represents a piecewise linear element with a negative smallsignal resistance, and, in parallel, these two elements form the I–V curve of the entire Chua diode.
The principle of operation for a negative smallsignal resistance at a DC operating point implemented with an opamp can be described as follows: the input voltage is linearly amplified with the gain of the opamp; however, the smallsignal resistance of the entire circuit is negative. When the opamp’s output voltage becomes equal to the saturation voltage, the opamp switches to saturation mode and the circuit’s smallsignal resistance becomes positive. Thus, a configuration of two opamps in parallel makes it possible to implement a piecewise linear I–V curve by setting proper values of gains. In the range of input voltages \([U_{\textrm{DA1}}, U_{\textrm{DA1}}]\) both opamps DA1.1 and DA1.2 operate in amplification mode with total negative conductance \(G_1 + G_2\). When the input voltage is increased and reaches intervals \([U_ {\textrm{DA2}},U_ {\textrm{DA1}}) \bigcup (U_{\textrm{DA1}}, U_{\textrm{DA2}}]\), the opamp DA1.1 switches to the saturation mode and thus the total negative conductance is determined by the negative conductance introduced by the DA1.2 opamp circuit and the positive conductance introduced by the DA1.1 opamp circuit. The total conductivity is equal to \(1/R1 + G_2\), while the slope angles of the I–V curve are changed. With a further increase in the input voltage beyond the interval \([U_{\textrm{DA2}}, U_{\textrm{DA2}}]\), both opamps operate in the saturation mode and their total conductance becomes positive, equal to \(1/R1 + 1/R2\). Figure 2b shows the I–V curve of the Chua diode, obtained in a physical experiment; it has three linear sections. The parameters of experimental model are selected in such a way that the bounded phase trajectories (in the limit) do not reach the second break points \(U_{\textrm{DA2}}\), \(U_{\textrm{DA2}}\), since the mathematical model of the Chua circuit takes into account only the first break points \(U_{\textrm{DA1}}\), \(U_{\textrm{DA1}}\). The tilt angles of different sections of the I–V curve can be varied by changing the values of R1–R6. The breakpoints of the I–V curve determine the voltages \(U_{\textrm{DA1}}\) and \(U_{\textrm{DA2}}\) as follows:
where E is the DC supply voltage of the circuit. Thus, in general terms, the smallsignal conductance \(G(U_1)\) at the DC operating point \(U_1\) of the I–V curve of the Chua diode shown in Fig. 2a is described by the following
Introducing new dimensionless normalized dynamical variables: \(x = U_1/U_{\textrm{DA1}}\), \(y = U_2/U_{\textrm{DA1}}\), \(z =  I_L R/U_{\textrm{DA1}}\), the piecewise linear function describing the I–V curve of the Chua diode can be written as follows:
Figure 3 shows the I–V curve corresponding to function (5), which depicts all five different linear segments. For a rigorous indepth analysis of the two opamp circuits (connected in parallel) inside the rectangle in Fig. 2a, the reader is referred to Chapter 4 of [19], and [25].
After performing the following renormalization of time: \(\tau \rightarrow \frac{1}{C2 R} t\), and taking into account (19), we obtain the following system of equations in dimensionless form:
where \(\alpha = C2/C1\), \(\beta = C2 R^2/L\), \(\gamma = C2 R R_L/L\).
Multistability is a fairly common phenomenon that arises not only in radiophysical systems, but also in various abstract problems of mathematics (see, e.g., the 16th Hilbert problem [26]) and engineering problems (see, e.g., [6, 14, 27,28,29,30,31,32,33,34]). Prediction and investigation of coexisting regimes, especially if they are hidden, is a rather difficult task that is important for various engineering applications (see, e.g., phaselocked loops [35,36,37,38,39]). One of the most important questions in the study of multistable systems, especially with hidden attractors, is the choice of the initial conditions to reveal all possible limiting regimes. This problem is much easier to solve in numerical simulation; setting the initial conditions is an obligatory part for the initial value problem (IVP). However, even numerically, the search for attractors with small basins of attraction in the phase space (rare attractors) and hidden attractors may be an essentially nontrivial problem and require additional research methods [6].
In a physical experiment, it is rather difficult to control the choice of the initial conditions. If we talk about a radiophysical experiment with the Chua circuit then the initial conditions are the starting voltages on the capacitors C1 and C2, as well as the current in the inductor \(I_L\) at the moment of starting the setup. Traditionally, without additional subcircuits, the initial conditions are determined by the voltages across the capacitors and the current in the inductor at the moment the circuit is switched on and at this moment are zero. This corresponds to the situation when the circuit switched off at the moment when the power supply is turned off. Figure 4 shows a diagram of the Chua circuit, in which the switch \(K_1\) can be used to open and close the circuit. When the switch \(K_1\) is open, the capacitors are discharged; the current in the inductor is zero. Thus, when the circuit is closed, the system starts from zero initial conditions. In a real physical experiments, the closed circuit is usually triggered by supplying power E to the opamps (see Fig. 2). Usually in the literature, only closed circuit is considered (see Fig. 1, [2, 17]), which leads to the fact that the question of initial conditions for starting the circuit is ignored.
For the mathematical modeling we use the Chua circuit model in form (6), and the I–V curve of the Chua diode is considered as a piecewise linear function of the following form:
with the following expressions for the slope coefficients [according to (5)]:
In this form, the system of differential equations for the Chua circuit was first proposed and is most often used in literature. Note that piecewise linear function (7) does not fully match I–V curve (5). Function (7) does not have the second pair of symmetric break points, since the third linear segment corresponds to the saturation mode of opamps, which in a physical experiment does not allow the values of quantities corresponding to the variables of system (6) to escape to infinity. However, the main dynamics of system (6) evolves on the basis of the first break points of the I–V curve; the phase trajectories do not enter the region of the phase space \(x > \frac{U_{\textrm{DA2}}}{U_{\textrm{DA1}}}\), which leads to the fact that the mathematical model and the experimental circuit are in good agreement.
Within the framework of this paper, we reproduce in a real physical experiment the results of numerical simulation and demonstrate various bifurcations of the birth of hidden attractors in the Chua circuit.
3 Mathematical modeling of dynamical regimes and bifurcations in the Chua circuit
For the bifurcation analysis, the equilibria play an important role. If the mathematical model has a known periodic orbit (limit cycle) \(u(t,u_0)=u(t+T,u_0)\), i.e., the initial data \(u_0\) and the period T are known in advance, then it is possible to construct a mathematical model represented the discrete dynamics of the original system on the Poincaré section, which has an equilibrium state corresponding to the periodic orbit. In this regard, following [40, p. 81], [41, p. 10–11], [42, p. 58–59], for the chosen mathematical model, a local bifurcation is a qualitative restructuring of the model’s behavior in an arbitrarily small neighborhood of the equilibrium state during a process that continuously depending on a parameter when the parameter passes through the critical (bifurcation) value; the bifurcations that cannot be detected by considering an arbitrarily small neighborhood of equilibria are called global bifurcations. Also in this classification, one can separate out a class of bifurcations in small vicinity of unstable manifolds of equilibrium states (e.g., the birth of homoclinic or heteroclinic orbits and selfexcited chaotic attractors). For the analysis of local bifurcations, various analytical methods are well developed (see, e.g., [40, 42,43,44]), while the analysis of global bifurcations is often a challenging task. For example, the identification of global bifurcations associated with the birth or destruction of hidden attractors is the key task in the analysis of the boundaries of global stability regions (the case of attraction of all system’s trajectories to the stationary set consisting of the equilibrium points) in the parameter space. The parts of the global stability boundary in the space of parameters associated with global bifurcations and the birth of hidden oscillations are called hidden parts of the global stability boundary [6, 14,15,16, 45], while the loss of global stability through local bifurcations in vicinity of the stationary set corresponds to trivial parts. The difficulties of studying global bifurcations and hidden attractors can be demonstrated by Hilbert’s 16th problem [40, 41, 46]).
Chua system (6)–(7) has five control parameters \(\alpha \), \(\beta \), \(\gamma \), \(m_0\), and \(m_1\). It is shown in [5] that for fixed \(\alpha = 8.4\), \(\beta = 12\), \(\gamma = \,0.005\) on the parameter plane \((m_0, m_1)\), there are two regions corresponding to the existence of two configuration of hidden attractors.^{Footnote 2} The parameters \(\alpha \), \(\beta \) and \(\gamma \) in the Chua system are determined by the elements of the oscillatory subcircuit, while the parameters \(m_0\) and \(m_1\) are set by the I–V curve of the active nonlinear element. Thus, depending on the I–V curve of the Chua diode, hidden attractors can be realized in the system.
Model (6) may have one or three equilibria depending on the relations between the parameters. There is always the equilibrium state (\(u^0 =(x^0,y^0,z^0)= (0, 0, 0)\)), and for some values of the parameters,^{Footnote 3} two additional symmetric equilibria with coordinates:
where
can arise.
Consider examples of hidden attractors with different configurations. Figure 5 shows examples of hidden attractors for two points of the parameter plane corresponding to two different regions with hidden attractors.^{Footnote 4} Figure 5a–c shows illustrations for the first region, for parameters \(\alpha = 8.4\), \(\beta = 12\), \(\gamma = 0\), \(m_0 = 0.12\), and \(m_1 = 1.15\). In this case, two symmetric coexisting chaotic attractors are observed in the system. At the origin there is a stable focus with eigenvalues \(\lambda _1 = \,8.348114\), \(\lambda _{2,3} = \,0.021943 \pm i 3.259625\), and there are also two symmetric unstable equilibria with coordinates (\(\pm \, 6.8667, 0, \mp \, 6.8667\)) and eigenvalues \(\lambda _1 = 2.236517\), \(\lambda _{2,3} = \,0.988258 \pm i 2.404965\). Trajectories from the vicinity of these two saddlefoci tend either to the stable zero equilibrium or to infinity. Figure 5a shows the structure of the phase space; different colors indicate trajectories starting from different initial conditions: gray and black lines indicate the trajectories tending to hidden attractors; red and pink colors indicate the trajectories starting from a neighborhood of symmetric equilibria. In Fig. 5b and c, the twodimensional planes of initial conditions for vicinities of equilibrium points are shown (here we consider the Poincaré cross section by plane \(z = 0\)). The regime of divergency^{Footnote 5} is marked by blue color, the basin of attraction^{Footnote 6} of the stable zero equilibrium is marked by maroon color. The basins of attraction of chaotic^{Footnote 7} attractors are denoted by gray color. The projections of the equilibrium points in the plane are identified by white dots. Figure 5b shows a twodimensional plane of initial conditions for fixed \(z_0 = 0.001\) in the vicinity of the zero equilibrium \(u^0\) (stable focus). Figure 5b shows the structure of the basins of attraction for two coexisting regimes. There is a rather large basin of attraction surrounding the stable zero equilibrium (maroon color), and a large area of divergency. The zero stable equilibrium point is located in the center of the basin of attraction; consequently, choosing initial conditions from a neighborhood of zero equilibrium, the corresponding trajectory may not leave beyond its basin of attraction. Between these two areas we have an area of chaotic oscillations, which represents the basins of attraction of chaotic attractors. Between the areas of divergency and attraction area of chaotic attractor one can find a thick area, which corresponds to the stable zero equilibrium basin attraction. In Fig. 5c is shown a vicinity of one of the symmetric points \(z_0 = u_{z} = 6.8665\) (saddlefocus). The basin of attraction for the stable zero equilibrium \(u^0\) at the center is combined with the another part of the basin of attraction for the stable zero equilibrium point \(u^0\) on the boundary of the area of divergency, and a projection of saddle equilibrium \(u_{S}^1\) is located on the boundary between the basin of attraction for the stable zero equilibrium point and the area of divergency. Consequently, a chaotic attractors are hidden because if we choose initial states near one of the equilibrium points, then we cannot reach the chaotic attractors.
Figure 5d–f shows the results of a similar study of hidden attractors for the second region of the parameter space with \(\alpha = 8.41\), \(\beta = 12.23\) \(\gamma = 0.0435\), \(m_0 = 1.366\), and \(m_1 = 0.17\). For the second region, the zero equilibrium is a saddlefocus with twodimensional stable and onedimensional unstable manifolds (corresponding eigenvalues are \(\lambda _1 = 4.12175\) and \(\lambda _{2,3} = 1.043595 \pm i 2.857504\)), and symmetric equilibria \((\mp 1.4471, \mp 0.005129, \pm 1.442)\), which are stable foci with eigenvalues \(\lambda _1 = 7.968363\) and \(\lambda _{2,3} = 0.027719 \pm i 3.271839\). In Fig. 5d from the vicinity of the unstable equilibrium state (maroon color), the phase trajectories arrive at one of the symmetric stable foci. Also, a pair of symmetric chaotic attractors coexists in the phase space. With this choice of parameters, a stable hidden limit cycle of a large amplitude is also observed in the phase space, within which all other discussed coexisting limiting regimes are located.
Figure 5e and f shows the structure of basins of attraction for different cross sections of the phase space, including the basins of attraction of coexisting attractors in the vicinity of the stable focus \(u_S^1\) and in the vicinity of the zero saddle equilibrium, respectively. The projections of equilibrium points are marked in the plane by black dots. We shaded the basins of attraction of different symmetric chaotic attractors by the gray colors (light and dark). The basin of attraction of the external limit cycle is marked in the plane by the light green color. We use the pink and red colors to denote the basins of attraction of the two symmetric equilibria \(u_{S}^1\) and \(u_{S}^2\), respectively. Firstly, we consider a plane of initial conditions and the basins of attraction of different attractors in the vicinity of the saddle equilibrium point (Fig. 5e). We can see that the phase trajectories starting from the vicinity of the saddle point can reach only one of the stable symmetric equilibria. The zero equilibrium point \(u^0\) is located on a boundary between the attracting areas of symmetric stable equilibria. The basins of attraction are symmetric to each other, and the boundary between these areas (a curve between the basins of attraction of different stable equilibria near zero) represents the cross section of stable twodimensional manifold of the zero saddlefocus. Consequently, if we choose initial conditions in the vicinity of any equilibrium point, we reach one of the stable equilibrium points and, thus, all of oscillatory attractors are hidden attractors. Then, we consider a vicinity of the stable equilibrium (Fig. 5f). There one can see a large basin of attraction surrounds one of the symmetric stable equilibrium points. Also, there are the basin of attraction of another symmetric stable equilibrium point, and the symmetric basins of attraction of two symmetric chaotic attractors. For these chaotic attractors, the complex structure of their basins of attraction is represented by the area of attractions in the form of bands, which are spiraled together, and their boundaries have selfsimilar patterns, i.e., fractal structures. Also, there is a basin of attraction of the external stable limit cycle, which surrounds all other discussed basins of attraction.
As mentioned above, in our physical experiment we change the initial conditions of only two dynamic variables x and y corresponding to the voltages \(U_1\) and \(U_2\) on the capacitors of the oscillatory circuit, respectively. We do not change the initial state of the third variable z corresponding to the current in the inductor \(I_L\). Inductor current fluctuates in small vicinity of zero. Thus, it is not possible to distinguish and reveal hidden attractors for the first region of parameters, since we do not able to set the value of the variable z to a nonzero value when closing the circuit and to investigate the neighborhood of a nonzero equilibrium state. Also, for this configuration of hidden attractors, the implementation of the regime with trajectories escaping to infinity has its own specifics. The property of a trajectory tending to infinity indicates that this trajectory falls into a region in the phase space where there is no global contraction of the phase volume, and in some sense the system becomes nondissipative having an unlimited growth of the dynamical variable. In a physical experiment, it is impossible to observe the escape of a trajectory to infinity due to the peculiarities of the operation of the opamps: if the voltage at the output of the opamp becomes higher than the supply voltage, then the opamp goes into the saturation mode. In this case, in the experiment, one do not observe selfoscillations, the voltages on the capacitors are constant and equal to the supply voltage of the opamps. This difference is a consequence of the difference between nonlinear I–V curve (5) and its approximation (7). The third condition in (5) defines an additional break in the I–V curve (which, however, is outside the dynamics we are considering for the second configuration of attractors). For the first configuration of attractors, this feature leads to the fact that instead of the ”escapetoinfinity” regime, a stable equilibrium corresponding to the supply voltage of the circuit is observed.
For the second region in the parameter space and corresponding second configuration of attractors, the situation is different: it is fundamentally important to investigate the neighborhood of the zero equilibrium, and the neighborhoods of symmetric equilibria do not play a special role. It is also worth noting that such a configuration is richer in terms of multistability: it assumes possibility to observe five attractors, three of which are hidden. This configuration of attractors previously demonstrated in [5, 50,51,52] is quite robust to parameter changes (see works [5, 51], where the corresponding structure of the parameter space is analyzed). In [5, 50], the implementation of hidden attractors for the case of negative values of the parameter \(\gamma \) is demonstrated, while in Fig. 5d an example of the existence of hidden attractors for positive values of the parameter \(\gamma \) is shown.
Further in this work, we consider the parameters of the radiophysical model corresponding to the second region of the parameter space. To this end, we numerically investigate the bifurcation scenario of the birth and transition from hidden to selfexcited attractors and the configuration of the I–V curve only for such a choice of parameters.
In the work [5], the regions of existence of hidden attractors in a twoparameter space (\(m_0\), \(m_1\)) are shown and scenarios of their occurrence are described. In particular, for the region of parameters interesting to us, it is shown that the external largeamplitude limit cycle appears as a result of the supercritical Andronov–Hopf bifurcation of the zero equilibrium (see, e.g., [45, 53]).
Let us turn to oneparameter bifurcation analysis depending on the parameter \(m_1\). In Fig. 6a, a bifurcation diagram built using the numerical package XPPAUT [54] is presented where with different colors we depict stable (red) and unstable (black) equilibrium points and maximum values of stable (green) and unstable (blue) limit cycles in projection into dynamical variable x (the package determines all variables). We started from stable equilibrium at \(m_1 = 0\) and continuation of equilibrium point firstly was implemented with detection of the Andronov–Hopf bifurcation point. Then we started from the Andronov–Hopf bifurcation point and construct a cycle which was born near equilibrium point with standard XPPAUT command. Remark that XPPAUT allow to continue this cycle on parameter (the path in the parameter space is determined automatically) and also find and construct another cycle which was born as a result of saddlenode bifurcation. The line of cycles was constructed in one iteration. From the perioddoubling bifurcation (point PD) it is possible to construct additional stable cycle, but the second round of iteration is needed for that, which was missed to avoid difficultization of the figure. In Fig. 6b and c, two bifurcation trees obtained with direct integration are shown. They were constructed with Poincaré cross section by plane \(z=0\), and Fig. 6b and c demonstrate the projection of the tree into dynamical variable x. For parameter intervals where the equilibrium point is stable we depict xprojection position of the equilibrium point. All the diagrams are built for the parameters: \(\alpha = 8.41\), \(\beta = 12.23\), \(\gamma = 0.0435\), and \(m_0 = 1.366\).
To visualize selfexcited attractors we should check the behavior of trajectories in vicinities of unstable equilibria. For Chua system (6), we should check trajectories from vicinity of saddlefocus at zero. Remark that the system is linear near zero equilibrium, there are twodimensional stable and onedimensional unstable manifolds, and the Jacobian matrix near zero equilibrium is independent of the parameter \(m_1\). We verified the set of initial conditions, chosen randomly in the cube of phase space with a side \(10^{3}\) surrounding the zero saddle equilibrium, and we obtained the same bifurcation tree. By red and pink in Fig. 6b, we depict bifurcation trees constructed for the initial conditions fixed in the vicinity of the saddle zero equilibrium: \(x_0 = 0.001\), \(y_0 = 0.001\), and \(z_0 = 0.001\) for the red tree; \(x_0 = 0.001\), \(y_0 = 0.001\), and \(z_0 = 0.001\) for the pink one.
Figure 6c shows a family of bifurcation trees built with inheritance of the initial conditions.^{Footnote 8} The starting initial conditions for the tree shown in black (see Fig. 6a) are chosen on the hidden attractor at \(m_1 = 0.12\) (\(x_0 = 0.55\), \(y_0 = 0.36\), \(z_0 = 0.00\)). From this point we scan a parameter interval in two directions, defined by increasing, or decreasing parameter \(m_1\), and apply inheritance of the initial conditions. For the gray tree, the starting point is chosen on the symmetric hidden attractor.
Thus, as the parameter \(m_1\) increases, the following bifurcation transitions can be observed. At \(m_1 = 0.4\), the system has two coexisting symmetric saddle equilibria (saddlefoci with twodimensional unstable manifold); the system also contains a saddlefocus with a onedimensional unstable manifold. At \(m_1 \approx 0.2447\), saddlefoci with twodimensional unstable manifold undergo the Andronov–Hopf bifurcation (HB) and become stable. This bifurcation is subcritical, and a saddle limit cycle is born. The cycle has a relatively large amplitude because system (6) is piecewise linear and the equilibrium is a center at the Andronov–Hopf bifurcation point. With further increasing of the parameter \(m_1\) at \(m_1 \approx 0.1031\), as a result of a saddlenode bifurcation (see point LP in Fig. 6a), the saddle cycle is merged with another stable limit cycle (one pair of cycles is shown in Fig. 6a; the other pair is obtained due to the presence of symmetry in the system), which coexists with stable equilibria. Such a configuration is typical for the subcritical Andronov–Hopf bifurcation and can be associated with the codimension2 Bautin bifurcation [42]. The limit cycles are located in such a way that from the vicinity of the equilibria, including the saddlefocus with onedimensional unstable manifold, a phase trajectory is attracted to one of these equilibria; thus, these stable limit cycles are hidden. As the parameter \(m_1\) decreases, the stable limit cycles undergo a period doubling bifurcation (at \(m_1 \approx 0.1441\) labeled with PD in Fig. 6a). The bifurcation trees (Fig. 6c) show a cascade of period doubling bifurcations forming coexisting hidden chaotic attractors. At \(m_1 \approx 0.186\), chaotic attractors are collapses as a result of the crisis [55, 56] and the trajectories tend to equilibria. For \(m_1 < 0.2447\), equilibrium points become unstable and trajectories from the vicinity of the zero unstable equilibrium begin to reach the chaotic attractor. At the same time, it is clearly seen on the bifurcation tree (Fig. 6b, c) that symmetric chaotic attractors have already merged into one chaotic attractor; however, this attractor is already selfexcited. Such bifurcations^{Footnote 9} form a structure of bifurcation tree with gap between hidden and selfexcited attractors, where stable equilibrium states are dominant. To guarantee the absence of other hidden attractors one may carry out a detailed analysis of the structure for basins of attraction in the same way as in Fig. 5b, c, e, and f.
Thus, with the considered change in the parameters and for the given range, hidden attractors arise as a result of a saddlenode bifurcation of the production of two pairs of cycles, and undergo a crisis, which leads to their collapse. Subsequently, they transform into a merged selfexcited attractor through the subcritical Andronov–Hopf bifurcation. In Fig. 6c, the interval of the parameter \(m_1\), corresponding to the existence of hidden attractors, is marked in purple. Remark that in our experiments the attractors are revealed by the standard integration (fourthorder Runge–Kutta method), and the obtained results are in a good agreement with physical experiments. At the same time, more accurate numerical methods (see, e.g., [58, 59]) may help to reveal other attractors and repellers in the mathematical model, which we do not observe in the physical model due to the presence of noise.
Let us move on to consider the features of the nonlinear function that characterizes the Chua diode. As mentioned earlier, the nonlinear I–V curve is a piecewise linear function, different sections of which have different tilt angles, which in the experiment are controlled by resistors connected to opamps within the Chua diode. For mathematical modeling, the I–V curve of this element is approximated by piecewise linear function (7), in which the tilt angles of various linear sections are controlled by the parameters \(m_0\) and \(m_1\) [17]. When changing only the parameter \(m_1\), the central part of the I–V curve in the range \((1, 1)\) remains unchanged, and the angle of the side branches changes. Varying the parameter \(m_0\) leads to a change in the angle of the central part of the curve within the range \((1, 1)\). Figure 7 shows the graphs of the nonlinear function f(x) for the critical values of the parameter \(m_1\) which correspond to the existence of hidden attractors: the black line for \(m_1 = 0.1031\) corresponds to the saddlenode bifurcation point, which resulted in appearing of a hidden attractor; the red line for \(m_1 = 0.186\) corresponds to the crisis point of the hidden chaotic attractor. Thus, in this graph, we can distinguish the regions corresponding to different dynamics of the system and different types of attractors. The purple areas correspond to the existence of three hidden attractors.
In general case, numerical analysis of dynamics via direct integration or by using Poincaré sections suffers from the accuracy of determining stationary points, the corresponding periodic trajectories, their periods, and initial data (which can fill an unbounded domain of the phase space, e.g., as in example (36)), numerical integration of irregular and unstable trajectories (e.g., for the Lorenz system, the shadowing theory gives a rather short time interval of reliable integration for the standard numerical procedure and parameters of tolerances [49, 60]), as well as identifying chaotic behavior by finitetime local Lyapunov exponents (which can change their signs as the time interval of integration is increasing [49]). Also, there are classes of systems for which the application of the analysis of dynamics on a Poincaré section to reveal and analyze hidden attractors may not be straightforward. These are, for example, multidimensional ODEs and difference systems (where the choice of Poincaré sections may not be obvious); systems with fractional derivative operators (which do not have periodic solutions at all [61]); systems with a cylindrical phase space that can have a global attractor without equilibria [62] and systems without equilibria and with local attractors in Euclidean space; as well as discontinuous systems (where the birth of attractors may be essentially determined by the behavior of the system on the discontinuity surface, see, e.g., [63,64,65,66]) and systems with uncountable and unbounded set of equilibrium states (see, e.g., [67]).
4 Experimental observation of dynamical regimes in the Chua circuit
Now let us turn to the experimental study and visualization of the hidden attractors. As it is mentioned above, we are able to implement the changing of two initial conditions \(x_0\) and \(y_0\) related to capacitor voltages C1 and C2 at the moment the circuit is turn on. The circuit implementation for changing the third initial condition corresponding to the inductor current is more difficult and is not included in this work. As one can see from the structure of the basins of attraction, for checking the regime discussed above, it is enough to vary one initial condition. Hence, we keep the voltage on the second capacitor C2 satisfying the zero initial condition.
Figure 8a shows the schematic diagram of the Chua circuit with an additional block that allows us to control the initial conditions. Figure 8b presents a photograph of the experimental setup. To control the operation of the circuit and set the initial conditions, electronic keys (multiplexors) DD1 and DD2 are added to the circuit. With a zero signal at the input (In), the key 01 of the multiplexor DD1 connects the capacitor C1 to point 1, and the key 11 connects the capacitor C2 to point 2. Keys 01, 11 of the multiplexor DD2 are connected to the inputs of the opamps DA1.1, DA1.2, respectively, as shown for the Chua circuit in Fig. 2. When a high logic level is applied to the input (In), the keys 01 and 11 of the multiplexor DD1 open, and keys 00 and 10 close, connecting the capacitors C1 and C2 to the sliding contacts of potentiometers R7 and R8, respectively. At the same time, keys 01 and 11 of the multiplexor DD2 also open, turning off the negative resistance block for the duration of the pulse. In Table 1, we summarize states of electronic keys DD1, DD2 depending on the control input parameter (In).
We can change the voltage at the sliding contacts of potentiometers R7 and R8 during the experiment by adjusting manually the initial voltages of the capacitors. Thus, when rectangular pulses of duration \(T_{\textrm{imp}}\) with a repetition period T are applied to the input (In), throughout the pulse, the capacitors charge to some initial values, and at the end of the pulse, the circuit is switched to the normal operation of the generator with the fixed/specified initial conditions. During the experiment, we apply a pulse signal to the input (In) and changed the voltage at the sliding contacts of potentiometers R7 and R8, thereby controlling the initial conditions. Using a twochannel oscilloscope operating in the X–Y mode, we observe transient processes in the circuit, stable and unstable limit cycles and equilibrium points. The period T and the duration of the pulses \(T_{\textrm{imp}}\) are selected so that the charging time of the capacitors is less than \((TT_{\textrm{imp}})\). A similar technique is used to study transient processes and basins of attraction of multistable systems in [68]. Opamps DA2.1, DA2.2 and DA3.1 are voltage buffers, or socalled decoupling amplifiers, which are needed to ensure measuring circuits, do not affect the operation of the main circuit. Here, for the experimental setup we use opamps AD822 (see, e.g., [69]).
To detect hidden oscillations, the nominal values for the experimental scheme are carefully calculated so that they corresponded to the values of the model parameters. The nominal values of the oscillatory circuit are fixed as follows:
For these nominal values, the dimensionless parameters of the model \(\alpha \), \(\beta \), and \(\gamma \) are as follows: \(\alpha = \frac{C2}{C1} \approx 8.4054\), \(\beta = \frac{C2 R^2}{L} \approx 12.2301\), and \(\gamma = \frac{C2 R R_L}{L} \approx 0.0435\). The slopes of the linear pieces and the break points of the I–V curve are determined by potentiometers R1–R6: \(R1 = {8520}\,\Omega \), \(R2 = {123}\,\Omega \), \(R3 = {12.02}\,{\hbox {k}}\Omega \), \(R4 = {1008}\,\Omega \), \(R5 = {1003}\,\Omega \), \(R6 = {24.41}\,{\hbox {k}}\Omega \). Thus, in the experiment, the amplification coefficients are: \(K_1 = 12.9246\), \(K_2 = 1.0411\), consequently, and \(U_{\textrm{DA1}} = {1.1606}\,{\hbox {V}}\), \(U_{\textrm{DA2}} = {14.408}\,{\hbox {V}}\). The slope of the central piece of the I–V curve inside the interval from \(U_{\textrm{DA1}}\) to \(U_{\textrm{DA1}}\) equals \(G_1 + G_2 = 0.001\, 734 {\hbox {S}}\). For the next intervals, from \(U_{\textrm{DA2}}\) to \(U_{\textrm{DA1}}\) and from \(U_{\textrm{DA1}}\) to \(U_{\textrm{DA2}}\), the slope is \(1/R1 + G_2 = 0.000\, 2167\, {\hbox {S}}\). Then, the parameters \(m_0 \approx 1.3661\) and \(m_1 \approx 0.1708\), and it corresponds to the regime, when three hidden attractors coexist (a limit cycle and two symmetric chaotic attractors) together with two symmetric stable foci. In Table 2, the relation between parameters of the mathematical and the physical models is presented.
Using the experimental setup shown in Fig. 8b, a study of hidden attractors is carried out. In Fig. 9, the examples of phase portraits in the projection onto the (\(U_1\), \(U_2\))plane are shown in the oscilloscope screen. The experimental setup parameters are fixed in accordance with the above description. The presented phase portraits are obtained for the same parameter values, only the initial condition of the variable \(U_1\) is changed, while the initial condition for \(U_2\) is set equal to zero. The initial condition for the current \(I_L\) can also be set to zero. From the vicinity of the zero saddlefocus equilibrium point, the trajectory converges to one of the symmetric stable foci (see the example in Fig. 9a). With a smooth detuning from the zero saddlefocus, the stable equilibrium mode is replaced by a chaotic attractor; Fig. 9b shows an example of one such attractor. Further changing of the initial condition from zero leads to the basin of attraction of the second symmetric stable equilibrium state (see Fig. 9c). Next, we again observe a hidden chaotic attractor (Fig. 9d), a symmetric partner of the previous one (Fig. 9b). Thus, an accurate selection of the initial conditions allows one to discover two symmetric hidden chaotic attractors. The alternation of domains of stable equilibrium and hidden attractors is in a good agreement with the results of the numerical modeling (see the structure of the basins of attraction in Fig. 5e). The oscilloscope photographs clearly show that there is a switch between the mode on the hidden attractor and the mode corresponding to the stable equilibrium. This feature is related to the fact that the basins of attraction of the obtained hidden attractors are rather small and border on the basins of attraction of the stable foci. Therefore, as a result of the noise influence, we can see a switching from one mode to another. Further moving from zero equilibrium leads to transition to the stable limit cycle of a large amplitude. Figure 9e shows this limit cycle on a scale corresponding to the previous experimental phase portraits, similar to that in Fig. 5c.
In the experiment, by smoothly changing (selecting) the initial conditions, one can find a saddle limit cycle. In Fig. 9e and f, the initial conditions are chosen near an unstable limit cycle; the trajectory first moves to the unstable limit cycle, performs several oscillations in its vicinity and then tends to the stable limit cycle of a larger amplitude. Note that the invariant twodimensional cylindershaped stable and unstable manifolds of cycles may play an essential role in partitioning the phase space into basins of attraction (see, e.g., [70,71,72]).
A comparative analysis of the unstable cycle in the numerical and physical experiments is carried out. Figure 10 shows the time series and twodimensional projections of motion of a representative point in the phase space, when choosing initial conditions on the unstable limit cycle. Figure 10a shows the results of numerical calculations, and Fig. 10b shows the data obtained in the physical experiment. In numerical experiment an initial condition on a saddle limit cycle can be obtained by bifurcation analysis packages which then allow to follow the saddle cycle transformation during the change of bifurcation parameter. For our configuration of attractors we cannot find this cycle in depending on the parameter \(m_1\). That is why we found another bifurcation rout in the parameter space leading to occurrence of the saddle cycle (see details in [5]). Then the transformation of saddle cycle along the route is traced to construct the cycle for the desired value of \(m_1\), and we get the following initial condition for the saddle cycle visualization in Fig. 10a: \(x_0 = 2.321\), \(y_0 = 0.787\), \(z_0 = 3.129\). The experimental time series (see Fig. 10b) is constructed for the reference points, the sampling step is \(2.5 \, \upmu \)s, respectively, the length of the presented time series is 11.255 m s. Obtaining the model, we renormalize the dynamical variables according to the renormalization factor 1.16, i.e., close to unity; therefore, the amplitudes of oscillations of the numerical model and the experimental implementation are in a good agreement. However, the time in model (6) is dimensionless and is normalized to the constant \(R \, C2\). In the numerical simulations, the oscillation period for the unstable cycle is \(T_{\textrm{UC}}^{\textrm{num}} = 2.406\). To convert this period to the dimensional form, it is necessary to multiply it by the normalization constant: \(T_{\textrm{UC}}^{\textrm{num}} = 2.406*311 *10^{9}*788 = {0.59}\) m s. According to the experimental time series, the oscillation period for the unstable limit cycle is 218 samples, which corresponds to \(T_{\textrm{UC}}^{\exp } = {0.55}\) m s. This is close enough to the values obtained numerically. Table 3 shows a comparison of the parameters of mathematical model (6) and the data obtained in the physical experiment.
An important and interesting feature of comparing the numerical and experimental implementations is the characteristic of the oscillation time on the unstable limit cycle. It is clearly seen that in the numerical experiment, the trajectory makes 11 oscillations in the vicinity of the unstable limit cycle, after that it escapes the vicinity of the cycle. Meanwhile, only 8 oscillations are visible in the physical experiment. This metric can be used as an estimation of the noise in the physical model. In mathematical modeling, the role of noise is played by the numerical errors of the calculation scheme. To construct the trajectory, the fourthorder Runge–Kutta method with a constant integration step equal to \(10^{3}\) is used. In a physical experiment, the noise voltage consists of several parts: noise of the opamps, in which the spectral density of the noise voltage at the output is \(25 {\hbox {nV}}{/}\sqrt{{\hbox {Hz}}}\); the capacitor’s noise is \(0.3 \, {\hbox {mV}}\); external noise and ripple. Also, in the case of absence of voltages at the inputs of opamps, the output voltage differs from zero, which introduces additional small constant voltages that affect the overall operation of the circuit.
The correspondence between the mathematical model and the experimental laboratory model has some limitations. In a physical experiment, noise is always presented. There are noises, which are mentioned above, associated with fluctuations of voltages and currents. However, one should also not forget about measurement errors. When developing layouts, researchers rely on nominal electrical values of elements, which can vary within 10%. This error is static and can be eliminated by measuring the real electrical values. Within this work, all electrical values are measured using a multimeter; the capacitance of the capacitors and the inductance of the coil are measured using an LCRmeter of the HM8118 type (see, e.g., [73]). However, there is also a dynamical error associated with the error of the measuring device. This error is significantly less than the static one and is 1% of the nominal value for the multimeter, and 0.1% for the HM8118 meter. For the nominal values we measured, the ranges of the maximum and minimum values of the parameters are calculated taking into account the dynamical error, and they are presented in Table 2. It can be seen that the values of the parameters of mathematical model (6) are inside the relevant intervals indicated in this table.
5 Methods to search for hidden attractors and study of multistability
5.1 The hysteresis loop method
Changing the parameters of the mathematical model and carrying out a parametric bifurcation analysis allow one to obtain some bifurcation mechanisms for the birth of attractors. In the physical experiment, this procedure corresponds to a smooth change of some parameters using a mechanical knob. Changing the parameters in the experiment gives some overall view of its dynamics and characteristic modes. The procedure for scanning the parameter space and detecting the boundaries of regions of different modes in the experiment corresponds to the numerical construction of a chart of dynamical modes with inherited initial conditions, discussed in Sect. 3. Changing the scanning direction makes it possible for some situations to localize the multistability regions in the parameter space. For example, in a simple case of multistability, which arises as a result of the subcritical Andronov–Hopf bifurcation, hysteresis curves can be obtained experimentally. If we take the value of a parameter before the Andronov–Hopf bifurcation point, selfoscillations cannot be excited; in the experiment, a stable equilibrium state is observed in the phase space. After the loss of stability, the trajectory jumps to a limit cycle, which is a result of the subcritical Andronov–Hopf bifurcation. Having found this cycle, if we now smoothly change the parameter in the opposite direction, the state remains on the cycle even when the equilibrium has already become stable again. Thus, we can find the value of the parameter at which a pair of limit cycles (stable and saddle) is born, coexisting with a stable equilibrium state. Such a loop is commonly referred to as a hysteresis curve (see, e.g., [74, p. 643]).
A similar situation can be observed in our case. Figure 11 shows the bifurcation diagram and trees of this type for the considered mathematical model of Chua circuit (6)–(7), which are some analog of the hysteresis curve. Scanning the parameter \(m_1\) interval with decreasing (Fig. 11b), we reach the Andronov–Hopf bifurcation point, where the equilibrium state becomes unstable and the trajectories go to symmetric selfexcited chaotic attractors. With further decreasing \(m_1\) symmetric selfexcited attractors are merged into one selfexcited attractor. If we now start from the region of small values of \(m_1\), where the merged selfexcited chaotic attractor exists, and will increase parameter \(m_1\) (Fig. 11c), then we can find an interval, where chaotic attractor dived into symmetric pair and then becomes hidden and coexisting with symmetric stable equilibrium states.
The hysteresis curve provides some overall view into the types of dynamical behavior of the system. However, not in all cases it is possible to detect the full variety of modes in this way. The limitation of the physical characteristics of device in the experiment may not allow going beyond the hysteresis curve and identifying its boundaries; thus, a coexisting attractor may be missed. Also, such configurations of bifurcation diagrams are possible in which the access to hidden attractor by changing the scanning direction of the parameter interval is impossible. A similar situation is possible in the Chua system with the parameters discussed in Sect. 3 (see Fig. 6). In contrast to the case shown in Fig. 11, when the parameter \(m_1\) decreases, the hidden attractor does not transform into a selfexcited one: before the bifurcation threshold of the loss of stability of symmetric equilibrium states, the hidden attractor collapses as a result of the crisis. Thus, in this case, scanning the parameter interval does not allow detecting hidden attractors even in numerical experiments with direct integration. It is necessary to choose special initial conditions leading to the hidden attractor (i.e., in its basin of attraction).
In a physical experiment, the situation is even more complicated since the parameters \(m_0\) and \(m_1\) are determined by seven resistors, some of which defines the values of both parameters. In a simplified form, the dependence of \(m_0\) and \(m_1\) on the values of electrical resistance of resistors is given by Eq. (8). Accordingly, using resistors R3 and R4, we can independently change the coefficient \(m_0\). Moreover, a change in \(m_1\) necessarily entails a change in \(m_0\). Thus, to select the parameters we need to search for suitable nominal electrical values in a multiparameter space. The question of accessibility and usability of the entire plane (\(m_0\), \(m_1\)) from a physical point of view requires additional attention.
5.2 The advanced harmonic balance method
Now we compare the described results of our experiments with the analytical results of applying the harmonic balance method to the mathematical model of Chua circuit (6).
The harmonic balance method (HBM, or describing function method) [75, 76] is an approximate method to search for periodic oscillations in nonlinear systems.
Consider a 3dimensional system in the Lurie form [6]
where for Chua system (6)–(7) we have \(u = \left( x, y, z \right) ^*\) and
Here operator \(^*\) denotes transposition operation. For our case \(\psi (\sigma )=\psi (\sigma )\), the HBM searches for a \(2\pi /\omega _0\)periodic solution \(u(t) = u(t + 2\pi /\omega _0)\) such that \(\sigma (t) \!=\! r^* \, u(t) \! \approx \! a_0 + a_1 \cos \omega _0 t\), where \(a_0\) is a shift and \(a_1 > 0\) is an amplitude. If the matrix P is nonsingular, i.e.,
and does not have purely imaginary eigenvalues, then we can define the frequency \(\omega _0 > 0\) and coefficient of harmonic linearization k such that
otherwise \(\omega _0\) is known and \(k=0\). Here, \(W_{P}(s) = r^* \big (P  s \, I\big )^{1} q\) denotes a transfer function of system (11), i.e., a complexvalued function, which is the ratio between the Laplace transforms of the output signal \(\sigma (t)\) and of the input signal \(\xi (t)\) for the initial state \(u(0) = 0\) [77].
Then, we rewrite system (11) as follows:
where \(\varphi (\sigma )=\psi (\sigma )k\sigma \), and the matrix \(P_0 = P + k \,q \, r^*\) has a pair of pureimaginary eigenvalues \(\pm i\omega _0 \ne 0\). The transfer function for system (14) is as follows: \(W_{P_0}(s) = r^* \big (P_0  s \, I\big )^{1} q\). Following the HBM, the values \(a_{0,1}\) are defined by equations:
where \(\varPhi (a_0,a_1)\) is called a describing function [77]. If \(a_0 = 0\), i.e., there is no shift assumed, the first equation in (15) becomes trivial, since \(\varphi (\cdot )\) is odd.
The HBM can be rigorously justified, when a small parameter \(\varepsilon > 0\) is introduced in the system, i.e., when the nonlinearity \(\varphi (\sigma )\) in (14) is changed by \(\varepsilon \varphi (\sigma )\):
There is always a nonsingular linear transformation \(u = S v\), defined by matrix S, such that
Thus, due to invariance of transfer functions with respect to linear transformations, for system (16) we have
Developing the ideas from [46, 78] we get
Theorem 1
If \(d>0\) and there exist \(a_0\) and \(a_1 > 0\) satisfying (15) such that
then, for sufficiently small \(\varepsilon > 0\), system (16) has a stable periodic solution in the form
with the period \(T = \frac{2 \pi }{\omega _0} + O(\varepsilon )\) and
For the opposite sign in (19), periodic solution (20) is of a saddle type.
For \(\omega _0\) and \(a_{0,1}\) defined by (13) and (15) the advanced HBM predicts the existence of periodic solutions in system (11), and these predicted periodic solutions can be visualized by Theorem 1 as
Trajectories with initial data given by Theorem 1
can be used for a numerical search of attractors in system (11). However, a rigorous application of Theorem 1 requires the fulfillment of condition (19) for the visualization of a stable periodic orbit from initial point (21) in system (16) with a sufficiently small \(\varepsilon =\varepsilon _0\). Then, the transformation of this initial stable periodic orbit in the phase space while increasing \(\varepsilon \) from \(\varepsilon _0\) up to 1 can be considered in a continuation procedure. For that on each step of the continuation procedure, the initial point for a trajectory to be integrated is chosen as the last point of the trajectory integrated on the previous step. If, while changing from \(\varepsilon _0\) to 1, there is no loss of stability bifurcation and the considered trajectory approaches an attractor, then at the end of the procedure an attractor of initial system (11) is localized.
Now let us apply the advanced HBM to study the Chua model. For the transfer function of (12), we have \(W_P(s) = \frac{Y(s)}{X(s)}\), where \(Y(s) = \alpha (s^2 + (\gamma + 1) s + \beta + \gamma )\) and \( X(s) = s^3 + ((m_1 + 1) \alpha + \gamma + 1) \,s^2 + (((m_1 + 1)\gamma + m_1) \alpha + \beta + \gamma ) \, s + \alpha (m_1 (\beta + \gamma ) + \beta )\). Here \(W_P (0) = \frac{\beta +\gamma }{(\beta +\gamma ) m_1+\beta }\). By (13) for \(\omega _0 > 0\) we have
From (18) with \(P_0 = P + k \,q \, r^*\), we get
From (17), we get the matrix \( S = \{s_{ij}\}_{i,j=1}^{3} \) with
Computation of the integrals in (15) gives the following:

if (\(1 < a_0 + a_1 \le 1\) and \(a_0 \le 1\)) or (\(a_0 + a_1 \le 1\) and \(a_0 > 1\) and \(a_0  a_1 < 1\)), then
$$\begin{aligned} {\left\{ \begin{array}{ll} \begin{aligned} (m_0  m_1)&{} \bigg ( \tfrac{\pi }{2} (1  a_0) + (1 + a_0) \arcsin \tfrac{1 + a_0}{a_1} \\ &{} +\sqrt{a_1^2(1 + a_0)^2}\bigg ) = \tfrac{\pi a_0}{W_P(0)}, \end{aligned} \\ \begin{aligned} (m_0  m_1)&{} \bigg ( a_1 \big (\tfrac{\pi }{2} + \arcsin \tfrac{1+a_0}{a_1}\big ) \\ &{} + (1 + a_0) \sqrt{1\tfrac{(1 + a_0)^2}{a_1^2}} \bigg ) = \pi a_1 k, \end{aligned} \\ \begin{aligned} \frac{\partial \varPhi (a_0, a_1)}{\partial a_1} &{} = \tfrac{1}{\omega _0}\bigg [ (m_0  m_1) \bigg ( \tfrac{\pi }{2} + \arcsin \tfrac{1+a_0}{a_1} \\ &{}\quad s\tfrac{1+a_0}{a_1}\sqrt{1\tfrac{(1 + a_0)^2}{a_1^2}} \bigg )  \pi k\bigg ]. \end{aligned} \end{array}\right. }\nonumber \\ \end{aligned}$$(23) 
if (\(a_0  a_1 < 1\) or \(a_0 \le 1\)) and \(a_0  a_1 \ge  1\) and (\(a_0 > 1\) or \(a_0 + a_1 > 1\)), then
$$\begin{aligned} {\left\{ \begin{array}{ll} \begin{aligned} (m_0  m_1)&{}\bigg ( \tfrac{\pi }{2} (1 + a_0)  (1  a_0)\arcsin \tfrac{1a_0}{a_1}\\ &{} \sqrt{a_1^2(1  a_0)^2} \bigg ) = \tfrac{\pi a_0}{W_P(0)}, \end{aligned} \\ \begin{aligned} (m_0  m_1)&{}\bigg ( a_1 \big (\tfrac{\pi }{2} + \arcsin \tfrac{1a_0}{a_1}\big ) \\ &{} + (1  a_0) \sqrt{1\tfrac{(1  a_0)^2}{a_1^2}}\bigg ) = \pi a_1 k, \end{aligned} \\ \begin{aligned} \frac{\partial \varPhi (a_0, a_1)}{\partial a_1} &{}= \tfrac{1}{\omega _0}\bigg [ (m_0  m_1) \bigg ( \tfrac{\pi }{2} + \arcsin \tfrac{1a_0}{a_1} \\ &{}\quad \tfrac{1  a_0}{a_1}\sqrt{1\tfrac{(1  a_0)^2}{a_1^2}} \bigg )  \pi k\bigg ]. \end{aligned} \end{array}\right. }\nonumber \\ \end{aligned}$$(24) 
if (\(a_0  a_1 < 1\) and (\(a_0 > 1\) or \(a_0+a_1>1\))) or (\(a_0 \le 1\) and \(a_0 + a_1 > 1\)), then
$$\begin{aligned} {\left\{ \begin{array}{ll} \begin{aligned} (m_0 &{}  m_1)\bigg ( (1 + a_0)\arcsin \tfrac{1+a_0}{a_1}  (1  a_0)\arcsin \tfrac{1a_0}{a_1} \\ &{} +\sqrt{a_1^2(1 + a_0)^2} \sqrt{a_1^2(1  a_0)^2} \bigg ) = \tfrac{\pi a_0}{W_P(0)}, \end{aligned} \\ \begin{aligned} &{}(m_0  m_1)\bigg ( a_1 \big (\arcsin \tfrac{1a_0}{a_1} + \arcsin \tfrac{1+a_0}{a_1}\big ) \\ &{} + (1 \!\! a_0) \sqrt{1\!\!\tfrac{(1  a_0)^2}{a_1^2}} + (1 \!+\! a_0) \sqrt{1\!\!\tfrac{(1 + a_0)^2}{a_1^2}} \bigg ) = \pi a_1 k, \end{aligned} \\ \begin{aligned} \frac{\partial \varPhi (a_0, a_1)}{\partial a_1} = \tfrac{1}{\omega _0}\bigg [ (m_0  m_1) \bigg (\arcsin \tfrac{1a_0}{a_1} + \arcsin \tfrac{1+a_0}{a_1} \\ \tfrac{1+a_0}{a_1}\sqrt{1\tfrac{(1 + a_0)^2}{a_1^2}} \tfrac{1  a_0}{a_1}\sqrt{1\tfrac{(1  a_0)^2}{a_1^2}} \bigg ) \!\! \pi k\bigg ]. \end{aligned} \end{array}\right. }\nonumber \\ \end{aligned}$$(25)
Case 1. For Chua system (6)–(7) with the parameters
the advanced HBM [see (13), (15), (23)–(25)] predicts the existence of 8 periodic orbits, 2 of which are symmetric and another 6 have shifts with respect to zero equilibrium \(F_0\) (see Fig. 12a):
For \(\omega _0 = 2.0306\), \(a_0 = 0\), \(a_1 = 6.1492\) (and \(T = 3.0941, d=1.5235\)), the trajectory with initial data given by (21)
tends to a stable periodic orbit for \(\varepsilon = 0.1\). The continuation procedure (with \(\varepsilon _0=0.1\), increment of \(\varepsilon \) by 0.3, and integration on time interval [0, 150]) leads to localization of the hidden chaotic Chua attractor \(\mathcal {A}_+^\textrm{hid}\) in Fig. 12c [46, 50]. However, in this case, the basins of attraction of \(\mathcal {A}_\pm ^\textrm{hid}\) contain the initial point given by (21); thus, the attractors can be visualized directly from this point without the continuation procedure (see Fig. 12b). To localize the symmetric attractor \(\mathcal {A}_^\textrm{hid}\) one can use symmetry of system (6)–(7).
The trajectories with initial point (21) (i.e., \((1.1791, 1.0018, 1.7036)\) and \((1.3915, 0.2871, 3.3656)\)) on two predicted stable nonsymmetric periodic orbits for \(\varepsilon = 0.1\) tend to the symmetric stable periodic orbit instead of visualizing additional attractors. This shows the significance of smallness of the parameter \(\varepsilon \) in Theorem 1 and the difference in the initial data for (20) and (21).
Three predicted unstable periodic orbits in vicinity of stable zero equilibrium may be considered as another justification of the Chua conjecture stating that the birth of the hidden attractor in the Chua system is connected with the subcritical Andronov–Hopf bifurcation [5].
Case 2. For Chua system (6)–(7) with
the advanced HBM predicts the existence of 6 periodic orbits, 2 of which are symmetric and another 4 have shifts with respect to zero equilibrium \(F_0\) (see Fig. 13a):
The trajectory with initial point
on predicted stable periodic orbit (\(T = 1.9397, d = 7.396\)) visualizes a stable stable periodic orbit in system (16) for \(\varepsilon \in (0,1]\). For \(\varepsilon = 1\) this periodic orbit represents a hidden attractor \(\mathcal {A}^\textrm{hid}_\textrm{limCyc}\).
Trajectories with the initial point on predicted unstable periodic orbit tend to two symmetric hidden chaotic attractors \(\mathcal {A}_{\pm }^\textrm{hid}\) (from the initial points \((1.9329, 0.1525, 2.8275)\) and \((0.8767, 0.4064, 0.6035)\), see Fig. 13a) and to stable symmetric equilibria \(S_\pm \).
Case 3. For Chua system (6)–(7) with
the situation is similar to the previous case, and the advanced HBM and predicts the existence of 6 periodic orbits, 2 of which are symmetric and another 4 have shifts with respect to zero equilibrium \(F_0\). The disposition of these periodic orbit is similar to Fig. 13a:
The trajectory with initial point
on predicted stable periodic orbit (\(T = 1.9258, d = 7.8448\)) visualizes a stable stable periodic orbit for \(\varepsilon \in (0,1]\), which is a hidden attractor \(\mathcal {A}^\textrm{hid}_\textrm{limCyc}\) for \(\varepsilon = 1\).
Trajectories with initial points on predicted unstable periodic orbits tend to two symmetric hidden chaotic attractors \(\mathcal {A}_{\pm }^\textrm{hid}\) (from the initial points \((1.5061, 0.0995, 2.1874)\) and \((0.9607, 0.1787, 0.8615)\)) and to stable symmetric equilibria \(S_\pm \).
Along with the HBM presented in this work and rigorously justified for small parameters \(\varepsilon \) (see Theorem 1) there are other known attempts [79, 80] to apply the classical HBM to Chua system (6) represented in the form of a jerk system^{Footnote 10} [81]:
Following [79, 80], system (6)–(7) could be represented in form (32) with respect to xvariable, i.e.,
Here, one faces the following issue: function \(\psi (x)\) in the Chua system is only continuous and not smooth enough to consider the expression in the righthand side of (33).
To avoid this issue, we can rewrite the Chua system in form (32) with respect to zvariable, i.e.,
For system (34), the application of the classical HBM [77, p. 450] yields approximate periodic solutions similar to Figs. 12a and 13a, which have the form \(z(t) \approx a_0 + a_1 \cos (\omega _0 t)\) and initial data \(z(0) = a_0 + a_1\), \(\dot{z}(0) = 0\), and \(\ddot{z}(0) =  a_1\omega _0^2\) (but without the additional information about their stability in contrast to Theorem 1).
Visualization and tracking of unstable unstable periodic trajectories, predicted by HBM, due to their instability requires the use of special computational methods (e.g., as in XPPAUT). Here we discuss the possibilities of the Pyragas method for searching and visualizing unstable periodic trajectories (see, e.g., [14, 82,83,84,85]). The main idea is to construct a control force proportional to the difference between the current state of system (11) and the state delayed by some time in the past:
where p is a real vector, \(g > 0\) is a feedback gain. If there is a cycle with period T in initial system (11), then for initial condition on this cycle and \(\tau = T\) the control is equal zero: \(g \, p \, \big [r^*u(t)  r^*u(t  \tau )\big ] \equiv 0\). The coefficient g is chosen so that for initial data not on the cycle the control force the state of the system to tend to the cycle. To tune the parameters g and \(\tau \) for the search and stabilization of cycles, one can use various adaptive procedures [86,87,88]. For Chua system (11) using (35) with \(p^* = \left( 1, 0, 0\right) \), \(r^* = \left( 1, 0, 0\right) \), \(g = 2.5\) and applying the Pyragas method on time interval [0, 300], starting stabilization from initial point \(u_0 = (2.321, 0.787, 3.129)\) chosen previously in the above numerical experiment (see Sect. 4) we have stabilized an unstable periodic orbit \(u^\mathrm{upo_1}(t,u_0)\) with period \(T \approx 2.4077\) (see Fig. 14), which corresponds to and is in good agreement with the unstable periodic orbit in this physical experiment (see Fig. 10), as well as with the approximate periodic orbit predicted by HMB (see Case 2 and Fig. 13b in Sect. 5.2). The approximate solution from HBM can be used as the initial data for (35). So, for Chua system (11) using same system (35) under control with \(g = 2.5\) and applying the Pyragas method on time interval [0, 700], starting stabilization from the orbit approximated by HBM (see Sect. 4) we have stabilized two symmetric unstable periodic orbits \(u^\mathrm{upo_2}(t,u_0)\) with period \(T \approx 1.9566\) embedded into chaotic hidden Chua attractors (see Fig. 15).
Moreover, the Pyragas method and some other powerful methods (see, e.g., [59, 89]) allow one to reveal more various periodic orbits embedded into chaotic Chua attractors, which have not been detected above by the HBM. However, in some cases, the use of the HBM makes it possible to accurately identify all periodic orbits in a system. For example, for the system [90, 91]
with \(b \ne 0\) this method predicts an infinite number of periodic orbits in the form \(x^\textrm{HBM}(t) \!=\! a^i_0 \sin (t)\), where \(\{a^i_0\}_{i=1}^\infty \) are zeros of the Bessel function: \(J_1(a^i_0) \!=\! \tfrac{1}{\pi }\int _0^\pi \cos (\tau \!\! a^i_0 \sin \tau ) {\textrm{d}}\tau \!=\! 0\). True periodic orbits of this system can be visualized from the obtained initial data. For this system approximations of the nonlinearity \(\dot{x} \cos (x)\) by its expansion in the Taylor series leads one to the case of the 16th Hilbert problem on the maximum number of coexisting periodic attractors and repellers and their disposition in twodimensional polynomial systems (which was formulated in 1900 [26] and is still unsolved even for quadratic polynomials [40, 46, 92, 93]). Remark that for this system the similar straightforward application of the XPPAUT package, as above for the Chua system, does not provide initial data for the visualization of all hidden periodic attractors.
6 Conclusion
In this work, a comparative analysis of three Chua’s models is carried out, i.e., (1) a mathematical model; (2) a schematic circuit model made of ideal circuit elements; and (3) a physical model of the Chua circuit in the form of a laboratory model made of an interconnection of electronic devices. The developed laboratory model of the experimental setup has an additional subcircuit included in the classical Chua circuit, which makes it possible to implement the changing of the initial conditions.
In the frame of this work, mathematical modeling of the dynamics of the Chua system is carried out. Bifurcation mechanisms of the appearance of hidden attractors are shown. These mechanisms are associated with some local bifurcation: the subcritical Andronov–Hopf bifurcation, as well as the global saddlenode bifurcation of limit cycles and their development. We also demonstrate that the transition between selfexcited and hidden attractors can occur via global bifurcations (e.g., crisis of attractor).
An experimental study of the system dynamics is carried out. The experiment shows the possibility of accessing hidden attractors and visualizing of saddle limit cycles. It is shown that in physical experiments where the electronic circuit is triggered by the inclusion of a nonlinear resistor (the Chua diode) in the circuit at zero initial conditions (a starting voltage across the capacitors and the current through the coil), corresponding to zero equilibrium state, only selfexcited attractors can be observed. Changing the initial conditions in the experiment allows one to find out hidden attractors. Using this experimental technique for changing initial conditions it is possible to visualize a special class of orbits, i.e., unstable or saddle limit cycles that are rather difficult to detect in a physical experiment. Visualization of such objects is difficult task because we need to find initial conditions on an unstable object. The presence of an accurate mathematical model makes it possible to carry out a numerical bifurcation analysis with the help of which one can trace the bifurcations of not only stable limit cycles, but also the saddle ones, and also visualize them in the phase space. In the experiment, for such visualization one requires special supplements, but even with additional techniques, the trajectories leave such unstable objects much faster and such objects are more difficult to visualize due to the influence of noise. In numerical simulation, the role of noise is played by errors of numerical methods. In this work, it is shown that the noise in the physical experiment is more intense than in the numerical simulations.
Thus, in this work, we used a fairly simple radiophysical generator as an example to show that the detection of coexisting regimes, especially those located far from equilibrium states and having small basins of attraction not connected with equilibria (hidden attractors), may need system modification and development of additional special methods. As demonstrated in this paper the approach based on the existing methods of bifurcation theory and the numerical packages is effective in studying possible scenarios for the birth of attractors and for the analysis of already discovered attractors (as it happened historically with hidden Chua attractors). However, when solving problems of multistability or global stability, where it is necessary to find all nontrivial attractors or to establish their absence, the key problem of this approach is inability to guarantee the absence of other attractors in the phase space than those found. This is well demonstrated by the famous 16th Hilbert problem on the maximum number of limit cycles of polynomial systems on the plane, where this approach made it possible to construct various nontrivial examples with coexisting limit cycles and obtain a lower estimate of the maximum number of cycles depending on the degree of polynomials on the right side; however, revealing all limit cycles and determining their maximum possible number in the general case remains an unsolved problem. Here analytical methods made it possible to prove that there is only a finite number of limit cycles. If there exist undiscovered limit cycles for some of these examples in the gap between the lower and upper bounds for the maximum number of limit cycles, they will belong to the class of hidden oscillations, since selfexcited limit cycles are detected trivially in numerical experiments. Similarly, determining of the exact boundary of global stability in the parameter space, implying the absence of nontrivial attractors in the phase space for given parameters of dissipative system, is difficult, because one needs to analyze hidden parts of the global stability boundary associated with global bifurcations and the birth of hidden attractors. At the same time, conservative (internal) estimates of the boundary of global stability can be obtained using various analytical criteria. The above remains an open question for the Chua system, as well: What is the maximum number of coexisting attractors that can be exhibited in the Chua system and how many of the coexisting attractors can be hidden?
Some additional results on the hidden attractors in the Chua circuits can be found, e.g., in [57, 94,95,96,97,98,99,100,101,102,103,104,105].
Data Availability
The data used to support the findings of this study are included within the article.
Notes
In 2021 the Afraimovich Award was granted to N. Kuznetsov for the theory of hidden oscillations and stability of dynamical systems by the Nonlinear Dynamics and Complexity conference series.
Slightly varying of parameters \(\alpha \), \(\beta \), \(\gamma \) does not change main structure of the bifurcation lines on the parameter plane \((m_0, m_1)\) and one can also find both configuration of hidden attractors.
In [9], the regions of existence of three equilibria are described in more details.
We solve numerically ODE with 4thorder Runge–Kutta method with integration step \(10^{3}\).
Regime of divergency corresponds to the regime, when the dynamical variables numerically grow to infinity, the detection of this regime is realized under the condition \(\sqrt{x^2+y^2+z^2}>1000\).
In the numerical experiment, we do not analyze nontrivial invariant sets of measure zero (for example, saddle periodic trajectories and their stable and unstable manifolds), and the visualization of attraction basins on a bounded area of the Poincaré section may not reflect them properly.
In the experiments with direct numerical integration, chaos is often manifested if there is a positive finitetime local Lyapunov exponent along a trajectory (see, e.g., [47,48,49]), or if there is a sufficiently large number of different points in a bounded domain (e.g., more than 120 in our experiments) in the corresponding numerical experiments with the Poincaré section.
For each new value of the parameter, the initial conditions are chosen as the final state attained for the previous value of the parameter.
In [57] such global bifurcation is called a hidden bifurcation, since it is not seen during the numerical bifurcation analysis from a small neighborhood of the equilibrium states by direct integration.
In mechanics, jerk denotes the third derivative of a position with respect to time.
References
Chua, L., Komuro, M., Matsumoto, T.: The double scroll family. IEEE Trans. Circuits Syst. CAS–33(11), 1072 (1986)
Chua, L.: A zoo of strange attractors from the canonical Chua’s circuits. In: Proceedings of the IEEE 35th Midwest Symposium on Circuits and Systems (Cat. No.92CH30999), vol. 2, pp. 916 (1992)
Chua, L.: The genesis of Chua’s circuit. Arch. Elektron. Übertragungstechnik 42, 250 (1992)
Bilotta, E., Pantano, P.: A Gallery of Chua Attractors. Series A. 61, World Scientific, Singapore (2008)
Stankevich, N., Kuznetsov, N., Leonov, G., Chua, L.: Scenario of the birth of hidden attractors in the Chua circuit. Int. J. Bifurc. Chaos Appl. Sci. Eng. 27(12), 1730038 (2017)
Kuznetsov, N.: Theory of hidden oscillations and stability of control systems. J. Comput. Syst. Sci. Int. 59(5), 647 (2020). https://doi.org/10.1134/S1064230720050093
Kuznetsov, N.: Stability and Oscillations of Dynamical Systems: Theory and Applications. PhD thesis, Jyväskylä University Printing House (2008)
Leonov, G., Kuznetsov, N.: 4th International Sciecne Conference on Physics and Control (2009). http://www.math.spbu.ru/user/leonov/publications/2009PhysConLeonovplenaryhiddenoscillations.pdf#page=21
Kuznetsov, N., Leonov, G., Vagaitsev, V.: Analyticalnumerical method for attractor localization of generalized Chua’s system. IFAC Proc. Vol. 43(11), 29 (2010). https://doi.org/10.3182/201008263TR4016.00009
Leonov, G., Vagaitsev, V., Kuznetsov, N.: Algorithm for localizing Chua attractors based on the harmonic linearization method. Dokl. Math. 82(1), 663 (2010). https://doi.org/10.1134/S1064562410040411
Kuznetsov, N., Neittaanmaki, P.: Open problem on existence of hidden attractor in famous Chua’s circuits is solved. CSC News 3–4, 40 (2015)
Kuznetsov, N., Kuznetsova, O., Leonov, G., Vagaytsev, V.: Hidden attractor in Chua’s circuits. In: ICINCO 2011—Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, vol. 1, p. 279 (2011). https://doi.org/10.5220/0003530702790283
Leonov, G., Kuznetsov, N., Vagaitsev, V.: Localization of hidden Chua’s attractors. Phys. Lett. A 375(23), 2230 (2011). https://doi.org/10.1016/j.physleta.2011.04.037
Kuznetsov, N., Mokaev, T., Kuznetsova, O., Kudryashova, E.: The Lorenz system: hidden boundary of practical stability and the Lyapunov dimension. Nonlinear Dyn. 102, 713 (2020). https://doi.org/10.1007/s11071020058564
Kuznetsov, N., Lobachev, M., Yuldashev, M., Yuldashev, R., Kudryashova, E., Kuznetsova, O., Rosenwasser, E., Abramovich, S.: The birth of the global stability theory and the theory of hidden oscillations. In: European Control Conference Proceedings pp. 769–774 (2020). https://doi.org/10.23919/ECC51009.2020.9143726
Wang, X., Kuznetsov, N., Chen, G.: Chaotic Systems with Multistability and Hidden Attractors. Springer, Cham (2021)
Matsumoto, T.: A chaotic attractor from Chua’s circuit. IEEE Trans. Circuits Syst. 31, 1055 (1984)
Zhong, G., Ayrom, F.: Experimental confirmation of chaos from Chua’s circuit. Int. J. Circuit Theory Appl. 13, 93 (1985)
Chua, L., Desoer, C., Kuh, E.: Linear and Nonlinear Circuits. McGrawHill, New York (1987)
Matsumoto, T., Chua, L., Komuro, M.: The double scroll. IEEE Trans. Circuits Syst. 32(8), 797 (1985)
Matsumoto, T., Chua, L., Tokumasu, K.: Double scroll via a twotransistor circuit. IEEE Trans. Circuits Syst. 33, 828 (1986)
Cruz, J., Chua, L.: A CMOS IC nonlinear resistor for Chua’s circuit. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 39, 985 (1992)
Kiliç, R.: A Practical Guide for Studying Chua’s Circuits, vol. 71. World Scientific, Singapore (2010)
Siderskiy, V.: http://www.chuacircuits.com/howtobuild1.php
Chua, L.O., Ayrom, F.: Exploiting the op amp nonlinearity in circuit design. Tech. Rep. UCB/ERL M84/50, EECS Department, University of California, Berkeley (1984). http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/328.html
Hilbert, D.: Mathematical problems. Bull. Am. Math. Soc. 8, 437 (1902)
Dudkowski, D., Jafari, S., Kapitaniak, T., Kuznetsov, N., Leonov, G., Prasad, A.: Hidden attractors in dynamical systems. Phys. Rep. 637, 1 (2016). https://doi.org/10.1016/j.physrep.2016.05.002
Nekorkin, V., Chua, L.: Spatial disorder and wave fronts in a chain of coupled Chua’s circuits. Int. J. Bifurc. Chaos 03(05), 1281 (1993)
Kiseleva, M., Kuznetsov, N., Leonov, G.: Hidden attractors in electromechanical systems with and without equilibria. IFAC PapersOnLine 49(14), 51 (2016). https://doi.org/10.1016/j.ifacol.2016.07.975
Leonov, G., Kuznetsov, N., Kiseleva, M., Solovyeva, E., Zaretskiy, A.: Hidden oscillations in mathematical model of drilling system actuated by induction motor with a wound rotor. Nonlinear Dyn. 77(1–2), 277 (2014). https://doi.org/10.1007/s1107101412926
Leonov, G., Kuznetsov, N., Mokaev, T.: Hidden attractor and homoclinic orbit in Lorenzlike system describing convective fluid motion in rotating cavity. Commun. Nonlinear Sci. Numer. Simul. 28, 166 (2015). https://doi.org/10.1016/j.cnsns.2015.04.007
Leonov, G., Kuznetsov, N., Mokaev, T.: Homoclinic orbits, and selfexcited and hidden attractors in a Lorenzlike system describing convective fluid motion. Eur. Phys. J. Spec. Top. 224(8), 1421 (2015). https://doi.org/10.1140/epjst/e2015024703
Sharma, P., Shrimali, M., Prasad, A., Kuznetsov, N., Leonov, G.: Controlling dynamics of hidden attractors. Int. J. Bifurc. Chaos Appl. Sci. Eng. (2015). https://doi.org/10.1142/S0218127415500613
Pisarchik, A.N., Feudel, U.: Control of multistability. Phys. Rep. 540(4), 167 (2014)
Best, R., Kuznetsov, N., Leonov, G., Yuldashev, M., Yuldashev, R.: Tutorial on dynamic analysis of the Costas loop. IFAC Annu. Rev. Control 42, 27 (2016). https://doi.org/10.1016/j.arcontrol.2016.08.003
Leonov, G., Kuznetsov, N., Yuldashev, M., Yuldashev, R.: Holdin, pullin, and lockin ranges of PLL circuits: rigorous mathematical definitions and limitations of classical theory. IEEE Trans. Circuits Syst. I Regul. Pap. 62(10), 2454 (2015). https://doi.org/10.1109/TCSI.2015.2476295
Kuznetsov, N., Leonov, G., Yuldashev, M., Yuldashev, R.: Hidden attractors in dynamical models of phaselocked loop circuits: limitations of simulation in MATLAB and SPICE. Commun. Nonlinear Sci. Numer. Simul. 51, 39 (2017). https://doi.org/10.1016/j.cnsns.2017.03.010
Kuznetsov, N., Lobachev, M., Yuldashev, M., Yuldashev, R.: The Egan problem on the pullin range of type 2 PLLs. Trans. Circuits Syst. II Express Briefs 68(4), 1467 (2021). https://doi.org/10.1109/TCSII.2020.3038075
Kuznetsov, N., Matveev, A., Yuldashev, M., Yuldashev, R.: Nonlinear analysis of chargepump phaselocked loop: the holdin and pullin ranges. IEEE Trans. Circuits Syst. I Regul. Pap. 68(10), 4049 (2021). https://doi.org/10.1109/TCSI.2021.3101529
Arnold, V., Afraimovich, V., Ilyashenko, Y., Shilnikov, L.: Bifurcation Theory and Catastrophe Theory, vol. 5. Springer, Berlin (1994)
Ilyashenko, Y., Li, W.: Nonlocal Bifurcations. American Mathematical Society, Rhode Island (1999)
Kuznetsov, Y.: Elements of Applied Bifurcation Theory, vol. 112. Springer, Berlin (1998)
Andronov, A., Leontovich, E., Gordon, I.I., Maier, A.G.: Theory of Bifurcations of Dynamical Systems on a Plane. Wiley, New York (1973)
Afraimovich, V.S., Gonchenko, S.V., Lerman, L.M., Shilnikov, A.L., Turaev, D.V.: Scientific heritage of L.P. Shilnikov. Regul. Chaotic Dyn. 19(4), 435 (2014)
Kuznetsov, N., Reitmann, V.: Attractor Dimension Estimates for Dynamical Systems: Theory and Computation (Dedicated to Gennady Leonov). Springer, Cham (2021)
Leonov, G., Kuznetsov, N.: Hidden attractors in dynamical systems. From hidden oscillations in Hilbert–Kolmogorov, Aizerman, and Kalman problems to hidden chaotic attractors in Chua circuits. Int. J. Bifurc. Chaos Appl. Sci. Eng. (2013). https://doi.org/10.1142/S0218127413300024
Kuznetsov, N.: The Lyapunov dimension and its estimation via the Leonov method. Phys. Lett. A 380, 25–26 (2016). https://doi.org/10.1016/j.physleta.2016.04.036
Danca, M.F., Kuznetsov, N.: Matlab code for Lyapunov exponents of fractionalorder systems. Int. J. Bifurc. Chaos 28(5), 1850067 (2018). https://doi.org/10.1142/S0218127418500670
Kuznetsov, N., Leonov, G., Mokaev, T., Prasad, A., Shrimali, M.: Finitetime Lyapunov dimension and hidden attractor of the Rabinovich system. Nonlinear Dyn. 92(2), 267 (2018). https://doi.org/10.1007/s110710184054z
Kuznetsov, N., Kuznetsova, O., Leonov, G., Mokaev, T., Stankevich, N.: Hidden attractors localization in Chua circuit via the describing function method. IFAC PapersOnLine 50(1), 2651 (2017)
Rocha, R., MedranoT, R.O.: Stablity analysis and mapping of multiple dynamics of Chua’s circuit in fullfour parameter space. Int. J. Bifurc. Chaos 25, 1530037 (2015)
Rocha, R., MedranoT, R.: Finding hidden oscillations in the operation of nonlinear electronic circuits. Electron.Lett. 52, 1010 (2016)
Leonov, G., Kuznetsov, N., Kudryashova, E.: A direct method for calculating Lyapunov quantities of twodimensional dynamical systems. Proc. Steklov Inst. Math. 272(Suppl. 1), S119 (2011). https://doi.org/10.1134/S008154381102009X
Ermentrout, B.G.: Simulating, Analyzing, and Animating Dynamical Systems: A Guide to XPPAUT for Researchers and Students. SIAM, Philadelphia (2002)
Grebogi, C., Ott, E., Yorke, J.: Chaotic attractors in crisis. Phys. Rev. Lett. 48(22), 1507 (1982)
Stankevich, N., Volkov, E.: Multistability in a threedimensional oscillator: tori, resonant cycles and chaos. Nonlinear Dyn. 94(4), 2455 (2018)
Menacer, T., Lozi, R., Chua, L.: Hidden bifurcations in the multispiral Chua attractor. Int. J. Bifurc. Chaos 26(14), 1630039 (2016)
Lozi, R., Ushiki, S.: Coexisting chaotic attractors in Chua’s circuit. Int. J. Bifurc. Chaos 1(04), 923 (1991)
Ogorzałek, M.J., Galias, Z.: Characterisation of chaos in Chua’s oscillator in terms of unstable periodic orbits. J. Circuits Syst. Comput. 3(02), 411 (1993)
Kehlet, B., Logg, A.: A posteriori error analysis of roundoff errors in the numerical solution of ordinary differential equations. Numer. Algorithms 76(1), 191 (2017)
Tavazoei, M.S., Haeri, M.: A proof for non existence of periodic solutions in time invariant fractional order systems. Automatica 45(8), 1886 (2009)
Kuznetsov, N., Leonov, G.: Hidden attractors in dynamical systems: systems with no equilibria, multistability and coexisting attractors. In: IFAC Proceedings Volumes, vol. 47, p. 5445. Survey Lecture, 19th IFAC World Congress (2014). https://doi.org/10.3182/201408246ZA1003.02501
Kiseleva, M., Kuznetsov, N., Leonov, G., Neittaanmäki, P.: IEEE 4th International Conference on Nonlinear Science and Complexity, NSC 2012—Proceedings, pp. 109–112 (2012). https://doi.org/10.1109/NSC.2012.6304736
Kiseleva, M., Kuznetsov, N., Leonov, G., Neittaanmäki, P.: Discontinuity and Complexity in Nonlinear Physical Systems. vol. 6, chap. Drilling Systems: Stability and Hidden Oscillations. Springer, Berlin (2014). https://doi.org/10.1007/9783319014111_15
Leonov, G., Kuznetsov, N.: On flutter suppression in the Keldysh model. Dokl. Phys. 63(9), 366 (2018)
Leonov, G., Kuznetsov, N.: On the Keldysh problem of flutter suppression. AIP Conference Proceedings 1959(1), 020002 (2018). https://doi.org/10.1063/1.5034578
Kuznetsov, N.V., Mokaev, T.N., Kudryashova, E.V., Kuznetsova, O.A., Mokaev, R.N., Yuldashev, M.V., Yuldashev, R.V.: in AETA 2018—recent advances. In: Zelinka, I., Brandstetter, P., Trong Dao, T., Hoang Duy, V., Kim, S.B. (eds.) Electrical Engineering And Related Sciences: Theory And Application, pp. 639–644. Springer, Cham (2020)
Bezruchko, B., Seleznev, E.: Basins of attraction for chaotic attractors in coupled systems with period doubling. Tech. Phys. Lett. 23(2), 144 (1997)
Datasheet for AD822 op amp. https://pdf1.alldatasheet.com/datasheetpdf/view/48425/AD/AD822.html
Krauskopf, B., Osinga, H.M., Doedel, E.J., Henderson, M.E., Guckenheimer, J., Vladimirsky, A., Dellnitz, M., Junge, O.: A survey of methods for computing (un) stable manifolds of vector fields. Int. J. Bifurc. Chaos 15(03), 763 (2005)
Krauskopf, B., Osinga, H.M.: Numerical Continuation Methods for Dynamical Systems, pp. 117–154. Springer, Berlin (2007)
Shilnikov, A., Kolomiets, M.: Methods of the qualitative theory for the Hindmarsh–Rose model: a case studya tutorial. Int. J. Bifurc. chaos 18(08), 2141 (2008)
Datasheet for HM8118 LCRBridge. https://scdn.rohdeschwarz.com/ur/pws/dl_downloads/dl_common_library/dl_brochures_and_datasheets/pdf_1/service_support_30/HM8118_DataSheet_en_03.pdf
Andronov, A., Vitt, E., Khaikin, S.: Theory of Oscillators. Pergamon Press, Oxford (1966). [Transl. from Russian: 1937, ONTI NKTP SSSR]
Krylov, N., Bogolyubov, N.: Introduction to Nonlinear Mechanics. Princeton Univ. Press, Princeton (1947)
van der Pol, B.: On relaxation–oscillations. Philos. Mag. J. Sci. 7(2), 978 (1926)
Khalil, H.: Nonlinear Systems. Prentice Hall, Prentice (2002)
Leonov, G.: Efficient methods for periodic oscillations search in dynamical systems. App. Math. Mech. 74(1), 24 (2010)
Genesio, R., Tesi, A.: Harmonic balance methods for the analysis of chaotic dynamics in nonlinear systems. Automatica 28(3), 531 (1992)
Genesio, R., Tesi, A.: A harmonic balance approach for chaos prediction: Chua’s circuit. Int. J. Bifurc. Chaos 2(01), 61 (1992)
Schot, S.H.: Jerk: the time rate of change of acceleration. Am. J. Phys. 46(11), 1090 (1978)
Pyragas, K.: Continuous control of chaos by selfcontrolling feedback. Phys. Lett. A 170(6), 421 (1992)
Celka, P.: Experimental verification of Pyragas’s chaos control method applied to Chua’s circuit. Int. J. Bifurc. Chaos 4(06), 1703 (1994)
Kuznetsov, N., Mokaev, T., Kudryashova, E., Kuznetsova, O., Danca, M.F.: On lowerbound estimates of the Lyapunov dimension and topological entropy for the Rossler systems. IFAC PapersOnLine 52(18), 97 (2019)
Alexeeva, T., Barnett, W., Kuznetsov, N., Mokaev, T.: Timedelay control for stabilization of the Shapovalov midsize firm model. IFAC PapersOnLine 53(2), 16971B – 16976 (2020)
Lin, W., Ma, H., Feng, J., Chen, G.: Locating unstable periodic orbits: when adaptation integrates into delayed feedback control. Phys. Rev. E 82(4), 046214 (2010)
Lehnert, J., Hövel, P., Flunkert, V., Guzenko, P., Fradkov, A., Schöll, E.: Adaptive tuning of feedback gain in timedelayed feedback control. Chaos Interdiscip. J. Nonlinear Sci. 21(4), 043111 (2011)
Pyragas, V., Pyragas, K.: Adaptive modification of the delayed feedback control algorithm with a continuously varying time delay. Phys. Lett. A 375(44), 3866 (2011)
Ogorzałek, M.J., Galias, Z.: Chua’s Circuit: A Paradigm For Chaos, pp. 230–248. World Scientific, Singapore (1993)
Kahn, P., Zarmi, Y.: Nonlinear Dynamics. Exploration Through Normal Forms, Wiley, New York (1998)
Sprott, J., Jafari, S., Khalaf, A., Kapitaniak, T.: Megastability: Coexistence of a countable infinity of nested attractors in a periodicallyforced oscillator with spatiallyperiodic damping. Eur. Phys. J. Spec. Top. 226(9), 1979 (2017)
Leonov, G., Kuznetsov, N., Kudryashova, E., Kuznetsova, O.: Modern symbolic computation methods: Lyapunov quantities and 16th Hilbert problem. SPIIRAS Proc. 1(16), 5 (2011)
Kuznetsov, N., Kuznetsova, O., Leonov, G.: Visualization of four normal size limit cycles in twodimensional polynomial quadratic system. Differ. Equ. Dyn. Syst. 21(1–2), 29 (2013). https://doi.org/10.1007/s1259101201186
Leonov, G., Kuznetsov, N., Vagaitsev, V.: Hidden attractor in smooth Chua systems. Physica D Nonlinear Phenom. 241(18), 1482 (2012). https://doi.org/10.1016/j.physd.2012.05.016
Li, Q., Zeng, H., Yang, X.S.: On hidden twin attractors and bifurcation in the Chua’s circuit. Nonlinear Dyn. 77(1–2), 255 (2014)
Chen, M., Li, M., Yu, Q., Bao, B., Xu, Q., Wang, J.: Dynamics of selfexcited attractors and hidden attractors in generalized memristorbased Chua’s circuit. Nonlinear Dyn. 81, 215 (2015)
Bao, B., Hu, F., Chen, M., Xu, Q., Yu, Y.: Selfexcited and hidden attractors found simultaneously in a modified Chua’s circuit. Int. J. Bifurc. Chaos 25(05), 1550075 (2015). https://doi.org/10.1142/S0218127415500753
Chen, M., Yu, J., Bao, B.C.: Finding hidden attractors in improved memristorbased Chua’s circuit. Electron. Lett. 51, 462 (2015)
Semenov, V., Korneev, I., Arinushkin, P., Strelkova, G., Vadivasova, T., Anishchenko, V.: Numerical and experimental studies of attractors in memristorbased Chua’s oscillator with a line of equilibria, Noiseinduced effects. Eur. Phys. J. Spec. Top. 224(8), 1553 (2015)
Chen, M., Yu, J., Bao, B.C.: Hidden dynamics and multistability in an improved thirdorder Chua’s circuit. J. Eng. (2015). https://doi.org/10.1049/joe.2015.0149
Zelinka, I.: Evolutionary identification of hidden chaotic attractors. Eng. Appl. Artif. Intell. 50, 159 (2016)
Rocha, R., Ruthiramoorthy, J., Kathamuthu, T.: Memristive oscillator based on Chua’s circuit: stability analysis and hidden dynamics. Nonlinear Dyn. 88(4), 2577 (2017)
Zhao, H., Lin, Y., Dai, Y.: Hopf bifurcation and hidden attractor of a modified Chua’s equation. Nonlinear Dyn. (2017). https://doi.org/10.1007/s1107101737776
Kiseleva, M., Kudryashova, E., Kuznetsov, N., Kuznetsova, O., Leonov, G., Yuldashev, M., Yuldashev, R.: Hidden and selfexcited attractors in Chua circuit: synchronization and SPICE simulation. Int. J. Parallel Emerg. Distrib. Syst. 33(5), 513 (2018). https://doi.org/10.1080/17445760.2017.1334776
Wang, N., Zhang, G., Kuznetsov, N., Bao, H.: Hidden attractors and multistability in a modified Chua’s circuit. Commun. Nonlinear Sci. Numer. Simul. 92, 105494 (2021)
Funding
Open Access funding provided by the University of Jyväskylä. (JYU). The work is carried out with the financial support of the Russian Science Foundation (221100172) [section 1,5], Leading Scientific Schools program (project NSh4196.1.1) and St.Petersburg State University grant (Pure ID 75207094). Experiments and technique of visualization of hidden attractor and multistability were implemented at Kotelnikov’s Institute of Radioelectronics and Engineering RAS (Saratov branch) with financial support of the Russian Science Foundation (grant No. 211200121) [section 4]. We would like to dedicate this work to the memory of our colleague, scientific advisor and friend—Evgeniy P. Seleznev (19602021), with whom we had started it back in 2018 and finished at the beginning of 2022 after his sudden passing away.
Author information
Authors and Affiliations
Contributions
All authors whose names appear on the submission made substantial contributions to the conception of the work, the acquisition, analysis, and interpretation of data, as well as the creation of new software used in the work; drafted the work and revised it critically for important intellectual content; approved the version to be published; and agree to be accountable for all aspects of the work in ensuring that questions related to the accuracy or integrity of any part of the work are appropriately investigated and resolved.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
\(\dagger \): Evgeniy Seleznev.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kuznetsov, N., Mokaev, T., Ponomarenko, V. et al. Hidden attractors in Chua circuit: mathematical theory meets physical experiments. Nonlinear Dyn 111, 5859–5887 (2023). https://doi.org/10.1007/s1107102208078y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1107102208078y
Keywords
 Hidden attractors
 Bifurcations
 Radiophysical experiment
 Chua circuit
Mathematics Subject Classification
 37C55
 37E45
 37E99