|
通过直接计算,HVJg(x)=mJJXk=1Z-mJ公司-2.-mJg()cos(2mCk)dcos(2mCkx)+Z-mJ公司-2.-mJg()sin(2mCk)dsin(2mCkx)=mJJXk=1Z-mJ公司-2.-mJ▄g()cos(2mCk(- x) )d=mJJXk=1Z-mJ公司-2.-mJg( + x) cos(2mCk) d!=mJZ公司-mJ公司-2.-mJg( + x) ΥJ()d, (A.1)式中ΥJ(x):=JXk=1cos(2mCkx)=sin(2m)-1πx)sin(2m-1πx/J)。(A.2)可以看出MJZ-mJΥJ()d=mJZ-2.-mJΥJ()d=πJXk=1(-1) k+12k- 1=:πGJ。(A.3)事实上,GJ是著名的Gregory Leibniz系列,我们有limJ→∞GJ=π。根据我们的假设,在x点,limh→0+~g(x+h)=limh→0-~g(x+h)=~g(x)。同样,g(s+x)-g(x)s{s∈(0,2-mJ)}和G(s+x)-g(x)s{s∈(-2.-mJ,0)}是(2)上的可积函数-mJ,2-mJ]。请注意,在我们的构造中,2-mJ是一个正常数(a),m是J的函数。因此,HVJg(x)-πGJ▄g(x)=mJZa(▄g( + x)- g(x))ΥJ()d +mJZ公司-a(yeng( + x)- g(x))ΥJ()d=πZag( + x)- 克(x)π/2asin(π/2a)sin(2m-1π)d+πZ-ag( + x)- 克(x)π/2asin(π/2a)sin(2m-1π)d. (A.4)因为Xsin(x)在[-π、 π]和m趋向于完整性每当J趋向于完整性时,最后两项变为0,当J趋向于完整性时。这是由于黎曼-勒贝格引理。那么wehavelimJ→∞HVJg(x)=limJ→∞πGJ▄g(x)=▄g(x),(A.5)并完成证明。A、 2等式证明(4.6)和(4.7)证明。
|