说明离散Fourier变换X(j)=可以看成Fourier变换的离散近似形式的推广。
将插值条件取为n+1个结点上的函数值和一阶导数值,即pn(x)满足的插值多项式称为Hermite插值多项式,在微分方程数值求解等研宄领域中具有重要作用。它可以取为,这里,{qk(0)(x),qk(1)(x)}nk=0是满足条件和的基函数。试仿照Lagrange插值多项式的情况构造{qk(0)(x),qk(1)(x)}nk=0。
证明Γ(s)在s>0上可导,且。进一步证明