数学分析复习：无穷乘积

本篇文章适合个人复习翻阅，不建议新手入门使用

无穷乘积

设复数列 { a n } n ≥ 1 \{a_n\}_{n\geq 1} {an​}n≥1​，设对任意 $n,a_n\ne 0$，称 $\prod _{n\ge 1}{a}_n$ 为无穷乘积，称 $P_n=a_1\cdot a_2\cdots a_n$ 为部分积

1. 定义、性质

定义：无穷乘积的收敛性
若数列 { P n } n ≥ 1 \{P_n\}_{n\geq 1} {Pn​}n≥1​ 的极限存在且不为 0 ，则称无穷乘积 $\prod _{n\ge 1}{a}_n$ 收敛，记 $\prod _{n\ge 1}{a}_n=\underset{n\to \infty }{\lim }{P}_n$

性质：

• $\underset{n\to \infty }{\lim }{a}_n=1$
• $\underset{m\to \infty }{\lim }\prod _{n=m+1}^{\infty }{a}_n=1$

2. Cauchy收敛准则

命题：无穷乘积的Cauchy收敛准则
$\prod _{n\ge 1}{a}_n$ 收敛当且仅当对任意 $\epsilon >0$，存在 $N$ ，使得对任意的 $n\ge N$，任意 $p\ge 0$，都有
$$|a_n\cdot a_{n+1}\cdots a_{n+p}-1|<\epsilon$$

证明思路
必要性：类似实数列的Cauchy收敛准则的证明方法
充分性：只需证 { P n } \{P_n\} {Pn​} 是 Cauchy 列（需要先证序列有界），且 $\underset{n\to \infty }{\lim }{P}_n\ne 0$

3. 正项级数和无穷乘积的联系

命题
设 { a n } n ≥ 1 \{a_n\}_{n\geq 1} {an​}n≥1​ 是正数的数列，则下列等价

• $\prod _{n\ge 1}(1+a_n)$ 收敛
• $\sum _{n=1}^{\infty }{a}_n$ 收敛

证明思路：
（1）推（2）：$$\sum _{n=1}^k{a}_n\le \prod _{n=1}^k(1+a_n)\le \prod _{n=1}^{\infty }(1+a_n)$$单调有界数列必收敛
（2）推（1）：$$\prod _{n=1}^k(1+a_n)\le \prod _{n=1}^k{e}^{a_k}\le exp(\sum _{n=1}^k{a}_n)\le exp(\sum _{n=1}^{\infty }{a}_n)$$单调有界数列必收敛

推论
设数列 { a n } n ≥ 1 \{a_n\}_{n\geq 1} {an​}n≥1​ ，若 $\prod _{n=1}^{\infty }(1+|a_n|)$ 收敛，则 $\prod _{n=1}^{\infty }(1+a_n)$ 收敛。特别地，若 $\sum _{n=1}^{\infty }{a}_n$ 绝对收敛，则 $\prod _{n=1}^{\infty }(1+a_n)$ 收敛

证明思路
只需注意到$$|\prod _{n=k}^{k+p}(1+a_n)-1|\le \prod _{n=k}^{k+p}(1+|a_n|)-1$$

命题
设数列 { a n } \{a_n\} {an​} 满足 $0<a_n<1$，则 $\prod _{n=1}^{\infty }(1-a_n)$ 收敛当且仅当 $\sum _{n=1}^{\infty }{a}_n$ 收敛

证明
充分性显然
必要性：用反证法
$$\begin{array}{rl}(1-a_1)\cdots (1-a_n)& \le \frac{1}{(1+a_1)\cdots (1+a_n)}\\ & \le \frac{1}{1+a_1+\cdots +a_n}\to 0\end{array}$$从而 ${\prod }_{n=1}^{\infty }(1-a_n)=0$ ，矛盾

4. 无穷乘积的绝对收敛

命题：
$\prod _{n=1}^{\infty }{a}_n$ 收敛 当且仅当 $\sum _{n=1}^{\infty }\ln a_n$ 收敛

证明：
设部分积 $P_n$ 和部分和 $S_n$，则注意到$$P_n=e^{S_n}$$

推论：若 $\sum _{n=1}^{\infty }{a}_n$ 收敛，则 $\prod _{n=1}^{\infty }(1+a_n)$ 收敛当且仅当 $\sum _{n=1}^{\infty }{a}_n^2$ 收敛

定义：
$\sum _{n=1}^{\infty }\ln a_n$ 收敛，则称 $\prod _{n=1}^{\infty }{a}_n$ 绝对收敛

定理：
设 $a_n>-1$，则下列等价

1. $\prod _{n=1}^{\infty }(1+a_n)$ 绝对收敛
2. $\prod _{n=1}^{\infty }(1+|a_n|)$ 收敛
3. $\sum _{n=1}^{\infty }|a_n|$ 收敛

5. 两个有趣的结论

Wallis公式
$$\frac{\pi }{2}=\frac{2}{1}\cdot \frac{2}{3}\cdot \frac{4}{3}\frac{4}{5}\cdots \frac{2n}{2n-1}\cdot \frac{2n}{2n+1}$$

证明思路
即证 $$\prod _{n=1}^{\infty }(1-\frac{1}{(2n{)}^2})=\frac{2}{\pi }$$注意到部分积
$$P_n=\prod _{k=1}^n(1-\frac{1}{(2k{)}^2})=\frac{[(2n-1)!!{]}^2}{[(2n)!!{]}^2}\cdot (2n+1)$$考虑 $I_n={\int }_0^{\frac{\pi }{2}}{\sin }^{n}x\mathrm{d}x$，则
$$I_{2n}=\frac{(2n-1)!!}{(2n)!!}\cdot \frac{\pi }{2},I_{2n+1}=\frac{(2n)!!}{(2n+1)!!}$$故 $$\frac{\pi }{2}{P}_n=\frac{I_{2n}}{I_{2n+1}}$$由 $I_n$ 单调递减得 $$1<\frac{I_{2n}}{I_{2n+1}}<\frac{I_{2n-1}}{I_{2n+1}}\to 1$$，这即得到 $$\underset{n\to \infty }{\lim }{P}_n=\frac{2}{\pi }$$

$vi\grave{e}te$ 公式
$$\frac{\pi }{2}=\cos \frac{\pi }{4}\cdot \cos \frac{\pi }{8}\cdots \cos \frac{\pi }{2^n}$$

证明思路
不妨证 $$\prod _{n=1}^{\infty }\cos \frac{x}{2^n}=\frac{\sin x}{x}$$令 $x=\frac{\pi }{2}$，即得结论
由倍角公式易归纳地证得
$$\sin x=2^n(\prod _{k=1}^n\cos \frac{x}{2^n})\cdot \sin \frac{x}{2^n}=2^n\sin \frac{x}{2^n}{P}_n$$则 $$\underset{n\to \infty }{\lim }{P}_n=\underset{n\to \infty }{\lim }\frac{\sin x}{2^n\sin \frac{x}{2^n}}=\frac{\sin x}{x}$$

参考书：

• 《数学分析》陈纪修 於崇华 金路
• 《数学分析之课程讲义》清华大学数学系及丘成桐数学中心
• 《数学分析习题课讲义》谢惠民 恽自求 易法槐 钱定边 著