[论文解读] What does a rate in a mean ergodic theorem imply?

A. M. Gomilko, Yuri Tomilov|arXiv (Cornell University)|Nov 22, 2013

advanced mathematical theories参考文献 15被引用 5

一句话总结

本文为巴拿赫空间上的 $C_0$-半群建立了系统化的逆平均遍历定理（带速率），利用泛函演算与 Stieltjes 函数，刻画了 Cesàro 平均的最优衰减速率。证明了若 $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$，则 $x$ 必须属于 $f(A)$ 的值域，且通过精确示例表明这些条件在对数和幂次衰减速率下是最优的。

ABSTRACT

We develop a general framework for the inverse mean ergodic theorems with rates for operator semigroups thus completing a construction of the theory initiated in [16] and [17].

研究动机与目标

• 开发一个通用、系统化的逆平均遍历定理（带速率）框架，完善先前研究启动的理论。
• 刻画 Cesàro 平均 $\mathrm{C}_t(A)x$ 以给定速率衰减的最优条件，将已知结果扩展至更广的函数类。
• 建立关于 $\|\mathrm{C}_t(A)x\|$ 衰减速率与 $x$ 属于生成元 $A$ 的函数值域之间关系的精确逆定理。
• 通过 $L_1$-空间中的显式反例与构造，证明这些逆结果的最优性。
• 通过引入基于泛函演算的统一方法，克服先前方法的局限性，使其适用于对数与多项式衰减速率。

提出的方法

• 利用扇形算子的泛函演算，将 Cesàro 平均的衰减速率与生成元 $A$ 的谱性质联系起来。
• 采用 Stieltjes 函数 $g$ 与慢变函数 $\epsilon$，通过 $g(1/t)\epsilon(g(1/t))$ 构造显式的衰减速率条件。
• 应用分部积分与渐近分析，推导出 $\|\mathrm{C}_t(A)x\|$ 以给定速率衰减时对 $x$ 的必要条件。
• 利用恒等式 $tA(I+A)^{-1}\mathrm{C}_t(A)x = (I - T(t))(I+A)^{-1}x$，将平均衰减与预解行为及弱极限联系起来。
• 通过 $L_1$-空间构造反例，证明某些衰减速率条件无法在定义域中所有元素上成立，从而证明结果的最优性。
• 应用涉及 $\varphi(t)$ 的积分条件，证明若 $\int_1^\infty \|\mathrm{C}_t(A)x\| / \varphi(t)\,dt < \infty$ 且 $\int_1^\infty dt/(t\varphi(t)) = \infty$，则必有 $x = 0$，从而确立极端衰减速率的界限。

实验结果

研究问题

• RQ1 是否存在最优函数 $f$，使得 $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$ 蕴含 $x \in \mathrm{ran}(f(A))$？
• RQ2 能否在通用泛函演算框架下刻画直接平均遍历定理（带速率）的逆蕴含关系？
• RQ3 对于给定函数 $f$，$\|\mathrm{C}_t(A)x\|$ 的衰减速率应满足何种精确条件，才能保证 $x$ 属于 $f(A)$ 的值域？
• RQ4 慢变函数与 Stieltjes 函数如何相互作用，以产生最优衰减速率刻画？
• RQ5 在何种极限衰减速率之下，不存在非零 $x$ 满足衰减条件？

主要发现

• 若 $\|\mathrm{C}_t(A)x\| = \mathrm{O}(f(t^{-1}))$，其中 $f$ 为满足 $\lim_{t\to 0^+} f(t) = 0$ 的 Bernstein 函数，则 $x \in \mathrm{ran}(f(A))$，且该条件为最优。
• 对于 $g(z) = z^{-\gamma}$ 且 $\gamma \in (0,1)$，存在 $y \in L_1$，使得 $\|\mathrm{C}_t(A)y\| = \mathrm{O}\left(\frac{1}{t^\gamma \log t \log(\log t)}\right)$，但 $y \notin \mathrm{dom}(A^{-\gamma})$，表明值域条件的最优性。
• 对于 $g(z) = \log(1 + z^{-1})$，存在 $y \in L_1$，使得 $\|\mathrm{C}_t(A)y\| = \mathrm{O}\left(\frac{1}{\log t \cdot \log(\log t) \cdot \log(\log(\log t))}\right)$，但 $y \notin \mathrm{dom}(\log(I + A^{-1}))$，证明了逆定理的最优性。
• 若 $\int_1^\infty \frac{\|\mathrm{C}_t(A)x\|}{\varphi(t)}\,dt < \infty$，其中 $\varphi$ 为正的递增函数且 $\int_1^\infty \frac{dt}{t\varphi(t)} = \infty$，则必有 $x = 0$，表明在 $L^1$-积分意义下，不存在非零 $x$ 能比 $1/t$ 更快衰减。
• 存在 $x \in \mathrm{dom}(g(A))$，使得 $\sup_{t \geq 1} g(1/t)\epsilon(g(1/t))\|\mathrm{C}_t(A)x\|_{L_1} = \infty$，证明更强的衰减速率条件无法在整个定义域上一致成立。