The space-time-Grassmann measure of the Brakke flow

技术摘要：Brakke 流的空时-Grassmann 测度

问题陈述
本文探讨了 $k$ 维 Brakke 流的结构特征化，Brakke 流是定义在开集 $U \subset \mathbb{R}^n$ 上关于时间区间 $J$ 的平均曲率流的一种弱测度解。虽然经典定义（Brakke [4]）将该流描述为一系列满足特定微分不等式的 Radon 测度族 $\{\mu(t)\}_{t \in J}$，但作者试图通过一个规范的空时测度来重新表述这一概念。主要的挑战在于如何严谨地定义一个在乘积空间 $J \times G_k(U)$（时间 $\times$ Grassmann 流形）上的测度，使其能够捕捉流的演化、处理流中固有的跳跃不连续性，并提供一个与现有经典定义等价的统一框架。

方法论
作者采用了几何测度论的技术，特别是变分簇（varifolds）和分布导数的理论。其方法通过以下逻辑步骤展开：

1. 变分簇映射的可测性： 作者首先证明，对于任何 Brakke 流 $\{\mu(t)\}$，其关联的变分簇映射 $t \mapsto V(t)$ 是 $L^1$-可测的，其中 $V(t)$ 是满足 $\|V(t)\| = \mu(t)$ 的唯一积分变分簇（这对于几乎处处的 $t \in L^1$ 成立）。这依赖于 Brakke 变分泛函 $B(\mu, \phi)$ 的上半连续性。
2. 空时测度的构建： 利用 $t \mapsto V(t)$ 的可测性，作者通过积分定义了一个规范的 Radon 测度 $\lambda$ 在 $J \times G_k(U)$ 上：
   $$\lambda(f) = \int_J \int_{G_k(U)} f(t, x, S) \, dV(t)(x, S) \, dL^1_t$$
   对于测试函数 $f$。其关联的空时权重测度记作 $\|\lambda\|$。
3. 通过分布不等式进行特征化： 作者定义了一个“空时-Grassmann Brakke 流”，即一个满足涉及时间导数和泛函 $B$ 的分布式 Brakke 不等式的 Radon 测度 $V$。
4. 不连续性的分析： 认识到 Brakke 流的行为类似于有界变差（BV）函数，作者分析了流的左极限和右极限。他们定义了测度 $\langle V^-, t \rangle$ 和 $\langle V^+, t \rangle$，分别代表由该空时测度导出的流在时间 $t$ 处的左连续和右连续代表元。
5. 几何量 的可测性： 本文利用 Borel 正则性论证（参考 Federer [6]），证明切映射、平均曲率向量和密度对于空时权重测度 $\|\lambda\|$ 是可测的。

主要贡献与结果

• 定理 A（规范测度的存在性）： 证明了对于任何 Brakke 流，都存在唯一的 Radon 测度 $\lambda$ 在 $J \times G_k(U)$ 上，使得该流可以通过对 $\lambda$ 关于时间进行积分来恢复。该测度由测试函数对变分簇族 $V(t)$ 的积分定义。
• 定理 B（特征化与等价性）： 确立了满足分布式 Brakke 不等式的 Radon 测度 $V$ 在 $J \times G_k(U)$ 上对应于一类等价的经典 Brakke 流。具体而言：
  • 测度 $\|\langle V^-, \cdot \rangle\|$ 和 $\|\langle V^+, \cdot \rangle\|$ 本身也是 Brakke 流。
  • 与 $V$ 相关的任何经典 Brakke 流 $\nu(t)$ 必须满足对于所有 $t$，都有 $\|\langle V^-, t \rangle\| \geq \nu(t) \geq \|\langle V^+, t \rangle\|$。
  • 这产生了一种新的 Brakke 流定义，即基于空时测度的定义，并被证明与经典定义（定义 3.4）以及 Lahiri [9] 中的替代定义是等价的。
• 定理 C（几何数据的可测性）： 证明了切平面映射 $Tan(V(t), x)$、广义平均曲率向量$h(V(t), x)$以及密度$\Theta_k(|V(t)|, x)$对于空时权重测度$|\lambda|$ 都是可测的。这是通过证明这些映射是变分簇空间上的 Borel 函数，并将其与可测映射 $(t, x) \mapsto (V(t), x)$ 进行复合来实现的。
• 解决近似问题： 在第 3.6 节中，作者为 Brakke 变分 $B(\|V_i\|, \phi)$ 的上半连续性提供了另一种证明。他们明确处理了文献中（Ilmanen [8]）存在的一个缺口，即此前假设对于 $C^2$ 函数存在测试函数 $\phi$ 的内部近似。作者通过示例 3.8 证明了对于 $C^2$ 函数此类近似通常并不存在，并提供了一个避免该假设的证明。

意义与主张
本文声称提供了一种“新的 Brakke 流定义”，该定义将经典的测度演化与静态空时测度框架统一起来。这种表述的意义在于三个方面：

1. 等价性： 它严谨地确立了经典定义（随时间演化的测度族）与基于单一空时测度且满足分布不等式的定义之间的等价性。
2. 处理不连续性： 该框架通过区分左连续和右连续代表元，自然地容纳了 Brakke 流中固有的跳跃不连续性，从而刻画了流在奇异时刻的行为。
3. 基础工作： 作者指出，这些测度的构建及其证明的性质（特别是几何量的可测性）为将有关具有局部有界第一变分的积分变分簇的结论应用于平均曲率流的抛物型情形奠定了基础。

本文并未提出新的实验应用或超出上述等价性和可测性结果之外的未来猜想。它将自身定位为对现有定义的数学精炼与统一，并引用了 Hensel 和 Laux [7] 以及 Buet 等人 [5] 关于空时-Grassmann 测度在弱解概念中探索的相关工作。