|
请注意,二次协变量hzi是一个矩阵,而φ-变量hziφ是一个标量。其中J:=J(0)和H:=H(0)。对于(19)和(21),条件(9)相当于前束^∏[J(zt)]- z)- J] dzt+tr^∏[H(zt- z)- H] dhzit= 0.(22)在(22)中替换(17)和(18),并使用[dFt]=0得出(9)等于^Π[J(zt]- z)- J] Γt+t[H(zt- z)- H]Tσtσtdt= 现在考虑谱分解[J(zt- z)- J] Γt+t[H(zt- z)- H]t=:Et∧tEt,(24),其中∧t=diag{λ1t,…,λdt}是特征值的对角矩阵,Eti是特征向量的正交矩阵。为了得到(9)的一个必要条件,我们选择了特殊的易失性过程:σt:=expξEt∧tEt,ξ在哪里∈Ris是一个任意常数。因为exp{E∧E-1} =E exp{∧}E-1对于∧,E∈Rd×dwe有σtσt=Etexp{ξ∧t}Et.(25)将(24)和(25)插入(23)并微分w.r.t.t,然后使用迹线yieldsE的循环性质[tr(λtexp{ξ∧t})]=0。一次微分w.r.t.ξ,并在ξ=0时计算方程,得到条件Etrλt=dXi=1Ehλ它i=0,这意味着∧t中的所有特征值必须等于零。因此,我们知道(24)中的两个边都是零,考虑到这一点必须适用于所有Ftand z,我们有[J(^z)- J] Γ+[H(^z)- H] = 0,(26),其中F和^z是自变量。基于F遵循特定鞅微分的假设,我们导出了这个d×d偏微分方程组,soit代表了更一般情况下F可以是任意鞅微分的一个必要条件。这两个条件是等效的,因为(26)也足以保持(23)。定理2的证明当z=(F,x)我们有(F) =(I,diag(F)-1)∈R2d×dΓ(F)=(0,-诊断(F)-2)∈R2d×d×d,其中diag(F)表示一个三维张量,其中F元素位于对角线上,其他元素均为零。
|