[论文解读] Euler Estimates of Rough Differential Equations

Peter K. Friz, Nicolas Victoir|ArXiv.org|Feb 16, 2006

Stochastic processes and financial applications参考文献 8被引用 7

一句话总结

该论文利用自由幂零群中的测地线逼近，为随机微分方程（RDEs）开发了高阶欧拉估计，实现了对由随机粗糙路径驱动的解的精确矩控制与收敛性分析。核心贡献是一个通用框架，改进了经典的阿岑科特型估计，并建立了由增强布朗运动及其他可积粗糙路径驱动的解的 $L^q$-有界性与收敛性。

ABSTRACT

We consider controlled differential equations and give new estimates for higher order Euler schemes. Our proofs are inspired by recent work of A. M. Davie who considers first and second order schemes. In order to implement the general case we make systematic use of geodesic approximations in the free nilpotent group. As application, we can control moments of solutions to rough path differential equations (RDEs) driven by random rough paths with sufficient integrability and have a criteria for L^q - convergence in the Universal Limit Theorem. We also obtain Azencott type estimates and asymptotic expansions for random RDE solution. When specialized to RDEs driven by Enhanced Brownian motion, we (mildly) improve classic estimates for diffusions in the small time limit.

研究动机与目标

• 将高阶欧拉格式从一阶和二阶扩展至更一般的控制微分方程。
• 提出一种系统方法，利用自由幂零群中的测地线逼近，以处理一般阶数 $N$ 的格式。
• 为由足够可积的几何粗糙路径驱动的粗糙路径SDE解建立矩界与 $L^q$-收敛性。
• 改进经典阿岑科特型估计及扩散过程在小时间极限下的渐近展开。
• 提供一个适用于增强布朗运动及其他增强高斯过程的稳健框架。

提出的方法

• 使用自由幂零李代数 $T^{(N)}(\mathbb{R}^d)$ 中路径的 $N$-步签名来定义高阶欧拉增量。
• 在自由幂零群中应用测地线逼近，通过驱动信号的迭代积分控制误差项。
• 利用驱动信号及其迭代积分的霍尔德范数来界定解的霍尔德正则性。
• 推导出 $N$-阶欧拉格式的误差估计，其阶为 $(\int_s^t |dx_r|)^{N+1}$。
• 通过粗糙路径意义下的极限过程应用通用极限定理，将结果推广至RDEs。
• 使用杜布最大不等式与条件期望控制逼近过程的上确界，并建立一致可积性。

实验结果

研究问题

• RQ1 如何系统地构造并估计控制微分方程在高于一阶和二阶的高阶欧拉格式？
• RQ2 自由幂零群中的测地线逼近在改进粗糙微分方程误差估计中起到何种作用？
• RQ3 对于具有足够可积性的随机粗糙路径驱动的RDE解，能否建立 $L^q$-有界性与收敛性？
• RQ4 新估计在小时间极限下如何改进扩散过程的经典阿岑科特型估计？
• RQ5 该框架在多大程度上可推广至增强高斯过程与分数布朗运动？

主要发现

• 论文证明了由足够可积的几何粗糙路径驱动的RDE解在所有 $q < \infty$ 下具有 $L^q$-有界性。
• 对于 $p \in (2,3)$ 的增强布朗运动，解的 $1/p$-霍尔德范数几乎必然有限且一致可积。
• $N$-阶欧拉格式的误差界达到 $(\int_s^t |dx_r|)^{N+1}$ 阶，优于经典估计。
• 该框架导出了随机RDE解的渐近展开与阿岑科特型估计，推广了本·阿鲁斯与卡斯泰尔的结果。
• 该方法可推广至增强高斯过程及 $H > 1/3$ 的分数布朗运动，且在鞅逼近下成立。
• 通过插值与杜布最大不等式获得极限过程的高斯尾部界，确保了 $L^q$-收敛性。