|
对于每个δ ∈ (0, T ] 和λ > 0 it holdstrQJ,λt≤KJ√λ对于t ∈ [δ, T ] 式中(5.6)KJ= KJ(δ) =d tr(∑)J)[tr(σ)μ) + tr公司(q)(e δ)-1]1/2,(5.7)其中e = exp(1)表示欧拉数。特别是,它持有trQJ,λt→ 0作为λ → ∞ 对于所有人t ∈ (0, T ].证据让我们来定义函数g(t) := tr公司(QJ,λt) 对于t ∈ [0, T ]. 然后使用(5.2)和trace运算符的线性得出g(t) = tr公司(q) +ttr公司(αJ,λ(QJ,λs))ds = tr公司(q) +tg(s)ds. 类似于定理4.3中(4.12)的证明,即应用引理5.1和Gronwall引理,我们得到t ∈ [δ, T ] 和λ > 0g(t) ≤√λbα(tr(q)(e δ)-1+ aα). (5.8)回顾(5.5),指出常数aα, bα可以选择为aα= aα(r) = tr(∑)μ) + (d tr(∑)J)r)-1和bα= bα(r) = 2(d tr(∑)J)√r)-1(5.9)对于任何r > 0、我们现在选择r 使(5.8)的r.h.s.达到其最小值。唯一的极小值为r*= (d tr(∑)J)[tr(q)(e δ)-1+tr(∑)μ)])-1最小值为KJ/√λ 具有KJ定义见(5.7)。这证明了第一种说法。因为这种不平等对所有人都适用δ ∈ (0, T ] convergencetr(QZ,λt) → 0用于λ → ∞ 适用于所有人t ∈ (0, T ]. 如第4.1节所述QJ,λ暗示其标准的类似结果。该证明类似于推论4.4的证明。推论5.3。对于每个δ ∈ (0, T ] 任何矩阵范数都存在一个常数C > 0,以便QJ,λtp≤C√λ对于λ > 0, t ∈ [δ, T ] 和p ≥ 1.(5.10)对于Frobenius标准F常量C 可以选择为C = KJCp-1.F哪里KJ见(5.7)和CF表示命题3.4中Frobenius范数的上界‖QJ,λ‖F.尤其是QJ,λtp→ 0作为λ → ∞ 对于所有人t ∈ (0, T ].基于条件方差的极限定理,我们现在可以说明条件均值收敛的相应结果MJ= MJ,λ. 该证明类似于定理4.6的证明。定理5.4。
|