Some Chaotic Properties of a Kind of Coupled Map Lattices

Xiaofang Yang¹, Tianxiu Lu^1,2*, Guo Liu¹

¹Department of Mathematics and Statistics, Sichuan University of Science and Engineering, Zigong, China.
²Artificial Intelligence Key Laboratory of Sichuan Province, Zigong, China.

DOI: 10.4236/jamp.2020.86075                

Abstract

This paper is concerned with some chaotic properties of a kind of coupled map lattices, which is proposed by Kaneko. First, this research discussed the sensitivity, infinite sensitivity, transitivity, accessibility, densely Li-Yorke sensitivity and exact of coupled map lattices. Then, some sufficient conditions under which is Kato chaotic, positive entropy chaotic and Ruelle-Takens chaos are obtained.

Keywords

Coupled Map Lattices, Sensitivity, Chaos, Accessibility

1. Introduction

In 1983, Kaneko [1] proposed coupled map lattices (Short for CMLs). Then, in biophysics, materials, chaos, image processing, CMLs are intensively discussed (Refer to literature [2] - [8] and others). In 2005, the literature [9] showed that CMLs have some topology and ergodic properties. In 2010, Juan Lu [10] presented a definition of distributional chaos on a sequence (DCS) for CML systems and stated two different sufficient conditions for having DCS. In 2010, Juan Luis [11] proved that this CML system has positive topological entropy for zero coupling constant. In 2016, Risong Li [12] [13] had obtained some relevant conclusions for the zero coupling constant and proved that the system has three kinds of chaos. In this paper, the following CML from [14] is considered.

$x_{m+\mathrm{1,}n}=\left(1-\epsilon \right)f\left(x_{m\mathrm{,}n}\right)+\epsilon f\left(x_{m\mathrm{,}n-1}\right)$ (1)

where $x_{m\mathrm{,}n}\in I$, $m\in {\mathbb{N}}_0=\left\{\mathrm{0,1,2,}\cdots \right\}$, $n\in \mathbb{Z}=\left\{\cdots \mathrm{,}-\mathrm{1,0,1,}\cdots \right\}$, I is a non-degenerate compact interval, f is a map on I, and $\epsilon \in \left[\mathrm{0,1}\right]$ is a constant.

For $t\in \mathbb{Z}$, let ${\mathbb{N}}_t=\left\{t\mathrm{,}t+\mathrm{1,}\cdots \right\}$ and $\Omega =\left\{\left(0,n\right):n\in \mathbb{Z}\right\}=\left\{\cdots ,\left(0,-1\right),\left(0,0\right),\left(0,1\right),\cdots \right\}$. For any sequence $\varphi ={\left\{{\varphi }_{\mathrm{0,}n}\right\}}_{\infty }^{\infty }$ on $\Omega$, by induction, one can obtain a double-indexed sequence $x=\left\{x_{m,n}:m=0,1,2,\cdots ;n=\cdots ,-1,0,1,\cdots \right\}$, which is said to be a solution of the above system (1) with initial condition $\varphi$.

Let I be a subset of real number set, write

$I_{\infty }^{\infty }=\left\{{\left\{a_n\right\}}_{n=-\infty }^{\infty }=\left(\cdots ,a_{-1},a_0,a_1,\cdots \right):a_n\in I,n\in \mathbb{Z}\right\}$

and

${\Delta }_{\infty }^{\infty }=\left\{\left(\cdots ,a_{-1},a_0,a_1,\cdots \right):a_i=a_j\in I,i,j\in \mathbb{Z}\right\}$

which is called the diagonal set of $I_{\infty }^{\infty }$.

For arbitrary, two sequences $x_1={\left\{x_{1,n}\right\}}_{n=-\infty }^{\infty }$, $x_2={\left\{x_{2,n}\right\}}_{n=-\infty }^{\infty }\in I_{\infty }^{\infty }$, it is easy to prove that

$d\left(x_1,x_2\right)=\sup \left\{\left|x_{1,n}-x_{2,n}\right|:n=\cdots ,-1,0,1,\cdots \right\}$ (2)

is a metric on $I_{\infty }^{\infty }$.

Let $f\mathrm{<mo>\; :\; </mo>}I\mapsto I$ be a continuous map and $x=\left\{x_{m\mathrm{,}n}\mathrm{<mo>\; :\; </mo>}m\in {\mathbb{N}}_0\mathrm{,}n\in \mathbb{Z}\right\}$ be a solution of the above system (1) with initial condition $\varphi ={\left\{{\varphi }_{0,n}\right\}}_{\infty }^{\infty }\in I_{\infty }^{\infty }$.

Let

$x_m={\left\{x_{m,n}\right\}}_{n=-\infty }^{\infty }=\left(\cdots ,x_{m,-1},x_{m,0},x_{m,1},\cdots \right),\forall m\in {\mathbb{N}}_0,$

and

$x_{m+1}={\left\{x_{m+1,n}\right\}}_{n=-\infty }^{\infty }=\left(\cdots ,x_{m+1,-1},x_{m+1,0},x_{m+1,1},\cdots \right)=F\left(x_m\right),\forall m\in {\mathbb{N}}_0,$

where $x_0=\varphi ={\left\{x_{0,n}={\varphi }_{0,n}\right\}}_{n=-\infty }^{\infty }$ and

$x_{m+\mathrm{1,}n}=\left(1-\epsilon \right)f\left(x_{m\mathrm{,}n}\right)+\epsilon f\left(x_{m\mathrm{,}n-1}\right)\mathrm{,}\forall m\in {\mathbb{N}}_0\mathrm{,}n\in \mathbb{Z}\mathrm{.}$

Then, one can see that the above system (1) is equivalent to the following system

$x_{m+1}=F\left(x_m\right),x_m\in I_{\infty }^{\infty },m=0,1,2,\cdots$ (3)

For the above system (3), the map F is said to be induced by the system (1). Obviously, a double-indexed sequence $\left\{x_{m\mathrm{,}n}\mathrm{<mo>\; :\; </mo>}m\in {\mathbb{N}}_0\mathrm{,}n\in \mathbb{Z}\right\}$ is a solution of the above system (1) if and only if the sequence ${\left\{x_m={\left\{x_{m,n}\right\}}_{n=-\infty }^{\infty }:m\in {\mathbb{N}}_0\right\}}_{m=0}^{\infty }$ is a solution of the above system (3).

Next section, the definitions of sensitive, infinite sensitive, transitive, accessibility, densely Li-Yorke sensitive and exact will be reviewed. And then, in section 3, it is proved that the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ satisfies three definitions of chaos (Kato chaotic, positive entropy chaotic and Ruelle-Takens chaos) under the conditions that f is chaos in these sense.

2. Preliminaries

After T. Y. Li and J. A. Yorke [15] first put forward the mathematical definition of “chaos”, many other definitions of chaos appeared later. For example, sensitivity, infinite sensitivity, transitivity, accessibility, densely Li-Yorke sensitivity, Kato chaotic, positive entropy chaotic, Ruelle-Takens chaos, and so on.

Definition 1. Let $\left(X\mathrm{,}\rho \right)$ be a metric space and $f\mathrm{<mo>\; :\; </mo>}X\mapsto X$ be a continuous function. f is said to be

1) transitive if for any nonempty open subsets $U_1\mathrm{,}{U}_2\subset Y$, $f^n\left(U_1\right)\cap U_2\ne \varnothing$ for some integer $n\in \mathbb{N}$ (see [16]).

2) sensitive if there exist $\eta >0$ such that for any $x\in X$ and $\epsilon >0$, there exists $y\in B\left(x\mathrm{,}\epsilon \right)$ and $n\in \mathbb{N}$ such that $\rho \left(f^n\left(x\right),f^n\left(y\right)\right)$ (see [17]).

3) infinitely sensitive if there exist $\eta >0$ such that for any $x\in X$ and $\epsilon >0$, there exists $y\in B\left(x\mathrm{,}\epsilon \right)$ and $n\in \mathbb{N}$ such that $\underset{n\to \infty }{\lim \sup }\rho \left(f^n\left(x\right),f^n\left(y\right)\right)\ge \eta$ (see [17]).

4) accessible if for any $\epsilon >0$ and any two nonempty open subsets $U_1\mathrm{,}{U}_2\subset X$, there are two points $x\in U_1$ and $y\in U_2$ such that $\rho \left(f^n\left(x\right)\mathrm{,}{f}^n\left(y\right)\right)<\epsilon$ for some integer $n>0$ (see [16]).

5) exact if for any open subset $U\subset X$, there is $m\in \mathbb{N}$ such that $f^m\left(U\right)=X$ (see [18]).

Remark 1. [19] There is another equivalent definition of transitivity. $f\mathrm{<mo>\; :\; </mo>}X\mapsto X$ is said to be transitivity, if there is an $x_0\in X$ such that $\overline{Or{b}_f\left(x_0\right)}=X$. Where, $\overline{Or{b}_f\left(x_0\right)}=\left\{f^n\left(x_0\right)|n=0,1,2,\cdots \right\}$ is called the orbit of the point $x_0$.

Definition 2. 1) A dynamic system $\left(X\mathrm{,}f\right)$ (or the map $f\mathrm{<mo>\; :\; </mo>}X\to X$ ) is Li-Yorke sensitive, if for any $x\in X$ has $x\in Q_{\delta }\left(f\right)$ for some $\delta >0$.

2) A dynamic system $\left(X\mathrm{,}f\right)$ (or the map $f\mathrm{<mo>\; :\; </mo>}X\to X$ ) is densely Li-Yorke sensitive if $Q_{\delta }\left(f\right)$ is dense in X for some $\delta >0$. Among them,

$Q_{\delta }\left(f\right)=\left\{x\in X:\forall \epsilon >0,\exists y\in B\left(x,\epsilon \right)\text{such}\text{that}\left(x,y\right)\in L{Y}_{\rho }\left(f,\delta \right)\right\}$

$\begin{array}{l}L{Y}_{\rho }\left(f,\delta \right)=\{\left(x,y\right)\in X\times X:\underset{n\to \infty }{\lim \sup }\rho \left(f^n\left(x\right),f^n\left(y\right)\right)>\delta \\ \underset{}{\overset{}{}}\text{and}\underset{n\to \infty }{\lim \inf }\rho \left(f^n\left(x\right),f^n\left(y\right)\right)=0\}\end{array}$

Definition 3. 1) A dynamic system $\left(X\mathrm{,}f\right)$ (or the map $f\mathrm{<mo>\; :\; </mo>}X\to X$ ) is Kato chaotic if it is sensitive and accessible (see [20]).

2) A dynamic system $\left(X\mathrm{,}f\right)$ (or the map $f\mathrm{<mo>\; :\; </mo>}X\to X$ ) is chaotic in the sense of Ruelle and Takens (short for R-T chaotic) if it is transitive and sensitive (see [21]).

Proposition 1. A dynamic system $\left(X\mathrm{,}f\right)$ (or the map $f\mathrm{<mo>\; :\; </mo>}X\to X$ ) is Li-Yorke sensitive if and only if $\overline{P_{\delta }\left(f\right)}=X$ for some $\delta >0$. Among them,

$P_{\delta }\left(f\right)=\left\{x\in X\mathrm{<mo>\; :\; </mo>}\forall \epsilon >\mathrm{0,}\exists y\in B\left(x\mathrm{,}\epsilon \right)\mathrm{,}\exists n\in \mathbb{N}\text{such}\text{that}\rho \left(f^n\left(x\right),f^n\left(y\right)\right)>\delta \right\}$

Proposition 2. [17] A dynamical system $\left(X\mathrm{,}f\right)$ is infinitely sensitive if and only is it is sensitive.

Proposition 3. [22] A dynamical system $\left(X\mathrm{,}f\right)$ is dense Li-Yorke sensitivity, then it is Topological mixing (or its topological entropy is positive).

3. Main Results

In this section, let $X=I$. The metric $\rho$ in I is defined by $\rho \left(a\mathrm{,}b\right)=\left|a-b\right|\left(\forall a\mathrm{,}b\in I\right)$. The metric d in $I_{\infty }^{\infty }$ is defined by (2).

Theorem 1. If f is transitive, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is transitive.

Proof. Since f is transitive, then there exist $a\in I$ satisfying $\overline{Or{b}_f\left(a\right)}=I$. Then for any $b\in I$ and any $\epsilon >0$, $B\left(b\mathrm{,}\epsilon \right)\cap Or{b}_f\left(a\right)\ne \varnothing$. That is, there exists a $k_0>0$ such that $\rho \left(f^{k_0}\left(a\right)\mathrm{,}b\right)=\left|f^{k_0}\left(a\right)-b\right|<\epsilon$. Take $x_0=\left(\cdots \mathrm{,}a\mathrm{,}a\mathrm{,}a\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$. It is easy to see, for any $k\in \mathbb{N}$, $F^k\left(x_0\right)={\left\{f^k\left(a\right)\right\}}_{n=-\infty }^{\infty }$. Then, $Or{b}_F\left(x_0\right)={{\left\{f^k\left(a\right)\right\}}_{n=-\infty }^{\infty }|}_{k\in \mathbb{N}}$. For any $y=\left(\cdots ,b\mathrm{,}b\mathrm{,}b\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$ and above $k_0>0$,

$d\left(F^{k_0}\left(x_0\right),y\right)=\sup \left\{\left|f^{k_0}\left(a\right)-b\right|:n\in \mathbb{N}\right\}=\left|f^{k_0}\left(a\right)-b\right|<\epsilon .$

So, $B\left(y\mathrm{,}\epsilon \right)\cap Or{b}_F\left(x_0\right)\ne \varnothing$.

Thus, the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is transitive.

Theorem 2. If f is sensitive, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is sensitive.

Proof. Take ${\Delta }_{\infty }^{\infty }=\left\{\left(\cdots ,x_{-1},x_0,x_0,\cdots \right):x_n=a\in I,n\in \mathbb{Z}\right\}\subset I_{\infty }^{\infty }$, $\forall x=\left\{\cdots ,a,a,a,\cdots \right\}$, $y=\left\{\cdots ,b,b,b,\cdots \right\}\in {\Delta }_{\infty }^{\infty }$, $x\ne y$. It is easy to know that, for $\forall k\in \mathbb{N}$,

$F^k\left(x\right)={\left\{f^k\left(a\right)\right\}}_{n=-\infty }^{\infty },F^k\left(y\right)={\left\{f^k\left(b\right)\right\}}_{n=-\infty }^{\infty }.$

So, for $\forall k\in \mathbb{N}$,

$\begin{array}{c}d\left(F^k\left(x\right),F^k\left(y\right)\right)=d\left({\left\{f^k\left(a\right)\right\}}_{n=-\infty }^{\infty },{\left\{f^k\left(b\right)\right\}}_{n=-\infty }^{\infty }\right)\\ =\sup \left\{\left|f^k\left(a\right)-f^k\left(b\right)\right|,k=\cdots ,-1,0,1,\cdots \right\}\\ =\left|f^k\left(a\right)-f^k\left(b\right)\right|.\end{array}$

Since f is Sensitive, so there exists a ${\epsilon }_0>0$ such that for any $p\in I$ and any $\delta >0$, there exists a $q_{p\mathrm{,}\delta }\in B\left(p\mathrm{,}\delta \right)$ and $n_{p\mathrm{,}\delta }\in \mathbb{N}$ such that $\left|f^{n_{p,\delta }}\left(p\right),f^{n_{p,\delta }}\left(q_{p,\delta }\right)\right|>{\epsilon }_0$. So for any fixed $x=\left(\cdots \mathrm{,}p\mathrm{,}p\mathrm{,}p\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$ and any $\delta >0$, taking $y=\left(\cdots \mathrm{,}{q}_{p\mathrm{,}\delta }\mathrm{,}{q}_{p\mathrm{,}\delta }\mathrm{,}{q}_{p\mathrm{,}\delta },\cdots \right)\in {\Delta }_{\infty }^{\infty }$, one has that,

$d\left(x,y\right)=\sup \left\{\cdots ,\left|p-q_{p,\delta }\right|,\left|p-q_{p,\delta }\right|,\left|p-q_{p,\delta }\right|,\cdots \right\}=\left|p-q_{p,\delta }\right|<\delta ,$

that is $y\in B\left(x\mathrm{,}\delta \right)$. And because

$d\left(F^{n_{p,\delta }}\left(x\right),F^{n_{p,\delta }}\left(y\right)\right)=\left|f^{n_{p,\delta }}\left(p\right)-f^{n_{p,\delta }}\left(q_{p,\delta }\right)\right|>{\epsilon }_0,$

so ${F|}_{{\Delta }_{\infty }^{\infty }}$ is sensitive.

Corollary 1. If f is chaotic in the sense of Ruelle and Takens, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is chaotic in the sense of Ruelle and Takens.

Proof. According to Theorem 1, Theorem 2 and the definition of R-T chaos, the conclusion is obvious.

According to Proposition 2 and Theorem 2, the following Corollary is hold.

Corollary 2. If f is infinitely sensitive, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is sensitive.

In fact, there is a stronger conclusion.

Theorem 3. If f is infinitely sensitive, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is infinitely sensitive.

Proof. Since f is infinitely sensitive, then there exists a $\delta >0$ such that for any $a\in I$ and any $\epsilon$, there exists $b_{a\mathrm{,}\epsilon }\in B\left(a\mathrm{,}\epsilon \right)$ and $n_{a\mathrm{,}\epsilon }\in \mathbb{N}$ such that $\underset{n_{a\mathrm{,}\epsilon }\to \infty }{\lim \sup }\rho \left(f^{n_{a\mathrm{,}\epsilon }}\left(a\right)\mathrm{,}{f}^{n_{a\mathrm{,}\epsilon }}\left(b_{a\mathrm{,}\epsilon }\right)\right)\ge \delta$. So for any fixed $x=\left(\cdots \mathrm{,}a\mathrm{,}a\mathrm{,}a\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$, and any $\epsilon >0$, taking $x=\left(\cdots \mathrm{,}{b}_{a\mathrm{,}\epsilon }\mathrm{,}{b}_{a\mathrm{,}\epsilon }\mathrm{,}{b}_{a\mathrm{,}\epsilon }\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$, one has that

$d\left(x,y\right)=\sup \left\{\cdots ,\left|a-b_{a,\epsilon }\right|,\left|a-b_{a,\epsilon }\right|,\left|a-b_{a,\epsilon }\right|,\cdots \right\}=\left|a-b_{a,\epsilon }\right|<\epsilon ,$

that is $y\in B\left(x\mathrm{,}\epsilon \right)$. And because

$\underset{n_{a,\epsilon }}{\lim \sup }d\left(F^{n_{a,\epsilon }}\left(x\right),F^{n_{a,\epsilon }}\left(y\right)\right)=\underset{n_{a,\epsilon }\to \infty }{\lim \sup }d\left(f^{n_{a,\epsilon }}\left(a\right),f^{n_{a,\epsilon }}\left(b_{a,\epsilon }\right)\right)\ge \delta .$

So ${F|}_{{\Delta }_{\infty }^{\infty }}$ is infinitely sensitive.

Theorem 4. If f is accessible, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is accessible.

Proof. For any open subset

${\left({\Delta }_1\right)}_{\infty }^{\infty }=\left\{\left(\cdots ,x_{-1},x_0,x_1,\cdots \right),x_n=a\in U_1\subset I,n\in \mathbb{Z}\right\}\subset I_{\infty }^{\infty }$

and

${\left({\Delta }_2\right)}_{\infty }^{\infty }=\left\{\left(\cdots ,y_{-1},y_0,y_1,\cdots \right),y_n=b\in U_2\subset I,n\in \mathbb{Z}\right\}\subset I_{\infty }^{\infty },$

since f is accessible, then, for the above $U_1\mathrm{,}{U}_2\subset I$, there exist $a\in U_1\mathrm{,}b\in U_2$ such that

$\rho \left(f^k\left(a\right),f^k\left(b\right)\right)=\left|f^k\left(a\right)-f^k\left(b\right)\right|<\epsilon$

for some $k>0$. Take

$x=\left(\cdots ,a,a,a,\cdots \right)\in {\left({\Delta }_1\right)}_{\infty }^{\infty },\mathrm{<mi>\; </mi>}y=\left(\cdots ,b,b,b,\cdots \right)\in {\left({\Delta }_2\right)}_{\infty }^{\infty },$

then

$d\left(F^k\left(x\right)\mathrm{,}{F}^k\left(y\right)\right)=\left|f^k\left(a\right)\mathrm{,}{f}^k\left(b\right)\right|<\epsilon \mathrm{.}$

So, the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is accessible.

Corollary 3. If f is Kato chaotic, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is Kato chaotic.

Proof. According to Theorem 2 and Theorem 4, the conclusion is obvious.

Theorem 5. If f is exact, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is exact.

Proof. Since f is exact, for any open subset $D\subset I$, there exist $m\in \mathbb{N}$ such that $f^m\left(D\right)=I$. That is, for any $a\in D$, there exists an $m>0$ such that $B\left(f^m\left(a\right)\mathrm{,}\epsilon \right)\cap I\ne \varnothing$ for any $\epsilon >0$. So there is a $b\in X$ such that $\rho \left(f^m\left(a\right),\epsilon \right)=\left|f^m\left(a\right)-b\right|<\epsilon$.

Take ${\left({\Delta }^{\mathrm{<mo>\; *\; </mo>}}\right)}_{\infty }^{\infty }$ is arbitrary open subset of ${\Delta }_{\infty }^{\infty }$, and $x_0=\left(\cdots \mathrm{,}a\mathrm{,}a\mathrm{,}a\mathrm{,}\cdots \right)\in {\left({\Delta }^{\mathrm{<mo>\; *\; </mo>}}\right)}_{\infty }^{\infty }$. Clearly, for any $k\in \mathbb{N}$, $F^k\left(x_0\right)={\left\{f^k\left(a\right)\right\}}_{n=-\infty }^{\infty }$. For any $y_0=\left(\cdots ,b\mathrm{,}b\mathrm{,}b\mathrm{,}\cdots \right)\in {\Delta }_{\infty }^{\infty }$, $d\left(F^m\left(x_0\right),y_0\right)=\left|f^m\left(a\right)-b\right|<\epsilon$. That is to say, there exist an $m\in \mathbb{N}$, $F^m\left({\left({\Delta }^{\mathrm{<mo>\; *\; </mo>}}\right)}_{\infty }^{\infty }\right)={\Delta }_{\infty }^{\infty }$. So, the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is exact.

In [23] we had proved that, f is Li-Yorke sensitive implies that the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is Li-Yorke sensitive. Inspired by this, the following conclusion can be drawing.

Theorem 6. If f is densely Li-Yorke sensitive, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is densely Li-Yorke sensitive.

Proof. Since f is densely Li-Yorke sensitive, then for any $a\in Q_{\delta }\left(f\right)$ and any $\epsilon >0$. Then there exists a $b\in B\left(a\mathrm{,}\epsilon \right)$ such that $\left(a\mathrm{,}b\right)\in L{Y}_{\rho }\left(f\mathrm{,}\delta \right)$. Take $x^{*}={\left\{x_n=a\right\}}_{n=-\infty }^{\infty }$, $y^{*}={\left\{y_n=b\right\}}_{n=-\infty }^{\infty }$. One has that

$\underset{n\to \infty }{\lim \sup }d\left(F^n\left(x^{*}\right),F^n\left(y^{*}\right)\right)=\underset{n\to \infty }{\lim \sup }d\left(f^n\left(a\right),f^n\left(b\right)\right)>\delta$

and

$\underset{n\to \infty }{\lim \inf }d\left(F^n\left(x^{*}\right),F^n\left(y^{*}\right)\right)=\underset{n\to \infty }{\lim \inf }d\left(f^n\left(a\right),f^n\left(b\right)\right)=0$

Thus there is an $x^{\mathrm{<mo>\; *\; </mo>}}\in Q_{\delta }\left(F\right)$.

Any fixed $x\in {\Delta }_{\infty }^{\infty }$, write $x=\left(\cdots \mathrm{,}{x}_{m\mathrm{,}-1}\mathrm{,}{x}_{m\mathrm{,0}}\mathrm{,}{x}_{m\mathrm{,1}}\mathrm{,}\cdots \right)$, where $x_{m\mathrm{,}p}=x_{m\mathrm{,}p+1}\mathrm{,}p\in \mathbb{Z}$. Because $f\mathrm{<mo>\; :\; </mo>}I\mapsto I$ is densely Li-Yorke sensitive, then for any $\epsilon >0$ and the above $x_{m\mathrm{,0}}$, $B\left(x_{m\mathrm{,0}}\mathrm{,}\epsilon \right)\cap Q_{\delta }\left(f\right)\ne \varnothing$. Take $a\in B\left(x_{m\mathrm{,0}}\mathrm{,}\epsilon \right)\cap Q_{\delta }\left(f\right)$, then

$d\left(x,x^{*}\right)=\sup \left\{\left|x_{m,p}-a\right|\right\}=\left|x_{m,p}-a\right|<\epsilon .$

So $x^{\mathrm{<mo>\; *\; </mo>}}\in B\left(x\mathrm{,}\epsilon \right)$. This suggests that $\overline{Q_{\delta }\left(F\right)}={\Delta }_{\infty }^{\infty }$.

So, the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ is densely Li-Yorke sensitive.

According to Proposition 3 and Theorem 6 the following is right.

Corollary 4. If f is dense Li-Yorke sensitivity, then the system $\left({\Delta }_{\infty }^{\infty }\mathrm{,}d\mathrm{,}{F|}_{{\Delta }_{\infty }^{\infty }}\right)$ it is Topological mixing (or its topological entropy is positive).

4. Conclusion

Inspired by the literature [23], this paper further studies the chaoticity of coupled map lattices. Some sufficient conditions of sensitivity, accessibility and transitivity are obtained. However, the study of coupled map lattices is still a hot topic. Based on the conclusions of this paper and others, one can consider some questions, such as the form of CMLs, the measurement of CMLs, and discuss the chaos of CMLs in other systems, which are worthy of studying.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Kaneko, K. (1983) Theory and Application of Coupled Map Lattices. John Wiley and Sons, Ann Arbor.
[2]	Chen, T., Chen, Y. and Gong, M. (2019) A Coupled-Channel Lattice Study of the Resonance-Like Structure Zc(3900). Chinese Physics C, 43, 103-103. https://doi.org/10.1088/1674-1137/43/10/103103
[3]	Proscia N., Collison R. J., Meriles C.A. and Menon, V.M. (2019) Coupling of Deterministically Activated Quantum Emitters in Hexagonal Boron Nitride to Plasmonic Surface Lattice Resonances. Nanophotonics, 8, 876-894. https://doi.org/10.1515/nanoph-2019-0136
[4]	Syga, S., Nava-Sedeño, J.M., Brusch, L. and Deutsch, A. (2019) A Lattice-Gas Cellular Automaton Model for Discrete Excitable Media. Spirals and Vortices, 5, 253-264. https://doi.org/10.1007/978-3-030-05798-5_15
[5]	Chaté, H. and Manneville, P. (1988) Spatio-Temporal Intermittency in Coupled Map Lattices. Physica D: Nonlinear Phenomena, 32, 409-422. https://doi.org/10.1016/0167-2789(88)90065-6
[6]	Guirao, J.L.G. and Lampart, M. (2010) Positive Entropy of a Coupled Lattice System Related with Belusov-Zhabotinskii Reaction. Journal of Mathematical Chemistry, 48, 66-71. https://doi.org/10.1007/s10910-009-9624-3
[7]	Kawaguchi, M., Shimomoto, K., Shibata, A. and Kato, T. (1999) Effect of Anisotropy on Viscous Fingering Patterns of Polymer Solutions in Linear Hele-Shaw Cells. Chaos, 9, 323-328. https://doi.org/10.1063/1.166409
[8]	Afraimovich, V.S. and Chow, S.-N. (1995) Topological Spatial Chaos and Homoclinic Points of Zd-Actions in Lattice Dynamical Systems. Japan Journal of Industrial & Applied Mathematics, 12, Article No. 367. https://doi.org/10.1007/BF03167235
[9]	Afraimovich, V., Chazottes, J.-R. and Fernandez, B. (2005) Some Topological Properties of Lattice Dynamical Systems. Dynamics of Coupled Map Lattices & of Related Spatially Extended Systems, 1, 153-179. https://doi.org/10.1007/11360810_7
[10]	Guirao, J.L.G. (2010) Distributional Chaos of Generalized Belusov-Zhabotinskii’s Reaction Models. Match Communications in Mathematical & in Computer Chemistry, 2, 23-33.
[11]	Guirao, J.L.G. and Lampart, M. (2010) Positive Entropy of a Coupled Lattice System Related with Belusov-Zhabotinskii Reaction. Journal of Mathematical Chemistry, 48, 66-71.
[12]	Li, R.S., Zhao, Y., Jiang, R. and Wang, H.Q. (2016) Some Remarks on Chaos of a Coupled Lattice System Related with the Belusov-Zhabotinskii Reaction. Journal of Mathematical Chemistry, 54, 849-853. https://doi.org/10.1007/s10910-016-0616-9
[13]	Li, R., Wang, J., Lu, T.X. and Jiang, R. (2016) Remark on Topological Entropy and ρ-Chaos of a Coupled Lattice System with Non-Zero Coupling Constant Related with Belusov-Zhabotinskii Reaction. Journal of Mathematical Chemistry, 54, 1110-1116. https://doi.org/10.1007/s10910-016-0609-8
[14]	Lu, T.X. and Li, R.S. (2017) Some Chaotic Properties of a Coupled Lattice System Related with Belusov-Zhabotinsky Reaction. Qualitative Theory of Dynamical Systems, 16, 657-670. https://doi.org/10.1007/s12346-016-0210-3
[15]	Li, T.-Y. and Yorke, J.A. (1975) Periodic Three Implies Chaos. The American Mathematical Monthly, 82, 985-992. https://doi.org/10.1080/00029890.1975.11994008
[16]	Wang, L.D., Peng, J. and Liu, H. (2010) Chaos Caused by a Transitive Map in Information. E-Business Technology & Strategy-international Conference, 2, 124-129. https://doi.org/10.1007/978-3-642-16397-5_11
[17]	Wu, X.X. and Zhu, P.Y. (2012) Dense Chaos and Densely Chaotic Operators. Tsukuba Journal of Mathematics, 36, 367-375. https://doi.org/10.21099/tkbjm/1358777004
[18]	Kwietniak, D. and Misiurewicz M. (2005) Exact Devaney Chaos and Entropy. Qualitative Theory of Dynamical Systems, 6, Article No.: 169. https://doi.org/10.1007/BF02972670
[19]	Devaney, R.L. (1988) An Introduction to Chaotic Dynamical Systems. Acta Applicandae Mathematica, 13, 221-226. https://doi.org/10.1007/BF00047506
[20]	Kato, H. (1996) Everywhere Chaotic Homeomorphisms on Manifields and k Dimensional Menger Manifolds. Topology and its Applications, 72, 1-17. https://doi.org/10.1016/0166-8641(96)00008-9
[21]	Gu, R.B. (2007) Kato’s Chaos in Set-Valued Discrete Systems. Chaos, Soliton & Fractals, 31, 765-771. https://doi.org/10.1016/j.chaos.2005.10.041
[22]	Wu, X.X. and Zhu, P.Y. (2012) The Principal Measure and Distributional (p, q)-Chaos of a Coupled Lattice System Related with Belusov-Zhabotinskii Reaction. Journal of Mathematical Chemistry, 50, 2439-2445. https://doi.org/10.1007/s10910-012-0041-7
[23]	Lu, T.X., Zhu, P.Y. and Wu, X.X. (2013) Some Chaotic Properties of Coupled Map Lattices. Journal of Systems Science and Mathematical Sciences, 9, 1119-1128.