Parabolic rectifiability of the Brakke flow

Resumen Técnico: Rectificabilidad Parabólica del Flujo de Brakke

Planteamiento del Problema
El artículo aborda la regularidad y las propiedades estructurales del soporte de la medida espacio-temporal canónica asociada a un flujo de Brakke. Un flujo de Brakke de dimensión $k$ se define como una familia de medidas de Radon $\{\mu(t)\}$ que evolucionan como una solución débil y de sentido de medida al flujo de curvatura media. Si bien el comportamiento de las secciones temporales individuales ha sido ampliamente estudiado, la estructura global del soporte espacio-temporal, denotado como $\text{spt} \|V\|$, sigue siendo un objeto central de investigación. Específicamente, los autores buscan establecer si este soporte posee una estructura rectificable compatible con el escalamiento parabólico del flujo y determinar la unicidad y la naturaleza de los flujos tangentes en casi todos los puntos.

Metodología y Enfoque
Los autores adoptan un marco desarrollado en su trabajo previo [9], tratando el flujo de Brakke no meramente como una familia de medidas parametrizada por el tiempo, sino como una medida de Grassmann espacio-temporal $V$ sobre $J \times G_k(U)$. Este cambio de perspectiva permite a los autores trabajar exclusivamente con la medida espacio-temporal $\|V\|$ y su estructura de varifold asociada, en lugar de depender de la familia de un parámetro 1 $\mu(t)$.

Componentes metodológicos clave incluyen:

1. Teoría de Medidas Espacio-Temporales: Los autores utilizan herramientas clásicas de la teoría de la medida adaptadas al entorno espacio-temporal, incluyendo la continuidad aproximada y la teoría de la diferenciación para medidas de Radon en $J \times U$.
2. Métricas Parabólicas: El análisis se lleva a cabo utilizando métricas parabólicas ($d$ y $\rho$) y sus medidas de Hausdorff asociadas ($H^{k+2}_d$ y $H^{k+2}_\rho$), las cuales respetan el escalamiento intrínseco del flujo de curvatura media ($t \sim x^2$).
3. Análisis de Flujo Tangente: La estrategia de la prueba implica analizar los flujos tangentes (blow-ups) en puntos $(t, x)$. Al establecer que el soporte es un conjunto parabólicamente rectificable, los autores restringen las posibles formas de estos flujos tangentes.
4. Equivalencia de Convergencia: El artículo establece una equivalencia entre la noción estándar de convergencia de Brakke (definida mediante la convergencia de las secciones temporales en un conjunto numerable de tiempos) y la convergencia de las medidas de Grassmann espacio-temporales subyacentes.

Contribuciones Clave y Resultados

1. Rectificabilidad Parabólica del Soporte (Teorema A)
El resultado principal establece que el soporte de la medida canónica espacio-temporal, $\text{spt} \|V\|$, es un conjunto parabólico $(k+2)$-rectificable (vertical).

• Esto significa que el soporte puede ser cubierto, salvo para un conjunto de medida cero, por gráficas de Lipschitz parabólicas contables.
• Este resultado se apoya en la desigualdad de la media para flujos de Brakke (el lema de limpieza de Brakke o clearing out lemma) y en las propiedades de la continuidad aproximada del mapa del plano tangente $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$.
• La demostración muestra que en los puntos donde el plano tangente es aproximadamente continuo, el soporte está localmente contenido dentro de un cono parabólico de ángulo arbitrariamente pequeño, lo que implica rectificabilidad mediante argumentos clásicos.

2. Unicidad de los Flujos Tangentes e Igualdad de Densidades (Teorema B)
Como consecuencia del resultado de rectificabilidad, los autores demuestran que para $\|V\|$-casi todo punto $(t, x)$:

• Existe un flujo tangente, estático y planar único. Este flujo tangente viene dado por $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$.
• La multiplicidad de este flujo tangente es constante para tiempos negativos e igual a la densidad gaussiana $\Theta(V, t, x)$.
• Crucialmente, la rectificabilidad del soporte descarta la posibilidad de que la densidad disminuya para tiempos no negativos, asegurando que el flujo tangente permanezca estático y planar.
• Igualdad de Densidades: El artículo demuestra que varias nociones de densidad coinciden en estos puntos:
  $$\Theta(V, t, x) = \Theta^k(\mu(t), x) = (2\alpha(k))^{-1}\Theta^{k+2}_\rho(\|V\|, t, x) = \beta(k)^{-1}\Theta^{k+2}_d(\|V\|, t, x)$$
  donde $\Theta(V, t, x)$ es la densidad gaussiana, y las otras son densidades con respecto a las medidas de Hausdorff parabólicas.

3. Convergencia de Flujos de Brakke (Teorema C)
Los autores demuestran que tres nociones distintas de convergencia para una secuencia de flujos de Brakke de Grassmann espacio-temporal $\{V_i\}$ hacia un límite $V$ son equivalentes:

• C.1: Convergencia de las medidas de Grassmann espacio-temporal ($V = \lim V_i$).
• C.2: Convergencia de las medidas de peso canónicas espacio-temporales ($\|V\| = \lim \|V_i\|$).
• C.3: Convergencia de las medidas de sección temporal $\mu_i(t)$ para todo $t$ fuera de un conjunto numerable $D$.
  Este resultado proporciona una definición alternativa, de carácter de medida, de la convergencia de varifolds que es equivalente a la definición estándar encontrada en [5, 7.1].

Significado y Reivindicaciones
El artículo afirma que los resultados del Teorema B eran previamente desconocidos. Si bien los resultados de estratificación (por ejemplo, [17]) establecieron la existencia de un flujo tangente estático y planar para $H^{k+2}_\rho$-casi todos los puntos, no afirmaban la unicidad de este flujo. La falta de unicidad en los resultados previos impedía el establecimiento de la igualdad entre la densidad gaussiana y las densidades de Hausdorff parabólicas.

Al demostrar que $\text{spt} \|V\|$ es un conjunto parabólicamente rectificable, los autores demuestran que la "función de multiplicidad dependiente del tiempo" de los flujos tangentes no puede disminuir para tiempos no negativos. Esta rigidez fuerza al flujo tangente a ser único y estático, unificando así los diversos conceptos de densidad.

Además, el artículo enfatiza que el enfoque mediante medidas de Grassmann espacio-temporales simplifica la teoría de convergencia de los flujos de Brakke, permitiendo la aplicación de la teoría de la diferenciación clásica en el entorno espacio-temporal. Se muestra que la medida $\|V\|$ es absolutamente continua con respecto a la medida de Hausdorff parabólica en su soporte, lo que permite escribirla explícitamente como una restricción de la medida de Hausdorff parabólica ponderada por la función de densidad.