Volume 2013, Article ID 590421,14pages http://dx.doi.org/10.1155/2013/590421
Research Article
A New Series of Three-Dimensional Chaotic Systems with Cross-Product Nonlinearities and Their Switching
Xinquan Zhao,
1Feng Jiang,
1Zhigang Zhang,
2and Junhao Hu
31School of Statistics and Mathematics, Zhongnan University of Economics and Law, Wuhan 430073, China
2Department of Statistics and Applied Mathematics, Hubei University of Economics, Wuhan 430205, China
3School of Mathematics and Statistics, South-Central University for Nationalities, Wuhan 430074, China
Correspondence should be addressed to Xinquan Zhao; [email protected] Received 31 October 2012; Accepted 25 December 2012
Academic Editor: Xinzhi Liu
Copyright © 2013 Xinquan Zhao et al. 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.
This paper introduces a new series of three-dimensional chaotic systems with cross-product nonlinearities. Based on some conditions, we analyze the globally exponentially or globally conditional exponentially attractive set and positive invariant set of these chaotic systems. Moreover, we give some known examples to show our results, and the exponential estimation is explicitly derived. Finally, we construct some three-dimensional chaotic systems with cross-product nonlinearities and study the switching system between them.
1. Introduction
Since Lorenz discovered the well-known Lorenz chaotic sys- tem, many other chaotic systems have been found, including the well-known R¨ossler system and Chua’s circuit, which serve as models of the study of chaos [1–12].
The Lorenz system plays an important role in the study of nonlinear science and chaotic dynamics [13–18]. We know that it is extremely difficult to obtain the information of chaotic attractor directly from system. Most of the results in the literature are based on computer simulations. When calculating the Lyapunov exponents of the system, one needs to assume that the system is bounded in order to conclude chaos. Therefore, the study of the globally attractive set of the Lorenz system is not only theoretically significant but also practically important. Moreover, Liao et al. [19, 20] gave globally exponentially attractive set and positive invariant set for the classical Lorenz system and the generalized system by constructive proofs. In addition, Yu et al. [21] studied the problem of invariant set of systems, which was considered as a more generalized Lorenz system.
In this paper, we consider the following three-dimen- sional autonomous systems with cross-product nonlineari- ties:
̇𝑥 = 𝐴𝑥 + 𝑓 (𝑥) + 𝐶, (1)
where𝑥𝑇= (𝑥1, 𝑥2, 𝑥3)and 𝐴 = [
[
𝑎11 𝑎12 𝑎13 𝑎21 𝑎22 𝑎23 𝑎31 𝑎32 𝑎33 ] ]
; 𝐶 = [ [ 𝑐1 𝑐2 𝑐3 ] ]
; 𝑓 (𝑥) = [ [
𝑥𝑇𝐵1𝑥 𝑥𝑇𝐵2𝑥 𝑥𝑇𝐵3𝑥 ] ]
;
𝐵𝑖= [ [
𝑏𝑖11 𝑏𝑖12 𝑏𝑖13 𝑏𝑖21 𝑏𝑖22 𝑏𝑖23 𝑏𝑖31 𝑏𝑖32 𝑏𝑖33 ] ]
, 𝑖 = 1, 2, 3
(2) with𝑎𝑖𝑗, 𝑏𝑖𝑗𝑘, 𝑐𝑖∈ 𝑅, 𝑖, 𝑗, 𝑘 = 1, 2, 3. This second-order dynam- ic system may be regarded as the most general Lorenz system.
For such system, we can choose Lyapunov function:
𝑉 (𝑋 (𝑡)) = 1
2[(𝜆1𝑥1− 𝑑1)2+ (𝜆2𝑥2− 𝑑2)2 +(𝜆3𝑥3− 𝑑3)2] ,
(3)
which is obviously positive definite and radially unbounded, where𝑑𝑖, 𝜆𝑖, 𝑖 = 1, 2, 3are undetermined parameters. In this paper, we will study this more general Lorenz system (1) than the classical system and the generalized Lorenz system. The result obtained contains earlier results as its special cases.
This paper is organized as follows. InSection 2, we define the globally exponentially attractive set and positive invariant
set and the globally conditional exponentially attractive set and positive invariant set of the three-dimensional chaotic systems with cross-product nonlinearities. InSection 3, the qualitative analysis of the exponentially attractive set and positive invariant set of the chaotic systems has been done.
In Section 4, we also suggest an idea to construct chaotic systems, and some new chaotic systems and switched chaotic systems are illustrated.
2. Preliminaries
In this section, we present some basic definitions which are needed for proving all theorems in the next section.
For convenience, denote 𝑋 := (𝑥1, 𝑥2, 𝑥3) and 𝑋(𝑡) :=
𝑋(𝑡, 𝑡0, 𝑋0).
Definition 1. For the three-dimensional autonomous systems with cross-product nonlinearities (1), if there exists compact (bounded and closed) setΩ ∈ 𝑅3such that for all𝑋0 ∈ 𝑅3, the following condition:𝜌(𝑋(𝑡), Ω) :=inf𝑌∈Ω‖𝑋(𝑡)−𝑌‖ → 0 as𝑡 → +∞, holds, then the setΩ is said to be globally attractive. That is, system (1) is ultimately bounded; namely, system (1) is globally stable in the sense of Lagrange or dissipative with ultimate bound.
Furthermore, if for all𝑋0 ∈ Ω0⊆ Ω ⊂ 𝑅3, 𝑋(𝑡, 𝑡0, 𝑋0) ⊆ Ω0, thenΩ0for𝑡 ≥ 0is called the positive invariant set of the system (1).
Definition 2. For the three-dimensional autonomous systems with cross-product nonlinearities (1), if there exist compact setΩ ⊂ 𝑅3 such that for all𝑋0 ∈ 𝑅3 and constants𝑀 >
0,𝛼 > 0such that𝜌(𝑋(𝑡), Ω) ≤ 𝑀𝑒−𝛼(𝑡−𝑡0), then the three- dimensional autonomous systems with cross-product non- linearities system (1) are said to have globally exponentially attractive set, or the system (1) is globally exponentially stable in the sense of Lagrange, andΩis called the globally exponentially attractive set.
Definition 3. For the three-dimensional autonomous systems with cross-product nonlinearities (1), if there exist compact setΩ ⊂ 𝑅3, a constant 𝛼 > 0, and a bounded function 𝑀(𝑥0, 𝑡) > 0 on 𝑡, as 𝑡 ≥ 𝑡0, such that 𝜌(𝑋(𝑡), Ω) ≤ 𝑀(𝑥0)𝑒−𝛼(𝑡−𝑡0), where𝑀(𝑥0) =sup𝑀(𝑥0, 𝑡), 𝑡 ≥ 𝑡0, then the system (1) is said to have globally conditional exponentially attractive set, or the system (1) is globally conditional expo- nentially stable in the sense of Lagrange, andΩis called the globally conditional exponentially attractive set.
In general, from the definition we see that a globally expo- nential attractive set is not necessarily a positive invariant set.
But our results obtained in the next section indeed show that a globally exponentially attractive set is a positive invariant set.
Note that it is difficult to verify the existence of Ω in Definition 2. Since the Lyapunov direct method is still a pow- erful tool in the study of asymptotic behaviour of nonlinear dynamical systems, the following definition is more useful in applications.
Definition 4. For three-dimensional autonomous systems with cross-product nonlinearities (1), if there exist a positive definite and radially unbounded Lyapunov function𝑉(𝑋(𝑡)) and positive numbers𝐿 > 0, 𝛼 > 0such that the following inequality
𝑉 (𝑋 (𝑡)) − 𝐿 ≤ (𝑉 (𝑋0) − 𝐿) 𝑒−𝛼(𝑡−𝑡0) (4) is valid for𝑉(𝑋(𝑡)) > 𝐿(𝑡 ≥ 𝑡0), then the system (1) is said to be globally exponentially attractive or globally exponentially stable in the sense of Lagrange, andΩ := {𝑋 | 𝑉(𝑋(𝑡)) ≤ 𝐿, 𝑡 ≥ 𝑡0}is called the globally exponentially attractive set.
Definition 5. For the three-dimensional autonomous systems with cross-product nonlinearities (1), if there exist a positive definite and radially unbounded Lyapunov function𝑉(𝑋(𝑡)) and a bounded function𝐿(𝑥0, 𝑡) > 0, on𝑡, as𝑡 ≥ 𝑡0, and𝛼 > 0 such that the following inequality
𝑉 (𝑋 (𝑡)) − 𝐿 (𝑥0) ≤ (𝑉 (𝑋0) − 𝐿 (𝑥0)) 𝑒−𝛼(𝑡−𝑡0) (5) is valid for 𝑉(𝑋(𝑡)) > 𝐿(𝑥0), 𝑡 ≥ 𝑡0, where 𝐿(𝑥0) = sup𝐿(𝑥0, 𝑡), 𝑡 ≥ 𝑡0, then the system (1) is said to be globally conditional exponentially attractive or globally conditional exponentially stable in the sense of Lagrange, andΩ := {𝑋 | 𝑉(𝑋(𝑡)) ≤ 𝐿(𝑥0), 𝑡 ≥ 𝑡0}is called the globally conditional exponentially attractive set.
3. Qualitative Analysis
We call the dynamic system (1) the first class three-dimen- sional chaotic system with cross-product nonlinearities (1), if there are some nonzero numbers{𝜆1, 𝜆2, 𝜆3}so as to satisfy conditions
𝜆21𝑏111= 0, 𝜆21(𝑏112+ 𝑏121) + 𝜆22𝑏211= 0, 𝜆22𝑏222= 0, 𝜆22(𝑏221+ 𝑏212) + 𝜆21𝑏122= 0, 𝜆23𝑏333= 0, 𝜆23(𝑏313+ 𝑏331) + 𝜆21𝑏133= 0,
𝜆21(𝑏113+ 𝑏131) + 𝜆23𝑏311= 0, 𝜆22(𝑏223+ 𝑏232) + 𝜆23𝑏322= 0, 𝜆23(𝑏323+ 𝑏332) + 𝜆22𝑏233= 0,
𝜆21(𝑏123+ 𝑏132) + 𝜆22(𝑏213+ 𝑏231) + 𝜆23(𝑏321+ 𝑏312) = 0.
(6)
Condition (6) is satisfied by some known three-dimen- sional quadratic autonomous chaotic systems, the well- known Lorenz system [1–3], the R¨ossler system [5], the Rucklidge system [6], and the Chen system [7, 8]. Lorenz systems are widely studied and the references therein [9–
12,19–21]. For example, consider the classical Lorenz system
̇𝑥 = 𝜎 (𝑦 − 𝑥) ,
̇𝑦 = 𝜌𝑥 − 𝛾𝑦 − 𝑥𝑧,
̇𝑧 = 𝑥𝑦 − 𝛽𝑧,
(7)
and the general Lorenz systems
̇𝑥 = −𝑎𝑥 + 𝑏𝑦 + 𝑦𝑧,
̇𝑦 = 𝑐𝑥 − 𝑦 − 𝑥𝑧,
̇𝑧 = 𝑑𝑦 − 𝑧 + 𝑥𝑦,
(8)
̇𝑥 = −𝑧,
̇𝑦 = −𝑦 − 𝑥2,
̇𝑧 = 1.7𝑥 + 𝑦 + 1.7.
(9)
Thus it can be seen that condition (6) is very important in qualitative analysis of the exponentially attractive set and positive invariant set of Lorenz systems.
We will research this dynamic system in two cases.
First, supposing𝑏111 = 𝑏122 = 𝑏133 = 𝑏211 = 𝑏222 = 𝑏233 = 𝑏311 = 𝑏322 = 𝑏333 = 0,𝑏𝑖𝑖𝑗 = −𝑏𝑖𝑗𝑖,𝑖, 𝑗 = 1, 2, 3, ∃𝑏𝑖𝑗𝑘 ̸= − 𝑏𝑖𝑘𝑗, 𝑖 ̸= 𝑗 ̸= 𝑘, the dynamic system (1) can be rewritten as
̇𝑥1= 3∑
𝑗=1
𝑎1𝑗𝑥𝑗+ (𝑏123+ 𝑏132) 𝑥2𝑥3+ 𝑐1,
̇𝑥2= 3∑
𝑗=1
𝑎2𝑗𝑥𝑗+ (𝑏213+ 𝑏231) 𝑥1𝑥3+ 𝑐2,
̇𝑥3= 3∑
𝑗=1
𝑎3𝑗𝑥𝑗+ (𝑏312+ 𝑏321) 𝑥1𝑥2+ 𝑐3.
(10)
The construction techniques of this kind of Lorenz systems are to pay attention to satisfing formula
𝜆21(𝑏123+ 𝑏132) + 𝜆22(𝑏213+ 𝑏231) + 𝜆23(𝑏321+ 𝑏312) = 0, (11) where𝜆𝑖, 𝑖 = 1, 2, 3are parameters and
𝑓 (𝜇, 𝑋) =∑3
𝑖=1
𝜆2𝑖(𝑎𝑖𝑖+ 𝜇𝑖) 𝑥2𝑖
+∑3
𝑖=1
(𝜆2𝑖𝑐𝑖+ 𝜇𝑖𝑑𝑖𝜆𝑖− 𝜇𝑖𝜆2𝑖𝑑𝑖−∑3
𝑗=1
𝜆𝑗𝑑𝑗𝑎𝑗𝑖) 𝑥𝑖
+∑3
𝑖=1
(𝜆𝑖𝑑𝑖𝑐𝑖− 𝜆𝑖𝑑2𝑖) ,
(12) where𝜇𝑖, 𝑖 = 1, 2, 3are undetermined parameters. And we always assume that the supremum 𝑓(𝜇, 𝑋) < +∞ in the paper.
Lemma 6. Suppose𝜆𝑖> 0,𝑖 = 1, 2, 3,
𝜆21𝑎12+ 𝜆22𝑎21+ 𝜆3𝑑3(𝑏312+ 𝑏321) = 0, 𝜆21𝑎13+ 𝜆23𝑎31+ 𝜆2𝑑2(𝑏213+ 𝑏231) = 0, 𝜆22𝑎23+ 𝜆23𝑎32+ 𝜆1𝑑1(𝑏123+ 𝑏132) = 0,
𝑎11+ 𝜇1< 0, 𝑎22+ 𝜇2< 0, 𝑎33+ 𝜇3< 0.
(13)
The function(12)has maximum.
Proof. Consider
𝑓𝑥1(𝜇, 𝑋) = 2 (𝜆21𝑎11+ 𝜇1𝜆21) 𝑥1
+ (𝜆21𝑐1+ 𝜇1𝑑1𝜆1− 𝜇1𝜆21𝑑1− 𝜆1𝑑1𝑎11
−𝜆2𝑑2𝑎21− 𝜆3𝑑3𝑎31) , 𝑓𝑥2(𝜇, 𝑋) = 2 (𝜆22𝑎22+ 𝜇2𝜆22) 𝑥2
+ (𝜆22𝑐2+ 𝜇2𝑑2𝜆2− 𝜇2𝜆22𝑑2− 𝜆1𝑑1𝑎12
−𝜆2𝑑2𝑎22− 𝜆3𝑑3𝑎32) , 𝑓𝑥3(𝜇, 𝑋) = 2 (𝜆23𝑎33+ 𝜇3𝜆23) 𝑥3
+ (𝜆23𝑐3+ 𝜇3𝑑3𝜆3− 𝜇3𝜆23𝑑3− 𝜆1𝑑1𝑎13
−𝜆2𝑑2𝑎23− 𝜆3𝑑3𝑎33) , 𝑓𝑥2
1(𝜇, 𝑋) = 2𝜆21(𝑎11+ 𝜇1) , 𝑓𝑥2
2(𝜇, 𝑋) = 2𝜆22(𝑎22+ 𝜇2) , 𝑓𝑥2
3(𝜇, 𝑋) = 2𝜆23(𝑎33+ 𝜇3) , 𝑓𝑥1𝑥2(𝜇, 𝑋) = 𝑓𝑥2𝑥1(𝜇, 𝑋) = 𝑓𝑥1𝑥3(𝜇, 𝑋)
= 𝑓𝑥2𝑥3(𝜇, 𝑋) = 𝑓𝑥3𝑥2(𝜇, 𝑋) = 0.
(14)
Thus the Hesse matrix 𝐻𝑓 of the 𝑓(𝜇, 𝑋)is a negative definite matrix; furthermore max𝑋∈𝑅3𝑓(𝜇, 𝑋)exists.
These parameters𝑑𝑖, 𝜇𝑖, 𝜆𝑖,𝑖 = 1, 2, 3will be determined by solving the maximum of𝑓1(𝜇, 𝑋)and formula (12), and let
𝑀+ = {𝑀, 𝑀 > 0,
0, 𝑀 ≤ 0. (15)
Theorem 7. If condition(6)exists,𝜂 =min{𝜇1, 𝜇2, 𝜇3},𝑀 = max𝑋∈𝑅3𝑓(𝜇, 𝑋),𝜆𝑖> 0,𝑖 = 1, 2, 3, then the estimation
[𝑉 (𝑋 (𝑡)) − 1
2𝜂𝑀+] ≤ [𝑉 (𝑋 (𝑡0)) − 1
2𝜂𝑀+] 𝑒−2𝜂(𝑡−𝑡0) (16)
holds, and the set
Ω = {𝑋 | 𝑉 (𝑋 (𝑡)) ≤ 1 2𝜂𝑀+}
= {𝑋 | [(𝜆1𝑥1− 𝑑1)2+ (𝜆2𝑥2− 𝑑2)2+ (𝜆3𝑥3− 𝑑3)2]
≤1 𝜂𝑀+}
(17) is the globally exponentially attractive set and positive invariant set of system(10); that is,
𝑡 → ∞lim𝑉 (𝑋 (𝑡)) ≤ 1
2𝜂𝑀+. (18)
Proof. Differentiating the Lyapunov function𝑉(𝑋(𝑡))in (3) with respect to time𝑡along the trajectory of system (10) yields
̇𝑉 (𝑋 (𝑡))(10)= 𝜆1(𝜆1𝑥1− 𝑑1) ̇𝑥1+ 𝜆2(𝜆2𝑥2− 𝑑2) ̇𝑥2 + 𝜆3(𝜆3𝑥3− 𝑑3) ̇𝑥3
= −∑3
𝑗=1
𝜇𝑗(𝜆𝑗𝑥𝑗− 𝑑𝑗)2+ 𝜆1(𝜆1𝑥1− 𝑑1)
× (∑3
𝑗=1
𝑎1𝑗𝑥𝑗+ 𝜇1𝜆−11 (𝜆1𝑥1− 𝑑1)
+ (𝑏123+ 𝑏132) 𝑥2𝑥3+ 𝑐1) + 𝜆2(𝜆2𝑥2− 𝑑2)
× (∑3
𝑗=1
𝑎2𝑗𝑥𝑗+ 𝜇2𝜆−12 (𝜆2𝑥2− 𝑑2)
+ (𝑏213+ 𝑏231) 𝑥1𝑥3+ 𝑐2) + 𝜆3(𝜆3𝑥3− 𝑑3)
× (∑3
𝑗=1
𝑎3𝑗𝑥𝑗+ 𝜇3𝜆−13 (𝜆3𝑥3− 𝑑3)
+ (𝑏312+ 𝑏321) 𝑥1𝑥2+ 𝑐3)
≤ −𝜂∑3
𝑗=1(𝜆𝑗𝑥𝑗− 𝑑𝑗)2+ 𝑓 (𝜇, 𝑋)
≤ −𝜂∑3
𝑗=1(𝜆𝑗𝑥𝑗− 𝑑𝑗)2+ 𝑀+
≤ −2𝜂 [𝑉 (𝑋 (𝑡)) − 1
2𝜂𝑀+] ≤ 0, when𝑉 (𝑋 (𝑡)) > 1
2𝜂𝑀+,
(19) where𝜇𝑗> 0, 𝑗 = 1, 2, 3. Integrating both sides of (19) yields (16) and (17). By the definition, taking into account limit on both sides of the above inequality (16) as𝑡 → +∞results in inequality (18).
Now, the characters of some of the chaotic systems known are analysed by condition (6). When𝑎11= −𝜎, 𝑎12 = 𝜎,𝑎21= 𝜌,𝑎22 = −𝛾,𝑎33= −𝛽,𝑏213 = −1, 𝑏312 = 1, else𝑎𝑖𝑗= 0,𝑏𝑖𝑗𝑘= 0,𝑐1 = 𝑐2 = 𝑐3 = 0, and𝜆1 = √𝜆,𝜆2 = 𝜆3 = 1, 𝑑1 = 𝑑2 = 0,𝑑3= 𝜆𝜎 + 𝜌, 𝜇1= 𝜎,𝜇2= 𝛾,𝜇3 =min{𝜎, 𝛾},𝜂 = 𝜂1 = 𝜇3, 𝛽 > 𝜂1, system (10) can be rewritten as system (7):
𝑉 (𝑋 (𝑡)) = 1
2[𝜆𝑥21+ 𝑥22+ (𝑥3− 𝜆𝜎 − 𝜌)2] , 𝑓 (𝜇, 𝑋) = − (𝛽 − 𝜂1) 𝑥23+ (𝛽 − 2𝜂1) (𝜆𝜎 + 𝜌) 𝑥3
+ 𝜂1(𝜆𝜎 + 𝜌)2.
(20)
We have𝑀 = 𝛽2(𝜆𝜎 + 𝜌)2/4(𝛽 − 𝜂1). Thus
[𝑉 (𝑋 (𝑡)) − 𝛽2(𝜆𝜎 + 𝜌)2 8 (𝛽 − 𝜂1) 𝜂1]
≤ [𝑉 (𝑋 (𝑡0)) −𝛽2(𝜆𝜎 + 𝜌)2
8 (𝛽 − 𝜂1) 𝜂1] 𝑒−2𝜂1(𝑡−𝑡0), Ω1= {𝑋 | 𝑉 (𝑋) ≤ 𝛽2(𝜆𝜎 + 𝜌)2
8 (𝛽 − 𝜂1) 𝜂1}
= {𝑋 | 𝜆𝑥21+ 𝑥22+ (𝑥3− 𝜆𝜎 − 𝜌)2≤ 𝛽2(𝜆𝜎 + 𝜌)2 4 (𝛽 − 𝜂1) 𝜂1}
(21) is the globally exponentially attractive set and positive invari- ant set of system (7).
Example 8. Further, taking ito accout𝜇1 = 𝜎,𝜇2 = 𝛾, 𝜇3 = 𝛽/2,𝜂 = 𝜂2=min{𝜎, 𝛾, 𝛽/2}, the estimate
[𝑉 (𝑋 (𝑡)) −𝛽(𝜆𝜎 + 𝜌)2 4𝜂2 ]
≤ [𝑉 (𝑋 (𝑡0)) −𝛽(𝜆𝜎 + 𝜌)2
4𝜂2 ] 𝑒−2𝜂2(𝑡−𝑡0)
(22)
holds and that
Ω2= {𝑋 | 𝑉 (𝑋) ≤ 𝛽(𝜆𝜎 + 𝜌)2 4𝜂2 }
= {𝑋 | 𝜆𝑥21+ 𝑥22+ (𝑥3− 𝜆𝜎 − 𝜌)2≤ 𝛽(𝜆𝜎 + 𝜌)2 2𝜂2 }
(23)
is the globally uniform exponentially attractive set and posi- tive invariant set of system (7).
Proof. Again applying Lyapunov function given in (19) and evaluating the derivative of𝑑𝑉1/𝑑𝑡along the trajectory of system (16) lead to
𝑓 (𝜇, 𝑋) = −𝑥23𝛽
2 +(𝜆𝜎 + 𝜌)2𝛽
2 ,
𝑀 =𝛽(𝜆𝜎 + 𝜌)2
2 .
(24)
The conclusion ofExample 9is obtained.
Example 9. Furthermore, choose𝜇1= 𝜎,𝜇2= 𝛾,𝜇3= 𝛽,0 <
𝜉1< 𝛽,𝜂 = 𝜂3=min{𝜎, 𝛾, 𝜉1}. Get
𝑓 (𝜇, 𝑋) = − (𝛽 − 𝜂3) 𝑥23+ (𝛽 − 2𝜂3) (𝜆𝜎 + 𝜌) 𝑥3 + 𝜂2(𝜆𝜎 + 𝜌)2,
𝑀 = 𝛽2(𝜆𝜎 + 𝜌)2 4 (𝛽 − 𝜂3) .
(25)
Then, the estimate
[𝑉 (𝑋 (𝑡)) − 𝛽2(𝜆𝜎 + 𝜌)2 8 (𝛽 − 𝜂3) 𝜂3]
≤ [𝑉 (𝑋 (𝑡0)) −𝛽2(𝜆𝜎 + 𝜌)2
8 (𝛽 − 𝜂3) 𝜂3] 𝑒−2𝜂3(𝑡−𝑡0)
(26)
holds and that
Ω3= {𝑋 | 𝑉 (𝑋) ≤ 𝛽2(𝜆𝜎 + 𝜌)2 8 (𝛽 − 𝜂3) 𝜂3}
= {𝑋 | 𝜆𝑥21+ 𝑥22+ (𝑥3− 𝜆𝜎 − 𝜌)2≤ 𝛽2(𝜆𝜎 + 𝜌)2 4 (𝛽 − 𝜂3) 𝜂3}
(27) is the globally exponentially attractive set and positive invari- ant set of system (7).
Example 10. Taking𝑎11 = −𝑎,𝑎12 = 𝑏,𝑎21 = 𝑐,𝑎22 = −1, 𝑎32 = 𝑑,𝑎33 = −1,𝑏123 = 𝑏312 = 1,𝑏213 = −1else𝑎𝑖𝑗 = 0, 𝑏𝑖𝑗𝑘= 0,𝑐1 = 𝑐2= 𝑐3 = 0, and𝜆1= 𝜆3= 1, 𝜆2= √2,𝑑1= 𝑑,
𝑑2 = 0,𝑑3= 𝑏 + 2𝑐, system (6),𝑉(𝑋(𝑡)), and𝑓(𝑢, 𝑋)can be rewritten as system (8):
𝑉 (𝑋 (𝑡)) =1
2[(𝑥1− 𝑑)2+ 2𝑥22+ (𝑥3− 𝑏 − 2𝑐)2] , 𝑓 (𝜇, 𝑋) = − (𝑎 − 𝜇1) 𝑥21+ (𝑎 − 2𝜇1) 𝑑𝑥1− 2 (1 − 𝜇2) 𝑥22
− 2 (𝑏 + 𝑐) 𝑑𝑥2− (1 − 𝜇3) 𝑥23
+ (𝑏 + 2𝑐) (1 − 2𝜇3) 𝑥3+ 𝜇1𝑑2+ 𝜇3(𝑏 + 2𝑐)2. (28) Thus
𝑀 =(𝑎 − 2𝜇1)2𝑑2
4 (𝑎 − 𝜇1) + (𝑏 + 𝑐)2𝑑2
2 (1 − 𝜇2)+(𝑏 + 2𝑐)2(1 − 2𝜇3) 4 (1 − 𝜇3) + 𝜇1𝑑2+ 𝜇3(𝑏 + 2𝑐)2.
(29)
We have
𝑉 (𝑥 (𝑡)) − 𝑀 ≤ [𝑉 (𝑥 (𝑡0)) − 𝑀] 𝑒−2𝜂(𝑡−𝑡0), (30)
then
Ω4= {𝑋 | 𝑉 (𝑥 (𝑡)) − 𝑀}
= {𝑋 | (𝑥1− 𝑑)2+ 2𝑥22+ (𝑥3− 𝑏 − 2𝑐)2≤ 2𝑀} (31)
is the estimation of the globally exponentially attractive and positive invariant sets of system (8).
If 𝑏111 = 𝑏222 = 𝑏333 = 0,∃𝑏𝑖𝑗𝑗 ̸= 0,𝑖, 𝑗 = 1, 2, 3, the dynamic system (1) is shown as
̇𝑥1= 3∑
𝑗=1𝑎1𝑗𝑥𝑗+ ∑
𝑖=2,3𝑏1𝑖𝑖𝑥2𝑖 + ∑3
𝑖 ̸= 𝑗=1(𝑏1𝑖𝑗+ 𝑏1𝑗𝑖) 𝑥𝑖𝑥𝑗+ 𝑐1, 𝑐 ̇𝑥2=∑3
𝑗=1
𝑎2𝑗𝑥𝑗+ ∑
𝑖=1,3
𝑏2𝑖𝑖𝑥2𝑖 + ∑3
𝑖 ̸= 𝑗=1
(𝑏2𝑖𝑗+ 𝑏2𝑗𝑖) 𝑥𝑖𝑥𝑗+ 𝑐2,
̇𝑥3= 3∑
𝑗=1
𝑎3𝑗𝑥𝑗+ ∑
𝑖=1,2
𝑏3𝑖𝑖𝑥2𝑖 + ∑3
𝑖 ̸= 𝑗=1
(𝑏3𝑖𝑗+ 𝑏3𝑗𝑖) 𝑥𝑖𝑥𝑗+ 𝑐3. (32) In this case, we can take into account
𝑓 (𝜇, 𝑋) =∑3
𝑖=1
[𝜆2𝑖(𝑎𝑖𝑖+ 𝜇𝑖) + 𝜆[𝑖+1]3𝑑[𝑖+1]3𝑏[𝑖+1]3,𝑖𝑖 +𝜆[𝑖+2]3𝑑[𝑖+2]3𝑏[𝑖+2]3,𝑖𝑖] 𝑥2𝑖
+ ∑3
𝑖<𝑗,1(𝜆2𝑖𝑎𝑖𝑗+ 𝜆2𝑗𝑎𝑗𝑖+ 𝜆1𝑑1(𝑏1𝑖𝑗+ 𝑏1𝑗𝑖)
+𝜆2𝑑2(𝑏2𝑖𝑗+𝑏2𝑗𝑖)+𝜆3𝑑3(𝑏3𝑖𝑗+𝑏3𝑗𝑖)) 𝑥𝑖𝑥𝑗 +∑3
𝑖=1
(𝜆2𝑖(𝑐𝑖− 𝜇𝑖𝑑𝑖) + 𝜇𝑖𝜆𝑖𝑑𝑖− 𝑎1𝑖𝜆1𝑑1
−𝑎2𝑖𝜆2𝑑2− 𝑎3𝑖𝜆3𝑑3) 𝑥1 +∑3
𝑖=1
𝜆𝑖𝑑𝑖(𝑐𝑖− 𝑑𝑖) ,
(33) where[⋅]3denotes modulo-3.
Theorem 11. Suppose that𝐺0 = (𝑥01, 𝑥02, . . . , 𝑥𝑛0)is the stable point of the 𝑓(𝜇, 𝑋)defined by (33). If the Hesse matrix of the 𝑓(𝜇, 𝑋) is a negative definite matrix, the 𝑓(𝜇, 𝑋) has maximum𝑀and the estimation
[𝑉 (𝑋 (𝑡)) − 1 2𝜂𝑀+]
≤ [𝑉 (𝑋 (𝑡0)) − 1
2𝜂𝑀+] 𝑒−2𝜂(𝑡−𝑡0)
(34)
holds; that is,
𝑡 → ∞lim𝑉 (𝑋 (𝑡)) ≤ 1
2𝜂𝑀+, (35)
and the set
Ω = {𝑋 | 𝑉 (𝑋 (𝑡)) ≤ 1 2𝜂𝑀+}
= {𝑋 | [(𝜆1𝑥1− 𝑑1)2+ (𝜆2𝑥2− 𝑑2)2+ (𝜆3𝑥3− 𝑑3)2]
≤1 𝜂𝑀+}
(36) is the globally exponentially attractive set and positive invariant set of system(32).
Proof. If𝐺0is the stable point of the𝑓(𝜇, 𝑋), that is,
∇(𝑓)𝐺0 = (𝑓𝑥1, 𝑓𝑥2, 𝑓𝑥3) = 0, (37) and the Hesse matrix𝐻𝑓of the𝑓(𝜇, 𝑋)is a negative definite matrix, namely,
𝑓𝑥1𝑥1 < 0,
𝑓𝑥1𝑥1 𝑓𝑥1𝑥2 𝑓𝑥2𝑥1 𝑓𝑥2𝑥2> 0,
𝑓𝑥1𝑥1 𝑓𝑥1𝑥2 𝑓𝑥1𝑥3 𝑓𝑥2𝑥1 𝑓𝑥2𝑥2 𝑓𝑥2𝑥3 𝑓𝑥3𝑥1 𝑓𝑥3𝑥2 𝑓𝑥3𝑥3
< 0.
(38)
0 5 10 15
0 10 200 20 40 60 80
−10 −5
−10
Figure 1: Simulation of system (40).
0 5 10 15
0.5 0 1.5 1
0 0.5 1
−1.5
−0.5
−0.5
−1
−2
Figure 2: Simulation of system (43).
The𝑓(𝜇, 𝑋)has the maximum𝑀. Differentiating the Lya- punov function𝑉(𝑋(𝑡))in (3) with respect to time𝑡along the trajectory of system (32) yields
̇𝑉 (𝑋 (𝑡))(32)= 𝜆1(𝜆1𝑥1− 𝑑1) ̇𝑥1+ 𝜆2(𝜆2𝑥2− 𝑑2) ̇𝑥2 + 𝜆3(𝜆3𝑥3− 𝑑3) ̇𝑥3
≤ −𝜂∑3
𝑗=1
(𝜆𝑗𝑥𝑗− 𝑑𝑗)2+ 𝑓 (𝜇, 𝑋)
≤ −𝜂∑3
𝑗=1
(𝜆𝑗𝑥𝑗− 𝑑𝑗)2+ 𝑀+
≤ −2𝜂 [𝑉 (𝑋 (𝑡)) − 1
2𝜂𝑀+] ≤ 0, when𝑉 (𝑋 (𝑡)) > 1
2𝜂𝑀+.
(39)
The proof is complete.
4. Switched Chaotic Systems
Condition (6) has helpfully provided us with instructions on how to find the new chaotic systems. We construct a series
0 50 100 50 0
100 0 50 100 150
−100 −50
−50
−50
−100
Figure 3: Simulation of system (44).
0 20 40
0 50 1000
50 100 150
−50 −60 −40 −20 Figure 4: Simulation of system (45).
of new chaotic systems that the condition (6) is fulfilled and study the switching system between them.
Example 12. Consider a Lorenz system shown inFigure 1:
̇𝑥1= −12𝑥1+ 5𝑥2− 0.8𝑥1𝑥3+ 𝑥2𝑥3,
̇𝑥2= 28𝑥1− 𝑥2− 𝑥1𝑥3,
̇𝑥3= −3𝑥2− 𝑥3+ 10𝑥21+ 𝑥1𝑥2.
(40)
Solution. Here
𝑎11= −12, 𝑎12= 5, 𝑎21= 28, 𝑎22= −1, 𝑎32= −3, 𝑎33= −1, els𝑎𝑖𝑗= 0, 𝑏113= 𝑏131= −0.4, 𝑏123= 𝑏132= 0.5, 𝑏213= 𝑏231= −0.5, 𝑏311 = 10,
𝑏312= 𝑏321= 0.5, els𝑏𝑖𝑗𝑘= 0, 𝜆1= √12.5, 𝜆2= √13.5, 𝜆3= 1, 𝑑1= −6
25, 𝑑2= 4 45, 𝑑3= 440.5, 𝜇1= 2, 𝜇2= 𝜇3= 1
2, 𝜂 = 1 2, 𝑓2(𝜇, 𝑋) = −125𝑥21− 6.75𝑥22− 0.5𝑥23
0 20 40
0 200 50 100 150 200
−40
−20
−40 −20 Figure 5: Simulation of system (46).
0 100
0 100 2000
50 100 150 200
−100 −200
−100
Figure 6: Simulation of system (47).
+ (−48
25√12.5 − 11245 √13.5) 𝑥1 + (168
25 √12.5 + 26432 ) 𝑥2+39293196661 405000 , 𝑓2𝑥 1(𝜇, 𝑋) = −250𝑥1− (48
25√12.5 + 11245√13.5) , 𝑓2𝑥
1(𝜇, 𝑋) = 0, 𝑥1= − 1 1250(48
5√12.5 + 1129 √13.5)
≈ 0.064, 𝑓2𝑥2(𝜇, 𝑋) = −13.5𝑥2+ (168
25 √12.5 + 26432 ) , 𝑓2𝑥2(𝜇, 𝑋) = 0, 𝑥2= 30
135(56
25√12.5 + 8812 ) ≈ 99.65, 𝑓2𝑥 3(𝜇, 𝑋) = −𝑥3, 𝑓2𝑥3(𝜇, 𝑋) = 0, 𝑥3= 0,
𝑓2𝑥2
1(𝜇, 𝑋) = −250, 𝑓2𝑥2
2(𝜇, 𝑋) = −13.5, 𝑓2𝑥23(𝜇, 𝑋) = −1,
𝑓2𝑥1𝑥2(𝜇, 𝑋) = 𝑓2𝑥2𝑥1(𝜇, 𝑋) = 𝑓2𝑥1𝑥3(𝜇, 𝑋) = 0, 𝑓2𝑥3𝑥1(𝜇, 𝑋) = 𝑓2𝑥2𝑥3(𝜇, 𝑋) = 𝑓2𝑥3𝑥2(𝜇, 𝑋) = 0.
(41)
0 2 4 6 8 10 0
20 0 5 10 15
−5
−10 −20 −2
×1012
×1011
(a) System (40)–(43)
0 50 100
50 0 100
0 50 100 150
−50 −50
−50
−100 −100 (b) System (40)–(44)
0 5
50 0 1000
50 100 150 200 250
−50 −100 −15 −10 −5 ×1012 (c) System (40)–(45)
0 20 40
0 200 50 100 150 200
−20
−20 −40
−40
(d) System (40)–(46)
0 50
50 0 1000
50 100 150
−50 −50
−100 −100
−150 (e) System (40)–(47)
Figure 7: Switched system between system (40) and others.
The Hesse matrix of the𝑓(𝜇, 𝑋)is a negative definite matrix, max𝑓(𝜇, 𝑋) ≈ 164045.42. The set
Ω = {𝑋 | (√12.5𝑥1+ 5
26)2+ (√13.5𝑥2− 4 45)2 +(𝑥3− 440.5)2≤ 328090.84}
(42)
is the globally exponentially attractive set and positive invari- ant set of system (40).
Note. (a) If the Hesse matrix of the𝑓(𝜇, 𝑋)is not a negative definite matrix, the𝑓(𝜇, 𝑋)has no maximum𝑀.
(b) If∃𝑎𝑖0𝑖0 ≥ 0, lim𝑥𝑖0→ ∞𝑓(𝜇, 𝑋) = +∞, this type of chaotic system needs further research.
(c) We call the dynamic system (1) the second class three- dimensional chaotic system with cross-product nonlinear- ities, if it does not satisfy condition (6). For this class of chaotic systems,𝑓(𝜇, 𝑋)is a cubic polynomial and there is not maximum if we choose energy function (3) differentiating this Lyapunov function with respect to𝑡along the trajectory of system (1). It is very useful to research these problems.
0 2 4 6 8 0
10 20
0 5 10 15
−5
−10 −2
×1011
×1012
(a) System (43)–(40)
0 2
2 0 4 0 2 4
−2 −2
−2
×1012
×1012 ×1012
−8 −6 −4
−4
−4
(b) System (43)-(44)
0 5
5 0 15 10
0 5 10 15
−5
−5
−5
×1011
×1011
×1012
−15 −10 (c) System (43)–(45)
0 2 4 6 8
10 0 20
0 5 10 15
−5
−2
×1011
×1012
−10 −20
(d) System (43)–(46)
0 2 4 6 8 10
5 0 150 10
0.5 1 1.5 2
−5
×1015
×1015
(e) System (43)–(47)
Figure 8: Switched system between system (43) and others.
Example 13. The new chaotic system shown inFigure 2is
̇𝑥1= −2𝑥1+ 5𝑥3+ 5.7𝑥1𝑥3+ 4.7𝑥2𝑥3+ 4,
̇𝑥2= −𝑥1− 2𝑥2+ 3𝑥3+ 5,
̇𝑥3= −6𝑥1− 2𝑥2− 4𝑥3+ 0.2𝑥21+ 3.4𝑥1𝑥2+ 7.
(43)
Example 14. The chaotic system shown inFigure 3is
̇𝑥1= −11𝑥1+ 0.15𝑥1𝑥2+ 1.38𝑥2𝑥3+ 1,
̇𝑥2= 30𝑥1− 𝑥2− 𝑥1𝑥3+ 0.1𝑥2𝑥3,
̇𝑥3= 15𝑥2− 2.5𝑥3+ 𝑥1𝑥2.
(44)
0 50 100 50 0
100 0 50 100
−100 −50
−50 −100
−50
(a) System (44)–(40)
0 5
50 0 100
0 1 2 3
−5
−1
×1012
×1012
−20 −15 −10
−50 −100
(b) System (44)-(43)
0 1
50 0 100
0 50 100 150
−2
−50
−50 −100
×1013
−3
−1 (c) System (44)-(45)
0 50 100
50 0 100
0 200 400 600 800 1000
−200
−150 −100
−50
−50 −100
(d) System (44)–(46)
0 100 200
50 0 100
0 50 100 150
−200 −100
−50 −100
−50
(e) System (44)–(47)
Figure 9: Switched system between Example (44) and others.
Example 15. The chaotic system shown inFigure 4is
̇𝑥1= 30 (𝑥2− 𝑥1) − 0.48𝑥21,
̇𝑥2= 80𝑥1− 6𝑥2− 𝑥1𝑥3,
̇𝑥3= 𝑥1𝑥2− 5𝑥3.
(45)
Example 16. The chaotic system shown inFigure 5is
̇𝑥1= −12𝑥1+ 5𝑥2+ 𝑥2𝑥3,
̇𝑥2= 28𝑥1− 𝑥2− 𝑥1𝑥3,
̇𝑥3= −3𝑥2− 𝑥3+ 4𝑥21+ 𝑥1𝑥2.
(46)
0 5 50 0
1000 50 100 150
−50 −10
−100
×1012
−15
−5 (a) System (45)–(40)
0 5
0 50 1000
1 2 3 4
−50 −20 −15
×1012
×1012
−10 −5 (b) System (45)–(43)
0 1
50 0 100
0 50 100 150
−2
−50
−50 −100
×1012
−3
−1 (c) System (45)-(44)
0 5
50 0 1000
50 100 150
−50 −10
−100
×1012
−15
−5 (d) System (45)-(46)
0 5
0 1000 50
50 100 150
−50 −10
−100
×1012
−15
−5
(e) System (45)–(47)
Figure 10: Switched system between Example (45) and others.
Example 17. The chaotic system shown inFigure 6is
̇𝑥 = (207) 𝑥 − 𝑦𝑧 + 9,
̇𝑦 = −10𝑦 + 𝑥𝑧 + 0.5𝑧2,
̇𝑧 = −4𝑧 + 𝑥𝑦 + 𝑦𝑧.
(47)
Note. When we analyse Examples13 to17 by the previous means, for sup𝑋∈𝑅3𝑓(𝜇, 𝑋) = +∞, the globally exponentially
attractive set and positive invariant set of them have not been obtained. The globally exponentially attractive set and posi- tive invariant set really exist by their trajectories. Particularly, by L¨u et al. chaotic system [11] andExample 17we conjecture that they have globally conditional exponentially attractive set and positive invariant set, according to preliminary study.
These are waiting for us to do further research. Meanwhile, we can compute that the maximum Lyapunov exponents of Examples12–17are 1.06, 0.02, 1.84, 0.01, 0.92, and 0.95, respectively.
0 20 40 0
200 50 100 150 200
−20
−40 −40 −20 (a) System (46)–(40)
0 5 10 15 20
0 200
1 2 3 4
−20
−40 −5
×1012
×1012
(b) System (46)–(40)
0 50 100
50 0 100
0 200 400 600
−200
−100 −50
−50 −100
(c) System (46)–(44)
0 1
0 500 50 100 150 200
−50
−100 −3 −2 −1 ×1013
(d) System (46)-(45)
0 50
50 0 1000
50 100 150 200
−100 −150
−50 −100 −50
(e) System (46)-(47)
Figure 11: Switched system between Example (46) and others.
5. Simulation of Switched System
In this section, we will show some simulation results of the following switching system
̇𝑥 = 𝐴𝜎𝑥 + 𝑓𝜎(𝑥) + 𝐶𝜎, (48) where𝑥𝑇= (𝑥1, 𝑥2, 𝑥3),𝜎is the switching law, and
𝐴𝜎= [[ [
𝑎11𝜎 𝑎12𝜎 𝑎13𝜎 𝑎21𝜎 𝑎22𝜎 𝑎23𝜎 𝑎31𝜎 𝑎32𝜎 𝑎33𝜎 ]] ]
, 𝐶𝜎= [[ [
𝑐1𝜎 𝑐2𝜎 𝑐3𝜎 ]] ] ,
𝑓𝜎(𝑥) = [[ [
𝑥𝑇𝐵𝜎1𝑥 𝑥𝑇𝐵𝜎2𝑥 𝑥𝑇𝐵𝜎3𝑥 ]] ]
(49)
with𝑎𝑖𝑗𝜎, 𝑏𝑖𝑗𝑘𝜎, 𝑐𝑖𝜎 ∈ 𝑅, 𝑖, 𝑗, 𝑘 = 1, 2, 3. Each pair of(𝐴𝜎, 𝐶𝜎, 𝐵𝜎1, 𝐵𝜎2, 𝐵3𝜎) takes the form fromExample 8to Example 14. The switching law is that the system will stay in each subsystem for a constant time. In the following, we assume that (a, b) denotes a switched system which switches between system (a) and system (b). It can be seen from Figures7to12that the switched systems (18,20), (18,22), (18,23), (20,18), (20,22), (20,23), (22,18), (22,20), (22,23), (23,18), (23,20), and (23,22) can also yield chaotic systems.
6. Conclusion
In this paper, the methods in [19–21] have been extended to study the globally exponentially or globally conditional