0 Advances in Difference Equations

a SpringerOpen Journal

RESEARCH

Open Access

Chaotification for linear delay difference equations

Zongcheng Li*

"Correspondence: lizongcheng_0905@yahoo.com.cn Department of Mathematics, Shandong Jianzhu University, Jinan, Shandong 250101, P.R. China

Abstract

This paper is concerned with chaotification of linear delay difference equations via the feedback control technique. The controlled system is first reformulated into a linear discrete dynamical system. Then, a chaotification theorem based on the snap-back repeller theory for maps is established. The controlled system is proved to be chaotic in the sense of both Devaney an Li-Yorke. An illustrative example is provided with computer simulations. MSC: 34C28; 37D45; 74H65

Keywords: chaos; chaotification; delay difference equation; chaos in the sense of Li-Yorke; chaos in the sense of Devaney

ft Springer

1 Introduction

Chaotification (or called anticontrol of chaos) is a process that makes a nonchaotic system chaotic, or enhances a chaotic system to present stronger or different type of chaos. In recent years, it has been found that chaos can actually be useful under some circumstances, for example, in human brain analysis [1, 2], heartbeat regulation [3, 4], encryption [5], digital communications [6], etc. So, sometimes it is useful and even important to make a system chaotic or create new types of chaos. It has attracted increasing interest in research on chaotification of dynamical systems due to the great potentials of chaos in many non-traditional applications.

In the pursuit of chaotifying discrete dynamical systems, a simple yet mathematically rigorous chaotification method was first developed by Chen and Lai [7-9] from a feedback control approach. They showed that the Lyapunov exponents of a controlled system are positive [7], and the controlled system via the mod-operation is chaotic in the sense of Devaney when the original system is linear and is chaotic in a weaker sense of Wiggins when the original system is nonlinear [9]. Later, Wang and Chen [10] further showed that the Chen-Lai algorithm for chaotification also leads to chaos in the sense of Li-Yorke. This method plays an important role in studying chaotification problems of discrete dynamical systems. Recently, Shi and Chen [11] studied chaotification for some discrete dynamical systems governed by continuous maps and showed that the controlled systems are chaotic in the sense of both Devaney and Li-Yorke. It is noticed that all the above chaotification problems for discrete dynamical systems are formulated in finite-dimensional real spaces. More recently, Shi et al. [12] first studied chaotification for discrete dynamical systems in Banach spaces via the feedback control technique. They showed that some controlled systems in finite-dimensional real spaces studied by [9] and [13] are chaotic in the sense of

© 2013 Li; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided theoriginalworkis properly cited.

Devaney as well as in the sense of both Li-Yorke and Wiggins. Particularly, they extended and proved the Marotto theorem to general Banach spaces [14], established some chaotification theorems for discrete dynamical systems in (infinite-dimensional) Banach spaces [12], and showed the controlled systems are chaotic in the sense of both Devaney and Li-Yorke. The reader is referred to Chen and Shi [15] for a survey of chaotification of discrete dynamical systems and some references cited therein.

Time delay arises in many realistic systems with feedback in science and engineering. The delay difference equations have been studied by many researchers. Although there exist some general chaotification schemes for finite-dimensional or infinite-dimensional discrete dynamical systems as stated in the above, there are few results on the chaotifica-tion of linear delay difference equations. In this paper, we employ the Chen-Lai method, from the feedback control approach to study chaotification of linear delay difference equations and prove that the controlled system is chaotic in the sense of both Devaney and Li-Yorke by applying the snap-back repeller theory; see [14,16,17] for the theory.

The rest of the paper is organized as follows. In Section 2, the chaotification problem under investigation is described, and some concepts, one lemma, and reformulation of the controlled system are introduced. In Section 3, the chaotification problem is studied and a chaotification criterion is established. Finally, we provide an example to illustrate the theoretical result with computer simulations in Section 4.

2 Preliminaries

In this section, we describe the chaotification problem, give a reformulation of the linear delay difference equation, and introduce some fundamental concepts and a criterion of chaos, which will be used in the next section.

2.1 Description of chaotification problem

Consider the following linear delay difference equation:

where k > 1 is a fixed integer and aj, 1 < j < k + 1, are constant parameters.

The object is to design a simple control input sequence (v(n)j such that the output of the controlled system

is chaotic in the sense of both Devaney and Li-Yorke (see Definitions 1 and 2 below). The controller to be designed in this paper is in the form of

x(n + 1) = ^^ ajx(n + j - k -1), n > 0,

x(n + 1) = ^^ ajx(n + j - k -1) + v(n), n > 0,

where f and Yj, 1 < j < k + 1, are undetermined parameters.

2.2 Reformulation

In this subsection, we reformulate equations (1) and (2) into k + 1-dimensional discrete dynamical systems. By setting

Uj(n) := x(n + j - k -1), 1 < j < k + 1, n > 0,

equation (1) and the controlled system (2) with controller (3) can be written as the following discrete systems on Rk+1:

u(n + 1) = Au(n), n > 0, u(n + 1) = Au(n) + bv(n) := F(u(n)), n > 0,

respectively, where u = (ui,u2,..., uk+1)T,b = (0, ...,0,1)T e R;

0 0 0 y a1 a2 a3

(k+1) x (k+1)

v(n) = f sin( J]=1 Yjuj(n)) e R, and the map F: R ^ Rk+1 is given by

/ u1(n) N (

u2 (n)

uk(n) uk+1(n)

u2 (n)

u3(n) uk+1(n)

VE£i ajuj(n) + f sinejk+11 Yjuj(n)) f

Systems (4) and (5) are said to be induced by equations (1) and (2), respectively. It is easy to see that the dynamical behaviors of equations (1) and (2) are the same as those of their induced systems (4) and (5), respectively.

2.3 Some concepts and a criterion of chaos

Since Li and Yorke [18] first introduced a precise mathematical definition of chaos, there appeared several different definitions of chaos, some are stronger and some are weaker, depending on the requirements in different problems; see [19-22] etc. For convenience, we list two definitions of chaos in the sense of Li-Yorke and Devaney, which are used in the paper.

Definition 1 Let (X, d) be a metric space,/: X ^ X be a map, and S be a set of X with at least two distinct points. Then S is called a scrambled set of/ if for any two distinct points x, y e S,

liminfd/n(x),/n(y)) = 0, limsupd/n(x),/n(y)) > 0.

The map / is said to be chaotic in the sense of Li-Yorke if there exists an uncountable scrambled set S of/.

Definition 2 [19] Let (X, d) be a metric space. A map/: V c X ^ V is said to be chaotic on V in the sense of Devaney if

(i) the set of the periodic points of/ is dense in V;

(ii) / is topologically transitive in V;

(iii) / has sensitive dependence on initial conditions in V.

In 1992, Banks etal. [23] proved that conditions (i) and (ii) together imply condition (iii) if/ is continuous in V. So, condition (iii) is redundant in the above definition in this case. It has been proved in [24] that under some conditions, chaos in the sense of Devaney is stronger than that in the sense of Li-Yorke.

Now, we introduce some relative concepts for system (2), which are motivated by [12, Definitions 5.1 and 5.2].

Definition 3

(i) A point x e Rk+* is called an m-periodic point of system (2) ifx e Rk+* is an m-periodic point of its induced system (5), that is, Fm(x) = x, Fj(x) = x,

1 < j < m -1. In the special case ofm = 1, x is called a fixed point or a steady state of system (2).

(ii) The concepts of density of periodic points, topological transitivity, sensitive dependence on initial conditions, and the invariant set for system (2) are defined similarly to those for its induced system (5) in Rk+*.

(iii) System (2) is said to be chaotic in the sense of Devaney (or Li-Yorke) on V c Rk+* if its induced system (5) is chaotic in the sense of Devaney (or Li-Yorke) on V c Rk+*.

In this paper, we will use the criterion of chaos established by Shi et al. to chaotify the linear delay difference equation (1). For convenience, we state it as follows.

Lemma 1 ([12, Theorem 2.1], [14, Theorem 4.4]) Let/ : Rn ^ Rn be a map with a fixed point z e Rn. Assume that

(i) / is continuously differentiable in a neighborhood of z and all the eigenvalues ofD/(z) have absolute values larger than 1, which implies that there exist a positive constant r and a norm || • || in Rn such that/ is expanding in Br(z) in || • ||, where Br(z) is the closed ball of radius r centered at z in (Rn, || • ||);

(ii) z is a snap-back repeller of/ with/m(x0) =z, x0 = z,for some x0 e Br (z) andsome positive integer m, where Br(z) is the open ball ofradius r centered at z in (Rn, || • ||). Furthermore,/ is continuously differentiable in some neighborhoods of

x0, x1,..., xm-1, respectively, and detD/(xj) =0 for 0 < j < m -1, where xj = /(x^) for 1 < j < m -1.

Then/or each neighborhood U o/z, there exist a positive integer k > m and a Cantor set A c U such that/k : A ^ A is topologically conjugate to the symbolic dynamical system a : ^ Y^+. Consequently, there exists a compact and per/ect invariant set V c Rn, containing the Cantor set A, such that/ is chaotic on V in the sense o/Devaney as well as in the sense o/Li-Yorke, and has a dense orbit in V.

Remark 1 Lemma 1 extends and improves the Marroto theorem [17]. Under the conditions of Lemma 1, z is a regular and nondegenerate snap-back repeller. Therefore, Lemma 1

can be briefly stated as follows: 'a regular and nondegenerate snap-back repeller in Rn implies chaos in the sense of both Devaney and Li-Yorke. We refer to [12, 14] for details.

3 Chaotification for linear delay difference equations

In this section, we will show that the controlled system (5) with a single-input state feedback controller (3), i.e., the controlled system (2) with controller (3), is chaotic in the sense of both Devaney and Li-Yorke for some parameters ¡3 and Yj, 1 < j < k.

Consider the fixed points of system (5). It is obvious that O := (0,...,0)T e Rk+1 is always a fixed point, and other fixed points P := (x0,...,x0)T e Rk+1 satisfy the following equation:

In the following, we only show the fixed point O can be a regular and nondegenerate snap-back repeller of system (5) under some conditions.

Theorem 1 There exist some constants ¡3 >0 and Yj, 1 < j < k, with

such that the controlled system (5), and consequently system (2), is chaotic in the sense of both Devaney and Li-Yorke.

Proof We will use Lemma 1 to prove this theorem. So, it suffices to show that all the conditions in Lemma 1 are satisfied. As assumed in the statement of the theorem, let ß and |y1| satisfy condition (7) throughout the proof.

First, we will show that O is an expanding fixed point of F in some norm in Rk+1. In fact, F is continuously differentiable in Rk+1, and the Jacobian matrix of F at O is

DF (O)

0 0 0 \ßYi + ai ßY2 + a2 ßy3 + «3

ßYk+i+ ak+i/ (k+i)x(k+i)

Its eigenvalues are determined by

^ - (ß Yk+i + ak+i)kk -(ßYk + ak)A/

•-(ßY2+ a2)X -(ßYi + «i) = 0. (8)

It follows from (8) and the second relation of condition (7) that all the eigenvalues of DF (O) have absolute values larger than 1 in norm. Otherwise, suppose that there exists an eigen-

value X0 of DF(O) with |X0| < 1, then we get the following inequality:

k+1 k+1

1 + ^E Ij + E lajl

j=2 j=2

> I4+1 - (fiYk+1 + ak+1)4 - (fiYk + ak)4-1-----p2 + a2)^|

k+1 k+1

= |pn + ax| > P| Y1I - laxl > 1 + p £ |YjI + £ lajl,

j=2 j=2

which is a contradiction. Hence, it follows from the first condition of Lemma 1, there exist a positive constant r and a norm || • ||* in Rk+1 such that O is an expanding fixed point of F in Br(O) in the norm || • ||*, that is,

||F(x) - F(y)||* > ¡||x -y ||*, Vx,y e Br(O),

where ¡x > 1 is an expanding coefficient of F in Br(O) and Br(O) is the closed ball centered at O e Rk+: of radius r with respect to the norm || • ||*.

From (6) and (7), we see that for sufficiently large p and | yi l, the absolute value of x0 can become very small. So, the distance of the fixed points O and P can be very small, and consequently, the r obtained above will be less than 1.

Next, we show O is a snap-back repeller of F in the norm || • ||*. For fixed ai and sufficiently large P and | y1 l, the equation

. . 1 - a1x . .

sm(Y1x) = —-— (9)

has a solution x =0 near 0, which implies that O0 = (x*,0, ...,0)T e Br(O) with O0 = O. It follows from the first relation of (7) that | p | < 1,1 < j < k +1. Let

Yj = 2mjn + arcsin^--jj, mj e Z,1 < j < k + 1. Then

sin Yj = --j, 1 < j < k + 1. (10)

Set Oj = F (Oj_1), 1 < j < k + 1. We can easily get that Oj = (0, ...,0,1,0,..., 0)T e Br (O) for

1 < j < k + 1, and

Fk+2(O0) = O,

which implies that O is a snap-back repeller of F. Finally, we show that

detDF(O,)=0, 0< j < k + 1.

A direct calculation shows that for any u = (m1,..., uk+1)T e Rk+1,

det DF (u) = (-1)

a1 + p y1 co^ YjUj

So, the following inequalities:

det DF (O0) = (-1)k [a1 + Pyi cos(Y1x*)] =0, det DF(O1) = (-1)k (a1 + PY1 cos Yk+1) =0,

det DF(Ok+1) = (-1)k(a1 + PY1 cos Y1) =0

can be carried out from equations (9) and (10) by choosing sufficiently large p. Therefore, all the assumptions in Lemma 1 are satisfied and O is a regular and nondegenerate snap-back repeller of system (5). So, system (5), i.e., equation (2), is chaotic in the sense of both Devaney and Li-Yorke. The proof is complete. □

Remark 2 Zhang and Chen [25], Kwok and Tang [26] had independently studied the chaotification of system (4) with the following single-input controllers:

(k+1 \ k+1 ^~^ajUj(n)\ and bv(n) = -b^ aj tanh( PjUj(n)),

j=1 / j=1

respectively, where b = (0, ...,0,1)T e Rk+1 and aj, Pj, 1 < j < k +1, are undetermined parameters. They showed that the controlled system is chaotic in the sense of Li-Yorke by using the Marotto theorem. However, there exists some problem in their proofs. We state as follows. By the definition of a snap-back repeller, if a point z is a snap-back repeller of a map g, then z is an expanding fixed point of g in Br(z) for some r >0, and there exists a point x0 e Br(z) with x0 = z such that gm(x0) = z for some positive integer m. It is easy to show that there must exist a positive integer m0 < m such that gm0(x0) e Br(z). However, in the proofs of both [25] and [26], they all proved that the map g of the controlled system is expanding in a neighborhood Br (O) of the origin O e Rk+1, and there exists a point x0 e Br(O) such thatg(x0) e Br(O) andg2(x0) = O, and consequently O is a snap-back repeller of the map g. This is a contradiction with the definition of a snap-back repeller. In this paper, we use controller (3) to chaotify the linear delay system (1), which corresponds to the chaotification of linear system (4) with the following single-input controller:

/ k+1 \ bv(n) = bp sin I ajUj(n) I.

This controller is slightly different from that used in [25]. However, the problem is solved, and it is rigorously proved that system (4) with the above controller is chaotic in the sense of both Devaney and Li-Yorke by using the snap-back repeller theory.

4 An example

In the last section, we present an example of chaotification for a linear delay difference equation with computer simulations.

Example 1 The linear delay difference equation (1) is taken as the following:

x(n + l) = - ~x(n + j - k -1), n > 0, 2j

where k > 1 is a fixed integer.

Obviously, O = (0,0, ...,0)r e Rk+1 is a fixed point of equation (11). By Theorem 1, we can take controller (3) with ¡3 and yj, 1 < j < k + 1, as specified in the proof, such that the output of the controlled system (5), i.e., system (2), is chaotic in the sense of both Devaney and Li-Yorke. In order to help better visualize the theoretical result, we take k = 1,2 for computer simulations. For k = 1, we can take

3 = 10, Yi = 2tt + arcsin—, y2 = arcsin—. y 20 40

For k = 2, we take

P = 10, y1 = 2tt + arcsin

y2 = arcsin

Y3 = arcsin

Both of them satisfy the condition (7). The simulated results show that the origin system (4), i.e., system (11), has simple dynamical behaviors, and the controlled system (5), i.e., system (2), has complex dynamical behaviors, see Figures 1-4.

-20- " >.•'•••••■ -

~2-25 -20 -15 -10 -5 0 5 10 15 20 25

Figure 2 2-D computer simulation result shows complex dynamical behaviors of the controlled system (5) in the (u1,u2) space for k =1, в = 10, y1 = 2n + arcsin 210, У2 = arcsin 45.

Figure 3 3-D computer simulation result shows simple dynamical behaviors of the uncontrolled system (4) in the (ui,u2,u3) space for k = 2.

30. 20 -10. 0. -10. -20.

Figure 4 3-D computer simulation result shows complex dynamical behaviors of the controlled system (5) in the (u1,u2,u3) space for k =2, p = 10, Y =2n + arcsin 2;, Y2 = arcsin 40, Y3 = arcsin 60.

Competing interests

The author declares that he has no competing Interests.

Acknowledgements

This work Is supported by NationalNaturalScience Foundation of China (Grant 11101246).

Received: 2 August 2012 Accepted: 22 February 2013 Published: 18 March 2013

References

1. Freeman, WJ: Chaos in the brain: possible roles in biologicalintelligence. Int. J. Intell. Syst. 10, 71-88 (1995)

2. Schiff, SJ, Jerger, K, Duong, DH, Chang, T, Spano, ML, Ditto, WL: Controlling chaos in the brain. Nature 370, 615-620 (1994)

3. Brandt, ME, Chen, GR: Bifurcation controlof two nonlinear of models of cardiac activity. IEEE Trans. Circuits Syst. 144, 1031-1034(1997)

4. Ditto, WL, Spano, ML, Nelf, J, Meadows, B, Langberg, JJ, Bolmann, A, McTeague, K: Controlof human atrial fibrillation. Int. J. Bifurc. Chaos 10, 593-602 (2000)

5. Jakimoski, G, Kocarev, LG: Chaos and cryptography: block encryption ciphers based on chaotic maps. IEEE Trans. Circuits Syst. I 48, 163-169 (2001)

6. Kocarev, LG, Maggio, M, Ogorzalek, M, Pecora, L, Yao, K: Specialissue on applications of chaos in modern communication systems. IEEE Trans. Circuits Syst. 148,1385-1527 (2001)

7. Chen, GR, Lai, DJ: Feedback controlof Lyapunov exponents for discrete-time dynamicalsystems. Int. J. Bifurc. Chaos 6, 1341-1349(1996)

8. Chen, GR, Lai, DJ: Anticontrolof chaos via feedback. In: Proc. of IEEE Conference on Decision and Control, San Diego, CA, Dec, pp. 367-372(1997)

9. Chen, GR, Lai, DJ: Feedback anticontrolof discrete chaos. Int. J. Bifurc. Chaos 8,1585-1590 (1998)

10. Wang, XF, Chen, GR: On feedback anticontrolof discrete chaos. Int. J. Bifurc. Chaos 9,1435-1441 (1999)

11. Shi, YM, Chen, GR: Chaotification of discrete dynamicalsystems governed by continuous maps. Int. J. Bifurc. Chaos 15, 547-556 (2005)

12. Shi, YM, Yu, P, Chen, GR: Chaotification of dynamicalsystems in Banach spaces. Int. J. Bifurc. Chaos 16, 2615-2636 (2006)

13. Wang, XF, Chen, GR: Chaotification via arbitrary smallfeedback controls. Int. J. Bifurc. Chaos 10, 549-570 (2000)

14. Shi, YM, Chen, GR: Discrete chaos in Banach spaces. Sci. China Ser. A 34, 595-609 (2004). English version: 48, 222-238 (2005)

15. Chen, GR, Shi, YM: Introduction to anti-controlof discrete chaos: theory and applications. Philos. Trans. R. Soc. Lond. A 364, 2433-2447 (2006)

16. Shi, YM, Chen, GR: Chaos of discrete dynamicalsystems in complete metric spaces. Chaos Solitons Fractals 22, 555-571 (2004)

17. Marotto, FR: Snap-back repellers imply chaos in Rn .J. Math. Anal. Appl. 63, 199-223 (1978)

18. Li, TY, Yorke, JA: Period three implies chaos. Am. Math. Mon. 82, 985-992 (1975)

19. Devaney, RL: An Introduction to Chaotic DynamicalSystems. Addison-Wesley, New York (1987)

20. Martelli, M, Dang, M, Steph, T: Defining chaos. Math. Mag. 71,112-122 (1998)

21. Robinson, C: DynamicalSystems: Stability, Symbolic Dynamics and Chaos. CRC Press, Boca Raton (1995)

22. Wiggins, S: Global Bifurcations and Chaos. Springer, New York (1988)

23. Banks, J, Brooks, J, Cairns, G, Davis, G, Stacey, P: On Devaney's definition of chaos. Am. Math. Mon. 99, 332-334 (1992)

24. Huang, W, Ye, XD: Devaney's chaos or 2-scattering implies Li-Yorke's chaos. Topol. Appl. 117, 259-272 (2002)

25. Zhang, HZ, Chen, GR: Single-input multi-output state-feedback chaotification of generaldiscrete systems. Int. J. Bifurc. Chaos 14, 3317-3323 (2004)

26. Kwok, HS, Tang, WKS: Chaotification of discrete-time systems using neurons. Int. J. Bifurc. Chaos 14,1405-1411 (2004)

doi:10.1186/1687-1847-2013-59

Cite this article as: Li: Chaotification for linear delay difference equations. Advances in Difference Equations 2013 2013:59.

Submit your manuscript to a SpringerOpen journal and benefit from:

► Convenient online submission

► Rigorous peer review

► Immediate publication on acceptance

► Open access: articles freely available online

► High visibility within the field

► Retaining the copyright to your article

Submit your next manuscript at ► springeropen.com