Theorem 1 (关于布朗运动的 Itô 公式).
设f(t,x) 是二元函数,满足∂t∂f,∂x∂f 和∂x2∂2f 均存在且连续,并且∂x∂f∈L2,则
或者,写成微分形式:
Proposition 1.
设H,H(1) 和H(2) 是简单过程,α,β 是任意实数,则
- (αH(1)+βH(2))⋅B=α(H(1)⋅B)+β(H(2)⋅B)
;
- H⋅B
是连续鞅,且若∫0∞Hs2ds<∞,则H⋅B 是L2-有界的;
- (H⋅B)t2−∫0tHs2ds
是鞅。
- E[(H⋅B)t]=0
;
- E[(H⋅B)t2]=E[∫0tHs2ds]
。
Problem 1.
利用Itô 公式证明:Bt2−t是Ft鞅.
证明.
定义:
考虑函数:
其偏导数为:
由\eqref{eq:itobrowniandifferential},我们可得:
由于(dBt)2=dt,代入得:
因此:
其中M0=B02−0=0。
由 命题(ii),对适应过程Hs,∀T若:
则Itô 积分∫0tHsdBs 是连续平方可积鞅。
取Hs=2Bs,则:
故:
是(Ft) - 鞅。
而Mt=It,所以Mt 也是鞅。
接下来我们来验证一下Mt 确实是鞅.
- 对任意0≤s≤t:
由 命题(iv)可知: Itô 积分的期望为0,即上式第二项为零,故:
故Mt=Bt2−t是鞅.
∎
test
test
test
test
test
PDF
Download the original write-up here.