UA MATH565C 随机微分方程V Markov Family简介
UA MATH565C 隨機微分方程V Markov Family簡介
- Transition function
- Banach Space Method
ODE的IVP可以看成是對系統的一些變量從初始狀態開始的動態變化過程的建模,與之類似,SDE也可以看成是從初始分布開始的系統的隨機動態變化的過程。為了從變換的觀點研究SDE,這一講介紹Markov性、Markov Family等概念。
Transition function
先定義Markov Family的transition function,在概率空間(Ω,Ft,P)(\Omega,\mathcal{F}_t,P)(Ω,Ft?,P)中定義transition function為P(s,x,t,Γ)P(s,x,t,\Gamma)P(s,x,t,Γ):
這個記號有點抽象,但它就是我們熟悉的Markov轉移概率。可以把xxx理解為初始狀態,sss為開始的時刻,ttt為結束的時刻,Γ\GammaΓ是最終狀態的一個集合,所以這個函數的含義是在sss時刻從xxx狀態開始到ttt時刻轉移到Γ\GammaΓ中的某個狀態的概率。
假設ξt\xi_tξt?是(Ω,Ft,P)(\Omega,\mathcal{F}_t,P)(Ω,Ft?,P)上的一個Markov Process,則它的transition function是:?s≤t,x∈Ω,Γ∈Ft\forall s \le t,x \in \Omega,\Gamma \in \mathcal{F}_t?s≤t,x∈Ω,Γ∈Ft?
P(ξt∈Γ∣ξs)=P(s,ξs,t,Γ)P(\xi_t \in \Gamma|\xi_s) = P(s,\xi_s,t,\Gamma) P(ξt?∈Γ∣ξs?)=P(s,ξs?,t,Γ)
這個敘述幾乎必然地等價于
P(ξt∈Γ∣Fs)=P(s,ξs,t,Γ)P(\xi_t \in \Gamma|\mathcal{F}_s) = P(s,\xi_s,t,\Gamma) P(ξt?∈Γ∣Fs?)=P(s,ξs?,t,Γ)
或者更一般地,對于有界的f∈mFtf \in m\mathcal{F}_tf∈mFt?
E[f(ξt)∣Fs]=∫Ωf(y)P(s,x,t,dy)E[f(\xi_t)|\mathcal{F}_s] = \int_{\Omega} f(y) P(s,x,t,dy)E[f(ξt?)∣Fs?]=∫Ω?f(y)P(s,x,t,dy)
定義Markov Family為(ξt,P(s,x,t,Γ)(\xi_t,P(s,x,t,\Gamma)(ξt?,P(s,x,t,Γ)滿足:
因為初始狀態一般視為給定的ξs=x\xi_s=xξs?=x。Markov Family有如下性質
Markov性 ?B∈F≥t\forall B \in \mathcal{F}_{\ge t}?B∈F≥t?,
Ps,x[B∣Ft]=Pt,ξt(w)[B]P_{s,x}[B|\mathcal{F}_t] = P_{t,\xi_t(w)}[B]Ps,x?[B∣Ft?]=Pt,ξt?(w)?[B]
另外,我們經常需要判斷給定一個隨機過程ξ\xiξ和轉移概率PPP,他們能否構成一個Markov Family。定義
P[ξt1∈Γ1,?,ξtn∈Γn]P[\xi_{t_1} \in \Gamma_1,\cdots,\xi_{t_n} \in \Gamma_n]P[ξt1??∈Γ1?,?,ξtn??∈Γn?]
其中s≤t1≤?≤tns \le t_1 \le \cdots \le t_ns≤t1?≤?≤tn?,這個叫finite-dimensional distribution。如果
P[ξt1∈Γ1,?,ξtn∈Γn]=∫Γ1P(s,x,t1,dy1)∫Γ2?∫ΓnP(tn?1,yn?1,tn,dyn)P[\xi_{t_1} \in \Gamma_1,\cdots,\xi_{t_n} \in \Gamma_n] = \int_{\Gamma_1} P(s,x,t_1,dy_1) \int_{\Gamma_2} \cdots \int_{\Gamma_n} P(t_{n-1},y_{n-1},t_n,dy_n) P[ξt1??∈Γ1?,?,ξtn??∈Γn?]=∫Γ1??P(s,x,t1?,dy1?)∫Γ2???∫Γn??P(tn?1?,yn?1?,tn?,dyn?)
則稱隨機過程ξ\xiξ和轉移概率PPP構成一個Markov Family。主要注意的是它與任一Markov過程最大的區別在于Markov Family具有確定的起點:Ps,x(ξs=x)=1P_{s,x}(\xi_s = x)=1Ps,x?(ξs?=x)=1,而任一Markov過程的起點是隨機的:Ps,x(ξs=x)=Φ(x)P_{s,x}(\xi_s = x)=\Phi(x)Ps,x?(ξs?=x)=Φ(x)。
Banach Space Method
這一講就先介紹一點直覺,為什么需要用Banach空間這個結構來研究Markov Family。簡單起見,我們考慮Markov Chain,Ω={1,2,?,n}\Omega = \{1,2,\cdots,n\}Ω={1,2,?,n},一步轉移概率矩陣為PijP_{ij}Pij?:
Pij=P(ξk+1=j∣ξk=i)P_{ij} = P(\xi_{k+1}=j|\xi_{k} = i)Pij?=P(ξk+1?=j∣ξk?=i)
zzz步轉移矩陣為P(z)=PzP^{(z)} = P^zP(z)=Pz:
Pijz=P(ξk+z=j∣ξk=i)P^{z}_{ij} = P(\xi_{k+z}=j|\xi_{k} = i)Pijz?=P(ξk+z?=j∣ξk?=i)
如果要計算E[g(ξt+1)∣ξt=i]E[g(\xi_{t+1})|\xi_t = i]E[g(ξt+1?)∣ξt?=i],因為轉移矩陣是有的,所以
E[g(ξt+1)∣ξt=i]=∑jPijg(j)=Pg(i)E[g(\xi_{t+1})|\xi_t = i] =\sum_{j} P_{ij}g(j)= Pg(i)E[g(ξt+1?)∣ξt?=i]=j∑?Pij?g(j)=Pg(i)
線性代數的觀點的來看,PPP代表的是一個線性變換。對于一般的Markov Family來說,轉移函數PPP就是一個線性算子,這個算子至少可以用來表示
E[g(ξt)∣ξs=x]E[g(\xi_t)|\xi_s = x]E[g(ξt?)∣ξs?=x]
因為線性算子的性質比較好,至少比積分看起來直觀,所以下一講會介紹Markov Family的算子,以及需要的Banach空間的性質。
總結
以上是生活随笔為你收集整理的UA MATH565C 随机微分方程V Markov Family简介的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA MATH636 信息论9 Berl
- 下一篇: UA MATH565C 随机微分方程V