[논문 리뷰] Non-uniqueness of Solutions to the Conformal Formulation

Michael Holst, Caleb Meier|arXiv (Cornell University)|2012. 10. 08.

Advanced Mathematical Modeling in Engineering참고 문헌 17인용 수 15

한 줄 요약

이 논문은 비틀림 형식의 아인슈타인 제약방정식의 해의 비유일성에 대해, 폐쇄된 3차원 다양체에서 정상적인 스칼라 곡률과 일정한 평균 곡률 조건 하에서 분기 이론과 리아푸노프-슈미트 축소를 이용하여 입증한다. 선형화된 시스템이 일차원 핵을 갖는 임계 에너지 밀도에서의 해의 존재성을 명시적인 해 곡선 분석을 통해 증명한다.

ABSTRACT

It is well-known that solutions to the conformal formulation of the Einstein constraint equations are unique in the cases of constant mean curvature (CMC) and near constant mean curvature (near-CMC). However, the new far-from-constant mean curvature (far-from-CMC) existence results due to Holst, Nagy, and Tsogtgerel in 2008, to Maxwell in 2009, and to Dahl, Gicquaud and Humbert in 2010, are based on degree theory rather than on the (uniqueness-providing) contraction arguments that had been used for all non-CMC existence results prior to 2008. In fact, Maxwell demonstrated in 2011 that solutions are non-unique in the far-from-CMC case for certain types of low-regularity mean curvature. In this article, we investigate uniqueness properties of solutions to the Einstein constraint equations on closed manifolds using tools from bifurcation theory. For positive, constant scalar curvature and constant mean curvature, we first demonstrate existence of a critical energy density for the Hamiltonian constraint with unscaled matter sources. We then show that for this choice of energy density, the linearization of the elliptic system develops a one-dimensional kernel in both the CMC and non-CMC (near and far) cases. Using Liapunov-Schmidt reduction and standard tools from nonlinear analysis, we demonstrate that solutions to the conformal formulation with unscaled data are non-unique by determining an explicit solution curve, and by analyzing its behavior in the neighborhood of a particular solution.

연구 동기 및 목표

• 원거리 일정 평균 곡률(원거리-정상 평균 곡률, far-from-CMC) 영역에서 아인슈타인 제약방정식의 해의 유일성 성질을 조사한다.
• 평균 곡률이 일정하거나 근접할 때, conformal 형식의 해가 비유일성이 되는 조건을 규명한다.
• 선형화된 시스템이 일차원 핵을 갖는 임계 에너지 밀도의 존재를 확립하며, 이는 잠재적 분기 현상의 신호가 된다.
• 리아푸노프-슈미트 축소와 비선형 분석 도구를 적용하여 CMC 및 비CMC 경우 모두에서 비유일성을 엄밀히 입증한다.

제안 방법

• 비선형 해의 구조를 임계 매개변수 값 근처에서 분석하기 위해 분기 이론과 리아푸노프-슈미트 축소를 활용한다.
• 선형화된 타원형 시스템이 일차원 핵을 갖는 임계 에너지 밀도 $\rho_c$ 를 식별한다.
• 프레드홀름 이론과 타원형 정규성 이론을 적용하여 선형 연산자가 인덱스 0인 프레드홀름 연산자이며, 닫힌 범위를 가짐을 확립한다.
• 선형화된 연산자의 핵과 범위를 바탕으로 바나흐 공간의 분해를 이용하여 문제를 유한차원 문제로 축소한다.
• 암시함수정리와 닫힌 범위 추론을 활용하여 $W^{2,p}$ 및 $C^{2,\alpha}$ 공간에서 리아푸노프-슈미트 분해를 유도한다.
• 특정 해 근처에서의 명시적 해 곡선의 행동을 분석하여 비유일성을 입증한다.

실험 결과

연구 질문

• RQ1 평균 곡률가 일정하고 스칼라 곡률이 양이며 일정한 조건에서, 아인슈타인 제약방정식의 conformal 형식에서 비유일성이 발생하는가?
• RQ2 CMC 및 비CMC 경우에서 선형화된 시스템이 일차원 핵을 갖는 임계 에너지 밀도 $\rho_c$ 는 무엇인가?
• RQ3 분기 이론을 이용하여 리아푸노프-슈미트 방법을 통해 원거리-정상 평균 곡률 영역에서 해의 비유일성을 증명할 수 있는가?
• RQ4 해의 핵 차원이 증가하는 임계 매개변수 $\rho_c$ 근처에서 해 집합의 구조는 어떻게 변화하는가?
• RQ5 선형화된 연산자의 프레드홀름 성질과 닫힌 범위가 리아푸노프-슈미트 분해를 가능하게 하여 비유일성 증명에 어떤 역할을 하는가?

주요 결과

• 임계 에너지 밀도 $\rho_c$ 가 존재하며, 이 경우 CMC 및 비CMC(근접 및 원거리) 모두에서 타원형 시스템의 선형화가 일차원 핵을 갖는다.
• $\rho = \rho_c$ 일 때, 선형화된 연산자 $D_X F((\phi_c, \mathbf{0}), 0)$ 는 인덱스 0인 프레드홀름 연산자이며, 일차원 핵을 갖는다.
• 리아푸노프-슈미트 축소를 통해 명시적인 해 곡선을 구성함으로써 해의 비유일성이 입증된다. 이 곡선은 $\rho_c$ 에서 분기한다.
• 해 곡선 분석을 통해 임계 해 근처에서 다수의 해가 존재함을 확인하여 CMC 경우의 비유일성을 입증한다.
• 이 방법은 비CMC 경우로도 확장되며, 동일한 임계 에너지 조건 하에서 원거리-정상 평균 곡률 영역에서도 비유일성이 존재함을 보여준다.
• 결과는 $W^{2,p}$ 및 $C^{2,\alpha}$ 함수 공간 모두에서 성립하여, 다양한 정규성 클래스에 걸쳐 강건함을 확인한다.