在隨機分析中,伊藤引理(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