Existence of Constant Mean Curvature Hypersurfaces in Asymptotically Flat Spacetimes

Lars Andersson,Mirta S. Iriondo

DOI: https://doi.org/10.48550/arXiv.gr-qc/9712036

1997-12-08

Abstract:The problem of existence of spacelike hypersurfaces with constant mean curvature in asymptotically flat spacetimes is considered for a class of asymptotically Schwarzschild spacetimes satisfying an interior condition. Using a barrier construction, a proof is given of the existence of complete hypersurfaces with constant mean cuvature which intersect null infinity in a regular cut.

General Relativity and Quantum Cosmology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the existence of spacelike hypersurfaces with constant mean curvature (CMC) in asymptotically flat spacetimes. Specifically, the authors studied a class of asymptotically Schwarzschild spacetimes and proved that, under certain internal conditions, there exist complete CMC hypersurfaces, and these hypersurfaces have a regular cut - off at the future null infinity ($I^+$).

### Specific description of the problem

1. **Research object**: Spacelike hypersurfaces in asymptotically flat spacetimes.
2. **Objective**: Prove that under specific conditions, there exist complete spacelike hypersurfaces with constant mean curvature.
3. **Key challenges**:
- How to construct these hypersurfaces.
- Ensure that these hypersurfaces have good behavior at the future null infinity (i.e., intersect the null infinity at a regular cut - off).

### Overview of the solution

The authors solved this problem through the following steps:

1. **Definition and setting**: First, define the asymptotically Schwarzschild spacetime and introduce some necessary mathematical tools and notations.
2. **Construct barriers**: Use the method of barrier functions to construct local upper and lower barriers, which can help control the behavior of CMC hypersurfaces.
3. **Prove existence**: By proving the convergence of solutions to a series of Dirichlet problems, finally prove the existence of complete CMC hypersurfaces.
4. **Verify properties**: Use the maximum principle and other technical means to verify that the constructed hypersurfaces indeed have the required properties, such as completeness and constant mean curvature.

### Formula summary

- **Mean curvature formula**:
\[
k=\sum_{i = 1}^3k(e_i,e_i)=\text{div}_M N
\]
where \(k(e_i,e_j)=\langle e_i,\nabla_{e_j}N\rangle\) is a component of the second fundamental form, and \(N\) is the future - pointing unit normal vector of the hypersurface.

- **Height function and its derivatives**:
\[
w(\tau,r)=\sqrt{\tau^2+(r - 2m)^2}+2m\log(r - 2m+\sqrt{\tau^2+(r - 2m)^2})-2m(\log 2 - 1)
\]
\[
\partial_x H=-\frac{1}{x^2}\left(\frac{1}{\sqrt{\tau^2x^2+h(x)^2}}-\frac{1}{h(x)}\right)
\]
\[
\partial_\tau H=\frac{\tau x}{\sqrt{\tau^2x^2+h(x)^2}}\left(1+\frac{2mx}{h(x)+\sqrt{\tau^2x^2+h(x)^2}}\right)
\]

Through these steps and formulas, the authors successfully proved the existence of complete spacelike hypersurfaces with constant mean curvature in asymptotically Schwarzschild spacetimes.