布朗运动过程的三个路径,接触到上限则结束 击中时 也称为命中时 、首中时 ,是数学 中随机过程 研究裡出现的一个概念,表示一个随机过程首次接触到状态空间 的某个子集 的时间。在特定的例子中,也会被称为离时 (脱离时间 )或回时 (首次回归时间 )。
设 T {\displaystyle T} 是一个有序的指标集 ,比如说是自然数 的集合 N {\displaystyle \mathbb {N} } 、非负实数 集 R + = [ 0 , + ∞ ) {\displaystyle \mathbb {R} ^{+}=[0,+\infty )} 或者是这两者的子集。 T {\displaystyle T} 中的一个元素 t ∈ T {\displaystyle t\in T} 可以被认为是一种记录时间 的方式(离散或连续型)。给定一个概率空间 ( Ω , F , P ) {\displaystyle (\Omega ,{\mathcal {F}},\mathbb {P} )} ,一个可测状态空间 S {\displaystyle S} ,设 X : Ω × T → S = ( X t ) t ∈ T {\displaystyle X:\,\,\Omega \times T\rightarrow S=\left(X_{t}\right)_{t\in T}} 为一个随机过程,并设 A {\displaystyle A} 为 S {\displaystyle S} 中的一个可测 子集。那么,随机过程 ( X t ) t ∈ T {\displaystyle \left(X_{t}\right)_{t\in T}} 首次接触子集 A {\displaystyle A} 的击中时定义为以下的随机变量 [ 1] :155 :
τ A Ω ⟶ T ¯ {\displaystyle \tau _{A}\Omega \longrightarrow {\overline {T}}} τ A ( ω ) := inf { t ∈ T | X t ( ω ) ∈ A } . {\displaystyle \tau _{A}(\omega ):=\,\,\inf\{t\in T\,|\,X_{t}(\omega )\in A\}.} 同样,可以定义 ( X t ) t ∈ T {\displaystyle \left(X_{t}\right)_{t\in T}} 首次离开子集 A {\displaystyle A} 的离时:
ϵ A ( ω ) := inf { t ∈ T | X t ( ω ) ∉ A } = inf { t ∈ T | X t ( ω ) ∈ A c } = τ A c . {\displaystyle \epsilon _{A}(\omega ):=\,\,\inf\{t\in T\,|\,X_{t}(\omega )\notin A\}=\,\inf\{t\in T\,|\,X_{t}(\omega )\in A^{c}\}=\tau _{A^{c}}.} 可以看出离时实际上也是击中时的一种,表示首次接触到要研究的子集的补集 的时间。很多时候,离时也会记为 τ A {\displaystyle \tau _{A}} ,和击中时一样。
另外一种击中时是 ( X t ) t ∈ T {\displaystyle \left(X_{t}\right)_{t\in T}} 后首次回到出发点 { X 0 ( ω ) } {\displaystyle \{X_{0}(\omega )\}} 的击中时,称为回时或首次回归时间:
τ 0 ( ω ) := inf { t ∈ T | X t ( ω ) = X 0 ( ω ) } . {\displaystyle \tau _{0}(\omega ):=\,\,\inf\{t\in T\,|\,X_{t}(\omega )=X_{0}(\omega )\}.} 设 ( W t ) t ∈ R + {\displaystyle \left(W_{t}\right)_{t\in \mathbb {R} ^{+}}} 为 R {\displaystyle \mathbb {R} } 上标准的布朗运动过程 ,则对于任意(实数的)波莱尔 可测子集 A {\displaystyle A} ,都可以定义首次接触 A {\displaystyle A} 的击中时 τ A W {\displaystyle \tau _{A}^{W}} ,并且可以证明这样定义的击中时 τ A W {\displaystyle \tau _{A}^{W}} 都是停时。 如果定义标准布朗运动 ( W t ) t ∈ R + {\displaystyle \left(W_{t}\right)_{t\in \mathbb {R} ^{+}}} 首次离开区间 A r = ( − r , r ) {\displaystyle A_{r}=(-r,r)} 的离时为 ϵ r W = τ A r c W {\displaystyle \epsilon _{r}^{W}=\tau _{A_{r}^{c}}^{W}} ,那么这个离时也是停时,它的数学期望 是: E ( ϵ r W ) = r 2 {\displaystyle \mathbb {E} (\epsilon _{r}^{W})=r^{2}} ,方差 是 Var ( ϵ r W ) = 2 3 r 4 . {\displaystyle \operatorname {Var} (\epsilon _{r}^{W})={\frac {2}{3}}r^{4}.} 对于给定的概率空间,随机过程首次进入状态空间中的一个可测子集 F {\displaystyle F} 的击中时也称为 F {\displaystyle F} 的首发时间(début )。首发定理说明,如果随机过程是循序可测 的,那么可测子集的首发时间一定是停时。循序可测过程包括所有的左连续适应过程 和右连续适应过程。首发定理的证明用到了解析集 的性质。首发定理需要概率空间是完全概率空间 。
首发定理的逆定理指出,所有定义在某个实数时间轴的滤波 上的停时,都能表示为某个状态空间子集的击中时。特别地,存在一个适应的不增随机过程,其路径几乎总是左极限右连续,并且取值为0或1,使得子集 { 0 } {\displaystyle \{0\}} 的击中时就是对应的停时。
^ (英文) Rick Durrett. Probability: theory and examples ,4th edition. Cambridge University Press. 2000. ISBN 0521765390 .