|
对于给定过程Y和a fixed stoppingtimeθ∈ T,我们用Ec(Yθ)表示唯一的Y∈ 从而存在一个策略ψ∈ ψ(y,-A) 满足Vθ(y,ψ)=yθ。检查thatx也很容易- Ec(Yτ)=p∈ R | ψ ∈ ψ(x- p-A) :Vτ(x- p、 ψ)=Yτ. (10) 至于套期保值者(见假设2.4),我们假设博弈合同对于缔约方是可复制的。假设2.7。我们假设流程jc对于交易对手是可复制的,从某种意义上讲,对于给定的x∈ R和每个σ,τ∈ T存在一对(q,ψ)∈ R×ψ(x+q,-A) 使得vθ(x+q,ψ)=Jc(σ,τ)。对于交易对手,我们对最佳复制的定义如下,对应于套期保值者的定义2.10。定义2.15。我们说一个三重态(vc(x),σ*,c、 τ*,c)∈ R×T×T是博弈契约Cgif vc(x)=x的对手最优复制问题的一个解- Ec(Jc(σ*,c、 τ*,c) )其中停车时间σ*,坎德τ*,注意EC(Jc(σ*,c、 τ*,c) )=最小τ∈Tmaxσ∈TEc(Jc(σ,τ))。(11) 假设2.8。博弈合约的对手最优复制问题Cghas解(vc(x),σ*,c、 τ*,c) 。此外,对于p*,c=vc(x)存在ψ*∈ ψ(x- p*,c-A) 因此,三联体(p*,c、 ψ*, τ*,c) satis(SH′)和四倍体(p*,s、 ψ*, σ*,c、 τ*,c) 满足度(BE′),因此Kr,c(x)6=.根据定义2.14,三联体(p*,c、 ψ*, σ*,c) 满足不等式Vσ*,c∧t(x-p*,c、 ψ*) ≥Jc(σ*,c、 t)对于所有t∈ [0,T]。省略了艾玛2.7的证明,因为它类似于艾玛2.5和2.6的证明。引理2.7。如果满足2.2–2.3和2.7–2.8的求和,那么我们有ps,c(x)≤ vc(x)和PF,c(x)≥ vc(x)。我们能够证明对方对定理2.1的版本。定理2.2的证明基于与定理2.1的证明类似的论点,因此此处不作介绍。定理2.2。
|