[論文レビュー] Brownian Motions on Metric Graphs III - Construction: General Metric Graphs

Vadim Kostrykin, Jürgen Potthoff+1 more|arXiv (Cornell University)|Dec 3, 2010

Graph theory and applications参考文献 13被引用数 3

ひとこと要約

本稿では、単一の頂点を持つグラフのブラウン運動の軌道を組み合わせることで、一般の有限な距離的グラフ上にブラウン運動を構成し、生成子がウェントセル境界条件を満たすことを保証する。主な貢献は、各頂点で指定されたウェントセル条件を満たすような、距離的グラフ上でのブラウン運動の厳密な経路的構成であり、生成子の定義域が無限遠で消える2回連続で微分可能な関数として特定されることを確立する。

ABSTRACT

Consider a metric graph G with set of vertices V. Assume that for every vertex in V one is given a Wentzell boundary condition. It is shown how one can construct the paths of a Brownian motion on G such that its generator - viewed as an operator on the space of continuous functions vanishing at infinity - has a domain consisting of twice continuously differentiable functions satisfying these boundary conditions.

研究の動機と目的

• 任意の有限な距離的グラフ上に、頂点で一般のウェントセル境界条件を満たすブラウン運動の経路的構成を提供すること。
• 論文IIで得られた単一頂点グラフに関する結果を一般の距離的グラフへ拡張し、フェラー性質および生成子構造と整合することを保証すること。
• 生成子の定義域を、各頂点ごとに指定されたウェントセル条件を満たす $ C_0^2(\mathcal{G}) $ の関数として厳密に定義すること。
• 構成された過程が、寿命まで連続で、吸収状態へのみジャンプを許す強マルコフ過程であることを保証すること。
• 単一頂点成分の局所的ダイナミクスと複雑なグラフ上のグローバルな振る舞いとを結びつけることで、距離的グラフ上でのブラウン運動の理論を統一すること。

提案手法

• 各頂点に対応する単一頂点グラフ上の独立なブラウン運動の軌道を連結することで、グローバルなブラウン運動を構成する。
• 過程が頂点に到達する時刻を示す停止時刻 $ S_n $ を定義し、軌道の連続性および右連続性を用いて可測性を保証する。
• 距離的グラフ $ \mathcal{G} $ の構造と区間上の標準距離に誘導される位相を用いて、頂点への到達イベント（距離に基づくヒットイベント）を定義する。
• 各 $ S_n $ が自然なフィルトレーション $ \mathcal{F}^Y $ に関して停止時刻であることを示し、過程の逐次的可測性および連続性に依拠する。
• 各頂点 $ v $ でウェントセル境界条件 $ a_v f(v) - \sum_{l \in \mathcal{L}(v)} b_{v_l} f'(v_l) + \frac{1}{2} c_v f''(v) = 0 $ を適用する。係数は $ a_v + \sum b_{v_l} + c_v = 1 $ を満たす。
• 構成された過程の生成子が、$ C_0^2(\mathcal{G}) $ 上で2階微分作用素として作用することを確認し、定義域が正確にウェントセル条件を満たす関数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般の有限な距離的グラフ上でのブラウン運動は、単一頂点グラフ上のダイナミクスからどのように構成できるか？
• RQ2 生成子が $ C_0^2(\mathcal{G}) $ 上で適切に定義された2階微分作用素となるために、頂点での振る舞いにどのような条件を課すべきか？
• RQ3 すべての頂点に一貫してウェントセル境界条件を適用するには、生成子の定義域をどのように定義すべきか？
• RQ4 停止時刻は経路的構成において果たす役割は何か？また、頂点への訪問とどのように関係しているか？
• RQ5 軌道の連続性および右連続性は、マルコフ性を保証し、吸収以外のジャンプの不在をどのように保証するか？

主な発見

• 構成された過程は、$ \mathcal{G} \cup \{\Delta\} $ 上の強マルコフ過程であり、寿命 $ \zeta $ まで右連続かつ左連続な軌道をもち、墓場状態へのみジャンプを許す。
• 過程の生成子 $ A $ の定義域 $ \mathcal{H}_{a,b,c} \subset C_0^2(\mathcal{G}) $ は、$ \mathcal{G} $ の内部で2回連続で微分可能な関数からなり、2階微分が $ C_0(\mathcal{G}) $ に属し、各頂点でウェントセル境界条件を満たす。
• 頂点への $ n $ 回目の訪問を示す停止時刻 $ S_n $ は、$ \mathcal{F}^Y $-停止時刻であることが示され、構成が自然なフィルトレーションに適合していることが保証される。
• 構成はフェラー性質と整合する：過程は各辺上で標準ブラウン運動のように振る舞い、頂点に到達すると指定されたウェントセル条件に従う。
• 係数 $ a_v, b_{v_l}, c_v $ は $ a_v + \sum_{l \in \mathcal{L}(v)} b_{v_l} + c_v = 1 $ を満たし、各頂点での遷移確率をパrameter化し、ダイナミクスを完全に決定する。
• 生成子は各辺上で $ \frac{1}{2} f'' $ として作用し、頂点での境界条件により連続性およびフラックスのバランスが保証され、吸収および反射を一般化する。