[论文解读] On Hadamard's global inverse function theorem

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

Mathematical and Theoretical Analysis被引用 1

一句话总结

本文通过证明在有限个点处放宽正则性假设时，全局可逆性条件依然有效，扩展了哈达玛的全局反函数定理。关键贡献在于针对齐次函数建立了全局反函数定理，其核心是证明原始条件在这些扰动下仍具有鲁棒性。

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.

研究动机与目标

• 研究当在有限个点处放松C1正则性条件时，哈达玛全局反函数定理的鲁棒性。
• 确定在这些弱化假设下，全局可逆性结论是否仍然成立。
• 利用弱化条件建立齐次函数的全局反函数定理。
• 将经典反函数理论推广至具有有限奇点的更广泛函数类。

提出的方法

• 分析在有限个点处失去正则性时雅可比行列式结构的变化。
• 利用拓扑论证和度理论，证明即使存在孤立奇点，全局可逆性仍可保持。
• 在正则点附近局部应用反函数定理，并通过路径提升和连通性将反函数全局延拓。
• 证明在弱化条件下，函数的像仍为单连通且满射。
• 利用齐次性性质简化分析，并确保反函数映射的一致性。
• 证明反函数映射在有限个点处虽不可微，但仍是连续且全局定义的。

实验结果

研究问题

• RQ1 哈达玛的全局反函数定理能否推广至在有限个点处不满足C1正则性的函数？
• RQ2 在标准C1正则性假设被弱化时，何种条件可确保全局可逆性？
• RQ3 当正则性被弱化时，全局反函数定理是否仍适用于齐次函数？
• RQ4 在孤立点处移除正则性如何影响反函数映射的拓扑结构？
• RQ5 齐次性在弱可微性条件下如何维持全局可逆性？

主要发现

• 即使在有限个点处放弃C1正则性条件，哈达玛定理的全局可逆性结论依然成立。
• 反函数映射存在，全局定义，且连续，即使在孤立点处不可微。
• 该定理可推广至齐次函数，从而为这一类函数建立了全局反函数定理。
• 雅可比行列式几乎处处非零，保持了拓扑度并确保了满射性。
• 函数像的结构保持单连通，支持全局反函数的存在性。
• 证明依赖于拓扑连续性和路径提升，表明孤立奇点不会阻碍全局可逆性。