|
唯一性证明在现代最优停止文献中是标准的,可以追溯到[14](更多示例请参见[15])。然而,我们在附录中为感兴趣的读者提供了完整的论据。允许V(n)n≥0是一个带V(n)的序列∈ C∞([0,T)×R+),以便(见[8,第7.2节])V(n),V(n)x,V(n)t→ (V、Vx、Vt)(4.37)为n↑ ∞, 在任意紧集上一致,且Limn→∞(V(n)xx- Vxx)(t,x)=0表示所有(t,x)/∈ C、 (4.38)Let(Km)m≥0be是收敛到[0,T]×R+且定义τm=inf{s>0的紧集的递增序列:(T+s,Xxs)/∈ Km}∧ (T- t) 。然后,It^o演算的一个应用给出了sv(n)(t,x)=Ee-Rτmr(t+u)duV(n)(t+τm,Xxτm)-Zτme-Rsr(t+u)duV(n)t+LV(n)- r(t+s)V(n)(t+s,Xxs)ds.(4.39)我们想让n↑ ∞ 当注意到(t+s,Xs)在s的压缩中时,使用(4.37)和(4.38)≤ τm,其定律对于[0,T]×R+上的lebesgue测度是绝对连续的。后者尤其意味着P(t+s,Xxs)∈ C= 022 T.DE ANGELIS和G.STABILEfor all s∈ [0,T- t) 并允许使用(4.38)。回想一下,V、Vx、vt和vxx是局部有界的。然后,从支配收敛和(4.39)得到v(t,x)=limn→∞V(n)(t,x)=Ee-Rτmr(t+u)duV(t+τm,Xxτm)-Zτ我-Rsr(t+u)du(Vt+LV- r(t+s)V(t+s,Xxs)ds.因此,使用(2.8)(或等效推论3.5)我们还可以发现V(t,x)=Ee-Rτmr(t+u)duV(t+τm,Xxτm)+Zτme-Rsr(t+u)duβ(t+s)Xxs{(t+s,Xxs)∈C} ds+Zτme-Rsr(t+u)duβ(t+s)Xxs- H(t+s,Xxs){(t+s,Xxs)∈S} ds公司.最后我们拿m↑ ∞, 使用τm↑ (T- t) V(t,x)=G(t,x),应用优势收敛得到(4.35)。5、数值搜索我们将前几节中获得的结果应用于一些实际感兴趣的情况。为简单起见,在整个部分中,我们取ρ=bρ。
|