integral from 1 to 0 f(x,Nx)dx带准确余项的渐近展开式的一种简单推导

给出了 integral from n=0 to 1 f(x,Nx)dx 带准确余项的渐近展开式integral from n=0 to 1 f(x,Nx)dx=integral from n=0 to 1 integral from n=0 to 1 f(x,y)dxdy+sum from k=1 to r(1/k■(1/N)~k integral from n=0 to 1f~(k-1),0(1,y)-f~(k-1,0)(0,y)]B_k(y)dy-(1/r■(1/N)~r integral from n=0 to 1 integral from n=0 to 1 f~(r,0)(x,y)■_r(y-Nx)dxdy的一种简单推导。