[论文解读] Mixing operators and small subsets of the circle

Frédéric Bayart, Étienne Matheron|arXiv (Cornell University)|Dec 6, 2011

Holomorphic and Operator Theory参考文献 31被引用 8

一句话总结

本文利用单位圆上的单模特征值和小的子集——具体而言是可数集和傅里叶-史蒂尔杰斯级数的唯一性集——对具有二阶余类型（cotype 2）的巴拿赫空间上的弱混合与强混合算子给出了完整的刻画。它建立了在余类型2空间中既充分又必要的最优混合条件，消除了以往研究中对空间或特征向量正则性的几何假设限制，从而扩展了已有结果。

ABSTRACT

We provide complete characterizations, on Banach spaces with cotype 2, of those linear operators which happen to be weakly mixing or strongly mixing transformations with respect to some nondegenerate Gaussian measure. These characterizations involve two families of small subsets of the circle: the countable sets, and the so-called sets of uniqueness for Fourier-Stieltjes series. The most interesting part, i.e. the sufficient conditions for weak and strong mixing, is valid on an arbitrary (complex, separable) Fr\\'echet space.

研究动机与目标

• 确定线性算子在某种具有全支撑的非退化高斯测度下为弱混合或强混合的必要与充分条件。
• 消除以往对巴拿赫空间几何结构或特征向量正则性所施加的限制，从而推广混合算子的刻画结果。
• 将高斯混合理论扩展至任意复可分弗雷歇空间，并在余类型2巴拿赫空间情形下实现完整刻画。
• 阐明单模特征值以及圆周上的小集合——特别是可数集和傅里叶-史蒂尔杰斯级数的唯一性集——在决定混合行为中的作用。
• 研究在高斯测度背景下，超循环性、频繁超循环性与超循环向量集合的哈尔回零性之间的关系。

提出的方法

• 利用弗雷歇空间上高斯测度的结构，其定义形式为 $\xi = \sum g_n x_n $，其中 $g_n$ 为独立的标准复高斯随机变量。
• 应用通过 $\mathbb{T}$-特征向量（单位圆上的特征值）构造的 $T$-不变高斯测度（其线性张成在空间中稠密）。
• 引入“$c_0$-型”特征向量族的概念，以控制范数的衰减，确保定义测度的级数收敛。
• 通过使用探测子空间（例如一维子空间 $\mathbb{R}u$）并结合勒贝格测度论证，证明超循环向量集合的哈尔回零性。
• 借助调和分析结果，特别是傅里叶-史蒂尔杰斯级数的唯一性集理论，刻画混合所需的谱条件。
• 应用伯克霍夫遍历定理与测度论工具，将混合性质与算子 $T$ 下轨道的分布联系起来。

实验结果

研究问题

• RQ1 在具有余类型2的巴拿赫空间上，线性算子在具有全支撑的高斯测度下何时为弱混合或强混合？其谱条件为何？
• RQ2 能否使弱混合与强混合的充分条件达到最优，并且独立于空间或特征向量场的几何假设？
• RQ3 对于混合算子，其超循环向量集合是否必然为哈尔回零？在何种条件下成立？
• RQ4 是否每个具有稠密 $\mathbb{T}$-特征向量的算子都能被证明在高斯意义下是遍历的，尤其是在非余类型2空间中？
• RQ5 在 $c_0(\mathbb{N})$ 或 $\ell^p(\mathbb{N})$ 上，加权移位算子的单模特征值存在性与其混合性质之间存在何种关系？

主要发现

• 在具有余类型2的巴拿赫空间上，一个算子在高斯意义下为弱混合或强混合，当且仅当其单模特征向量张成一个稠密子空间，且相关的谱集为可数集或傅里叶-史蒂尔杰斯级数的唯一性集。
• 本文推导出的弱混合与强混合的充分条件是最优的，且无需对特征向量或空间施加额外的几何或正则性假设。
• 对于任意满足 $\sum_{n=0}^\infty \|T^n(u)\|^{-1} < \infty$ 的 $u \in X$ 的巴拿赫空间上的算子 $T$，其超循环向量集合 $HC(T)$ 为哈尔回零。
• 对于 $\ell^p(\mathbb{N})$ 或 $c_0(\mathbb{N})$ 上的加权后移算子 $B_\mathbf{w}$，若 $\sum_{n=1}^\infty \frac{1}{|w_1 \cdots w_n|^{p/(p+1)}} < \infty$，则 $HC(B_\mathbf{w})$ 为哈尔回零。
• 若 $|\lambda| > 1$，则对于 $X_p$ 或 $X_\infty$ 上的未加权后移算子 $B$，有 $HC(\lambda B)$ 为哈尔回零，表明强混合并不蕴含频繁超循环性。
• 本文未解决的问题包括：是否每个具有稠密 $\mathbb{T}$-特征向量的超循环算子在高斯意义下都是遍历的，以及此类算子是否为频繁超循环。