[論文レビュー] 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正則性条件が有限個の点において緩和された場合の、ハダマールのグローバル逆関数定理のロバスト性を調査すること。
• 標準的なC1正則性仮定が弱められた場合でも、グローバル可逆性の結論が依然として成立するかを特定すること。
• 緩和された条件を用いて、同次関数に対するグローバル逆関数定理を確立すること。
• 限られた特異点をもつ関数のクラスへと、古典的逆関数理論をより広い範囲へ一般化すること。

提案手法

• 有限個の点での正則性の欠落下におけるヤコビアン行列式の構造を分析すること。
• トポロジー的議論と次数論を用いて、局所的特異点が存在してもグローバル可逆性が保たれることを示すこと。
• 正則点の周囲で局所的に逆関数定理を適用し、経路の持ち上げと連結性を用いて逆関数をグローバルに拡張すること。
• 緩和された条件下でも、関数の像が単連結であり、かつ全射のままであることを証明すること。
• 同次性の性質を活用して解析を単純化し、逆写像の一貫性を保証すること。
• 微分不可能な有限個の点が存在するにもかかわらず、逆写像が連続的かつグローバルに定義可能であることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 C1正則性が有限個の点でのみ失われる関数に対し、ハダマールのグローバル逆関数定理を拡張できるか？
• RQ2 標準的なC1正則性仮定が弱められた場合、何がグローバル可逆性を保証するか？
• RQ3 緩和された正則性のもとで、同次関数に対するグローバル逆関数定理は成立するか？
• RQ4 局所的特異点での正則性の欠落が、逆写像の位相的構造にどのように影響するか？
• RQ5 弱められた微分可能性のもとで、グローバル可逆性を保つために同次性が果たす役割は何か？

主な発見

• C1正則性条件が有限個の点で欠落しても、ハダマールの定理におけるグローバル可逆性の結論は依然として有効である。
• 微分不可能な局所的特異点が存在するにもかかわらず、逆写像は存在し、グローバルに定義され、連続的かつ逆方向でも連続である。
• この定理は同次関数へと拡張可能であり、このクラスに対してグローバル逆関数定理を確立した。
• ヤコビアン行列式はほとんど everywhere で非ゼロのままであり、位相的次数が保たれ、全射性が保証される。
• 関数の像の構造は単連結のままであり、グローバル逆写像の存在を支持する。
• 証明は位相的連続性と経路の持ち上げに依拠しており、局所的特異点がグローバル可逆性を妨げないことを示している。