[论文解读] Chernoff's Theorem and Discrete Time Approximations of Brownian Motion on Manifolds

O. G. Smolyanov, H. von Weizsaecker+1 more|ArXiv.org|Sep 9, 2004

advanced mathematical theories参考文献 9被引用 4

一句话总结

该论文建立了在嵌入于更大流形 $M$ 中的黎曼子流形 $L$ 上，布朗运动离散时间近似版本的收敛性结果，采用切尔诺夫定理与路径空间条件化方法。证明了在离散时间点上保持在 $L$ 上的 $M$-布朗运动的条件分布弱收敛于 $L$-值路径上的测度，其相对于 $L$-布朗运动的Radon-Nikodym密度显式地涉及 $L$ 的标量曲率、平均曲率和截面曲率。

ABSTRACT

Let (S(t)) be a one-parameter family S = (S(t)) of positive integral operators on a locally compact space L. For a possibly non-uniform partition of [0,1] define a measure on the path space C([0,1],L) by using a) S(dt) for the transition between cosecutive partition times of distance dt, and b) a suitable continuous interpolation scheme (e.g. Brownian bridges or geodesics). If necessary normalize to get a probability measure. We prove a version of Chernoff's theorem of semigroup theory and tighness results which together yield convergence in law of such measures as the partition gets finer. In particular let L be a closed smooth submanifold of a Riemannian manifold M. We prove convergence of Brownian motion on M, conditioned to visit L at all partition times, to a process on L whose law has a Radon-Nikodym density with repect to Brownian motion on L which contains scalar, mean and sectional curvature terms. Various approximation schemes for Brownian motion are also given. These results substantially extend earlier work by the authors and by Andersson and Driver.

研究动机与目标

• 将切尔诺夫定理推广至流形上的非均匀划分与正积分算子。
• 通过条件化与插值方法，建立子流形上布朗运动离散时间近似的弱收敛性。
• 推导出极限测度相对于子流形上维纳测度的Radon-Nikodym密度的显式表达式。
• 通过热核渐近分析，将极限测度与几何不变量（如标量曲率、平均曲率和截面曲率）联系起来。
• 为使用有限维核近似黎曼流形上的曲面测度与条件过程，提供一个严格的框架。

提出的方法

• 使用局部紧空间上非均匀划分与正积分算子的切尔诺夫定理推广版本。
• 通过迭代应用算子 $S(t)$ 构造路径空间上的有限测度，随后使用测地线或布朗桥进行连续插值。
• 依赖大偏差估计与半群理论，在 $C_L[0,1]$ 或 $D_L[0,1]$ 上利用紧性结果实现依分布收敛。
• 利用维克公式与高斯积分的渐近分析，计算伪高斯核的短时间行为。
• 通过局部坐标系中归一化常数的泰勒展开，推导出曲率依赖的归一化系数。
• 将 $M$ 上的热核限制到 $L$ 作为核 $q(t,x,y)$，并通过极限曲面测度程序计算条件分布。

实验结果

研究问题

• RQ1 在何种条件下，流形上一族正积分算子通过离散时间迭代与路径插值可生成Feller过程？
• RQ2 当划分趋于精细时，大流形 $M$ 上的布朗运动在离散时间点上被限制于子流形 $L$ 的条件分布如何收敛？
• RQ3 极限测度在 $L$-值路径上的Radon-Nikodym密度相对于 $L$ 上标准布朗运动的显式表达式是什么？
• RQ4 当核 $q(t,x,y)$ 为 $M$ 上热核在 $L$ 上的限制时，$L$ 的标量曲率、平均曲率与截面曲率如何影响极限测度的密度？
• RQ5 是否可在不需对初始核进行归一化的情况下建立条件测度的收敛性？全局归一化如何影响极限？

主要发现

• 通过迭代应用正积分算子 $S(t)$ 并使用测地线插值构造的子流形 $L$ 上布朗运动的离散时间近似，当划分模趋于零时，在 $C_L[0,1]$ 上依分布收敛于某测度。
• 极限测度与 $L$-值布朗运动的分布等价，其Radon-Nikodym密度为 $\exp\left(\int_0^1 D(\omega(s))\,ds\right)$，其中 $D$ 是结合了 $L$ 的标量曲率、平均曲率与截面曲率的函数。
• 当核 $q(t,x,y)$ 为 $M$ 上热核在 $L$ 上的限制时，$M$-布朗运动在划分时间点被钉住于 $L$ 的条件分布弱收敛于 $L$ 上具有曲率依赖密度的测度。
• 该收敛性在全局归一化（构造后重新归一化测度）与局部归一化（每次核单独归一化）下均成立，且后种情况下极限分布相同。
• 该方法可显式计算密度关于曲率不变量的表达式，为由环境流形中布朗运动诱导的曲面测度结果提供一种新证明。
• 通过大偏差估计与归一化连续性，建立了近似测度的紧性，从而确保在路径空间上的弱收敛。