# 第1章 背景知识

# 1.1 概率论相关

# 1.1.1 期望

期望定义:

E[X]=i=1mxiP{ωΩ:X(ω)=xi}E[X]=\sum_{i=1}^{m} x_i P\{\omega\in \Omega: X(\omega)=x_i\}

包含信息:滤波Ft\mathcal{F}_t,时期TT的随机变量的期望XT(Tt)X_T(T\geq t)定义如下:

E[XTFt]=Et[XT]E[X_T|\mathcal{F}_t]=E_t[X_T]

T=tT=t时,称XtX_t对于FtF_t是可测的,即Xt=E[Xt]X_t=E[X_t].

# 1.1.2 迭代期望

给定滤波FtFs\mathcal{F}_t \subset \mathcal{F}_s

Et[XT]=E[XTFt]=E[E[XTFs]Ft]E_t[X_T]=E[X_T|\mathcal{F}_t]=E[E[X_T|\mathcal{F}_s]|\mathcal{F}_t]

# 1.1.3 鞅

Et[Ss]=St,0tsTE_t[S_s]=S_t, 0\leq t \leq s \leq T,

则称随机过程StS_t为鞅。

# 第2章 布朗运动

# 2.1 定义

给定一系列i.i.d的随机变量X1X_1, ... , XnX_n,满足

E[X1]=μ,Var(X1)=σ2E[X_1]=\mu, Var(X_1)=\sigma^2

(令μ=0\mu=0

定义布朗运动:

Bn(t)=i=1ntXin,i=1,2,...,nt.B_n(t)=\frac{\sum_{i=1}^{nt} X_i}{\sqrt{n}}, i=1,2,...,nt.

布朗运动的基本性质:

  • 正态分布性质

    • nn\to \inftyBn(t)=i=1ntXinN(0,σ2t)B_n(t)=\frac{\sum_{i=1}^{nt} X_i}{\sqrt{n}} \to N(0, \sigma^2t)
    • Bn(t)Bn(s)=i=1ntXii=1nsXin=i=ns+1ntXinN(0,σ2(ts))B_n(t)-B_n(s)=\frac{\sum_{i=1}^{nt} X_i-\sum_{i=1}^{ns} X_i}{\sqrt{n}}=\frac{\sum_{i=ns+1}^{nt} X_i}{\sqrt{n}}\to N(0, \sigma^2(t-s))
  • 独立增量性质

    • Bn(t1),Bn(t2)Bn(t1),Bn(t3)Bn(t2)B_n(t_1), B_n(t_2)-B_n(t_1), B_n(t_3)-B_n(t_2)相互独立
  • 轨迹连续性质

    • nn\to \infty时,Bn(t)B_n(t)越来越接近一个连续函数

# 2.1.1 协方差

给定0st0\leq s \leq t,在时刻0有标准布朗运动B(s)B(s)B(t)B(t)的协方差为:

cov[B(s),B(t)]=scov[B(s), B(t)]=s

# 2.1.2 停时

  • “一种停止观察随机过程的规则”
  • 停时T是一个随机变量
  • 事件{TtT\leq t}只取决于随机过程在时间t之前(包括t)的信息

# 2.1.3 反射定理

定义:对于任意给定的t,布朗运动的最大值(同样是随机变量)

M(t)=sup0stB(s)M(t)=\mathop{sup}_{0\leq s\leq t} B(s)

给定a>0a>0,定义

Ta=inf{t:B(t)=a}T_a=inf\{t: B(t)=a\}

TaT_a为布朗运动第一次到达a点的时刻,是一个随机时间

定理2.1 反射定理

给定一个布朗运动B(t)B(t),对于任意a>0a>0,有

P(M(t)a)=2P(B(t)a)=212πtaexp(x22t)dxP(M(t)\geq a) = 2P(B(t)\geq a)=2\frac{1}{\sqrt{2\pi t}}\int_{a}^{\infty}exp(-\frac{x^2}{2t})dx

定理2.2

对于任意a>0,y0a>0, y\geq0

P[M(t)>a,B(t)<ay]=P[B(t)>a+y]P[M(t)>a, B(t)<a-y]=P[B(t)>a+y]

# 2.2 布朗运动的性质

# 2.2.1 Borel-Cantelli引理

定理 3.1 令An(n1)A_n (n\geq 1) 为某概率空间中的一系列随机时事件序列。若所有AnA_n的概率之和有限,即

n=1P(An)<\sum_{n=1}^{\infty} P(A_n)<\infty

nn\to \infty时,事件将不会发生,即

P(limsupnAn)=0P(\mathop{lim sup}_{n\to \infty}A_n)=0