|
尤其是Θ和Mefremain在从p变为PC时相同。注意πα,Ct(H)=πα,0t(C+H)- πα,0t(C),表示πα,0t(H)=essinfQ∈MefEQt[H]+αEqthlogzqtzqtzqti- αessinfQ∈MefEQthαlogZQTZQti!!。在下面的命题中,我们陈述了指数差值的一些动态性质。提案3.1。对于α∈(0, ∞) andC公司∈ L∞, (πα,Ct)t∈[0,T]定义映射πα,Ct:L∞(英尺)高7→ πα,Ct(H)∈ L∞(Ft)满足(1)“C\'adl\'ag版本”:ForH∈ L∞,kπα,Ct(H)k∞≤ kHk公司∞, t型∈[0,T],并且存在一个c\'adl\'agprocessΓhw,对于每个T∈ [0,T]和ΓHτ=-αlog essinfθ∈ΘEQE,Cτhe-α(H+RTτθtrsdSs)i=:πα,Cτ(H),对于τ∈ T、 式中,用PC.(2)“严格的)单调性”替换P后,QE,Cis EMMM来自等式(2.3):IfH≤ Hthenπα,Cτ(H)≤ πα,Cτ(H)表示所有τ∈ T、 如果附加πα,C(H)=πα,C(H),则H=H。(3)“复制不变性”:πα,CτH+xτ+RTτθtrsds=πα,Cτ(H)+xτ,对于anyH∈L∞, τ ∈ T、 xτ∈ L∞(Fτ),θ∈ Θ.(4) “复制成本保持”:πα,Cτxτ+RTτθtrsds=xτ,对于任意τ∈ T、 xτ∈L∞(Fτ),θ∈ Θ.(5) “局部性质”:πα,Cτ(H∧+H∧C)=∧πα,Cτ(H)+∧Cπα,Cτ(H),对于anyH,H∈L∞, τ ∈ T、 ∧∈ Fτ。(6) “(停止)时间一致性”:πα,Cτ(H)=πα,Cτ(πα,Cσ(H)),对于anyH∈ L∞,τ ∈ Twithσ∈ Tτ。(7) “连续性”:如果是连续的,则对于任何序列(Hn)n∈无边界内部∞概率收敛到某个H∈ L∞作为n→ ∞, 一个哈苏普∈[0,T]|πα,Ct(Hn)- πα,Ct(H)|-→ 0的概率为n→ ∞.和Schweizer[]或是简单的概括。请注意,只有caseC=0必须beC∈ L∞Ppct 2中的严格单调性。,我们使用公式(3.2)的分子中的上确界,见[7]中的定理2.2。以下结果与第7部分相反。在上面提案3.2。LetFbe连续,α∈(0, ∞) andC公司∈ L∞. 让(Hn)n∈Nand(ηn)n∈NBE有界序列inL∞使ηn≤P-a.s.适用于所有N∈ Nandπα,C(Hn+ηn)-πα,C(Hn)-→0,作为n→ ∞.
|