The space-time-Grassmann measure of the Brakke flow

Resumen Técnico: La Medida Espacio-Tiempo-Grassmann de la Flotación de Brakke

Planteamiento del Problema
El artículo aborda la caracterización estructural de la flotación de Brakke de dimensión $k$, una solución débil y de carácter medular de la flotación por curvatura media definida en un subconjunto abierto $U \subset \mathbb{R}^n$ sobre un intervalo de tiempo $J$. Si bien la definición clásica de Brakke [4] describe la flotación como una familia de medidas de Radon $\{\mu(t)\}_{t \in J}$ que satisfacen una desigualdad diferencial específica, los autores buscan reformular este concepto utilizando una medida canónica de espacio-tiempo. El desafío principal radica en definir rigurosamente una medida en el producto $J \times G_k(U)$ (tiempo $\times$ Grassmanniano) que capture la evolución de la flotación, gestione las discontinuidades de salto inherentes a la flotación y proporcione un marco unificado equivalente a las definiciones clásicas existentes.

Metodología
Los autores emplean técnicas de la teoría de la medida geométrica, específicamente la teoría de los varifolds y las derivadas distribucionales. Su enfoque procede a través de los siguientes pasos lógicos:

1. Medibilidad del Mapa de Varifolds: Los autores establecen primero que para una flotación de Brakke $\{\mu(t)\}$, el mapa asociado $t \mapsto V(t)$, donde $V(t)$ es la varifold integral única tal que $\|V(t)\| = \mu(t)$ (la cual existe para $L^1$-casi todo $t$), es $L^1$-medible. Esto se basa en la semicontinuidad superior del funcional de variación de Brakke $B(\mu, \phi)$.
2. Construcción de la Medida de Espacio-Tiempo: Utilizando la medibilidad de $t \mapsto V(t)$, definen una medida de Radon canónica $\lambda$ en $J \times G_k(U)$ mediante integración:
   $$\lambda(f) = \int_J \int_{G_k(U)} f(t, x, S) \, dV(t)(x, S) \, dL^1_t$$
   para funciones de prueba $f$. La medida de peso de espacio-tiempo asociada se denota como $\|\lambda\|$.
3. Caracterización mediante Desigualdad Distribucional: Los autores definen una "flotación de Brakke espacio-tiempo-Grassmann" como una medida de Radon $V$ en $J \times G_k(U)$ que satisface una desigualdad de Brakke distribucional que involucra la derivada temporal y el funcional $B$.
4. Análisis de Discontinuidades: Reconociendo que las flotaciones de Brakke se comportan como funciones de variación acotada (BV) de una dimensión, los autores analizan los límites por la izquierda y por la derecha de la flotación. Definen las medidas $\langle V^-, t \rangle$ y $\langle V^+, t \rangle$ que representan los representantes de la flotación continuos por la izquierda y continuos por la derecha en el tiempo $t$, derivados de la medida de espacio-tiempo.
5. Medibilidad de Cantidades Geométricas: El artículo utiliza argumentos de regularidad de Borel (referenciando a Federer [6]) para demostrar que el mapa tangente, el vector de curvatura media y la densidad son medibles con respecto a la medida de peso de espacio-tiempo $\|\lambda\|$.

Contribuciones Clave y Resultados

• Teorema A (Existencia de la Medida Canónica): Demuestra que para cualquier flotación de Brakke, existe una única medida de Radon $\lambda$ en $J \times G_k(U)$ tal que la flotación puede recuperarse integrando $\lambda$ a través del tiempo. Esta medida se define mediante la integral de funciones de prueba contra la familia de varifolds $V(t)$.
• Teorema B (Caracterización y Equivalencia): Establece que una medida de Radon $V$ en $J \times G_k(U)$ que satisface la desigualdad de Brakke distribucional corresponde a una clase de flotaciones de Brakke clásicas equivalentes. Específicamente:
  • Las medidas $\|\langle V^-, \cdot \rangle\|$ y $\|\langle V^+, \cdot \rangle\|$ son, por sí mismas, flotaciones de Brakke.
  • Cualquier flotación de Brakke clásica $\nu(t)$ asociada a $V$ debe satisfacer $\|\langle V^-, t \rangle\| \geq \nu(t) \geq \|\langle V^+, t \rangle\|$ para todo $t$.
  • Esto produce una nueva definición de la flotación de Brakke como una medida de espacio-tiempo, la cual se muestra equivalente a la definición clásica (Definición 3.4) y a la definición alternativa encontrada en Lahiri [9].
• Teorema C (Medibilidad de Datos Geométricos): Demuestra que el mapa del plano tangente $Tan(V(t), x)$, el vector de curvatura media generalizado $h(V(t), x)$ y la densidad $\Theta_k(\|V(t)\|, x)$ son todos medibles con respecto a la medida de peso de espacio-tiempo $\|\lambda\|$. Esto se logra mostrando que estos mapas son funciones de Borel en el espacio de varifolds y componiéndolos con el mapa medible $(t, x) \mapsto (V(t), x)$.
• Resolución de Problemas de Aproximación: En la Sección 3.6, los autores proporcionan una prueba alternativa para la semicontinuidad superior de la variación de Brakke $B(\|V_i\|, \phi)$. Abordan explícitamente una laguna en la literatura previa (Ilmanen [8]) donde se asumía la existencia de una aproximación interior de la función de prueba $\phi$ para funciones $C^2$. Los autores demuestran mediante el Ejemplo 3.8 que tales aproximaciones no existen generalmente para funciones $C^2$ y proporcionan una prueba que evita dicha suposición.

Significación y Reivindicaciones
El artículo afirma proporcionar una "nueva definición" de la flotación de Brakke que unifica la evolución clásica de la medida con un marco de medida estática de espacio-tiempo. La significación de esta formulación es triple:

1. Equivalencia: Establece rigurosamente la equivalencia entre la definición clásica (una familia de medidas que evolucionan en el tiempo) y una definición basada en una única medida de espacio-tiempo que satisface una desigualdad distribucional.
2. Gestión de Discontinuidades: El marco acomoda naturalmente las discontinuidades de salto inherentes a las flotaciones de Brakke al distinguir entre representantes continuos por la izquierda y continuos por la derecha, caracterizando el comportamiento de la flotación en tiempos singulares.
3. Base Fundamental: Los autores afirman que la formulación de estas medidas y las propiedades probadas (específicamente la medibilidad de las cantidades geométricas) sientan las bases para adaptar los resultados relativos a las varifolds integrales con variación primera localmente acotada al entorno parabólico de la flotación por curvatura media.

El artículo no propone nuevas aplicaciones experimentales ni conjeturas futuras más allá de las implicaciones matemáticas inmediatas de los resultados de equivalencia y medibilidad. Se posiciona como un refinamiento técnico y una unificación de las definiciones existentes, citando el trabajo de Hensel y Laux [7] y Buet et al. [5] como exploraciones relacionadas de las medidas espacio-tiempo-Grassmann en conceptos de soluciones débiles.