Regularization and Asymptotic Behaviour of Ornstein-Uhlenbeck Evolution Operators in Infinite Dimension

技术摘要：无穷维 Ornstein-Uhlenbeck 演化算子的正则化与渐近行为

问题陈述
本文研究了作用于希尔伯特空间 $X$ 中函数的 Ornstein-Uhlenbeck (OU) 演化算子的性质。具体而言，研究重点在于非自治、无穷维的情境，其中相关后向 Kolmogorov 方程的系数是随时间变化的。主要目标有两个：

1. 建立这些算子在关于合适的演化测度作用于 $L^p$ 空间时的广义正则化性质。
2. 分析时间周期情况下的算子渐近行为，特别是确定其相对于时间向均值收敛的最优收敛速率，并提供一个仅基于漂移项（drift term）的最优性判据。

虽然无穷维自治 OU 算子的理论已经非常成熟，但非自治情况下的理论仍不够完整。以往的工作已经处理了有限维非自治方程以及特定的泛函不等式（例如强 Feller 性质、超收缩性），但在 $L^p$ 背景下对渐近衰减速率及其最优性的全面分析仍然缺乏。

研究方法
分析围绕着由一系列线性算子 $\{A(t)\}$ 和有界族 $\{B(t)\}$ 构成的演化算子 $\{U(t, s)\}$ 展开。OU 演化算子 $P_{s,t}$ 通过一个均值为 $U(t, s)x$ 且协方差为 $Q(t, s)$ 的高斯测度来定义。

该方法论通过以下几个关键阶段进行：

• 演化测度系统： 作者引入了一族中心高斯测度 $\mu_t = N(0, Q(t, -\infty))$，称为“演化测度系统”。这些测度推广了非自治背景下的不变测度概念，满足不变性性质 $\int P_{s,t}\phi \, d\mu_s = \int \phi \, d\mu_t$。
• 向 $L^p$ 空间的扩展： 算子 $P_{s,t}$ 最初定义在有界连续函数 $C_b(X)$ 上，随后被扩展到 $L^p(X, \mu_t)$。这种扩展依赖于不变性和算子的收缩性质。
• 通过 Sobolev 空间实现正则化： 一个核心技术组成部分是证明 $P_{s,t}$ 将 $L^p$ 函数映射到一阶 Sobolev 空间 $W^{1,p}(X, \mu_s)$。这需要处理标量和向量值函数。作者通过循环函数（cylindrical functions）定义了向量值 Sobolev 空间，并利用梯度算子在 Hilbert-Schmidt 范数下的闭包。正则化的证明利用了 Cameron-Martin 定理和“控制性条件”（假设 8），该条件确保了演化算子的像包含在协方差算子的平方根的像之内。
• 周期情况下的谱分析： 假设系数 $A(\cdot)$ 和 $B(\cdot)$ 是 $T$-周期的，作者利用紧算子的谱理论进行分析。他们分析了限制在零均值函数子空间上的算子 $P_{0,T}$。$P_{0,T}$ 的紧性（由正则化结果得出）使得利用谱半径公式来估计收敛速率成为可能。
• 联系谱性质： 一个关键步骤是将 OU 算子 $P_{0,T}$ 的谱与伴随演化算子 $U(T, 0)^*$ 的谱联系起来。作者证明了对于线性特征函数， $U(T, 0)^*$ 的特征值对应于 $P_{0,T}$ 的特征值。

核心贡献与结果

1. 正则化与紧性： 本文证明了对于 $p > 1$，扩展后的 OU 算子 $P_{s,t}: L^p(X, \mu_t) \to L^p(X, \mu_s)$ 是一个紧算子。其像包含在 Sobolev 空间 $W^{1,p}(X, \mu_s)$ 中，且其梯度满足一个涉及算子 $\Lambda(t, s) = Q(t, s)^{-1/2}U(t, s)$ 的特定估计。这种紧性对于随后的谱分析至关重要。

2. 指数收敛速率： 在时间周期情况下，本文确立了 $P_{s,t}f$ 向其均值 $\int f d\mu_t$ 的指数收敛性。具体而言，对于任何严格大于演化算子 $U(t, s)$ 衰减率 $\omega_0$ 的 $\omega$（其中 $\|U(t, s)\| \leq Me^{\omega_0(t-s)}$），存在常数 $C_{T,\omega}$ 使得：
   $$\| P_{s,t}f - \int_X f d\mu_t \|_{L^p(X, \mu_s)} \leq C_{T,\omega} e^{\omega(t-s)} \|f\|_{L^p(X, \mu_t)}$$
   限制在零均值函数上的 $P_{0,T}$ 的谱半径被证明不超过 $e^{\omega_0 T}$。

3. 最优性判据： 本文提供了一个使收敛速率为“最优”的充分条件，即该速率不能改进到超过 $e^{\omega_0(t-s)}$。该条件是：$U(T, 0)^*$ 所有模长为 $e^{\omega_0 T}$ 的特征值必须是半单的（semisimple）。如果该条件成立，则上述估计在 $\omega = \omega_0$ 时成立。

   • 至关重要的是，作者指出这一最优性判据仅取决于漂移项 $A(\cdot)$（通过 $U(T, 0)^*$），而不取决于扩散项 $B(\cdot)$。

4. 具体实例： 第 5 节在 $X = L^2(\Omega)$ 中构建了一个具体的例子，其中 $A(t)$ 是一个时间周期的椭圆微分算子，而 $B(t)$ 是 $A(t)^{-1}$ 的分数幂。作者验证了该系统满足所有假设，包括控制性条件和测度的非退化性。此外，他们证明了对于这个特定的例子，$U(T, 0)^*$ 中模长最大的特征值是唯一且半单的，从而证实了所得出的收敛速率对于此类算子确实是最优的。

意义
本文声称推进了无穷维非自治演化理论，其理由如下：

• 为关于演化测度系统的 OU 算子的 $L^p$ 正则化提供了严谨的框架。
• 在底层确定性演化算子 $U(t, s)$ 的谱性质与随机 OU 算子 $P_{s,t}$ 的渐近衰减之间建立了直接联系。
• 提供了一个可验证的判据（漂移算子的最大特征值的半单性）来确定收敛速率的锐度。
• 证明了最优收敛速度完全由生成器的阶数为一的系数（漂移项）决定，这一结果简化了复杂随机系统的分析。

这项工作弥补了成熟的自治情况与更复杂的非自治情况之间的鸿沟，为分析无穷维随机微分方程解的长期行为提供了工具。