[论文解读] Ergodicity results for the open KPZ equation

Shalin Parekh|arXiv (Cornell University)|Dec 16, 2022

Stochastic processes and financial applications被引用 4

一句话总结

本文通过两种新颖的证明方法——支持定理与聚合物耦合论证——建立了区间 [0,1] 上具有任意非齐次 Neumann 边界条件的开放 KPZ 方程的不变测度的存在性与唯一性。此外，利用强 Feller 性质与扩展至 Hölder 空间模常数的紧致状态空间构造，证明了总变差距离下的指数遍历性。

ABSTRACT

We give a new proof of existence as well as two proofs of uniqueness of the invariant measure of the open-boundary KPZ equation on [0,1], for all possible choices of inhomogeneous Neumann boundary data. Both proofs yield an exponential convergence result in total variation when combined with the strong Feller property which was recently established in [Knizel-Matetski, arXiv:2211.04466]. An important ingredient in both proofs is the construction of a compact state space for the Markov operator to act on, which measurably contains all of the usual Hölder spaces modulo constants. Along the way, the strong Feller property is extended to this larger class of initial conditions. The arguments do not rely on exact descriptions of the invariant measures, and some of the results generalize to the case of a spatially colored noise and other boundary conditions.

研究动机与目标

• 为具有任意非齐次 Neumann 边界数据的开放 KPZ 方程提供不变测度存在的新证明。
• 在不依赖于不变律显式描述的前提下，建立不变测度的唯一性，从而解决一个长期存在的猜想。
• 证明在总变差距离下向不变测度的指数收敛，从而对所有边界参数建立几何遍历性。
• 将强 Feller 性质扩展至更广类别的初始条件，包括模常数的 Hölder 空间。
• 将结果推广至空间色噪声及其他边界条件，扩大其在白噪声之外的应用范围。

提出的方法

• 构造一个紧致状态空间 $\mathcal{X}$，其等距同构于 [0,1] 上 Borel 概率测度空间（以 Prohorov 距离为度量），且包含所有模常数的 Hölder 空间。
• 利用 Hopf-Cole 变换将 KPZ 方程转化为具有 Robin 边界条件的随机热方程，通过温和解形式保证适定性。
• 在支持理论证明中应用 Feynman-Kac 公式与 Cameron-Martin 定理，分析转移核并建立初始条件差异的弱收敛性。
• 基于随机热方程传播子的卷积性质，采用基于聚合物的耦合论证，实现“一力一解”原理。
• 利用近期在 [KM22] 中建立的 $\mathcal{X}$ 上的强 Feller 性质，确保转移概率的正则性并支持收敛性论证。
• 使用离散时间马尔可夫半群简化分析，并证明算子范数 $\|\mathfrak{P}_*^N\|_{\text{op}} \to 0$ 随 $N \to \infty$ 指数衰减，从而蕴含几何遍历性。

实验结果

研究问题

• RQ1 是否可以在不依赖于不变律显式描述的前提下，证明开放 KPZ 方程在任意边界数据下的不变测度存在性与唯一性？
• RQ2 与开放 KPZ 方程相关的马尔可夫过程是否对所有边界参数 $A, B \in \mathbb{R}$ 均表现出总变差距离下的指数混合？
• RQ3 强 Feller 性质是否可扩展至更广类别的初始条件，包括模常数的 Hölder 连续函数？
• RQ4 对所有初始数据，收敛到不变测度是否一致？能否通过谱间隙进行量化？
• RQ5 结果是否可推广至空间色噪声及其他边界条件（如 Neumann 之外）？

主要发现

• 本文建立了在 [0,1] 上具有任意非齐次 Neumann 边界条件的开放 KPZ 方程的不变测度存在性，且不依赖于通过 ASEP 极限构造的先前方法。
• 在不需显式了解不变律的前提下，对所有 $A, B \in \mathbb{R}$ 证明了不变测度的唯一性，解决了 [Cor22, CK20] 中提出的猜想。
• 建立了向不变测度的总变差距离下指数收敛，满足 $\|\mathfrak{P}_*^N \delta_\phi - \mathfrak{P}_*^N \delta_\psi\|_{TV} \leq Ce^{-cN}$ 对所有 $\phi, \psi \in \mathcal{X}$ 成立，暗示存在谱间隙。
• 强 Feller 性质被扩展至紧致状态空间 $\mathcal{X}$，该空间包含所有模常数的 Hölder 空间，从而确保转移核的正则性。
• 结果推广至空间色噪声情形，如推论 2.5 所示，表明其在白噪声之外亦具鲁棒性。
• 作为 $\mathcal{X}_0$ 在由 Prohorov 距离导出的度量下的完备化构造的紧致状态空间 $\mathcal{X}$，其等距同构于 [0,1] 上的 Borel 概率测度空间，确保了紧致性，并促进了遍历性证明。