1. Introduction
Let X be a Hausdorff topological space, M(X, E) be the space of all measurable functions from X into E and C(X, E) be the vector subspace of M(X, E) consisting of the continuous functions f from X into E. Let V be a set of non-negative upper semicontinuous functions on X. If V is a set of weights on X such that, given any x ∈ X, there is some v ∈ V for which v(x) > 0, we write V > 0.
A set V of weights on X is said to be directed upward provided that, for every pair u1, u2 in V and α > 0, there exists v ∈ V such that αui ≤ v (pointwise on X) for i = 1, 2.
By a system of weights, we mean a set V of weights on X which additionally satisfies V > 0. Let cs(E) be the set of all continuous functions from X into E.
If V is a system of weights on X, then the pair (X, V) is called the weighted topological system. Associated with each weighted topological system (X, V), we have the weighted spaces of continuous E-valued functions defined as:
Let v ∈ V, q ∈ cs(E) and f ⊞ g ∈ M(X, E) ⊞ M(X, E). If we define ‖f ⊞ g‖v,q = sup {(∫X(v(x)q(f ⊞ g)(x))pdμ)1/p for all x ∈ X}, then ‖.‖v can be regarded as a seminorm on either MV0(X, E) ⊞ MV0(X, E) or MVb(X, E) ⊞ MVb(X, E), and the family {‖.‖v,q: v ∈ V, q ∈ cs(E)} of seminorms defines a Hausdorff locally convex topology on each of these spaces. This topology will be denoted by wv, and the vector spaces MV0(X, E) and MVb(X, E) endowed with wv are called the weighted locally convex spaces of vector-valued continuous functions. It has a basis of closed absolutely convex neighbourhoods of the origin of the form
Also, MV0(X, E) is a closed subspace of MVb(X, E).
1.1. Functions inducing tensor sum operators on weighted spaces of measurable functions
In this section, let us investigate the functions inducing tensor sum operators on weighted spaces of measurable functions.
Theorem 1.1.1. Let φ : X → X and πt : X → ℂ be measurable functions. Then (Cφ ⊞ Mπt)(f ⊞ g) is a tensor sum operator for every t ∈ ℝ, f ⊞ g ∈ MV0(X) ⊞ MV0(X) iff V|Cφ ⊞ Mπt| ≤ V.
Proof. First suppose V|Cφ ⊞ Mπt| ≤ V. Then for all v ∈ V, there exists u ∈ V such that v|Cφ ⊞ Mπt| ≤ u (pointwise on X). We show that Cφ ⊞ Mπt is a continuous linear operator on MV0(X) ⊞ MV0(X). Clearly, Cφ ⊞ Mπt is linear on MV0(X) ⊞ MV0(X). In order to prove the continuity of Cφ ⊞ Mπt on MV0(X) ⊞ MV0(X), it is enough to show that Cφ ⊞ Mπt is continuous at the origin. For this, suppose fα ⊞ gα is a net in MV0(X) ⊞ MV0(X) such that Pv(fα ⊞ gα) → 0 for every v ∈ V.
Now,
This proves the continuity of Cφ ⊞ Mπt at the origin and hence Cφ ⊞ Mπt is continuous on MV0(X) ⊞ MV0(X).
Conversely, suppose Cφ ⊞ Mπt is a continuous linear operator on MV0(X) ⊞ MV0(X). We shall show that V|Cφ ⊞ Mπt| ≤ V. Let v ∈ V. Since Cφ ⊞ Mπt is continuous at the origin, there exists u ∈ V such that (Cφ ⊞ Mπt)(Bu) ⊆ Bv. We claim that v|Cφ ⊞ Mπt| ≤ 2u. Take x0 ∈ X and set u(x0) = ε. In case ε > 0, N = {x ∈ X: u(x) < 2ε} is an open neighbourhood of x0. Then there exists f ⊞ g ∈ MV0(X) ⊞ MV0(X) such that 0 ≤ f ⊞ g ≤ 1 and f ⊞ g(X − N) = 0.
Let h = (2ε)−1(f ⊞ g). Then clearly h ∈ Bu. Since (Cφ ⊞ Mπt)(Bu) ⊆ Bv, we have (Cφ ⊞ Mπt)(h) ∈ Bv and this yields that v(x)|(Cφ ⊞ Mπt)(x)||h(x)| ≤ 1 for all x ∈ X. From this it follows that v(x)|(Cφ ⊞ Mπt)(x)||f ⊞ g(x)| ≤ 2ε for all x ∈ X.
Now suppose u(x0) = 0 and that v(x0)|(Cφ ⊞ Mπt)(x0)| > 0. If we put ε = v(x0)|(Cφ ⊞ Mπt)(x0)|, which is not greater than two, and set N = {x ∈ X: u(x) < ε}, then N would be an open neighbourhood of x0 and we could again find f ⊞ g ∈ MV0(X) ⊞ MV0(X) such that 0 ≤ f ⊞ g ≤ 1, f ⊞ g(x0) = 1 and f ⊞ g(X − N) = 0. Now let h = ε−1(f ⊞ g). Then clearly h ∈ Bu and (Cφ ⊞ Mπt)(h) ∈ Bv. Hence v(x)|(Cφ ⊞ Mπt)(x)||h(x)| ≤ 1 for all x ∈ X. This implies that v(x)|(Cφ ⊞ Mπt)(x)||f ⊞ g(x)| ≤ ε for all x ∈ X. From this it follows that v(x0)|(Cφ ⊞ Mπt)(x0)| ≤ v(x0)|(Cφ ⊞ Mπt)(x0)|/2, which is impossible. This proves our claim and hence the proof is complete.
Now we shall characterise tensor sum operators on MV0(X, E) ⊞ MV0(X, E) induced by scalar-valued and vector-valued functions.
1.2. Characterisation of tensor sum operators
In this section, let us investigate the characterisation of tensor sum operators.
Theorem 1.2.1. Let φ : X → X and πt : X → ℂ be measurable functions. Then (Cφ ⊞ Mπt)(f ⊞ g) is a tensor sum operator for every t ∈ ℝ, f ⊞ g ∈ MV0(X, E) ⊞ MV0(X, E) iff V‖Cφ ⊞ Mπt‖ ≤ V.
Proof. Similar to the proof of Theorem 1.1.1.
Theorem 1.2.2. Let E be a locally multiplicatively convex (lmc) algebra with unit e, and let φ : X → E and πt : X → ℂ be bounded measurable functions. Then (Cφ ⊞ Mπt)(f ⊞ g) is a tensor sum operator for t ∈ ℝ, f ⊞ g ∈ MV0(X, E) ⊞ MV0(X, E) iff Vp ∘ (φ ⊞ πt) ≤ V for all p ∈ P.
Proof. Suppose Vp ∘ (φ ⊞ πt) ≤ V for all p ∈ P. Then for all v ∈ V, there exists u ∈ V such that vp ∘ (φ ⊞ πt) ≤ u (pointwise on X). We shall prove that the mappings φ : X → E and πt : X → ℂ give rise to a linear transformation Cφ ⊞ Mπt from MV0(X, E) ⊞ MV0(X, E) into itself, defined as Cφf = φf and Mπtg = πtg for every f ⊞ g ∈ MV0(X, E) ⊞ MV0(X, E), where the product is pointwise. To show that it is a continuous linear operator on MV0(X, E), we shall establish the continuity of Cφ ⊞ Mπt at the origin. For this, let {fα ⊞ gα} be a net in MV0(X, E) ⊞ MV0(X, E) such that, for all v ∈ V, p ∈ P, Pv,q(fα ⊞ gα) → 0.
Then
This proves that (Cφ ⊞ Mπt) is continuous at the origin and hence a continuous linear operator on MV0(X, E) ⊞ MV0(X, E).
Remark 1.2.3. Note that if φ : X → X and πt : X → ℂ are bounded measurable complex-valued (or vector-valued) functions on X, then clearly (Cφ ⊞ Mπt)(fα ⊞ gα) is a tensor sum operator on MV0(X) ⊞ MV0(X) (or MV0(X, E) ⊞ MV0(X, E)) for any system of weights V.
If X is a system of weights generated by the characteristic functions of compact sets, then it turns out that every continuous map induces a tensor sum operator on MV0(X) ⊞ MV0(X) (or MV0(X, E) ⊞ MV0(X, E)) for any system of weights V.
Theorem 1.2.4. Let X be a completely Hausdorff space and let V = {λχk: λ > 0 and K ⊂ X, X is compact}.
(i) Every bounded φ : X → X and πt : X → ℂ on MV0(X) ⊞ MV0(X)
(ii) Every bounded φ : X → X and πt : X → E be an lmc with jointly continuous operator induces a tensor sum operator Cφ ⊞ Mπt on MV0(X, E) ⊞ MV0(X, E).
Proof. Similar to the proof of Theorem 1.2.2.
Corollary 1.2.5. Let X have the discrete topology and V = {λχk: λ ≥ 0 and K ⊂ X, X is a finite set}. Then every function φ : X → X and πt : X → ℂ induces a tensor sum operator (Cφ ⊞ Mπt)(f ⊞ g) on MV0(X) ⊞ MV0(X) (or MV0(X, E) ⊞ MV0(X, E)).
1.3. Dynamical system induced by tensor sum operators on weighted locally convex spaces of measurable functions
In this section, let us investigate the dynamical system induced by tensor sum operators on weighted locally convex spaces of measurable functions.
Theorem 1.3.1. Let U and V be arbitrary systems of weights on G and let φ : X → X and πt : X → ℂ be continuous functions. Then Cφf ⊞ Mπtg is a tensor sum operator for every t ∈ ℝ and f ⊞ g ∈ MV0(X) ⊞ MV0(X) iff V‖Cφ ⊞ Mπt‖ ≤ U.
Proof. To show that Cφf ⊞ Mπtg is a tensor sum operator, it is enough to prove that Cφf ⊞ Mπtg is continuous at the origin. Let v ∈ V and Bv be a neighbourhood of the origin in MVb(X) ⊞ MVb(X). Then, by the given condition, there exists u ∈ U such that v‖Cφ ⊞ Mπt‖ ≤ u. Now we claim that (Cφ ⊞ Mπt)(Bu) ⊆ Bv, where Bu is a neighbourhood of the origin in MUb(X) ⊞ MUb(X) (or MVb(X, E) ⊞ MVb(X, E)).
Let f ⊞ g ∈ Bu. Then we have
This proves that (Cφf ⊞ Mπtg) ∈ Bv and hence Cφ ⊞ Mπt is a tensor sum operator.
Corollary 1.3.2. Every bounded measurable function φ : X → X and πt : X → ℂ induces a tensor sum operator Cφ ⊞ Mπt on MVb(X) ⊞ MVb(X) (or MVb(X, E) ⊞ MVb(X, E)) for a system of weights V on X.
Proof. Since Cφf ⊞ Mπtg is bounded, there exists m > 0 such that |(Cφf ⊞ Mπtg)(x)| ≤ m for all x ∈ X. Let v ∈ V. Then we have v(x)|Cφf ⊞ Mπtg| ≤ mv(x) for all x ∈ X.
Hence, by the above theorem, Cφf ⊞ Mπtg is a tensor sum operator on MVb(X) ⊞ MVb(X) (or MVb(X, E) ⊞ MVb(X, E)).
Note 1.3.3. Let h ∈ Fb(ℝ). Define πt : ℝ → B(T) as πt(w) = eth(w) for all t, w ∈ ℝ.
Theorem 1.3.4. Let h ∈ Fb(ℝ). For each t ∈ ℝ, let ∇h : ℝ × MVb(ℝ, T) ⊞ MVb(ℝ, T) → M(ℝ, T) ⊞ M(ℝ, T) be the function defined by ∇h(t, f ⊞ g) = Cφt ⊞ Mπt(f ⊞ g) for all t ∈ ℝ and f ⊞ g ∈ MVb(ℝ, T) ⊞ MVb(ℝ, T). Then ∇h is a linear dynamical system on MVb(ℝ, T) ⊞ MVb(ℝ, T).
Proof. Since Cφt ⊞ Mπt is a tensor sum operator on MVb(ℝ, T) ⊞ MVb(ℝ, T) for all t ∈ ℝ and f ⊞ g ∈ MVb(ℝ, T) ⊞ MVb(ℝ, T), we can conclude that ∇h(t, f ⊞ g) ∈ MVb(ℝ, T) ⊞ MVb(ℝ, T) whenever t ∈ ℝ and f ⊞ g ∈ MVb(ℝ, T) ⊞ MVb(ℝ, T). Thus ∇h is a function from ℝ × MVb(ℝ, T) ⊞ MVb(ℝ, T) into M(ℝ, T) ⊞ M(ℝ, T). It can be easily seen that ∇h(0, f ⊞ g) = f ⊞ g and ∇h(t + s, f ⊞ g) = ∇h(t, ∇h(s, f ⊞ g)).
In order to show that ∇h is a dynamical system on MVb(ℝ, T) ⊞ MVb(ℝ, T), it is enough to show that ∇h is a separately continuous map.
Let us first prove the continuity of ∇h in the first argument. Let tn → t. Then |tn − t| → 0 as n → ∞. We shall show that ∇h(tn, f ⊞ g) → ∇h(t, f ⊞ g) in MVb(ℝ, T) ⊞ MVb(ℝ, T).
Let v ∈ V. Then
Let fα ⊞ gα be a net in MVb(ℝ, T) ⊞ MVb(ℝ, T) such that fα ⊞ gα → f ⊞ g in MVb(ℝ, T) ⊞ MVb(ℝ, T). Then q(fα ⊞ gα − f ⊞ g)v → 0 for all v ∈ V. We shall show that ∇h(t, fα ⊞ gα) → ∇h(t, f ⊞ g) in MVb(ℝ, T) ⊞ MVb(ℝ, T).
This proves the continuity of ∇h, and hence ∇h is a (linear) dynamical system on the weighted space MVb(ℝ, T) ⊞ MVb(ℝ, T).
1.4. Dynamical system and weighted tensor sum operator
In this section, let us investigate the dynamical system and weighted tensor sum operator.
Theorem 1.4.1. Let E be a locally convex Hausdorff space such that each convergent net in E is bounded. Let φ ∈ M(X, B(E)) and T ∈ M(X, X). Then (Cφ ⊞ Mπt)(f ⊞ g) is a weighted tensor sum operator on MVb(X, E) ⊞ MVb(X, E) iff, for every v ∈ V and p ∈ cs(E), there exist u ∈ V and q ∈ cs(E) such that v(x)P(φ(x)(w)) ≤ u(πt(x)q(x)v for all x ∈ X and w ∈ E.
Remark 1.4.2. Let B(E) be the Banach algebra of all bounded linear operators on E. Then an operator-valued map πt : X → B(E) is defined by πt(x) = eth(x) for all t ∈ ℝ and x ∈ X, where h ∈ M(X, B(E)) and ‖h‖∞ = sup {‖h(x)‖: x ∈ X}. Also, the self-map φt : X → X is defined by φt(x) = t + x. Then we consider the weighted tensor sum operator induced by φt and πt on the spaces MV0(X, E) and MV0(X, E).
Theorem 1.4.3. Let V be an arbitrary system of weights on X. Let ∇ : ℝ × MVb(X, E) ⊞ MVb(X, E) → M(X, E) ⊞ M(X, E) be the function defined by ∇(t, f ⊞ g) = (Cφ ⊞ Mπt)(f ⊞ g) for all t ∈ ℝ and f ⊞ g ∈ MVb(X, E) ⊞ MVb(X, E). Then ∇ is a linear dynamical system if, for every v ∈ V and p ∈ cs(E), there exist u ∈ V and q ∈ cs(E) such that v(x)P(φ ⊞ πt)(x) ≤ u(πt(x)q(x)v for all x ∈ X and w ∈ E.
Proof. For every t ∈ ℝ, Cφ ⊞ Mπt is a weighted tensor sum operator on MVb(X, E) ⊞ MVb(X, E). Thus it follows that ∇(t, f ⊞ g) ∈ MVb(X, E) ⊞ MVb(X, E) for all t ∈ ℝ and f ⊞ g ∈ MVb(X, E) ⊞ MVb(X, E).
Clearly, ∇ is linear and
Therefore, ∇(0, f ⊞ g)(x) = f ⊞ g.
Also, ∇(t + s, f ⊞ g) = ∇(t, ∇(s, f ⊞ g)).
Next, to show that ∇ is a linear dynamical system, it is sufficient to show that ∇ is a jointly continuous map [1]. Let tn → t for all t ∈ ℝ. Then tn − t → 0 as n → ∞. The remaining proof is similar to that of Theorem 1.3.4.
References
- Chandra Kala P, Vigneswari GS. Dynamical system induced by tensor sum operator with stability theory. Int J Res Anal Rev. 2019 Mar;6(1).