因此,由于b是非递减的,我们可以确保点t的存在*∈ (0,T)使得b(T-*) < b(t*), 这允许我们取xin的间隔(b(t-*), b(t*)) 考虑右开矩形R=[t,t*) ×[b(t-*), x] C(见图9),带t∈ (0,t*).txoot*t0b(t-*)b(t*)x0yrd图9:b左连续性证明的图解。使用(t,b(t))的事实,两次应用微积分基本定理∈ D代表所有t∈ [0,T]、光滑fit条件(iii)以及x 7→ V(t,x)是conc,我们得到V(t,x)- G(x)=Zxb(t)Zub(t)(xV(t,v)- xG(v))dv du,(26)对于所有(t,x)∈ R、 另一方面,如果我们设置m:=-sup(t,x)∈RxV(t,x),那么我们很容易从(14)中得到thatm>0(见引理1),它与C上的tV+LXV=λV,且电视≤ 关于C的0(命题2中的(i)和(iv),以及V(t,x)≥ 0表示所有容许对(t,x),给出xV(t,x)=σλV(t,x)-S- xT公司- t型xV(t,x)- 电视(t,x)≥2mσS- xT公司- t> 0,(27)表示所有(t,x)∈ R、 因此,注意到xG(x)=0表示所有x∈ (b(t-*), x) 将(27)插入(26),我们得到v(t,x)- G(x)≥Zxb(t)Zub(t)2mσS- xT公司- tdv du≥2mσS- xT公司- tZxb(t-*)Zub(t-*)dv du=2mσS- xT公司- t(x- b(t-*)).最后,在服用t→ t型*在上述方程的两侧,我们得到V(t*, x)- 所有x的G(x)>0∈ (b(t-*), b(t*)), 这与(t*, x)∈ D、 命题4的证明。假设我们有一个函数c:[0,T]→ 求解(9)和definevc(t,x):=ZTte的R-λ(u-t)T- u+λEt,x[(S- Xu)(Xu≤ c(u))]du(28)=ZTtKσ,λ(t,x,u,c(u))du,其中x=(Xs)Ts=0是一个布朗桥,σ波动率在XT=S处结束,Kσ,λ在(11)处定义。