[논문 리뷰] Rough solutions of the Einstein constraint equations with nonconstant mean curvature

M. Holst, J. Kommemi외 1명|ArXiv.org|2007. 08. 24.

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

한 줄 요약

이 논문은 경계를 가진 컴act 3차원 다양체 위에서 비정상 평균 곡률을 가진 아인슈타인 제약 방정식의 약한 해의 존재성을 일반화된 코른 부등식, 순서가 매겨진 바나흐 공간 내의 장벽 방법, 변분 기법을 사용하여 증명한다. 해는 해밀토니안 제약 방정식에 대해 $L^∞ \cap W^{1,2}$에서 존재함을 보이고, 연립 시스템에서는 정규성도 $p>3$인 $W^{1,p}$로 확장되며, 스칼라 곡률의 부호가 임의일 수 있고 일반적인 물질 소스를 포함한다.

ABSTRACT

We consider the conformal decomposition of Einstein's constraint equations introduced by Lichnerowicz and York, on a compact manifold with boundary. We use order relations on appropriate Banach spaces to derive weak solution generalizations of known sub- and super-solutions (barriers) for the Hamiltonian constraint. The barriers are combined with variational methods to establish existence of solutions to the Hamiltonian constraint in the intersection of the space of essentially bounded functions and the Sobolev space H1. The result is established for scalar curvature R of the background metric having any sign; non-negative R requires additional positivity assumptions either on the matter energy density or on the trace-free divergence-free part of the extrinsic curvature. Although the formulation is different, the result can be viewed as lowering the regularity of the recent result of Maxwell on rough CMC solutions. We also establish existence of non-CMC solutions of the Hamiltonian and momentum constraint equations. The result is obtained using fixed-point iteration and compactness arguments directly, rather than by building a contraction map. The non-CMC result can be viewed as a type of extension of the regularity of the 1996 non-CMC result of Isenberg and Moncrief to lower regularity and to scalar curvature R having any sign.

연구 동기 및 목표

• 경계를 가진 컴 pact 3차원 다각형에서 비정상 평균 곡률을 가진 아인슈타인 제약 방정식의 약한 해의 존재성을 확립하는 것.
• 이전 연구들—특히 맥컬로우의 $W^{k,2}$ ($k>3/2$) 및 이젠버그-몬크리프의 $W^{1,p}$ ($p>3$)—의 정규성 결과를 $L^\infty \cap W^{1,2}$로 확장하여 해밀토니안 제약 방정식에 적용하는 것.
• 경계를 가진 다양체에서 일반화된 코른 부등식을 개발하여, 이는 이전에 문헌에 존재하지 않았던 새로운 기술적 도구이다.
• 모든 부호의 스칼라 곡률과 일반적인 물질 에너지 조건을 다룰 수 있도록 기존의 호모지어니아스 방법 결과를 통합하고 확장하는 것.
• 고정점 반복과 컴actness를 사용하여, 수축 사상 기법을 사용하지 않고 $W^{1,p}$ ($p>3$)에서 3차원 계량 및 $L^q$ ($q=6p/(3+p)$)에서 외재 곡률에 대한 비-정상 평균 곡률 해의 존재성을 증명하는 것.

제안 방법

• 리히너비츠와 요르크의 호모지어니아스 분해 방법을 사용하여 과다 결정된 시스템을 호모지어니아스 인자와 벡터 장에 대한 연립 타원형 시스템으로 환원한다.
• 약한 정규성 조건 하에서 운동량 제약 연산자의 제어를 위해 경계를 가진 다양체에서 일반화된 코른 부등식을 적용한다.
• 순서가 매겨진 바나흐 공간 내의 순서 관계와 장벽 방법을 사용하여 해밀토니안 제약 방정식의 하한 및 상한 해를 구성한다.
• 에너지 최소화와 컴actness 추론을 통해 $W^{1,2}$ 및 $L^\infty$ 공간 내에서 변분 기법을 사용하여 해의 존재성을 증명한다.
• 고정점 반복과 컴actness 추론(수축 사상 기법을 사용하지 않음)을 적용하여 $p>3$인 $W^{1,p}$ 공간 내에서 연립 시스템을 해결한다.
• 순서가 매겨진 바나흐 공간 내의 최대 원리와 단조성에 기반하여 $W^{1,2}$-해에 대한 사전 $L^\infty$ 경계를 확립한다.

실험 결과

연구 질문

• RQ1 스칼라 곡률 $R$가 임의의 부호를 가질 수 있고 데이터에 대한 최소한의 정규성 조건이 성립할 때, $L^\infty \cap W^{1,2}$ 공간 내에서 해밀토니안 제약 방정식의 약한 해를 구성할 수 있는가?
• RQ2 스칼라 곡률이 비음수일 경우, 해의 존재를 보장하기 위해 물질 에너지 밀도 또는 외재 곡률의 비대각 부분에 대한 최소한의 가정은 무엇인가?
• RQ3 약한 정규성 조건 하에서 운동량 제약 분석을 지원하기 위해 경계를 가진 다양체에서 일반화된 코른 부등식을 어떻게 유도할 수 있는가?
• RQ4 비-정상 평균 곡률 해의 정규성은 이전 결과를 초월하여 $p>3$인 $W^{1,p}$까지 얼마나 확장될 수 있는가?
• RQ5 수축 사상 기법에 의존하지 않고 고정점 반복과 컴actness를 사용하여 비-정상 평균 곡률 해의 존재성을 증명할 수 있는가?

주요 결과

• 논문은 장벽 방법과 변분 기법을 사용하여 스칼라 곡률 $R$가 임의의 부호를 가질 수 있는 경우에도 $L^\infty \cap W^{1,2}$ 공간 내에서 해밀토니안 제약 방정식의 해 존재성을 확립한다.
• 비음수 $R$의 경우, 해의 존재를 보장하기 위해 물질 에너지 밀도 또는 외재 곡률의 비대각 부분에 대한 추가적인 양의 조건이 필요하다.
• 경계를 가진 다양체에서 일반화된 코른 부등식이 도출되었으며, 이는 약한 정규성 조건 하에서 운동량 제약 분석을 위한 핵심 기술적 도구가 된다.
• 연립 시스템은 $p>3$일 때 3차원 계량에 대해 $W^{1,p}$, 외재 곡률에 대해 $L^q$($q=6p/(3+p)$)에서 해를 가진다. 이는 고정점 반복과 컴actness를 통해 확보된다.
• 맥컬로우의 최근 연구 결과—비정상 평균 곡률 해의 $W^{k,2}$ ($k>3/2$) 결과를 $L^\infty \cap W^{1,2}$로 확장하였고, 이젠버그-몬크리프의 비-정상 평균 곡률 결과를 $p>3$인 $W^{1,p}$와 임의의 $R$로 확장하였다.
• 이 틀은 강건하며, 약간의 수정으로 고차원 및 다른 기하학적 설정(폐쇄 또는 개방된 다양체 등)으로도 확장 가능하다.