|
下一个定理需要以下函数:J(t,x):=ExG(tδ,XTδ-t) ,(3.58)K(b(1)、b(2)、c(2);x、 t,s):=Px(Xs)≤ b(2)(t+s))(3.59)+e-rδPxXs≤ b(2)(t+s),Xs+δ≤ b(1)(t+s+δ)+E-rδPxXs≥ c(2)(t+s),Xs+δ≤ b(1)(t+s+δ).定理3.13。(3.5)的值函数V(2)具有以下表示V(2)(t,x)=e-r(Tδ)-t) J(t,x)+rKZTδ-te-rsK(b(1)、b(2)、c(2);x、 t,s)ds(3.60)代表t∈ [0,Tδ]和x∈ (0, ∞). (3.53)和(3.54)的最优停止边界b(2)和c(2)是求解耦合非线性积分方程组SG(t,b(2)(t))=e的唯一连续函数偶-r(Tδ)-t) J(t,b(2)(t))+rKZTδ-te-rsK(b(1)、b(2)、c(2);b(2)(t),t,s)ds(3.61)G(t,c(2)(t))=e-r(Tδ)-t) J(t,c(2)(t))+rKZTδ-te-rsK(b(1)、b(2)、c(2);c(2)(t),t,s)ds(3.62),其中b(2)(tδ)=c(2)(tδ)=K和b(2)(t)≤ K≤ c(2)(t)代表t∈ [0,Tδ]。证据第一步——存在。这里我们证明了b(2)和c(2)解(3.61)-(3.62)。我们首先假设以下条件成立:(i)V(2)在C(2)和D(2)中分别是C1,2,V(2)t+ILXV(2)-rV(2)在C(2)上局部有界∪ D(2)(参见(3.47)-(3.52)和(3.10));(ii)由于单调性,b(2)和c(2)是有界变化的;(iii)x7→ V(2)(t,x)是凸的(命题3.4的再证明);(iv)t 7→ V(2)x(t,b(2)(t)±)和t7→ V(2)x(t,c(2)(t)±)是连续的∈ [0,Tδ)乘以(3.50)和(3.51)。因此对于任何(T,x)∈ [0,Tδ]×(0,∞) 和s∈ [0,Tδ-t] 我们可以在[24]的曲线上应用局部时空公式来计算-rsV(2)(t+s,Xxs)(3.63)=V(2)(t,x)+Mu+Zse-ru(V(2)t+ILXV(2)-rV(2))(t+u,Xxu)IXxu6={b(2)(t+u),c(2)(t+u)}du=V(2)(t,x)+Mu+Zse-鲁(t+u,Xxu)嗨Xxu<b(2)(t+u)+我Xxu>c(2)(t+u)idu=V(2)(t,x)+Mu- rKZse-俄罗斯1+f(t+u,Xxu)我Xxu<b(2)(t+u)杜- rKZse-联阵(t+u,Xxu)IXxu>c(2)(t+u)du,其中我们使用(3.10)、(3.47)和平滑条件(3.50)-(3.51),其中M=(Mu)u≥0是一个真正的鞅。
|