那么Fourier级数告诉我们
即函数空间 为┅线性空间
如果补充内积按照函数空间内积的一般定义
明显在双线性映射 下构成内积空间
这可以由积分的线性性以及
那么Fourier级数告诉我们
即函数空间 为┅线性空间
如果补充内积按照函数空间内积的一般定义
明显在双线性映射 下构成内积空间
这可以由积分的线性性以及
下面是一个很知名的heuristic,能够几乎完全给题主的問题的意思一个解答如果你在读Concrete Mathematics的话跳到9.5章,如果没在读这是一个简单的介绍:
假如差分算子有逆算子就只能是求和,这样一来我们就有:
所以用比较疯狂的写法,我们可以认为也就是说。用中文说意思就是求和昰插分的逆运算。下面我们就来换个角度看这个“逆”的问题的意思:
泰勒公式告诉我们,这当然通常是错的但是我们只是在进行heuristic,所以并不重要这个公式是说,如果我们把导数算子写成泰勒公式就让我们相信,.
可是这有什么用呢把这个奇怪的带入到插分的定义Φ,我们可以看到, 也就是说这也就告诉我们
嘿!这看上去是个非常好的公式,虽然不知道对不对
但是很遗憾,很多情况下(除了多项式也许?)第二个无穷和不收敛,所以这个公式不太对参见Concrete Mathematics p457。 不过我们计算出來的形式恰好是Euler最初得到的形式. 正确的形式称为Euler-Maclaurin求和公式:
Bernoulli数本身是个非常复杂的话题,它出现在(但不限于)如下的场合: