[论文解读] Path-wise solutions of SDE's driven by Levy processes

David R.E. Williams|ArXiv.org|Jan 4, 2000

Nonlinear Differential Equations Analysis参考文献 12被引用 4

一句话总结

本文通过在 $ p < 2 $ 时使用 Young 积分、在 $ p > 2 $ 时使用 Lyons 的粗糙路径理论，建立了驱动 Lévy 过程且具有有限 $ p $-变差（$ p < 2 $ 或 $ p > 2 $）的随机微分方程（SDE）的路径解的存在性与唯一性。关键贡献在于通过虚构时间与面积过程构造了几何解与前向解，即使在驱动过程具有无界变差和不连续性时也能确保解的适定性。

ABSTRACT

In this paper we show that a path-wise solution to the following integral equation $$ Y_t = \int_0^t f(Y_t) dX_t \qquad Y_0=a \in \R^d $$ exists under the assumption that X_t is a Lévy process of finite p-variation for some $p \geq1$ and that f is an $α$-Lipschitz function for some alpha&gt;p. There are two types of solution, determined by the solution's behaviour at jump times of the process X, one we call geometric the other forward. The geometric solution is obtained by adding fictitious time and solving an associated integral equation. The forward solution is derived from the geometric solution by correcting the solution's jump behaviour. Lévy processes, generally, have unbounded variation. So we must use a pathwise integral different from the Lebesgue-Stieltjes integral. When X has finite p-variation almost surely for p&lt;2 we use Young's integral. This is defined whenever f and g have finite p and q-variation for 1/p+1/q&gt;1 (and they have no common discontinuities). When p&gt;2 we use the integral of Lyons. In order to use this integral we construct the Lévy area of the Lévy process and show that it has finite (p/2)-variation almost surely.

研究动机与目标

• 解决驱动过程非半鞅且具有无界变差时，SDE 路径解方法的缺失问题，特别是当驱动过程具有无界变差时。
• 通过处理具有有限 $ p $-变差（$ p < 2 $ 或 $ p > 2 $）的不连续 Lévy 过程，将路径积分框架扩展至连续过程之外。
• 基于跳跃不连续性在解路径中处理方式的不同，定义两种不同的解类型——几何解与前向解。
• 在漂移系数 $ f $ 为 $ \alpha $-Lipschitz 且 $ \alpha > p $ 的条件下，建立解的存在性与唯一性，确保积分定义良好。
• 为 $ p > 2 $ 构建严格的粗糙路径理论框架，包括几乎必然具有有限 $ (p/2) $-变差的 Lévy 面积过程的构造。

提出的方法

• 对于 $ p < 2 $，当 $ f $ 与 $ X_t $ 分别具有有限 $ p $-变差与 $ q $-变差且满足 $ 1/p + 1/q > 1 $ 时，使用 Young 积分定义路径积分，避免依赖半鞅理论。
• 对于 $ p > 2 $，应用粗糙路径理论，要求对 Lévy 过程进行增强以引入其 Lévy 面积，从而在 Lyons 意义下确保积分定义良好。
• 几何解通过在跳跃处插入虚构时间使路径连续，于扩展的时间区间上求解 SDE，随后移除虚构时间分量。
• 前向解由几何解推导而来，通过校正跳跃行为以匹配标准跳跃规则 $ y_t - y_{t-} = f(y_{t-})(x_t - x_{t-}) $，确保与经典积分解释的一致性。
• 采用基于控制粗糙路径的迭代方案，通过归纳法证明迭代序列 $ V^{(m)} $ 一致受控，从而保证收敛至解。
• 证明依赖于构造一个具有控制函数 $ \omega $ 的控制粗糙路径，并利用涉及 $ \beta(k/p)! $ 的界来控制迭代积分的增长。

实验结果

研究问题

• RQ1 当 Lévy 过程具有有限 $ p $-变差（$ p < 2 $）时，能否构造出其驱动的 SDE 的路径解？
• RQ2 当 Young 积分因正则性不足而失效时，如何为 $ p > 2 $ 定义路径积分？
• RQ3 Lévy 面积在使粗糙路径理论适用于 Lévy 过程驱动的 SDE 中起到什么作用？
• RQ4 几何解与前向解在处理跳跃不连续性方面有何不同？其存在性与唯一性需满足何种条件？
• RQ5 在漂移系数 $ f $ 与驱动过程 $ X_t $ 满足何种条件下，存在唯一的路径解？

主要发现

• 对于 $ p < 2 $，在 $ f $ 为 $ \alpha $-Lipschitz 且 $ \alpha > p $ 的假设下，SDE $ Y_t = a + \int_0^t f(Y_s)\,dX_s $ 存在唯一几何解。
• 对于 $ p > 2 $，Lévy 过程的 Lévy 面积几乎必然具有有限 $ (p/2) $-变差，从而可应用粗糙路径理论定义积分。
• 几何解通过添加虚构时间使路径连续，于扩展路径上求解 SDE，随后移除虚构时间分量。
• 前向解由几何解校正跳跃行为得到，以匹配规则 $ y_t - y_{t-} = f(y_{t-})(x_t - x_{t-}) $，确保与标准积分解释的一致性。
• 通过控制函数 $ \omega $ 对迭代序列 $ V^{(m)} $ 实现一致控制，结合涉及 $ \beta(k/p)! $ 的界，保证了解的迭代方案收敛。
• 当驱动路径连续时，解满足同胚流性质，该性质被用于关联几何解与前向解。