无限维希尔伯特空间中平方距离函数的 Poly–Raby 定理如何分裂？

有限维等价关系无法直接推广

Poly 与 Raby 在 1984 年证明：对 k ≥ 2，有限维欧氏空间中的闭集 M 在点 x̄ ∈ M 附近是 C^k 子流形，当且仅当平方距离函数 d_M^2 在 x̄ 附近属于 C^k，且可微阶数相同。本文把这一等价关系能否在无限维中延续列为自然的公开问题。

本文给出的答案是：它不能原样延续。该刻画分裂为两个命题，一个对应弱 C^k 子流形，一个对应 C^k 子流形，而后者除 d_M^2 的光滑性之外还需要额外假设。

仅有平方距离光滑性只能得到弱 C^k 集合

分裂的第一半是定理 5.3：对闭集 M ⊂ H、k ≥ 2 与 x̄ ∈ M，d_M^2 在 x̄ 附近属于 C^k，当且仅当 M 在 x̄ 附近是弱 C^k 子流形。弱 C^k 子流形定义为可由弱 C^k 映射 θ 局部图表示集合，即每个标量化 y* ∘ θ 都是 C^k，而 θ 本身不必是 C^k。

其机制在于：d_M^2 的 C^k 光滑性控制的是法向偏差 (z, w) ↦ Dθ(z)* w 的 C^{k−1} 阶正则性，而不是 θ 本身的 C^k 阶正则性。这等价于 (z, w) ↦ ⟨θ(z), w⟩ 的联合 C^k 光滑性，而这正是弱 C^k 条件。因此平方距离光滑性所探测的自然对象是图的弱正则性，而非其强正则性。

d_M^2 为 C^k 但 M 不是 C^k 的曲线

第 4 节对每个 k ≥ 2 构造了一个包含 0 的闭集 M ⊂ ℝ × ℓ^2，其平方距离函数 d_M^2 在 0 附近属于 C^k，而 M 在该处不是 C^k 子流形。该集合是一条曲线 θ: ℝ → ℓ^2 的图，曲线由支集互不相交的鼓包函数构成，支集为 I_n = (3r_n/4, 5r_n/4)，r_n = 4^{−n}，振幅按 r_n^k 递减。

曲线 θ 属于 C^{k−1} 且是弱 C^k，但 θ^{(k−1)} 在 0 处不是 Fréchet 可微的：沿序列 t_n = r_n，差商 ‖θ^{(k−1)}(r_n) − θ^{(k−1)}(0)‖ / r_n 等于 1。由于 θ^{(k−1)} 在 t ≤ 0 时为零，0 处的任何导数都只能为零，这与上式矛盾。论文指出该例子是紧的：它表明即使流形是一条曲线，额外条件也不能省略。

恢复 C^k 的逐点等度连续条件

分裂的第二半是定理 6.2。将 x̄ 平移到 0 后，M 在 0 附近是 C^k 子流形，当且仅当 d_M^2 在 0 附近属于 C^k，且对 Poly–Raby 坐标 Ψ，存在 Z = rg(DP_M(0)) 中 0 的邻域 V 与 ρ > 0，使得 g(z, w) := −(1/2) π_Z ∇d_M^2(Ψ^{−1}(z, w)) 在 V × B_{Z^⊥}(0, ρ) 上有定义，并且族 {D_1^{k−1} g(·, w) : w ∈ Z^⊥, ‖w‖ ≤ ρ} 在每个 z_0 ∈ V 处等度连续。

论文将该条件解释为 π_Z ∘ ∇d_M^2 最后一阶切向导数的逐点等度连续性，并在 Poly–Raby 坐标下对法向偏差 w ∈ Z^⊥ 一致成立。它严格强于 d_M^2 的普通 C^k 光滑性（反例已表明这一点），又严格弱于早期工作中使用的 D^k d_M^2 局部一致连续性。

Poly–Raby 坐标仍是共同的几何基础

两种刻画都建立在同一个 Poly–Raby 微分同胚 Ψ(x) = (π_Z(P_M(x)), π_{Z^⊥}(x − P_M(x))) 之上，其中 Z = rg(DP_M(0))，P_M 是度量投影。命题 3.1 表明，当 d_M^2 在 0 附近为 C^k 时，Ψ 是 C^{k−1} 微分同胚，图映射 θ(z) = π_{Z^⊥} Ψ^{−1}(z, 0) 属于 C^{k−1}，且其逆具有显式形式 Ψ^{−1}(z, w) = (z − Dθ(z)* w, θ(z) + w)。

关键恒等式是 Dθ(z)* w = −(1/2) π_Z ∇d_M^2(Ψ^{−1}(z, w))。它表明 d_M^2 的光滑性与法向偏差 (z, w) ↦ Dθ(z)* w 的联合 C^{k−1} 光滑性相关，而非直接与 θ 的 C^k 光滑性相关。论文指出，在无限维中推广 Poly 与 Raby 的障碍不在于 Ψ 的构造、图表示或逆公式，而恰恰在于从每个固定 w 下 z ↦ Dθ(z)* w 的光滑性，过渡到算子值映射 z ↦ Dθ(z)* 的同样光滑性。

有限余维时分裂消失

推论 3.3 记录：若 d_M^2 在 x̄ 附近属于 C^k 且 ker(DP_M(0)) 有限维，则 M 在 x̄ 附近是有限余维的 C^k 子流形，反之亦然。在该情形下 Poly 与 Raby 所用的紧性论证仍然有效，因此弱刻画与强刻画重合。

论文的汇总表指出，当 M 的余维有限时，条件 1 至 3 合并。这意味着分裂是真正的无限维现象：额外的逐点等度连续条件只在余维无限时才需要，而反例位于 ℝ × ℓ^2 中，其余维为无限。

四行光滑性刻画层级

论文最后的表格把 k ≥ 2 的结果组织为四行。d_M^2 ∈ C^k 对应 M 是弱 C^k 子流形。d_M^2 ∈ C^k 加上条件 (6.5) 对应 M 是 C^k 子流形。d_M^2 ∈ C^{k,0} 对应 M 是 C^{k,0} 子流形，d_M^2 ∈ C^{k,1} 对应 M 是 C^{k,1} 子流形。

该层级把取舍关系明确化：M 的正则性每提高一档，都需要对 d_M^2 施加严格更强的假设。逐点等度连续条件位于普通 C^k 光滑性与 D^k d_M^2 局部一致连续性之间，因此它正是把弱结论提升为强结论所需的最小附加条件。

应用定理前需要核对什么

对需要判断适用哪一结论的读者而言，决定性的问题是 M 的余维是有限还是无限。在有限余维下，仅凭 d_M^2 的 C^k 光滑性即可得到 C^k 子流形，这与原始 Poly 与 Raby 定理一致。在无限余维下，同样的光滑性只能得到弱 C^k 子流形，而 π_Z ∘ ∇d_M^2 最后一阶切向导数在法向偏差 w 上一致的逐点等度连续条件 (6.5)，正是区分两种情形的关键。

论文自身的重点正是这一分裂：弱 C^k 刻画是平方距离光滑性的自然归属，而强 C^k 刻画则是弱刻画再加一个等度连续假设。ℝ × ℓ^2 中的反例表明该假设并非多余，因此在无限余维下任何需要真正 C^k 子流形的应用，都必须验证条件 (6.5)，而不能仅依赖 d_M^2 的光滑性。

本文引用的文献