两个无穷和什么时候可以相乘？¶

先备知识¶

需要绝对收敛、Cauchy 尾部以及有限乘法。有限双和可自由整理；无穷极限必须另证。

学习目标¶

定义 Cauchy 乘积；
区分方形截断与三角截断；
证明至少一个因子绝对收敛时的 Mertens 定理；
用反例识别纯形式乘法的风险。

牵引问题¶

有限多项式相乘后按总次数收集系数。把两个级数照此相乘得到的三角形部分和，为什么不自动等于两个普通部分和形成的方形截断？

探索与猜想¶

令 \(A_n=\sum_{k=0}^na_k\)、\(B_n=\sum_{k=0}^nb_k\)。乘积 \(A_nB_n\) 覆盖 \(0\le j,k\le n\) 的方形截断；按总次数不超过 \(n\) 收集只覆盖 \(j+k\le n\) 的三角截断。两块之间的移动边界需要尾部控制。

概念与理论¶

Cauchy 乘积¶

给定 \(\sum_{n=0}^\infty a_n\)、\(\sum_{n=0}^\infty b_n\)，定义

\[ c_n=\sum_{k=0}^{n}a_kb_{n-k}. \]

级数 \(\sum c_n\) 称为二者的 Cauchy 乘积。其部分和是三角截断：

\[ C_n=\sum_{r=0}^nc_r=\sum_{j+k\le n}a_jb_k. \]

而 \(A_nB_n=\sum_{0\le j,k\le n}a_jb_k\) 是方形截断。形式乘法只有在能证明两种截断趋于同一极限时才合法。

Mertens 定理¶

定理（Mertens）。 若 \(\sum a_n=A\)、\(\sum b_n=B\) 收敛，且其中至少一个绝对收敛，则 Cauchy 乘积收敛且和为 \(AB\)。

证明。 不妨设 \(\sum|a_n|<\infty\)。记 \(B_m=\sum_{k=0}^mb_k\)，并令 \(B_m=0\)（\(m<0\)）。有限换序得

\[ C_n=\sum_{j=0}^{n}a_jB_{n-j}. \]

于是

\[ C_n-AB=\sum_{j=0}^{n}a_j(B_{n-j}-B)-B\sum_{j>n}a_j. \]

第二项趋零。给定 \(\varepsilon>0\)，先选 \(J\) 使绝对尾部 \(\sum_{j>J}|a_j|\) 很小；\((B_m)\) 收敛故有界，尾部贡献可统一控制。对有限头部 \(j\le J\)，再令 \(n\) 足够大使每个 \(B_{n-j}-B\) 小。故第一项也趋零， \(C_n\to AB\)。证毕。

条件收敛乘积可能失败¶

取 \(a_n=b_n=(-1)^n/\sqrt{n+1}\)。两因子由 Leibniz 判别收敛，但都不绝对收敛。其 Cauchy 系数满足

\[ c_n=(-1)^n\sum_{k=0}^{n}\frac1{\sqrt{(k+1)(n-k+1)}}. \]

中间至少约 \(n/2\) 项的分母不超过 \(n+1\)，故 \(|c_n|\ge1/2\)（充分大时）。因此 \(c_n\not\to0\)，Cauchy 乘积发散。这说明不能只做形式乘法。

例题与迁移¶

例 1：几何级数自乘¶

当 \(|x|<1\)，\(\sum x^n\) 绝对收敛。其自乘系数 \(c_n=(n+1)x^n\)，由 Mertens 定理 \(\sum_{n=0}^\infty(n+1)x^n=(1-x)^{-2}\)。

例 2：一个绝对因子足够¶

若 \(\sum a_n\) 绝对收敛，\(\sum b_n\) 仅条件收敛，仍满足 Mertens 定理；不要求两个因子都绝对收敛。

即时检验与回望¶

即时检验 1¶

\(C_2\) 的三角截断包含哪些 \(a_jb_k\)？

答案

包含所有 \(j+k\le2\) 的六项：\((0,0),(0,1),(1,0),(0,2),(1,1),(2,0)\)。

即时检验 2¶

两因子都收敛是否足以保证 Cauchy 乘积收敛？

答案

不足；本单元反例中乘积通项甚至不趋零。

习题与答案¶

习题 1¶

写出 \(c_0,c_1,c_2\)。

答案

\(c_0=a_0b_0,\ c_1=a_0b_1+a_1b_0,\ c_2=a_0b_2+a_1b_1+a_2b_0\)。

习题 2¶

说明 \(A_1B_1\) 比 \(C_1\) 多哪一项。

答案

多出 \(a_1b_1\)，其总次数为 \(2\)。

习题 3¶

若两因子都绝对收敛，能否应用 Mertens 定理？

答案

能；“至少一个”当然包含两个都绝对收敛。

习题 4¶

Mertens 证明为何需要 \((B_n)\) 有界？

答案

用它把移动的 \(a_j\) 绝对尾部统一压小。

习题 5¶

证明收敛级数的部分和有界。

答案

部分和数列收敛，而收敛数列必有界。

习题 6¶

计算 \((\sum_{n\ge0}x^n)^2\) 的第 \(n\) 个系数。

答案

有 \(n+1\) 对非负指标和为 \(n\)，故系数为 \((n+1)x^n\)。

习题 7¶

条件乘积反例为何仅凭 \(c_n\not\to0\) 就够？

答案

级数收敛的必要条件是通项趋零。

习题 8¶

“按对角线收集”对应哪种截断？

答案

对应 \(j+k\le n\) 的三角截断。

习题 9¶

陈述使用形式乘法前最简洁的安全检查。

答案

两因子先分别收敛，并确认至少一个绝对收敛。

常见误区与后续¶

Cauchy 乘积的定义不自动保证它收敛。
有限换序合法，不代表移动到极限后仍合法。
下一单元把判别、余项、重排与乘积边界合成诊断流程。