[论文解读] Fukushima's decomposition for diffusions associated with semi-Dirichlet forms

Li Ma, Zhi-Ming Ma+1 more|arXiv (Cornell University)|Apr 15, 2011

Advanced Mathematical Modeling in Engineering参考文献 12被引用 3

一句话总结

本文建立了与拟正则半狄利克雷形式相关的扩散过程的福岛分解，将经典分解推广至非对称、非半鞅情形。通过引入一种局部化方法并推导局部鞅加法泛函的变换公式，作者将对称狄利克雷形式中的关键工具推广至半狄利克雷形式，从而在无需假设对偶过程存在的前提下，实现了更广泛类型过程的随机分析。

ABSTRACT

Diffusion processes associated with semi-Dirichlet forms are studied in the paper. The main results are Fukushima's decomposition for the diffusions and a transformation formula for the corresponding martingale part of the decomposition. The results are applied to some concrete examples.

研究动机与目标

• 将福岛分解推广至与拟正则半狄利克雷形式相关的马尔可夫过程，且不假设对偶过程的存在。
• 通过为局部加法泛函引入局部化方法，克服在无对偶过程情形下定义加法泛函能量的挑战。
• 在半狄利克雷设定下，为局部鞅加法泛函（MAFs）建立变换公式，类比勒让的公式，但适应于无对偶过程的情形。
• 为正连续加法泛函（PCAFs）与光滑测度在半狄利克雷框架下提供严格的势论基础。
• 将结果应用于经典伊藤与杜布-迈耶分解失效的具体例子，展示该方法在非半鞅设定下的实用性。

提出的方法

• 基于局部加法泛函（AFs）提出一种局部化方法，用于在形式的局部定义能量并分解局部域中的函数。
• 利用瑞布兹对应关系将PCAFs与光滑测度联系起来，建立半狄利克雷设定下对应关系的等价条件。
• 引入γ-共过度函数的概念，用于定义和分析加法泛函的能量，特别是在t↓0时的极限情形。
• 通过改编菲茨西蒙斯与勒让的技术，推导出局部MAFs的变换公式，避免依赖对偶过程。
• 利用预解算子与共预解算子刻画半群的对偶作用，并控制涉及加法泛函的期望。
• 通过内在范数与能量范数证明关键估计，特别是通过$ \mathcal{E}_1 $-范数与对偶势算子$ \hat{U}_1 $控制$ E_\nu(A_t) $。

实验结果

研究问题

• RQ1 福岛分解能否在不假设对偶过程存在的情况下，推广至与半狄利克雷形式相关的扩散过程？
• RQ2 在无对偶过程的情形下，加法泛函的能量如何有意义地定义与计算？
• RQ3 在半狄利克雷设定下，是否存在类似于对称情形中勒让公式的局部鞅加法泛函的变换公式？
• RQ4 在半狄利克雷框架下，PCAFs的瑞布兹对应关系与狄尼金型恒等式之间的等价性需满足何种条件？
• RQ5 所提出的分解与变换公式能否应用于经典半鞅工具失效的具体例子？

主要发现

• 对任意$ u \in D(\mathcal{E})_{\text{loc}} $，存在福岛型分解：$ \tilde{u}(X_t) - \tilde{u}(X_0) = M^{[u]}_t + N^{[u]}_t $，其中$ M^{[u]} $为有限能量的局部MAF，$ N^{[u]} $为零能量的连续加法泛函。
• 通过局部化方法，即使在无对偶过程的情形下，加法泛函的能量仍可通过极限$ e(A) = \lim_{t\to 0} \frac{1}{2t} E_m[A_t^2] $明确定义。
• 在定理3.10中建立了局部MAFs的变换公式，该公式在函数$ g $满足适当条件时，将勒让公式推广至半狄利克雷形式。
• 定理5.8完全刻画了PCAFs与光滑测度之间的瑞布兹对应关系，证明了七种条件的等价性，包括预解算子极限与狄尼金型恒等式。
• 论文证明：对$ \nu \in \hat{S}^{*}_{00} $，存在常数$ C_\nu $，使得$ E_\nu(A_t) \leq C_\nu (1+t) \int_E \widetilde{\hat{h}} \, d\mu_A $，从而对期望提供了统一有界性。
• 附录第5节的理论结果，包括定理5.3与引理5.9，为半狄利克雷设定下的PCAFs与光滑测度提供了基础工具，填补了文献中的空白。