[论文解读] Bounds for exit times of Brownian motion and the first Dirichlet eigenvalue for the Laplacian

Rodrigo Bañuelos, Phanuel Mariano+1 more|arXiv (Cornell University)|Mar 15, 2020

Advanced Mathematical Modeling in Engineering参考文献 69被引用 6

一句话总结

本文建立了在 $\mathbb{R}^d$ 中 $d \geq 2$ 的区域上，布朗运动首次 hitting 时间的 $p$-阶矩与拉普拉斯算子第一狄利克雷特征值的 $p$-次幂乘积的通用上下界。证明了当 $p$ 为整数时，下界是精确的，且当 $d \to \infty$ 时，上界在 $p \geq 1$ 的情况下渐近精确，同时在对称凸区域类中证明了极值区域的存在性，并提出猜想认为立方体是极值区域。

ABSTRACT

For domains in $\mathbb{R}^d$, $d\geq 2$, we prove universal upper and lower bounds on the product of the bottom of the spectrum for the Laplacian to the power $p>0$ and the supremum over all starting points of the $p$-moments of the exit time of Brownian motion. It is shown that the lower bound is sharp for integer values of $p$ and that for $p \geq 1$, the upper bound is asymptotically sharp as $d o\infty$. For all $p>0$, we prove the existence of an extremal domain among the class of domains that are convex and symmetric with respect to all coordinate axes. For this class of domains we conjecture that the cube is extremal.

研究动机与目标

• 推导出在 $\mathbb{R}^d$ 中 $d \geq 2$ 的所有区域上，布朗运动首次 hitting 时间的 $p$-阶矩与拉普拉斯算子第一狄利克雷特征值的 $p$-次幂乘积的通用上下界。
• 证明当 $p$ 为整数时，下界是精确的，且当 $d \to \infty$ 时，上界对 $p \geq 1$ 渐近精确。
• 证明在对称凸区域类中，泛函 $G_{p,d}(D) = \lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 存在极值区域。
• 提出猜想认为立方体是该泛函在对称凸区域中的极值区域，并通过矩形、三角形和椭圆的证据提供支持。
• 探讨概率性首次 hitting 时间泛函与谱理论之间的联系，特别是通过 torsion 函数和 Rayleigh 商技术。

提出的方法

• 使用多重积分的对称化技术比较不同区域的首次 hitting 时间分布，特别是将 $\sup_x \mathbb{P}_x(\tau_D > t)$ 与球体 $D^*$ 关联。
• 应用经典结果 $\lim_{t \to \infty} \frac{1}{t} \log \mathbb{P}_x(\tau_D > t) = -\lambda_1(D)/2$，将首次 hitting 时间尾部行为与第一狄利克雷特征值联系起来。
• 定义 $p$-阶 torsion 矩函数 $u_p(x) = \frac{1}{2^p \Gamma(p+1)} \mathbb{E}_x[\tau_D^p]$，将首次 hitting 时间的矩与椭圆型偏微分方程的解联系起来。
• 采用 Rayleigh 商 $\lambda_1(D) = \inf_{\phi \in H_0^1(D) \setminus \{0\}} \frac{\int_D |\nabla \phi|^2 dx}{\int_D \phi^2 dx}$ 来估计第一特征值。
• 使用共形移植和涉及贝塞尔函数的测试函数（例如 $\varphi(x,y) = J_0(j_0 \sqrt{x^2/a^2 + y^2/b^2})$）推导椭圆区域的界。
• 通过包含关系（例如 $E_{a,b} \subset (-a,a) \times (-b,b)$）的包含论证，证明区域单调性与比较不等式，以建立 $\lambda_1$ 的下界。

实验结果

研究问题

• RQ1 对于所有区域 $D \subset \mathbb{R}^d$，$d \geq 2$，以及所有 $p > 0$，$\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 的通用上下界是什么？
• RQ2 当 $p$ 为整数时，$\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 的下界是否精确？
• RQ3 当 $d \to \infty$ 时，$\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 的上界是否对 $p \geq 1$ 渐近精确？
• RQ4 在对称凸区域类中，是否存在一个极值区域，使得 $\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 取得最大值？
• RQ5 如论文中所猜想，立方体是否为该泛函在对称凸区域中的极值区域？

主要发现

• 当 $p$ 为正整数时，$\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 的下界是精确的。
• 当 $p \geq 1$ 时，上界在 $d \to \infty$ 时渐近精确，主导项 $\frac{d}{4}$ 与文献中上界的渐近行为一致。
• 在对称凸区域类中，泛函 $G_{p,d}(D) = \lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ 存在极值区域。
• 对于 $\mathbb{R}^2$ 中的椭圆，猜想成立且不等式更强：$\frac{\pi^2}{4} \leq \lambda_1(E_{a,b}) \mathbb{E}_{(0,0)}[\tau_{E_{a,b}}] \leq \frac{j_0^2}{2}$，右边等号仅在单位圆时成立。
• 对于 $\mathbb{R}^2$ 中的三角形，猜想 $\lambda_1(T) \sup_x \mathbb{E}_x[\tau_T] \leq \lambda_1(\mathbb{T}) \sup_x \mathbb{E}_x[\tau_\mathbb{T}]$ 成立，且仅当 $\mathbb{T}$ 为正三角形时取等，其值约为 $2.9243$。
• 对于任意 $\mathbb{R}^2$ 中的凸区域 $D$，其内切圆半径为 $R_D$，首次 hitting 时间满足 $\frac{1}{2} R_D^2 \leq \sup_x \mathbb{E}_x[\tau_D] \leq R_D^2$，且 $\lambda_1(T) R_T^2 \leq \frac{4\pi^2}{9}$，等号仅在正三角形时成立。