2025-11-25T14:49:17.761723

Mean and pointwise ergodicity for composition operators on rearrangement-invariant spaces

Kalmes, PeÅ¡a

We study ergodicity of composition operators on rearrangement-invariant Banach function spaces. More precisely, we give a natural and easy-to-check condition on the symbol of the operator which entails mean ergodicity on a very large class of rearrangement-invariant Banach function spaces. Further, we present some natural additional assumptions that allow us to obtain pointwise ergodicity. The class of spaces covered by our results contains many non-reflexive spaces, such as the Lorentz spaces $L^{p, 1}$ and $L^{p,\infty}$, $p \in (1, \infty)$, Orlicz spaces $L \log^Î± L$ and $\exp L^Î±$, $Î±> 0$, and the spaces $L^1$ and $L^{\infty}$ over measure spaces of finite measure. The main novelty in our approach is the application of a new locally convex topology which we introduce and which lies strictly between the norm topology and the weak topology induced by the associate space. Throughout, we give several examples which illustrate the applicability of our results as well as highlight the necessity and optimality of our assumptions.

academic

Mean and pointwise ergodicity for composition operators on rearrangement-invariant spaces

基本信息

论文ID: 2510.12459
标题: Mean and pointwise ergodicity for composition operators on rearrangement-invariant spaces
作者: Thomas Kalmes (Chemnitz University of Technology), Dalimil Peša (Chemnitz University of Technology & Charles University)
分类: math.FA (Functional Analysis)
发表时间: October 14, 2025 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.12459

摘要

本文研究重排不变Banach函数空间上复合算子的遍历性质。作者给出了算子符号的自然且易于验证的条件，该条件在一大类重排不变Banach函数空间上蕴含平均遍历性。进一步，文章提供了获得逐点遍历性的自然附加假设。所涵盖的空间类包含许多非自反空间，如Lorentz空间 $L^{p,1}$ 和 $L^{p,∞}$ （ $p \in (1,∞)$ ）、Orlicz空间 $L\log^α L$ 和 $\exp L^α$ （ $α > 0$ ）以及有限测度空间上的 $L^1$ 和 $L^∞$ 空间。方法的主要创新在于引入了一个新的局部凸拓扑，该拓扑严格位于范数拓扑和伴随空间诱导的弱拓扑之间。

研究背景与动机

问题背景

遍历理论的基础问题：研究算子序列的Cesàro均值的收敛性是遍历理论的核心问题，可追溯到von Neumann在1932年关于Hilbert空间上酉算子的开创性工作。
复合算子的重要性：复合算子 $T_φf = f \circ φ$ 在函数分析和算子理论中扮演重要角色，其性质与符号 $φ$ 的几何和测度性质密切相关。
非自反空间的挑战：经典结果表明所有自反Banach空间都是平均遍历的，但对于非自反空间，情况更加复杂。

研究动机

推广经典结果：将遍历理论从自反空间推广到更一般的重排不变函数空间。
弱化假设条件：寻找比自反性更弱但仍能保证遍历性的条件。
实际应用需求：许多重要的函数空间（如Lorentz空间、Orlicz空间）都是非自反的，需要专门的理论处理。

核心贡献

引入新的局部凸拓扑ξ：构造了介于范数拓扑和弱拓扑之间的完备局部凸拓扑，为非自反空间上的遍历理论提供了新工具。
建立平均遍历性定理：在(ACR)性质和幂测度有界条件下，证明了复合算子的平均遍历性。
获得逐点遍历性结果：通过最大遍历定理，在附加条件下建立了逐点收敛性。
涵盖广泛的函数空间类：结果适用于包括Lorentz空间、Orlicz空间在内的大类非自反重排不变空间。
提供最优性反例：通过具体例子说明所提条件的必要性和最优性。

方法详解

任务定义

研究重排不变Banach函数空间 $X$ 上复合算子 $T_φ: f \mapsto f \circ φ$ 的遍历性质：

平均遍历性：Cesàro均值 $\frac{1}{n}\sum_{i=0}^{n-1}T_φ^i f$ 在某种拓扑下收敛
逐点遍历性：上述均值几乎处处收敛

核心概念和定义

1. 重排不变空间

重排不变(r.i.)准Banach函数空间是满足以下条件的函数空间：

如果 $f, g$ 等测度，则 $\|f\|_X = \|g\|_X$
满足Banach函数范数的基本性质(P1)-(P5)

2. (ACR)性质

定义2.32：r.i.准Banach函数空间 $X$ 具有(ACR)性质，如果 $X \subseteq M^{(ACR)}$ ，其中 $M^{(ACR)} = \{f \in M_0: \lim_{t \to \infty} f^*(t) = 0\}$

3. 幂测度有界性

定义3.19：可测映射 $φ: R → R$ 是幂测度有界的，如果存在 $A \in (0,∞)$ 使得对所有 $n \geq 1$ 和可测集 $E$ ： $μ(φ^{-n}(E)) ≤ Aμ(E)$

4. 新拓扑ξ的构造

定义4.6：对于r.i.准Banach函数空间 $X$ ，定义局部凸拓扑ξ由范数族 $\{|\cdot|_φ: φ \in X'\}$ 生成，其中 $|f|_φ = \int_0^∞ φ^* f^* dλ$

主要理论结果

定理5.3（平均遍历性）

设 $X$ 是r.i. Banach函数空间， $X'$ 是相应的伴随空间。假设 $X$ 和 $X'$ 都具有(ACR)性质。对于每个幂测度有界映射 $φ: R → R$ ，算子 $T_φ$ 在 $(X,ξ)$ 上是平均遍历的，即存在连续算子 $T: (X,ξ) → (X,ξ)$ 使得 $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ in } (X,ξ)$

定理5.8（范数收敛）

在定理5.3的条件下，对于 $f \in X_a$ （具有绝对连续范数的函数），有 $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ in } (X,\|\cdot\|_X)$

定理6.8（逐点遍历性）

设 $φ$ 满足条件(I)（幂测度有界且满足额外条件），则对 $f \in X_a$ ： $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ μ-a.e.}$

实验设置

理论验证

本文主要是理论工作，通过以下方式验证结果：

具体空间的验证：
- Lorentz空间 $L^{p,1}, L^{p,∞}$
- Orlicz空间 $L\log^α L, \exp L^α$
- 经典 $L^p$ 空间
反例构造：
- 例5.13：说明 $X'$ 不满足(ACR)时结果失效
- 例5.14：说明 $X$ 不满足(ACR)时结果失效
- 例3.24：非幂测度有界但幂有界的复合算子例子

应用实例

例5.11（微分同胚）

对于开集 $U \subset \mathbb{R}^d$ 上的 $C^1$ 一一映射 $φ: U → U$ ，如果存在 $C > 0$ 使得 $χ_{φ^n(U)} \prod_{j=0}^{n-1} |\det J_{φ^{-1}}| \circ φ^{-j} ≤ C$ 则 $T_φ$ 在相应空间上平均遍历。

例5.12（移位算子）

在序列空间上，移位算子 $φ(n) = n+1$ 满足幂测度有界条件，因此在相应的r.i.序列空间上平均遍历。

实验结果

主要结果

拓扑ξ的性质：
- 完备性（定理4.19）： $(X,ξ)$ 是完备的
- 对偶刻画（定理4.15）： $(X,ξ)^* = X'$ （当 $X$ 有(ACR)性质）
- 连续嵌入： $(X,\|\cdot\|_X) ↪ (X,ξ) ↪ (X,w')$
幂有界性刻画（定理3.21）：对于复合算子 $T_φ$ $T_{φ}$ ，以下等价：
- $φ$ 是幂测度有界的
- $T_φ: L^1 → L^1$ 是幂有界的
- $T_φ: X → X$ 对所有r.i.准Banach函数空间 $X$ 都是幂有界的
分解定理： $X = \ker(I-T_φ) \oplus \overline{\text{Im}(I-T_φ)}^ξ$