三次型的奇异级数Cubic forms: the singular series

本页是逐段精讲：先把 Davenport 原书第 17 章的译文一段一段搬出来（灰色「原文译文」框），再用普通高中生能懂的语言把每一句、每一个符号、每一步计算都拆开讲透。凡书里写「显然」「容易看出」的地方，这里都补成一步一句的完整推导。文字偏长，但保证不跳步。

开讲前：本章会反复用到的「超纲」记号，先一次性讲清

这一章的句子虽短，但每一句都压着好几个大学记号。先把它们从零讲一遍，后面遇到就不再卡壳。

正文逐段精讲

这段在讲什么：这是「前情提要」。前面三章（15、16 两章和它们的引理）各算出渐近公式的一块，本段把它们拼成一个完整的计数公式。下面把式子里每个符号都拆开。

\(C(\mathbf{x})\)

一个三次型（cubic form）。「型」=各项次数都相同的多项式；「三次」=每一项都是三次。\(\mathbf{x}=(x_1,\dots,x_n)\) 是 \(n\) 个整数变量打成的一组（向量）。例如 \(x_1^3+x_2^3+\cdots\) 这种。\(C(\mathbf{x})=0\) 就是我们想找整数解的方程。

\(n\)

变量个数。本章的核心假设是 \(n\ge 17\)：变量足够多，圆法才控制得住误差。

\(\mathfrak{B}\)（哥特体 B）

一个固定的「盒子」（box），就是 \(n\) 维空间里一块长方体区域。\(P\mathfrak{B}\) 表示把这个盒子按比例放大 \(P\) 倍。\(P\) 是个趋于无穷的大参数。

\(\mathcal{N}(P)\)

放大后的盒子 \(P\mathfrak{B}\) 里，满足方程 \(C(\mathbf{x})=0\) 的整点（坐标全为整数的点）个数。这正是我们最终想证「趋于无穷」的量。

\(\mathfrak{S}(P^{\Delta})\)（哥特体 S）

奇异级数的有限截断。完整的奇异级数 \(\mathfrak{S}\) 是对所有 \(q=1,2,3,\dots\) 求和的无穷级数；圆法里实际只能先取 \(q\) 到某个上界 \(P^{\Delta}\)（\(\Delta\) 是个小的固定正指数）为止，得到的有限和就记 \(\mathfrak{S}(P^{\Delta})\)。本章的任务之一就是说明：让 \(P\to\infty\)、上界 \(P^\Delta\to\infty\)，这个有限和会收敛到完整的 \(\mathfrak{S}\)。

\(J_0\)

奇异积分（singular integral），上一章（第 16 章）的产物。它是一个固定的正常数，刻画方程在「实数 / 几何」意义下解的密度。

备选 A（alternative A）

来自引理 13.4 的一个分情况讨论里的一支。整个证明分成「备选 A 成立」和「备选 A 不成立」两种局面。下一段会说明：备选 A 一旦成立，方程直接就有非平凡解（第 14 章已证），所以那一支不用圆法也赢了；圆法处理的是「排除备选 A」的另一支。

整条公式怎么读：盒子里解的个数 = （主项）+（误差项）。主项是 \(P^{n-3}\,\mathfrak{S}(P^\Delta)\,\{J_0+o(1)\}\)：

1. \(P^{n-3}\) 是主项的「体量」。为什么是 \(n-3\) 而不是 \(n\)？因为盒子是 \(n\) 维的，里头整点总数约 \(P^n\) 个；但加上「\(C(\mathbf{x})=0\) 是 1 个三次方程的约束」，会把维数压低，圆法算出净剩 \(P^{n-3}\) 这个量级（一个方程、三次，正好降 3）。
2. \(\mathfrak{S}(P^\Delta)\) 与 \(J_0\) 是两个密度因子，分别管「同余世界」和「实数世界」。它们都为正，主项才真的有那么大。
3. \(\{J_0+o(1)\}\)：括号随 \(P\) 增大越来越接近常数 \(J_0\)，那个 \(o(1)\) 是会消失的零头。
4. 末尾 \(+O(P^{n-3-\delta})\) 是误差项，它的量级 \(P^{n-3-\delta}\) 比主项 \(P^{n-3}\) 小了整整 \(P^{\delta}\) 倍（\(\delta>0\) 固定）。所以 \(P\) 一大，误差相对主项可忽略——这正是圆法千辛万苦要保证的「主项压过误差」。

这段在讲什么：把有限截断 \(\mathfrak{S}(P^\Delta)\) 延长成对所有 \(q\) 的无穷级数 \(\mathfrak{S}\)，需要先确认这个无穷级数真的收敛（不会加出无穷大）。本段给出收敛的根据：每一项小到一定程度。先认识里头的新符号。

\(a,q\)

\(q\ge 1\) 是分母，\(a\) 跑遍 \(1\le a\le q\) 中与 \(q\) 互素的那些数（记 \((a,q)=1\)，即最大公约数为 1）。分数 \(a/q\) 就是单位区间 \([0,1]\) 上的既约有理点，圆法围绕这些点画「主弧」。

\(q^{-n}|S_{a,q}|\)

把指数和除以 \(q^n\) 做归一化。因为 \(S_{a,q}\) 是 \(q^n\) 项之和，除以 \(q^n\) 后得到的是「平均每项」的大小，也就是模 \(q\) 解的相对密度，这是真正进入奇异级数的量。

那条不等式 \(q^{-n}|S_{a,q}|\ll q^{-\frac1 8 n+\varepsilon-2-\delta}\) 怎么读：

1. 引理 15.3 给出归一化指数和的上界，指数是 \(-\tfrac18 n+\varepsilon-2-\delta\)。把 \(n\ge 17\) 代进去看这个指数有多负：\(-\tfrac18\times 17=-2.125\)，再 \(-2\) 得约 \(-4.125\)，再减 \(\delta\)、加上可忽略的 \(\varepsilon\)，指数比 \(-4\) 还小。
2. 关键是这个指数严格小于 \(-2\)（因为 \(-\tfrac18 n-2-\delta\le -2.125-2-\delta<-2\)）。后面会看到，正是「比 \(-2\) 还负」这一点，保证级数收敛。
3. 为什么 \(n\ge 17\) 是分水岭？因为指数里 \(-\tfrac18 n\) 这一项要足够负，才能把后面求和时产生的正幂压下去。\(n\) 太小，这个上界就不够好，级数可能发散，整套论证就垮了。这就是「为什么是 17 而不是更小」的算术根源。

这段在讲什么：收尾两支讨论中的「备选 A 这一支」。回忆前面：整个证明按引理 13.4 分成备选 A 成立 / 不成立两种局面。这里指出：如果落在备选 A，那么第 14 章已经独立地证出方程有非平凡解，于是这一支当场结束，根本不需要奇异级数。所以接下来只要专心处理「排除备选 A」的那一支即可——而那一支正好满足前面收敛性所需的条件。这样两支合起来就把定理证完，于是引出下面的定理。

定理在说什么：这是本章（乃至整套三次型论证）的「主定理半成品」。它把存在解这件大事，化简成一个纯粹关于密度因子的不等式 \(\mathfrak{S}>0\)。换句话说：只要变量够多（\(\ge 17\)）、并且奇异级数为正，方程就一定有非平凡整数解。剩下的全部工作，就是去验证那个 \(\mathfrak{S}>0\)——这正是本章后半段要做的。

这段在讲什么：用反证法证上面的定理。先认识 \(\sim\) 这个符号。

这一步的推导（书里跳过了，这里补全）：为什么「没有非平凡解」会得到 \(\mathcal{N}(P)\sim P^{n-3}\mathfrak{S}J_0\)？其实这只是把开头那条计数公式取极限：

1. 开头公式：\(\mathcal{N}(P)=P^{n-3}\,\mathfrak{S}(P^\Delta)\{J_0+o(1)\}+O(P^{n-3-\delta})\)。
2. 前面已证无穷级数 \(\mathfrak{S}\) 绝对收敛，故有限截断 \(\mathfrak{S}(P^\Delta)\to\mathfrak{S}\)（当 \(P\to\infty\)，上界 \(P^\Delta\to\infty\)）。所以 \(\mathfrak{S}(P^\Delta)=\mathfrak{S}+o(1)\)。
3. 括号 \(\{J_0+o(1)\}\to J_0\)。两个「主因子」相乘：\(\mathfrak{S}(P^\Delta)\{J_0+o(1)\}=\mathfrak{S}J_0+o(1)\)。
4. 于是 \(\mathcal{N}(P)=P^{n-3}\big(\mathfrak{S}J_0+o(1)\big)+O(P^{n-3-\delta})=P^{n-3}\mathfrak{S}J_0\big(1+o(1)\big)\)。最后一步把误差也并进 \(o(1)\)：误差 \(O(P^{n-3-\delta})\) 除以主项 \(P^{n-3}\mathfrak{S}J_0\) 是 \(O(P^{-\delta})\to0\)，故确实是 \(o(1)\)（这里用到 \(\mathfrak{S}J_0\) 是正常数）。
5. 「比值趋于 1」正是 \(\sim\) 的定义，所以 \(\mathcal{N}(P)\sim P^{n-3}\mathfrak{S}J_0\)。

注意这一步悄悄用到了反证假设：如果方程没有非平凡解，那么盒子 \(P\mathfrak{B}\) 里能数到的解最多只有平凡解 \(\mathbf{0}\)（而且 \(\mathbf 0\) 还不一定在盒子内部），所以 \(\mathcal{N}(P)\) 只能是 0 或一个有界的小数，绝不会趋于无穷。把这一点和上面算出的「\(\mathcal{N}(P)\) 渐近于一个趋于无穷的量」对照，矛盾就要来了。

这段在讲什么：把矛盾点破。

1. 由假设 \(\mathfrak{S}>0\)（定理条件）且 \(J_0>0\)（上一章已证为正），故 \(\mathfrak{S}J_0\) 是个正常数。
2. 而 \(P^{n-3}\to\infty\)（因为 \(n\ge 17>3\)，指数 \(n-3\ge 14>0\)）。正常数乘以趋于无穷的量，仍趋于无穷。所以右边 \(P^{n-3}\mathfrak{S}J_0\to\infty\)。
3. 由 \(\sim\)，左边 \(\mathcal{N}(P)\) 也必须 \(\to\infty\)。
4. 但「没有非平凡解」逼着 \(\mathcal{N}(P)\) 有界（上一段已说明）。「有界」和「趋于无穷」直接打架，矛盾。
5. 反证法收口：假设「没有非平凡解」导致矛盾，所以原命题成立——方程有非平凡解。定理 17.1 证毕。

这段在讲什么：正式给出奇异级数 \(\mathfrak{S}\) 的完整定义。它是一个二重无穷和，把上面认识的那些「归一化指数和」全加起来。逐层拆开读：

1. 最外层 \(\displaystyle\sum_{q=1}^{\infty}\)：分母 \(q\) 从 1 一直跑到无穷。
2. 里层 \(\displaystyle\sum_{\substack{a=1\\(a,q)=1}}^{q}\)：对每个固定的 \(q\)，分子 \(a\) 跑遍 \(1\) 到 \(q\) 之间所有与 \(q\) 互素的数。这种 \(a\) 的个数恰好是欧拉函数 \(\varphi(q)\) 个（见下面记号框）。
3. 被加的项 \(q^{-n}S_{a,q}\) 就是前面讲过的归一化完整指数和。

这段在讲什么：明确接下来唯一的目标——证 \(\mathfrak{S}>0\)——并迈出第一步：把奇异级数按 \(q\) 打包成 \(A(q)\)，并指出 \(A(q)\) 有一个极好的性质叫「乘性」。

「引理 5.1 的证明适用于一般指数和」是什么意思（补全背景）：第 5 章处理 Waring 问题（\(x_1^k+\cdots\) 那种加性型）时，曾证明相应的 \(A(q)\) 是乘性的。当时的证明只用到指数和 \(S_{a,q}\) 的一条通用结构——中国剩余定理带来的分解。这里 Davenport 指出：那套论证对一般的（不只加性的）三次型指数和照样成立，所以结论照搬。其核心机制是：

1. 设 \(q=q_1q_2\)，\((q_1,q_2)=1\)。由中国剩余定理，模 \(q\) 的一个剩余 \(\mathbf{x}\) 与「模 \(q_1\) 的剩余 \(\mathbf{x}^{(1)}\) 加上模 \(q_2\) 的剩余 \(\mathbf{x}^{(2)}\)」一一对应，可写 \(\mathbf{x}=q_2\mathbf{x}^{(1)}+q_1\mathbf{x}^{(2)}\)（模 \(q\) 意义下）。
2. 把它代进三次型，并利用「分子 \(a\) 也能按 \(a/q=a_1/q_1+a_2/q_2\) 拆开」，指数 \(e(aC(\mathbf{x})/q)\) 就分裂成「只含 \(q_1\) 的因子」乘「只含 \(q_2\) 的因子」。
3. 于是整个和 \(S_{a,q}\) 分裂成 \(S_{a_1,q_1}\cdot S_{a_2,q_2}\) 这样的乘积；归一化、对 \(a\) 求和之后，正好得到 \(A(q_1q_2)=A(q_1)A(q_2)\)。

细节属于第 5 章，这里只需记住结论：\(A(q)\) 在互素分解下相乘。

这段在讲什么：给出 \(A(q)\) 的大小上界，为下一步「级数绝对收敛」做准备。

1. 「\(C(\mathbf{x})\) 不表示零」就是「方程没有非平凡解」——这正是反证法里我们临时假设的局面（要推出矛盾）。在这个假设下引理 15.3 的指数和估计才适用。
2. 第一个 \(\ll\)：把 \(A(q)\) 里每一项 \(|q^{-n}S_{a,q}|\) 用前面那条 \(\ll q^{-\frac18 n+\varepsilon-2-\delta}\) 控制，再乘上项数（合法的 \(a\) 至多 \(q\) 个，量级 \(q^1\)）。粗略地：项数 \(q\) 乘以每项 \(q^{-\frac18 n+\varepsilon-2-\delta}\)，把 \(-2-\delta\) 吸收进通用常数后，得到指数 \(1-\frac18 n+\varepsilon\)。这就是 \(|A(q)|\ll q^{1-\frac18 n+\varepsilon}\) 的来历。
3. 第二个 \(\ll\)：当 \(n\ge 17\) 时，\(1-\frac18 n\le 1-\frac{17}{8}=1-2.125=-1.125\)。再吸收掉那个可以取得很小的 \(\varepsilon\)，指数仍然严格小于 \(-1\)，即可写成 \(-1-\delta\)（取某个固定的小 \(\delta>0\)，比如 \(\delta=0.1\)）。于是 \(|A(q)|\ll q^{-1-\delta}\)。
4. 这个 \(-1-\delta\) 才是要害：它严格小于 \(-1\)，决定了 \(\sum_q |A(q)|\) 收敛（下一段）。再次看到 17 这个门槛：若 \(n\) 不够大，指数到不了 \(-1\) 以下，级数就不收敛。

这段在讲什么：这是本章结构上最漂亮的一步——把奇异级数 \(\mathfrak{S}\)（对所有 \(q\) 的和）改写成对所有素数 \(p\) 的乘积（欧拉乘积，Euler product）。每个素数 \(p\) 贡献一个因子 \(\chi(p)\)。下面逐点补全为什么能这么做。

先解决一个小细节：为什么起头是 1？因为 \(q=1\) 时只有 \(a=1\)（且 \((1,1)=1\)），而 \(S_{1,1}=\sum_{\mathbf{x}\bmod 1}e(\cdots)\)，模 1 只有一个剩余、指数为 \(e(\text{整数})=1\)，故 \(S_{1,1}=1\)，归一化后 \(A(1)=1^{-n}\cdot1=1\)。这个 \(q=1\) 的项不归任何素数的「方幂段」，所以单独提到每个 \(\chi(p)\) 的常数项里——正是那个孤零零的 \(1\)。

为什么「绝对收敛」⇒「能拆成欧拉乘积」（补全推导）：

1. 绝对收敛的意思：把每一项取绝对值后再求和，\(\sum_q|A(q)|\) 仍是有限数。由上一段 \(|A(q)|\ll q^{-1-\delta}\)，比较级数 \(\sum_q q^{-1-\delta}\) 是收敛的 \(p\)-级数（因为指数 \(1+\delta>1\)），所以 \(\sum_q|A(q)|\) 收敛。绝对收敛极重要，因为它允许我们任意重排、任意分组求和而不改变结果——下面拆乘积全靠这条。
2. 任何 \(q\) 唯一分解为 \(q=p_1^{\nu_1}\cdots p_r^{\nu_r}\)（互素的素数幂）。由 \(A\) 的乘性，\(A(q)=A(p_1^{\nu_1})\cdots A(p_r^{\nu_r})\)。
3. 把无穷乘积 \(\prod_p\big(1+A(p)+A(p^2)+\cdots\big)\) 形式地展开：从每个素数 \(p\) 的括号里挑一项（要么挑常数 1，要么挑某个 \(A(p^\nu)\)），把挑出的相乘。由乘性，挑出的乘积恰好等于某个 \(A(q)\)，其中 \(q\) 就是「被挑中的那些素数幂的乘积」。
4. 反过来，每个 \(q\) 由它的素因子分解，恰好对应一种挑法（在含 \(p\) 的因子里挑 \(A(p^{\nu_p})\)，在不含 \(p\) 的因子里挑 1）。所以把乘积展开后所有项加起来，正好不重不漏地得到 \(\sum_q A(q)=\mathfrak{S}\)。
5. 「形式展开 = 真的相等」这一步需要绝对收敛保证（否则无穷重排无意义）。由第 1 步绝对收敛成立，故 \(\displaystyle\mathfrak{S}=\prod_p\chi(p)\) 严格成立。

这段在讲什么：处理欧拉乘积「会不会乘出 0」的问题。无穷乘积有个陷阱：即便每个因子都正，乘积也可能趋于 0（例如 \(\prod(1-\frac1p)\to0\)）。要保证 \(\mathfrak{S}>0\)，必须排除这种「乘没了」。本段的办法是：证明大素数那一截的因子都非常接近 1，于是它们的乘积被 \(\tfrac12\) 兜底，绝不会塌到 0。

第一步：\(|\chi(p)-1|\ll p^{-1-\delta}\) 怎么来的（补全）：

1. \(\chi(p)-1=\sum_{\nu\ge1}A(p^\nu)\)（把那个起头的 1 减掉，剩下方幂段）。
2. 取绝对值，用三角不等式（和的模 ≤ 模的和）：\(|\chi(p)-1|\le\sum_{\nu\ge1}|A(p^\nu)|\)。
3. 每项用 \(|A(q)|\ll q^{-1-\delta}\)，令 \(q=p^\nu\)：\(|A(p^\nu)|\ll p^{-\nu(1+\delta)}=\big(p^{-(1+\delta)}\big)^{\nu}\)。
4. 这是公比 \(r=p^{-(1+\delta)}<1\) 的等比级数，从 \(\nu=1\) 起求和：\(\sum_{\nu\ge1}r^\nu=\dfrac{r}{1-r}\)。由于 \(p\ge2\) 时 \(r\le2^{-(1+\delta)}\) 是个小于 1 的固定数，分母 \(1-r\) 有正下界，所以 \(\dfrac{r}{1-r}\ll r=p^{-1-\delta}\)。
5. 合起来 \(|\chi(p)-1|\ll p^{-1-\delta}\)，得证。含义：素数 \(p\) 越大，\(\chi(p)\) 离 1 越近，差距按 \(p^{-1-\delta}\) 飞快缩小。

第二步：存在 \(p_0\) 使 \(\prod_{p>p_0}\chi(p)\ge\tfrac12\)（补全「引理 5.2 推论」的论证）：

1. 因为 \(\sum_p p^{-1-\delta}\) 收敛（指数 \(1+\delta>1\)），它的「尾巴」可以任意小。于是能取一个足够大的 \(p_0\)，使得 \(\displaystyle\sum_{p>p_0}|\chi(p)-1|\le\sum_{p>p_0}c\,p^{-1-\delta}<\tfrac12\)（\(c\) 是上面 \(\ll\) 里的常数）。这一步本质是「收敛级数的余项趋于 0」。
2. 写每个因子为 \(\chi(p)=1+a_p\)，其中 \(a_p=\chi(p)-1\)，且 \(\sum_{p>p_0}|a_p|<\tfrac12\)。要证乘积 \(\prod_{p>p_0}(1+a_p)\ge\tfrac12\)。
3. 用一个初等不等式：当各 \(a_p\) 满足 \(\sum|a_p|<1\) 时，\(\prod(1+a_p)\ge 1-\sum|a_p|\)。（直观：把乘积展开，主项是 1，其余项的绝对值之和不超过 \(\prod(1+|a_p|)-1\le e^{\sum|a_p|}-1\)；更简单地可对因子数归纳：\((1+a)(1-s)\ge 1-s-|a|\) 当 \(1-s\ge0\)。）
4. 代入 \(\sum_{p>p_0}|a_p|<\tfrac12\)，得 \(\prod_{p>p_0}\chi(p)\ge 1-\tfrac12=\tfrac12\)。
5. 结论的意义：所有大素数合起来的贡献至少是 \(\tfrac12\)，被牢牢托住，不会塌成 0。于是要判断整个 \(\mathfrak{S}=\big(\prod_{p\le p_0}\chi(p)\big)\cdot\big(\prod_{p>p_0}\chi(p)\big)\) 是否为正，只剩下有限个小素数 \(p\le p_0\) 的因子 \(\chi(p)\) 是否各自为正。问题从「无穷个素数」缩成了「有限个素数」。

这段在讲什么：给 \(\chi(p)\) 一个看得见摸得着的几何 / 计数解释。前面 \(\chi(p)\) 是一堆指数和加出来的，抽象；这里说它其实就等于「同余方程解数的密度极限」。这一步把「证 \(\chi(p)>0\)」变成「证模 \(p^\nu\) 有足够多解」，后者是纯算术、可下手。

为什么分母是 \(p^{\nu(n-1)}\)（这是关键的「正确刻度」）：设想 \(C(\mathbf{x})\equiv0\pmod{p^\nu}\) 这一个同余约束「随机地」筛掉点。在 \(p^{\nu n}\) 个候选点中，约束 \(C\equiv0\) 大致每 \(p^\nu\) 个里允许 1 个，所以「期望解数」约为 \(p^{\nu n}/p^\nu=p^{\nu(n-1)}\)。换句话说 \(p^{\nu(n-1)}\) 是「如果方程模 \(p^\nu\) 表现得完全随机、不偏不倚」时应有的解数。于是比值

就是「模 \(p^\nu\) 这层，解比随机多还是少」的相对密度。取 \(\nu\to\infty\) 的极限，就抓住了素数 \(p\) 处「越来越精细」的局部解密度——这正是 \(\chi(p)\)。所以 \(\chi(p)>0\) 的含义就是：解数 \(M(p^\nu)\) 始终保持在 \(p^{\nu(n-1)}\) 这个正常档次，不会随 \(\nu\) 增大而相对地萎缩到 0。

「引理 5.3 的论证」为什么给出这个极限（补全梗概）：这里用到一条标准的「指数和 ↔ 解数」对偶（第 5 章证过，对一般型同样成立）。核心是同余的指数和判别式：

1. 对任意整数 \(m\)，有恒等式 \(\displaystyle\frac1{p^\nu}\sum_{a=0}^{p^\nu-1}e\!\Big(\frac{a m}{p^\nu}\Big)=\begin{cases}1,&p^\nu\mid m\\0,&\text{否则}\end{cases}\)。（这是「若干等距单位圆点之和：整圈则相消为 0，原地不动则全为 1」，是检测「\(m\) 是否被 \(p^\nu\) 整除」的开关。）
2. 把 \(m=C(\mathbf{x})\) 代入并对所有 \(\mathbf{x}\bmod p^\nu\) 求和，左边数出的正是解数：\(\displaystyle M(p^\nu)=\frac1{p^\nu}\sum_{a=0}^{p^\nu-1}\sum_{\mathbf{x}\bmod p^\nu}e\!\Big(\frac{aC(\mathbf{x})}{p^\nu}\Big)=\frac1{p^\nu}\sum_{a=0}^{p^\nu-1}S_{a,p^\nu}\)。
3. 把 \(a\) 按它与 \(p^\nu\) 的最大公约数分类（即按既约分母 \(p^\mu\)，\(0\le\mu\le\nu\)）整理，化简后正好得到 \(\dfrac{M(p^\nu)}{p^{\nu(n-1)}}=1+A(p)+A(p^2)+\cdots+A(p^\nu)\)，即 \(\chi(p)\) 的有限截断（部分和）。
4. 令 \(\nu\to\infty\)，右边的部分和收敛到 \(\chi(p)\)（前面已证 \(\sum_\nu A(p^\nu)\) 绝对收敛），于是得到本段的极限公式。这就把「抽象的指数和因子」与「具体的同余解密度」严丝合缝地对上了。

这段在讲什么：把目标彻底「落地」成一个具体的算术不等式 (17.1)。

1. 回顾逻辑链：\(\mathfrak{S}=\prod_p\chi(p)\)；大素数那截 \(\ge\tfrac12>0\)；所以 \(\mathfrak{S}>0\) 当且仅当每个（有限个小素数的）\(\chi(p)>0\)。
2. 而 \(\chi(p)=\lim_\nu M(p^\nu)/p^{\nu(n-1)}\ge0\)（解数非负，极限非负）。要它严格大于 0，等价于这个比值不趋于 0，即存在固定正常数 \(C_p\) 使比值 \(\ge C_p\) 对大 \(\nu\) 都成立——这正是 (17.1)：\(M(p^\nu)\ge C_p\,p^{\nu(n-1)}\)。
3. 注意「对充分大的 \(\nu\)」就够了：因为我们只要极限 \(>0\)，前面有限个 \(\nu\) 怎样无所谓。

记号 \(C_p\)：一个依赖素数 \(p\)、与 \(\nu\) 无关的正常数下界。它具体取多少不重要，重要的是「存在某个正的它」，托住解数密度不掉到 0。

这段在讲什么：回顾「加性型」（每项形如系数乘单变量的 \(k\) 次幂、各变量分开）当年是怎么轻松搞定 (17.1) 的，好与下面「一般三次型」的困难做对比。

加性型 \(a_1x_1^k+\cdots+a_nx_n^k\)

各变量「不打架」，每项只含一个变量。Waring 问题里就是这种。\(k\) 是次数，\(a_j\) 是系数。

\(\gamma_1\)

一个事先算好的、足够大的固定指数。它的取法依赖素数 \(p\)、次数 \(k\)、以及系数里含多少个 \(p\) 因子。

「一个非全被 \(p\) 整除的解就够」是什么意思、为什么够：当年的经验是——只要在模 \(p^{\gamma_1}\) 下能找到一个解 \(\mathbf{x}\)，其中至少有一个坐标（比如 \(x_1\)）不被 \(p\) 整除，那么就能把这个解「逐次提升」到模 \(p^{\gamma_1+1},p^{\gamma_1+2},\dots\) 的解，而且每提升一层，解数按 \(p^{n-1}\) 倍增长，恰好维持 (17.1) 的密度。提升能进行下去的关键，是该解处导数不全为 \(p\) 的高次幂——对加性型这一点自动成立（见下一段）。

这段在讲什么：点破一般三次型与加性型的本质差别，并由此引出本章后半的核心概念。先把「偏导数」讲清。

为什么一般型更难、为什么需要「导数不被 \(p\) 高次幂整除」的解：

1. 提升解的算法（下面引理 17.1 会精确做）大致是：手上有模 \(p^{k}\) 的解 \(\mathbf{x}\)，想把它修成模 \(p^{k+1}\) 的解，办法是令 \(\mathbf{y}=\mathbf{x}+p^{?}\mathbf{u}\)，用泰勒展开 \(C(\mathbf{y})\approx C(\mathbf{x})+p^{?}(\mathbf{u}\cdot\nabla C)\)，再解一个关于 \(\mathbf{u}\) 的一次同余方程把 \(C\) 调成 0。
2. 这个一次方程的系数正是各偏导数 \(\partial C/\partial x_i\)。要它「可解且解多」，就不能让所有偏导数都被 \(p\) 整除太多次——否则一次方程退化（系数全是 0 模 \(p\)），调不动 \(C\)，提升失败。
3. 对加性型，\(\partial C/\partial x_j=a_jkx_j^{k-1}\)（这就是把 \(a_jx_j^k\) 对 \(x_j\) 求导）。既然解里「总有某个 \(x_j\) 不被 \(p\) 整除」，那一项的导数 \(a_jkx_j^{k-1}\)（在 \(p\nmid a_jk\) 时）也不被 \(p\) 整除——所以导数自动「不全被 \(p\) 整除」，限制是白送的。
4. 对一般三次型，变量交叉耦合，没有这种白送的保证：一个模 \(p^{\gamma}\) 的解完全可能所有偏导数都恰好被 \(p\) 高次整除（落在「奇点」附近），提升就卡住。所以必须额外要求找到一个「导数不太退化」的解。这就是下面定义 \(\mathcal{A}(p^\ell)\) 要精确刻画的东西。

这个定义在说什么：它精确地描述了我们需要的「好解」长什么样。性质 \(\mathcal{A}(p^\ell)\) 要求存在一个解 \(\mathbf{x}\)，同时满足三条：

(17.2) \(C(\mathbf{x})\equiv0\pmod{p^{2\ell-1}}\)

它是个相当深的解：不只是模 \(p\) 为 0，而是模 \(p^{2\ell-1}\) 都为 0。指数取 \(2\ell-1\) 不是随便写的，下面引理证明里会看到它正好和泰勒展开的精度匹配。

(17.3) 所有 \(\partial C/\partial x_i\equiv0\pmod{p^{\ell-1}}\)

所有偏导数至少被 \(p^{\ell-1}\) 整除。这是「导数的退化程度有个上限标尺 \(\ell\)」的下半句——允许导数被 \(p\) 整除，但不要太多。

(17.4) 某个 \(\partial C/\partial x_i\not\equiv0\pmod{p^{\ell}}\)

至少有一个偏导数不被 \(p^\ell\) 整除。配合 (17.3)：综合起来就是「至少有一个偏导数恰好被 \(p^{\ell-1}\) 整除、但不被 \(p^\ell\) 整除」，即它含 \(p\) 的次数正好是 \(\ell-1\)。这个「恰好 \(\ell-1\)」的导数就是提升解时用来「撬动」\(C\) 的杠杆。

为什么用「\(2\ell-1\) 配 \(\ell-1,\ell\)」这套指数（取舍理由）：这是为了让下面的提升论证刚好闭合。直觉上，泰勒展开 \(C(\mathbf{x}+p^{m}\mathbf{u})=C(\mathbf{x})+p^m(\mathbf{u}\cdot\nabla C)+O(p^{2m})\) 里，一次项的「有效精度」由导数含 \(p\) 的次数（约 \(\ell-1\)）和挪动量 \(p^m\) 共同决定，而二次以上余项是 \(p^{2m}\) 级。要让「一次项能调动 \(C\)、而二次余项又落在更高次幂被忽略」，三个指数必须按 \(2\ell-1=(\ell-1)+\ell\) 这种方式咬合。下面证明的每一处模数（\(p^{2\ell-1+\nu}\)、\(p^{\ell+\nu}\)、\(p^{2\ell+2\nu}\) 等）都是这套配比的产物。

引理在说什么：这是本章的「干活引理」。它断言：只要存在一个上面那种「好解」（即性质 \(\mathcal{A}(p^\ell)\) 成立），就能保证模 \(p\) 的越来越高次幂始终有足够多解——具体地，模 \(p^{2\ell-1+\nu}\) 至少有 \(p^{(n-1)\nu}\) 个解。把这个下界代回 \(\chi(p)\) 的极限定义，立刻得到 \(\chi(p)>0\)。下面先解释「从引理结论怎么推出 \(\chi(p)>0\)」，再细读证明。

1. 在 \(\chi(p)=\lim_{\nu\to\infty}M(p^\nu)/p^{\nu(n-1)}\) 里，沿着 \(\nu'=2\ell-1+\nu\) 这一串取值（这是 \(\nu\) 的一个子列，\(\nu\to\infty\) 时 \(\nu'\to\infty\)，对收敛序列其极限相同）。
2. 代入引理下界：\(\dfrac{M(p^{2\ell-1+\nu})}{p^{(2\ell-1+\nu)(n-1)}}\ge\dfrac{p^{(n-1)\nu}}{p^{(2\ell-1+\nu)(n-1)}}=p^{(n-1)\nu-(2\ell-1+\nu)(n-1)}=p^{-(2\ell-1)(n-1)}\)。
3. 右边 \(p^{-(2\ell-1)(n-1)}\) 是一个与 \(\nu\) 无关的固定正数。所以比值有正的下界，取极限得 \(\chi(p)\ge p^{-(2\ell-1)(n-1)}>0\)。这恰好就是 (17.1) 中那个 \(C_p\)。\(\chi(p)>0\) 证毕。

这段在讲什么：交代「还差最后一块拼图」与下章预告。本章已经把链条接到只剩一个缺口：

1. 本章证明了：若 \(C\) 对每个素数 \(p\) 都具有某个性质 \(\mathcal{A}(p^\ell)\)，则每个 \(\chi(p)>0\)（引理 17.1），从而 \(\mathfrak{S}=\prod_p\chi(p)>0\)，再由定理 17.1 得方程有非平凡解。
2. 但「每个 \(p\) 都真的存在这样的 \(\ell\)」本章并没有证——这需要对一般三次型在 \(p\)-进数（\(p\)-adic）层面构造出那个「导数不太退化的好解」。这是个独立、相当技术性的命题。
3. 这块缺口正是下一章（第 18 章「三次型：\(p\)-进问题」）的全部任务。补上它，整套「\(n\ge17\) 的三次型必有非平凡整数解」的证明才真正完工。

返回 全书目录