Continuity of the solution map for hyperbolic polynomials

问题陈述

本文探讨了双曲多项式解映射（solution map）的正则性与连续性性质。一个次数为 $d$ 的实系数首一多项式，若其所有根均为实数，则被称为“双曲多项式”。研究的核心对象是“解映射” $S$，它将此类多项式的系数映射为其递增排序的根。

虽然 Bronshtein 定理已经确立了对于系数属于 $C^{d-1,1}$ 类（即其 $(d-1)$ 阶导数具有 Lipschitz 连续性的函数族）的双曲多项式，其根可以存在一个局部 Lipschitz ($C^{0,1}$) 的连续参数化，但解映射本身关于系数空间拓扑的连续性仍是一个悬而未决的问题。具体而言，作者研究了映射 $S: C^{d-1,1} \to C^{0,1}$ 是否是连续的。正如文中通过反例所证明的那样，当目标空间配备标准的 $C^{0,1}$（Lipschitz）拓扑时，该映射并不连续。本文旨在探究是否可以通过放宽目标空间的拓扑（例如使用 Sobolev 空间）或加强源空间的正则性（例如使用 $C^d$）来恢复连续性。

研究方法

作者结合了实分析、双曲多项式理论以及泛函分析。其核心方法包括：

1. 切希尔诺伊斯变换 (Tschirnhausen Transformation)： 将多项式转化为切希尔诺伊斯形式（其中 $Z^{d-1}$ 的系数为零），以简化对根的分析。这使得利用缩放论证以及研究具有固定二阶系数的多项式空间成为可能。
2. 分裂原理 (Splitting Principle)： 一个关键技术是将双曲多项式局部分解为低阶因子的乘积。通过利用反函数定理和判别式集的结构，作者证明了在根是互异或具有特定重数结构的点附近，该多项式可以分解为对系数具有解析依赖性的双曲因子。
3. 单点 Bronshtein 定理： 作者开发了一个更精细的单点 Bronshtein 定理（定理 4.7）。该定理提供了在 $x_0$ 处根的导数关于系数及其导数的显式界限，前提是 $x_0$ 不是一个“避世点”（reclusive point，即系数零集中的一种特定孤立点）。
4. 控制收敛 (Dominated Convergence)： 为了证明解映射在 Sobolev 范数下的收敛性，作者确立了根的导数序列是一致有界的（通过 Bronshtein 定理），并且几乎处处逐点收敛。随后应用控制收敛定理来建立在 $W^{1,q}$ ($1 \le q < \infty$) 中的收敛性。
5. 基于次数的归纳法： 关于导数收敛性的证明依赖于对多项式次数的归纳过程，利用分裂原理将问题简化为低阶多项式的问题。

主要贡献与结果

主要贡献在于证明了在特定拓扑约束下的解映射的连续性：

• 主定理 (Theorem 1.1)： 对于系数属于 $C^d$ 类的 $d$ 次双曲多项式，解映射 $S$ 在源空间携带自然 Fréchet 拓扑且目标空间配备所有 $1 \le q < \infty$ 的 Sobolev 空间 $W^{1,q}_{loc}$ 的迹拓扑下是连续的。
• Hölder 连续性 (Corollary 1.2)： 作为结论，该映射对于所有的 $0 < \alpha < 1$ 也是向 Hölder 空间 $C^{0,\alpha}$ 连续的，但在 $\alpha = 1$（即 Lipschitz 情况）时失效。
• 技术核心 (Theorem 1.3)： 本文确立了如果系数序列 $a_n$ 在 $C^d$ 中收敛于 $a$，则根序列 $S(a_n)$ 在任何 $1 \le q < \infty$ 的 $W^{1,q}_{loc}$ 中收敛于 $S(a)$。这依赖于导数在几乎处处的逐点收敛，而这种收敛性是通过单点 Bronshtein 变体证明的。
• 在矩阵与奇异值中的应用：
  • 厄米特矩阵 (Hermitian Matrices)： 研究结果应用于厄米特矩阵的特征值。将 $C^d$ 曲线的厄米特矩阵映射到其有序特征值的映射被证明是向 $W^{1,q}_{loc}$ 和 $C^{0,\alpha}$ 连续的。
  • 奇异值： 对于 $C^{2d}$ 族的复矩阵，得到了类似的结论。
• 几何后果：
  • 曲面积： 本文证明了每个根的图的曲面积是局部收敛的。
  • 零集： 双曲多项式零集的面积表现出局部下半连续性。具体而言，若 $a_n \to a$ 在 $C^d$ 中，则零集的 Hausdorff 测度满足 $\liminf_{n \to \infty} \mathcal{H}^m(Z_n) \ge \mathcal{H}^m(Z)$。
• 逼近： 作者展示了任何具有 $C^d$ 系数的双曲多项式都可以由一列具有单根（处处根互异）的双曲多项式逼近，使得逼近序列的根在 $W^{1,q}_{loc}$ 拓扑下收敛于原多项式的根。

意义与主张

本文声称解决了作者此前综述 [PR25] 中的 开放问题 3.8。其重要性在于明确了双曲多项式解映射的最优正则性与连续性，这是一个在算子摄动理论和偏微分方程领域有着深厚根基的问题。

作者强调，虽然 Bronshtein 定理保证了对于 $C^{d-1,1}$ 系数存在 Lipschitz 根的存在性，但将这些根分配给系数的映射的连续性则需要源空间具有更高的正则性（$C^d$）以及目标空间具有较弱的拓扑（$W^{1,q}$ 或 $C^{0,\alpha}$）。在 $C^{0,1}$ 目标拓扑下连续性的失效已被明确证明，这突显了结果的锐利性（sharpness）。

本文还指出，对于双曲多项式的研究结果比对于一般复多项式的研究（见 [PR24]）更为强有力，在后者中，解映射仅在 $q < d/(d-1)$ 时向 $W^{1,q}$ 连续。对于双曲多项式，连续性对于所有 $q < \infty$ 均成立。

作者对于 $C^{d-1,1}$ 的情况保持谨慎，将其作为一个开放问题（问题 1.7）提出：即连续性结果是否能扩展到 $C^{d-1,1}(U, \text{Hyp}(d))$ 上的解映射。同样，对于厄米特矩阵，他们询问正则性要求是否可以从 $C^d$ 降低到 $C^1$（问题 1.11），并指出他们仅能在 $d=2$ 的情况下给出肯定的回答。