[논문 리뷰] Non-CMC Solutions of the Einstein Constraint Equations on Compact Manifolds with Apparent Horizon Boundaries

Michael Holst, Caleb Meier외 1명|arXiv (Cornell University)|2013. 10. 08.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 7

한 줄 요약

이 논문은 경계를 가진 컴act 리만다이언만드의 아인슈타인 제약방정식에 대한 비상수 평균 곡률(비-정규형, non-CMC) 해의 존재성을 확립한다. 특히 내부 경계에서의 시각적 사건의 경계(로빈형 경계 조건)를 통해 블랙홀 내부를 모델링한다. 샤투르 유형 고정점 이론과 전역 장벽 구축을 통해 근접-정규형 및 멀리 떨어진-정규형 케이스 모두에 대해 해의 존재성을 증명하며, 이는 이전의 정규형 해 결과를 확장하고 수치 일반 상대성 이론 응용을 위한 기초 해이론을 제공한다.

ABSTRACT

In this article we continue our effort to do a systematic development of the solution theory for conformal formulations of the Einstein constraint equations on compact manifolds with boundary. By building in a natural way on our recent work in Holst and Tsogtgerel (2013), and Holst, Nagy, and Tsogtgerel (2008, 2009), and also on the work of Maxwell (2004, 2005, 2009) and Dain (2004), under reasonable assumptions on the data we prove existence of both near- and far-from-constant mean curvature solutions for a class of Robin boundary conditions commonly used in the literature for modeling black holes, with a third existence result for constant mean curvature (CMC) appearing as a special case. Dain and Maxwell addressed initial data engineering for space-times that evolve to contain black holes, determining solutions to the conformal formulation on an asymptotically Euclidean manifold in the CMC setting, with interior boundary conditions representing excised interior black hole regions. Holst and Tsogtgerel compiled the interior boundary results covered by Dain and Maxwell, and then developed general interior conditions to model the apparent horizon boundary conditions of Dain and Maxwell for compact manifolds with boundary, and subsequently proved existence of solutions to the Lichnerowicz equation on compact manifolds with such boundary conditions. This paper picks up where Holst and Tsogtgerel left off, addressing the general non-CMC case for compact manifolds with boundary. As in our previous articles, our focus here is again on low regularity data and on the interaction between different types of boundary conditions. While our work here serves primarily to extend the solution theory for the compact with boundary case, we also develop several technical tools that have potential for use with the asymptotically Euclidean case.

연구 동기 및 목표

• 경계가 있는 컴팩트 다양체에서 정규형 평균 곡률(CMC) 해 이론을 초월하여 비-정규형(CMC) 설정으로 확장함으로써, 아인슈타인 제약방정식의 호모토피 형식 해이론을 확장한다.
• 내부 경계에서의 시각적 사건 경계 조건을 로빈형 경계 조건으로 도입하여 수치 일반 상대성에서 블랙홀 내부를 모델링한다.
• 낮은 정규성 조건 하에서 약한 해에 대한 엄밀한 존재 이론을 개발하여, 비선형 결합 강도를 제한하는 근접-정규형 가정을 피한다.
• 폐쇄 다각형 결과와 점점 유럽형 설정 사이의 격차를 메우기 위해, 컴팩트 및 점점 평탄한 경우에 모두 적용 가능한 도구를 수립한다.

제안 방법

• 제약사상의 위상적 성질과 함수 공간의 불변성에 기반한 샤투르 유형 고정점 추론을 사용한다.
• 피카르 반복 사상의 불변 집합을 확보하기 위해 전역 하한 및 상한 해를 구성함으로써 힘의 제약방정식에 적용한다.
• 메트릭의 동형 변환에 따른 힘 제약방정식의 동형 불변성 프레임워크를 적용하여, 계수의 변환 규칙을 통해 경계 조건을 유지한다.
• 비상수 장벽을 위한 수정된 장벽 구축 기법을 도입하여, 근접-정규형 가정 없이도 임의의 평균 곡률과 자료를 다룰 수 있도록 한다.
• 낮은 정규성 자료에서 잘 정의된 문제를 보장하기 위해 $W^{s,p}$와 같은 트레이스 및 소볼레프 유형 공간($s > n/p$)을 활용한다.
• 메트릭 스케일링 하에서 로빈 경계 조건 시스템의 동형 불변성을 확립하여 물리적 일관성을 유지하는 데 핵심적이다.

실험 결과

연구 질문

• RQ1 경계가 있는 컴팩트 다양체에서 시각적 사건 경계 조건을 갖는 아인슈타인 제약방정식에 대해 비-정규형 해의 존재성을 증명할 수 있는가?
• RQ2 근접-정규형 가정에 의존하지 않고 전역 장벽을 어떻게 구성할 수 있는가? 이는 비선형 결합 강도를 제한한다.
• RQ3 메트릭 스케일링 하에서 힘 제약방정식과 경계 조건의 구조를 유지하는 데 있어 동형 불변성의 역할은 무엇인가?
• RQ4 낮은 정규성 자료는 혼합 경계 조건이 있는 제약방정식의 가역성에 어떤 영향을 미치는가?
• RQ5 컴팩트 다양체에 대해 개발된 해 이론은 점점 유클리드 설정으로 일반화될 수 있는가?

주요 결과

• 논문은 경계가 있는 컴팩트 다양체에서 시각적 사건 경계 조건을 갖는 아인슈타인 제약방정식에 대해 근접-정규형 및 멀리 떨어진-정규형 평균 곡률 자료에 대해 약한 해의 존재성을 증명한다.
• 피카르 사상의 불변성을 보장하기 위해 전역 하한 및 상한 해를 구성함으로써 샤투르 고정점 정리의 적용이 가능해진다.
• 로빈형 경계 조건을 갖는 힘 제약방정식에 대해 동형 불변 결과를 확립하여, 메트릭 스케일링 하에서 시스템이 일관되게 변환됨을 보여준다.
• 비선형 결합 제약 조건을 전역 장벽 구축에 고립시킴으로써 근접-정규형 가정을 피함으로써 더 넓은 적용 가능성을 확보한다.
• 분석 결과, 평균 곡률가 그 기울기로 제한되지 않을 때도 해가 존재함을 확인하여 이전의 정규형 해만을 다룬 결과를 초월한다.
• 트레이스 및 임bedding 결과를 포함한 기술적 도구들은 다각형 다양체에서의 소볼레프 공간 분석을 통해 점점 유클리드 설정으로도 이식 가능함을 입증한다.