|
对于诱导步骤,我们观察到1+x≤ Ex适用于所有x∈ R和henceaj+1≤ (1+hjL)aj+hjb≤ ehjLaj+hjb。由于归纳假设,因此我们有aj+1≤ ehjL公司eLtj公司- 1Lb+eLtja+ hjb公司=eL(tj+hj)- eLhj+HJLb+eL(tj+hj)a≤eLtj+1- 1Lb+eLtj+1a,完成验证。在定理3.3的证明中使用了下一个引理的专家意见分歧近似。首先,下面的引理是多维积分的Acauch–Schwarz不等式。引理A.2。让(Xs)s∈[0,t]是一个Rd值随机过程。ThenE公司ZtXsds≤ tZtE公司kXsk公司ds。证据首先,将范数拉入积分会增加左侧的表达式soEZtXsds≤ EZtkXskds.现在我们可以将通常的Cauchy–Schwarz不等式应用于一维积分和getEZtkXskds≤ EtZtkXskds= tZtE公司kXsk公司ds。最后一步要归功于富比尼。涉及随机积分估计的一个关键工具是It^oisometry。下面的引理使用等距来获得多元积分的估计。引理A.3。设W=(Ws)s∈[0,t]是m维布朗运动。让(Hs)s∈[0,t]是与W无关的anRd×m值随机过程,τ是以t为界且与W无关的停止时间。ThenE公司ZτHsdWs= EZτkHskFds≤ CnormE公司ZτkHskds,其中k·kf表示Frobenius范数,Cnorm>0仅取决于被积函数H证明的维数d×m。请注意,对于固定的确定性t,积分RSDWS是一个值为Rd的随机变量。
|