[论文解读] The differentiation of hypoelliptic diffusion semigroups

Marc Arnaudon, Anton Thalmaier|SPIRE - Sciences Po Institutional REpository|Apr 13, 2010

Advanced Mathematical Modeling in Engineering参考文献 5被引用 4

一句话总结

本文利用马利avin微积分与局部鞅技术，为超椭圆扩散半群建立了随机积分之分部公式，使得半群与调和函数的导数公式不再依赖于测试函数的导数。其核心贡献在于：在满足霍尔曼德条件的超椭圆性条件下，通过导数流、马利avin协方差及其逆矩阵，给出了半群导数的表示形式。

ABSTRACT

Basic derivative formulas are presented for hypoelliptic heat semigroups and harmonic functions extending earlier work in the elliptic case. Emphasis is placed on developing integration by parts formulas at the level of local martingales. Combined with the optional sampling theorem, this turns out to be an efficient way of dealing with boundary conditions, as well as with finite lifetime of the underlying diffusion. Our formulas require hypoellipticity of the diffusion in the sense of Malliavin calculus (integrability of the inverse Malliavin covariance) and are formulated in terms of the derivative flow, the Malliavin covariance and its inverse. Finally some extensions to the nonlinear setting of harmonic mappings are discussed.

研究动机与目标

• 开发不依赖于测试函数导数的超椭圆扩散半群的导数公式。
• 利用局部鞅与马利avin微积分技术，将积分之分部技巧从椭圆情形推广至超椭圆情形。
• 通过可选抽样与随机控制方法，处理边界条件与有限寿命扩散过程。
• 将结果推广至非欧几里得目标的调和映射，尤其在超椭圆情形下。
• 在霍尔曼德条件下，提供导数的随机表示，确保转移密度的光滑性。

提出的方法

• 在局部鞅层面上使用积分之分部，推导半群与调和函数的导数公式。
• 应用可选抽样定理，处理边界条件与有限寿命扩散过程。
• 利用导数流 $X_{t\bullet}$、马利avin协方差及其逆矩阵，表达半群的导数。
• 引入一个通过导数流与布朗运动的随机积分构造的局部鞅 $n_s$。
• 利用过程 $a_s = (X_{s\bullet}^{-1}A)_x^* \mathbf{1}_{\{s \leq \tau\}}$ 生成用于扰动分析的局部鞅。
• 推导出一个额外项，形式为 $\mathbb{E}\left[\left(\int_0^\sigma \Theta_{0,s}^{-1} \nabla \Theta_{0,s} \, dY_s\right) C^{-1}_\sigma(x) v\right]$，出现在非线性情形下。

实验结果

研究问题

• RQ1 如何将积分之分部公式适配于生成元不满足椭圆性的超椭圆扩散过程？
• RQ2 是否可以不涉及测试函数导数，表达半群的导数公式？
• RQ3 马利avin协方差及其逆矩阵在超椭圆性条件下对导数表示起何作用？
• RQ4 如何在随机积分之分部框架下处理边界条件与有限寿命扩散过程？
• RQ5 在超椭圆条件下，是否可将导数公式推广至具有非欧几里得目标的调和映射？

主要发现

• 本文建立了半群 $P_t f$ 的导数公式，其仅依赖于导数流、马利avin协方差及其逆矩阵，而不依赖于 $f$ 的导数。
• 在霍尔曼德条件下，半群是强费勒的，并具有光滑转移密度，从而保证了所导公式的正则性。
• 在局部鞅层面上的积分之分部公式，可通过可选抽样处理边界条件与有限寿命扩散过程。
• 对于调和函数，其导数 $du$ 的表示不依赖于边界数据的导数，而是通过随机积分与局部鞅实现。
• 在非线性情形下，当目标空间为非欧几里得时，会出现一个额外项，形式为 $\int_0^\sigma \Theta_{0,s}^{-1} \nabla \Theta_{0,s} \, dY_s$，目前尚无法消除。
• 该方法依赖于布朗运动的扰动与测度变换，同时指出时间变换、旋转等替代变体可能有帮助，但尚未能完全利用。