,ζN-1,带ζi∈ [si,si+1],这样Z'sih(M)T(s)ds=Z+∞\'\'sNh(M)T(s)ds=2N | | h(M)T | |,和(si+1- si)=| | h(M)T||h(M)T(ζi)N、 步骤3我们为量化误差提供以下界限:S(M)T-bS(M,N)T≤h(M)T24分钟-1Xi=1h(M)T(\'ξi)+h(M)T(\'ξi+1)h(M)T(ζi)((R)si+1- \'si)+Z\'s(\'s- s) h(M)T(s)ds+Z+∞\'\'sN(s- \'sN)h(M)T(s)dsStep 4在步骤2中,我们已经证明了n=| | h(M)T||Z?sih(M)T(s)ds公司=||h(M)T||Z+∞\'\'sNh(M)T(s)ds公司,为了证明这一点,当N→ ∞,Z’s(\'s-s) h(M)T(s)ds和Z+∞\'\'sN(s-(R)sN)h(M)T(s)dsare oN, 我们只需要证明Limy→+∞Z+∞y(s)- y) h(M)T(s)dsZ+∞yh(M)T(s)ds公司= 0和thatlimy→0Zy(s)- y) h(M)T(s)dsZy公司h(M)T(s)ds公司= 0.自0和0时起,h(M)T~呃(M)T,我们可以等价地证明→+∞Z+∞yseh(M)T(s)ds- 2yZ公司+∞yseh(M)T(s)ds+yZ+∞yeh(M)T(s)dsZ+∞yeh(M)T(s)ds公司= 0克。Callegaro,L.Fiorin,A.Pallavicini,量子化多项式26和thatlimy→0Zyseh(M)T(s)ds- 2yZyseh(M)T(s)dz+yZyeh(M)T(s)dsZy公司eh(M)T(s)ds公司= 对于一个常数,我们有:`=0,1,2,Zs` eh(M)T(s)ds=β\',MErf-` + ln s公司√+M-1Xn=0α′,ne-(ln s)s`(ln s)n=:eH(M)`,T(s),其中,如前所述,Erf是误差函数,α`,nandβ`,mca可以用闭合形式的Mathematica计算`=0,1,2。请注意,limy→+∞eH(M)`,T(y)=β`,Mandlimy→0eH(M)`,T(y)=-β`,M,表示`=0,1,2。那么我们就有了thatlimy→+∞Z+∞yseh(M)T(s)dz- 2yZ公司+∞yseh(M)T(s)ds+yZ+∞yeh(M)T(s)dsZ+∞yeh(M)T(s)ds公司=石灰→+∞β2,M-eH(M)2,T(y)- 2年β1,M-eH(M)1,T(y)+ yβ0,M-eH(M)0,T(y)βM-eH(M)T(y)= 0,以类似的方式,limy→0Zyseh(M)T(s)ds- 2yZyseh(M)T(s)ds+yZyeh(M)T(s)dsZy公司eh(M)T(s)ds公司=石灰→0eH(M)2,T(y)+β2,M- 2年eH(M)1,T(y)+β1,M+ yeH(M)0,T(y)+β0,MeH(M)T(y)+βM= 0.sincent-1Xi=1h(M)T(\'ξi)+h(M)T(\'ξi+1)h(M)T(ζi)((R)si+1- (R)si)→ 2 | | h(M)T | |,当N→ +∞, 我们推导出thatlimN→+∞N | | S(M)T-bS(M,N)T||≤||h(M)T | |,由于引理4.5,我们得出结论。G、 Callegaro,L.Fiorin,A。