[논문 리뷰] Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon Nikodym property

Jeff Cheeger, Bruce Kleiner|ArXiv.org|2008. 08. 24.

Advanced Differential Geometry Research참고 문헌 7인용 수 10

한 줄 요약

이 논문은 PI 공간(완비, 두 배로 증가하는 거리측도공간이며 Poincaré 부등식을 만족하는 공간)에서 RNP(Radon-Nikodym Property)를 가진 바나흐 공간으로의 리프시츠 함수들의 거의 everywhere에서의 미분 가능성에 대해 확립한다. 유한차원 바나흐 공간들의 역극한과 점점 가까워지는 노름 성질(ANP)을 이용하여, 이 틀 안에서 약한 도함수는 강한 미분 가능성으로 이어짐을 보이며, 이는 체허의 이전 결과(실수값 함수에 대한 미분 가능성 이론)를 바나흐 공간의 값들을 가진 함수로 일반화한다.

ABSTRACT

We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincaré inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vectors to suitable rectifiable curves.

연구 동기 및 목표

• PI 공간 위의 실수값 함수에 대한 체허의 미분 이론을 RNP를 가진 바나흐 공간의 값들을 가진 함수로 확장하는 것.
• 거리측도공간에서 정렬 가능한 곡선을 沿해 방향 도함수를 통해 미분 가능성의 특성화를 도출하는 것.
• 역극한 공간에서의 점점 가까워지는 노름 성질(ANP)이 약한 도함수가 강한 미분 가능성으로 이어짐을 보장하는 것.
• RNP 타깃으로의 비-리프시츠 임bedding이 PI 공간의 접선 기하학에 강력한 기하학적 제약 조건을 부과하는지 증명하는 것.

제안 방법

• 분리 가능 바나흐 공간들을 유한차원 바나흐 공간들의 역극한의 부분공간으로 표현하는 것.
• PI 공간 위의 실수값 함수의 미분 가능성에 기반하여, $ f: X \to V $의 약한 도함수를 역극한 $ \varprojlim W_i $ 값으로 정의하는 것.
• 점점 가까워지는 노름 성질(ANP)을 사용하여, 차분 몫의 약한 수렴이 $ V $ 내에서 강한 수렴으로 이어짐을 보장함으로써, 미분 가능성의 보장.
• 에고로프의 정리와 루신의 정리를 적용하여 측도 수렴을 다루고, 근사가 균일하게 이루어지는 전체 측도의 집합을 구성하는 것.
• 방향 도함수를 통해 최소 상한 기울기(minimal upper gradient)를 특성화하고, 이를 국소적 상한 리프시츠 상수 $ \hat{g}_f $ 와 연결하는 것.
• 차트 $ (U_\alpha, y^\alpha) $ 로 정의된 접선(bundle) $ TX $ 가 비-리프시츠 불변 구조를 가짐을 증명하는 것.

실험 결과

연구 질문

• RQ1 PI 공간 위의 실수값 리프시츠 함수에 대한 미분 이론이 RNP를 가진 바나흐 공간의 값들을 가진 함수로 확장될 수 있는가?
• RQ2 점점 가까워지는 노름 성질(ANP)은 약한 도함수가 강한 미분 가능성으로 이어지는 데 어떤 역할을 하는가?
• RQ3 정렬 가능한 곡선을 따라 방향 도함수는 거리측도공간에서의 미분 가능성의 특성화에 어떻게 기여하는가?
• RQ4 RNP 공간으로의 비-리프시츠 임bedding은 PI 공간의 접선 콧뿔에 어떤 기하학적 제약 조건을 부과하는가?
• RQ5 역극한 프레임워크는 일반적인 RNP 바나흐 공간으로의 리프시츠 함수의 미분 가능성의 핵심을 포괄하는 데에 충분한가?

주요 결과

• 모든 리프시츠 함수 $ f: X \to V $ 에 대해, $ X $ 가 PI 공간이고 $ V $ 가 RNP를 가진다면, $ \mu $-거의 everywhere에서 미분 가능하다.
• 미분 가능성은 정렬 가능한 곡선을 따라 방향 도함수로 특성화되며, 최소 상한 기울기 $ g_f $ 는 $ \mu $-거의 everywhere에서 국소적 상한 리프시츠 상수 $ \hat{g}_f $ 와 같다.
• 약한 도함수의 값이 역극한 $ \varprojlim W_i $ 에 속할 때, 이 값이 부분공간 $ V \subset \varprojlim W_i $ 에 속하는 것은 $ f $ 가 $ \mu $-거의 everywhere에서 미분 가능할 때이고, 그 때에만 성립한다.
• ANP는 차분 몫의 약한 수렴 $ \Delta_\epsilon f(\underline{x}) $ 가 $ \{D_{\underline{x}}f_i\} $ 로 수렴할 때, 이 수렴이 $ V $ 내에서 강한 수렴으로 이어짐을 보장하므로, 이는 미분 가능성의 보장이다.
• 만약 $ X $ 가 RNP를 가진 바나흐 공간으로 비-리프시츠 임bedding이 가능하다면, $ \mu $-거의 everywhere에서 점 $ x \in X $ 에서의 접선 콧뿔은 유클리드 공간과 비-리프시츠 호환된다.
• 함수 $ h_{(a_1,\dots,a_{k(\alpha)})} $ 의 근사 연속성(정의: 선형 조합 $ y^\alpha_m $ 의 차트 함수의 최소 상한 기울기)이 전체 측도의 Borel 집합 $ Z \subset X $ 에서 성립할 때, $ f $ 의 미분 가능성과 동치이다.