关于非C²函数的伊藤公式推广至任意伊藤过程的适用性及特殊情形验证问询

问题背景与提问 #

在Karatzas和Shreve所著《Brownian motion and Stochastic Calculus》一书第215页，有如下问题：
设$a_1, \dots, a_n$为实数，记$D={a_1, \dots, a_n}$。假设$f: \mathbb{R}\rightarrow \mathbb{R}$连续，且$f'$和$f''$在$\mathbb{R}/D$上存在且连续，在$D$中点处导数的单侧极限存在且有限。证明$f$是两个凸函数之差，且有：
$$f(W_{t}) = f(z) + \int_{0}^{t}f'(W_{s})dW_{s} + \frac{1}{2}\int_{0}^{t}f''(W_{s})ds + \sum_{k=1}^{n}L_{t}(a_{k})(f'(a_{k}+) - f'(a_{k}-))$$
其中$L_{t}(a) = |W_{t} - a| - |a| - \int_{0}^{t}\text{sign}(W_{s}-a)dW_{s}$

我的问题是：这个版本的伊藤公式是否适用于任意伊藤过程？即：
$$f(X_{t}) = f(z) + \int_{0}^{t}f'(X_{s})dX_{s} + \frac{1}{2}\int_{0}^{t}f''(X_{s})ds + \sum_{k=1}^{n}L_{t}(a_{k})(f'(a_{k}+) - f'(a_{k}-))$$
其中$L_{t}(a) = |X_{t} - a| - |X_{0} - a| - \int_{0}^{t}\text{sign}(X_{s}-a)dX_{s}$

如果成立的话，当$f'$连续且仅$f''$在有限个点间断时，这个等式是否会退化为“常规”伊藤公式？

回答 #

嘿，这个问题问到点子上了，这是伊藤公式推广中非常经典的一类场景，我来给你详细拆解：

1. 推广至任意伊藤过程的适用性 #

答案是肯定的，但有个关键前提：你的伊藤过程$X_t$必须是连续半鞅——不过放心，标准的伊藤过程本身就属于连续半鞅的范畴（伊藤过程的定义就是$X_t = X_0 + \int_0^t b_s ds + \int_0^t \sigma_s dW_s$，其中$b_s$是可积适应过程，$\sigma_s$是平方可积适应过程，完全满足连续半鞅的要求）。

这个带局部时的伊藤公式本质上是Tanaka公式（用于绝对值函数的伊藤公式，核心就是引入局部时）和凸函数伊藤公式的结合：题目里已经证明了$f$可以分解为两个凸函数之差，而凸函数的伊藤公式本身就包含局部时项，用来捕捉导数的跳跃。对于任意连续半鞅（包括伊藤过程），只要$f$满足题目中的条件（连续、分段C²、导数在间断点处单侧极限存在且有限），这个推广公式就成立。你定义的$L_t(a)$正是伊藤过程$X_t$在点$a$处的局部时，完全符合Tanaka公式的形式，能准确捕捉$X_t$在$a$点附近的停留时间，从而对应$f'$的跳跃带来的修正项。

2. 特殊情形：$f'$连续、$f''$仅有限间断时的退化 #

你的判断完全正确，此时公式确实会退化为常规伊藤公式。原因很简单：

• 当$f'$连续时，对于每个间断点$a_k$，$f'(a_k+) = f'(a_k-)$，所以求和项$\sum_{k=1}^{n}L_{t}(a_{k})(f'(a_{k}+) - f'(a_{k}-))$的每一项都是0，整个求和项直接消失。
• 而$f''$的有限个间断点不会影响勒贝格积分$\int_0^t f''(X_s) ds$的存在性和值（有限个点的勒贝格测度为0），所以剩下的部分就是我们熟悉的常规伊藤公式：
  $$f(X_t) = f(z) + \int_0^t f'(X_s) dX_s + \frac{1}{2}\int_0^t f''(X_s) ds$$

这其实也符合我们的直觉：常规伊藤公式要求$f \in C^2$，而这里的条件是$f'$连续、$f''$分段连续（有限间断点），是对常规条件的自然放松，当$f'$完全连续时，跳跃修正项消失，自然回到经典版本。

备注：内容来源于stack exchange，提问作者Ethan Davitt