The space-time-Grassmann measure of the Brakke flow

技術要約：Brakke流の時空・グラスマン測度

問題提起
本論文は、$k$次元のBrakke流（開集合 $U \subset \mathbb{R}^n$ において時間区間 $J$ にわたって定義された、平均曲率流の弱な測度論的解）の構造的特徴付けを扱う。古典的な定義（Brakke [4]）では、Brakke流を特定の微分不等式を満たすラドン測度の族 $\{\mu(t)\}_{t \in J}$ として記述するが、著者らはこの概念を、標準的な時空測度を用いて再定式化することを目的としている。主な課題は、フローの進化を捉え、フローに固有のジャンプ不連続性を処理し、既存の古典的な定義と等価な統一的枠組みを提供するような、積空間 $J \times G_k(U)$（時間 $\times$ グラスマン多様体）上の測度を厳密に定義することにある。

手法
著者らは、幾何学的測度論、特にバラフォールド（varifold）および分布微分（distributional derivatives）の理論を用いた手法を採用している。彼らのアプローチは、以下の論理的ステップに従って進行する：

1. バラフォールド写像の可測性： 著者らはまず、Brakke流 $\{\mu(t)\}$ に対して、関連する一意な積分バラフォールド $V(t)$（$\|V(t)\| = \mu(t)$ となるもの。これは $L^1$-ほとんど全ての $t$ で存在する）の写像 $t \mapsto V(t)$ が $L^1$-可測であることを確立する。これは、Brakke変分汎関数 $B(\mu, \phi)$ の上半連続性に依拠している。
2. 時空測度の構成： $t \mapsto V(t)$ の可測性を用いて、テスト関数 $f$ に対し、以下の積分によって標準的なラドン測度 $\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$$
   関連する時空重み測度は $\|\lambda\|$ と表記される。
3. 分布不等式による特徴付け： 著者らは、「時空・グラスマンBrakke流」を、時間微分と汎関数 $B$ に関わる分布的Brakke不等式を満たすラドン測量 $V$ として定義する。
4. 不連続性の解析： Brakke流は有界変動（BV）関数の一種のように振る舞うことを認識し、著者らはフローの左極限および右極限を解析する。彼らは、時空測量から導かれる、フローの左連続および右連続な代表元を表す測度 $\langle V^-, t \rangle$ および $\langle V^+, t \rangle$ を定義する。
5. 幾何学的量の可測性： 本論文は、接平面写像、平均曲曲率ベクトル、および密度が、時空重み測量 $\|\lambda\|$ に関して可測であることを証明するために、Borel可測性の議論（Federer [6] を参照）を利用する。

主要な貢献と結果

• 定理 A（標準的な測度の存在）： 任意のBrakke流に対して、フローを時間に関して積分することによって回収可能な、一意なラドン測度 $\lambda$ が $J \times G_k(U)$ 上に存在することを証明する。この測度は、テスト関数を $V(t)$ に対して積分することによって定義される。
• 定理 B（特徴付けと等価性）： 分布的Brakke不等式を満たすラドン測量 $V$ が、一連の等価な古典的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流という新しい定義が得られ、これが古典的な定義（Definition 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)$ の上半連続性に関する代替的な証明を提供する。彼らは、テスト関数 $\phi$ の内部近似が存在すると仮定していたIlmanen [8] の先行文献における欠陥を明示的に指摘している（$C^2$ 関数の場合）。著者らは、そのような近似が一般には $C^2$ 関数に対して存在しないことを例3.8を通じて示し、その仮定を回避した証明を提供している。

意義および主張
本論文は、古典的な測度論的進化と、静的な時空測量の枠組みを統一する「新しい定義」としてのBrakke流の提供を主張している。この定式化の意義は、以下の3点に集約される：

1. 等価性： 古典的な定義（時間とともに進化する測度の族）と、分布的不等式を満たす単一の時空測量に基づく定義との間の等価性を厳密に確立している。
2. 不連続性の処理： 左連続および右連続な代表元を区別することで、Brakke流に固有のジャンプ不連続性を自然に受け入れ、特異な時刻におけるフローの挙動を特徴付ける。
3. 基礎的な土台作り： 著者らは、これらの測量の定式化および証明された性質（特に幾何学的量の可測性）が、積分バラフォールド（局所的に有界な第一変分を持つもの）に関する結果を、平均曲率流の放物型の設定へと適応させるための基礎を築くものであると述べている。

本論文は、等価性と可測性の結果が持つ直接的な数学的含意を超えて、新たな実験的応用や将来の予想を提案するものではない。本論文は、時空・グラスマン測量（space-time-Grassmann measures）の弱解の概念に関する関連する探究であるHenselおよびLaux [7] やBuetら [5] の研究を引用しつつ、既存の定義の技術的な洗練および統一を行うものである。