|
(B.1)此外,我们计算-1.Gt{Zt>F-1Z(α)}=(1 -α) 在-T-2.k=0aκ+bk+aκ+bT-T-1.∞F-1Z(α)a+σt(au+b)dFZ(u)=(1)-α) 在-T-2.k=0aκ+bk+aκ+bT-T-1.αa+σt(aF)-1Z(u)+b)du=(1)-α) 在-T-1.k=0aκ+bk+aκ+bT-T-1.aκ+(1)-α) bσt,与(B.1)屈服集结合-1.燃气轮机Gt>VaRαt-1(Gt)=在-T-1.k=0aκ+bk+aκ+bT-tσt=PTt-1.aκ+b.这最终相当于阿瓦尔αt-1(LT)=1-ααF-1Z(u)du Et-1.燃气轮机Gt>VaRαt-1(Gt)=1.-ααF-1Z(u)du PTt-1.aκ+b,这证明了这一说法。命题4.7的证明仔细的证明追踪揭示了它与定理4.5的证明的相似性。为了简单起见,我们设置κ=1-α∫αF-1Z(y)dy和κ=1-α∫αF-t=t时的1Z(y)dy-1.我们有AVaRαT-1(LT)=与AVaRαT一致的κσT-1(LT)。根据定义和(4.8)和(4.9),阿瓦尔αT-2(LT)=AVaRαT-2.阿瓦尔αT-1(LT)=κAVaRαT-2.σT,我们得到了αT-2.σT=ET-2.σTσT>VaRαT-2(σT)=ET-2.σTZT-1> F-1Z(α).引理B.1。Jensen不等式yieldsET的一个应用-2.σTZT-1> F-1Z(α)≤ET-2.σTZT-1> F-1Z(α)1/2.我们取得了进一步的进展-2.σTZT-1> F-1Z(α)=ET-2.a+σT-1(aZT)-1+b)ZT-1> F-1Z(α)=1.-α∞F-1Z(α)a+σT-1.ay+bdFZ(y)=a+σT-1.b+a1-α∞F-1Z(α)ydFZ(y)=a+σT-1.b+aκ,这相当于阿瓦尔αT-2(LT)≤κa+σT-1.aκ+b=κPTT-2.aκ+b=阿瓦尔αT-2(LT)。这证明了t=t-2.那是艾瓦·阿尔·T-2(LT)是阿瓦尔αT-2(LT)。现在假设AVaRαs(LT)≥对于s=T,AVaRαs(LT)成立-1.t+1。接下来我们展示Alsoavarαt(LT)≥AVaRαt(LT)。为此,请注意AVaRαt(LT)=AVaRαtAVaRαt+1(LT)≤阿瓦尔αtAVaRαt+1(LT).
|