🔢 mathematics

Constructing Discontinuous but Locally Bounded Rational Functions using \L ojasiewicz Inequalities

本文通过使用洛雅希维奇不等式（Lojasiewicz inequalities）证明了，对于在 $Q$ 的零集包含于 $P$ 的零集的某点处消失的实多元多项式 $P$ 和 $Q$ ，存在一个形式为 $P^p/Q^q$ 的局部有界有理函数，其向 $Q$ 的零集的连续延拓必然是不连续的。

原作者： Adam Coffman, Yifei Pan

发布于 2026-06-02

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Adam Coffman, Yifei Pan

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下你正试图横渡一条河流。通常情况下，如果你有一座桥（一个数学函数），你可以平稳地走过去。但有时，这座桥的正中间会有一个洞。如果你试图走过那个洞，你可能会掉下去，或者路径会变得过于陡峭，让你无法攀爬。

在数学世界中，特别是对于有理函数（它们只是由多项式组成的项，例如 $\frac{x^2}{y}$ ），数学家经常寻找那些分母（分母部分）为零的“洞”。通常，如果顶部的数字（分子）在那个位置也为零，我们或许可以修补这个洞，从而平稳地走过去。

这篇由 Adam Coffman 和 Yifei Pan 撰写的论文，是关于寻找一种非常特定且棘手的“洞”。他们正在寻找一种既安全可通行（有界的）但又无法平滑通过（不连续的）桥梁。

以下是使用简单类比对他们发现的解析：

1. “安全但颠簸”的桥

想象一座桥，它是完全平坦且可以安全站立的，但如果你试图走向中间的某个特定点，地面会突然发生位移。你可以无限接近中心点，且永远不会从边缘掉下去（函数是有界的），但你永远无法真正踏上中心点，因为地面会发生跳跃式的升降（函数是不连续的）。

经典案例： 想想函数 $f(x,y) = \frac{xy}{x^2+y^2}$ 。如果你沿着一条直线向中心 (0,0) 走，你可能会到达高度 0.5。但如果你沿着另一条直线走，你会到达 0。如果你沿着一条曲线走，你可能会到达 1。这座桥是“安全”的（它永远不会趋于无穷大），但它很混乱，因为高度完全取决于你的行进方向。

2. 核心问题

作者们问道：我们总能造出这样的桥吗？
他们从两个形状（多项式）开始，我们称之为 $P$ （分子）和 $Q$ （分母）。这两个形状都在一个特定点触碰地面（等于零）。他们已知 $Q$ 中的“洞”完全包含在 $P$ 的“洞”之内。

他们想知道：是否总有一种方法，可以通过调整这些形状的幂次，使得最终得到的这个分式既是安全的（有界的）但又是颠簸的（不连续的）？

3. 神奇的工具： “Lojasiewicz 不等式”

为了回答这个问题，作者们使用了一个强大的数学工具，叫做 Lojasiewicz 不等式。

把这个不等式想象成一个速度限制标志，规定了一个形状相对于另一个形状缩减的速度。

想象 $P$ 和 $Q$ 是两个在靠近中心时不断瘪下去的气球。
该不等式告诉我们， $P$ 的缩减速度不能比 $Q$ 快得太多，否则就会违反几何规则。
存在一个特定的“比例”或“指数”（就像齿轮设置一样），在这个设置下， $P$ 缩减得恰到好处，既能让分式不至于爆炸（有界），又不足以抹平所有的颠簸（不连续）。

4. 主要发现

论文证明了，是的，这种棘手的桥梁确实总是存在的。

无论你从什么样的两个形状（ $P$ 和 $Q$ ）开始（只要它们都触及零，且 $Q$ 的洞在 $P$ 内部），你总能找到一个特定的“齿轮比”（一个有理数）来混合它们。

如果你用这个比例进行混合，函数会保持在安全范围内（它不会冲向无穷大）。
然而，如果你试图将该函数延伸到中心点，它仍然会是锯齿状且不连续的。

这就像是在咖啡中加入适量的糖：既足以让它不那么苦涩（有界），又不至于多到让它喝起来像水一样（连续）。

5. 他们是如何建造这些桥的

作者展示了构建这些“安全但颠簸”函数的两种主要方法：

方法 A：梯度技巧（坡度探测器）
他们取一个形状 $P$ ，并观察它的“梯度”（这就像是在测量每一点处的山坡陡峭程度）。他们创造了一个分式，其分子是山的高度（ $P$ ），分母是陡峭度的平方（ $|\nabla P|^2$ ）。
- 类比： 想象一座山。顶部是高度，底部是坡度的陡峭程度。在接近顶峰时，高度和陡峭度以特定的方式相关联。通过调整“齿轮比”（指数），他们创造了一个函数，该函数虽然保持有界，但在顶点处依然无法实现平滑。
方法 B：复数技巧（影子）
他们利用复数（带有“虚部”的数字）来创造实数函数。
- 类比： 想象用光照射一个 3D 物体从而投射出 2D 的影子。他们取一个复数函数，将其拆分为“实部”和“虚部”，并将它们分别作为分子和分母。这创造了一个围绕中心点旋转的函数。当你靠近中心时，数值会剧烈旋转，永远无法稳定在一个单一的高度，尽管它也从未飞向无穷远。

6. 为什么这很重要（根据论文所述）

该论文并不声称这会修复现实世界中的桥梁或治愈疾病。相反，它解决的是实代数几何中的一个谜题。

它证实了这些数学函数的行为比我们想象的要复杂得多。即使一个函数足够“表现良好”以至于能保持在一个范围内（有界），它仍然可以表现得足够“糟糕”，以至于无法在某一点实现平滑连接。

总结来说： 作者们证明了，利用特定的“速度限制”规则（Lojasiewicz 不等式），你总能设计出一个既能防止趋于无穷大、又拒绝平滑过渡的数学分式。

技术摘要：构造不连续但局部有界的有理函数

问题陈述
本文研究了实多元有理函数 $f = P/Q$ 在分子 $P$ 与分母 $Q$ 同时为零的点（不定点集）附近的行为。作者调查了局部有界性与连续性之间的关系。众所周知，有理函数可以是有界但不连续的（例如，沿着趋近于原点的不同路径时），本文旨在通过特定的几何条件，寻求一种通用的构造方法来证明这类函数总是存在的。核心问题是：给定在 $\vec{0}$ 点消失的多项式 $P$ 和 $Q$ ，且满足 $Q$ 的零集包含在 $P$ 的零集中（即 $Z(Q) \subseteq Z(P)$ ），是否总能存在一个该函数的有理幂次，具体形式为 $P^{2p}/Q^{2e}$ ，使得该函数在局部有界，但其在 $Z(Q)$ 上的扩展（定义为 0）是不连续的？

方法论
作者利用了实代数几何和半代数集理论中的工具。其方法论高度依赖于：

Lojasiewicz 不等式： 证明过程利用了经典的 Lojasiewicz 不等式和 Lojasiewicz 梯度不等式。这些不等式提供了多项式及其梯度（或其它多项式）在靠近其零集时数值关系的界限。具体而言，是否存在一个最小有理指数 $\beta_0$ （或 $\theta_0$ ）使得 $|P|^\beta \le C|Q|$ ，是论证的核心。
半代数几何： 作者分析了多项式映射的图像以及零集的几何结构。他们使用了半代数集的性质，包括实代数曲线的局部描述（命题 3.4）以及不定点集的维数。
构造性指数选择： 作者构造了源自最小 Lojasiewicz 指数的特定有理指数 $p/e$ 。策略在于证明：对于略大于最小界的指数，函数会变得无界；而对于最小界，函数是有界的，但由于沿特定路径（通常由 Puiseux 展开导出）存在不同的极限，导致其不连续。
复数构造： 在第 6 节中，作者提出了一种使用复多项式的替代构造方法。通过取全纯多项式之比（例如 $f(z)^\nu / \overline{g(z)}^\mu$ ）的实部或虚部，作者生成了有界的实有理函数，而无需依赖于正文中使用的特定实代数几何工具。

主要贡献与结果
本文确立了若干定理和引理，用于刻画这些函数的存在性与构造：

主要存在性定理（定理 5.2）： 若 $P$ 与 $Q$ 是在 $\vec{0}$ 点消失的多项式，且满足 $Z(Q) \subseteq Z(P)$ ，则存在正整数 $p$ 和 $e$ ，使得有理函数 $P^{2p}/Q^{2e}$ 在 $\vec{0}$ 附近局部有界，但其在 $Z(Q)$ 上的扩展（将值设为 0）是不连续的。该比例 $p/e$ 是唯一的，并对应于关于 $P$ 和 $Q$ 的最小 Lojasiewicz 指数。
基于梯度的构造（定理 7.4）： 提供了一种特定且稳健的方法，其中分母被选为分子梯度平方范数的幂次，即 $Q = |\nabla P|^{2q}$ 。定理 7.4 证明，如果 $p/q$ 等于 $P$ 在临界点处的最小 Lojasiewicz 指数 $\theta_0$ ，则所得函数是有界但不连续的。
不定点集的维数（定理 7.10）： 作者证明了这种构造并不局限于孤立零点。他们表明，对于任何严格包含在超平面内的实代数集 $A$ ，都可以构造出一个其不定点集恰好为 $A$ 的有界有理函数。这与通常情况下有界有理函数的不定点集往往具有余维数 2 或更高的情形形成对比；在此，不定点集的维数可以达到 $n-2$ 或更大。
复变量构造（第 6 节）： 本文提供了一种在 $\mathbb{R}^{2m}$ 中生成有界不连续有理函数的方法，即取形如 $h(z)/\overline{h(z)}$ 的全纯多项式表达式的实部或虚部。这产生了不定点集维度为 $2m-2$ 的函数。

意义与主张
本文声称提供了一个通用的、基础性的（指使用基础实代数几何工具）证明，证明“有界但不连续”这一现象并非异常，而是对于具有嵌套零集的多项式对而言，是一类广泛的有理函数所必然具备的属性。

作者强调，其方法阐明了连续性的精确阈值。他们表明，存在形式为 $P^{2p}/Q^{2e}$ 的有界不连续有理函数，等价于关于对 $(P, Q)$ 的强版本 Lojasiewicz 不等式。这项工作将连续性这一分析性质与最小 Lojasiewicz 指数这一代数性质联系了起来。

本文并未提出新的计算机代数或工程应用，但指出计算多元有理函数极限的问题在计算机代数领域仍具有研究价值。其意义在于理论构造：为如何系统地生成反例——即打破“局部有界性蕴含连续性（或通过简单扩展即可恢复连续性）”这一直觉——提供了一种系统的方法。研究结果精炼了对“有界性”与“连续性”之间“间隙”的理解，表明对于任何此类多项式对，都存在一个特定的有理幂次，恰好处于连续性的边界上。