[论文解读] Expected exit times of Brownian motion from planar domains: Complements to a paper of Markowsky

Mark W. Coffey|arXiv (Cornell University)|Mar 22, 2012

Mathematical Dynamics and Fractals参考文献 18被引用 3

一句话总结

本文通过共形映射和位势理论，扩展了 Markowsky 关于布朗运动在平面区域中期望吸收时间的研究。针对楔形区域、半圆盘、n边形及其他对称区域，提供了精确的解析解，推导出包含广义超几何函数以及 Appell F1 函数、 polylogarithm 等特殊函数的闭式表达式。

ABSTRACT

We supplement a very recent paper of G. Markowsky concerned with the expected exit times of Brownian motion from planar domains. Besides the use of conformal mapping, we apply results from potential theory. We treat the case of a wedge-shaped region exactly, subsuming an example of Markowsky. A number of other results are presented, including for a half disc, $n$-grams, and a variety of other regions.

研究动机与目标

• 扩展 Markowsky 最近关于单连通平面区域中布朗运动期望吸收时间的研究结果。
• 利用共形映射和位势理论，为对称及多边形区域中的期望吸收时间提供精确解析解。
• 推导楔形区域、半圆盘和正 n 边形中期望吸收时间的闭式表达式。
• 应用位势理论和格林函数方法求解具有狄利克雷边界条件的泊松方程。
• 探讨概率吸收时间与广义超几何函数、Appell F1 函数等特殊函数之间的联系。

提出的方法

• 利用共形映射技术将目标区域变换为单位圆盘，从而可应用已知的布朗运动吸收时间结果。
• 应用由鞅的可选停时定理导出的公式 $ E_{f(0)}[\tau(f(D))] = \frac{1}{2} \sum_{n=1}^{\infty} |a_n|^2 $，以计算期望吸收时间。
• 使用格林函数 $ G(x,y) $ 求解区域内的泊松方程 $ \nabla^2 u = -2 $，其中 $ E_x[\tau] = \int_R G(x,y) dy $，并施加狄利克雷边界条件。
• 采用特殊函数，如广义超几何函数 $ {}_4F_3 $、Appell F1 函数和 polylogarithm $ \text{Li}_2 $，以闭式表达解。
• 利用正交性和傅里叶级数技术，推导对数函数与格林函数积分的积分表示和级数展开。
• 利用引理 3 和命题 6 计算含对数项的角向积分，得到以 polylogarithm 和三角级数表示的表达式。

实验结果

研究问题

• RQ1 布朗运动从角度为 $ \pi/m $ 的楔形区域原点出发的精确期望吸收时间是多少？
• RQ2 如何利用位势理论和共形映射精确计算半圆盘的期望吸收时间？
• RQ3 使用广义超几何函数，正 m 边形中的期望吸收时间是否存在闭式表达式？
• RQ4 对称多边形区域（如等边三角形、矩形）的解如何与具有狄利克雷边界条件的拉普拉斯算子特征函数相关联？
• RQ5 格林函数方法能否系统地应用于非对称或不规则平面区域，以推导期望吸收时间？

主要发现

• 精确推导出角度为 $ \pi/m $ 的楔形区域中布朗运动的期望吸收时间，涵盖 Markowsky 的示例，并通过共形映射实现推广。
• 对于半径为 $ r_0 $ 的半圆盘，从中心出发的期望吸收时间为 $ \frac{1}{2}(r_0^2 - r^2) $，通过格林函数积分恢复已知结果。
• 正 m 边形 $ U_m $ 的期望吸收时间为 $ E_0[\tau(U_m)] = \frac{m^2}{2B^2(1/m, 1-2/m)} \cdot {}_4F_3\left(\frac{1}{m}, \frac{1}{m}, \frac{2}{m}, \frac{2}{m}; 1+\frac{1}{m}, 1+\frac{1}{m}, 1; 1\right) $，其中涉及 Beta 函数和广义超几何函数。
• 推导出一个涉及 polylogarithm 的新积分恒等式：$ \int_0^\pi \ln(r^2 + \rho^2 - 2r\rho\cos(\theta \mp \phi)) d\phi = 2\pi \ln r \pm i[\cdots] $，以 $ \text{Li}_2 $ 函数表示。
• 通过格林函数积分，恢复了圆盘上泊松方程 $ \nabla^2 u = -2 $ 的精确解，得到 $ u(r) = \frac{1}{2}(r_0^2 - r^2) $，与已知结果一致。
• 本文提出一种系统方法，利用傅里叶展开和 Pochhammer 符号恒等式，评估含对数项的角向积分，从而实现特殊函数表达式的推导。