Chapter 1. 一般概率論重要定義

1.定義(隨機過程).mathbb{T}subseteqmathbb{R} 是一個指標集,稱 X:mathbb{T}	imesOmega
ightarrowmathbb{R}(t,omega)longmapsto X(t,omega)=X_t(omega)(Omega,mathcal{F},P) 上的隨機過程,如果滿足: forall tinmathbb{T}X_t(omega)(Omega,mathcal{F},P) 上的隨機變數。且有以下性質:

  1. forall Binmathcal{B}(mathbb{R}),{X_t^{-1}}(B)inmathcal{F}
  2. 指標集 mathbb{T} 非負,例如 [0,+infty) orleft{ 0,1,2, cdots
ight}
  3. 給定  tinmathbb{T}X_t(omega)Xt 時刻狀態;給定 omegainOmegaleft{ {X_t}(omega):tinmathbb{T}
ight} 稱為與 omega 相關的樣本路徑。

2.定義(域流).(Omega,mathcal{F},P) 中,稱一族 mathcal{F} 的子-sigma 代數 left{ mathcal{F}_t
ight}_{tinmathbb{T}} 為域流(Filtration),如果滿足: forall sleq t ,且 s,tinmathbb{T}mathcal{F_s}subseteqmathcal{F_s}subseteqmathcal{F} 。且稱 (Omega,mathcal{F},left{ mathcal{F}_t
ight}_{tinmathbb{T}},P) 為帶流的概率空間(Filtered Probability Space)。

域流可以理解為某時刻前的信息流,給定某時刻的域流意思是給定這個時刻及這個時刻前的所有信息。

3.定義(隨機變數生成的 sigma-代數).X(Omega,mathcal{F},P) 上的隨機變數,稱由 left{ {X^{-1}}(B):Binmathcal{B}(mathbb{R}) 
ight} 生成的 sigma-代數為由 X 生成的 sigma-代數,記為: sigma(X)=sigmaleft{ {X^{-1}}(B):Binmathcal{B}(mathbb{R})
ight}

可以這樣理解,有一些生成這個隨機變數 X 的事件, sigma(X) 表示這些事件產生的 sigma-代數,即這些事件的差、並、交、補。

4.定義(可測性).X(Omega,mathcal{F},P) 上的隨機變數, mathcal{G}mathcal{F} 的子-sigma 代數,稱 Xmathcal{G}-可測,如果有: sigma(X)subseteqmathcal{G}Leftrightarrowforall Binmathcal{B}(mathbb{R}),X^{-1}(B)subseteqmathcal{G}

如果稱 Xmathcal{G}-可測,則給定一些事件,由這些事件的差、並、交、補等事件集合可以得出 X 的值。

5.定義(適應性).left{ X_t
ight}_{tinmathbb{T}}(Omega,mathcal{F},left{ mathcal{F}_t
ight}_{tinmathbb{T}},P) 上的隨機過程,稱 X mathcal{F}_t-適應(Adapted)的,如果滿足: forall tinmathbb{T}X_t  mathcal{F}_t-可測。

6.定義(獨立性).(Omega,mathcal{F},P) 上,設 mathcal{G}mathcal{H} 均為 mathcal{F} 的子-sigma 代數,稱 mathcal{G}mathcal{H} 獨立,若有: mathbb{P}(A{cap}B)=mathbb{P}(A)mathbb{P}(B),forall Ainmathcal{G},Binmathcal{H}

  • X,Y 均為隨機變數,稱 XY 是獨立的,如果有: sigma(X)sigma(Y) 獨立。

Chapter 2. 布朗運動

1.定義(L^p-收斂).left{ X_n 
ight}_{n=1,2,cdots},X 均為 (Omega,mathcal{F},P) 中的 r.v. ,稱 left{ X_n 
ight} L^p-收斂於 X ,若有: E|X_n|^p<infty,E|X|^p<infty,(n=1,2,cdots) ,且 lim_{n
ightarrowinfty}{E|X_n-X|^p}=0 ,記為: X_nxrightarrow{L^p}X

  • p=2 ,稱 L^p-收斂為均方收斂;
  • 1le p_1le p_2 ,若 X_nxrightarrow{L^{p_2}}X ,則有 X_nxrightarrow{L^{p_1}}X

2.定義(鞅).(Omega,mathcal{F},P) 上,稱隨機過程 left{ X_t
ight}_{tin[0,T]} 為關於域流 left{ mathcal{F}_t
ight}_{tin[0,T]} 的上鞅,若滿足:

  1. X_t  mathcal{F}_t-適應的;
  2. forall tin[0,T],E|X_t|<infty
  3. 對於 tle sin[0,T],X_t{ge}E[X_s |mathcal{F_t}],a.s.
  • 性質3.中 「ge」 換為 「le」 ,稱 X mathcal{F}_t-下鞅;
  • X 既為  mathcal{F}_t-上鞅,也為  mathcal{F}_t-下鞅,稱 X mathcal{F}_t-鞅(Martingale)。

X mathcal{F}_t-鞅,則其期望等於初值 E[X_t]=E[X_t|mathcal{F_0}]=X_0 ;其條件期望 E[X_t |mathcal{F_s}]=X_s

3.定義(平穩/獨立增量). left{ X_t,t{ge}0
ight} 為一隨機過程,稱:

  • X 具有獨立增量,若: forall nin N_+,及 0=t_0<t_1<cdots<t_n<cdotsleft{ X(t_i)-X(t_{i-1}),1{le}i{le}n
ight} 互獨;
  • X 具有平穩增量,若: forall nin N_+,及 0=t_0<t_1<cdots<t_n<cdotsX(t_n)-X(t_{n-1})overset{d}{=}X(t_n-t_{n-1})-X(0)

4.定義(布朗運動).(Omega,mathcal{F},P) 上,稱 W 是一個布朗運動,若滿足:

  1. W(0)=0,a.s. ,且 W(t) 關於 t 連續 a.s.
  2. W 具有獨立增量;
  3. W 具有平穩增量,且 W(t)sim N(0,t),forall t>0

對於 s<t ,由獨立增量有 W(t)-W(s) 獨立於 mathcal{F_s} ,由平穩獨立增量有 W(t)-W(s)=W(t-s)sim N(0,t-s)

5.布朗運動的概率分布.對於 forall nin N_+,及 0{le}t_0<t_1<cdots<t_n , 則有限維隨機向量 m{X_n}=(W(t_1),W(t_2),cdots,W(t_n))^T 的期望、協方差矩陣和矩母函數:

  • 期望 E(m{X_n})=m{0} ,顯然;
  • 協方差矩陣

Cov(m{X_n})=E(m{X_n}m{X_n}^T)=(t_iwedge t_j)_{{1{le}i,j{le}n}\{n	imes n}}=m{Sigma_n}=  egin{pmatrix} t_1 & t_1 & t_1 & cdots & t_1\ t_1 & t_2 & t_2 & cdots & t_2\  t_1 & t_2 & t_3 & cdots & t_3\  vdots & vdots & vdots & ddots & vdots\  t_1 & t_2 & t_3 & cdots & t_n end{pmatrix}

證明:forall 0{le}s<t ,有:

egin{aligned} Cov[W(s)W(t)] &= E[W(s)W(t)]-E[W(s)]E[W(t)]\ &= E[W(s)W(t)] \ &= E[W(s)(W(t)-W(s))+W^2(s)]\ &= E[W(s)]E[W(t-s)] +E[W^2(s)]\ &=Var[W(s)]\ &=s end{aligned}

  • 矩母函數 varphi_{X_n}(m{u})=E(e^{m{u}^Tm{X_n}})=E[e^{sum_{i=1}^{n}{u_iW(t_i)}}]=expleft{{frac{1}{2}m{u}^Tm{Sigma_n^{-1}}m{u}}
ight}

6.定理(布朗運動的鞅性質).W mathcal{F}_t-布朗運動,則 W mathcal{F}_t-鞅。

證明:

  • 顯然 W mathcal{F}_t-適應的;
  • E|W(t)|=0<infty
  • 鞅等式成立:

egin{aligned} E[W(t)|mathcal{F_s}]&=E[W(t)-W(s)+W(s)|mathcal{F_s}]\ &=E[W(t-s)|mathcal{F_s}]+E[W(s)|mathcal{F_s}]\ &=E[W(t-s)]+W(s)\ &=W(s)  end{aligned}

證明鞅等式時,利用 W(t) 的獨立增量性質,構造增量後拆分為 W(t-s)W(s) 兩部分,前者與 mathcal{F_s} 獨立,後者為 mathcal{F_s}-可測。

7.定理.W(t) mathcal{F}_t-布朗運動,則:

  1. W^2(t)-t mathcal{F}_t-鞅;
  2. forall uinmathbb{R},e^{uW(t)-frac{u^2}{2}t} mathcal{F}_t-鞅。

8.定義(p -階變差).T>0 且固定,取 [0,T] 的劃分: 0{le}t_0<t_1<cdots<t_n=T ,記 ||{Pi}||=max_{j=0,1,cdots,n-1}(t_{j+1}-t_j) ;稱 V_T^p(f)=lim_{||Pi||
ightarrow0}sum_{j=0}^{n-1}{|f(t_{j+1})-f(t_j)|^p}fp -階變差。

  • (一階變差)

egin{aligned} V_T^1(f)&=lim_{||Pi||
ightarrow0}sum_{j=0}^{n-1}{|f(t_{j+1})-f(t_j)|}\ &=lim_{||Pi||
ightarrow0}sum_{j=0}^{n-1}{|f(t_{j}^*)|(t_{j+1}-t_j)}\ &=int_{0}^{T}|f(t)|dt  end{aligned}

9.布朗運動的樣本路徑性質. W(t) 作為 t 的函數有以下性質:

  1. W(t) 關於 t連續;
  2. 任意區間內(無論區間多小), W(t) 非單調;
  3. W(t) 在任意點處不可導;
  4. 任意區間內(無論區間多小), W(t) 的一階變差為 infty
  5. forall tinmathbb{R^+}W(t)[0,t] 上的二階變差為 t

10.定理(布朗運動的二次變差).W 為布朗運動,則 forall T>0 ,布朗運動的二次變差 [W,W](T)=T, a.s.

證明:

V_T^2(W)=lim_{||Pi||
ightarrow0}sum_{j=0}^{n-1}{|W(t_{j+1})-W(t_j)|^2}=lim_{||Pi||
ightarrow0}Q_Pi

則: E(Q_Pi)=sum_{j=0}^{n-1}{E[W(t_{j+1})-W(t_j)]^2}=sum_{j=0}^{n-1}(t_{j+1}-t_j)=T

egin{aligned} E[Q_Pi-E(Q_Pi)]^2&=E(Q_Pi-T)^2=Var(Q_Pi)\ &=sum_{j=0}^{n-1}{Var[W^2(t_{j+1}-t_j)]}\ &=sum_{j=0}^{n-1}left{E[W^4(t_{j+1}-t_j)]-E^2[W^2(t_{j+1}-t_j)]
ight}\ &=sum_{j=0}^{n-1}[3(t_{j+1}-t_j)^2-(t_{j+1}-t_j)^2]\ &=2sum_{j=0}^{n-1}(t_{j+1}-t_j)^2\ &le2||Pi||sum_{j=0}^{n-1}(t_{j+1}-t_j)=2||Pi||T end{aligned}

||Pi||
ightarrow0 時, E(Q_Pi)=T,Var(Q_Pi)
ightarrow0 ,可見 Q_PiL^2-收斂到 T ,即 forall T>0 ,布朗運動的二次變差 [W,W](T)=T, a.s.

  • 證明過程用到了正態峰度的結論,即若 Xsim N(mu,sigma^2) ,有其四階矩E[(X-mu)^4]=3E(X^2)=3sigma^2

11.定義(馬爾可夫過程).稱隨機過程 X 是相對於域流 left{ mathcal{F}_t
ight}_{tge0} 的馬爾可夫過程(Markov Process),若 forall s<t ,及有界Borel可測函數 phi:mathbb{R}^d
ightarrowmathbb{R} ,有 :

E[phi(X_t)|mathcal{F_s}]=E[phi(X_s)|sigma(X_s)],a.s. ,或等價地有:

forall Ainmathcal{B}(mathbb{R}^d),mathbb{P}(X_tin A|mathcal{F_s})=mathbb{P}(X_sin A|mathcalsigma(X_s))

12.定理(布朗運動的馬爾可夫性質).W mathcal{F}_t-布朗運動,則 W(t) 是相對於  mathcal{F}_t 的馬爾可夫過程。

證明:

forall s<t ,及有界Borel可測函數 fegin{aligned} E[f(W_t)|mathcal{F_s}]&=E[f(W_{t-s}+W_s)|mathcal{F_s}]\ &=frac{1}{sqrt{2pi(t-s)}}int_{-infty}^{infty}f(w+W_s)e^{-frac{w^2}{2(t-s)}}dw\  end{aligned}

	au=t-s,y=w+W_s ,得:

egin{aligned} E[f(W_t)|mathcal{F_s}]&=frac{1}{sqrt{2pi	au}}int_{-infty}^{infty}f(y)e^{-frac{(y-W_s)^2}{2	au}}dy\  end{aligned}

定義布朗運動的轉移密度函數
ho(	au,W_s ,y)=frac{1}{sqrt{2pi	au}}e^{-frac{(y-W_s)^2}{2	au}} ,則:

egin{aligned} E[f(W_t)|mathcal{F_s}]&=frac{1}{sqrt{2pi	au}}int_{-infty}^{infty}f(y)e^{-frac{(y-W_s)^2}{2	au}}dy\ &=int_{-infty}^{infty}f(y)p(	au,W_s,y)dy\ &=g(W_s) end{aligned}

可見 E[f(W_t)|mathcal{F_s}] 是關於 W_s 的函數,與先前時刻無關,因此是馬爾可夫過程。

13.定義(停時).在帶流概率空間 (Omega,mathcal{F},left{ mathcal{F}_t
ight}_{tge0},P) 中的一個 r.v.T:Omega
ightarrow[0,infty)cupleft{ infty
ight} 稱為隨機時(Random Time)。若隨機時滿足: forall tin[0,infty),left{ Tle t
ight}=left{ omega:T(omega)le t
ight}inmathcal{F}_t ,則稱之為  mathcal{F}_t-停時(Stopping Time)。

14.定義(首達時間).設布朗運動 W_0=0W_t 連續, m 為任意實數,定義水平為 m 的首達時間為: 	au_m=infleft{ tge0:W_t=m
ight}

  • infleft{ varnothing 
ight}=infty
  • 	au_m 是一個停時。

15.定義(停止過程).	au 是一個停時, X_t 為一隨機過程,則 X_t^{	au}= left{egin{aligned} X_t,tle T\ X_	au,t>T  end{aligned}<br />
ight.=X_{twedge	au} 為一個停止過程。

  • Z_t=expleft{ sigma W_t-frac{1}{2}sigma^2t
ight} 是指數鞅;
  • 停止過程 Z_t^{	au_m}=Z_{twedge{	au_m}} 仍是一個鞅。

停止過程 Z_{twedge 	au_m} 表示的是達到水平 m 之前是隨機過程 Z_t ,達到水平 m 之後一直保持這個值。

16.定理(首達時間有限).對於 minmathbb{R} ,布朗運動關於水平 m 的首達時間 	au_m 幾乎必然有限。

證明:

對於指數鞅有: E[Z_{twedge	au_m}]=Eigg[expleft{ sigma W_{twedge	au_m}-frac{1}{2}sigma^2(twedge	au_m)
ight}igg]=Z_0=1

假設 sigma>0,m>0 ,當 tle	au_m ,布朗運動總是不超過水平 m ,故有: 0leexpleft{ sigma W_{twedge	au_m}
ight}leexpleft{ sigma m
ight}

t
ightarrowinfty 時,若 	au_m<inftyexpleft{-frac{1}{2}sigma^2(twedge	au_m)
ight}=expleft{-frac{1}{2}sigma^2	au_m
ight}

	au_m=inftyexpleft{-frac{1}{2}sigma^2(twedge	au_m)
ight}=expleft{-frac{1}{2}sigma^2t
ight}
ightarrow0

總之,有: lim_{t
ightarrowinfty}expleft{sigma W_{twedge	au_m}-frac{1}{2}sigma^2(twedge	au_m)
ight}=mathbb{I}_{left{	au_m<infty
ight}}expleft{sigma m-frac{1}{2}sigma^2	au_m
ight}

兩邊取期望,化為指數鞅的等式,故有: 1=Eigg[mathbb{I}_{left{	au_m<infty
ight}}expleft{sigma m-frac{1}{2}sigma^2	au_m
ight}igg]

或等價地有:

Eigg[mathbb{I}_{left{	au_m<infty
ight}}expleft{-frac{1}{2}sigma^2	au_m
ight}igg]=e^{-sigma m}

等式對所有 sigma>0 成立,故令 sigmadownarrow0 取極限,得到:

Eig[mathbb{I}_{left{	au_m<infty
ight}}ig]=1 ,即 mathbb{P}(	au_m<infty)=1

由於 	au_m 以概率1有限,稱水平首達時間 	au_m 幾乎必然有限。

Chapter 2.5. 補充內容

1.定理(布朗運動的其他變差).對於 T>0 ,選取劃分 Pi:0{le}t_0<t_1<cdots<t_n=T ,當分點數目 n
ightarrowinfty 且最大子區間長度 ||Pi||
ightarrow0 時,對布朗運動 W 的幾乎所有路徑:

  • 一階變差 sum_{j=0}^{n-1}{|W(t_{j+1})-W(t_j)|} 趨於 infty
  • 三次變差 sum_{j=0}^{n-1}{|W(t_{j+1})-W(t_j)|^3} 收斂於 0

(證明略.)

普通函數的一階變差有限,二次變差為 0 ;布朗運動與其他函數的區別在於其一階變差為 infty ,二次變差有限,三階變差為 0 ;這也是隨機微積分與普通的微積分的主要區別;

可以這樣類比,一個函數二階導數不為 0 時,用 Taylor 展式逼近時如果僅用一次項,會產生很大的誤差,需要用二次項去逼近。

2.定義(協變差).T>0 且固定,取 [0,T] 的劃分: 0{le}t_0<t_1<cdots<t_n=T ,記 ||{Pi}||=max_{j=0,1,cdots,n-1}(t_{j+1}-t_j) ;稱 :[f,g](t)=lim_{||Pi||
ightarrow0}sum_{j=0}^{n-1}{igg|ig[f(t_{j+1})-f(t_j)ig]·ig[g(t_{j+1})-g(t_j)ig]igg|}

fg 的協變差。

  • f(t)=W(t),g(t)=t ,有: [W,t](t)=0
  • f(t)=g(t)=t ,有: [t,t](t)=0

(證明略.)

布朗運動二次變差及協變差的累積速率.

  • 布朗運動二次變差的累積速率可寫為: d[W,W](t)=dW_tdW_t=dt
  • 布朗運動與 t 協變差的累計速率可寫為: d[W,t](t)=dW_tdt=0
  • tt 協變差的累計速率可寫為: d[t,t](t)={dt}{dt}=0
  • 綜上,有重要的幾個微分形式的等式:

left{egin{aligned} &dW_tdW_t=dt \ &dW_tdt=0\ &dtdt=0  end{aligned}
ight.


推薦閱讀:
相关文章