[論文レビュー] Regular Dirichlet extensions of one-dimensional Brownian motion

Liping Li, Jiangang Ying|arXiv (Cornell University)|Jun 2, 2016

Mathematical Dynamics and Fractals参考文献 11被引用数 3

ひとこと要約

本稿では、1次元ブラウン運動の正規ディリクレ拡張が、可算個の不変区間と極性集合に分解されることを示し、各区間が特定のクラスに属するスケール関数によって支配されることを特徴づけている。主な貢献は、純粋なジャンプ型ディリクレ形式が真の正規ディリクレ部分空間を有することを証明し、長年の未解決問題を解決した点である。

ABSTRACT

The regular Dirichlet extension is the dual concept of regular Dirichlet subspace. The main purpose of this paper is to characterize all the regular Dirichlet extensions of one-dimensional Brownian motion and to explore their structures. It is shown that every regular Dirichlet extension of one-dimensional Brownian motion may essentially decomposed into at most countable disjoint invariant intervals and an $\mathcal{E}$-polar set relative to this regular Dirichlet extension. On each invariant interval the regular Dirichlet extension is characterized uniquely by a scale function in a given class. To explore the structure of regular Dirichlet extension we apply the idea introduced in [17], we formulate the trace Dirichlet forms and attain the darning process associated with the restriction to each invariant interval of the orthogonal complement of $H^1_\mathrm{e}(\mathbb{R})$ in the extended Dirichlet space of the regular Dirichlet extension. As a result, we find an answer to a long-standing problem whether a pure jump Dirichlet form has proper regular Dirichlet subspaces.

研究の動機と目的

• 1次元ブラウン運動の正規ディリクレ拡張を特徴づけること。これは、ブラウン運動の標準ディリクレ形式を含む正規ディリクレ形式として定義される。
• 純粋なジャンプ型ディリクレ形式が真の正規ディリクレ部分空間を有するかどうかという、長年の未解決問題を解消すること。
• 不変区間上でのトレースディリクレ形式およびダーニング過程を用いて、このような拡張の構造的性質を調査すること。
• 特に非局所的設定において、『小ジャンプ』成分が正規ディリクレ部分空間を生成する役割を明確にすること。
• 拡張の正規ディリクレ拡張と部分空間の間に双対性を確立すること。これは、拡張されたディリクレ空間における直交補空間を分析することで達成される。

提案手法

• 状態空間を、高々可算個の互いに素な不変区間と、拡張に関する $\mathcal{E}$-極性集合に分解する。
• トレースディリクレ形式の理論を用いて、拡張されたディリクレ空間を各不変区間へ制限したものの分析を行う。
• 拡張の拡張ディリクレ空間における $H^1_{\mathrm{e}}(\mathbb{R})$ の直交補空間にダーニング過程の構成を適用する。
• 各不変区間上での拡張を、$\mathtt{s}' = 0$ または $1$ almost everywhere を満たすスケール関数 $\mathtt{s}$ を用いて特徴づける。これにより、関連する拡散過程が時間変換されたブラウン運動であることが保証される。
• ブルイング＝デニの分解およびレヴィ系分析を用いてジャンプ成分を比較し、拡張間の構造的差異を特定する。
• リヴェズ対応を用いて、2つの対称的純粋ジャンプ型ハント過程のレヴィ系が等価であることを示し、それにもかかわらず異なるディリクレ形式を有することを示す。

実験結果

リサーチクエスチョン

• RQ1 純粋なジャンプ型ディリクレ形式が真の正規ディリクレ部分空間を有することができるか？
• RQ2 1次元ブラウン運動のすべての正規ディリクレ拡張を完全に特徴づけるにはどうすればよいか？
• RQ3 正規ディリクレ拡張の構造において、『小ジャンプ』成分が果たす役割は何か？
• RQ4 ダーニング過程およびトレースディリクレ形式は、不変区間上での拡張の構造をどのように記述するのだろうか？
• RQ5 ディリクレ形式と関連するハント過程との間には、非可約性および到達確率の観点から、どのような関係があるのか？

主な発見

• 1次元ブラウン運動のすべての正規ディリクレ拡張は、高々可算個の互いに素な不変区間と $\mathcal{E}$-極性集合に分解される。
• 各不変区間上では、拡張は一意にスケール関数 $\mathtt{s} \in \mathbf{S}(\mathbb{R})$ によって特徴づけられる。ここで $\mathbf{S}(\mathbb{R})$ は、厳密に増加し、絶対連続で $\mathtt{s}' = 0$ または $1$ a.e. を満たす関数の集合である。
• 各不変区間におけるトレースディリクレ形式は、区間を1点に収縮させることで得られるダーニング過程に対応し、拡張の局所的構造を反映している。
• 純粋なジャンプ型ディリクレ形式は、例3.20におけるカントール集合 $K$ 上の例によって示されるように、真の正規ディリクレ部分空間を有することができる。
• 拡張形式 $\check{\mathcal{E}}$ の関連するハント過程 $\check{X}$ は非可約ではない。これは、$a_n > -\infty$、$b_n < \infty$ であり、$K \setminus \{a_n, b_n\}$ が $\check{\mathcal{E}}$-極性であるような区間の端点 $a_n$ と $b_n$ 間でのみジャンプするためである。
• カントール集合 $K$ におけるブラウン運動のトレース $\check{B}$ は非可約であり、$K$ の任意の点に正の確率で到達するが、そのエネルギー形式 $\frac{1}{2}\check{\mathbf{D}}$ はこの振る舞いを直接反映していない。