[논문 리뷰] On the relationship between derivations and measurable differentiable structures on metric measure spaces

Andrea Schioppa|arXiv (Cornell University)|2012. 05. 15.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 3

한 줄 요약

이 논문은 이중성 거리측도공간 위에서의 도함수와 측도 가능 미분구조 사이의 기초적인 연결고리를 설정한다. 도함수 모듈러스를 유한한 랭크의 자유 모듈러스로 분해하는 정리, 도함수가 국소적으로 상한 리프시츠 상수를 제어할 경우 최대 N 차원의 측도 가능 미분구조가 존재함을 보이며, Keith의 결과를 확장하여 차트 함수를 리프시츠 대수의 주어진 생성집합에서 선택할 수 있음을 보인다.

ABSTRACT

We investigate the relationship between measurable differentiable structures on doubling metric measure spaces and derivations. We prove: [1] a decomposition theorem for the module of derivations into free modules; [2] the existence of a measurable differentiable structure assuming that one can control the pointwise upper Lipschitz constant of a function through derivations; [3] an extension of a result of Keith about the choice of chart functions.

연구 동기 및 목표

• 이중성 거리측도공간 위에서 도함수 모듈러스의 대수적 구조를 명확히 하기 위해.
• 도함수가 국소적으로 상한 리프시츠 상수를 제어할 경우 측도 가능 미분구조가 존재하는 조건을 설정하기 위해.
• Keith의 결과를 확장하여 차트 함수를 주어진 리프시츠 대수의 유한한 생성집합에서 선택할 수 있음을 보이고자.
• 비미분가능한 거리측도공간 내에서 도함수와 측도 가능 미분구조의 개념을 통합하고자.

제안 방법

• 공간의 측도 가능 분할을 사용하여 도함수 모듈러스를 랭크가 유한한 자유 모듈러스로 분해한다.
• 함수의 국소 리프시츠 상수에 의해 도함수 작용의 크기를 제어하는 국소화된 도함수 부등식을 도입한다.
• 약한* 위상과 순차 연속성을 적용하여 도함수를 리프시츠 대수 위의 약한* 연속 선형 함수로 특성화한다.
• 리프시츠 대수에 대한 스톤-바이어스트라스 정리를 활용하여 균일 분리 조건 하에서 밀도 결과를 증명한다.
• 파운카레 부등식과 이중성 조건을 활용하여 구조의 유한 차원성과 정규성을 보장한다.
• 소볼레프 공간 기법과 L^∞-모듈러스 이론을 적용하여 도함수의 행동과 리프시츠 함수와의 상호작용을 분석한다.

실험 결과

연구 질문

• RQ1 이중성 거리측도공간 위에서 도함수 모듈러스가 랭크가 유한한 자유 모듈러스로 분해될 수 있는 조건은 무엇인가?
• RQ2 모든 리프시츠 함수의 국소적으로 상한 리프시츠 상수를 도함수가 제어할 경우 측도 가능 미분구조의 존재가 보장될 수 있는가?
• RQ3 측도 가능 미분구조의 차트 함수는 주어진 리프시츠 대수의 유한한 생성집합에서 선택할 수 있는가?
• RQ4 도함수는 거리측도공간 내에서 측도 가능 코탄젠트 번들의 구조와 소볼레프 공간과 어떻게 관련이 있는가?
• RQ5 약한* 연속성은 리프시츠 대수 위에서 도함수를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 지수가 국소적으로 N 이하로 유 bounds된 이중성 거리측도공간 위에서 도함수 모듈러스는 최대 N+1개의 측도 가능 집합으로 분할 가능하며, 각 집합에서 도함수 모듈러스는 랭크가 유한한 자유 모듈러스이다.
• N개의 도함수 D_j와 정수의 L^∞ 함수 λ가 존재하여 거의 모든 점에서 |D_j f|의 최댓값이 f의 국소적으로 상한 리프시츠 상수를 λ 배로 지배한다면, 해당 공간은 최대 차원 N의 측도 가능 미분구조를 가진다.
• 측도 가능 미분구조의 차트 함수는 리프시츠 대수의 주어진 유한한 생성집합에서 선택할 수 있으며, 이때 편미분들이 도함수여야 한다.
• 도함수 모듈러스의 구조는 약한* 위상과 호환되며, 분리 가능 조건 하에서 도함수의 약한* 연속성은 순차 연속성과 동치이다.
• 국소화된 도함수 부등식 (3.20)는 도함수가 리프시츠 함수에 작용할 때 그 작용이 국소 리프시츠 상수에 의해 점별로 제어됨을 보장한다.
• 리프시츠 대수에 대한 스톤-바이어스트라스 정리는, 점들을 균일하게 분리하는 임의의 약한* 닫힌 부분대수는 반드시 전체 리프시츠 대수임을 의미한다.