一个五十年猜想的倒掉：无限维空间里，两个"好"算子的和可以变"坏"

场景：当"显然成立"不成立

在有限维空间里，单调函数有一个好性质：两个单调函数的和还是单调的。

单调性——即 x ≤ y 蕴含 f(x) ≤ f(y)——在优化理论中是核心结构。梯度下降收敛、凸优化全局最优、变分不等式解的存在性，背后都依赖单调性。

1960 年代，R. Tyrrell Rockafellar——凸分析的奠基人之一——把这个性质推广到无穷维空间上的"极大单调算子"（maximally monotone operator），并提出了一个猜想：

> 如果两个极大单调算子满足内部域条件（domain interior condition），它们的和还是极大单调的。

这个猜想看起来"显然成立"。在有限维空间里它确实成立。在无穷维空间里，它也"应该"成立——因为单调性是逐点性质，和的单调性容易验证，而极大性看起来应该被内部域条件保证。

但这个猜想不成立。

2026 年 9 月，Weifeng Yang 在 arXiv:2609.10487 上给出了反例。在 c_0 和 ℓ¹ 两个经典的无穷维 Banach 空间上，他构造了两个满足内部域条件的极大单调算子，它们的和不是极大单调的。

什么是极大单调算子

先说清楚概念。

单调算子：Banach 空间 X 上的算子 A 是单调的，如果对任意 x, y ∈ dom A，有

⟨Ax − Ay, x − y⟩ ≥ 0

这是单调递增函数的推广。在 R 上，单调递增函数 f 满足 (f(x) − f(y))(x − y) ≥ 0，这就是一维版本。

极大单调：A 是极大单调的，如果它没有真正的单调延拓——即不能往 A 的图里添加任何新点 (x, x*) 而保持单调性。

极大单调性是"不能再大"的意思。在有限维空间里，连续单调函数的图是闭的，自动是极大的。在无穷维空间里，事情复杂得多——单调算子可能不连续，图可能不闭，极大性需要额外验证。

极大单调算子是变分不等式、单调包含问题、凸优化的对偶理论的基本对象。如果 A 是极大单调的，那么 0 ∈ A(x) 的解存在且唯一（在适当条件下），这是 Minty 定理。

Rockafellar 和猜想

Rockafellar 在 1970 年代提出了以下猜想：

> 设 A, B 是 Banach 空间 X 上的极大单调算子。如果 dom A ∩ int(dom B) ≠ ∅（内部域条件），那么 A + B 是极大单调的。

这个猜想的动机来自凸优化。如果 A = ∂f（凸函数 f 的次微分），B = ∂g，那么 A + B = ∂(f + g)（在适当条件下）。凸函数的次微分总是极大单调的，所以 A + B 自动是极大单调的。

但 Rockafellar 想把这个性质推广到非凸情况——A 和 B 不一定是次微分，只是极大单调。在有限维空间里，这成立。在无穷维空间里，他猜想也成立。

内部域条件是关键假设。它要求 A 的定义域和 B 的定义域的内部有交集。这个条件排除了"两个算子定义域不相交"这种平凡的反例。

为什么无穷维不同

在有限维空间里，单调算子的图是闭集，Brouwer 不动点定理可以用来证明和的极大性。

在无穷维空间里，两个困难出现：

第一，Brouwer 不动点定理不直接适用。 需要更弱的工具（如 Kakutani 不动点定理或 Minty 技巧），而这些工具对算子的额外要求更强。

第二，无穷维空间的几何更复杂。 c_0 和 ℓ¹ 是非自反 Banach 空间，它们的单位球不是紧的（弱拓扑下）。这意味着有限维中"取极限"的论证在无穷维中可能失败。

具体来说，在有限维中，如果 ⟨Ax − By, x − y⟩ ≥ 0 对所有 y ∈ dom B 成立，可以通过紧性取极限，得到 ⟨Ax − Bz, x − z⟩ ≥ 0 对某个 z 成立，从而证明 A + B 的极大性。在无穷维中，这个极限过程可能不收敛——序列可能在弱拓扑下没有极限点。

反例的构造

Yang 的反例构造分三步。

第一步：一般构造定理

首先建立一个一般性的构造定理。定义一类特殊的图 G（Definition 5），并计算它的单调极（monotone polar）G^μ——即所有与 G 单调"正交"的点。

单调极的概念来自 Simons 2008 年的工作。对于图 G，定义

G^μ = {(x*, x) : ⟨x* − y*, x − y⟩ ≥ 0 对所有 (y, y*) ∈ G}

这是 G 的"单调对偶"。在有限维中，G^μ 和 G 的关系类似于凸函数的 Fenchel 对偶。

Yang 的定理 1 给出了 G^μ 的完整计算：

G^μ = {(Lp, p) : p ∈ X*, Mp = F̂(r(p))}

其中 L, M 是由 G 的结构决定的算子，F̂ 是 F 的延拓，r(p) 是 p 的某个标量函数。

第二步：极大单调性的充要条件

定理 1 还给出了 G 是极大单调的充要条件：

不存在 (p, τ) ∈ X* × [−1, 1] 使得 r(p) = τ 且 Mp = (τ, η)

这个条件的含义是：G 的单调极 G^μ 中不能有"额外"的点——如果 G^μ = G，G 是极大单调的；如果 G^μ 严格包含 G，G 不是极大单调的。

第三步：秩一扰动

关键的一步：在 G 上加一个秩一扰动 P x = ⟨x, g⟩ g，其中 g 是 X* 中的单位向量。

定理 1(iii) 说：如果 G 满足极大单调条件（9），那么 G 和 P 都是极大单调的，满足内部域条件，但 G + P 不是极大单调的。

为什么？因为 P 是有界的秩一算子，它的定义域是整个 X，所以 dom A ∩ int(dom P) = dom A ∩ X = dom A ≠ ∅。内部域条件自动满足。

但 G + P 的单调极 G+P^μ 严格包含 G + P 的图——存在额外的点可以添加到 G + P 中保持单调性，所以 G + P 不是极大的。

第四步：在 c_0 上验证

Yang 在 c_0（收敛到零的序列空间）上验证了定理的所有假设。c_0 是非自反 Banach 空间，它的单位球在弱拓扑下不是紧的——正是这种"非紧性"让反例成为可能。

具体构造涉及 c_0 上的特定算子，其单调极可以通过显式计算得到。秩一扰动 g 选为 c_0 的特定元素，使得 G + P 的单调极中有额外点。

第五步：从 c_0 到 ℓ¹

Yang 还构造了一个从 ℓ¹ 到 c_0 的有界线性满射（surjection），并利用它把 c_0 上的反例"提升"到 ℓ¹ 上。这需要验证反例在满射拉回（pullback）下保持——一个技术性但精巧的论证。

ℓ¹ 是另一个经典非自反空间。反例在两个不同的非自反空间上都成立，说明这不是某个空间的特殊 pathology，而是非自反性的结构性后果。

为什么反例重要

这个反例的意义不在于"一个猜想错了"——数学中有无数猜想在无穷维中失败。意义在于：

第一，它揭示了"和的极大性"在无穷维中的脆弱性。 在有限维中，和的极大性几乎是"免费的"——只要内部域条件满足就行。在无穷维中，即使两个算子各自"好"（极大单调、满足内部域条件），它们的和也可能"坏"（不极大单调）。这意味着无穷维优化中的很多算法（如原始-对偶算法、ADMM）需要额外的正则化才能保证收敛。

第二，它给出了反例的"最小"构造。 秩一扰动是最简单的扰动——只在一个方向上改变算子。如果连秩一扰动都能破坏极大性，说明问题不是"扰动太大"，而是"无穷维空间的几何允许这种破坏"。

第三，它建立了从 c_0 到 ℓ¹ 的反例传递。 这说明反例不是某个空间的特殊 pathology，而是非自反 Banach 空间的共同特征。自反空间（如 Hilbert 空间、L^p, 1 < p < ∞）上 Rockafellar 猜想是否成立，仍然是一个开放问题。

反例的"最小性"

Yang 的构造有一个精巧之处：反例在 c_0 上是"最小"的——涉及的算子结构尽可能简单。

具体来说，G 的定义只涉及一个标量函数 F 和一个线性算子 L。秩一扰动 P 只涉及一个向量 g。整个反例的"自由度"很低——不是通过堆砌复杂性来构造反例，而是通过精确定位无穷维空间的"脆弱点"来构造。

这种"最小性"让反例不仅是一个 counterexample，更是一个 diagnostic——它精确指出了 Rockafellar 猜想在无穷维中失败的机制：非自反性导致的弱拓扑非紧性。

对优化算法的启示

这个反例对优化算法有直接启示。

很多优化算法可以写成"单调算子包含"问题：找 x 使得 0 ∈ A(x) + B(x)，其中 A 和 B 是极大单调算子。算法的收敛性通常依赖 A + B 的极大性——如果 A + B 不极大，算法可能不收敛，或者收敛到错误的解。

在有限维中，这不是问题——A + B 自动极大。在无穷维中，Yang 的反例说明需要额外假设。常见的额外假设包括：

• Lipschitz 连续性：如果 B 是 Lipschitz 连续的，A + B 是极大的（即使没有内部域条件）
• 自反性：在自反 Banach 空间上，Rockafellar 猜想可能成立（尚未完全解决）
• 参数化正则化：加一个小正则化项 εJ（其中 J 是凸函数），保证 A + B + εJ 极大，然后让 ε → 0

更深的问题：非自反性是唯一的障碍吗

Yang 的反例在 c_0 和 ℓ¹ 上成立，这两个都是非自反空间。自然的问题：

Rockafellar 猜想在自反空间上成立吗？

这个问题至今没有完全解决。在 Hilbert 空间上，一些特殊情况下猜想成立（如 A 是次微分、B 是 Lipschitz）。一般情况下的自反 Banach 空间，猜想仍然开放。

如果猜想在自反空间上成立，那么"自反性"就是 Rockafellar 和定理的精确分界线——自反空间上"两个好算子的和还是好的"，非自反空间上不一定。这将是凸分析中一个漂亮的结果。

如果不成立，那么需要寻找更精细的条件——什么样的 Banach 空间几何保证和的极大性？

无论答案是什么，Yang 的反例都提供了关键的诊断信息：非自反性是和的极大性失败的结构性原因。秩一扰动的最小构造说明，问题不在于算子太复杂，而在于空间本身允许"极限过程失败"。

一个数学美学上的注记

Rockafellar 猜想的反例有一个数学美学上的特点：它不是通过"堆砌复杂性"来反驳猜想，而是通过"精确定位脆弱点"来构造最小反例。

这种风格在数学史上有先例。Cantor 用对角线论证构造不可数集，Gödel 用自指构造不完备性定理，Turing 用停机问题构造不可判定性。这些构造的共同特点是：用最少的自由度揭示结构的本质限制。

Yang 的反例在这个意义上是"最优的"——秩一扰动是最简单的扰动，c_0 是最简单的非自反空间。反例的简洁性说明它不是 pathology，而是 structural——它揭示的是无穷维空间的本质几何限制，而不是某个特殊算子的偶然失败。

---

论文信息

• 标题：Nonmaximal sums of maximally monotone operators under Rockafellar's constraint qualification
• 作者：Weifeng Yang
• arXiv：2609.10487
• 发布时间：2026 年 9 月 9 日
• 开源代码：无