|
引理2.2的证明。因为案例q≤ 1是微不足道的,我们关注的是q>1的情况。假设D*<p(q)- 1)/2. 然后我们可以取(t,x),这样x/√1.- T∈ (D)*,p(q)- 1)/2).与引理2.1 giveEt,x[|xτ的证明中的论点类似的论点(√(q)-1)/2)∧T-(0)|q]=Et,x[Xqτ(√(q)-1)/2)∧T-(0)] ≥ xq,其中T-(0)的定义如(A.2)所示。此外,因为| Xτ(√(q)-1) /2)| q≥ Xqτ(√(q)-1)/2)∧T-(0)a.s.,我们也有Et,x[|xτ(√(q)-1) /2)| q]≥ xq。另一方面,通过(2.16)和(2.18),以及因为(q- 1) /2>x/√1.- t>D*, 我们必须有xq=Et,x[|xτ(x/√1.-t) |q]>Et,x[|xτ(√(q)-1) /2)| q]。正如所希望的那样,这是一个矛盾。布朗桥的最优双停止23引理3.3的证明。区分(3.6),十五*(t,x)=v(C)*)√2π十、√1.- tex/(2(1)-t) )Φ(-x/√1.- (t)-√2π,还有亨塞利姆↓C*√1.-T十五*(t,x)=v(C)*)√2πC*e(C)*)/2Φ(-C*) -√2π= C*√2π(1 -(B)*))e(C)*)/2Φ(C)*) - (C)*)-Φ(C)*)Φ(-C*)(1 - (B)*)) + C*√2πΦ(-C*)E-(C)*)/另一方面,limx↑C*√1.-Txf(t,x)=√2π(1 -(B)*))C*e(C)*)/2Φ(C)*) - (B)*).两个极限之间的差异↓C*√1.-T十五*(t,x)- 利克斯↑C*√1.-Txf(t,x)=1- (C)*)-1+Φ(C)*)Φ(-C*)(1 - (B)*)) + C*√2πΦ(-C*)E-(C)*)/2=Φ(-C*)hΦ(-C*)(1 - (C)*)) - (Φ(-C*) + Φ(C)*))(1 - (B)*)) + C*√2πe-(C)*)/2i=-u(C)*)Φ(-C*),由于我们选择了C,它等于0*如引理3.1。引理4.4的证明。我们证明了x=B的可微性*√1.- t(x的值=-B*√1.- t(对称性)。关于x的微分(4.2)给出xJ*(t,x)=(1)- t) n(F2n+1+G2n+1)(x/√1.- t) j(B)*),通过备注4.1,limx↑B*√1.-TxJ*(t,x)=(1)- t) n(B)*)2n+1(F2n+1+G2n+1)(B)*)F2n+1(B)*)= (1 - t) n(B)*)2n+1F2n+1(B*) - F2n+1(-B*)F2n+1(B)*).(A.3)另一方面,xg(t,x)=-(1 - t) n(B)*)2n+1F2n+1(-x/√1.- t) F2n+1(B)*)+ (2n+1)x2n。因此,limx↓B*√1.-Txg(t,x)=-(1 - t) n(B)*)2n+1F2n+1(-B*)F2n+1(B)*)-2n+1B*,24 E.J.BAURDOUX、N.CHEN、B.A.SURYA和K.Yamazakia,根据需要,它们等于(A.3)乘以(2.8)。
|