[논문 리뷰] Aubry-Mather theory and Lipschitz continuity of the time separation

Stefan Suhr|arXiv (Cornell University)|2011. 04. 19.

Cosmology and Gravitation Theories참고 문헌 10인용 수 5

한 줄 요약

이 논문은 유계성 조건을 만족하는 스플라인 구조를 가진 루체르시안 기하학에서 아브리-마서 이론을 발전시킨다. 구체적으로, 컴acts한, 비질성(vice)인 시공간이며, 전역적으로 하이퍼볼릭인 아벨 커버를 갖는 시공간들인 A₁ 클래스를 도입한다. 이들 시공간은 일관된 가족을 형성하는 시간적 루프를 갖는다. 이에 따라 최소 $∕𝔵 H_1(M,\mathbb{R})$개의 기하학적으로 다른 시간적 최대화자들이 존재함을 증명하고, 수정된 안정된 시간 원뿔 $∕𝔵_ε \setminus B_K(0)$ 위에서 아벨 커버 위의 시간 간격 함수의 리프시츠 연속성을 입증함으로써, 비콤팩트 루체르시안 설정에서 부스만 함수와 지오데식 흐름 분석의 핵심 장애 요소를 해결한다.

ABSTRACT

We consider Aubry-Mather theory for a subclass of class A spacetimes, i.e. compact vicious spacetimes with globally hyperbolic Abelian cover. In this subclass, called class A_1, we obtain improved results on timelike maximizers and Lipschitz continuity of the time separation of the Abelian cover on the i.g. optimal subsets.

연구 동기 및 목표

• A₁ 클래스 시공간으로 아브리-마서 이론을 확장함으로써, 일관된 비질성 조건이 시간적 최대화자들에 대한 더 강력한 통제를 가능하게 하도록 하는 것.
• 시간적 최대화자들의 비균일한 접선 행동 문제를 해결하기 위해, 일관된 가족 조건을 도입함으로써 시간 간격이 0인 병리적인 극한 측도를 배제하는 것.
• 아벨 커버 위에서 시간 간격 함수의 리프시츠 연속성을 증명함으로써, 전역적으로 하이퍼볼릭인 시공간에서 부스만 함수와 지오데식 흐름 분석을 위한 핵심 단계를 확보하는 것.
• A₁ 클래스 시공간에서 $∕𝔵 H_1(M,\mathbb{R})$개의 기하학적으로 다른 시간적 최대화자들이 존재하는 기하학적 기반을 구축함으로써, 이전의 A 클래스 시공간 결과를 향상시키는 것.

제안 방법

• 지속적인 시간 루프의 가족과 적절한 기저점 평가를 통한 일관된 비질성 개념을 도입하여, 일관되게 유계된 시간적 최대화자들이 존재하도록 보장하는 것.
• 일관된 가족 조건을 사용하여 시간 간격이 0인 극한 측도($\mathfrak{L}(\mu_0) = 0$)를 배제하면서도 시간 간격이 양수인 측도($\mathfrak{L}(\mu_1) > 0$)는 유지함으로써, $∕𝔵 H_1(M,\mathbb{R})$개의 기하학적으로 다른 최대화자들을 구성할 수 있도록 하는 것.
• 공리 3.4의 방법을 적용하여 공사슬의 탄젠트를 제어하고, 시간 간격의 리프시츠 연속성에 필요한 '시간적 공사슬 조건'을 검증하는 것.
• 시간 간격이 리프시츠 연속이 되는 도메인으로 최적의 부분집합 $∕𝔵_ε \setminus B_K(0)$을 정의하며, $∕𝔵_ε$는 안정된 시간 원뿔의 경계에서 $ε$만큼 떨어져 있고, $B_K(0)$는 영점 주변의 이웃을 제거하여 특이성을 피하는 것.
• 가우스 보조정리와 볼록 정규근방을 활용하여 인과 곡선이 인과성을 유지하면서 조각별로 미분 가능한 향후 방향 곡선으로 호모토피화될 수 있음을 보이는 것.
• 정규근방 내에서 지오데식의 수렴성을 이용하여, 향후 방향 지오데식의 극한이 여전히 향후 방향임을 증명함으로써, 시간적 성질이 극한에서 안정됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 A 클래스 시공간에서 일관된 시간적 루프 가족이 존재할 경우, $∕𝔵 H_1(M,\mathbb{R})$개의 기하학적으로 다른 시간적 최대화자가 존재함을 보장할 수 있는가?
• RQ2 A₁ 클래스 시공간의 아벨 커버에서 시간 간격 함수가 수정된 안정된 시간 원뿔 $∕𝔵_ε \setminus B_K(0)$ 위에서 리프시츠 연속임을 입증할 수 있는가?
• RQ3 시간 간격이 0인 극한 측도를 갖는 시간적 최대화자가 존재하지 않도록 방지하는 조건은 무엇인가? 이는 전반적인 회전 클래스 기저의 구성에 장애를 초래할 수 있다.
• RQ4 일관된 비질성 조건은 지오데식 흐름의 병리적 행동(예: 접선이 빛원뿔에 수렴하거나 지지부가 비균일하게 유계되지 않는 것)을 어떻게 제거하는가?
• RQ5 시간 간격의 리프시츠 연속성이 $∕𝔵_ε \setminus B_K(0)$ 위에서 발생하는 것이, 등각 평탄성 또는 2차원 예제를 초월해 얼마나 일반화될 수 있는가?

주요 결과

• 논문은 임의의 A₁ 클래스 시공간에 대해 최소 $∕𝔵 H_1(M,\mathbb{R})$개의 최대 에르고딕 측도 $\mu_k$가 존재함을 증명한다. 이 측도들의 회전 클래스는 $H_1(M,\mathbb{R})$의 기저를 형성하며, 그 지지부는 빛원뿔으로부터 $\varepsilon > 0$만큼 일관되게 떨어져 있다.
• 아벨 커버 위에서 시간 간격 함수 $d(x,y)$는 집합 $\{(x,y) \in \overline{M} \times \overline{M} \mid y - x \in \mathfrak{T}_\varepsilon \setminus B_{K(\varepsilon)}(0)\}$ 위에서 $L(\varepsilon)$-리프시츠 연속이며, 모든 $\varepsilon > 0$에 대해 $L(\varepsilon)$와 $K(\varepsilon)$는 유한하다.
• 최적의 도메인 $∕𝔵_ε \setminus B_K(0)$은 리프시츠 연속성에 필수적이고 충분하며, 루체르시안 헤들룬드 모델의 반례를 통해 $B_K(0)$를 제거하지 않으면 도함수의 폭발이 발생함을 보여준다.
• 일관된 비질성 조건은 안정된 시간 원뿔 $\mathfrak{T}^\circ$ 내부에 있는 회전 클래스를 갖는 최대 불변 측도가 시간 간격이 0인 극한 측도를 가질 수 없음을 보장함으로써, 전반적인 기저 구성의 장애를 배제한다.
• 리프시츠 연속성의 증명은 공리 3.4에서 탄젠트 벡터를 제어함으로써 '시간적 공사슬 조건'을 검증하는 데 의존하며, 이는 [4]와 [2]의 기법을 루체르시안 설정에 적응한 것이다.
• 논문은 루체르시안 다양체 내의 임의의 인과 곡선이 인과성을 유지하면서 조각별로 미분 가능한 향후 방향 곡선으로 호모토피화될 수 있음을 증명하며, 이러한 곡선의 극한 역시 여전히 향후 방향임을 보장함으로써 시간적 구조의 안정성을 확보한다.