[论文解读] Sharp estimates for Brownian non-intersection probabilities

Greg Lawler, Oded Schramm+1 more|ArXiv.org|Jan 30, 2001

Probability and Risk Models被引用 9

一句话总结

本文提供了平面布朗运动非相交概率的尖锐乘法估计的自完备、技术严谨的证明，表明这些概率以 $ e^{-r ilde{\theta}} $ 的形式衰减，至多相差有界乘法常数。关键结果建立了对指数 $ \xi(2,\lambda) $ 的一致控制，从而为交集指数的解析性及布朗路径边界豪斯多夫维数的结果提供了应用支持。

ABSTRACT

This paper gives an accessible (but still technical) self-contained proof to the fact that the intersection probabilities for planar Brownian motion are given in terms of the intersection exponents, up to a bounded multiplicative error, and some closely related results. While most of the results are already known, the proofs are somewhat new, and the paper can serve as a source for the estimates used in our paper on the analyticity of the Brownian intersection exponents (math.PR/0005295).

研究动机与目标

• 提供布朗运动非相交概率的尖锐估计（至多相差常数）的自完备证明，且不依赖于交集指数的先前精确值。
• 为概率 $ a_r(\lambda) = \mathbb{E}[(Z_r)^\lambda] $ 建立一致的乘法界，其中 $ Z_r $ 是布朗路径相对于 $ \mathcal{C}_r $ 的分离概率，且 $ \lambda \in (0, \lambda_0] $。
• 阐明在不同几何设置下，通过布朗运动桥、极值距离和命中测度定义的交集指数之间的等价性。
• 通过提供稳健且一致的估计，为后续工作中映射 $ \lambda \mapsto \xi(k,\lambda) $ 的解析性提供支持。
• 将框架推广至一般 $ l $-元组的布朗运动束，证明 $ b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) $ 的一致估计，并应用于半空间指数和有序路径构型。

提出的方法

• 将 $ Z_r $ 定义为：从 $ \mathcal{C}_0 $ 上均匀开始的布朗运动在到达 $ \mathcal{C}_r $ 之前，避开两个独立布朗路径的并集 $ \mathcal{Y}_r^1 \cup \mathcal{Y}_r^2 $ 的条件概率，利用极值距离和共形不变性。
• 引入 $ a_r(\lambda) = \mathbb{E}[(Z_r)^\lambda] $，表示分离概率的 $ \lambda $ 阶矩，并证明其指数衰减速率由 $ \xi(2,\lambda) $ 控制。
• 对环形区域 $ \mathcal{A}(r, r') $ 进行二元分解，将其划分为大小为 $ 2^{-m} $ 的块，并应用马尔可夫性质和条件期望来控制 $ \mathbb{E}[e^{-\lambda L_t} \mid \mathcal{F}_n] $ 的衰减。
• 建立一个关键引理，对局部时间指数函数的条件期望进行有界，表明大局部时间偏差的概率很小，从而实现对 $ R_{n,m} $ 和 $ R_{n,m}^* $ 的控制。
• 通过常数 $ c_5, c_6 $ 证明 $ R_{n,m} $ 和 $ R_{n,m}^* $ 一致可比较，从而导出对 $ a_r(\lambda) $ 的一致估计。
• 将方法推广至一般 $ l $-元组的布朗路径，其重数为 $ p_j $，定义 $ b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) $，并使用类似的条件期望与块分解技术证明一致估计。

实验结果

研究问题

• RQ1 对于 $ \lambda \in (0, \lambda_0] $，非相交概率 $ a_r(\lambda) $ 的精确乘法控制是什么？它与指数 $ \xi(2,\lambda) $ 的关系如何？
• RQ2 在估计 $ c_1 e^{-r\xi(2,\lambda)} \leq a_r(\lambda) \leq c_2 e^{-r\xi(2,\lambda)} $ 中，能否为所有 $ \lambda \in (0, \lambda_0] $ 建立与 $ \lambda $ 无关的一致常数？
• RQ3 分离概率 $ \mathbb{P}[Z_r > 0] $ 的渐近行为如何？它是否与 $ \xi(2,0) = \lim_{\lambda \to 0^+} \xi(2,\lambda) $ 相关？
• RQ4 用于 $ a_r(\lambda) $ 的方法能否推广至具有重数 $ p_j $ 和权重 $ \lambda_j $ 的 $ l $ 个布朗运动束的一般构型？
• RQ5 指数 $ \xi(\lambda_1, p_1, \dots, \lambda_l, p_l) $ 与环形区域中的共形不变性及极值距离之间有何关系？

主要发现

• 对任意 $ \lambda_0 > 0 $，存在常数 $ 0 < c_1 < c_2 < \infty $，使得对所有 $ \lambda \in (0, \lambda_0] $ 和 $ r \geq 2 $，不等式 $ c_1 e^{-r\xi(2,\lambda)} \leq a_r(\lambda) \leq c_2 e^{-r\xi(2,\lambda)} $ 一致成立。
• 分离概率 $ \mathbb{P}[Z_r > 0] $ 满足 $ c_1 e^{-r\xi(2,0)} \leq \mathbb{P}[Z_r > 0] \leq c_2 e^{-r\xi(2,0)} $，其中 $ \xi(2,0) = \lim_{\lambda \to 0^+} \xi(2,\lambda) $，且该结论可直接由定理 1.1 推出。
• 极限 $ r(\lambda) = \lim_{n \to \infty} e^{n\xi(2,\lambda)} b_n $ 存在，且 $ b_n = r(\lambda) e^{-n\xi(2,\lambda)} (1 + \epsilon_n) $，其中误差项 $ |\epsilon_n| \leq c_1 e^{-n c_2} $ 指数衰减。
• 对 $ a_r(\lambda) $ 的估计具有鲁棒性，并可推广至具有重数 $ p_j $ 和权重 $ \lambda_j $ 的一般 $ l $-元组布朗运动束，得到 $ c_1 e^{-\xi n} \leq b_n(\lambda_1, p_1, \dots, \lambda_l, p_l) \leq c_2 e^{-\xi n} $，其中 $ \xi = \xi(\lambda_1, p_1, \dots, \lambda_l, p_l) $。
• 指数 $ \xi(2,\lambda) $ 明确给出为 $ \xi(2,\lambda) = \frac{\lambda}{2} + \frac{11}{24} + \frac{5}{24}\sqrt{24\lambda + 1} $，尽管本文未证明该精确值，仅给出渐近估计。
• 该方法依赖于环形区域的二元分解以及通过局部时间控制条件期望，表明大局部时间偏差的概率很小，从而实现对 $ R_{n,m} $ 与 $ R_{n,m}^* $ 的一致比较。