三次型：奇异积分Cubic forms: the singular integral

基础一：复指数 \(e(\alpha)=e^{2\pi i\alpha}\) 与单位圆

圆法里到处是记号 \(e(\alpha)\)，它读作「e 括号 alpha」，定义是 \[ e(\alpha)\ :=\ e^{2\pi i\alpha}\ =\ \cos(2\pi\alpha)+i\,\sin(2\pi\alpha). \] 这里 \(i\) 是虚数单位，满足 \(i^2=-1\)（高中选修里见过复数）。\(2\pi\) 是一整圈的弧度。所以当 \(\alpha\) 从 \(0\) 增加到 \(1\) 时，点 \(e(\alpha)=(\cos 2\pi\alpha,\ \sin 2\pi\alpha)\) 在复平面上沿单位圆（半径 1 的圆）正好转一整圈。

三个必须记住的性质：

• 模长恒为 1：\(|e(\alpha)|=\sqrt{\cos^2+\sin^2}=1\)。它永远在单位圆上。
• 周期为 1：\(e(\alpha+1)=e(\alpha)\)，因为转一整圈又回到原处。
• 加法变乘法：\(e(\alpha)\,e(\beta)=e(\alpha+\beta)\)，这就是指数法则 \(e^{A}e^{B}=e^{A+B}\)。

基础二：定积分 \(\int\)、求和号没出现但向量积分要懂

记号 \(\int_a^b f(x)\,dx\) 读作「从 \(a\) 到 \(b\) 对 \(f\) 求积分」，几何上就是函数曲线 \(y=f(x)\) 与 \(x\) 轴在 \([a,b]\) 之间围成的带正负号的面积（曲线在 \(x\) 轴下方时记负）。这是高中选修/大学微积分的内容，本章会反复用到，务必先有这个图像。

本章还出现多重积分 \(\displaystyle\int_{\mathcal{B}}\cdots d\boldsymbol{\xi}\)。这里 \(\boldsymbol{\xi}=(\xi_1,\dots,\xi_n)\) 是一个 \(n\) 维向量（黑体表示「一串数」），\(\mathcal{B}\) 是 \(n\) 维空间里的一个区域（本章取成一个小立方体「盒子」）。记号 \[\int_{\mathcal{B}} f(\boldsymbol{\xi})\,d\boldsymbol{\xi}\quad\text{其实是}\quad \int\!\!\int\!\cdots\!\!\int f(\xi_1,\dots,\xi_n)\,d\xi_1 d\xi_2\cdots d\xi_n,\] 也就是把 \(n\) 个一重积分套在一起、一层层地积。你可以把它想成「把盒子里每个小格子上的函数值乘以小格子的体积，再全加起来」。

基础三：齐次型（form）与判别式

书里说的「型」（form）就是齐次多项式：每一项的次数都相同。例如 \(\xi_2^2+3\xi_2\xi_3\) 是 2 次型（每项都是 2 次），\(C(\boldsymbol{\xi})=\sum c_{ijk}\xi_i\xi_j\xi_k\) 是 3 次型（每项都是 3 次）。本章主角 \(C\) 是一个 \(n\) 元的三次型，三次型 \(=\) 三次齐次多项式。

判别式（discriminant）：一元三次方程 \(a x^3+bx^2+cx+d=0\) 有一个由系数算出来的数 \(D\)，叫判别式。它的关键作用是判断「有没有重根」：\(D=0\)\(\iff\)方程有重根（两个或三个根相等）。高中你最熟的是二次方程的判别式 \(b^2-4ac\)；三次方程也有类似但更复杂的公式，本章不需要它的具体形状，只用它「\(D=0\) 当且仅当有重根」这一条性质。

这一段在讲什么它给出了本章唯一研究对象 \(J(\mu)\) 的定义，并说明它不是凭空写的，而是上一章（第 15 章）的引理 15.4 里自然蹦出来的那个二重积分。下面把式 (16.1) 里每个符号拆开讲。

为什么会冒出这么个二重积分？——动机

圆法的核心恒等式是：对任意整数 \(m\)， \[\int_0^1 e(\alpha m)\,d\alpha=\begin{cases}1,& m=0\\[2pt]0,& m\neq 0\end{cases}\] （这是因为 \(m\neq0\) 时 \(e(\alpha m)\) 绕圆整数圈、积分为 0；\(m=0\) 时被积函数恒为 1，积分为 1）。于是把它用在 \(m=C(\boldsymbol{x})\) 上，就有 \[\mathcal{N}(P)=\#\{\boldsymbol{x}\in P\mathcal{B}\cap\mathbb{Z}^n:\ C(\boldsymbol{x})=0\}=\int_0^1\Big(\sum_{\boldsymbol{x}\in P\mathcal{B}}e(\alpha C(\boldsymbol{x}))\Big)\,d\alpha=\int_0^1 S(\alpha)\,d\alpha.\] 也就是说，「方程的整数解个数」被写成了一个积分——这正是圆法的出发点。接着把 \([0,1]\) 切成「主弧（major arcs）」与「次弧（minor arcs）」：主弧是 \(\alpha\) 离有理数 \(a/q\)（小分母）很近的小区间，次弧是其余部分。次弧贡献很小（上一章处理），主弧贡献给出主项。在主弧上把求和 \(S\) 用积分近似、再做尺度放大，主项里就分离出一个对连续变量的二重积分，它就是 (16.1) 的 \(J(\mu)\)。一句话：\(J(\mu)\) 是「整点求和」在主弧上被「实数积分」替换后剩下的那部分，它度量的是方程 \(C=0\) 的实数解在盒子附近有多「稠密」。

逐句解读

「它依赖于盒子 \(\mathcal{B}\)」——式 (16.1) 的内层积分是在 \(\mathcal{B}\) 上做的，所以 \(\mathcal{B}\) 一变，\(J(\mu)\) 就变。这句话点明：盒子的选取是我们手里唯一的杠杆。

「本章目标」就是 (16.2)：存在一种盒子的选法，使得当 \(\mu\to\infty\) 时 \(J(\mu)\) 趋于一个严格大于 0 的极限值 \(J_0\)。这里有两件事要做到：①极限存在（收敛）；②极限是正的（不是 0）。两者缺一不可，后面的证明会分别落实。

为什么叫「奇异」（singular）？——名字的来历「奇异积分」「奇异级数」里的「奇异 / singular」并不是「有奇点、发散」的意思，而是 Hardy 与 Littlewood 在 1920 年代创立圆法时留下的历史性术语。它大致对应「主奇异部分 / 主导项」——即主弧分析中分离出来、决定主项大小的那个核心因子。与之并列的还有奇异级数 \(\mathfrak{S}\)（下一章 17 章的主题，度量「各个素数模下解的稠密程度」）。两者一个管「实数 / 连续」一侧（奇异积分），一个管「同余 / 离散」一侧（奇异级数），合起来才给出整数解个数的渐近公式。记住：奇异积分 = 实数解的密度因子。

这一段在讲什么回答「盒子 \(\mathcal{B}\) 放在哪个位置」。答案是：放在曲面 \(C=0\) 上的某一点 \(\boldsymbol{\xi}^*\) 处，让这一点当盒子的正中心。星号 \(*\) 只是用来标记「这是我们选定的那个特定的解」，区别于一般变量 \(\boldsymbol{\xi}\)。式 (16.3) 就是说这一点确实落在曲面上（代进去等于 0）。

为什么「以一个真实解为中心」是自然的？——逻辑闭环

这里用了一个非常朴素但关键的道理，分两步：

1. 目标决定手段。我们最终想证 \(\mathcal{N}(P)\)（盒子放大 \(P\) 倍后里面的整数解个数）随 \(P\to\infty\) 而趋于无穷。要让解越来越多，盒子里至少得「能装得下解」。
2. 放缩的单调性。注意一个几何事实：曲面 \(C=0\) 是齐次的（\(C\) 是齐次型），所以「\(\boldsymbol{\xi}\) 在 \(\mathcal{B}\) 里且 \(C(\boldsymbol{\xi})=0\)」与「\(P\boldsymbol{\xi}\) 在 \(P\mathcal{B}\) 里且 \(C(P\boldsymbol{\xi})=P^3C(\boldsymbol{\xi})=0\)」是一一对应的。于是如果连续区域 \(\mathcal{B}\) 里压根没有 \(C=0\) 的实数解，那放大后的 \(P\mathcal{B}\) 里也不会有任何实数解，里面的整数解就更不可能有了（整数解是实数解的特例），结论是 \(\mathcal{N}(P)=0\)。

「a fortiori」（拉丁文，原文用词）意为「更何况、更加地」：连实数解都没有，整数解自然更没有。所以为了不让一切归零，必须把盒子骑在曲面上、含住至少一个实解——这就是「以实解为中心」的理由。

「非奇异解」是什么意思

脚注里给了定义：非奇异解（non-singular solution）= 在该点处 \(C\) 的偏导数不全为 0 的解。

偏导数 \(\dfrac{\partial C}{\partial \xi_j}\) 读作「C 对 \(\xi_j\) 的偏导数」，意思是：把其它变量都暂时看成常数，只对 \(\xi_j\) 求导。它衡量「只动 \(\xi_j\) 这一个坐标时，\(C\) 变化得有多快」。把 \(n\) 个偏导数排成一行 \(\big(\partial C/\partial\xi_1,\dots,\partial C/\partial\xi_n\big)\)，这叫梯度，它垂直于曲面 \(C=0\)，是曲面在该点的「法方向」。

「非奇异」就是要求这个梯度不是零向量。几何含义：在 \(\boldsymbol{\xi}^*\) 处曲面 \(C=0\) 是光滑的、有一个确定的切平面，没有尖点 / 自交 / 退化。奇异点（梯度为 0 的点）则是曲面上的「坏点」。我们专挑好点。

为什么要「更多一些」——动机

普通实解只保证「盒子里有解」。但本章真正要算的是 \(J(\mu)\to J_0>0\)：我们要在中心点附近把 \(C\) 近似成线性来做换元（后面 \(c_1\eta_1+\cdots\) 那一步）。这要求中心点处至少有一个偏导数不为零——否则线性项全没了，换元失败。所以「非奇异」不是吹毛求疵，而是后面证明的技术前提。

「\(\xi_j^*\) 没有一个为 0」则是更进一步的便利要求：它保证中心点不贴着任何坐标轴 / 坐标超平面，使后续的幂级数反演（把 \(\eta_1\) 解出来）在一个干净的小邻域里成立。书里诚实地说「而且这或许还是必要的（may even be essential）」——意思是这些额外条件不只是图方便，可能是让 (16.2) 成立所必需的，不能随便扔掉。

这一段在讲什么 · 「容易证明」要补全

书里说「容易证明」，下面我们把它一步不漏地补出来。策略：先随便固定后面 \(n-1\) 个坐标 \(\xi_2,\dots,\xi_n\)（当成参数），再把 \(C=0\) 看成只关于 \(\xi_1\) 的一元三次方程，解出 \(\xi_1\)。

为什么这一步行得通？因为实系数一元三次方程必有实根——这是高中可理解的事实：三次函数 \(y=ax^3+\cdots\)（\(a\neq0\)）在 \(x\to+\infty\) 与 \(x\to-\infty\) 时趋于 \(+\infty\) 与 \(-\infty\)（或反之），由连续函数的介值定理，它必定穿过 \(x\) 轴一次，即至少有一个实根。所以「找到实数 \(\xi_1\)」总能办到。

但「找到解」还不够，我们要的是好解，于是附加两个条件：\(\xi_1\neq0\)（坐标非零）和 \(\partial C/\partial\xi_1\neq0\)（在 \(\xi_1\) 方向上非奇异，足以保证梯度非零）。下一段就逐一保证这两条能同时做到。

把三次型按 \(\xi_1\) 的幂次重排——为什么是这个形状

\(C\) 是 \(n\) 个变量的三次型。把它按 \(\xi_1\) 的次数收集同类项，每一项总次数恒为 3，所以：

• \(\xi_1^3\) 项：系数是常数 \(c_{111}\)（\(\xi_1\) 占满了全部 3 次，其余变量 0 次）；
• \(\xi_1^2\) 项：系数 \(F\) 必须是 \(\xi_2,\dots,\xi_n\) 的 1 次型（\(2+1=3\)）；
• \(\xi_1^1\) 项：系数 \(G\) 是 \(\xi_2,\dots,\xi_n\) 的 2 次型（\(1+2=3\)）；
• \(\xi_1^0\) 项：系数 \(H\) 是 \(\xi_2,\dots,\xi_n\) 的 3 次型（\(0+3=3\)）。

这就是为什么 \(F,G,H\) 分别是 1、2、3 次型——纯粹是「每项总次数 = 3」逼出来的。

为什么 \(H\neq0\) 就能保证 \(\xi_1\neq0\)

把上面的三次方程写成 \(c_{111}\xi_1^3+F\xi_1^2+G\xi_1+H=0\)。常数项就是 \(H\)。一元方程的常数项 = 把 \(\xi_1=0\) 代入左边的值。所以：

1. 若 \(\xi_1=0\) 是这方程的根，代入得左边 \(=H\)，于是必有 \(H=0\)。
2. 逆否命题：只要 \(H\neq0\)，\(\xi_1=0\) 就不是根，从而我们解出的实根 \(\xi_1\) 必然 \(\neq0\)。

「\(H\) 不可能恒等于零」是说：\(H(\xi_2,\dots,\xi_n)\) 作为一个 3 次型，不会对所有 \(\xi_2,\dots,\xi_n\) 都取 0（否则 \(C\) 里就根本没有不含 \(\xi_1\) 的那部分，这与 \(C\) 是真正的 \(n\) 元三次型矛盾——这属于「一般位置」的假设）。所以总能挑到一组 \(\xi_2,\dots,\xi_n\) 让 \(H\neq0\)，从而 \(\xi_1\neq0\)。

为什么 \(D\neq0\) 就能保证 \(\partial C/\partial\xi_1\neq0\)

把 \(g(\xi_1):=C(\xi_1,\xi_2,\dots,\xi_n)\) 看成只含 \(\xi_1\) 的三次函数（其余固定）。注意 \(\partial C/\partial\xi_1 = g'(\xi_1)\)，就是它对 \(\xi_1\) 的导数。

1. 假设我们解出的根 \(\xi_1\) 恰好让 \(\partial C/\partial\xi_1=g'(\xi_1)=0\)。那么 \(\xi_1\) 同时满足 \(g(\xi_1)=0\) 和 \(g'(\xi_1)=0\)。
2. 「\(g\) 和 \(g'\) 有公共根」正是「\(g\) 有重根」的定义（重根处函数值和导数同时为零，就像抛物线顶点贴着 \(x\) 轴）。
3. 而一元三次方程「有重根」\(\iff\) 它的判别式 \(D=0\)（这是判别式的核心性质，见前面基础三）。
4. 取逆否：只要 \(D\neq0\)，方程就无重根，于是任何根 \(\xi_1\) 都满足 \(g'(\xi_1)=\partial C/\partial\xi_1\neq0\)。

这样一来，\(\partial C/\partial\xi_1\neq0\) 就单独保证了「梯度不全为零」（因为梯度的第一个分量就已经非零），即解是非奇异的。

为什么可以假定 \(D\) 不恒等于零——一个漂亮的反证

万一对所有的 \(\xi_2,\dots,\xi_n\)，判别式 \(D(\xi_2,\dots,\xi_n)\) 都恒等于 0 怎么办？书里说：那反而更好，因为这种情况能直接给出我们想要的解。理由：

1. \(D\equiv0\) 意味着对每组 \(\xi_2,\dots,\xi_n\)，关于 \(\xi_1\) 的三次方程总有重根。
2. 三次方程的二重根有显式公式，可由系数有理地表达。这里的系数 \(c_{111},F,G,H\) 都是 \(\xi_2,\dots,\xi_n\) 的（有理系数）多项式。所以这个重根 \(\xi_1\) 是 \(\xi_2,\dots,\xi_n\) 的有理函数。
3. 于是只要给 \(\xi_2,\dots,\xi_n\) 取有理数值，算出的 \(\xi_1\) 也是有理数，得到 \(C=0\) 的一组有理解。而有理解经过通分放大就是整数解——这正是圆法想要的（解的存在性直接到手），根本不必再绕奇异积分。

换句话说：要么 \(D\not\equiv0\)，我们就能挑到非奇异实解（继续走积分这条路）；要么 \(D\equiv0\)，我们直接白捡有理解（路更短）。两种情况都对我们有利，所以「假定 \(D\not\equiv0\)」是没有损失的。

盒子的具体形状 · \(\rho\) 是什么

前面证明了好解 \(\boldsymbol{\xi}^*=(\xi_1^*,\dots,\xi_n^*)\) 存在。现在把盒子 \(\mathcal{B}\) 取成以 \(\boldsymbol{\xi}^*\) 为中心、边长为 \(2\rho\) 的小立方体：每个坐标 \(\xi_j\) 都被限制在离中心坐标 \(\xi_j^*\) 不超过 \(\rho\) 的范围内，即 \(|\xi_j-\xi_j^*|<\rho\)。

\(\rho\)（读「rho」，希腊字母）是立方体的「半边长」，一个待定的小正数。本章的核心调参就是它：「只要 \(\rho\) 取得足够小，结论 (16.2) 就成立」。为什么小才行？因为后面要在中心附近做线性近似和幂级数反演，邻域越小，曲面越接近自己的切平面、误差项越可控。这就是「\(\rho\) 充分小」反复出现的原因。

证明的总路线（先看地图，再上路）

整个证明就三步，建议先记住这张地图，下面每一小节填一格：

1. 把二重积分拍扁成一重。先对 \(\gamma\) 积分，用一条初等积分公式把内层 \(\int_{-\mu}^\mu e(\gamma C)\,d\gamma\) 算成 \(\dfrac{\sin 2\pi\mu C}{\pi C}\)，于是 \(J(\mu)\) 只剩对 \(\boldsymbol{\xi}\) 的一个 \(n\) 重积分。
2. 换元，把 \(C\) 本身当新坐标。在中心附近把 \(C\) 近似成线性，令 \(\zeta=C(\boldsymbol{\xi}^*+\boldsymbol{\eta})\) 当作新变量替换掉 \(\eta_1\)。\(n\) 重积分塌缩成「对 \(\zeta\) 的一重积分」乘上一个权重函数 \(V(\zeta)\)，得到经典形状 (16.7)。
3. 用 Dirichlet 核 / Fourier 积分定理取极限。\(\dfrac{\sin2\pi\mu\zeta}{\pi\zeta}\) 在 \(\mu\to\infty\) 时是一个「越来越尖的钉子」（趋于 \(\delta\) 函数），它把积分挑出 \(\zeta=0\) 处的值，于是 \(J(\mu)\to V(0)\)。最后说明 \(V(0)>0\)，大功告成。

第①个等号：交换积分次序

原式是先对 \(\boldsymbol{\xi}\)（内）、再对 \(\gamma\)（外）。我们把次序换成先对 \(\gamma\)（内）、再对 \(\boldsymbol{\xi}\)（外）： \[\int_{-\mu}^{\mu}\!\Big(\int_{\mathcal B}e(\gamma C)\,d\boldsymbol\xi\Big)d\gamma=\int_{\mathcal B}\!\Big(\int_{-\mu}^{\mu}e(\gamma C)\,d\gamma\Big)d\boldsymbol\xi.\] 凭什么能换？因为积分区域是有界的（\(\gamma\in[-\mu,\mu]\)，\(\boldsymbol\xi\in\mathcal B\) 有界），被积函数 \(|e(\gamma C)|=1\) 连续有界，由Fubini 定理（多重积分换序定理，大学内容）即可交换。直观上：一个有界区域上对一个有界连续函数求二重积分，「横着先加」还是「竖着先加」结果一样。

第②个等号：把内层 \(\int_{-\mu}^{\mu}e(\gamma C)\,d\gamma\) 算出来（核心公式，逐步推）

固定 \(\boldsymbol\xi\)，记 \(c=C(\boldsymbol\xi)\)（一个常数）。我们要算 \(\displaystyle\int_{-\mu}^{\mu}e(\gamma c)\,d\gamma=\int_{-\mu}^{\mu}e^{2\pi i c\,\gamma}\,d\gamma\)。

1. 对指数函数积分。\(\dfrac{d}{d\gamma}\,e^{2\pi i c\gamma}=2\pi i c\cdot e^{2\pi i c\gamma}\)，所以它的原函数是 \(\dfrac{e^{2\pi i c\gamma}}{2\pi i c}\)（前提 \(c\neq0\)，盒子里几乎处处成立）。于是 \[\int_{-\mu}^{\mu}e^{2\pi i c\gamma}\,d\gamma=\left[\frac{e^{2\pi i c\gamma}}{2\pi i c}\right]_{-\mu}^{\mu}=\frac{e^{2\pi i c\mu}-e^{-2\pi i c\mu}}{2\pi i c}.\]
2. 用欧拉公式把复指数变成正弦。欧拉公式 \(e^{i\theta}=\cos\theta+i\sin\theta\) 给出 \[e^{i\theta}-e^{-i\theta}=(\cos\theta+i\sin\theta)-(\cos\theta-i\sin\theta)=2i\sin\theta.\] 取 \(\theta=2\pi c\mu\)：分子 \(=2i\sin(2\pi c\mu)\)。
3. 约分。 \[\frac{2i\sin(2\pi c\mu)}{2\pi i c}=\frac{\sin(2\pi c\mu)}{\pi c}.\] 分子分母的 \(2i\) 与 \(2\pi i c\) 里的 \(2i\) 对消，剩 \(\dfrac{\sin(2\pi\mu c)}{\pi c}\)。
4. 把 \(c=C(\boldsymbol\xi)\) 代回，得到 \[\int_{-\mu}^{\mu}e(\gamma C(\boldsymbol\xi))\,d\gamma=\frac{\sin\big(2\pi\mu\,C(\boldsymbol\xi)\big)}{\pi\,C(\boldsymbol\xi)}.\]

这就是第②个等号。注意结果是个纯实数（虚部全消掉了）——很合理，因为 \(J(\mu)\) 本是一个实积分。顺带一提，当 \(C(\boldsymbol\xi)\to0\) 时，由 \(\sin x\approx x\) 知 \(\dfrac{\sin(2\pi\mu C)}{\pi C}\to 2\mu\)，并不发散，所以被积函数在 \(C=0\) 处也是好的（可去）。

第③个等号：把盒子平移到原点（换元 \(\boldsymbol\xi=\boldsymbol\xi^*+\boldsymbol\eta\)）

盒子 \(\mathcal B\) 是 \(|\xi_j-\xi_j^*|<\rho\)。令偏移量 \(\boldsymbol\eta=\boldsymbol\xi-\boldsymbol\xi^*\)，即 \(\eta_j=\xi_j-\xi_j^*\)。那么：

• 积分区域从「以 \(\boldsymbol\xi^*\) 为心的立方体」变成「以原点为心的立方体」\(|\eta_j|<\rho\)，积分上下限统一成 \(-\rho\) 到 \(\rho\)（这就是为什么出现 \(n\) 个 \(\int_{-\rho}^{\rho}\)）。
• 平移换元的体积元不变：\(d\boldsymbol\xi=d\boldsymbol\eta\)（平移不缩放体积，雅可比行列式 =1）。
• 被积函数里把 \(\boldsymbol\xi\) 换成 \(\boldsymbol\xi^*+\boldsymbol\eta\)。

于是得到 (16.5) 的第三行。这一步纯粹是「把坐标原点搬到盒子中心」，让中心点变成 \(\boldsymbol\eta=\boldsymbol0\)，方便下面做「在中心附近展开」。

(16.6) 是怎么来的——三次多项式的「泰勒展开」

把 \(C(\boldsymbol\xi^*+\boldsymbol\eta)\) 当成 \(\boldsymbol\eta\) 的函数展开。因为 \(C\) 是三次多项式，按 \(\boldsymbol\eta\) 的次数从低到高整理，最多到 3 次，于是必然写成 \[C(\boldsymbol\xi^*+\boldsymbol\eta)=\underbrace{C(\boldsymbol\xi^*)}_{\text{0 次：常数}}+\underbrace{(c_1\eta_1+\cdots+c_n\eta_n)}_{\text{1 次：线性}}+\underbrace{P_2(\boldsymbol\eta)}_{\text{2 次}}+\underbrace{P_3(\boldsymbol\eta)}_{\text{3 次}}.\] 现在用上「中心是解」这件大事：\(C(\boldsymbol\xi^*)=0\)（式 16.3），所以常数项消失，只剩 1、2、3 次三部分——这正是 (16.6)。可见「以解为中心」在这里直接帮我们抹掉了常数项，让 \(C\) 在中心附近从 0 开始，主导行为是线性项 \(c_1\eta_1+\cdots\)。

系数 \(c_j\) 为什么等于偏导数

泰勒展开的一次项系数 = 在该点的偏导数。具体地，\(c_j=\dfrac{\partial C}{\partial\xi_j}(\boldsymbol\xi^*)\)：把 \(\boldsymbol\eta\) 里只有 \(\eta_j\) 微小变动、其余为 0，则 \(C\) 的变化率就是 \(\partial C/\partial\xi_j\)，这恰是 \(\eta_j\) 前的线性系数。所以 \[c_1=\frac{\partial C}{\partial\xi_1}(\boldsymbol\xi^*).\] 而我们专门选了非奇异解，并在第 4 节保证了 \(\partial C/\partial\xi_1\neq0\)，于是 \(c_1\neq0\)。——前面所有挑选好解的苦功，就是为了此刻这一句 \(c_1\neq0\)：它保证线性项里 \(\eta_1\) 这一项真实存在，下一步才能把 \(\eta_1\) 解出来。

「不失一般性可设 \(c_1=1\)」——这步合法吗？

「不失一般性」（without loss of generality，常缩写 WLOG）意思是：通过一个不影响结论的简单调整，可以把问题化到一个更干净的特例，省去无谓的字母。这里的调整是把 \(C\) 整体除以常数 \(c_1\)（因为 \(c_1\neq0\)，可以除）。

1. 令 \(\tilde C=C/c_1\)。方程 \(C=0\) 与 \(\tilde C=0\) 是同一条曲面（两边除以非零常数解集不变），所以中心 \(\boldsymbol\xi^*\)、盒子都不变。
2. \(\tilde C\) 的一次项系数变成 \(c_j/c_1\)，其中第一个就是 \(c_1/c_1=1\)。
3. 除以常数只会把整个积分 \(J(\mu)\) 乘上一个固定正因子（且 \(\sin/\) 的结构形式不变），不影响「极限存在且为正」这一结论。

所以为简洁起见，直接假定 \(c_1=1\)，线性项写成 \(\eta_1+c_2\eta_2+\cdots+c_n\eta_n\)。

为什么 \(|C|<\sigma\)，且 \(\sigma\) 随 \(\rho\) 变小

在盒子里 \(|\eta_j|<\rho\)。代入 (16.6)，\(C(\boldsymbol\xi^*+\boldsymbol\eta)\) 是 \(\boldsymbol\eta\) 的（无常数项的）多项式，每一项至少含一个 \(\eta_j\) 因子，所以当所有 \(|\eta_j|<\rho\) 时，每一项都被某个 \(\rho\) 的正次幂控制住。把它们加起来，存在一个上界 \(\sigma\) 使 \(|C|<\sigma\)；并且 \(\rho\to0\) 时这个上界 \(\sigma\to0\)。记号 \(\sigma=\sigma(\rho)\) 就是强调「\(\sigma\) 是依赖 \(\rho\) 的、并随 \(\rho\) 一起变小」。直观：盒子越小，盒子里 \(C\) 的取值范围越贴近 0（因为中心处 \(C=0\) 且 \(C\) 连续）。

关键换元思想：让 \(\zeta=C\) 当一个新坐标

这是全章最妙的一步，动机要讲清。被积函数 \(\dfrac{\sin2\pi\mu C}{\pi C}\) 只通过 \(C\) 的取值起作用——它只关心 \(C\) 等于多少，不关心 \(\boldsymbol\eta\) 具体在哪。既然如此，何不干脆把 \(C\) 本身当成一个坐标轴？记 \[\zeta:=C(\boldsymbol\xi^*+\boldsymbol\eta).\] 我们打算用新坐标组 \((\zeta,\eta_2,\dots,\eta_n)\) 替换旧坐标组 \((\eta_1,\eta_2,\dots,\eta_n)\)：保留 \(\eta_2,\dots,\eta_n\) 不动，只把 \(\eta_1\) 换成 \(\zeta\)。这样积分里 \(\sin/\) 那一团就变成只含 \(\zeta\) 的干净函数 \(\dfrac{\sin2\pi\mu\zeta}{\pi\zeta}\)，与其余变量分离开。要完成这个替换，必须能把 \(\eta_1\) 反解成 \((\zeta,\eta_2,\dots,\eta_n)\) 的函数——这正是下面「反演 (16.6)」要做的。

为什么能反解 \(\eta_1\)——隐函数 / 反函数定理

把 (16.6)（已设 \(c_1=1\)）写成 \[\zeta=\eta_1+c_2\eta_2+\cdots+c_n\eta_n+P_2(\boldsymbol\eta)+P_3(\boldsymbol\eta).\] 这是一个关于 \(\eta_1\) 的方程。我们想从中解出 \(\eta_1\)。关键观察：等式右边对 \(\eta_1\) 的偏导数在原点处是 \[\frac{\partial\zeta}{\partial\eta_1}\Big|_{\boldsymbol\eta=0}=1\neq0\] （因为 \(\eta_1\) 前的系数是 \(1\)，而高次项 \(P_2,P_3\) 在原点的偏导为 0）。反函数定理（大学微积分）说：只要某点处导数非零，函数在该点附近就局部可逆，可以把自变量反解出来，而且解还是光滑的（这里甚至能写成幂级数）。所以在足够小的邻域（\(\rho\) 充分小）里，存在唯一的 \[\eta_1=\eta_1(\zeta,\eta_2,\dots,\eta_n).\] 这就是「若 \(\rho\) 充分小，可反演 (16.6)」的严格依据。注意这里再次用到 \(c_1=1\neq0\)——非奇异性在此第三次救场。

反解的具体形状为什么是 \(\eta_1=\zeta-c_2\eta_2-\cdots-c_n\eta_n+P(\dots)\)

把 \(\zeta=\eta_1+c_2\eta_2+\cdots+c_n\eta_n+(\text{高次})\) 里的 \(\eta_1\) 移项： \[\eta_1=\zeta-c_2\eta_2-\cdots-c_n\eta_n-(\text{高次项}).\] 那些「高次项」\(P_2+P_3\) 里也含 \(\eta_1\)，但可以用逐次代入 / 迭代的办法把里面的 \(\eta_1\) 不断用右边表达式替换，最终把所有 \(\eta_1\) 都消干净，得到一个只含 \((\zeta,\eta_2,\dots,\eta_n)\) 的幂级数。整理后这堆修正项记为 \(P(\zeta,\eta_2,\dots,\eta_n)\)。

为什么说 \(P\)「至少从 2 次项开始」？因为 \(\eta_1\) 的线性主部已经被精确写成 \(\zeta-c_2\eta_2-\cdots-c_n\eta_n\)（它来自原式的线性部分），剩下的修正全部来自原来的 2、3 次项，所以 \(P\) 里没有常数项、也没有一次项，最低是 2 次。这个事实下一步会用到（它保证 \(\partial\eta_1/\partial\zeta\) 的修正在原点为 0）。

求 \(\partial\eta_1/\partial\zeta\) 并控制误差 \(P_1\)

1. 对 \(\zeta\) 求偏导。把 \(\eta_2,\dots,\eta_n\) 看作常数，对 \(\eta_1=\zeta-c_2\eta_2-\cdots-c_n\eta_n+P(\zeta,\dots)\) 关于 \(\zeta\) 求偏导：常数 \(-c_j\eta_j\) 项导数为 0，\(\zeta\) 项导数为 1，\(P\) 项导数记为 \(P_1:=\partial P/\partial\zeta\)。于是 \[\frac{\partial\eta_1}{\partial\zeta}=1+P_1(\zeta,\eta_2,\dots,\eta_n).\] 这里 \(\partial\eta_1/\partial\zeta\) 正是后面换元要用的雅可比因子（一维方向上的「拉伸率」）。
2. 误差为何小。\(P\) 最低 2 次，对 \(\zeta\) 求一次导后 \(P_1=\partial P/\partial\zeta\) 最低1 次，所以在原点 \(P_1(0,\dots,0)=0\)。\(P_1\) 又连续，于是只要把邻域取得足够小（\(\rho\)、\(\sigma\) 足够小），就能让 \(P_1\) 离它在原点的值 0 不远，具体地保证 \[|P_1|<\tfrac12\quad\text{在}\quad |\eta_2|<\rho,\dots,|\eta_n|<\rho,\ |\zeta|<\sigma\ \text{上}.\]
3. 为什么偏要 \(1/2\) 这个阈值？因为这样 \(\partial\eta_1/\partial\zeta=1+P_1\) 就被夹在 \(\tfrac12<1+P_1<\tfrac32\) 之间——恒为正。这件事至关重要：它保证换元 \(\eta_1\leftrightarrow\zeta\) 是严格单调（一一对应、不折叠）的，雅可比不变号，换元才合法、积分才不会出现「正负抵消的虚假塌缩」。后面证 \(V(0)>0\) 也要用到 \(1+P_1>\tfrac12>0\)。这就是为何挑 \(1/2\) 而不是别的：它是「保证为正、又留出余量」的最省事阈值。

这一步把 \(n\) 重积分塌缩成「一重 × 权重」

(16.5) 是对 \((\eta_1,\eta_2,\dots,\eta_n)\) 的 \(n\) 重积分。我们只把其中的 \(\eta_1\) 换成 \(\zeta\)，其余 \(\eta_2,\dots,\eta_n\) 不动。分两层看：

1. 先对 \(\eta_1\) 那一层换元。固定 \(\eta_2,\dots,\eta_n\)，对内层那个关于 \(\eta_1\) 的积分做换元 \(\eta_1\to\zeta\)。一维换元公式 \(d\eta_1=\dfrac{\partial\eta_1}{\partial\zeta}\,d\zeta=(1+P_1)\,d\zeta\)。同时被积函数里 \(C=\zeta\)，所以 \(\dfrac{\sin2\pi\mu C}{\pi C}=\dfrac{\sin2\pi\mu\zeta}{\pi\zeta}\)。于是内层变成 \[\int \frac{\sin2\pi\mu\zeta}{\pi\zeta}\,(1+P_1)\,d\zeta.\]
2. 交换积分次序，提出只含 \(\zeta\) 的因子。因为 \(\dfrac{\sin2\pi\mu\zeta}{\pi\zeta}\) 只依赖 \(\zeta\)、不依赖 \(\eta_2,\dots,\eta_n\)，可以把它提到对 \(\eta_2,\dots,\eta_n\) 的积分外面。把对 \(\eta_2,\dots,\eta_n\) 的那 \((n-1)\) 重积分（连同权重 \(1+P_1\)）单独打包成一个只依赖 \(\zeta\) 的函数： \[V(\zeta):=\int_{\mathcal B'}\{1+P_1(\zeta,\eta_2,\dots,\eta_n)\}\,d\eta_2\cdots d\eta_n.\] 剩下对 \(\zeta\) 的一重积分就是 (16.7)：\(\displaystyle J(\mu)=\int_{-\sigma}^{\sigma}\frac{\sin2\pi\mu\zeta}{\pi\zeta}\,V(\zeta)\,d\zeta\)。

一句话总结：原来的 \(n\) 维积分被「拍扁」到 \(\zeta\) 这一根轴上，每个 \(\zeta\) 处的「厚度」就是 \(V(\zeta)\)。积分上下限变成 \(|\zeta|<\sigma\)，因为前面证过盒子里 \(|C|=|\zeta|<\sigma\)。

先纠正一个原书笔误书里这行写的是 \(\lim_{\mu\to\infty}V(\mu)=V(0)\)，但按上下文，真正取极限的是整个积分 \(J(\mu)\)，正确含义是 \[\boxed{\ \lim_{\mu\to\infty}J(\mu)=\lim_{\mu\to\infty}\int_{-\sigma}^{\sigma}\frac{\sin2\pi\mu\zeta}{\pi\zeta}\,V(\zeta)\,d\zeta=V(0).\ }\] （这是原文的一处印刷疏漏，我们按它本来的意思来理解。）下面解释为什么这个极限成立。

「\(V\) 连续」——为什么显然

\(V(\zeta)=\displaystyle\int_{\mathcal B'}(1+P_1)\,d\eta_2\cdots d\eta_n\)。被积函数 \(1+P_1\) 对 \(\zeta\) 连续，积分区域 \(\mathcal B'\) 的边界 \(|\eta_1|=|\zeta-c_2\eta_2-\cdots+P|=\rho\) 也随 \(\zeta\) 连续移动。「连续地变形的区域上、对连续函数积分」，结果对 \(\zeta\) 连续。直观：\(\zeta\) 稍微变一点，切片只挪一点点，厚度 \(V(\zeta)\) 也只变一点点。

「有界变差」是什么 · 为什么需要它

有界变差函数（function of bounded variation）：粗略地说，就是「上上下下的总波动量有限」的函数——把它在区间上所有的涨跌幅加起来是个有限数，不会无限次剧烈抖动。直观例子：单调函数、分段单调函数都是有界变差；而像 \(\sin(1/x)\) 在 0 附近那样无限次振荡的就不是。

书里给的判据：\(V\) 在每点都有有限的左导数和右导数（左右两侧的变化率都存在且有界），这样的函数不会突然无限抖动，因而是有界变差。为什么 \(V\) 满足？因为 \(V(\zeta)\) 由「切片厚度」给出，\(\zeta\) 变动时切片边界以有限速度平移，厚度的变化率有限，故左右导数有界。

为什么非要有界变差？因为下一步要用的 Fourier 积分定理（Dirichlet 定理）正是对「有界变差」这一类函数才保证收敛到 \(V(0)\)。它是定理的入场券，少了它极限不一定成立。

Fourier 积分定理 / Dirichlet 核：极限为什么等于 \(V(0)\)

核心是这个函数（叫 Dirichlet 核）： \[K_\mu(\zeta):=\frac{\sin2\pi\mu\zeta}{\pi\zeta}.\] 它有两条性质：

1. 总质量为 1。经典积分 \(\displaystyle\int_{-\infty}^{\infty}\frac{\sin2\pi\mu\zeta}{\pi\zeta}\,d\zeta=1\)（对任意 \(\mu>0\) 都成立，换元后就是著名的 \(\int_{-\infty}^\infty\frac{\sin t}{t}\,dt=\pi\)）。
2. 越来越尖、越来越集中在 \(\zeta=0\)。当 \(\mu\to\infty\)，\(\sin2\pi\mu\zeta\) 振荡极快，在远离 0 的地方正负迅速抵消、积分趋于 0；只有在 \(\zeta=0\) 的极小邻域里它来不及抵消，质量全堆在那里。也就是说 \(K_\mu\) 趋近一个「\(\delta\) 函数」（无穷高、无穷窄、面积为 1 的尖钉）。

把这样的尖钉乘上一个温和函数 \(V(\zeta)\) 再积分，效果就是把 \(V\) 在尖钉所在处（\(\zeta=0\)）的值挑出来： \[\int_{-\sigma}^{\sigma}K_\mu(\zeta)\,V(\zeta)\,d\zeta\ \xrightarrow{\ \mu\to\infty\ }\ V(0).\] 这正是 Fourier 积分定理（也称 Dirichlet–Jordan 收敛定理）的结论：当 \(V\) 在 0 处连续且为有界变差时，上式极限恰为 \(V(0)\)。所以 \[J(\mu)\to V(0)=:J_0.\] 至此我们证明了「极限存在」，并且 \(J_0=V(0)\)。还差最后一句：\(V(0)\) 必须 \(>0\)。

最后一锤：为什么 \(V(0)>0\)

回到定义 \(V(0)=\displaystyle\int_{\mathcal B'_0}(1+P_1(0,\eta_2,\dots,\eta_n))\,d\eta_2\cdots d\eta_n\)，其中 \(\mathcal B'_0\) 是 \(\zeta=0\) 时的切片区域。要证它是正数，靠两件事：

1. 被积函数处处 \(>\tfrac12>0\)。由 5.3 第 3 步，在小邻域里 \(|P_1|<\tfrac12\)，所以 \(1+P_1>1-\tfrac12=\tfrac12>0\)。被积函数恒正。
2. 积分区域有正体积。当 \(\zeta=0\) 时，切片条件是 \(|{-c_2\eta_2-\cdots-c_n\eta_n+P}|<\rho\)，它在原点 \(\eta_2=\cdots=\eta_n=0\) 处取值 0（\(<\rho\)）且连续成立，所以 \(\mathcal B'_0\) 包含一个以原点为心的、充分小的 \((n-1)\) 维小立方体，其体积是正数。

「正函数 在 正体积区域 上的积分」必为正： \[V(0)=\int_{\mathcal B'_0}(1+P_1)\,d\eta_2\cdots d\eta_n>\tfrac12\times(\text{正体积})>0.\] 于是 \(J_0=V(0)>0\)。两件事——极限存在（\(=V(0)\)）且为正（\(V(0)>0\)）——全部落实，引理 16.1 证毕。∎