1.1 鞅、停时和域流-随机过程的可测性(布朗运动与随机计算【习题解答】)

1.5 Problem. Let Y be a modification of X, and suppose that both processes have a.s. right-continuous sample paths. Then X and Y are indistinguishable.

问题1.5 设Y是对X的一个修正,并假设这两个过程都有几乎处处右连续的样本路径。那么X和Y无区别。

证明:因为对任意t≥0t\geq 0t≥0,有P(Xt=Yt)=1P(X_t=Y_t)=1P(Xt​=Yt​)=1,选择Q={ri:i≥1}Q=\{r_i:i \geq 1\}Q={ri​:i≥1}。则
P(⋃ri(Xri≠Yri))≤∑riP(Xri≠Yri)=∑ri(1−P(Xri=Yri))=0P\left(\bigcup_{r_{i}}\left(X_{r_{i}}\neq Y_{r_{i}}\right)\right)\leq\sum_{r_{i}}P\left(X_{r_{i}}\neq Y_{r_{i}}\right)=\sum_{r_{i}}\left(1-P\left(X_{r_{i}}=Y_{r_{i}}\right)\right)=0P(ri​⋃​(Xri​​​=Yri​​))≤ri​∑​P(Xri​​​=Yri​​)=ri​∑​(1−P(Xri​​=Yri​​))=0
即P(⋂ri(Xri=Yri))=1P\left(\bigcap_{r_{i}}\left(X_{r_{i}}=Y_{r_{i}}\right)\right)=1P(⋂ri​​(Xri​​=Yri​​))=1。因为两个过程有几乎处处右连续的样本路径,则对于任意序列{ri,t⊂Q}\{r_{i,t}\subset Q\}{ri,t​⊂Q},当ri,t↓tr_{i,t}\downarrow tri,t​↓t,有
*⁡limiXri,t=Xt,limYri,t=Yt,a.s.∀ω∈Ω\operatorname*{lim}_{i}X_{r_{i,t}}=X_{t},\mathrm{lim}\,Y_{r_{i,t}}=Y_{t},a.s.\forall\omega\in\Omega*limi​Xri,t​​=Xt​,limYri,t​​=Yt​,a.s.∀ω∈Ω
可得
1≥P(Xt=Yt,∀t≥0)=P(⋂t(Xt=Yt))=P(⋂t(*⁡limiXri,t=*⁡limiYri,t))=11\geq P (X_{t}=Y_{t},\forall t\geq0)=P(\bigcap_{t}(X_{t}=Y_{t}))=P(\bigcap_{t}(\operatorname*{lim}_{i}X_{r_{i,t}}=\operatorname*{lim}_{i}Y_{r_{i,t}}))=11≥P(Xt​=Yt​,∀t≥0)=P(t⋂​(Xt​=Yt​))=P(t⋂​(*limi​Xri,t​​=*limi​Yri,t​​))=1

1.7 Exercise. Let XXX be a process, every sample path of which is RCLL (i.e.,right-continuous on [0,∞)[0, \infty)[0,∞) with finite left-hand limits on (0,∞)(0, \infty)(0,∞)). Let AAA be the event that XXX is continuous on [0,t0)[0,t_0)[0,t0​). Show that A∈Ft0XA\in \mathscr{F}_{t_0}^XA∈Ft0​X​.

练习1.7:令XXX是某个样本路径都是右连左极的随机过程,AAA是使得XXX在[0,t0)[0,t_0)[0,t0​)连续的事件(集合),则A∈Ft0XA\in \mathscr{F}_{t_0}^XA∈Ft0​X​。

证明:首先证明在题设要求下,有以下结论成立

∃n\exists n∃n,使得∀m\forall m∀m,$\exists q_1,q_2\in Q\bigcap[0,t_0)$,0<∣q1−q2∣<1m0<|q_1-q_2|<\frac{1}{m}0<∣q1​−q2​∣<m1​,有∣Xq1(ω0)−Xq2(ω0)∣>1n|X_{q_{1}}\left(\omega_{0}\right)-X_{q_{2}}\left(\omega_{0}\right)|>\frac{1}{n}∣Xq1​​(ω0​)−Xq2​​(ω0​)∣>n1​
等价于Xt(ω0)X_t (\omega_0)Xt​(ω0​)在某点s∈[0,t0)s\in [0,t_0)s∈[0,t0​)不连续。

选择给定的ω0∈Ω\omega_0\in \Omegaω0​∈Ω,假设Xt(ω0)X_t (\omega_0)Xt​(ω0​)在某点s∈[0,t0)s\in [0,t_0)s∈[0,t0​)不连续,则
*⁡limtj↑sXtn(ω0)≠Xs(ω0)\operatorname*{lim}_{t_{j}\uparrow s}X_{t_{n}}\left(\omega_{0}\right)\neq\,X_{s}\left(\omega_{0}\right)*limtj​↑s​Xtn​​(ω0​)​=Xs​(ω0​)

‘←\leftarrow←’:对某序列{tj:j≥1}⊂Q∗=Q∩[0,t0)\{ t_ {j} :j\geq 1\} \subset Q^ {*}=Q \cap [0, t_ {0}){tj​:j≥1}⊂Q∗=Q∩[0,t0​),这意味着$ \exists n,使得对, 使得对,使得对 \forall m$, $ \exists t’$,$0<s-t’< \frac {1}{3m} $ ,而
∣Xt′(ω0)−Xs(ω0)∣>1n|X_ {t} '( \omega _ {0})- X_ {s}( \omega _ {0})|>\frac {1}{n} ∣Xt′​(ω0​)−Xs​(ω0​)∣>n1​
因为样本路径是右连左极的,存在$ q_ {1} , q_ {2}\in Q^ {*} $使得$0< q_ {1}-s, q_ {2} -t’< \frac {1}{3m} $ 使得

∣Xq1(ω0)−Xs(ω0)∣<14n,∣Xq2(ω0)−Xt(ω0)∣<14n|X_ {q_ {1}}( \omega _ {0} )-X_ {s} ( \omega _ {0} )|< \frac {1}{4n},|X_ {q_ {2}}( \omega _ {0} )- X_ {t} ( \omega _ {0} )|<\frac {1}{4n} ∣Xq1​​(ω0​)−Xs​(ω0​)∣<4n1​,∣Xq2​​(ω0​)−Xt​(ω0​)∣<4n1​
因此 ∣q1−q2∣<1m|q_ {1} - q _ {2} |< \frac {1}{m}∣q1​−q2​∣<m1​,并且

∣Xq1(ω0)−Xq2(ω0)∣>∣Xt′(ω0)−Xs(ω0)∣−∣Xq1(ω0)−Xs(ω0)∣−∣Xq2(ω0)−Xt′(ω0)∣<1n−12n=12n|X_ {q_ {1}}( \omega _ {0} )-X_ {q_ {2}}( \omega _ {0})|>|X_ {t'} (\omega _ {0} )- X_ {s}( \omega _ {0} )|- |X_ {q_ {1}} ( \omega _ {0} )- X_ {s} ( \omega _ {0} )|-|X_ {q_ {2}} ( \omega _ {0})- X_ {t'}(\omega _ {0} )|< \frac {1}{n}- \frac {1}{2n} = \frac {1}{2n} ∣Xq1​​(ω0​)−Xq2​​(ω0​)∣>∣Xt′​(ω0​)−Xs​(ω0​)∣−∣Xq1​​(ω0​)−Xs​(ω0​)∣−∣Xq2​​(ω0​)−Xt′​(ω0​)∣<n1​−2n1​=2n1​
‘→\rightarrow→’:如果∃n\exists n∃n,使得∀m\forall m∀m, 有
∃q1,q2∈Q∗\exists q_{1},q_{2}\in Q^{*}∃q1​,q2​∈Q∗, 0<∣q1−q2∣<1m0< |q_ {1} - q_ {2} |< \frac{1}{m}0<∣q1​−q2​∣<m1​,而且

∣Xq1(ω0)−Xq2(ω0)∣>1n|X_ {q_ {1}}( \omega _ {0} )- X_ {q_ {2}}( \omega _ {0} )|> \frac {1}{n} ∣Xq1​​(ω0​)−Xq2​​(ω0​)∣>n1​

则可以对mmm取12m\frac {1}{2^ {m}}2m1​,选择qm,1,qm,2∈Qt0q_ {m,1}, q_ {m,2}\in Q_ {t_ {0}}qm,1​,qm,2​∈Qt0​​满足∣qm,1−qm,2∣<12m|q_ {m,1}- q_ {m,2}|<\frac {1}{2^ {m}}∣qm,1​−qm,2​∣<2m1​,而
∣Xqm,1(ω0)−Xqm,1(ω0)∣>1n|X_ {q_m,1} (\omega _ {0})- X_ {q_m},1( \omega _ {0} )|>\frac {1}{n} ∣Xqm​,1​(ω0​)−Xqm​​,1(ω0​)∣>n1​
令p=lim⁡infm{qm,1,qm,2}p = \lim inf_ {m} \{ q_ {m,1} ,q_ {m,2}\}p=liminfm​{qm,1​,qm,2​}.则p∈(0,t0)p \in (0, t_ {0} )p∈(0,t0​) 并且Xt(ω0)X_ {t} ( \omega _ {0} )Xt​(ω0​)在ppp处是不连续的。

最后,令
An,m=∪(r,s)∈Q×Q,∣r−s∣<1m{ω∈Ω:∣Xr(ω)−Xs(ω)∣>1n}A_ {n,m} =\cup_{(r,s) \in Q\times Q ,|r-s|< \frac {1}{m}} \{ \omega\in \Omega: |X_ {r} ( \omega )- X_ {s}( \omega )|> \frac {1}{n} \} An,m​=∪(r,s)∈Q×Q,∣r−s∣<m1​​{ω∈Ω:∣Xr​(ω)−Xs​(ω)∣>n1​}
显然
A=(∪n∩mAn,m)CA= (\cup _ {n}\cap _ {m}A_ {n,m})^ {C} A=(∪n​∩m​An,m​)C
即A=lim⁡‾nAn,mCA= \overline{\lim}_ {n}A^C_ {n,m}A=limn​An,mC​,因为An,m∈Ft0A_ {n,m} \in F_ {t_ {0}}An,m​∈Ft0​​ 并且Q∗×Q∗Q^ {*} \times Q^ {*}Q∗×Q∗ 可数, 可得An,mC∈Ft0XA_ {n,m}^ {C}\in \mathscr{F}_ {t_ {0}}^ {X}An,mC​∈Ft0​X​ 并且A∈Ft0XA \in \mathscr{F}_ {t_ {0}}^ {X}A∈Ft0​X​

1.10 Exercise. Let XXX be a process with sample paths are LCRL, and let AAA be the event that X is continuous [0;t0][0; t_0][0;t0​] : Let XXX be adapted to a right-continuous Fáitration {Ft}\{\mathscr{F_t}\}{Ft​}, Show that A∈Ft0XA\in \mathscr{F}_{t_0}^XA∈Ft0​X​。

练习1.10:令XXX是某个样本路径都是左连右极的随机过程,AAA是使得XXX在[0,t0)[0,t_0)[0,t0​)连续的事件(集合),XXX适应于右连续的域流{Ft}\{\mathscr{F_t}\}{Ft​},则A∈Ft0XA\in \mathscr{F}_{t_0}^XA∈Ft0​X​。

证明:XXX是某个样本路径都是左连右极的随机过程,令
Bn,m(r)=⋃mr>1⋂kr>mr{ω∈Ω:∣Xr(ω)−Xr+1kr(ω)∣≤1n}B_{n,m}\left(r\right)=\bigcup_{m_{r}>1}\bigcap_{k_{r}>m_{r}}\left\{\omega\in\Omega:\left|X_{r}\left(\omega\right)-X_{r+{\frac{1}{k_{r}}}}\left(\omega\right)\right|\leq{\frac{1}{n}}\right\} Bn,m​(r)=mr​>1⋃​kr​>mr​⋂​{ω∈Ω:∣∣∣​Xr​(ω)−Xr+kr​1​​(ω)∣∣∣​≤n1​}
显然
A=⋃r∈Q∗⋂n≥1Bn,m(r)A=\bigcup_{r\in\mathbb{Q}^{*}}\bigcap_{n\geq1}B_{n,m}\left(r\right) A=r∈Q∗⋃​n≥1⋂​Bn,m​(r)
因为XXX适应于右连续的域流{Ft}\{\mathscr{F_t}\}{Ft​},则
{ω∈Ω:Xt(ω)<λ}={ω∈Ω:*⁡limXt+kˉ(ω)=Xt(ω)<λ}=∪mt≥1∩kt≥mt{ω∈Ω:Xt+1k(ω)<λ}∈∩k≥mt′Ft+1k=Ft\{\omega\in\Omega:X_{t}(\omega)<\lambda\}=\{\omega\in\Omega:\operatorname*{lim}X_{t+\bar{k}}(\omega)=X_{t}(\omega)<\lambda\}=\cup _ {m_t\geq 1}\cap _ {k_t\geq m_t}\{\omega\in\Omega:X_{t+\frac{1}{k}}(\omega)<\lambda\}\in \cap_{k\geq m'_{t}}\mathscr{F}_{t+\frac{1}{k}}=\mathscr{F}_{t} {ω∈Ω:Xt​(ω)<λ}={ω∈Ω:*limXt+kˉ​(ω)=Xt​(ω)<λ}=∪mt​≥1​∩kt​≥mt​​{ω∈Ω:Xt+k1​​(ω)<λ}∈∩k≥mt′​​Ft+k1​​=Ft​
因此A∈F⊂Ft0XA\in\mathscr{F}\subset \mathscr{F}_{t_0}^XA∈F⊂Ft0​X​

1.16 Problem If XXX is measurable and the r.t. TTT is finite, then the function XTX_TXT​ is a random variable.

问题1.16 如果XXX可测,随机时间TTT有界,则XTX_TXT​是随机变量。

证明:定义τ:Ω→R×Ω\tau:\Omega\rightarrow \mathbb{R}\times \Omegaτ:Ω→R×Ω为
ω↦(T(ω),ω)\omega\mapsto\ (T(\omega),\omega) ω↦ (T(ω),ω)
可以证明$ \tau 是可测的。取是可测的。取是可测的。取A \in B (R \times \Omega )$,则
{ω∈Ω:(T(ω),ω)∈A}=T−1(Aω)∈F\{ \omega \in \Omega :(T( \omega ),\omega ) \in A\} = T^ {-1} ( A_ {\omega } ) \in \mathscr{F} {ω∈Ω:(T(ω),ω)∈A}=T−1(Aω​)∈F
其中 Aω={x∈R:(x,ω)∈A}A_ {\omega } = \{x \in R:(x, \omega ) \in A\}Aω​={x∈R:(x,ω)∈A},即AωA_ {\omega }Aω​是AAA关于xxx的截口。

由于TTT有限并且$ X_ {T} ( \omega )=X(\tau),且对任意,且对任意,且对任意t \in [0,\infty)有有有 X_ {t}\in \mathscr{F}$,则
XT(ω)(ω)∈FX_ {T(\omega )} ( \omega ) \in \mathscr{F} XT(ω)​(ω)∈F

1.17 ProblemLet X be measurable and T a r.t… Show that
FT={{ω:XT∈A},{ω:XT∈A}∪{ω:T=∞}:A∈B(R)}\mathscr{F}_ {T} =\{\{ \omega : X_ {T}\in A\},\{ \omega : X_ {T} \in A\} \cup \{\omega :T=\infty \} :A \in \mathscr{B}(R)\}FT​={{ω:XT​∈A},{ω:XT​∈A}∪{ω:T=∞}:A∈B(R)}
is a sub-σ\sigmaσ-field of F\mathscr{F}F;which is denoted by σ(XT)\sigma(X_T)σ(XT​)

问题1.17 如果XXX可测,随机时间TTT有界,则FT={{ω:XT∈A},{ω:XT∈A}∪{ω:T=∞}:A∈B(R)}\mathscr{F}_ {T} =\{\{ \omega : X_ {T}\in A\},\{ \omega : X_ {T} \in A\} \cup \{\omega :T=\infty \} :A \in \mathscr{B}(R)\}FT​={{ω:XT​∈A},{ω:XT​∈A}∪{ω:T=∞}:A∈B(R)}
是F\mathscr{F}F的子σ\sigmaσ代数。

证明. (a) $ \Omega \in F_ {T} $

  • (b) 令B∈FB \in FB∈F,对某A∈B(R)A \in B(R)A∈B(R),有
    B={ω:XT∈A}B=\{ \omega : X_ {T} \in A\}B={ω:XT​∈A}
    或B={ω:XT∈A}∪{ω:T=∞}B=\{\omega : X_ {T} \in A\}\cup \{\omega :T=\infty \}B={ω:XT​∈A}∪{ω:T=∞}

    BC={ω:XT∈AC}B^ {C} =\{ \omega: X_ {T} \in A^ {C} \}BC={ω:XT​∈AC}或BC={ω:XT∈AC}∩{ω:T<∞}B^ {C} =\{ \omega : X_ {T}\in A^ {C} \}\cap \{\omega:T<\infty\}BC={ω:XT​∈AC}∩{ω:T<∞},有BC∈FTB^ {C} \in \mathscr{F}_ {T}BC∈FT​

  • © 假设Bn∈FTB_ {n} \in F_ {T}Bn​∈FT​ 并且Bn↑BB_ {n} \uparrow BBn​↑B.则对某

  • $A_ {j} ,A_ {k}\in \mathscr{B}® $,有
    B=∪({ω:XT∈Ak}∪{ω:T=∞})∪{ω:XT∈Aj}=(ω:xT∈UkAk}∪{ω:T=∞})∪ω:xT∈∪jAjB= \cup (\{ \omega : X_ {T} \in A_ {k} \} \cup \{\omega :T=\infty \}) \cup \{\omega :X_ {T}\in A_ {j}\}=( \omega : x_ {T} \in U_ {k} A_ {k}\} \cup \{\omega :T=\infty \} )\cup {\omega :x_ {T}\in \cup_j A_ {j}} B=∪({ω:XT​∈Ak​}∪{ω:T=∞})∪{ω:XT​∈Aj​}=(ω:xT​∈Uk​Ak​}∪{ω:T=∞})∪ω:xT​∈∪j​Aj​
    由于
    ∪kAk,∪jAj∈B(R)\cup _ {k} A_ {k} , \cup _ {j}A_ {j} \in \mathscr{B}(R)∪k​Ak​,∪j​Aj​∈B(R),则
    B∈FTB \in \mathscr{F}_ {T} B∈FT​
    因此FT=σ(XT)\mathscr{F}_T= \sigma ( X_ {T})FT​=σ(XT​)是F\mathscr{F}F的子σ\sigmaσ代数.

1.1 鞅、停时和域流-随机过程的可测性(布朗运动与随机计算【习题解答】)相关推荐

  1. 1.2 鞅、停时和域流-停时(布朗运动与随机计算【习题解答】)

    Proposition 11 If E \mathcal{E} E is a non-empty class of sets containing ∅ \varnothing ∅, write E

  2. 百度知道引流有哪些方法?一个互动式的疑问解答

    百度知道引流有哪些方法?一个互动式的疑问解答 今天主要和大家分享的就是如何利用百度在知道这一个方法引爆精准流量. 百度知道,他就是一个问答的平台,是一个互动式的疑问解答,这么一个平台就是有很多问题,你 ...

  3. axios 跨域 流 下载

    跨域 问题 解决思路使用Nginx 插件 代理 安装了webpack-dev-server (其实就是个http 服务器) ,并在webpack的配置文件中添加 devserver-proxy 配置 ...

  4. java 流计算_Java 流收集器 ( Stream Collectors ) ( 一 ) - 统计计算

    首先需要声明的是,我的开发语言是 PHP,但我对所有语言都懂一点点,然后很多文章,都是看到某个知识点就想写些什么 刚刚再浏览某些文章的时候看到 Java 的流收集器 ( Stream Collecto ...

  5. matlab计算地转流程序,geostrophy 用于海洋科学中计算地球流的一系列matlab程序 联合开发网 - pudn.com...

    geostrophy 所属分类:matlab例程 开发工具:matlab 文件大小:14259KB 下载次数:76 上传日期:2016-03-25 08:36:07 上 传 者:楠楠 说明:  用于海 ...

  6. PCB走线和过孔通流能力的标准、影响因素及其计算软件

    前言 在画PCB的时候,我一直对应该用多宽的导线多大的过孔有困惑,线太宽/孔太大难以布线,线太细/孔太小又怕发热影响电路功能.走线/过孔的通流能力和温升到底和哪些因素有关,有没有一些公式或者图表可以在 ...

  7. 流式双染凋亡率的计算_Annexin V-FITC/PI双染法流式细胞术检测细胞凋亡

    看到来我们眼科公共平台来使用Fortessa检测凋亡时,看到很多人都是泪流满面,鉴于此,作者大找网络资源结合自己的理解,针对普遍的问题给眼科的童鞋们一个交代,期待对大家有用,期待大家板砖!! Refe ...

  8. 【随机过程】11 - 泊松过程及其解析计算

    泊松过程定义及其解析计算 文章目录 泊松过程定义及其解析计算 1. 课程回顾与概述 2. 泊松过程的解析计算 2.1 点过程模型建立 2.2 泊松过程与点过程 2.3 泊松过程的概率计算 2.3.1 ...

  9. 5.2 IO流(File类,Propertis配置文件,其他类(打印流,序列流,操作对象的流(序列化接口),随机访问文件的流,管道流,操作基本数据的流,操作数组的流,操作字符串的流),编码表)

    1.File类 IO流的流对象只能操作设备上的数据.File类:1.用来将文件或者文件夹(也称目录)封装成对象. 2.方便对文件和文件夹的属性信息进行操作.(操作文件夹,文件的属性(创建时间,修改时间 ...

最新文章

  1. python第三十课--异常(raise关键字)
  2. 提高PHP代码质量需要注意的地方三
  3. 线性代数知识点总结_2020考研数学线性代数强化复习重点知识点总结
  4. window版docker安装及配置
  5. 方立勋_30天掌握JavaWeb_div和css基础
  6. Tomcat和搜索引擎网络爬虫的攻防
  7. Java java.lang.SecurityException: Prohibited package name
  8. java this self_[原]Javasript 关于self(that) = this用法的理解
  9. log4j2配置文件log4j2.xml
  10. FreeTreeView一个可添加、删除、修改的无限极树形结构
  11. oracle游标作为out参数,oracle 存储过程 带游标作为OUT参数输出
  12. 如何在一个月内通过PMP考试?(含资源)
  13. 脑电EEG代码开源分享 【2.预处理-静息态篇】
  14. 【现控】系统状态空间表达式
  15. setImageResource导致的ANR
  16. ROS机器人操作系统——什么是ROS(一)
  17. 技术人如何才能做好绩效管理提升团队绩效?
  18. windows10系统hosts文件不见了的解决方法
  19. 影视后期制作学习(AE)(父子级链接-表达式)
  20. 如何使用Pixelmator Pro处理图片?mac pixelmator使用教程

热门文章

  1. 2.2.5 Adam优化算法
  2. 【前端学习日记】利用Vue实现跑马灯的效果
  3. .NET 获得指定XML配置文件内容
  4. jmeter中重要组件及其执行顺序
  5. 二维数组中的查找问题
  6. 面向对象的特点封装、继承、多态
  7. 2007年的SEO优化趋势
  8. UA MATH524 复变函数14 Laurent级数
  9. VS调试ReactOS源码环境搭建5 - VS通过串口连接虚拟机
  10. 使用eclipse 进行 Cesium 开发