Abstract
We refine the Lyapunov–Schmidt analysis from our recent paper (Eichmair and Koerber in Large area-constrained Willmore surfaces in asymptotically Schwarzschild 3-manifolds. arXiv preprint arXiv:2101.12665, 2021) to study the geometric center of mass of the asymptotic foliation by area-constrained Willmore surfaces of initial data for the Einstein field equations. If the scalar curvature of the initial data vanishes at infinity, we show that this geometric center of mass agrees with the Hamiltonian center of mass. By contrast, we show that the positioning of large area-constrained Willmore surfaces is sensitive to the distribution of the energy density. In particular, the geometric center of mass may differ from the Hamiltonian center of mass if the scalar curvature does not satisfy additional asymptotic symmetry assumptions.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
Let (M, g) be an asymptotically flat Riemannian 3-manifold. Such Riemannian manifolds are used to model initial data of isolated gravitational systems for the Einstein field equations. The scalar curvature of (M, g) provides a lower bound for the local energy density of the initial data set. The geometry of (M, g) encodes global invariants of the evolving gravitating system.
Recall that the mass \(m\in {\mathbb {R}}\) of such a manifold (M, g), proposed by Arnowitt, Deser, and Misner [1], can be computed as a limit of flux integrals. More precisely,
where the integrals are computed in an asymptotically flat chart of (M, g). Bartnik [2] has shown that the limit in the definition of (1) exists and does not depend on the particular choice of chart. If (M, g) has non-negative scalar curvature and is not isometric to \({\mathbb {R}}^3\), Schoen and Yau [28] and Witten [29] have shown that \(m>0\). The Hamiltonian center of mass associated with (M, g), proposed by Regge and Teitelboim [27] and by Beig and Ó Murchadha [4], is then given by \(C=(C^1,C^2,C^3)\) where
provided the limit exists for each \(\ell =1,\,2,\,3\). These limits are known to exist if if g satisfies certain asymptotic symmetry conditions; see Theorem 24 below. By contrast, as observed in [27], the limit in (2) may not exist if g does not satisfy such additional assumptions. Explicit examples of asymptotically flat initial data with divergent center of mass have been constructed by Beig and Ó Murchadha [4], by Huang [18], and by Cederbaum and Nerz [7].
Let \(\Sigma \subset M\) be a closed, two-sided surface with designated outward normal \(\nu \) and corresponding mean curvature H. The Hawking mass of \(\Sigma \) is the quantity
To qualify as a quasi-local mass in the sense of [3, p. 235], one would expect that the Hawking mass both detects the local energy distribution and recovers global physical quantities such as the mass (1) and the center of mass (2) of the initial data set as asymptotic limits; see also [25, p. 636]. In [19], Huisken and Ilmanen have proved the Riemannian Penrose inequality by comparing the Hawking mass of an outermost minimal surface to that of a large coordinate sphere in the end of (M, g) using inverse mean curvature flow. By contrast, the Hawking mass of a closed surface \(\Sigma \subset {\mathbb {R}}^3\) is negative unless \(\Sigma \) is a round sphere. As a measure of the gravitational field, the quantity \(m_H(\Sigma )\) is therefore not appropriate unless \(\Sigma \) is in some way special.
As discussed in e.g. [12], there are two classes of surfaces that are particularly well-adapted to the Hawking mass:
- \(\circ \):
-
stable constant mean curvature spheres
- \(\circ \):
-
area-constrained Willmore spheres
In [10], Christodoulou and Yau have observed that stable constant mean curvature spheres have non-negative Hawking mass if (M, g) has non-negative scalar curvature. Meanwhile, area-constrained Willmore surfaces are by definition critical points of the Hawking mass with respect to an area constraint and thus potential maximizers of the Hawking mass among domains with a prescribed amount of perimeter. These surfaces satisfy the constrained Willmore equation
Here, \(\Delta \) is the non-positive Laplace-Beltrami operator with respect to the induced metric on \(\Sigma \), \(\mathring{h}\) the traceless part of the second fundamental form h, \({\text {Ric}}\) the Ricci curvature of (M, g), and \(\kappa \in {\mathbb {R}}\) a Lagrange multiplier. Note that area-constrained Willmore surfaces are also area-constrained critical points of the Willmore energy
Lamm, Metzger, and Schulze have studied foliations of asymptotically flat Riemannian 3-manifolds by area-constrained Willmore surfaces and investigated the monotonicity properties of the Hawking mass along this foliation; see [22, Theorem 1, Theorem 2, and Theorem 4] and also the subsequent work [21] of the second-named author. Results analogous to those in [22] but in a space-time setting have been obtained by Friedrich [15].
There have been many recent developments on large stable constant mean curvature spheres in asymptotically flat manifolds. In particular, it is known that the end of every asymptotically flat 3-manifold (M, g) with non-negative scalar curvature is foliated by large isoperimetric surfaces. This foliation detects the Hamiltonian center of mass (2) of (M, g) in a natural way. We provide a brief survey of these results in “Appendix B”.
By comparison, much less is known about area-constrained Willmore surfaces. To describe recent developments, given an integer \(k\ge 2\), we say that (M, g) is \(C^k\)-asymptotic to Schwarzschild with mass \(m>0\) if there is a non-empty compact subset of M whose complement is diffeomorphic to \(\{x\in {\mathbb {R}}^3:|x|>1\}\) and such that, in this so-called asymptotically flat chart of the end of (M, g), there holds, for every multi-index J with \(|J|\le k\) and as \(x\rightarrow \infty \),
Here, \({\bar{g}}\) is the Euclidean metric on \({\mathbb {R}}^3\). Note that (M, g) is modeled upon the initial data of a Schwarzschild black hole. Given such a manifold (M, g), we fix an asymptotically flat chart and use \(B_r\), where \(r>1\), to denote the open, bounded domain in (M, g) whose boundary corresponds to \(S_r(0)\) with respect to this chart.
In our recent paper [12], we have established the following existence and uniqueness result. For its statement, recall that the area radius \(\lambda (\Sigma )>0\) of a closed surface \(\Sigma \subset M\) is defined by
while the inner radius \(\rho (\Sigma )\) of such a surface is defined by
Theorem 1
[12, Theorems 5 and 8]. Suppose that (M, g) is \(C^4\)-asymptotic to Schwarzschild with mass \(m>0\) and that its scalar curvature R satisfies, as \(x\rightarrow \infty \),
Then there exist numbers \(\kappa _0>0\) and \(\epsilon _0>0\) and a family of stable area-constrained Willmore spheres
that foliate the complement of a compact subset of M and such that each sphere \(\Sigma (\kappa )\) satisfies (4) with parameter \(\kappa \). Moreover, given \(\delta >0\), there exists a number \(\lambda _0>1\) such that every area-constrained Willmore sphere \(\Sigma \subset M\) with
satisfies \(\Sigma =\Sigma (\kappa )\) for some \(\kappa \in (0,\kappa _0)\).
The canonical foliation by area-constrained Willmore surfaces given in Theorem 1 gives rise to a new notion of geometric center of mass,
where
provided this limit exists for each \(\ell =1,\,2,\,3\).
1.1 Outline of the results
Our first main result in this paper shows that the geometric center of mass of the foliation (6) exists and agrees with the Hamiltonian center of mass (2) of (M, g) if the scalar curvature is sufficiently symmetric with respect to the Hamiltonian center of mass.
Theorem 2
Let (M, g) be \(C^4\)-asymptotic to Schwarzschild with mass \(m>0\) and Hamiltonian center of mass \(C=(C^1,\,C^2,\,C^3)\) and suppose that the scalar curvature satisfies, as \(x\rightarrow \infty \),
where \({\tilde{x}}=x-C\). Then \(C_{ACW}\) exists and \(C=C_{ACW}.\)
In particular, if \(R=0\) outside a compact set, then \(C_{ACW}\) exists and equals the Hamiltonian center of mass C.
Remark 3
According to Theorem 24 and Remark 25, if
then C exists.
Remark 4
The assumptions (8) and (9) of Theorem 2 hold if, for instance,
see the argument leading to (31).
The following result shows that the assumptions (8) and (9) in Theorem 2 cannot be relaxed in any substantial way.
Theorem 5
There exists a Riemannian 3-manifold (M, g) that is \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\) and satisfies, for every multi-index J and as \(x\rightarrow \infty \),
such that the Hamiltonian center of mass exists while the limit in (7) does not exist.
Theorem 5 and its proof show that, in general, the positioning of the foliation (6) is not governed by the Hamiltonian center of mass of (M, g) but instead fine-tuned to the asymptotic distribution of scalar curvature; see Remark 22. By contrast, the positioning of large stable constant mean curvature spheres is not sensitive to the distribution of scalar curvature; see Remark 29. This suggests that large area-constrained Willmore spheres are better suited to detect the local energy distribution of an initial data set than large stable constant mean curvature spheres.
In the second part of this paper, we lay the foundation to investigate the interplay between the positioning of area-constrained Willmore surfaces and the asymptotic distribution of the scalar curvature more thoroughly by extending Theorem 1 to manifolds (M, g) that are asymptotic to Schwarzschild but whose scalar curvature does not exhibit any asymptotic symmetries beyond those implied by (5).
Theorem 6
Let (M, g) be \(C^4\)-asymptotic to Schwarzschild with mass \(m>0\) and scalar curvature R satisfying, as \(x\rightarrow \infty \),
There exist a number \(\kappa _0>0\) and a family \(\{\Sigma (\kappa ):\kappa \in (0,\kappa _0)\}\) of area-constrained Willmore spheres \(\Sigma (\kappa )\) such that \(\Sigma (\kappa )\) satisfies (4) with parameter \(\kappa \) and
Moreover, if the scalar curvature satisfies, as \(x\rightarrow \infty \),
then there exists a number \(\epsilon _0>0\) with the following property. Given \(\delta >0\), there exists a number \(\lambda _0>1\) such that every area-constrained Willmore sphere \(\Sigma \subset M\) with
satisfies \(\Sigma =\Sigma (\kappa )\) for some \(\kappa \in (0,\kappa _0)\).
Remark 7
The assumption \(\delta \,\rho (\Sigma )<\lambda (\Sigma )\) in (12) can be dropped if one replaces (11) by the stronger condition
see [12, Theorem 11].
Remark 8
Note that (10) follows from (11).
Remark 9
Comparing Theorem 1 and Theorem 6, it is tempting to conjecture that the asymptotic family \(\{\Sigma (\kappa ):\kappa \in (0,\kappa _0)\}\) from Theorem 6 forms a foliation. A closer analysis shows that the foliation property of this family depends on the asymptotic behavior of the scalar curvature in a delicate way. We plan to investigate this dependence in a future paper.
An illustration of the assumptions (12) in the uniqueness statement of Theorem 6. The cross indicates the origin in the asymptotically flat chart. The surface on the left violates the assumption \(\rho (\Sigma )<4\,\lambda (\Sigma )\). The surface on the right violates the assumption \(\lambda (\Sigma )<4\,\rho (\Sigma )\). The surface in the middle violates the small energy assumption
The assumptions on the scalar curvature in Theorem 6 cannot be relaxed. On the one hand, the uniqueness statement fails if assumption (11) is dropped; see [12, Theorem 13]. On the other hand, we show in the following that the existence of large area-constrained Willmore spheres with comparable area radius and inner radius as well as small energy cannot be guaranteed if the scalar curvature is allowed to change signs.
Theorem 10
There exists a Riemannian 3-manifold (M, g) that is \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\) with the following property. There exists no family \(\{\Sigma (\kappa ):\kappa \in (0,\kappa _0)\}\) of area-constrained Willmore spheres \(\Sigma (\kappa )\) that enclose \(B_2\) and satisfy (4) with parameter \(\kappa \) such that
Theorem 6 and Remark 7 do not preclude the possibility of a sequence \(\{\Sigma _i\}_{i=1}^\infty \) of large area-constrained Willmore spheres \(\Sigma _i\subset M\) with
that are slowly divergent in the sense that
As we discuss in [12], it is a challenging analytical problem to rule out such sequences. Theorem 11 below confirms that the existence of such a sequence hinges on the asymptotic behavior of the scalar curvature, too. It should be compared with the uniqueness result obtained by Qing and Tian [26] for large stable constant mean curvature spheres.
Theorem 11
There exists a Riemannian 3-manifold (M, g) that is \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\) such that the following holds. There exists a sequence \(\{\Sigma _i\}_{i=1}^\infty \) of area-constrained Willmore spheres \(\Sigma _i\subset M\) enclosing \(B_2\) such that
\(\lambda (\Sigma _i)^{-1}\,\Sigma _i\) converges smoothly to a round sphere, but
and \(m_H(\Sigma _i)>2\) for every i.
1.2 Outline of the paper
In order to prove Theorems 2, 5, 6, 10, and 11, we refine the Lyapunov–Schmidt analysis developed in our recent paper [12]. The method of Lyapunov–Schmidt analysis has previously been used by Brendle and the first-named author [5] and by Chodosh and the first-named author [8] to study large stable constant mean curvature speres in Riemannian 3-manifolds asymptotic to Schwarzschild. Contrary to the area-functional under a volume constraint, the Willmore energy under an area constraint is translation invariant up to lower-order terms in exact Schwarzschild; see Lemma 32. New difficulties owing to the competing contributions of the Schwarzschild background respectively the lower-order perturbation of the metric \(\sigma \) arise when studying the center of mass of large area-constrained Willmore spheres.
By scaling, we may assume throughout that \(m=2\). Geometric computations are performed in the asymptotically flat chart (5). We use a bar to indicate that a geometric quantity has been computed with respect to the Euclidean background metric \({\bar{g}}\). When the Schwarzschild metric
with mass \(m=2\) has been used in the computation, we use the subscript S.
Let \(\delta \in (0,1/2)\). In [12], we have used the implicit function theorem to construct surfaces \(\Sigma _{\xi ,\lambda }\) as perturbations of \(S_\lambda (\lambda \,\xi )\) where \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) and \(\lambda >1\) is large such that \(|\Sigma _{\xi ,\lambda }|=4\,\pi \,\lambda ^2\) and \(\Sigma _{\xi ,\lambda }\) is an area-constrained Willmore surface if and only if \(\xi \) is a critical point of the function \(G_\lambda \) defined by
We have also proven that
where \(G_1\) is a rotationally symmetric and strictly convex function independent of \(\lambda \),
and \(G_{3,\lambda }=O(\lambda ^{-1})\) as \(\lambda \rightarrow \infty \). Here, R is the scalar curvature of (M, g). We refer to “Appendix C” for more details on this construction.
Under the assumptions of Theorem 1, we have shown in [12] that the function \(G_\lambda \) has a unique critical point \(\xi (\lambda )\in {\mathbb {R}}^3\) with \(\xi (\lambda )=o(1)\) as \(\lambda \rightarrow \infty \). The sphere \(\Sigma _{\xi (\lambda ),\lambda }\) corresponds to a leaf \(\Sigma (\kappa )\) of the foliation (6) for suitable \(\kappa =\kappa (\lambda )\). Moreover, we observe that
On the one hand, we compute here that \(\lambda \,({\bar{D}}G_{3,\lambda })({\xi (\lambda )})\) is essentially proportional to the Hamiltonian center of mass C provided \(\lambda >1\) is sufficiently large. On the other hand, we prove that \( \lambda \,({\bar{D}} G_{2,\lambda })({\xi (\lambda )}) \) is small if the scalar curvature satisfies the assumptions of Theorem 2. Since \(\xi (\lambda )\) is a critical point of \(G_\lambda \), this proves Theorem 2. By contrast, we show by explicit example that \(\lambda \,({\bar{D}} G_{2,\lambda })({\xi (\lambda )})\) need not converge as \(\lambda \rightarrow \infty \) if the assumptions on the scalar curvature are relaxed only slightly. This proves Theorem 5.
To prove Theorem 6, we use a geometric argument to show that the function \(G_{2,\lambda }\) is convex if the scalar curvature satisfies the growth condition (11). In particular, the function \(G_\lambda \) has a critical point \(\xi (\lambda )\) that is unique among all \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) provided \(\lambda >1\) is sufficiently large. By contrast, we construct a metric whose scalar curvature changes signs such that for some sequence \(\{\lambda _i\}_{i=1}^\infty \) with \(\lim _{i\rightarrow \infty }\lambda _i=\infty \) and every \(\delta >0\) there are infinitely many i for which the function \(G_{\lambda _i}\) has no critical points \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \). Likewise, we construct a metric such that for every \(\delta >0\) there are infinitely many i for which \(G_{\lambda _i}\) has a critical point \(\xi _i \in {\mathbb {R}}^3\) with \(1-\delta<|\xi _i|<1\). This proves Theorems 10 and 11.
2 Proof of Theorems 2 and 5
Throughout this section, we assume that (M, g) is \(C^4\)-asymptotic to Schwarzschild with mass \(m=2\) and scalar curvature R satisfying
To prove Theorem 2, we expand upon the Lyapunov–Schmidt analysis developed in our recent work [12]. The required concepts and estimates are summarized in “Appendix C”.
Let \(\delta =1/4\), \(\lambda _0>1\) be the constant from Proposition 31, and \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<3/4\). Recall the definitions (69) of the function \(G_\lambda \), (68) of the surface \(\Sigma _{\xi ,\lambda }\), and (65) of the sphere \(S_{\xi ,\lambda }\). Let \(\xi (\lambda )\) be the unique critical point of \(G_\lambda \) with \( |\xi (\lambda )|<3/4 \) whose existence is asserted in Proposition 35.
Recall the Lagrange parameter \(\kappa \) defined in (67). It follows from Propositions 35, 31, and Remark 36 that \(\Sigma _{\xi (\lambda ),\lambda } \) is the area-constrained Willmore sphere \(\Sigma (\kappa )\) from (6) with \(\kappa =\kappa (\Sigma (\lambda ))\).
Lemma 12
There holds, as \(\lambda \rightarrow \infty \),
Proof
Using Lemma 32, Lemma 34, and that \(({\bar{D}}G_\lambda )({\xi (\lambda )})=0\), we find
Using (73), we obtain
The assertion of the lemma follows from combining these estimates. \(\square \)
Recall from Proposition 31 that \(\Sigma _{\xi ,\lambda }=\Sigma _{\xi ,\lambda }(u_{\xi ,\lambda })\), i.e. \(\Sigma _{\xi ,\lambda }\) is the radial graph (66) of the function \(u_{\xi ,\lambda }\) over \(S_{\xi ,\lambda }\). We define
so that
with
Note that \(\lambda \,\xi ={\tilde{\lambda }}\,{\tilde{\xi }}\).
Recall the vector field \(Z_{\xi ,\lambda }\) defined in (78). We abbreviate \(u_{\xi ,\lambda },\,{\tilde{u}}_{\xi ,\lambda },\, Z_{\xi ,\lambda },\) and \(Z_{{\tilde{\xi }},{\tilde{\lambda }}}\) by \(u,\,{\tilde{u}},\,Z\), and \({\tilde{Z}}\), respectively. Moreover, we let \(\Lambda _0(S_{{\tilde{\xi }},{\tilde{\lambda }}})\subset C^\infty (S_{{\tilde{\xi }},{\tilde{\lambda }}})\) be the space of constant functions and \(\Lambda _0^\perp (S_{{\tilde{\xi }},{\tilde{\lambda }}})\) be its orthogonal complement. We abbreviate \(\Lambda _0(S_{{\tilde{\xi }},{\tilde{\lambda }}})\) by \(\Lambda _0\) and \(\Lambda _0^\perp (S_{{\tilde{\xi }},{\tilde{\lambda }}})\) by \(\Lambda _0^\perp \).
Lemma 13
There exists \(\delta \in (0,1/4)\) such that
and, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<\delta \) as \(\lambda \rightarrow \infty \),
These expansions may be differentiated once with respect to \(\xi \).
Proof
(15) follows directly from (70). Using the identity
(14), and the fact that (M, g) is \(C^4\)-asymptotic to Schwarzschild, we find that
provided that \(\delta >0\) is sufficiently small. Using also that \(|\Sigma _{\xi ,\lambda }|=4\,\pi \,\lambda ^2\), that \(H(S_{{\tilde{\xi }},{\tilde{\lambda }}})=2\,\lambda ^{-1}+O(\lambda ^{-2})\), and (15), the first variation of area formula therefore yields
This implies (16). \(\square \)
We proceed to compute a precise estimate for the Willmore energy of \(\Sigma _{\xi ,\lambda }\).
Lemma 14
There exists \(\delta \in (0,1/4)\) such that, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<\delta \) as \(\lambda \rightarrow \infty \),
This expansion may be differentiated once with respect to \(\xi \).
Proof
According to Lemma 40, we have
The assertion follows from this, Lemmas 13 and 42. \(\square \)
Remark 15
Let \(\delta \in (0,1/4)\) and suppose that
satisfies, as \(\lambda \rightarrow \infty \),
and
where differentiation is with respect to \(\xi \). Using Lemma 12, we find that, as \(\lambda \rightarrow \infty \),
Lemma 16
There exists \(\delta \in (0,1/4)\) such that, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<\delta \) as \(\lambda \rightarrow \infty \),
This expansion may be differentiated once with respect to \(\xi \).
Proof
This follows from (14) and a direct computation similar to that in [12, Lemma 42]. \(\square \)
Recall the conformal Killing operator \({\mathcal {D}}\) defined in (79).
Lemma 17
There exists \(\delta \in (0,1/4)\) such that, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<\delta \) as \(\lambda \rightarrow \infty \),
This expansion may be differentiated once with respect to \(\xi \).
Proof
As in the proof of [12, Lemma 42], there holds
Note that the first integral on the right-hand side is conformally invariant. It follows that
Likewise, using \(R_S=0\), we find that
Similarly, we have \({\tilde{Z}}=\nu _S\) on \(S_{{\tilde{\xi }},{\tilde{\lambda }}}\) and consequently
According to Lemma 41, there holds
We compute that
In conjunction with the estimate
it follows that
Using (14), (75), and (77), we find
Using (14), we obtain
Using (76), (80), and that \(R_S=0\), we compute
For the first line of the right-hand side of (25), we note that
see (76). Finally, using (81) and that \(R_S=0\), we obtain
Assembling (17–27), the assertion of the lemma follows. \(\square \)
Proposition 18
There holds, as \(\lambda \rightarrow \infty \),
Proof
Recall that \( ({\bar{D}} G_\lambda )({\xi (\lambda )})=0. \) In conjunction with Lemmas 12 and 14, this implies
Using (14), Lemma 12, and the fact that (M, g) is \(C^4\)-asymptotic to Schwarzschild, we infer from Lemma 17 that, for every \(a\in {\mathbb {R}}^3\) with \(|a|=1\), we have
Since (M, g) is \(C^4\)-asymptotic to Schwarzschild, we obtain from (13) that
Indeed, if (31) failed, integration along radial lines would imply that (13) fails as well. Consequently, in conjunction with (14) and Lemma 12, we obtain
Next, we observe that all derivatives of the form \({\bar{D}}^2_{{\bar{\nu }},{\bar{\nu }}}\) in the term
cancel. We may therefore use integration by parts and the decomposition \(a=a^\perp +a^\top \) with respect to \({\bar{g}}\) to find that
Next, note that the vector field \(Y=|x|^{-3}\,x\) is divergence free. Let
There holds
Consequently,
Finally, we use integration by parts and the decomposition \(a=a^\perp +a^\top \) to find that
The assertion follows from assembling (28–35). \(\square \)
For the corollary below, recall the definition (2) of the Hamiltonian center \(C=(C^1,\,C^2,\,C^3)\) of (M, g).
Corollary 19
There holds, as \(\lambda \rightarrow \infty \),
Proof
We define the quantities
where \(\ell =1,\,2,\,3\). Note that, by (2),
Using integration by parts and the decomposition \(e_\ell =e_\ell ^\perp +e_\ell ^\top \) with respect to \({\bar{g}}\), we obtain
The assertion follows from (36), (37), and Proposition 18. \(\square \)
Proof of Theorem 2
Corollary 19 implies that
Arguing as in the proof of Lemma 34 but using the stronger asymptotic conditions (8), we obtain
Conversely, (13) and Lemma 12 imply that
The assertion follows from these estimates. \(\square \)
Proof of Theorem 5
Let \(\chi \in C^\infty ({\mathbb {R}})\) be such that \(\chi (t)=1\) for all \(t\in (3,5)\) and \({\text {supp}}(\chi )\subset [2,6]\). We define \(\eta \in C^\infty ({\mathbb {R}}^3)\) by
Consider the metric
on \({\mathbb {R}}^3\setminus \{0\}\). Note that
It follows that the limit in (2) exists and that \(C=0\).
Let \(k\ge 1\) be an integer and suppose that \(x\in {\mathbb {R}}^3\) with \(3<10^{-k}\,|x|<5\). Using that \(\eta =1\) near x, we compute
Conversely, if \(6<10^{-k}\,|x|<8\), there holds \(\eta = 0\) near x. We find that
Let \(\lambda _{k}=4\cdot 10^k\) and \({\hat{\lambda }}_{k}=7\cdot 10^k\). Using Lemma 12, that \({\bar{D}}R=O(|x|^{-6})\), and (39), we compute
In conjunction with \(C=0\) and Corollary 19, we find
Likewise, we obtain
see Figure 2. It follows from this and (38) that the limit in (7) does not exist. \(\square \)
An illustration of the proof of Theorem 5. The scalar curvature is positive in the shaded region, negative in the hatched region, and vanishes elsewhere. The cross marks the Hamiltonian center of mass C in the asymptotically flat chart. The barycenter of the larger sphere \(\Sigma _{{\hat{\lambda }}_k,\xi ({\hat{\lambda }}_k)}\) agrees with C. By contrast, the asymmetric distribution of scalar curvature moves the barycenter of the smaller sphere \(\Sigma _{\lambda _k,\xi (\lambda _k)}\) away from C
3 Proof of Theorem 6
Throughout this section, we assume that (M, g) is \(C^4\)-asymptotic to Schwarzschild with mass \(m=2\).
Let \(\delta \in (0,1/2)\). We recall the definitions (69), (73), and (74) of the functions
Moreover, recall from (72) that
According to Lemma 33, the function \(G_1\) is strictly convex. We now identify a useful convexity criterion for functions that resemble \(G_{2,\lambda }\).
Lemma 20
Let \(f\in C^{1}({\mathbb {R}}^3)\) be a non-negative function satisfying
For every \(\xi _1,\xi _2\in {\mathbb {R}}^3\) with \(|\xi _1|,\,|\xi _2|<1\) and \(\lambda >0\) there holds
Proof
By scaling, we may assume that \(\lambda =1\). Moreover, we may assume that \(\xi _2\ne \xi _1\). We define the hemispheres
where \(\ell =1,2\). We choose an orthonormal basis \(\{e_1,\,e_2,\,e_3\}\) of \({\mathbb {R}}^3\) with \(e_1\perp {\text {span}}\{\xi _1,\xi _2\}\) and
and parametrize almost all of \(S_2^+\) via
Likewise, we parametrize almost all of \(S_1^+\) by
An illustration of the proof of Lemma 20. The function f is compared along the lines connecting \(S^1_\pm \) and \(S^2_\pm \). The cross marks the origin of \({\mathbb {R}}^3\)
It is geometrically evident and straightforward to check that, given \(\zeta \), there is \(\theta =\theta (\zeta )\) with \(\theta \le \zeta \) and \(t=t(\zeta )>1\) such that
see Figure 3. We define \( a={\bar{g}}(\xi _1,e_3)\) and \(b={\bar{g}}(\xi _2,e_3). \) Dotting (41) with \(e_1\), we obtain
Likewise, dotting (41) with \(e_3\), we find that
In particular, we obtain the relation
Differentiating (42) with respect to \(\zeta \), we find
Equivalently,
Using \(\zeta \ge \theta \), we obtain that
It follows that
Using that f is non-negative and (40), it follows that
The same argument shows that
The assertion of the lemma follows from (43) and (44). \(\square \)
Corollary 21
Let \(\delta \in (0,1/2)\) and suppose that \(f\in C^{1}({\mathbb {R}}^3)\) satisfies, as \(x\rightarrow \infty \),
There holds, uniformly for all \(\xi _1,\,\xi _2\in {\mathbb {R}}^3\) with \(|\xi _1|,\,|\xi _2|<1-\delta \) as \(\lambda \rightarrow \infty \),
Proof
This follows from Lemma 20 applied to the function \( f_\epsilon =f+\epsilon \,|x|^{-4} \) for appropriate choice of \(\epsilon >0\). \(\square \)
Proof of Theorem 6
First, suppose that \(R\ge - o(|x|^{-4})\). The argument presented in the proof of [12, Theorem 5] shows that there exists a family \(\{\Sigma (\kappa ):\kappa \in (0,\kappa _0)\}\) of area-constrained Willmore spheres \(\Sigma (\kappa )\subset M\) such that (4) holds with parameter \(\kappa \) and such that (12) holds.
To prove the uniqueness statement, suppose that
and let \(\delta \in (0,1/2)\). It follows from (72), Lemma 33, and Corollary 21 that \(G_\lambda \) is strictly convex provided \(\lambda >1\) is sufficiently large. In particular, \(G_\lambda \) has at most one critical point. We can now argue exactly as in the proof of [12, Theorem 8]. \(\square \)
Remark 22
Suppose that
and let \(\xi (\lambda )\in {\mathbb {R}}^3\) be the unique critical point of \(G_\lambda \) constructed in the proof of Theorem 6. Using Lemma 32, we find that
In particular, up to lower-order terms, the positioning of the asymptotic family by area-constrained Willmore surfaces (6) is determined by the asymptotic distribution of scalar curvature.
4 Proof of Theorems 10 and 11
We recall the definitions (73) of \(G_1\) and (74) of \(G_{2,\lambda }\). A direct computation shows that
as \(|\xi |\nearrow 1\).
To prove Theorem 10 and Theorem 11, we construct suitable metrics g on \({\mathbb {R}}^3\setminus \{0\}\) such that the Schwarzschild contribution (45) cancels with that from \(G_{2,\lambda }\) for suitable \(\lambda >1\). We then adjust g accordingly to force the non-existence respectively existence of large area-constrained Willmore spheres.
First, we choose a function \(\chi :{\mathbb {R}}\rightarrow [0,1]\) with \({\text {supp}}(\chi )\subset (1/2,4)\) and \(\chi (t)=1\) if \(t\in [3/4,3]\).
Let k and \(\ell \) be non-negative integers. We define \(\chi _k:{\mathbb {R}}\rightarrow [0,1]\) by
Note that
Let \( \lambda _{k,\ell }=k^2\,10^{\ell ^2}. \) Given \(a_1,\,a_2,\,a_3,\,a_4\in {\mathbb {R}}\), we define
Note that
provided \(1/2\,k^{-2}\le \lambda _{k,\ell }^{-1}\,|x|\le 4\). Using (46) and (48), we find that, for every multi-index J, there is a universal constant \(c_J>1\) such that
Let \(x\in {\mathbb {R}}^3\) with \(k^{-2}\,\le \lambda _{k,\ell }^{-1}\,|x|\le 2\). By (47), we have
for every j provided \(\ell \) is sufficiently large. Moreover, we compute
Fix \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1\). We compute
where \(f_1,\,f_2,\,f_3\in C^\infty (B_1(0))\) are bounded. Likewise,
Now, suppose that
Note that
and recall the definition (74) of \(G_{2,\lambda _{k,\ell }}\). Assume that \(|\xi |<1-k^{-2}\). Using (50), (51), (52), and (53), we conclude
for every sufficiently large \(\ell \). We emphasize the structural similarity of (45) and (54).
Proof of Theorem 10
Let
Using (49), we find that g is \(C^k\)-asymptotic to the Schwarzschild metric with mass \(m=2\) for every \(k\ge 2\).
We choose \(a_1=1\), \(a_2=4\) and \(a_3=4\). Let \(\delta \in (0,1/2)\). Recalling (72) and using (54) and (45), we obtain, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(i\rightarrow \infty \),
Suppose that there exists a family \(\{\Sigma (\kappa ):\kappa \in (0,\kappa _0)\}\) of area-constrained Willmore spheres \(\Sigma \subset {\mathbb {R}}^3\setminus \{0\}\) enclosing the origin and satisfying (4) with parameter \(\kappa \) such that
Arguing as in the proof of [12, Theorem 8], we find that the function \(G_{\lambda _{i,i}}\) has a critical point \(\xi _i\) with \(|\xi _i|<1-\delta \) for every sufficiently large integer i. This is incompatible with (55) if \(a_4>1\) is chosen sufficiently large. \(\square \)
For the proof of Theorem 11, we argue in two steps.
Lemma 23
There are constants \(c_J>1\) such that the following holds. For every \(\delta \in (0,1/2)\), there exists a metric g on \({\mathbb {R}}^3\setminus \{0\}\) that is \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\) with
for every multi-index J that satisfies the following property.
There exists a sequence \(\{\Sigma _i\}_{i=1}^\infty \) of area-constrained Willmore spheres \(\Sigma _i\subset {\mathbb {R}}^3\setminus \{0\}\) such that
and \(\lambda (\Sigma _i)^{-1}\,\Sigma _i\) converges smoothly to a round sphere while
for all i.
Proof
Let k be a positive integer and define the metric
We choose \(a_1=2\), \(a_2=3\), \(a_3=5\), and \(a_4=0\). Using (45) and (54), we find that, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-k^{-2}\) as \(k\rightarrow \infty \),
provided i is sufficiently large. Recalling (72), we conclude that for every large k there holds
for every sufficiently large i and every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |=1-2\,k^{-2}\).
By contrast, it follows from (47) that \(R(x)=0\) if \(10^{-2\,i}<\lambda _{k,i}^{-1}\,|x|<1/2\,k^{-2}\). In conjunction with the estimate \(R=O(|x|^{-4})\), we conclude from (74) that, as \(i\rightarrow \infty \) for every \(\xi \in {\mathbb {R}}^3\) with \(1-1/2\,k^{-2}<|\xi |<1-10^{-2\,i}\),
Recalling (45) and using (72), we conclude that there is \(\delta (k)\in (0,k^{-2})\) such that
for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |=1-\delta (k)\) and every sufficiently large integer i. Together with the fact that g is rotationally symmetric, (58) and (59) imply that for every i sufficiently large, \(G_{\lambda _{k,i}}\) has a local minimum \(\xi _i\in {\mathbb {R}}^3\) with \(1-2\,k^{-2}<|\xi _i|<1\).
Finally, we observe that \(G_{\lambda _{k,i}}(0)=O(1)\). Using (57) and (72), we conclude that \(G_{\lambda _{k,i}}(\xi _i)<0\) for every sufficiently large i. The assertions of the lemma follow from Proposition 31, (69), and the definition of the Hawking mass (3). \(\square \)
Proof of Theorem 11
Using Lemma 23, we may choose a sequence \(\{g_{k}\}_{k=1}^\infty \) of Riemannian metrics \(g_k\) on \({\mathbb {R}}^3\setminus \{ 0\}\) that are \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\) and satisfy (56) such that the following holds. There is a sequence \(\{\Sigma _k\}_{k=1}^\infty \) of spheres \(\Sigma _k\subset {\mathbb {R}}^3\setminus \{0\}\) with the following four properties.
- \(\circ \):
-
For every positive integer k, there holds
$$\begin{aligned} \rho (\Sigma _{k+1})>10\,\Theta (\Sigma _k) \end{aligned}$$(60)where \(\Theta (\Sigma _k)=\sup \{|x|:x\in \Sigma _k\}\) is the outer radius of \(\Sigma _k\).
- \(\circ \):
-
\(\Sigma _k\) is an area-constrained Willmore surface with Hawking mass \(m_H(\Sigma _k)>2\) with respect to \(g_k\).
- \(\circ \):
-
\(\lambda (\Sigma _k)^{-1}\,\Sigma _k\) converges smoothly to a round sphere.
- \(\circ \):
-
There holds \(\rho (\Sigma _k)<k^{-1}\, \lambda (\Sigma _k)\) for every positive integer k.
Now, we choose a smooth function \(\gamma :{\mathbb {R}}\rightarrow [0,1]\) with \({\text {supp}}(\gamma )\subset [1/3,3]\) and \(\gamma (t)=1\) for \(t\in [1/2,2]\) and define \(\gamma _k:{\mathbb {R}}\rightarrow [0,1]\)
By (60), there holds \({\text {supp}}(\gamma _k)\cap {\text {supp}}(\gamma _j)=\emptyset \) whenever \(k\ne j\). Consider the Riemannian metric
on \({\mathbb {R}}^3\setminus \{0\}\). Using (56) and (61), we find that g is \(C^k\)-asymptotic to Schwarzschild with mass \(m=2\) for every \(k\ge 2\). Moreover, there holds \(g=g_k\) near \(\Sigma _k\). The assertions follow. \(\square \)
References
Arnowitt, R., Deser, S., Misner, C.W.: Coordinate invariance and energy expressions in general relativity. Phys. Rev. 2(122), 997–1006 (1961)
Bartnik, R.: The mass of an asymptotically flat manifold. Commun. Pure Appl. Math. 39(5), 661–693 (1986)
Bartnik, R.: Mass and 3-metrics of non-negative scalar curvature. In: Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 231–240. Higher Ed. Press, Beijing (2002)
Beig, R., Murchadha, N.Ó.: The Poincaré group as the symmetry group of canonical general relativity. Ann. Phys. 174(2), 463–498 (1987)
Brendle, S., Eichmair, M.: Large outlying stable constant mean curvature spheres in initial data sets. Invent. Math. 197(3), 663–682 (2014)
Carlotto, A., Chodosh, O., Eichmair, M.: Effective versions of the positive mass theorem. Invent. Math. 206(3), 975–1016 (2016)
Cederbaum, C., Nerz, C.: Explicit Riemannian manifolds with unexpectedly behaving center of mass. Ann. Henri Poincaré 16(7), 1609–1631 (2015)
Chodosh, O., Eichmair, M.: On far-outlying constant mean curvature spheres in asymptotically flat Riemannian 3-manifolds. J. Reine Angew. Math. 767, 161–191 (2020)
Chodosh, O., Eichmair, M.: Global uniqueness of large stable CMC spheres in asymptotically flat Riemannian 3-manifolds. Duke Math. J. 171(1), 1–31 (2022)
Christodoulou, D., Yau, S.-T.: Some remarks on the quasi-local mass. In: Mathematics and General Relativity (Santa Cruz, CA, 1986), Volume 71 of Contemp. Math., pp. 9–14. American Mathematical Society, Providence (1988)
Corvino, J., Haotian, W.: On the center of mass of isolated systems. Class. Quantum Gravity 25(8), 085008, 18 (2008)
Eichmair, M., Koerber, T.: Large area-constrained Willmore surfaces in asymptotically Schwarzschild 3-manifolds. arXiv preprint arXiv:2101.12665 (2021)
Eichmair, M., Koerber, T.: Foliations of asymptotically flat 3-manifolds by stable constant mean curvature spheres. arXiv preprint arXiv:2201.12081 (2022)
Eichmair, M., Metzger, J.: Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions. Invent. Math. 194(3), 591–630 (2013)
Friedrich, A.: Concentration of small Hawking type surfaces. arXiv preprint, arXiv:1909.02388 (2019)
Huang, L.-H.: On the center of mass of isolated systems with general asymptotics. Class. Quantum Gravity 26(1), 015012, 25 (2009)
Huang, L.-H.: Foliations by stable spheres with constant mean curvature for isolated systems with general asymptotics. Commun. Math. Phys. 300(2), 331–373 (2010)
Huang, L.-H.: Solutions of special asymptotics to the Einstein constraint equations. Class. Quantum Gravity 27(24), 245002, 10 (2010)
Huisken, G., Ilmanen, T.: The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differ. Geom. 59(3), 353–437 (2001)
Huisken, G., Yau, S.-T.: Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature. Invent. Math. 124(1–3), 281–311 (1996)
Koerber, T.: The area preserving Willmore flow and local maximizers of the hawking mass in asymptotically Schwarzschild manifolds. J. Geom. Anal. 31(4), 3455–3497 (2021)
Lamm, T., Metzger, J., Schulze, F.: Foliations of asymptotically flat manifolds by surfaces of Willmore type. Math. Ann. 350(1), 1–78 (2011)
Metzger, J.: Foliations of asymptotically flat 3-manifolds by 2-surfaces of prescribed mean curvature. J. Differ. Geom. 77(2), 201–236 (2007)
Nerz, C.: Foliations by stable spheres with constant mean curvature for isolated systems without asymptotic symmetry. Calc. Var. Partial Differ. Equ. 54(2), 1911–1946 (2015)
Penrose, R.: Some unsolved problems in classical general relativity. In: Seminar on Differential Geometry, Volume 102 of Ann. of Math. Stud., pp. 631–668. Princeton University Press, Princeton (1982)
Qing, J., Tian, G.: On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds. J. Am. Math. Soc. 20(4), 1091–1110 (2007)
Regge, T., Teitelboim, C.: Role of surface integrals in the Hamiltonian formulation of general relativity. Ann. Phys. 88, 286–318 (1974)
Schoen, R., Yau, S.T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65(1), 45–76 (1979)
Witten, E.: A new proof of the positive energy theorem. Commun. Math. Phys. 80(3), 381–402 (1981)
Ye, R.: Foliation by constant mean curvature spheres on asymptotically flat manifolds. In: Geometric Analysis and the Calculus of Variations, pp. 369–383. Int. Press, Cambridge (1996)
Acknowledgements
The authors would like to thank Otis Chodosh, Jan Metzger, and Felix Schulze for helpful discussions. The authors acknowledge the support of the START-Project Y963 of the Austrian Science Fund (FWF).
Funding
Open access funding provided by University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by P. Chrusciel.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
The Hamiltonian Center of Mass
In this section, we recall some facts on the Hamiltonian center of mass of an asymptotically flat manifold (M, g).
Let (M, g) be a complete, non-compact Riemannian 3-manifold with integrable scalar curvature R. Given an integer \(k\ge 2\) and \(\tau >1/2\), we say that (M, g) is \(C^k\)-asymptotically flat of rate \(\tau \) if there is a non-empty compact set whose complement in M is diffeomorphic to \(\{x\in {\mathbb {R}}^3:|x|>1\}\) with, for every multi-index J with \(|J|\le k\) and as \(x\rightarrow \infty \),
in this asymptotically flat chart. We usually fix such an asymptotically flat chart and use it as reference for statements on the decay of quantities.
The mass m and the Hamiltonian center of mass \(C=(C^1,\,C^2,\,C^3)\) of (M, g) are given by (1) and (2), respectively. The limit in (1) is well-defined for every such manifold (M, g). The limits in (2) exist if the metric g satisfies additional asymptotic symmetry conditions.
Theorem 24
[16, Theorem 2.2]. Suppose that (M, g) is \(C^2\)-asymptotically flat of rate \(\tau >1/2\) with, for every multi-index J with \(|J|\le 2\) and as \(x\rightarrow \infty \),
Then the Hamiltonian center of mass (2) of (M, g) is well-defined.
Remark 25
If (M, g) is \(C^2\)-asymptotic to Schwarzschild, then (62) holds for every \(\tau \in (1/2,1]\).
The Geometric Center of Mass by Large Stable Constant Mean Curvature Spheres
The study of existence of large stable constant mean curvature spheres in asymptotically flat manifolds has been pioneered by Huisken and Yau [20]. There is a large body of important subsequent work; see e.g. [17, 23, 30] and the references therein. The following general existence result has been established by Nerz [24].
Theorem 26
[24, Theorems 5.1 and 5.2]. Suppose that (M, g) is \(C^2\)-asymptotically flat of rate \(\tau >1/2\) with positive mass \(m>0\). Then there exists a number \(H_0>0\) and a foliation of the complement of a compact subset of M
such that \(\Sigma _{CMC}(H)\) is a stable constant mean curvature sphere with mean curvature H for every \(H\in (0,H_0)\).
In [20, §4], Huisken and Yau have proposed to associate a geometric center of mass
to the foliation (63) where
provided the limit on the right-hand side exists for \(\ell =1,\,2,\,3\). The existence of these limits has been studied for instance by Metzger [23], Corvino and Wu [11], Huang [16], or Metzger and the first-named author [14]. In [24], Nerz has proven that the geometric center of mass (64) coincides with the Hamiltonian center of mass (2) of (M, g), provided g satisfies an additional asymptotic symmetry assumption.
Theorem 27
[24, Theorem 6.3]. Suppose that, for every multi-index J with \(|J|\le 2\) and as \(x\rightarrow \infty \) ,
Then the limits in (2) exist if and only if the limits in (64) exist in which case \(C=C_{CMC}\).
Remark 28
If (M, g) is \(C^2\)-asymptotic to Schwarzschild, then the assumptions of Theorem 27 are satisfied; see [16, Theorem 2].
Remark 29
If (M, g) is \(C^5\)-asymptotic to Schwarzschild with non-negative scalar curvature R satisfying
then the leaves of the foliation (63) are the only closed stable constant mean curvature surfaces \(\Sigma \subset M\) with large enclosed volume; see [12] and also [6, 8, 9] for earlier work in this direction. According to Theorem 27 and Remark 28, the positioning of large stable constant mean curvature spheres is therefore governed by the Hamiltonian center of mass (2) of (M, g).
Remark 30
In [13], the authors give short alternative proofs for Theorem 26 and Theorem 27 based on Lyapunov–Schmidt reduction. The analysis carried out there is much less technical than the one in Sect. 2.
Lyapunov–Schmidt Reduction
We review the construction of the foliation by large area-constrained Willmore spheres (6) in [12]. Throughout, we will assume that (M, g) is \(C^4\)-asymptotic to Schwarzschild with scalar curvature R; see (5).
Let \(\delta \in (0,1/2)\). Given \(\lambda >1\) and \(\xi \in {\mathbb {R}}^3\), we consider the spheres
Given a function \(u\in \Sigma _{\xi ,\lambda }\), let
be the Euclidean graph of u over \(S_{\xi ,\lambda }\). Moreover, let \(\Lambda _1(S_{\xi ,\lambda })\) be the space of first spherical harmonics of \(S_{\xi ,\lambda }\) and \(\Lambda _1^\perp (S_{\xi ,\lambda })\subset C^\infty (S_{\xi ,\lambda })\) be its orthogonal complement with respect to \(L^2(S_{\xi ,\lambda })\).
When stating that an error term
may be differentiated with respect to \(\xi \) where \(l_1,\,l_2>0\) and \(l_3>1\), we mean that
where differentiation is with respect to \(\xi \). When stating that \({\mathcal {E}}\) may be differentiated with respect to \(\lambda \), we mean that
Let \(\Sigma \subset M\) be a closed surface with \(\lambda (\Sigma )=\lambda \), i.e. \(|\Sigma |=4\,\pi \,\lambda ^2\). The normalized Willmore energy of \(\Sigma \) is given by
Note that area-constrained Willmore surfaces \(\Sigma \subset M\) are area-constrained critical points of \(F_\lambda \). Moreover, recall from e.g. [12, Appendix A] that such surfaces are either minimal or satisfy the constrained Willmore equation
where
and
The Legendre polynomials \(P_0,\,P_1,\,P_2,\dots \) are defined via a generating function. Given \(s\in [0,1]\) and \(t\in [0,1)\), there holds
The next proposition follows from [12, Proposition 17], [12, Lemma 20], and [12, Lemma 21].
Proposition 31
There are constants \(\lambda _0>1\), \(c>1\), and \(\epsilon >0\) depending only on (M, g) and \(\delta \in (0,1/2)\) such that for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) and every \(\lambda >\lambda _0\), there exists \(u_{\xi ,\lambda }\in \Lambda _1^\perp (S_{\xi ,\lambda })\) and \(\kappa _{\xi ,\lambda }\in {\mathbb {R}}\) such that the following hold. The surface
has area \(|\Sigma _{\xi ,\lambda }|=4\,\pi \, \lambda ^2\). Moreover, \(\Sigma _{\xi ,\lambda }\) is an area-constrained Willmore surface with parameter \(\kappa _{\xi ,\lambda }\) if and only if \(\xi \) is a critical point of the function
There holds, uniformly for all \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
and
The expansion (70) may be differentiated four times in spatial directions. The expansion (71) may be differentiated once with respect to \(\lambda \).
If \(\Sigma _{\xi ,\lambda }(u)\) with \(u\in \Lambda ^\perp _1(S_{\xi ,\lambda })\) is an area-constrained Willmore surface with \(|\Sigma _{\xi ,\lambda }(u)|=4\,\pi \, \lambda ^2\) and
then \(u=u_{\xi ,\lambda }\).
The leading order term of the function \(G_\lambda \) can be computed explicitly.
Lemma 32
[12, Lemma 22]. There holds, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
where
and
The expansion (72) may be differentiated twice with respect to \(\xi \) and \(\lambda \).
We record some properties of the function \(G_\lambda \).
Lemma 33
The function \(G_1\) is strictly convex and strictly increasing in radial directions. Moreover, \(G_1(0)=0\).
Lemma 34
[12, Lemma 24]. Suppose that, as \(x\rightarrow \infty \),
Then, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
If the stronger decay assumptions
hold, then, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
Proof
This follows exactly as in [12, Lemma 24]. \(\square \)
The following proposition is a consequence of Lemma 32, Lemma 33, and Lemma 34.
Proposition 35
[12, Theorems 5 and 8]. Suppose that, as \(x\rightarrow \infty \),
There is \(\lambda _0>1\) such that for every \(\lambda >\lambda _0\) the function \(G_\lambda \) has a unique critical point \(\xi (\lambda )\). Moreover, as \(\lambda \rightarrow \infty \),
Remark 36
It follows from (71) that the function
is decreasing on \((\lambda _0,\infty )\), provided \(\lambda _0>1\) is sufficiently large.
Some Geometric Expansions
We collect several geometric computations that are needed in this paper. Throughout this section, we assume that (M, g) is \(C^4\)-asymptotic to Schwarzschild with mass \(m=2\). We use a bar to indicate that a geometric quantity has been computed with respect to the Euclidean background metric \({\bar{g}}\). Likewise, we use the subscript S to indicate that the Schwarzschild metric
with mass \(m=2\) has been used in the computation.
Let \(\delta \in (0,1/2)\), \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \), and \(\lambda >\lambda _0\), where \(\lambda _0\) is the constant from Proposition 31. Recall that \(S_{\xi ,\lambda }=S_\lambda (\lambda \,\xi )\).
The estimates below depend on \(\delta \in (0,1/2)\) and \(\lambda _0>1\) but are otherwise independent of \(\lambda \) and \(\xi \).
Lemma 37
There holds
and, as \(x\rightarrow \infty \),
Proof
(75) follows from a direct computation. To prove (76), we define the family of metrics \( g_t=g_S+t\,\sigma , \) where \(t\in [0,1]\). Note that \(g_0=g_S\) and \(g_1=g\). The estimate follows upon linearization of the expression
where \(\Gamma ^{k}_{ij}\) are the Christoffel symbols of g. \(\square \)
Lemma 38
[12, Lemma 41]. There holds
and, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
Given \(\xi \in {\mathbb {R}}^3\) and \(\lambda >1\), we define the vector field
Note that \(Z_{\xi ,\lambda }=\nu _S(S_{\xi ,\lambda })\) on \(S_{\xi ,\lambda }\).
For the statement of the next lemma, recall the definition of the conformal Killing operator \({\mathcal {D}}\) given by
for vector fields \(Z,\,X,\,Y\).
Lemma 39
There holds
and, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \) on \({\mathbb {R}}^3\setminus B_{\lambda }(\lambda \,\xi )\),
Proof
To prove (80), we expand, as \(\lambda \rightarrow \infty \) on \({\mathbb {R}}^3\setminus B_{\lambda }(\lambda \,\xi )\),
The first two terms on the right-hand side are conformal Killing vector fields. For the third term, we compute
Likewise, for the fourth term, we compute
To prove (81), we again consider the family of metrics \( g_t=g_S+t\,\sigma , \) where \(t\in [0,1]\), and linearize the expression
\(\square \)
We recall the following expansion of the Willmore operator of a sphere \(S_{\xi ,\lambda }\).
Lemma 40
[12, Corollary 45]. There holds, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
The following estimate is contained in the proof of [12, Lemma 42].
Lemma 41
There holds, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
This identity may be differentiated once with respect to \(\xi \).
The next lemma follows from Taylor’s theorem and [12, Lemma 31].
Lemma 42
There exists a constant \(\lambda _0>1\) such that for every \(\lambda >\lambda _0\) the following holds. Let \(u\in C^\infty (S_{\xi ,\lambda })\) and suppose that there is \(\epsilon >0\) with
Then we have, uniformly for every \(\xi \in {\mathbb {R}}^3\) with \(|\xi |<1-\delta \) as \(\lambda \rightarrow \infty \),
This identity may be differentiated once with respect to \(\xi \).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Eichmair, M., Koerber, T. The Willmore Center of Mass of Initial Data Sets. Commun. Math. Phys. 392, 483–516 (2022). https://doi.org/10.1007/s00220-022-04349-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04349-2