巴塞尔的问题说起来很简单。然而,它却让数学家们困惑了90年。28岁的物理学教授莱昂哈德·欧拉(Leonhard Euler)在1734年发表了一个解决方案,引起了人们的关注。本篇就是欧拉的解决方案。
![3f8011bc9421a6c00ae52372c923fc70.png](https://i-blog.csdnimg.cn/blog_migrate/9a798934438ef85a45dfbf289b75aede.jpeg)
问题是:
正整数平方的倒数和是多少?
![d267cdd0fbbaa9b40fd97f0bff872232.png](https://i-blog.csdnimg.cn/blog_migrate/acad5778875ee9ab9e22ceb5a1632382.jpeg)
我们可以画出前10个部分和。这似乎是一个稳定的上升值。这个级数系列会一直上升吗?
![83d206e9ff573131f8ced21abe884016.png](https://i-blog.csdnimg.cn/blog_migrate/59e2c39414ae295a7587b9bc37765a08.jpeg)
你认为我们在多加10个部分和之后会在哪里结束呢?我们能越过红色虚线吗?
如下这个级数是调和级数。也许你在其他地方看到过,这个级数系列是不断发散的。它会继续增长。
![3f207136406cd52e8c5b7eea8093e500.png](https://i-blog.csdnimg.cn/blog_migrate/fd1c72b2e40d4bc80518efbe10527fc0.jpeg)
巴塞尔问题的每一个项都小于它对应的调和级数项。部分和总是小于调和级数的和。
巴塞尔级数收敛的一个证明是将它与另一个我们很容易看到收敛的级数作比较。
![62ffdf9fc8d28b428306a381ce930e12.png](https://i-blog.csdnimg.cn/blog_migrate/f1cbd8b09dac35616a87fcec694941ba.jpeg)
上述级数系列:分母是1个1^1,2个2^2,4个4^2,8个8^2,所以可简化为1 +½+¼+⅛+…= 2,因此,我们知道巴塞尔级数问题最多收敛于2。
sinx的麦克劳林展开
一种技术(在欧拉时代相对较新的)涉及到将一个非多项式函数转换为无穷级数。
我们从解sin x的表达式开始:
![37d351695d763961033e62e2644e741b.png](https://i-blog.csdnimg.cn/blog_migrate/94a928536e174bc50385b8d6392dd649.jpeg)
我们要找出使这个表达式成立的系数,这样我们就可以预测aₙ的值。
第一个系数很简单,我们设x = 0,得到a0=0
![c308c7fc2717daeed626afaaa1d5c0ae.png](https://i-blog.csdnimg.cn/blog_migrate/b42b3594cd37d7879eda20538c43bf40.jpeg)
为了求下一个系数,我们再次对x求导,在x=0处取值。
![7284e0e4542b3f47ce5f7dd57c58a405.png](https://i-blog.csdnimg.cn/blog_migrate/860c08af519888207caac6a8a5e09ac5.jpeg)
每次求导,我们都会发现另一个系数。这里出现了一种模式。我们需要增加一些项,来进一步了解。
如下图所示,我们每求一次导数,就会得到一个系数,这样不断循环下去,就会得到sinX无穷级数的所有系数
![947be47e64a2bafdf0302fd0d2c24287.png](https://i-blog.csdnimg.cn/blog_migrate/4a8e9eca3c1fc4473a9728f33a832f13.jpeg)
这句话被总结为:
![3d4deb0c0aeaa39efeb2107ae2b061d4.png](https://i-blog.csdnimg.cn/blog_migrate/6804e9f068a42083b1156b9a499a5245.jpeg)
对于巴塞尔问题,我们只需要x^3系数:
![2d61fdf8744321eff58414786e80f48a.png](https://i-blog.csdnimg.cn/blog_migrate/249c4940f8bf856f37e2310d0edad3c2.jpeg)
魏尔施特拉斯因式分解
欧拉的下一个工具是魏尔施特拉斯因式分解。这项技术还有待严格证明。然而,当欧拉将其应用于巴塞尔问题时,他得到了令人兴奋的结果。
我们可以用它的零(根)和一个比例因子来定义一个多项式函数。例如,任何一个二次方程都可以写成:
![33f8cafa74af565defce113d2c17cfc3.png](https://i-blog.csdnimg.cn/blog_migrate/f530b6701e9da4a6e28450756201a26c.jpeg)
在这里,R1和R2是根。如果a为正,则抛物线开口向上;如果为负,则开口向下。顶点的位置由a唯一确定。
我们将对函数sinx做同样的处理,它的零点都采用相同的形式
![ad59b8eef9af6402caa6648d35c5f7ee.png](https://i-blog.csdnimg.cn/blog_migrate/8db864cd903a4d9673fa1992049bef38.jpeg)
因此:
![a655d7543003956edacbc51a625dc691.png](https://i-blog.csdnimg.cn/blog_migrate/773b71a179ea07354fde46fba22ef361.jpeg)
但首先,我们需要确定常数a。
![b93af607c376cf8d6ad469195b13fc2a.png](https://i-blog.csdnimg.cn/blog_migrate/58dcea25ba9cd958b2038563ab24d3c1.jpeg)
现在我们利用以下极限:
![174608dc94f8f8560ac87be2914d1efb.png](https://i-blog.csdnimg.cn/blog_migrate/7d694db645d84f7b1f5cb76497331957.jpeg)
然后我们计算表达式的第二部分在x=0处的值。
![ff711627028eef42f0475df793f86c4d.png](https://i-blog.csdnimg.cn/blog_migrate/01cb05f607e685d6d12af5d6fc837196.jpeg)
我们把a的每一个因子分摊到sinx的因子中
![1bfb114369055b149c78106f18194017.png](https://i-blog.csdnimg.cn/blog_migrate/8d2bfd713efecc7cf37b7d19d36e76bc.jpeg)
我们把它展开,这会得到一个只有奇指数的多项式。我们想知道x^3的系数。
![4c3ed474fdc8940d83126d21f05c369b.png](https://i-blog.csdnimg.cn/blog_migrate/6d39d28c365b778a648188ce5e8770a3.jpeg)
我们加入第四个项,如下图
![9dee403be5df6e7b54c9bd92cad74601.png](https://i-blog.csdnimg.cn/blog_migrate/1c474d4fbf0954470d75bfe355d39411.jpeg)
同理:加入第五个因式得到
![b3fd4c67e2ebd7598dcea95e9daf5e56.png](https://i-blog.csdnimg.cn/blog_migrate/dfcbdf4d81816151b9164ff57f873a8e.jpeg)
请记住:我们只是在寻找x^3的系数。每乘一次,我们加一项。
这是x^3的系数
![290f1ae3b7aa0957523d07cfe406625d.png](https://i-blog.csdnimg.cn/blog_migrate/fe29e7e4891b35a1ed21cf4e2280f98e.jpeg)
麦克劳林展开式下x^3系数是6。我们让它们相等
![b0c13c20e8363741dd4703bd79444c70.png](https://i-blog.csdnimg.cn/blog_migrate/d0755ce3a50fbc1e311b9027624094fb.jpeg)