[论文解读] On the foliation of space-time by constant mean curvature hypersurfaces

Claus Gerhardt|ArXiv.org|Apr 27, 2003

Geometric Analysis and Curvature Flows参考文献 5被引用 6

一句话总结

该论文证明，在全局双曲洛伦兹流形中，若其柯西面紧致，且满足类时收敛条件，且不存在全测地极大叶片或该条件为严格不等式，则常平均曲率（CMC）超曲面的平均曲率 $\tau$ 作为光滑时间函数具有非零梯度，前提是满足自然几何约束。结果表明，在自然几何条件下，$\tau$ 为全局有效的光滑时间函数。

ABSTRACT

We prove that the mean curvature $τ$ of the slices given by a constant mean curvature foliation can be used as a time function, i.e. $τ$ is smooth with non-vanishing gradient.

研究动机与目标

• 建立常平均曲率（CMC）超曲面的平均曲率 $\tau$ 作为时空中全局光滑时间函数的条件。
• 解决在存在极大叶片时 $\tau$ 是否光滑且梯度非零的问题。
• 通过构造反例阐明假设的紧致性：当 $\tau$ 在全测地极大叶片上梯度为零时，$\tau$ 无法成为时间函数。
• 利用高斯-Codazzi-Weingarten方程与高斯坐标，对全局双曲时空中的CMC叶状结构进行严格的几何分析。
• 验证类时收敛条件对 $\tau$ 成为时间函数是充分的，并通过构造反例证明其紧致性。

提出的方法

• 利用高斯-Codazzi-Weingarten方程，关联洛伦兹流形中类空超曲面的内蕴几何与外蕴几何。
• 采用高斯坐标系，使时空度量形式为 $d\bar{s}^2 = e^{2\psi}(-dx^0{}^2 + \sigma_{ij}dx^i dx^j)$，从而将CMC叶片表示为图 $x^0 = u(x)$。
• 对CMC方程解的差 $u - \bar{u}$ 应用最大值原理，导出估计式 $\tau - \bar{\tau} \leq c[u(x_0) - \bar{u}(x_0)]$，其中 $c$ 为某光滑函数，证明 $\tau$ 严格递增。
• 通过CMC方程的图形式推导第二基本形式与平均曲率的演化，表明 $\tau$ 在 $\{\tau \neq 0\}$ 上光滑。
• 在 $I \times S^n$ 上构造反例，其度量为 $d\bar{s}^2 = -dt^2 + e^{2f}\sigma_{ij}dx^i dx^j$，其中 $f(t) = -\int_0^t \frac{s^3}{\epsilon^2 - s^2}ds$，以表明在全测地极大叶片上 $D\tau = 0$。
• 通过共形变换与里奇张量恒等式计算 $\bar{R}_{\alpha\beta}\eta^\alpha\eta^\beta \geq 0$，验证类时收敛条件成立，确认在给定构造下条件成立。

实验结果

研究问题

• RQ1 在何种条件下，CMC叶状结构中平均曲率 $\tau$ 是光滑时间函数且梯度非零？
• RQ2 类时收敛条件与不存在全测地极大叶片是否足以保证 $\tau$ 全局为时间函数？
• RQ3 条件 $D\tau \neq 0$ 是否紧致？在自然几何假设下是否可能失效？
• RQ4 是否存在单一全测地极大叶片导致 $\tau$ 失去时间函数性质？
• RQ5 能否构造一个时空，使得 $\tau$ 光滑但其在极大叶片上梯度为零，从而违反时间函数性质？

主要发现

• 在区域 $\{\tau \neq 0\}$ 中，平均曲率 $\tau$ 光滑且梯度非零，确保其在该区域为有效时间函数。
• 若类时收敛条件成立且为严格不等式，或存在非全测地极大叶片，则 $\tau$ 为全局光滑时间函数。
• 在 $I \times S^n$ 上构造反例，其中 $\tau = -n \dot{f} = n \frac{t^3}{\epsilon^2 - t^2}$，且在 $t = 0$ 处 $D\tau = 0$，表明梯度在唯一全测地极大叶片上为零。
• 通过里奇张量计算验证反例中类时收敛条件成立，即对所有类时向量有 $\bar{R}_{\alpha\beta}\eta^\alpha\eta^\beta \geq 0$。
• 估计式 $\tau - \bar{\tau} \leq c[u(x_0) - \bar{u}(x_0)]$ 表明 $\tau$ 沿叶状结构严格递增，确认其单调性与光滑性。
• 结果表明，$\tau$ 成为时间函数的假设是紧致的：若在极大叶片上 $D\tau = 0$，则 $\tau$ 全局无法成为时间函数。