|
接下来,我们将证明A=Ak+1为正定义。我们知道Ak+1是矩阵qk的和,l(Ξ(·),∑(·))=VT(k,l, Ξ(·), Σ(·))\"OhmTk+l- 在里面tΞ(tk)+l)Ohmk+l- 在里面t+λ∑(tk)+l)#V(k,l, Ξ(·), Σ(·)).对于l = 1我们有V(k),l, Ξ(·),∑(·))=Inand thusQk,1(Ξ(·),∑(·))=OhmTk+1- 在里面tΞ(tk+1)Ohmk+1- 在里面t+λ∑(tk+1)。通过命题5,我们知道矩阵Ohmk+1的特征值在区间(0,1)内。因此Ohmk+1-Inhas区间特征值(-1, 0). 左、右相乘就是乘积(OhmTk+1-In)Ξ(tk+1)(Ohmk+1-在)正定义中,因为Ξ(tk+1)通过构造是正定义。对于l > 1.我们继续添加Ohmk+l-从右边到左边。因此,eAk+1为正定义。q、 e.d.提案7。RHMC-I算法是稳定的,即Ξ(tk)+Ak+1((t)-1Ξ(tk)(22)heq:StablerHmcia呈阳性,所有k.hprop:stableRHMCiProof均为阳性。用u表示,un(22)的特征值以递增的顺序。由于两个正定义矩阵的乘积具有正的eige值(见Horn和Johnson[1985]),因此我们的u>0。对于上限,我们发现unΞ(tk)+Ak+1((t)-1Ξ(tk)≤ unΞ(tk)+Ak+1((t)-1.un(Ξ(tk))=uΞ(tk)+Ak+1((t)-1un(Ξ(tk))。根据Weyl不等式[2001]我们得出uΞ(tk)+Ak+1((t)-1.≤un(Ξ(tk))+(t) u(Ak+1)-1,导致不平等unΞ(tk)+Ak+1((t)-1Ξ(tk)≤un(Ξ(tk))un(Ξ(tk))+(t) u(Ak+1)≤ 1其中,最后一个不等式来自于K+1的正不确定性,这在命题6中得到了证明。q、 e.d.RHMC-II:滚动视界蒙特卡罗法,带CC,直到结束。根据RHMC-I方法,步骤tkwas中的交易率通过使用RHS方案,计算矩阵Ak+1(Ξ(·),∑(·)),然后使用命题6来确定。当然,使用RHS作为次优控制并不是强制性的。我们也可以使用CC来确定Ak+1(Ξ(·),∑(·)),这将降低计算复杂度。
|