[論文レビュー] 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$ に対して、ブラウン運動の停止時間の $p$-次のモーメントとラプラシアンの第一ノイマン固有値の $p$-乗の積に関する普遍的な上界および下界を確立する。整数 $p$ に対して下界が鋭く、$p \geq 1$ に対して $d \to \infty$ のとき上界が漸近的に鋭くなることを証明し、対称な凸領域のクラスにおいて極値領域が存在することを示し、立方体が極値であると予想する。

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.

研究の動機と目的

• 領域 $D \subset \mathbb{R}^d$、$d \geq 2$ に対して、ブラウン運動の停止時間の $p$-次のモーメントとラプラシアンの第一ノイマン固有値の $p$-乗の積に関する普遍的な上界および下界を導出すること。
• 整数 $p$ に対して下界が鋭いかどうか、および $p \geq 1$ に対して $d \to \infty$ のとき上界が漸近的に鋭いかどうかを確立すること。
• $G_{p,d}(D) = \lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ の関数に対して、対称な凸領域のクラス内に極値領域が存在することを証明すること。
• この関数に対して、立方体が対称な凸領域の中で極値領域であると予想し、長方形、三角形、楕円からの支援的証拠を提示すること。
• 確率的停止時間関数とスペクトル理論との間の関係を、特にねじれ関数とレイリー商の技法を通じて探求すること。

提案手法

• 複数の積分に対する対称化技術を用いて、領域間の停止時間分布を比較し、特に $\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$ を応用し、停止時間の尾部挙動と第一ノイマン固有値を結びつけること。
• $p$-ねじれモーメント関数 $u_p(x) = \frac{1}{2^p \Gamma(p+1)} \mathbb{E}_x[\tau_D^p]$ の定義により、停止時間のモーメントと楕円型偏微分方程式の解を関連付けること。
• 第一固有値の推定に、レイリー商 $\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 すべての $p \geq 1$ に対して、$d \to \infty$ のとき、$\lambda_1^p(D) \sup_{x \in D} \mathbb{E}_x[\tau_D^p]$ の上界は漸近的に鋭いか？
• 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$ である。
• 任意の凸領域 $D \subset \mathbb{R}^2$ に対して内接円の半径を $R_D$ とすると、停止時間は $\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}$ であり、等号は正三角形のときのみ成立する。