Abstract
Controlling system dynamics with use of the Largest Lyapunov Exponent (LLE) is employed in many different areas of the scientific research. Thus, there is still need to elaborate fast and simple methods of LLE calculation. This article is the second part of the one presented in Dabrowski (Nonlinear Dyn 67:283–291, 2012). It develops method LLEDP of the LLE estimation and shows that from the time series of two identical systems, one can simply extract value of the stability parameter which value can be treated as largest LLE. Unlike the method presented in part, one developed method (LLEDPT) can be applied to the dynamical systems of any type, continuous, with discontinuities, with time delay and others. The theoretical improvement shows simplicity of the method and its obvious physical background. The proofs for the method effectiveness are based on results of the simulations of the experiments for Duffing and Van der Pole oscillators. These results were compared with ones obtained with use of the Stefanski method (Stefanski in Chaos Soliton Fract 11(15):2443–2451, 2000; Chaos Soliton Fract 15:233–244, 2003; Chaos Soliton Fract 23:1651–1659, 2005; J Theor Appl Mech 46(3):665–678, 2008) and LLEDP method. LLEDPT can be used also as the criterion of stability of the control system, where desired behavior of controlled system is explicitly known (Balcerzak et al. in Mech Mech Eng 17(4):325–339, 2013). The next step of development of the method can be considered in direction that allows estimation of LLE from the real time series, systems with discontinuities, with time delay and others.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Depending on the dynamical system type and kind of the information that is useful in its investigations, there are applied different types of invariants characterizing the system dynamics. One can use for instance Kolmogorov entropy [1] or correlation dimension [2, 3] to determine chaotic level or complexity of the system dynamics [4]. But when there is a need to predict behavior of the real system with possibility of different disturbances existence, Lyapunov exponents are one of the most often applied tools. That is because, these exponents determine the exponential convergence or divergence of trajectories that start close to each other. The existence of such numbers has been proved by Oseledec theorem [5], but the first numerical study of the system behavior using Lyapunov exponents has been done by Henon and Heiles [6], before the Oseledec theorem publication. The most important algorithms for calculating Lyapunov exponents for a continuous systems have been developed by Benettin et al. [7] and Shimada and Nagashima [8], later improved by Benettin et al. [9, 10] and Wolf [11]. For the system with discontinuities or time delay, one possible approach is the estimation of Lyapunov exponents from the scalar time series basing on Takens procedure [12]. Numerical algorithms for such estimation have been developed by Wolf et al. [13], Sano and Sawada [14], and later improved by Eckmann et al. [15], Rosenstein et al. [16] and Parlitz [17].
The set of Lyapunov exponents contains much physical information characterizing the considered dynamical system, but calculation of the full spectrum demands much time and labor. Hence, only the largest Lyapunov exponent (LLE), which determines the predictability of the dynamical system, is frequently referred. That is because, excluding systems with Perron effect [39], the presence of at least one positive Lyapunov exponent, by definition, is the most important evidence for chaos [18]. The algorithm for calculating the largest Lyapunov exponent was independently presented by Rosentein et al. [16] and Kantz [19] These methods make use of the statistical properties of the local divergence rates of nearby trajectories. An improved algorithm based on Rosentein and Kantz was recently presented by Kim and Choe [20]. The next method of the LLE calculation was introduced by Stefanski [21–24]. This method based on the synchronization phenomena allows the LLE estimation for both, continuous and not continuous systems, and thus can be applied for system with flow and maps dynamics representation.
Nowadays, LLE is employed in many different areas of the scientific research [25–37]. Thus, there is still need to elaborate fast and simple methods of LLE calculation. The new method of the LLE estimation is presented in this paper. It is shown that from the behavior of the two identical systems, one can extract stability parameter LLEL which value can be treated as the LLE.
2 The LLEDPT method
Generally presented method bases on the analysis of the disturbance changes \(\hbox {d}\mathbf{z}(t)\) in direction of the general disturbance vector \(\mathbf{z}(t)\) (Fig. 1) and was discussed in [38]. Note that presented here and in [38] theoretical background is just only general way of thinking and cannot be treated as a formal proof. Proofs of the method efficiency one can find in results of the numerical simulations.
Vector \(\mathbf{z}(t)\) determines difference between reference flow \(\mathbf{y}(t)\) and disturbed flow \(\mathbf{x}(t)\): The main idea follows the fact that system is stable when the average changes of perturbation \(\hbox {d}\mathbf{z}(t)\) cause average decrease of \(\mathbf{z}(t)\).
At each fixed time \(t\), disturbance vector \(\mathbf{z}(t)\) can obtained from:
While in [38] behavior of \(\mathbf{z}(t)\) was analyzed with use of the linearized variational Eq. (2)
where: \(\mathbf{U}(\mathbf{y}(t))\) is the Jacobi matrix in the point \(\mathbf{y}(t)\) in present case, we can calculate actual \(\mathbf{z}(t)\) and \(\hbox {d}\mathbf{z}(t)\) from the behavior of the two real systems \(\mathbf{x}(t)\) and \(\mathbf{y}(t)\). Thus, \(\mathbf{U}(\mathbf{y}(t))\) is no longer needed in the procedure of studying behavior of the perturbation \(z(t)\). It is one of the advantages of the presented method. One can investigate stability of the dynamical system without any knowledge about analysed systems equations.
Analysis of the transformation of the vector z in the direction of the chosen transversal eigenvector w* (Fig. 1):
In each step of the simulations for fixed time \(t\) transformation, U can be considered as linear transformation of the vector z. Assuming that \(\lambda ^{*}\) is eigenvalue of the transformation U in direction of the eigenvector \(\hbox {w}^{*}\) it can be written:
After the transformation:
and the integration for \(\mathbf{z}^{*}(0) = \mathbf{z}_{0}^{*}\), one obtains:
where:
-
\({\vert }\mathbf{z}^{*} {\vert }\)—norm of the projection of vector \(\mathbf{z}\) on to the direction of the eigenvector \(\mathbf{w}^{*}\).
-
\(\lambda ^{*}\)—eigenvalue in the direction of the eigenvector \(\mathbf{w}^{*}\).
Equation (5) describes a mean transformation of the vector \(\mathbf{z}^{*}\) after time \(t\). For \(t\rightarrow t^{*}\), where \(t^{*}\) is a time of stabilization of mean \(\lambda ^{*}\), it can be treated as a value of the stability parameter that allows to estimate exponential convergence, or divergence of nearby trajectories measured in the direction of \(\mathbf{w}^{*}\). For the \(m\)-dimensional transversal eigenvector set \((\mathbf{w}_{1}^{*},\,\mathbf{w}_{2}^{*},{\ldots },\,\mathbf{w}_\mathrm{m}^{*})\) and respective eigenvalues \((\varvec{\uplambda }_{1}^{*}, \varvec{\uplambda }_{2}^{*},{\ldots },\,\varvec{\uplambda }_\mathrm{m}^{*})\), one can obtain the whole disturbance z transformation in the following form:
where \(a_1 ,\,a_2 ,{\ldots },a_m\) depend on the initial conditions. In the case \(\varvec{\uplambda }^{*} > \varvec{\uplambda }_{1}^{*}, \varvec{\uplambda }_{2}^{*},{\ldots },\,\varvec{\uplambda }_\mathrm{m}^{*}\) as \(t\rightarrow t^{*}\), the terms \(e^{\lambda _1^{*}t},\hbox { }e^{\lambda _2^{*}t},\ldots ,e^{\lambda _m^{*}t}\) become negligible and the perturbation evolves as \(e^{\lambda ^{*}t}\), which is of the most importance for the presented method. The LLES is of course a mean value of \(\varvec{\uplambda }^{*}\).
In the presented method, Eq. (3) is used for the system stability determination. Using vectors dot product properties (Fig. 1):
After simple transformations:
The average value \({\hat{\lambda }}^{*}\) of real part of \(\lambda ^{*}\) is the parameter allowing us to determine stability of the system along the direction of the disturbance z.
Taking also into account that the direction of the disturbance vector z and directions of the initial frame of the orthonormal vectors during the evolution converge to the eigenvector with the largest eigenvalue, of the mean transformation \(\mathop {U}\limits ^{\frown }(y(t))\) of all transformations \(\mathbf{U}(\mathbf{y}(t))\) along the phase trajectory, one can conclude that the obtained value \({\hat{\lambda }}^{*}\) is similar to the value of the LLE.
However, values \({\hat{\lambda }}^{*}\) and the LLE can differ slightly. That is because the disturbance vector z is influenced not only by the largest eigenvalue (see Eq. 6). Directions of the eigenvector with the biggest eigenvalue and main principal axis with the biggest length change are convergent to direction of the disturbance z. But these directions are not the same. As has been mentioned earlier, the direction respective to the LLE has the main influence on vector z changes. Simultaneously, during the evolution of the system, other eigenvalues exert their influence in that direction as well. It causes that \({\hat{\lambda }}^{*}\) shows general stability of the synchronization manifold. A simplified graphical interpretation of such deliberations is presented in Fig. 2. One can see vectors \(\mathbf{w}_{1}\) and \(\mathbf{w}_{2}\) on it. These are eigenvectors of the U transformation (Eq. 3) treated as the mean transformation along the disturbance z trajectory. The eigenvectors \(\mathbf{w}_{1}\) and \(\mathbf{w}_{2}\) can form a new basis of the space, and the vector z can be decomposed into directions of these eigenvectors. One gets the component vectors \(\mathbf{z}_{1}\) and \(\mathbf{z}_{2}\) then. The transformation U acts in those directions by the eigenvalues \(\lambda _{1}\) and \(\lambda _{2}\) in the following way:
It means that the differences \(\hbox {d}\mathbf{z}_{1}\) and \(\hbox {d}\mathbf{z}_{2}\) depend straightly on the eigenvalues \(\uplambda _{1},\,\uplambda _{2}\) and the components \(\mathbf{z}_{1}\) and \(\mathbf{z}_{2}\). Assuming that \(\hbox {Re}(\uplambda _{1}) > \hbox {Re}(\uplambda _{2}). > 0 \hbox { Im}(\uplambda _{1}) = \hbox {Im}(\uplambda _{2}).= 0\), one can see in Fig. 2 that in the case \(\Vert \mathbf{z}_{1}\Vert = \Vert \mathbf{z}_{2}\Vert \), it causes \(\Vert \hbox {d}\mathbf{z}_{1}\Vert > \Vert \hbox {d}\mathbf{z}_{2}\Vert \). From Fig. 2 it follows that the vector z rotates and after some transformations, the direction of the vector \(\mathbf{z}+\hbox {d}\mathbf{z}\) is closer to the vector \(\mathbf{w}_{1}\) connected to the larger eigenvalue \(\uplambda _{1}\). Following further the causes of that transformation, it can be seen from Fig. 2 that the vector z grows more in the direction of \(\mathbf{w}_{1}\) than \(\mathbf{w}_{2}\). From Eqs. (9), one can conclude that in the next step of the transformation, the growth of the vector z in that direction will be bigger than in the first step. Thus, the direction of the vector z in each step approaches asymptotically the direction of the vector \(\mathbf{w}_{1}\) connected to a larger eigenvalue \(\uplambda _{1}\). Concluding that reasoning, the proposed method of the LLE determination applies the feature of the convergence of the vector z to the direction of the eigenvector connected to the largest eigenvalue of the mean transformation \(\mathop {U}\limits ^{\frown }(y(t))\), which is in our case the LLEL value. In results of the numerical simulations, one can find that LLEL has the same value as LLE. Thus, since that moment LLEL and LLE will be treated and named as the same stability parameter LLE.
The most important attribute of the LLEDPT method is its simplicity and a possibility of building fast acting algorithms. There is no need to calculate eigenvalues of the Jacobi matrix in each step of the integration, no need of the Gram–Schmidt vector orthonormalization. The vector z has to be only normalized, which stops it from the growth which introduces inaccuracy into the method. That inaccuracy has its background in the fact, that the method bases on the behavior of the linearized system. Thus, in the case, when z grows too much, Eq. (2) is no longer valid. The LLEDPT is straightly connected to the real stability of the system because of the analysis of the exponential divergence and convergence in the direction of the perturbation vector z. Thus, it could be more efficient in experimental investigations of the real systems.
3 Numerical simulations
Behavior of two real dynamical systems was simulated with use of the program written in Delphi. The numerical simulations were based on integration of the differential equations (8, 9) with use of the Runge Kutta (RK4) method of the fourth order. The step of integration was fit to the system type with use of the procedure of integration with control of the integration error. Then, it was applied into the procedure RK4 with constant integration step. Both the equations sets \(x(t)\) and \(y(t)\), the system variables x and the perturbation variables z, were integrated in each step of RK4. After each integration step considered in Eq. (6), the value \(\lambda ^{*}\) was calculated.
An average value of the \({\hat{\lambda }}^{*}\) was calculated in time of all the computations. The attained value of the LLE was the \({\hat{\lambda }}^{*}\) value for the \({\hat{\lambda }}^{*}\) increment smaller than the matched \(\upvarepsilon \) value.
Dynamical state of the perturbed system has been reduced into reference one neighborhood on each 15 periods of external excitation.
3.1 Van Der Pol oscillator with external excitation
First, analyzed example shows results of LLE extraction from behavior of two Van der Pol oscillators with external excitation (11)
In the bifurcation diagram (Fig. 3), one can see different types of the system dynamics and values of LLE obtained with use of the presented method confirming its efficiency. One can observe negative LLE in periodic regions, positive in chaotic ones and zero LLE values that determine period doubling bifurcation points are visible as well. The time of the LLE estimation for each bifurcation parameter value depends on the actual \({\hat{\lambda }}^{*}\) increment. The attained value of the LLE was the \({\hat{\lambda }}^{*}\) value for the \({\hat{\lambda }}^{*}\) increment smaller than the matched \(\upvarepsilon \) value. To determine the exact bifurcation parameter values maintaining the fast algorithm operation, \(\upvarepsilon \) was changed depending on the actual LLE value.
Comparison of the LLE estimated with use of the LLEDPT method and LLEDP method [38] is shown in Fig. 4. As the results are very similar, one cannot easily see differences between white and black curves.
3.2 Duffing oscillator with external excitation
Next, analyzed example shows results of LLE extraction from behavior of two Duffing oscillators with external excitation (12).
Analogically to Van der Pol example in Fig. 5, one can see the bifurcation diagram with different types of the system dynamics of the Duffing system. Presented values of LLE confirm for the next time efficiency of the presented method. One can observe negative LLE in periodic regions, positive in chaotic ones and zero LLE values that determine period doubling bifurcation points are visible as well. Comparison of the LLEs estimated with use of three methods: presented one, Stefanski method [20] and LLEDPT method [38] is shown in Fig. 6. For the next time, it proves the validity of the taken assumptions.
4 Conclusions
The next step of development of new LLE estimation method was presented. As the method does not need equations of motion, it can be applied to the dynamical systems of any type, continuous, with discontinuities, with time delay or as the method that allows estimation of LLE from the real time series. Other proposition is to exploit the method as criterion of the control system stability, where desired behavior of controlled system is explicitly known.
The theoretical improvement was also introduced. It shows simplicity of the method and its obvious physical background. Presented results are based on simulations of the experiments for Duffing and Van der Pol oscillators. Results of the numerical simulations were compared with ones obtained with use of the Stefanski method [21–24] and LLEDPT method presented in [38]. The study confirms effectiveness of the presented method of LLE estimation.
References
Bennettin, G., Froeschle, C., Scheidecker, J.P.: Kolmogorov entropy of a dynamical system with increasing number of degrees of freedom. Phys Rev A 19, 2454–60 (1979)
Grassberger, P., Procaccia, I.: Characterization of strange attractors. Phys Rev Lett 50, 346–9 (1983)
Alligood, K.T., Sauer, T.D., Yorke, J.A.: Chaos an introduction to dynamical systems. Springer-Verlag, New York (2000)
Eckmann, J.-P., Ruelle, D.: Ergodic theory of chaos and strange attractors. Rev Mod Phys 57, 617–56 (1985)
Oseledec, V.I.: A multiplicative ergodic theorem: Lyapunov characteristic numbers for dynamical systems. Trans Moscow Math Soc 19, 197–231 (1968)
Henon, M., Heiles, C.: The applicability of the third integral of the motion: some numerical results. Astron J 69, 77 (1964)
Benettin, G., Galgani, L., Strelcyn, J.M.: Kolmogorov entropy and numerical experiment. Phys Rev A 14, 2338–45 (1976)
Shimada, I., Nagashima, T.: A numerical approach to ergodic problem of dissipative dynamical systems. Prog Theor Phys 61(6), 1605–16 (1979)
Benettin, G., Galgani, L., Giorgilli, A., Strelcyn, J.M.: Lyapunov exponents for smooth dynamical systems and Hamiltonian systems; a method for computing all of them, part I: theory. Meccanica 15, 9–20 (1980)
Benettin, G., Galgani, L., Giorgilli, A., Strelcyn, J.M.: Lyapunov exponents for smooth dynamical systems and Hamiltonian systems; a method for computing all of them, part II: numerical application. Meccanica 15, 21–30 (1980)
Wolf, A.: Quantifying chaos with Lyapunov exponents. In: Holden, V. (ed.) Chaos, pp. 273–90. Manchester University Press, Manchester (1986)
Takens, F.: Detecting strange attractors in turbulence. Lect Notes Math 898, 366 (1981)
Wolf, A., Swift, J.B., Swinney, H.L., Vastano, J.A.: Determining Lyapunov exponents from a time series. Physica D 16, 285–317 (1985)
Sano, M., Sawada, Y.: Measurement of the Lyapunov spectrum from a chaotic time series. Phys Rev Lett 55, 1082–5 (1985)
Eckmann, J.P., Kamphorst, S.O., Ruelle, D., Ciliberto, S.: Lyapunov exponents from a time series. Phys Rev Lett 34(9), 4971–9 (1986)
Rosenstein, M.T., Collins, J.J.: A practical method for calculating largest Lyapunov exponents from small data sets. Physica D 65(1,2), 117–134 (1993)
Parlitz, U.: Identification of true and spurious Lyapunov exponents from time series. J Bifurcat Chaos 2(1), 155–65 (1992)
Young, L.: Entropy, Lyapunov exponents, and Hausdorff dimension in differentiable dynamical systems. IEEE Trans Circuits Syst CAS–30, 599–607 (1983)
Kantz, H.: A robust method to estimate the maximal Lyapunov exponent of a time series. Phys Lett A 185, 77–87 (1994)
Kim, B.J., Choe, G.H.: High precision numerical estimation of the largest Lyapunov exponent. Commun Nonlinear Sci Numer Simulat 15, 1378–1384 (2010)
Stefański, A.: Estimation of the largest Lyapunov exponent in systems with impacts. Chaos Solitons Fractals 11(15), 2443–2451 (2000)
Stefański, A., Kapitaniak, T.: Estimation of the dominant Lyapunov exponent of non-smooth systems on the basis of maps synchronization. Chaos Solitons Fractals 15, 233–244 (2003)
Stefański, A., Dąbrowski, A., Kapitaniak, T.: Evaluation of the largest Lyapunov exponent in dynamical systems with time delay. Chaos, Solitons and Fractals 23, 1651–1659 (2005)
Stefanski, A.: Lyapunov exponents of the systems with noise and fluctuating parameters. Journal of Theoretical and Applied Mechanics 46(3), 665–678 (2008)
Yılmaz, D., Gülerb, N.F.: Analysis of the Doppler signals using largest Lyapunov exponentand correlation dimension in healthy and stenosed internal carotid artery patients. Digital Signal Processing. 20, 401–409 (2010)
Gharavia, R., Anantharamb, V.: An upper bound for the largest Lyapunov exponent of a Markovian product of nonnegative matrices. Theoretical Computer Science 332, 543–557 (2005)
Ronga, H.W., Mengb, G., Wanga, X.D., Xuc, W., Fangc, T.: Largest Lyapunov exponent for second-order linear systems under combined harmonic and random parametric excitations. Journal of Sound and Vibration 283, 1250–1256 (2005)
Vallejos, R.O., Anteneodo, C.: Largest Lyapunov exponent of long-range XY systems. Physica A 340, 178–186 (2004)
Petry, A., Barone, D.A.C.: Preliminary experiments in speaker verification usingtime-dependent largest Lyapunov exponents. Computer Speech and Language 17, 403–413 (2003)
Yılmaz, D., Gülerb, N.F.: Analysis of the Doppler signals using largest Lyapunov exponent and correlation dimension in healthy and stenosed internal carotid artery patients. Digital Signal Processing 20, 401–409 (2010)
Chlouverakis, K.E., Adams, M.J.: Stability maps of injection-locked laser diodes usingthe largest Lyapunov exponent. Optics Communications 216, 405–412 (2003)
Pavlov, A.N., Janson, N.B., Anishchenko, V.S., Gridnev, V.I., Dovgalevsky, P.Y.: Diagnostic of cardio-vascular disease with help of largest Lyapunov exponent of RR-sequences. Chaos, Solitons and Fractals 11, 807–814 (2000)
Giovanni, A., Ouaknine, M., Triglia, J.M.: Determination of Largest Lyapunov Exponents of Vocal Signal: Application to Unilateral Laryngeal Paralysis. Journal of Voice 13(3), 341–354 (1999)
Feng, Z.H., Hu, H.Y.: Largest Lyapunov exponent and almost certain stability analysis of slender beams under a large linear motion of basement subject to narrowband parametric excitation. Journal of Sound and Vibration 257(4), 733–752 (2002)
Stefański, A., Perlikowski, P., Kapitaniak, T.: Ragged synchronizability of coupled oscillators. Physical Review E 75(016210), 1–7 (2007)
Stefański, A., Perlikowski, P., Kapitaniak, T.: Discontinuous synchrony in an array of Van der Pol oscillators. International Journal of Non-Linear Mechanics 45, 895–901 (2010)
Dabrowski, A.: The largest Transversal Lyapunov Exponent and Master Stability Function from the perturbation Vector and its derivative Dot Product (TLEVDP). Nonlinear Dyn 69, 1225–1235 (2012)
Dabrowski, A.: Estimation of the largest Lyapunov exponent from the perturbation vector and its derivative dot product. Nonlinear Dyn 67, 283–291 (2012)
Leonov, G.A., Kuznetsov, N.V.: Time-Varying Linearization and the Perron effects. International Journal of Bifurcation and Chaos 17(4), 1079–1107 (2007)
Balcerzak, M., Dabrowski, A., Kapitaniak, T., Jach, A.: Optimization of the Control System parameters with Use of the New Simple Method of the Largest Lyapunov Exponent Estimation. Mechanics and Mechanical Engineering 17(4), 325–339 (2013)
Acknowledgments
This study has been supported by the Polish National Science Center (NCN) under project No.2011/01/B/ST8/07527.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Dabrowski, A. Estimation of the largest Lyapunov exponent-like (LLEL) stability measure parameter from the perturbation vector and its derivative dot product (part 2) experiment simulation. Nonlinear Dyn 78, 1601–1608 (2014). https://doi.org/10.1007/s11071-014-1542-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11071-014-1542-7