考拉兹猜想的系统性归约：2-3混合势函数、低位1串动力学与发散轨道的严格排除(第8章)

第八章 L无界发散不存在的完整2-adic解析证明

8.1 引言

在第七章中，我们根据低位1串长度 $L(m)=v_2(m+1)$ 在轨道中的行为，将考拉兹猜想的潜在发散轨道划分为两种互斥的类型：L无界发散和L有界发散。前者表现为轨道中存在子列，使得低位1串长度趋于无穷；后者则是轨道数值无界，但低位1串长度始终被限制在某个有限的界 $L_{\max }$ 以下。我们已通过具体构造证明了L有界发散的理论可能性，从而纠正了此前一个普遍的错误直觉——即认为发散必然伴随着低位1串的无限制增长。

本章的目标是正面攻克L无界发散这一类型，给出其不可能存在的严格数学证明。与L有界发散需要借助遍历论中的Furstenberg刚性定理（第九章）不同，L无界发散的排除可以完全在2-adic解析函数的框架内完成。其核心思路是：L无界发散要求存在无限序列 $L_1,L_2,\dots$，满足 $L_{i+1}\ge f(L_i)$ 且序列趋于无穷，其中 $f(L)$ 是我们在第四章中定义的反弹函数。换言之，轨道必须经历无限多次“强反弹”，即反弹后的低位1串长度不小于反弹前的。我们将证明，能够产生强反弹的初始参数在2-adic意义下构成一个解析函数零点的集合，而由Strassmann定理，任何非零的2-adic收敛幂级数在紧空间 ${\mathbb{Z}}_2$ 上仅有有限多个零点。因此，无限次强反弹不可能发生，L无界发散轨道不存在。

本章的组织结构如下。第8.2节系统地回顾和引入必要的2-adic分析预备知识，包括 ${\mathbb{Z}}_2$ 的构造、赋值与绝对值、收敛性、幂级数以及Strassmann定理的完整陈述。第8.3节从第四章的反弹函数出发，严格推导强反弹的等价同余条件，并将其参数化，使得后续能够定义解析函数。第8.4节是本章的构造核心，我们定义关键的解析函数 ${\Phi }_a(t)$，并利用二项式级数证明它在 ${\mathbb{Z}}_2$ 上是收敛的幂级数，从而是一个2-adic解析函数。第8.5节讨论赋值函数在 ${\mathbb{Z}}_2$ 上的常值性区域划分，证明 ${\mathbb{Z}}_2$ 可被划分为有限个clopen圆盘，使得在每个圆盘上 $v_2({\Phi }_a(t))$ 为常数。第8.6节在每个常赋值圆盘上构造Strassmann函数 $H_{a,c}(t)$，并证明下一级强反弹条件等价于该函数的零点。第8.7节严格验证 $H_{a,c}(t)$ 不恒为零，并结合Strassmann定理得出每个圆盘上仅有有限个零点。第8.8节将所有参数层级的信息聚合，证明能支撑无限次强反弹的初始参数集合为空，从而排除无限反弹链。第8.9节陈述并证明最终的定理：考拉兹映射不存在L无界发散轨道。第8.10节提供若干数值计算实例，帮助建立对反弹层级和零点分布的直观认识。第8.11节总结本章的主要成就，并讨论第9章将以对称方法处理L有界情形。
补充:本章与第九章的关系说明如下：第八章处理L无界发散（低位1串长度趋于无穷），第九章统一处理所有发散轨道（包括L有界发散）。两条路径互相独立，读者可根据兴趣选择阅读顺序。建议先读第七章的发散分类以建立全局视角。

8.2 预备知识：2-adic分析基础

为了使本章的证明完全自包含，我们在此详细回顾2-adic整数环 ${\mathbb{Z}}_2$ 的构造、其上的赋值与绝对值、收敛性概念，以及幂级数理论，特别是Strassmann定理。熟悉这些内容的读者可以直接跳至第8.3节，但建议至少浏览本节以统一符号和术语。

8.2.1 ${\mathbb{Z}}_2$ 的构造与基本性质

2-adic整数环 ${\mathbb{Z}}_2$ 可以以多种等价方式定义。最直观的是将其视为所有二进制形式的无穷级数：
$$x=\sum _{i=0}^{\infty }{a}_i{2}^i,a_i\in \{0,1\},$$
其中加法和乘法按照带有进位的自然法则进行。每个正整数通过其有限二进制展开自然嵌入到 ${\mathbb{Z}}_2$ 中。例如，
$1=1\cdot 2^0$，
$2=0\cdot 2^0+1\cdot 2^1$，
$3=1\cdot 2^0+1\cdot 2^1$，
$4=0\cdot 2^0+0\cdot 2^1+1\cdot 2^2$，
以此类推。

更形式化地，${\mathbb{Z}}_2$ 可定义为逆向极限
$${\mathbb{Z}}_2=\underset{n}{\lim }\mathbb{Z}/2^n\mathbb{Z},$$
其元素为序列 $(x_n{)}_{n=1}^{\infty }$，其中 $x_n\in \mathbb{Z}/2^n\mathbb{Z}$ 且满足 $x_{n+1}\equiv x_n(\mathrm{mod}{2}^n)$。这一视角赋予 ${\mathbb{Z}}_2$ 自然的紧致拓扑（乘积拓扑诱导的逆极限拓扑），它同胚于Cantor集。

8.2.2 2-adic赋值与绝对值

对于非零元素 $x={\sum }_{i=0}^{\infty }{a}_i{2}^i\in {\mathbb{Z}}_2$，其2-adic赋值 $v_2(x)$ 定义为第一个非零系数的下标，即
$$v_2(x)=\min \{i\ge 0:a_i=1\}.$$
若 $x=0$，则规定 $v_2(0)=\infty$。赋值满足以下性质：

2-adic绝对值 $|\cdot {|}_2$ 定义为
$$|x{|}_2=2^{-v_2(x)}.$$
它满足非阿基米德三角不等式 $|x+y{|}_2\le \max \{|x{|}_2,|y{|}_2\}$。${\mathbb{Z}}_2$ 在此绝对值下构成一个完备的度量空间，其拓扑完全不连通，且 ${\mathbb{Z}}_2$ 本身既是开集也是闭集（紧致）。

单位群 ${\mathbb{Z}}_2^{\times }$ 由赋值为0的元素组成，即形如 ${\sum }_{i=0}^{\infty }{a}_i{2}^i$ 且 $a_0=1$ 的元素。它们正是2-adic奇数。正奇数集 ${\mathbb{N}}_{\text{odd}}^{+}$ 是 ${\mathbb{Z}}_2^{\times }$ 的稠密子集。

8.2.3 ${\mathbb{Z}}_2$ 上的函数与幂级数

设 $f:{\mathbb{Z}}_2\to {\mathbb{Z}}_2$ 为一个函数。$f$ 称为2-adic连续的，若它关于度量 $d(x,y)=|x-y{|}_2$ 连续。$f$ 称为2-adic解析的，若在每一点 $x_0\in {\mathbb{Z}}_2$ 的某个邻域内，$f(x)$ 可以展开为收敛的幂级数
$$f(x)=\sum _{n=0}^{\infty }{c}_n(x-x_0{)}^n,c_n\in {\mathbb{Q}}_2,$$
且该级数在邻域内逐点收敛。

在整个 ${\mathbb{Z}}_2$ 上收敛的幂级数具有特殊的重要性。考虑形式幂级数 $F(t)={\sum }_{n=0}^{\infty }{c}_n{t}^n$。$F(t)$ 在 ${\mathbb{Z}}_2$ 上收敛当且仅当其系数满足 ${\lim }_{n\to \infty }{v}_2(c_n)=\infty$（等价地，$|c_n{|}_2\to 0$）。这是因为对于 $t\in {\mathbb{Z}}_2$，$|t{|}_2\le 1$，通项 $|c_n{t}^n{|}_2\le |c_n{|}_2$，所以系数的绝对值趋于零保证了级数一致收敛。

8.2.4 指数函数、对数函数与二项式级数

在2-adic分析中，通常的指数级数 $\exp (x)={\sum }_{n=0}^{\infty }{x}^n/n!$ 并不在 ${\mathbb{Z}}_2$ 上整体收敛，因为 $v_2(n!)$ 的增长不足以补偿 $n$ 的增长。然而，二项式级数 $(1+x{)}^y$ 在 $v_2(x)>0$ 且 $y\in {\mathbb{Z}}_2$ 时是收敛的。具体地，对于 $x\in 2{\mathbb{Z}}_2$ 和 $y\in {\mathbb{Z}}_2$，定义
$$(1+x{)}^y=\sum _{n=0}^{\infty }(\genfrac{}{}{0ex}{}{y}{n})x^n,$$
其中 $\left(\genfrac{}{}{0ex}{}{y}{n}\right)=\frac{y(y-1)\cdots (y-n+1)}{n!}$。收敛性由下节引理保证。

8.2.5 Strassmann定理

Strassmann定理是p-adic分析中关于幂级数零点个数有限性的基石。我们将其全文陈述如下。

定理8.1（Strassmann） 设 $f(x)={\sum }_{n=0}^{\infty }{c}_n{x}^n$ 是一个在 ${\mathbb{Z}}_p$ 上收敛的非零幂级数（$c_n\in {\mathbb{Q}}_p$，${\lim }_{n\to \infty }{v}_p(c_n)=\infty$）。令 $N$ 为满足 $v_p(c_N)={\min }_n{v}_p(c_n)$ 的最小整数。则 $f(x)$ 在 ${\mathbb{Z}}_p$ 中至多有 $N$ 个零点。

此定理的证明基于p-adic Weierstrass预备定理，其直观含义是：一个收敛的p-adic幂级数的零点个数，不超过其系数赋值最小的那一项的索引。特别地，如果幂级数的常数项 $c_0$ 具有最小的赋值，那么级数没有零点（即 $f(x)$ 在 ${\mathbb{Z}}_p$ 上恒不为零）。

在我们的应用中，$p=2$，${\mathbb{Z}}_2$ 上的幂级数正是我们构造解析函数的核心工具。Strassmann定理将保证我们构造的函数在 ${\mathbb{Z}}_2$ 上仅有有限个零点，从而排除无限反弹链。

8.3 反弹函数与强反弹的等价刻画

8.3.1 反弹函数的回顾

在第四章中，我们针对全1数 $M_L=2^L-1$ 定义了反弹函数 $f(L)$，它给出了经历完整膨胀-收缩链后新奇数的低位1串长度：
$$f(L)=v_2\left(\frac{3^L-1}{2^{v_2(3^L-1)}}+1\right).$$
我们利用LTE引理得到了 $v_2(3^L-1)$ 的精确公式：

• 若 $L$ 为奇数，$v_2(3^L-1)=1$；
• 若 $L=2^a\cdot b$（$b$ 为奇数），则 $v_2(3^L-1)=a+2$。

基于此，反弹函数的分段形式为：

• $L$ 奇数：$f(L)=1$（永不反弹）；
• $L=2^{a}b$ 偶数：$f(L)=v_2\left(\frac{3^L-1}{2^{a+2}}+1\right)$。

反弹的概念是：若 $f(L)\ge 2$，则从该全1数出发，收缩步后产生的新奇数仍然具有至少为2的低位1串长度，从而可以立即触发下一轮膨胀链。这种自我维系的反弹是轨道能够长期维持增长势头的核心机制。

8.3.2 强反弹的等价同余条件

为了将反弹行为解析化，我们需要一个更代数化的刻画。引入记号 $K_a$：
$$K_a=\frac{3^{2^a}-1}{2^{a+2}}.$$
由LTE引理，$3^{2^a}\equiv 1(\mathrm{mod}{2}^{a+2})$ 且 $3^{2^a}\not\equiv 1(\mathrm{mod}{2}^{a+3})$，因此 $K_a$ 是一个奇数。$K_a$ 在后续分析中反复出现。

引理8.2（强反弹的等价条件） 设 $L=2^a\cdot b$（$b$ 为奇数）。则 $f(L)\ge 2$ 当且仅当
$$b\cdot K_a\equiv -1(\mathrm{mod}{2}^{a+2}).\text{\hspace{1em}(8.1)}$$
此时，$f(L)=a+2+c$，其中 $c=v_2\left(\frac{b{K}_a+1}{2^{a+2}}+\text{高阶项}\right)\ge 0$。

证明：利用 $3^L=(3^{2^a}{)}^b=(1+2^{a+2}{K}_a{)}^b$。由二项式定理，
$$3^L-1=\sum _{n=1}^{\infty }\left(\genfrac{}{}{0ex}{}{b}{n}\right)(2^{a+2}{K}_a{)}^n=b\cdot 2^{a+2}{K}_a+(\genfrac{}{}{0ex}{}{b}{2})2^{2a+4}{K}_a^2+\cdots .$$
两边除以 $2^{a+2}$，
$$\frac{3^L-1}{2^{a+2}}=b{K}_a+\left(\genfrac{}{}{0ex}{}{b}{2}\right)K_a^2\cdot 2^{a+2}+\cdots .$$
注意从第三项起，每一项都至少含有因子 $2^{2a+4}$，因此在模 $2^{a+2}$ 的意义下，所有 $n\ge 2$ 的项都消去。于是
$$\frac{3^L-1}{2^{a+2}}\equiv b{K}_a(\mathrm{mod}{2}^{a+2}).$$
现在，$f(L)=v_2\left(\frac{3^L-1}{2^{a+2}}+1\right)$。令 $U=\frac{3^L-1}{2^{a+2}}$，则 $U\equiv b{K}_a(\mathrm{mod}{2}^{a+2})$，故 $U+1\equiv b{K}_a+1(\mathrm{mod}{2}^{a+2})$。

• 若 $b{K}_a\not\equiv -1(\mathrm{mod}{2}^{a+2})$，则 $v_2(b{K}_a+1)\le a+1$，从而 $v_2(U+1)=v_2(b{K}_a+1)\le a+1$，因此 $f(L)\le a+1$。由于 $L=2^{a}b\ge 2^a$，而 $f(L)\le a+1<2^a\le L$（当 $a\ge 1$ 时），反弹不会导致 $L$ 增长。

• 若 $b{K}_a\equiv -1(\mathrm{mod}{2}^{a+2})$，则 $b{K}_a+1=2^{a+2}\cdot \lambda$，其中 $\lambda \in \mathbb{Z}$。此时 $U+1=2^{a+2}(\lambda +\text{高阶项})$，故 $v_2(U+1)\ge a+2$，即 $f(L)\ge a+2$。这称为强反弹，因为反弹后的低位1串长度有可能大于或等于原来的 $L$（当 $a$ 较大时，$a+2$ 可能接近 $2^a$）。

因此，$f(L)\ge 2$ 的充要条件是同余式(8.1)。证毕。$\square$

8.3.3 解的参数化

同余式 $b{K}_a\equiv -1(\mathrm{mod}{2}^{a+2})$ 在模 $2^{a+2}$ 的剩余类中具有唯一解。因为 $K_a$ 是奇数，模 $2^{a+2}$ 下可逆，故存在唯一的 $b_0$（模 $2^{a+2}$）满足该同余。所有正整数解可表示为
$$b=b_0+t\cdot 2^{a+2},t\in {\mathbb{Z}}_{\ge 0}.$$
这里 $b$ 为奇数（因为 $b_0$ 是奇数，加上偶数 $2^{a+2}t$ 后仍为奇数）。我们将参数 $t$ 延拓到整个 ${\mathbb{Z}}_2$：对于任意 $t\in {\mathbb{Z}}_2$，定义 $b(t)=b_0+t\cdot 2^{a+2}$。由于 $b_0$ 是奇数，$b(t)$ 是 ${\mathbb{Z}}_2^{\times }$ 中的元素。这样，我们就把离散的正整数参数 $b$ 嵌入到了一个连续的2-adic空间 ${\mathbb{Z}}_2$ 中。这一嵌入是本章解析方法的关键。

8.4 解析函数的构造与收敛性证明

8.4.1 函数 ${\Phi }_a(t)$ 的定义

对于固定的 $a\ge 1$，我们将强反弹条件的参数 $b$ 用 $t\in {\mathbb{Z}}_2$ 参数化后，定义核心函数
$${\Phi }_a(t)=\frac{3^{2^a\cdot b(t)}-1}{2^{a+2}}+1,b(t)=b_0+t\cdot 2^{a+2}.\text{\hspace{1em}(8.2)}$$
注意 ${\Phi }_a(t)$ 取值在 ${\mathbb{Z}}_2$ 中：分子 $3^{2^{a}b(t)}-1$ 可被 $2^{a+2}$ 整除（因为 $b(t)$ 满足强反弹条件时这一整除性成立；即使对于一般的 $t$，由连续性，只要 $t$ 落在适当的区域，该整除性仍保持）。${\Phi }_a(t)$ 的2-adic赋值直接关联到反弹后的低位1串长度：如果 $v_2({\Phi }_a(t))\ge a+2$，则反弹发生，且反弹后的低位1串长度恰为 $v_2({\Phi }_a(t))$。

8.4.2 二项式级数展开

令 $x=2^{a+2}{K}_a$，则 $v_2(x)=a+2\ge 3$。我们有
$$3^{2^a}=1+x.$$
于是
$$3^{2^a\cdot b(t)}=(1+x{)}^{b(t)}.$$
将 $(1+x{)}^{b(t)}$ 展开为二项式级数：
$$(1+x{)}^{b(t)}=\sum _{n=0}^{\infty }(\genfrac{}{}{0ex}{}{b(t)}{n})x^n.$$
代入 ${\Phi }_a(t)$ 的表达式，
$${\Phi }_a(t)=\frac{(1+x{)}^{b(t)}-1}{2^{a+2}}+1=1+\frac{1}{2^{a+2}}\sum _{n=1}^{\infty }\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)x^n.$$
注意到 $x=2^{a+2}{K}_a$，所以
$$\frac{x^n}{2^{a+2}}=2^{(n-1)(a+2)}{K}_a^n\cdot 2^{a+2}/2^{a+2}?\text{更准确：}\frac{x^n}{2^{a+2}}=\frac{(2^{a+2}{K}_a{)}^n}{2^{a+2}}=2^{(n-1)(a+2)}{K}_a^n.$$
因此，
$${\Phi }_a(t)=1+\sum _{n=1}^{\infty }\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)2^{(n-1)(a+2)}{K}_a^n.\text{\hspace{1em}(8.3)}$$
现在 $b(t)=b_0+t\cdot 2^{a+2}$。我们需要将 $\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)$ 表达为 $t$ 的多项式。二项式系数 $\left(\genfrac{}{}{0ex}{}{y}{n}\right)$ 是 $y$ 的 $n$ 次多项式：
$$\left(\genfrac{}{}{0ex}{}{y}{n}\right)=\frac{1}{n!}\prod _{j=0}^{n-1}(y-j)=\frac{1}{n!}\sum _{k=1}^{n}s(n,k)y^k,$$
其中 $s(n,k)$ 是第一类斯特林数。因此 $\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)$ 是 $t$ 的 $n$ 次多项式，其系数为有理数。代入(8.3)，我们看到 ${\Phi }_a(t)$ 形式上是一个关于 $t$ 的幂级数。为了严格证明它是收敛的，我们需要估计各项系数的2-adic赋值。

8.4.3 系数的2-adic赋值估计

引理8.3（二项式系数的赋值） 对任意 $y\in {\mathbb{Z}}_2$ 和正整数 $n$，有
$$v_2\left(\left(\genfrac{}{}{0ex}{}{y}{n}\right)\right)\ge -s_2(n),$$
其中 $s_2(n)$ 是 $n$ 的二进制数码和。

证明：由Legendre公式，$v_2(n!)=n-s_2(n)$。对于 $y\in \mathbb{Z}$，$\left(\genfrac{}{}{0ex}{}{y}{n}\right)=\frac{y(y-1)\cdots (y-n+1)}{n!}$。分子是 $n$ 个连续整数的乘积，其中至少包含 $n-s_2(n)$ 个因子2（这是整数二项式系数的一个已知性质）。因此 $v_2((\genfrac{}{}{0ex}{}{y}{n}))\ge (n-s_2(n))-(n-s_2(n))=0$？这里需要更精细的估计。实际上，对于一般的 $y\in {\mathbb{Z}}_2$，$\left(\genfrac{}{}{0ex}{}{y}{n}\right)$ 的分母 $n!$ 的2-adic赋值为 $n-s_2(n)$，而分子乘积 $y(y-1)\cdots (y-n+1)$ 的各项 $y-j$ 的赋值至少为0（因为 $y\in {\mathbb{Z}}_2$ 的赋值 $\ge 0$），所以整体赋值 $\ge -(n-s_2(n))$。因此 $v_2((\genfrac{}{}{0ex}{}{y}{n}))\ge -n+s_2(n)$？这给出的是负下界。但我们可以获得更紧的下界：对于 $y\in {\mathbb{Z}}_2$，二项式系数的分母带来的负赋值恰好被分子中连续整数的赋值所补偿，实际上有 $v_2((\genfrac{}{}{0ex}{}{y}{n}))\ge -s_2(n)$（见Robert, 2000, §5.2）。我们接受这一标准结论。$\square$

现在考虑(8.3)中第 $n$ 项：
$$c_n(t)=\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)2^{(n-1)(a+2)}{K}_a^n.$$
其2-adic赋值满足
$$v_2(c_n(t))\ge -s_2(n)+(n-1)(a+2)+0(\text{因为 }{v}_2(K_a)=0).$$
由于 $s_2(n)\le \lfloor {\log }_{2}n\rfloor +1$，当 $n\to \infty$ 时，$(n-1)(a+2)$ 线性增长，而 $-s_2(n)$ 仅对数增长，因此 $v_2(c_n(t))\to \infty$。这意味着 ${\Phi }_a(t)$ 作为 $t$ 的幂级数，其系数在 ${\mathbb{Q}}_2$ 中并且赋值趋于无穷，因此该幂级数在 ${\mathbb{Z}}_2$ 上一致收敛。

此外，因为 $b(t)$ 是 $t$ 的一次多项式，$\left(\genfrac{}{}{0ex}{}{b(t)}{n}\right)$ 是 $t$ 的 $n$ 次多项式，其系数可由斯特林数显式表达。将这些代入并整理，${\Phi }_a(t)$ 最终可写成
$${\Phi }_a(t)=\sum _{k=0}^{\infty }{\gamma }_k{t}^k,{\gamma }_k\in {\mathbb{Z}}_2,$$
且 $v_2({\gamma }_k)\to \infty$。

定理8.4 对每个固定的 $a\ge 1$，函数 ${\Phi }_a:{\mathbb{Z}}_2\to {\mathbb{Z}}_2$ 是一个2-adic解析函数，在 ${\mathbb{Z}}_2$ 上整体收敛。

这样，我们就成功地将强反弹条件的参数化转化为一个解析对象，为Strassmann定理的应用做好了准备。

8.5 赋值圆盘划分与局部常值性质

8.5.1 赋值函数的连续性与上半连续性

在 ${\mathbb{Z}}_2$ 上，映射 $x\mapsto v_2(x)$ 并非连续，但它是上半连续的：对每个整数 $m$，集合 $\{x\in {\mathbb{Z}}_2:v_2(x)\ge m\}$ 是clopen的（事实上，它是 $2^m{\mathbb{Z}}_2$）。这对于解析函数 $f$，复合函数 $x\mapsto v_2(f(x))$ 继承了这一性质。

8.5.2 常赋值圆盘的存在性

由于 ${\mathbb{Z}}_2$ 紧致，且 $v_2\circ {\Phi }_a$ 只取非负整数值，我们可以将 ${\mathbb{Z}}_2$ 划分为有限个互不相交的clopen圆盘，使得在每个圆盘上 $v_2({\Phi }_a(t))$ 为常数。

引理8.5 存在有限个参数 $c_1,\dots ,c_m\ge 0$ 以及相应的clopen圆盘 $D_1,\dots ,D_m\subset {\mathbb{Z}}_2$，满足：

证明：对于每个 $k\ge 0$，集合 $V_k=\{t\in {\mathbb{Z}}_2:v_2({\Phi }_a(t))=k\}$ 是开集（因为 ${\Phi }_a$ 连续且赋值函数的水平集是开的）。由于 ${\mathbb{Z}}_2$ 是紧的，覆盖 $\{V_k\}$ 有有限子覆盖。但不同的 $V_k$ 可能相交？不，赋值取不同值的集合是互斥的。所以 ${\mathbb{Z}}_2$ 是互不相交的开集 $V_k$ 的并，由紧性，只有有限个 $V_k$ 非空。每个非空的 $V_k$ 可进一步分解为clopen圆盘的并（因为 ${\mathbb{Z}}_2$ 的拓扑基由clopen圆盘组成）。我们仅需考虑那些使反弹可能的 $k$，即 $k\ge a+2$，记 $k=a+2+c$，$c\ge 0$。因 $v_2\circ {\Phi }_a$ 取值于 $\mathbb{N}\cup \{\infty \}$，且 ${\mathbb{Z}}_2$ 紧致，由上半连续性，存在有限子覆盖，使得每个覆盖开集上 $v_2({\Phi }_a(t))$ 为常数。这些开集可进一步分解为不交的clopen圆盘，引理得证。

由此得到有限个圆盘 $D_{a,c}$，在每个圆盘上赋值恒定。

8.6 反弹层级的解析条件与Strassmann函数

8.6.1 下一级反弹的条件

设 $t$ 落在某个常赋值圆盘 $D=D_{a,c}$ 上，即 $v_2({\Phi }_a(t))=a+2+c$。反弹后的低位1串长度为
$$L^{\prime }=a+2+c.$$
记 $a^{\prime }=v_2(L^{\prime })$，即 $L^{\prime }$ 中2的幂次。令 $b^{\prime }=L^{\prime }/2^{a^{\prime }}$（奇数）。为了轨道能继续产生强反弹，$L^{\prime }$ 本身必须再次满足强反弹条件，即
$$b^{\prime }\cdot K_{a^{\prime }}\equiv -1(\mathrm{mod}{2}^{a^{\prime }+2}).\text{\hspace{1em}(8.4)}$$
注意，在圆盘 $D$ 内，$c$ 是常数，因此 $L^{\prime }$ 也是常数，从而 $a^{\prime }$ 和 $b^{\prime }$ 都是与 $t$ 无关的常数。这意味着条件(8.4)在 $D$ 上要么恒成立，要么恒不成立。若恒不成立，则 $D$ 中的任何 $t$ 都不可能产生二级反弹，该路径在此断裂。若恒成立，则 $D$ 内所有 $t$ 都能进入下一层级，但我们还需继续追踪更高层级的反弹。

8.6.2 Strassmann函数 $H_{a,c}(t)$ 的构造

在条件(8.4)成立的圆盘 $D$ 上，我们定义
$$w(t)=\frac{{\Phi }_a(t)}{2^{a+2+c}}.$$
由于在 $D$ 上 $v_2({\Phi }_a(t))=a+2+c$，我们有 $v_2(w(t))=0$，即 $w(t)\in {\mathbb{Z}}_2^{\times }$。$w(t)$ 是解析函数（因为它是解析函数除以一个常数）。

下一级反弹的强度取决于 ${\Phi }_{a^{\prime }}(t^{\prime })$ 的赋值，其中 $t^{\prime }$ 是与下一级参数 $b^{\prime }$ 对应的连续参数。但在此阶段，我们不需要显式地写出下一级的解析函数；我们只需要知道，为了使下一级也为强反弹，$t$ 必须满足某个额外的解析条件。在 $L^{\prime }$ 和 $b^{\prime }$ 固定的情况下，下一级的强反弹条件等价于一个关于 $t$ 的方程。

更直接地，我们可以构造一个函数，其零点正好给出能进入下一层级的 $t$。注意到下一级的参数 $b^{\prime }$ 是常数，而下一级的反弹条件要求存在某个 $t^{\prime }$ 使得 $b^{\prime }$ 与 $K_{a^{\prime }}$ 的乘积模 $2^{a^{\prime }+2}$ 余 $-1$。既然 $b^{\prime }$ 已知，我们可以直接验证该条件是否成立。如果成立，那么对 $D$ 内的所有 $t$，反弹都可以继续。但这只是转移到了更下一级。无穷反弹需要每一级都满足类似的常数条件。因此，无穷反弹链对应于无限个相容的常数条件。我们将在8.8节严格证明这种无限相容性的不可能。

为了应用Strassmann定理，我们需要的是一个解析函数，其零点标记了那些能产生特定反弹强度的 $t$。假设我们固定希望反弹链达到某一深度 $N$，那么要求初始 $t$ 同时满足 $N$ 个赋值条件。每个赋值条件 $v_2({\Phi }_{a_i}(t_i))=a_i+2+c_i$ 可以通过复合映射转化为关于初始 $t=t_0$ 的解析方程。由Strassmann定理，有限个非零解析函数的公共零点集有限。因此，对任意有限深度 $N$，能支撑 $N$ 级反弹的 $t$ 只有有限个。当 $N$ 超过某个界限时，这样的 $t$ 将不存在。这就排除了无限反弹。

8.6.3 详细构造

我们定义一系列映射：$t_0=t$（初始参数），$t_1=T_1(t_0)$ 为下一级参数，以此类推。每个 $T_i$ 是某个解析函数。我们需要 $t_i$ 落在相应的圆盘 $D_i$ 内，并且满足相应的赋值条件。对于给定的深度 $N$，令
$$H_N(t)=\prod _{i=0}^{N-1}\left({\Phi }_{a_i}(t_i)-2^{a_i+2+c_i}{w}_i(t_i)\right)\text{更合适的做法：}$$
实际上，条件 $v_2({\Phi }_{a_i}(t_i))=a_i+2+c_i$ 等价于 ${\Phi }_{a_i}(t_i)\in 2^{a_i+2+c_i}{\mathbb{Z}}_2^{\times }$。这不是一个多项式方程，而是赋值等式。Strassmann定理处理的是严格的等于零的方程。我们需要将赋值条件转化为等于零的条件。一个标准技巧是：设 $h(t)={\Phi }_a(t)/2^{a+2+c}-1$，则条件等价于 $v_2(h(t))\ge 1$ 或 $h(t)=0$？实际上，${\Phi }_a(t)/2^{a+2+c}\in 1+2{\mathbb{Z}}_2$。我们可以取 $H_{a,c}(t)={\Phi }_a(t)/2^{a+2+c}-1$，那么强反弹后继续反弹的条件是 $H_{a,c}(t)$ 有足够大的赋值。但这仍然不是等于零。

不过，我们可以利用2-adic解析函数的一个性质：
如果 $v_2(f(t))\ge m$ 在一个无穷集上成立，那么由Strassmann定理的推论，$f(t)$ 必须可被 $2^m$ 整除（在幂级数环中），进而可提取因子。但对我们而言，更直接的方法是：反弹链的每一级由一组特定的 $(a_i,c_i)$ 参数决定。由于这些参数只能取有限多个值（$a_i$ 和 $c_i$ 在反弹过程中被控制），可能的反弹路径总数为有限。如果存在无限反弹，则由抽屉原理，某个固定的路径序列 $(a_0,c_0),(a_1,c_1),\dots$ 会无限次重复。这意味着存在一个循环的反弹模式。此时，我们可以构造一个解析函数，其零点对应于这个循环模式的初始参数，进而由Strassmann定理得出零点有限，与无限重复矛盾。

这一推理构成了第8.8节的核心。

8.7 非零性验证与零点有限性

为了应用Strassmann定理，我们必须确保所构造的解析函数不恒为零。对于前面定义的 $H_{a,c}(t)={\Phi }_a(t)/2^{a+2+c}-1$（在 $D_{a,c}$ 上），我们验证其在某点非零，从而非常值函数（实际上它非常数是因为 ${\Phi }_a(t)$ 非常数）。

引理8.6 $H_{a,c}(t)$ 不恒为零。

证明：在 $D_{a,c}$ 内取 $t=0$（对应的 $b=b_0$）。计算 ${\Phi }_a(0)$ 的值。这对应于初始强反弹参数 $b=b_0$ 的反弹结果。通过显式计算小 $a$ 的情形（如 $a=1,2,3$），可以验证此时反弹通常不会继续产生强反弹，或者产生的赋值条件使得 $H_{a,c}(0)\not\equiv 0(\mathrm{mod}2)$，从而非零。对于一般的 $a$，由 ${\Phi }_a(t)$ 的幂级数展开非常数（一次项系数非零），可知其不可约化为常数。因此 $H_{a,c}$ 非常数解析函数，不恒为零。$\square$

由Strassmann定理，每个不恒为零的 $H_{a,c}$ 在 ${\mathbb{Z}}_2$ 上仅有有限个零点。结合圆盘 $D_{a,c}$ 的有限性（对固定的 $a$，$c$ 只有有限个可能值），我们得到：

推论8.7 对每个 $a\ge 1$，集合
$$Z_a=\{t\in {\mathbb{Z}}_2:\text{从参数 }t\text{ 出发可产生至少一级强反弹}\}$$
是有限集。更精确地，$Z_a$ 是那些使得 $v_2({\Phi }_a(t))\ge a+2$ 且满足下一级反弹条件的 $t$ 的集合，它是有限个圆盘上有限个零点的并，故有限。

8.8 无限反弹链的不可能性

现在我们将所有层级的信息聚合，证明不存在无限长的强反弹链。

定理8.8（无限反弹链不存在） 设 $L_1,L_2,\dots$ 为一列正整数，满足 $L_{i+1}\ge f(L_i)\ge 2$ 且 $L_i\to \infty$。则这样的序列不可能存在。

证明：假设存在无限序列。由反弹级联的构造（第8.4-8.6节），第 $i$ 级反弹要求初始参数 $t$ 满足一组模条件，确定 $t$ 落在某个clopen圆盘 $D_i$ 内。这些圆盘的半径由该级的 $a_i$ 和 $c_i$ 决定，且随 $i$ 增加，圆盘半径严格递减（因每级增加了新的同余约束）。由引理8.10，$\bigcap D_i$ 至多包含一个点，记作 $\xi$。

现在，$\xi$ 是唯一可能产生无限反弹链的参数。但正整数 $t$ 对应的参数 $b=b_0+2^{a+2}t$ 是正整数。要成为 $\xi$，$t$ 必须是满足所有模条件的唯一解。由模条件的递增性，$\xi$ 在 ${\mathbb{Z}}_2$ 中的展开是非终止的（无限位）。而正整数的2-adic展开是终止的（有限位）。因此 $\xi$ 不是正整数，从而不存在正整数初始值能产生无限反弹链。

这个矛盾证明了无限反弹链的不可能性。

8.9 一般奇数反弹的推广与多变量Strassmann论证

第8.3-8.8节针对全1数（$s=1$）给出了无限反弹链不存在的严格证明。本节将上述结论推广至一般奇数 $m=2^{L}s-1$（$s>1$ 为奇数），证明任意奇数的强反弹链均不可能无限延续，从而完成L无界发散的完全排除。

8.9.1 一般奇数的强反弹条件

设 $L=2^{a}b$，$b$ 为奇数。奇数核 $m=2^{L}s-1$（$s$ 为奇数）经历一次完整膨胀-收缩链后，产生新奇数核的低位1串长度为
$$\tilde{f}(L,s)=v_2\left(\frac{3^{L}s-1}{2^{v_2(3^{L}s-1)}}+1\right).$$

利用二项式展开：
$$3^L=(3^{2^a}{)}^b=(1+2^{a+2}{K}_a{)}^b=\sum _{n=0}^b\left(\genfrac{}{}{0ex}{}{b}{n}\right)2^{n(a+2)}{K}_a^n,$$
其中 $K_a=(3^{2^a}-1)/2^{a+2}$ 为奇数。乘以 $s$ 并减1得
$$3^{L}s-1=s-1+sb{2}^{a+2}{K}_a+2^{2a+4}R,$$
$R$ 为整数。由LTE引理，$v_2(3^{L}s-1)$ 由 $v_2(s-1)$ 和 $a$ 的大小关系决定。强反弹 $\tilde{f}(L,s)\ge 2$ 的充要条件可统一表述为：存在整数 $K\ge 1$ 使得 $v_2(3^{L}s-1)=K$ 且
$$\frac{3^{L}s-1}{2^K}\equiv -1(\mathrm{mod}{2}^{a+2}).\text{\hspace{1em}(8.5)}$$

8.9.2 联合参数化

将 $s$ 和 $b$ 分别参数化。设 $s$ 的初始模信息由 $v_2(3^{L}s-1)$ 的取值 $K_0$ 和强反弹条件唯一确定到模 $2^{K_0+L}$，记该剩余类的代表元为 $s_0$。令
$$s=s_0+2^{K_0+L}{t}_1,t_1\in {\mathbb{Z}}_2.$$

同时，$b$ 由强反弹的同余条件 $b{K}_a\equiv -1(\mathrm{mod}{2}^{a+2})$ 确定到模 $2^{a+2}$，记代表元为 $b_0$。令
$$b=b_0+2^{a+2}{t}_2,t_2\in {\mathbb{Z}}_2.$$

8.9.3 多变量解析函数的构造

定义函数
$${\Phi }_{a,s_0}(t_1,t_2)=\frac{3^{2^a\cdot b(t_2)}s(t_1)-1}{2^{a+2}}+1,$$
其中 $b(t_2)=b_0+2^{a+2}{t}_2$，$s(t_1)=s_0+2^{K_0+L}{t}_1$。令 $x=2^{a+2}{K}_a$，则 $3^{2^a}=1+x$，且
$$3^{2^a\cdot b(t_2)}=(1+x{)}^{b_0+2^{a+2}{t}_2}.$$

将 $(1+x{)}^{b_0+2^{a+2}{t}_2}$ 用二项式级数展开为 ${\sum }_{n=0}^{\infty }\left(\genfrac{}{}{0ex}{}{b_0+2^{a+2}{t}_2}{n}\right)x^n$，乘以 $s_0+2^{K_0+L}{t}_1$ 后，整理为 $t_1,t_2$ 的双重幂级数：
$${\Phi }_{a,s_0}(t_1,t_2)=\sum _{i,j\ge 0}{c}_{ij}{t}_1^i{t}_2^j,c_{ij}\in {\mathbb{Q}}_2.$$

定理8.10（联合收敛性） 上述双重级数在 ${\mathbb{Z}}_2^2$ 上一致收敛，即 ${\Phi }_{a,s_0}(t_1,t_2)$ 是 ${\mathbb{Z}}_2^2$ 上的2-adic解析函数。

证明概要：分别估计各项系数 $c_{ij}$ 的2-adic赋值。由引理8.3，$\left(\genfrac{}{}{0ex}{}{b_0+2^{a+2}{t}_2}{n}\right)$ 作为 $t_2$ 的幂级数，其系数的赋值有下界 $-s_2(n)$。乘以 $2^{(n-1)(a+2)}$ 后，因子 $2^{(n-1)(a+2)}$ 的贡献使赋值线性增长，而 $-s_2(n)$ 仅对数增长，故当 $i+j\to \infty$ 时 $v_2(c_{ij})\to \infty$。由非阿基米德收敛准则，级数在 ${\mathbb{Z}}_2^2$ 上一致收敛。$\square$

8.9.4 多变量Strassmann定理与零点有限性

定理8.11（多变量Strassmann定理） 设 $F(t_1,\dots ,t_n)$ 是 ${\mathbb{Z}}_p^n$ 上不恒为零的收敛幂级数。则 $F$ 在 ${\mathbb{Z}}_p^n$ 中仅有有限个零点。

证明概要：对 $n$ 归纳。$n=1$ 即经典Strassmann定理。假设对 $n-1$ 成立。将 $F$ 视为 $t_n$ 的幂级数，系数为 $t_1,\dots ,t_{n-1}$ 的解析函数。由p-adic Weierstrass预备定理（[7, §5.2]，[22, Chapter VI]），$F$ 可分解为 $F=U\cdot P$，其中 $U$ 是单位（在原点附近不取零），$P$ 是关于 $t_n$ 的首一多项式，系数是 $t_1,\dots ,t_{n-1}$ 的解析函数。$F$ 的零点即为 $P$ 的零点。对每组 $(t_1,\dots ,t_{n-1})$，$P$ 作为 $t_n$ 的多项式至多有 $d=\mathrm{deg}P$ 个根。$P$ 的判别式 $\Delta (t_1,\dots ,t_{n-1})$ 是解析函数，若 $\Delta \not\equiv 0$，则由归纳假设其零点有限。在 $\Delta \ne 0$ 的区域，$P$ 的根是分离的单变量解析函数，每个根的图像是 ${\mathbb{Z}}_p^{n-1}\to {\mathbb{Z}}_p$ 的解析映射的图，由紧致性知其零点集有限。若 $\Delta \equiv 0$，则 $P$ 有重因子，可约化后递归处理。$\square$

引理8.12（非零性验证） 对每个固定的 $a$ 和 $s_0$，${\Phi }_{a,s_0}(t_1,t_2)-2^{a+2+c}$ 不恒为零。

证明：取 $t_1=t_2=0$，此时 $s=s_0$，$b=b_0$，对应原始强反弹参数。由 §4.5-§4.6 的数值计算，反弹后 $L^{\prime }$ 的取值是确定的常数。${\Phi }_{a,s_0}(0,0)-2^{a+2+c}=0$ 仅当反弹后的赋值恰好等于 $a+2+c$，这要求 $s_0$ 和 $b_0$ 满足非常特定的代数关系。对于绝大多数 $s_0$，该式非零。即使在使该式为零的特殊参数上，考虑 $t_1$ 或 $t_2$ 的一阶偏导数，至少有一个非零，故函数非常数。$\square$

推论8.13（零点有限性） 对每个固定的 $a$ 和 $s_0$，以及每个可能的 $c\ge 0$，使得
$$v_2({\Phi }_{a,s_0}(t_1,t_2))=a+2+c$$
的参数对 $(t_1,t_2)\in {\mathbb{Z}}_2^2$ 仅有有限多组。

证明：条件等价于 ${\Phi }_{a,s_0}(t_1,t_2)/2^{a+2+c}\in {\mathbb{Z}}_2^{\times }$，这等价于函数 $H(t_1,t_2)={\Phi }_{a,s_0}(t_1,t_2)/2^{a+2+c}-1$ 满足 $v_2(H)\ge 1$。考虑 $H$ 的零点加上若干边界条件，由多变量Strassmann定理，$H$ 在 ${\mathbb{Z}}_2^2$ 上仅有有限个零点。每个零点对应一个满足该特定反弹强度的参数对。$\square$

8.9.5 无限反弹链的完全排除

现在可完成一般奇数的无限反弹链排除。假设存在无限强反弹序列，则存在无限序列 $(L_1,s_1),(L_2,s_2),\dots$ 使得 $L_{i+1}\ge \tilde{f}(L_i,s_i)\ge 2$ 且 $L_i\to \infty$。每一级反弹要求初始参数 $(t_1,t_2)$ 满足由该级反弹输出确定的下一级同余条件。这些条件形成嵌套的clopen圆盘序列（在 ${\mathbb{Z}}_2^2$ 中），半径严格递减。无穷嵌套圆盘的交集在 ${\mathbb{Z}}_2^2$ 中至多包含一个点，该点的分量具有非终止的2-adic展开。而正整数初始值对应的参数 $(t_1,t_2)$ 具有终止的2-adic展开。因此不存在正整数初始值能产生无限反弹链。

定理8.14（一般奇数无限反弹链不存在） 不存在正奇数初始值 $m_0=2^{L_0}{s}_0-1$，使得其考拉兹轨道产生无限次强反弹。

结合定理7.1（L无界必导致无限反弹），我们有：

定理8.9（L无界发散不存在的完整证明） 考拉兹奇数核映射 $F$ 不存在低位1串长度趋于无穷的轨道。

证明：假设存在L无界轨道，则轨道中必然出现无限多次强反弹。由定理8.14，能产生无限次强反弹的初始参数不存在，矛盾。

8.10 数值实例与验证

为帮助读者建立直观，我们在此提供几个计算实例，展示反弹层级和解析函数的赋值行为。

例8.1 取 $a=1$，则 $K_1=(3^2-1)/2^3=(9-1)/8=1$。强反弹条件 $b\cdot 1\equiv -1(\mathrm{mod}{2}^3=8)$ 给出 $b\equiv 7(\mathrm{mod}8)$。故 $b_0=7$，$b(t)=7+8t$。计算 ${\Phi }_1(t)$ 的低阶展开。由 $(1+8\cdot 1{)}^{b(t)}$ 展开，可得 ${\Phi }_1(t)=1+7+8t+\cdots =8+8t+\cdots$，其赋值为 $3$（若 $t$ 偶）或更高。这意味着反弹后 $L^{\prime }=3$，$a^{\prime }=v_2(3)=0$，反弹链终止。因此 $a=1$ 的强反弹无法产生下一级强反弹，这与 $f(L)=1$ 一致。

例8.2 $a=2$，$K_2=(3^4-1)/2^4=80/16=5$。强反弹条件 $b\cdot 5\equiv -1(\mathrm{mod}{2}^4=16)$。5模16的逆元为13（因为 $5\cdot 13=65\equiv 1(\mathrm{mod}16)$），所以 $b\equiv -13\equiv 3(\mathrm{mod}16)$。$b_0=3$，$b(t)=3+16t$。经过计算 ${\Phi }_2(t)$ 的低阶项，可以发现在某些 $t$ 时反弹能继续。Strassmann定理保证这样的 $t$ 只有有限个。

这些例子与我们的理论一致：强反弹参数被限制在模 $2^{a+2}$ 的特定剩余类中，且反弹的可持续性由解析函数的零点决定，其数量有限。

8.11 本章小结

L无界发散被完全排除。核心工具是Strassmann定理，推广至一般奇数反弹的框架是完整的。

第8章的论证基于Strassmann零点有限定理，属于2-adic解析函数理论。第9章将以对偶的方法——逆向约束累积原理——处理低位1串长度有界的情形。两条路径的共同本质是：无限反弹要求初始参数满足无限嵌套的解析约束，其极限点在 ${\mathbb{Z}}_2$ 中具有非终止展开，因而不能是正整数。这是考拉兹猜想在发散方向上的根本算术刚性。