[論文レビュー] 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^{d-2} = 1/m^2 を満たす半径 ρ_m を用いて、級数の発散をテストする具体的な配置を構成する。
• 上昇かつ無限大に発散する関数 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 任意に無限大に発散する関数 f に対して r_n^{d-2}|c_n|^2 ≤ f(|c_n|) を満たすが、級数 ∑(r_n/|c_n|)^{d-2} が発散する回避可能な配置は存在するか？

主な発見

• 級数 ∑(r_n/|c_n|)^{d-2} < ∞ ならば、命題1で示されるように、球の集合は回避可能である。
• 分離条件 (S) および半径制約 r_n^{d-2}|c_n|^2 ≤ M の下で、命題1で示されるように、級数 ∑(r_n/|c_n|)^{d-2} < ∞ は回避可能性に必要である。
• 一様に密度が高く、中心が球対称な配置（半径関数 φ(r) が定義される）では、命題2で示されるように、回避可能性は ∫^∞ r φ(r)^{d-2} dr < ∞ にちょうど同値である。
• 任意に無限大に発散する関数 f に対して r_n^{d-2}|c_n|^2 ≤ f(|c_n|) を満たすが、級数 ∑(r_n/|c_n|)^{d-2} = ∞ であるような分離済みで回避可能な配置が存在する。これは定理3で証明されている。
• R^d \ (A ∪ B) が連結であれば、二つの回避可能な集合 A と B の和集合も回避可能である。調和関数の超レベル集合を用いた議論により示される。
• 定理3の構成により、全境界の原点における調和測度が1未満のまま保たれることを確認でき、臨界級数が発散しても回避可能であることが裏付けられる。