A delayed interior area-to-height estimate for the Curve Shortening Flow

1. Problema e Contexto

O artigo aborda o Fluxo de Encurtamento de Curvas (CSF - Curve Shortening Flow) no plano euclidiano, especificamente no contexto de curvas que podem ser expressas como gráficos de funções (Fluxo Gráfico de Curvas de Encurtamento - GCSF).

O problema central investigado é a regularidade instantânea versus atrasada das soluções do CSF quando iniciadas a partir de dados iniciais fracos (pouco regulares).

• Contexto Anterior: Trabalhos clássicos (como os de Gage, Hamilton, Grayson, Ecker, Huisken e Angenent) estabeleceram que, para dados iniciais suaves ou com certas condições de Lipschitz, o fluxo ganha regularidade instantaneamente (estimativas de gradiente e $L^\infty$ ocorrem para qualquer $t > 0$).
• A Lacuna: Para dados iniciais muito fracos, especificamente medidas de Radon sem átomos (que incluem funções em $L^p$ e distribuições mais gerais), a regularidade imediata não é garantida da mesma forma. O artigo investiga se é possível controlar a altura (norma $L^\infty$) da curva evoluída com base na "área" sob o gráfico inicial, mas com um atraso temporal.

2. Metodologia

A abordagem do autor baseia-se na extensão e localização de um quadro teórico proposto anteriormente por Topping e pelo próprio autor ([ST24a]), conhecido como regularidade parabólica atrasada.

• Quantidade de Harnack Local: O autor constrói uma "Quantidade de Harnack Local" ($H$) adaptada para o contexto de gráficos locais. Esta quantidade é definida como $H(y, t) = A(y, t) - 2t \phi(y, t)$, onde $A$ é a área acumulada sob o gráfico e $\phi$ é o ângulo da tangente.
• Desigualdade de Harnack: Prova-se uma desigualdade de Harnack para esta quantidade local, demonstrando que ela satisfaz uma desigualdade diferencial parabólica específica.
• Princípio do Máximo: Utiliza-se o Princípio do Máximo para estabelecer limites inferiores para a quantidade de Harnack, o que, por sua vez, fornece limites superiores para a altura da curva ($u$) e seu gradiente.
• Técnicas de Aproximação: Para lidar com dados iniciais que são medidas de Radon, o autor utiliza sequências de aproximação suave (mollificação) e aplica o Princípio de Evitação (Avoidance Principle) e o Princípio de Interseção de Angenent para garantir que as soluções aproximadas permaneçam ordenadas e converjam para uma solução limite bem definida.

3. Principais Contribuições e Resultados

A. Estimativa de Área para Altura com Atraso (Teorema 1.8)

O resultado central é uma estimativa interior atrasada de área para altura.

• O Conceito de "Tempo Mágico" ($t_\star$): O autor define um tempo crítico $t_\star = A/\pi$, onde $A$ é a área total sob o gráfico inicial (norma $L^1$).
• O Resultado: Para tempos $t > t_\star$, a altura da curva no interior do domínio é controlada pela área inicial e pelo tempo decorrido. Especificamente, para $t \geq (1+\delta)t_\star$:
  $$|u(0, t)| \leq C(\delta) + \frac{A}{2} + \frac{\pi t}{2}$$
• Sharpness (Nitidez): O artigo demonstra que este tempo de atraso é ótimo (sharp). Antes de $t_\star$, a regularidade não pode ser garantida apenas com base na área, como mostrado por contra-exemplos construídos a partir de soluções do tipo "Grim Reaper".

B. Estimativa Instantânea $L^p_{loc}$ para $L^\infty_{loc}$ (Teorema 1.12)

Utilizando a estimativa atrasada acima, o autor deriva uma estimativa de regularidade instantânea para dados iniciais em $L^p$ ($p > 1$).

• Para $t > 0$, a altura da solução é limitada por:
  $$|u(0, t)| \leq C \left( 1 + \frac{\|u_0\|_{L^p}^{p/(p-1)}}{t^{1/(p-1)}} + t \right)$$
• Isso generaliza resultados anteriores de Chou & Kwong, esclarecendo as dependências das constantes.

C. Existência a partir de Medidas de Radon Não-Atômicas (Teorema 1.14)

O autor prova a existência de soluções de GCSF que começam a partir de medidas de Radon reais não-atômicas ($\nu \in M^*(\mathbb{R})$).

• Convergência: A solução $u(t)$ converge fracamente para a medida $\nu$ em todo o espaço e fortemente para a parte absolutamente contínua de $\nu$ (a função $u_0$) longe do conjunto singular.
• Método: A prova utiliza a estimativa de área atrasada para obter limites uniformes em $L^\infty$ locais nas sequências de aproximação, permitindo a extração de um limite suave.

D. Correspondência entre Fluxos e Medidas (Seção 6)

O artigo estabelece uma correspondência parcial entre fluxos gráficos dominados e medidas de Radon não-atômicas, estendendo o trabalho de Chou & Kwong. Define-se que um fluxo é "dominado" se existe um fluxo positivo que o limita em módulo.

4. Significado e Impacto

• Novo Paradigma de Regularidade: O trabalho introduz uma mudança fundamental na compreensão da regularidade do CSF para dados fracos. Diferente das estimativas clássicas que são instantâneas, este trabalho mostra que, para dados muito irregulares (medidas), a regularidade é atrasada e depende intrinsecamente da "quantidade de massa" (área) inicial.
• Generalização de Existência: Estende a teoria de existência de soluções para uma classe muito mais ampla de dados iniciais (medidas de Radon), cobrindo casos que não eram tratados por teorias anteriores baseadas apenas em $L^p$ ou Lipschitz.
• Conexão com Outros Fluxos: O autor destaca a analogia profunda entre este resultado e o Fluxo de Ricci em 2D (trabalho de Topping & Yin), sugerindo uma estrutura unificada de regularidade atrasada para equações parabólicas geométricas.
• Ferramentas Analíticas: A construção da quantidade de Harnack local e sua aplicação para obter limites de altura e gradiente fornece novas ferramentas poderosas para o estudo de equações parabólicas quasilineares em domínios não compactos.

Em resumo, o artigo resolve questões de existência e regularidade para o Fluxo de Encurtamento de Curvas com dados iniciais extremamente fracos, estabelecendo que a "regularização" do fluxo ocorre após um tempo de espera determinado pela área inicial, preenchendo uma lacuna importante entre a teoria clássica de curvas suaves e a teoria de medidas.