|
从定理4.2可以看出*最终是线性的。此外,通过选择最佳屏障a*我们知道v\'a*(十)≥ 1.最后,通过定义wqa和Gq,讨论了具有剩余相依保费的保险风险模型的最优红利问题,并证明了风险过程R的强马尔可夫性质-q(t)∧ T)Wq(Rt)∧T∧τ+a*), E-q(t)∧ T)Gq,w(Rt)∧T) 是鞅。亨西-q(t)∧ T)弗吉尼亚州*(Rt)∧T∧τ+a*)这是一杯马丁酒。这意味着弗吉尼亚*在退出[0,a]时停止的R的完整ge发电机的域中*] 那(A)- q) 弗吉尼亚州*(x) =0代表x≤ A.*.为了证明必要性,我们假设函数X 7的连续性不满足条件(12)→ (A)- q) 弗吉尼亚州*(x) 存在一个开且有界的区间J]A.*, ∞例如:(A)- q) 弗吉尼亚州*(x) >0表示所有x∈ J.如果储备过程sxπ取J中的一个值,则设π为不支付任何费用的策略,并遵循策略πa*否则如果我们延长va*到负半轴*(x) =w(x)当x<0时,我们有vπ(x)=例如-qTJva*(RTJ)],x∈ J、 弗吉尼亚州*(x) ,x 6∈ J、 其中TJI由(20)定义。通过应用于过程e的可选停止定理-qtva*(Rt),对于所有x∈ J、 我们得到vπ(x)=Ex[e-qTJva*(RTJ)]=va*(x) +前ZTJ(A)- q) 弗吉尼亚州*(Rs)ds> 弗吉尼亚州*(x) 。这导致了与s策略πa的最优性相矛盾*证据是完整的。定理4.4的证明。在第一步中,我们将展示Limy↑x(A)- q) (弗吉尼亚州)*- vx)(y)≤ 0表示所有x>a*. (37)22 Ewa Marciniak,Zbigniew PalmowskiLet x>a*. 利用支配收敛定理,我们得到↑x(A)- q) (弗吉尼亚州)*- vx)(y)=p(x)(v′a*- v′x)(x)- q(va)*- vx)(x)+Z∞[(弗吉尼亚州)*- vx)(x- z)- (弗吉尼亚州)*- vx)(x)]λF(dz)。到(10)时,我们有:i.(v′a)*- v′x)(x)=0。二、(v′a*- v′x(b)=W′q(b)H′q(a)*) - H′q(x)≥ 0代表b∈ [0,a]*] 通过定义*.iii.(v′a)*- v′x(u)=W′q(u)H′q(u)- H′q(x)≥ 0代表你∈ [a]*, x] 根据假设(13)。四、
|