On Sufficient Conditions for Chaotic Behavior of Multidimensional Discrete Time Dynamical System

In this work, we look at the extension of classical discrete dynamical system to multidimensional discrete-time dynamical system by characterizing chaos notions on Zd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Z}}^d$$\end{document}-action. The Zd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Z}}^d$$\end{document}-action on a space X has been defined in a very general manner, and therefore we introduce a Zd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {Z}}^d$$\end{document}-action on X which is induced by a continuous map, f:Z×X→X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f:{\mathbb {Z}}\times X \rightarrow X$$\end{document} and denotes it as Tf:Zd×X→X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T_f:{\mathbb {Z}}^d \times X \rightarrow X$$\end{document}. Basically, we wish to relate the behavior of origin discrete dynamical systems (X, f) and its induced multidimensional discrete-time (X,Tf)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,T_f)$$\end{document}. The chaotic behaviors that we emphasized are the transitivity and dense periodicity property. Analogues to these chaos notions, we consider k-type transitivity and k-type dense periodicity property in the multidimensional discrete-time dynamical system. In the process, we obtain some conditions on (X,Tf)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,T_f)$$\end{document} under which the chaotic behavior of (X,Tf)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,T_f)$$\end{document} is inherited from the original dynamical system (X, f). The conditions varies whenever f is open, totally transitive or mixing. Some examples are given to illustrate these conditions.


Introduction
A Z d -action on a topological space X is also known as a multidimensional discretetime dynamical system. The goal of this study on the dynamics of Z d -action is similar to the study on the classical theory of discrete dynamical system (Z-action, N-action) which is to understand the nature of orbits in large iterations. It is necessary to understand the chaotic properties within the multidimensional discrete-time dynamical system, as for classical discrete dynamical system. However, the study on chaos theory in multidimensional case is far from complete and more chaos terms needed to be clearly defined in analogue to the classical chaos theory.
The existence of k-type chaos notion was firstly started by Oprocha who studied about chain recurrences in multidimensional discrete-time dynamical systems [5]. In order to work in Z d -action case, Oprocha had created a special inequality which will divide all limit points into 2 d different limit sets. They are called as k-type limit sets, where k is said to be a number of the appropriate d-dimensional quarter. The ideas of k-type limit sets had given Shah and Das to introduce some other kinds of chaos notions.
In multidimensional chaos theory, Shah and Das introduced k-type Devaney chaos, k-type periodic points, k-type transitive, k-type sensitive dependence on initial condition, k-type mixing and many more [7][8][9]. The definitions are mostly analogue to the chaos notions (Devaney chaos, periodic points, transitivity etc.) which are considered in the classical dynamical system. We had known clearly that the sensitive dependence on initial condition is redundant to describe the Devaney chaos of a system of infinite metric space [1]. Then, the same goes to Z d -action on infinite metric space, Shah and Das has proved that k-type sensitive dependence on initial condition is also redundant for k-type Devaney chaos [8].
In another perspective, Shah and Das showed that conjugacy preserves k-type exact, k-type weak mixing and k-type Devaney chaos [8]. In addition, they found that the uniform conjugacy of Z d -actions preserves k-type densely chaos and k-type Auslander-Yorke chaos. In [9], they also proved that k-type collective sensitivity and k-type collective Auslander-Yorke chaotic are preserved under uniform conjugacy.
Besides, Shah and Das [7] explored the relationship between Z d -action on a space X with its induced action on hyperspace K (X ) which is also known as a collection of compact subsets of X . It was found that there exist relationships between the two actions in terms of dense set of periodic points, dense set of k-type recurrent points, k-type transitive, k-type sensitive dependence on initial condition, k-type mixing and k-type weak mixing.
Note that Z and Z d are the topological groups, and therefore there is a study on general action called a group action. The group action is defined in a similar way as Z d -action but topological group G is used instead of Z d . Barzanouni et al. [2] showed that for an action of group, if it is expansive then the action of its syndetic subgroup is also expansive. Besides, they also proved that conjugacy between two group actions preserve the expansive property.
In Z d -action case, Shah had defined the concept of generator and studied on the expansive property of Z d -action [6]. The study proved a Z d -action is expansive if and only if it has a generator. Futher, the study had also prove several properties of an expansive Z d -action such as the characteristic of its expansive constants.
There is also an interest to Z d -action on product of two spaces. Shah and Das [8] found equivalent relation between Z d -action on product space with Z d -action on each space with k-type sensitive dependence on initial condition, k-type mixing and k-type transitive.
In a more particular view, Kim and Lee focused on Z 2 -action and introduced the notions of k-type limit sets and k-type nonwandering sets. They found that k-type nonwandering points of a Z 2 -action can be decomposed into a disjoint union of closed and T -invariant sets such that each of the sets is topologically k-type transitive if T is expansive and has shadowing property [4].
The Z d -action on a space X induced by a continuous map was introduced in [3] and we verified a relation of dynamics of Z d -action and transitive shift map. In 1-step shifts of finite type over two symbols, we proved that the Z d -action induced by the shift map is k-type transitive for all k ∈ {1, 2, ..., 2 d } whenever the shift map is topologically transitive or satisfies some sufficient conditions.

Preliminary Definitions
In this section, we discuss some definitions which will be used in this article. Let (X , f ) be a discrete dynamical system with a continuous map f on X into itself and the space X that we consider is always a metric space.
A Z d -action on a space X is a continuous map T : , for all n, m ∈ Z d and for all x ∈ X .
For a Z d -action, T : Z d × X → X , the map T n : X → X is defined by T n (x) = T (n, x) for all n ∈ Z d and x ∈ X . Note that the map T n is a homeomorphism on X [7]. In classical topological dynamics study of (X , f ), we have that f : X → X is topologically transitive if for every pair of open sets U and V of X , there exists an integer n > 0 such that f n (U ) ∩ V = ∅. To define a correlated topologically transitive (and some other chaos notions) in multidimensional case, we have to specify an order [5]. Then, a Z d -action T : Z d × X → X is said to be k-type transitive if for every open set U and V of X , there exists n > k 0 such that T n (U ) ∩ V = ∅ where n ∈ Z d [7].
For a map f : X → X , a point x is said to be periodic point of f (with period n) if there exists an integer n > 0 such that f n (x) = x. Analogously, in multidimensional case,a point x ∈ X is called a k-type periodic point if there is an n > k 0 satisfying T n (x) = x where n ∈ Z d [7].
On an infinite metric space, a continuous map on it is said to be Devaney chaotic if it is transitive and has dense periodic points [1]. In multidimensional case, a Z d -action is said to be k-type Devaney chaotic if it is k-type transitive and has dense k-type periodic points [8].
The dynamical system (X , f ) is said to be totally transitive if for every n ∈ N and every pair of open sets U and V of X , there exists k ∈ N such that ( f n ) k (U ) ∩ V = ∅. The dynamical system (X , f ) is said to be topologically mixing if for any pair of nonempty open sets U and V , there exists an N > 0 such that f n (U ) ∩ V = ∅ for all n > N . Note that a map which is totally transitive or topologically mixing is also topologically transitive. This work is started by specifying Z d -action on a space X which is induced by a continuous map f on X into itself. This new Z d -action is a generalization of examples of Z d -actions considered by Shah and Das [8] and others. The examples of Z d -action is defined with respect to a continuous map and another function r (n) = n 1 +n 2 +...+n d for n = (n 1 , n 2 , ..., n d ). By generalising r to r (n) = h 1 n 1 + h 2 n 2 + ... + h d n d for some integers h i , we then define a general form of Z d -action in Definition 1. Therefore, it is worth to investigate the behavior of the Z d -action in dynamical sense.

Lemma 1
The map, T f which is induced by continuous f : X → X and a homomor- Proof Suppose that r : Z d → Z is a homomorphism. Therefore, r is given by Then, Here are some examples of the Z d -action, T f which is induced by a continuous map f on X .
Example 1 Shah and Das gave an example of map T : Z 2 × S 1 → S 1 defined by T ((n 1 , n 2 ), θ ) = 2 n 1 +n 2 θ [8]. This map is a Z 2 -action induced by the doubling map g : S 1 → S 1 on the unit circle S 1 with r ((n 1 , n 2 )) = n 1 + n 2 . Therefore, T = T g . It has been shown that T is k-type transitive for k ∈ {1, 2, 3} but not 4-type transitive.
Kim and Lee also considered this example and shown that Per(T ) = L k (T ) for k ∈ {1, 2, 3, 4} where Per(T ) is the set of all periodic points and L k (T ) is k-type limit set of T [4]. [4]. Then, T = T f is a Z 2 -action induced by the map f on the unit interval [0, 1] with r ((n 1 , n 2 )) = n 1 + n 2 . It has been shown that Example 3 Let A = {0, 1} and A Z 2 be the set of all sequences s = {s i } i∈N where s i is either 0 or 1. Equipped with this space is a map called the shift map, σ which shifts each sequences s = s 0 s 1 s 2 . . ., one step to the left, i.e., σ (s) = s 1 s 2 s 3 . . .. Shah and Das defined the Z 2 -action, Σ on A Z 2 as follows: (Σ (n 1 ,n 2 ) (x)) = x n 1 +n 2 [8]. Therefore, the Z 2 -action, Σ is induced by the shift map σ with r ((n 1 , n 2 )) = n 1 + n 2 . It has been shown that (A Z 2 , Σ) is 1, 2, 3, 4-type Devaney chaotic.
It is natural to ask the relation between chaotic behavior of the dynamical system of (X , f ) and (X , T f ). Therefore, we explore the relationship between the dynamics of these dynamical systems.

Transitivity and k-type Transitivity
According to Shah and Das, the Z 2 -action which induced by the doubling map on the unit circle S 1 , T g as in Example 1 is k-type transitive for k ∈ {1, 2, 3} but not 4-type transitive [8]. Since the doubling map is transitive, it then shows that the transitivity of f on X does not guarantee that T f is k-type transitive for all k ∈ {1, 2, ..., 2 d }. Therefore, in this section, we derive some conditions on homomorphism r so that f passes this chaos notion to T f .
Example 4 Let f : X → X be a continuous map and T f : If f is transitive, then T f is 2, 3-type transitive but not necessarily 4-type transitive.
Note that the occurrence of 1-type transitivity property is unknown.
Example 5 Let f : X → X be a continuous map and T f : If f is transitive, then T f is 1, 4-type transitive but not necessarily 2-type transitive.
Note that the occurrence of 3-type transitivity property is unknown.
Example 6 Let f : X → X be a continuous map and T f : If f is transitive, then T f is 1, 4-type transitive but not necessarily 3-type transitive.
Note that the occurrence of 2-type transitivity property is unknown.
Example 7 Let f : X → X be a continuous map and T f : If f is transitive, then T f is 2, 3-type transitive but not necessarily 1-type transitive.
Similarly, T f is 3-type transitive whenever f is transitive. For k = 1, consider the doubling map, g on the unit circle S 1 as counterexample. By taking the doubling map g as g(θ ) = 2θ , then the Z 2 -action induced by g is given by T g ((n 1 , n 2 ), θ ) = 2 −5n 1 −3n 2 θ whenever r (n) = −5n 1 − 3n 2 . Let α ∈ S 1 such that 0 ≤ α ≤ π 2 (in radian) and (m 1 , m 2 ) > 1 0. Then, −5m 1 − 3m 2 < 0. Then, T g ((m 1 , m 2 ), α) = 2 −5m 1 −3m 2 α = 2 j α such that j < 0. Then, T g ((m 1 , m 2 . Thus, for any arc U and V in the first and third quadrant respectively, Note that the occurrence of 4-type transitivity property is unknown. Gaps in the above examples are going to be clarified by using the next results. We obtain a sharper result for an open map and the condition found earlier is adjusted so that T f is k-type transitive (for all k) whenever f is transitive.

Theorem 2 Let f : X → X be a transitive continuous open map and T f :
If there exists m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s for n ∈ Z d , then T f is k-type transitive.
Proof Let m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s where n ∈ Z d and k ∈ {1, 2, ..., 2 d }. Let U and V be nonempty open sets of X . Since f is transitive, then there exists l > 0 such that f l (U ) ∩ V = ∅. Consider two cases. The first case is if l ≥ m. Then, there exists n l > k 0 such that r (n l ) = l where n l ∈ Z d . By taking n l , we will have is an open set. Since f is transitive, then there exists t ∈ N such that f l+t (U ) ∩ V = ∅. Then, we will eventually find f p (U ) ∩ V = ∅ where p ≥ m and p ≥ l + t. So, it will also be in the first case. By these two cases, we have completed the proof.
If f is transitive, then T f is 1, 2, 3-type transitive but not necessarily 4-type transitive.
Example 9 Let f : X → X be a continuous and open map. Let T f : If f is transitive, then T f is 1, 3, 4-type transitive but not necessarily 2-type transitive.
Example 10 Let f : X → X be a continuous and open map. Let T f : If f is transitive, then T f is 1, 2, 4-type transitive but not necessarily 3-type transitive.
Example 11 Let f : X → X be a continuous and open map. Let T f : If f is transitive, then T f is 2, 3, 4type transitive but not necessarily 1-type transitive.
Proof By Example 7, T f is 2, 3-type transitive but not necessarily 1-type transitive. For k = 4, there is no (n 1 , n 2 ) > 4 0 such that −5n 1 − 3n 2 = 1. However, for all l ≥ 16, we have three cases. The implication in Theorem 2 is also true for totally transitive and topologically mixing map, as given by follows.
Theorem 3 Let f : X → X be a continuous totally transitive map and T f : Z d × X → X be a Z d -action on X induced by f . Suppose k ∈ {1, 2, ..., 2 d }. If there exists m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s where n ∈ Z d , then T f is k-type transitive.
Proof Let m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s where n ∈ Z d and k ∈ {1, 2, ..., 2 d }. Let U and V be nonempty open sets of X . Since f is totally transitive, then f n is transitive for all n ≥ 1. Choose l = m. Then, f l is transitive so there exists j > 0 such that f l+ j (U ) ∩ V = ∅. Since l + j ≥ m, then there exists n l > k 0 such that r (n l ) = l + j. By taking n l , we may have Proof Suppose that (Y , f ) is Devaney chaotic. Then, (Y , f ) is said to be transitive and has dense periodic points. Suppose that there exists m > k 0 such that r (m) = 1 where k ∈ {1, 2, ..., 2 d }. By Theorem 1, T f is k-type transitive. Then, for all s ≥ 1, we must have n > k 0 such that r (n ) = s. By Theorem 4, T f has dense k-type periodic points. Thus, T f is k-type Devaney chaotic. If there exists m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s where n ∈ Z d , then T f is k-type Devaney chaotic.
Proof Suppose that (Y , f ) is open and Devaney chaotic. Then, (Y , f ) is said to be transitive and has dense periodic points. Let m ∈ N such that for all integers s ≥ m, there exists n > k 0 such that r (n ) = s where n ∈ Z d and k ∈ {1, 2, ..., 2 d }. By Theorem 2, T f is k-type transitive. By Theorem 4, T f has dense k-type periodic points.
Thus, T f is k-type Devaney chaotic.

Conclusion
We have introduced a Z d -action, T f on a space X which is induced by a continuous map f on X . Counterexamples were given to show that T f does not necessarily inherit all chaos properties from f . The study has found some conditions for T f to satisfy k-type transitive whenever f satisfies some chaos notions such as transitive, totally transitive and topologically mixing. The conditions depend on the homomorphism r which maps from Z d into Z. Some examples were given to illustrate the findings. We suggest that the future work on Z d -action on X induced by f to be extended by considering other chaos notion such as k-type mixing and k-type totally transitive. One can proof or disproof if k-type mixing on T f can be inherited from the topologically mixing map f . Then, one can think of sufficient conditions required for the implication to be satisfied. The work on k-type totally transitive can also be done in similar way.