Parabolic rectifiability of the Brakke flow

Resumo Técnico: Retificabilidade Parabólica do Fluxo de Brakke

Enunciado do Problema
O artigo aborda a regularidade e as propriedades estruturais do suporte da medida espaço-temporal canônica associada a um fluxo de Brakke. Um fluxo de Brakke $k$-dimensional é definido como uma família de medidas de Radon $\{\mu(t)\}$ que evoluem como uma solução fraca e medida-teórica para o fluxo de curvatura média. Embora o comportamento de fatias temporais individuais seja bem estudado, a estrutura global do suporte espaço-temporal, denotado por $\text{spt} \|V\|$, permanece um objeto central de investigação. Especificamente, os autores buscam estabelecer se este suporte possui uma estrutura retificável compatível com a escala parabólica do fluxo e determinar a unicidade e a natureza dos fluxos tangentes em quase todos os pontos.

Metodologia e Abordagem
Os autores adotam um arcabouço desenvolvido em seu trabalho anterior [9], tratando o fluxo de Brakke não meramente como uma família parametrizada pelo tempo de medidas $\mu(t)$, mas como uma medida de Grassmann espaço-temporal $V$ sobre $J \times G_k(U)$. Esta mudança de perspectiva permite que os autores trabalhem exclusivamente com a medida espaço-temporal $\|V\|$ e sua estrutura de varifold associada, em vez de depender da família de 1 parâmetro $\mu(t)$.

Principais componentes metodológicos incluem:

1. Teoria de Medida Espaço-Temporal: Os autores utilizam ferramentas clássicas da teoria da medida adaptadas ao cenário espaço-temporal, incluindo continuidade aproximada e teoria de diferenciação para medidas de Radon em $J \times U$.
2. Métricas Parabólicas: A análise é conduzida utilizando métricas parabólicas ($d$ e $\rho$) e suas respectivas medidas de Hausdorff associadas ($H^{k+2}_d$ e $H^{k+2}_\rho$), que respeitam a escala intrínseca do fluxo de curvatura média ($t \sim x^2$).
3. Análise de Fluxo Tangente: A estratégia de prova envolve a análise de fluxos tangentes (blow-ups) em pontos $(t, x)$. Ao estabelecer que o suporte é um conjunto parabólico retificável, os autores restringem as formas possíveis desses fluxos tangentes.
4. Equivalência de Convergência: O artigo estabelece uma equivalência entre a noção padrão de convergência de fluxo de Brakke (definida via convergência de fatias temporais em um conjunto enumerável de tempos) e a convergência das medidas de Grassmann espaço-temporais subjacentes.

Principais Contribuições e Resultados

1. Retificabilidade Parabólica do Suporte (Teorema A)
O resultado primário estabelece que o suporte da medida espaço-temporal canônica, $\text{spt} \|V\|$, é um conjunto parabólico $(k+2)$-retificável (vertical).

• Isso significa que o suporte pode ser coberto, até um conjunto de medida zero, por grafos de Lipschitz parabólicos contáveis.
• Este resultado baseia-se na desigualdade do valor médio para fluxos de Brakke (lema de limpeza de Brakke/clearing out lemma) e nas propriedades da continuidade aproximada do mapa do plano tangente $T(s, y) = \text{Tan}_k(\langle V, s \rangle, y)$.
• A prova demonstra que, nos pontos onde o plano tangente é aproximadamente contínuo, o suporte está localmente contido dentro de um cone parabólico de ângulo arbitrariamente pequeno, implicando retificabilidade via argumentos clássicos.

2. Unicidade de Fluxos Tangentes e Igualdade de Densidade (Teorema B)
Como consequência do resultado de retificabilidade, os autores provam que, para $\|V\|$-quase todo ponto $(t, x)$:

• Existe um fluxo tangente, estático e planar único. Este fluxo tangente é dado por $\{\Theta^k(\mu(t), x) \cdot v(\text{Tan}_k(\mu(t), x)) : s \in \mathbb{R}\}$.
• A multiplicidade deste fluxo tangente é constante para tempos negativos e igual à densidade gaussiana $\Theta(V, t, x)$.
• Crucialmente, a retificabilidade do suporte descarta a possibilidade de a densidade cair para tempos não negativos, garantindo que o fluxo tangente permaneça estático e planar.
• Igualdade de Densidades: O artigo prova que várias noções de densidade coincidem nestes pontos:
  $$\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)$$
  onde $\Theta(V, t, x)$ é a densidade gaussiana, e os outros são densidades em relação às medidas de Hausdorff parabólicas.

3. Convergência de Fluxos de Brakke (Teorema C)
Os autores provam que três noções distintas de convergência para uma sequência de fluxos de Brakke de Grassmann espaço-temporal $\{V_i\}$ para um limite $V$ são equivalentes:

• C.1: Convergência das medidas de Grassmann espaço-temporal ($V = \lim V_i$).
• C.2: Convergência das medidas de peso canônicas espaço-temporais ($\|V\| = \lim \|V_i\|$).
• C.3: Convergência das medidas de fatia temporal $\mu_i(t)$ para todo $t$ fora de um conjunto enumerável $D$.
  Este resultado fornece uma definição alternativa, medida-teórica, de convergência de varifold que é equivalente à definição padrão encontrada em [5, 7.1].

Significância e Alegações
O artigo afirma que os resultados do Teorema B eram anteriormente desconhecidos. Embora resultados de estratificação (ex: [17]) tenham estabelecido a existência de um fluxo tangente estático e planar para $H^{k+2}_\rho$-quase todos os pontos, eles não afirmavam a unicidade deste fluxo. A falta de unicidade em resultados anteriores impedia o estabelecimento da igualdade entre a densidade gaussiana e as densidades de Hausdorff parabólicas.

Ao provar que $\text{spt} \|V\|$ é um conjunto parabólico retificável, os autores demonstram que a "função de multiplicidade dependente do tempo" dos fluxos tangentes não pode cair para tempos não negativos. Esta rigidez força o fluxo tangente a ser único e estático, unificando assim os diversos conceitos de densidade.

Além disso, o artigo enfatiza que a abordagem via medidas de Grassmann espaço-temporal simplifica a teoria de convergência dos fluxos de Brakke, permitindo a aplicação da teoria de diferenciação clássica no cenário espaço-temporal. A medida $\|V\|$ mostra-se absolutamente contínua em relação à medida de Hausdorff parabólica em seu suporte, podendo ser escrita explicitamente como uma restrição da medida de Hausdorff parabólica ponderada pela função de densidade.