Abstract:Relatively uniformly continuous (ruc) semigroups were recently introduced and studied by Kandić, Kramar-Fijavž, and the second-named author, in order to make the theory of one-parameter operator semigroups available in the setting of vector lattices, where no norm is present in general.
In this article, we return to the more standard Banach lattice setting - where both ruc semigroups and $C_0$-semigroups are well-defined concepts - and compare both notions. We show that the ruc semigroups are precisely those positive $C_0$-semigroups whose orbits are order bounded for small times.
We then relate this result to three different topics: (i) equality of the spectral and the growth bound for positive $C_0$-semigroups; (ii) a uniform order boundedness principle which holds for all operator families between Banach lattices; and (iii) a description of unbounded order convergence in terms of almost everywhere convergence for nets which have an uncountable index set containing a co-final sequence.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between relative uniform continuity and order continuity of positive operator semigroups on Banach lattices. Specifically, the authors focus on how to compare and understand the connection between relatively uniformly continuous (ruc) semigroups and C0 - semigroups in the context of Banach lattices, especially what conditions make a positive C0 - semigroup become a relatively uniformly continuous semigroup.
### Main research problems
1. **Relationship between relative uniform continuity and C0 - semigroups**:
- Researchers hope to clarify under what conditions a positive C0 - semigroup can be regarded as a relatively uniformly continuous semigroup (ruc semigroup). This involves the analysis of the local order boundedness of semigroup orbits.
2. **Order boundedness and relative uniform convergence**:
- The paper explores the relationship between order boundedness and relative uniform convergence, and proves that for positive C0 - semigroups, the order boundedness of their orbits in a short time is equivalent to relative uniform continuity.
3. **Equivalence of spectral bound and growth bound**:
- The authors also study whether the spectral bound and the growth bound of a relatively uniformly continuous positive C0 - semigroup are equal, which is achieved by analyzing the orbit properties of the semigroup.
4. **Uniform order boundedness principle**:
- The paper proposes the uniform order boundedness principle, which states that for any family of operators on a Banach lattice, if each orbit is order - bounded, then there exists a unified order - boundedness estimate.
5. **Unbounded order convergence and almost everywhere convergence**:
- Finally, the paper discusses the relationship between unbounded order convergence and almost everywhere convergence in Lp - spaces, especially when dealing with nets of uncountable index sets, how to describe this convergence by choosing appropriate representatives.
### Specific problem formulation
- **Main theorem (Theorem 2.1)**:
- For a positive C0 - semigroup \( T=(T(t))_{t\geq0} \) on a Banach lattice, the following conditions are equivalent:
- (i) For each \( x\in E \), \( T(t)x\xrightarrow{ru}x \) as \( t\downarrow0 \).
- (ii) For each \( x\in E \), \( T(t)x\xrightarrow{o}x \) as \( t\downarrow0 \).
- (iii) For each \( x\in E \), there exists \( t_x > 0 \) such that the set \( \{T(t)x:t\in[0,t_x]\} \) is order - bounded in \( E \).
- (iv) For each \( x\in E \) and each \( t_0 > 0 \), the set \( \{T(t)x:t\in[0,t_0]\} \) is order - bounded in \( E \).
- **Equivalence of spectral bound and growth bound (Theorem 3.1)**:
- If \( T=(T(t))_{t\geq0} \) is a relatively uniformly continuous positive C0 - semigroup, then the spectral bound \( s(A) \) of its generator \( A \) is equal to the growth bound \( \omega_0(T) \) of the semigroup.
- **Uniform order boundedness principle (Theorem 4.1)**:
- If \( E \) is a real Banach space, \( F \) is a Banach lattice, and \( (T_i)_{i\in I} \) is a family of bounded linear operators from \( E \) to \( F \), and the orbit \( \{T_i x:i\in I\} \) of each \( x\in E \) is order - bounded in \( F \), then there exists a constant \( M\geq0 \) such that for each \( x\in E \), there exists \( y\in F_+ \) satisfying \( \|y\|\leq M\|x\| \), and the orbit \( \{T_i x: \)