在随机分析中,伊藤引理(Ito's lemma)是一条非常重要的性质。发现者为日本数学家伊藤清,他指出了对于一个随机过程的函数作微分的规则。
对于布朗运动
和二次可导函数
,以下等式成立:

其中过程:

其主要可通过对多项式环到形式幂级数的拓展,例如:

对于伊藤过程
和二次可导函数
,以下等式成立

定义伊藤过程
为满足下列随机微分方程的随机过程

对于伊藤过程
和二次可导函数
,以下等式成立:

类似地,定义多维伊藤过程
使得

其中
为n维向量,
为n阶方块矩阵;有如下等式:
![{\displaystyle {\begin{aligned}df(t,\mathbf {X} _{t})&={\frac {\partial f}{\partial t}}\,dt+\left(\nabla _{\mathbf {X} }f\right)^{T}\,d\mathbf {X} _{t}+{\frac {1}{2}}\left(d\mathbf {X} _{t}\right)^{T}\left(H_{\mathbf {X} }f\right)\,d\mathbf {X} _{t},\\&=\left\{{\frac {\partial f}{\partial t}}+\left(\nabla _{\mathbf {X} }f\right)^{T}{\boldsymbol {\mu }}_{t}+{\frac {1}{2}}\operatorname {Tr} \left[\mathbf {G} _{t}^{T}\left(H_{\mathbf {X} }f\right)\mathbf {G} _{t}\right]\right\}dt+\left(\nabla _{\mathbf {X} }f\right)^{T}\mathbf {G} _{t}\,d\mathbf {B} _{t}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a568a6c3418f7a4b4681b7c2bcd65790025353)
其中,
是f关于X的梯度,HX f 是f关于X的黑塞矩阵,Tr是迹的符号。
[需要定义]
![{\displaystyle df(X_{t})=\sum _{i=1}^{d}f_{i}(X_{t})\,dX_{t}^{i}+{\frac {1}{2}}\sum _{i,j=1}^{d}f_{i,j}(X_{t})\,d[X^{i},X^{j}]_{t}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/686f8f42020a7eb233b6b693ae461a5f685cfb3f)
![{\displaystyle {\begin{aligned}f(X_{t})=&f(X_{0})+\sum _{i=1}^{d}\int _{0}^{t}f_{i}(X_{s-})\,dX_{s}^{i}+{\frac {1}{2}}\sum _{i,j=1}^{d}\int _{0}^{t}f_{i,j}(X_{s-})\,d[X^{i},X^{j}]_{s}\\&{}+\sum _{s\leq t}\left(\Delta f(X_{s})-\sum _{i=1}^{d}f_{i}(X_{s-})\,\Delta X_{s}^{i}-{\frac {1}{2}}\sum _{i,j=1}^{d}f_{i,j}(X_{s-})\,\Delta X_{s}^{i}\,\Delta X_{s}^{j}\right).\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7430c78ef3a38d4204ca37f66561e60271d44ad5)
我们也可以定义非连续随机过程的函数。
定义跳跃强度h,根据跳跃的泊松过程模型,在区间
上出现一次跳跃的概率是
加上
的高阶无穷小量。h可以是常数、显含时间的确定性函数,或者是随机过程。在区间
上没有跳跃的概率称为生存概率
,其变化是:

因此生存概率为:

定义非连续随机过程
,并把
记为从左侧到达t时S的值,记
是一次跳跃导致
的非无穷小变化。有:

是跳跃幅度z的概率分布,跳跃幅度的期望是:
![{\displaystyle E[d_{j}S(t)]=h(S(t^{-}))\,dt\int _{z}z\eta (S(t^{-}),z)\,dz.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9810f5bac71e8426f2ce24e1fc3e1d464c6b291f)
定义补偿过程和鞅
:
![{\displaystyle dJ_{S}(t)=d_{j}S(t)-E[d_{j}S(t)]=S(t)-S(t^{-})-(h(S(t^{-}))\int _{z}z\eta (S(t^{-}),z)\,dz)\,dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fe5545e0a9fdaa6d337f4a86f8508a159f5635e)
因此跳跃的非无穷小变化,也就是随机过程的跳跃部分可以写为:
![{\displaystyle d_{j}S(t)=E[d_{j}S(t)]+dJ_{S}(t)=h(S(t^{-}))(\int _{z}z\eta (S(t^{-}),z)\,dz)dt+dJ_{S}(t).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72d2d3752f537c0c68f3c79d960794426aca0517)
因此如果随机过程
同时包含漂移、扩散、跳跃三部分,可以写为:

考虑其函数
。
跳跃
的幅度,会导致
跳跃
幅度。
取决于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