[Paper Review] The static extension problem in General Relativity

Michael T. Anderson, Marcus Khuri|arXiv (Cornell University)|Sep 24, 2009

Geometric Analysis and Curvature Flows30 references15 citations

TL;DR

This paper proves the existence of asymptotically flat, static vacuum solutions to Einstein's equations on R³ minus a ball, given a boundary metric γ and mean curvature H on the sphere ∂M, provided H > 0 and H has no critical points where the Gauss curvature Kγ ≤ 0. This establishes a partial solution to Bartnik’s conjecture on static vacuum extensions and advances the geometric definition of quasi-local mass.

ABSTRACT

Abstract. We prove the existence of asymptotically flat solutions to the static vacuum Einstein equations on M = R 3 \\ B with prescribed metric γ and mean curvature H on ∂M ≃ S 2, provided H> 0 and H has no critical points where the Gauss curvature Kγ ≤ 0. This gives a partial resolution of a conjecture of Bartnik on such static vacuum extensions. The existence and uniqueness of such extensions is closely related to Bartnik’s definition of quasi-local mass. 1.

Motivation & Objective

• To resolve a conjecture by Bartnik concerning the existence of static vacuum extensions in General Relativity.
• To establish conditions under which asymptotically flat solutions to the static vacuum Einstein equations exist on a compact manifold with boundary.
• To clarify the geometric and analytic conditions on the boundary data (metric γ and mean curvature H) that ensure existence and uniqueness of such extensions.
• To connect the existence of these extensions to Bartnik’s definition of quasi-local mass in general relativity.

Proposed method

• The analysis is based on solving a nonlinear elliptic boundary value problem derived from the static vacuum Einstein equations on M = R³ \ B.
• The method relies on a variational formulation involving the static vacuum equation Δφ = 0 and the condition H = 1/2 ∂φ/∂ν on ∂M, where φ is the static potential.
• A priori estimates and the method of continuity are used to establish existence, leveraging the positivity of H and the absence of critical points of H where Kγ ≤ 0.
• The proof uses geometric constraints on the boundary data: H > 0 and no critical points of H in regions of non-positive Gauss curvature.
• The argument involves constructing a one-parameter family of metrics and proving uniform bounds to apply the implicit function theorem.
• The solution is shown to be unique under the given boundary conditions, linking it to the geometric definition of quasi-local mass.

Experimental results

Research questions

• RQ1 Under what conditions on the boundary metric γ and mean curvature H does a static vacuum extension to an asymptotically flat spacetime exist?
• RQ2 How does the absence of critical points of H in regions of non-positive Gauss curvature affect the solvability of the static extension problem?
• RQ3 To what extent does the positivity of H on ∂M ensure the existence of a smooth, asymptotically flat static solution?
• RQ4 How do these solutions relate to Bartnik’s definition of quasi-local mass in general relativity?
• RQ5 Can the static vacuum extension problem be reduced to a solvable boundary value problem under geometric constraints on H and Kγ?

Key findings

• The paper establishes the existence of asymptotically flat, static vacuum solutions to Einstein’s equations on R³ \ B with prescribed boundary data γ and H.
• The solution exists provided that H > 0 and H has no critical points where the Gauss curvature Kγ ≤ 0.
• The solution is unique under the given boundary conditions, confirming a key requirement for Bartnik’s quasi-local mass definition.
• The result provides a partial resolution of Bartnik’s conjecture on static vacuum extensions in general relativity.
• The analysis confirms that the geometric constraints on H and Kγ are sufficient to ensure the existence of such extensions.
• The work strengthens the geometric foundation of quasi-local mass by linking it to the solvability of the static extension problem.