[论文解读] Regular Dirichlet extensions of one-dimensional Brownian motion

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

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

一句话总结

本文通过证明所有一维布朗运动的正规Dirichlet扩张可分解为可数个不变区间与一个极集，从而对它们进行了完全刻画，其中每个区间由特定类中的尺度函数控制。主要贡献在于证明了纯跳跃Dirichlet形式可以拥有真正规Dirichlet子空间，从而解决了长期悬而未决的开放问题。

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.

研究动机与目标

• 对一维布朗运动的所有正规Dirichlet扩张进行刻画，定义为包含标准布朗运动Dirichlet形式的正规Dirichlet形式。
• 解决长期悬而未决的开放问题：纯跳跃Dirichlet形式是否可以拥有真正规Dirichlet子空间。
• 通过不变区间上的迹Dirichlet形式与补洞过程，探索此类扩张的结构性质。
• 阐明“小跳跃”分量在生成正规Dirichlet子空间中的作用，特别是在非局部设置下。
• 通过分析扩展Dirichlet空间中正交补集，建立正规Dirichlet扩张与子空间之间的对偶关系。

提出的方法

• 将状态空间分解为至多可数个互不相交的不变区间与相对于扩张的$\mathcal{E}$-极集。
• 利用迹Dirichlet形式理论，分析扩展Dirichlet空间在每个不变区间上的限制。
• 对扩展Dirichlet空间中$H^1_{\mathrm{e}}(\mathbb{R})$的正交补集应用补洞过程构造。
• 通过满足$\mathtt{s}' = 0$或$1$ a.e.的尺度函数$\mathtt{s}$，唯一刻画每个扩张在不变区间上的性质，确保相关扩散过程为时间改变的布朗运动。
• 采用Beurling-Deny分解与Lévy系统分析，比较跳跃分量并识别扩张之间的结构性差异。
• 利用Revuz对应关系，证明两个对称纯跳跃Hunt过程的Lévy系统等价，尽管其Dirichlet形式不同。

实验结果

研究问题

• RQ1 纯跳跃Dirichlet形式是否可以拥有真正规Dirichlet子空间？
• RQ2 如何对一维布朗运动的所有正规Dirichlet扩张进行完整刻画？
• RQ3 ‘小跳跃’分量在正规Dirichlet扩张结构中起什么作用？
• RQ4 补洞过程与迹Dirichlet形式如何帮助描述扩张在不变区间上的结构？
• RQ5 Dirichlet形式与相关Hunt过程之间在不可约性与命中概率方面有何关系？

主要发现

• 每个一维布朗运动的正规Dirichlet扩张均可分解为至多可数个互不相交的不变区间与一个$\mathcal{E}$-极集。
• 在每个不变区间上，扩张由尺度函数$\mathtt{s} \in \mathbf{S}(\mathbb{R})$唯一刻画，即严格递增且绝对连续，且满足$\mathtt{s}' = 0$或$1$ a.e.。
• 每个不变区间上的迹Dirichlet形式对应于通过将区间压缩为单个点而得到的补洞过程，反映了扩张的局部结构。
• 纯跳跃Dirichlet形式可以拥有真正规Dirichlet子空间，如例3.20中在Cantor集$K$上的例子所示。
• 扩展形式$\check{\mathcal{E}}$的关联Hunt过程$\check{X}$不是不可约的；它仅在满足$a_n > -\infty$、$b_n < \infty$的区间端点$a_n$与$b_n$之间跳跃，且$K \setminus \{a_n, b_n\}$为$\check{\mathcal{E}}$-极集。
• 在$K$上布朗运动的迹$\check{B}$是不可约的，且以正概率命中$K$中任意点，尽管其能量形式$\frac{1}{2}\check{\mathbf{D}}$并未直接反映这一行为。