 Research
 Open Access
 Published:
Dynamical analysis in controlled globally coupled map lattices
Advances in Continuous and Discrete Models volume 2022, Article number: 62 (2022)
Abstract
This paper investigates a globally coupled map lattice. Rigorous proofs to the existence of chaos in the sense of both Li–Yorke and Devaney in two controlled globally coupled map lattices are presented. In addition, the existence of Li–Yorke chaos and Devaney chaos for a general discrete dynamical system in \({\mathbf {R}}^{N}\) and \(l^{\infty}\) is considered. For illustration, two examples are provided.
Introduction
Chaotification (also called anticontrol of chaos [1]) is a process of making an originally nonchaotic dynamical system chaotic, or enhancing a chaotic system to show a stronger or different type of chaos. It has been found that chaos is useful under some circumstances, such as in humanbrain analysis [2], heartbeat regulation [3], and digital communications [4]. Now, it has attracted increasing attention partially due to its great potential in many nontraditional applications [5–11].
The Couple Map Lattice (CML) is a classical spatiotemporal chaos proposed by Kaneko, which spatially divides the system into various lattices and represents a kind of dynamics evolution both in time and space [6]. There are many types of coupling, e.g., oneway coupling [7], nearestneighbor coupling [8], global coupling [9], etc. A globally coupled map lattice (GCML) is a discrete time dynamical system where elements interact with all other elements [6, 10].
There are many works on the existence of chaos in CML and GCML. In 2007, the following CML with nearestneighbor interaction:
was studied by Tian and Chen, and it was proved that the CML is Li–Yorke chaotic under some conditions [8]. In 2011, the following GCML:
where \(f(x)=\mu x(1x)\) is the logistic map, was studied by Khellat et al. and it was proved that Li–Yorke chaos and synchronous chaos will appear when it satisfies certain conditions [9]. In 2019, the following GCML with delays:
where \(f(x)=\mu x(1x)\), was investigated and it was proved to be chaotic in the sense of Li–Yorke using modified Marotto’s theorem [11]. Recently, chaotification of the CML \(x(n+1,m)=f(x(n,m),x(n,m+1))\) with general controllers, sawtooth functions, basic elementary functions, and polynomial maps are investigated and all the systems are proved to be chaotic in the sense of both Li–Yorke and Devaney by applying coupledexpanding and snapback repeller theories [12–18].
To the best of our knowledge, there are few results on designing a controller such that the controlled GCML is chaotic in the sense of both Li–Yorke and Devaney. This fact motivates us to explore mathematically the existence of chaos in controlled GCMLs. In this paper, we consider the following original GCML:
where \(\varepsilon \in (0,1)\), \(n\in {\mathbf {Z}}\), \(m=1,2,\ldots , N+1\), and \(N+1\) is the number of sites in the GCML, and the objective here is to design controllers \(\alpha g(\beta x(n,m))\) and \(\frac{\alpha}{N}\sum^{N+1}_{j=1,j\neq m} g(\beta x(n,j))\) such that the output of the following controlled systems:
where \(g: I\subset {\mathbf {R}}\rightarrow{\mathbf {R}}\), α and β are constants, are chaotic in the sense of both Li–Yorke and Devaney.
The rest of the paper is organized as follows. Section 2 contains a lemma about chaos and reformulation of (1)–(3). Mathematically rigorous verification of chaos is always preferable, so, in Sect. 3, the existence of chaos in the sense of both Li–Yorke and Devaney in a general discrete dynamical system is verified by employing the snapback repeller theory. Then, the existence of chaos in the sense of both Li–Yorke and Devaney in (2) and (3) is studied in Sect. 4, and the value of α can be made arbitrarily small if β is large enough. Two illustrative examples are provided in Sect. 5 with computer simulations.
Preliminaries
In this section, we introduce two basic concepts and a lemma about chaos, and then reformulate Eqs. (1)–(3).
Definition 1
([19])
Let \((X,d)\) be a metric space and \(F:X\to X\) be a map. A subset S of X is called a scrambled set of F, if for any two different points \(x,y\in S\),
The map F is said to be chaotic in the sense of Li–Yorke if there exists an uncountable scrambled set S of F.
Definition 2
([20])
Let \((X,d)\) be a metric space. A map \(F:V\subset X\to V\) is said to be chaotic on V in the sense of Devaney if:

(i)
F is topologically transitive in V;

(ii)
the periodic points of F in V are dense in V;

(iii)
F has sensitive dependence on the initial conditions in V.
By \(\L\\) denote the norm of a bounded linear operator L on \({\mathbf {R}}^{n}\), that is, \(\L\:= \max \{\Lx\:x\in {\mathbf {R}}^{n} \text{ with } \x\=1\}\). For a linear map \(L:X\rightarrow X\), where \((X,\\cdot \)\) is a Banach space, let \(\L\^{0}:= \inf \{\Lx\:x\in X \text{ with } \x\=1\}\). If a bounded linear map \(L:X\rightarrow X\) is bijective and has a bounded linear inverse map, then L is called an invertible linear map. By \(B_{r}(x)\) and \(\bar{B}_{r}(x)\) denote the open and closed balls of radius r, centered at \(x\in X\), respectively. The following lemma about chaos is introduced.
Lemma 1
([12])
Let \((X,\\cdot \)\) be a Banach space and \(F:X\rightarrow X\) be a map with a fixed point \(z\in X\). Assume that

(i)
F is continuously differential in \(B_{r_{0}}(z)\) for some \(r_{0}>0\) and \(DF(z)\) is an invertible linear map satisfying \(\DF(z)\^{0}>1\), which is equivalent to saying that there exists a positive constant \(r\leq r_{0}\) such that z is a regular expanding fixed point of F in \(\overline{B}_{r}(z)\);

(ii)
z is a snapback repeller of F with \(F^{m}(x_{0})=z\) for some \(x_{0}\in B_{r}(z)\), \(x_{0}\neq z\), and for some positive integer m. Furthermore, F is continuously differentiable in some neighborhoods of \(x_{1}, \ldots , x_{m1}\), respectively, satisfying that \(DF(x)\) is an invertible linear map for all \(x\in B_{r}(z)\) and for \(x=x_{j}\), and \(\DF(x_{j})\^{0}>0\) for \(1\leq j\leq m1\), where \(x_{j}=F(x_{j1})\).
Then, for any neighborhood U of z, there exist an integer \(n>m\) and a Cantor set \(\Lambda \subset U\) such that \(F^{n}:\Lambda \rightarrow \Lambda \) is topologically conjugate to the symbolic dynamical system \(\sigma : \Sigma ^{+}_{2}\rightarrow \Sigma ^{+}_{2}\). Consequently, there exists a compact and perfect invariant set \(D\subset X\), containing a Cantor set, such that \(x_{n+1}=F(x_{n})\) (\(n\geq 0\)) is chaotic on D in the sense of both Devaney and Li–Yorke, and has a dense orbit in D.
Next, we reformulate GCMLs (1)–(3) into special discrete systems.
Let \(x(n)=(x(n,1),x(n,2),\ldots ,x(n,N+1))^{T}\), then GCML (1) can be written as
Thus, the controlled GCMLs (2) and (3) can be written as the following general discrete dynamical systems:
respectively, where
Definition 3
The GCMLs (1)–(3) are said to be chaotic in the sense of Li–Yorke (or Devaney) on \(V\subset {\mathbf {R}}^{N+1}\) if their induced systems (4)–(6) are chaotic in the sense of Li–Yorke (or Devaney) on \(V\subset {\mathbf {R}}^{N+1}\), respectively.
Existence of chaos in a general discrete dynamical system
In this section, a general discrete dynamical system is considered, and the existence of chaos in the sense of both Li–Yorke and Devaney is investigated by employing the snapback repeller theory.
For convenience, denote \(I^{N}:=\underbrace{I\times I\times \cdots \times I}_{N}\) for \(I\subset {\mathbf {R}}\).
Theorem 1
Consider the controlled system
in \({\mathbf {R}}^{N} (N<\infty )\) or \(l^{\infty }(N=\infty )\), where the controller is \(\alpha G(\beta x_{n})\). Assume that

(i)
\(x^{*}=0\) is a fixed point of F and there exist positive constants r and L such that F is continuous in \([r,r]^{N}\) and continuously differentiable in \((r,r)^{N}\), satisfying
$$ \bigl\Vert DF(x) \bigr\Vert \leq L,\quad \forall x \in (r,r)^{N}; $$(8) 
(ii)
G satisfies the following conditions:

(iia)
G is continuous in \([r,r]^{N}\cup [a,b]^{N}\) and continuously differentiable in \((r,r)^{N}\cup \) \((a,b)^{N}\) with \(r< a< b\);

(iib)
\(x^{*}=0\) is a fixed point of G and there exists a point \(\xi \in (a,b)^{N}\) such that \(G(\xi )=0\);

(iic)
\(DG(x)\) is an invertible linear operator for each \(x\in (r,r)^{N}\cup (a,b)^{N}\) and there exists a constant \(\lambda >0\) such that
$$ \bigl\Vert G(x)G(y) \bigr\Vert \geq \lambda \Vert xy \Vert ,\quad \forall x,y\in [r,r]^{N} \textit{ and } \forall x,y \in [a,b]^{N}. $$(9)

(iia)
Then, for any constants α, β satisfying \(\beta >b/r\) and
where \(\\xi \_{0}=\min \{\xi _{i}: 0\leq i\leq N\}\), system (7) is chaotic in the sense of both Li–Yorke and Devaney in the neighborhood of the origin.
Proof
Lemma 1 is used to prove this theorem. The proof is motivated by some ideas in the proof of Theorem 3.1 in [12] and Theorem 2.1 in [21].
First, we will prove that the results herein hold in the case of \(\beta >b/r\) and \(\alpha \beta >C_{0}\). In this case, \([\beta ^{1}r,\beta ^{1}r]^{N}, [\beta ^{1}a,\beta ^{1}b]^{N} \subset [r,r]^{N}\). The proof is divided into four parts.
Step 1. \(x^{*}=0\) is an expanding fixed point of \(H_{\alpha ,\beta}\) in \([\beta ^{1}r,\beta ^{1}r]^{N}\).
By assumptions (i) and (iib), \(x^{*}=0\) is a fixed point of \(H_{\alpha ,\beta}\). From (8) and Lemma 2.3 in [12], one has
Then, it follows from (9) and (10) that for all \(x,y\in [\beta ^{1}r,\beta ^{1}r]^{N}\),
Hence, \(x^{*}=0\) is an expanding fixed point of \(H_{\alpha ,\beta}\) in \([\beta ^{1}r,\beta ^{1}r]^{N}\) due to \(\alpha \beta \lambda L>1\).
Step 2. \(x^{*}=0\) is a snapback repeller of \(H_{\alpha ,\beta}\) in \([\beta ^{1}r,\beta ^{1}r]^{N}\), that is, there exists a point \(x_{0}\in (\beta ^{1}r,\beta ^{1}r)^{N}\) and \(x_{0}\neq 0\) such that \(H_{\alpha ,\beta}^{2}(x_{0})=0\). This part is divided into two subparts.
Step 2a. There exists a point \(x_{1}\in (\beta ^{1}a,\beta ^{1}b)^{N}\) such that \(H_{\alpha ,\beta}(x_{1})=0\).
To achieve this, consider the equation
in \([\beta ^{1}a,\beta ^{1}b]^{N}\), which can be written as
By (9), for all \(x,y\in [\beta ^{1}a,\beta ^{1}b]^{N}\),
Hence, \(G_{\alpha ,\beta}:[\beta ^{1}a,\beta ^{1}b]^{N}\rightarrow G_{ \alpha ,\beta}([\beta ^{1}a,\beta ^{1}b]^{N})\) is invertible, and its inverse \(G_{\alpha ,\beta}^{1}:G_{\alpha ,\beta}([\beta ^{1}a,\beta ^{1}b]^{N}) \rightarrow [\beta ^{1}a,\beta ^{1}b]^{N}\) is continuous and satisfies
Now, it is to show that
i.e., to prove that for all \(x\in [\beta ^{1}a,\beta ^{1}b]^{N}\),
In fact, it follows from (10) that
Obviously, \(\beta ^{1}\xi \in (\beta ^{1}a,\beta ^{1}b)^{N}\) and \(G(\beta \beta ^{1}\xi )=0\). Hence, \(0\in \alpha G(\beta [\beta ^{1}a,\beta ^{1}b]^{N})\). Consequently, for each \(x\in \partial ([\beta ^{1}a,\beta ^{1}b]^{N})\), it follows from (9) that
Further, since \(DG(\beta x)\) is invertible at each point \(x\in (\beta ^{1}a,\beta ^{1}b)^{N}\) by assumption (iic), \(G(\beta (\beta ^{1}a,\beta ^{1}b)^{N})\) is open due to [22]. This, together with (16) and (17), implies that (15), i.e., (14) holds. Therefore, (12) can be written as
Let \(h_{1}(x):=G^{1}_{\alpha ,\beta}((F(x)+\xi ))\). By assumption (iib),
then for each \(x\in [\beta ^{1}a,\beta ^{1}b]^{N}\),
which, together with (13) and (16), show that for each \(x\in [\beta ^{1}a,\beta ^{1}b]^{N}\),
It follows from (21) and (22) that \(h_{1}\) maps \([\beta ^{1}a,\beta ^{1}b]^{N}\) into itself. In addition, from (10), (13), and (20), we have
Hence, \(h_{1}\) is contractive on \([\beta ^{1}a,\beta ^{1}b]^{N}\) due to \((\alpha \beta \lambda )^{1}L<1\). By the Banach contractive mapping principle, there exists a unique point \(x_{1}\in [\beta ^{1}a,\beta ^{1}b]^{N}\) such that \(h_{1}(x_{1})=x_{1}\). It follows from (21) and (22) that \(x_{1}\in (\beta ^{1}a,\beta ^{1}b)^{N}\). Therefore, \(x_{1}\) solves Eq. (11).
Step 2b. There exists a point \(x_{0}\in (\beta ^{1}r,\beta ^{1}r)^{N}\) and \(x_{0}\neq 0\) such that \(H_{\alpha ,\beta}(x_{0})=x_{1}\).
Consider the following equation:
in \([\beta ^{1}r,\beta ^{1}r]^{N}\), which can be written as
Then, it follows from (9) that for all \(x,y\in [\beta ^{1}r,\beta ^{1}r]^{N}\),
By assumption (ii), it can be easily verified that \(\widehat{G}_{\alpha ,\beta}: [\beta ^{1}r,\beta ^{1}r]^{N} \rightarrow \widehat{G}_{\alpha ,\beta}([\beta ^{1}r, \beta ^{1}r]^{N})\) is invertible, and that its inverse \(\widehat{G}_{\alpha ,\beta}^{1}:\widehat{G}_{\alpha ,\beta}([ \beta ^{1}r,\beta ^{1}r]^{N})\rightarrow [\beta ^{1}r,\beta ^{1}r]^{N}\) is continuous and satisfies
Next, it is to show that
In fact, it follows from \(x_{1}\in (\beta ^{1}a,\beta ^{1}b)^{N}\) and (10) that
Obviously, \(0\in (\beta ^{1}r,\beta ^{1}r)^{N}\) and \(\alpha G(\beta 0)=0\). Hence, \(0\in \alpha G(\beta [\beta ^{1}r,\beta ^{1}r]^{N})\). Consequently, for each \(x\in \partial ([\beta ^{1}r,\beta ^{1}r]^{N})\), it follows from (9) that
Further, since \(DG(\beta x)\) is invertible at each point \(x\in (\beta ^{1}a,\beta ^{1}b)^{N}\) by assumption (iic), \(G(\beta (\beta ^{1}a,\beta ^{1}b)^{N})\) is open due to [22]. Hence, it follows from (26) and (27) that (25), i.e., (24) holds. Hence, (24) can be written as
Let
It follows from (10) and (13) that for all \(x,y\in [\beta ^{1}r,\beta ^{1}r]^{N}\), one has
Hence, \(h_{2}\) maps \([\beta ^{1}r,\beta ^{1}r]^{N}\) into itself and is contractive in \([\beta ^{1}r,\beta ^{1}r]^{N}\) because \((\alpha \beta \lambda )^{1}L<1\). Again, by the Banach contractive mapping principle, there exists a unique point \(x_{0}\in [\beta ^{1}r,\beta ^{1}r]^{N}\) such that \(h_{2}(x_{0})=x_{0}\). One can also show that \(x_{0}\in (\beta ^{1}r,\beta ^{1}r)^{N}\). Hence, it follows from (24) and (28) that \(x_{0}\) solves Eq. (23). Further, it follows from (24) that \(x_{0}\neq 0\). Otherwise, suppose that \(x_{0}=0\), then by (24), \(F(0)+x_{1}=\alpha G(\beta 0)\), hence, it follows from assumptions (i) and (iib) that \(x_{1}=0\), which contradicts \(x_{1}\in (\beta ^{1}a,\beta ^{1}b)^{N}\).
Based on the above discussions, there exists \(x_{0}\in (\beta ^{1}r,\beta ^{1}r)^{N}\), \(x_{0}\neq 0\), such that \(H_{\alpha ,\beta}^{2}(x_{0})=0\). Hence, \(x^{*}=0\) is a snapback repeller of \(H_{\alpha ,\beta}\) in \([\beta ^{1}r,\beta ^{1}r]^{N}\).
Step 3. \(\DH_{\alpha ,\beta}(0)\^{0}>1\) and \(\DH_{\alpha ,\beta}(x_{1})\^{0}>0\).
Let \(\Omega _{\beta}=(\beta ^{1}r,\beta ^{1}r)^{N}\cup (\beta ^{1}a, \beta ^{1}b)^{N}\). Since \(\Omega _{\beta}\subset [r,r]^{N}\), \(H_{\alpha ,\beta}\) is continuously differential in \(\Omega _{\beta}\). Obviously, \(DH_{\alpha ,\beta}(x)=DF(x)+\alpha \beta DG(\beta x)\) for all \(x\in \Omega _{\beta}\). It follows from (9) and Lemma 2.2 in [12] that
Hence, it follows from (8) that for any fixed \(x\in \Omega _{\beta}\) and for each \(y\in {\mathbf {R}}^{N}\),
This implies that for any \(x\in \Omega _{\beta}\), \(\DH_{\alpha ,\beta}(x)\^{0}\geq \alpha \beta \lambda L>1 \). Thus, \(\DH_{\alpha ,\beta}(0)\^{0}>1\) and \(\DH_{\alpha ,\beta}(x_{1})\^{0}>0\).
Step 4. \(DH_{\alpha ,\beta}(x)\) is invertible for each \(x\in \Omega _{\beta}\)
It follows from assumption (iic), (8), and (30) that \(DH_{\alpha ,\beta}(x)\) is bounded and injective for each \(x\in \Omega _{\beta}\). Next, we will prove that \(DH_{\alpha ,\beta}(x)\) is also surjective. In fact, for any fixed \(x\in \Omega _{\beta}\) and for any \(z\in {\mathbf {R}}^{N}\), the equation
can be written as
By assumption (iic), (32) can be rewritten as \((\alpha \beta )^{1}(DG(\beta x))^{1}(DF(x)y+z)=y \). Let
Then, it follows from (8) and (29) that for each \(y, y_{1},y_{2}\in [K,K]^{N}\),
Hence, \(h_{3}\) maps \([K,K]^{N}\) into itself and is contractive on \([K,K]^{N}\) due to \((\alpha \beta \lambda )^{1}L<1\). Consequently, there exists a unique point \(y\in [K,K]^{N}\) such that \(h_{3}(y)=y\). This implies that \(DH_{\alpha ,\beta}(x)\) is surjective. Hence, \(DH_{\alpha ,\beta}(x)\) has an inverse \((DH_{\alpha ,\beta}(x))^{1}\). Further, it follows from (30) that \((DH_{\alpha ,\beta}(x))^{1}\) is a bounded linear operator. Hence, \(DH_{\alpha ,\beta}(x)\) is invertible for each \(x\in \Omega _{\beta}\) and \(\alpha \beta >C_{0}\).
By the above discussions and Lemma 1, the theorem holds in the case of \(\beta >b/r\) and \(\alpha \beta >C_{0}\).
Secondly, we will prove that the theorem holds in the other three cases: Case I: \(\beta >b/r\), \(\alpha \beta <C_{0}\); Case II: \(\beta <b/r\), \(\alpha \beta >C_{0}\); and Case III: \(\beta <b/r\), \(\alpha \beta <C_{0}\).
The proof is similar to that of \(\beta >b/r\) and \(\alpha \beta >C_{0}\). The difference between their proofs is as follows. In Case I, α and αβ in the above inequalities are replaced by −α and \(\alpha \beta \), respectively. In Case II, α, β in inequalities, \([\beta ^{1}r,\beta ^{1}r]\), and \([\beta ^{1}a,\beta ^{1}b]\) are replaced by −α, −β, \([\beta ^{1}r, \beta ^{1}r]\), and \([\beta ^{1}b, \beta ^{1}a]\), respectively. In Case III, β, αβ in inequalities, \([\beta ^{1}r,\beta ^{1}r]\), and \([\beta ^{1}a,\beta ^{1}b]\) are replaced by −β, \(\alpha \beta \), \([\beta ^{1}r, \beta ^{1}r]\), and \([\beta ^{1}b, \beta ^{1}a]\), respectively. The other proofs are similar to that of \(\beta >b/r\), \(\alpha \beta >C_{0}\). Hence, the details are omitted.
By all the above discussions, the theorem holds. The proof is now complete. □
Remark 1
All the assumptions (i), (iia), (iib), and (iic) in Theorem 1 are necessary conditions of making (7) chaotic.
Remark 2
In [21], the controlled systems \(x_{n+1}=f(x_{n})+g(\mu x_{n})\) and \(x_{n+1}=f(x_{n})+\mu g(x_{n})\) were considered, and they have been proved to be chaotic in the case of \(\mu >\mu _{0}>0\) and under some other conditions. First, systems in [21] are special cases of Theorem 1 herein. Secondly, compared with the range of values of μ, the ranges of α, β become wider, because they could be positive or negative, and the value of α can be made arbitrarily small if β is large enough.
Existence of chaos in the controlled GCMLs (2) and (3)
Theorem 2
Consider the controlled GCML (2). Assume that

(i)
\(f(0)=0\) and there exists a positive constant r such that f is continuously differentiable in \([r,r]\);

(ii)
g is continuously differentiable in \([r,r]\cup [a,b]\) with \(r< a< b\), \(g'(x)\neq 0 \) for all \(x\in [r,r]\cup [a,b]\), \(g(0)=0\), and there exists a point \(\xi \in (a,b)\) such that \(g(\xi )=0\).
Then, for any constants α, β satisfying \(\beta >b/r\) and
where \(L:=\max \{f'(x):x\in [r,r]\}\) and \(\lambda :=\min \{g'(x):x\in [r,r]\cup [a,b]\}\), (2) is chaotic in the sense of both Li–Yorke and Devaney in the neighborhood of the origin.
Proof
Theorem 1 is used to prove this theorem. The induced system of the controlled GCML (2) is (5).
It is clear that \(O:=(\underbrace{0,0,\ldots ,0}_{N+1})^{T}\in {\mathbf {R}}^{N+1}\) is a fixed point of F, F is continuously differentiable in \([r,r]^{N+1}\), and its Jacobian matrix is
Hence, one has
where \(z=\{z(j)\}^{N+1}_{j=1}\in {\mathbf {R}}^{N+1} \). Thus,
It follows from assumption (ii) that \(G(O)=G(\xi ^{*})=0\), where \(\xi ^{*}:=(\underbrace{\xi ,\xi ,\ldots ,\xi}_{N+1})^{T}\in (a,b)^{N+1}\). Again by assumption (ii), \(G(x)\) is continuously differentiable in \([r,r]^{N+1}\cup [a,b]^{N+1}\) and satisfies
By assumption (ii), \(DG(x)\) is invertible and its inverse matrix is
which implies that \(\(DG(x))^{1}\\leq 1/\lambda \) for all \(x\in [r,r]^{N+1}\cup [a,b]^{N+1}\). Hence, \(DG(x)\) is an invertible linear map. Further, for any \(x, y\in [r,r]^{k+1}\) or \([a,b]^{k+1}\), by the mean value theorem, we have that
By summarizing the above discussions, F and G satisfy all the assumptions of Theorem 1. Thus, the theorem herein holds. The proof is complete. □
Theorem 3
Consider the controlled GCML (3). Suppose that f and g satisfy all assumptions of Theorem 2, then for any constants α, β satisfying \(\beta >b/r\) and
Equation (3) is chaotic in the sense of both Li–Yorke and Devaney in the neighborhood of the origin.
Proof
Theorem 1 is used to prove this theorem. The induced system of (3) is (6).
Obviously, \(\widetilde{G}(x)\) is continuously differentiable in \([r,r]^{N+1}\cup [a,b]^{N+1}\), and its Jacobian matrix is
Thus, for any \(z=\{z(j)\}^{N+1}_{j=1}\in {\mathbf {R}}^{N+1}\), one has
Therefore,
Further, \(D\widetilde{G}(x)\) is invertible and its inverse is
which implies that for all \(x\in [r,r]^{N+1}\cup [a,b]^{N+1}\) and for any \(z=\{z(j)\}^{N+1}_{j=1}\in {\mathbf {R}}^{N+1}\),
thus,
Hence, \(D\widetilde{G}(x)\) is an invertible linear map. By the compatibility of the matrix norm,
which together with the above inequality implies that for all \(x\in [r,r]^{N+1}\cup [a,b]^{N+1}\),
which implies that for any \(x,y\in [r,r]^{N+1}\) or \([a,b]^{N+1}\),
Further, \(\widetilde{G}(\xi )=\widetilde{G}(0)=0\). Hence, \(\widetilde{G}(x)\) satisfies assumption (ii) of Theorem 1. By the above discussions in Theorem 2, F herein satisfies assumption (i) of Theorem 1.
By summarizing the above discussions, F and G̃ satisfy all the assumptions of Theorem 1. Thus, all the results herein hold. The proof is complete. □
Examples
In this section, two examples with computer simulations are given to illustrate the results of Theorems 2 and 3.
Example 1
Consider the controlled GCML (2), where
and
Obviously, f and g satisfy all the assumptions of Theorem 2 with \(r=1\), \(a=2\), \(b=3\), \(\xi =5/2\), \(L<1\), and \(\lambda =2\). Thus, by Theorem 1, for any constants \(\beta >3\) and \(\alpha \beta >3\), (2) is chaotic in the sense of both Li–Yorke and Devaney in the neighborhood of the origin.
For computer simulation, we take \(N=1, 2\), \(\beta =3.5\), \(\alpha =3, 6\), and \(\varepsilon =0.2, 0.6, 0.9\), respectively. The simulation results in the twodimensional plane \((x(\cdot , 1), x(\cdot , 2))\) and threedimensional space \((x(\cdot , 1), x(\cdot , 2), x(\cdot , 3))\) that are shown in Fig. 1, which indicates that the controlled GCML (2) has very complicated dynamical behaviors.
Example 2
Consider the controlled GCML (3), where f and g are given in Example 1.
Similar to the discussions in Example 1, by Theorem 3, for any constants \(\beta >3\) and \(\alpha \beta >3(2N1)\), (3) is chaotic in the sense of both Li–Yorke and Devaney.
In order to compare the dynamical behaviors of the GCMLs (2) and (3) intuitively, we take all the values of α, β, ε, n, N, and the initial values are the same as those in Example 1. The simulation results are shown in Fig. 2. Obviously, the dynamical behaviors of (2) and (3) are similar in the 2D graphs, while they are different in the 3D graphs.
Availability of data and materials
Not applicable.
References
Chen, G., Lai, D.: Feedback anticontrol of discrete chaos. Int. J. Bifurc. Chaos 8, 1585–1590 (1998)
Freeman, W.J.: Chaos in the brain: possible roles in biological intelligence. Int. J. Intell. Syst. 10, 71–88 (1995)
Brandt, M.E., Chen, G.: Bifurcation control of two nonlinear models of cardiac activity. IEEE Trans. Circuits Syst. I 44, 1031–1034 (1997)
Kocarev, L., Maggio, M., Ogorzalek, M., Pecora, L., Yao, K.: Special issue on applications of chaos in modern communication systems. IEEE Trans. Circuits Syst. I 48, 1385–1527 (2001)
Jakimoski, G., Kocarev, L.: Chaos and cryptography: block encryption ciphers based on chaotic maps. IEEE Trans. Circuits Syst. I 48, 163–169 (2001)
Kaneko, K.: Theory and Applications of Coupled Map Lattice. Wiley, New York (1993)
Rhouma, R., Meherzi, S., Belghith, S.: OCMLbased colour image encryption. Chaos Solitons Fractals 40, 309–318 (2009)
Tian, C., Chen, G.: Chaos in the sense of LiYorke in coupled map lattices. Physica A 376, 246–252 (2007)
Khellat, F., Ghaderi, A., Vasegh, N.: LiYorke chaos and synchronous chaos in a globally nonlocal coupled map lattice. Chaos Solitons Fractals 44, 934–939 (2011)
Herrera, M., Martin, J.: An analytical study in coupled map lattices of synchronized states and traveling waves, and of their period doubling cascades. Chaos Solitons Fractals 42, 901–910 (2009)
Nag, M., Poria, S.: LiYorke chaos in globally coupled map lattice with delays. Int. J. Bifurc. Chaos 29, 1950183 (2019)
Shi, Y., Yu, P., Chen, G.: Chaotification of discrete dynamical system in Banach spaces. Int. J. Bifurc. Chaos 16, 2615–2636 (2006)
Shi, Y.: Chaos in firstorder partial difference equations. J. Differ. Equ. Appl. 14, 109–126 (2008)
Liang, W., Zhang, Z.: Chaotification schemes of firstorder partial difference equations via sine functios. J. Differ. Equ. Appl. 25, 665–675 (2019)
Liang, W., Zhang, Z.: Anticontrol of chaos for firstorder partial difference equations via sine and cosine functios. Int. J. Bifurc. Chaos 29, 1950140 (2019)
Liang, W., Guo, H.: Chaotification of firstorder partial difference equations. Int. J. Bifurc. Chaos 30, 2050229 (2020)
Guo, H., Liang, W.: Existence of chaos for partial difference equations via tangent and cotangent functions. Adv. Differ. Equ. 2021, 1 (2021)
Guo, H., Liang, W.: Chaotic dynamics of partial difference equations with polynomial maps. Int. J. Bifurc. Chaos 31, 2150133 (2021)
Li, T., Yorke, J.: Period three implies chaos. Am. Math. Mon. 82, 985–992 (1975)
Devaney, R.: An Introduction to Chaotic Dynamical Systems, 2nd edn. AddisonWesley, Reading (1989)
Liang, W., Shi, Y., Zhang, C.: Chaotification for a class of firstorder partial difference equations. Int. J. Bifurc. Chaos 18, 717–733 (2008)
Rudin, W.: Functional Analysis, 2nd edn. Interntional Series in Pure and Applied Mathematics. McGrawHill, New York (1973)
Acknowledgements
Not applicable.
Funding
This research was supported by the Foundation of Henan Educational Committee (Grant 21A120005) and the Fundamental Research Funds of Henan Polytechnic University (Grant NSFRF220420).
Author information
Authors and Affiliations
Contributions
WL contributed to the idea of this paper, wrote the manuscript, and revised it. YY and TJ proved the theorems and wrote the paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Yu, Y., Liang, W. & Jing, T. Dynamical analysis in controlled globally coupled map lattices. Adv Cont Discr Mod 2022, 62 (2022). https://doi.org/10.1186/s13662022037353
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662022037353
Keywords
 Li–Yorke chaos
 Devaney chaos
 Coupled map lattice
 Dynamical system