UA MATH565C 随机微分方程VI 扩散过程简介
UA MATH565C 随机微分方程VI 扩散过程简介
- Kolmogorov定理
称具有路径连续的Markov Family (ξt,Px)(\xi_t,P_x)(ξt,Px)是一个diffusion,如果C2⊂DA,∀f∈C2C^2 \subset D_A,\forall f \in C^2C2⊂DA,∀f∈C2,
Af(x)=12∑aij(x)∂2f(x)∂xi∂xj+∑bj(x)∂f(x)∂xj=Lf(x)Af(x) = \frac{1}{2} \sum a^{ij}(x) \frac{\partial^2 f(x)}{\partial x^i \partial x^j} + \sum b^j(x) \frac{\partial f(x)}{\partial x^j} = Lf(x)Af(x)=21∑aij(x)∂xi∂xj∂2f(x)+∑bj(x)∂xj∂f(x)=Lf(x)
其中aij,bja^{ij},b^jaij,bj是连续函数。算子LLL被称为generator,它与AAA在C2C^2C2上相等,这个结论由Kolmogorov给出。
Kolmogorov定理
记Uϵ(x)U_{\epsilon}(x)Uϵ(x)是xxx的邻域,Vϵ(x)V_{\epsilon}(x)Vϵ(x)是UϵU_{\epsilon}Uϵ的补集,∀epsilon>0\forall epsilon >0∀epsilon>0,如果下面三个条件在Ω\OmegaΩ上一致成立,则C2⊂DA,∀f∈C2,Af=LfC^2 \subset D_A,\forall f \in C^2,Af=LfC2⊂DA,∀f∈C2,Af=Lf:当t→0t \to 0t→0时,
条件一说明具有路径连续的Markov Family (ξt,Px)(\xi_t,P_x)(ξt,Px)的存在性(Dynkin-Kinney定理)。
证明 (思路)
考虑f∈C2f \in C^2f∈C2的二阶展开:
f(y)=f(x)+∑∂f(x)∂xj(yj−xj)+12∑∂2f(x)∂xi∂xj(yi−xi)(yj−xj)+α∣x−y∣2f(y) = f(x) + \sum \frac{\partial f(x)}{\partial x^j} (y^j - x^j) + \frac{1}{2} \sum \frac{\partial^2 f(x)}{\partial x^i \partial x^j} (y^i - x^i)(y^j - x^j) + \alpha|x-y|^2f(y)=f(x)+∑∂xj∂f(x)(yj−xj)+21∑∂xi∂xj∂2f(x)(yi−xi)(yj−xj)+α∣x−y∣2
其中∣α(x,y)∣|\alpha(x,y)|∣α(x,y)∣有界,∣y−x∣<ϵ,∀ϵ|y-x|<\epsilon,\forall \epsilon∣y−x∣<ϵ,∀ϵ,对于Ptf(x)=∫f(y)P(t,x,dy)P^tf(x) = \int f(y)P(t,x,dy)Ptf(x)=∫f(y)P(t,x,dy),计算
Ptf(x)−f(x)=∫Uϵ(x)[∑∂f(x)∂xj(yj−xj)+12∑∂2f(x)∂xi∂xj(yi−xi)(yj−xj)]P(t,x,dy)+o(t)P^tf(x) - f(x) = \int_{U_{\epsilon}(x)} [\sum \frac{\partial f(x)}{\partial x^j} (y^j - x^j) + \frac{1}{2} \sum \frac{\partial^2 f(x)}{\partial x^i \partial x^j} (y^i - x^i)(y^j - x^j) ]P(t,x,dy) + o(t) Ptf(x)−f(x)=∫Uϵ(x)[∑∂xj∂f(x)(yj−xj)+21∑∂xi∂xj∂2f(x)(yi−xi)(yj−xj)]P(t,x,dy)+o(t)
右边的式子就是Lf+o(t)Lf+o(t)Lf+o(t)。这里的领域可以理解成δ(y−x)\delta(y-x)δ(y−x)不为零的区域,所以对状态空间Ω\OmegaΩ求积分就等于对领域求积分,误差项α∣x−y∣2\alpha|x-y|^2α∣x−y∣2是有界的,所以积分之后误差项就成了o(t)o(t)o(t)。
总结
以上是生活随笔为你收集整理的UA MATH565C 随机微分方程VI 扩散过程简介的全部内容,希望文章能够帮你解决所遇到的问题。
- 上一篇: UA MATH565C 随机微分方程V
- 下一篇: UA MATH571B 试验设计V 2K