同样,通过凹度,LT(Fm)=最大ρ∈[0,1]LT(Fm-1+ρ(h- Fm公司-1) ()≥ LT(Fm-1) +DT(Fm-1,h- Fm公司-1) ?ρm+?C?ρm此处?C:=最小值,g∈\'L,t∈[0,1]t[LT(g+t(h- g) ()- LT(g)- DT(g,t(h- g) )]<0。上述两个显示器与(A.16)、implyLT(Fm)一起显示- LT(g)≥ LT(Fm-(1)- LT(g)+ρmG(Fm-1) +Cρm≥ LT(Fm-(1)- LT(g)+ρm(LT(g)- LT(Fm-1) )+‘C’ρm=(1- ρm)(LT(Fm-(1)- LT(g))+\'C\'ρm≥对于给定的ρm选择,\'Cm+2(A.17)(如Jaggi(2013)中定理1的证明所示,作必要的修改)。它仍然受C的约束。在Banach空间中,由泰勒展开,LT(g+t(h- g) )=LT(g)+DT(g,t(h- g) )+高温g级*, t(h- g),对于g*= t型*g+(1- t型*) h、 还有一些t*∈ [0,1],其中g、 t(h- g)= -^Tt(h- g) egds。这意味着'C≥ 明,g∈\'L,t∈[0,1]t-^Tt(h(X(s))- g(X(s)))e’gds≥ -4T e’g’g≥ -4T e’B’θ/w“B”θ/w使用(A.1)。(A.17)中的替换给出了结果。A、 1.7命题1集M:=N的证明- ∧和ht:=gt- 为了简化记法,假设S是一个整数。然后,在命题(无效假设)的条件下,LSg、 g′=SXs=1^ss-1ht(X(t))dM(t)=SXs=1Ys。然后,{Ys:s=1,2,…}是一系列鞅微分。这源于不可预测的预期法则和HTA是一个可预测的过程这一事实。表示{Yi:i上的期望条件作用≤ s} 通过Es。结果将在McLeish(1974)中应用定理2.3。为此,有必要证明(即)SPSs=1Ys→ σ、 (二)limS公司→∞E最大值≤系统/秒<∞ 和(iii.)最大值≤SYs公司/√S→ 概率为0。请注意ESSXs=1Ys= ESSXs=1Es-1年(A.18)使用迭代期望和总和中的元素为正的事实。请注意,ES-1Ys=Es-1.^ss-1ht(X(t))dM(t)= Es公司-1.^ss-1ht(X(t))d∧(t)(例如,绪方,1978年,e.q.2.1)。