对于Z∈ Z、 表示KZT=e-ηc(Nat-Na+Nbt-Nb)-Y0,Zt, t型∈ [0,T]。通过直接应用It^o公式电视从HJB方程中得到满足v,我们看到v(t,Qt)KZt= KZt公司-(hZt- Ht)dt+ηv(t,Qt)ZstdSt+Xi=a,bv(t,Qt-+ Qt)e-η(c-青春痘)- v(t,Qt-)deN^δ(Y^Y,Z),it, (47)其中,使用(15)的符号和后续方程式,Ht:=HEQt,v(t,Qt),v(t,Qt+1),v(t,Qt- 1),hZt:=他Qt,v(t,Qt),ZSt)+1I{Qt>-\'q}他v(t,Qt),v(t,Qt- 1) ,Zat+1I{Qt<\'q}hEv(t,Qt),v(t,Qt+1),Zbt.利用v有界和KZis一致可积的事实,参见Lemma。5,我们明白了v(t,Qt)KZtt型∈[0,T]是P^δ(Y^Y,ZT)-上鞅,根据Doob-Meyer分解定理,(47)中的局部鞅项是真鞅。Hencev(0,Q)=E^δ(Y^Y,ZT)hv(T,QT)KZT+ZTKZt(Ht- hZt)dti≥ E^δ(Y^Y,ZT)v(T,QT)KZT= E^δ(Y^Y,ZT)[-KZT],根据边界条件v(T,)=-1、Z的任意性∈ Z、 这提供了低质量v(0,Q)≥ supZ公司∈ZE^δ(Y^Y,ZT)[-KZT]=vE。另一方面,考虑由(16)中的反馈控制^Z诱导的约化交换问题的最大化子^Z。由于^Z有界,因此^Z∈ Z、 此外,h^Z- H=0,根据定义,因此最后一个参数得出等式v(0,Q)=E^δ(Y^Y,^ZT)- K^ZT公司, 而不是不平等。这表明v(0,Q)=vE,即(13)的约化交换问题,具有最优控制^Z。从定理3.1中,造市商的相应最优做市商响应由(10)给出,ξ=Y^Y,^ZT。此外,条件(17)暗示|- Zit+γ对数(1+σkk)|≤ δ∞, i=a,b。因此,最佳效果可减少至(24)。A、 6定理6.1的证明分为两步。首先,我们证明了问题(29)存在一个对称的马尔可夫纳什均衡。