|
在第2节的设置和假设下,成本函数可以写成公式(1)。证据使用上述等式(1)中引入的符号,我们得到:(R)Cδ,ε(x,t)=E成本×1{Yt>S- x+}+ E成本×1{年初至今≤ S- x+}= E\'St+f-\'\'S年初至今- x+εP年初至今- x+ε+ E成本×1{年初至今≤ S- x+, Et}+ E成本×1{年初至今≤ S- x+, Ect,τj+1>t}+ E成本×1{年初至今≤ S- x+, Ect,τj+1≤ t}= E\'St+f-\'\'S年初至今- x+εP年初至今- x+ε+ (-x个- r) P(年初至今)≤\'\'S- x+ε,Et)+(-x+f+ε)P((R)Yt≤ S- x+, Ect,τj+1>t)+(-x+f+2ε)P((R)Yt≤ S- x+, Ect,τj+1≤ t) =E\'St+f-\'\'S年初至今- x+εP年初至今- x+ε+ [(-x个- r) ρ(x,t)+(-x+f+2ε)(1- ρ(x,t))]P((R)Yt≤\'\'S- x+ε)- εP((R)Yt≤\'\'S- x+ε,τj+1>t,etc),其中ρ(x,t)=P(Et | Yt≤ S-x+). 在重新排列上述各项后,我们得到等式(1)。引理C.2。设α:=(u- σ/2)/σ和β:=(u+σ/2)/σ,并假设u<0。那么,1+2ασNα√t型-2βσeutNβ√t型> φ(α√t) 2a |u|σ√t、 (50)式中,如果u,a=1≤ - σ/2,如果u>-σ/2.证据让A表示(50)中不等式的左侧,并注意A=N-α√t型- eutNβ√t型+-2uσeutNβ√t型- Nα√t型> N-α√t型- eutNβ√t型,自那时起utN(β√t)- N(α√t) =Zβ√t型-∞eutφ(z)dz-Zα√t型-∞φ(z)dz=z-∞σ√t型eutφv+βtσ√t型- φv+αtσ√t型dv=Z-∞φw+α√t型e-σ√tw公司- 1.dw>0。情形u的不等式≤ - σ/2随后出现,因为(-α√t)- eutN(β√t) >N(-α√t)- N(β√t)≥ min{φ(α√t) ,φ(β√t) }(-α - β)√t=φ(α√t) 2 |u|σ√t、 我们用它的地方-α>β和|α|>β|。对于另一种情况,u>- σ/2,letg(x)=-1.-σαN(αx)+σβeuxN(βx),注意,由于β>0,当u>- σ/2,g(x)=σuφ(αx)+βuxeuxN(βx)≤ 4uφ(αx)。因此,对于某些θ∈ (0,√t) ,g(√t) =g(θ)√t型≤σuφ(αθ)√t型≤σuφ(α√t)√t、 当u>- σ/2.引理C.3。设u<0,并假设ρ=ρ(y,t)在y和t中为常数。设y*(t) 如第4.2条所示。然后,y*(t) /t 9 0,作为t→ ∞.证据
|