[논문 리뷰] An example of a differentiability space which is PI-unrectifiable

Andrea Schioppa|arXiv (Cornell University)|2016. 11. 05.

Advanced Banach Space Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 Poincaré 부등식(Poincaré inequality, PI) 공간의 양측도를 갖는 부분집합으로 분해될 수 없는 Lipschitz 미분 가능 공간을 구축한다. 이 공간은 거의 모든 점에서 분리된 탄성(tangent)을 가지며, 이러한 성질에도 불구하고 실수 및 힐버트 공간으로 값이 정의된 Lipschitz 함수는 거의 어디서나 미분 가능하다. 이는 국소적으로 미분 가능성을 보장하기 위해 Poincaré 부등식이 필수적이지 않음을 시사한다.

ABSTRACT

We construct a (Lipschitz) differentiability space which has at generic points a disconnected tangent and thus does not contain positive measure subsets isometric to positive measure subsets of spaces admitting a Poincaré inequality. We also prove that $l^2$-valued Lipschitz maps are differentiable a.e., but there are also Lipschitz maps taking values in some other Banach spaces having the Radon-Nikodym property which fail to be differentiable on sets of positive measure.

연구 동기 및 목표

• 모든 미분 가능 공간이 PI-해석 가능(즉, Poincaré 부등식 공간의 양측도를 갖는 가산 부분집합들의 합집합으로 분해 가능한가)이라는 추측을 반증하기 위해.
• Lipschitz 함수가 $l^2$로 값이 정의된 경우에도, 어떤 부분집합이 PI-공간과 등距(isometric)일 수 없는 메트릭 측도 공간을 구성하기 위해.
• 거의 모든 점에서 탄성 공간이 분리되어 있음에도 불구하고, PI-해석 불가능성이 발생하는 이유를 설명하기 위해. PI-공간은 알려진 바로, 준연결(quasi-convex)이므로 연결되어 있기 때문이다.
• Rademacher 유형의 $l^2$-값 함수의 미분 가능성은 PI-해석 가능성으로 이어지지 않음을 보여주어, 메트릭 측도 공간에서의 1차 미분학에서 Poincaré 부등식이 필수적이지 않다는 것을 도전한다.

제안 방법

• 공간 $X_{∞}$ 는 각각 3차원 세포를 두 배로 늘여 다이아몬드 형태의 육각형을 만드는 방식으로 구성된 메트릭 측도 공간의 수열의 역극한(inverse limit)으로 구성된다.
• 경로 메트릭을 수정함으로써, 각 두 배로 늘인 세포의 중심을 '압축'함으로써, 거의 모든 점에서 탄성 공간의 위상적 연결성을 파괴한다.
• 다양한 함수적 접근을 사용하여 미분 가능성을 증명한다: 임의의 $l^2$-값 Lipschitz 함수는 PDE 기반의 붕괴 주장에 의해, 환경 거리보다도 중심 사이의 거리를 더 빨리 수축시켜야 한다는 것을 보여준다.
• 증명은 가중치를 적용한 대칭화 기법과 조화함수 에너지 추정치(보조정리 5.1)에 기반하며, 이는 고리 영역에서 기울기의 $L^2$-노름을 아래로부터 유계로 제한한다.
• '나쁜 큐브'(bad cube) 조건을 정의하여, 함수가 출구를 충분히 수축시키지 못하는 큐브를 식별한다. 이러한 큐브의 측도는 함수의 리프시츠 상수에만 의존하는 보편 상수에 의해 제어된다.
• 경로 연결성이 없기 때문에 중간값 정리의 수정된 형태를 사용하여, 거의 모든 점에서 함수의 진동과 기울기 사이의 상대적 진동이 척도에서 사라짐을 보여, 미분 가능성을 확립한다.

실험 결과

연구 질문

• RQ1 메트릭 측도 공간에서 실수 및 힐버트 공간으로 값이 정의된 Lipschitz 함수의 거의 어디서나의 미분 가능성에 대해 Poincaré 부등식이 필수적인가?
• RQ2 PI-해석 불가능한, 즉 어떤 양측도 부분집합도 PI-공간과 등거리일 수 없는 다른 미분 가능 공간이 존재할 수 있는가?
• RQ3 예를 들어 탄성의 연결성과 같은 구조적 성질은 Rademacher 유형의 미분 가능성 정리를 지원하기 위해 필수적인가?
• RQ4 현재 구성에서 분석 차원이 3이지만, 이 차원을 1 이하로 낮출 수 있는가?
• RQ5 일부 바나흐 공간으로 값이 정의된 함수가 거의 어디서나 미분 가능하지 않은 공간에서, $l^1$ 및 $l^2$-값 함수의 미분 가능성 간의 관계는 어떠한가?

주요 결과

• 구성된 공간 $(X_{∞}, \mu_{∞})$ 는 모든 $l^2$-값 Lipschitz 함수가 $\mu_{∞}$-거의 어디서나 미분 가능한 미분 가능 공간이다.
• 이 공간은 $\mu_{∞}$-거의 모든 점에서 탄성 공간이 위상적으로 분리되어 있기 때문에 PI-해석 불가능하다. PI-공간은 알려진 바로, 준연결이므로 연결되어 있다.
• $l^2$-값 함수의 미분 가능성은 조화함수 에너지 추정에 기반한 붕괴 주장에 의해 확립되며, 이는 함수가 환경 거리보다 중심 사이의 거리를 더 빨리 수축시켜야 한다는 것을 보여준다.
• '나쁜 큐브'—함수가 출구를 충분히 수축시키지 못하는 큐브—의 측도는 함수의 리프시츠 상수에 따라 유계이며, $\varepsilon$에 독립적이다.
• 이 공간의 분석 차원은 3이며, 이는 1로 낮출 수 있을 것으로 추측되지만 현재 구성에서는 아소아드-나가타 차원이 3이다.
• 결과적으로 리프시츠-립 불등식(Lip-lip inequality)이 성립하더라도 PI-해석 가능성은 보장되지 않음을 보여주며, 이는 모든 미분 가능 공간이 PI-해석 가능하다는 추측을 반증한다.