|
(11) 通过余数中值形式的泰勒定理,并通过|θ-θ=GM,方程式(11)右侧的第二项可以写成如下ecz∞LE公司日志1 +uGM+¢θR+zσLz1级-Y/2dz=eCZ∞LE公司uGM+¢θR+zσL-uGM+¢θR+zσLz1级-Y/2dz+eCZ∞LE公司3(1+x*)uGM+¢θR+zσLz1级-Y/2dz=uσLeCEZ∞LGM+¢θR+zz1-Y/2dz!-u2σLeCEZ∞LGM+¢θR+zz1级-Y/2dz+eCZ公司∞LE公司3(1+x*)uGM+¢θR+zσLz1级-Y/2dz |{z}余数=uLσL-u+OLσL, (12) 其中x*是介于0和u/((GM+|θR)/2+z)σL之间的变量,最后一个等式遵循(10)中的定义和以下余数项的近似值ecz∞LE公司3(1+x*)uGM+¢θR+zσLz1级-Y/2dz≤u3σLeCEZ∞LGM+¢θR+zz1级-Y/2dz×LσL=OLσL.用(12)代替(11)中的最后一项,得出以下拉普拉斯指数(L(t)-uL)/σL,-u+OLσL,收敛到-u/2作为L→ ∞, 自LσL→ ∞. 因此,我们证明了L(t)- E(L(t))pVar(L(t))d→ N(0,1),完成定理1的证明。4.3. 误差项L(t)在本节中,我们研究定理1分解(8)中的误差项L(t)。为方便起见,我们在此回顾不等式(9):E[L(t)]≤eC(1- 是/2)L2-Y+eC(2- 是/2)L2-Y/2,其中EC:=tC2Y/2-1/15英寸(Y)。这个不等式提供了第二个动量fL(t)的上界。请注意,此错误Bound允许使用闭合形式表达式作为错误参数L和模型参数的函数。在保持模型参数和t不变的情况下,对于任何预先规定的小误差公差水平ε>0,可以选择L,以使(9)钻机右侧的两项均小于或等于ε/2。满足此要求的最小(最佳)L由最小值=最大值给出eCε(1- 是/2)!1/(2-Y),eCε(2- 是/2)!1/(2-是/2).
|