$g_n: \mathbb{D} \to \mathbb{D}$ を原点を固定する内関数の列とし、合成関数を以下のように定義する： $G_n = g_n \circ g_{n-1} \circ \cdots \circ g_1, \quad G_n^m = g_n \circ \cdots \circ g_{m+1}$

単位円 $\partial\mathbb{D}$ 上の境界写像列 $\{\hat{G}_n\}_{n \in \mathbb{N}}$ のエルゴード性とミキシング性を研究する。

核心的定義

定義1.1（非自律系のエルゴード性とミキシング性）：

列 $\{T_n\}_{n \in \mathbb{N}}$ はエルゴード的であるとは、任意の $\varphi \in L^2(\mu)$ に対して以下が成立することである： $\lim_{N \to \infty} \left\|\frac{1}{N}\sum_{n=1}^N \varphi \circ T_n - \int_X \varphi d\mu\right\|_2 = 0$
列 $\{T_n\}_{n \in \mathbb{N}}$ はミキシング的であるとは、その任意の部分列がエルゴード的であることである。

主要な技術的ツール

1. Fourier係数と導関数の関係

補題3.2：内関数の合成に対して、以下が成立する： $\langle e_\ell \circ \hat{G}_n, e_\ell \circ \hat{G}_m \rangle = ((G_n^m)'(0))^\ell$

この重要な等式は $L^2$ 内積を合成関数の原点での導関数と結びつける。

定理1.2（エルゴード性の必要十分条件）：列 $\{\hat{G}_n\}_{n \in \mathbb{N}}$ がエルゴード的であることと、任意の $\ell \in \mathbb{N}$ に対して以下が成立することは同値である： $\lim_{N \to \infty} \Re\left(\frac{1}{N^2}\sum_{m=1}^{N-1}\sum_{n=m+1}^N ((G_n^m)'(0))^\ell\right) = 0$

技術的革新点

導関数による特性付け法：複合関数の導関数の性質を利用してエルゴード性を特性付け、測度論の複雑性を直接扱うことを回避する
場合分けによる検討：異なる導関数の性質（正実数、非収縮など）に対して専門的な判別基準を与える
等分布理論の応用：非収縮の場合、エルゴード性を導関数の幅角の等分布性と結びつける

実験設定

理論的検証

本論文は主に理論研究であり、具体的な例の構成を通じて理論的結果を検証する：

収縮しているが非エルゴード的な例（命題6.1）：
- Blaschke乗積 $g_n(z) = z \cdot \frac{z + a_n}{1 + a_n z}$ を構成する。ここで $a_n = \frac{n}{n+1}$
- $\sum_{n \geq 1}(1-|g_n'(0)|) = \infty$ （収縮性）を検証する
- しかしエルゴード性条件を満たさないことを示す
具体的なエルゴード的およびミキシング的な例（系6.2）：
- ミキシング性を保証する具体的な条件を与える
- ランダムな場合のエルゴード性を分析する

実験結果

主要な結果

1. 正実導関数の場合（定理1.3(i)(ii)）

すべての $g_n'(0) > 0$ の場合：

エルゴード性：任意の $0 < \varepsilon < 1$ に対して以下と同値である： $\lim_{N \to \infty} \prod_{k=\lfloor N(1-\varepsilon)\rfloor}^N g_k'(0) = 0$
ミキシング性：任意の $\epsilon > 0$ に対して、 $M_0$ が存在し、 $N > M > M_0$ のとき以下が成立することと同値である： $\prod_{k=N-M}^N g_k'(0) < \epsilon$