[论文解读] On Hadamard's global inverse function theorem (On global inversion of homogeneous maps)

Michael Ruzhansky, Mitsuru Sugimoto|arXiv (Cornell University)|May 25, 2013

Mathematics and Applications参考文献 3被引用 7

一句话总结

本文建立了 ℝⁿ 上正齐次映射的全局反函数定理，证明在雅可比行列式非零且连续的条件下，此类映射在 ℝⁿ∖{0} 上是全局可逆的，且其反函数具有 Hölder 连续性。关键结果将哈达玛的全局反函数定理推广至原点处的奇点情形，表明阶数 κ > 0 的齐次映射在原点外是全局 Cᵏ-微分同胚，并在 f(0) = 0 时可延拓为 ℝⁿ 上的全局同胚。

ABSTRACT

Hadamard's global inverse theorem provides conditions for a function to be globally invertible on Rn. In this note we show that the conditions are robust enough for the conclusion to hold even if we relax the conditions by removing the assumption at a finite number of points. As a consequence, we get a global inverse function theorem for homogeneous functions.

研究动机与目标

• 建立在原点处奇异的 ℝⁿ 上齐次映射的全局反函数定理。
• 将哈达玛的全局反函数定理推广至在单一点（特别是原点）不光滑的映射。
• 证明在 ℝⁿ∖{0} 上雅可比行列式非零的齐次映射是全局可逆的，且其反函数亦为齐次映射。
• 为双曲 PDE 的整体分析及傅里叶积分算子的应用提供理论基础。
• 证明全局反函数在 ℝⁿ∖{0} 上连续且为 Cᵏ 光滑，并在 f(0) = 0 时可延拓为 ℝⁿ 上的全局同胚。

提出的方法

• 利用拓扑工具，将哈达玛的全局反函数定理适配于具有孤立奇点的映射。
• 在 n ≥ 3 时，将定理 2.1（在单连通流形上具有非零雅可比行列式的正则 C¹ 映射是微分同胚）应用于 ℝⁿ∖{0}。
• 利用 f 的正规性（即当 |y| → ∞ 时 |f(y)| → ∞）通过紧致性论证确保满射性与单射性。
• 通过验证正规性与非零雅可比行列式，证明限制映射 f: ℝⁿ∖{0} → ℝⁿ∖{0} 是 Cᵏ-微分同胚。
• 利用 f 的标度性质，证明反函数 f⁻¹ 是阶数为 1/κ 的正齐次映射。
• 利用 ℝⁿ∖{0} 中的紧致性等价于 ℝⁿ 中的紧致性，实现空间之间正规性的传递。

实验结果

研究问题

• RQ1 在何种条件下，正齐次映射 f: ℝⁿ∖{0} → ℝⁿ 是全局可逆的？
• RQ2 哈达玛的全局反函数定理能否推广至在原点奇异的映射？
• RQ3 哪些拓扑与分析条件可确保具有非零雅可比行列式的齐次映射是全局 Cᵏ-微分同胚？
• RQ4 齐次映射的全局可逆性与振荡积分的全局 L² 有界性之间有何关联？
• RQ5 为何该全局可逆性在 n = 2 时失效？该情形下存在何种拓扑障碍？

主要发现

• 当 n ≥ 3 时，Cᵏ-齐次映射 f: ℝⁿ∖{0} → ℝⁿ 若雅可比行列式非零，则从 ℝⁿ∖{0} 到 ℝⁿ∖{0} 是全局双射。
• 全局反函数 f⁻¹ 在 ℝⁿ∖{0} 上为 Cᵏ 光滑，且是阶数为 1/κ 的正齐次映射。
• 通过设定 f(0) = 0 将 f 延拓至 ℝⁿ 时，可得到 ℝⁿ 上的全局同胚。
• 该结果在 n = 2 时失效，原因在于拓扑障碍，如反例 f(x,y) = (x²−y², 2xy) 所示：其满足雅可比行列式条件但非单射。
• f 的正规性（即当 |y| → ∞ 时 |f(y)| → ∞）与在 ℝⁿ∖{0} 上的非零雅可比行列式共同保证了全局可逆性。
• f 在 ℝⁿ∖{0} 上的限制是正规映射，且当 n ≥ 3 时 ℝⁿ∖{0} 的单连通性通过覆盖空间理论确保了单射性。