[論文レビュー] Weak convergence of regular Dirichlet subspaces

Liping Li, Toshihiro Uemura+1 more|arXiv (Cornell University)|Sep 6, 2015

advanced mathematical theories参考文献 6被引用数 3

ひとこと要約

本稿は、固定された1次元拡散過程の正則ディリクレ部分空間に関連する拡散過程の弱収束を、その特徴的集合の単調性（減少または増加）の下で確立する。主な結果は、特徴的集合が $d\mathtt{s}$-a.e. で収束するならば、関連する拡散過程も弱収束することを示しており、従来のモスコ収束結果を経路ごとの収束へと拡張する。

ABSTRACT

In this paper we shall prove the weak convergence of the associated diffusion processes of regular subspaces with monotone characteristic sets for a fixed Dirichlet form. More precisely, given a fixed 1-dimensional diffusion process and a sequence of its regular subspaces, if the characteristic sets of regular subspaces are decreasing or increasing, then their associated diffusion processes are weakly convergent to another diffusion process. This is an extended result of [13].

研究の動機と目的

• 正則ディリクレ部分空間に関する従来のモスコ収束結果を、関連する拡散過程の弱収束へと拡張すること。
• 正則部分空間の特徴的集合が $d\mathtt{s}$-a.e. で単調（増加または減少）であるとき、拡散過程の収束挙動を調査すること。
• 正則部分空間に関連する拡散過程が、別の拡散過程に弱収束するための十分条件を確立すること。
• 極限における特徴的集合の挙動と、ディリクレ形式およびそれらに関連する過程の収束との関係を分析すること。

提案手法

• 本稿は、固定された1次元拡散過程の正則ディリクレ部分空間を、関連するスケーリング関数 $\mathtt{s}_n$ および特徴的集合 $G_n = \{x : d\mathtt{s}_n/d\mathtt{s} = 1\}$ を用いて研究する。
• サンプルパスの連続性と拡散過程 $\mathbf{X}^n$ のタイトネスを分析するために、リンズ＝ジョンソン分解を用いる。
• タイトネスは、マルティンググール部分のエネルギー測度 $\mu_{\langle f\rangle}$ の有界性によって確立され、これは $\overset{\circ}{\mathtt{s}}(dx)$、すなわち $I$ 上のルベーグ測度に等しい。
• 証明は、時間反転とブラウン運動のカップリングを用いて、$Z_t = X_t^t$ の連続性指数を制御することに依存する。
• 一様タイトネスを保証するため、$d\overset{\circ}{\mathtt{s}}/dm \leq C$ の条件を適用して二次変動を有界化する。
• タイトネスと有限次元分布の収束を組み合わせることで、弱収束基準を用いて $\mathbf{X}^n$ の収束を示す。

実験結果

リサーチクエスチョン

• RQ1 正則ディリクレ部分空間に関連する拡散過程の列 $\mathbf{X}^n$ が弱収束するための条件は何か？
• RQ2 特徴的集合 $G_n$ の単調性（増加または減少）が $\mathbf{X}^n$ の弱収束に与える影響は何か？
• RQ3 ディリクレ形式のモスコ収束を、関連する拡散過程の弱収束へ強化できるか？
• RQ4 特徴的集合が非特徴的集合や全区間へ収束する場合、極限過程には何が起こるか？

主な発見

• 特徴的集合 $G_n$ が $d\mathtt{s}$-a.e. で単調（$G_n \downarrow G$ または $G_n \uparrow G$）であるならば、関連する拡散過程 $\mathbf{X}^n$ は弱収束して、ある拡散過程 $\mathbf{X}$ に収束する。
• 有界性 $d\overset{\circ}{\mathtt{s}}/dm$ などの弱い条件下でも、弱収束は成立し、過程の一様タイトネスを保証する。
• 証明では、ブラウン運動のカップリングと時間反転を用いて、$Z_t = X_t^t$ の連続性指数が $\delta \to 0$ のとき一様に消えることを示し、タイトネスを確立する。
• リンズ＝ジョンソン分解におけるマルティンググール部分のエネルギー測度は $\overset{\circ}{\mathtt{s}}(dx)$ に等しく、二次変動の有界化に不可欠である。
• 結果として、[13]における従来のモスコ収束結果が、極限形式が退化している場合（例：例3.10におけるゼロ形式）でも、拡散過程の弱収束へと拡張される。
• 収束は頑健である：極限過程 $\mathbf{X}$ はスケーリング関数 $\mathtt{s}_\infty$ を持つディリクレ形式に対応し、その特徴的集合は $G_n$ の極限である。