第二个是关于平均场游戏目标Hj和最终玩家游戏目标Hj之间距离的引理。带有算法交易部分信息的制造商31Lemma C.1。让νj,*是子种群k中agent j的平均场最优控制。然后(C.1)qj,νj,*t型- \'\'qkt=Qj公司- mk公司e2akRth2,udu,其中Qkis是j库存的初始值,mk=EQj,h2是命题3.8中定义的函数,满足h2,t<0。证据结果是使用引理B.1和定理3.9得到的。引理C.2。Letν∈ Ajbe-一些任意容许控制与ν*,-j∈ A.-jbe集合ν-j*:=ν1,*, . . . , νj-1.*, νj+1,*, . . . , νN,*除j以外的所有代理的平均场最优控制。然后(C.2)Hj(ν,ν-j*) - Hj(ν)= o(δN)+o(N)。证据我们将通过证明(C.3)的等效声明来证明该声明成立Hj(ν,ν-j*) - Hj(ν)= o(δN)+o(N)。使用Hj(3.8)和Hj(2.12)的表示,我们发现其差值的平方等于(C.4)Hj(ν,ν-j*) - Hj(ν)= λEZT(ν(N)t- νt)dt.因此,我们有必要证明方程右侧的量是o(N-2) +o(δN)。如果我们考虑方程(C.4)中出现的期望值,我们可以应用ν(N)的定义来分解itas(C.5)EZT(ν(N)t- νt)dt= E“ZTNνt- νj,*+NNXi=1νi,*- νtdt#,其中νj,*这是agent j的平均场最优控制。
|