Research Article  Open Access
Baoying Chen, "The Related Extension and Application of the Ši'lnikov Theorem", Journal of Applied Mathematics, vol. 2013, Article ID 287123, 5 pages, 2013. https://doi.org/10.1155/2013/287123
The Related Extension and Application of the Ši'lnikov Theorem
Abstract
The traditional Ši'lnikov theorems provide analytic criteria for proving the existence of chaos in highdimensional autonomous systems. We have established one extended version of the Ši'lnikov homoclinic theorem and have given a set of sufficient conditions under which the system generates chaos in the sense of Smale horseshoes. In this paper, the extension questions of the Ši'lnikov homoclinic theorem and its applications are still discussed. We establish another extended version of the Ši'lnikov homoclinic theorem. In addition, we construct a new threedimensional chaotic system which meets all the conditions in this extended Ši'lnikov homoclinic theorem. Finally, we list all wellknown threedimensional autonomous quadratic chaotic systems and classify them in the light of the Ši'lnikov theorems.
1. Introduction
Over the past decades, chaos has received extensive attention from scientific communities such as physics, biology, chemistry, social sciences, and engineering. Today’s science thinks that chaos can be found everywhere; for example, chaos can be obtained in both threevariable model for Ca^{2+} signal and tenvariable model for circadian oscillations in Drosophila [1, 2]. People study chaos from theoretical viewpoints on the one hand, including revealing the essence and basic characteristics of chaos and understanding its dynamical behaviors, and try to control and anticontrol chaos from viewpoints of engineering applications on the other hand. Based on the consideration of two aspects of theory and applications, many new chaotic systems have been constructed, such as the generalized Lorenz system, Rössler system, and Chen system. Note that all these constructed chaotic systems belong to the class of threedimensional(3D) autonomous quadratic dynamical systems. Since a planar autonomous polynomial system cannot generate chaos, three dimensions are needed for an autonomous system to generate chaos, and moreover, the simplest possible form of chaotic systems is 3D autonomous quadratic dynamical systems. Thus, 3D autonomous polynomial systems, in particular 3D autonomous quadratic dynamical systems, occupy a particular position in the study of chaos.
By far, continuous efforts have been devoted to seeking a unified theory and some kinds of canonical forms for all possible continuoustime 3D autonomous quadratic chaotic systems. In particular, there are many important theoretical results about criteria of chaos; for example, for discrete dynamical systems, there is the famous Marotto theorem. For highdimensional continuous dynamical systems, there is the famous Ši'lnikov theorem [3–6]. Despite these endeavors, there have not yet been systematic results on how to reasonably classify chaos in autonomous systems, and the related studies are few. Therefore, even for a simple class of 3D autonomous quadratic dynamical systems, finding out all simplest possible forms of chaotic systems is especially important with significant impacts on both basic research and engineering applications.
So far there are only two different algebraic criteria in [7–11] about the classification of 3D autonomous chaotic systems. However, we know that the linear parts of a nonlinear system can only influence the local dynamical behavior and chaos usually is determined by the nonlinear parts. Therefore, although these two algebraic criteria can classify a large set of chaotic systems, they could not reveal the geometric structure and the formation mechanism of chaos well [12].
This paper discusses the extension of Ši'lnikov homoclinic theorem and its applications. We have extended the classical Ši'lnikov homoclinic theorem to one critical case [13]. Next we will extend it to another critical case in this paper. Moreover, in applications of Ši'lnikov theorems (including the extended versions), the key is to check whether or not a homoclinic orbit exists, but usually, this condition is not easily verified mainly because there are no available efficient methods. Based on the type of eigenvalues of the Jacobian matrix evaluated at the system equilibrium, we have proposed a framework of finding homoclinic orbits for two different cases; that is, first expand homoclinic orbits to be found as a reasonable series form, and then determine all the coefficients in the expansion by using the undetermined coefficient method combined with numerical simulation, thus determining homoclinic orbits [14, 15]. The numerical examples are displayed to examine the effectiveness of this method. Finally, based on the Ši'lnikov criteria, the 3D autonomous quadratic dynamical systems are classified into four types [14]:(1)chaos of the Ši'lnikov homoclinic orbit type;(2)chaos of the Ši'lnikov heteroclinic orbit type;(3)chaos of the hybrid type, that is, those chaotic systems with both Ši'lnikov homoclinic and heteroclinic orbits;(4)chaos of other types except for the previous three types.
2. Revisiting Ši'lnikov Homoclinic Theorems
One of the rare theories for proving the existence of chaos in the highdimensional continuous dynamical systems is Ši'lnikov homoclinic (heteroclinic) theorem. Its core idea is that supposing there exists a homoclinic orbit based at the equilibrium point, then constructing a Poincaré map, defined in the neighborhood of the homoclinic orbit, and then proving that the map has Smale horseshoes. One version of the classical Ši'lnikov homoclinic theorem can refer to [6].
Theoretical value notwithstanding, many concrete chaotic systems do not meet some conditions stated in the classical Ši'lnikov theorem, such as the Sprott(c) system [16]. In fact, one can intentionally construct this kind of chaotic systems that do not meet the required conditions. Thus, further relaxing the restrictive conditions of the classical Ši'lnikov theorems is in order. We have extended the classical Ši'lnikov homoclinic theorem to one critical case where three eigenvalues of the corresponding Jacobian evaluated at the equilibrium point are zero and . This extended version of Ši'lnikov homoclinic theorem is given in [13]. The proof of the extended theorem is basically similar to that of the original Ši'lnikov homoclinic theorem. The detailed proof and the numerical example can refer to [13].
Here, we extend the classical Ši'lnikov homoclinic theorem to another critical case where a 3D autonomous polynomial system with one equilibrium at which the eigenvalues of the Jacobian are given by and . Consider the following 3D autonomous system: where , , and are vector fields, vanishing at the origin , and are nonlinear in, , and . According to the normal form theory [17], the normal form of system (1) is where , , and are constants. In this case, the conclusion of the extended version of the Ši'lnikov homoclinic theorem is stated as follows.
Theorem 1. Suppose that(1), ;(2)there exists a homoclinic orbit connected at .Then(1)the Ši'lnikov map, defined in a neighborhood of the homoclinic orbit of the system, possesses a countable number of Smale horseshoes in its corresponding discrete system;(2)system (2) possesses horseshoe chaos.
The proof of the theorem is similar to that of other two Ši'lnikov homoclinic theorems. The detailed proof which is omitted here can refer to [13]. The according numerical example is where is a constant. The system (3) is chaotic when the parameter . Similarly, we can show that system (3) has Ši'lnikov homoclinic chaos.
3. A Framework of Finding Homoclinic Orbits
We know that the difficult part in applying the Ši'lnikov theorems (including the extended versions) is how to determine the existence of one homoclinic orbit. We have presented a framework of finding the possible homoclinic orbits in two classes of 3D autonomous systems (saddlefocus type or onedimensional degenerate type) [15]. First, if the eigenvalues of the Jacobian , evaluated at equilibrium point, are , . According to the form of the flow linearized at the neighborhood of the origin, we specifically suppose that, for , the homoclinic orbit of the system has the following form: where , , and are constants to be determined, whereas for , it has the form where , , and are also constants to be determined. In addition, note that , , and are complex values. Denote the real and imaginary parts of , , and by , , and and , and , respectively. Then, through a rigorously mathematical calculation, a set of equations with respect to the free parameters is where , and are initial values for the homoclinic orbit. In general, it is difficult to find an analytic solution of the infinite series form (6). Here, we first truncate infinite terms of (6). Then, we numerically solve algebraic equations of the truncated form by applying a numerical method, for example, Newton’s method. Once these estimates of the unknown parameters are obtained, the approximate expression of the homoclinic orbit with the form of (4) and (5) is found. Moreover, the more the truncated terms are, the better the approximation is. On the other hand, we can show the uniform convergence of the series expansions (4) and (5) of the homoclinic orbit. The detailed discussions refer to [15]. Next we consider system where the eigenvalues of the Jacobian , evaluated at equilibrium point, satisfy , . For , the homoclinic orbit still has the expansion form (4), whereas for , it has the following form: The treatment of the left questions for this case is completely similar to that for the first kind of system and thus is omitted here. For the saddlefocus form, we consider the Sprott(h) system. The onedimensional degenerate example is the system constructed by us in [13]. The corresponding numerical results refer to [15].
4. Listing All Found Chaotic Systems of Ši'lnikov Type
In this section, we list all wellknown 3D autonomous quadratic chaotic systems and classify them according to the Ši'lnikov theorems (including the extended versions). First, since the NoseHoover system has no equilibrium point, it belongs to the fourth type. Secondly, the systems with one equilibrium point refer to Table 1.

The equilibrium point of all the systems in Table 1 belongs to saddlefocus form. The eigenvalues of the Jacobian evaluated at the equilibrium point of these systems all satisfy the algebraic condition, and their chaotic attractors are onescroll except the Hadley circulation (Hc) system. So they belong to the first type. The Hc system belongs to the fourth type. Thirdly, for the systems with two equilibrium points, see Table 2.

In Table 2, the Sprott(r) system, the Sprott(p) system, and the Rössler Toroidal who have onescroll attractors belong to the first type. The BurkeShaw system has a twoscroll attractor, so it belongs to the second type. The left systems who do not satisfy the algebraic condition belong to the fourth type. Finally, for the systems with three and more equilibrium points, see Table 3.

In Table 3, the systems with three equilibrium points who have twoscroll attractors all belong to the second type. The Zhou (b) system who do not satisfy the algebraic condition belongs to the fourth type. The Zhou (d) system, the ChenLee system, the NewtonLeipnik system, and the Liu system all belong to the second type.
5. Conclusion and Comments
We have established two extended versions of the Ši'lnikov homoclinic theorem. According to the Ši'lnikov criteria, all wellknown 3D autonomous quadratic chaotic systems have been classified. Here, we should point out that there exist 3D autonomous nonlinear systems with eigenvalues of the corresponding Jacobian matrices calculated at the equilibria of interest not belonging to two types considered in this paper, for example, for those whose Jacobians have one zero eigenvalue and two conjugated purelyimaginary roots (threedimensional degenerate case). How to expand the Ši'lnikov homoclinic theorem to this degenerate case will be our next tasks. Moreover, how to determine the homoclinic orbits for the twoor threedimensional degenerate cases will also be further investigated in the future. Finally, it should be pointed out that the essential significance of the extension of the Ši'lnikov theorems is in helping to classify chaos in 3D autonomous polynomial systems, an interesting and yet challenging and longstanding problem in the mathematical chaos theory.
Acknowledgment
This paper was supported by Initiation Project for PHD of Guangdong Province (S2012040008074).
References
 J. C. Leloup, D. Gonze, and A. Goldbeter, “Limit cycle models for circadian rhythms based on transcriptional regulation in Drosophila and Neurospora,” Journal of Biological Rhythms, vol. 14, no. 6, pp. 433–448, 1999. View at: Publisher Site  Google Scholar
 A. Goldbeter, D. Gonze, and G. Houart, “From simple to complex oscillatory behavior in metabolic and genetic control Networks,” Chaos, vol. 11, no. 1, pp. 247–260, 2001. View at: Publisher Site  Google Scholar
 F. R. Marotto, “Snapback repellers imply chaos in ${R}^{n}$,” Journal of Mathematical Analysis and Applications, vol. 63, no. 1, pp. 199–223, 1978. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. P. Ši'lnikov, “A case of the existence of a denumerable set of periodic motions,” Soviet Mathematics, Doklady, vol. 6, pp. 163–169, 1965. View at: Google Scholar
 L. P. Ši'lnikov, “A contribution to the problem of the structure of an extended neighborhood of a rough equilibrium state of saddlefocus type,” Mathematics of the USSR, Sbornik, vol. 10, no. 1, pp. 91–102, 1970. View at: Publisher Site  Google Scholar
 C. P. Silva, “Ši'lnikov theorem—a tutorial,” IEEE Transactions on Circuits and Systems. I, vol. 40, no. 10, pp. 675–682, 1993. View at: Publisher Site  Google Scholar  MathSciNet
 S. Čelikovský and A. Vaněček, “Bilinear systems and chaos,” Kybernetika, vol. 30, no. 4, pp. 403–424, 1994. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 A. Vaněček and S. Čelikovský, Control Systems: From Linear Analysis to Synthesis of Chaos, Prentice Hall, London, UK, 1996.
 S. Čelikovský and G. Chen, “On a generalized Lorenz canonical form of chaotic systems,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 12, no. 8, pp. 1789–1802, 2002. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Čelikovský and G. Chen, “On a hyperbolictype generalized Lorenz chaotic system and its canonical form,” International Journal of Bifurcation and Chaos, vol. 13, pp. 453–461, 2003. View at: Google Scholar
 Q. Yang and G. Chen, “A chaotic system with one saddle and two stable nodefoci,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 18, no. 5, pp. 1393–1414, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. Lü, G. Chen, X. Yu, and H. Leung, “Design and analysis of multiscroll chaotic attractors from saturated function series,” IEEE Transactions on Circuits and Systems. I, vol. 51, no. 12, pp. 2476–2490, 2004. View at: Publisher Site  Google Scholar  MathSciNet
 B. Chen, T. Zhou, and G. Chen, “An extended Ši'lnikov homoclinic theorem and its applications,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 19, no. 5, pp. 1679–1693, 2009. View at: Publisher Site  Google Scholar  MathSciNet
 T. Zhou and G. Chen, “Classification of chaos in 3D autonomous quadratic systems. I. Basic framework and methods,” International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, vol. 16, no. 9, pp. 2459–2479, 2006. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 B. Chen and T. Zhou, “Ši'lnikov homoclinic orbits in two classes of 3D autonomous nonlinear systems,” International Journal of Modern Physics B, vol. 25, no. 20, pp. 2697–2712, 2011. View at: Publisher Site  Google Scholar
 J. C. Sprott, “Some simple chaotic flows,” Physical Review E, vol. 50, no. 2, pp. R647–R650, 1994. View at: Publisher Site  Google Scholar  MathSciNet
 S. Wiggins, Introduction to Applied Nonlinear Dynamical Systems and Chaos, vol. 2 of Texts in Applied Mathematics, Springer, New York, NY, USA, 1991. View at: MathSciNet
Copyright
Copyright © 2013 Baoying Chen. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.