_Euler-Maclaurin公式的两种证明、其推广以及应用.doc

Euler-Maclaurin公式的两种证明、其推广以及应用 摘要 本文首先用两种不同于常见文献中的方法重新证明了Euler-Maclaurin公式, 并讨论了它在对于求和式的渐近阶的估计中的应用. 在第二部分, 本文用类似的方法得到了其他一些递推关系的特解的级数形式, 推广了Euler-Maclaurin公式. 在第三部分，本文用这一公式给出了一些常见的求和式的计算. 在第四部分, 本文讨论了一些重要的无穷级数，为第五部分的工作做准备. 在第五部分, 本文继续利用Euler-Maclaurin公式给出了处理一些级数的例子, 得出了一些求和式的阶. 引言 在18世纪, Euler和Maclaurin分别独立地得到了一个求和公式. 它立刻成为分析中很重要、很强有力的一个工具, 之后围绕它展开的研究络绎不绝, 极大地丰富了分析的内容. 他们的这个公式最早是应用于积分的数值计算和级数的求和, 包括给出求和式的阶(甚至是渐近级数). 定义 称的差分为. 如果存在一个函数使得, 则称为的反差分, 记为. 易知如果是的反差分, 则也是, 其中是一个周期为1的函数(包括常数), 反过来也成立[1]. 易知 , 称为的求和, 记为. 易知一个函数确定了上下限的求和是唯一的. 主要结果 Euler-Maclaurin公式的证明 为了计算求和式, 我们应用反差分的方法. 如果已经找到了一个函数满足, 那么就可以简单地写成. 这就是我对这个公式的第一个证明的主要思想. 下面我们来看这个思想是如何实现的. 为了更好地揭示这个思想, 在我们严格地给出证明之前, 先用一些不严格的方法来导出结果. 我们的目的是找出满足的函数, 联系到Taylor公式, 我们有 令, 则 我们希望能用来表示, 因此, 在上式两边对求导, 我们有 同理, … 我们在每个等式前面乘一个系数, 把所有的加起来. 系数的恰当选取使得的. 因此, 我们有, . 经过一些计算, 我们得知, 其中表示Bernoulli数. 因此, 下面我们给出严格的证明. 我们先证明一个引理. 引理 1: . 证明: = = ==. 下面是本文的主要结果. 定理及其直到阶的导数都存在且在内连续, 则 , 其中是余项. 证明: 根据Taylor 定理, . 令, 则. . . . . … . . 设, 则根据上述关系, 应有, . 设, 则, , . 为Bernoulli数. , . . 下面我们考虑余项. 定理 2: . 证明 : . . 定理3: . 证明: 是周期为1的函数且没有奇点, 故有界. 即. 于是 . 文献[5]指出 , 于是. Lehmer[10]指出的最大值满足, 最小值满足. 我们必须区分两种不同的情况. 如果存在使得有界, 则, 则前项给出了求和式的主要部分. 如果任何都发散到无穷, 则. 定理4: 如果在内一致收敛, 则. 证明: . 如果一致收敛, 也收敛, 则. 当时, , . 故. 因此, 对余项的有效估计依赖于的导数的性态. 即我们需要一个使得有界. 因此, 如果一个函数发散很快, 以至于任何阶导数都发散, 则Euler-Maclaurin公式就是失效了. 但是, 在这种情形, 这个求和式的前几项相对于最后一项是很小的, 可以被忽略. 例如, 容易知道. 下面的定理给出了这种情形的一种判别方法. 定理 4: 假设当时, , . . 则. 证明 : , 对于, , 使得当时, . 即. , , . . 即. 故. 现在我们固定, 记为, 考虑作为的函数, 写成, 其中是常数, 是余项. 经常有几乎处处发散. 但是可能是的渐近级数. 我们有以下的定理: 定理: 如果, 且对一切, 则 . 证明: 对于, 余项是, 注意到 . 因此, 对于, . Hence, . 现在我们用另一种方法来考虑这个问题. Weierstrass定理指出在闭区间上连续的函数可以用多项式充分逼近, 现在我们用Bernoulli多项式来展开函数. 我们也先用一个粗糙的推导. 假设可以用Bernoulli多项式展开, 即, 其中是待定系数. 为了确定, 我们在两边从到积分, 注意到. 因此, . 为了确定, 我们在两边求导, 并注意到. 因此. 同理, 从到积分, 于是. 由于, 我们可以得到. 因此, . 令, 并注意到, 我们有. 现在回到, 并用替换, 有. 因此, . . 因此我们用另一种方式证明了Euler-Maclaurin公式. 为了给出一个严格的证明, 我们考虑展开式的余项, 即 . 应用的Maclaurin展开: 有