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

Basic Information

• Paper ID: 2510.12459
• Title: Mean and pointwise ergodicity for composition operators on rearrangement-invariant spaces
• Authors: Thomas Kalmes (Chemnitz University of Technology), Dalimil Peša (Chemnitz University of Technology & Charles University)
• Classification: math.FA (Functional Analysis)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.12459

Abstract

This paper investigates ergodic properties of composition operators on rearrangement-invariant Banach function spaces. The authors provide natural and easily verifiable conditions on the operator symbol that imply mean ergodicity on a broad class of rearrangement-invariant Banach function spaces. Furthermore, the paper provides natural additional assumptions for obtaining pointwise ergodicity. The class of spaces covered includes many non-reflexive spaces, such as Lorentz spaces $L^{p,1}$ and $L^{p,∞}$ ($p \in (1,∞)$), Orlicz spaces $L\log^α L$ and $\exp L^α$ ($α > 0$), as well as $L^1$ and $L^∞$ spaces on finite measure spaces. The main innovation of the approach lies in introducing a new locally convex topology that lies strictly between the norm topology and the weak topology induced by the dual space.

Research Background and Motivation

Problem Background

1. Fundamental questions in ergodic theory: The study of convergence of Cesàro means of operator sequences is a central problem in ergodic theory, tracing back to von Neumann's pioneering work in 1932 on unitary operators on Hilbert spaces.
2. Importance of composition operators: Composition operators $T_φf = f \circ φ$ play an important role in functional analysis and operator theory, with their properties closely related to the geometric and measure-theoretic properties of the symbol $φ$.
3. Challenges in non-reflexive spaces: Classical results show that all reflexive Banach spaces are mean ergodic, but for non-reflexive spaces, the situation is more complex.

Research Motivation

1. Generalizing classical results: Extending ergodic theory from reflexive spaces to more general rearrangement-invariant function spaces.
2. Weakening hypotheses: Seeking conditions weaker than reflexivity that still guarantee ergodicity.
3. Practical application needs: Many important function spaces (such as Lorentz spaces and Orlicz spaces) are non-reflexive and require specialized theoretical treatment.

Core Contributions

1. Introduction of new locally convex topology ξ: Construction of a complete locally convex topology lying between the norm topology and weak topology, providing new tools for ergodic theory on non-reflexive spaces.
2. Establishment of mean ergodicity theorem: Under the (ACR) property and power-boundedness of measure conditions, proving mean ergodicity of composition operators.
3. Obtaining pointwise ergodicity results: Through the maximal ergodic theorem, establishing pointwise convergence under additional conditions.
4. Coverage of broad classes of function spaces: Results applicable to a large class of non-reflexive rearrangement-invariant spaces including Lorentz and Orlicz spaces.
5. Provision of optimality counterexamples: Concrete examples demonstrating the necessity and optimality of the proposed conditions.

Detailed Methodology

Problem Definition

Study ergodic properties of composition operators $T_φ: f \mapsto f \circ φ$ on rearrangement-invariant Banach function spaces $X$:

• Mean ergodicity: Cesàro means $\frac{1}{n}\sum_{i=0}^{n-1}T_φ^i f$ converge in some topology
• Pointwise ergodicity: The above means converge almost everywhere

Core Concepts and Definitions

1. Rearrangement-Invariant Spaces

A rearrangement-invariant (r.i.) quasi-Banach function space is a function space satisfying:

• If $f, g$ are equimeasurable, then $\|f\|_X = \|g\|_X$
• Satisfies basic properties (P1)-(P5) of Banach function norms

2. (ACR) Property

Definition 2.32: An r.i. quasi-Banach function space $X$ has the (ACR) property if $X \subseteq M^{(ACR)}$, where $M^{(ACR)} = \{f \in M_0: \lim_{t \to \infty} f^*(t) = 0\}$

3. Power-Boundedness of Measure

Definition 3.19: A measurable map $φ: \mathbb{R} → \mathbb{R}$ is power-measure-bounded if there exists $A \in (0,∞)$ such that for all $n \geq 1$ and measurable sets $E$: $μ(φ^{-n}(E)) ≤ Aμ(E)$

4. Construction of New Topology ξ

Definition 4.6: For an r.i. quasi-Banach function space $X$, define the locally convex topology ξ generated by the family of norms $\{|\cdot|_φ: φ \in X'\}$, where $|f|_φ = \int_0^∞ φ^* f^* dλ$

Main Theoretical Results

Theorem 5.3 (Mean Ergodicity)

Let $X$ be an r.i. Banach function space and $X'$ be the corresponding dual space. Assume that both $X$ and $X'$ have the (ACR) property. For each power-measure-bounded map $φ: \mathbb{R} → \mathbb{R}$, the operator $T_φ$ is mean ergodic on $(X,ξ)$, i.e., there exists a continuous operator $T: (X,ξ) → (X,ξ)$ such that $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ in } (X,ξ)$

Theorem 5.8 (Norm Convergence)

Under the conditions of Theorem 5.3, for $f \in X_a$ (functions with absolutely continuous norm), $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ in } (X,\|\cdot\|_X)$

Theorem 6.8 (Pointwise Ergodicity)

Let $φ$ satisfy condition (I) (power-measure-bounded and satisfying additional conditions). Then for $f \in X_a$: $\frac{1}{n}\sum_{i=0}^{n-1} T_φ^i f → Tf \text{ μ-a.e.}$

Experimental Setup

Theoretical Verification

This is primarily theoretical work, with results verified through:

1. Verification on concrete spaces:
   • Lorentz spaces $L^{p,1}, L^{p,∞}$
   • Orlicz spaces $L\log^α L, \exp L^α$
   • Classical $L^p$ spaces
2. Counterexample construction:
   • Example 5.13: Shows failure when $X'$ lacks (ACR) property
   • Example 5.14: Shows failure when $X$ lacks (ACR) property
   • Example 3.24: Non-power-measure-bounded but power-bounded composition operator

Application Examples

Example 5.11 (Diffeomorphisms)

For $C^1$ bijections $φ: U → U$ on open sets $U \subset \mathbb{R}^d$, if there exists $C > 0$ such that $χ_{φ^n(U)} \prod_{j=0}^{n-1} |\det J_{φ^{-1}}| \circ φ^{-j} ≤ C$ then $T_φ$ is mean ergodic on the corresponding spaces.

Example 5.12 (Shift Operators)

On sequence spaces, the shift operator $φ(n) = n+1$ satisfies power-measure-boundedness conditions and is therefore mean ergodic on corresponding r.i. sequence spaces.

Experimental Results

Main Results

1. Properties of topology ξ:
   • Completeness (Theorem 4.19): $(X,ξ)$ is complete
   • Duality characterization (Theorem 4.15): $(X,ξ)^* = X'$ (when $X$ has (ACR) property)
   • Continuous embeddings: $(X,\|\cdot\|_X) ↪ (X,ξ) ↪ (X,w')$
2. Characterization of power-boundedness (Theorem 3.21): For composition operator $T_φ$, the following are equivalent:
   • $φ$ is power-measure-bounded
   • $T_φ: L^1 → L^1$ is power-bounded
   • $T_φ: X → X$ is power-bounded for all r.i. quasi-Banach function spaces $X$
3. Decomposition theorem: $X = \ker(I-T_φ) \oplus \overline{\text{Im}(I-T_φ)}^ξ$

Optimality Results

Examples 5.13 and 5.14 demonstrate the necessity of (ACR) conditions:

• Mean ergodicity fails when $X'$ lacks (ACR) property
• Mean ergodicity fails when $X$ lacks (ACR) property

Related Work

1. Classical ergodic theory: von Neumann (1932), Kakutani-Lorch-Yosida results on reflexive spaces
2. Composition operator theory: Cowen-MacCluer, Singh-Manhas classical monographs
3. Rearrangement-invariant spaces: Bennett-Sharpley interpolation theory, Luxemburg representation theorem
4. Recent developments: Fonf-Lin-Wojtaszczyk characterization of mean ergodic spaces, research on composition operators on various function spaces

Conclusions and Discussion

Main Conclusions

1. (ACR) condition is key: A condition weaker than absolutely continuous norm but sufficient for ergodicity
2. Role of new topology ξ: Provides new tools for handling ergodicity in non-reflexive spaces
3. Power-measure-boundedness: A condition weaker than measure preservation but still ensuring good ergodic properties
4. Broad applicability: Results cover numerous important non-reflexive function spaces

Limitations

1. Technical nature of conditions: While (ACR) is natural, it still requires verification
2. Measure space restrictions: Requires σ-finite resonant measure spaces
3. Symbol restrictions: Pointwise ergodicity requires stronger condition (I)

Future Directions

1. Generalization to more general spaces: Investigation on non-resonant or non-σ-finite spaces
2. Other operator classes: Extension of methods to weighted composition operators, etc.
3. Quantitative results: Study of convergence rates and other quantitative properties

In-Depth Evaluation

Strengths

1. Theoretical innovation:
   • The introduced ξ topology has good properties (completeness, duality characterization)
   • Extends ergodic theory to important non-reflexive space classes
2. Technical depth:
   • Clever use of rearrangement invariance and interpolation theory
   • Sophisticated proof techniques for maximal ergodic theorem
3. Completeness of results:
   • Covers both mean and pointwise ergodicity
   • Provides necessity counterexamples
4. Application value:
   • Covers important function spaces in analysis
   • Provides theoretical foundation for practical problems

Weaknesses

1. Verification of conditions:
   • Verification of (ACR) property on concrete spaces may be complex
   • Two branches of condition (I) lack unified understanding
2. Technical threshold:
   • Requires deep background in function space theory
   • Proof techniques are quite specialized
3. Application scope:
   • Primarily limited to rearrangement-invariant spaces
   • Generalization to general Banach spaces unclear

Impact

1. Theoretical contribution:
   • Provides new framework for ergodic theory on non-reflexive spaces
   • ξ topology may have applications in other problems
2. Methodological innovation:
   • New perspective combining rearrangement theory and ergodic theory
   • May inspire research on other operator classes
3. Practical value:
   • Provides tools for partial differential equations, harmonic analysis, etc.
   • Potential applications in interpolation theory

Applicable Scenarios

1. Theoretical research: Rearrangement-invariant space theory, ergodic theory, operator theory
2. Applied mathematics: Asymptotic behavior of PDE solutions, dynamical systems
3. Harmonic analysis: Fourier analysis, singular integral operator theory

References

The paper cites 61 important references, covering:

• Classical ergodic theory (Birkhoff, von Neumann, Dunford-Schwartz)
• Composition operator theory (Cowen-MacCluer, Singh-Manhas)
• Rearrangement-invariant spaces (Bennett-Sharpley, Luxemburg)
• Recent related work (Fonf-Lin-Wojtaszczyk, etc.)

Overall Assessment: This is a high-quality theoretical mathematics paper making important contributions to ergodic theory on rearrangement-invariant spaces. The newly introduced ξ topology and associated theoretical framework are innovative and practically valuable, opening new avenues for studying ergodicity on non-reflexive function spaces. While technically demanding, the theoretical value and potential applications merit attention.