Some characterizations of disjoint topological transitivity on Orlicz spaces

In this paper, we study the disjointness of topological transitivity on Orlicz spaces endowed with the Orlicz norm. We first give the characterization for weighted translations to be topologically transitive. Based on this, a sufficient condition and a necessary condition for powers of weighted translations to be disjoint topologically transitive are obtained as well.


Introduction
In [1,2], we gave sufficient and necessary conditions for weighted translations to be topologically transitive and disjoint topologically transitive on the Lebesgue space of locally compact groups, which generalizes some results about weighted shifts on the discrete group Z in [3,4], respectively. We note that the investigation of linear dynamics on locally compact groups has attracted a lot of attention. Indeed, let G be a locally compact group. The disjoint hypercyclicity of weighted translations on L p (G) was studied in [5]. The existence of transitive weighted translations on L p (G) is obtained in [6]. Also, Abakumov and Kuznetsova in [7] focused on the density of translates in the weighted Lebesgue space L p w (G) where w is a weight on G. Recently, Azimi and Akbarbaglu in [8] extended the work of [2] from the Lebesgue space L p (G) to the Orlicz space L (G) endowed with the Luxemburg norm, where is a Young function. It is well known that the Orlicz space is a generalization of the usual Lebesgue space. Inspired by these, we initial the study of linear dynamics in the setting of the Orlicz space L (G), but with respect to the Orlicz norm. Although the Orlicz norm and the Luxemburg norm are equivalent, they deduce the totally different descriptions of topological transitivity in [8,Theorem 2.3] and Theorem 2.1 in Sect. 2 by applying different approaches and methods. In fact, we also investigate deeper dynamical notions, namely, disjoint topological transitivity and disjoint topological mixing in Sect. 3, which were not studied in [8].
A bounded linear operator T on a separable Banach space X is said to be topologically transitive if, given two non-empty open sets U, V ⊂ X, there exists n ∈ N such that T n (U) ∩ V = ∅. If T n (U) ∩ V = ∅ from some n onwards, then T is topologically mixing. It should be noted [9] that topological transitivity and hypercyclicity are equivalent on separable Banach spaces. The latter notion arises from the invariant subset problem in analysis. An operator T is called hypercyclic if there is x ∈ X such that its orbit under T, denoted by Orb(T, x) := {T n x : n ∈ N}, is dense in X. Hypercyclicity and linear dynamics have been studied intensely. We refer to these classic books [9][10][11] on this subject. About one decade ago, Bernal-González, Bès and Peris introduced new notions of linear dynamics, namely, disjoint topological transitivity and disjoint hypercyclicity in [12] and [3], respectively. Since then, disjoint topological transitivity and disjoint hypercyclicity were studied by many authors [11,[13][14][15][16][17][18]. These new notions, disjoint topological transitivity and disjoint hypercyclicity, are kinds of generalizations of topological transitivity and hypercyclicity, respectively. We first recall some definitions of disjointness [3,12] for further discussion.
is dense in X N ; if this is the case, then we say x ∈ X is a d-hypercyclic vector associated to the operators T 1 , T 2 , . . . , T N .
For topological dynamics, several new notions were given accordingly [3] as follows.
If the above condition is satisfied from some n onwards, then T 1 , T 2 , . . . , T N are called disjoint topologically mixing (in short, d-topologically mixing).
In this note, the characterizations for weighted translation operators on the Orlicz space to be topologically transitive and disjoint topologically transitive will be demonstrated. We introduce the Orlicz space briefly for further study. It should be noted the Orlicz space is defined by a Young function which highly relies on the Young inequality. Indeed, a continuous, even and convex function : R → R is called a Young function if it satisfies (0) = 0, (t) > 0 for t > 0, and lim t→∞ (t) = ∞. For a Young function , the complementary function of is given by which is also a Young function. If is the complementary function , then is the complementary function , and they both satisfy the Young inequality, xy ≤ (x) + (y) (x, y ≥ 0).
Let G be a locally compact group with identity e and a right Haar measure λ. Then the Orlicz space L (G) is defined by where f is a Borel measurable function. Moreover, the Orlicz space is a Banach space under the Orlicz norm defined for f ∈ L (G) by One can also define the Luxemburg norm on L (G) by It is well known that these two norms above are equivalent. We note that the Lebesgue space is a special case of the Orlicz space. The interesting properties and structures of Orlicz spaces have been investigated intensely over the last several decades. For instance, the properties (T L ) and (F L ) for Orlicz spaces L were studied by Tanaka in [19] recently. In [20], Piaggio also considered Orlicz spaces and the large scale geometry of Heintze groups. Hence it is significant to tackle hypercyclicity and linear dynamics on Orlicz spaces. For more discussion and recent work as regards Orlicz spaces, see [21][22][23].
We note that a Banach space admits a hypercyclic operator if, and only if, it is separable and infinite-dimensional [24,25]. Hence we assume that G is second countable and is 2 -regular in this paper. A Young function is said to be 2 -regular in [23] if there exist a constant M > 0 and t 0 > 0 such that (2t) ≤ M (t) for t ≥ t 0 when G is compact, and (2t) ≤ M (t) for all t > 0 when G is noncompact. For example, the Young functions given by are both 2 -regular in [8,23]. If is 2 -regular, then the space C c (G) of all continuous functions on G with compact support is dense in L (G), and the dual space Let a ∈ G and let δ a be the unit point mass at a. A weighted translation on G is a weighted convolution operator T a,w : where w is a weight on G and T a (f ) = f * δ a ∈ L (G) is the convolution: In what follows, we assume w, w -1 ∈ L ∞ (G). In Sect. 2, we will characterize topological transitivity of weighted translations on L (G) in terms of the weight, the Haar measure and the group element. Applying similar arguments, in Sect. 3, we will obtain a sufficient condition and a necessary condition for powers of weighted translations to be disjoint topologically transitive. In particular, the Minkowski inequality and some estimates with inequalities play important roles in demonstrating the results in the two sections.

Topological transitivity
Now we are ready to give the result of topological transitivity. Applying the same argument, the characterization for topological mixing follows immediately. Theorem 2.1 Let G be a locally compact group and let a ∈ G. Let w be a weight on G, and let be a Young function. Let T a,w be a weighted translation on L (G). Then the following conditions are equivalent.
(i) T a,w is topologically transitive on L (G).
(ii) For each compact subset K of G with λ(K) > 0, there exist a sequence of Borel sets (E k ) in K and a strictly increasing sequence (n k ) ⊂ N such that and the two sequences where is the set of all Borel functions v on G satisfying G (|v|) dλ ≤ 1.
Proof (ii) ⇒ (i). Suppose that U and V are non-empty open subsets of L (G). Since the space C c (G) of all continuous functions on G with compact support is dense in L (G), there are f , g ∈ C c (G) such that f ∈ U and g ∈ V . Let K be the union of supports of f and g.
Given ε > 0, by condition (ii), there exist (E k ) and (n k ) such that, for some k, we have Likewise, Also, Similarly, Then, by the Minkowski inequality, for some k. Therefore T a,w is topologically transitive. (i) ⇒ (ii). Let ε ∈ (0, 1). Let K be a compact subset of G, and let χ K be the characteristic function of K . By the assumption of topological transitivity, there exist f ∈ L (G) and some m ∈ N such that fχ K < ε 2 and T m a,w f + χ K < ε 2 .
Without loss of generality, we may assume that f is real-valued by the continuity of the mapping h ∈ L (G, C) → Re h ∈ L (G, R) and the fact that T a,w commutes with it. Also, the mapping h ∈ L (G, R) → h + ∈ L (G, R) commutes with T a,w where h + = max{0, h}. Therefore, for a Borel set F ⊂ G, we have by the following estimate: Hence Combining all these, condition (ii) follows.
Replacing the subsequence (n k ) by the full sequence (n) in condition (ii) of Theorem 2.1, the characterization for T a,w to be topologically mixing on L (G) is obtained below.

Corollary 2.2 Let G be a locally compact group and let a ∈ G. Let w be a weight on G, and let be a Young function. Let T a,w be a weighted translation on L (G). Then the following conditions are equivalent.
(i) T a,w is topologically mixing on L (G).
where is the set of all Borel functions v on G satisfying G (|v|) dλ ≤ 1.
Proof (ii) ⇒ (i). As in the proof of Theorem 2.1, let v n = f χ E n + S n a,w (gχ E n ).
Then v nf → 0 and T n a,w v ng → 0 as n → ∞. Hence T a,w is topologically mixing.
(i) ⇒ (ii). Let ε ∈ (0, 1). Let K be a compact subset of G, and let χ K be the characteristic function of K . By the assumption of topological mixing, there exists f ∈ L (G) such that fχ K < ε 2 and T n a,w f + χ K < ε 2 .
Applying a similar argument as in the proof of Theorem 2.1, one can obtain condition (ii).

Disjoint topological transitivity
In this section, we turn our attention to give sufficient conditions and necessary conditions for powers of weighted translations on L (G) to be disjoint topologically transitive and disjoint topologically mixing.

Theorem 3.1 Let G be a locally compact group, and let a ∈ G. Let be a Young function.
Given some N ≥ 2, let T l = T a,w l be a weighted translation on L (G), generated by a weight w l on G for 1 ≤ l ≤ N . Let r l ∈ N for 1 ≤ l ≤ N . For 1 ≤ r 1 < r 2 < · · · < r N , (ii) implies (i). Since the space C c (G) of continuous functions on G with compact support is dense in L (G), we can pick f , g l ∈ C c (G) with f ∈ U and g l ∈ V l for l = 1, 2, . . . , N . Let K be the union of the compact supports of f and all g l . Let E k ⊂ K and the sequences (ϕ l,r l n k ), ( ϕ l,r l n k ) satisfy condition (ii).
First, for 1 ≤ l ≤ N , we have = sup v∈ G w l (x)w l xa -1 · · · w l xa -r l n k +1 f xa -r l n k χ E k xa -r l n k v(x) dλ(x) = sup v∈ G w l xa r l n k w l xa r l n k -1 · · · w l (xa)f (x)χ E k (x)v xa r l n k dλ(x) Here we denote S a,w l by S l . Applying similar arguments to the iterates S r l n k l , and using the sequence ( ϕ l,r l n k ), for 1 ≤ l ≤ N , we have S r l n k l = sup v∈ G 1 |w l (xa)w l (xa 2 ) · · · w l (xa r l n k )| g l xa r l n k χ E k xa r l n k v(x) dλ(x) = sup v∈ G 1 |w l (xa -r l n k +1 )w l (xa -r l n k +2 ) · · · w l (x)| g l (x)χ E k (x)v xa -r l n k dλ(x) Then, by using the Minkowski inequality, we arrive at Hence lim k→∞ v k = f and lim k→∞ T r l n k l v k = g l for l = 1, 2, . . . , N , which implies As in Sect. 2, one can strengthen the weight condition to characterize disjoint topological mixing.

Corollary 3.2 Let G be a locally compact group, and let a ∈ G. Let be a Young function.
Given some N ≥ 2, let T l = T a,w l be a weighted translation on L (G), generated by a weight w l on G for 1 ≤ l ≤ N . Let r l ∈ N for 1 ≤ l ≤ N . For 1 ≤ r 1 < r 2 < · · · < r N , we have (ii) implies (i). Combining all these, condition (ii) follows.
Similarly, a necessary condition for disjoint topological mixing follows.

Corollary 3.4
Let G be a locally compact group, and let a ∈ G. Let be a Young function. Given some N ≥ 2, let T l = T a,w l be a weighted translation on L (G), generated by a weight w l on G for 1 ≤ l ≤ N . Let r l ∈ N for 1 ≤ l ≤ N . For 1 ≤ r 1 < r 2 < · · · < r N , we have (i) implies (ii). where is the set of all Borel functions v on G satisfying G (|v|) dλ ≤ 1.