UA MATH565C 随机微分方程I SDE的定义与例子
UA MATH565C 隨機(jī)微分方程I SDE的定義與例子
- 隨機(jī)微分方程的定義
- 白噪聲過程
- SDE的一般形式
- 例子:Ornstein-Uhlenbeck過程
隨機(jī)微分方程的定義
經(jīng)典力學(xué)中描述一個(gè)確定性系統(tǒng)的演化過程通??梢杂梦⒎址匠?#xff0c;比如ODE
dxdt=b(x),x(0)=x0,x,b(x)∈Rn\frac{dx}{dt}=b(x),x(0)=x_0,x,b(x) \in \mathbb{R}^ndtdx?=b(x),x(0)=x0?,x,b(x)∈Rn
但統(tǒng)計(jì)物理中系統(tǒng)都不會(huì)是確定性的,因此一般需要給這個(gè)ODE加一個(gè)噪聲,假設(shè)噪聲項(xiàng)是σ(x)ηt\sigma(x)\eta_tσ(x)ηt?,則
dxtdt=b(xt)+σ(xt)ηt\frac{dx_t}{dt}=b(x_t)+\sigma(x_t)\eta_tdtdxt??=b(xt?)+σ(xt?)ηt?
通常稱b(x)b(x)b(x)為漂移項(xiàng),σ(x)\sigma(x)σ(x)為噪聲的強(qiáng)度,ηt\eta_tηt?是白噪聲。為了讓這個(gè)定義有意義,需要定義一下白噪聲。
白噪聲過程
白噪聲ηt\eta_tηt?是一個(gè)隨機(jī)過程,假設(shè)概率空間為(Ω,F,P)(\Omega,\mathcal{F},P)(Ω,F,P),假設(shè)t∈T=[0,+∞)t\in \mathcal{T} = [0,+\infty)t∈T=[0,+∞),則ηt\eta_tηt?可以看成映射:
ηt:(Ω×T,F?B(T),P?λ)→(Rm,B(Rm))\eta_t:(\Omega \times \mathcal{T},\mathcal{F} \otimes \mathcal{B}(\mathcal{T}),P\otimes\lambda) \to (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m))ηt?:(Ω×T,F?B(T),P?λ)→(Rm,B(Rm))
其中B(T)\mathcal{B}(\mathcal{T})B(T)是T\mathcal{T}T生成的Borel σ\sigmaσ代數(shù),λ\lambdaλ是可測(cè)空間(T,B(T)(\mathcal{T},\mathcal{B}(\mathcal{T})(T,B(T)上的Lebesgue測(cè)度。ηt\eta_tηt?滿足下面三條公理化定義:
但這個(gè)定義有一個(gè)缺點(diǎn),即滿足這個(gè)定義的隨機(jī)過程路徑函數(shù)不可測(cè)。給定w∈Ωw \in \Omegaw∈Ω,ηt(w)\eta_t(w)ηt?(w)是一個(gè)確定性的映射:
ηt(w):(T,B(T),λ)→(Rm,B(Rm))\eta_t(w): (\mathcal{T},\mathcal{B}(\mathcal{T}),\lambda) \to (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m))ηt?(w):(T,B(T),λ)→(Rm,B(Rm))
這個(gè)叫路徑函數(shù)(path function)或者叫這個(gè)隨機(jī)過程的一個(gè)實(shí)現(xiàn)(realization)。
定理1 白噪聲過程的路徑函數(shù)不可測(cè)。
證明的時(shí)候考慮更一般的白噪聲,即去掉假設(shè)3,正式的敘述為:
以及給一個(gè)我自己寫的比較簡(jiǎn)陋的證明:
更完整的敘述可以看Oksendal的Stochastic Differential Equation的第二章。
為了讓它的路徑函數(shù)可測(cè),通常將定義2修正為:
根據(jù)上面1、2、3定義的隨機(jī)過程ηt\eta_tηt?就是白噪聲過程(更準(zhǔn)確地,高斯白噪聲)。
SDE的一般形式
現(xiàn)在重新考慮
dxtdt=b(xt)+σ(xt)ηt?dxt=b(xt)dt+σ(xt)ηtdt\frac{dx_t}{dt}=b(x_t)+\sigma(x_t)\eta_t \\ \Leftrightarrow dx_t = b(x_t)dt + \sigma(x_t)\eta_t dtdtdxt??=b(xt?)+σ(xt?)ηt??dxt?=b(xt?)dt+σ(xt?)ηt?dt
對(duì)于ηtdt\eta_t dtηt?dt,假設(shè)它是某個(gè)隨機(jī)過程WtW_tWt?的全微分,即
dWt=ηtdt?Wt=∫0tηsdsdW_t = \eta_t dt \Leftrightarrow W_t = \int_{0}^t \eta_s dsdWt?=ηt?dt?Wt?=∫0t?ηs?ds
積分的本質(zhì)就是部分和的極限,這些運(yùn)算保證WtW_tWt?也是一個(gè)高斯過程。事實(shí)上我們一般稱WtW_tWt?為Wiener過程或者Brown運(yùn)動(dòng),下一講會(huì)正式定義Wiener過程。有了這個(gè)定義后,可以寫出SDE的一般形式:
dxt=b(xt)dt+σ(xt)dWtdx_t = b(x_t)dt + \sigma(x_t)dW_tdxt?=b(xt?)dt+σ(xt?)dWt?
已知初值的情況下,可以寫出這個(gè)式子的積分:
xt=x0+∫0tb(xs)ds+∫0tσ(xs)dWsx_t = x_0 + \int_0^t b(x_s)ds + \int_0^t \sigma(x_s)dW_sxt?=x0?+∫0t?b(xs?)ds+∫0t?σ(xs?)dWs?
搞清楚了右邊這兩個(gè)積分,我們就可以找到SDE的解了。第一個(gè)積分是
∫0tb(xs)ds\int_0^t b(x_s)ds∫0t?b(xs?)ds
可以看成是對(duì)b(xs)b(x_s)b(xs?)的每一個(gè)路徑函數(shù)積分,這個(gè)就是實(shí)分析的內(nèi)容不用多討論;第二個(gè)積分是
∫0tσ(xs)dWs\int_0^t \sigma(x_s)dW_s∫0t?σ(xs?)dWs?
一般稱其為Ito積分,下下講會(huì)給出Ito積分的正式定義。Ito隨機(jī)分析框架的目標(biāo)就是求解上面的定義的SDE。
一個(gè)更一般的觀點(diǎn)是并不給定ηt\eta_tηt?的具體形式,把SDE看成是隨機(jī)過程ηt\eta_tηt?到隨機(jī)過程xtx_txt?的變換。
例子:Ornstein-Uhlenbeck過程
考慮用如下SDE定義的初值為x0x_0x0?的隨機(jī)過程xtx_txt?:
dxt=?kxtdt+?dWt,k,?>0dx_t = -kx_tdt + \epsilon dW_t,k,\epsilon>0dxt?=?kxt?dt+?dWt?,k,?>0
現(xiàn)在還沒有講過SDE的解法,所以先直觀地思考一下這個(gè)方程。首先我們發(fā)現(xiàn),?dWt\epsilon dW_t?dWt?是時(shí)間dtdtdt內(nèi)的噪聲項(xiàng),排除掉噪聲,原始的系統(tǒng)是
dx=?kxdtdx= -kxdtdx=?kxdt
這個(gè)系統(tǒng)的解就是x(t)=x0e?ktx(t)=x_0e^{-kt}x(t)=x0?e?kt,一般用來描述衰變等過程,這個(gè)解換個(gè)寫法就是x(t)ekt=const.x(t)e^{kt}=const.x(t)ekt=const.,也就是d(x(t)ekt)=0d(x(t)e^{kt})=0d(x(t)ekt)=0。我們可以根據(jù)SDE試圖計(jì)算一下d(xtekt)d(x_te^{kt})d(xt?ekt):
d(xtekt)=ektdxt+d(ekt)xt=ekt(?kxtdt+?dWt)+kektxtdt=?ektdWtd(x_te^{kt}) = e^{kt}dx_t + d(e^{kt})x_t \\ = e^{kt}(-kx_tdt + \epsilon dW_t) + ke^{kt}x_t dt =\epsilon e^{kt}dW_td(xt?ekt)=ektdxt?+d(ekt)xt?=ekt(?kxt?dt+?dWt?)+kektxt?dt=?ektdWt?
也就是說隨機(jī)過程xtektx_te^{kt}xt?ekt的全微分只含有噪聲項(xiàng),求積分:
xtekt=x0+?∫0teksdWs?xt=x0e?kt+?∫0te?k(t?s)dWsx_te^{kt} = x_0 + \epsilon \int_0^t e^{ks} dW_s \\ \Leftrightarrow x_t = x_0 e^{-kt} + \epsilon \int_0^t e^{-k(t-s)}dW_sxt?ekt=x0?+?∫0t?eksdWs??xt?=x0?e?kt+?∫0t?e?k(t?s)dWs?
這個(gè)就是上面那個(gè)SDE的解。這個(gè)包含一個(gè)確定項(xiàng)和一個(gè)隨機(jī)過程,確定項(xiàng)正好是不考慮噪聲的ODE的解。
總結(jié)
以上是生活随笔為你收集整理的UA MATH565C 随机微分方程I SDE的定义与例子的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA MATH636 信息论7 高斯信道
- 下一篇: UA MATH574M 统计学习V Va