[论文解读] Configurations of balls in Euclidean space that Brownian motion cannot avoid

Tom Carroll, Joaquim Ortega‐Cerdà|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|Jan 26, 2006

Point processes and geometric inequalities参考文献 1被引用 13

一句话总结

本文研究在 d 维欧几里得空间中，布朗运动在何种条件下可避开无限多个互不重叠的球体，建立了运动以正概率逃逸至无穷远而不击中任何球体的几何条件。关键结果是通过涉及半径与距离的级数收敛性，对可避开配置进行了表征；此外，结果表明，即使几何上可无限远视，若该级数发散，调和测度仍可能阻止逃逸。

ABSTRACT

We consider a collection of balls in Euclidean space and the problem of determining if Brownian motion has a positive probability of avoiding all the balls

研究动机与目标

• 确定在 R^d（d ≥ 3）中，布朗运动具有正概率无限期避开无限多个互不重叠球体的几何条件。
• 利用调和测度与位势理论，表征球体配置的可避开性。
• 解决配置是否可在 ∑(r_n/|c_n|)^{d-1} 有限（即几何上可无限远视）但存在调和障碍时仍可避开的问题。
• 研究两个可避开集合的并集是否仍可避开，特别是当其补集连通时。
• 构造显式可避开配置实例，其中临界级数发散，从而证明收敛条件的紧致性。

提出的方法

• 使用 R^d（d ≥ 3）中的调和测度理论，其中球面 S(c,r) 相对于 R^d \ B(c,r) 在 0 处的调和测度为 (r/|c|)^{d-2}。
• 应用最大值原理与次调和函数技术，对移除多个球体后的区域中的调和测度进行上界估计。
• 引入分离条件 (S)：当 n ≠ m 时，|c_n - c_m| ≥ 2ε，以防止密集聚集扭曲级数的相关性。
• 通过环形区域与柱壳的比较论证，估算多个球体对调和测度的贡献。
• 通过将球体置于半径为 m 的球面上，并令半径 ρ_m 满足 ρ_m^{d-2} = 1/m^2，构造显式配置以检验级数的发散性。
• 采用构造性证明，利用无界且递增的函数 f，构造一列球体，使得 r_n^{d-2}|c_n|^2 ≤ f(|c_n|) 且 ∑(r_n/|c_n|)^{d-2} = ∞，但配置仍可避开。

实验结果

研究问题

• RQ1 在 R^d（d ≥ 3）中，非重叠球体的中心与半径满足何种几何条件时，布朗运动具有正概率无限期避开所有球体？
• RQ2 当 ∑(r_n/|c_n|)^{d-1} 有限时，球体配置是否仍可避开？这表示几何上可无限远视，但可能存在调和障碍。
• RQ3 在分离与半径约束下，∑(r_n/|c_n|)^{d-2} < ∞ 是否为可避开性的必要且充分条件？
• RQ4 不可避开的配置能否分解为两个不相交的可避开集合？
• RQ5 是否存在可避开配置，使得 ∑(r_n/|c_n|)^{d-2} 发散，即使满足 r_n^{d-2}|c_n|^2 ≤ f(|c_n|) 对任意无界函数 f 成立？

主要发现

• 若 ∑(r_n/|c_n|)^{d-2} < ∞，则球体集合可避开，如命题 1 所示。
• 在分离条件 (S) 与半径约束 r_n^{d-2}|c_n|^2 ≤ M 下，∑(r_n/|c_n|)^{d-2} < ∞ 是可避开性的必要条件，如定理 1 所确立。
• 对于规则分布的球体（均匀密集，径向对称半径），可避开性当且仅当 ∫^∞ r φ(r)^{d-2} dr < ∞，其中 φ(r) 为半径函数，如定理 2 所述。
• 存在满足分离条件且可避开的配置，使得 ∑(r_n/|c_n|)^{d-2} = ∞，即使 r_n^{d-2}|c_n|^2 ≤ f(|c_n|) 对任意无界递增函数 f 成立，如定理 3 所证明。
• 若 R^d \ (A ∪ B) 连通，则两个可避开集合 A 与 B 的并集仍可避开，该结论通过调和函数论证，利用调和测度的上水平集得出。
• 定理 3 的构造确保了在 0 处的完整边界调和测度严格小于 1，即使临界级数发散，从而确认了可避开性。