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

再配置不変空間上の合成作用素に対する平均遍歴性と点別遍歴性

基本情報

論文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 (関数解析)
発表日: 2025年10月14日 (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平均の収束性の研究は遍歴理論の中核的問題であり、1932年のvon Neumannによるヒルベルト空間上のユニタリ作用素に関する先駆的業績に遡る。
合成作用素の重要性：合成作用素 $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_φ)}^ξ$