数学学习随笔-欧拉级数证明

数学随笔-欧拉级数证明

我们都知道无穷级数 ${\sum }_{n>=1}\frac{1}{n}$ 是发散的，而当n>1时，级数收敛。

而平方数之和缓慢收敛于一个有趣的数：

欧拉级数：
$$\sum _{n\ge 1}\frac{1}{n^2}=\frac{{\pi }^2}{6}$$

在《数学天书中的证明》一书中看到一个非常巧妙的证明方法，为此特地记录下来。

证明过程

1.给出极坐标变换

$$记I={\int }_0^1{\int }_0^1\frac{1}{1-xy}dxdy$$

记录新坐标系：$u=\frac{x+y}{2};v=\frac{y-x}{2};$则定于域转换为一个边长为$\frac{1}{2}\sqrt{2}$的正方形，可以通过

旋转旧的定义域$45^{\circ }$ 来得到，通过代换$x=u-v;y=u+v;$ 得到
$$\frac{1}{1-xy}=\frac{1}{1-u^2+v^2}$$

2.计算分段积分

为转换积分。为了弥补变量替换将面积缩小为一半的事实，须将$dxdy$ 替换为$2dudv$

而在新的积分域上，我们需要将他分为两部分进行分段积分计算
$$I=4{\int }_0^{1/2}({\int }_0^u\frac{dv}{1-u^2+v^2})du+4{\int }_{1/2}^1({\int }_0^{1-u}\frac{dv}{1-u^2+v^2})du$$

$$\begin{gathered} 而由\int \frac{dx}{a^2+x^2}=\frac{1}{a}arctan\frac{x}{a}+C \\ 上式可转化为 \\ I=4{\int }_0^{1/2}\frac{1}{\sqrt{1-u^2}}artan(\frac{u}{\sqrt{1-u^2}})du+{\int }_{1/2}^1\frac{1}{\sqrt{\sqrt{1-u^2}}} \end{gathered}$$

通过换元，将$u=sin\theta 以及u=cos\theta$化简，或者通过一种更简单地方式
$$\begin{gathered} 记g(x)=arctan(\frac{u}{\sqrt{1-u^2}})的导数是g^{{}^{\prime }}(x)=\frac{1}{\sqrt{1-u^2}}, \\ h(u)=artan(\frac{1-u}{\sqrt{1-u^2}}),h^{{}^{\prime }}（x)=-\frac{1}{2}\frac{1}{\sqrt{1-u^2}} \\ \therefore 由积分式{\int }_a^b{f}^{{}^{\prime }}(x)f(x)dx=[\frac{1}{2}f(x){]}_a^b=\frac{1}{2}f(b{)}^2-\frac{1}{2}(a{)}^2来得到 \\ \Rightarrow I=4{\int }_0^{1/2}{g}^{{}^{\prime }}(u)g(u)du+4{\int }_{1/2}^1(-2h^{{}^{\prime }}(u)h(u))du \\ =2[g(x{)}^2{]}_0^{1/2}-4[h(x{)}^2{]}_{1/2}^1 \\ =2g(\frac{1}{2}{)}^2-2g(0{)}^2-4h(1{)}^2+4h(\frac{1}{2}{)}^2=2(\frac{{\pi }^2}{6})-0-0+4(\frac{{\pi }^2}{6})=\frac{{\pi }^2}{6} \end{gathered}$$
这个证明相当于通过一个定积分来得到$ Eular $级数的值，仅仅是利用了一个简单地级数变换。后来$Beuker,Calabi和Kolk$也发现了同样类型的精巧证明，有兴趣的读者可以自行去阅读原书，在这里不做赘述~

对（1）式的补充说明

$$\begin{gathered} 记xy=t则f(t)=\frac{1}{1-t}的taylor展开为 \\ f(t)=f(0)+\sum _{n=1}^{+\infty }(-1{)}^{2n}\frac{n!}{1^{n+1}}\frac{1}{n!}{t}^2=1+t+t^2+....+t^n \\ \therefore {\int }_0^1{\int }_0^1\frac{1}{1-xy}={\int }_0^1{\int }_0^1(1+xy+(xy{)}^2+(xy{)}^3+....+(xy{)}^{n}dxdy|n\to +\infty \\ =1+\sum _{n=1}^{n=+\infty }(\frac{1}{n+1}{x}^{n+1}{|}_0^1)(\frac{1}{n+1}{y}^{n+1}{|}_0^1)=\sum _1^{\infty }\frac{1}{n^2} \end{gathered}$$