有限微积分
回顾
微积分是数学分析中一类极为有力的工具,其中微分的核心是微分算子,定义为:
若我们称是的原函数,他们两个一起构成了积分的核心——牛顿-莱布尼茨公式: 在微积分当中我们有一整套系统的规则来方便地计算各种形式的微分和积分,而依稀记得一句话:积分是黎曼和的极限,即积分是求和的连续情况,求和是积分的离散情况,既然我们可以系统地计算积分,那么我们可不可以系统地计算和式呢?答案是肯定的,《具体数学》中为我们引入的一类工具便是——有限微积分。(个人觉得叫离散微积分更好?)定义和记号
仿照微分算子的定义我们首先定义差分算子:
可以发现,差分算子本质是微分算子定义中的特例,只不过在微分中无限接近于0,而在差分当中最小只能为1。类似地,若我们也可以称是的“原函数”,显然我们有:
我们在这里仿照定积分引入了一个新的记号,不难发现: 类似地,仿照不定积分的定义,我们还可以定义一个更为抽象的概念”不定和式“,即 也起类似积分常数的作用。注入灵魂
照葫芦画瓢到此为止,然而如果只有这么些记号是没有卵用的,就像你不能只靠微分的极限定义和莱布尼茨公式计算微积分一样,我们也不能指望靠这些记号就可以快速计算和式了,我们还需要类似于微积分当中的幂法则等一系列规则的支持。
首先不证自明的一点是:在有限微积分中,差分算子对于加法和减法的分配率成立。
幂法则
我们先考察微积分当中的幂法则在这里有没有等价的替代品,众所周知,幂法则是:
如果简单地把微分算子换成差分我们会得到: 接下来的展开势必就要用到二项式定理了,事到如今只要是正常人都知道最后是得不到$ mx^{m-1} $的,我们发现直接把幂法则照搬过来是行不通的,如果问题不是出在差分算子上那就是出在“幂”上了,那么现在问题变成了:我们能不能找到一种“幂”的定义,使它在差分算子作用下表现出类似幂法则的性质呢?答案是肯定的,这种“幂”被称作下降阶乘幂,记作,《具体数学》中对它的定义是:
显然无论是从形式还是从名字来看它都有一个更简洁的阶乘定义: 在《具体数学》中作者花了不少笔墨来把它最上面的定义推广到的情形,但是一切在阶乘定义中就很显然了,对于,我们有: 我们也有类似的规则: 好的,让我们回到幂法则,那么如果我们结合下降阶乘幂和差分算子,我们会得到什么呢? 我们成功地推出了“幂法则”!顺带一提,除了下降阶乘幂之外还有上升阶乘幂,定义为,也有类似幂法则的性质,但是用起来比较麻烦,故我们使用下降阶乘幂。
既然我们已经成功导出了有限微积分中差分算子的幂法则,那么对于不定和式,其幂法则也呼之欲出:
正如积分中对于幂法则在的时候需要特殊处理,即,在求和当中,我们也有类似的: 其中表示调和级数的第项部分和,我们知道当时有,其中是欧拉-马歇罗尼常数。从此我们也可以看出上述规则确实是积分中对应公式的一个离散模拟。那么这些法则有什么用呢?我们可以再试试看求解如下和式:
我在先前成套方法的介绍中曾利用成套方法对它进行过求解,过程相对来说比较繁琐,我们看看怎么用有限微积分秒杀这道题。首先,注意到:
所以: 接下来就是展现真正技术的时刻: 就非常舒服。通过归纳法可以证明,对于任何多项式,我们总是可以把它转换为若干个下降阶乘幂的线性组合,因此,对于一切多项式的和式,我们都能用有限微积分系统地求取!运用指数为的幂法则,你就会发现你得到了所谓的裂项公式。
的对等
在微积分中,的具有非常好的性质,即导数和积分都等于自身,那么在有限微积分当中有没有类似的函数呢,幸运的是,找到这样的函数并不困难:
这就很明显了,,或者对其平移的结果都满足差分等于自身的性质。因此,无惑乎我们有:
指数函数
我们知道在微积分当中:
我们接下来探究在有限微积分当中是否有类似结论的出现,我们先猜想: 两边取差分: 因此: 使用这一规则可以直接推出等比数列求和公式。其他法则?
我们要不要把链式法则,积法则,商法则之类的全部搬到有限微积分里面了呢?其实是不用的,因为这些法则都是辅助我们计算微分的,其存在的原因便是使用微分的极限定义计算导数实在是太困难了,而差分算子则不然,计算一个函数的差分只要代进去就行了。
但是,为了后文的方便,在此我们着重来讨论积法则在有限微积分当中的对等,在微积分当中,积法则是:
那么在有限微积分当中: 记移进算子,则有限微积分的积法则可以被表示为:分部求和
对于积分,我们有分部积分公式:
其本质是对微分积法则移项并两边积分得到的成果,我们能不能也用上面推导出的有限微积分的“积法则”推导出分部求和呢? 最后的结果就是分部求和的公式,分部积分的经典例题是,对应到有限微积分当中就是,运用我们刚得到的分部求和公式,令我们就得到了: 因此 计算这个和式甚至不需要思考!我们来试试上次成套方法博客中我说需要一定技巧的吧!
令可得:
观察这个式子的后项,我们故技重施,令: 回到上式: 给这个和式加上下界: 以上的过程如行云流水一般地系统化和顺畅,只要熟悉我们拆分出指数项,然后对多项式项不断使用差分降次——这其实是分部积分的技巧,但是得益于有限微积分和微积分的联系我们得以直接拿来用了。总结
综上所述,基于整数建立起来的有限微积分虽然不一定有传统的微积分那么好的性质,但是依然可以系统地高效地处理很多的求和问题,我们在有限微积分的公式推导中还顺便导出了平方和公式,裂项公式和等比数列公式等,而这一切公式的导出在有限微积分的背景下是那么地自然,以至于让人无法相信第一个属于小学奥数,第二个属于初中数学,而最后一个要在高中才能教到。虽然这也和我们独到的证明方法有关(一般来说这三个公式分别需要用到归纳法,叠缩和扰动法证明),但是可以预见的是,有限微积分的确在和式的处理上具有提纲掣领的作用,不容小觑。