因为存在h∈ L[0,T]使得rε| h(s)| ds对于所有ε>0且g(T,·)=h(T- ·) 对于任何t∈ [T,T+],我们可以应用[Che08,引理2.1],它告诉我们Hg,在C[T,T+] 所以我们选择嵌入作为包含映射。最后,我们必须证明每个f*∈ C[T,T+]*, 其中f*定义见【JPS18,定义3.1】,C上的isGaussian【T,T+], 方差kι*f*kHg,T*, 其中ι*是ι的对偶。取f*∈ C[T,T+]*,26克洛伊·拉孔贝(CHLOE LACOMBE)、艾托·穆古鲁扎(AITOR MUGURUZA)和亨利·斯通(HENRY Stone)根据以下事实(C[T,T+], Hg,T,u)是一个RKHS三元组,其参数与[FZ17,引理3.1]相似,我们使用[JPS18,备注3.6]得出:*允许等距嵌入ι*这样的话*f*kHg,T*= kf公司*kL(C[T,T+],u)=ZC[T,T+](f)*)du=VAR(f*),其中u是由(C[T,T+], B(C[T,T+])) .B、 6。定理5.6的证明。证据首先我们重新调用Vg,T,εT:=Vg,T,εT-εγRtg(t,u)du+εγ/2。我们首先证明过程序列(Vg,T,ε)ε∈[0,1]和(eVg,T,ε)ε∈[0,1]是指数等效的[DZ10,定义4.2.10]。作为g(t,·)∈ L[0,T]表示所有T∈ [T,T+], 对于每个δ>0,存在ε*> 0这样的支持∈[T,T+]εγ/2*-εγ*RTg(t,u)du≤ δ. 因此,对于C[T,T+] 标准k·k∞我们有所有的ε*> ε>0,PVg,T,ε-eVg,T,ε∞> δ= Psupt公司∈[T,T+]εγ/2-εγZTg(t,u)du> δ!= 0.因此lim supε↓0εγlog PVg,T,ε-eVg,T,ε∞> δ= -∞, 所以这两个过程序列(Vg,T,ε)ε∈[0,1]和(eVg,T,ε)ε∈[0,1]是指数等价的;应用[DZ10,定理4.2.13]得出(eVg,T,ε)ε∈[0,1]满足C[T,T+] 速度ε-γ和速率函数∧V。我们现在证明了算子Д1、ξ和Д相对于C是连续的([T,T+] ×[0,1])和C[0,1]k·k∞分别为标准。这些证明非常简单,包括在内是为了完整性。