The space-time-Grassmann measure of the Brakke flow

Resumo Técnico: A Medida Espaço-Tempo-Grassmann do Fluxo de Brakke

Enunciado do Problema
O artigo aborda a caracterização estrutural do fluxo de Brakke de dimensão $k$, uma solução fraca e de caráter mensural do fluxo de curvatura média definida em um subconjunto aberto $U \subset \mathbb{R}^n$ sobre um intervalo de tempo $J$. Embora a definição clássica (Brakke [4]) descreva o fluxo como uma família de medidas de Radon $\{\mu(t)\}_{t \in J}$ que satisfaz uma desigualdade diferencial específica, os autores buscam reformular este conceito utilizando uma medida canônica no espaço-tempo. O desafio primordial reside em definir rigorosamente uma medida no produto $J \times G_k(U)$ (tempo $\times$ Grassmanniana) que capture a evolução do fluxo, lide com as descontinuidades de salto inerentes ao fluxo e forneça um arcabouço unificado equivalente às definições clássicas existentes.

Metodologia
Os autores empregam técnicas da teoria da medida geométrica, especificamente a teoria de varifolds e derivadas distribuídas. A abordagem procede através dos seguintes passos lógicos:

1. Mensurabilidade do Mapa de Varifold: Os autores estabelecem primeiro que, para um fluxo de Brakke $\{\mu(t)\}$, o mapa associado $t \mapsto V(t)$, onde $V(t)$ é a varifold integral única tal que $\|V(t)\| = \mu(t)$ (que existe para $L^1$-quase todo $t$), é $L^1$-mensurável. Isso se baseia na semicontinuidade superior do funcional de variação de Brakke $B(\mu, \phi)$.
2. Construção da Medida Espaço-Tempo: Utilizando a mensurabilidade de $t \mapsto V(t)$, os autores definem uma medida de Radon canônica $\lambda$ em $J \times G_k(U)$ via integração:
   $$\lambda(f) = \int_J \int_{G_k(U)} f(t, x, S) \, dV(t)(x, S) \, dL^1_t$$
   para funções de teste $f$. A medida de peso espaço-tempo associada é denotada por $\|\lambda\|$.
3. Caracterização via Desigualdade Distribuída: Os autores definem um "fluxo de Brakke espaço-tempo-Grassmann" como uma medida de Radon $V$ em $J \times G_k(U)$ que satisfaz uma desigualdade de Brakke distribuída envolvendo a derivada temporal e o funcional $B$.
4. Análise de Descontinuidades: Reconhecendo que os fluxos de Brakke comportam-se como funções de variação limitada (BV) unidimensionais, os autores analisam os limites à esquerda e à direita do fluxo. Eles definem as medidas $\langle V^-, t \rangle$ e $\langle V^+, t \rangle$ que representam os representantes à esquerda e à direita contínuos do fluxo em um tempo $t$, derivados da medida espaço-tempo.
5. Mensurabilidade de Quantidades Geométricas: O artigo utiliza argumentos de regularidade de Borel (referenciando Federer [6]) para provar que o mapa tangente, o vetor de curvatura média e a densidade são mensuráveis em relação à medida de peso espaço-tempo $\|\lambda\|$.

Principais Contribuições e Resultados

• Teorema A (Existência de Medida Canônica): Prova que, para qualquer fluxo de Brakke, existe uma medida de Radon única $\lambda$ em $J \times G_k(U)$ tal que o fluxo pode ser recuperado integrando $\lambda$ ao longo do tempo. Esta medida é definida pelo integral de funções de teste contra a família de varifolds $V(t)$.
• Teorema B (Caracterização e Equivalência): Estabelece que uma medida de Radon $V$ em $J \times G_k(U)$ que satisfaz a desigualdade de Brakke distribuída corresponde a uma classe de fluxos de Brakke clássicos equivalentes. Especificamente:
  • As medidas $\|\langle V^-, \cdot \rangle\|$ e $\|\langle V^+, \cdot \rangle\|$ são, elas próprias, fluxos de Brakke.
  • Qualquer fluxo de Brakke clássico $\nu(t)$ associado a $V$ deve satisfazer $\|\langle V^-, t \rangle\| \geq \nu(t) \geq \|\langle V^+, t \rangle\|$ para todo $t$.
  • Isso resulta em uma nova definição de fluxo de Brakke como uma medida espaço-tempo, que se mostra equivalente à definição clássica (Definição 3.4) e à definição alternativa encontrada em Lahiri [9].
• Teorema C (Mensurabilidade de Dados Geométricos): Prova que o mapa do plano tangente $Tan(V(t), x)$, o vetor de curvatura média generalizado $h(V(t), x)$ e a densidade $\Theta_k(\|V(t)\|, x)$ são todos mensuráveis em relação à medida de peso espaço-tempo $\|\lambda\|$. Isso é alcançado mostrando que esses mapas são funções de Borel no espaço de varifolds e compostos com o mapa mensurável $(t, x) \mapsto (V(t), x)$.
• Resolução de Problemas de Aproximação: Na Seção 3.6, os autores fornecem uma prova alternativa para a semicontinuidade superior da variação de Brakke $B(\|V_i\|, \phi)$. Eles abordam explicitamente uma lacuna na literatura anterior (Ilmanen [8]), onde se assumia a existência de uma aproximação interior da função de teste $\phi$ para funções $C^2$. Os autores demonstram, via Exemplo 3.8, que tais aproximações não existem genericamente para funções $C^2$ e fornecem uma prova que evita essa suposição.

Significância e Alegações
O artigo afirma fornecer uma "nova definição" do fluxo de Brakke que unifica a evolução clássica de medida com um arcabouço de medida estática no espaço-tempo. A significância desta formulação é tripla:

1. Equivalência: Estabelece rigorosamente a equivalência entre a definição clássica (uma família de medidas evoluindo no tempo) e uma definição baseada em uma única medida espaço-tempo que satisfaz uma desigualdade distribuída.
2. Lidando com Descontinuidades: O arcabouço acomoda naturalmente as descontinuidades de salto inerentes aos fluxos de Brakke ao distinguir entre representantes à esquerda e à direita contínuos, caracterizando o comportamento do fluxo em tempos singulares.
3. Fundamentação Teórica: Os autores afirmam que a formulação dessas medidas e as propriedades provadas (especificamente a mensurabilidade de quantidades geométricas) lançam as bases para adaptar resultados relativos a varifolds integrais com primeira variação localmente limitada para o cenário parabólico do fluxo de curvatura média.

O artigo não propõe novas aplicações experimentais ou conjecturas futuras além das implicações matemáticas imediatas da equivalência e dos resultados de mensurabilidade. Ele se posiciona como um refinamento técnico e uma unificação de definições existentes, citando o trabalho de Hensel e Laux [7] e Buet et al. [5] como explorações relacionadas de medidas espaço-tempo-Grassmann em conceitos de soluções fracas.