π之黎曼ζ函数

$\pi$之黎曼ζ函数

巴塞尔问题的欧拉证明

sinx无穷乘积形式，根为正弦函数的非零零点

$$sin(x)=(x+2\pi )(x+\pi )(x)(x-\pi )(x-2\pi )\cdots$$

$$x(x^2-{\pi }^2)(x^2-2^2{\pi }^2)(x^2-3^2{\pi }^2)\cdots$$

通过系数C来收敛函数，使得函数的输出更加平滑，从而提高函数的逼近性能。
$$\underset{x\to 0}{\lim }\frac{\sin (x)}{x}=\underset{x\to 0}{\lim }C(x^2-{\pi }^2)(x^2-2^2{\pi }^2)(x^2-3^2{\pi }^2)\cdots$$

$$C=\frac{1}{(-{\pi }^2)(-2^2{\pi }^2)(-3^2{\pi }^2)\cdots }$$

无穷和形式

$$\sin (x)=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots$$

无穷积形式

$$\sin (x)=x\left(1-\frac{x^2}{{\pi }^2}\right)\left(1-\frac{x^2}{2^2{\pi }^2}\right)\left(1-\frac{x^2}{3^2{\pi }^2}\right)\cdots$$

此式可以求sin1,sin2的近似值。

$$x\left(1-\left(\frac{1}{{\pi }^2}+\frac{1}{2^2{\pi }^2}+\frac{1}{3^2{\pi }^2}+\cdots \right)x^2+\cdots \right)=x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots$$
两边同时除以 ( x )，得到：
$$1-\left(\frac{1}{{\pi }^2}+\frac{1}{2^2{\pi }^2}+\frac{1}{3^2{\pi }^2}+\cdots \right)x^2+\cdots =1-\frac{x^2}{3!}+\frac{x^4}{5!}-\frac{x^6}{7!}+\cdots$$
那么它们的二次系数也必然是相等的。

$$\frac{1}{{\pi }^2}+\frac{1}{2^2{\pi }^2}+\frac{1}{3^2{\pi }^2}+\cdots =\frac{1}{3!}$$
两边同时乘以 ${\pi }^2$，得到：
$$1+\frac{1}{2^2}+\frac{1}{3^2}+\cdots =\frac{{\pi }^2}{6}$$
【解析推导】
黎曼函数，通常指的是黎曼ζ函数，是一个在数学分析中非常重要的函数，尤其是在数论和复分析领域。我们可以了解到黎曼ζ函数有两种主要的表达形式：

1. 级数定义：
   黎曼ζ函数可以通过一个无穷级数来定义，即对于任意复数$s$，其实数部分大于1时，有：
   $$\zeta (s)=\sum _{n=1}^{\infty }\frac{1}{n^s}$$
   这个级数在$Re(s)>1$的区域上收敛，并且在此区域内定义了一个全纯函数。

2. 积分定义：
   另一种定义方式是通过一个特定的积分表达式，即：
   $$\zeta (s)=\frac{1}{\Gamma (s)}{\int }_0^{\infty }\frac{x^{s-1}}{e^x-1}dx$$
   这里$\Gamma (s)$是伽马函数，它是阶乘概念在复数域上的推广。

拓展到复平面：
波恩哈德·黎曼进一步研究了这一函数，并发现通过解析延拓的方法，可以将$\zeta (s)$的定义扩展到整个复平面（除了$s=1$这一点），使其成为一个全纯函数。这意味着在复平面上除了$s=1$外的任何点，$\zeta (s)$都是解析的，即在该点的邻域内可以展开为泰勒级数。

黎曼猜想：
黎曼猜想涉及到$\zeta (s)$在复平面上的零点分布。具体来说，它断言所有非平凡零点（即除了显而易见的负偶数整数零点之外的零点）都位于复平面的临界线上，即满足$Re(s)=\frac{1}{2}$。这个猜想至今未被证明或反证，是数学中最著名的开放问题之一。

综上所述，黎曼ζ函数不仅是数学中的一个基本工具，它的深入研究还关联着许多深刻的数学理论和未解之谜。

这是一组关于黎曼函数（Riemann ζ-function）的公式。黎曼函数在数学中非常重要，特别是在解析数论和复分析领域。

1. 第一个公式：
   $$\zeta (-1)=1+2+3+4+5+\cdots =-\frac{1}{12}$$
   这个公式表示黎曼函数在-1处的值等于无穷级数1+2+3+…的和，这个级数是发散的，但通过解析延拓，可以得出其值为$-\frac{1}{12}$。

2. 第二个公式：
   $$\zeta (-2)=1^2+2^2+3^2+4^2+5^2+\cdots =0$$
   这个公式表示黎曼函数在-2处的值等于平方数序列1^2, 2^2, 3^2, …的和，这个级数也是发散的，但通过解析延拓，可以得出其值为0。

3. 第三个公式：
   $$\zeta (-3)=1^3+2^3+3^3+4^3+5^3+\cdots =\frac{1}{120}$$
   这个公式表示黎曼函数在-3处的值等于立方数序列1^3, 2^3, 3^3, …的和，这个级数同样是发散的，但通过解析延拓，可以得出其值为$\frac{1}{120}$。

利用幂级数展开式：

$$\frac{x}{(1-x{)}^2}=x+2x^2+3x^3+...n{x}^n$$
直观原理引用网上公众号“科普宇宙”易得：

令 x=-1,则：$$-\frac{1}{4}=-1+2-3+4-\mathrm{5...}=-(1+3+5+...)+(2\ast 2+4\ast 2+6\ast 2+...)=3(1+2+3+...)$$
$$\zeta (-1)=1+2+3+4+5+\cdots =-\frac{1}{12}$$

2.证明
$$\zeta (s)=1+\frac{1}{2^s}+\frac{1}{3^s}+\frac{1}{4^s}+\frac{1}{5^s}+\cdots$$
$$\frac{1}{2^s}\zeta (s)=\frac{1}{2^s}+\frac{1}{4^s}+\frac{1}{6^s}+\frac{1}{8^s}+\frac{1}{10^s}+\cdots$$
$$(1-\frac{1}{2^s})\zeta (s)=1+\frac{1}{3^s}+\frac{1}{5^s}+\frac{1}{7^s}+\frac{1}{9^s}+\frac{1}{11^s}+\cdots (1)$$
$$\frac{1}{3^s}(1-\frac{1}{2^s})\zeta (s)=\frac{1}{3^s}+\frac{1}{9^s}+\frac{1}{15^s}+\frac{1}{21^s}+\frac{1}{27^s}+\cdots$$
$$(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta (s)=1+\frac{1}{5^s}+\frac{1}{7^s}+\frac{1}{11^s}+\frac{1}{13^s}+\frac{1}{17^s}+\cdots (2)$$
$$(1-\frac{1}{5^s})(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta (s)=1+\frac{1}{7^s}+\frac{1}{11^s}+\frac{1}{13^s}+\frac{1}{17^s}+\cdots (3)$$
$$⋮$$
$$\cdots (1-\frac{1}{7^s})(1-\frac{1}{5^s})(1-\frac{1}{3^s})(1-\frac{1}{2^s})\zeta (s)=1$$

黎曼ζ函数的无穷乘积公式。
：
$$\zeta (s)=\frac{1}{(1-\frac{1}{2^s})(1-\frac{1}{3^s})(1-\frac{1}{5^s})(1-\frac{1}{7^s})\cdots }$$
接着，通过这个等式推导出另一个等式：
$$\zeta (s)=\sum _{n=1}^{\infty }\frac{1}{n^s}=\prod _{pprime}\frac{1}{1-\frac{1}{p^s}}==\prod _p\frac{1}{1-p^{-s}}$$

并且在Re(s)>1上收敛. 证明：
$\cdot$ 在实轴上收敛
根据定义可以有：
$$\zeta (s)=\left(\frac{1}{1^s}\right)+\left(\frac{1}{2^s}+\frac{1}{3^s}\right)+\left(\frac{1}{4^s}+\frac{1}{5^s}+\frac{1}{6^s}+\frac{1}{7^s}\right)\cdots$$
$$\le \left(\frac{1}{1^s}\right)+\left(\frac{1}{2^s}+\frac{1}{2^s}\right)+\left(\frac{1}{4^s}+\frac{1}{4^s}+\frac{1}{4^s}+\frac{1}{4^s}\right)\cdots$$
$$=\left(\frac{1}{1^s}\right)+\left(\frac{2}{2^s}\right)+\left(\frac{4}{4^s}\right)\cdots$$
$$={\left(\frac{2}{2^s}\right)}^0+{\left(\frac{2}{2^s}\right)}^1+{\left(\frac{2}{2^s}\right)}^2\cdots =\sum _{n\ge 0}(2^{1-s}{)}^n$$

如果对ζ提取公因式，比如：
$$\frac{1}{1^s}\cdot \frac{1}{1^s}\cdot \frac{1}{3^s}\cdot \dots \cdot \frac{1}{2^s}\left(\frac{1}{1^s}\cdot \frac{1}{1^s}\cdot \frac{1}{2^s}\cdot \dots \right)$$
正如所有正整数都可以表示为几个质数的乘积一样，把所有可能的公因式都提取出来后可以得到：
$$\zeta (s)=\left(\frac{1}{2^{0s}}\cdot \frac{1}{2^{1s}}\cdot \frac{1}{2^{2s}}\cdots \right)+\left(\frac{1}{3^{0s}}\cdot \frac{1}{3^{1s}}\cdot \frac{1}{3^{2s}}\cdots \right)+\left(\frac{1}{5^{0s}}\cdot \frac{1}{5^{1s}}\cdot \frac{1}{5^{2s}}\cdots \right)\cdots$$
$$=\prod _p\sum _{n\ge 0}\frac{1}{p^{ns}}$$
其中${\prod }_p$表示对所有质数求积。可以看到后面的求和实际上是等比数列的无穷项和，于是得出了ζ的欧拉乘积形式：
$$\zeta (s)=\prod _p\frac{1}{1-p^{-s}}$$

$\frac{1}{1-x}$的泰勒级数为：

$$\frac{1}{1-x}=1+x+x^2+x^3+x^4+x^5+x^6+\cdots$$

这个公式表示的是当 $|x|<1$ 时，$\frac{1}{1-x}$ 可以被展开为一个无穷级数。这是几何级数的一个特例，其公比为 $x$，首项为 $1$。

$$\begin{gathered} S_n=a_1+a_{1}q+\cdots +a_1{q}^{n-2}+a_1{q}^{n-1} \\ \Rightarrow S_n-a_1=a_{1}q+a_1{q}^2\cdots +a_1{q}^{n-2}+a_1{q}^{n-1} \\ =q(a_1+a_{1}q+\cdots +a_1{q}^{n-2}) \\ =q(S_n-a_1{q}^{n-1}) \\ \Rightarrow S_n=\frac{a_1(1-q^n)}{1-q}(q\ne 1). \end{gathered}$$

$$S_n=a_1+a_2+a_3+\cdots +a_n$$
$$S_n=a_1+a_{1}q+a_1{q}^2+a_1{q}^3+\cdots +a_1{q}^{n-1}$$
$$q{S}_n=a_{1}q+a_1{q}^2+a_1{q}^3+\cdots +a_1{q}^{n-1}+a_1{q}^n$$
$$(1-q)S_n=a_1-a_1{q}^n,若q=1,S_n=n{a}_1$$
$$S_n=\frac{a_1(1-q^n)}{1-q}\{\begin{array}{c}n{a}_1,(q=1),\frac{a_1(1-q^n)}{1-q},(q\ne 1).\end{array}$$

将实数x替换为$\frac{1}{2}i$，从而将问题从实数域扩展到复数域。随后，通过泰勒级数展开$\frac{1}{1-\frac{1}{2}i}$，得到级数$1+\frac{1}{2}i+(\frac{1}{2}i{)}^2+(\frac{1}{2}i{)}^3+\cdots =1+\frac{1}{2}i-\frac{1}{4}-\frac{1}{8}+\frac{1}{16}+\frac{1}{32}-\frac{1}{64}\cdots$，进一步简化后得到$\frac{1}{1-\frac{1}{2}i}=0.8+0.4i$。
最后，通过分子分母乘以共轭复数的方法，验证了级数的收敛性，最终收敛到点$(0.8,0.4)$。

黎曼ζ函数

公式如下：
$$\frac{1}{\zeta (s)}=\sum _{n\in N}\frac{\mu (n)}{n^s}$$
ζ函数是黎曼ζ函数，它的定义如下：
$$\frac{1}{\zeta (s)}=1-\frac{1}{2^s}-\frac{1}{3^s}-\frac{1}{5^s}+\frac{1}{6^s}-\frac{1}{7^s}+\frac{1}{10^s}-\cdots$$

sinx 的泰勒展开：
$$\sin (x)\approx x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+...-(-1{)}^n\frac{x^{2n+1}}{(2n+1)!}$$

$$\frac{sin(x)}{x}=(1-\frac{x^2}{{\pi }^2})(1-\frac{x^2}{(2\pi {)}^2})\cdots =\prod _{n=1}^{\infty }(1-\frac{x^2}{n^2{\pi }^2})$$
$$=\frac{x^4}{2{\pi }^4}[1+\frac{1}{2}+\cdots +\frac{1}{n^2}]\sum _{n=1}^{\infty }\frac{1}{n^2}-\sum _{n=1}^{\infty }\frac{1}{n^4}$$
上式为零的根为$\pm k\pi$,k为非零整数
由乘法分配律，四次幂前的系数为$\frac{x^4}{5!}$
$$\frac{x^4}{2{\pi }^4}([\sum _{n=1}^{\infty }\frac{1}{n^2}+\sum _{n=1}^{\infty }\frac{1}{(2n{)}^2}+\cdots +\sum _{n=1}^{\infty }\frac{1}{(n\times n{)}^2}-(1+\frac{1}{(2\times 2{)}^2}+\frac{1}{(3\times 3{)}^2}+\cdots )])$$

$$\frac{x^4}{5!}=\frac{\zeta (2{)}^2-\zeta (4)}{2{\pi }^4}{x}^4$$
$$\zeta (4)=\frac{{\pi }^4}{90}$$

$$\zeta (2)=\frac{1}{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\cdots =\frac{{\pi }^2}{6}$$
$$\zeta (4)=\frac{1}{1^4}+\frac{1}{2^4}+\frac{1}{3^4}+\cdots =\frac{{\pi }^4}{90}$$
$$\zeta (6)=\frac{1}{1^6}+\frac{1}{2^6}+\frac{1}{3^6}+\cdots =\frac{{\pi }^6}{945}$$
$$\zeta (8)=\frac{1}{1^8}+\frac{1}{2^8}+\frac{1}{3^8}+\cdots =\frac{{\pi }^8}{9450}$$

构造傅里叶级数求解该无穷级数
$f(x)=x^2，x\in [-\pi ,\pi ]$
对其进行周期延拓
由周期为两个圆周率上的傅里叶级数
f(x) = $\frac{a_0}{2}$ + ${\sum }_{n=1}^{\infty }{a}_n\cos nx+b_n\sin nx$

傅里叶级数是一种数学工具，用于将周期性函数表示为一系列正弦和余弦函数的无穷级数。这种表示形式允许我们将复杂的周期函数分解成简单的振荡成分，这些成分的频率是整数倍的关系。傅里叶级数在信号处理、振动分析、热传导等领域中有着广泛的应用。

傅里叶级数的基本思想是将一个周期函数 f(x) 展开为如下形式的级数：

$$f(x)=\frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos \left(\frac{2\pi nx}{P}\right)+b_n\sin \left(\frac{2\pi nx}{P}\right)\right)$$

其中：
$$P是函数的周期。a_0,a_n,b_n是傅里叶系数，它们可以通过积分计算得到：$$
$$a_0=\frac{2}{P}{\int }_{-\frac{P}{2}}^{\frac{P}{2}}f(x)dx$$
$$a_n=\frac{2}{P}{\int }_{-\frac{P}{2}}^{\frac{P}{2}}f(x)\cos \left(\frac{2\pi nx}{P}\right)dx$$
$$b_n=\frac{2}{P}{\int }_{-\frac{P}{2}}^{\frac{P}{2}}f(x)\sin \left(\frac{2\pi nx}{P}\right)dx$$

傅里叶级数提供了一种分析函数在不同频率上的行为的方法，这对于理解复杂波形的性质非常有用。通过调整级数中的项数，我们可以控制近似的精度，从而更好地理解和处理信号。

$$a_0=\frac{2}{\pi }{\int }_0^{\pi }{x}^{2}dx=\frac{2{\pi }^2}{3}$$

$$a_n=\frac{2}{\pi }{\int }_0^{\pi }f(x)\cos nxdx$$

$$=\frac{2}{\pi }{\int }_0^{\pi }{x}^2\cos nxdx$$

$$=\frac{4}{n^2}(-1{)}^n$$
$$b_n=0$$

$$f(x)=x^2=\frac{{\pi }^2}{3}+4\sum _{n=1}^{\infty }\frac{(-1{)}^n}{n^2}\cos nx$$

$$x=\pi ,\cos nx=\cos n\pi =(-1{)}^n$$

$$\sum _{n=1}^{\infty }\frac{1}{n^2}=\frac{{\pi }^2}{6}$$