爱因斯坦方程稳态轴对称解的变分原理

爱因斯坦方程的稳态、轴对称、真空解，作为在所有具固定角动量的轴对称且$(t,\phi)$对称初值中总质量的临界点而被得到。在此变分原理中，质量被写为一个类空超曲面上的正定积分。还证明了若存在绝对极小，则其等于所有具固定角动量的极大、轴对称、真空初值中质量的绝对极小。给出了支持该极小存在且为极端Kerr初值的猜想的论据。