在随机分析中,伊藤引理(Ito's lemma)是一条非常重要的性质。发现者为日本数学家伊藤清,他指出了对于一个随机过程的函数作微分的规则。
伊藤引理较早版本
第一引理
对于布朗运动 和二次可导函数 ,以下等式成立:
-
其中过程:
-
其主要可通过对多项式环到形式幂级数的拓展,例如:
-
第二引理
对于伊藤过程 和二次可导函数 ,以下等式成立
-
第三引理
定义伊藤过程 为满足下列随机微分方程的随机过程
-
对于伊藤过程 和二次可导函数 ,以下等式成立:
-
类似地,定义多维伊藤过程 使得
-
其中 为n维向量, 为n阶方块矩阵;有如下等式:
-
其中, 是f关于X的梯度,HX f 是f关于X的黑塞矩阵,Tr是迹的符号。
[需要定义]
连续半鞅
-
不连续半鞅
-
泊松过程
我们也可以定义非连续随机过程的函数。
定义跳跃强度h,根据跳跃的泊松过程模型,在区间 上出现一次跳跃的概率是 加上 的高阶无穷小量。h可以是常数、显含时间的确定性函数,或者是随机过程。在区间 上没有跳跃的概率称为生存概率 ,其变化是:
-
因此生存概率为:
-
定义非连续随机过程 ,并把 记为从左侧到达t时S的值,记 是一次跳跃导致 的非无穷小变化。有:
-
是跳跃幅度z的概率分布,跳跃幅度的期望是:
-
定义补偿过程和鞅 :
-
因此跳跃的非无穷小变化,也就是随机过程的跳跃部分可以写为:
-
因此如果随机过程 同时包含漂移、扩散、跳跃三部分,可以写为:
-
考虑其函数 。 跳跃 的幅度,会导致 跳跃 幅度。 取决于g的跳跃分布 ,有可能依赖于跳跃前的函数值 ,函数微分dg以及跳跃前的自变量值 。 的跳跃部分是:
-
函数 的伊藤引理是:
-
可以看到,漂移-扩散过程与跳跃过程之和的伊藤引理,恰恰是各自部分伊藤引理的和。
应用例子
参看
参考资料
- Ito, K. (1944): Stochastic integral. Proc. Imp. Acad. Tokyo 20, 519-524.
- PROTTER, P. (1990): Stochastic Integration and Differential Equations. Springer-Verlag, Berlin.
- Black, F. & Scholes, M. (1973) :The pricing of options and corporate liabilities. J. Polit. Economy