Sensitivity of the Product System of Set-Valued Non-Autonomous Discrete Dynamical Systems

Yongxi Jiang^1,2, Tianxiu Lu^1*, Jingmin Pi¹, Xiaofang Yang^1,2

¹College of Mathematics and Statistics, Sichuan University of Science and Engineering, Zigong, China.
²Sichuan Education of Sichuan Province for Enterprise Informationalization and Internet of Things, Zigong, China.

DOI: 10.4236/jamp.2021.911174                

Abstract

This paper is concerned with the sensitivity of set-valued discrete systems. Firstly, this paper obtained the equivalence between or and the product system in sensitivity, infinite sensitivity, F-sensitivity, (F₁, F₂)-sensitivity. Then, the relation between (X, f_1,∞) or (Y, g_1,∞) and in ergodic sensitivity is obtained. Where is the set-valued dynamical system induced by a non-autonomous discrete dynamical system (X, f_1,∞).

Keywords

Sensitivity, Set-Valued System, Product Mapping, Non-Autonomous Systems

1. Introduction

Since the beginning of the 21st century, the problem of chaos in set-valued discrete systems has been discussed warmly. In 2003, Román-Flores [1] studied the interaction of transitivity between $\left(X\mathrm{,}f\right)$ and its induced system $\left(\mathcal{K}\left(X\right)\mathrm{,}\bar{f}\right)$. Following his work, many scholars studied the chaotic properties of set-valued discrete systems. For example, transitivity, mixing, Kato’s chaos (see [2] - [9] and others). About sensitivity, Liu, Shi, and Liao [10] proved that if $f$ is a surjective, continuous interval map, then $\bar{f}$ is sensitive if and only if $f$ is sensitive. And in 2013, they gave an example to show that Li-Yorke sensitivity of $f$ does not necessarily imply Li-Yorke sensitivity of $\bar{f}$ ( [11] ). In 2010, Sharma and Nagar [12] showed the relations between the various forms of sensitivity of the systems $\left(X\mathrm{,}f\right)$ and $\left(\mathcal{K}\left(X\right)\mathrm{,}\bar{f}\right)$ and proved that all forms of sensitivity of $\left(\mathcal{K}\left(X\right)\mathrm{,}\bar{f}\right)$ partly imply the same for $\left(X\mathrm{,}f\right)$. In 2014, Yang, Wang, and Li [13] studied the relationship between non-autonomous dynamical system and its hyperspace system in the aspect of sensitivity. In 2015, Wu, Wang, and Chen [14] had obtained a few sufficient and necessary conditions to ensure a dynamical system be $\mathcal{F}$ -sensitive or multi-sensitive.

Inspired by the literature [13] - [17], this paper further studies some stronger forms of sensitivity in set-valued discrete systems. The structure of this paper is as follows. In Section 2, some basic definitions are given. In Section 3, the main results are established and proved.

2. Preliminaries

2.1. Non-Autonomous Discrete System

In this paper, let $X=\left[\mathrm{0,1}\right]$, and the metric on X is denoted as $\rho$. $f_n\mathrm{<mo>\; :\; </mo>}X\to X\mathrm{,}n\in \mathbb{N}$ is a mapping sequence, and denoted by $f_{\mathrm{1,}\infty }=\left(f_1\mathrm{,}{f}_2\mathrm{,}\cdots \right)$. This sequence defines a non-autonomous discrete system $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$. Under this mapping sequence, the orbit of the point $x\in X$ is $Orb\left(x\mathrm{,}{f}_{\mathrm{1,}\infty }\right)=\left(f_1^n\left(x\right)\right)\left(n\in \mathbb{N}\right)$, where $f_1^n=f_n\circ \cdots \circ f_1$, $f_1^0$ denotes the identity mapping. Similarly, $f_n^k=f_{n+k-1}\circ \cdots \circ f_{n+1}\circ f_n$.

2.2. Set-Valued Product Systems

Let $\mathcal{K}\left(X\right)$ be the hyperspace on X. That is, the space of nonempty compact subsets of X with the Hausdorff metric $d_H$ defined by

$d_H\left(A,B\right)=\max \left\{\underset{x\in A}{\sup }\underset{y\in B}{\inf }d\left(x,y\right),\underset{y\in B}{\sup }\underset{x\in A}{\inf }d\left(x,y\right)\right\}$

for any $A\mathrm{,}B\in \mathcal{K}\left(X\right)$. Clearly, $\left(\mathcal{K}\left(X\right)\mathrm{,}{d}_H\right)$ is a compact metric space. The system $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$ induces a set-valued dynamical system $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$, where ${\bar{f}}_{\mathrm{1,}\infty }\mathrm{<mo>\; :\; </mo>}\mathcal{K}\left(X\right)\to \mathcal{K}\left(X\right)$ is defined as ${\bar{f}}_{\mathrm{1,}\infty }\left(A\right)=f_{\mathrm{1,}\infty }\left(A\right)$ for any $A\in \mathcal{K}\left(X\right)$. For any finite collection $A_1\mathrm{,}\cdots \mathrm{,}{A}_n$ of nonempty subsets of X, let

$\langle A_1\mathrm{,}\cdots \mathrm{,}{A}_n\rangle =\left\{A\in \mathcal{K}\left(X\right)\mathrm{<mo>\; :\; </mo>}A\subset {\displaystyle \underset{i=1}{\overset{n}{\cup }}}{A}_i\mathrm{,}A\cap A_i\ne \varnothing \mathrm{,1}\le i\le n\right\}\mathrm{,}$

where the topology on $\mathcal{K}\left(X\right)$ given by the metric $d_H$ is the same as the Vietoris or finite topology, which is generated by a basis consisting of all sets of the following form: $\langle U_1\mathrm{,}\cdots \mathrm{,}{U}_n\rangle$, where $\left\{U_1\mathrm{,}\cdots \mathrm{,}{U}_n\right\}$ is an arbitrary finite collection of nonempty open subsets of X.

Two set-valued non-autonomous discrete systems ${\bar{f}}_{\mathrm{1,}\infty }\mathrm{<mo>\; :\; </mo>}\mathcal{K}\left(X\right)\to \mathcal{K}\left(X\right)$ and ${\bar{g}}_{\mathrm{1,}\infty }\mathrm{<mo>\; :\; </mo>}\mathcal{K}\left(Y\right)\to \mathcal{K}\left(Y\right)$ are defined in compact metric spaces $\mathcal{K}\left(X\right)$ and $\mathcal{K}\left(Y\right)$, whose metrics are $d_{H_1}$ and $d_{H_2}$. Let $\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\mathrm{<mo>\; :\; </mo>}\mathcal{K}\left(X\times Y\right)\to \mathcal{K}\left(X\times Y\right)$, define $\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\left(A\mathrm{,}B\right)=\left({\bar{f}}_{\mathrm{1,}\infty }\left(A\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\left(B\right)\right)$, where $\left(A\mathrm{,}B\right)\in \mathcal{K}\left(X\times Y\right)$. The metric of $\mathcal{K}\left(X\times Y\right)$ is $d_H$, and define $d_H\left(\left(A_1,B_1\right),\left(A_2,B_2\right)\right)=\max \left(d_{H_1}\left(A_1,A_2\right),d_{H_2}\left(B_1,B_2\right)\right)$, where $\left(A_1\mathrm{,}{B}_1\right)\mathrm{,}\left(A_2\mathrm{,}{B}_2\right)\in \mathcal{K}\left(X\times Y\right)$. Then the system $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is called the product dynamical system of the two set-valued non-autonomous discrete systems.

2.3. Definitions of Sensitivity

In this section, some definitions of the sensitivity in set-valued discrete systems will be given.

Definition 1. ( [14] ) Let $\mathcal{P}$ be the collection of all subsets of ${\mathbb{Z}}^{+}$ . A collection $\mathcal{F}\subset \mathcal{P}$ is called a Furstenberg family if it is hereditary upwards, i.e., $F_1\subset F_2$ and $F_1\subset \mathcal{F}$ imply $F_2\subset \mathcal{F}$ . A family $\mathcal{F}$ is proper if it is a proper subset of $\mathcal{P}$ , i.e. neither empty nor the whole $\mathcal{P}$ .

Definition 2. ( [15] ) Let X be a nonempty set and F be a family of nonempty sets composed of subsets of X, if

1) $U\mathrm{,}V\in F$ then $U\cap V\in F$ ; 2) $U\in F$ and $U\subset V$ then $V\in F$ , then F is said to be a filterdual on the set X.

Definition 3. ( [9] ) Given $A\subset {\mathbb{Z}}^{+}$ , its upper and lower densities are defined by

$\overline{Dens}\left(A\right)=\underset{n\to +\infty }{\lim \sup }\frac{1}{n}\left|A\cap \left\{\mathrm{0,}\cdots \mathrm{,}n-1\right\}\right|\mathrm{,}$

$\underset{\_}{Dens}\left(A\right)=\underset{n\to +\infty }{\lim \inf }\frac{1}{n}\left|A\cap \left\{\mathrm{0,}\cdots \mathrm{,}n-1\right\}\right|.$

If $\overline{Dens}\left(A\right)=\underset{\_}{Dens}\left(A\right)=\xi$, then the set A has density $Dens\left(A\right)=\xi$. Let $\bar{M}\left(0^{+}\right)=\left\{F\in \mathcal{B}:\overline{Dens}\left(F\right)>0\right\}$, where $\mathcal{B}$ is the collection of all infinite subsets of ${\mathbb{Z}}^{+}$, then $\bar{M}\left(0^{+}\right)$ is a Furstenberg family. It can be verified that

$\begin{array}{c}k\bar{M}\left(0^{+}\right)=\left\{F\in \mathcal{P}:{\mathbb{Z}}^{+}\backslash F\notin \bar{M}\left(0^{+}\right)\right\}\\ =\left\{F\in \mathcal{P}:\overline{Dens}\left({\mathbb{Z}}^{+}\backslash F\right)=0\right\}\\ =\left\{F\in \mathcal{P}:Dens\left(F\right)=1\right\}.\end{array}$

This implies that $k\bar{M}\left(0^{+}\right)$ is a filterdual.

Definition 4. ( [18] [19] [20] [21] [22] ) Let $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ be a system and let $\mathcal{F}$ be a Furstenberg family.

1) $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is sensitive, if there exists an $\delta >0$ such that for any $A\in \mathcal{K}\left(X\right)$ and any $\epsilon >0$, there exist $B\in \mathcal{K}\left(X\right)$ with $d_H\left(A,B\right)<\epsilon$ such that $d_H\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)>\delta \left(n\in \mathbb{N}\right)$ ;

2) $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is infinitely sensitive, if there exists an $\delta >0$ such that for any $A\in \mathcal{K}\left(X\right)$ and any $\epsilon >0$, there exist $B\in \mathcal{K}\left(X\right)$ with $d_H\left(A,B\right)<\epsilon$ such that $\underset{n\to +\infty }{\lim \sup }{d}_H\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)\ge \delta \left(n\in \mathbb{N}\right)$ ;

3) $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is $\mathcal{F}$ -sensitive, if there exists an $\delta >0$ such that for any $A\in \mathcal{K}\left(X\right)$ and any $\epsilon >0$, there exist $B\in \mathcal{K}\left(X\right)$ with $d_H\left(A,B\right)<\epsilon$ such that $\left\{n\in {\mathbb{Z}}^{+}:d_H\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)>\delta \right\}\in \mathcal{F}$ ;

4) $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive with the sensitive constant $\lambda$ if for any $A\in \mathcal{K}\left(X\right)$ and any $\epsilon >0$, there exist $B\in \mathcal{K}\left(X\right)$ with $d_H\left(A,B\right)<\epsilon$ such that $\left\{n\in {\mathbb{Z}}^{+}:d_H\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)>\delta \right\}\in {\mathcal{F}}_2$ and $\left\{n\in {\mathbb{Z}}^{+}:d_H\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)<\delta \right\}\in {\mathcal{F}}_1$ for any $\delta >0$ ;

5) $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is ergodically sensitive if there exists $\epsilon >0$ (ergodically sensitive constant) such that for any nonempty open subset $U\subset \mathcal{K}\left(X\right)$, $\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left({\bar{f}}_1^n\left(U\right)\right)>\epsilon \right\}\in \bar{M}\left(0^{+}\right)$. Where $diam(\cdot )$ is the diagonal of the set.

3. Main Results

Based on the definitions in Section 2, we now further investigate the dynamical properties of the product systems.

Lemma 1. ( [14] ) Let $X\mathrm{,}Y$ be two compact metrics. Then, for any $A\in \mathcal{K}\left(X\times Y\right)$ and any $\epsilon >0$ , there exist nonempty open subsets $U_1\mathrm{,}{U}_2\mathrm{,}\cdots \mathrm{,}{U}_n\subset X$ and $V_1\mathrm{,}{V}_2\mathrm{,}\cdots \mathrm{,}{V}_n\subset Y$ such that $A\in \langle U_1\times V_1\mathrm{,}\cdots \mathrm{,}{U}_n\times V_n\rangle \subset \langle \overline{U_1\times V_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n\times V_n}\rangle \subset B_{d_H}\left(A\mathrm{,}\epsilon \right)$.

Theorem 1. Let $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ be two set-valued non-autonomous discrete systems, then $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is sensitive if and only if $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is sensitive.

Proof. (Necessity) Assuming that $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ are not sensitive, it is proved that $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not sensitive.

1) If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is not sensitive, then for any ${\delta }_1>0$, there exist $A_1\in \mathcal{K}\left(X\right)$ and $\epsilon >0$, there is $d_{H_1}\left(A_1\mathrm{,}{B}_1\right)\ge \epsilon$ for any $B_1\in \mathcal{K}\left(X\right)$ satisfying that

$d_{H_1}\left({\bar{f}}_1^n\left(A_1\right)\mathrm{,}{\bar{f}}_1^n\left(B_1\right)\right)\le {\delta }_1\mathrm{.}$

2) If $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is not sensitive, then for any ${\delta }_2>0$, there exist $A_2\in \mathcal{K}\left(Y\right)$ and $\epsilon >0$, there is $d_{H_2}\left(A_2\mathrm{,}{B}_2\right)\ge \epsilon$ for any $B_2\in \mathcal{K}\left(Y\right)$ satisfying that

$d_{H_2}\left({\bar{g}}_1^n\left(A_2\right)\mathrm{,}{\bar{g}}_1^n\left(B_2\right)\right)\le {\delta }_2\mathrm{.}$

Since $A_1\in \mathcal{K}\left(X\right)\mathrm{,}{A}_2\in \mathcal{K}\left(Y\right)$, then there is $A_1\times A_2\in \mathcal{K}\left(X\times Y\right)$ for any $B_1\times B_2\in \mathcal{K}\left(X\times Y\right)$, one has that

$d_H\left(A_1\times A_2,B_1\times B_2\right)=\max \left\{d_{H_1}\left(A_1,B_1\right),d_{H_2}\left(A_2,B_2\right)\right\}\ge \epsilon .$

So

$\begin{array}{l}{d}_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)\\ =d_H\left(\left({\bar{f}}_1^n\left(A_1\right),{\bar{g}}_1^n\left(A_2\right)\right),\left({\bar{f}}_1^n\left(B_1\right),{\bar{g}}_1^n\left(B_2\right)\right)\right)\\ =\max \left\{d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right),d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)\right\}.\end{array}$

Let $\delta =\max \left({\delta }_1,{\delta }_2\right)$, then

$d_H\left(\overline{f_1^n\times g_1^n}\left(A_1\mathrm{,}{A}_2\right)\mathrm{,}\overline{f_1^n\times g_1^n}\left(B_1\mathrm{,}{B}_2\right)\right)\le \delta \mathrm{.}$

Therefore, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not sensitive and contradicts the proposition. So $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is sensitive.

(Sufficiency) For any nonempty open set $V\in \mathcal{K}\left(X\times Y\right)$, by Lemma 1, there exist nonempty open subsets $U_1\mathrm{,}{U}_2\mathrm{,}\cdots \mathrm{,}{U}_n\subset X$ and $V_1\mathrm{,}{V}_2\mathrm{,}\cdots \mathrm{,}{V}_n\subset Y$ such that

$\langle \overline{U_1\times U_n}\mathrm{,}\cdots \mathrm{,}\overline{V_1\times V_n}\rangle \subset V$

If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is sensitive, then there exists $\delta >0$, for any $A\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ and $\epsilon >0$, there is $B\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ such that $d_{H_1}\left(A,B\right)<\epsilon$, one has that

$d_{H_1}\left({\bar{f}}_1^n\left(A\right)\mathrm{,}{\bar{f}}_1^n\left(B\right)\right)>\delta \mathrm{.}$

Take any point $v_i$ in $V_i$, where $i\in \left\{\mathrm{1,2,}\cdots \mathrm{,}n\right\}$. Define $A_i=A\cap \overline{U_i}$, $B_i=B\cap \overline{U_i}$, ${\tilde{A}}_i=A_i\times \left\{v_i\right\}$, ${\tilde{B}}_i=B_i\times \left\{v_i\right\}$. Therefore,

$\begin{array}{l}A={\displaystyle \underset{i=1}{\overset{n}{\cup }}}{A}_i,B={\displaystyle \underset{i=1}{\overset{n}{\cup }}}{B}_i,\tilde{A}={\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\tilde{A}}_i\in \langle \overline{U_1\times V_1},\cdots ,\overline{U_n\times V_n}\rangle ,\\ \tilde{B}={\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\tilde{B}}_i\in \langle \overline{U_1\times V_1},\cdots ,\overline{U_n\times V_n}\rangle .\end{array}$

Then for any $\tilde{A}\in \mathcal{K}\left(X\times Y\right)$, there exists $\tilde{B}\in \mathcal{K}\left(X\times Y\right)$ such that

$d_H\left(\tilde{A},\tilde{B}\right)=d_H\left({\displaystyle \underset{i=1}{\overset{n}{\cup }}}\left(A_i\times \left\{v_i\right\}\right),{\displaystyle \underset{i=1}{\overset{n}{\cup }}}\left(B_i\times \left\{v_i\right\}\right)\right)<\epsilon .$

So

$\begin{array}{l}{d}_H\left(\overline{f_1^n\times g_1^n}\left(\tilde{A}\right),\overline{f_1^n\times g_1^n}\left(\tilde{B}\right)\right)\\ =d_H\left({\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\bar{f}}_1^n\left(A_i\right)\times {\bar{g}}_1^n\left(\left\{v_i\right\}\right),{\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\bar{f}}_1^n\left(B_i\right)\times {\bar{g}}_1^n\left(\left\{v_i\right\}\right)\right)\\ \ge d_{H_1}\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)\\ >\delta .\end{array}$

Hence, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is sensitive. $\square$

Theorem 2. Let $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ be two set-valued non-autonomous discrete systems, then $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is infinitely sensitive if and only if $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is infinitely sensitive.

Proof. (Necessity) Assuming that $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ are not infinitely sensitive, it is proved that $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not infinitely sensitive.

1) If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is not infinitely sensitive, then for any ${\delta }_1>0$, there exist $A_1\in \mathcal{K}\left(X\right)$ and $\epsilon >0$, there is $d_{H_1}\left(A_1\mathrm{,}{B}_1\right)\ge \epsilon$ for any $B_1\in \mathcal{K}\left(X\right)$ satisfying that

$\underset{n\to +\infty }{\lim \sup }{d}_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right)<{\delta }_1.$

2) If $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is not infinitely sensitive, then for any ${\delta }_2>0$, there exist $A_2\in \mathcal{K}\left(Y\right)$ and $\epsilon >0$, there is $d_{H_2}\left(A_2\mathrm{,}{B}_2\right)\ge \epsilon$ for any $B_2\in \mathcal{K}\left(Y\right)$ satisfying that

$\underset{n\to +\infty }{\lim \sup }{d}_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)<{\delta }_2.$

Since $A_1\in \mathcal{K}\left(X\right)\mathrm{,}{A}_2\in \mathcal{K}\left(Y\right)$, then there is $A_1\times A_2\in \mathcal{K}\left(X\times Y\right)$ for any $B_1\times B_2\in \mathcal{K}\left(X\times Y\right)$, one has that

$d_H\left(A_1\times A_2,B_1\times B_2\right)=\max \left\{d_{H_1}\left(A_1,B_1\right),d_{H_2}\left(A_2,B_2\right)\right\}\ge \epsilon .$

So

$\begin{array}{l}{d}_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)\\ =d_H\left(\left({\bar{f}}_1^n\left(A_1\right),{\bar{g}}_1^n\left(A_2\right)\right),\left({\bar{f}}_1^n\left(B_1\right),{\bar{g}}_1^n\left(B_2\right)\right)\right)\\ =\max \left\{d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right),d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)\right\}.\end{array}$

Let $\delta =\max \left({\delta }_1,{\delta }_2\right)$, then

$\begin{array}{l}\underset{n\to +\infty }{\lim \sup }{d}_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)\\ =\max \left\{\underset{n\to +\infty }{\lim \sup }{d}_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right),\underset{n\to +\infty }{\lim \sup }{d}_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)\right\}\\ <\delta .\end{array}$

Therefore, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not infinitely sensitive and contradicts the proposition. So $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is infinitely sensitive.

(Sufficiency) For any nonempty open set $V\in \mathcal{K}\left(X\times Y\right)$, we know from Lemma 1, there exist nonempty open subsets $U_1\mathrm{,}{U}_2\mathrm{,}\cdots \mathrm{,}{U}_n\subset X$ and $V_1\mathrm{,}{V}_2\mathrm{,}\cdots \mathrm{,}{V}_n\subset Y$ such that

$\langle \overline{U_1\times U_n}\mathrm{,}\cdots \mathrm{,}\overline{V_1\times V_n}\rangle \subset V$

If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is infinitely sensitive, then there exists $\delta >0$, for any $A\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ and $\epsilon >0$, there is $B\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ such that $d_H\left(A,B\right)<\epsilon$, one has that

$\underset{n\to +\infty }{\lim \sup }{d}_{H_1}\left({\bar{f}}_1^n\left(A\right)\mathrm{,}{\bar{f}}_1^n\left(B\right)\right)\ge \delta \mathrm{.}$

Define $\tilde{A},\tilde{B}$ are the same as Theorem 3.1, then

$d_H\left(\tilde{A},\tilde{B}\right)=d_H\left({\displaystyle \underset{i=1}{\overset{n}{\cup }}}\left(A_i\times \left\{v_i\right\}\right),{\displaystyle \underset{i=1}{\overset{n}{\cup }}}\left(B_i\times \left\{v_i\right\}\right)\right)<\epsilon .$

So

$\begin{array}{l}\underset{n\to +\infty }{\lim \sup }{d}_H\left(\overline{f_1^n\times g_1^n}\left(\tilde{A}\right),\overline{f_1^n\times g_1^n}\left(\tilde{B}\right)\right)\\ =\underset{n\to +\infty }{\lim \sup }{d}_H\left({\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\bar{f}}_1^n\left(A_i\right)\times {\bar{g}}_1^n\left(\left\{v_i\right\}\right),{\displaystyle \underset{i=1}{\overset{n}{\cup }}}{\bar{f}}_1^n\left(B_i\right)\times {\bar{g}}_1^n\left(\left\{v_i\right\}\right)\right)\\ \ge \underset{n\to +\infty }{\lim \sup }{d}_{H_1}\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)\\ \ge \delta .\end{array}$

Therefore, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is infinitely sensitive. $\square$

Theorem 3. Let $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ be two set-valued non-autonomous discrete systems, then $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is $\mathcal{F}$ -sensitive if and only if $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is $\mathcal{F}$ -sensitive.

Proof. (Necessity) Assuming that $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ are not $\mathcal{F}$ -sensitive, it is proved that $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not $\mathcal{F}$ -sensitive.

1) If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is not $\mathcal{F}$ -sensitive, then for any ${\delta }_1>0$, there exist $A_1\in \mathcal{K}\left(X\right)$ and $\epsilon >0$, there is $d_{H_1}\left(A_1\mathrm{,}{B}_1\right)\ge \epsilon$ for any $B_1\in \mathcal{K}\left(X\right)$ satisfying that

$\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}{d}_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right)>{\delta }_1\right\}\notin \mathcal{F}\mathrm{.}$

2) If $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is not $\mathcal{F}$ -sensitive, then for any ${\delta }_2>0$, there exist $A_2\in \mathcal{K}\left(Y\right)$ and $\epsilon >0$, there is $d_{H_2}\left(A_2\mathrm{,}{B}_2\right)\ge \epsilon$ for any $B_2\in \mathcal{K}\left(Y\right)$ satisfying that

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)>{\delta }_2\right\}\notin \mathcal{F}.$

Since $A_1\in \mathcal{K}\left(X\right)\mathrm{,}{A}_2\in \mathcal{K}\left(Y\right)$, then there is $A_1\times A_2\in \mathcal{K}\left(X\times Y\right)$ for any $B_1\times B_2\in \mathcal{K}\left(X\times Y\right)$, one has that

$d_H\left(A_1\times A_2,B_1\times B_2\right)=\max \left\{d_{H_1}\left(A_1,B_1\right),d_{H_2}\left(A_2,B_2\right)\right\}\ge \epsilon .$

So

$\begin{array}{l}{d}_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)\\ =d_H\left(\left({\bar{f}}_1^n\left(A_1\right),{\bar{g}}_1^n\left(A_2\right)\right),\left({\bar{f}}_1^n\left(B_1\right),{\bar{g}}_1^n\left(B_2\right)\right)\right)\\ =\max \left\{d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right),d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)\right\}.\end{array}$

Let $\delta =\max \left({\delta }_1,{\delta }_2\right)$, then

$\left\{n\in {\mathbb{Z}}^{+}:d_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)>\delta \right\}\notin \mathcal{F}.$

Therefore, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not $\mathcal{F}$ -sensitive and contradicts the proposition. So $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is $\mathcal{F}$ -sensitive.

(Sufficiency) For any nonempty open set $V\in \mathcal{K}\left(X\times Y\right)$, we know from Lemma 1, there exist nonempty open subsets $U_1\mathrm{,}{U}_2\mathrm{,}\cdots \mathrm{,}{U}_n\subset X$ and $V_1\mathrm{,}{V}_2\mathrm{,}\cdots \mathrm{,}{V}_n\subset Y$ such that

$\langle \overline{U_1\times U_n}\mathrm{,}\cdots \mathrm{,}\overline{V_1\times V_n}\rangle \subset V$

If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is $\mathcal{F}$ -sensitive, then there exists $\delta >0$, for any $A\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ and $\epsilon >0$, there is $B\in \langle \overline{U_1}\mathrm{,}\cdots \mathrm{,}\overline{U_n}\rangle$ such that $d_{H_1}\left(A,B\right)<\epsilon$, one has that

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_1}\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)>\delta \right\}\in \mathcal{F}.$

By the same proof as Theorem 3.1, one can obtain that

$d_H\left(\overline{f_1^n\times g_1^n}\left(\tilde{A}\right)\mathrm{,}\overline{f_1^n\times g_1^n}\left(\tilde{B}\right)\right)\ge d_{H_1}\left({\bar{f}}_1^n\left(A\right)\mathrm{,}{\bar{f}}_1^n\left(B\right)\right)\mathrm{.}$

Combining this with the hereditary upwards property of $\mathcal{F}$, it follows that

$\begin{array}{l}\left\{n\in {\mathbb{Z}}^{+}:d_{H_1}\left({\bar{f}}_1^n\left(A\right),{\bar{f}}_1^n\left(B\right)\right)>\delta \right\}\\ \subset \left\{n\in {\mathbb{Z}}^{+}:d_H\left(\overline{f_1^n\times g_1^n}\left(\tilde{A}\right),\overline{f_1^n\times g_1^n}\left(\tilde{B}\right)\right)>\delta \right\}\in \mathcal{F}.\end{array}$

Hence, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is $\mathcal{F}$ -sensitive. $\square$

Theorem 4. Let $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ be two set-valued non-autonomous discrete systems, if $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive then $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive.

Proof. Assuming that $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ and $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ are not $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive, it is proved that $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive.

1) If $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ is not $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive, then there is ${\delta }_1>0$, there exist $A_1\in \mathcal{K}\left(X\right)$ and $\epsilon >0$, there is $d_{H_1}\left(A_1\mathrm{,}{B}_1\right)\ge \epsilon$ for any $B_1\in \mathcal{K}\left(X\right)$ satisfying that

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right)>{\delta }_1\right\}\notin {\mathcal{F}}_2,$

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right)<{\delta }_1\right\}\notin {\mathcal{F}}_1.$

2) If $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is not $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive, then there is ${\delta }_2>0$, there exist $A_2\in \mathcal{K}\left(Y\right)$ and $\epsilon >0$, there is $d_{H_2}\left(A_2\mathrm{,}{B}_2\right)\ge \epsilon$ for any $B_2\in \mathcal{K}\left(Y\right)$ satisfying that

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)>{\delta }_2\right\}\notin {\mathcal{F}}_2,$

$\left\{n\in {\mathbb{Z}}^{+}:d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)<{\delta }_2\right\}\notin {\mathcal{F}}_1.$

Since $A_1\in \mathcal{K}\left(X\right)\mathrm{,}{A}_2\in \mathcal{K}\left(Y\right)$, then there is $A_1\times A_2\in \mathcal{K}\left(X\times Y\right)$ for any $B_1\times B_2\in \mathcal{K}\left(X\times Y\right)$, one has that

$d_H\left(A_1\times A_2,B_1\times B_2\right)=\max \left\{d_{H_1}\left(A_1,B_1\right),d_{H_2}\left(A_2,B_2\right)\right\}\ge \epsilon .$

So

$\begin{array}{l}{d}_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)\\ =d_H\left(\left({\bar{f}}_1^n\left(A_1\right),{\bar{g}}_1^n\left(A_2\right)\right),\left({\bar{f}}_1^n\left(B_1\right),{\bar{g}}_1^n\left(B_2\right)\right)\right)\\ =\max \left\{d_{H_1}\left({\bar{f}}_1^n\left(A_1\right),{\bar{f}}_1^n\left(B_1\right)\right),d_{H_2}\left({\bar{g}}_1^n\left(A_2\right),{\bar{g}}_1^n\left(B_2\right)\right)\right\}.\end{array}$

Let $\delta =\max \left({\delta }_1,{\delta }_2\right)$, then

$\left\{n\in {\mathbb{Z}}^{+}:d_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)>\delta \right\}\notin {\mathcal{F}}_2,$

$\left\{n\in {\mathbb{Z}}^{+}:d_H\left(\overline{f_1^n\times g_1^n}\left(A_1,A_2\right),\overline{f_1^n\times g_1^n}\left(B_1,B_2\right)\right)<\delta \right\}\notin {\mathcal{F}}_1.$

Therefore, $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is not $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive and contradicts the proposition. So $\left(\mathcal{K}\left(X\right)\mathrm{,}{\bar{f}}_{\mathrm{1,}\infty }\right)$ or $\left(\mathcal{K}\left(Y\right)\mathrm{,}{\bar{g}}_{\mathrm{1,}\infty }\right)$ is $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive. $\square$

Lemma 2. ( [14] ) Let $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$ be a non-autonomous dynamical system, for any nonempty open set $U\subset X$ and any $n\in {\mathbb{Z}}^{+}$ , one has $diam{f}_1^n\left(U\right)=diam{\bar{f}}_1^n\left(\langle U\rangle \right)$.

Theorem 5. Let $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$ and $\left(Y\mathrm{,}{g}_{\mathrm{1,}\infty }\right)$ be two non-autonomous dynamical systems and let $\bar{M}\left(0^{+}\right)$ be a Furstenberg family such that $k\bar{M}\left(0^{+}\right)$ is a filterdual. If $\left(\mathcal{K}\left(X\times Y\right)\mathrm{,}\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}\right)$ is ergodically sensitive, then $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$ or $\left(Y\mathrm{,}{g}_{\mathrm{1,}\infty }\right)$ is ergodically sensitive.

Proof. Suppose that both $f_{\mathrm{1,}\infty }$ and $g_{\mathrm{1,}\infty }$ are not ergodically sensitive. Then, for any $\epsilon >0$, there exist nonempty open subsets $U\subset X$ and $V\subset Y$ such that

$\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(f_1^n\left(U\right)\right)>\epsilon /2\right\}\notin \bar{M}\left(0^{+}\right)\mathrm{,}$

and

$\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(g_1^n\left(V\right)\right)>\epsilon /2\right\}\notin \bar{M}\left(0^{+}\right)\mathrm{.}$

So

$\begin{array}{c}{F}_1\mathrm{<mo>\; :\; </mo>}=\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(f_1^n\left(U\right)\right)\le \epsilon /2\right\}\\ ={\mathbb{Z}}^{+}\backslash \left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(f_1^n\left(U\right)\right)>\epsilon /2\right\}\in k\bar{M}\left(0^{+}\right)\mathrm{,}\end{array}$

and

$\begin{array}{c}{F}_2\mathrm{<mo>\; :\; </mo>}=\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(g_1^n\left(V\right)\right)\le \epsilon /2\right\}\\ ={\mathbb{Z}}^{+}\backslash \left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(g_1^n\left(V\right)\right)>\epsilon /2\right\}\in k\bar{M}\left(0^{+}\right)\mathrm{.}\end{array}$

Since $k\bar{M}\left(0^{+}\right)$ is a filterdual, then $F_1\cap F_2\in k\bar{M}\left(0^{+}\right)$. For any $n\in F_1\cap F_2$, noting that $diam{f}_1^n\left(U\right)\le \epsilon /2$ and $diam{g}_1^n\left(V\right)\le \epsilon /2$, applying Lemma 3.2, one has that

$\begin{array}{c}diam\left(\overline{f_1^n\times g_1^n}\left(\langle U\times V\rangle \right)\right)=diam\left(f_1^n\times g_1^n\left(U\times V\right)\right)\\ =diam\left(f_1^n\left(U\right)\times g_1^n\left(V\right)\right)\\ \le \sqrt{{\left(\epsilon /2\right)}^2+{\left(\epsilon /2\right)}^2}\\ <\epsilon .\end{array}$

So

$F_1\cap F_2\subset \left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(\overline{f_1^n\times g_1^n}\left(\langle U\times V\rangle \right)\right)<\epsilon \right\}\in k\bar{M}\left(0^{+}\right)\mathrm{.}$

This implies that

$\left\{n\in {\mathbb{Z}}^{+}\mathrm{<mo>\; :\; </mo>}diam\left(\overline{f_1^n\times g_1^n}\left(\langle U\times V\rangle \right)\right)\ge \epsilon \right\}\notin \bar{M}\left(0^{+}\right)\mathrm{.}$

Since $\epsilon$ is arbitrary, it shows that $\overline{f_{\mathrm{1,}\infty }\times g_{\mathrm{1,}\infty }}$ is not ergodically sensitive. Therefore, $\left(X\mathrm{,}{f}_{\mathrm{1,}\infty }\right)$ or $\left(Y\mathrm{,}{g}_{\mathrm{1,}\infty }\right)$ is ergodically sensitive. $\square$

4. Conclusion

For set-valued non-autonomous discrete dynamical systems, the sensitivity of the product systems and the factor systems are consistent most of the time, for example, sensitive, infinitely sensitive, $\mathcal{F}$ -sensitive, and $\left({\mathcal{F}}_1\mathrm{,}{\mathcal{F}}_2\right)$ -sensitive, while it is not a necessary and sufficient condition for ergodically sensitive. Based on this paper and others, one can further consider some other chaotic properties of set-valued discrete systems, retention conditions for compound operation, and so on, which are worthy of study.

Acknowledgements

This work was funded by the Opening Project of Key Laboratory of Higher Education of Sichuan Province for Enterprise Informationalization and Internet of Things (No. 2020WZJ01), the Scientific Research Project of Sichuan University of Science and Engineering (No. 2020RC24), and the Graduate student Innovation Fund (Nos. y2020077, y2021100)

Conflicts of Interest

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

References

[1]	Román-Flores, H. (2003) A Note on Transitivity in Set-Valued Discrete Systems. Chaos, Solitons and Fractals, 17, 99-104. https://doi.org/10.1016/S0960-0779(02)00406-X
[2]	Sánchez, I., Sanchis, M. and Villanueva, H. (2017) Chaos in Hyperspaces of Nonautonomous Discrete Systems. Chaos, Solitons and Fractals: The Interdisciplinary Journal of Nonlinear Science, and Nonequilibrium and Complex Phenomena, 94, 68-74. https://doi.org/10.1016/j.chaos.2016.11.009
[3]	Peris, A. (2005) Set-Valued Discrete Chaos. Chaos, Solitons and Fractals, 26, 19-23. https://doi.org/10.1016/j.chaos.2004.12.039
[4]	Gu, R.B. and Guo, W.J. (2006) On Mixing Property in Set-Valued Discrete Systems. Chaos, Solitons and Fractals, 28, 747-754. https://doi.org/10.1016/j.chaos.2005.04.004
[5]	Liu, L. and Peng, D.M. (2017) A Note on Transitive Points of Set-Valued Discrete Systems. Advances in Fixed Point Theory, 7, 214-220.
[6]	Román-Flores, H. and Chalco-Cano, Y. (2005) Robinson’s Chaos in Set-Valued Discrete Systems. Chaos, Solitons and Fractals, 25, 33-42. https://doi.org/10.1016/j.chaos.2004.11.006
[7]	Fedeli, A. (2005) On Chaotic Set-Valued Discrete Dynamical Systems. Chaos, Solitons and Fractals, 23, 1381-1384. https://doi.org/10.1016/S0960-0779(04)00394-7
[8]	Gu, R.B. (2007) Kato’s Chaos in Set-Valued Discrete Systems. Chaos, Solitons and Fractals, 31, 765-771. https://doi.org/10.1016/j.chaos.2005.10.041
[9]	Shao, H. and Zhu, H. (2019) Chaos in Non-Autonomous Discrete Systems and Their Induced Set-Valued Systems. Chaos, 29, Article ID: 033117. https://doi.org/10.1063/1.5054867
[10]	Liu, H., Shi, E.H. and Liao, G.F. (2009) Sensitivity of Set-Valued Discrete Systems. Nonlinear Analysis, 71, 6122-6125. https://doi.org/10.1016/j.na.2009.06.003
[11]	Liu, H., Lei, F.C., Wang, L.D. and Gao, H.Y. (2013) Li-Yorke Sensitivity of Set-Valued Discrete Systems. Journal of Applied Mathematics, 2013, Article ID: 260856. https://doi.org/10.1155/2013/260856
[12]	Sharma, P. and Nagar, A. (2010) Inducing Sensitivity on Hyperspaces. Topology and Its Applications, 157, 2052-2058. https://doi.org/10.1016/j.topol.2010.05.002
[13]	Yang, C.Y., Wang, Y.G. and Li, Z.M. (2014) Some Results about Sensitive on Non-Autonomous Dynamical System in Hyperspace. Pure and Applied Mathematics, 30, 201-206.
[14]	Wu, X.X., Wang, J.J. and Chen, G.R. (2015) F-Sensitivity and Multi-Sensitivity of Hyperspatial Dynamical Systems. Journal of Mathematical Analysis and Applications, 429, 16-26. https://doi.org/10.1016/j.jmaa.2015.04.009
[15]	Wang, Y.G., Wei, G. and Campbell, W.H. (2009) Sensitive Dependence on Initial Conditions between Dynamical Systems and Their Induced Hyperspace Dynamical Systems. Topology and its Applications, 156, 803-811. https://doi.org/10.1016/j.topol.2008.10.014
[16]	Liao, G.F., Wang, L.D. and Zhang, Y.C. (2006) Transitivity, Mixing and Chaos for a Class of Set-Valued Mappings. Science in China Series A, 49, 1-8. https://doi.org/10.1007/s11425-004-5234-5
[17]	Wu, X.X. and Zhu, P.Y. (2012) Devaney Chaos and Li-Yorke Sensitivity for Product Systems. Akadémiai Kiadó, 49, 538-548. https://doi.org/10.1556/sscmath.49.2012.4.1226
[18]	Moothathu, T.K. (2007) Stronger Forms of Sensitivity for Dynamical Systems. Nonlinearity, 20, 2115-2126. https://doi.org/10.1088/0951-7715/20/9/006
[19]	Wu, X.X. and Zhu, P.Y. (2013) Dense Chaos and Densely Chaotic Operators. Tsukuba Journal of Mathematics, 36, 367-375. https://doi.org/10.21099/tkbjm/1358777004
[20]	Li, R.S., Zhao, Y., Wang, H.Q. and Liang, H.H. (2020) Stronger Forms of Transitivity and Sensitivity for Non-Autonomous Discrete Dynamical Systems and Furstenberg Families. Journal of Dynamical and Control Systems, 26, 109-126. https://doi.org/10.1007/s10883-019-09437-6
[21]	Li, R.S. (2012) A Note on Stronger Forms of Sensitivity for Dynamical Systems. Chaos, Solitons and Fractals, 45, 753-758. https://doi.org/10.1016/j.chaos.2012.02.003
[22]	Vasisht, R. and Das, R. (2018) On Stronger Forms of Sensitivity in Non-Autonomous Systems. Taiwanese Journal of Mathematics, 22, 1139-1159. https://doi.org/10.11650/tjm/180406