[論文レビュー] Some Estimates for Planar Random Walk and Brownian Motion

Christian Beneš|ArXiv.org|Nov 6, 2006

Stochastic processes and statistical mechanics参考文献 5被引用数 8

ひとこと要約

本稿は、2次元の単純な無作為歩行および平面的ブラウン運動について、大偏差、カップリング技法、および有界領域における離散的ディリクレ問題の解に焦点を当てた包括的な推定値の収集を提供する。主な貢献は、長方形における抜き出し確率および調和関数の鋭い境界であり、スペクトル分解および固有関数の漸近的解析を用いて、$ f(1,y) \leq K y/n^2 $ や $ f(n,y) \leq K y/n $ といった明示的な減衰率が導出されている。

ABSTRACT

The purpose of this note is to collect in one place a few results about simple random walk and Brownian motion which are often useful. These include standard results such as Beurling estimates, large deviation estimates, and a method for coupling the two processes, as well as solutions to the discrete Dirichlet problem in various domains which, to the author's knowledge, have not been published anywhere. The main focus is on the two-dimensional processes.

研究の動機と目的

• 確率過程の研究で頻繁に用いられる平面的ブラウン運動および単純な無作為歩行に関する基本的な推定値を体系的にまとめ、統合すること。
• 特に、期待される $ \sqrt{n} $ スケーリングから著しく逸脱する過程について、抜き出し確率および大偏差の厳密な境界を提供すること。
• 有限および無限の長方形領域における離散的ディリクレ問題を解き、固有関数展開による明示的な調和関数の表現を提供すること。
• 内部点における調和関数の定量的減衰推定値を確立すること、たとえば $ f(1,y) \leq K y/n^2 $ であり、これは新規であり、以前に発表されたものではない。

提案手法

• 長方形領域における離散ラプラシアンのスペクトル分解を用いて、ディリクレ問題の正確な解を導出する。
• 固有関数展開を適用し、$ \sin(\pi j y / n) $ および指数的減衰項 $ \exp(-a_j x) $ を含める。ここで $ a_j $ は $ \cosh(a_j) = 2 - \cos(\pi j / n) $ を満たす。
• $ a_j $ の漸近的解析を用い、$ j/(2n) \leq a_j \leq \pi j/(2n) $ を示し、調和関数の減衰を制御する。
• リーマン和近似を用いて $ b_j(\phi) $ の境界を導出し、$ \phi \equiv 1 $ の場合に $ b_j \leq C/j $ を得る。
• 強マルコフ性および反射原理を用いて、最大過程の両側の境界を導出し、たとえば $ \mathbb{P}(\sup_{s\leq n}|X(s)| \geq a) \leq 2\mathbb{P}(|X(n)| \geq a) $ となる。
• 回転させた格子上での独立な1次元の無作為歩行を用いて、無作為歩行とブラウン運動の間のカップリング手法を構築し、経路行動の比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 平面的ブラウン運動および単純な無作為歩行について、特に典型的な $ \sqrt{n} $ スケーリングから著しく逸脱する経路に対して、鋭い大偏差推定値は何か？
• RQ2 $ \mathbb{Z}^2 $ における有限および無限の長方形領域において、離散的ディリクレ問題を明示的に解く方法は何か？また、内部点における調和関数の減衰特性は何か？
• RQ3 時間 $ n $ において、$ r \ll \sqrt{n} $ の半径の円板から抜き出す、または $ \gg \sqrt{n} $ の距離に到達する確率の正確な境界は何か？
• RQ4 平面的単純無作為歩行とブラウン運動の間で、重要な確率的性質を保持し、経路行動の比較を可能にするカップリングを構築できるか？
• RQ5 境界条件が定数のとき、特に点 $ (1,y) $ および $ (n,y) $ における長方形領域における調和関数の定量的減衰率は何か？

主な発見

• 平面的ブラウン運動について、$ \mathbb{E}[|B(n)|^2] = 2n $ であり、単純な無作為歩行について、$ \mathbb{E}[|S(n)|^2] = n $ である。これは、変位の期待される $ \sqrt{n} $ スケーリングを確認する。
• 最大過程について、$ \mathbb{P}(\sup_{s\leq n}|X(s)| \geq a) \leq 2\mathbb{P}(|X(n)| \geq a) $ が成り立ち、両過程に対してタイトな境界を提供する。
• 境界条件 $ \phi \equiv 1 $ を持つ有限長方形 $ R([an],n) $ におけるディリクレ問題の解について、ある定数 $ K $ が $ a $ に依存して、$ f(1,y) \leq K y/n^2 $ を満たす。
• 無限長方形 $ \mathcal{R}(n) $ において、境界条件 $ \phi \equiv 1 $ のディリクレ問題の解について、$ f(n,y) \leq K y/n $ が成り立ち、$ K $ は $ n $ に依存しない。
• 固有関数展開における係数 $ b_j(\phi) $ は $ b_j \leq C/j $ を満たす。これは調和関数の減衰を制御するために重要である。
• 固有値 $ a_j $ は $ j/(2n) \leq a_j \leq \pi j/(2n) $ を満たし、解における項の指数的減衰を正確に制御可能である。