[논문 리뷰] An implicit function theorem for Lipschitz mappings into metric spaces

Piotr Hajłasz, Scott Zimmerman|arXiv (Cornell University)|2018. 09. 18.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유클리드 공간에서 임의의 거리공간으로의 리프시츠 함수에 대한 거리공간 기반의 암시함수정리(implicit function theorem)를 수립한다. 고전적인 랭크 조건은 하우스도르프 콘텐츠의 당김에 대한 양의 상한 n-밀도로 대체된다. 주요 결과는 이러한 조건 하에서 국소적으로 함수가 이중 리프시츠 변수변환과 리프시츠 몫사상에 의한 R^n로의 사영으로 동치가 된다는 것이다. 이는 고전적 IFT를 거리공간의 대상으로 일반화한다.

ABSTRACT

We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A o X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive upper $n$-density on a set of positive Lebesgue measure, then, there is a local diffeomorphism $G$ in $\mathbb{R}^{n+m}$ and a Lipschitz map $π:X o \mathbb{R}^n$ such that $π\circ f\circ G^{-1}$, when restricted to a certain subset of $A$ of positive measure, is a the orthogonal projection of $\mathbb{R}^{n+m}$ onto the first $n$-coordinates. This may be seen as a qualitative version of a similar result of Azzam and Schul. The main tool in our proof is the metric change of variables introduced in a paper of Hajlasz and Malekzadeh.

연구 동기 및 목표

• 고전적 암시함수정리를 임의의 거리공간으로의 사상으로 확장함에 있어, 도함수 랭크 조건을 기하학적 밀도 조건으로 대체하는 것.
• 측도가 양수인 집합에서 $ \mathcal{H}_\infty^n $의 당김이 양의 상한 n-밀도를 가질 때, 리프시츠 사상 $ f: \mathbb{R}^{n+m} \to X $의 구조적 특성화를 수립하는 것.
• 이러한 사상이 국소적으로 이중 리프시츠 미분형과 $ \mathbb{R}^n $로의 리프시츠 사영으로 인수분해됨을 보여주며, 섬유 구조와 국소 리프시츠 행동을 유지하는 것.
• 측도가 양수인 집합에서 $ \Theta^{*n}(f,x) > 0 $ 조건이 $ \mathcal{H}^n(f(A)) > 0 $ 보다 엄격히 강력하며, 전역적 이중 리프시츠 구조를 확보하기 위해 후자를 대체할 수 없다는 것을 보여주는 것.

제안 방법

• 주요 도구는 이전 연구에서 개발된 거리공간 기반의 변수변환 기법으로, 리프시츠 사상에 의한 하우스도르프 콘텐츠의 행동을 분석하는 데 적응된 것이다.
• 증명은 상한 n-밀도 $ \Theta^{*n}(f,x) $에 기반하며, 이는 $ \mathcal{H}_\infty^n(f(B(x,r)\cap A)) / (\omega_n r^n) $ 의 상한극한으로 정의되며, 일반화된 자코비안으로 작용한다.
• 핵심 단계는 $ \Theta^{*n}(f,x) > 0 $ 이면 작은 구 안에서 양의 n차원 콘텐츠가 존재함을 의미하며, 이는 측도가 양수인 집합 $ K \subset A $ 에서 이중 리프시츠 미분형 $ G $ 의 구성에 유리하다는 것이다.
• 구성은 $ \pi \circ f \circ G^{-1} $ 가 $ G(K) $ 에서 첫 n개 좌표로의 수직 사영으로 작용하도록 보장한다. 여기서 $ \pi: X \to \mathbb{R}^n $ 은 $ \sqrt{n} $-리프시츠이다.
• 증명은 정량적 하한 경계를 확립한다: $ \|x_1 - x_2\|_\infty \leq d(F(x_1,y), F(x_2,y)) $ for $ F = f \circ G^{-1} $, 이는 섬유상에서 단사성을 보장한다.
• 반례를 구성하여 $ \Theta^{*n}(f,x) > 0 $ 조건을 $ \mathcal{H}^n(f(A)) > 0 $ 로 약화시킬 수 없음을 보이며, 이러한 경우 전역적 이중 리프시츠 인수분해가 실패함을 보여준다.

실험 결과

연구 질문

• RQ1 고전적 암시함수정리는 임의의 거리공간으로의 사상으로 일반화될 수 있는가?
• RQ2 리프시츠 사상 $ f: \mathbb{R}^{n+m} \to X $ 에 대해 어떤 기하학적 조건이 국소적으로 $ \mathbb{R}^n $ 으로의 사영을 통해 이중 리프시츠 변수변환을 통한 인수분해를 보장하는가?
• RQ3 미분 가능성이 없는 상황에서 상한 n-밀도 $ \Theta^{*n}(f,x) $ 는 자코비안 행렬식의 대체로 어떻게 작용하는가?
• RQ4 측도가 양수인 집합에서 $ \Theta^{*n}(f,x) > 0 $ 조건이 국소적 이중 리프시츠 섬유의 구조와 사영 행동을 보장하는 데 충분한가?
• RQ5 $ \Theta^{*n}(f,x) > 0 $ 조건은 $ \mathcal{H}^n(f(A)) > 0 $ 로 약화시킬 수 있는가? 전역적 이중 리프시츠 인수분해 능력을 잃지 않도록 할 수 있는가?

주요 결과

• 측도가 양수인 르베그 측도 집합에서 $ \Theta^{*n}(f,x) > 0 $ 이면 $ \mathcal{H}^n(f(A)) > 0 $ 이며, 이는 이미지가 양의 n차원 콘텐츠를 가짐을 보장한다.
• 측도가 양수인 집합 $ K \subset A $, 이중 리프시츠 $ C^1 $-미분형 $ G $, 그리고 $ \sqrt{n} $-리프시츠 사상 $ \pi: X \to \mathbb{R}^n $ 이 존재하여 $ \pi \circ f \circ G^{-1} $ 가 $ G(K) $ 에서 첫 n개 좌표로의 수직 사영으로 작용한다.
• 임의의 점에 대한 $ f \circ G^{-1} $ 의 역상은 섬유 $ \{x\} \times \mathbb{R}^m $ 에 포함되며, 사영의 섬유 구조를 유지한다.
• $ f \circ G^{-1} $ 의 제한은 임의의 $ \mathbb{R}^n \times \{y\} $ 에서 이중 리프시츠이며, 정량적 하한 경계 $ \|x_1 - x_2\|_\infty \leq d(F(x_1,y), F(x_2,y)) $ 를 만족한다.
• $ \Theta^{*n}(f,x) > 0 $ 조건은 $ \mathcal{H}^n(f(A)) > 0 $ 보다 엄격히 강력하다. 반례는 후자가 전역적 이중 리프시츠 인수분해를 보장하지 못함을 보여준다.
• $ \mathcal{H}^n $-거의 모든 $ x \in X $ 에 대해, 역상 $ f^{-1}(x) $ 는 가산적으로 $ \mathcal{H}^m $-직선형이다. 이는 주요 정리의 결과이다.