[논문 리뷰] On Hadamard's global inverse function theorem (On global inversion of homogeneous maps)

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

Mathematics and Applications참고 문헌 3인용 수 7

한 줄 요약

이 논문은 ℝⁿ 위의 양의 동차 매핑에 대한 전역 역함수 정리 수립하며, 비영인 자코비안과 연속성 조건 하에 이러한 매핑이 ℝⁿ∖{0}에서 전역적으로 역가능하고, 그 역함수는 헬더 연속임을 증명한다. 핵심 결과는 원점에서 특이점을 가진 경우에도 하담르드의 전역 역함수 정리를 확장하여, κ > 0 인 동차 매핑은 원점 외부에서 전역적으로 Cᵏ- diffeomorphism이며, 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}에서 비영인 자코비안을 가진 동차 매핑이 전역적으로 역가능하고, 그 역함수 역시 동차임을 증명.
• 초구형 편미분방정식 및 푸리에 적분 연산자의 전역 분석에 응용을 위한 기초 제공.
• 전역 역함수가 ℝⁿ∖{0}에서 연속적이고 Cᵏ-스무스이며, f(0) = 0 이면 ℝⁿ 전체에서 전역적 호메오모르피즘으로 연장됨을 보여줌.

제안 방법

• 고립된 특이점을 가진 매핑에 하담르도의 전역 역함수 정리를 위상적 도구를 사용해 적응.
• 단순연결 다양체에서 비영인 자코비안을 가진 C¹-매핑이 미분동형임을 보여주는 정리 2.1을 n ≥ 3 인 ℝⁿ∖{0}에 적용.
• f의 적절성(즉, |y| → ∞ 이면 |f(y)| → ∞)을 이용해 컴actness 추론을 통해 전사성과 단사성을 확보.
• f: ℝⁿ∖{0} → ℝⁿ∖{0} 의 제약이 적절성과 비영인 자코비안을 확인함으로써 Cᵏ-미분동형임을 증명.
• f의 스케일링 성질을 이용해 역함수 f⁻¹ 이 순수 양의 동차성의 차수 1/κ 를 가짐을 확립.
• ℝⁿ∖{0}에서의 컴팩트성은 ℝⁿ에서의 컴팩트성과 동치임을 이용해 공간 간의 적절성 전환 가능.

실험 결과

연구 질문

• RQ1 양의 동차 매핑 f: ℝⁿ∖{0} → ℝⁿ 이 언제 전역적으로 역가능한가?
• RQ2 하담르도의 전역 역함수 정리는 원점에서 특이성을 가진 매핑으로 확장 가능한가?
• RQ3 어떤 위상적 및 분석적 조건이 비영인 자코비안을 가진 동차 매핑이 전역 Cᵏ-미분동형임을 보장하는가?
• RQ4 동차 매핑의 전역 역가능성은 조화적 적분의 전역 L² 유계성과 어떻게 관련되는가?
• RQ5 왜 n = 2 에서 전역 역가능성이 실패하며, 그 경우 어떤 위상적 장애물이 발생하는가?

주요 결과

• n ≥ 3 인 경우, ℝⁿ∖{0} → ℝⁿ 으로의 Cᵏ-동차 매핑 f 가 비영인 자코비안을 가질 때, ℝⁿ∖{0} 에서 ℝⁿ∖{0} 으로 전역적으로 단사·전사이다.
• 전역 역함수 f⁻¹ 은 ℝⁿ∖{0} 에서 Cᵏ-스무스이며, 차수 1/κ 의 양의 동차성을 가진다.
• f 를 f(0) = 0 으로 확장하면 ℝⁿ 전체에서 전역적 호메오모르피즘이 된다.
• n = 2 에서는 위상적 장애로 인해 결과가 실패하며, f(x,y) = (x²−y², 2xy) 의 반례로 비영인 자코비안 조건을 만족하지만 단사성이 성립하지 않음이 입증됨.
• f 의 적절성 (|y|→∞ ⇒ |f(y)|→∞) 과 ℝⁿ∖{0} 에서의 비영인 자코비안 조합이 전역 역가능성을 보장함.
• f 의 ℝⁿ∖{0} 에 대한 제약은 적절한 매핑이며, n ≥ 3 인 ℝⁿ∖{0} 의 단순연결성은 커버링 공간 이론을 통해 단사성을 보장함.