分享

加加减减的艺术(一):1-1 1-1 ……=1/2?

 潇湘书院615 2015-10-17


作者,逆蝶,哆嗒数学网群友



让我们从一个故事说起:


在芝诺(Zeno)五岁那年, 他父亲问他:“从我们家到外婆家一共有五公里的路要走, 如果你以每小时五公里速度去外婆家, 那你需要多长时间才能到?”芝诺回答道:“一小时.”


十年之后,芝诺十五岁, 他父亲又问了他一遍相同的问题. 你可能会说, 芝诺父亲怎么会这么无聊?但是芝诺却回答:“永远也走不到.”


芝诺是这样回答他父亲的:“如果将五公里的路程一分为二, 那如果想去外婆家就要先走过这段路程的前一半;再将剩下的一半路程一分为二, 如果想要到外婆家, 同样也要走剩下路程的前一半. 之后再将剩下的路程一分为二, 这样无论走久都到不了外婆家, 所以永远也走不到.”


这其实就是著名的芝诺悖论, 这个悖论和古希腊神话中的善跑英雄阿喀琉斯(Achilles)追乌龟的故事有着异曲同工之妙. 不过我们现在已经知道这个悖论其实是无穷级数在作怪, 芝诺的悖论只不过是把1通过二分法分为了无穷份而已, 也就是指级数:








无穷级数在数学史上出现的很早. 古希腊时期, 芝诺利用二分法提出著名的芝诺悖论就涉及到公比为1/2的几何级数, 亚里士多德(Aristotle)知道公比小于1(同时要大于0, 那个时代还没有负数的概念)的几何级数可以求出和数, 后来阿基米德(Archimedes)使用几何级数求出了抛物线弓形的面积.


到了中世纪,数学家对于涉及到无穷的一些悖论展开了激烈的争论. 1703年由数学家格兰迪(Grandi)发表的格兰迪级数引起了数学家的一番热议, 这个级数即是指:







其中丹尼尔·伯努利(Daniel Bernoulli)和欧拉(Euler)也对其进行了研究, 后来经由柯西(Cauchy)引入收敛与发散的定义, 数学家们才知道格兰迪级数是发散的.


调和级数也是一个发散的级数, 它的知名度甚至比格兰迪级数还高, 当然它的敛散性也曾是数学家的一个热议话题, 奥雷姆(Nicole Oresme)的对其发散性的极其简洁的证明曾引起数学界的一时轰动, 他是这样证明的:






调和级数的通项都是趋于0的, 似乎它应该是一个收敛的级数, 但是它却是一个发散的, 这看上去也像是一个悖论.


如果学过数学分析或者高等数学, 应该会对级数的敛散性有所了解, 并对收敛级数的性质有着较好的把握, 所以我们会把重点放在发散的级数上, 对发散级数做一些必要的探讨. 虽然柯西之后的多数数学家遵循柯西摒弃了发散级数, 但是欧拉在不考虑收敛性下通过对级数神乎其技的变形而得到的美妙结论, 以及后来发现的发散级数在渐进估计中的重要应用, 这些都说明了研究发散级数并不是没有意义的. 另外柯西本人也注意到了ln(Γ(x))亦或是ln(m!)的斯特林(Stirling)级数(这个级数是发散的)在计算阶乘时逼近的优点, 但他并没有对这件事作出合理的解释.


本文主要介绍发散级数在非柯西意义下的求和问题, 并将会特别考虑格兰迪级数的求和. 通过格兰迪级数在其他意义下的求和, 来说明柯西关于级数收敛的定义并非是绝对的.


在行文的最后我们会讨论与格兰迪级数相似但也很具有特殊性的0-1级数. 笔者在此着重于对发散级数求和方式的介绍, 并不刻意追求严谨, 所以对于给出的结论也都是采取“只给不证”的方式,希望这篇关于发散级数的科普文章可以激发读者对发散级数的兴趣, 以及对于发散级数的思考和研究.


下面的内容,将以截图形式展现。






















为了更加深入的比较切萨罗可和与柯西可和的区别, 下一篇会先转入对级数的权的讨论, 但之后还会继续讨论切萨罗和。


下次再会。

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多